Task: Mathematics
Input (English): 15712
Output (English): No