b) = 6*b. Let u be i(1). Let j be -2*u*(-3)/4. Solve m*q + j = -3*r, -3*r + 1 = q - 0*r for q.
-5
Let p(v) = -v**3 - 15*v**2 - 13*v + 18. Let a be p(-14). Solve t - 24 = 5*z, -4*z = -a*t + 20 + 12 for t.
4
Suppose -3*y - 3*j + 20 = -49, 2*j + 84 = 3*y. Solve -5*m = u - 32 + 10, -4*m + 2*u = -y for m.
5
Suppose -2*y = -4*y - 5*f + 31, -f = 3*y - 14. Solve -o - d - 18 = -5*o, -y = o - 4*d for o.
5
Let d(t) = t + 4. Let l be d(-4). Suppose 3*a = -2*g + 11, -3*a = -l*a + 3*g - 6. Solve -3*y - b = -7, 3*y + 10 = 5*b - a for y.
1
Suppose 0*q + 4 = -2*q - 3*f, 5*q + 2*f - 12 = 0. Suppose q*k + 11 = 43. Let d = k - 4. Solve -g + 0*g + 4*n = 0, -16 = -5*g + d*n for g.
4
Let b(r) = r**2 - r - 5. Let s be b(4). Solve 3*f - 4*i + s = 0, 4*i + 18 = -4*f + 2*f for f.
-5
Suppose -4*a + 42 = -2*l, 0 = -3*l + l - 4*a - 26. Let o = -11 - l. Solve 1 = g - 3, 0 = -2*s + g + o for s.
5
Let a = 27 - 47. Suppose -34 = -2*s + 42. Let g = a + s. Solve g = -2*w + 4*z - 8, -3*w + 5*z = 34 for w.
-3
Let x(l) be the third derivative of -l**6/120 + 7*l**5/60 - 5*l**4/24 - l**3/3 - 6*l**2. Let d be x(5). Solve -3*y + 3*p - 21 = 0, 0*y - d = -y - 5*p for y.
-2
Let f = 24 - 9. Let i(o) = o**2 - o + 1. Let d(b) = -2*b + 15. Let a(s) = d(s) - i(s). Let j be a(0). Solve -y - 4*q - f = 3, -y + j = -4*q for y.
-2
Suppose -4*k + 10 = -2*p, 0*p - k + 10 = 2*p. Let a(g) = 2*g - 4. Let r be a(p). Let n be 2 - (-1)/((-3)/(-6)). Solve 2*u - 3*j = 5, 9 - r = 3*u - n*j for u.
1
Suppose -5*w = 3*d + 4 - 51, 5*w - 2*d - 52 = 0. Let s = 9 + -7. Suppose x - 5*x = -s*v + w, -3 = -5*v - x. Solve 0*b + v = n - 2*b, -n = -4*b + 3 for n.
5
Let r = 5 - 2. Suppose -m + 11 = 4*z, 3*m - 3*z = -0*z + r. Solve -3*p = 2*u + 2*u + 7, m*u = 3*p + 21 for p.
-5
Let r(u) be the first derivative of u**2/2 + 8*u - 5. Let k be r(-8). Solve -s - 7 = 4*s - g, 3*s - g + 5 = k for s.
-1
Let c be 12/30 - (-74)/(-10). Let p = 10 + c. Solve -m - p = 4*j, -4*j + 3*m = 6*m - 7 for j.
-2
Suppose 0 = 3*f - 17 + 5. Solve -f*l - l - 13 = -4*o, -o = 3 for l.
-5
Let u be 0 - (5 - (-2 + 3)). Let r = -1 - u. Solve -c = -3*y + 2, 2*y - r*c = 2*c + 23 for y.
-1
Suppose -2*w = -s + 6, 8*s - 7*s + w = 3. Solve -5*p + 4 = -3*u, 3*p + 0 + s = 5*u for p.
2
Let q(l) = -l**3 + 4*l**2 + 9*l - 17. Let k be q(5). Solve 4*x = d + 24, -k*d + 5 = 2*d + 5*x for d.
-4
Let j = -75 + 52. Let a = j + 23. Solve a = -3*l - 3*g - 6, -5*l + g + 9 - 31 = 0 for l.
-4
Suppose -5*x + 2*z + 28 = -z, 2 = x + 3*z. Solve 2*j - 3*v = -3 - x, -j = -5*v + 4 for j.
-4
Suppose -3*p = -4*p + 2. Suppose p*c = 5*n - 30, 2*n + 4 = -2*c - 12. Let g = 15 + c. Solve -5*j = g*m - 15, -2*j = 3*j - m - 27 for j.
5
Suppose 5*g - 95 = -10. Let n = 20 - g. Let d = 5 + -2. Solve -5*f + 31 = -n*u, f + 3*u = -u - d for f.
5
Suppose -7*s - 10 = -9*s. Solve 5*k - s*d = -1 - 4, 2*k - 3*d + 6 = 0 for k.
3
Let t = 29 - 25. Solve 4*h - 24 = -0*h - u, -t*h = -u - 16 for h.
5
Let p(z) = -3*z + 75. Let d be p(24). Solve 2*b + y - 3 = 0, 5*y + d = 4*b - 10 for b.
2
Suppose -4*y - 5*h = -5*y - 5, -5*y = h - 79. Solve -y = -5*i + 2*i + 2*k, k = -i for i.
3
Let u be 6 - (4/1)/1. Solve -3*j = -7*j - 5*h - 2, 5*h - 16 = u*j for j.
-3
Let d(t) = t**2 + 9*t - 12. Let x(a) = a**2. Let q(v) = d(v) - 2*x(v). Let z be q(7). Solve -2*k + 15 = 2*k - f, z*f - 6 = -4*k for k.
3
Suppose 0 = -x - 4*i, 0 = x - 4*i + i - 14. Solve -x = 2*b + 5*p + 3, p + 7 = 2*b for b.
2
Let t = -5 - -5. Solve 4*f + 14 = 2*c, 5*c + t*f + 3*f + 4 = 0 for c.
1
Let b be (-4 + (-13)/(-2))*2. Solve 2*d - 10 = -3*a, -6 = -b*a - 0*d + 2*d for a.
2
Suppose 3*k + 2*i = -2*i + 2, 2*i = 4*k - 10. Let c be 6/4 + k/(-4). Solve 8*m + 2*w = 5*m + c, 3*m + w = -4 for m.
-3
Let o = -30 - -32. Let h = 12 - 7. Solve o*t + 4*a - 2 = 0, 5*a = h*t - 3*t + 25 for t.
-5
Let c(j) = 2*j**2 - 4*j. Let x be c(2). Solve -y + 4*y - 3*h - 6 = x, 4*h + 8 = -4*y for y.
0
Let f(h) = h**2 + 2*h. Let i be f(-3). Let w = 0 + i. Suppose -w*o + 24 = 5*b, -2*o = -4*b - 3*o + 15. Solve 0 = n - 4*n + p, 0 = -b*n + 2*p for n.
0
Suppose 4*h + 3*j - 29 = 0, -2*j - j = -4*h + 11. Let v(o) = o**2 - 2*o - 3. Let z be v(h). Solve r + 4*n = -2*r - 13, z = 4*r - 2*n for r.
1
Let j = 82 - 79. Solve 2*f + 2*p + 4 = 0, 6 + 12 = -3*f + j*p for f.
-4
Suppose 3*g - 5 = 2*g. Suppose g*q = -0*q - i + 3, i - 3 = -4*q. Let r = -1 - -2. Solve -4*f = -m + 1, m + q*m - r = -3*f for f.
0
Let o be 2 - (-3 - (0 + -3)). Solve -5*n + 6*n + 5 = -2*c, -o*n + 2*c + 20 = 0 for n.
5
Let u be (-51)/(3 + 0)*-1. Suppose 2*r - u = -3*r - 2*d, -3*r = d - 10. Solve r*g - 4 = o, 3*g + 2*g = -4*o + 1 for o.
-1
Let p be 2*(-2)/5*-10. Suppose -2*w + p = -4*w. Let m be w/12*(-69)/1. Solve -m = -5*v - 0*o - o, 0 = 3*o - 9 for v.
4
Let k = -36 - -45. Solve k + 3 = 2*i + 3*v, -i + 12 = 3*v for i.
0
Suppose 29 = 5*c + 4*n, 2*c + 4*n = 11 + 3. Solve -2*k + 4*y + 5 = -c, 3*k - 3 = 3*y for k.
-3
Let l(f) = f**3 + 3*f**2 - 6*f - 5. Let s be l(-4). Solve -s = 4*q - c + 9, c = -3*q - 2 for q.
-2
Let h(u) = 3*u - 16. Let j be h(7). Let x(s) = 2*s**2 - 8*s + 5. Let m be x(j). Solve 0 = 5*g - 5*p + m, 3 + 2 = g + p for g.
1
Let h be ((-6)/7)/((-3)/14). Solve -3*x = 3*n + 2*n - 27, -4*x + h = -4*n for n.
3
Suppose 312 - 292 = 4*u. Solve 2*f + 3*j = 2*j - 7, 26 = -f - u*j for f.
-1
Let i(f) be the second derivative of -f**4/12 + f**3/6 + f**2 + 3*f. Let n be i(0). Solve -5*y = -z + n - 0, -12 = 4*z for y.
-1
Let h be 2/15 + 73/15. Solve -h*y = -2*d - 23, -d + 5*y + 6 - 30 = 0 for d.
1
Let k be (-3)/2*(-4)/3. Let a = -6 + 8. Suppose 4*o = a*m - 4, 0 = 4*m - 5*o - 12 + 1. Solve d - k*s - 4 = -s, d + m*s + 21 = 0 for d.
-1
Suppose 0 = 2*j + 2*j - 8. Solve -2*c + 10 = -4*g, 0 = j*g - 4*c + 8 + 6 for g.
-1
Suppose 2*t = -4*j - 34, -3*j + 7 = -5*t - 0*t. Let s(b) = -b**2 - 8*b. Let g be s(j). Solve -y + 2*o = -o + 9, -y = -4*o + g for y.
0
Let f = 39 + -63. Let i = f + 24. Let c be -4*(3/(-4) + 0). Solve i*w = -3*w + 15, -2*w = c*b - 16 for b.
2
Suppose 0*j = 5*j + 15, -3*o = j + 21. Let g be (-63)/o*(-12)/(-7). Solve n = -i + 7, 4*n - 4*i = -3*i + g for n.
5
Let k = 73 - 68. Solve x - 3*m + 4 = 0, -3 = 3*x + 5*m - k for x.
-1
Let s = -9 - -19. Suppose 5*a = -3*t + s, 4*a = -t + 6*t + 8. Solve 3*n + 6 = 3*z - a*z, 5*z = -3*n + 12 for z.
3
Let c = -19 + 22. Solve -3*v = c*a - 12, 2*v - 5 = a - 0*a for a.
1
Let k be (0/((-9)/(-3)))/(-2). Suppose 0 = 5*z - 25, -y - 4*z + 26 = -k*y. Suppose 0 = -4*j + 6*j - y. Solve 0 = 4*h - u + 4*u + 27, 2*u = j*h - 1 for h.
-3
Suppose z = -z + 8. Suppose z*x - 13 = 7. Solve 0*u = -u + 3*t - 20, 0 = -x*u - t - 20 for u.
-5
Suppose -2*a + 4 + 2 = 0. Suppose -2*j + 11 = a. Solve -j*q + 12 = 0, -5*l - 3*q = q - 37 for l.
5
Let k be 2 - (-2)/4*-2. Let x(v) be the third derivative of v**6/40 - v**2. Let f be x(k). Solve 0 = 5*q - 20, -12 = f*z - 7*z + 2*q for z.
5
Let a = 42 + -35. Solve z - 2*w = -a, 2*z + 3*w - 19 = 2 for z.
3
Suppose -n = 3*n + h - 117, 2*n = -2*h + 54. Solve -t - 4*t - n = -2*z, 16 = -4*t for z.
5
Suppose -5*h + 10*h = 25. Suppose 3*j - d + h = 0, 4*j - d + 5 = -0. Let i(f) = f + 3. Let o be i(-3). Solve 3*x + 15 = j, o = -v + 2*x - 4*x - 7 for v.
3
Let b = -5 + 8. Suppose -3*t - x + 4 = 0, 4*t - b*x - 17 + 3 = 0. Suppose -t*c + 27 + 11 = 0. Solve -3*o - c = -2*n, 2*o + 14 = 4 for n.
2
Let y(o) = o**3 - o**2 - 21. Let h be y(0). Let m = 24 + h. Solve 0 = -g + 6*s - 2*s + 12, 0 = 5*g - s - m for g.
0
Suppose 5*y + i = 12, -2*i - 30 = -5*y + 3*i. Solve g + 2*l - y = 3*l, 5*l = -g - 27 for g.
-2
Let y = -4 + 4. Suppose -3*w - 2*w - 2*v + 8 = y, 0 = 4*v - 16. Suppose -2*z - 4 + 12 = w. Solve 0 = -2*u - z*f + 6, -f + 3 = u + 2*f for u.
3
Let n be -1 - -3*1/1. Solve -n*v - 3 = -2*d - 7, 0 = v - 2*d for v.
4
Let n(q) = -19*q**3 - 2*q**2 - 2*q - 1. Let y be n(-1). Suppose -y = -4*r + 2. Solve -5*j = 5*g + r, 0 = -0*g - 2*g + 6 for j.
-4
Let s be (-2 - -1)/(3/12). Let l = s + 5. Let c be 1 - (3 + (-1 - l)). Solve c = -a + 2*f - 4, 2*a - f = 2*f - 7 for a.
-2
Let u be -2*(-1 - 0 - 1). Suppose t = 13 - u. Solve 4*w = -5*b + t, -3*w - 6*b + 2*b = -7 for w.
1
Let k(y) = -y**3 - 8*y**2 - 10*y - 10. Let g be k(-7). Let o = g + -6. Solve 2*c - v = v, o*c + 12 = v for c.
-3
Let w be 2/(30/(-5)) + 1/3. Solve w = 2*i, a - 4*a + 3*i - 6 = 0 for a.
-2
Suppose 4*r = 16, -3*r + 39 = 3*o - 2*o. Solve 