= -2*b - 2, 8 = -y*l + 5*b for l.
-2
Let h be (2/21)/((-8)/(-168)). Solve c - 2*m + 1 = 0, -h*c + 0*c = -m + 8 for c.
-5
Let p(l) = -l**2 + 4*l + 2. Suppose u = 7 - 2. Let m be p(u). Let t be 5/10 - m/2. Solve t*d + 2*d = 2*c - 10, -d = c + 7 for c.
-3
Let i(p) = 3*p**3 + 3*p**2 + 5*p. Let l be i(-2). Let c = l + 27. Solve 0 = 2*n + 3*q - 19, -n = 3*n - 5*q - c for n.
5
Let h(m) be the second derivative of m**4/4 + m**3/6 - 7*m**2/2 - 4*m. Let w be h(-5). Suppose 6 - w = -3*f. Solve 5*r - 15 = 0, 0 = -0*g - 4*g + r - f for g.
-4
Let y(r) = 28*r - 612. Let u be y(22). Solve 0 = u*s - 4*o + 32 - 8, 0 = -2*s - 4*o + 12 for s.
-2
Let k be (60/(-4) - 1)/((-6)/3). Solve -5*j - 3 - 11 = -3*r, 4*j - k = -4*r for j.
-1
Let u(j) = -4*j**3 - 2*j**2 - 2*j - 1. Let d be u(-1). Solve w - 5*w = 0, 5*g = -d*w - 25 for g.
-5
Let q be (0/(12/(-4)))/((-24)/(-12)). Solve 6 = -2*d, 0 = -3*s - q*d + 4*d + 27 for s.
5
Let x(k) be the first derivative of -2*k**3/3 - 7*k**2 - 10*k + 10. Let d be x(-6). Solve -d*p = t + 13, t - 3*p - 9 = -t for t.
-3
Suppose 2 = 4*y - 3*y, -5*h - 4*y - 7 = 0. Let k be 8 + (-9)/3 + h. Solve -k*o = -2*x - 10, 0*o - 3 = -o for x.
-2
Let q be 19/(-4) - 15/(-20). Let y = 9 + q. Solve 3*c + y = -4*j, 0*j = -3*j - 2*c - 5 for j.
-5
Let l(x) be the second derivative of -x**5/20 - x**4 - 11*x**3/6 - 11*x. Let a be l(-11). Solve a*s = -2*s - 3*k + 17, k = -2*s + 11 for s.
4
Suppose -v - 85 = -96. Solve 0 = 3*k - 4*f + 2 + v, -3*k + 5*f - 17 = 0 for k.
1
Suppose 38 + 18 = 14*v. Solve 3*h - 20 = -6*r + r, -r = -v for h.
0
Suppose -2*w - 14 = -4*l, l = 5*w - 0*w - 10. Let j(x) = x + 5. Let c be j(-3). Suppose l*z - c*z - 12 = 0. Solve 3*i - 8 = 5*i, 26 = 2*p - z*i for p.
5
Let y(s) = 2*s - 5. Let f = 43 + -38. Let t be y(f). Solve -5*c + t = 0, 5*c + 2 + 1 = -4*z for z.
-2
Let t be (-892)/(-52) + (-10)/65. Let p be (-40)/3*15/(-2). Suppose -2*f = 5*z - 194, 3*z - t = -f + p. Solve -5*m - 2*c - z = -7*c, -4*c = -5*m - 36 for m.
-4
Let w be ((-2)/(-3))/((-3)/162). Let k be (0 + -1)/(12/w). Solve 3*t = k*u + 2 + 4, u + 17 = 4*t for t.
5
Suppose -2*d = -5*c + 2, d = -4*c + 4*d - 4. Let s = 138 + -135. Suppose 0 = -c*o + s*o - 3. Solve 5*x - 3*x - 4*m = -14, -3*m = o*x - 6 for x.
-1
Suppose -5*q = -2*b + 23, 2*b - 34 = b - 5*q. Solve 5*g + 3*c - 16 = 0, 0 = 2*g - 0*c - 3*c - b for g.
5
Let z be 20/(-6)*((-406)/(-70) - 7). Solve z*x = t + 9, 0*x = -2*t - 5*x + 21 for t.
3
Let a = 12890 + -12886. Suppose j = 4 - 0. Solve 0 = 2*r - 0*r + 4*f, 12 = j*r - a*f for r.
2
Let y(d) = -9*d**2 - d + 2. Let b(t) = -5*t**2 - t + 1. Let w(o) = 11*b(o) - 6*y(o). Let h be w(-4). Solve -5*g + 2*j + 25 = -3*j, -h*j = 4*g - 13 for g.
4
Suppose 16*r - 7*r = 36. Solve 1 = -4*t - 4*g + 9, -3*g - 1 = -r*t for t.
1
Suppose -5*k - 5*n = -25, 0 = 3*k - 2*n - 0 + 5. Solve -4*r + b + 21 = 0, 8*b - k = -4*r + 5*b for r.
4
Let i(y) = 2 - 9*y + 2 + 6*y. Let u be i(-6). Let o be (u/3)/((-4)/(-6)). Solve 5*v - 2*s + o = 0, -2*s + 8 = v + 3 for v.
-1
Suppose 2*j - 15 + 1 = -4*g, -3*g + 3 = 0. Suppose -t + j = -0*t - 3*l, -t = 4*l + 2. Solve 4*o = 5*w + 22, -4*o + t*w + 15 = -1 for o.
3
Suppose -9 = 16*g - 19*g. Suppose d - 4*p = -g*p + 8, 4*d + 4*p - 32 = 0. Solve d*i = 3*n + 3*i + 28, -3*i = 2*n - 13 for n.
-1
Let g = -78 - -86. Suppose 2*v + 14 = 3*r, 2*r - 3*r + 4*v + g = 0. Solve -r*y - 19 = 3*j, -4*y - 2*j - 14 = -y for y.
-4
Let n = 188 + -180. Solve 4*z + k = 24, 0 = 4*z + 2*k + n - 36 for z.
5
Suppose 0*l = -9*l + 45. Solve l*j - m + 25 = 0, 4*m - 35 + 10 = 5*j for j.
-5
Suppose -7 = -5*x - c, -4*x - 2*c + 4*c = -14. Solve x*i = -4*w - 2*i, 0 = -w + 4*i - 10 for w.
-2
Let y = 157 - 152. Solve -5*t = -k + 4*k, 4*t + y*k + 13 = 0 for t.
3
Let g(m) = -3*m**2 - 46*m - 51. Let f be g(-14). Solve r + 0 - 8 = f*n, 5*n = 3*r - 14 for n.
-1
Let c = -287 - -290. Solve -3*k - 2*h = -3, -3*k + c = h - 0*h for k.
1
Suppose 11*x - 96 = -13*x. Solve 0*u = -4*i + u + 11, 0 = -x*i + 4*u + 8 for i.
3
Let z(w) be the third derivative of -w**5/60 + w**3/6 - 15*w**2. Let h = -3 - -4. Let u be z(h). Solve -2*t - 3*n = -u*t - 14, -6 = -t - n for t.
4
Let j be 16/9 - 48/(-216). Suppose 6*i - 7*i + 2*t = 0, -j*t = -2. Solve -2 = -a + f - i*f, -2*a + f = 11 for a.
-3
Let r(k) = -k**3 + 6*k**2 - 7*k. Let u be r(4). Suppose 0 = u*o - 12 - 4. Solve q + 4*m = 8, 2*q - o*q + 12 = 4*m for q.
4
Suppose -b = -0*b. Suppose 3*t - 10 + 1 = b. Suppose 2*j - 4 = 0, -3*j + 16 = 2*f + j. Solve 3*v = -f*g - 12, v - 4*g - 12 = -t*v for v.
0
Let c(d) = d**2 - 4*d + 5. Let b be c(4). Suppose b*s - 20 - 15 = -3*r, 4*r = 4*s + 4. Solve -4*a + 4 = 3*x + 7, s*x + 4 = a for x.
-1
Let x(s) = 7*s**2 + 30*s + 38. Let n be x(-2). Solve -2*h + 3*b + 6 = 0, -n*h = -7*h + 5*b + 10 for h.
0
Let d(n) = n. Let x = 47 - 42. Let m be d(x). Solve 0 = p - 5*r + 20, -m*r = 2*p - 43 + 8 for p.
5
Let n(m) = -35*m**2 - 2*m + 2. Let j be n(1). Let w = j + 35. Solve -5*c + 3*i - 3 + 4 = 0, 3*c - 4*i - 5 = w for c.
-1
Suppose 0*t - 33 = -3*t. Let g = -9 + t. Let q = g + 0. Solve x = -q*x, -x = c + 4 for c.
-4
Let w = -198 + 200. Solve 0 = w*k - 0*v - v + 3, -4 = -4*v for k.
-1
Let p be ((-2)/3)/((-50)/375). Solve 3*n = -s + 2*n - 3, -5*s - 15 = -p*n for s.
-3
Let t be (-2)/(-4)*0 + 1. Suppose -5 = -0*u - 5*u. Let f = t + u. Solve 3*x + 15 = 0, 0 = -3*l - f*x + 2 for l.
4
Let n(p) = p**3 - 3*p**2 - 3*p - 3. Let y be n(4). Let c be (9 - 3) + (0 - 4). Let s be y + c - (1 + -1). Solve 7 = m + 4*z, s*m + 3*z = z + 11 for m.
3
Suppose -6*m = -4*m - 5*m. Suppose 5*o - 105 = -v, -2*v = 4*o - m*o - 78. Solve -i + 3*w - 8*w - o = 0, w - 2 = 3*i for i.
-2
Let a(b) = -2*b**2 + b + 1. Let u be a(-1). Let n be u/(-1)*(-6)/4. Let z be (6 - 2) + n/(-3). Solve 0 = z*r + 5*p - 25, -4*p = r - 1 - 4 for r.
5
Let n be -14*(6/(-4) + 1). Let o = n + -3. Suppose -f - 3 + 6 = -2*a, -3*f - 3*a + 9 = 0. Solve -f*r = j - 9, 2*r = r - o*j + 14 for r.
2
Let b be 0/(-4)*(-4)/(-12). Let i(t) = -t**3 + 3*t**2 - t - 1. Let k be i(2). Let j be 2 + (k - 1) + 2. Solve -d + 11 = j*p - b*d, -p = 2*d - 1 for p.
3
Let n = -36 - -11. Let k = n - -25. Let c(b) = b**2 - 7*b - 13. Let v be c(9). Solve -w = w + g + 7, -v*w - g - 13 = k for w.
-2
Let z be (-40)/(-6)*(-84)/(-35). Solve -3*b + b - z = -3*t, -t = 2*b + 8 for b.
-5
Suppose 2*p - 5 - 7 = 0. Let a(t) = t**3 - 7*t**2 + 8*t - 1. Let j be a(p). Suppose 5*v = -1 + j. Solve 3*k + 0*k - 16 = -i, 3*k - v*i = 4 for k.
4
Suppose 2*s - 30 = -3*h, 3*h - 7*s - 30 = -4*s. Solve -14 - h = -m - 5*q, 0 = 4*m + q - 1 for m.
-1
Let m(v) = -v**2 - 19*v + 37. Let b be m(-20). Solve -4*s - 4*o + 9*o = -35, s - b = 4*o for s.
5
Let a(g) = 2*g**3 - 2*g**2 - g + 1. Suppose -2*h = -4*h + 4. Let k be a(h). Solve -3*w = -3*v + 21, k*v = 2*v + 3*w + 29 for v.
4
Let a be (-4)/18 + 266/63. Solve 4*x + 20 = y, 2*x - 1 = a*y - 11 for x.
-5
Let u be (3/9)/(3/(-9)). Let t = u + 4. Suppose -3*g + 15 - 3 = 0. Solve -p - g*p = 4*d - 36, -d + t*p = 8 for d.
4
Let r(v) = -49*v - 32. Let y be r(-1). Solve 2*m = -2*b + b + 3, y = 3*b - 2*m for b.
5
Let c = -5 - -8. Suppose 10 = c*z + 1. Solve 0 = z*d, v + 2*d = d - 1 for v.
-1
Suppose -2 = -m - 0. Let u = 66 + -63. Suppose -31*p + 32*p - u = 0. Solve 5*c - p*x + x - 5 = 0, -m*c - x = -11 for c.
3
Suppose 4*p - 22 + 6 = 0. Solve 4*o + s = 9 + 10, 24 = 3*o + p*s for o.
4
Suppose 5*o - 12 = 2*f, -5*o + 3*o = 2*f - 16. Suppose 0 = 4*r - 220 - 40. Suppose r = k + o*k. Solve -k = 4*b - 4*j + j, 4*b = 4*j - 16 for b.
-1
Let x(r) = r**2 + 2*r - 70. Let h be x(8). Solve 2*d + 4*b = -0*d + h, b = 3 for d.
-1
Let m be 1 + (1/4)/(9/36). Suppose 0*r - 21 = i - 5*r, 4*i + 3*r = 31. Solve m*b = 2*k - 4*k + 8, -i*b = 5*k - 18 for k.
2
Let h(c) = 4*c + 15. Let x be h(-3). Solve 6*r - 2*r - 5*q - 31 = 0, x*q = 2*r - 17 for r.
4
Let z(o) = -o**3 + 7*o**2 - 6*o + 2. Let q be z(6). Let j = 73 + -68. Let r be (j/(-15) - -1) + (-44)/(-6). Solve 2*v - 2*a + r = 0, -q*a - 2 = 2*v + 6 for v.
-4
Let t = 195 - 193. Solve 2*a - 5*p + 7 = 4*a, 5*a + 26 = t*p for a.
-4
Suppose -3*m - 3*x = -4*x - 190, 0 = -m + x + 62. Suppose 3*s + s - m = 0. Suppose -t = 3*t - s. Solve 2*i + 0*i - 8 = -2*l, -l + t = -5*i for l.
4
Let l(a) = a**3 + 16*a**2 + 15*a + 5. Let x be l(-15). Solve -3*v - 3*p = -12, -2*v = -3*p - x - 8 for v.
5
Let l(w) = w. Let j be l(-4). 