Task: Question Understanding
Input (English): Let y = 37 + -31. Calculate the highest common divisor of y and 12.
Output (English): numbers