). Solve b*l - 5*l - 8 = n for l.
-4
Let y = 5 - 3. Let x = 4 - y. Let w = 11 - 9. Solve 0*s + x = -w*s for s.
-1
Let c(o) = -o. Suppose -2*g - 8 = -4. Let k be c(g). Solve -k = -r - 4 for r.
-2
Suppose -8*y + 3*y = 0. Suppose 0 = -y*g - g. Let z be (-1)/(-3)*g + 0. Solve z*f - 5 = -f for f.
5
Let j = 1 + 2. Let x be (j - 0) + 8 + -6. Solve -4 + 29 = -x*n for n.
-5
Let f(y) = y**2 - 3*y - 2. Let d be f(4). Suppose -54 + 51 = -c. Solve -d*h - c*h - 10 = 0 for h.
-2
Suppose 3*b = 2*b. Suppose 4*u - 20 = 16. Suppose -n + 19 = 5*i, -11 = -2*n - 4*i + u. Solve b = -o + n for o.
4
Let w = 8 + 1. Solve 0*z + w = 3*z for z.
3
Let w be (6 - (-324)/(-42))/(2/(-7)). Suppose -3*m - q + 0*q = -30, 0 = -m + 5*q + 10. Let l = m - w. Solve l = -2*b - 2 for b.
-3
Let m(d) = d**3 + 3*d**2 - 2*d - 2. Let f be m(-2). Suppose -3*p + f = -p. Solve 8*t + 20 = p*t for t.
-4
Suppose -5*u = 4*l - 61, -4*u - 11 = -3*l + 27. Solve -5*g + l = -11 for g.
5
Let t(k) be the second derivative of -k**5/20 - 2*k**4/3 + 4*k**3/3 - 7*k**2/2 - 3*k. Let w be t(-9). Solve -5 = -w*b + 1 for b.
3
Let m be ((-26)/22 - -1) + (-501)/(-33). Solve -b - m = 2*b for b.
-5
Let s = 0 + 3. Solve 0 = -s*j - j - 4 for j.
-1
Let j be 1*2*(-4)/(-8). Suppose -j - 4 = -v. Solve 0 = v*z + 11 - 1 for z.
-2
Suppose 4*i = -3*s - 2*s + 14, s + i - 3 = 0. Solve -s*z - z = 12 for z.
-4
Suppose 0*h - 30 = -3*h + 4*v, 3 = -2*h - 5*v. Let k be (-4)/h*9/(-6). Solve -k = -g - 6 for g.
-5
Suppose -22*d = -18*d - 72. Suppose 4*s + v - 31 = 4*v, 2*v + d = 2*s. Solve s + 0 = -f for f.
-4
Let a = -20 + 22. Solve a*y - 3 = -7 for y.
-2
Let d be (-4 - -4)/(-1 + 0). Solve -r - 1 = -d*r for r.
-1
Let q(f) = f**2 - 5*f + 3*f + 9*f + 8. Let r be q(-6). Solve -r = -3*o - 5 for o.
-1
Let w = 9 - 6. Suppose 0 = w*m - 0*m. Solve -4*a + 8 = -m*a for a.
2
Suppose 4*g + 0*g = 0. Suppose h + 3*h + 3*n - 38 = g, 3*n = 6. Suppose -4*w = -4*b + 7 + 1, 0 = 4*w. Solve -b*v = 2*v - h for v.
2
Let b = -18 - -20. Solve b*i + 5 = 1 for i.
-2
Let a be (-32)/(-14) - (-18)/(-63). Solve 0*x = -a*x for x.
0
Suppose 2*z + 14 = 34. Let l = z - 6. Suppose 3*w - 3*n = -l*n + 40, -8 = -2*w + 4*n. Solve 6*g = 2*g - w for g.
-3
Suppose 0 = 4*j - j. Suppose -z + 44 = 5*m + 3*z, j = 5*m - 4*z - 36. Solve -2*v = -0*v - m for v.
4
Suppose 0 = 3*t + 4*m - 31, 2*t + m - 14 = -0. Suppose 4*k = 5*i - 5 - 4, -3*i = 4*k + 1. Let u be t/2 + k/(-2). Solve -4*h = -3*h + u for h.
-3
Let s = -5 + 9. Solve -j - s*j = 0 for j.
0
Let p(a) = -a**3 + a + 1. Let v be p(-2). Let n(r) = r - 10. Let j be n(v). Let c be j/3 - (-2 + -3). Solve 0*x + c = -x for x.
-4
Let h = -6 - -9. Suppose 5*v = w + 3 + 21, h*v - 19 = -4*w. Suppose -4*f + 9 = w. Solve 6 = -f*k - k for k.
-2
Let r be 3*4/3 - (-13)/(-13). Solve -h = -r*h - 4 for h.
-2
Let d(a) = -a + 3. Let x be d(-7). Let u be ((-2)/(-2))/(5/x). Solve -u*h = -6*h for h.
0
Let f = -1 - 0. Let l be (-3)/f - (-1 + -16). Let h = 6 + 1. Solve h*i = 2*i + l for i.
4
Let q be (-1)/(-2) - (-27)/18. Solve 0 = -q*p + 1 + 9 for p.
5
Let a be 1/2 - (-120)/16. Suppose z + 3*v = -2, -4*z - 2*v = -6*v + a. Let d = 0 - z. Solve 0 = -3*n - 4 - d for n.
-2
Let r = -7 + 5. Let t = r + 4. Solve -f + 3 = -t*f for f.
-3
Let i(z) be the first derivative of z**4/4 - 5*z**3/3 - 7*z**2/2 + z + 3. Let f be i(6). Let x = f - -17. Solve 3*y + 0*y = x for y.
4
Suppose -a = 2*q - 7 - 10, 26 = 2*a + 2*q. Let s = -7 + a. Solve -1 = 3*w + s for w.
-1
Let o(m) = m**3 + m**2 - 2*m + 1. Let v be o(1). Let q be 6/(-2) - (-3 + v). Let j be q/2 - 33/(-6). Solve j*w - w = 16 for w.
4
Let i = -87 - -91. Solve n - 15 = i*n for n.
-5
Let k = 4 + -3. Let g be 0 + 1 + 3 + k. Suppose -4*w + 10*l - g = 5*l, 0 = -5*w + 2*l - 2. Solve 2*a = -w*a + 8 for a.
4
Suppose 3*n - 6 = 9. Let i(v) = v + v - 5 + v. Let j be i(6). Solve n*w + j = 38 for w.
5
Let i(b) = b**2 + 4*b - 1. Let m be i(3). Suppose 6*z = 2*z + m. Let p = 4 + 8. Solve p = -z*t + t for t.
-3
Let a(d) = -2*d**2 + 2*d - 3. Let o be a(2). Let r be (-166)/(-18) - (-2)/(-9). Let p = r + o. Solve p*g = -2 + 12 for g.
5
Let k = -42 - -44. Solve -k = -2*i + 4 for i.
3
Let k be ((-105)/25 - -3)*40/(-6). Solve -k*v = -6*v + 4 for v.
-2
Let u(x) be the third derivative of -x**7/5040 + x**6/72 + x**5/30 - x**2. Let s(j) be the third derivative of u(j). Let o be s(9). Solve -3 - o = 4*b for b.
-1
Let t be (-15)/(-3) + (0 - 0). Suppose 4 = m + m. Suppose 6*o - o - 25 = 0, -t*o = m*p - 25. Solve p = 2*w - 5 - 1 for w.
3
Let j(k) = -k + 10. Let b be j(6). Solve -b = -0*y - y for y.
4
Suppose -4*o + 6*o - 4 = 0. Suppose 0 = 2*s - s - o. Solve 4*y = -s + 10 for y.
2
Suppose 5*o - 4*q - 25 = -0*q, 2*o + 5*q + 23 = 0. Let z = 6 - 4. Let d = z - o. Solve -3*i - d = -2*i for i.
-1
Let q(l) = l**2 - 2*l + 1. Let k be q(-3). Suppose k = 3*x - 5. Solve 0 = 4*i + 3 - x for i.
1
Let u(o) = -o**2 + o + 1. Let j be (-1 - (-5 - 2)) + -2. Let b(g) = g**3 + 4*g**2 - 3*g + 6. Let r(x) = j*u(x) + b(x). Let f be r(0). Solve 3*v = v - f for v.
-5
Let o be (-4 - (2 + -4))/(4/(-12)). Solve 2*n - o*n = 4 for n.
-1
Let z be ((-2)/(-4))/((-3)/(-192)). Solve -5*w = z - 7 for w.
-5
Let c(w) = 4*w**3 + 4*w**2 + 11*w + 2. Let r(t) = 5*t**3 + 4*t**2 + 11*t + 2. Let g(v) = -6*c(v) + 5*r(v). Let p be g(6). Solve -p*o = 4 - 8 for o.
1
Suppose -2 = 4*a + 6. Let u be 14 + 1 + a + 2. Suppose 3*d + 1 = -x + 10, -u = -5*d + 2*x. Solve -2*j - d = -3*j for j.
3
Let j be (-1)/((-2 - -1)*1). Suppose 3*t + 4*i - 7 = 0, 0 = 2*t + i - 10 + 2. Solve 0 = -u + j - t for u.
-4
Suppose 16 = -0*h + 4*h. Suppose h*z + z - 15 = 0. Solve -o + 4 = z for o.
1
Let t(u) = u**2 - 7*u + 8. Let k be 3 - (3 - 4 - 2). Let c be t(k). Let n = 4 - 1. Solve c*y = y + n for y.
3
Suppose 5*u = 2*q + 4*u - 5, 5*u + 5 = 0. Suppose 0 = -3*c - c + 8. Suppose 0 = v + 3, -3*z + 12 + 9 = c*v. Solve z = -q*w - w for w.
-3
Let y = 0 + -2. Let h be 7 + (0 + 2)/y. Suppose 2*z - h = 2. Solve -11 = z*j - 3 for j.
-2
Suppose 0 = 4*t - 2*t - 2*d + 8, 4*t + 5*d = 29. Let v = t - -2. Solve 0 = -v*n + 4 + 2 for n.
2
Suppose 5*a - s = -3*s + 12, 4*s = a - 20. Solve h = -a*h + 10 for h.
2
Let v = 104 + -100. Solve v*c - 5 = 7 for c.
3
Suppose 0 = w + 3*l + 2*l + 18, -2*w + 3*l - 10 = 0. Let f be (-2)/w - (-141)/12. Solve -3*v + 0*v = -f for v.
4
Let o be (2/5)/(7/35). Let m(j) = j**2 - 8*j + 4. Let z be m(8). Suppose -5*h - o*x = 3*x - 30, 0 = -h - z*x + 15. Solve -3 = -h*d - 12 for d.
-3
Suppose 4*j = 4*w - w - 44, -2*w + 20 = 2*j. Let h be ((-10)/(-6))/(4/w). Solve -2 = h*r + 8 for r.
-2
Let m = 13 - 7. Suppose -m = -u - 1. Solve u*t + 6 = 1 for t.
-1
Suppose -12 - 4 = -4*o. Let y be 4/14 + 10/14. Suppose -5*p = i + 22, 3*p + 2 = -4*i - y. Solve i*n + o = 1 for n.
-1
Let o = 38 + -38. Solve o = y + 2*y for y.
0
Suppose 11 = k + 1. Solve 3*j + 2*j = k for j.
2
Suppose -4*l = -0*l - 220. Let a = l + -33. Let r = a - 5. Solve 4*p - r = -1 for p.
4
Let j = -4 - -6. Solve -2*m + 12 - j = 0 for m.
5
Let y(x) = -3*x**3 + x**2 - x - 1. Suppose g = 4*o - 7*o - 10, -3*g + 9 = -4*o. Let h be y(g). Solve -h*q + 5 = q for q.
1
Let y(k) = k - 8. Suppose 0 = q - j + 6, 5*q + 40 + 8 = -4*j. Let c be (q/(-10))/((-3)/(-30)). Let u be y(c). Solve -r - r = u for r.
0
Let w(z) = z**2 + 3. Let c be w(2). Solve 4*m - 23 + c = 0 for m.
4
Let h be (-1)/2 - (-15)/6. Suppose h*l = l. Let y be (3 - 1) + 2 + l. Solve -y*v - 16 = -0*v for v.
-4
Let g be 1*(-4)/8*-26. Let j = g - 13. Solve -2*q = -j*q - 2 for q.
1
Let o be ((-1)/3)/((-10)/270). Solve 0 = 2*k + 1 + o for k.
-5
Let a(c) = c**2 - 2*c - 1. Let w(m) = m**2 + 11*m + 5. Let s be w(-11). Suppose p = 2*k, 2*k - s*p = 5 + 3. Let z be a(k). Solve 2*i - z = -0*i for i.
1
Let f(x) = -x + 1. Let n be f(1). Suppose -5*l = q - 3*q + 5, n = -q - 2*l + 7. Suppose 0 = q*h + 3*k - 63, -h = -4*k + k - 9. Solve -3*b + h = b for b.
3
Let g(w) = -w**3 + 5*w**2 - 2*w - 2. Let c be g(3). Suppose 29 = 5*d + 3*u, -5*u = -4*u - 3. Let s be (6/5)/(d/10). Solve 2*f = -s*f - c for f.
-2
Let r be 40/(-70)*7/(-2). Solve h - 3 = -r for h.
1
Let s(n) = -n**2 + 9. Suppose 0 = -11*d + 6*d. Let f be s(d). Solve -5*z - 24 = -f for z.
-3
Let x(k) = 3*k - 3. Let b be x(2). Solve -5 = 4*i + b for i.
-2
Let m be (-6 + 5)/(2/(-6)). Suppose m*k = -4*g + 10, 0 = 2*k + g + 3*g - 12. Let d be (-1)/k*0/(-2). Solve 0*h - h 