{"problem":{"name":"028. Funny Numbers","description":{"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. The only line of input contains a single positive integer _n_: ","description_type":"Markdown"},"platform":"Codeforces","limit":{"time_limit":1000,"memory_limit":262144},"difficulty":"None","is_remote":true,"is_sync":true,"sync_url":null,"sign":"CF10269028"},"statements":[{"statement_type":"Markdown","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## Input\n\nThe only line of input contains a single positive integer _n_: the number\n\n## Output\n\nOutput \"YES\" if the number is funny, otherwise \"NO\". (no quotes)\n\n[samples]","is_translate":false,"language":"English"},{"statement_type":"Markdown","content":"**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.","is_translate":false,"language":"Formal"}],"meta":{"iden":"CF10269028","tags":[],"sample_group":[],"created_at":"2026-03-03 11:00:39"}}