Задача #3961

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

ДЕЛ(x,A)∨((x∈B)→(¬ДЕЛ(x,53)∨(x+A≤417)))

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