Task: Question Answering
Input (English): Suppose -4*c - 31 = 17. Let u = 17 + c. What is the remainder when 13 is divided by u?
Output (English): 3