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