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

(Д. Бахтиев) Обозначим через ДЕЛ(x, y) утверждение «натуральное число x делится без остатка на натуральное число y». Для какого наибольшего натурального числа A логическое выражение

(¬ДЕЛ(x, 7) ∧ ДЕЛ(x, 13)) → (x > A - 40)

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