 d. Solve -w*x + 21 = r for x.
4
Let l(o) be the third derivative of o**4/24 - 4*o**3/3 - 2*o**2 - 12. Let u be l(23). Solve 0 = 5*q + u - 5 for q.
-2
Suppose 0 = z + 1, 3*w - 6*w - 5*z = 29. Let d(h) = 3*h + 26. Let s be d(w). Solve -5*r + s = -8 for r.
2
Let w(f) = -f. Let h be w(6). Let g be 15/10 - h/4. Solve -g*l + 1 = -14 for l.
5
Suppose -m + 3*k = 127, 4*m - 5*k = -2*k - 490. Let f = 74 - m. Let j be (-6)/9*f/(-10). Solve -7 = 5*c + j for c.
-4
Let x be -19 + 22 + (-7 - -4). Solve x = 3*b + 1 - 16 for b.
5
Let a be -1 + 2/2 + 2. Let s be -93 + 3 + 1 + -3. Let n = 95 + s. Solve 0 = n*p - a*p - 3 for p.
3
Let t(k) be the third derivative of -k**5/30 + 25*k**3/6 - 7*k**2. Let a be t(0). Solve 0 = -5*s - 0*s + a for s.
5
Suppose 0 = -25*v + 54 + 46. Solve -3*s + v*s = 1 for s.
1
Suppose -3*y = 6*i - 4*i - 8, 5*y - 8 = 2*i. Let d be (-1 - y)*(7 - 10). Solve l + d = -2*l for l.
-3
Suppose -8 = 3*y + 2*h, 0*y - 5*h - 20 = -2*y. Let n be 8/(-10 - -12) - 2*1. Solve y = -3*r + n*r for r.
0
Let i = 19 - 17. Solve 0 = 7*s - i*s - 10 for s.
2
Let y = -50 + -15. Let c = y + 66. Solve -o = c - 0 for o.
-1
Let k(h) = h**3 + 4*h**2 - 14*h + 23. Let g be k(-7). Let y = 30 + g. Solve 0 = 3*d - y + 19 for d.
-5
Let h(t) = -2*t - 13. Let k(f) = -11 + 21 - 9*f - 8. Let w be k(1). Let z be h(w). Solve 4*s = -z - 3 for s.
-1
Suppose -c = 5, -2 = 4*z - 3*z + c. Let l be -20*(z - (-21)/(-6)). Suppose -l*y + 6 = -8*y. Solve 0*s = y*s for s.
0
Let r = 87 - 84. Suppose d - 1 = -r*l, 5*d = 5*l - 0 + 5. Solve l = 5*i - 21 + 1 for i.
4
Suppose -4*c = 15*s - 11*s + 20, -2*c = -2*s + 10. Solve a - 5 = -s for a.
5
Let g = 384 - 370. Let z(l) = 13*l + 0*l - l**2 + 9 + 5. Let j be z(g). Solve -3*r = -j*r for r.
0
Suppose 3*s - 4*f = -17, -f + 5 = -0*f. Solve -2 - s = -3*i for i.
1
Suppose -185 = 6*w + 7. Let u(s) = 11*s. Let k be u(-2). Let t be (33/k)/(6/w). Solve 0*j - 2*j = -t for j.
4
Suppose a = -2*y + 1, -4*y + 2*a = -9*y + 2. Solve 13*z - 19*z + 24 = y for z.
4
Suppose 5*s = 0, 61 - 13 = 4*x - 5*s. Suppose -3*v - x = -7*v. Solve f = -v*f for f.
0
Let t be (0 + 1)/(-2 - 35/(-15)). Suppose -m + 3*c = -12 - 1, 26 = 2*m + t*c. Solve 9*u = m*u for u.
0
Let l(x) = -6*x - 10. Let z(o) = 3*o + 5. Let s(h) = -6*l(h) - 13*z(h). Let w be s(-3). Solve 0 = -5*y + w*y for y.
0
Suppose -2*h - 5*b = 3*h + 35, 3*h = 3*b - 51. Let j = 1708 + -1714. Let k be ((-160)/h)/(-4)*j. Solve 0 = -3*s - s - k for s.
-5
Let v be (-15 - -17) + (1 - 1). Suppose -v*f = -10*l + 5*l - 10, -l = 2*f + 2. Solve 3*z + f = 6 for z.
2
Suppose 29 + 7 = -3*u. Let i(c) = c**3 + 11*c**2 - 11*c + 13. Let y be i(u). Let s = 4 + y. Solve -s*l = -4*l + 1 for l.
-1
Let z = 24 - 34. Let r(t) = -t**3 - 11*t**2 - 8*t + 21. Let l be r(z). Solve -3*q + l = -11 for q.
4
Suppose 2*u - 2*f = 26, -3*f + 16 + 15 = 4*u. Suppose -u*h + 15*h - 50 = 0. Solve 2*c - h = -3*c for c.
2
Suppose 10*h - 70 - 160 = 0. Solve h = -o + 21 for o.
-2
Let p = 819 + -819. Suppose 3*a = -2 + 11. Solve 0*x - a*x = p for x.
0
Let n(b) = -b + 2. Suppose -2*y + 2 - 4 = 0. Let k be n(y). Solve -4 = -a - k*a for a.
1
Let n = -24 + 34. Let y(h) = -6*h**3 - h + 1 + 3*h**3 + h**2 - 6*h**3 + n*h**3. Let t be y(1). Solve p + 0 + t = 0 for p.
-2
Let p(c) = 20*c - 16. Let k be p(1). Suppose -4*a + 20 = 4*i, 5*a - 2*a = -k*i + 17. Solve 1 = -4*y - a for y.
-1
Let w be -1 + 3 + -5 + 0. Let x(q) = q + 7. Let a be x(w). Solve a = -u + 1 for u.
-3
Let h be (-2 - -1)*6/(-6)*-2. Let f(a) = -5*a + 8. Let n(i) = 11*i - 17. Let x(c) = -13*f(c) - 6*n(c). Let u be x(h). Solve u*r + 20 = 4*r for r.
5
Suppose 22*k + 23*k = 180. Let h = 7 - 3. Solve -h = k*a + 4 for a.
-2
Let b be ((-13)/52)/(1/(-44)). Solve -b*g = -9*g - 10 for g.
5
Let r be 455/39 + (-8)/(-6). Suppose -r = -4*v + 7. Solve -v*w + 12 = 2 for w.
2
Let y(f) = f**3 - 21*f**2 + 38*f - 8. Let n be y(19). Let c be ((-5)/(45/6))/(n/48). Solve 1 = v + c for v.
-3
Let s be 1/(18/(-14) + (-16)/(-56)). Let z be 2 + -3 + s + 2. Solve 4*t - 6 + 14 = z for t.
-2
Let o(v) = 2*v - 9. Let b be o(7). Let z be -17 + (b - 4 - 2). Let m be 18/81 + (-122)/z. Solve -2*j = -m - 1 for j.
4
Let b(q) = q**2 - 33*q - 83. Let r be b(38). Solve 0 = 34*o + 39 - r for o.
2
Let a = 34 - 32. Suppose 2*s - 41 = -3*k, a*s - 21 = -5*k + 26. Solve -4*z - s = -8*z for z.
4
Let s(c) = -3*c. Let b(d) be the first derivative of -2*d**2 + d + 6. Let n(y) = -4*b(y) + 5*s(y). Let m be n(7). Solve -p + m = 6 for p.
-3
Let o = -84 + 88. Solve b = o*b for b.
0
Let p(y) = 2*y**2 + 21*y + 40. Let f be p(-2). Solve 4*z = f - 22 for z.
-4
Let l = -1323 + 1328. Solve -12*i = l + 7 for i.
-1
Let j be -1 - -10 - 5*(-12)/(-30). Let a be 2/7 + 108/14. Let k = a - j. Solve 0 = 2*w - 3 - k for w.
2
Let n be (-3 - 17)*(-10)/8 + -5. Solve 9*t - 25 = n for t.
5
Let t be 15 - 9 - (3 - 2). Solve 0*d + 10 = -t*d for d.
-2
Let b(f) = -f**3 + 17*f**2 - 15*f - 13. Suppose 0*r = -5*r + 80. Let o be b(r). Solve 5*h = -o + 13 for h.
2
Let w(n) = -n**3 - 10*n**2 - 27*n - 24. Let j be w(-7). Solve 0 = -j*f + 13*f - 5 for f.
-1
Suppose 5*l + 41 - 56 = 0. Solve l*k + 5 = 2 for k.
-1
Suppose m - 26 = -59. Let l = -18 - m. Solve -4*r + 3 = l for r.
-3
Let q = -237 - -242. Solve -q*x + 35 - 15 = 0 for x.
4
Let w = 19 + -19. Let k(a) = w - 2 + 4 - a. Let c be k(-1). Solve 0 = -c*g - 3 + 6 for g.
1
Let y = -28 + 30. Solve 14*f - 15*f + y = 0 for f.
2
Let c be 60/9 + 10/(-15). Suppose 3*w = -126 - 21. Let n = w - -52. Solve -12 = c*h - n*h for h.
-4
Let k(x) be the first derivative of -x**3/2 - 11*x**2/2 - x - 1. Let q(h) be the first derivative of k(h). Let b be q(-6). Solve 2*s = b*s - 10 for s.
2
Let r(j) = -j**3 + 12*j**2 + 13*j. Suppose 0 = -4*t + 42 + 10. Let v be r(t). Solve -i - i = v for i.
0
Let z = 17 + -12. Let d = -8 + z. Let t = d + 7. Solve 0*g + t*g = -12 for g.
-3
Let o(b) be the first derivative of b**2 - 4*b - 19. Let p be o(4). Solve 2*v = p - 0 for v.
2
Let f = 6 + -4. Suppose f*s - 4*s + 4 = 0. Suppose -t - s*r = 7, 5*r + 13 = -t - 9. Solve -t*x = -0*x - 6 for x.
2
Let v be 10/(-95) + (388/76 - -3). Solve v*h = 5*h - 3*h for h.
0
Let b(y) = -2*y - 5. Let m be b(-7). Let o(a) = a**2 + 8*a - 5. Let z be o(-4). Let t = 24 + z. Solve -m = -4*l + t for l.
3
Let a(v) = v + 1. Let q be a(2). Suppose 0 = 5*d + 2*r - 66, 0 = d - r - r - 18. Suppose -l + 13 = -2*p, -3*p - d = -3*l - 2*p. Solve 4*t + q = l*t for t.
-3
Let x be 5607/12 + 3/4. Solve -465*z = -x*z - 3 for z.
-1
Suppose -9*s = -6*s - 15. Let g(x) = -7 + 3*x - x - 2. Let i be g(s). Solve i = -2*q - 1 for q.
-1
Suppose -5*b = -2*o - 7 - 16, o = -4*b + 21. Solve -b - 9 = 7*p for p.
-2
Suppose 0 = -c + 3*c + 54. Let n be 2 - (c/(-1) + -1). Let x be (n/(-9))/(2/3). Solve 0 = -x*u - 11 - 5 for u.
-4
Let q = 443 + -442. Solve -j = -3 - q for j.
4
Let z be 110/9 + (-6)/27. Let m = -52 + 51. Let k be (m/2)/(z/(-24)). Solve -4*j + 11 = -k for j.
3
Let l(y) = 3*y + 8. Let r be l(-4). Let h be (64/r)/4 + 6. Solve -4 = h*w - 2 for w.
-1
Suppose -4*t + 20 = -0*t. Let x be (1 - (-14)/6)/(24/36). Let y = 8 - x. Solve -7 - y = -t*r for r.
2
Let r(x) be the first derivative of x**4/4 + 20*x**3/3 + 19*x**2/2 - 3. Let p be r(-19). Solve p = 2*b + b + 6 for b.
-2
Let y be ((-4)/6)/((-10)/30). Solve -4*w + y + 2 = 0 for w.
1
Let r = 204 - 81. Let y = 124 - r. Let l be (4/10)/((-2)/(-30)). Solve y = 5*o + l for o.
-1
Let x(s) = -s**3 + 17*s**2. Let i be x(17). Solve i = 5*w - 5 for w.
1
Suppose 0 = -5*j + 10*j - 20. Suppose 4*a - 12 = m - 2*m, j*a - 2*m = 0. Solve a*o + 5 = o for o.
-5
Suppose -a = 3*w - 4*w - 10, 3*a = w + 20. Suppose -72*m = -73*m + 4. Solve m*o - a = 11 for o.
4
Suppose -13*z = 31 - 109. Solve 4*j - 20 = -z*j for j.
2
Let k = -157 + 170. Solve 23 = 2*a + k for a.
5
Let n be (-5)/15 + (-62)/(-6). Suppose 0 = -4*d + n*d. Solve d = -l - 4 + 3 for l.
-1
Let l(u) = -3*u + 6. Let n(p) = -8*p + 19. Let o(y) = 11*l(y) - 4*n(y). Let c be ((-4)/6)/((-1)/(-21)). Let t be o(c). Solve t*q = -10 + 30 for q.
5
Let w = -376 + 379. Solve -7*b = -w*b for b.
0
Let v(l) = l**3 - 10*l**2 - 2*l + 23. Let s(w) = -w**3 - 14*w**2 - 14*w - 3. Let t be s(-13). Let n be v(t). Solve 2*k = -k - n for k.
-1
Let z be ((-6)/(-15))/(6/180). Solve -z = -3*r + 3 for r.
5
Let c be (-4)/((-8)/18*3). Let w(u) = -3*u**2 + 4*u + 1. Let j be w(c). L