Task: Question Answering
Input (English): Suppose v + 5 = 10. Suppose -4*b = 4*d - 3*d - 23, -3*b = -v*d. Let h(q) = -q - 1. Let j be h(-4). Solve j = -2*t - d for t.
Output (English): -3