, -2*v - 17 = -w. Let f = -6 + w. Solve 0 = -5*g + f*c + 2 - 12, 2*g + c = -15 for g.
-5
Let o = 8 - 7. Let g(k) = -k**2 + 7*k - 2. Let d be g(6). Suppose -a = -d - o. Solve 0 = a*x + 3*j - 19, -5*j - 2 = 2*x - 21 for x.
2
Let u = 69 - -16. Let l = -70 + u. Solve 2*f - 3*d = 4, 3*d + 13 + l = -4*f for f.
-4
Let a(u) = -u + 14. Suppose -2*j - 2*b - 10 = 3*b, -10 = -3*j + 5*b. Suppose 0 = -t - j*t + 11. Let y be a(t). Solve 2*s - 10 = -x, -y*s = 5*x - 4*s - 17 for x.
4
Let w(d) be the second derivative of d**3/2 + 3*d + 8. Suppose 0 = -3*h - 2 + 5. Let t be w(h). Solve -3*v = -t*s - 15, 2*v - 18 = 5*s + 4*v for s.
-4
Suppose -3*c - s = -2*s - 44, 5*c - 60 = -5*s. Let i = 17 - c. Suppose 0 = -7*m + 2*m - i*g + 8, 5 = 4*m + g. Solve -4*u - a + 8 = -6*a, -u + a = -m for u.
-3
Suppose -2*h - r = -7, 6*h - h - 5*r = 10. Solve -h*b + 2*f - 4 = -6, 5*f - 10 = 0 for b.
2
Let t(y) = -8*y - 48. Let d be t(-6). Suppose -3*l + 2 + 13 = d. Let x(n) = -n + 8. Let f be x(6). Solve -2*a = -l*o + 13, -5 = o + 2*o + f*a for o.
1
Let d be (15/(-6))/((-2)/4). Suppose 0 = -4*j + 11 + d. Solve 2*i - 2*b = -2, j*i - 2 = -i - 2*b for i.
0
Let r(y) be the second derivative of 13*y**3/6 - y**2/2 + 4*y. Let p be r(1). Suppose 2*m + p = 6*m. Solve j + 5 = 0, 3*x - 26 = m*j - 5 for x.
2
Let p = 336 - 333. Solve -3*d - p*q = 0, 0*d - 20 = -5*d - q for d.
5
Let x = 6 - 3. Suppose -5*w - 13 = f, -x = 4*w + 5. Let j = 0 - f. Solve -2*i - 18 = -5*h, -3*h + j*i = -11 - 7 for h.
2
Suppose 2*b - g - 220 = 0, 3*b - 250 = 5*g + 66. Suppose 0 = -21*t + 17*t + b. Solve 0*o - 2*k = -4*o + t, 2*o - 2*k - 18 = 0 for o.
5
Let p = 16 - 11. Suppose 4 = -g + 3*g. Suppose 2*n - 28 = -4*x, -x - x = g*n - 30. Solve -2*t = 2*t + 5*r + 26, p*t - 2*r + n = 0 for t.
-4
Suppose 2*w - 2 = -4*z, 3*w - 2 + 29 = 4*z. Let u be z/(-2) + (-22)/(-4). Solve p + 0*p - u*j = 18, 5*j = 2*p - 21 for p.
-2
Suppose 0 = j - 2*x + 3, -j - 6 = -0*x - 3*x. Suppose 0 = -5*m - 5*b + 6 + 4, -j*m = 2*b - 6. Solve -m*n = 7*f - 2*f + 8, -4*f + 4*n - 12 = 0 for f.
-2
Let k(i) be the first derivative of -1/2*i**2 - 2*i + 12. Let t be k(-7). Solve -l - 5 = 4*l + 3*v, -2*v = t*l + 10 for l.
-4
Suppose -6*r - 1 + 13 = 0. Let i be (2 - r)*(-2 + 1). Solve 2*o = s - 11, -3*o + 5*s - 11 - 23 = i for o.
-3
Let l(d) = 3*d + 16. Let m be l(-4). Suppose -3 = -4*w - 3*f, 0*w + 4 = 2*w + 4*f. Solve m*p + 0*p - 20 = w, 2*x + 13 = p for x.
-4
Let v(f) = -6*f**2 - 129*f + 68. Let g be v(-22). Solve -5 = -g*h + n, -h + 2 + 8 = n for h.
5
Let y = -4 - -2. Let v be ((-35)/(-15))/(y/(-6)). Let c = 16 - v. Solve -s - t - 18 = -6*t, -c = 4*s + t for s.
-3
Suppose -o - 19 = -25. Solve -y + 18 = -5*b, 3*b + 15 = o*y - 4*y for y.
3
Let m = 303 + -213. Let w = m - 88. Solve 0*f - w*v = -4*f + 4, 3*f - 10 = -2*v for f.
2
Suppose -556 = -13*s - 127. Suppose -11*y + s = 11. Solve 0 = -y*p - 0*r - 2*r + 12, -3*p = r - 14 for p.
4
Let o = 4 - -2. Suppose 4*r = o*r - 16. Solve 0 = -3*s + z + 22 - 6, r = -s - 3*z for s.
4
Suppose u + 1 = 0, 5*u - 5 + 2 = -2*o. Suppose i - 4*k = 7, k - 3 = -3*i + o*k. Let t = 1 + i. Solve -h - 15 = -q - 4*q, t = -4*q - h + 12 for q.
3
Let k = 876 - 874. Solve 2*p - k = 3*s, -5*p - 21 - 4 = 0 for s.
-4
Suppose -23 = -3*d - 5*y - 2, -5*y + 13 = -d. Solve -d*g = -p + 5*p - 16, 20 = 4*p + 4*g for p.
3
Let p = 2400 + -2398. Solve 3*h + h = -p*n, 12 = -3*n for h.
2
Let j(u) = 2*u**2 + 2*u + 3. Let g be j(-2). Suppose -g*c + 3*c = -60. Let a be 0 - (1 - (1 - -2)). Solve p - a*z - c = -2*p, -5*p + 25 = -2*z for p.
5
Let u(b) = 3*b**2 + 11*b - 78. Let v(f) = -f**2 - 4*f + 26. Let c(z) = 3*u(z) + 8*v(z). Let s be c(-7). Solve -3*w - 6*a = -a + s, -4*a = -4*w for w.
-2
Let o be -19 + (-1 - 1)*2. Let a = o + 8. Let v = a - -19. Solve 5*j = 5*x, v*j + 4*x - 3*x = 5 for j.
1
Let f = 8 - 4. Let r be (-2)/10 + 6/5. Let h be ((-99)/(-22))/(r/(1 - -5)). Solve -3*d = -f*l - 11, -2*l - 6*d = -d - h for l.
1
Let d(i) = i**3 + 6*i**2 - 8*i - 5. Let m be d(-7). Solve -2*w - 5*c = 8, -3*w - 2 - 10 = m*c for w.
-4
Let j(m) be the third derivative of m**5/30 - 7*m**4/24 + 4*m**3/3 + 7*m**2. Let k be j(3). Solve -2*h + 0 - 4 = -2*i, k*i - 4*h - 9 = 0 for i.
1
Let h be -4 + -4 + 12 + -2. Solve -z = -5*q + 14, 0*z - h*z = -3*q + 14 for z.
-4
Suppose 0 = 2*v - 5*o - 93, v - 3*v + o = -113. Suppose -57*f = -v*f + 8. Solve u = 3*b + 5*u + 23, -b + 3 = -f*u for b.
-5
Let d be (-40)/(-24) + (-20)/(-15). Solve -d*v + 4*x + 6 = 0, 5*v - 2*x + x = -7 for v.
-2
Let v(f) = 11*f**3 + 2*f**2 - 1. Let y be v(1). Let j be 3*(0 + 8/y). Solve 12 = 4*s - 4*z - 12, 0 = -s - z - j for s.
2
Let q(m) = m + 3. Let l be q(0). Let t = 129 - 61. Let f be t/14 + l/21. Solve -4*w + 1 + 8 = v, -5*w - f*v = 0 for w.
3
Let o(w) = -w**3 - 5*w**2 + 6*w + 13. Let l be o(-6). Suppose -l = -3*a + 8. Let p = a - 5. Solve -5*g - 3*u = 32, 5*g + p*u = -3*u - 40 for g.
-4
Let p = -431 - -434. Solve 3*o - 4*x + 13 = 0, p*o = -2*x - x + 15 for o.
1
Let k(r) = -r. Let b be k(-2). Let t = -15 + 20. Suppose -3*v + 13 = 3*d - 7*d, t*v = 2*d + 17. Solve -2*h - v*h = -b*a + 10, -20 = -4*a + h for a.
5
Suppose 2*s + 4*x = 6, 6*x - 2*x + 3 = s. Suppose -10*i = -s*i - 49. Solve -4*u = 4*c, 3*u + i*c = 3*c - 2 for u.
2
Let x(d) = -d**2 + 11*d - 14. Let u be x(6). Suppose -2*g + u = 4*h - 2, -5*h + 60 = -5*g. Let z = -4 + h. Solve 2*w + 2*v = 2, 9 - 2 = 2*w + z*v for w.
-4
Let y(h) = 6*h - 340. Let k be y(57). Suppose -r = -5*d + d + 17, 7 = d - 3*r. Solve 2*g = -2*g - 5*i - 20, -k*g + d*i + 16 = 0 for g.
0
Let o(q) = 3*q + 3. Let u be o(-3). Let j be 18/(-27) - 34/u. Suppose -3*w - 32 = -j*s, 0 = -s + 4*s + 3*w. Solve 21 = -s*m + 3*k - 7, 4*k = -2*m + 8 for m.
-4
Let t be (-792)/(-231) - (-8)/14. Let k(w) = w + 8. Let s be k(-5). Let r = s - 1. Solve r*z = -x + 11, -x - x = -t*z + 2 for x.
5
Let o = 46 + -75. Let l = -24 - o. Solve -3*f - l*n = -28, -4*f + 2*n - 6 = -0*n for f.
1
Let d = 503 - 498. Solve u + 3*u + d*r + 3 = 0, -r - 3 = 0 for u.
3
Suppose -7*v = -11*v - 3*w + 128, -5*v + 157 = 3*w. Solve 0 = 5*i + 3*u + 22, 4*i - 2*u = -v + 7 for i.
-5
Let r(n) = 3*n. Suppose 0*a = 2*i - 5*a - 44, -40 = -2*i + 4*a. Let o = i + -9. Let f be r(o). Solve 4*z = 3*t - 8, 2*t - 5*z + f = 3*t for t.
4
Suppose -l - 2*l = m - 16, 0 = -2*m + 8. Solve l*q - 2*c = 6, 28 = 5*q - 3*q + 4*c for q.
4
Suppose -3*u - 4 - 7 = -d, -5*d - 2*u + 4 = 0. Let q(k) = -4 + 3 + k + 0. Let c be q(1). Solve d*m = -10, -5*v - 35 = 2*m - c*m for v.
-5
Let c = -29 - -29. Suppose c*k + 24 = 6*k. Solve -k*h = -2*q - 4, 0 = -5*h - 4*q + 22 + 9 for h.
3
Suppose 0 = -n + 2, n + 13 = 5*w - 0*n. Suppose 4*k - 3*k - w*f - 18 = 0, k - 4*f - 22 = 0. Solve 2*i + 5*q - 2*q = k, 5*i = 5*q - 10 for i.
0
Suppose -78 = -10*u + 7*u. Suppose -u = -g + 5*v, 27 = 2*g - 0*g - 5*v. Solve 10 = -4*i - 2*a, -i + a = -2*i - g for i.
-4
Let o(g) = 6*g - 25. Let m be o(5). Solve 0 = l - 3*t + 2, l + m*t = 4*l + 6 for l.
-2
Let o be (-5)/(-30)*3*14. Suppose -18 - 10 = -o*q. Solve -4*m = y - 2*y - 18, -5*m + q*y = -17 for m.
5
Let g be -12*(1 - 3/6). Let q(v) = v**3 + 6*v**2 - 2. Let t be q(g). Let r be ((-40)/16)/(1/t). Solve -15 = r*i, -u + 12 + 1 = -3*i for u.
4
Let q be (36/(-90))/(2/(-10)). Solve 0 = -5*h - 4*p + 4 + 9, -q*h = -p for h.
1
Let r be (4/((-4)/(-5)))/(-15 + 16). Solve -3*v + 5 = 4*l, -8*l - r = -10*l - v for l.
5
Let i(z) = 8*z**2 - 53*z - 19. Let h be i(7). Solve 2*n + 5*w = 3*n + 28, w = -h*n - 1 for n.
-3
Let l be -3*1/(-7) + (-296)/(-28). Solve 0 = 4*j + 3*z - 3, 5*j + 19 = 3*z - l for j.
-3
Suppose 0 = 4*v + v - 20. Suppose x + 3 = v*n, 0 = x - 5*x + 2*n + 16. Solve 0 = -x*h - 15, 2*z - 2*h + 19 = -3*z for z.
-5
Let g(u) = u**3 - 3*u**2 - 2*u - 3. Let l be g(4). Let f be 26/10 + (-36)/(-90). Let b = -26 - -36. Solve o - f*i = -6*i - l, -b = -4*o - 2*i for o.
4
Suppose 0 = 65*p - 64*p - 9. Suppose 0*o + 2*o = z + p, 2*o = 5*z + 21. Solve 2*i - 4 = -2*j, 2*i = -o*j + 2*j + 7 for j.
-3
Let n(c) be the first derivative of 17*c + 1/2*c**2 + 4*c**3 + 1/4*c**4 - 4. Let q be n(-12). Solve 0 = 3*j + 15, -2*j + 5 = -q*o - 5*j for o.
2
Suppose -4*c - 33 = 3. Let d be (-61)/(-5) - 1/5. Let s = d + c. Solve 5*i - 3*w = -9, 2*i = i - w + s for i.
0
Let v be ((-8)/(-5))/((-8)/40). Let l = v - -10. Suppose -4*r + 5*r - 4 = 4*f, 5*f = 4*r - 16. Solve 5*p + 