2. Let w(b) = c(b) + 4*k(b). Let f be w(-4). Solve -f = 3*h - 3 for h.
-5
Let w be (-2 - 0 - 4)*-1. Suppose 5*q = w + 4. Suppose -4*n - 2 = q, -n = -5*s + 1. Solve s = -8*m + 3*m for m.
0
Let f be (-2)/3 - 40/(-15). Suppose c = f*c - 2. Solve 0 = 3*o - c*o for o.
0
Suppose 3*f - 2*t = 4*f + 5, 0 = -5*f + 2*t + 23. Suppose -2*l = f*r - 6, -4*r = -5*l - 0 + 15. Solve r = 2*g + 2 for g.
-1
Let u(t) = 3*t**2 - 7. Let y be u(-5). Let h be (-2)/4 - y/(-8). Solve -3*i + 2 = h for i.
-2
Suppose o + o - 10 = 0. Suppose -4 = 2*n - s - 2*s, -1 = o*n - 3*s. Suppose p + n = 5*l - 7, -4*p = -8. Solve -6*j - 12 = -l*j for j.
-3
Suppose 0 = 3*z - 6. Suppose 2*a - 8 = g + 20, z*a + 2*g = 16. Solve -4*d - 28 = -a for d.
-4
Let a(s) = -s**3 + 6*s**2 + 8*s + 3. Let c be a(7). Let x be -3 + c + (0 - 3). Solve -x + 16 = 3*f for f.
4
Let y be (0/(-7))/(-1 + 3). Suppose y = s + z - 19, -3*s - z - 3*z = -61. Solve h - s = 4*h for h.
-5
Suppose 2*s = v + 10, -4*s - v = -0*v - 32. Suppose -5*h + 21 = 3*p, -3*p - 14 = -s*p - 2*h. Solve 0 = 5*u + 12 - p for u.
-2
Suppose -5*d + 3*d + 8 = 0. Suppose d*m = 14 + 14. Let f be 2*(-1 - (-1 + -1)). Solve m = -f*l - 3 for l.
-5
Let j be 5 + 6/(-2 + -4). Solve x - j = 3*x for x.
-2
Let l = -11 - -16. Suppose -2*x - 17 = 2*j - 1, 4*j = l*x - 50. Let o be (-15)/j + (-1)/2. Solve 2 = -3*w - o for w.
-1
Let s be 10/4 + (-12)/24. Let x be (-1 - (1 - s))/(-2). Solve 0 = 2*a - x + 6 for a.
-3
Suppose -5*d - 3 = -6*d. Suppose 0 = -2*o + 3*o - d. Suppose o = 3*q + 3*z - 2*z, 4*z + 2 = -5*q. Solve q*v = -1 - 3 for v.
-2
Suppose 4*v = 2*s + 34, 3*s - 10 = -2*v - 5. Suppose -3*a - 20 = -v*a. Solve -2*x + a*x = 0 for x.
0
Let m = 2 - 5. Let a be m/((2/(-2))/5). Solve -a = -5*s - 0*s for s.
3
Suppose -2*f + 23 - 5 = 0. Solve 0*o = -3*o - f for o.
-3
Let b = 18 + -6. Solve 5*o - o = b for o.
3
Let w(k) = -k**3 + 4*k**2 - 4*k + 3. Suppose -5*v + 14 = 4. Let q be w(v). Solve 2*i - 7 + q = 0 for i.
2
Let b = -20 + 35. Suppose 7 = -4*a - 3*f + 23, 0 = -4*f. Solve -a*n - b = n for n.
-3
Let k = 37 + -36. Solve j = k + 4 for j.
5
Let t(a) = 3 - a + 5 - 1. Let i be t(6). Let r be 0*2*i/(-6). Solve r = -0*o - 5*o for o.
0
Let c(x) be the first derivative of x**3/3 + x**2/2 + 31*x - 3. Let g be c(0). Suppose -4*d + g = 5*v - 5*d, -3*v + 19 = -d. Solve v + 4 = 5*l for l.
2
Let h(j) = -j + 10. Suppose 0 = u - 1, -5*u - 5 = -0*k - 2*k. Let y be h(k). Solve 0 = -4*o + 3 + y for o.
2
Let a = 1 + 2. Let x = -15 - a. Let r be (1*-3)/(x/12). Solve -r = -2*b + 4 for b.
3
Suppose -3*b = 3 - 9. Let o be b + (-3 - -2)*-4. Let q be (-2)/o - 7/(-3). Solve 2*y + q*y = -12 for y.
-3
Suppose 1 - 3 = -2*l. Let o be l/(-1)*7/(-1). Let w be (-12)/8*4/(-6). Solve -3*s - w = -o for s.
2
Let j be (8/(-12))/(2/(-9)). Let f be (-117)/(-21) + (-4)/7. Solve f*b - j = 12 for b.
3
Let d be (0 + -1 - -12)*1. Suppose -2*g + 5*g = -3, 0 = l - 4*g - d. Solve 0 = -5*y - 13 - l for y.
-4
Suppose 5*s = 51 - 26. Let a = 0 + 2. Solve -a*w = -w + s for w.
-5
Suppose 3*j = -j + 20. Solve -12 = j*s - 2*s for s.
-4
Let h(b) = b**3 - 10*b**2 + b - 3. Let w be (-20)/(-15)*(-3)/(-2). Suppose 0 = w*i - 17 - 3. Let q be h(i). Solve 3 - q = -4*d for d.
1
Let p be 5 + 1 + (-8)/4. Suppose -4*d + 2*u = -0*d + 2, -1 = -3*d + u. Let m = d + p. Solve 0 = m*i - 2*i for i.
0
Let c be (-44)/33*-9*3. Solve c - 11 = -5*j for j.
-5
Suppose 0 = -0*l - 2*l - 2*f - 8, -5*l = -5*f + 10. Let b(d) = d**3 + 4*d**2 - 2*d - 1. Let n be b(l). Solve -5*r - 6 = n for r.
-4
Let y(k) = -k**2 - 8*k - 8. Let p be y(-6). Solve p*v = -v - 5 for v.
-1
Let o(a) = 9*a**2 - 2*a - 1. Let x be o(-1). Suppose 60*b = 10*b. Solve 4*j + x + 6 = b for j.
-4
Suppose -t + 3*t = -12. Let f(r) = r + 8. Let a be f(t). Suppose -z + a = z. Solve 0*o + z = -o for o.
-1
Let t(n) = -3*n**2 + 4*n + 1. Let q be t(3). Let b(c) = -c - 11. Let y be b(q). Solve -y*x = -x for x.
0
Let b = -26 - -28. Solve b*c - 20 = -2*c for c.
5
Suppose 3*t - 3 = -4*h, -4*t = -2*h - 9*t + 5. Solve h*l - 5*l = 20 for l.
-4
Let y = -1 + -2. Let v(i) = i**3 + 3*i**2 + i + 3. Let d be v(y). Solve d = 3*t - 0*t for t.
0
Let f = 9 + -6. Suppose -g = 2*g. Suppose g = 3*z - 5*j - 32, -2 = -3*z - 2*j + 2. Solve -2 = f*b - z*b for b.
2
Let h(d) = -d**3 - 5*d**2 - 8*d - 13. Let b be h(-4). Solve -q + b*q + 2 = 0 for q.
-1
Let j = 0 - 0. Suppose 0 = 2*o - j*o. Solve o = -l - 3*l for l.
0
Suppose 0 = 3*z + z + 80. Let t be (z/14)/((-14)/98). Solve 0*w + t = 2*w for w.
5
Let f = -19 - -29. Suppose -f = 2*j, 2*m = -3*m + 3*j + 25. Suppose -3*s = m*s. Solve d + d + 6 = s for d.
-3
Let i be (5/3)/((-7)/(-21)). Solve 6 = i*r - 9 for r.
3
Suppose -q - 2 + 12 = 0. Let z = q + -10. Solve z = 6*k - k - 25 for k.
5
Let a be 6/(-10) + 115/25. Solve -a*c + 8*c + 8 = 0 for c.
-2
Let f(c) be the third derivative of -c**6/120 + c**5/10 - c**4/8 - 5*c**3/6 - 2*c**2. Let w be f(5). Suppose w*j = j + 8. Solve -x + j = -3*x for x.
-1
Let y(q) = q**2 + 15*q - 11. Let k be y(-16). Solve 6 = w + k for w.
1
Suppose j - 6*j + 12 = -r, -3*j + 20 = r. Solve -r*i = -4*i + 12 for i.
-3
Let j be 5 - ((1 - 3) + 1). Let x be ((-8)/j)/((-2)/3). Let i = x + 2. Solve -i + 5 = v for v.
1
Suppose -2*c - 5 = -c, -28 = -4*a + 4*c. Let y = 34 - 19. Suppose -q = 2*q - y. Solve 0 = -u + q - a for u.
3
Let z = 13 - 1. Let f = -8 - -11. Solve -f*u = u - z for u.
3
Let x(o) = -o**3 - 6*o**2 - 5*o + 5. Suppose -20 = t - 5*r, -6*t + 3*t - 21 = -2*r. Let a be x(t). Solve -a*z + 23 = 3 for z.
4
Let d(l) = -l - 5. Let m be d(-6). Solve 5*t - 4 = m for t.
1
Let g = -21 + 23. Solve g = -4*p - 2 for p.
-1
Let a = 2 - -1. Suppose -a*r + 8 = -r. Let l(d) = -d + 25. Let u be l(0). Solve -u = -r*w + 9*w for w.
-5
Suppose 3*a + 16 = l, -2*a = 4*l - 8 - 0. Suppose -3*i = -4*v - 8 - 5, l*v + 12 = 4*i. Let d be 39*i*(-6)/18. Solve -3*c - 2 - d = 0 for c.
-5
Let h = 28 - 23. Solve -2*o + 3*o - h = 0 for o.
5
Let j(s) = s**3 - 10*s**2 + 11*s - 9. Suppose 0*b = -5*b + 45. Let t be j(b). Let g be (-1)/(-3) + (-3)/t. Solve g*l - 6 = 2*l for l.
-3
Let n = 1 + 2. Solve -n*p - 6 = -p for p.
-3
Let s be (-2)/(-4) - 27/6. Let c(z) be the first derivative of z**3/3 + 2*z**2 + 2. Let d be c(s). Solve d*a = 5*a - 25 for a.
5
Let l = -4 - -8. Solve 0*p + l*p - 8 = 0 for p.
2
Let z(y) = 3*y**2 + 2*y - 2. Let q be z(2). Let i be 4/14 - (-276)/q. Solve 4*o + o = i for o.
4
Let p(f) be the second derivative of -f**4/12 + 7*f**3/6 - 4*f. Let t be p(5). Let y be ((0 + 4)/(-1))/(-2). Solve 0 = -3*q + t + y for q.
4
Suppose 0 = -5*b + 2 + 13. Suppose 0 = -3*g - 4*y - 20, 3*y + 9 = -b*g - 6. Let t be (2 + 1)*(g - -2). Solve 0 = -0*z + 2*z - t for z.
3
Suppose -w + d = -3*d + 1, -w - 3*d + 20 = 0. Let p(n) = n**3 - 2*n**2 - n. Let v be p(3). Let q = w - v. Solve -5*z - q + 30 = 0 for z.
5
Suppose 4*x + 20 = 0, -5*x = -o - x + 18. Let j(u) = -u**3 + 6*u**2 - 7*u + 5. Let y be j(5). Let r = o - y. Solve -r = i - 1 for i.
-2
Let q(b) = 26*b**3 - b**2 + b - 1. Let m be q(1). Let h = m - 22. Solve -h*y + 8*y = -10 for y.
-2
Let r(d) = 2*d - 4. Let i be r(4). Suppose 6*w - 3 = i*f + w, -5*w = 4*f - 27. Let z be 3/(-9) - (-13)/f. Solve -c = -z*c + 12 for c.
4
Let z be (0/(-2))/(3 + 0/5). Let u(g) = -g**3 + 5*g**2 + 4. Suppose -4*w = -3*w - 5. Let q be u(w). Solve q*d + z - 12 = 0 for d.
3
Let p(w) = w**3 + 3*w**2 - 2*w - 1. Let m be p(-3). Suppose m*t + 1 = 5*n - 19, 4*n - 3*t - 15 = 0. Solve 0 - n = -3*h for h.
1
Suppose m + 2*m + 31 = -5*p, -3*m + 19 = -5*p. Let v(r) = -2*r - 2. Let u be v(m). Solve 0 = -u*a + 2 + 4 for a.
3
Suppose s - 85 = -5*j, -s + 15 = -4*s. Let h = j - 29. Let x = -7 - h. Solve -3*g + 1 = -x*g for g.
-1
Let w be (-16)/40 + 12/5. Let k = 3 + 2. Let m = k - w. Solve 5*x - m*x = 2 for x.
1
Let s(b) = b. Let v = -5 + 7. Let w be s(v). Suppose 0 = 3*u + 5*h - 15 + w, 5*h + 5 = 0. Solve 0 = -2*k + u - 0 for k.
3
Let d = 12 - 10. Solve 0*u - 10 = -d*u for u.
5
Let b be 3*((-6)/(-3) + -1). Suppose -b*k - 2*k = -25. Solve 0*t + k*t + 10 = 0 for t.
-2
Suppose 9*l + 5 = 4*l. Let x = 3 - l. Suppose z + 6 = 4*w - 2, -w + x*z = -2. Solve 3*y = w*y - 2 for y.
-2
Suppose 7 - 21 = -2*l. Suppose -z + l - 5 = 0. Solve -20 = -z*k - 2*k for k.
5
Let d(o) = -3*o + 3 - 3. Let q be d(-2). Suppose x - q = -x. Solve -x*j = j + 20 for j.
-5
Let q(g) = g**2 + 5*g - 9. Let h