 h.
5
Let z(s) = -s**3 - s**2 + 5*s + 3. Suppose t - 2 - 9 = 0. Suppose 0 = -2*x - t + 5. Let u be z(x). Solve -u = v + 2*v for v.
-2
Suppose -334 + 35 = -13*l. Solve 18*d = l*d for d.
0
Let f be 203/9 + 188/423. Let k be -2*(-2)/(-8)*22. Let p = f + k. Solve -6*v + p = -2*v for v.
3
Suppose r - 12 = -4*p - p, 3*p - 3*r - 18 = 0. Suppose -q - u + p + 2 = 0, q - 2*u = -7. Solve 2*b - q = 3 for b.
2
Let q(m) = -m**2 - 5*m + 9. Let t be q(-7). Let o be t + 4*4/8. Let y be (-6)/o*(-5)/(-2). Solve -y*x - 2 = -17 for x.
3
Let f be (18/(-45))/((21/(-90))/7). Suppose 0 = -f*k + 76 + 44. Solve -k = -2*u - 4 for u.
3
Let n(g) = -2*g**3 + 135*g**2 + 70*g - 133. Let i be n(68). Let r = 5 - -3. Solve r*k = i*k for k.
0
Let n be ((-54)/189)/(6/(-1659)). Solve 2*c + 85 = n for c.
-3
Let z = 2770 + -2735. Solve 82*h = 75*h + z for h.
5
Suppose 2*g + 0*g - 5*j + 78 = 0, 0 = -2*g - 5*j - 38. Let d = -27 - g. Solve d*o = -0*o for o.
0
Suppose -26*y = -14*y - 24. Solve v - y = 3*v for v.
-1
Suppose -4*c - 10*c + 42 = 0. Solve c = -4*n + 15 for n.
3
Let l(v) = 13*v + 6*v - 55*v + v**2 + 19*v + 2. Let s be l(17). Solve s*d = -3*d + 15 for d.
3
Let l = -53 - -83. Solve -3*n + 9*n = l for n.
5
Suppose -6*f = -3*v + f + 157, 4*v = 2*f + 246. Solve -j = 62 - v for j.
2
Let s(v) = v**2 - 2*v - 23. Let h be s(-7). Suppose 2*p = 4*z - h, 24 = z + p - 5*p. Solve a + a - z = 0 for a.
4
Let v = -22 - -24. Suppose 0 = v*g - 2 + 2. Solve g = -z - 2 + 3 for z.
1
Let d(a) = -5*a**2 - 4*a. Let r be d(3). Let s = r - -59. Solve 4*q + 6 - s = 0 for q.
-1
Let f(t) = t**2 - 19*t + 86. Let b be f(5). Suppose 2*o = 4*i, 0*o + 2*i = -2*o. Suppose -3*d + 12 = 3*j, 3*j + 0*d + 4*d - b = o. Solve -y + 4 = -j*y for y.
4
Let k(f) = -2*f**3 + 23*f**2 - 13*f + 22. Let t(c) = c**2 - 10*c - 45. Let a be t(14). Let j be k(a). Solve 4*q + 2 - 6 = j for q.
1
Let g = 1 - -4. Suppose 8*w = g*w - 6. Let k be w*(-6)/4 + 2. Solve r = k - 3 for r.
2
Suppose -2*h = c - 4*c + 3, 0 = 3*h - 2*c - 3. Suppose 2*t + 12 = h*w, 4*w - w - 5*t = 21. Solve -w*z + 4 = -0*z for z.
2
Let f = -8 + 8. Suppose f = -4*s + 2*a - 736, -a = s - 3*a + 184. Let j be s/(-40) + (-2)/(-5). Solve 5*y + j + 5 = 0 for y.
-2
Suppose 6 = 2*i + i. Let r = 4 - i. Suppose 5*k - 5*u = 25, -5*k = -2*k + 5*u - 47. Solve k = r*v - 5*v for v.
-3
Let j = -23 - -11. Let q(f) = f - 24. Let o be q(10). Let h = j - o. Solve h*k + 3 = -3 for k.
-3
Let v = 211 + -307. Let t = -95 - v. Solve 3 = -2*b - t for b.
-2
Let l(b) = -b**3 + 11*b**2 - 10*b + 17. Let c be l(10). Solve 6*z + c = -1 for z.
-3
Let d(c) = 4*c**2 - 32*c + 10. Let o be d(8). Solve v + v = -o for v.
-5
Let f = 30 - 42. Let s(g) = -2*g - 7. Let l be s(f). Solve 0 = 3*k + 5 - l for k.
4
Let w = -18 + 26. Let d be 2/w - (-38)/8. Suppose 2*r + 11 = -d*y + 59, 0 = -4*y + 5*r + 12. Solve 4*t = y*t for t.
0
Let n(k) = -3*k - 7. Let q be n(-5). Solve 2*i = -2*i - q for i.
-2
Let z(o) = -2*o**3 - 45*o**2 + 27*o + 98. Let m be z(-23). Solve -10*g = -m*g + 8 for g.
-2
Let t(q) = q**2 + 12*q + 6. Let x be t(-11). Let h = x + 5. Suppose 0 = 5*u + 5*n - 135, h = 2*n + n - 3. Solve -4*i - 6 = -u for i.
5
Let h be (-884)/(-74) + (-88)/(-1628). Solve -6*x = -3*x - h for x.
4
Let f(a) = -a - 1. Let h = -5 + 14. Suppose 0 - h = i. Let v be f(i). Solve 0*u - v = -4*u for u.
2
Let k = -363 - -368. Solve k*n = n - 8 for n.
-2
Suppose 7*d - 153 + 13 = 0. Let p(n) = -3*n - 10. Let r be p(-5). Solve 0*u + d = r*u for u.
4
Let j(s) = s**3 - 40*s**2 + 39*s - 23. Let h be j(39). Let m(i) = -6*i + 3. Let n be m(-4). Let g = h + n. Solve -g*o = -9*o for o.
0
Let r = 13 - 8. Suppose -h = r*h - 18. Suppose -11 = -h*f + 5*b, f - 3*b + 3 = 4*f. Solve -f = 5*j - 17 for j.
3
Let y(o) = 11*o + 86. Let k be y(-7). Solve k*s + 12 = -3*s for s.
-1
Let v be ((-15)/(-12))/(4/16). Suppose 0 = -3*r + 4*q - 5*q + 4, v*r - 16 = 3*q. Solve -r*h - 2*h - 20 = 0 for h.
-5
Let j = 214 + -211. Solve 0 = -0*i - j*i for i.
0
Let u = -35 - -47. Solve -8*z + 12*z = -u for z.
-3
Let a = -33 - -49. Suppose -19*o + a*o = -12. Suppose o = 5*c - 3*c. Solve -2 = -c*r + 2 for r.
2
Suppose 3*l + 6 - 15 = 0. Solve -5*f = -l*f for f.
0
Suppose 0 = -9*t - 320 + 572. Solve k - t + 27 = 0 for k.
1
Let q(c) = -c + 9. Let n be q(8). Suppose 6 = -3*j + 6*j. Solve 0 = -j*b + n - 5 for b.
-2
Suppose 0 = -h - 109 + 109. Solve z - 6*z - 10 = h for z.
-2
Let d be (-72)/(-40) - 1/(-5). Let t = 7 + d. Let l = t + -1. Solve o = 3*o - l for o.
4
Let w(u) = -20*u + 61. Let l be w(3). Solve l = 6*r - 7*r for r.
-1
Let j(r) = r**3 - 6*r**2 + 8*r - 11. Let d be j(5). Suppose -d*z + 31 = 3*o, -o + 1 - 8 = -3*z. Solve z*b + 2 = 10 for b.
2
Suppose 145*m - 12 = 141*m. Let a be 6/2*(-8)/(-6). Let j = a - m. Solve 5*s + 24 = -j for s.
-5
Let n be 8/(-19 + 3)*0. Solve n = 5*z - 9*z + 4 for z.
1
Let n(q) = q**2 + 8*q + 12. Let r be n(-6). Let o be (r - 0)/((-2)/(-2)). Let p(a) = -a**2 - a + 5. Let y be p(o). Solve -4*x + y = 21 for x.
-4
Suppose -8*w = -13*w + 20. Suppose 5*m = 4*j + 3*m + 10, -15 = -w*j - 3*m. Solve 5*x - 2 - 8 = j for x.
2
Let w(n) = 6*n + 124. Let z be w(-19). Solve r - 8 = -z for r.
-2
Let k be (-2 + 2)/((-1)/(-1)). Let m(t) = 2*t - 6. Let a be m(4). Let n(h) = 89*h + 9613. Let v be n(-108). Solve k = -a*g - v - 3 for g.
-2
Let n be 3*7/(21/4). Let o be 0/((-3)/6*n). Suppose -18 + o = -3*i. Solve i*t = 4*t for t.
0
Suppose 3*r = 9*r - 18. Solve 7*d + r + 25 = 0 for d.
-4
Suppose -4*n - 27 = -5*s, s + 3 = -0*s - 2*n. Solve s*g = -9 + 3 for g.
-2
Let c = -65 + 70. Suppose -3*b = -7*b, -c*b = g. Solve g*q - 8 = 4*q for q.
-2
Suppose 0 = i - 5*a - 17, -5*i + 3*a = -2 - 39. Suppose -i*m + 3*m = -20. Solve -8 = -m*y + 12 for y.
4
Suppose 3*w = -3*r - 42, 4*w = -3*r + 4*r - 36. Let m be (-15)/w*2 - -22. Let o = m + -20. Solve o*y + 8 = y for y.
-2
Let i be 1/3 + 30/18. Suppose -q + 0 - i = -4*d, -5*q - 4*d = -14. Solve q*u = 4*u - 4 for u.
2
Let f be 4/(-1)*18/(-24). Solve f*k = -0*k for k.
0
Let g be 3*(2/2 - (-16)/24). Suppose -g*q - q = -72. Solve 3*k = -0 - q for k.
-4
Let w = -28 + 31. Suppose 3 = i - s, -w*i - 4*s = -2*i - 13. Solve 0*k = -k + i for k.
5
Let f = 6 + -1. Let q(r) = -r**2 - 9*r - 12. Let b be q(-7). Suppose -b*k = -3*k. Solve 4*y - f - 15 = k for y.
5
Let h(x) = 2*x**2 + 24*x + 57. Let u be h(-9). Let l = 98 + -93. Solve l*r = u*r + 2 for r.
1
Let m(h) = h**3 + 28*h**2 - 31*h - 55. Let x be m(-29). Suppose -1 - x = -2*a + g, -4*a + 5*g = -20. Solve a = -3*l + 14 - 2 for l.
4
Let k = -29 + 52. Let l = -23 + k. Solve -2*i - 6 = -l for i.
-3
Let p = 13 - 12. Suppose p = -h + 5. Solve -4*q + 3*q - h = 0 for q.
-4
Let f = -503 + 506. Solve f*b + 0 = -9 for b.
-3
Let t(h) = h**3 - 28*h**2 + 197*h - 18. Let v be t(15). Solve 14*q + v = -2 for q.
-1
Let a(n) = n**2 - 21*n + 22. Let f be a(20). Suppose -f*v - v = v. Solve 2*o + 3*o - 15 = v for o.
3
Let n(u) = -u**3 + 12*u**2 - 10*u + 8. Let s be n(11). Solve 14*x = s*x - 25 for x.
5
Let r(n) = 2*n**2 + 4*n. Let b be r(-3). Let p = -4 + 16. Let i(y) = y**3 - 11*y**2 - 10*y - 4. Let x be i(p). Solve b*f = 2*f - x for f.
-5
Let y(q) be the first derivative of q**3/3 - 2*q**2 + 4*q + 27. Let t be y(4). Solve -t*k = k for k.
0
Suppose -2*v - 63 = 4*z - 7*v, 5*z - 2*v + 66 = 0. Let x be z/(-8)*12/9. Solve x*n + 2*n = -4 for n.
-1
Let o(l) = -l**2 - 93*l + 94. Let c be o(1). Solve b = -c*b - 2*b for b.
0
Suppose 6*b - 26 = 4*b - 4*i, -5*b = -4*i + 5. Suppose 2*x + b - 7 = 0. Solve 0*s - x*s = -8 for s.
4
Let b(x) = x**2 - 7*x + 15. Suppose -2*i + 6*i - 2*g - 10 = 0, 2*g - 15 = -i. Let s be b(i). Solve -3 = s*l - 2*l for l.
-1
Let h(a) = a**3 + 18*a**2 + 18*a + 22. Let l be h(-17). Solve 16 = l*s + 1 for s.
3
Let w(a) = -a**2 - 3*a. Let u = 4 + -7. Let v be w(u). Let x be ((-2)/(-8)*v)/(-1). Solve x = -2*b - 2*b + 16 for b.
4
Let x be (2 - 1) + (-4)/4. Suppose 4*q = 24 - x. Suppose 0 = 2*d - 0*d - q. Solve -6*a - 15 = -d*a for a.
-5
Suppose 6*x - 12 = -0*x. Suppose x*f + 6 = -2*a + 6*a, 4*f + 5*a = 53. Suppose 4*q - 5 = f. Solve 3 + 3 = -q*g for g.
-2
Let a be 0 + 0 + 8 + -5. Let r(o) = 3*o - 6. Let n be r(a). Solve n = d - 2 for d.
5
Let u(b) = b**3 - 6*b**2 + 5*b + 2. Let i be u(5). Suppose -c + 2 = 0, 6*c - 10 = i*g + c. Solve 2*t - 4*t - 4 = g for t.
-2
Suppose 3*n - 30 = -5*l + 30, 4*n - 4*l - 11