 be x(8). Solve 2*u + 5 = -k for u.
-3
Let q = -9 + 9. Suppose -4*o + 23 - 15 = q. Solve o*w = 5*w + 9 for w.
-3
Suppose 0 = -12*l - 26*l + 456. Solve l = 9*s - 5*s for s.
3
Let t be (-1 + 2 + -1)*-1. Suppose t = 8*v - 27 - 69. Solve w = 4*w - v for w.
4
Let t(c) = c**3 - 4*c**2 - 4*c - 3. Let i(q) = -q + 11. Let y be i(6). Let d be t(y). Solve d*s + 15 = -s for s.
-5
Let d(b) = -3*b + 32. Let a(h) = h - 11. Let u(n) = -7*a(n) - 2*d(n). Let g be (-3 - -2)/((-1)/9). Let k be u(g). Solve 2*q + k = -0*q for q.
-2
Let k be 6/(0 - (-6)/4). Suppose 3*v - k*t = t + 46, 3*t = -15. Suppose 5*c + v = -4*n, n - 3*c + 0 = 11. Solve -n*s = -5*s + 3 for s.
1
Let t = -45 - -20. Let d = 27 + t. Solve -d*v + 1 = -1 for v.
1
Let q(y) be the third derivative of y**6/120 + y**5/12 + y**4/24 + 5*y**3/6 - 8*y**2. Let p be q(-5). Solve h + 2 + 0 = p for h.
-2
Suppose 4*r + 3*y = 6*y + 53, -y = r - 8. Solve -9*i + r*i = 0 for i.
0
Let g(q) = -q**3 + 7*q**2 + 8*q. Let j be g(7). Let o be ((-1)/(-2))/(7/j). Solve 3*t + o = 2*t for t.
-4
Let k(o) = o**2 - 4*o - 12. Let j be k(7). Solve -j = -5*w - 9 for w.
0
Let r(h) = -12*h - 214. Let v be r(-18). Solve -1 = -v*f - 5 for f.
-2
Let p = -104 + 119. Solve -2*v = -7*v + p for v.
3
Let z(q) = -2*q**2 + 15*q - 4. Let j be z(7). Suppose 19 = -3*u - 5*b, 0 = -3*u - b + j - 2. Let x be (1/u)/(20/200). Solve 0*a - a = x for a.
-5
Suppose 5*i - 3*d = -0*d, i - 18 = -3*d. Let l(v) = -v**3 - 9*v**2 + 10*v + 4. Let p be l(-10). Solve 0 = i*n - p - 5 for n.
3
Suppose 2*d = 3*d - 5*g + 15, -d = 2*g - 20. Solve 0 = -6*q + 4*q + d for q.
5
Suppose 0 = 3*w - 2 - 88. Let y be w/25*(-1 - -26). Let c = y - 28. Solve i = c*i for i.
0
Let l be (-1 - -2)/(4/(-128)). Let d = 58 + l. Suppose -2*u = -4 - d. Solve -5*a + 5 = -u for a.
4
Suppose 193 + 104 = 11*y. Solve -14*d + y = -5*d for d.
3
Let h = -382 + 388. Solve 0 = -5*y + h*y - 3 for y.
3
Let s(z) = -2*z**2 - 94*z - 90. Let l be s(-46). Let g(c) = -c + 2. Let h be g(-5). Solve -h = -l*i - 3 for i.
2
Let s be 3/(45/14 - 3). Let p(b) = -21 + b + 2*b - b + 0*b. Let y be p(s). Solve -5*z = -y - 3 for z.
2
Suppose -6*n - 371 = -677. Solve n - 66 = 3*l for l.
-5
Suppose -6*h + 27 = -33. Solve -14 = -4*z - h for z.
1
Let j be ((29 - 7)/(-2))/(-1). Solve -j = d - 7 for d.
-4
Suppose -5*p + 10 = -5*l, l - 16 - 6 = -3*p. Solve -p*q + 3*q = 12 for q.
-4
Let l = -34 - -49. Let n = -11 + l. Solve 5 = -n*g - 11 for g.
-4
Let d = 1127 + -1121. Solve 20*t = 26*t + d for t.
-1
Let x be ((-1)/3)/((-1)/(-33)). Let r = 13 + x. Let p = -44 - -64. Solve 0 = r*q - 7*q - p for q.
-4
Suppose 3*y + 55 = 19. Let a = 15 + y. Solve -5 + a = -x for x.
2
Let j = 46 + -72. Let v be (2 - 2)*(-13)/j. Solve 0 = 2*f - v*f for f.
0
Let b = 2102 - 2084. Solve b*n + 38 + 52 = 0 for n.
-5
Let c(y) = -12*y**2 + 4*y**2 + y**3 + 9 - y**3 + y - y**3. Let u be c(-8). Solve 3*v + u - 4 = 0 for v.
1
Suppose -40 - 30 = -7*q. Let h be 24/q + (-4)/10. Solve -x - 3 + h = 0 for x.
-1
Let q = 69 + -65. Suppose -5*o + 25 = a + q*a, 15 = 3*o + a. Solve -o*z - 12 - 3 = 0 for z.
-3
Suppose 2*l = -2*l - 16, 0 = -4*p + 3*l + 32. Suppose 0 = -p*u + 4*x + 39, 4*x = -u - 1 + 4. Solve u*m + 15 = 4*m for m.
-5
Let i = -185 + 199. Let g be (3 - 2) + (-1 - -15). Suppose -i*v = -g*v. Solve -s + v*s = -1 for s.
1
Suppose 1403 = 25*s + 178. Solve -s = -3*q - 49 for q.
0
Let q(c) be the first derivative of -c**3/3 - 9*c**2/2 + 13*c - 14. Let a be (-10)/(-6)*(2 + -8). Let j be q(a). Solve -j + 4 = t for t.
1
Let v be 7/(28/(-12)) + -1. Let l be (-4)/14 + (115/35 - v). Solve 0 = -n + l - 5 for n.
2
Let u(n) = -2*n**3 + 2*n**2 - 2*n + 2. Let f be u(2). Let c = -8 - f. Solve 0*i = c*i for i.
0
Suppose 26 = 2*h + 3*y, -3*y = -16 + 4. Suppose 0 = 2*j - h*j - 4*c + 72, 4*j = -3*c + 57. Solve -3*x + 7*x - j = 0 for x.
3
Let h be -2 + (-33)/(-21) - 696/42. Let n = -6 - h. Solve -n = -3*t + 4 for t.
5
Let a = -16 + 34. Let j be (-8)/((-15)/6 + 2). Let s = a - j. Solve 2*b - s = -0 for b.
1
Suppose 0 = -2*m - m + i + 12, -2*m + 8 = -4*i. Suppose -m*c = -6*c + 6. Suppose 0*k - 4 = -2*k. Solve -c*u - k*u = -15 for u.
3
Let y = 4954 - 4939. Suppose 0 = -2*o - 2*o + 4*j - 16, 0 = -4*o + 2*j - 8. Solve o*u + 3*u = y for u.
5
Let o(j) = -j**2 - 14*j - 39. Let z be o(-6). Solve 5*b = z + 6 for b.
3
Let s = -27 - -45. Solve -f - s = -7*f for f.
3
Let w(j) = -j**2 + 6*j - 2. Let a be (-96)/(-18) + 2/(-6). Let g be w(a). Solve x = -g*x for x.
0
Let w = 39 + -26. Suppose 0*i - i - 3*j - w = 0, -5*i + 15 = -j. Solve -3*g = -g + i for g.
-1
Let b = 48 - 53. Let o = b - -5. Solve 4 = 4*l - o for l.
1
Let g(d) = d**3 + d**2 - 5*d - 5. Let v be g(-2). Let j be -1*((1 - 2) + -4). Solve w + v = j for w.
4
Let r be (-1)/3*(-14 - -5). Solve r*b + 3 = 4*b for b.
3
Let r(v) = -2*v**2 + 14*v + 2. Suppose -2*z + 5*z - 21 = 0. Let n be r(z). Solve 5 - n = -3*g for g.
-1
Let d = 8 + -5. Solve -d = -4*u + 17 for u.
5
Let s be (11 + 1)/(6/8). Suppose -2*f = 4*k - 18, 2*k - 239 = 2*f - 221. Solve -k*d + 2*d = -s for d.
4
Suppose 2 - 410 = -4*v. Suppose -5*c = 2*w - v, -5*w = 2*c - 0*c - 45. Suppose -2*y - 4*i = c, 2*i - 4*i = -3*y + 10. Solve y*a = -5*a for a.
0
Let p be (4/((-16)/(-4)))/(-1)*-1. Let n = -12 - -21. Suppose -t + 0*k - 2 = k, 3*k = -2*t - n. Solve 0 = s + t - p for s.
-2
Let m be 2/((4/16)/1)*2. Solve 0 = -m*p - 113 + 33 for p.
-5
Let g(s) = s + 6. Let y be g(-6). Suppose 0 = -2*x - 54 + 50. Let u(q) = q + 5. Let i be u(x). Solve i*w + y*w + 6 = 0 for w.
-2
Suppose 27*z = 41*z - 98. Solve -y = -2 + z for y.
-5
Let l(c) = -c**3 - 6*c**2 - 10*c - 2. Let x = 63 + -67. Let v be l(x). Solve v*q = 4*q for q.
0
Let j(l) be the second derivative of -l**3/6 + 17*l**2/2 - 6*l. Let g be j(7). Suppose 0*q + 12 = 3*q. Solve -g = q*s - 2 for s.
-2
Let g be 3/(-21) - (-57)/7. Suppose g - 12 = -2*a. Suppose v = a*v - 6. Solve 0 = 3*p - v for p.
2
Let a be 1 - -5 - (-46 + 43). Solve 5*u + a = -6 for u.
-3
Suppose -22*k = -19*k + 18. Let h = k + 10. Solve -h*l + l = 9 for l.
-3
Let d = 9 + -4. Let r(s) = -s**2 + 2. Let o be r(0). Suppose g - 25 = -4*v, -2*v - o*g + 30 = 2*g. Solve v*f + d + 5 = 0 for f.
-2
Suppose -234 = 194*a - 233*a. Solve 52 - 82 = -a*j for j.
5
Let d(r) = -6*r. Let f be d(-1). Let g(v) = -27*v + 3. Let k be g(0). Solve -f = 3*w - k for w.
-1
Suppose -g + 8 = 5*a - 21, 3*g + 2*a = 48. Solve 0 = 17*z - g*z - 15 for z.
5
Suppose v = -f + 6, 4*v + 2 = f + 6. Suppose 0 = 2*r - f*r. Solve l + 0 - 4 = r for l.
4
Let k = 566 - 564. Solve -k*z - 18 = -14 for z.
-2
Let g(q) = -2*q**3 + 10*q**2 + 3*q - 11. Let h be g(5). Let b be (1 + (-10)/h)/(13/(-26)). Solve 0 = 5*u - 7 - b for u.
2
Suppose o + 2*u = 24, -3*o + 124 = -2*u + 36. Let f = 30 - o. Solve f = -4*m - 2 for m.
-1
Let a = -46 + 49. Suppose 5*c = 2*m - 29, m - 23 = -3*m + a*c. Solve -6 = -m*v - 4 for v.
1
Suppose -48 = 222*a - 230*a. Solve -a*h - h = 14 for h.
-2
Suppose -7*l - 77 = -14*l. Suppose d + l + 11 = 2*q, -4*q = 2*d - 28. Solve 6*s - q*s + 15 = 0 for s.
5
Let v be 270/(-120)*(-128)/12. Solve 8*r = 16*r - v for r.
3
Let a(c) = -4*c - 3*c - c**3 + 4*c + 4*c. Let o be a(0). Suppose o*y = 2*y - 6. Solve 2 + y = p for p.
5
Let q(r) = 2*r - 64. Let d be q(32). Solve d*h = 5*h + 10 for h.
-2
Let j(n) = 105*n + 325. Let g be j(-3). Solve 14*w - g*w = -16 for w.
-4
Let d = -7 + 6. Let z be (5 + -2)*d + 11. Let t = 9 - z. Solve -j + 0 = t for j.
-1
Suppose 4*y + 6 = 7*y, -2*y = -v - 12. Let g be 5*((-18)/(-4))/((-30)/v). Solve g = -4*p + p for p.
-2
Suppose -u + 5*l - 1 = 0, 2*u - 4*l = 11 - 7. Solve -5 = -f - u for f.
1
Let b(x) = 11*x - 278. Let d be b(26). Solve -21*w + d = -17*w for w.
2
Let c be 34/(-4 + (0 - -6)). Solve c = t + 15 for t.
2
Suppose 0*a - 3*a + 5*i = -136, 3*a + 3*i = 96. Suppose a = 6*b + 13. Solve -b*j - 19 = -3 for j.
-4
Let p be ((-2)/(-2))/((-1)/(-5)). Let a = 170 + -204. Let h = -30 - a. Solve h*l = p*l + 2 for l.
-2
Let m = -62 - -56. Let d = -1 - m. Solve -3*r = -4*r + d for r.
5
Let d(i) = -31*i - 618. Let t be d(-22). Solve -4*j = t - 48 for j.
-4
Let u be (-4)/12 - 16/(-3). Let h = 48 - 46. Suppose v + h - u = 0. Solve 0 = 3*g + v + 3 for g.
-2
Let h = -20 - 1. Suppose -3*g + 3*y = -7*g - 104, 4*g + 104 = y. Let o = h - g. Solve s - 6*s = -o for s.
1
Suppose 9*y + 40 = 10*y. Let u = y + -30. Su