Solve 5*h - 7 - 8 = b for h.
3
Suppose -m - 2*m + 20 = -5*w, -m + 4 = w. Suppose -3*d + 2 = -2*b, -2*b = d - m - 9. Solve 0 = -v - 0 + d for v.
4
Suppose -3*d = 12, k - d - 4 = 4*k. Suppose -2*z = u - 5, 2*z + k = -5*u - 15. Solve 0 = -2*m - z + 1 for m.
-2
Let m = -3 + 5. Suppose 7 - m = 5*r, 4*r - 7 = -t. Suppose 5*c - 2*p = 10, -3*p + 4*p + 5 = 2*c. Solve c = -b - t*b - 8 for b.
-2
Let g be (12/(-10))/((-9)/150). Let o = -10 + 16. Let v(x) = -x**3 + 7*x**2 - 5*x - 6. Let h be v(o). Solve 0 = -5*k - h*k + g for k.
4
Suppose -19 = 4*c + 5*o, 0 = -6*c + c + o - 2. Let w = -2 + c. Let v = w - -5. Solve -v*r = 3*r for r.
0
Suppose 7 = 6*z - 17. Solve z + 2 = -2*i for i.
-3
Let k = -12 + 17. Solve 2 = -p + k for p.
3
Let r be (-5 - -25)*1/4. Solve r*y + 15 = -0*y for y.
-3
Let q be (12/(-10))/(24/(-60)). Solve 2 = -q*f + 17 for f.
5
Let w be 6 + 0 + (-6)/3. Solve -5*g = -4*g - w for g.
4
Suppose -2*z + 0 = -6. Let b be 1/z*21 - 2. Solve b*h = h for h.
0
Suppose 6*n - 8 + 2 = 0. Solve n = -m + 6 for m.
5
Let y(g) = 9*g**2 + 2*g - 1. Suppose 2 = 2*k - 0*k. Let j be y(k). Let b = j - 6. Solve 0*o = -b*o for o.
0
Suppose 0 = u - 3*u + 10. Let f(l) = -3 + u*l - 4*l + l. Let r be f(3). Solve -d + r = -1 for d.
4
Suppose 7*g - 10 = 2*g. Suppose 3*w - 39 = -4*b, -6 + 33 = g*b + 3*w. Suppose 6*t - 3*t = b. Solve -t = -0*y - 2*y for y.
1
Let n = -8 + 13. Suppose 0 = 6*o - 5*o - 2, 0 = y + 3*o - 15. Solve -6 = n*z + y for z.
-3
Let y be 5/(-15)*-1*6. Solve 10 = -y*j + 4*j for j.
5
Suppose 7 = 3*w - 4*j - 8, -4*j = 12. Suppose w = -r + 3. Solve -r*m + 0*m = 2 for m.
-1
Let f = 35 + -31. Solve 18 = f*v + 6 for v.
3
Suppose -4*n + 6 = -3*n + 3*u, 2 = -3*n + u. Suppose n = 8*o - 13*o. Solve o = -z - 0*z - 2 for z.
-2
Let y = -3 + 7. Suppose -43 = -y*a + 21. Solve u - 5*u = a for u.
-4
Suppose o = 2*o - 2. Suppose 0 = -3*x + x. Suppose w - u - 1 = -4, -2*w + 4*u = 16. Solve o*a = -x*a + w for a.
1
Let v(m) be the first derivative of m**4/4 - 8*m**3/3 + 3*m**2 + 13*m - 1. Let n be v(7). Let w be (1 + -1)/(1*-2). Solve w*h = 2*h - n for h.
3
Suppose -37 = -q - 4*b - 175, 2*b = -2*q - 300. Let f be (-2)/5 + q/(-35). Suppose 0 = -3*t + f*w + 59, -5*t + 0*t - 3*w = -137. Solve 0 = 6*r - r - t for r.
5
Let j(x) = -x + 23. Let q be j(16). Let k = q + -2. Solve k*z = 4*z + 1 for z.
1
Let w = 2 + 12. Solve -5 = -3*d - w for d.
-3
Suppose 3 + 3 = 5*y + u, -3*y = -u - 10. Let h = -2 - -2. Solve -k - k - y = h for k.
-1
Let v be 5*(68/20 + -3). Solve h = v*h + 4 for h.
-4
Let s(w) = -5*w + 23. Let k be s(4). Solve -16 = k*c - 1 for c.
-5
Suppose 4*p = 5 + 3. Suppose -t = -5*b - 5*t + p, 4 = b - t. Suppose -3*h = w + 13, -16 = -5*w + 2*w + b*h. Solve w*c = -c for c.
0
Let o(p) = -p + 2. Let n be o(-8). Solve h = -4*h - n for h.
-2
Suppose 4*r - 2*l + 22 = 0, r + 6*l = 3*l + 12. Let k = 3 + r. Solve k = 6*g - g + 25 for g.
-5
Let s(r) = r**2 + 11*r - 5. Let k be s(-9). Let m = k - -26. Solve 1 = -o + m for o.
2
Let q = -18 + 10. Let c be ((-8)/(-6))/(q/(-12)). Suppose 0 = -n - 2*n + 24. Solve 2*s - n = c for s.
5
Suppose -5*h + 12 = 3*i, 14 = 3*h - 7*i + 2*i. Solve h*m + 3 = 4*m for m.
3
Let d(k) = k**2 + 4*k + 4. Suppose 9 + 3 = -3*s. Let v be d(s). Solve 5 = g + v*g for g.
1
Let g(d) = d**3 + 4*d**2 - 6*d - 2. Let l be g(-5). Solve -2*j - l = j for j.
-1
Suppose -2*x + 0*x - 12 = -3*o, 0 = 4*o + 3*x + 1. Suppose 2*i = 2*f - i - 20, -2*f = o*i. Solve -f - 16 = 4*j for j.
-5
Suppose -2*g = -g + 2*l + 1, 0 = g - 2*l - 11. Suppose -5*k + o - 5 = 0, 2*o = 2*k + 3*o - g. Solve k = 3*v + 2*v - 15 for v.
3
Let t(d) be the third derivative of d**6/120 - d**5/12 - 7*d**4/24 + 4*d**3/3 - 4*d**2. Let a be t(6). Solve -2*p = a*p - 20 for p.
5
Let g be -1*(1 + 0) + 6. Solve -g*p = 20 - 5 for p.
-3
Let s(c) = -c**3 + 4*c**2 - 3*c + 1. Let l be s(2). Solve 5 = -l*o - 7 for o.
-4
Let l = -1 + 5. Suppose 35 = l*s - 41. Suppose -5*n + 5 = 0, 2*o - 5*n + 4*n = s. Solve 10 = 5*q - o for q.
4
Let a(h) = 4*h**2 - 3*h**2 - 5*h + 0*h**2. Let y be a(3). Let v(s) = s**3 + 7*s**2 + 5*s + 9. Let r be v(y). Solve 2*x - r = 5*x for x.
-5
Suppose 0 = j - 3 + 21. Let z = j - -18. Solve z*l + 3*l = -12 for l.
-4
Suppose -6*j = -j + 55. Let b = 15 + j. Solve b*v - 3*v = 0 for v.
0
Let n(f) = -f**3 - 8*f**2 - 10*f - 6. Let u be n(-6). Let x = u + 37. Solve 5*p - x = -4 for p.
3
Let s = 1 - 4. Let f be (-51)/(-9) - (-2)/s. Suppose 0 = f*v - 7 - 13. Solve -23 = -v*b - 7 for b.
4
Suppose -w + 20 = -3*u + 7*u, -5*u - 2*w + 22 = 0. Suppose -4*s - 5*k + u - 1 = 0, 0 = 2*s + 3*k - 3. Solve s = -3*y + 3 for y.
1
Let j be ((-4)/8)/((-2)/4). Solve -p - 4 = -j for p.
-3
Suppose -3*x - x = -96. Let n be x/15 + (-2)/(-5). Solve -n*u = -0*u - 6 for u.
3
Let k(d) be the third derivative of -d**4/24 + 5*d**3/3 + d**2. Let m be k(7). Solve 1 = g + m for g.
-2
Suppose 97 = 4*n - 11. Suppose 0*t + 3*t - 12 = 0. Suppose -4*s = -6*s. Solve s = t*o + n - 7 for o.
-5
Let u(w) = -6*w + 3. Let g be u(-2). Let r be g*(1 + 6/(-9)). Solve -12 = i - r*i for i.
3
Suppose 5*l - 37 - 3 = 0. Let f(h) = -h + 10. Let n be f(l). Suppose -g - 2*g + u - 4 = 0, 4*g - n*u + 8 = 0. Solve g = p + p + 2 for p.
-1
Suppose -3*z + 2*k + 19 = 0, 4*k + 1 = -z - 2. Solve -z = 2*f + 3 for f.
-4
Suppose -13 = n - 6. Let f = n - -10. Solve 0*d = -d - f for d.
-3
Let d = 0 - -4. Suppose w + 2*z = 12, 4*z + d = w + 4*w. Solve q + 15 = w*q for q.
5
Let c be 41/5 - (-7)/(-35). Solve -2*w = 2*w + c for w.
-2
Let p be (-50)/(-15)*15/10. Solve -3*m - p - 4 = 0 for m.
-3
Let o be (2/(-8))/(2/(-8)). Let f be (-19 + -1)*(0 + -1). Suppose 8*m - 3*m = f. Solve o = -j - m for j.
-5
Let k be (1/2)/((-3)/(-6))*0. Solve k = 2*p - 6 for p.
3
Let p(j) = j**2 - 15*j - 14. Let h be p(16). Solve 0*z = -2*z + h for z.
1
Let s(t) = -t**2 - 3*t + 3. Let z be s(-4). Let r = 2 - z. Solve 2 = -r*q - 7 for q.
-3
Suppose c = 3*n + 37 - 135, c = 4*n - 130. Suppose -n = -4*q + 44. Solve 3*a + 4 - q = 0 for a.
5
Suppose 17 = 3*x - x - m, -3*m = 2*x - 13. Solve -5*u = -3*u + x for u.
-4
Suppose -85 = 5*h - 5*g, 28 = -5*h - 5*g - 37. Let k be 3*(-5)/(h/4). Let j = 12 + 12. Solve k - j = -4*p for p.
5
Let j = -9 + 13. Suppose -j*s - 11 = -15. Solve 5*y - 19 = s for y.
4
Let a be 1*(-2)/(-8)*0. Solve a = -0*r + 4*r - 4 for r.
1
Let y be (-2 - -1)*(-2 - -2). Let k = -2 - y. Let h be (4 + k + -5)/(-1). Solve -2*w = h*w + 5 for w.
-1
Suppose -5 + 29 = 4*z. Let t = -8 + z. Let c be -1 + ((-12)/t)/2. Solve -3*n - 5 = c*n for n.
-1
Suppose -6*q = -3*q, -j = -5*q - 1. Solve -j + 6 = -5*m for m.
-1
Let p(s) be the third derivative of -s**6/60 + s**3/6 + 5*s**2. Let y be p(-1). Solve m = -2*m + y for m.
1
Let m(o) = -o**3 - 2*o**2 + 7*o + 1. Let t be m(-4). Solve -t = r - 1 for r.
-4
Let s(k) = -k**2 + 14*k. Let m be s(14). Suppose 3*r = -2*p - m*p + 15, 2*p + 20 = 4*r. Solve 3*l + 4 = -r for l.
-3
Suppose 4 = y + 2. Let b(l) = -l**3 + 3*l**2 - 3*l + 3. Let p be b(y). Solve -s + p + 2 = 0 for s.
3
Suppose -8*j + 82 = -14. Solve 0 = -r + 5*r - j for r.
3
Let m be (-70)/(-595) + 4/(-34). Solve -3*l = -m*l for l.
0
Let o(k) = -3*k + 1. Let s be o(-1). Suppose -s - 2 = -3*w. Solve -3*p + 10 = w*p for p.
2
Let m be (2/3)/((-1)/(-3)). Suppose 2 = -m*c, -a - 6*c + 25 = -c. Suppose a - 8 = 2*q. Solve -q = 5*p + 4 for p.
-3
Suppose 8*p = 4*p. Suppose -3*s + 12 = -0*s. Suppose p = s*x - 7*x + 9. Solve -2 + x = -f for f.
-1
Let j = 35 - 35. Solve j = 5*n + 8 + 17 for n.
-5
Suppose 0 = 3*k + 2*x - 6, 5*x = -5*k + x + 8. Solve 3*j = k*j + 3 for j.
-3
Suppose 4*f + 7 - 19 = 0. Solve -1 + 4 = f*c for c.
1
Let q(x) be the third derivative of -x**4/24 - x**2. Let f be q(-3). Solve -f*n = -0*n - 3 for n.
1
Let t be (-2 - -11) + 0 + -2. Suppose 0 = 4*o + t - 23. Solve -i = i + o for i.
-2
Let u(y) = 4*y**2 + 2*y - 2. Let f be u(1). Solve 2*j + 0*j = f for j.
2
Let s be (-1)/(-3) + (-107)/(-3). Suppose 4*n - 3*o - 128 = 0, -n + 2*o + 1 + s = 0. Let p be n/5 - 2/(-10). Solve -p*f + f = 0 for f.
0
Let r = 9 + -4. Suppose 2*x = -2*q + 14, -r*x + 12 + 19 = 4*q. Solve 1 = x*i - 5 for i.
2
Let a be (2/6)/(2/18). Suppose c = a*x + 8 - 3, -4*x + 52 = 4*c. Solve -3 = 2*g - c for g.
4
Let y = 36 + -28. Solve 5*n - 2 = y for n.
2
Let m = 27 + -19. Let o = -1 + 0. Let b be o/(-2)*12/2. Solve -m = b*k + 4 for k.
-4
Let c be -15*(1 