2. Let m be s(8). Let j = o - m. Solve j*v + 8 = -2*v for v.
-2
Suppose 0 = -2*b + 3*u + 12, 0 = 5*b - 6*u + 11*u - 5. Solve -1 = b*c + 11 for c.
-4
Let b be 4/20 - (-42)/15. Solve -c - b*c = -16 for c.
4
Let k = 4 + -3. Let j = 5 - k. Solve t = -0*t + j for t.
4
Suppose 3*u + 3*n = 21, -n = -5*u - 4*n + 31. Let h(x) = -2*x**3 + 0*x**3 + 7 + x**3 - x + u*x**2. Let r be h(5). Solve 0 = -r*y - 3*y + 20 for y.
4
Let o = 2 - 0. Suppose -26 = -4*l - 3*c, 3*l - 9 - 2 = o*c. Solve l*x - 2*x = 0 for x.
0
Suppose -3*h + 2*h + 15 = 4*a, -2*a + 35 = -5*h. Let r = h - -6. Let f = r - -1. Solve 3*d + 2 = f*d for d.
-2
Let r be 2/(-8) + (-33)/12. Let o = 0 - r. Solve -2 = o*l + 7 for l.
-3
Let q(l) = 2*l**3 + l. Let z be q(-1). Let n be 6 + (z - 0)/(-3). Solve -w - 2 = -n for w.
5
Let k = 15 + 0. Suppose 5*s = -u - 23 - 2, -s = -4*u + 5. Let f be (1 - u) + 2/2. Solve -b - f*b = k for b.
-5
Let l be 10 + 0 + 2/1. Let h = l - 10. Solve h*d = 3*d + 5 for d.
-5
Let z = 7 + -3. Suppose -5*q = -z*q + 12. Let v be 10/4 - (-6)/q. Solve v = -3*d + 5 for d.
1
Suppose -3*l = -2*k - 7, -4*l + 4 + 4 = -3*k. Suppose p - 22 = z - 4*p, -3*p = -k*z - 3. Solve 0 = 3*y + z + 6 for y.
-3
Let x = -2 - -3. Let k be -15*(x/3)/(-1). Solve 0 = -3*z - k + 17 for z.
4
Let x(f) be the third derivative of f**5/60 - f**4/3 + f**3/6 - 4*f**2. Let l be x(8). Solve -s + l - 5 = 0 for s.
-4
Let j(o) = 5*o + 5. Let t be j(7). Suppose 0 = -0*l + 2*l - t. Suppose -5*v = 23 + 2, -s + 4*v + l = 0. Solve s - 5 = -5*f for f.
1
Let z(p) = -6*p**3 - 2*p**2 + 1. Let x be 1/4 - 10/8. Let y be z(x). Solve 0*a = y*a - 5 for a.
1
Let i(z) = -z**3 + 5*z**2 - 4*z + 1. Let c be i(3). Let a(x) = -2*x + 16. Let h be a(c). Solve -h*y - y = 0 for y.
0
Let x = -16 - -22. Solve -3*w = -0 - x for w.
2
Let h(j) = j**2 + 2*j - 8. Let o be h(-4). Solve o*a = 5*a for a.
0
Let x(g) = -g**2 + 3*g + 6. Let v be x(0). Solve 0 = p - v*p + 25 for p.
5
Suppose -3*n + 3 = -3. Let m = -4 - -7. Let s be -2 + 0 + m + 3. Solve n*y = s*y + 6 for y.
-3
Suppose 6 = -8*f + 9*f. Let g be (4 + -3)/((-2)/(-10)). Solve f*d + g = d for d.
-1
Let x = -8 + 10. Suppose -x = -t + 3. Solve -t*a - 6 = -1 for a.
-1
Let p(b) = -7*b - 17. Let m(u) = 11*u + 25. Let r(c) = -5*m(c) - 8*p(c). Let d be r(-6). Let l = d - 5. Solve l = -3*j + 5*j for j.
0
Suppose -8*h + 20 = -4. Let w be ((1 - 0)*0)/2. Suppose 3*j - 6 = -w*j. Solve -j*o = h*o - 5 for o.
1
Let r(s) = s**2 + 18*s + 34. Let m be r(-16). Suppose -y = -2*y - 3*i - 3, -4*y + i = -14. Solve m*l + y = l for l.
-3
Suppose -3*c + 36 = 4*p - 2*c, 0 = 5*p - 2*c - 58. Suppose 2*b + 2*b - 4*m = -4, -p = -5*b + 2*m. Solve 5 = o + b*o for o.
1
Let o be (-2)/3*((-45)/(-2))/(-5). Solve o*w - 3 = 3 for w.
2
Let h be (-1 - -2)*(10 - 11). Let m(g) = -g**3 - 3*g**2 + 1. Let y be m(-3). Let x be y/h - (3 + -6). Solve 11 - 1 = x*s for s.
5
Suppose 0 = 4*x - 12, -3*u - 3*x = -2*x - 18. Let m be (-14)/49 - (-58)/7. Solve s - u*s - m = 0 for s.
-2
Let v = 54 - 34. Solve -x + v = -6*x for x.
-4
Let c(a) = -a**2 - 4*a - 3. Let b be c(-3). Suppose b = -3*k + 2*k + 5. Solve 0*n = n + k for n.
-5
Let r = 2 - 0. Let n(c) = c**3 - 3*c + 1. Let l be n(r). Solve l*i = -0*i - 6 for i.
-2
Let c be (-7)/((-21)/12) + 0. Suppose 0*v - c*v + 16 = 0. Let l be 2 - -3*4/(-6). Solve -2*y - 2 - v = l for y.
-3
Let m be (((-70)/3)/7)/((-2)/3). Solve -m*a + 20 = -0*a for a.
4
Suppose -2*z - 8 = z + 4*c, -4*c = 8. Suppose s = -b - z*b + 11, 22 = 2*b + 5*s. Suppose 4*u + b = -5*g, -5*g - 4*u - u - 15 = 0. Solve -3*l - g + 7 = 0 for l.
2
Suppose -18*p + 2 = -17*p. Solve -p*h + 0 = 8 for h.
-4
Suppose 11*f = 3*f + 24. Solve r + f = 6 for r.
3
Suppose -36 = -6*w - 0. Solve 4*j + w = 2 for j.
-1
Suppose 0*y = 2*y - 12. Let u(p) = -p + 8. Let c be u(y). Suppose 8 + 0 = 2*q. Solve -q = -c*s + 2 for s.
3
Let u(v) = v**2 - v - 2. Let l be u(3). Let h(n) = 2*n + n**2 + n - 4 + 2*n. Let c be h(-6). Solve 0 + l = -c*d for d.
-2
Let k(o) = 5*o**2 - 5*o. Let w(d) = 4*d**2 - 5*d + 1. Let z(m) = 5*k(m) - 6*w(m). Let t be z(-7). Solve t = g - 3*g for g.
-4
Suppose -15 = 3*x - 24. Solve 0*i - 3*i = -x for i.
1
Let r(n) = n + 10. Suppose -8*f = -5*f + 30. Let i be r(f). Solve i = -z - 0*z + 5 for z.
5
Let c = 18 + -16. Solve -c*q = 3*q - 10 for q.
2
Suppose 0 = 2*n + 2*n - 4. Solve x - 3 = -n for x.
2
Suppose 20 = 4*k + k. Let l be (-2)/(-5)*10/k. Solve -2*c + 5 = -l for c.
3
Let p = 9 - 7. Let c be 32/6 - 4/12. Suppose -29 = -5*i + 3*d, -p*i + 3*d + 22 = c. Solve 5*f - 1 = i for f.
1
Let t(b) = 7 + 2*b**2 - 4 + b - 5*b. Let z be t(2). Suppose -4*r - z = -15. Solve -8 = -k - r*k for k.
2
Let w(z) = 2*z + 8. Let p be w(-6). Let r be 56/10 + p/(-10). Suppose -5*g + 16 = r. Solve g*m + 3*m = -25 for m.
-5
Suppose 0 = 5*j - 11 + 1. Let x(g) = 2*g - 4. Suppose -2*m + c + 2 = 0, -7 = 3*m + 5*c - 36. Let p be x(m). Solve j*n = -6 - p for n.
-4
Let c be 10/(-4)*24/(-20). Suppose -2 + c = -f - 2*h, 4*f - 5*h = 48. Solve f - 1 = 2*v for v.
3
Suppose -a - 20 = -4*h, -5*h - a = 2*a - 42. Solve 0*f + 2*f = -h for f.
-3
Let k = 14 + -8. Let o(d) = -d**2 - 6*d + 2. Let z be o(-6). Solve k = -z*x - 4 for x.
-5
Let j(u) be the second derivative of u**4/12 - 10*u. Let z be j(-2). Solve 7*r = z*r + 15 for r.
5
Let g(b) = -b**3 + 2*b**2 + 4*b + 1. Let h be g(3). Solve 5*x = 3*x + h for x.
2
Let l be 2/8 - 33/(-12). Suppose 10 = 4*w + 2*u, -w = l*u - 0*u - 10. Solve 2*c = -1 - w for c.
-1
Let s = -63 + 83. Solve a = -3*a - s for a.
-5
Suppose 2*i - 4 = -0. Let q(z) = z**2 + 7*z + 9. Let x be q(-6). Solve 0 = -i*m - x - 3 for m.
-3
Suppose -3*o = -8*o + 10. Let x be 1/((-1)/o) - -17. Suppose 3*w + 0*w - x = 0. Solve w = -3*b - 4 for b.
-3
Suppose -3*x - 5*i = -x - 17, 0 = 4*i - 12. Let a(n) = -n + 1. Let q be a(x). Solve q = o - 2 for o.
2
Suppose 18 = 2*d + 4*d. Suppose -11*o = -d*o - 40. Solve -o = -i - 3 for i.
2
Let k(v) = -v + 2. Let g be k(0). Suppose 3*t - 7 = g*n, -5*n + 3*t + 1 = -n. Solve 1 = -r + n for r.
3
Suppose -4*g + 10 = -2*g. Suppose -3*m = -3*q + 24, -6*m - 37 = -g*q - 2*m. Solve q*x = 6 + 14 for x.
4
Suppose -3*u = -10 + 4. Solve -6*i = -u*i - 12 for i.
3
Suppose -6*c + 16 = -2. Solve c*d + 2 = 4*d for d.
2
Let h = -40 + 22. Let y = h - -20. Solve y*g = -1 - 5 for g.
-3
Let i(y) = -y**2 + 7*y + 2. Let t be i(7). Solve -t*d = 3*d + 20 for d.
-4
Suppose -2*u + 3*g - 2 = -g, 0 = -3*g + 6. Solve 0 = u*a + 2 + 10 for a.
-4
Suppose 45 = 4*n + 17. Suppose 0 = -2*l + 4*b + 12, -5*b + b - 10 = -l. Solve l*y = n*y - 15 for y.
3
Let k = 7 + -12. Let p = -1 - k. Solve p*s = -0*s + 12 for s.
3
Suppose 5*j = -2*s - 10, -2*s + 7*s - 4*j = 41. Solve 0 = b - s*b for b.
0
Let k = 40 + -34. Solve -c + k = 2*c for c.
2
Let i = 0 + -1. Let m(j) = 3*j + 3. Let b(u) = -u - 1. Let x(v) = 5*b(v) + 2*m(v). Let s be x(i). Solve s = -4*c + 6 - 2 for c.
1
Let w = -91 + 101. Solve o - w = -o for o.
5
Let v be (-3 + 4)*-3 + 5. Let y = -3 - -7. Solve -2*m - v - y = 0 for m.
-3
Let t be ((-6)/(-1))/(7/(-7)). Let u be t/(1 + 0 - 3). Solve -o = -u*o for o.
0
Let v = 6 + -6. Let q be (v/(-2))/(1 + -3). Solve 0 = -q*r - 4*r + 12 for r.
3
Let j(u) = -u - 3. Let g be j(-6). Solve -8 = a - g*a for a.
4
Let r be (12/(-2))/(-1) - 0. Suppose -2*o = -r*o + 8. Suppose o*c - 7 = 2*d + d, 5*c + 4*d = 29. Solve c*i + 4 = -11 for i.
-3
Suppose -z + 7 = -0*z. Let b = z + -4. Suppose -4*j = -b*r + 1, -j - 4*j + r = -7. Solve j = 2*t - 0*t for t.
1
Suppose 21 - 93 = -4*l. Solve 0 = -5*h - l + 3 for h.
-3
Let n = -3 + 5. Let y(z) = z**2 + 23*z - 24. Let v be y(-24). Suppose v = -n*u - 1 + 9. Solve -s = -u*s + 3 for s.
1
Suppose -4*w = -63 + 3. Let f(l) = 2*l**3 - l**2 + 1. Let d be f(1). Let n(s) = 6*s**3 - 2*s**2. Let k be n(d). Solve 0 = -5*u - w + k for u.
5
Let g be 10/6 - (-14)/(-21). Let f be -10 + -2 + 0 + 0. Let q be g/(-4) + (-27)/f. Solve q*r - 9 = -1 for r.
4
Suppose 5*j + 21 = -2*i, 1 + 8 = -3*j. Let v = 1 - i. Solve n + 1 = v for n.
3
Let o(i) = i + 4. Let h be o(-5). Let n = h + 8. Solve -n*y = -3*y - 20 for y.
5
Suppose 2*y - 1 = 9, 4*u - 65 = -5*y. Suppose u*l - 5*l - 10 = 0. Suppose p - l = -p. Solve -i + p = -4 for i.
5
Let v be (1 + 1)*(4 + -3). Suppose 0 = v*o - 4*i - 14, o - i = 2*o - 4. Solve -o*c = -2*c + 6 for c.
-2
Let f be (5/5 - (0 - -2))*0. Let z(m) = -m**2 + 5*m - 4. Let g be