 -2*l - l + 18 = 0. Suppose 3*k - l = -0*k. Let v(z) = -z**3 + 4*z**2 + 2*z - 4. Let h be v(4). Solve 0 = -5*x - k*c - 14 - 2, -2*c = -5*x - h for x.
-2
Suppose -5*p - 30 = -2*a + a, 3*a = -p + 10. Suppose -a*m + 35 = 5*t, -t = -5*t + 12. Solve -v - 4*c = -c - 2, -m*v - 6 = 5*c for v.
-4
Suppose 4*w = -4*v - v + 108, 0 = 2*v + w - 45. Let u = 42 - v. Let g(h) = -h + 8. Let o be g(4). Solve 3*d + 5 = -2*d + 2*n, -o*n = -2*d - u for d.
1
Let r be 6/27 + 50/18. Let o(u) = -6*u**2 + 0*u + 2*u**2 - 3 + 4*u + 2*u**r. Let t be o(2). Solve 4*h = 5*i - h - 25, 0 = t*i + 4*h + 2 for i.
2
Suppose 4*g - 5*j = 40, 36 = 4*g - 4*j - 0*j. Suppose -r - 8 = -2*i, 0*i + 5*i = g*r + 30. Solve 5*h - 2*p = 27, -4*p + 6 = i*h - 0 for h.
5
Let u = -25 + 44. Solve 3*z = 2*v + 3*v + 5, 3*z + v + u = 0 for z.
-5
Suppose 5*k = -2*z + 25, 0 = -z + 9*k - 4*k - 10. Solve -2*i - 2*v + 5 = -v, -z*i + 3*v = -29 for i.
4
Let y = -3 + 3. Let q = 0 - y. Suppose q = -5*b + i + 18 + 2, 2*b = 5*i + 31. Solve -g + 6*g + d + 22 = 0, -4*d - 3 = b*g for g.
-5
Let s = 64 + -59. Solve -3*m - 11 = -s*c, 14 + 1 = m + 3*c for m.
3
Suppose 10 = 3*d - 8*d. Let l = d - -7. Solve -7*o - 5 = l*a - 2*o, -3*a - 2*o - 1 = 0 for a.
1
Let k be (-26)/(-6) - (-5)/(-15). Solve -4*a - g - 4 = 0, -k*a = -5*g + 11 + 17 for a.
-2
Suppose 3*y - 2*l - 7 = 0, -2*y + 2*l + 6 + 0 = 0. Let g be 10/((y - -2) + -2). Suppose -4*m = -2 - g. Solve 2*j + 8 = -4*i, j = -2*i - m*j + 2 for i.
-3
Let h(n) = -4*n**3 - 5*n - 6. Let b be h(-1). Suppose -34 = -3*r + 7*u - 5*u, r - 5*u - 7 = 0. Solve z - 8 - 1 = b*i, 0 = 4*z - r for i.
-2
Let s(t) = -t**3 - 9*t**2 - 8*t + 2. Let d be s(-8). Suppose d*h = -3*h. Solve 2*w - 2*m - 4 = h, -m + 4 = 3*w - 7*w for w.
-2
Suppose -5 - 7 = -2*f - 4*m, -3*f + 14 = 2*m. Solve -45 = -2*q + 7*q + 4*y, 4*q - f*y = 0 for q.
-5
Suppose -2*u = -5*p + 18, 14 = 3*p - 4*p - 4*u. Let h(v) = 6*v**3 - 2*v**2 + 1. Let o = 0 - -1. Let g be h(o). Solve -l + 2*l = 3*x - p, -4*l + g = x for x.
1
Let f(h) be the first derivative of h**2/2 - 1. Let z be f(-5). Let a = -3 - z. Solve 4*d - 4 = 4*x, -6*d + a*d + 10 = -x for d.
3
Suppose -3*t + 3*r - 3 = 0, 0 = -4*r + 6 - 2. Suppose -5*s + 10*s - 50 = t. Let n be 4/18 - (-4)/(-18). Solve 5*w - 41 = -4*p, -2*w + 5*p + n = s for w.
5
Let t(b) = 3*b**2 - 3*b + 1. Let w(n) = -n**2. Let h(p) = t(p) + 4*w(p). Let l be h(-3). Let d = 4 + l. Solve 2 = -2*c + 3*j - 3, 3*c + 17 = -d*j for c.
-4
Let f(k) = -3*k - 5. Let o be f(-3). Let q = 7 - 4. Solve 8 = 4*g + t + q*t, -t = -o*g + 8 for g.
2
Suppose 3*z - 2 = 4. Solve 0 = c + z*j - 15, -2*c + 0*j + 5 = -j for c.
5
Suppose 0 = 3*l - 3 - 18. Suppose t = -4*c + l, 4*c - t = 2*t + 11. Solve 3*v = 2*x + 7, -c*x = -4*x - 4*v for x.
-2
Let k(h) = 6 + 2*h**2 - 3*h**3 - 6 + h. Let n be k(-1). Suppose -1 = -4*b + 31. Solve -3*m + p = 7, n*m + 0 = 2*p - b for m.
-3
Let t(g) = g**3 - 6*g**2 - g + 8. Let u be 6/(-2)*1/3. Let p be u/((-1)/12*2). Let l be t(p). Solve i + q + 1 = -0*i, i + l*q = 3 for i.
-5
Let r = -139 + 165. Suppose -3 - 3 = -3*b. Suppose -4*l + 14 = -6. Solve l*m - b*z = 2*z + r, -5*m + 22 = -3*z for m.
2
Let k be (2 - 2)/(-2) + 4. Solve -7 + 26 = -2*d + 5*c, d + 2*c - k = 0 for d.
-2
Suppose -4*m - 3*p = -0*p - 15, -p = -3*m - 5. Suppose m*a - 8 = -2*a, n = -5*a + 25. Solve -5*b + z - 4 = 1, -b + n = z for b.
0
Suppose 5*x = 4 + 16. Suppose -4*s - 20 = -x*i, 0 = 4*s + 4*i + 13 + 23. Let j = s - -14. Solve 11 = 3*c + 4*o, 2*c - c = 2*o + j for c.
5
Let i(n) = -n**2 + 6*n + 1. Let h be i(7). Let m be (h/8)/((-4)/16). Solve -4*g + 5*u = 19, m*g + 18 - 3 = 4*u for g.
-1
Let f = -2 - -4. Suppose -4 = -4*v + f*v. Let d = 4 - v. Solve 2*i - 12 = 4*i - d*r, 3*r = 5*i + 26 for i.
-4
Let u(o) = o**3 + 2*o**2 + 2*o - 5. Let h be u(2). Solve -3*q = 2*c + h, -4*c = 4*q - 7*c + 3 for q.
-3
Suppose -60 + 11 = -7*o. Let r(v) = 3*v**2 - 1. Let a be r(-1). Solve 4*d - 14 = 5*d - 5*q, a*q = -d + o for d.
1
Suppose 8 = -5*m + 9*m. Suppose -5*b + i = -138, 30 = -3*b - 4*i + 99. Solve b = -5*j - 2*l, m + 7 = -2*j + l for j.
-5
Let o(d) = 3*d + 1. Let a be o(-1). Let k = a + 14. Solve 2*c = 3*x - 6*x - k, 0 = -5*c for x.
-4
Let o be 1 + -1 + -2 - -9. Suppose 6*i + 45 = i. Let z(c) = -c**3 - 8*c**2 + 9*c + 5. Let q be z(i). Solve 4*j = w + 8, -2*w + q*j = -o*w - 15 for w.
-4
Suppose 0 = -3*k + 6*k - 15. Solve -5*y + 4*y - 10 = -k*q, -15 = -5*q + 2*y for q.
1
Let a = -29 - -33. Solve 0 = 5*r + 5*w + 15, a*w = -4*r + 3*w - 12 for r.
-3
Let g be ((-66)/(-15))/((-2)/(-5)). Let p = g - 6. Solve 2*y + 4 = 2*n, -10 = -p*n + 2*n + 5*y for n.
0
Suppose 27 = 4*o - o. Let r = -4 + o. Suppose 0 + 18 = 3*x. Solve -y - x = -k - 3*y, -r*k - 15 = y for k.
-4
Let l = 9 + -7. Let s be (-2)/8*-2*2. Solve 0 = -4*d + h - 5, -d - h - s = -l*d for d.
-2
Let p be (-801)/63 + (-2)/7. Let s = p + 17. Solve -d = -0*d - 4*l + 9, 0 = s*d - 3*l + 10 for d.
-1
Let y be (-1 + 0)/(2/(-6)). Suppose -6 = -0*z + 2*z. Let j = 6 + z. Solve 1 = -2*q + q, 12 = j*k - y*q for k.
3
Let k be (-2 - 1)/(-3)*3. Let o be 1/k + 30/18. Solve -c - o = 2*n - 3*n, 0 = 2*c + n - 5 for c.
1
Let r = -138 + 142. Solve 0 = -5*i - 3*g + 30, i - 12 = -r*g + 11 for i.
3
Let x be 18/(-27)*(-27)/6. Solve x*r = -c, 0 = 5*c - r + 4*r for c.
0
Let t be 0 - (1 - 2 - 1). Suppose -t*j + 0*j - 16 = 0. Let a = j - -12. Solve 0 = -a*o - b + 14, 3*o - 4 = 3*b - 1 for o.
3
Let i(s) = -s**3 + 8*s**2 + 13*s - 21. Let j be i(9). Solve 4*g + 4 = 0, -4*g + j = -4*u + g for u.
-5
Suppose 0 = -6*a + 15 + 3. Suppose -14 = -2*r + 5*t, 2*t - t = -a*r + 4. Solve 0*c = c + 4*q + 9, r*c + 13 = -3*q for c.
-5
Suppose 0 = -0*g + 5*g - 25. Let x(k) = -k + 2. Let a be x(8). Let y be 104/12 + (-8)/a. Solve 3*v + y = -2*i, 0*v - 20 = 4*i + g*v for i.
-5
Suppose -l + f = 4*l + 14, l - 4*f + 18 = 0. Let c be ((-4)/6)/(l/3). Suppose 0 = 3*s - c - 8. Solve 11 = 4*p + 5*d, -p = 3*d - 4 + s for p.
4
Let d(z) be the second derivative of z**5/20 + z**4/4 + z**2/2 - 6*z. Let n be d(-2). Solve 9 + 10 = 5*j - c, -n*j + 27 = -3*c for j.
3
Let p(c) = -c - 3. Let x be p(-3). Suppose -n + 21 = -4*k, 0 = 2*n + k + 12 - 36. Solve 0 = -5*v - 6 - 9, 5*t - v - n = x for t.
2
Suppose 68*h = 66*h + 34. Solve 4*a = -x - x + 2, 0 = x - 4*a + h for x.
-5
Let l be 4/3 + (-2)/(-3). Suppose l*y = 7*y - 10. Solve x - 2*x = 2*h + 3, 0 = y*h + 4*x for h.
-2
Suppose -3*t + g = 3, 3*t - 2*g + 15 = 3*g. Solve t*l - 4 = 4*l + 2*y, 4*y = -l - 8 for l.
0
Let r = 4 - 4. Suppose r = -3*f - 2 - 19. Let b = 11 + f. Solve b*p = -3*z + p, 2*z - p = 0 for z.
0
Suppose 5*g - c + 30 = 2*c, 0 = -2*c. Let y be (0 - 3 - g) + -1. Solve -4*q = -2*n + 10, 0 = -y*q + 7*q for n.
5
Let r = 57 + -22. Let d be (-2)/(-3) - 244/(-12). Solve 6*k + d = k - 2*o, -5*k + 5*o - r = 0 for k.
-5
Suppose p - 4 = 1. Solve -4*r - 20 = 5*d - d, 3*r + 15 = p*d for d.
0
Let t = 16 - 11. Let q(a) = a**3 + a**2 + a - 2. Let w be q(2). Solve -6*u + 5*u + t*g + 18 = 0, -4*g = w for u.
3
Let u(f) = -f**3 + 8*f**2 - f + 6. Let z be u(8). Let q be z + (1 - 13)/(-2). Solve -2*c - q*m = 22, -c - 4*m + 2 = 19 for c.
-5
Let h be (-14 + (6 - 2))*-2. Solve -4*d + h = 3*w - 2*w, 20 = 4*w + d for w.
4
Let u(a) = a + 19. Let x be u(0). Solve -2*f + 3*f - 3*s + 17 = 0, -5*s + x = 3*f for f.
-2
Suppose 5*b - 20 = -0*b. Suppose 8 = 2*t + b. Solve -2*f - 4*v + 2 = -t*v, 0 = -4*f - 5*v + 5 for f.
0
Let s be (0 - (-9)/12)*24. Let v = s + -13. Suppose -v*i + 2 = -2*t, -2*i = -i - 4*t + 14. Solve 19 = -h + 3*k, -h - 2*k = 2*h + i for h.
-4
Let v = 8 - 5. Suppose 3*p + 16 + 34 = 4*h, 4*p - v*h + 76 = 0. Let n be (-114)/p - 6/33. Solve n*t + 5*u - 10 = 0, 9 = 4*t + 5*u - 2 for t.
-1
Suppose -6*q = -4*q - 8. Suppose 0 = 4*b + r - 8, 3*b - 8 = -b + r. Suppose -3*p + 5 + b = -i, -3*i = -3*p + 3. Solve 3*w = -0*w + i*f - 13, w + 21 = q*f for w.
-1
Let i(l) = -6*l - 2. Let m(z) = -z. Let a(j) = -i(j) + 5*m(j). Let h be a(0). Solve h*c - 6 = 2*t, 3*t - 6 = -3*c + 9 for t.
1
Let a be (1 - -1)*44/8. Suppose 4*x + r - a = 0, -3*x - 5*r = -6*x + 14. Suppose 7 = 5*y - x. Solve -y*g = -3*k + 11, 2*g + 1 = k - 0*k for k.
5
Let j(z) = z**3 + 4*z**2 - 4*z + 7. Let p be j(-5). Let m = -8 + 13. Solve t + 4*q = 14, p = m*t + 4*q - q for t.
-2
Let f(y) = y**2 + 14*y - 30. Let r be f(-16). Solve t + 1 = -s - 1, -s - r*t = 0 for s.
-4
Suppose 0