Задание 15 ЕГЭ по информатике

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

$ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 214) ∨ (x + A ≤ 5286)))$

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