Task: Question Answering
Input (English): Let n(s) = s**2 + 3*s + 2. Let z be n(-2). Suppose z = j + j - 70. Suppose -j - 56 = -t. What is the highest common factor of 13 and t?
Output (English): 13