Статья 378

Кроме того, речь в задаче идет о любых целых неотрицательных числах.

определял

определял

Не будем же мы каждый раз смотреть на экран, если бы компьютер самостоятельно определял, будет результат деления целым числом или дробным. Но непосредственного способа сообщить машине наше требование посредством ввода соответствующей команды, вообще говоря, не существует. Мы не можем просто написать в программе воспользовавшись операторами Бейсика, чтобы напечатать ответ делится не делится.
Точнее, о любых целых неотрицательных числах, которые могут быть представлены на данном компьютере.

Вопросы, связанные с представимостью чисел, обсуждаются ниже.

Условие делится будет непонятным компьютеру. Значит, нужно найти такое утверждение, которое будет эквивалентно высказыванию делится и истинность или ложность которого компьютер мог бы установить.