 - d, 0*o + 5*o + 4*d = 0. Let l be (2/4)/((-1)/o). Solve x - 2 = l*x + 2*v, -3 = 3*v for x.
0
Let r = 8 - 10. Let t be r/6 - 14/(-6). Solve -5*z = t*k - 19, 3*k = -8*z + 4*z + 11 for k.
-3
Let c be ((-10)/12)/(-3 + (-68)/(-24)). Solve 10 = 4*m - 2*s, -3*m - c*s + 27 = -0*m for m.
4
Let n(c) = -c**3 + 12*c**2 - 10*c - 9. Let k be n(11). Solve -12 = -4*z, -3*p = -p - 2*z - k for p.
4
Let z(r) = -r**3 - 3*r**2 + r - 8. Let b be z(-4). Solve 12 = 2*k - b*u, -16 - 4 = 4*u for k.
-4
Let v(s) = -6 - 6*s**3 + 3 - s**2 + 3. Let c be v(-1). Solve 0 = -5*d - c*t - 16 - 14, -d - 16 = 3*t for d.
-1
Suppose -3*h + 2*h = -2. Suppose 2*n - h = 6. Suppose 3*p - n*p = -2. Solve 3*c + c + 3*v = 14, p = -c + 2*v for c.
2
Let j(c) = c**2 + 2*c - 7. Let g be j(-5). Suppose 25 = g*k - 3*k. Suppose o = 8 - k. Solve o*m + 3*u - 7*u = -16, 8 = 2*u for m.
0
Let n be ((-9)/(-21))/(-1) - 639/(-21). Solve l - 3*l - 9 = c, 5*c - n = 5*l for c.
1
Let s = -44 - -47. Let q(o) = 1. Let u(n) = -n - 6. Let c(m) = q(m) - u(m). Let l be c(-5). Solve -2*f = s*b - 22, -l*b + 0*b = 4*f - 28 for b.
4
Suppose -2*y + 5*i - 3 = 2*y, -32 = y + 5*i. Let s(u) = -u**3 - 8*u**2 - 9*u - 9. Let h be s(y). Solve -2*l = -0*k - 3*k - 4, -5*k + 5*l = h for k.
-2
Let c(i) = 3*i**2 - 44*i + 4. Let g be c(15). Solve -3*l + g = -p, -4*p = -0*p + 16 for l.
5
Let c(s) = 3*s - 3. Let i be c(1). Solve 3*y + 18 = -3*f, i = y + 1 for f.
-5
Let w be 4/(-18) + (-130)/(-18) + 1. Let k be 1/(-5) - (-32)/10. Suppose k*m - 1 = 3*i + 5, -3*i = -4*m + 10. Solve -4*n + j = -3*j + 4, -j = i*n + w for n.
-3
Let w = -105 - -108. Solve -17 = -5*s + 2*f, -w*s = f - 6*f + 5 for s.
5
Let q(a) = -a - 1. Let h be q(-5). Let c = -116 + 316. Let s be c/(-35)*(-14)/4. Solve 2*g - 5*j = -10*j - 25, 4*g = h*j + s for g.
0
Let i(a) = a**3 - 8*a**2 + 3*a - 12. Let r be i(8). Suppose -2*m - m + r = 0. Solve -j + 6*j = -m*b + 22, -14 = -j - 4*b for j.
2
Let d = -12 - -14. Suppose -2*o = d*v - 30, v = -3*o - 3*v + 44. Solve 5*r = 4*h - o, 2*h - 3 = 4*r + 5 for r.
0
Let p(h) = h**3 + 22*h**2 + 20*h - 17. Let k be p(-21). Solve -14 = -z + 5*u - 0, 0 = 2*z - k*u - 16 for z.
4
Let u be (-1)/(-3) - 44/(-12). Solve -2*r - 2*q - 6 = 0, 4*r - u*q + 7*q = -10 for r.
-1
Suppose 12 = 4*r + 4. Solve 2*t - t + 4 = z, 3*z = -r*t - 13 for t.
-5
Let d(q) = -q**3 + 6*q**2 - 6*q. Let j be d(4). Let v be (1 + 7)/(j/12). Solve 2*a + 2*u = v, 0 = 2*a - 0*u - 3*u - 2 for a.
4
Let w(r) be the third derivative of -r**4/24 + 2*r**3/3 + r**2. Suppose 2*h = -0*h. Let a be w(h). Solve -4*l = -a*d - 24, 0*l - 2 = d + l for d.
-4
Let s(k) = k**2 - 11*k - 8. Let p be s(12). Solve 2*t - 21 = -5*d + t, -t = p for d.
5
Let l = 1 + -8. Let g(u) be the first derivative of -u**4/4 - 2*u**3 + 3*u**2 - 3*u - 1. Let z be g(l). Solve -5*p + 3*y = 0, p = -z*y - 15 - 8 for p.
-3
Let r = -18 - -21. Solve -4*c - 32 = r*p, 0*p + 3*c + 27 = -3*p for p.
-4
Let d be 3/(-3)*8/(-20)*5. Solve 2*y = 2*s - 12, d*y + s + 1 = -5 for y.
-4
Let c(k) = -8*k + 32. Let j(o) = 3*o - 11. Let l(y) = -4*c(y) - 11*j(y). Let v be l(-12). Solve 4*b - 21 = -v*f, 0*b = -b + 4*f for b.
4
Let a = -34 + 70. Suppose 3*y + 3*w = -6 + a, -5*w = -2*y - 15. Solve y = m, -1 = -4*u + m - 26 for u.
-5
Let q(g) = -g**3 - 9*g**2 - g - 9. Let l be q(-9). Solve -5*n = o + 5, l = 2*o - 0*o + 2*n + 10 for o.
-5
Let g(r) = -3*r**3 - 2*r - 1. Let x be g(-1). Solve -5*k + 4*p + 20 = 0, -2*p - 10 = -7*k + x*k for k.
0
Let j = -82 + 84. Solve j*f = -2*q - 0 + 4, -q = 2*f + 1 for f.
-3
Let o = 27 + -25. Let z(d) = -d**3 + 2*d**2 + 2*d + 1. Let y be z(-1). Solve 0 = -o*s + 3*s - 2, 5*s = y*b + 8 for b.
1
Suppose -o + 2*p - 20 = -5*o, -4*p = 8. Suppose -l + 4*l = o. Solve f = -l*k - 0 - 2, 4*k + 5*f - 2 = 0 for k.
-2
Let k be ((-2)/(-4))/(13/52). Let c be ((-6)/(-4))/((-3)/(-4)). Suppose -3 = c*i - 13. Solve k*u = 8, -2*u - 2 = -i*g - 0*u for g.
2
Let s(k) = -k**2 + 10*k - 12. Let o be s(8). Solve -5*v - 2*p = -0*p - 20, -o*v + 2*p = -16 for v.
4
Let c(x) = x**2 + 8. Let j be c(0). Suppose 0 = 3*f + q - 12, f = 3*f - q - j. Solve 8 + f = -3*t + 2*a, 0 = -5*a for t.
-4
Suppose 0 = -4*p - 3*u - 27, 2*u - 6*u = -3*p - 14. Let y be (-4)/p - (-1)/3. Solve 5*n + 7 = -4*d, -d = -y - 1 for n.
-3
Let k be 156/60 + (-2)/(-5). Solve a + 2*o + o = 6, 2*a - k*o + 6 = 0 for a.
0
Let j be 4*(-2)/(8/(-9)). Let g be 3/(-15) - (-32)/10. Solve -i = -g*z - 2*z + j, 4*z = -4*i - 12 for z.
1
Suppose 0*u - 4*u = -12, m = 5*u - 14. Suppose -l - 9 = -3*v + l, v - 5*l - 16 = 0. Let g = v + m. Solve -8*s + 4*s - g = 3*q, -3*q + 5*s = 11 for q.
-2
Let v = -5 - -7. Let z = 3 - -3. Let b = z - 3. Solve 4*q = -l - 12, 4*l - 15 = v*q + b*q for l.
0
Suppose 4*p + 3*o = -o + 128, 0 = 2*p + 3*o - 69. Solve 2*u = 5*n + p, 2*u + 13 = -4*n + n for u.
1
Let y be 2/(-9) + 10/45. Suppose 3 = -y*b + b. Let a be 13/5 - 4/(-10). Solve 0 = o - a*o + s - 4, b*o = 5*s + 1 for o.
-3
Let q be 99 - -4 - (-1)/(-1). Let p be (-4)/(-18) + q/27. Suppose -p*n - n = -25. Solve -4*k + 8*k - 16 = a, -n*a = 4*k - 16 for k.
4
Let p be (-3 + 4 - 3)*-1. Suppose -7*x = -2*l - p*x + 19, -2*l + x = 1. Let z be (-33)/(-9) - (-2)/l. Solve 3*d = -2*o + 6, d + 4*o - z = 3*o for d.
0
Suppose 6*f = 5*f + 2. Suppose -2*a + 2*q = -3*a + 12, -3*a - 3*q + 24 = 0. Solve f*k = -4*l + 6, 18 = -a*k - k + l for k.
-3
Let j = -12 + 15. Solve 3*x = -3*u - j + 12, 21 = -5*x + 4*u for x.
-1
Suppose -5*o + 20 = -20. Suppose -12 = o*s - 12*s. Suppose 0 = -2*r + s*k - 1, 3*r - r + 3*k - 17 = 0. Solve 5*x + 3*l = r*l - 26, 2*x = -4*l - 6 for x.
-5
Let w(g) = -g + 15. Let m be w(11). Suppose -p = m*j - 12, -5*p = 2*j - p + 8. Solve -4 = v + 4*h, j*v + 7*h - 3*h - 8 = 0 for v.
4
Let v be ((-216)/90)/((-2)/5). Solve 4*z = -5*q - 18, q - 6*z + 2*z - v = 0 for q.
-2
Suppose -2*m = n + 3, 5*m + 5*n = -11 - 4. Solve -w + i - 7 = m, w = -w - 5*i + 21 for w.
-2
Let w be 9/(-27) - 16/(-3). Solve 3*q = -2*q - 5, 2*u + w*q + 3 = 0 for u.
1
Suppose 0 = -5*x - 25, x - 32 = -2*m + 5*x. Suppose -2 = -4*c + m. Let d be 2*(6/(-4))/(-1). Solve -7 = -3*y - 5*o, -c*y + d*y - 5*o = 9 for y.
4
Suppose -3*h - 4*y = -22, -1 = 4*y - 5. Solve -5*z = -4*b - h, 0*z - 2 = -b + 3*z for b.
-4
Suppose -16*u - 6 = -19*u. Solve 5*j - 16 = -u*x + 6, 0 = j - 4 for x.
1
Let i(w) = 3*w - 22. Let g be i(14). Solve k + k = 2*j - 10, -4*j + g = 3*k for j.
5
Let b(c) be the second derivative of c**5/20 - c**4/3 + 2*c**3/3 - c**2/2 + 14*c. Let l = 1 + 2. Let v be b(l). Solve 3*p + q = 4*q, -v*q + 20 = 3*p for p.
4
Let u be 2*2/(-4) - -3. Solve 5*q + 2*m = 23, 6 = -4*q + 5*m - u for q.
3
Suppose -2*b = 4*i + 8, -2*i = 4*b - 5*i - 17. Let x be ((-25)/15)/(5/(-15)). Solve -t + b*y = -9, -3*y = t + 11 - x for t.
3
Suppose 18 = d + o + 3*o, -d + 2 = -4*o. Let s be (-196)/d - (-6)/(-15). Let b = 40 + s. Solve -5*q = -3*w - 2*w + b, -5*w + 29 = 4*q for w.
5
Suppose 4*d + 0*d = -68. Let s be d/4 - 3/(-12). Let b be (-1)/1*-1 - s. Solve -b*l = -4*i + 5 - 3, -10 = 5*i for l.
-2
Let l(x) = x**2 + 8*x + 12. Let c be l(-6). Solve 0 = -2*j - 2*j - 2*t - 20, 4*j + t + 20 = c for j.
-5
Let l = 16 - 11. Solve 0 = -l*q - r + 2 + 7, 0 = q + 2*r for q.
2
Suppose 3*c - 2 = c. Solve 3*s - n = 4*s - c, -3*n + 4 = 2*s for s.
-1
Let g = 20 - 10. Suppose 0 = 3*o + o - 20. Suppose -o*z = 3*c - 25, c = -4*c. Solve -v = -x - 4*x + g, z*x = 4*v + 10 for x.
2
Let b = -4 + 12. Solve -3*w + 11 = -k, -3*w = -0*w - 4*k - b for w.
4
Let d(q) = 3*q + 3*q - 6 - 4*q. Let c be d(4). Solve 0 = c*b - 5*r + r - 14, 4*b = 3*r + 8 for b.
-1
Let u(h) = -2*h + 3. Let n be u(-3). Suppose -2*t + n = 3. Solve 2*q - 4*q = 6, 0 = -t*l - 4*q - 9 for l.
1
Suppose 4*d + 5*m - 55 = 2*d, 5*m - 15 = 0. Solve 4*f + 40 = -4*x, -3*f = -x + 2*f + d for x.
-5
Let k = -5 + 8. Suppose 0 = 8*m - 4*m - 16. Let x = 6 + 3. Solve k*y - y = -v - x, m*y + 3 = v for y.
-2
Let n be 3/(-6)*-1*6. Solve -5*i + 15 = -0*j + 3*j, -4*i + 12 = -n*j for i.
3
Let w be (-1 + 6)*4/10. Solve -w*f - 2*y = 14, -3*f + 13 = -7*f - y for f.
-2
Let y = -21 - -17. Let k be (0 - 0) + (y - -4). Suppose 1 = -s + 6. Solve s*z - 5 = k, -3*p + 4 = -2*z + 6*z for p.
0
Suppose -4*o = -s - 24, 2*o - 5*s = -4 - 2. Let j = o + -3. Let g be 48/j + (-2)/(-2). Solve g = 3*z + 5*k, -3*k = -z + 2*k - 29 for z.
-4
Let g be (-5)/5*38/(-2). Solve 5*j - 2*k = -g + 