 for h.
-2
Let q = -31 + 36. Solve 12 = q*f - 8 for f.
4
Let u(m) = m + 9. Let b be u(-7). Suppose -4*r + 5 = n + b, -2*r = 3*n - 9. Solve 8 = -q - n*q for q.
-2
Let x be (0*2/2)/(-2). Suppose -f = -x*f. Solve f = 3*k - 2 - 10 for k.
4
Let d(f) = 6*f**3 - f**2 - f + 1. Let v be d(1). Suppose 10 = 4*x + v*u, -4*u = 3*x + x - 12. Suppose -2*q + 3*q = 0. Solve q = -x*c - 5 - 5 for c.
-2
Let c(j) = j**2 - 4*j - 5. Let s be c(5). Suppose -t + 3*t - 10 = s. Suppose 20 = -w + t*v, 2*w + 3 = 4*v - 7. Solve -m + w*m - 12 = 0 for m.
3
Suppose -c = -0 - 2. Let x be ((-3)/(-9))/((-3)/(-108)). Solve -c*r + x = r for r.
4
Suppose 1 - 4 = -a. Let h = a - 1. Let f = h - 2. Solve -5*k + k + 12 = f for k.
3
Let t be (-2 - (-36)/15)*10. Suppose 0 = -2*w + t*w - 4. Suppose -x = -w*x. Solve x = -p - 5 for p.
-5
Let t(b) be the first derivative of -b**4/4 - b**3/3 - b**2/2 - 2*b - 1. Let o be t(-2). Let d = o + 1. Solve -8 = -d*c - 23 for c.
-3
Let l = 16 + -9. Solve l*u = 3*u - 12 for u.
-3
Let r(p) = -p**2 + 11*p + 46. Let n be r(14). Solve 6*m - 2*m = n for m.
1
Let r(q) = q**3 + 17*q**2 + 17*q + 23. Let c be r(-16). Suppose -4*w + c = -9. Solve -4*a - w = -8 for a.
1
Suppose -2*p - 12 = p. Let l be 6/p*20/(-6). Suppose 3*t + s - 85 = 0, -6*t = -l*t + 5*s - 5. Solve 5*a + 5 - t = 0 for a.
5
Suppose 0*g = -g. Suppose g = 5*a + 2*r - 20, r + r - 12 = -a. Suppose 11*p - 10*p = 0, 2*m = p. Solve m = -a*x - 2*x for x.
0
Let i(t) = t**3 + 3*t**2 - 2*t + 2. Let u(s) = 3*s. Let b be u(-1). Let w be i(b). Let r = -6 - -9. Solve -r*v = w + 7 for v.
-5
Suppose 6*j - 19 = 11. Solve 2*k = j + 1 for k.
3
Let c(t) = -3*t - 1. Let j(u) = -7*u - 2. Let z(s) = -5*c(s) + 3*j(s). Let x be z(-1). Solve -x*f - 7 = 3 for f.
-2
Suppose -q - 2*t = 3*t - 22, q = -4*t + 20. Solve -2*f = 2*f - q for f.
3
Let h = 5 - 3. Suppose 2*d + h*w + 3 = -w, 3*w = 5*d - 24. Suppose -20 = -d*s - s. Solve -2*u + s = 3*u for u.
1
Suppose 2*z - 4 = -4*a, -2*z + 2*a + a = -39. Let h(q) = q**2 - 12*q + 3. Let i be h(z). Solve n + 2 = -i for n.
-5
Let q = -8 + 12. Suppose 18 = 4*c - 2*h, -q*c + 5*h + 16 = -11. Let j be c/((-2)/((-8)/6)). Solve 0 = -j*f + 2 for f.
1
Let n(m) = 4*m - 13. Let f be n(5). Solve 5*k = 8 + f for k.
3
Suppose 19 = 2*n + 4*m + 1, m - 2 = 0. Solve n*z - 3 - 12 = 0 for z.
3
Let l = 22 - 4. Suppose -5*d = -3*d - l. Solve 4*i = 3 + d for i.
3
Let t = -4 - -8. Solve -t*h = h + 25 for h.
-5
Let l = 61 - 57. Solve -l*i + 14 = -2 for i.
4
Suppose 5*b - 11 = -1. Suppose -b*o + 6 = -0*o. Suppose z = o*z. Solve -a = -z + 2 for a.
-2
Let i(w) = w**3 + 5*w**2 - 3*w - 6. Let d be i(-5). Let u(x) = 4*x**3 - 4*x**3 + 10*x**2 + 26 - 9*x - x**3 - 22. Let m be u(d). Solve m*o - 4 = 2*o for o.
2
Suppose 0 + 5 = 5*d. Let w = 2 + d. Suppose -3*q = -s - 2*q + 7, -q = -5. Solve -w*b - s = b for b.
-3
Let n be (-3*3/(-9))/1. Let b be n/(2 + 30/(-16)). Solve -4 = f - b for f.
4
Let g be (-1*8)/(3 - 5). Let l be 17 - (-4)/(7 + -3). Solve 2 = g*s - l for s.
5
Let z = 0 + 2. Suppose -4*a - 5*d = -37, -4*a = a - 4*d - 36. Solve -4*v + z*v = a for v.
-4
Suppose 5*r + 12 = 5*l - l, -r - 36 = -5*l. Let f be (-21)/(-28) - (-2)/l. Solve f = -t + 3 for t.
2
Let v(b) be the first derivative of b**4/4 + b**3 - 2*b**2 + 5*b + 5. Let m be v(-4). Solve -u - 2 + m = 0 for u.
3
Let b = -125 + 130. Solve b*n = n for n.
0
Let y(x) = x. Let v be y(-3). Let a be v - 1/(-1) - -2. Suppose -5*c = -0*c - 10, -3*q - 3*c = -15. Solve a = -o + q*o for o.
0
Suppose 5*g - h - 1 = 0, h - 5*h = -3*g - 13. Solve 4*s + 11 = -g for s.
-3
Let u be 2/(-16) + (-1331)/(-88). Solve -6*a + u = -a for a.
3
Let l be (-70)/28 + 1/(-2). Let a be (1/(-3))/(l/27). Solve a*o + 15 = -0*o for o.
-5
Let a be (-2 + 8)*(-2)/(-6). Solve h = -2 - a for h.
-4
Let k(t) = -t**3 - 8*t**2 - 9*t - 10. Let r be k(-7). Suppose -16 = r*p + c - 3*c, 5*p + 5*c + 35 = 0. Let s = -5 - p. Solve -5*i - 8 - 17 = s for i.
-5
Suppose 2*u = 17 - 13. Solve i + u + 3 = 0 for i.
-5
Let d be 2/(-4)*(-36)/(-3). Let s = 16 + d. Solve -5*o - 5 = s for o.
-3
Let u(s) = -4*s**2 + s**3 - 3 + 2*s**2 - 3*s**2 - 3*s + 4*s**2. Let k be u(3). Solve 2*p = -p - k for p.
-2
Suppose -4*j = -5*k - 4 + 65, 0 = -j - 4. Solve -29 = -5*b - k for b.
4
Suppose 2 = -d, f = 3*f + 2*d - 6. Let r(i) = -3*i**3 + i**2. Let l be r(-1). Suppose -f*x + 0 = -l*y - 28, 2*y + 16 = 3*x. Solve t = x*t - 9 for t.
3
Let q be ((-8)/(-20))/(1/(-35)). Let s = 7 + q. Let j(l) = -l**2 - 8*l - 5. Let d be j(s). Solve 4*c - d - 10 = 0 for c.
3
Let r = 4 + 0. Suppose 0 = 2*y - y + 2*u + 3, 5*y - r*u - 27 = 0. Solve 10 = y*l - l for l.
5
Let a(p) = p - 3. Let v be a(5). Suppose -2 = -h + v. Solve h*n + 3 = -5 for n.
-2
Let j(f) = f**2 + 5*f - 1. Let s be j(-6). Let x = 1 - -19. Solve -s*m + m + x = 0 for m.
5
Suppose -4*s + 12 = 3*c - 20, 3*s + 5*c = 24. Let y = -4 - -5. Suppose 2*k + 3*n - y = 0, 4*k - 2*k - 2*n = 16. Solve -s - 2 = -k*g for g.
2
Suppose -6*l + 4*x + 16 = -2*l, 5*l - 38 = -4*x. Solve 0*c + l = -2*c for c.
-3
Let p = -111 + 132. Solve -5*k - p + 1 = 0 for k.
-4
Let b(x) = x - 1. Let k be b(5). Let g be -1 + (12/k)/1. Solve -g*y = -0*y for y.
0
Let w(s) = -s**3 + 14*s**2 + 4*s + 7. Let v(f) = f**3 - 13*f**2 - 3*f - 8. Let m(r) = -5*v(r) - 4*w(r). Let z be m(9). Solve -20 = z*d - 5 for d.
-5
Let h be 8/(-48) - 43/(-6). Solve 2 = 5*d + h for d.
-1
Let f(m) be the first derivative of -31*m**4/4 - 2*m**3/3 + m - 2. Let k be f(-1). Suppose k + 10 = 5*n. Solve -n = -5*t + t for t.
2
Suppose 4*z + 7 = 3*z - 4*g, -4*z + 23 = -g. Solve 4*m - z = -m for m.
1
Let l = -123 - -131. Solve -l + 3 = 5*k for k.
-1
Let o = -29 - -29. Solve o = -2*x + 3 + 1 for x.
2
Suppose x = 5*z - 23, 4*x - 2*z - 3 = -z. Suppose 5*g - 12 = x*g. Solve -q + g = -0*q for q.
4
Suppose i + 15 = -4*x + x, 0 = -5*i - 2*x - 75. Let u = 21 + i. Suppose -3*y + 0*y = -6. Solve -j + u - y = 0 for j.
4
Let b be -1 + 2 + 1 + 1. Suppose 17*d - 16*d = 0. Solve 3*s - b = -d for s.
1
Let n = 5 - -7. Suppose -n = -5*q + 2*q. Solve q*z + 25 = -z for z.
-5
Let b = 4 - 2. Suppose 32 = -b*u + 6*u. Solve 0 = -3*n - 4 - u for n.
-4
Let o(l) = -l + 5. Let b be -12*(1 - 4/3). Let n be o(b). Solve t + 3 = n for t.
-2
Let t = 2 + 0. Suppose t*s - 10 = 3*f, 2*f - 4 - 1 = -s. Suppose 2*z - 4 = d, -s*d - 3*z - 10 = -8*z. Solve d = 2*h + 2*h + 20 for h.
-5
Suppose 5*d - 25 = -2*v, -5*d + 2*v = -4*d - 5. Suppose r + 2*r - 5 = d*b, -17 = -b - 3*r. Solve 0 = j - b*j - 5 for j.
-5
Let p be (-14)/(-6) - (5 + (-28)/6). Solve -p*t - 15 = 3*t for t.
-3
Suppose -18 = -2*m + 5*r + 1, -2*r = 3*m. Let w(f) = f**3 + 3*f**2 - 5*f - 2. Let z be w(-4). Suppose 4*t - z = 62. Solve -2*x - m*x - t = 0 for x.
-4
Let q(v) = 15*v**2. Let y be q(1). Solve -6*o + o = -y for o.
3
Let q(j) = j**3 + 4*j**2 - 5*j. Let g be q(-5). Solve p + 3 = -g for p.
-3
Let a(n) = 2*n**3 - 8*n**2 - 9*n + 2. Let s be a(-6). Let g(i) = i**3 + 5*i**2 - 7*i - 7. Let j be g(-5). Let b be (-2)/(-7) - s/j. Solve -4*h + b = 8 for h.
4
Suppose -3*l - 6 = 0, 3*j - 5*l - 2 = 7*j. Solve 1 = -w - j for w.
-3
Suppose -2*n = -3*n + 2. Let y be n/4 + 11/2. Let k = 0 + 2. Solve -y*x + k*x = -16 for x.
4
Suppose 4*k = 4*t - 28, -2*k + 7 = 3*t + 1. Suppose -5 - 3 = -h. Solve h*r = t*r for r.
0
Suppose 0 = -4*m + 4*z, -3 = -2*m - z + 2*z. Let t(p) = -p + 5. Let q be t(m). Let v be 2/((-8)/10)*-2. Solve -v*o - q = -12 for o.
2
Suppose 0*t + 8 = 4*t. Suppose 3*u - t - 4 = 0. Solve 0 = q - u + 4 for q.
-2
Suppose 0 = -c - 2*c + 6. Suppose -4*y - w - 6 = -8*y, -w = -c*y + 4. Suppose 0 = a + y, 2*a + a = 3*h - 21. Solve f - h*f = -5 for f.
1
Let r be ((-5)/(-4))/((-3)/(-12)). Let g be (-6)/10 - (-84)/15. Suppose -16 = -s + 4*h, 2*s - g = -r*h + 1. Solve s = -3*z - z for z.
-2
Let f = -5 + 8. Suppose -r - 16 = -4*v, -f = -4*r + 13. Solve -6*u = -u + v for u.
-1
Let h(t) = t**3 - 10*t**2 - 2*t + 15. Let n be h(10). Let w = n + 6. Solve -w + 0 = q for q.
-1
Let b(d) = d**2 - 7*d. Suppose -3*j = -2*j - 7. Let f be b(j). Solve f*q + 10 = 5*q for q.
2
Let q be (0/(-1) - -3) + 1. Solve a + 2 = q for a.
2
Suppose -l = -0*l - 5. Let a(b) = b**2 - 10*b + 13. Let w be a(9). Let m = 16 - w. Solve 0 = -2*k + l*k - m for k.
4
Let u = 1 - 1. Suppose u = -3*t + 89 - 11. Suppose -2*m = 4*r - 16, -r + 2*m + t = 2*r. Solve h = 4*h + r for h.
-2
Let b(y) = y + 