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