Для какого наибольшего целого неотрицательного числа А выражение (x + 2y > A) ∨ (y<x) ∨ (x<30) тождественно истинно (т.е. принимает значение 1) при любых целых неотрицательных х и у?

Задание

Для какого наибольшего целого неотрицательного числа А выражение
\(x \+ 2y \\gt A\) ∨ \(y\