2*k + u + 7 = h, -3*k = 2*u - 0 - 14. Solve -t - t = -k for t.
2
Let j be (-1 - 0)*-3 - 29. Let s = -26 - j. Solve s = 4*b - 8 - 4 for b.
3
Suppose -6*x = -0*x - 24. Solve -5*r + x = 4 for r.
0
Let u = 32 - 32. Suppose y - 3*y = u. Solve o - 1 = -y*o for o.
1
Suppose -5*d + 34 = 3*y, 3 + 3 = -3*y. Suppose -8 + 0 = -4*v. Suppose -1 = r - 19. Solve -v*g + d = r for g.
-5
Let x = -216 - -219. Solve 0 = x*d - 1 + 4 for d.
-1
Suppose -4*q - y = -88, 5*q - 3*y = 136 - 43. Solve q*p - 40 = p for p.
2
Let s(v) be the first derivative of v**3/6 - v**2/2 + 6*v - 3. Let p(l) be the first derivative of s(l). Let y be p(2). Solve 2*r - 3 - y = 0 for r.
2
Let t be ((-1)/(-3))/(6/(-72)). Let r = t + 8. Suppose 0*i + r = i. Solve -i*d = d for d.
0
Suppose 478 - 190 = 12*c. Solve 7*h = 13*h - c for h.
4
Let h be (1314/(-45))/(-2) - (-2)/5. Let r be 9 + (-3 - (-3)/3). Let u = r - 1. Solve 3*b = u*b - h for b.
5
Let c = 1 + 9. Let b(j) = j**2 + 12*j - 55. Let k be b(-16). Solve c = -k*w + 4*w for w.
-2
Let o(v) = -2*v**2 + 27*v + 120. Let i be o(16). Solve -45*q + i*q = 0 for q.
0
Let f = -2337 + 2345. Solve -f*o + 32 = -8 for o.
5
Let c(o) = -43*o - 126. Let u be c(-4). Solve u*a - 1 = 45*a for a.
1
Let c(b) = -b**3 - 10*b**2. Let u be 2*(-1)/(-1)*(-85)/17. Let h be c(u). Solve h = r + 4*r + 25 for r.
-5
Let i(y) = y**2 + 7*y + 6. Let n be i(-6). Let b be 6 + (0 + 2 - 6). Let u = b - n. Solve -3*w + u*w = 0 for w.
0
Let r(a) = 26*a - 1. Let t be r(1). Let z be (-5*(-15)/t)/1. Solve -3*g - z + 9 = 0 for g.
2
Suppose 14*i = 100 + 54. Let s = -3 - -13. Let o be s/2*(-8)/(-8). Solve 4*y - o = i for y.
4
Let o = 24 + -17. Let z(y) = -y**3 + 4*y**2 + 7*y - 2. Let u be z(5). Let v = 3 + 2. Solve o + u = -v*a for a.
-3
Suppose -3*f - 2*l = -29, -3*f = 5*l - 28 + 5. Solve -f*x = -7*x - 16 for x.
4
Let y(o) = -4*o**2 - 77*o - 16. Let x be y(-19). Solve -32*d + 29*d = -x for d.
1
Let o(t) = t**2 + 2*t - 2. Let x be o(2). Suppose 4*c - x = c. Suppose -3*k = 7*k - 20. Solve -6 = -k*n - c for n.
2
Suppose 9*l = 34 + 2. Solve -a + l - 4 = 0 for a.
0
Suppose -2*j - 11 = 3*l, -7*j = -4*j - 3*l + 39. Let m = j + 14. Suppose m*t = -5*y, 0*t - t + 3*y = -17. Solve 2 = -t*r + 7 for r.
1
Let c = 4 - 10. Let p(t) = -9*t**3 + 10*t**3 + 3 - 5*t + 5*t**2 + 3. Let v be p(c). Solve v*f - 4*f = 0 for f.
0
Let u be 15/((-675)/10) + 166/18. Let s be (-4)/(-18) - 25/(-9). Solve 0*k + u = s*k for k.
3
Let u be (-1)/((-3)/(-1155)*5). Let r = u - -96. Solve -r = 5*s + 6 for s.
-5
Let t(c) = -15*c**3 - 2*c - 7 - 7 + 13. Let d be t(-1). Solve 3*w = -w - d for w.
-4
Let s be 111/39 - (-4)/26. Let m(z) = -z**2 + 11*z - 2. Let h be m(11). Let u be 1 - -2 - (h + 1). Solve i = -u + s for i.
-1
Let t = 16 - 4. Suppose 0 = 13*i - 10*i - t. Solve i*d - 6 + 2 = 0 for d.
1
Suppose 3*m + 43 = 52. Solve -36 = -m*g - 6*g for g.
4
Let m be -4 + -4*(-1 + -1). Solve 17*f = 21*f - m for f.
1
Let n(k) = k**3 + 3*k**2 - 5*k - 4. Let b be n(-4). Suppose b = -4*t - 2*v + 3*v, 0 = t - 2*v. Suppose 5*l = l. Solve t = -l*w + w - 2 for w.
2
Let v = -63 - -38. Let c = 28 + v. Solve 2*n - 9 + c = 0 for n.
3
Let r(y) = 2*y**2 + 25*y - 11. Let x be r(-13). Suppose x*l = 5*l - 18. Solve l*d - 3*d = 15 for d.
5
Let n be (-18)/90 - (-2)/10. Suppose 0*v = -2*v + 100. Suppose g + 4*g - v = n. Solve 5*x = -0 + g for x.
2
Let r = -358 + 361. Solve g = -r*g for g.
0
Suppose 0 = -4*v + 8*v + 168. Let j = -22 - v. Let w = j + -16. Solve -w = 3*r + r for r.
-1
Let b = 4 - 0. Let m = 2 + -2. Suppose k - x + 4 = m, -5*k - 2*x = x - 20. Solve r + k + b = 0 for r.
-5
Suppose 45*b - 592 = 353. Solve 7*t + b = -0 for t.
-3
Let d = 103 - 99. Solve 9*c - 25 = d*c for c.
5
Suppose -25 = -0*o + 5*o, 2*o = 5*y - 30. Let n be (y/(-7))/((-1)/7). Solve -3*p + n = -2*p for p.
4
Suppose 5*k + 0*k + 4*r = 31, -4*k = -2*r - 30. Solve -k*v - 7 = -0*v for v.
-1
Suppose 36 = 8*t + 36. Solve t = 7*v - 4*v - 15 for v.
5
Suppose -i - l + 87 = 2*i, i + 5*l - 15 = 0. Let t be 32/(-10) + 6/i. Let d(h) = -h**2 - 4*h - 3. Let o be d(t). Solve j + 0*j - 2 = o for j.
2
Suppose 3*p + 7*p = 0. Suppose -5*n + 90 = 5*r, -2*r + 6 = -p. Suppose 37 = 3*o - 2*m, -4*o = -2*m - 31 - n. Solve o = 5*f + 29 for f.
-4
Suppose 13*k - 16*k = -57. Solve -4*x + 1 = -k for x.
5
Let s(t) = -t. Let g(y) = 10*y + 2. Let x(d) = g(d) + 6*s(d). Let k be x(1). Solve h + k = 3*h for h.
3
Let s = -3 - 29. Let k be (s/20)/((-4)/10). Solve l = k*l - 6 for l.
2
Let s = 5 - 4. Suppose -3*n = -3*v - 6, -3*n - 2*v - s = -27. Solve i - n*i = -5 for i.
1
Let i be -10 - (1 + 0 + -11). Solve 264*w - 266*w - 6 = i for w.
-3
Let l = -307 + 448. Suppose 5*x - l = -41. Solve m - x = 5*m for m.
-5
Let d(o) = 2*o - 12. Let r be d(10). Suppose -31*m - 20 = -26*m, -2*i - 10 = 5*m. Solve 23 = i*y + r for y.
3
Let v = 509 + -479. Solve -32 = 2*d - v for d.
-1
Let c(g) = -g**2 - 4*g + 3. Let t = -7 + 15. Suppose -t = -4*s - 24. Let k be c(s). Solve 0 = k*y - y - 10 for y.
5
Let o(t) be the third derivative of t**4/24 - t**2. Let w = -196 - -200. Let j be o(w). Solve 10 = j*l + l for l.
2
Suppose 4*m + 3*x = 7*x + 12, 0 = 4*m + 4*x + 12. Solve -245*w + 248*w = m for w.
0
Let p be (-8)/(-6) + (-890)/6. Let h be 6*(-7)/p - (-66)/14. Solve -c = -2*c + h for c.
5
Let z = -42 + 46. Suppose -z*g = c - g - 7, -3*c + 5*g - 7 = 0. Solve -4*i + c = 9 for i.
-2
Let d(c) = -c**2 - 7*c + 25. Let j be d(-7). Suppose 35 = 5*w - j. Solve -w = -8*g + 4*g for g.
3
Let u(z) = -z**3 - z**2 - 6*z + 8. Let d be u(1). Solve d = -9*x + 23*x + 70 for x.
-5
Let j = -266 + 271. Solve c = -4*c + j for c.
1
Let j = -110 - -60. Let o be -5 + 3/((-15)/j). Solve o*w - 12 - 3 = 0 for w.
3
Let w be (-1)/5 + 522/10. Suppose -2*x + 22 = 3*u - 0*x, -w = -4*u + 3*x. Solve 5*k - u = -0*k for k.
2
Suppose -5*q + 25 = -0*q - s, -3*s = -4*q + 31. Solve 0 = 5*k + q - 19 for k.
3
Let f(h) = h**2 - 23. Let g be f(0). Let i = 40 + g. Let d = i + -17. Solve 0 = -d*c + 4*c for c.
0
Suppose -3*c + 7*q = 2*q - 1, 0 = 3*c - 4*q - 2. Suppose -3*f = -c*f. Solve f*x = 3*x for x.
0
Suppose 12 = 4*u, 0*f + 2*u = 2*f + 2. Suppose r + 4 = -0, 2*r + 20 = 4*g. Suppose -3 = 2*c + y - 10, 4*y - 6 = g*c. Solve -c*n + 0*n + f = 0 for n.
1
Let m = 928 + -927. Suppose -3*b - o = -4 + 1, -2*o = -b - 6. Let i be 2*(1*-1 - -3). Solve b = -t - i - m for t.
-5
Suppose -4*x + 3 = -13. Let z = x - 1. Solve -z*w + 3 = -3 for w.
2
Let v(c) = c - 12. Let n be v(14). Let k(r) = -12*r**n + r + 12*r**2 + r**3. Let u be k(0). Solve -3 = -3*s - u for s.
1
Suppose 0*a = 5*w + a - 85, 5*a = 4*w - 39. Suppose -4*i + 0*i = w, 5*i = -4*k + 24. Solve k = -4*f + 7 for f.
-1
Suppose 39*m - 38*m = 30. Let s be (18/(-15))/((-12)/m). Solve 4*l - 11 + s = 0 for l.
2
Let c be (-120)/(-14)*56/12. Suppose a + 2*s - 20 = -s, -3*a = 5*s - c. Solve 0 = a*d - 0*d + 15 for d.
-3
Let q = -34 + 29. Let c be q/(-3)*15/5. Solve -c*v = -v - 8 for v.
2
Suppose 4*b + 4*x = 76, 5*b - 45 = 5*x + 10. Solve -z = 2*z - b for z.
5
Let q be (-1 - 86/(-4))/((-3)/(-6)). Let g = -39 + q. Solve -g*p = p for p.
0
Suppose 3*w - 5*h = -10*h - 98, -4*h = 4*w + 136. Let n = w - -37. Solve -9 - n = 2*r for r.
-5
Suppose -16 = -0*t - 4*t. Suppose 2*y + 2*y = t. Let b(u) = -6*u - 15. Let l be b(-3). Solve -x = -l + y for x.
2
Suppose 75 = 12*x - 45. Solve 0 = 2*f - x + 8 for f.
1
Suppose 5*l = 4*q - 12, -5*l - 8*q + 3*q = -15. Solve l = -p + 39 - 40 for p.
-1
Suppose 0 = -3*l - 4*i + 6, 4*l = i + 5 + 22. Let b = -261 + 273. Solve l*j - 3*j = b for j.
4
Let z be 3*1/((-6)/(-4)). Let a(f) = f**2 + f + 1. Let y(g) = g**2 - 4*g - 2. Let l(t) = z*a(t) + y(t). Let i be l(2). Solve -23 = 3*v - i for v.
-5
Suppose 3*c + l = -0*c + 43, 2*c = 3*l + 25. Suppose 14*k - c = 7*k. Solve k*y = -0 - 2 for y.
-1
Suppose t + 2 = y, -3*y = -4*t - 7*y + 8. Solve 15*i + 46 + 14 = t for i.
-4
Suppose -4*j = -2*j - 10, 0 = -2*g + j + 9. Let s be -3*(0 - g/3). Suppose 0 = -4*u + s*u. Solve 5*h - 3*h + 8 = u for h.
-4
Let u be 1 + (1 + -1)/(-2). Suppose 1 + u = z. Suppose 2*v - 2 = 2, 10 = z*j + 2*v. Solve j*w = w for w.
0
Suppose -8*x + 4*x = -36. Suppose q = 13 - x. Let l be 18*(1 - (-2)/(-6)). Solve q*y = 8*y - l for y.
3
Let n(j) be the second derivative of j**5/10 - 7*j**4/12 - j**3/3 - 4*j**2 - j. Let x be n(4). Solve -2*s + x*s = 2 for s.
-1
Let r be 33*