x*i + 8 for c.
3
Let c(k) be the second derivative of -k**5/20 + k**4/6 - k**2/2 - 3*k. Let v be c(1). Solve -4*s - z - 2 = -v, -5*s = 3*z + 6 for s.
0
Suppose 0 = 3*t + t - 16. Suppose -23 = -t*d + 1. Solve 3*m - 3*s - 6 = 0, -2*m = -4*s - 16 + d for m.
-1
Let i = -63 + 65. Solve -2*o = 3*o - 2*p - 7, 1 = -o - i*p for o.
1
Suppose -2*k - 5*j = -11 + 1, -6 = -5*k - 3*j. Solve q + m = k, m + m + 4 = 0 for q.
2
Suppose 2*l = 5*l. Solve -3*s - 7 = 2*b, 11 = -5*b - s - l*s for b.
-2
Let t(r) = r**2 - 7. Let x be t(3). Solve -x*a + 16 = -3*n, -3*a + 1 = -3*n - 4*a for n.
-2
Let u = 2 - -1. Solve 0*n + 5*k - 25 = 5*n, 0 = 2*n + u*k - 5 for n.
-2
Let n be (0 + -1)*0 + -6. Let o = 5 + n. Let l be (3/6)/(o/(-6)). Solve i + 6 = -3*v, -l*i + 4*v = -4*i - 8 for i.
0
Let q be 1/(-2) - ((-828)/(-8))/(-9). Solve 0 = -5*a - 4*p - 32, q*p - 6*p + 15 = 0 for a.
-4
Suppose 6*d - 15 = -3. Suppose 0 = 3*v - 2*v - 1. Let f be -5*(v - d)*1. Solve 0 = 2*o + 4*n - f*n + 3, -2*n = 3*o + 8 for o.
-2
Let d = 12 + -19. Let b = 12 + d. Solve 4*r + 30 = -5*p, 4*r - 5*p = -b - 5 for r.
-5
Let u be 36/16 - (-7)/(-28). Solve u*t - 20 = 5*t - 2*b, -28 = 5*t - 2*b for t.
-4
Let d(b) = -b**3 + 4*b**2 + 4*b + 1. Let i be d(5). Let c be (-14)/i + 3/6. Solve -c*r + 2*r = -2*h - 10, -3*r = h - 15 for h.
0
Let f be 12/8 + (-3)/(-2). Solve -j - 9 = r, 0*j = -4*r + f*j - 8 for r.
-5
Let v be 2 - (-6 + 2 - -2). Let f be ((-40)/(-20))/(4/18). Solve -f = -2*k - 3*s - 1, -v = -k + 3*s for k.
4
Let t be (0*(-2)/4)/(-2). Suppose 4*o - 16 = -4*z, -5*o = -t*o + 2*z - 14. Solve 3*i + o*v + 6 = 4*v, -4*i - 2*v - 8 = 0 for i.
-2
Let g = 10 - 7. Suppose k - 15 = 5*q, 2*q - 11 = -g*k - 0*q. Suppose h = -4*h + 10. Solve -h*c - k*v - 30 = 0, 6*c = c + 4*v - 9 for c.
-5
Suppose -3*c - t = -9, -c = -5*t - 0 - 3. Suppose 15 = 3*o - g, -o - g = c*o - 13. Solve -o*v + 5*z + 11 = 0, 3 = 3*v + z - 3*z for v.
-1
Suppose 11 - 35 = 2*w. Let n be (-21)/(3/w*6). Solve -3*m + 6 = -4*d - n, -m + d = -5 for m.
0
Let r = -2 + 0. Let x = r + 2. Solve x = -4*k + 2*d + 18, 0 = -4*k - 0*k - 5*d + 25 for k.
5
Let g be (-4)/22 - (-711)/99. Let m = g + -5. Solve 2 = m*y - 0*y - 5*v, 10 = -5*v for y.
-4
Suppose -5*s - l + 15 = 0, -31 = -5*l - 6. Solve 4*n = -k + 12, -s*n + 3 + 3 = 3*k for n.
3
Let d(n) = -2*n + 4. Let l be d(1). Solve 4*m = -4*b - 12, 5*m - 5*b = 3 + l for m.
-1
Let i(x) = -x**3 + 7*x**2 - 6*x + 4. Let f = 19 - 13. Let j be i(f). Solve u = -k + j, 5*u - 1 = -4*k + 16 for u.
1
Suppose -20 = -2*f - 3*f. Suppose -t = 6*h - 2*h + f, 4*h + 20 = 0. Let r be 1/4 - (-60)/t. Solve 3*s = r*u - 31, -s - u = 3 - 2 for s.
-5
Let b(k) = 3 + 4*k**2 + k - 4*k - 3*k**2. Let d be b(4). Let r = -1 - -1. Solve r = g + v - d, g + 1 = -g + 3*v for g.
4
Let g be 10/2*(-342)/(-95). Solve -2*w + 22 = -2*f + 2*w, -2*f - g = -3*w for f.
-3
Suppose 0 = q - 3 + 2. Solve o = 2*c - q - 3, -4*c = 3*o + 2 for o.
-2
Let i(l) = l**3 + 12*l**2 + 11*l + 5. Let z(m) = 2*m - 5. Let y be z(-3). Let b be i(y). Solve 18 = -5*n - 2, 23 = -3*s - b*n for s.
-1
Let n(m) = m**2 + 7*m + 6. Let j be n(-4). Let f be 4/j + (-22)/(-6). Solve f*g - 1 = -3*u - 7, g = 0 for u.
-2
Let c be (-4)/(3 - (-12)/(-3)). Suppose c*t - 5*t + 4 = 0. Solve -2*x + 4*h = -7*x + 13, x = -t*h - 7 for x.
5
Let n(o) = -o - 8. Let u(m) = 12*m + 1. Let w be u(-1). Let x be n(w). Let l be (x - 0)*(-56)/(-12). Solve 2*f = -i - 2*f + l, -5*i + 3*f = -1 for i.
2
Let g(s) = -s**3 - s + 2. Let m be g(0). Solve -m*p = -3*d - p - 5, -p - 5 = 2*d for d.
-2
Let m be ((-1 - -5)/(-2))/(-1). Let j = 11 + -7. Suppose -3 = -3*p, j*p = -4*f + 71 - 15. Solve -n - 5*k + m*k - 6 = 0, 4*k = -3*n - f for n.
-3
Let t(z) = -z**2 + 9*z - 5. Let m be -6*((-15)/(-9) + -3). Let n be t(m). Solve -2*c + 2*l = -4, -n*c = -l - 1 - 1 for c.
0
Suppose 5*v + 44 = 2*d, -5*d + 2*d + 30 = -3*v. Let h = 26 + v. Solve -2*s = -5*c + 18, 5*s - c = s - h for s.
-4
Suppose 0 = 4*d - 2*r + 82, -44 = 2*d - 0*r - 4*r. Let t = d + 40. Solve c - 2*c = 2*m - 1, 0 = 5*c - 5*m - t for c.
3
Let c(t) = 2*t + 15. Let v be c(-7). Suppose -9 = -4*z - v. Solve z*f + l + 6 = 15, 2*l - 16 = -3*f for f.
2
Let u(m) = 6*m + 1. Let p(z) = -z - 1. Let d(s) = 5*p(s) + u(s). Let l = 3 + 5. Let r be d(l). Solve 2*t - r*w = t + 8, -t = -w - 5 for t.
4
Let w(u) = -u**3 + 4*u**2 - 4*u + 5. Let k be w(3). Solve 5*m - 3*z + 25 = -4*z, -z - 13 = k*m for m.
-4
Let a(s) = s + 1. Let d be a(2). Let n = 11 - 8. Let o be 1 - 1/(1 + -2). Solve n*h - 2*h - 4 = -d*r, o*h = 2*r for h.
1
Suppose 10*r = 15*r - 20. Solve 2*n + 3 = n, c - r*n = 10 for c.
-2
Let w be 0/8 - (-1 - 2). Solve 10*d - 5*d - 11 = y, w*y + 2*d = 1 for y.
-1
Suppose -4*u - 2*q = -q - 21, 3*q - 8 = -u. Solve -3*v + 4*v = -m - 7, -4*v - u*m = 33 for v.
-2
Let v(l) = -16*l**2 + l. Let d be v(-1). Let c = 10 - d. Solve -4*t - o - c = -4*o, -4*t - 22 = -2*o for t.
-3
Suppose -4*d + 48 = -7*r + 3*r, 5*r - 2*d = -54. Let x be 18/(-45) + (-4)/r. Solve x = -5*p + 4*b + 11, 3*p + 4*b = -0*b - 19 for p.
-1
Let g = 18 - 11. Let r = -1 + g. Solve -z + 3 + 4 = -5*h, 2*z - 2*h - r = 0 for z.
2
Let l(q) = q**3 - 5*q**2 - 5*q - 1. Let j be l(6). Solve 5*m = -3*y, -4*y + j*m + 31 + 4 = 0 for y.
5
Let k(v) be the first derivative of 4 + 1/2*v**2 - 3*v. Let u be k(5). Solve -4*h + 11 = n, -h - h - u*n = -10 for h.
2
Let b be -3 + (3 - 1) - -3. Solve -b*p + 0*k - 4 = -2*k, 3*k = -9 for p.
-5
Let k = -3 - -4. Let q(r) = 26*r + 1. Let h be q(k). Solve h = -3*m - 5*b, 0*b + 6 = -2*b for m.
-4
Suppose 0 = -0*k + 4*k - 8. Let a = k - -3. Let s be (-6)/a*240/(-18). Solve -32 = -3*n - 4*d, 3*d = n - d + s for n.
4
Suppose -2*p - 10 = 0, 0*m = -m + 4*p + 36. Solve 4*s = 4*b - m, -4*b + 3*s = -0*s - 14 for b.
2
Let b be (-5)/(-3) + (-2)/(-6). Let a be (-1 - 1 - -2)/b. Let j(f) = f + 17. Let l be j(-8). Solve a = -3*d - s - 16, -4*d = -l*d - s - 26 for d.
-5
Let u(l) = l**2 - 2*l - 3. Let p be u(5). Solve w - 5*w + 2 = -5*v, 3*w + 3*v + p = 0 for w.
-2
Let m be 2/4*(-23)/(184/(-96)). Solve -n = 4*n - 15, m = -3*w + 5*n for w.
3
Let z(n) = n - 3. Let i be z(5). Suppose -i*v + 4*x + 26 = 0, -3*v + v + 3*x + 21 = 0. Solve 2*h = 3*o + 16, 0 = o + v*o - 2*h + 18 for o.
-2
Let r be (-2)/11 + 10/55. Suppose 5*z = -2*k + 110, 3*z + 5*k - 15 - 32 = r. Solve 2*f = 4*l - 14, -5*f - z = -l + 2*l for l.
1
Let p = 6 - 7. Let u = p + 1. Solve u = -2*f + 2*n - 4, 3*f - 5*n = -16 - 0 for f.
3
Suppose -4*c - 2*x + 2 = 0, 3*c - 2*x = 10 + 9. Solve j + 0*j = -t - 3, c*j + 5*t = -19 for j.
2
Let u be (-1 - -9) + (-4)/2. Let b be ((-30)/25)/(u/(-40)). Suppose 0 = f - 3*f + b. Solve 3*v + 31 = 4*d, -v + d = -f*v - 11 for v.
-5
Let z = -132 + 137. Solve -2*x + y + 0*y = 0, 20 = -z*y for x.
-2
Let c = -14 + 23. Let s(y) = -y**2 + 12*y - 6. Let j be s(c). Solve 3*h + w + j = -2*w, -2*h + 2*w + 6 = 0 for h.
-2
Let b(y) = -y**2 - 5*y + 27. Let h be b(-8). Solve -5*u = -o + 16, o + 16 = -h*u - 0 for u.
-4
Let n be -46*-2*2/8. Let o = n - 18. Solve -3*j = -3*h - 6*j, o*j - 1 = -4*h for h.
-1
Let n(z) = z**3 - 6*z**2 + 5*z + 4. Let f be n(5). Let l = 18 + f. Solve 2*d - 4*w + l = 0, 9 + 6 = 5*w for d.
-5
Let t(k) = -k**2 + 11*k + 11. Let z be t(7). Solve 3*g = 4*a - z + 11, 2*g = 4*a - 24 for a.
4
Suppose -10*k + 8*k + 32 = 0. Solve -4*t + k = 3*n + 1, 2*n - 11 = -3*t for n.
1
Let a(j) = 4*j**2 + 1. Suppose -2*f - 5 = 3*f. Let w be a(f). Solve 3*b = -w*g - 27, 5*g - 2*b + 4 = -3 for g.
-3
Suppose j + 4*a + 3 = 0, -5*j + 18 = 5*a + 3. Let t = 42 + -22. Suppose -2*v - s = -t, 4*v - 16 = -s + 22. Solve -d = -5*d - j*f + v, -5*f = -25 for d.
-4
Suppose -2*k + 12 = k. Solve -4*d + 2*n - k = 12, 0 = 4*d + 2*n + 16 for d.
-4
Suppose -2*y + 0*m + m = -6, 2*y - 5*m = 6. Suppose -y*n = n + 16. Let v be (-6)/n - (-15)/(-10). Solve k + 4*l = 3*k - 2, v = l for k.
1
Let q(p) = -3*p + 11. Let d be q(3). Solve -d*c = -3*b - 6, 5*c + 15 = -0*c for b.
-4
Let d = 6 + -5. Solve 3*m - 7 = -2*v - 0, v = -d for m.
3
Suppose -4*i - 3 + 15 = 0. Suppose 0 = -i*j + 2*j + 2. Let w be 3*((-3)/(-4) - (-3)/(-36)). Solve -2 = -j*m - 2*k, w*k + k = -6 for m.
3
Suppose -5*g - 19 = -3*s, 2*s - 3*s = g + 7. Suppose 0 = -j + 36 - 10. Let l be j - (-4)/(s/(-1)). Solve 0 = 5*k - m + 7 + 11, -4*m - l = 5*k for k.
-4
Suppose -d + 0*d - 1 = 0. Let g = 0 + d. Let y = g - -3. Solve -m = 2*m 