 0*m + l*m + 9 = 0 for m.
-3
Suppose -24 = -3*s - h - 9, 27 = 3*s + 5*h. Solve -4*p + s = -3*p for p.
4
Let v be ((-6)/(-4))/(4/24). Suppose 6*a - 3*a - v = 0. Solve 0 = a*f + f - 8 for f.
2
Let l be 12/(-54) - (-94)/18. Suppose -3*m = -3*s + 12, -5*s + 18 = 4*m - 11. Solve l = s*a - 5 for a.
2
Let s be (4 - 9)/(0 - 1). Suppose -h = -3*h. Suppose 4*g = -2*w + 2 + 4, 0 = 5*w - 4*g - 29. Solve -s*c = -w - h for c.
1
Let w = 22 + -16. Suppose -5*t + 4*s + w + 1 = 0, 5*s = -2*t + 16. Solve -t*u + 4 = -8 for u.
4
Suppose -8*v = -2 - 22. Solve v*p = -16 + 1 for p.
-5
Suppose 5*o - 11 = 9. Solve -x + o*x = 0 for x.
0
Let i = -37 - -37. Let k(d) = -d**2 + 7*d - 5. Let f be k(6). Solve i = -m - 0 - f for m.
-1
Let t(m) = -m**2 + 2*m - 1. Let k be t(-2). Let c = 15 + k. Suppose 0 = y - 9 - c. Solve -s - y = 4*s for s.
-3
Let i be (1 - 0 - 3)*300/(-120). Solve 0 = -3*r - i - 1 for r.
-2
Let w be 1 - 1/(1/1). Let y = 4 - w. Solve g - y*g = 0 for g.
0
Let y = 1 - -3. Suppose 0 = a + 4*j - 20, 0*j = y*a - 3*j - 23. Solve 0 = 3*g - 5*g + a for g.
4
Let z(c) = -c - 17. Let l be z(-17). Solve -4*b + b - 3 = l for b.
-1
Let u(c) = c**2 - 8*c + 10. Let w be u(7). Let y(a) = -a**3 - 5*a**2 + 6*a + 2. Let o = 15 - 21. Let f be y(o). Solve 0 = -w*x - f*x for x.
0
Let k(v) = 2*v**3 - 2*v**2 + 3*v - 2. Let y be k(1). Solve r - 2 - y = 0 for r.
3
Let q = -59 - -59. Solve 4*v - 6 - 6 = q for v.
3
Let j be 8 - 10 - 1*-7. Suppose -j*z = -3*z - 10. Solve z = -3*t - 2*t for t.
-1
Suppose -20 = m - 6*m. Suppose -5*x + 2*l - 10 = -60, 5*x = m*l + 60. Solve x = u + u for u.
4
Suppose 4*x = 9*x - 15. Let w be (-10)/(-4)*16/10. Solve w = -x*a + a for a.
-2
Let y = 21 + -12. Let n = -9 + y. Solve n*b + 3*b + 9 = 0 for b.
-3
Suppose -4*t + 26 = 4*h - 10, 4*t = -4. Solve h = o + o for o.
5
Suppose 0 = 5*r - 4*f - 15, 0*f = -5*r - 3*f - 20. Let m be r/(-1)*3 - 1. Solve -m*u = -0 - 10 for u.
5
Let g be 25/(-1) + 1 + -4. Let z be g/(-8) + (-2)/(-4). Solve -z*s - 9 - 11 = 0 for s.
-5
Suppose 4*j = -2 + 10. Suppose -4*m + 0*r = r - 4, 2*m - 2 = -5*r. Solve -3*f = -j*f - m for f.
1
Suppose -4*m + 25 = 1. Let n be 3 + (-5 - m/(-3)). Solve -4*y + 0 + 4 = n for y.
1
Suppose -3*q + 5 = -7. Solve q*s = -8 - 0 for s.
-2
Suppose 3*s - 4 - 2 = -4*f, 4*s = -2*f + 8. Suppose 3*l = -s*l. Suppose 0 = -2*h + 4 - l. Solve i - h*i = -2 for i.
2
Suppose -7 = -2*n + 1. Let h be (-4)/10 - 34/(-10). Suppose 2*i + n*a = -h*i + 4, 0 = 4*i + 4*a. Solve 9*z - i*z = 20 for z.
4
Let d be (-2)/(-7) + (-598)/(-161). Solve -d*j + 6 = -2*j for j.
3
Let o = -1 + 3. Suppose 3*m = 12, -o*j + m = -56 - 26. Let a = j + -31. Solve 0*l - a = -3*l for l.
4
Let c be (-2)/(-8) + 7/4. Suppose 5*h - 11 = 14. Suppose -3*b - k + 8 = 0, 0 = -2*b + 3*b - 2*k - 5. Solve c*d + h = b*d for d.
5
Suppose -5*y + 76 = 26. Solve 4*n - 6*n = -y for n.
5
Let c be 4/(-6) - 28/(-6). Solve -9*j - 5 = -c*j for j.
-1
Let y = 24 + -16. Let c = 13 - y. Solve -c*f = -2 - 8 for f.
2
Let p(r) = 4*r**2 - 2*r + 1. Let o be p(1). Let f be (-8)/(-6) - 1/o. Let n be f/(2 - 6/4). Solve 2*d + 0 + n = 0 for d.
-1
Let w be 0/(-1) - (1 + 0). Let q = 1 + w. Suppose 2*h - h - 5*k + 23 = 0, -2*h - 2*k + 14 = q. Solve 3*j - 8 + h = 0 for j.
2
Suppose 5*x - 4*a - 233 = 0, -5*x + 2*a = -2*x - 141. Suppose 5*w - x = -19. Suppose 5*k + 2*d = -6 + 22, -2*k + w = d. Solve -6 - 2 = k*q for q.
-2
Let p be (-490)/18 - (-6)/27. Let b be 164/9 - (-6)/p. Suppose 2*x + 2*t - b = 0, 0 = 5*x - 0*x - 5*t + 5. Solve x*d + 20 = -0*d for d.
-5
Suppose -n + 5*d = 3*n - 23, 4*d + 22 = 5*n. Let c be (n/(-4))/((-1)/8). Suppose c*j = 2*j + 4*l - 6, 2*j - 9 = -l. Solve -9 + j = -2*s for s.
3
Let y = -16 - -26. Let l = -2 + -3. Let f = y + l. Solve f*h = -3 - 7 for h.
-2
Suppose 26 = 6*n + 8. Solve 4*x - 1 = n for x.
1
Let h = -2 + 7. Suppose -h*w = 3*n + 2*n, 2*n + 12 = 2*w. Solve t - w*t + 2 = 0 for t.
1
Suppose 22 + 5 = 3*d. Suppose d = -2*r + 15. Solve r*z = 4*z - 5 for z.
5
Let l = 13 + -10. Solve -l*p = -16 + 1 for p.
5
Let x be 2/3 + 14/(-3). Let r be 4 + -2 + x/2. Solve 2*q - 1 + 5 = r for q.
-2
Let x = -7 + 5. Let d = -2 - x. Solve -3*z - 3 = -d for z.
-1
Let q(m) be the third derivative of -m**6/24 + m**4/24 + 3*m**2. Let v be q(-1). Solve -u + 6 = -v*u for u.
-2
Let f = -18 - -14. Let z be (f - (-3 - -2)) + 7. Solve -j + z = -1 for j.
5
Let n = 8 + -4. Suppose n*x + 7 = 9*x + 4*q, 5*q - 2 = -4*x. Solve 0 = x*d - 2*d + 1 for d.
-1
Suppose -4*s = -16, 5*o - 5*s + 1 = -4. Let h(z) = -5*z**2 + z. Let a be h(1). Let x(t) = 2*t**2 + 4*t - 5. Let v be x(a). Solve -4*g = v - o for g.
-2
Suppose -20 = -4*m + q - 2, 5*q = 10. Suppose 5*b + 4*z - 125 = m*z, 0 = -5*z. Suppose -4*v - 9 = -b. Solve -v*j - 4 = -12 for j.
2
Let s(w) = w**3 + 5*w**2 + 4*w. Let n = -1 - 3. Let r be s(n). Solve -b + 2*b + 4 = r for b.
-4
Let b(k) = k**3 + 9*k**2 - 2*k - 10. Let v be b(-9). Suppose 0 = 2*d - v - 0. Let u be (-47)/(-3) + (-4)/6. Solve -d*g = g - u for g.
3
Let v(c) = -c**2 - 10*c + 11. Let s be v(-11). Solve p - 3*p = s for p.
0
Let r be (-5)/1*(-12)/20. Suppose -5*q + 2*i + 85 = 0, 5*q + r*i + 2*i - 85 = 0. Solve -3*h = q - 5 for h.
-4
Let i = 74 - 49. Solve 5*f + 0 = i for f.
5
Let z be 3/(-12) + (-17)/(-4). Solve -a - z*a = -20 for a.
4
Let n be (-17)/(-5) - 6/15. Solve -n*q = -4*q + 2 for q.
2
Let i(y) = -y**2 + 7*y + 3. Let s be i(6). Suppose 0 = -2*o - 7 + 13. Solve -o*v = -0*v + s for v.
-3
Suppose -5*l + 23 = -d, -2*l = -3*d - 4 - 0. Solve -2*i = d*i for i.
0
Let b(c) = c - 8. Let q be b(4). Let x be 686/35 + q/(-10). Solve -8*f = -3*f + x for f.
-4
Let x = -24 + 29. Solve 3 = x*d + 13 for d.
-2
Let g(m) = -m**3 - 22*m**2 + 25*m + 48. Let i be g(-23). Let y be 15 + -2 - (-2)/1. Solve -t + y = i*t for t.
5
Let o be (-1 - (-3)/4)/(3/(-12)). Solve -q + 2 + o = 0 for q.
3
Suppose 0 = -3*m - 2*m + 4*d + 10, -2*d - 6 = -3*m. Solve m*l = 6*l for l.
0
Let i(l) be the second derivative of -l**3/6 + 5*l**2 - 4*l. Let r be i(8). Solve 8 = -3*j + r for j.
-2
Let n be -2 - (-1 - 11)/3. Suppose -4*k = -n*a, -2*a + 0*a + 3*k + 2 = 0. Suppose a*q - 23 = -7. Solve 0 = -y + q*y + 6 for y.
-2
Suppose 5*a + 51 = -54. Let y = a - -24. Solve 3 = -0*m - y*m for m.
-1
Let o(l) be the first derivative of -l**2/2 - 6*l + 3. Let z be o(-9). Solve k - 1 = -z for k.
-2
Let s be ((-24)/14)/((-8)/28). Let q be 0*(-1 + 2 - 2). Solve q = 2*k - s*k + 16 for k.
4
Let v be (-4 - 0) + 3 + 5. Suppose 0*g - 2*q = 2*g + v, -2*q - 7 = g. Solve -5 = -4*h + g for h.
2
Let i = -6 + 9. Suppose i*u - f - 6 = 0, 4*u + u = f + 12. Let n be (-18)/(-2)*12/9. Solve h + u*h = n for h.
3
Suppose 2*c + 2*x = 6*x + 16, 0 = -5*x. Let m(g) = -g**3 + 7*g**2 + 9*g - 8. Let u be m(c). Solve u*n = 3*n - 3 for n.
1
Suppose 0 = i + 3*i - 3*z - 15, -3*z = 5*i + 15. Suppose i = -5*s + 2*j + 25, -2*s - 5 - 4 = 3*j. Solve -s*t + 2*t - 1 = 0 for t.
-1
Suppose -24 = -2*v - 2*v. Let x = v + -1. Suppose -x*h + 4 = -6. Solve h*n = 4*n for n.
0
Let o(q) = q**2 + 3*q + 3. Let a be o(-2). Solve -5*b - a - 19 = 0 for b.
-4
Let o = -5 + 14. Solve o = -2*v - 1 for v.
-5
Let q = -21 - -24. Solve a - 2 = -q for a.
-1
Let b(w) = -5*w - 1 - 3 + 7*w. Let g be b(6). Solve m + g = 3*m for m.
4
Let y = 15 - 2. Let f be (-10)/6*(10 - y). Solve 0 = -g + f*g for g.
0
Let w(l) = l - 9. Let z be w(8). Let t = 1 + z. Solve t*n - 5 = n for n.
-5
Let i(p) = -p**2 - 11*p + 15. Let n be i(-12). Solve n = -4*q + 3*q for q.
-3
Suppose j = -3*j - 56. Let q be 1/(j/(-4) + -3). Suppose z - 2*p - q*p = 18, 0 = 3*p + 12. Solve b - 3 = z for b.
5
Let f be (4 + -2)*-1 - -6. Solve 0 = j - f + 2 for j.
2
Suppose 12*f = 14*f - 16. Solve 0 = v + f - 10 for v.
2
Let h(b) = 2*b**3 + 5*b**2 - 3*b + 3. Let w be h(-3). Solve -w*q - 4 = 2 for q.
-2
Suppose 10 = -12*c + 14*c. Let d be 12/(-9)*-3*c. Solve 8*o = 3*o - d for o.
-4
Suppose -f = -0 - 1. Solve 0 = 3*z - 4*z - f for z.
-1
Suppose -5*x = -4*n - 7, -4*n + 3*x = n - 1. Let w be 3/3 + 1*n. Let o = 3 - w. Solve u = -o*u for u.
0
Suppose y + 8 = -2*w, -5*w = 25 - 0. Let b(h) be the second derivative of -h**3/6 - h. Let r be b(-3). Solve y*t + t = r for t.
1
Let t(b) = -b. Let v be t(-5). Suppose -30 = -3*h + 6*h. Let n be (-114)/h + (-6)/15. Solve -v*o = -9 - n for o.
4
Let n(t) = -t**3 - 3*t**2 - 4*t - 2. Let m be n(-3). Let h = m - 3. Suppose -