Ответ:

Оператор остатка от деления позволяет проверить, делится ли число на 3 без остатка: условие — n % 3 == 0.

n = int(input())

if n % 3 == 0:
    print('YES')
else:
    print('NO')

Если остаток равен нулю, программа выводит YES; иначе — NO.