Для какого наибольшего целого неотрицательного числа 
выражение
тождественно истинно при любых целых неотрицательных 
и 
Решение 1 (руками)
Инвертируем известную часть:
Это выражение истино (а исходное соответственно ложно) при 
и 
одновременно. Неизвестная часть 
и 
, получим 
.
Решение 2 (прогой)
def f(a):
for x in range(1, 1000):
for y in range(1, 1000):
if not ((x + 3 * y > a) or (x < 18) or (y < 33)):
return False
return True
for a in range(1000, 0, -1):
if f(a):
print(a)
break
Ответ: 116