Делители

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

ДЕЛ(A, 9) /\ (ДЕЛ(270, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(630, x)))

тождественно истинна, то есть принимает значение 1 при любом натуральном х?