Обозначим через ДЕЛ(n, m) утверждение натуральное число n делится без остатка на натуральное число m. Для какого наибольшего натурального числа А формула
$\text{ДЕЛ}(x, 25) \to (\neg \text{ДЕЛ}(x, A) \to \neg \text{ДЕЛ}(x, 60))$
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?