Для какого наименьшего целого неотрицательного числа А выражение
(150 ≠ - y + 5x + z) ∨ ((A >= 10x) ∧ (A >= y) ∧ (A >= z)) and (y <= 30)
истинно при любых целых неотрицательных x, y, z?
