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

На числовой прямой задан отрезок P = [1315; 1415]. Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального A выражение

ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 191) ∨ (x + A ≤ 4113)))

тождественно истинно, то есть принимает значение 1 при любом натуральном значении переменной х?