be g(-3). Solve h*u + 3 + 1 = 0 for u.
-2
Let d(o) = o**3 + 2*o**2 + 3*o. Let x = -11 - -9. Let u be d(x). Let z be (-22)/u - 2/(-6). Solve 0 = 3*k - z + 1 for k.
1
Let z(y) = y**3 - 7*y**2 + y - 3. Let v be z(7). Suppose 5*m + v*b - 46 = -0*b, 0 = -5*m + b + 26. Suppose 3*r - m*r + 3 = 0. Solve -u + r = 3 for u.
-2
Let w be 29 - (5 - -2)*-1. Solve -9*i = -0 + w for i.
-4
Let m(g) = -2*g**3 - g**2 - g + 2. Let v be m(-2). Let x be ((0 - -4) + v)/2. Let y be (x/6)/((-2)/(-6)). Solve -5*z + y = -0 for z.
1
Suppose 2*s - 4*s + 30 = 0. Let h = 56 - s. Suppose y + h = 3*z, 2*y + 50 = 5*z + 4*y. Solve -3*l = l + z for l.
-3
Suppose -23 - 17 = -2*w. Suppose -3*l = -6*m + 3*m - 27, 4*m + w = 0. Suppose 3*k - k = 10. Solve 13 = -l*x + k for x.
-2
Suppose 4*z - 4 = 0, 2*z + 3*z - 85 = -4*f. Let x(u) = -u + 4. Let q be x(0). Suppose q = -4*p + f. Solve -p*i = 1 + 15 for i.
-4
Let f = 46 + -36. Solve 4 = -f*x + 11*x for x.
4
Suppose -4*d - 8 = -4. Let x be (-19 + 14)*d/5. Solve -x - 3 = -k for k.
4
Suppose 21*o + 18 = 23*o. Let d(v) = v**3 - 8*v**2 - 10*v + 11. Let j be d(o). Suppose 2*l - 8 = -j*l. Solve -l*m + 4*m = 0 for m.
0
Let f = 239 - 237. Solve 3*d - f*d = -5 for d.
-5
Suppose 0*m - m = 5*t + 11, 13 = -2*m - t. Let q be -1 - 12/(2 + m). Solve 7*c = q*c for c.
0
Suppose -3*g = g - 8. Suppose 0*z = -z + g. Let o = 39 + -36. Solve 5 = z*n - o for n.
4
Let a be 2 - (-13 + -1 + 2). Suppose 4*c + 0*c + 3*s = a, -2*c + 4*s = -18. Let i = -9 + 19. Solve -5 = c*z + i for z.
-3
Let m be (-231)/(-22)*2/3. Suppose -m*a + 11 + 3 = 0. Solve -k + 1 = -a*k for k.
-1
Suppose 3*y = -4*k - 0 + 66, -2*y + 64 = -4*k. Solve -t + y = 21 for t.
5
Let u = -435 + 428. Let b(z) be the first derivative of -z**4/4 - 8*z**3/3 - 7*z**2/2 + 2*z - 1. Let s be b(u). Solve -a - s = -0*a for a.
-2
Suppose -5*x - 18 = -48. Suppose 2*c = -c + x. Suppose 0 = -k + c + 1. Solve -4*s = -15 + k for s.
3
Suppose -2*u + 8*g - 11*g + 29 = 0, 0 = -5*u - 2*g + 89. Solve 5*b = -u - 1 for b.
-4
Let k = 2 + 0. Let w be (1 - (k - 0)) + 1. Suppose -2*s + 30 = -w*s. Solve 3*d - s = -2*d for d.
3
Let z be -4 - (-7)/(21/24). Suppose 4*q = -4*g, 5*q + z + 14 = 4*g. Solve g = -2*m - 0 for m.
-1
Suppose 4*q + 11 - 19 = 0. Solve 5 = q*z - 3 for z.
4
Let s = -1327 - -1363. Solve -6*g + 15*g = -s for g.
-4
Let k(s) be the first derivative of -s**2/2 - 5*s + 3. Let w = -6 + -5. Let x be k(w). Solve 0 = -3*b + 3 + x for b.
3
Let t(o) = -o**3 - 4*o**2 + 8*o + 30. Let n be t(-5). Solve 8*y - n = 3*y for y.
3
Suppose -11 = -2*s - 0*s - 3*p, p = 3*s. Solve -2*d = 1 + s for d.
-1
Suppose z - 3*z = 0. Suppose 4*p - 2*r - 26 = z, 0*p - 3*r = -4*p + 31. Suppose -5*l + 15 = -p*l. Solve l = q + 4*q for q.
3
Let b(o) = -o**2 - 7*o + 2. Let w(a) = a**3 + 6*a**2 - 9*a - 1. Let g be w(-7). Suppose 2 = 3*m + 14, u - 5*m = g. Let n be b(u). Solve n*s + 6 = -0*s for s.
-3
Suppose -2*n - 5*m = -1, 4*n + 8 = -m + 1. Let v be (9/n)/((-6)/8). Solve 2*x - v = -x for x.
2
Let t(o) = o - 9. Let x be t(17). Suppose -x - 42 = -5*y. Solve -j = -3*j - y for j.
-5
Suppose -5*c - 45 = -5. Let y = c - -11. Solve i - y + 1 = 0 for i.
2
Let b(i) = -i**3 + 4*i**2 + 4. Let m be b(4). Suppose -s + 3*s - 3*x + 6 = 0, -4*x + 8 = m*s. Solve g + 2*g = s for g.
0
Let o(t) = -4*t**2 - 14*t + 7. Let v(l) = l**2 + l + 1. Let r(y) = o(y) + 5*v(y). Let j be r(8). Solve -s = -j*s for s.
0
Let d = -1172 - -1185. Solve 11*q = 20 + d for q.
3
Suppose 3*v - 5*v - p = -17, -4*v + 3*p = -19. Let g(x) = x**3 - 6*x**2 - 12*x + 38. Let l be g(v). Solve -l*j + 5*j = -8 for j.
-4
Suppose z + 4*p + 33 = 0, -2*z = -0*z + p + 80. Let x = -41 - z. Solve x = 4*y + 4 for y.
-1
Let l = 14 - 74. Let y = 63 + l. Solve 0 = y*g - 5 + 8 for g.
-1
Let i(v) = -4*v**2 - 40*v - 8. Let d be i(-9). Solve -6*z - z = d for z.
-4
Suppose -20 = -6*b + 4*b - 5*x, 4*b = 3*x + 92. Solve 0 = 5*a - a + b for a.
-5
Suppose -5*z = -5, -4*z = 3*w - 84 - 160. Solve 0 = -16*v - 0*v + w for v.
5
Let w(r) = -r**3 + 12*r**2 + 2*r. Let o be w(12). Suppose 24*d = 20*d + o. Solve -d = 5*g + 9 for g.
-3
Let u(o) = o**2 - 6*o - 6. Let m be u(7). Solve 0 = 4*i + m - 13 for i.
3
Suppose -5 + 29 = 3*s. Let i = 11 - s. Suppose 5*t - 4*u - 20 = 0, 6*t - 10 = i*t + 2*u. Solve c = -t*c for c.
0
Suppose 5*n - 8 = 72. Suppose 0*d + 4*d = c + n, -c = 2*d - 14. Solve -2*j + 1 = d for j.
-2
Suppose -6*p + 20 = -p. Suppose 3*w - 4*w = p. Let i = 7 + w. Solve -d - i = 2*d for d.
-1
Let z be (-20)/((-45)/30*(-4)/(-6)). Solve -45*w = -50*w + z for w.
4
Suppose -3*n - 12 = -n - 4*o, 6 = -2*n + 2*o. Solve n = -5*j + 11 + 4 for j.
3
Suppose -5*i = 5*u - 180, 0 = -4*u + 3*i + i + 136. Let g = -35 + u. Solve g = -0*v + v + 2 for v.
-2
Let w(p) = p**2 - 5*p - 2. Let q be w(5). Let z = q - 1. Let n = z - -15. Solve 4*h - n = -4 for h.
2
Let v be (-6)/(-10) - (-36)/15. Suppose -25*h - 200 = -33*h. Solve -h + 10 = v*c for c.
-5
Let s = 142 - 98. Let q be (2 - (-4)/(-1))*(-18)/12. Let l be s/q - 3/(-9). Solve 0 = -3*o + 6*o + l for o.
-5
Let q be ((-2)/3)/(10/(-75)). Suppose -q*w + 2*h + 30 = 0, 5*w = 5*h + 20 + 25. Solve -1 = -w*l + 3 for l.
1
Let i(s) = s**2 - 10*s - 14. Let n be i(12). Suppose -b + 6*b - 14 = -k, b + 2*k = n. Solve -3*t - b*t = 20 for t.
-4
Let c be ((-24)/8 + 4)*0. Solve c = u + 45 - 40 for u.
-5
Let t(a) = -3*a**3 + 3*a + 2. Suppose g + 12 = -5*w + 36, w = -4*g + 1. Let d be t(g). Solve -8 = -d*n - 0 for n.
4
Let s(j) = j + 5. Let u be s(-9). Let r be (-1)/(-1 + u/(-6)). Suppose -2*t - 2 = -g + 8, r*g - 3*t - 30 = 0. Solve 4*k + g = 2*k for k.
-5
Let g(s) = -s**2 - 6*s + 11. Let a be g(-7). Suppose 10 = -2*k, a*y + 2*k = -k - 7. Solve 0*d + 10 = -y*d for d.
-5
Suppose 0 = 126*n - 154*n + 476. Solve -n*y + 0*y = -3*y for y.
0
Suppose 24*n = 88 + 80. Solve -2*h + n*h + 5 = 0 for h.
-1
Let f = 1946 - 1909. Solve f = 24*k - 11 for k.
2
Let p = -16 - -19. Suppose 0*j = 2*j + 14. Let b(l) = l**2 + 5*l - 14. Let n be b(j). Solve n = p*z + 2*z for z.
0
Suppose 2*c - 3*p + 1 = 0, 2*c = -c - 4*p + 24. Let w = c + -1. Let a be (-3 + w)/((-4)/2). Solve a*t = t for t.
0
Let t(y) = -3*y**3 - 10*y**2 - 11*y - 9. Let a be t(-3). Solve 3*x - a = -24 for x.
-3
Let m be 3 + 15 + (-11 - (6 + -11)). Solve m = i + 3*i for i.
3
Let d = -4 + 22. Suppose -5*f = 4*x + d, x - 12 = 5*f + 2*x. Let b be (-1)/(-2) - (-1)/f. Solve b = -4*g + g for g.
0
Let s(v) = -3*v**3 - 11*v**2 - 5*v + 7. Let b(t) = -4*t**3 - 11*t**2 - 6*t + 6. Let h(d) = 4*b(d) - 5*s(d). Let a be h(11). Solve -w + a = -4 for w.
4
Let g be (0 - -1)*1 + -1. Suppose -3*n - i = -3*i - 16, g = -4*n - 3*i - 7. Solve -n*z - 4 = -10 for z.
3
Let k be (18 + 2 - 2)/(6/4). Solve -19 = k*a - 55 for a.
3
Suppose 3*j - 43 = 4*y, 0 = y - 0*y - 2*j + 12. Let v = 35 + y. Suppose -4*u + v = u. Solve -u*h + 4*h = 0 for h.
0
Let d be 3/2*16/12. Let a(r) = 3*r - 48. Let g be a(16). Solve g = d*p - p for p.
0
Let z(q) = q**2 - 7*q + 16. Let l = 177 - 174. Let a be z(l). Solve 0 = 3*x - a*x for x.
0
Let y be (-36)/(4/20*-2). Let o be ((-4)/(-6))/(4/y). Solve o = -2*b + 5*b for b.
5
Suppose 0 = 10*g - 12 - 38. Solve -g*m = -m - 20 for m.
5
Let j(h) = -3*h**2 + 17*h - 7. Let x be j(5). Solve x*z - 20 = -z for z.
5
Let m be 8 + 1 + -41 + 42. Solve 3*r - 4 = -m for r.
-2
Suppose q + 3*q - 5*x = 24, -2*q - 3*x - 10 = 0. Suppose -16 = 4*u - 8*u. Solve -u*s = q + 7 for s.
-2
Suppose 0 = 2*d - 5*d + 36. Let p be d/18 + (-20)/(-6). Suppose 3*w + p*a = -2*w + 80, -w - 13 = -5*a. Solve -8 - w = 5*g for g.
-4
Let q = 90 + -69. Suppose 0 = -4*t + q - 13. Let o be 3/(2*(-2)/(-16)). Solve t*s = -2*s + o for s.
3
Let v(i) = 45*i + 184. Let s be v(-4). Solve -4*w = -3*w + s for w.
-4
Let s(j) = -2*j + 28. Let u be s(6). Let x = u - 9. Solve 0 = -3*t - 2 - x for t.
-3
Suppose 2*g = -a - 3*g - 34, -a - 64 = -5*g. Let k = a + 53. Solve 0 = 4*u + k - 0 for u.
-1
Suppose -30 = -5*u + 2*u. Solve z = u - 5 for z.
5
Let h = 36 - 11. Let l be 108/63 - (-4)/14. Suppose 0*k + 2*k - l*r + 4 = 0, -2*k - 2*r + 16 = 0. Solve -k*f + h = 2*f for f.
5
Let l(r) = 2 - 4*r + 3*r + 0*r. Let b be l(-1). Solve w = -b*w for w.
0
Let g = -786 + 794. Solve 3*i - g = -i for i.
2
Let s = -34 - -45. Suppose 64 = 5*p + s*p. Solve 0 = 3*q - 5*q + p for q.
2
Let c(j) = -j**2 - 16*j - 17. Let p be c(-15). Let z be 51/4 + p/(-8). Let s = 