(9). Solve w = -5 + v for w.
5
Let h(l) = 3*l**3 - 16 + l + 13*l**2 - 6*l**3 - 12*l + 2*l**3. Let d be h(12). Let i be (-84)/7*d/6. Solve -i = -4*w - 0 for w.
2
Suppose 3*v + 85 = -47. Let g = v + 55. Solve 2*u = 1 - g for u.
-5
Let x = 1013 + -1012. Solve 10*i = -49 - x for i.
-5
Let h be 1/(4 + (-55)/15). Suppose h*p - o = 3*o + 5, -4*o = -4. Solve p = -v + 4*v for v.
1
Suppose -5*h - 50 = 3*x + 107, 2*x + 112 = 4*h. Let r = 59 + x. Solve 5*b - r = -0*b for b.
1
Let o = 85 - 78. Solve 8 = 3*i - o for i.
5
Let s be 63/(-630) - (-281)/10. Solve -a - 31 = -s for a.
-3
Let m = -427 + 428. Solve 21 = 5*q + m for q.
4
Let o(b) = -b**3 - 30*b**2 + 2*b + 85. Let q be o(-30). Solve 25*m - 20*m = -q for m.
-5
Let k(i) = -3*i + 27. Let h be k(7). Suppose -6*u + 2*u + 8 = -2*v, -3*u = -v - h. Solve -8 + v = 2*q for q.
-4
Suppose 3*u = 4*j - j - 12, 4*j - u - 28 = 0. Suppose 36 = 4*a - j. Suppose 0 = 2*q - a - 1. Solve 9 = -5*x - q for x.
-3
Suppose -2*r + 64 = 4*k - 84, 5*r = -3*k + 97. Solve 33*p - k*p + 24 = 0 for p.
4
Let p = 115 + -112. Solve -48 = -p*x - 63 for x.
-5
Let f be 1 - (-14)/(-8) - (-1188)/176. Suppose 0 = -2*p + p. Suppose p = -2*v + f. Solve 0 = -h - v*h for h.
0
Let r(y) = -y**3 - 4*y**2 - 4*y - 1. Let q be r(-3). Let l = -183 - -186. Solve l*w = q*w - 3 for w.
-3
Let z(l) = l**2 + 3*l - 5. Let g be z(-5). Suppose g*a + 0*y = 2*y, -8 = a - 2*y. Solve a*p = 3 - 7 for p.
-2
Let j = -318 + 326. Solve 2*g - 16 = -j for g.
4
Let c = -64 - -66. Suppose 3 = 4*z - 5*s - 4, -c*s + 2 = 0. Solve 8*y = z*y for y.
0
Let b be -1 + ((-2)/9 - (-166)/18). Solve 0 = -b*r + 7*r + 3 for r.
3
Suppose 2*q + 23 - 19 = 0. Let h be q/(7/(154/(-4))). Let k be 3/(4/((-48)/(-9))). Solve -5 = -k*f + h for f.
4
Let f(d) = d**3 + 21*d**2 - d - 17. Let b be f(-21). Suppose -5*q - 21 = -b*n, 0 = 5*n - 5*q - 11 - 14. Solve 19 = -n*s - 1 for s.
-5
Let z = -4 + 9. Let v be (z + 2)*8/28. Let p(t) = 3*t - 5. Let q be p(6). Solve -v*b - 3 = -q for b.
5
Let u(l) be the second derivative of -l**3/3 - 5*l**2/2 - 8*l. Let o be u(-4). Solve 0*p = o*p - 15 for p.
5
Let l = -4 - -6. Suppose -5*u = -l*b - 19, 5*b - 5 = -u - 4*u. Let v be (0/(b + 1))/(-1). Solve a + 0 + 2 = v for a.
-2
Let n(o) = -2*o**3 + 6*o**2 + 3*o - 3. Let g = 24 - 21. Let c be n(g). Suppose f - 35 = -5*a, -3*f - 3 = -3*a - 0*f. Solve -a = -4*u + c for u.
3
Let s(x) = -7*x**3 + 2*x**2 - 1. Suppose 5*i - 9 = -4. Let q be s(i). Let w = q + 10. Solve -3 = w*j + 5 for j.
-2
Suppose -5 = w + 9. Let b = w - -26. Let g = -6 + b. Solve v = g*v for v.
0
Let f(t) be the third derivative of -t**4/6 - t**3/6 + t**2. Let r be f(-1). Let g be 5 + (4/6 - 80/120). Solve g = -r*d - 4 for d.
-3
Let u = 33 + -38. Let k be (-40)/10*(u/2)/5. Solve -20 = -7*y + k*y for y.
4
Let o = 1 - 0. Let u(c) = -c**3 + 13*c**2 + 3*c - 26. Let t be u(13). Let z = o + t. Solve 3*g - z = -5 for g.
3
Suppose 3*j = -5*w + 2 + 1, -2*j = 8. Solve 0 = -3*r + 2*r - w*r for r.
0
Let f be (3 + -3)/(-3 - -1). Let r = 72 - 68. Suppose f = -3*q + 5 + r. Solve g = -0*g - q for g.
-3
Suppose -3*r - 57 + 108 = 0. Solve -r = 10*y + 13 for y.
-3
Let x = 49 - 57. Let y be (-4 + 3)/(-1)*x/(-2). Solve -17 = y*k - 1 for k.
-4
Let o(j) = -4*j - 9. Let n(g) = 20*g + 46. Let z(q) = -3*n(q) - 14*o(q). Let m be z(-6). Suppose m = b - 3*t - 2*t, -4 = 3*b + 5*t. Solve 2*i = 2 + b for i.
2
Suppose 3*i + 8*g = 9*g + 39, 4*i = -5*g + 33. Solve 0 = 2*o - i + 2 for o.
5
Suppose -156 = -4*t - 4*y, 3*y = -2*t - 0*t + 83. Solve 31*z - 3 = t*z for z.
-1
Suppose 0 = -4*x - 12, -q + 21 = 26*x - 30*x. Solve -q*g + 8*g - 4 = 0 for g.
-4
Suppose -5*a + 175 = -3*w, 0*a = a + w - 35. Suppose 5*x + m = 6*m + a, 0 = -5*x + 2*m + 41. Let o = -3 + x. Solve -2*r = -o*r - 20 for r.
-5
Let f be (19 - (-910)/(-60)) + (-1)/(-6). Solve f*p + 223 = 211 for p.
-3
Let q be (588/20 - -1)/(16/40). Solve -q*f = -73*f + 9 for f.
-3
Suppose 42*b - 3*t = 44*b - 14, b - 4*t = 7. Solve -6*i + b = i for i.
1
Let u = 458 - 456. Solve -1 = -u*p - 11 for p.
-5
Suppose -4*u = -2*y - 144, 6*y - 8*y + 36 = u. Solve 0 = -9*x - 0 - u for x.
-4
Let g(v) = v**3 - 5*v**2 - 6*v + 7. Let y be g(6). Solve y*s + 33 = 40 for s.
1
Let d = 9 + -6. Let r = d - 7. Let q be ((-20)/4)/(r/4). Solve q*s + 0*s = -25 for s.
-5
Suppose -2*y + 15 - 29 = 0. Suppose 0 = -4*k - 3*v - 52, -5 = v - 1. Let s = y - k. Solve 0 = -6*g + s*g + 12 for g.
4
Let t be 255/25 + -7 + (-8)/(-10). Solve -10*c - t*c = 0 for c.
0
Let v(h) = -h - 2. Let f(s) = s + 3. Let r(o) = 7*f(o) + 6*v(o). Let d be r(-7). Let p(j) = -j - 1. Let t be p(-5). Solve 2*l - d = -t for l.
-1
Suppose 3*t + 65 = -3*f + 8*f, -3*f = t + 17. Let k be 64/10 - 12/t. Solve 2*x = k*x for x.
0
Let j(b) = -3*b + 20. Let o be j(6). Suppose -11 = -o*a - 5. Solve -a*w + 4*w = 0 for w.
0
Let j = 1573 - 1570. Solve 4*b - 5 = j*b for b.
5
Suppose 0 = -4*a - 8, -5*j - 27 = a - 100. Solve 0 = -2*m + 5*m - j for m.
5
Let k(p) = -p**2 + 13*p - 2. Let a be k(8). Suppose -6 = a*b - 41*b. Solve -3*q = -b*q - 3 for q.
3
Let q = 11 - -1. Let r = 15 - q. Suppose -4*y - r*v = -36, 6*v + 76 = 5*y + 2*v. Solve -2*c + y = c for c.
4
Let n be 336/10 - 90/(-225). Solve 5*r = n - 9 for r.
5
Suppose -5*s = -6*a + 10*a - 35, -3*a + 28 = 2*s. Solve 5*h - 5 - a = 0 for h.
3
Let m(t) = 6*t + 3. Suppose 7 = 2*x + 3. Let r be m(x). Let u = -13 + r. Solve u*b + 3 = -b for b.
-1
Suppose 2*q + 5*d = 40, -4 = -d - 2. Solve -12*b + 15 = -q*b for b.
-5
Suppose 172*r - 177*r = -10. Suppose -5*i + 5 = -5, -4*i = 2*n - 8. Let k = 5 - n. Solve -r = -k*a - 12 for a.
-2
Suppose 13 = -i - u, u = -3*i - 44 - 3. Let w = i + 17. Let v be 1 - (-2)/1 - 1. Solve w = v*c - 0*c + 2 for c.
-1
Let v be 3*2/6 + (5 - 44). Let w = -29 - v. Solve -2*t - t = w for t.
-3
Let h = 383 - 381. Solve 2*q + h*q = -4 for q.
-1
Suppose -31 = 3*m + 4*n - 8, 0 = 4*n + 8. Suppose -1102 = 3*z + 1040. Let o be z/(-35) - (-2)/m. Solve 0*w + o = 4*w for w.
5
Let x = 88 - 53. Suppose 40 = -x*c + 43*c. Suppose 0*r = 5*r - 70. Solve c*j - 4 = -r for j.
-2
Suppose u = -u. Suppose 5*s - 5*i = 45, 0*i = 5*s - i - 41. Solve s = -u*b + 2*b for b.
4
Let s be (10/10)/(1/27). Suppose -6*q - 3 + s = 0. Solve -q*p = p for p.
0
Let h(t) be the first derivative of 1/3*t**3 + 5*t - 2*t**2 - 8. Let z be h(4). Solve 0 = -0*m + z*m - 5 for m.
1
Suppose 21 = 5*m - 49. Suppose m = 2*z - 2*h, -3*h - 3 = 12. Suppose -z*d + 6 + 8 = 3*r, 4*d + 4*r = 24. Solve -d*i - 3 = -11 for i.
2
Suppose 5*u = 64*j - 69*j + 140, 0 = -3*j + 3*u + 72. Solve j = -6*h + 32*h for h.
1
Let h be 26/13 - -2*1. Let k be -18*(2/6 + h/(-6)). Let o(a) = a**2 - 1. Let j be o(-2). Solve -j*l = -0*l - k for l.
2
Let i be (-6)/(-27) + 68/18. Solve -17 + 13 = -i*f for f.
1
Let p be (-52)/(-5) + (-36)/(-60). Suppose p*c - 6*c - 25 = 0. Suppose 0 = -3*z + m + 4*m + 28, 0 = -3*z + 3*m + 24. Solve -c*o + 3*o + z = 0 for o.
3
Let l(v) = -13*v - 76. Let n be l(-6). Solve -3*z + n = 17 for z.
-5
Suppose -15*c + y + 12 = -13*c, -c + 5*y = -24. Solve c*q = q for q.
0
Let x(o) = -o**2 + 8*o - 5. Let i be x(5). Suppose 0 = 2*q + 3 + 5. Let t(n) = n**2 + 6*n + 12. Let u be t(q). Solve -i = -u*f + 2 for f.
3
Suppose -3*v + 4*b + 1 + 20 = 0, b = 0. Let x(w) = w - 4. Let n be x(v). Solve 7*s = n*s + 8 for s.
2
Suppose 0 = 6*w - 27 - 21. Suppose -4*m + 4*f + 10 = -3*m, 0 = m + f. Suppose 3*o - 2*o - 3 = 0, 0 = -4*l + m*o + 14. Solve n - w = l*n for n.
-2
Suppose 0 = -0*k - 5*k + 5. Let r = -22 + 29. Suppose -c + r = -k. Solve -17 - c = 5*n for n.
-5
Let w = -87 + 89. Solve -12 = 2*s + w*s for s.
-3
Suppose -1195*g + 1209*g = 616. Solve 46*q + 8 = g*q for q.
-4
Let x(c) = c**3 - 7*c**2 - c + 12. Let z be x(7). Suppose 0 = -4*t + w + 27, t = -2*t + z*w + 33. Solve -a = -t*a for a.
0
Let o(v) = 19*v**2 - 5*v**3 - 20*v**2 - 3*v + 2 + 4*v**3 - 7. Let x be o(-2). Let g = -1 - -1. Solve g = -0*d - d - x for d.
-5
Suppose -5*j = -x - 651, 3*j = 4*x - 0*x + 394. Solve 3*d + 142 = j for d.
-4
Let h(q) = q**3 + 14*q**2 - q - 8. Let k = -2 + 6. Suppose 0 = -k*y - 26 - 30. Let d be h(y). Solve -10 - d = 4*x for x.
-4
Let v(n) be the third derivative of 1/60*n**5 + 1/6*n**3 + 0*n - 1/24*n**4 - n**2 + 0. Let k be v(3). Solve 0 = k*x - 3*x - 16 for x.
4
Let d = 7 + 0. Let l be 3 - 3*(-3 - 16/(-4)). Suppose 2*u + l*j = 3*j + 7, 4*u = j + 19. 