+ k*l + 7 for w.
2
Suppose 0 = -11*f - 467 + 500. Solve m + 5*t - 16 = -f*m, 10 = -2*m + 2*t for m.
-1
Suppose 5*s - 3*u - 11 + 3 = 0, -3*s = -3*u. Solve 0 = 3*i + s*x + 19, -4*i - 17 = x - 4*x for i.
-5
Let n(h) be the first derivative of -h**4/2 - h**3/3 - h**2/2 - 4*h - 1. Let j be n(-2). Solve -6*c = -c + 5*o + 20, 5*c = o + j for c.
1
Let o be (-20)/6 - (-8)/(-72)*6. Let h be (-1)/(o/4) - 1. Solve b = 2*n + 2*n - 11, h = 4*n - 8 for b.
-3
Let m(j) = -3*j**3 + 23*j**2 + 20*j - 3. Let w be m(-1). Solve -2*v + 3*d + 8 = 30, w*d - 7 = -v for v.
-5
Suppose 0*i = 9*i - 45. Let m be (-1 + 3)*i/2. Suppose m*r - 2*c - 13 = c, r + c = 9. Solve -4*a + 9 = -d - 2*d, r*a = -d - 3 for a.
0
Let a = -400 - -405. Let s(i) = 2*i**2. Let x be s(-1). Solve -5*q = -a*v - 40, -x*q = 2*q + 4*v for q.
4
Suppose 25*k - 26*k - 8 = -4*v, k + 2 = v. Solve -v*f + 4*r = -30, 0*f + 5*r + 30 = f for f.
5
Let c(w) = 5*w**2 - 3*w + 2. Let f be c(1). Suppose 4 = -f*b + 2*q, b + 6 = 4*q - q. Solve b = 2*y + 2 + 2, 0 = -5*r - 2*y - 19 for r.
-3
Let q = 46 - 28. Let l be 32/q + 14/63. Solve -2*a = 5*b + 3 + 7, -l*b = 0 for a.
-5
Let i = -881 - -881. Solve i = 4*n - 3*a + 7*a - 8, -3 = 3*a for n.
3
Let l be (6/(-5))/((-6)/20). Let v be (-2 + 6 - l) + 6. Solve -3*m - 16 = -2*a, v*m - m = -4*a + 10 for a.
5
Let z = -1342 + 1354. Let i be (-9 - -1)/((-1)/1). Let q = i + -6. Solve u = 4*u + 3*r - z, 10 = q*r for u.
-1
Let v(c) = -c + 8. Let n be v(-7). Let d be 5/1 - n/5. Let t = -5 - -5. Solve -5*z = -t*z - d*q + 20, -z + q = 7 for z.
-2
Suppose y - 4*y = -4*x - 19, 2*x = -3*y + 31. Let n = y - 7. Solve 2*v + 2*v = 2*l - 28, 5*l = -n*v + 10 for v.
-5
Suppose -3*p = 2*n - 2*p - 21, -3*n = -2*p - 35. Suppose 0 = 4*s - 3*o - 12, -5*s - 2*o + n = -4. Solve 0 = 5*v + 3*x + 17, s*v + 15 + 8 = -5*x for v.
-1
Let k(g) be the third derivative of g**6/24 - g**5/60 + g**4/12 - g**3/2 + 26*g**2. Let h be k(1). Solve h*o - o + 3*n = 0, -5*n + 1 = 3*o for o.
-3
Suppose 4*u - 126 - 174 = 0. Let n be (-1)/(370/u - 5). Solve n = 5*q, -b = 5*q - 10 - 3 for b.
-2
Suppose 3*k - 3*u = 48, k = -0*u + 5*u + 32. Solve -s - 2*g + 9 - 3 = 0, -k = -4*s - 5*g for s.
-2
Suppose 11*w - 19*w = 17*w. Solve w = b + 3*z, -3*b - 2*b + 5*z = 0 for b.
0
Let s = 1 + -1. Suppose s*m + 21 = -m. Let b be (-2)/(-7) + (-99)/m. Solve -o = -y + 6, 22 = -b*o + 5*y - 4*y for o.
-4
Let m(i) = -4*i**3 + i**2 - i - 1. Let s be m(-1). Suppose -h = -s*h + 16. Solve h*d - d - 11 = a, -3*d = -3*a - 15 for d.
3
Let l = 963 + -952. Solve -n + 13 = 5*w + 2*n, 3*w = -n + l for w.
5
Let i(j) = -j - 3. Let x be i(-5). Suppose 3*o = 25 - 10. Suppose -20 = y - o*y. Solve y*g = -5*u - 5, 2*u = -2*g - 2*g - x for g.
0
Let z(b) = b**3 - 5*b**2 - 6*b + 14. Let m be z(6). Suppose -6*o - o = -m. Solve -5*q + 28 = 2*n - o, -3*n + 2*q + 7 = 0 for n.
5
Let m(k) = k**2 - 7*k + 11. Let b be m(12). Let t = 74 - b. Solve -n + 5*c = 0, n + t*n + 19 = c for n.
-5
Let y = -10 - -20. Let l be (-21)/35 + 16/y. Suppose 5 = 2*n - l. Solve 0 = -h + n*r - 8, -4*h + 3*r + 20 = 4*r for h.
4
Let s(g) = -5*g**2 - 43*g + 22. Let a be s(-9). Solve a*k + 37 = -5*r, k = 5*r + 22 - 0 for k.
-3
Let t(a) = -a**2 - 9*a - 17. Let u be t(-5). Solve -2*q = -3*m + 11, -5*q - u = -3*m + 2 for q.
2
Suppose 0 = -5*l + 4 + 6. Suppose -l*n = n - 12. Solve -3*a + 2*o - 6 = 0, n = -3*a + a - 4*o for a.
-2
Suppose -3*v - 8 = -4*s, 9*s - 10 = 2*v + 4*s. Let q(b) = b**2 - 2*b - 5. Let w be q(4). Solve -4*u - i - 15 = 0, v = -2*u - w*i - 8 + 3 for u.
-4
Suppose -3*k - 51 = -4*p, -5*k + 81 = 5*p - 3*k. Let h = -6 - -10. Let l be 13/h + 12/16. Solve -6 = 4*i - 3*x, l*i - 7*i - 3*x = p for i.
-3
Suppose 3*t - w = 2*w + 18, -3*w = -t + 12. Let n = t + 0. Solve -3*f = 5*i - 2*f - 16, 3*f = -n*i for i.
4
Suppose 2*f + 0*k - 2*k + 16 = 0, -21 = 3*f - 2*k. Let r be -2 + (f + -1)*-1. Suppose -5*g + 20 + 5 = 0. Solve -2*m - r*z + 6 = 0, -3*m - z - 11 = -g*z for m.
-1
Let j be 10*(-1)/((-4)/6). Suppose 2*k = l - k - 3, j = -4*l + 3*k. Let c be (l/(-4))/(12/24). Solve -4*x + 2*u = -12, -9 = -c*x + u - 3*u for x.
3
Let h = -1132 - -1134. Solve -3*f + 5*n = -26, -20 = -4*f + h*n - 4 for f.
2
Let r = -6 + 8. Suppose 3*m = 4*m + 4*y - 218, 0 = 4*y - 4. Let z = m + -211. Solve 0 = -4*a + r*q + 30, -z*q + 0*q - 30 = -3*a for a.
5
Let z be (-1395)/(-153) - (-12)/(-102). Solve 0 = 3*i - 3, -3*i + 0*i + z = 3*v for v.
2
Suppose -4 = 4*g + g - 2*a, -2*a = 4*g - 4. Suppose -4*k + 8 = 0, k = o - g*o. Solve 0 = o*b - 4*q - 18, 4*b + b = 5*q + 35 for b.
5
Let l(z) = z + 4. Let n be l(4). Suppose 8 = 4*j + 4*q - 0, j - n = q. Let u = j - 3. Solve -6 = -u*a - f, 4*a - 3*f - 20 = -f for a.
4
Suppose -2*h - 6*h = -0*h. Solve -4*s + d = 11, d + h*d = 5*s + 14 for s.
-3
Suppose 6*k - 32 = -2*k. Suppose -4*g = -13 - 3. Let y = 219 + -195. Solve -k*p + 2 = x + x, 0 = 2*p - g*x + y for p.
-2
Let t be 1/(3/108 + (-4)/(-18)). Solve 3*h + 2*l + l = 0, -t*h - 18 = -2*l for h.
-3
Let h = -100 - -127. Suppose -f + y + 9 + 7 = 0, -2*f + y = -h. Solve 2*v + 2*v - f = 3*x, 3*x + 3*v - 24 = 0 for x.
3
Let t = -753 + 755. Solve -x = 2*b + 14, x + t*b + 30 = -4*x for x.
-4
Let i = 442 + -407. Solve 5*b + 0*t = 5*t - i, -3*b - 4*t = 7 for b.
-5
Let v(o) = 4*o**2 - 8*o - 20. Let m be v(4). Solve -5*x = 5*b - 40, -4*b + 16 = 3*x - m for b.
4
Let w be (-8)/(-36) - 4/18. Let c(g) = g**3 + 3*g**2 - 4*g. Let n be c(-4). Suppose n = a - 1 - 0. Solve w*j - 4*x = j + 2, -2*j + a = 3*x for j.
2
Let j = 4 + -2. Let s be (42/49)/(j/14). Suppose 0 + 17 = 2*p - k, -s = -3*p - 5*k. Solve 3*y - 3*h + 3 = 0, y - 2*h = -p*h + 23 for y.
3
Let f(i) = -i**3 - 5*i**2 + 8*i + 15. Suppose 0 = -0*s - s + 11. Suppose 0 = 4*r - s + 35. Let l be f(r). Solve -5*v + 10 = -l*n - 7, -2*v = n - 9 for v.
4
Let c = 85 + -81. Suppose d - 4 = -k, c*d = -k - 2*k + 16. Solve -4*j = -2*j + 4*l + 4, k = -4*j + 2*l + 2 for j.
0
Let m be ((-3)/2)/((-2)/28). Let p = m - 15. Suppose -5*t - 2 = -p*t. Solve -t*o - 14 = -5*i, -3*i - 2*o + 4*o = -6 for i.
4
Let y(b) = -4*b - 20. Let t be y(-6). Let a = t - 1. Solve r - 6 = v - a, 0 = 5*r + 4*v - 33 for r.
5
Suppose 4*l = -1 + 25. Suppose 0 = q - 2*b + 12, 5*q - b - 4*b = -55. Let p be (-38)/q + (-12)/(-60). Solve -3*s + l - 2 = -o, -p = -5*o + 3*s for o.
2
Let q(r) = r - 3. Let i = 0 + 3. Let b be q(i). Suppose 35*h - 14*h - 42 = 0. Solve h*k + 10 = 4*x, b*k - k - 3*x = -5 for k.
-1
Suppose 6*z = 9*z - 18. Let y be 34/10 + z/10. Solve -21 = -2*i - i - y*l, l = -2*i + 9 for i.
3
Let n = 745 + -735. Solve 0 = 2*y + 2*p - n, 3*p - 5 = -3*y + 5*y for y.
2
Suppose 5*x - 4*p = 23, -p - 257 + 243 = -4*x. Solve 3*r - x*d = 18, r + 4*d + 0 = -4 for r.
4
Suppose -5*f - 3*r - 6 - 45 = 0, 2*r + 40 = -4*f. Let m be 2/f + 0 - (-928)/288. Solve 3 = -3*i - m*p, -21 = 3*i + 3*p - 6*p for i.
-4
Suppose -2*b + 10 = 5*y + 3*b, -5*y = -b - 4. Let g(h) = 4*h + 4. Let f be g(y). Solve -3*w - f = -x, 0 = x + 6 - 2 for w.
-4
Let t(p) = -p**3 + 10*p**2 + 5. Let h be t(10). Suppose -h*a - 8 = -9*a, -3*i = 5*a - 28. Solve -3*g - 5 = -2*q + i*q, -5*q = 3*g + 7 for g.
1
Let j be 5*(2 + 0 - 6). Let g be 0 + 9 - (-16 - j). Solve 3*q - 1 = -2*d, g = 4*d + q + 2*q for d.
2
Let o(q) = -q**3 + 12*q**2 + 11*q - 242. Let b be o(11). Solve c - 3*z + b*z = -8, 5*z - 19 = -4*c for c.
1
Suppose 0 = -5*n + 9*n - 16. Suppose 3*r - 30 + 6 = -n*w, -5*r - 4*w + 32 = 0. Solve 5*t = -f - r*f + 15, 4*t = -4 for f.
4
Let r(i) = 4*i - 22. Let f be r(7). Let v be 76/16 + f/(-8). Let d be ((-40)/(-12) - v)*-9. Solve d*z - z - 4*y + 25 = 0, z + 5 = 2*y for z.
-5
Suppose 5*s - 141 + 36 = 0. Solve -4*m = -i - s + 2, -4*m - 4*i = -24 for m.
5
Suppose -12 - 20 = -4*c. Suppose 9*p - c*p - 5 = 0. Solve 4*t - 4*b = -t + p, -5*b = -t + 1 for t.
1
Let g(x) = -x**2 + 10*x - 11. Let t be g(2). Suppose y - t*n - 17 = 0, -15 = y + 3*n - 8. Solve 5*c = 5*k - 15, -k - 3*k = y*c - 12 for k.
3
Let n(w) = w**3 - w**2 - 2*w + 29. Let p be n(0). Let o = 33 - p. Solve 5 + 1 = -b - 3*s, -4*b + o = -2*s for b.
0
Let g(n) = n**2 + 6*n - 6. Suppose 20*o - 40 = 16*o. Suppose 14*d + 32 = o*d. Let y be g(d). Solve -a = 2*u - 6, 2*u - y - 20 = 5*a for a.
-4
Let p(q) = 3*q - 22. Suppose -12*n + 75 + 21 = 0. Let j be p(n). Solve 2*u = -j*b + 2, 3*u + 0*u - 5 = -4*b for b.
2
Let r be 11/(-4) + (-9)/(-12) + 6. Supp