Задание

15. Обозначим через ДЕЛ\((\)\(n\), \(m\)\()\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)».

Сколько существует натуральных значений \(A\) на отрезке [1; 1000], при которых формула

ДЕЛ\((\)\(A\), 5\()\) \(\land\) \((\)ДЕЛ\((\)170, \(x\)\()\) \( \to\) \((\)\(\neg\)ДЕЛ\((\)\(A\), \(x\)\()\) \( \to\) ДЕЛ\((\)350, \(x\)\()))\)

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