 + 4*m = 0. Solve 3*k - h = k for k.
3
Let u(m) = m**2 - 3*m - 6. Let d be u(5). Let a = 120 + -116. Solve a*w + d = -12 for w.
-4
Let t be ((-9)/(-27))/((-2)/(-12)). Solve 0*o + 10 = -t*o for o.
-5
Suppose 0 = 6*m - 3*m + 33. Let z = m + 14. Solve 1 = 2*c + z for c.
-1
Suppose -3*x - 14 = 3*s - 5*s, 10 = -5*x. Suppose -4*m = 5*a - 50, -5*m + 71 = 4*a + 22. Let f(o) = -o + 6. Let t be f(a). Solve s*u = -t*u for u.
0
Let t(a) = a + 3. Let c be t(3). Suppose 2*g = p - c*p - 10, p = 4*g - 2. Suppose q = -g*q. Solve q = 2*s - 0*s + 4 for s.
-2
Let d = -6 + 2. Let m be 1/((1/d)/(-1)). Suppose -m*y - y + 60 = 0. Solve 5*s = s - y for s.
-3
Let y be (-47)/(-7) + (-4)/(-14). Suppose 10 = -5*j, y*r + j = 8*r - 5. Let s = -4 + 4. Solve r*w + 0 - 6 = s for w.
2
Suppose 0 = -2*y - y + 21. Suppose 5*j = 2*v + 2*v + 30, 4*j = -3*v - y. Solve -3*p - 25 = j*p for p.
-5
Suppose 23 = -7*r + 37. Solve 3*k = -r*k - 15 for k.
-3
Let w be 2/(-3 - (-44)/12). Solve -1 - w = -2*b for b.
2
Let z = 1 + 1. Suppose 0 = 3*h - 2*h - z. Solve -3 + 11 = h*v for v.
4
Let n = 10 + -4. Let f = 8 - n. Let h(x) = -x**3 + 7*x**2 - 5*x. Let k be h(6). Solve -f*w - k = -0 for w.
-3
Let x = -9 - -24. Let n be 1/(2*1/10). Let s = x - n. Solve 0*g + 5*g = -s for g.
-2
Let f = -16 + 9. Let z(k) = k**3 + 6*k**2 - 6*k + 9. Let v be z(f). Solve 2*m + 4 = -v*m for m.
-1
Suppose 0 = 2*p + 4*u + 10, 8*p - 3*p - 3 = -3*u. Suppose o - 6 = -2*o. Suppose -2*w - g + 4*g = o, -w + g + 1 = 0. Solve -10 = -w*l + p*l for l.
5
Suppose -2*u + 32 = 28. Solve u*d = d - 5 for d.
-5
Let g = 5 + -11. Let h be (g - -6)*(-1 + 0). Suppose h*d + 8 = 2*d. Solve 2*w + 2*w = -d for w.
-1
Let d be ((-30)/4)/((-6)/12). Solve 0 = 4*j + 1 + d for j.
-4
Suppose -6*w = -7*w + 12. Solve -4*j = -0*j - w for j.
3
Let k(p) = -p + 3. Let h be k(0). Suppose -u = -h*u. Solve -4*o = -u*o + 20 for o.
-5
Let k be 24/32 + (-18)/(-8). Solve k*u + 9 + 0 = 0 for u.
-3
Suppose -2*l = -2, w = 2*l + 2*l. Solve -7 + 3 = -w*p for p.
1
Suppose 5 = 3*h - 1. Solve -4 = -3*m + h for m.
2
Let d = -5 - -7. Solve 15 = d*l + l for l.
5
Suppose 0 = 3*t - 4*t + 5. Solve t*f + 15 = -5 for f.
-4
Let u(n) = -n**3 - 12*n**2 + 14*n + 18. Suppose -5*i + i - 52 = 0. Let h be u(i). Solve h*j - 4 = 1 for j.
1
Let m be (-3)/(-2) - 4/8. Suppose -3*c + 2 = -c + 5*z, -c + m = 3*z. Solve -c = -3*l + 2 for l.
1
Let u be (-3)/2*(-14)/7. Suppose -1 = -4*j + 3. Solve u = -d - j for d.
-4
Suppose -3*m - x - 2 = -5*m, x = -2. Solve m*q = -2*q - 8 for q.
-4
Suppose 0 = -k + 6*k. Let m = 20 + -18. Solve m*u + u + 9 = k for u.
-3
Let t(v) = v**2 - 7*v. Suppose 14 + 10 = 3*f. Let z be t(f). Solve z + 2 = 2*k for k.
5
Let i(w) = w**2 - 6*w - 7. Let a be i(7). Solve q + 4*q = a for q.
0
Let w(x) = -2*x - 3. Let l be (0 - -3)*(-1 - 0). Let u be w(l). Let h be 8/(-3)*u/(-2). Solve h*m - 3 = m for m.
1
Let p(f) = f**2 + 5*f - 9. Let n be p(-7). Solve -n*b - 2 = -4*b for b.
-2
Suppose 4*f = -10 - 2. Let a(u) = -4*u + 1. Let d be a(f). Solve 7 + d = 4*n for n.
5
Suppose 44 = 5*b + 14. Suppose -b = x - 4*x. Solve 12 = 2*p + x for p.
5
Let a(t) be the first derivative of t**3/3 - t**2/2 + t - 1. Let r be (-9)/(-15) - (-7)/5. Let h be a(r). Solve h*w - 6 + 3 = 0 for w.
1
Let y = -9 + 14. Suppose -4*w + 10 = -2*h, 0 = w - 0*w - 3*h + y. Solve w - 3 = i for i.
1
Suppose 2*c + y - 4 = 0, 10 = -4*c + 5*y + 32. Suppose 0 = n + w - 6, 3*n - 24 + 2 = -5*w. Solve -n*o + c*o = -2 for o.
2
Let t be (-13)/(-2) + 2/4. Let v(a) be the first derivative of a**3/3 - 4*a**2 + 7*a + 7. Let n be v(t). Solve n*o = -o for o.
0
Suppose 0 = 7*x - 3*x - 4. Solve 5*z - 21 = -x for z.
4
Suppose -3*b - 10 + 24 = g, -12 = -b - 4*g. Suppose -5*f + 6 = -b*f. Solve 0 = 5*k - 3*k + f for k.
-3
Let t(a) = a**2 + a + 3. Let z be t(0). Suppose 0 = -0*q - q + z. Solve q*d + 6 = -3 for d.
-3
Let v be (-10)/15*(-8 - -2). Let y be v/16 + (-19)/(-4). Suppose p + y = 2*p. Solve 0 - 10 = p*g for g.
-2
Suppose -z + 12 = 5*z. Solve z*r - r = 0 for r.
0
Suppose -g - 2*g - 7 = 5*v, -2*v + 5*g = 9. Let x be (0/(-1) - 2)*v. Solve x = -a - a for a.
-2
Suppose 2*b = -8, 0*n + 35 = 5*n - 5*b. Let g be -1 - (-1 - 0/3). Let d be (1 - 3/(-3)) + 3. Solve g = -z + d - n for z.
2
Suppose 37 = 2*p - x, 3*p - 2*p + 3*x = 29. Solve -4*d + 0 - p = 0 for d.
-5
Suppose 4*u + u = 10. Let n be (u/(-6))/(2/(-24)). Suppose -3 = 2*c - 7. Solve -n = -o - c for o.
2
Suppose -3*h + 3 + 0 = 0. Let j = h - 0. Let g = 6 - j. Solve -g*a = 7 - 22 for a.
3
Let f = -1 + 1. Let r(k) = k**2 + k - 4. Let t be r(3). Let q be (-2)/t - (-7)/28. Solve q*i + 2*i + 4 = f for i.
-2
Let o(x) = x**3 + 4*x**2 - 8*x - 11. Let b be 5/(1/(1 + -2)). Let j be o(b). Solve 0 = -j*q + 2 + 2 for q.
1
Let o be (-4)/(-14) - 12/(-7). Suppose -o*v + v = -6. Suppose -2*b - 5*y = -b - 31, 4*b - 70 = -2*y. Solve 5*j = -v + b for j.
2
Suppose -6*h - 2*h = -h. Solve 0 = -h*b - 5*b + 20 for b.
4
Let g(v) = v**2 + 4*v - 2. Let p be g(-6). Let t(x) = 4 + 7 + 2 - 1 - x. Let d be t(p). Solve -1 = -d*w + w for w.
1
Let x = 0 - 10. Let k be (5 - 2)/((-5)/x). Solve 14 = 5*u - k for u.
4
Let n(l) = l**2 - 4*l - 4. Let c = -2 + 4. Suppose c*k - 6 = s, 1 - 9 = -2*s. Let y be n(k). Solve -y - 1 = -d for d.
2
Let o(b) = b**3 - 6*b**2 + 3*b + 1. Let m be o(5). Let g = m + 9. Solve -c + 4 = -g for c.
4
Let i(r) = r**2 - 10*r + 4. Let c be i(9). Let d = c + 5. Let v = 5 - -3. Solve d = 4*a + v + 4 for a.
-3
Suppose k - 24 = -2*k. Let x be (-3)/(3 - (0 + 4)). Solve l + k = -x*l for l.
-2
Suppose h + 1 = -3*k + 2*k, -3*h = -k - 13. Solve 0 = h*n + 2 + 7 for n.
-3
Suppose -2*v - 3*h + 12 = 0, -5*v - 4*h + 13 = -10. Let z = -10 - -12. Let n be (-6)/(-12)*(16 + z). Solve 0 = 3*b - n - v for b.
4
Let o be 8*((-14)/4)/(-7). Solve 1 - o = 3*q for q.
-1
Let m = -5 - -3. Let p be m + (-4*1)/(-2). Suppose 0 = -p*u + 5*u - 15. Solve -u*c = -0*c + 9 for c.
-3
Let n be 0 + (-4)/(-20) - 70/(-25). Let z be (2 - 1) + 0/2. Let o = z + -1. Solve -3*f + 0 - n = o for f.
-1
Let f = -35 + 39. Solve 0*j + f = 2*j for j.
2
Let b = 25 + -23. Suppose 0 = 2*z + 3*s + 7, -9 = -0*z - 3*z + b*s. Solve 2 + z = v for v.
3
Suppose -z + 0 + 5 = 0. Suppose 5 = -5*p, -z*s + 20 = -2*p + 58. Let h = -5 - s. Solve v + 4 = -h*v for v.
-1
Let c(t) = -t**3 - 3*t**2 + t. Let v be c(-4). Let g be 2/(-3) - 2/(-3). Suppose -6 = -2*d + 10. Solve -4*x - v - d = g for x.
-5
Let c(w) = -w**3 + w**2 - 2. Let g be c(-2). Suppose 0*r - r = -10. Solve g = -4*p - r for p.
-5
Let j = 16 + -11. Suppose 4*f - 5*o = f - 2, -1 = -o. Let n = f + 15. Solve 0 = -j*k + k + n for k.
4
Suppose 3*o - 7 = 17. Let l = -3 + o. Solve l*m + 6 = 2*m for m.
-2
Let f = 2 - 3. Let n be 1/f - -11 - 2. Suppose -2*v + 5 + 3 = 0. Solve v*m + 0 = -n for m.
-2
Let y be 5/(-15) - 2/(-6). Solve -3*s + 6 = -y for s.
2
Let i(s) = -4*s**3 - 3*s**2 + 11*s + 13. Let c(p) = p**3 + p**2 - 3*p - 3. Let v(w) = 9*c(w) + 2*i(w). Let f be v(-4). Solve -2*d = -d + f for d.
-3
Suppose -5*s + q + 3*q = -79, -s + 11 = -2*q. Suppose s = 2*x - 5. Solve j + 2*j = x for j.
4
Let w = -5 - -8. Suppose -3 = -2*n + n + w*a, 5*a = 10. Solve -6 = -3*j + n for j.
5
Suppose 0 = 4*b - 4*l + 3*l - 81, -4*b + 71 = l. Suppose 4*z - 5*y = -z + 35, 5*z - b = -3*y. Let q = z - 2. Solve c = -6 + q for c.
-3
Let k be 1 - (0/4 + -3). Solve 0*p + p = -k for p.
-4
Let j = 2 + -2. Suppose j = 6*u - u - 10. Suppose 2*m - 2*x + 3*x - 17 = 0, -u*m + x = -7. Solve -2*g - m - 2 = 0 for g.
-4
Let k = 0 + 2. Let c(r) = 4*r + 35. Let l be c(-15). Let u = -20 - l. Solve k*t + u = 3*t for t.
5
Suppose 4*k - 2*k = 5*y - 37, -3*k - 3 = 0. Solve g + 3 = y for g.
4
Suppose -6*v + 10 = -v. Solve 5 = v*d - 3*d for d.
-5
Suppose 5*t + 2*i + i = 61, 0 = -3*t + 2*i + 48. Solve 3*c - t = -11 for c.
1
Suppose 4*q + 12 = -5*o + 77, 2*q + 2*o - 34 = 0. Solve 0*w - 5*w + q = 0 for w.
4
Suppose -2*s - 10 = -g - 4*g, -2*s - g = -14. Solve 0 = -f + s*f for f.
0
Suppose 4*n + 0 = 8. Suppose 4*d + 18 = -n*k, 0 = 4*k - 2*d - 11 - 3. Solve -3*p + 2 = -k for p.
1
Suppose 0 = 3*z + 5*x - 23, -3*z + 4*x + x = -13. Suppose -2*g + 12 = 3*v, -4*v + 5*g - 5 = 2. Solve -z*a - 4 = -v*a for a.
-1
Let w be 2*4/(-16)*-40. Solve 4*l = w - 4 for l.
4
Let l = -9 - -17. Let o = l - 5. Let v(i) = -2*i**3 - 2*i - 1. Let a be v(-1). Solve 9 = a*p - o for p.
4
Let u(z) = 3*