{"raw_statement":[{"iden":"statement","content":"You consider a number to be _funny_ if it is divisible by both 5 and 7. Given a number, figure out whether or not it is a funny number.\n\nThe only line of input contains a single positive integer _n_: the number\n\nOutput \"YES\" if the number is funny, otherwise \"NO\". (no quotes)\n\n"},{"iden":"input","content":"The only line of input contains a single positive integer _n_: the number"},{"iden":"output","content":"Output \"YES\" if the number is funny, otherwise \"NO\". (no quotes)"},{"iden":"examples","content":"Input21\nOutputNO\nInput35\nOutputYES\n"}],"translated_statement":null,"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ n \\in \\mathbb{Z}^+ $ be the input number.\n\n**Constraints**  \n$ n > 0 $\n\n**Objective**  \nDetermine whether $ n $ is divisible by both 5 and 7, i.e., check if:  \n$$ 5 \\mid n \\quad \\text{and} \\quad 7 \\mid n $$  \nOutput \"YES\" if true, \"NO\" otherwise.","simple_statement":"Given a number n, print \"YES\" if it is divisible by both 5 and 7, otherwise print \"NO\".","has_page_source":false}