Ответ:

Высказывание «число 9 делится на 4» ложно, поскольку при делении 9 на 4 получается остаток 1. Его отрицание — «число 9 не делится на 4»; равносильная формулировка — «неверно, что число 9 делится на 4».

«Не число 9 делится на 4» — грамматически и логически не является правильным отрицанием исходного высказывания. «Число 9 делится не на 4» может означать, что оно делится на какое-то другое число, и не выражает однозначно требуемое отрицание. Утверждение о числе 8 — другое высказывание.

Ответ: верны варианты «число 9 не делится на 4» и «неверно, что число 9 делится на 4».