cond derivative of x**4/4 - x**3/6 - x**2 + 3*x. Let l be d(-2). Solve -q - 14 = -3*c, -q - q + l = 2*c for c.
5
Let a = 1 + 1. Suppose -o = a*o - 45. Solve -5*c + 5 + 20 = -j, o = 3*c for j.
0
Suppose 3*i + 305 = -5*y + 41, 3*i - 6 = 0. Let x = -19 - y. Solve 5*u + x = 4*j, 3*j = 5*u - 3*u + 21 for j.
5
Suppose -2*q = 3*p + q - 15, 0 = q - 3. Let l = 0 + p. Solve 4*r + 7 = -l*k + 3*k, 0 = 4*k - 2*r - 14 for k.
3
Suppose j + 3*j = b - 1, 3*b = -2*j + 17. Let a be b*5*(-6)/(-15). Solve 5*k - 3*k = 2*l + a, 4*k + 5*l = -7 for k.
2
Suppose -4*a + 0*f = -4*f - 20, -a + 2*f = 0. Let w(n) = -n - 2. Let t be w(-5). Solve -g - t = 2*o + 2, 3*o + 4*g = -a for o.
-2
Let b be 8/(-7)*28/(-8). Solve 0 = b*d + 2*s - 12, d + 3*s + 9 = 2 for d.
5
Suppose 7*h - 2*h - 5*g = -345, -2*h - 141 = -3*g. Let p be (-2)/(-6) + h/(-18). Let u be 1/p*-2*-8. Solve -3*j = -0*s + s - 6, -s - 1 = -u*j for s.
3
Let a(b) = -b**3 - 9*b**2 - 2*b - 13. Let t = 3 + -12. Let z be a(t). Solve -12 = -d - 2*k, -3*k = z*d - k - 20 for d.
2
Suppose l = 5*h + 17, 0 = -l - 3*h - 0 - 7. Solve -2*m + 7*m = -3*g, -16 = 2*m - l*g for m.
-3
Let m = -28 - -33. Solve 25 = 5*f - 0*f - d, -45 = -5*f + m*d for f.
4
Suppose 0 = -i + 3 - 1. Suppose -3*s + 4*k = -101, 0*s + k = i*s - 69. Let f(t) = -t - 8. Let l be f(-12). Solve 0 = -5*c + q - 15, -l*q + s = 15 for c.
-2
Let n = -1 - -3. Solve n*u + 6*z + 19 = 3*z, u - 4*z = 18 for u.
-2
Suppose 0 = -5*r + 4*r + 5. Solve f + r*k - 2*k = 5, 2*f - 2*k = -6 for f.
-1
Suppose -4*s = -4*n - 28, -2*s + n + 8 = -3. Suppose -d - 2 = -s. Solve -3*o - 3 = d*x + 10, -5 = 2*o + 5*x for o.
-5
Let i(x) = -6*x + 3. Let n(u) = -11*u + 5. Let z(a) = -5*i(a) + 3*n(a). Let m be z(-3). Solve 5*y - 2*p - p = -6, 0 = -3*p - m for y.
-3
Suppose u + 1 = -1. Let x = u - -6. Solve -l = -2*v + 7*v - 19, -x*l = v - 19 for v.
3
Let w = -2 - -4. Solve -5*v + 3*m + w*m - 25 = 0, 4*v = -5*m - 20 for v.
-5
Let q be (-45)/(-6)*2/3. Suppose 2*z + 4*b - 30 = -b, z - 12 = -4*b. Suppose -z = -4*m - 8. Solve -x - 30 = -q*x - 5*j, -5*j - 5 = -m*x for x.
5
Let b(r) = r**3 - 5*r**2 + 2*r - 5. Let q be b(5). Suppose -12 = -3*f, -2*a - q*f + 16 + 16 = 0. Solve -3*h + i = a*i + 35, 4*h = -2*i - 28 for h.
-5
Suppose -29 = -5*a + 4*z + 12, z = -5*a + 21. Solve 0*v - 3 = -v, 0 = -5*b + a*v - 10 for b.
1
Let v be 0 - (2 + 2/(-1)). Let z = v + 3. Let p(b) = 4*b + 8. Let d be p(6). Solve 0 = -4*a + a - z*g, 4*a - 4*g = -d for a.
-4
Suppose k = 3*j - 5, 12 + 13 = 5*j. Let v be 16/k + 2/5. Solve -l = -v*d - 0 + 1, -5*l - 4*d + 23 = 0 for l.
3
Let s(c) = -c - 4. Let o be s(-6). Suppose -5*m + 19 = -o*h, 4*h + 4*m - 5 = 27. Solve -5*y + 4*u + 21 = 0, -h*u = 3*y + u + 13 for y.
1
Suppose 5*t + 2*x = 31, 23 = 4*t + x - 0. Solve p + 14 = -0*p - t*y, 3*p + 2*y + 16 = 0 for p.
-4
Let w(m) = 2*m - 5. Let f be -1 - (1 - 8) - 1. Let b be w(f). Let y = -19 + 22. Solve 0 = b*v - 3*z + 11, -2*v + y - 13 = -4*z for v.
-1
Let r be (-116)/(-8) + 3/2. Let z be -2 + 1/(4/r). Solve 3*t = -4*p - 2, z*t + 6*p = 2*p for t.
-2
Let k be (-3)/6*-2*4. Solve -5*c - 3*j = 9, j + 1 + 2 = -k*c for c.
0
Let u(s) = -s**3 + 4*s**2 + 5*s + 2. Let x(j) = -j**2 - 10*j - 4. Let b be x(-9). Let w be u(b). Solve -w*y = 0, -5*l + 4*y - y = -25 for l.
5
Let u(h) = h**2 + 7*h - 6. Let d be u(-6). Let c = d + 17. Solve -c*f = -5*i, -2*f + 5 = -3 for i.
4
Suppose -f - 40 = -44. Solve 2*n = -4*y + 18, -2*y - n = f*n - 21 for y.
3
Let q be 2/4 - (-34)/4. Suppose 0 = 5*t + 4*i - 14, 2*i = -4*t - 2*i + 12. Let n be t/3 + 16/12. Solve 0 = 2*c + n*w + 2, 3*w + q = -0 for c.
2
Suppose -c + i - 6 = -2*c, -12 = -2*c - 4*i. Solve 4*z + 6*n - 6 = n, -5*n - c = z for z.
4
Suppose -c - 130 = -4*c + 5*p, 4*p - 139 = -3*c. Let i be (-1)/(-2 - (-87)/c). Solve 3*t - 12 = 3*f + t, 3*f - 3*t + i = 0 for f.
-2
Suppose 4*y = 2*q + 2, 4*y - 5*y = -3*q + 12. Suppose -j - 10 + 0 = q*w, j = 2*w + 11. Solve 3*n - 6 = 3*x, 2*n + 36 = -j*x + 5 for x.
-5
Let v = 8 + -6. Suppose 0 = -s + 4*t + 25, s + t + v*t - 4 = 0. Let p(q) = q**3 + q + 14. Let c be p(0). Solve -3*d - s = -5*w + 3, w + 3*d = c for w.
5
Let z = 12 + -9. Suppose 2*t + 2*u - 14 = 0, z*t - 2*u - 2 = t. Solve -5*f - t = g, g + 7*f = 3*f - 4 for g.
-4
Let f = 1 + -3. Let k be f/7 - 384/(-21). Let h be 3/(-4) - 69/(-12). Solve 4*z - z - 3*u + 9 = 0, 0 = 2*z - h*u + k for z.
1
Let d = -70 - -72. Solve -5*a = -3*f - 2, 2 - 6 = d*a for f.
-4
Let n be 52/(-16) + (-1)/(-4). Let y be (-9)/n - (2 - 3). Suppose 3*d = 4*s - 17, y = -4*s + 2*d + 22. Solve 2*c + c = s*b + 11, -3*c + 6 = 0 for b.
-1
Suppose -4*c + c = -45. Let a be 12/c*10/4. Solve -5*n - 3*m - 14 = 0, 4 = 3*n - a*m + 1 for n.
-1
Let n(c) = c**3 - 5*c**2 - 5*c - 2. Let g be n(6). Solve -g*d = 5*u - 3*u + 2, 4*u = -4*d + 4 for u.
3
Suppose 3*j + 2 = 20. Let s be (8/10)/((-1)/10). Let h = 13 + s. Solve -2*l = w + 1, 0*w = w - h*l - j for w.
1
Let c be -2 + -27*(-6)/9. Let s = c - 10. Solve -2*t = 2*p, -s = -4*p + 5*t + 21 for p.
3
Suppose 2*j - 59 = 27. Let s = j - 3. Solve -3*q - q = -4*t - s, -4*q + 5 = 3*t for q.
5
Suppose -2*r + 0*r = 4. Let k be (-1)/r*6 - -3. Let f be 1 + k + (12 - 10). Solve -f = 2*w + 3*m, 5*w + 17 = -3*m + m for w.
-3
Let m(q) = -q - 1. Let a be m(-6). Let o = 0 + a. Solve 5*y = h + 7 + 3, o = -h for y.
1
Let s(v) = -6*v**3 - 2*v**2 - 3*v - 3. Let h(o) = o**3 + o + 1. Let j(f) = 5*h(f) + s(f). Let x be j(-3). Solve -3*d = -5*k + k + 7, -x*k = 4*d - 32 for k.
4
Let m = 9 + -15. Let v(z) = z**2 + 6*z + 2. Let b be v(m). Let f be 1/((-1)/(-1)) - -2. Solve 6*u + b*w + 5 = u, f*w = u + 18 for u.
-3
Let n be (0 - (-15)/18)*6. Let k be (n + -4)*(3 - 3). Solve k = -4*t - 5*j - 0*j + 5, 0 = 4*t - 5*j + 5 for t.
0
Let m(x) = 2*x + 5*x - 5 - 2*x. Let j be m(6). Solve -r + n = 9, r - 6*r + n = j for r.
-4
Suppose 2*l - l - 4 = 0. Suppose 2*m - 4*p = 60, 29 + 1 = m - l*p. Solve -4*d = 4*k + k + m, -13 = 4*k + d for k.
-2
Suppose 2*w + 7*t = 2*t - 10, -4*w = 4*t + 8. Suppose w = -3*c + 6*c - 12. Solve -4*j - 7 = -3*z, 5*j - c + 15 = 3*z for z.
-3
Let t(r) = -2*r**2 - r + 1. Let h be t(-1). Solve h = 3*q + 9, -3*b - 3*q - 18 = q for b.
-2
Let c = 16 + -23. Let m be (-2)/(-7) + (-33)/c. Let o = -40 + 61. Solve f - 22 = 5*k - 3*f, 3*k - m*f = -o for k.
-2
Suppose x + 1 = -17. Let k be (-4)/2*x/4. Solve 2*l - 1 = h - 0, -k = -3*h for l.
2
Let y = 1 - 1. Let v be (y + -3)*6/(-9). Suppose -2 = 2*i - 8. Solve 0 = 4*s - 3*z - v - 30, -11 = -i*s - z for s.
5
Let c(k) = 3 - 1 - 4 + 1 + 6*k. Let w be c(1). Solve -2*s + 2 = 0, 7 = -0*n - w*n + 2*s for n.
-1
Let x = 62 + -59. Solve 0 = 4*s - x*z + 9 + 7, -2*z = 0 for s.
-4
Let n be (-2)/(-4) + 3/2. Suppose 2*k + 4*k - 30 = 0. Solve l - 5*l - n*z - 14 = 0, 3*l + 21 = -k*z for l.
-2
Suppose 4*g - 24 = v, 0 = -g + 3*v + 21 - 4. Suppose 5*o - 2*o = g*k + 16, 37 = 5*o + 2*k. Solve 2*c - 3*b = 1, -3*c + b + o = -4*c for c.
-4
Suppose 2*a - a = 0. Suppose -p - 3 + 5 = a. Let r be 4*2/(-8) - -6. Solve 3*n = p*n + 2*k + 7, r*k = -20 for n.
-1
Let y be 6/15 - (-6)/(-15). Suppose 2*b = -y*b. Let w(c) = 7*c**2 - 2*c + 1. Let h be w(1). Solve -2*i = -5*x - b*i + h, -5*x + 12 = i for x.
2
Suppose a - w = 3, 5*a - w - 3 = 8. Suppose a*i = -0*i + 10. Solve u + 3*f = i, -3*u + 3*f = 2*f - 5 for u.
2
Let j = -5 + 2. Let g be 0/(-2) + (22 - j). Solve -3*h - g = v - 9, 0 = v + 4*h + 20 for v.
-4
Suppose -1 = 2*g + z - 40, -4*g = -3*z - 83. Suppose b - g - 5 = 5*d, 2*d = b - 13. Solve -2*v - b*c = 2*v - 14, v + 3*c - 7 = 0 for v.
1
Let a = 10 + -4. Suppose -3*p + a*p - 15 = 0. Solve 5*v - 5*y - 27 + 7 = 0, -p*v + 2*y = -14 for v.
2
Let m = -4 - -9. Let a be 3/(-5) - (-13)/m. Suppose 2*r + 2*j = 4, 2*j + 2 = r - a*j. Solve 5*p + 5 = 5*w, -r*p - 3 = 3*w - 16 for w.
3
Let x = 0 - -5. Suppose 0 = x*n + 4*r - r - 6, 6 = -2*n - 4*r. Solve 3*f + 13 = -b, -f - n*b = -2*b + 3 for f.
-5
Suppose 0 = -4*i - 0*i + 36. Let z = -6 + i. Solve 2*j + 24 = 4*m + 4, -j + z*m = 13 for j.
-4
Let h be ((-2)/3)/(3/(-27)). Solve k = -5*v + 15, -3*k = -k - 2*v + h for k.
0
Suppose -5*q = -6 - 54. Let f(x) = x - 7. Let j be f(q). Solve z = -4*w - z + 2, 0 = -2*w - j*z - 19 for w.
3
Let i(j) = -j + 2*j - 3*j + 3*j. Let s be i(0). Solve 14 = 4*g - 2*o, -5*g + 3*g + 5*o - 5 = s for g.
5
Let z(s) = 2*s - 7. Let q be z(6). Suppose -4*w = 13 + 123. Let b be (