4*l - 6*l + 6. Suppose -l*x = -0*x - 12. Solve x*u = -12, u + 7 = 3*a - 11 for a.
5
Let x(k) be the third derivative of k**5/60 + k**4/24 - k**3/6 - k**2. Suppose 3*r - 16 = 7*r. Let d be x(r). Solve s - 5*g = -28, 3*s + 2*g - d = -2*g for s.
-3
Let k = -90 + 92. Solve 5*b = 5*u - 25, 10 = -3*u + k*u - 4*b for u.
2
Suppose 3*h + 1 = 2*h. Let q = h - -5. Solve f = 2*k, -3*f - 2 = -q*f + k for f.
4
Let m be 7/6 + (-11)/66. Suppose 3*q + m = 7. Solve -3*y - 3*b = 7 - 1, -5*b - 10 = -q*y for y.
0
Let c(g) = 19*g**2 + g. Let a be c(1). Let y = -3 - -7. Solve -y = -b, 4*b - a = 3*j - 2*j for j.
-4
Let k = 15 - 10. Solve -9 = -3*c, 5*c - 11 - k = d for d.
-1
Let n(z) = -2*z - 2. Let h be n(-2). Let c be -2 - -3 - 1 - -5. Let w be c/(-2)*6*-1. Solve -h*k + 6 = 2*q, -w = -2*q - q for k.
-2
Suppose 4*k - 4*q - 18 = -2*q, -3*k - 2*q = 4. Suppose 3*l - 3 = -o - 10, 29 = 5*o - l. Solve 15 = -5*d + 2*j, k*d = 7*d + o*j + 50 for d.
-5
Let v(x) = x - 8. Let p be v(7). Let s = 1 - p. Suppose s*h = -2 + 8. Solve -4*f + 3 = h*c, -2*f + c - 7 = 4 for f.
-3
Let y = 48 - 40. Solve r + 3*l = -9, 4*r - 2*r + l = -y for r.
-3
Let k be (-671)/(-44) + (-3)/(-4). Suppose -o = -2*o + k. Solve n + 16 + 9 = 5*x, 0 = -4*x + o for n.
-5
Let g be (-18)/(-10) - 3/(-15). Suppose -2*x = -3*u + 19, g*u - 1 = -x + 7. Solve 2*k - 13 = -3*r, -r - 3*k + 21 = u for r.
1
Suppose 2*w + 5*r - 29 = 0, 0*w + 12 = w + 2*r. Solve 10 = -5*u, -9 = -w*t - u - 1 for t.
5
Let y be -3 - (2 - 10)*1. Let i = 0 + y. Let q = 0 - -3. Solve -4*k - q*c + i*c + 18 = 0, 20 = 3*k + 5*c for k.
5
Let h(m) = 3*m + 2. Let k be h(2). Let o be (4*1)/(4/k). Suppose 0*r - 2*r + o = 0. Solve -5*j - 30 = -5*d, 0 = -2*d + r*j + j + 24 for d.
2
Suppose 0 = 5*o - 61 + 11. Solve o = -5*f + 5*a, 0 = -a + 9 - 4 for f.
3
Let t(c) = 6*c - 2. Let v(l) = 7*l - 2. Let u(j) = -6*t(j) + 5*v(j). Let d be u(4). Let w be 7/3 - d/3. Solve -1 = -s + z - w, -s = 2*z + 5 for s.
-3
Let r(y) = -y**3 - y**2 - y. Let c = 2 - 3. Let l be r(c). Let f be 2*(2 - l) + 1. Solve f*k + 3 = -2*n - 2*n, 2*n = k + 1 for k.
-1
Let o be (0 - -2) + (-9)/(-1). Solve 4*n - o = -3*h - 0*n, 0 = 5*h + 3*n for h.
-3
Let r(m) = 4*m - 19. Let z be r(16). Let y = z + -24. Solve h - 5*o + y = 0, -5*h + 0*o + 4*o - 21 = 0 for h.
-1
Let w be 596/28 + (-4)/14. Suppose -h + 2*h = w. Suppose 6*z = 3*z + h. Solve g = -2*g + 5*q + z, 3*q = -6 for g.
-1
Let o = -4 - -4. Suppose 2*m + 3*m - 135 = o. Let s be ((-16)/6)/((-6)/m). Solve -5*r = -2*r + s, 4*a + 4*r + 24 = 0 for a.
-2
Let t = -12 + 16. Solve -5*h - j - 24 = 0, t + 16 = -2*h - 3*j for h.
-4
Let o be (-60)/(-18)*9/5. Let r = -1 + o. Solve -j - 6 = -3*h + 5, -r*j = -2*h + 16 for h.
3
Let y = -2 + 10. Let c = y - 5. Solve 4*i = -c*w + 17, -2*w = 4*i + 2*w - 20 for i.
2
Suppose 4*d - 4 = 4. Let t(k) = k**d + 2*k**2 + 1 - k**2 - 3*k. Let s be t(2). Solve 2*y - 3*f - 20 = 0, -3*f = s*y - 2*f - 8 for y.
4
Let c = 12 + -10. Solve -4*m = -5*x + 19, x = c*m - 5*m for x.
3
Let i(x) = x - 13 - 3*x + 17. Let y be i(-5). Let q be (-148)/(-28) - 4/y. Solve q = -4*m - 5*c, -5*c = -2*m - 0*c + 35 for m.
5
Let i(u) = -2*u + 23. Let g be i(10). Solve 0 = -4*k - 3*l - 15, k - g = 3*k - 3*l for k.
-3
Let q = 10 + -7. Suppose -q*o + o + 4 = 0. Let f be (-15)/(-21) - (-2)/7. Solve -o*d - 2*x + 1 = -f, d - 7 = x for d.
4
Let q = -48 + 57. Solve 0 = -3*l + q, a = -a - 4*l + 12 for a.
0
Let b(c) = 2*c**3 - 4*c**2 + 2*c + 2. Let y be b(2). Let j be (-1)/2*-1*y. Solve -5*i + 0*i - 20 = j*u, 2*u = 0 for i.
-4
Let w = 9 + -6. Solve 0*v + 10 = h + w*v, -h = -4*v + 11 for h.
1
Let y(t) = -t**3 - 2*t + 11. Let r be y(0). Solve j = -5*l - 12, -10 = -3*j + 4*l + r for j.
3
Let u be 7 - (5 + -2 + 1). Suppose 2*x - 3 = u. Solve 2*l + x*k = -2*k + 16, l = k - 6 for l.
-2
Suppose -5*s = -10*s - 4*c + 3, 4*c = -4*s. Solve s*u + l = 8, -5*u + 36 = -0*u - 4*l for u.
4
Let v be 6/(-4)*(-14)/3. Let i(n) be the second derivative of n**3/6 + 7*n**2/2 - n. Let z be i(v). Solve -4*l - c + 15 = 0, 0*l - z = -3*l + 2*c for l.
4
Let f(u) = u**3 - 5*u**2 + 5*u. Let g be f(4). Suppose s + 0*s - g*j + 2 = 0, 0 = 5*s + 3*j - 13. Solve 0 = -3*y - 2*w + 6, y + 10 = 6*y - s*w for y.
2
Let r(s) = -s**2 + 4*s + 3. Let l be r(4). Suppose -4*a + h - 8 = -0*h, 16 = -4*h. Let x = a + l. Solve -2*o + 9 = 5*k - 11, x = 5*o for k.
4
Suppose 2*h = -10, 2*x - 7*x - h + 15 = 0. Suppose -56 = -x*a - l, l = -2*a + 29 - 1. Solve 4*p + 4*n = -a - 2, -20 = 5*p + n for p.
-4
Let g be 2 + -1 + -2 - -49. Suppose -u + 5*u = g. Let j = 25 - u. Solve 3*o - 2*y = j, 23 = o + 2*o - 4*y for o.
1
Let r(v) = 3*v**2 + 3*v - 3. Let z be r(1). Solve -4*c = -x - 8, -z*x - 4*c + c + 21 = 0 for x.
4
Let d(p) = -p**2 - 10. Let t be d(0). Let c be 70/22 + t/55. Solve o + 1 = -c*r - 13, o - 6 = r for o.
1
Let a = 5 - 39. Let k = -14 - a. Solve x + 2 = -2, 4*h + 4*x + k = 0 for h.
-1
Suppose z + 0*z = 45. Suppose f = 3*k - 2*f + z, 3*f = 5*k + 65. Let b be ((-6)/k)/(3/15). Solve -x + 2*y - 3 = 0, b*y - 3 = 2*x - 0*y for x.
3
Let i = 8 + 20. Let b = i + -21. Solve 4*x = -4*p - 16, b*x - 2*x - p + 20 = 0 for x.
-4
Let d = -32 - -32. Solve -u + 2*z = -9, d*z + z = -5 for u.
-1
Let i be ((-4)/(-5))/(-4 - (-164)/40). Solve 0*h - 2*h = -2*q + i, -q = h for h.
-2
Let b be -3 + (-3 - 2)/(-1). Let t = b - -1. Solve -j = 4*i + 7, -2*j + 0*j + t*i = -8 for j.
1
Let o be (-128)/(-7) + (-2)/7. Let l = 20 - 8. Let r = l - 8. Solve 3*y - v + o = 0, 0 = -2*y + v + r*v - 25 for y.
-5
Suppose -2*w + 6*w - 24 = 0. Suppose 3*m = -3*h + 1 + 5, 2*h + 5 = m. Let q be -5*((-6)/5)/m. Solve -2*l = -3*l + i + w, -5*i + 5 = q*l for l.
5
Suppose -6*p + 14 + 4 = 0. Solve 12 = 4*u - p*d, -u + 0*d - 2*d - 8 = 0 for u.
0
Suppose -l = 0, 15 = 5*m + 2*l + 3*l. Suppose -4*h + h - 22 = -5*k, 0 = 4*h + 16. Solve -11 = j + k*i - 2, -m*j + 5*i = -17 for j.
-1
Suppose -2*w - w - 9 = 4*l, 0 = 5*w - 3*l - 14. Let r be (w/3)/(2/6). Solve -2*g + r = j - 4, 4 = 2*j + 2*g for j.
-1
Let q(f) = f + 14. Let a be q(-6). Suppose 0 = 2*l - 2*c - 12, 3*c = -9. Solve -a = -l*x - x, -5*o = -x - 23 for o.
5
Suppose -2*p + 4*v = -28, 2*p + 2*p + 3*v - 1 = 0. Let f be p*-9*(-1)/(-4). Let j = f - -17. Solve -3*h + 12 = 2*w, -j*w + 3*w = h - 4 for w.
0
Let o(m) = m + 8. Let b be o(0). Suppose 0 = b*v - 3*v + 45. Let u be (3 - 1)/((-2)/v). Solve -4*n - 14 = -2*n + 4*z, -n = 3*z + u for n.
-3
Suppose 4*o + 3 = 5*o. Let u be (-7)/7 - (2 - o). Solve 28 = -u*j + 2*j + 4*i, -j = -3*i + 11 for j.
4
Let o = 28 - 22. Solve 12 = 3*a, 5*a - o = m + 4*a for m.
-2
Let g(m) be the first derivative of -m**3/3 + 3*m**2 + 5*m + 3. Let i be g(6). Solve -v - 5*x - 5 = 2*v, 3*x - 31 = i*v for v.
-5
Let t be (-6 + 3)/((-6)/4). Suppose -2*g + 5*g = -t*o + 12, 3*g = 2*o. Solve 3*r - 4 = -4*n, 5*n - 3*r - o - 2 = 0 for n.
1
Let c be 4/9*9/2. Solve 20 = -4*u, -p = -c*p + 2*u + 5 for p.
-5
Suppose 0 = 5*o - 2*i - 26, -3*i = 4*o - 5 - 2. Suppose -2*r = -2*w - 14, 4*w + 4 = -o. Solve -4*p - 5*s = r, 3*s - 13 = 2*p + 2*s for p.
-5
Let d(u) = -3*u - 17. Let h be d(-7). Solve -l = 3*w, -4*l - h*w + 8 = -0*l for l.
3
Let v(j) = -j**3 - 6*j**2 + 3. Let w(h) be the first derivative of -3*h**2/2 + 3*h - 2. Let s be w(3). Let x be v(s). Solve 2*o + 12 = 2*a, -x*a + 16 = a for o.
-2
Let n = -2 + 4. Solve -n*j + 12 + 14 = 4*t, -5*t + 34 = 3*j for t.
5
Let o(z) = 2*z**2 + 19*z + 12. Let f be o(-9). Let a be 2/((-28)/12 + f). Solve -4 = a*c + w + 13, -4*c = 3*w + 26 for c.
-5
Suppose 4*j - 36 = -4*c, 4*c + j + 0*j - 39 = 0. Solve 2*v + 3 = -5*y, 5*v - 3*y - 2*y = c for v.
1
Let a(w) = 2*w**2 + 2*w - 2. Let u be a(-2). Let i = -15 - -9. Let v be (8/i)/((-2)/6). Solve 3*y - 15 = -u*p, 2*p = -2*y + v*y for p.
3
Let n(c) = 2. Let a(s) = -s - 1. Let m(i) = -a(i) + n(i). Let d be m(0). Solve 2*k - k + 5*u + 30 = 0, -2*u = d*k + 25 for k.
-5
Let t be (-3)/(1 - (-5)/(-2)). Let a = 4 + 1. Solve 3*q = -3*r - 10 + 25, 0 = -a*r + 4*q - t for r.
2
Let b be 3 - (8 - 3) - -3. Let j be -2 + b - (9 + -15). Solve -16 = -5*v - 6, 0 = 5*y + j*v for y.
-2
Let h be (-5 + (1 - -1))/(-1). Suppose -h*z - 3 - 9 = n, 3*n - 16 = 4*z. Suppose 26 + 10 = 3*c. Solve n = -3*x, -2*x - x - c = 3*b for b.
-4
Suppose 3*z = 3*l + l + 4, 5*z = -5*l - 40. Suppose 0*j = 3*j - 18. Let n be j/3*(-10)/l. Solve -o = -3*p - 6*o + 22, 22 = n*p + o 