 -5*h. Let v(o) = -7*o + 2. Let s be v(m). Solve -3*j - t = -3*t - s, -t + 28 = 5*j for j.
5
Let x = 24 + -21. Suppose 0 = b - 0*b - 5. Solve -5*m - b*n = -10, 3*n = 6*n + x for m.
3
Let l = -6 + 8. Let s be l/5*(-5)/(-2). Solve 0 = 5*w - 4*f - 9, 0 = 4*f + 3 + s for w.
1
Suppose 0 = -n - 5*v + 20, -3*n + 4*v + 48 = 7. Suppose 4*u - 12 = 5*g, -3*u = -5*g + 2*u - n. Solve -4*q + 2*y - 6 = g, -4*q - y = 14 + 7 for q.
-4
Let i(j) be the second derivative of -j**5/4 - j**3/3 + j**2/2 + 2*j. Let g be i(1). Let x be g/(-9)*6 + -2. Solve -20 = -2*t + 6*t, -x*l + 12 = -2*t for l.
1
Let n(i) be the third derivative of i**4/12 - 4*i**3/3 + 5*i**2. Let d be n(6). Solve l - 5 = -v, 2*v + 11 = d*l - 3*v for l.
4
Let d be (-4)/3*6/(-4). Let m = 2 + -2. Let h be 0 + (1 - m) + 32. Solve -2*t = -5*b - 6*t + h, b - 1 = d*t for b.
5
Let s be (2 - 0)/((-2)/(-1)). Suppose 20 = 4*f, -11 = -m - 2*f - s. Let v be 2/7 - 33/(-7). Solve -4*h + 3*c = 4, -v*h - c - c - 28 = m for h.
-4
Suppose v = t + 6*v - 30, t - 4*v = -15. Suppose -4*r + 50 = -t*c - 2*r, 0 = 2*c + r + 11. Let z = c - -12. Solve 0 = x + z*i + 20, -x = -2*i - 4 - 6 for x.
0
Let v(m) = -m**3 + m**2 - m + 2. Let g be v(0). Let l be (-20)/(-70) + 2/(-7). Solve -4*q = 2*d + q + g, 4*q + 8 = l for d.
4
Let o = 88 - 86. Solve 3*j + 32 = 8*j - 4*p, j + o*p + 2 = 0 for j.
4
Suppose 3*c = 5*k - 106, -5*k = -9*c + 4*c - 110. Suppose 3*z - 4*v = k, -z + 5*z - 4*v = 20. Solve -5*s + 2*q = -z*q + 33, 2*s + q + 6 = 0 for s.
-5
Suppose -32 = -7*r + 4*r - 5*f, 2*f = 2*r. Solve 2*m = 2*k + 10, 3*k = 4*k + r for m.
1
Suppose 2*j = 5*j. Let u be j + 0 + (-5)/(-1). Let t(n) = 5*n + 2. Let g be t(4). Solve 3*i = u*b - g, -5*b + 5*i + 22 = -4*b for b.
2
Suppose -4*c - 4 = -3*b + 36, -3*b + c + 37 = 0. Suppose 4*o = 5*z - b, 2*o = 4*o + 6. Solve 2*u + 4*d = z, -16 = u - 6*u - 2*d for u.
4
Let a be (-40)/(-3) + (-1)/3. Let z = 14 - a. Solve 0 = -5*t - c + 15 + z, 0 = t + c for t.
4
Let x(a) = -a**3 + 10*a**2 - 10*a + 9. Let t be x(9). Suppose -u + 1 = 0, t*d + 4*d = -u + 41. Solve 5*v + 2*c - d = 0, 0*v - v - 5*c = -2 for v.
2
Let s be ((-36)/15)/(2/15). Let i = -8 + -5. Let x = i - s. Solve 4*k + 3*v + 2 = 0, x*k + 14 = k + 3*v for k.
-2
Let w be -5 + (-9)/(-3) + (4 - -4). Solve o - l - w = 0, 4*o + 5*l + 12 = -0*o for o.
2
Let z = 8 + -6. Suppose 0*o - 8 = -z*w - 3*o, -8 = -2*w - 5*o. Solve w*i = 2*x, x = -0*x + 3*i for x.
0
Let r be 4 - 3*(3 - 2). Let x be (6 + -6)/(-1*r). Solve x = -3*l + 5*n - 26, 0 = 5*l - n + 16 - 2 for l.
-2
Suppose 0 = 2*b - 6*b. Suppose b = 3*h - h. Solve v - 3*p - 21 = 2*p, h = -5*v + 4*p for v.
-4
Let g be -6*2/(-14)*21. Suppose -3*i + i = -14. Suppose -i = -5*b + g. Solve -b*d = -2*x + 2, -4*d - 1 - 3 = -x for d.
-2
Let n(d) = d**2 + 13*d - 9. Let k be n(-14). Suppose 0 = k*x - 3*g - 73, g - 37 = -4*x + 18. Solve -4*c - 2*s = x, 0 = 5*c - 4*c - 3*s + 7 for c.
-4
Suppose 330*b = 333*b - 12. Solve -4*t = 5*s - 24, 3*t + b*s - 11 = 8 for t.
1
Let t = 4 + -5. Let u = t - -3. Suppose -n = u*n - 36. Solve 0 = -3*s - 4*p + 9, 4*s + p = 6*p + n for s.
3
Let y(z) = -2*z - 4. Let u be y(-4). Let q = 71 + -67. Solve q = -c - u*v, 3*c - v - 20 = 3*v for c.
4
Let d be (-2 + 1 - -2)*4. Suppose 3*j - 18 = 36. Suppose -4*i = -3*v + 29, 0 = -v + 4*i + 5 + j. Solve v*w - 4 = 3*n - 2*w, -4*w = d for n.
-3
Let c be (2/(-3))/(4/(-36)). Suppose 0 = 2*v - c. Suppose -6*o + 6 = -v*o. Solve r = -0*r - i - 7, -3*i = -o*r + 11 for r.
-2
Let f(b) = -b**2 + 4*b + 7. Let t(a) = -a**2 + 12*a - 13. Let r be t(11). Let w be 4 - (2/r - 0). Let j be f(w). Solve s + 2*s + 14 = 4*i, -i + 1 = -j*s for i.
5
Suppose -4*b = -3*j - 3, 7*b = 6*b - j + 6. Suppose 2*v + 0*o - b = -o, -5*v = -3*o - 24. Solve 4*a - 2*h + 2 - 8 = 0, 4*a + h - v = 0 for a.
1
Suppose 0 = -r - 0*r + 27. Let i be -1 + 3 + (5 - 3). Suppose 0 = 5*f + 2*n - 6*n - 33, 0 = 3*f + n - 13. Solve -2*x - 9 = -x - 2*j, r = -i*x + f*j for x.
-3
Let u(i) = i**2 - i - 2. Let c be u(-2). Solve 4*j = c*g + 28, 0*g - g + 18 = 4*j for g.
-2
Suppose 20 = 2*a - 0*a. Solve 2*c + 15 = 3*i + c, -2*i - 3*c + a = 0 for i.
5
Suppose -5*g - 4 - 1 = 5*s, 2*g - 5*s = 19. Let a be 93/9 + 3/(-9). Suppose 6*v = 4*v + a. Solve -y = -g*d - 1, -d + 3 = d - v*y for d.
-1
Let b = -109 + 187. Let f be (2 + b)*(-1)/(-2). Solve -5*r + 25 = 0, 3*r + 2*r = -5*w + f for w.
3
Suppose -l + 5 = 4. Suppose 4*d + 20 = 4*n, 5*d + l = -4*n + n. Solve -2*o + u = -2*u, -o + n*u = 0 for o.
0
Suppose 5*r + b = 26, -5*r - 2*b = -2*r - 10. Suppose -4*w = -r*w + 6. Solve 2*h - 2*i = -3*h + 12, 2*i + 4 = w*h for h.
4
Suppose -5 = -w - 2. Let q be 12 - (4/(-1) + 1). Suppose 3*t = -4*n + 10, -2*t = 3*t + 5*n - q. Solve -w*g + 8*g - 10 = 5*h, -5*g = t*h - 24 for h.
2
Let q(j) = 12*j**3 - 2*j - 1. Let p be q(-1). Let x = p - -17. Solve m - x*m + 28 = -4*z, 3*m - 22 = 5*z for z.
-2
Let m = -15 + 10. Let y = m - -1. Let h be (-6)/y*(-40)/(-12). Solve 0 = h*d + u + 9, -7*u = -d - 3*u + 15 for d.
-1
Let f(z) = 2*z. Let m be f(6). Solve 2*h + 23 - 2 = -5*c, h = 2*c + m for c.
-5
Suppose -7*v = -6*v - 1. Solve -v = p, 0 = s + s + 2*p - 2 for s.
2
Let n be 26 + (2/1 - 0). Let z be 2/(-6) + n/12. Suppose -2*k - 4*l - 16 = 0, -k + 6 = 3*l + 19. Solve 2*s = z*m, 0 = -s + k*s + 4*m + 20 for s.
-4
Suppose -2*w - 90 = -642. Let c be (-3)/5 + w/10. Solve 5*r + f = -c + 9, 0 = r + 5*f + 18 for r.
-3
Let x be 0/(1 + -2) + 2. Let t be 2 + (x - 5) + 4. Solve 5*k = 4*o + 7 + 8, 2*o + t*k = 9 for o.
0
Let v = 10 + -10. Suppose -2*p + 11 = p + 2*c, v = 2*p - c - 12. Solve -m - 4*l + 12 = -4*m, -p*m - 15 = -5*l for m.
0
Let j = -42 + 43. Solve -j = -s + i, 0 = 4*s - s - 2*i - 2 for s.
0
Suppose -m + 9 = -0*m. Suppose 36 = 5*f - 5*s - m, -s = 4*f - 16. Solve -5*k - 8 = 4*v, f*k + v = 10 - 27 for k.
-4
Let z = -8 - -13. Solve 2*w = 3*u, -2*w - 1 = w - z*u for w.
3
Suppose 49 = 6*l - 29. Solve f - 2*t = 14, -2*f + 0*t + t = -l for f.
4
Suppose p = -4*x + 31, 4*p + 2*x - 44 = 2*p. Suppose 3*r = -3*m + 28 + 11, 4*r + 3*m - 48 = 0. Solve p = -3*b - 2*w, r*b = 4*b + 3*w for b.
-3
Let v = -13 + 17. Suppose i = 5*i - v. Solve -s = i, -g = 7*s - 3*s + 9 for g.
-5
Let o(k) = k**3 + 7*k**2 + 2. Let q be o(-7). Solve 4*y - 5 = -5*p - 19, 4*y = 3*p + q for y.
-1
Suppose 3 = 4*d - 5. Suppose -4*z = -d*z - 6. Suppose z*l - 4 = 5. Solve -l*q - 5*k + 26 = 0, 0*q - k = -2*q for q.
2
Let l = 25 + -25. Solve 0 = -2*m + 3*a - 8, 5*m + l - 22 = -3*a for m.
2
Let p = -2 - -2. Suppose -4*f + p*f = -20. Let v = 14 - 10. Solve -13 + 4 = 4*h + f*z, 0 = v*z + 20 for h.
4
Suppose 0 = -0*f - 2*f + 20. Solve 4*r + 0*h + 2*h - 22 = 0, -4*r + f = -2*h for r.
4
Let r = 25 - 1. Let g = -15 - -20. Solve 11 = -5*o - 5*x - r, g*o - 5*x + 15 = 0 for o.
-5
Let f(z) = z - 2. Let v be f(2). Solve -3*m + 9 = -2*b, 4*b - 5*m + 28 - 11 = v for b.
-3
Let m be (-22)/(-4) - 2/4. Let l = 194 + -188. Solve -5*a - l = m*r + 9, -3*r + 6 = -2*a for r.
0
Let d be 4/(-2)*21/(-6). Let k = d - 5. Solve j + k = -3*h, -2*h + 4*j + 2 + 20 = 0 for h.
1
Suppose 28 = 4*g - 2*y - 0*y, 5*g + 4*y - 9 = 0. Solve 3 = -3*o - 0*o, g*w - 23 = -2*o for w.
5
Suppose -5 = -y, -c - 2*y + 22 = 2*c. Let q be (4/6)/(c/30). Suppose 2*b - 30 = -8. Solve 16 = -v - q*a, 10*v = 5*v - 2*a - b for v.
-1
Let o be (1 + 2/(-2))/(1 + 1). Solve o = 2*r + 4*u + 12, -2*r - 14 = 3*r + 2*u for r.
-2
Let a = 40 - 38. Solve 3*y - a*i = -19, -y = -2*i + 22 - 9 for y.
-3
Let k(p) = 2*p - 23. Let h be k(14). Solve f = -2*d, h*d - 3 = -2*f - 5 for d.
-2
Let h be (-4)/2*(-3 - -1). Solve 2*d + 4*t + 13 = d, 2*d = h*t + 22 for d.
3
Suppose 0*z + 4*z - 12 = 0. Solve -29 = -4*p - 9, -4*g - p = z for g.
-2
Suppose -2*s = -11 - 3. Suppose 0 = -2*p + s*p - 25. Solve -v + p*b - 10 = -4*v, 2*v = -b + 9 for v.
5
Let w(t) = -t - 2. Let b be w(-2). Let c = -277 - -279. Solve -2*r + 23 = -5*q, b = -4*q + c*q - 3*r - 13 for q.
-5
Let g(z) = z**3 + 2*z + 1 + 5*z - 2 + 7*z**2. Let v be g(-5). Let p = 20 - 18. Solve -p*o - a = -5*o - v, 5*a = 2*o + 5 for o.
-5
Let k(j) = -3*j - 45. Let z(i) = i + 15. Let t(u) = 3*k(u) + 8*z(u). Let f be t(-15). Solve -b + 4*w + 10 = f, -4*w - 12 = 4*b + 8 for b.
-2
Let y = 4 + -4. Let i be 81/15 - 2/5. Let z(t) = -t**2 + 6*t + 4. Let s be z(6). Solve -10 = -i*a + 5*r, y*a + s = a + r for a.
3
Let t(o) be the third derivative o