uppose -x*k = k - 16. Solve 0 = -2*t - k - 0 for t.
-2
Let t = 31 - 22. Let a be (t/(-3))/3*-2. Solve -m + 1 = a for m.
-1
Suppose 0 = 3*s - 4*z, 0*z = -s + 3*z - 5. Suppose -s*x = -82 + 18. Let r = -1 + 5. Solve -r*k = -0*k - x for k.
4
Let c be 7 - (4 + -2 + 0). Suppose -3*z - 40 = c. Let b = 21 + z. Solve -h + 5 = b for h.
-1
Let x be (0 + 1)/(2/4). Suppose 14 = 4*a - 2*a - 2*u, 0 = x*a + 2*u - 10. Let l = 4 + a. Solve 3*s + l = s for s.
-5
Suppose 2*l - 2*x = 14, 19 = 5*l + 2*x - 3*x. Let c be 38/6 + (-1)/l. Suppose -3*p + 20 = -3*u + 2, -2*u = 3*p + 7. Solve 0 = -k - p + c for k.
5
Suppose -2*m + m + 13 = 0. Let u(t) = t**3 - 14*t**2 + 14*t - 13. Let w be u(m). Solve 4*r - 2*r + 10 = w for r.
-5
Suppose -7*u + 1 = -20. Solve -q = u - 1 for q.
-2
Let l = 45 - 45. Let p be (-60)/(-25) - (-4)/(-10). Solve p = -l*f + f for f.
2
Suppose l - 5*l = 28. Let b = l + 12. Solve 2 = -4*r + b*r for r.
2
Let i = 11 - 8. Suppose 5*f - 27 - 148 = 0. Suppose -i*l - 2*l + f = 0. Solve -l = -5*p + 3 for p.
2
Let x = -6 - -8. Let m(n) = n**3 - 2*n + 1. Let o be m(x). Let j = o + 3. Solve -5*p + 3 - j = 0 for p.
-1
Let z be (-12 - -9)*2/(-3) + -2. Solve z = l + 4*l - 15 for l.
3
Suppose -3*l - 7*l + 40 = 0. Solve -o = -l*o - 3 for o.
-1
Suppose 0*l - 5*l + 25 = 0. Suppose -4*t + 8*t = 40. Solve -l*d + t = -10 for d.
4
Let q be ((-1 - -4) + -4)*(-3 + 0). Solve -i - 12 = q*i for i.
-3
Let n be 1*3/1 + -1. Suppose -h = -4*h + 15. Suppose -n*y = -h*y. Solve y = -0*a + 3*a - 9 for a.
3
Let n = 0 - 0. Suppose -3*s + 5*s - 2 = n. Suppose 11*t - 37 + 4 = 0. Solve t = 4*v - s for v.
1
Let k be (-430)/(-9) + 24/108. Suppose k = 4*m + i, -3*i - i = 0. Solve -x + 4*x = -m for x.
-4
Let b be 6/(-10) + (-93)/(-5). Suppose 2*u + 0*u = -4*w + b, -9 = -3*w. Solve 9 = u*m - 0 for m.
3
Suppose 5*u - 27 - 8 = 0. Solve u*y - 3*y - 16 = 0 for y.
4
Suppose -5*t = -0*t - 5. Let u = t - -4. Solve -4*d - u = -21 for d.
4
Let q(l) = -5*l**3 - 13*l**2 + 23*l + 8. Let i(y) = -3*y**3 - 9*y**2 + 15*y + 5. Let s(z) = -8*i(z) + 5*q(z). Let g be s(6). Solve 3 = 3*d - g for d.
3
Suppose -3*y + 7*y - 52 = 0. Let s = y - 9. Suppose -p = 4*m - 11, -s*p - m - 10 = -39. Solve p*a = 2*a for a.
0
Suppose 0 = -3*a - 3*o, a + 5*o = 5*a. Solve a = -2*w + 3*w - 2 for w.
2
Let h(c) = c**2 - 4*c. Let g be h(4). Suppose g = 3*t - 0 + 3. Let y = 8 - t. Solve -y - 3 = 3*f for f.
-4
Let p be 0/(2*(-2)/4). Solve o + o = p for o.
0
Suppose s + 2 - 5 = 0. Suppose -y - 6 = -s*y. Suppose -2*o + y = w, 4*o = 2*o - 4*w. Solve 0 = -3*a - o - 4 for a.
-2
Let n be (3 - (-8)/(-3))*-3*0. Solve n = -4*r + 5*r - 5 for r.
5
Suppose 0 = 2*m + l - 1, 4*m = m - 5*l - 9. Solve -m*n - 2 + 4 = 0 for n.
1
Let y(m) = -3*m - 21. Let u be y(-7). Solve u = -4*j - 0*j for j.
0
Let l be ((-16)/(-10))/((-6)/(-15)). Solve i = -l + 3 for i.
-1
Suppose -1 = -2*m - p + 1, 0 = -m + 3*p + 15. Solve 0 = m*u - 5*u - 6 for u.
-3
Let l be (4/2)/(5 + -4). Solve l*s - s - 2 = 0 for s.
2
Let r(c) = 3*c**3 + 2*c**2 - 3*c - 3. Let g be r(-2). Let i = g + 18. Let a be (2 - -2)*10/8. Solve -i*d = 10 + a for d.
-3
Let x = -9 + 10. Solve 1 = -g - x for g.
-2
Let k(z) = z**2 - 4. Let m(c) = -6*c - 2. Let a be m(-1). Let d be k(a). Solve 3*g = 6*g + d for g.
-4
Suppose -8 = -13*g + 11*g. Solve -7 + 3 = -g*y for y.
1
Let p be (-8)/(-20) + (-13)/(-5). Let i(t) = t**2 - t - 1. Let a(v) = 3*v**2 - v - 6. Let l(r) = -a(r) + 4*i(r). Let n be l(p). Solve -6 = n*z - 0*z for z.
-3
Suppose 30 = 12*r - 10*r. Solve 5 + r = -5*l for l.
-4
Let l(j) = -1 - 3*j**2 + 3*j**2 + 6*j**2 + j**3 + 4*j. Let n be 45/(-15) + (-2)/1. Let y be l(n). Solve -4 = y*t - 2*t for t.
-2
Let g(k) = -4*k. Let s be g(-1). Suppose 3 = -2*r + 5*r. Solve -s*u + r = 17 for u.
-4
Let r(h) = -h**2 + 5*h + 5. Let z be r(5). Solve -s = -z + 1 for s.
4
Let c(s) be the third derivative of s**6/120 - s**5/12 - s**4/6 - 7*s**3/6 + 2*s**2. Let v be c(6). Let p = -2 + v. Solve 2*n + p*n + 25 = 0 for n.
-5
Let t = -29 - -42. Suppose 4*u = 2*o + 20, -4*o - t = 2*u - u. Let m be o/(-14) + 4/(-14). Solve m*f = -2*f - 2 for f.
-1
Let g(l) = 2*l**2 - 1. Let h(c) = -c + 16. Let t be h(12). Suppose t*u + 0 = -4. Let m be g(u). Solve -j = m + 3 for j.
-4
Let k be 60/8*(-4)/(-5). Let s(d) = d + 5. Let w be s(k). Solve 4*l - 5 = w for l.
4
Suppose d = -1 - 4. Let g be ((-6)/d)/((-2)/(-5)). Solve -g*a = 2*a + 20 for a.
-4
Suppose b = 4*y - 0*y + 7, -b - 2*y = -1. Solve -b*w = 8 - 2 for w.
-2
Let j = 4 - 0. Let t = j - 1. Solve -o - 2 + t = 0 for o.
1
Suppose -22 = -2*l - 88. Let b = l + 48. Let j be 1/5 + (-3)/b. Solve r + 4 = -j for r.
-4
Suppose -20 = 9*h - 13*h. Suppose 12 = h*b - 8. Solve -b*r = -7*r for r.
0
Let g = -25 - -31. Solve b - 4*b - g = 0 for b.
-2
Let f(n) = n**2 - 6*n + 4. Let o be f(6). Suppose 5*g + 3 = 18. Suppose -2*u - l = -7, 4*l - 21 = -g*u - l. Solve 18 = -o*s - u for s.
-5
Let h(y) = -3*y - 9*y**2 + 7 - y**3 + 2*y**2 - 2*y. Let s be h(-6). Let z be (-2)/s + (13 - 6). Solve 2 = 3*b + z for b.
-1
Suppose 8*p - 4*p - 20 = 0. Let r = p + -2. Suppose 5*b - 35 + 5 = 0. Solve v - b = r*v for v.
-3
Let w be (-25)/(-3 + -2) - -10. Solve -i + 6*i - w = 0 for i.
3
Suppose -10 = -5*n - i, 2 = -4*n - i + 10. Suppose -n*g = -0*g - 20. Solve -3*h + g = 2*h for h.
2
Let r(a) = -a**3 - 7*a**2 - 7*a - 5. Let t be r(-6). Suppose 3*u - 31 = 2*z, -4*z + 2*z = 5*u - 57. Let y = -8 + u. Solve -2*h = y + t for h.
-2
Let x(g) = g**3 - 9*g**2 - g + 1. Let w be x(9). Let r = -5 - w. Suppose -4*q + 2 = -3*b - 2*q, -3 = -2*b - 3*q. Solve b = -2*d + r*d + 1 for d.
-1
Let c = -7 + 8. Suppose 0*i = -5*q + 4*i, c = 4*q - 3*i. Suppose 2*j + 6 = m, q*j - 1 = 5*m - 19. Solve 2*v - m = 2 for v.
2
Let b(c) = -c**2 + 5*c + 4. Let a be b(5). Solve -2*u = -3*u - a for u.
-4
Let m(w) = -2*w**2 + 2*w + 3. Let q(j) = -6*j**2 + 5*j + 8. Let d(b) = 11*m(b) - 4*q(b). Let y be d(-2). Suppose -4 + 19 = y*x. Solve -2*l + x = -l for l.
3
Let k = 20 - 15. Let o be ((-9)/6)/((-2)/4). Suppose 0*s - o*s = -9. Solve k*m = s*m + 8 for m.
4
Let a(u) = 8*u - 29. Let x be a(4). Solve -n = -8 + x for n.
5
Suppose -2*b + 12 + 9 = 5*v, v = 3*b - 6. Suppose 10 = 2*u + 2*a, -2*a - v = -3*a. Suppose 0*x = u*x - 4. Solve -y - x*y - 12 = 0 for y.
-4
Suppose 4 = 4*n - 4*j, 0*n - 5*n + 35 = j. Suppose -n*z = -z - 2*h - 30, 2*h = -5*z + 10. Solve -6 = z*g - 2*g for g.
-3
Let j(f) = -f**2 + 7*f + 9. Let k(t) be the second derivative of t**4/12 - t**3/2 - 3*t**2/2 - 3*t. Let c be k(5). Let s be j(c). Solve o = 4*o - s for o.
3
Let i = -3 + 6. Suppose 3*m - 4*o + 8 = 0, 2*m = -0*m - 3*o + 23. Let r(n) = -n**3 + 6*n**2 - 6*n + 2. Let a be r(m). Solve -i*y + a = 2*y for y.
2
Let x(f) = -f**2 - 5*f - 1. Let n be x(-2). Solve 0*m - n = -m for m.
5
Let z(q) = 3*q**2 + q. Let v(i) = -3*i**2 + 0 + 2*i**2 - 3*i + 5. Let y be v(-4). Let c be z(y). Solve -2 = c*s + 2 for s.
-1
Let r(p) = -p**3 - 6*p**2 - 5*p. Let l be r(-5). Let u be (0/16)/(-3 + l). Solve 12 = -3*h - u for h.
-4
Suppose -q + 3*t + 41 = 8*t, q = -2*t + 26. Solve a = 5*a + q for a.
-4
Let h = -13 - -22. Suppose 5*x - h*x = -16. Solve 7*t - x*t = -15 for t.
-5
Let d be ((-40)/(-6))/((-4)/(-30)). Suppose 5*w + 5*q - d = 0, 15 = 5*w - 3*w + 3*q. Suppose 4*t - w = 5*s, 0*t - 3*s - 9 = t. Solve -4*u + 0 + 20 = t for u.
5
Let g be (54/48)/(-9) + (-1)/(-8). Solve g = -h + 4*h for h.
0
Suppose 3*a + 0*a = 12. Solve a*v - 8 = -0*v for v.
2
Let f(o) = o + 11. Let b be f(-8). Suppose 0 = -3*w - 3*n + 6, 0*w - 5*w = -b*n - 18. Solve 0*a = w*a + 15 for a.
-5
Let l be 22/6 + (-5)/(-15). Suppose -g + 39 = -l*g. Let n = -9 - g. Solve -w = n*w - 5 for w.
1
Let k be (-9)/(-12) - (-10)/8. Solve -15 = w + k*w for w.
-5
Suppose -4*a + 3 = -3*a + 2*b, 3*b + 18 = 3*a. Let q(z) = -z - 4. Let u be q(-6). Solve u*x = 7*x - a for x.
1
Suppose 2*y - 3*z + 0 = -7, -5*z = -2*y - 17. Solve 5*a = y*a for a.
0
Let c(y) = -y**3 - 14*y**2 - 22*y + 24. Let k be c(-12). Solve w + 2*w = k for w.
0
Suppose -2*v = 4*g + 46, -g - 34 = -3*v - 5. Let h be (-6)/g - (-3)/(-7). Solve h = -j + 1 - 0 for j.
1
Let k(r) = 7*r + 12. Let c(m) = 4*m + 6. Let q(j) = 5*c(j) - 3*k(j). Let y be q(-8). Suppose -3*o - 2*h = h - 30, -3*h = -y*o. Solve 0 = -o*b + 2*b + 16 for b.
4
Suppose o = 0, d - 4*d - 4*o = -15. Let q = -4 - -9. Suppose -m - 10 - 24 = -5*y, -q*m =