Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула
(ДЕЛ(х, 20) → ¬ДЕЛ(х, 11)) V (A < 3x + 600)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х.