for k.
4
Suppose -2 = 2*r - 2. Suppose r = -4*o + 14*o. Solve 12*a - 8*a = o for a.
0
Let j be (-7 - 3 - -26) + 0. Solve 0 = 2*z + j - 10 for z.
-3
Let s(x) = -x**2 - 12*x - 9. Let q be s(-12). Let r be (-6)/4*12/q. Solve -r*z + 0 = -6 for z.
3
Let q be (10/(-30))/((0 - 4)/24). Let w = -19 - -34. Suppose 0 = 4*p - w - 37. Solve -q*r + 3 = p for r.
-5
Let b(t) = 12*t**3 + 2*t - 2. Let s be b(1). Suppose -a = 4*u - u + s, 4*u = a - 16. Solve a*g = -g for g.
0
Let t(p) = 2*p**2 + 4. Let b(c) = -c**2 - c - 4. Let r(q) = 4*b(q) + 3*t(q). Let w be r(-1). Solve 4*i + 6 = w*i for i.
-3
Let z be 6/(3 + 3 - 5). Solve -10 = -z*b + b for b.
2
Suppose -5*s - 10 = 3*v, 3*s + 3 = -v - 3. Let z be -2 + 13/(65/20). Solve z*a + 3*a - 10 = v for a.
2
Let o(z) = -2*z**3 + 27*z**2 - 13*z. Let f be o(13). Solve 0 = -7*g - f - 14 for g.
-2
Let f = -6 - 8. Let m(u) = u**3 + 14*u**2 + u + 17. Let p be m(f). Let d be p/(-6)*(-1 - -1). Solve d = -2*o + 4 for o.
2
Suppose 0 = 4*v + 3*p - 7*p - 556, -p = -3*v + 415. Let s = v - 42. Suppose 7*l = -l + s. Solve 3*j - l + 0 = 0 for j.
4
Let q be 6/(-3) + (-2 - -6). Suppose -q*j = 2*j - 3*l - 11, -j + 5 = -3*l. Solve -j*m + 6 = -0 for m.
3
Let z(k) = -k**3 - 7*k**2 - 9*k - 18. Let s be z(-6). Solve s = -5*a - 5 + 30 for a.
5
Suppose -736 = -7*g - 708. Suppose -7*h = -2*h - 35. Solve h*r - g*r = 6 for r.
2
Let x = -31 + 34. Solve 0 = -x*d + 5*d for d.
0
Let y = 30 + -26. Suppose 0*c = -y*c. Let h = 4 + -1. Solve s + h*s - 4 = c for s.
1
Let v = 193 + -178. Solve v*s = 14*s + 3 for s.
3
Let t be 11 + (12/1)/(-4). Suppose 9*c - t*c = 1. Let f be (-3)/(4/18 + (-93)/54). Solve -3 - c = f*m for m.
-2
Suppose -3*s - 1 + 8 = -4*y, 0 = -4*y + 4*s - 12. Suppose j - y = 2. Suppose -13*r = -15*r + j. Solve 0*p - 6 = r*p for p.
-3
Suppose -120 = -10*g - 2*g. Let x = -18 + 53. Solve -5*z = x - g for z.
-5
Let x = -11 - -14. Suppose 0 = x*y + 30 + 51. Let j = y - -47. Solve t - j = 5*t for t.
-5
Let j = -61 + 68. Suppose -j*z = -18*z + 275. Solve -3*l + 8*l - z = 0 for l.
5
Let g(q) be the third derivative of -5*q**4/24 - 2*q**3 + 4*q**2. Let s be g(-5). Suppose -s*d = -18*d + 25. Solve -4*t = -9*t + d for t.
1
Suppose 14*z + 459 = 23*z. Suppose 0 = 5*s + z - 116. Suppose 2*u + 6 = 0, 3*a - 2*a - 26 = -4*u. Solve -5*r = -s + a for r.
-5
Let y(h) = h**3 + 5*h**2 - 13*h + 11. Let r be y(-7). Suppose -3*w + 5*w = r. Solve -k - w*k = 15 for k.
-5
Let c(r) = -2*r**2 + 21*r - 20. Let t be c(10). Let m be (-6)/(-1) + t/5. Solve -4*f - m = -2*f for f.
-2
Let y = 10 + -8. Let d(h) = -h**3 - 4*h**2 + 11*h - 3. Let f be d(-6). Solve -y*k = -5 + f for k.
1
Let a(y) = 3*y + 20. Let k(u) = -9*u - 61. Let z(l) = -7*a(l) - 2*k(l). Let j be z(-7). Solve -g + j = -1 for g.
4
Let m be (-9)/(-15) + (-6)/10. Suppose -5*x + 22 = 4*o, -x - 3*o = -m*o - 11. Suppose 4*h - 2*i - 28 = 2*i, 26 = 5*h - x*i. Solve -14 = 2*w - h for w.
-5
Let l = 10 - 6. Let k = -35 + 21. Let w be 4/(-14) - 4/k. Solve 5*h - l - 11 = w for h.
3
Let h(g) be the first derivative of 5*g**2/2 - 2*g + 19. Let n be h(1). Let k be 21/14*(1 - -1). Solve k*l = -n + 15 for l.
4
Suppose 4*f = 4*s - 8, -f = 4*s + 2*f - 22. Suppose 5*z = 2*m + 8, 3*m = -3*z + 2*z - 12. Let o be 2 + (12 + z)*4/16. Solve s*g = -3 - o for g.
-2
Let s be (-3)/(-2)*3/(3/4). Suppose 3 = 2*h - 3*t + 1, -2*t = -h. Solve 0 = s*x - h*x - 4 for x.
2
Let r = 66 - 59. Solve r*q - 3*q = 12 for q.
3
Let w = 314 + -312. Solve 24 = w*m + 14 for m.
5
Let m be (72/48)/(-2 + (-69)/(-30)). Solve -q - m = -9 for q.
4
Let r = -32 - -35. Solve -47 = r*j - 50 for j.
1
Let m = 36 - 22. Let y = -10 + m. Let c = 15 + -9. Solve y*g - g - c = 0 for g.
2
Suppose 0 = -m - 6 + 25. Let j = 24 + -24. Solve -4*d - 1 - m = j for d.
-5
Let n = -1456 - -1474. Solve 7*q - n = 10 for q.
4
Let x = 31 - 12. Let o = -2 - -2. Suppose o = -5*z + r + 11 + x, 2*r = -10. Solve -2*f + 3*f = -z for f.
-5
Let c be (-6)/(5/((-5)/2)). Suppose 0*q - 6 = 3*q. Let r be (-1 - q)*(-12)/(-3). Solve 1 - r = -c*u for u.
1
Let r(d) = d - 1. Let q be r(-4). Let g(y) = -2*y - 4. Let f be g(q). Suppose 0 = -p - 3*c - 14, 20*p - 8*p + 3*c = 30. Solve p*n = 2*n - f for n.
-3
Let t be (2 - 1)*(-12)/(-4). Let n be -1*((t - 0) + -8). Let i(y) = -y + 22. Let k be i(14). Solve n*q + k + 2 = 0 for q.
-2
Suppose -2186 = -9*n - 1268. Solve 96 - n = 2*h for h.
-3
Let x(d) = -d**3 + 5*d**2 - 10. Let p be x(4). Solve -g + p = g for g.
3
Suppose -3*s - w + 13 = 0, -3*s + 4*w + 16 = -22. Solve 13*t = s*t for t.
0
Suppose 4*c - 32 = -3*h + 3*c, 0 = -3*h + c + 34. Solve -h*g = -13*g + 4 for g.
2
Let v = 45 + -45. Suppose 12 = 2*b + 3*r, -3*b + v*r + 19 = 5*r. Suppose -4*f - 2 = y - 3*f, 2*y + 5*f + 10 = 0. Solve y*s = b*s - 6 for s.
2
Let m(o) = -o**3 - 10*o**2 - 10*o - 2. Let t be m(-9). Let x = 1 + t. Suppose 0 = -2*n + x*n. Solve 4*v - 12 = -n*v for v.
3
Let p(x) be the first derivative of -3*x**2/2 - 48*x + 5. Let h be p(-16). Solve h = u - 3*u + 4 for u.
2
Suppose 0 = -2*s + s + 6. Let t = s - 1. Let h be 25/t + (1 - 1). Solve 0 = 2*x - 15 + h for x.
5
Suppose 4*s + 5*y + 0*y = -17, -y + 1 = 3*s. Suppose 16 = -s*q - 4*r, -q + r - 18 = 5*r. Solve 5*z - q = -17 for z.
-3
Let a be 1*3 + (-6)/2. Suppose -d - 2*d = a. Solve d = -5*x + 17 - 7 for x.
2
Suppose -3*l + l = 3*f - 6, -3*l + 2*f = 4. Suppose l*n - 5*n = -2*t + 51, 2*n - 55 = -5*t. Solve 2*m = t - 3 for m.
5
Let b(o) = 7*o + 405. Let x be b(-54). Solve x*a - 19*a = 32 for a.
4
Let i be (5 + -4)/(2/10) - 4. Let l be (-156)/39 - (6/(-2) - i). Solve l = 5*p - 10 for p.
2
Let h be (6 - (-45)/(-25)) + 2/(-10). Suppose -5*n - 3 = h*i - 39, -2*i + 24 = 4*n. Solve i*b = -17 + 1 for b.
-4
Let v(h) = -15*h - 13*h**3 + 5 + 12*h**3 + 16*h**2 + 0 + 4. Let y be v(15). Solve -y + 4 = 5*q for q.
-1
Let i be (-17)/(-3) - 8/(-24). Suppose 5*y + 7 - 42 = 0. Let k = y - 7. Solve k = -j + 4*j - i for j.
2
Let a = 72 + 65. Solve 0 = k - 140 + a for k.
3
Let r be (1 - -3) + ((-1)/(-1) - 2). Solve -93*w + r = -96*w for w.
-1
Suppose 202*r - 45 = 193*r. Solve r*n - 6 = 3*n for n.
3
Let p(z) = 3*z**3 + 3*z**2 - 1. Let k be p(-1). Let g(a) = -20*a**3 + 2*a**2 + a - 1. Let x be g(k). Solve 2*r + 2*r = x for r.
5
Let q(a) = a**3 + 4*a**2 - 5*a - 2. Let l be q(-5). Suppose 8*j + 17*j + 250 = 0. Let o be 10/j - l*1. Solve -4 = -3*s - o for s.
1
Let w(z) = -3*z - 14. Let k be w(-6). Suppose -k - 6 = -2*g, -5*v = 4*g - 40. Solve 7*l = v*l + 15 for l.
5
Let w(r) = 2*r**2 + 3*r - 2. Let t be w(-5). Let b = -33 + t. Solve b = 3*m - 0 + 3 for m.
-1
Let r(y) = -5*y**3 - 5*y**2. Let v(x) = 11*x**3 + 9*x**2 + 1. Let a(i) = 5*r(i) + 2*v(i). Let m be a(-3). Solve 5*n - m = -0*n for n.
4
Let y be 0 - -2 - -7*4/(-14). Suppose 0 = -2*l + 3*q, q = -2*l - y*l + 8. Solve l*s = 4*s - 3 for s.
3
Let w(p) = p - 12. Let b(a) = -a**3 + a**2 + a - 145. Let d be b(0). Let s be 2/(-4) - d/10. Let i be w(s). Solve -i*l = -0*l for l.
0
Suppose -15 = -r + 4*r. Let y(q) = -q**2 + 14*q - 30. Let w be y(5). Let d = w + r. Solve 2*x + 3*x - d = 0 for x.
2
Let z(f) = f**2 + f - 4. Let y be z(3). Let r(x) = 2*x**2 - 12*x + 13. Let l be r(5). Solve y = -l*h + h for h.
-4
Suppose 8*l = 103 + 17. Solve 0 = -f + 6*f + l for f.
-3
Let s(t) = t**3 - 2*t**2 - t - 1. Let v be s(3). Suppose -11*x + 18 = -2*x. Suppose 0 = -2*d - 5*y + 65, 50 = -2*d + 5*d - x*y. Solve v*h - h = d for h.
5
Suppose 0 = -m - 6 + 5. Let x be 2 - m - 5 - 6. Let t = x + 13. Solve 10*z - t*z = 0 for z.
0
Let p(k) = k**2 + 6*k - 8. Suppose 2*n - 4*v = -v + 33, 5*v - 21 = -3*n. Suppose 5*f + 3*d + 52 = 0, 0*d = 3*d + n. Let b be p(f). Solve 5*y + b = y for y.
-2
Let s(n) = -2*n**3 - 17*n**2 - 15*n - 40. Let d be s(-8). Solve 4*y = 8*y - d for y.
4
Let t(u) = u**2 - 5*u - 4. Let x be t(7). Suppose g + 7*r = 4*r + 12, -4*g + 4*r = -48. Let d = g - x. Solve f - d*f + 5 = 0 for f.
5
Suppose -4*m = -2*u - 116, 4*m + 5*u = 2*u + 96. Suppose -5*z = 5, 5*a + m - 150 = -2*z. Solve -6*j + j - a = 0 for j.
-5
Suppose -36*s + 532 = -8*s. Solve -s - 17 = -9*v for v.
4
Let u = -39 - -49. Let p = 18 + -2. Let b = p - u. Solve 4*q - 2 = b*q for q.
-1
Let k = -208 - -211. Solve h + k = 2*h for h.
3
Let g(k) = k**3 - 7*k**2 + 7*k - 1. Let i = -32 + 38. Let q be g(i). Solve 0*d + q = -5*d for d.
-1
Let x = -14 - -14. Let y be x/(4 + -3 + 1). Suppose y = 