Законы математической логики

(М. Шагитов) Обозначим через ДЕЛ(x, y) утверждение «натуральное число x делится без остатка на натуральное число y». Для какого наибольшего натурального числа A формула (ДЕЛ(x, 15) ∧ ¬ДЕЛ(x, 10)) → (A < x + 50)

тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной x?