Тип 15 № 14094

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

ДЕЛ($x, A) \lor ((x \in B) \rightarrow \neg\text{ДЕЛ}(x, 55))$

истинно (т. е. принимает значение 1) при любом целом положительном значении переменной $x$?