Suppose -4*k + 2*u + 14 = 0, 2*k + 2*k - 5 = 5*u. Let v = k - p. Solve 3*c + 1 + v = 4*b, 0 = -4*b + 8 for c.
2
Let x = 43 + -38. Solve -o = o - y + 1, 14 = -o + x*y for o.
1
Suppose -2*q + 0*q = -8. Suppose q*s = 5 + 11. Solve -4*x - 17 = 3*d, -2*x - 11 = -s*d + 3*d for x.
-5
Suppose -5*t + 71 = -39. Suppose d - t = -5*s, 4*d - 7 = -2*s + 9. Solve -5*u + 7*b = d*b + 10, -4*u = 3*b - 27 for u.
3
Let u(x) = -x**2 - 11*x + 6. Let q be u(-11). Solve 3*v + 2*m = -9 - q, 0 = -v - 5*m - 18 for v.
-3
Let r(u) = -3*u**3 - 2*u**2 - 2*u - 1. Let v be r(-1). Solve a + v*b - 9 = 0, -4*a - b + 0*b + 22 = 0 for a.
5
Let c(z) = -z + 6. Let n be c(6). Suppose 0 = 3*i - 4 - 2. Suppose -k = i*k - 42. Solve 0*j + 2*j - 3*a - 21 = n, -k = -3*j + a for j.
3
Suppose 2*o - 5 = -1. Let p be -1 + o - (2 + -3). Let m be 4/(-10) - (-36)/15. Solve v - m*v - 3*i = 0, p*v + i = -5 for v.
-3
Let j = -3 + 19. Suppose -6*g + 2*g + j = 0. Solve 2*f - 14 = -g*c, -3*f - 29 + 0 = -4*c for f.
-3
Let y be 24/(-20)*5/(-1). Suppose a + 29 = 5*l + y, 3*l - 15 = a. Suppose r - l = 16. Solve 4*c + r = -4*b, b = -5*c - 5 - 0 for c.
0
Suppose 32 + 52 = 4*u. Suppose 5*r - u = 2*r. Suppose r = j + 2. Solve 2*h = j*d + 3 - 24, -5*h - 6 = 3*d for d.
3
Let g = 14 + -9. Solve -o - 3 = 3*r, -4*r = 3 + g for o.
3
Let d(r) = r**3 - 2*r**2 + 2*r - 1. Suppose -3*x + 7 = -2. Let z be (9 - x)*(-2)/(-6). Let u be d(z). Solve 3*o + 6 = -3*s, -s + u*o = -3*s - 5 for s.
-1
Let y be (10 + -10)/((-4)/(-2)). Solve 5*c = -5*g, 4*c - 11 + 3 = y for g.
-2
Let k be 3 + -3 + -3 + 5. Solve -12 = -2*w + 5*q, w + 3*q + k*q + 24 = 0 for w.
-4
Let f(n) = n**3 + 6*n**2 + 6*n + 1. Let m be f(-5). Let q = m - -9. Solve 0 = 4*y - 2*l - 2, q*y + 1 + 4 = 4*l for y.
3
Let w = -6 - -6. Suppose f - 7 - 1 = w. Solve -2*v - y - 2*y - 17 = 0, 4*y - f = 5*v for v.
-4
Let p(v) = -v**2 + 5*v + 18. Let z be p(7). Solve -2*s + z*y = 2*s + 8, y - 8 = -2*s for s.
2
Let r(i) = 2*i - 12. Let g(c) = c + 5. Let f be g(6). Let s be r(f). Solve -q - q - 2*x = -s, -3*q = -2*x for q.
2
Let j(s) = s**3 - 3*s**2 + 2*s - 8. Let v(o) = o**2 - o - 1. Let b(l) = -j(l) + 6*v(l). Let t be b(8). Solve -w = t*w + r - 4, 4 = 5*w - r for w.
1
Let b = -3 - -4. Let n be 3*(20/12 - b). Solve 0 = -v + 1, n*m - m - 2*v = 0 for m.
2
Let g(r) = r - 9. Let p be g(11). Solve 5*u - u - o = 14, 5*u - p*o - 16 = 0 for u.
4
Let b(s) = 2*s**2. Let d(u) = u**3 - 4*u**2 - 6*u + 6. Let x be d(5). Let k be b(x). Solve 0 = 4*h - 3*q + 11, 2*h - 2*q = k*q + 2 for h.
-5
Let c be ((-3)/6)/(3/(-18)). Solve -t = 2*i - c, 3*t + 2*i - 1 = -8 for t.
-5
Let f be 16/(-5) + (-2)/(-10). Let m(u) = u - 4. Let b be m(f). Let p = 11 + b. Solve -r + 15 = 4*k, -p*r - 25 = -3*k - 2*r for k.
5
Suppose 0 = -5*w - 35 + 5. Let o be (4/w)/((-10)/45). Solve -2*p - 13 = p - 4*t, 0 = p - t + o for p.
1
Suppose -63 = v - 8*v. Solve -5*q + v = 5*r - 1, 2*r + 11 = q for r.
-3
Let b be (0*(-3)/12)/(-2 - -1). Solve 3*m + b = -2*c - 2, m - 10 = 2*c for c.
-4
Let o(t) = -t**3 - t**2 - 2. Let v be o(-2). Solve -v*x = -5*z + 2, -x = -0*x - 5*z + 6 for x.
4
Let a be (-2 + 1)/(2/(-4)). Let t = 7 + -4. Let f be 3 - (t*-1 - -2). Solve -l = -3*w - f*l + 3, -a*w = -l - 14 for w.
5
Let z(i) = -i**3 - 8*i**2 - 9*i - 10. Let f be z(-7). Solve f*c - 5 = -0*c + 5*a, -a = 2*c - 13 for c.
5
Let p(a) = -3*a - 1 + 3*a**2 + 0 + 2 + 2*a. Let s be p(1). Let z(k) = -10*k - 2. Let c be z(-2). Solve 2*x + s - 9 = 2*n, -c = -2*n - 4*x for n.
1
Let z be (-258)/(-18) + (-4)/(-6). Solve -11 = -5*o - w, -z = 2*o - 3*o + 3*w for o.
3
Let f = -11 + 36. Suppose -4*w - 3 = -5*w. Suppose f = w*p + 10. Solve -2 = -p*d - s, 8*d - 4*s + 8 = 3*d for d.
0
Let r be (-2)/(-3)*(3 + 0). Let g(f) = -4*f - 39. Let z be g(-10). Solve 8 = 4*h + c, -5*h + z = r*c - 6 for h.
3
Let k(l) be the second derivative of -l**3/6 - 5*l**2/2 - l. Let b be k(-5). Solve -d - 4*x + 5 = b, 4*d + 4*x = 2*d + 2 for d.
-3
Let y = 53 - 53. Suppose -2*s - 10 + 62 = 0. Suppose -4*i - 10 + s = 0. Solve 0 = -i*d - 0*r - 2*r + 12, y = d - 4*r - 12 for d.
4
Suppose o - 4*o = -102. Suppose 2*n - 2*b = 10, b - o = -5*n - 3*b. Solve -3*f - 2 + 10 = 4*r, -5*f + 3*r = n for f.
0
Let t = 95 + -76. Solve 4*c - 4*d + 2*d + 2 = 0, t = 4*c + 5*d for c.
1
Let y = 58 + -56. Solve -5 = -y*l + p, 5*p = -0*l + l - 25 for l.
0
Let w(b) = -b**2 - 4*b - 2. Let z be w(-2). Solve 3*k = -z*g + 7, -5*k + 2*k + 4*g + 31 = 0 for k.
5
Suppose -5*n + 7 = -4*j, j - 6 = -4*n + 8. Let k = j + 0. Solve 2*r = -h, 5*r - 2*h = k*h for r.
0
Let t(l) = l**3 - 4*l**2 - 3*l - 5. Let m be t(5). Suppose -m*c + 3 = 2*o + 2, 2*o + 3*c = 3. Solve -o*n - 3*x + 15 = 0, -3*n - 2*x = -8 - 5 for n.
3
Let j(r) = 1 + 2*r + 3*r**2 - 2*r**2 + 1. Let d be j(-2). Solve 5*h + d*f = -25, -5*h = -h + 2*f + 20 for h.
-5
Let v be 2/(-5) + 104/10. Suppose o - v = -o. Solve 2*s - 6 = 5*a, -3*s + 6*s = -o*a + 9 for s.
3
Let v be 0/(3 - (-2 + 4)). Let p be 21 - (-3)/(-12)*4. Solve v = 4*d - p, -2*d = 3*s + d for s.
-5
Let v = 33 - 18. Suppose 4*i - v = 81. Solve 8 = 2*n, -2 - i = -2*r - 4*n for r.
5
Suppose 0 = -3*u + u + 10. Let f be 9 + -1 + (u - 4). Suppose 3*g = -0*g + f, -2*d + 20 = 4*g. Solve -j + 3*i = -i + 3, 0 = d*j - i - 3 for j.
1
Let c(b) = 2*b + 8. Let t be c(-1). Solve m - 3*z + t = -1, 2*m - 4*z + 10 = 0 for m.
-1
Let d be (-10)/(-25) + 0 - (-2)/(-5). Solve 4*o - 2*p + d*p = 2, -3*o - p + 14 = 0 for o.
3
Let q = 19 + -32. Let i be q/(-2) - (-15)/(-10). Solve 3*v = i*s + 37, -2*s + v - 3*v = 2 for s.
-5
Let p(c) = c + 2. Let o be p(1). Solve -5*y + 2*w = 8, 4*y - 2*w = 3*w - o for y.
-2
Suppose -4*a = -2*a - 26. Let r = -11 + a. Solve -3*v = i + 5, -5*v - r*i + 3*i = -5 for v.
0
Suppose 4*k - 6 = -c, -2*k - 5*c = -7*k + 20. Solve 5*p = -2*x + 12, k*p + 4*x + 20 = 3*p for p.
4
Let c(m) = -3*m**3 + 2*m**2 - m - 2. Let h be c(-1). Solve 5*x + 19 = 3*b + 6, 5*b + 40 = -h*x for x.
-5
Let v be 4 - 2/(1 - 3). Solve -v*j + 5*m = 2*m - 17, 5 = 5*m for j.
4
Let t be (-3)/4 + (-19)/(-4). Let a be 3/(-6) - 2/t. Let b be (5/15)/(a/(-30)). Solve l - 6*l + b = 0, -s + 3*l - 6 = 0 for s.
0
Let w(z) be the second derivative of z**4/12 - 2*z**3/3 + z**2 + z. Let u be w(6). Solve 3*r + 2*x = u, -4*r + 4*x = -2*r - 4 for r.
4
Suppose r - 2 = -4. Let w be 14/r*6/7. Let i = -6 - w. Solve -3*m - 2*l - 8 = i, 23 = -5*m + 5*l - 7 for m.
-4
Let r(z) = 2 - 8 - 2*z - z**3 + 0 - 5*z**2. Let w be r(-5). Let o be (-1)/(-4) - (-22)/8. Solve -4*j + 32 = -w*k, 0 = k - o*j - 0*j + 18 for k.
-3
Let q = -8 + 11. Suppose -q*s = -62 - 1. Suppose -4*z = 3*m + 1, 0 = -4*z + 2*m - 7 + s. Solve 3*y + 3 = 0, g + z*y + 3 - 5 = 0 for g.
4
Let t(w) = 4*w**2. Let k be t(1). Let c be (3 - k) + 1 + -2. Let a be 5/(10/12) + c. Solve -16 = a*r - s, -5*r - 8*s - 20 = -3*s for r.
-4
Let m(s) = s**2 - 4*s - 17. Let v be m(7). Suppose -2*p = 4*b, 4*p - 4*b - 10 = -2*b. Solve v*q = 3*r + p*r - 7, 5*r - 13 = q for r.
3
Let r(w) = 3*w**2 + 2*w + 3. Let u be r(-3). Suppose 0 = 4*k + 5*o + 3, -4*k + 2*o + u = 6. Solve z = -6*f + k*f - 14, 0 = 5*f + 5*z + 40 for f.
-3
Let w = -24 - -26. Solve -11 = u + w*u + 5*d, -4*u = -3*d - 24 for u.
3
Suppose 0 = -3*h - h + 20. Solve 3*y + h*a = -14, -y + 2 = -3*a - 2*a for y.
-3
Suppose 1 = 3*i + 58. Let c = -18 - i. Solve -d - c = -j, -2*d = 5*j + 1 - 20 for d.
2
Let s(n) = n**3 + n**2 + 5*n. Let i be s(-8). Let m = i - -688. Suppose 4*q + m = 8*q. Solve q = -5*o - j + 6*j, -3*o - 10 = j for o.
-5
Let w(y) = -y**2. Let i be w(0). Suppose i*s = 4*s. Let f be s + 2 + -1 - -3. Solve -k + 29 = f*m - 4*k, -m - 3*k = 4 for m.
5
Let x(w) = -w**3 - 7*w**2 - 8*w - 7. Let c be x(-6). Solve -2*k - c*n - 15 = 0, 4*k + n - 6 = 3*n for k.
0
Let q = -1 + 6. Solve 5*a - v = v, -v = q*a for a.
0
Let i be (-3590)/(-70) - 4/14. Suppose -21 + i = 3*n - 5*w, 0 = -5*n + 4*w + 50. Solve -8 = -2*m - 3*q, 0 = -3*m + 3*q - 7*q + n for m.
-2
Suppose 4*a + a - 5*m = 15, 3*a = 5*m + 5. Let o = -1 + a. Solve 3*x - 14 = -u, o*u - 6*u - x = -13 for u.
5
Let c = -8 - -4. Let m be (4 + -2)/((-2)/c). Solve 3*p + 6*d - 4*d + m = 0, 4*p + d = 3 for p.
2
Let c(j) = 2*j**2 + 3*j + 7. Let h be c(-2). Solve 5*q = h + 11, -41 = 5*y - 4*q for y.
-5
Let g = -10 + 14. Let z be g*(-2)/(32/(-12)). Solve -z*s + 3 = y, 3 = -0*s - s + y for s.
0
Let a = 11 + -10. Let z be (-2 + a)/((-2)/6).