Задача #1001

(В. Рыбальченко) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». На числовой прямой дан отрезок: P = [5, 137]. При каком наименьшем натуральном значении A, формула

(ДЕЛ(x,115)∧¬ДЕЛ(x,5))∨((ДЕЛ(A,x)→¬ДЕЛ(A,5))∧¬(A∈P))

не является тождественно истинным и тождественно ложным (Должно принимать при различных натуральных x как истинное значение, так и ложное)?