i = 1000
while i != 6:
    print('"' + str(i) + " - 7 = " + str(i - 7) + '"')
    i -= 7