Let i(f) = f3 + 4*f2 - 4*f + 7. Let a be i(-5). Let m be (a - (-3)/(-2))*0. Suppose m = o - 32 + 7. Solve 4*y + y = -o for y.
-5
Let k be -2 + (1 + -2 - -24). Let u = k + -11. Let v be 2/(-5) + (-51)/(-15). Solve v*a + u = 5*a for a.
5
Suppose 3 = -4*v + 23. Suppose 0*d + 8 = 4*d, -v*u + 111 = 3*d. Suppose 3*o - u = 5*n - n, 21 = 2*o - 5*n. Solve 23 = -4*w + o for w.
-5
Let i(u) = -u**2 - 6*u - 2. Let j be i(-5). Suppose -g = -3*g - 90. Let l = -30 - g. Solve 0 = -j*y - 0*y + l for y.
5
Let t = 63 - 42. Let z = 36 - t. Solve -3*h + z = -0 for h.
5
Suppose -z = 3*z - 12. Suppose z*h - 4*o + 8 = h, -5*o + 23 = 4*h. Suppose 0 = i + h*i - 24. Solve -3*m = -i*m + 25 for m.
5
Suppose w + 0 = 2. Suppose -w*d = 2*d. Solve r + r = d for r.
0
Let a be (6/(-14)*2)/((-21)/147). Solve 2 = u + a for u.
-4
Suppose -3*s = 3*g + g - 27, -s = -2*g + 1. Suppose s*t = 5*i, -3*i + t = -i. Suppose 20 = 5*c - i. Solve -c*b - 4 = -0*b for b.
-1
Suppose 18*s = 14*s + 20. Solve 5 = 5*y - s for y.
2