Задача #2797

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

Определите количество натуральных значений $A$, при которых формула

ДЕЛ(x,A)∨((x∈B)→¬ДЕЛ(x,24))

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