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