Task: Question Answering
Input (English): Let o(c) = 2*c**2 - 5*c. Let k be o(4). Let z = k + 12. What is the remainder when 47 is divided by z?
Output (English): 23