15_0250

Обозначим через $\operatorname{ДЕЛ}(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$».

Для какого наименьшего натурального числа $A$ формула

$$(\operatorname{ДЕЛ}(x, 13) \to \lnot \operatorname{ДЕЛ}(x, 21)) \lor (x + A \ge 500)$$

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