Task: Mathematics
Input (English): 31547
Output (English): Yes