Решение аналитикой

Враги хотят, чтобы выражение было ложно. Система для врагов:

Друзья говорят:

Выразим : . Тогда

Рассмотрим, что происходит при разных .

При : ;

При :

...

При : .

Тогда наибольшее .

Решение программой

for A in range(1000):
    p = True
    for x in range(1, 1000):
        for y in range(1, 1000):
            f = ((x - 10 < A) <= (y + 28 >= 4 * A)) or (x + y != 17)
            if f == False:
                p = False
                break
        if p == False:
            break
    if p == True:
        print(A)