Задача #2094

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

ДЕЛ(x,A)∨((x∈B)→(¬ДЕЛ(x,16)∨(x+A≤204)))

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