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

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

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

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