［AtCoder］ABC-105｜B - Cakes and Donuts

設問ページ

• 🔗ABC-105 B - Cakes and Donuts

提出結果

def getInt():
    return int(input())


def main():
    n = getInt()

    r = 'No'
    for i in range(n // 7 + 1):
        if (n - (7 * i)) % 4 == 0:
            r = 'Yes'
            break
    print(r)


if __name__ == "__main__":
    main()