Задание 15 ЕГЭ по информатике

Обозначим через $ДЕЛ(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Сколько существует натуральных значений $A$ на отрезке $[1;1000]$, при которых формула

$ДЕЛ(A, 12) ∧ (ДЕЛ(530, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(170, x)))$

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