 4*k - 7. Let t be y(-3). Solve -5*c = -t - 1 for c.
3
Let x(y) = y**3 + 5*y**2 + 4*y + 5. Let b be x(-4). Solve -2 = 3*o - b for o.
1
Let p = 16 + -14. Let u(c) = c + 5. Let m be u(0). Suppose -3*i = m*f - 15, 14 - 2 = -2*i + 4*f. Solve p*b + 3 - 9 = i for b.
3
Let y(h) be the second derivative of h**4/4 + h**3/6 + 2*h. Suppose -3*i + 5*n - 2 = 0, 2*i + 0*i - 4*n + 2 = 0. Let w be y(i). Solve 3*g - w*g = 0 for g.
0
Let u(i) = i**2 + 7*i - 18. Let c be u(-9). Solve c = -3*j - 0 - 3 for j.
-1
Let q(g) = -2*g**3 - 4*g**2 - 4*g - 3. Let x be q(-2). Suppose -2*i - x*w - 2 - 2 = 0, 0 = i + 4*w + 5. Suppose 0 = -i*b + 136 - 37. Solve -5*f + b = 13 for f.
4
Suppose 0 = 4*b + 84 - 20. Let z = -14 - b. Solve z*f + 6 = -0 for f.
-3
Let m = -21 + 25. Suppose -4*o + i + 20 = 0, 4 = m*o + i + 2*i. Solve g + o = 2 for g.
-2
Let c(b) = -5*b**2 + 5*b + 4. Let x(j) = j**2. Let p(v) = c(v) + 6*x(v). Let g be p(-5). Solve 0 = 6*o - 7*o + g for o.
4
Suppose -35 = -2*l - 3*j, 0 = 2*l + 2*l - 4*j - 20. Solve n = -n + l for n.
5
Suppose 8 + 24 = 8*l. Solve l*g = -0*g + 16 for g.
4
Suppose -4*r + 5*i = 16, 0 = -5*r - 2*i - 17 - 3. Let j = r + 13. Solve 1 = 2*d - j for d.
5
Let t(b) be the second derivative of b**4/12 + 5*b**3/6 - 3*b. Let l be t(-5). Solve l = -5*y + 8 - 3 for y.
1
Let s(x) = x**3 + 7*x**2 + 6*x + 1. Let m be s(-5). Let a = 7 + -3. Suppose -4*w + a = -3*w. Solve m = -w*p + 1 for p.
-5
Suppose 0 = -3*r + 12, 3*c + 0*c = 5*r - 14. Suppose 2*b + 2*b - 48 = c*u, -b - u = -6. Suppose 3*q - 3*t + b = t, 0 = q + 2*t - 10. Solve -4 = -q*m + 2 for m.
3
Suppose 0 = -3*r + 2*z + 16, 15 = -2*r + 7*r - z. Let g(c) = -5*c**2 + 3*c**2 + c**3 - 8*c**2 + 2. Let b be g(10). Solve r*k - 6 = -b for k.
2
Suppose 4*c = 8, -6*c + 13 = 3*m - c. Solve 2*i + 3 = m for i.
-1
Let u(x) = -x**2 + 5*x + 1. Let f be 5/2 + (-3)/(-6). Let v be u(f). Let i = -4 + v. Solve i*h - 2 = 5*h for h.
-1
Let b(h) be the second derivative of -h**4/3 + h**2/2 - h. Let i be b(-1). Let o = i - -5. Solve -o*n = -0*n + 10 for n.
-5
Let v be (-84)/(-15) - 2/(-5). Let a(s) = -4*s + v*s**2 + 0*s**3 - s**3 - 2 + 0*s**3. Let k be a(5). Solve 6 = k*o - 0 for o.
2
Let b be (5 - (-1)/(-1)) + 0. Solve -7*l - 12 = -b*l for l.
-4
Suppose 0 = -0*a - 4*a. Solve a = -4*o + 3*o + 2 for o.
2
Let b be 2/((-3)/(-4) - (-2)/8). Solve -b*x + 0 + 4 = 0 for x.
2
Let y(b) = -b**3 + b**2 - 1. Let n(j) = -7*j**3 + 4*j**2 - 2*j - 7. Let i(m) = n(m) - 6*y(m). Let r be i(-2). Solve z + r = 1 for z.
-2
Let t = -32 - -62. Let r be (-1)/(-2)*(t + 0). Solve 0*j = 3*j + r for j.
-5
Let i = -6 + 5. Let k = 3 - i. Solve 3*s - 1 = -k for s.
-1
Let g = 9 - 5. Let x = -9 + 18. Solve -g*b = -b - x for b.
3
Let q(a) = 4*a**2 - 1. Let d(v) = v**3 + 9*v**2 + 9*v + 7. Let x be d(-8). Let c be q(x). Suppose -k + c = -1. Solve 0 = -k*n + n - 9 for n.
-3
Suppose -8 - 7 = -3*f. Let j(h) = h**3 - 4*h**2 - 5*h - 1. Let c be j(f). Let w be c*(-2 + 2 + -1). Solve o = -2 + w for o.
-1
Let t(m) = -m**3 + 5*m**2 - 3*m - 4. Let a be t(3). Solve -7 = a*o - 2 for o.
-1
Suppose l = 4*l + 27. Let u be 4/(-6) + (-24)/l. Solve -u*n + 11 = 3 for n.
4
Let h = 15 + -14. Solve -a + 0*a = -h for a.
1
Let j(n) = 3*n**3 - 2*n**2 + n. Let w be j(1). Solve -20 = w*b - 6*b for b.
5
Let h be -39 + (-3 - (0 - 0)). Let g = h - -63. Suppose -2*u + 81 = 5*i + u, -3*u + g = i. Solve -6*d = -d - i for d.
3
Let p(y) = -y**2 + y + 2. Let r be p(0). Suppose -3*f = r*f. Suppose s - 3*s = f. Solve s = -0*w - w + 2 for w.
2
Suppose 0 = -0*l + 5*l - 45. Suppose -4*h + 3 = -l. Solve 0 = -2*v + h - 9 for v.
-3
Let r(k) = 5*k**3 + k**2 - k. Let j be r(1). Solve u - j*u - 16 = 0 for u.
-4
Let r(l) = 24*l**2 + 1. Let c be r(-1). Let a(j) = 3*j - 5. Let o be a(3). Solve -c = -o*g - g for g.
5
Let s = 8 + -5. Let x = 7 - s. Suppose -2 + 5 = 3*k - 3*p, -8 = -x*k + 2*p. Solve -v + 8 = -k*v for v.
-4
Suppose -9*m + 2*y + 4 = -8*m, -2*m - y - 2 = 0. Solve -f - 4 = -m for f.
-4
Suppose 2*w - 5*w + 6 = 0. Suppose 2 = 3*i + 2*n, 3*i + 6*n = w*n - 2. Solve -5*m = -i*m + 15 for m.
-5
Let y(h) = 6*h**2 - 2*h + 1. Let t be y(1). Solve 0 = 3*u - 10 - t for u.
5
Suppose -4*z - 15 = -4*v - 3, 0 = z + 3*v - 17. Suppose -6*m = -z*m - 24. Solve -3*y + m = -6 for y.
4
Let q = -14 + 15. Solve -3*m + 4 = q for m.
1
Let r(p) = p**3 - p - 25. Let v be r(0). Let i be (-130)/v - 1/5. Solve -2*g = i - 1 for g.
-2
Let f(y) = y + 19. Let d be f(-14). Solve w - d*w + 20 = 0 for w.
5
Suppose -g + h - 3*h + 1 = 0, -3*g + 2*h + 19 = 0. Let s be (6/15)/(1/g). Solve s*t = -3*t for t.
0
Suppose 25 = 4*d + 3*r, -5*d = 4*r - 9*r - 75. Solve -6*f + f + d = 0 for f.
2
Let o be (-795)/25 - (-1)/(-5). Let f = -23 - o. Solve 4*n = 1 - f for n.
-2
Let t = 3 + -3. Solve t = -6*n + 2*n - 20 for n.
-5
Let j be (8/(-3) + 2)*3. Let p = j - -4. Solve m - p + 6 = 0 for m.
-4
Let g = 48 + -33. Let d be (-24)/g*(-30)/4. Solve 2*u = -2*u - d for u.
-3
Let b(t) = -2 - 5 + 8 - 10*t. Let m be b(-2). Solve -m - 4 = -5*p for p.
5
Let d = -2 - -3. Let n be d/(-4) + (-242)/(-8). Suppose -k - 3*g = 10, -2*k - 2*g + 5 = k. Solve -5*o - n + k = 0 for o.
-5
Let f(j) = -j**3 + 2*j**2 + 4*j - 4. Let n be f(2). Solve 10 = n*l - 6 for l.
4
Suppose -2*m = 2*d + 2*d - 2, -5*m - d + 23 = 0. Solve m*n = 7 + 8 for n.
3
Let c be ((-3)/6 + 0)*-8. Suppose -k - k = -c. Solve -2*a - k*a = -8 for a.
2
Suppose -4*v + 1 = -5*p, -6*p + 2*p - v + 16 = 0. Suppose -2*w = p*b, b - 6*w = -2*w. Solve 0 = -2*c - 6 - b for c.
-3
Let a be (-39)/(-2) - 3/2. Suppose 4*b = -3*z - 14, -2*z - 4*b - a = -z. Solve 12 - z = -2*n for n.
-5
Let r = 45 + -30. Let g = -3 + 6. Let d = 9 - g. Solve -3*a = -d*a + r for a.
5
Let o be (-8)/2*2/2. Suppose 4*k = -0*k - 4*p - 4, -k - 16 = 4*p. Let s = k + o. Solve -l + 4 = -s*l for l.
4
Suppose 10*b = -18 + 58. Solve -b*h - 4 = -0 for h.
-1
Suppose 5*b = j - 3*j + 8, b = -2*j + 8. Suppose 3*l + j - 16 = 0. Solve 17 = l*s + 1 for s.
4
Let m(q) = 14*q - 27. Let r be m(3). Solve y + 4*y - r = 0 for y.
3
Let t be ((-4)/(-10))/((-2)/(-10)). Suppose -1 = j + 4*c, -4*c = j + t*j - 5. Solve -q + 0 = -j for q.
3
Suppose -8*j + 4*j + 8 = 0. Suppose 2*d - 12 = -j*d. Solve d*o - 10 = o for o.
5
Let m(w) = -w + 6. Let y be m(6). Suppose 2*o + 0 - 4 = y. Solve o = -2*r + 10 for r.
4
Let q(j) be the third derivative of -j**6/120 + j**5/12 + j**4/3 - 5*j**3/6 + 2*j**2. Let o be q(6). Let l(g) = g + 5. Let u be l(-4). Solve o - u = 2*w for w.
3
Suppose -7 = 3*a + 11. Let g be 1/3 + 2/a. Solve -5*c + c + 12 = g for c.
3
Suppose 4*b - 17 = -1. Let k(x) = -x**2 - 10*x - 5. Let v be k(-9). Solve b = -v*j - 0*j for j.
-1
Let l = 1 - -1. Solve -w = l*w - 9 for w.
3
Let c(y) = y**3 + 2*y**2 - 4*y + 4. Let o be c(-4). Let h be (o/(-21))/(6/21). Solve h*d - 5*d = 3 for d.
-1
Let s(t) = t**3 - 5*t**2 - 7*t + 7. Let a be s(6). Suppose -4*y + 0*j - 5*j = -3, -2*y - 5*j - a = 0. Solve 3*c + 4 = -y for c.
-2
Let x be ((-32)/(-40))/(2/10). Suppose l = -4*s - x*l + 37, 2*s = l + 1. Suppose -4*f + 8 = -2*q, -s*q + 4*f = f + 3. Solve 4*a = q*a for a.
0
Let l = 5 - 2. Suppose 2*w - 18 = n, -4*w - 2*n + 22 = l*n. Let d be (-8)/4*3/(-2). Solve g - d*g = w for g.
-4
Suppose c - 11 = -0*c + 3*a, 0 = -3*a - 6. Solve 4 = -c*x + 24 for x.
4
Suppose 4*w + l = w + 10, -4*w + l + 25 = 0. Solve 0 = -4*x + w + 7 for x.
3
Suppose 0 = 5*j - j + 92. Let a = -14 - j. Suppose f - a = -2*f. Solve -1 = -z - f for z.
-2
Let s(w) = 3*w + 9. Let a be s(-4). Let u(t) = t**2 + 3*t + 2. Let r be u(a). Solve -x = -2*x + r for x.
2
Let x = 4 - 1. Solve x*g - 4 - 5 = 0 for g.
3
Suppose 3*b + 3*b = 0. Solve b = d + d - 2 for d.
1
Suppose -2*q + 2 + 6 = 0. Suppose -5*n + q*n = -8. Solve -4*s = n - 24 for s.
4
Let x = -4 - -4. Suppose -5*a + z + 55 = x, a = -4*z + 43 - 11. Suppose -3*f - 2*y + 2 = 0, 2*f = -2*y - 2*y - a. Solve -2*t + 3*t + f = 0 for t.
-4
Suppose 0 = -4*q + 145 - 25. Let c = q - 20. Solve -3*v + 1 - c = 0 for v.
-3
Suppose 6 = 2*j - 3*m + 4*m, 4*j + 3*m - 12 = 0. Solve 3 = 2*u - j*u for u.
-3
Let k(i) = i - 2. Let w = -12 + 17. Let f be k(w). Suppose 0*d - 4 = -3*d - 4*y, -d = 3*y - 3. Solve d = -l - 0*l + f for l.
3
Suppose 4*h - 44 = -16. Suppose 0 = h*l - 5*l. Solve l = 3*n - 0*n + 3 for n.
-1
Let t = 10 - 1. Suppose 0 = 4*p - p + t, -1 = g + 2*p. Solve g = 5*x + 15 for x.
-2
Let l = 124 