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