 + f + w = 0 for h.
-2
Let q(a) = -a**3 + a**2 - 3*a + 21. Let k be q(0). Solve 4*d = -13 + k for d.
2
Let g be ((-2)/3)/((-12)/54). Suppose -90 = -5*t + 2*w, t + 5*w = 3*t - 36. Solve 0 = -3*k + t - g for k.
5
Suppose 2 = 3*o - 2*o, -3 = -5*y + o. Solve y + 3 = 2*i for i.
2
Let c be ((-3)/(-9))/(3/36). Suppose 4 + 12 = c*d. Suppose d = -s + 3*s. Solve -i = s*i - 12 for i.
4
Suppose -5*s - 4*b = -21, 3*b = -4*s + 12 + 5. Let u be (s + 1)/((-8)/(-4)). Suppose -5*r + f + 2 = -2*r, 4*r = -4*f + 24. Solve -n = r*n - u for n.
1
Suppose 0 = -2*u + 5*u - 18. Suppose u*o - 19 = -1. Solve o*k + 7 + 8 = 0 for k.
-5
Let y(k) = -k**2 - 6*k - 8. Let d be y(-4). Solve -12 = 3*f - d*f for f.
-4
Let k(x) = 4*x - 10. Let q be k(3). Let b(g) = -4*g. Let h(d) = -3*d. Let w(i) = 4*b(i) - 5*h(i). Let r be w(-3). Solve -r*y = 14 - q for y.
-4
Let t be (-40)/(-12) - 1/3. Suppose -x = 2*x + t. Let c(d) = -4*d**3 + d**2 + 2*d + 1. Let a be c(x). Solve -a*z + 4 = -16 for z.
5
Suppose -2*l + 5*l = -36. Let d = 11 + -12. Let s be ((-3)/(-6))/(d/l). Solve x + x - s = 0 for x.
3
Let u be -3 + (-23)/(-5) + 16/40. Solve -u*t + 6 = -0*t for t.
3
Suppose 3*p + 15 = -3. Let i(w) = w**3 + 7*w**2 + 5*w - 3. Let h be i(p). Let f(a) = a**2 - 2*a + 3. Let k be f(h). Solve -k*o = -3*o for o.
0
Let h = -2 - -9. Solve 0 = 2*a - h*a + 20 for a.
4
Suppose 7 + 17 = 2*h. Solve 0 = -6*s + 2*s + h for s.
3
Let v(b) = b**3 - 7*b**2 + 2*b - 7. Let m be (3 - 4)*-2 + 13. Suppose -m - 6 = -3*h. Let l be v(h). Solve -l*c = -3*c for c.
0
Suppose 4*q + 3*v = 17, -2*v = -7*q + 2*q + 4. Let b(c) = 3*c**q + 2 - 5*c**2 - 1 - c**3. Let x be b(-2). Solve 4 + x = o for o.
5
Let j = 218 - 216. Solve -4*g - j = -2*g for g.
-1
Suppose 0 = -5*t - 15 + 30. Solve 0 = -t*f + 8*f - 15 for f.
3
Let l = -23 - -29. Let o = l + -2. Solve -o*b = 9 + 11 for b.
-5
Let h(p) = -p**2 + 5*p - 4. Let i be h(4). Solve 2*o + 6 = -i*o for o.
-3
Suppose 9 = 8*u - 5*u. Solve 1 = -u*i + 2*i for i.
-1
Let t = -12 - -10. Let s = 2 + t. Solve -4*a + 12 = -s*a for a.
3
Let i(y) be the third derivative of y**5/60 + 5*y**4/24 - 5*y**3/3 - 2*y**2. Let z be i(-7). Suppose 8*q = z*q. Solve -6 = -q*v - 2*v for v.
3
Suppose -5*o - 4*f + 25 = 0, -3*f + 1 + 9 = 2*o. Suppose g - 3 = o. Solve 0 = 6*c - 4*c + g for c.
-4
Let h be 1 + -1 + -2 + 5. Suppose -d + 6*d + n = 30, 30 = 5*d - 4*n. Solve -5*b = -h*b - d for b.
3
Let y = -7 - -6. Let z = 1 + y. Solve z = -2*g + 5 + 3 for g.
4
Suppose 6*t - 2*t + 3*j - 39 = 0, 2*t - 39 = 5*j. Solve -4*g + t = -g for g.
4
Let a = 2 + -6. Let w(b) = b**3 + 3*b**2 - 5*b + 2. Let l be w(a). Solve p = 3*p + l for p.
-3
Let r be (9 + -11)*(-10)/4. Solve 0 = -3*i - 2*i + r for i.
1
Let j(x) = -x**2 - 9*x + 4. Let c be j(-9). Suppose -10 = 5*k, -c + 6 = 3*g - k. Suppose l + 4*f = 18, -3*l - 2 = -3*f + 4. Solve -d + 0*d - l = g for d.
-2
Let w be 5 - (2 + (-5 - -2)). Solve -w = -2*k + 4*k for k.
-3
Let i(m) = m**3 + m**2. Let y be i(1). Solve -6 - 2 = -y*t for t.
4
Let v = -1 + 1. Suppose f - 11 + 3 = v. Suppose -4*l + 0*l + f = 0. Solve 3*p - 4 = l*p for p.
4
Let s = 11 - 6. Solve -s*y - 4 = -3*y for y.
-2
Let g = -33 - -38. Solve -3*o + 2 = g for o.
-1
Let y(s) = -s**2 + 6*s + 16. Let t be y(8). Solve 3*a - 2 + 14 = t for a.
-4
Suppose -5*h = -j + 6*j, 25 = 3*h - 2*j. Suppose 0 = -5*i + h*g - 25, -2*i + g = 3*i + 5. Let w be (2 - 3)*(0 + i). Solve -5*o = -w*o + 10 for o.
-2
Suppose 2*x - 6 = -3*n - 19, -4*x + 4*n = -24. Solve g + 1 + x = 0 for g.
-2
Suppose 0*l + n - 2 = 4*l, 0 = 4*l + n - 2. Solve l = -2*a + a for a.
0
Let n(f) = -f**2 - f - 2. Let q be n(0). Let v be -6*(-2 + (q - -3)). Solve 0 = v*a - a for a.
0
Let r = 1 - 1. Let p(j) = j + 6. Let h be p(-6). Let m(f) = -f**3 - f**2 + 2*f + 2. Let s be m(-2). Solve h = -r*i + s*i for i.
0
Suppose -6 = -q - 2. Solve -s + q*s - 9 = 0 for s.
3
Let r(d) = d**3 - 2*d**2 + d. Let x be 36/5 + (-1)/5. Suppose 2*u = -u + i + x, 0 = -5*u + i + 11. Let w be r(u). Solve w*v = -0*v + 6 for v.
3
Suppose -4*c + 14 = -5*c. Let o = 15 + c. Solve 3 = v - o for v.
4
Let t = -54 + 62. Let o = 4 - -14. Solve -2*i - t = -o for i.
5
Suppose -k - 13 = -2*k - c, 34 = 4*k - 2*c. Let o = -24 - -26. Suppose 2*t - o = k. Solve -t = h - 4 for h.
-2
Suppose n - 13 = -2*n - 4*f, 4*n = -2*f + 14. Solve k + n*k = 0 for k.
0
Let f(p) = -p**3 + 6*p**2 + 9*p - 1. Let l be f(7). Let k be 58/3 + (-2)/6. Suppose -4*x = -5*z + k, -5*z = 2*x - 4*x - 17. Solve z*b = -l + 1 for b.
-4
Let x = -169 + 169. Solve x = -4*o + 6 - 18 for o.
-3
Suppose -2*a - r + 3 = 0, 2*a - 4*r + 5 = 3*a. Solve 5*l = 4 + a for l.
1
Suppose v = 4*n - 17, -2*n - 3 = 2*n + 3*v. Solve n*x + 4 + 2 = 0 for x.
-2
Suppose 54 = -20*b + 134. Solve -b*j + 4 = -3*j for j.
4
Let y be 3/(-6)*-2*-1. Let o = 5 + y. Solve r - 10 = -o*r for r.
2
Let l(t) be the first derivative of -t**2/2 - 5*t - 1. Let s(h) = -h**2 + 2. Let m be s(3). Let b be l(m). Solve -b*j + 3 = j for j.
1
Suppose -v + 2 = -1. Suppose 4 = v*y - 5. Solve -p + y = -2*p for p.
-3
Let x(u) be the first derivative of u**3/3 + 2*u**2 - 7*u + 1. Let p be x(-6). Solve -p*q = -3*q for q.
0
Suppose -k + 6 = -m, 6 = 3*m - 9. Suppose -2*d + k = 3*c - d, c = -4*d. Solve 0 = c*z - 0 - 8 for z.
2
Let o = 12 + 22. Let s be o/6 + 1/3. Solve -s*i + 15 = -3*i for i.
5
Let s be 10*(6/(-4) - -1). Let n = -1 - s. Solve n*z - z = -6 for z.
-2
Let v(c) = -2*c - 13. Let o be v(-8). Solve -o*w = -4*w + 1 for w.
1
Suppose 0 = -3*t - 0 + 12. Suppose -t*w + 0*w = -36. Solve 2*r + r = -w for r.
-3
Let a(o) = o + 3. Let v be a(0). Solve 0 = 3*x + v for x.
-1
Let l = 8 + -5. Solve -7*x + 8 = -l*x for x.
2
Suppose 0*q + 2 = -2*q + 3*f, 3*f - 6 = 0. Suppose -k + 18 = q*k. Let a be 2/k*(-36)/(-3). Solve a*h + 3 = 3*h for h.
-3
Let a(f) = -f**3 + 23*f**2 + 49*f + 27. Let c be a(25). Let j = -3 - -5. Solve -j*y = -3*y + c for y.
2
Suppose 5*x + 0*a = 5*a - 15, 2*x + 15 = 5*a. Let z = 2 + x. Solve c + z*c - 6 = 0 for c.
2
Let x = 1 + 2. Let s be 2/x - 40/(-12). Solve -3*y - s + 10 = 0 for y.
2
Suppose 3 = -3*d + 12. Solve -d*z - 10 = 2*z for z.
-2
Let x(b) = 2*b**2 + 29*b - 12. Let v be x(-15). Solve -5*g = -v + 8 for g.
-1
Let z be 8/(-3)*(4 + -1). Let d(s) = s**3 + 7*s**2 - 8*s + 2. Let j be d(z). Solve -j*u + 0*u - 6 = 0 for u.
-3
Suppose -5*u - 25 = -3*l, 0 = 2*l + u - 30 - 4. Let v(d) = -3*d - 3. Let m be v(-2). Suppose 3*o = -m*c + l, 0*c + o = c - 3. Solve 0 = -c*x - 1 - 3 for x.
-1
Let g(p) = 2*p**2 + 10*p - 7. Let x be g(-6). Solve -3 = -x*y + 22 for y.
5
Let u(h) = -2*h - 4. Let d be u(-3). Suppose d*w - 6 = -m, -4*m = -3*w - 0*w + 9. Solve -g - g = m for g.
0
Suppose 7*y - 11 = 17. Solve -3*g + y = -4*g for g.
-4
Suppose -3*v - 100 = -7*v. Suppose 3*x = 4*u + 10, 3*x + 2*x = 5*u + v. Solve -5*j + x + 0 = 0 for j.
2
Let t be (0/1)/(1*-1). Suppose 2*r + 2*r = t. Suppose -2*h - h = r. Solve h = -u - 3*u for u.
0
Suppose -19 = -3*v - v - 3*o, -5*v + 5*o + 15 = 0. Solve v*z = z + 15 for z.
5
Let g be (1 - -2) + 27 + -10. Solve -g = 5*r - r for r.
-5
Let o(z) = z**3 - 8*z**2 - 10*z + 11. Let m be o(9). Solve -5*n = -m*n + 3 for n.
-1
Let i be (-19)/(-3) + 1/(-3). Let b = i - 6. Solve b = -a - 4 for a.
-4
Let a = 1 + 8. Solve 2*f + f = -a for f.
-3
Let t = 20 - 19. Solve t = k - 2 for k.
3
Suppose 9 = -3*l + 6*l. Let d = 4 - l. Suppose 4 = r - d. Solve -12 = r*q - 8*q for q.
4
Let d = 20 + -20. Solve m + 1 = -d for m.
-1
Let w(v) = -3*v - 15. Let f be w(-6). Solve 5*k = f - 28 for k.
-5
Suppose -8 = 5*t - 18. Solve -t*c - 5 - 1 = 0 for c.
-3
Suppose -4*v = v. Solve -2*k + k - 2 = v for k.
-2
Let p(z) = z**3 - 4*z**2 - 5*z + 3. Let y be p(5). Let m = y - 3. Solve m*u + 5 = 5*u for u.
1
Let f(s) = 4*s - 87. Let r be f(22). Let i(v) = v**2 + 7*v + 6. Let d be i(-6). Solve d = 3*t + r + 5 for t.
-2
Suppose -4*z + 11 = 4*r - 1, -1 = z + 3*r. Suppose o - 9 = -z*s + 17, -4*s - 3*o + 23 = 0. Solve -s*n + 1 = 26 for n.
-5
Let n = 4 - -16. Let d = 19 + -17. Let z(j) = -j**2 - 5*j + 3. Let v be z(-5). Solve v*q - n = -d*q for q.
4
Let l(c) = c**3 + 25*c**2 + 45*c - 21. Let r be l(-23). Solve r*a = -0*a - 6 for a.
-3
Suppose -3*g + 5*t = -0*g + 1, 5*g + 4*t - 23 = 0. Solve -8 = -o - g*o for o.
2
Suppose 47*u - 10 = 42*u. Solve -u = 4*g + 2 for g.
-1
Let w(n) = n**2 + 2*n - 3. Let p be w(2). Suppose 5*k - 31 = -4*i