Let u = 3 + -9. Let c be 0 - (3 + u/2). Solve c = 2*g - 2 - 8 for g.
5
Let c = -6 + 3. Let y = -2 - c. Let z = y - -1. Solve -z*i - 2*i = -12 for i.
3
Let b(i) = 11*i**2 - 2*i + 1. Let s be b(1). Let c = 13 + -8. Suppose 5*l - 14 + 4 = -4*g, 5*l - c*g = s. Solve l*o - 8 = -0*o for o.
4
Suppose s = 2*d - 1, 2*d - 2 = 4*s - 2*s. Solve -2*m + 2 = -d*m for m.
1
Suppose -30 = -4*k + 6. Let q = k + -6. Suppose q = c + 2. Solve 0 = x + c for x.
-1
Suppose -25 = -4*g - 5*b, -2*b = 2*g - 0*b - 10. Suppose 5*n + 5*h - 7 - 18 = g, -5*n + 23 = 4*h. Solve -n*l - 2*l - 10 = 0 for l.
-2
Let u = -3 - -8. Solve -4*g + u + 15 = 0 for g.
5
Let c be 1 + 1*-3 + 2. Let t(d) = -d3 + 4*d2 + 8*d - 7. Let i be t(5). Suppose -3*y = a - 10 + 2, y = a + i. Solve c = r + y*r + 20 for r.
-4
Let w = 8 - -23. Let d = w + -27. Suppose 0 = -q + 4 + 4. Solve d*m = 2*m + q for m.
4
Let t = 0 + 3. Let o = t + 6. Suppose -3*q = -12 + 6. Solve o = z + q*z for z.
3