 2*k + 3. Let n(w) = -w**3 - 6*w**2 - 3*w + 7. Let y be n(-5). Let d be m(y). Solve d = b + 5 - 3 for b.
-2
Suppose -5*q + 12 = -w, -2*q - 2*w = -6*q + 6. Solve -q*d + 16 = d for d.
4
Suppose t - 5*b = 11, -3*t - 2 = b - 3. Suppose -2*h = -4*y - 12, -3*y - 6 = -3. Let z(d) = d**2 + 2*d - 3. Let w be z(2). Solve -w*q - h = t for q.
-1
Let o(h) = h**3 - 10*h**2 + 9*h + 4. Let z be o(9). Suppose 0 = 2*f - 2 - z. Suppose 0 = -3*s + 4*w + 41, -4*s = -f*s - 5*w - 32. Solve -4*i - 5 = s for i.
-3
Suppose 0 = -w - l + 6 + 11, 0 = 4*w + 3*l - 67. Suppose 5*k = w + 4. Let v = k - 4. Solve v = q + 4*q + 20 for q.
-4
Suppose -q - 8 = -4*d, -d + 8 = 2*q + 3*d. Suppose 8*y = 4*y + 8. Solve q = -3*l - y*l + 20 for l.
4
Suppose 11*j = 6*j + 25. Solve -5 = j*s - 0 for s.
-1
Let c be (-1)/3 - (-5)/(-3). Let r = 0 - c. Suppose -2*z = -2*o - 2, -o - 4*z = -0*o - 24. Solve 0 = -o*i + 18 + r for i.
5
Suppose 0 = 2*q - 0*q + 5*x + 2, 2*q - 4*x = 16. Solve 0 = -j - 3*j + q for j.
1
Suppose -u - u + 6 = 0. Let m be -6 + 0 + 266/19. Solve n = u*n + m for n.
-4
Suppose 73 = 5*i + 5*s + 23, -5*i - s = -50. Let t = 3 + 0. Solve t*a = a + i for a.
5
Let v = -4 + 0. Let s = -18 - -16. Let g = s - v. Solve g*y + 6 = 5*y for y.
2
Let y(n) be the third derivative of n**5/60 - n**4/24 + n**3/3 - n**2. Let o be (-6)/15*(0 + -5). Let d be y(o). Solve d*f = 5*f - 5 for f.
5
Let d be (-72)/(-33) + 2/(-11). Solve 4*q - d = 5*q for q.
-2
Suppose 5*v = 5*x - 1 + 6, 13 = 5*x + 4*v. Solve -3 - x = k for k.
-4
Let r = 33 + -32. Solve 0 = 3*o - 4 + r for o.
1
Let s be (0/2)/(2 - 3). Suppose -5*c + 1 = -4*c, 2*z = -4*c. Let n = s - z. Solve n*l + 5 = l for l.
-5
Suppose z = 4*s - 3, -z - 5 = 2*s - 7*s. Solve s + 6 = 4*k for k.
2
Let w(c) = c + 20. Let a be w(0). Solve -5*s - a = -s for s.
-5
Let o(w) = w**2 + 9*w - 7. Let p be o(-9). Let l be (-4)/14 + (-16)/p. Solve 3*b = 7 + l for b.
3
Suppose 0 = 2*d - 41 + 1. Let b be 8/d - (-2)/(-5). Solve 0 = 4*q - b*q + 4 for q.
-1
Suppose 20 = -2*x + 4*x. Suppose 0 = 5*g + 4 - 54. Suppose -12 + 0 = -3*k. Solve 0 = k*m + x + g for m.
-5
Suppose -3*o - 8 = -7*o. Solve 6 = -o*p - 0 for p.
-3
Let v(u) = 2*u - 7. Let h be v(5). Suppose -7*s = -h*s + 32. Let a(o) = -o**2 - 8*o + 4. Let x be a(s). Solve -2 = -b - x for b.
-2
Suppose 2*f + f - 9 = 0. Suppose f*w = 2 + 4. Solve 0 = -2*i + 8 + w for i.
5
Suppose 4*l + 1 = -4*p - 7, -4*l - 5*p - 12 = 0. Solve 3*w - 1 = l for w.
1
Let m(t) = -2*t**3 - t**2 + t - 2. Let a be ((-3)/(-6))/((-2)/8). Let l be m(a). Let u = l + -5. Solve 4 = u*s - 2*s for s.
4
Suppose -4 = -l + 3*o - 15, 2*l + 2*o = 2. Let r = 3 - l. Let z be 20/3 + (-2)/3. Solve -h + z*h = -r for h.
-1
Let h = -8 - -12. Suppose -s + h - 2 = 0. Solve s*w - 13 = -5 for w.
4
Let g = 19 - 10. Let k(l) = l - 12. Let r be k(14). Solve r*s = -s + g for s.
3
Let w(q) = -q**2 - 4*q + 7. Let l be w(-5). Suppose -5 = -l*r + k + 14, -5*k = -5*r + 35. Solve 3*d - r = -d for d.
3
Let y be 6*(1 + (-1)/2). Suppose -5*v + 2*v + k + 16 = 0, -4*k = -2*v + 4. Solve 3 = y*n - v for n.
3
Suppose 2*x - x = 3. Solve -3*y + x = -6*y for y.
-1
Let u = 7 - 2. Let y = 5 - u. Suppose t = y, -5*t + 18 = -0*q + 2*q. Solve 0 = -c - 2*c + q for c.
3
Let k be 38/57*87/2. Let s = 33 - k. Let p be -1 - ((-2 - -1) + -2). Solve s*l = -p + 10 for l.
2
Let q = 15 - 15. Solve -3*p = -q*p - 15 for p.
5
Let a(l) = -5*l - 3. Let k be a(-3). Suppose 2*f - k = 28. Suppose -32 = -4*s + 6*z - z, f = -5*z. Solve 2*q = -s*q for q.
0
Let l(v) = 6*v. Let i be l(-1). Let z = 7 + i. Let y = z - -1. Solve s + 0*s + y = 0 for s.
-2
Let b(z) = 4*z - 9. Let m be b(7). Let w = m + -15. Let y = -10 - -21. Solve 27 = w*s + y for s.
4
Let f(q) = q**3 + 10*q**2 + 3*q - 5. Let p(g) = -3*g**3 - 21*g**2 - 7*g + 10. Let w(v) = 5*f(v) + 2*p(v). Let h be w(8). Solve -m = -h*m + 10 for m.
5
Let d = 13 - 6. Suppose -2*a + 1 = -d. Let t be 0 + ((-6)/2 - -6). Solve 4*j - t*j = -a for j.
-4
Suppose -25 = -5*h - 5*s, 4*h + 3*s - 14 - 3 = 0. Let m(a) = -a**2 - 1. Let r be m(-2). Let z(f) = f + 11. Let u be z(r). Solve h*l + l - u = 0 for l.
2
Let j be (14 - 14) + 5 + -1. Solve 4*h + j = 3*h for h.
-4
Let w(y) = y**3 + 5*y**2 + y - 7. Let s be w(-4). Solve 0*u = u + s for u.
-5
Let w = 2 + 1. Suppose z = 3 + 6. Let p be (-1 + -2)*(-12)/z. Solve w*c = 7 - p for c.
1
Let s(m) = -m**2 - 9*m - 5. Let c be s(-8). Suppose 0 = c*o + 2*o - 10, -2*j = -o - 6. Suppose -5*f + t = -25, -f = j*f - 5*t - 45. Solve -y + f = 3*y for y.
1
Let u(a) be the second derivative of a**4/6 - 7*a**3/2 + 6*a**2 + 11*a. Let f be u(10). Solve -f*q = -6*q + 16 for q.
4
Let r = 0 - -2. Let i(k) be the first derivative of -k**2/2 + 10*k + 2. Let o be i(-7). Solve 3*a = o - r for a.
5
Let g be (3 - 2) + 3*2. Let v = g + 2. Suppose 18 = 4*d - 2*b, 7*b = -2*d + 2*b - v. Solve -2*f = d*f for f.
0
Suppose -5*n + 4*g + 104 = 0, 62 = 5*n + 3*g - 35. Let w(p) = p. Let s be w(3). Solve -2*o = s*o - n for o.
4
Let n = 0 - -3. Suppose -q + 2 = -n. Suppose -q*p - 10 = -4*g - 33, -p + 5*g + 13 = 0. Solve 2*d - d + p = 0 for d.
-3
Let x(v) = -v - 6. Let m be x(-6). Solve m*q = 3*q - 6 for q.
2
Let u(l) = -l**2 + 7*l - 5. Let d be u(5). Suppose -3*v + t + 16 = 0, 4*v - 4*t - 9 = -1. Solve -v - d = -4*b for b.
3
Suppose k + 10 = 3*k. Suppose k*s = -4*y - 12, -3*s - y - 6 = -3. Solve 2*r = -s*r for r.
0
Suppose 5*r = 4*l + 45, -2*r - 10 = -3*r + l. Suppose 0 = 3*i - 3, 5*s - 3*s + r*i = 11. Solve 21 = s*a + 6 for a.
5
Let s = 8 - 6. Suppose -4*w + 5*w = 3. Solve s = -u + w*u for u.
1
Let f(p) = -2*p + 32. Let z be f(14). Solve i = 3*i + z for i.
-2
Suppose -2*u + 3*n - 2 = -4, -2*n + 4 = 0. Solve 0 = 5*y + 6 + u for y.
-2
Suppose -s - 24 = -5*s. Solve -5*h = -2*h + s for h.
-2
Let r be (-2 - 8/(-4)) + 3. Let t be 1 - (-1)/3*r. Solve 1 + t = -3*a for a.
-1
Let r be 21/84 - (-91)/4. Solve -r - 2 = -5*x for x.
5
Suppose 0 = 3*z + o - 1, -4*o - 5 = z - o. Let q = z - -10. Let j = -8 + q. Solve 11 = -j*s - 4 for s.
-5
Let u be 2/4 + (-18)/12. Let d(q) = -5*q**3 - 1. Let r be d(-1). Let i = r - u. Solve 2*c = i*c for c.
0
Suppose 3*i - 130 = -2*m, -7*i = -2*i + 3*m - 215. Let g = i + -14. Suppose g + 19 = 5*u. Solve -5*w = -2*w + u for w.
-3
Suppose 4*p = -5*w + 22, -p + 5*p - 18 = -3*w. Suppose 0 = -b + 5*j - 1, 2*b - 15 = -b - p*j. Let v be (3 + -3)*2/b. Solve v = -u + 3*u - 8 for u.
4
Suppose 0 = -3*w - 0 + 24. Let i be 158/14 - ((-48)/(-21))/8. Let p = i - w. Solve 0 = p*f + 2 - 8 for f.
2
Let j(o) = -o**2 - 13*o - 13. Let s be j(-11). Solve 2*m + m = s for m.
3
Let d(m) be the third derivative of m**6/120 + 8*m**3/3 - m**2. Let v be d(0). Solve v - 4 = 4*x for x.
3
Let c(x) = x**3 - x**2 + x + 68. Let k be c(0). Suppose w - 13 = 3*g, -4*w - 4*g = -0*w - k. Suppose 6*a - a - 25 = 0. Solve a*y = y - w for y.
-4
Suppose 0 = 3*m + 2 - 2. Solve m = c + 1 - 0 for c.
-1
Suppose -11*b = -9*b. Suppose 3 = 5*x - j, -2*x - 12 = j + 3*j. Solve x = -2*o - b*o - 10 for o.
-5
Suppose 4*d - 114 = -2*d. Solve d = -5*g - 6 for g.
-5
Let s(o) = 2*o**2 - 69*o + 69*o + 1. Suppose 0 = k + 3*d + 4, -5 = 5*k + 4*d + 4. Let f be s(k). Solve 0 = f*p + 7 + 2 for p.
-3
Suppose -98 = -4*d + 2*k, -k = d - 6*k - 29. Suppose 0*c = -4*c. Suppose c = 4*n - d + 4. Solve -n*b = -2*b for b.
0
Let k(x) = x**3 + 7*x**2 + x - 3. Let z(c) = 2*c**3 + 7*c**2 - 4. Let t(m) = 3*k(m) - 2*z(m). Let v be t(7). Solve -8*u + 4*u = v for u.
-5
Let o(m) = m - 18. Let l be o(18). Solve -3 = 3*z - l for z.
-1
Let t be -2 + 1/(3/21). Let h(z) = -z**3 + 6*z**2 - 5*z + 4. Let r be h(t). Let y(n) = n**3 - 3*n**2 - 5*n + 4. Let i be y(r). Solve i = -4*p - 9 + 1 for p.
-2
Suppose 2*t = -2 - 0. Let y(w) = -6*w - 1. Let n be y(t). Solve 3 + 2 = n*q for q.
1
Let d(v) = -3*v - 15. Let l be d(-6). Suppose -2*i - 2*i = 4*p - 12, p - l = -2*i. Let g be 0 - -3 - (-1 + 0). Solve p*y = g*y - 2 for y.
2
Let h = -25 - -43. Suppose 2*p - h = -p. Suppose 0 = b + 4*b - 25. Solve 0 = y - p*y + b for y.
1
Let b = -4 + 9. Suppose -3*p = -v + 17, 2*v + 3*v + b*p + 15 = 0. Solve -v = 4*i + 2 for i.
-1
Suppose -9*k - 76 = -28*k. Suppose 4*a = -2*s + 2, 4*s + 7*a = 2*a + 1. Let c be (s + 0 - -1) + 3. Solve -w - c + k = 0 for w.
1
Let y be ((-8)/10)/(4/10). Let t = y + 7. Suppose -t*l + 10 = -15. Solve l*x = 4*x for x.
0
Let t = 43 + -40. Solve -5*d