Let v(x) = x**2 + 3*x - 13. Let a be v(-6). Suppose 0 = u - 2*u + y, -5*u - a*y = -40. Solve -u*h + 0 + 12 = 0 for h.
3
Let c(x) = -x - 13. Let l be c(-15). Solve 0 = -l*u - 3 - 1 for u.
-2
Suppose h = 4 + 6. Suppose -x + h = 4*x. Let t be x/(-7) + 6⁄21. Solve 0 = -t*s + s for s.
0
Let y = -4 - -16. Let k be y/(-18)*(-3 - 0). Suppose 0 = -3*o - 5*c + 8, -5*c - 21 = -3*o + 7. Solve -n - k = -o for n.
4
Suppose 2*g = 2, 5*w - 3 = -0*w - 3*g. Suppose w = -5*r + 7 + 8. Suppose -i = 2*z - 2, 3*z + 2 = 5. Solve i*o = -r*o - 15 for o.
-5
Let n = -37 + 42. Solve -k - n = -0 for k.
-5
Suppose 2*t = -2*t + 20. Suppose 0 = 2*r - 2, 3*m - 7*m = t*r - 13. Solve a + m = 1 for a.
-1
Suppose 93*s + 12 = 95*s. Solve -2*k = s + 2 for k.
-4
Let k be 11/(66⁄60) - 2. Solve -k*b + 16 = -4*b for b.
4
Let k(q) = 4*q**2 + q + 1. Let g be k(2). Suppose -2*f = -2, 7 - g = -2*s - 4*f. Suppose -2*u + 0 + s = 0. Solve d = -d + u for d.
1