15.01 Деление без остатка

Для нахождения наибольшего натурального числа , при котором формула

тождественно истинна для всех натуральных , используем программный перебор. Идея заключается в том, чтобы проверить все значения от до с помощью цикла for. Для каждого перебираем все от до и проверяем логическое выражение. Если хотя бы для одного выражение оказалось ложным, текущее отбрасываем. Если выражение истинно для всех , считаем подходящим. В конце цикла выбираем наибольшее найденное значение и выводим его.

# перебор возможных значений A от 1 до 9999
for A in range(1, 10000):
    flag = True  # флаг: True - выражение выполняется для всех x, False - хотя бы один x нарушает
    for x in range(1, 100000):  # перебор натуральных x
        # вычисляем логическое выражение для текущего x и A
        f = (70 % A == 0) and ((x % 28 == 0) <= ((x % A != 0) <= (x % 21 != 0)))
        if f == False:  # если формула ложна
            flag = False  # отмечаем нарушение
            break  # прекращаем проверку текущего A
    if flag:
        maxim = A  # сохраняем текущее подходящее A
# выводим наибольшее подходящее A
print(maxim)