 - 6, 8 = 5*l + 5*d + t for l.
-3
Let s be (-5)/(-2) + (-6)/(-4). Suppose 0 = -s*z + 7 + 5. Solve z*h = 3*p - 12, -h - 2 = 2*p - 5*p for h.
-5
Let b be (-12)/10*(-20)/8. Suppose p - b*p = -2, -11 = -q - p. Solve 3*u - 5*d + q*d + 2 = 0, -4*d = 4*u for u.
1
Suppose -p = 8 - 27. Solve -s - n = -1, 2*n - p = -4*s + 3*n for s.
4
Let u(b) = -b**3 + 12*b**2 - 10*b + 11. Let d be u(11). Solve 0 = -5*c - 2*f - d, -2*c - 3*f - 8 = 3 for c.
-4
Suppose 4*i - i = 9. Solve 3*s - 1 = -x, 0 = -2*x + i*s + 2 for x.
1
Let h(b) = -b**3 + 4*b**2 + 4*b + 7. Let z be h(5). Suppose 3 = 2*f + 1. Suppose f + 3 = 4*w. Solve 0 = c - 0*l + z*l + w, 0 = -l + 1 for c.
-3
Suppose 2*k - 29 = k - 4*y, 5*y = 5*k - 20. Solve -2*w - k = -3*q, -w - 3 = -q + 4*w for q.
3
Suppose l + 3*i + 2*i = 3, -3*l = -i - 9. Let y(j) = 2*j**2 - 6*j + 5. Let d be y(4). Solve s - 2*v - v + 7 = 0, v - d = l*s for s.
-4
Let p be (0 + 2/(-2))*2. Let s be p/(-9) + 284/18. Suppose -y = 5*v - 15, -4*v + s = 4*y - 12. Solve -3 = 4*f + 3*n - 0*n, -4*f - 18 = -v*n for f.
-3
Let i(a) = a**3 - 7*a**2 - 9*a + 12. Let r be i(8). Suppose -y - 5*g - 5 = 0, r*y + 3*g - 9 = y. Solve y*d - 2*z - 5 = 3*z, 0 = -5*d - 2*z - 30 for d.
-4
Suppose 0*r = -5*r + 20. Let d = 17 - 4. Solve -5 = r*b + 2*w + 3, -w - d = 5*b for b.
-3
Suppose 0 = 2*k - 6. Suppose w = -0*w + k. Solve -3 = 4*i - 3*l, 2*i + 5*l = w*l + 2 for i.
0
Let k(n) = -2*n + 32. Let i be k(14). Solve -2*b - p - 4 = 3*p, i*p = 0 for b.
-2
Suppose -3*c + 2 = -1. Suppose 0 = -3*s - c + 16. Let w be 54/10 + 6/(-15). Solve 2*t = 3*t - y - s, 4*y = -w*t - 11 for t.
1
Let u = -1 - -3. Let n be -3*(((-19)/3 - -2) + 2). Suppose -2*x = 2*x. Solve x = -3*o - h - n, 0 = 3*o - u*o - h + 5 for o.
-3
Let v = 29 - 24. Solve -5*s + 3*s + 14 = -3*m, -v*s = -5*m - 30 for m.
-2
Let x(m) = 2*m**2 - 3 + m**2 + 2*m - 5*m. Let i be x(-2). Solve 5*a = 4*s - 11, 2*s + i = 3*a + 5*s for a.
1
Suppose 4*y + 20 = -0. Let t = y - -11. Solve -t*x = -2*x + 3*u + 26, 4*u + 33 = -5*x for x.
-5
Suppose -3*t - 2*t = -110. Suppose -261 = -0*z - 3*z. Suppose -r - 2*r = -z. Solve -2*i + 3*l + l - t = 0, 5*l = 3*i + r for i.
-3
Let d be 40/12 + 1/(-3). Suppose 2 = d*k - 2*k. Solve -v = -3*h - 4*v - 15, k*v = -3*h - 13 for h.
-3
Let z(h) = 2*h**2 + 4*h + 4. Let u be -3 - ((-6)/(-3) + -1). Let l be z(u). Let w(f) = f - 7. Let b be w(7). Solve -3*n + 4 = -4*a - b*a, 3*n - l = -4*a for a.
2
Suppose 6*t - 14 + 2 = 0. Solve -2*y = 4*p + 22, t*y + 9 - 22 = 3*p for y.
-1
Let p(q) = -2 - q - 3 + 2*q + 3. Let l be p(2). Solve l = 5*x + 3*u - 8*u - 40, 4*x - 7 = -u for x.
3
Let c(n) = -n**2 - 6*n + 2. Let w be c(-3). Let x = 36 - w. Let k be 1*(-3)/(-2)*6. Solve -l + 5*m - x = l, -k = -3*m for l.
-5
Let s be 2/(-11) - (-158)/22. Let z(b) = -b**3 + 8*b**2 - 5*b - 10. Let j be z(s). Solve -2*w = 3*m - 0 - 2, 4 = j*w for m.
0
Suppose 0 = -3*r - 6 - 36. Let b be r/2 - (-12)/6. Let f be (-56)/(-20) + (-1)/b. Solve -4 + 1 = h - 2*j, 2*j = -h - f for h.
-3
Suppose 5*f - 12 + 2 = 0. Suppose 0*m + 12 = -m. Let r = -7 - m. Solve -2*p = 6, r*z + 3*p = -f*p for z.
3
Let m(y) = y**2 + 12*y - 15. Let c be m(-12). Let g = c + 30. Solve 40 = -5*l - 3*z, l - z - g = 3*z for l.
-5
Suppose -6*w = -2*w - p - 11, 8 = w - 2*p. Solve 3*i = 5*k + 31, 3*k + 0*i + 19 = w*i for k.
-5
Suppose 0*d = d - 5*b - 25, 0 = 3*d - 2*b - 23. Suppose k - 35 = 21. Suppose -14 - k = -5*z. Solve -2*o = -3*t + z, o - d = -t + 2*o for t.
4
Let i = -66 - -71. Suppose c - 5 = -1, 3*c - 212 = -5*j. Let l be 6/(-2)*j/(-6). Solve i*u = 4*y + 31 + 1, -5*u = -l for y.
-3
Let o(g) = -g**2 + 9*g + 7. Let a be o(10). Let z = 5 + a. Let y = 0 + z. Solve 2*m - y = -4*u, 10 = 3*u - 4*u - 4*m for u.
2
Let b = 60 + -55. Solve 4*s - 6 = 6*s, -s = -b*q - 22 for q.
-5
Suppose 0 = 2*f - 11 + 1. Suppose f*x + l = 29, 5*x + 5*l - 45 = -0*l. Solve r - 21 = 5*y - 0*r, -x*y - 15 = 5*r for y.
-4
Let z = 0 - 0. Suppose -y + 6 = -z*y. Let j = y - 1. Solve -n - n - a = -5, -a + 20 = j*n for n.
5
Let s(v) = v + 5. Let b be s(0). Let k(z) = -z**3 + 4*z**2 + 7*z - 6. Let u be k(b). Solve u*t - 20 = 2*n, -4*t = t - 3*n - 26 for t.
4
Let k be (-5)/(-15) + (-14)/(-3). Suppose 0 = -k*i + 6 + 9. Solve -4*f + i*q = f + 4, 3*f + q = 6 for f.
1
Let s(t) = t**3 + 10*t**2 - t + 6. Let j be s(-10). Suppose -2*g - j = -6*g. Solve 3*h + 2*l - 16 = 0, 5*l + 5 = 5*h + g*l for h.
2
Let v be (-2)/(-4)*4*1. Let r = 2 + 2. Suppose -r*l + 14 + 46 = 0. Solve a = m + v*m + 3, -5*a = -m - l for m.
0
Let p be 1 + (0 - -2) + 12/6. Let s = -4 + 7. Solve v = s*g + p*v + 32, 3*v + 27 = -3*g for g.
-4
Suppose 0*r - 3*r + 12 = 0. Suppose -r*t = -5*c - 11, t = -0*t - 5*c + 9. Solve -2*m = -t*a, 5*a - 5 = 2*m + 3*m for m.
-2
Let a = -40 - -42. Solve -2*w - 9 = 3*q, -w + 3 = a*q + 9 for w.
0
Suppose 2*u + c - 6 = 2, 0 = -2*u + 4*c + 28. Solve 0 = -3*g + l + 2, -3*l + u = 4*g - 5*l for g.
-1
Let q = 71 - 67. Solve -k - q = -n, -5*k + n + n - 14 = 0 for k.
-2
Suppose -4*v = -3 - 9. Let i(t) = 32*t - 3. Let r be i(v). Suppose 4*g + 17 - r = 0. Solve 3*o + 15 = -q, -2*o - g = q + 2*o for q.
-3
Let l(i) be the second derivative of -i**5/4 - i**4/6 + i**2/2 + i. Let m be l(-1). Solve -5*x - k - k - 35 = 0, -25 = x + m*k for x.
-5
Suppose 0 = k + 3*k - 8. Solve s = -4*n - 8, k*n + 3*n + 10 = -2*s for s.
0
Suppose d + 6 = 4*b, 3*b + b - 3*d = 2. Suppose -2 - 2 = -b*z. Solve -z*m + 3*s = 4*s, -1 = -m - s for m.
-1
Suppose 2*w = -w + 57. Suppose s - w = -5*l, 0 = 3*s - 1 + 4. Solve 0 = 3*y - 5*m - 1, 3*y - 4*y = l*m + 11 for y.
-3
Let o(g) = -g**3 + 8*g**2 + 2*g + 9. Let h be o(8). Solve s + 0*k + 3*k - 15 = 0, h = 2*s + 5*k for s.
0
Let s = -11 + 10. Let h be (s - -4)*(-45)/(-27). Solve r - n = h - 0, 0 = -r + 3*n + 15 for r.
0
Suppose 4*w + 8 = -3*k, 3*w + 31 = -2*k + 6*k. Solve -4*q + 3*a - k = 0, 2*q + 2*a + 2 = -0*a for q.
-1
Suppose -5*m + 3*s - 20 = 25, 0 = 4*s - 20. Let r(l) = -l**3 - 4*l**2 + 9*l + 5. Let g be r(m). Solve 0 = -3*c - 5*k + 10, -4*k - g = -5*c - 6*k for c.
5
Let c = 29 + -27. Solve 3*q - 2 = 2*a - 2*q, 2*a + 3*q + c = 0 for a.
-1
Suppose 0 = o + 2*b - 1, b - 3*b = 0. Solve -3*g = -4*y + o, 3*g = 23 - 8 for y.
4
Let k(t) = 6*t - 6. Let o be k(3). Solve 0*w + 2*w + o = 4*p, -5*p = -2*w - 15 for w.
0
Let b(w) = w + 23. Let u be b(-19). Solve 3*o = 2*o + 2*q + 11, u*q = -12 for o.
5
Suppose -2*v + 19 = -3*m, 4*v - m = -6*m + 5. Solve 3*h - 1 = 4*h + v*n, -2*h = -3*n - 11 for h.
4
Let q(c) = -c**2 + 6*c - 3. Suppose 3*v - 3*i - 6 - 15 = 0, 3*v - 4*i - 24 = 0. Let o be q(v). Solve 4*a + o = -3, -s = 5*a + 15 for s.
-5
Suppose -20 - 10 = -5*x. Let a = 11 - x. Solve -11 = 4*q - a*u + 15, 2*q = 5*u - 18 for q.
-4
Let t be -2 + (13 - 3) + -3. Solve t*u + 1 + 15 = -2*c, -5*u + 2 = -4*c for c.
-3
Let x be 209 + (-1 + 0 - 0). Let j be x/6 + 1/3. Suppose 3*a = -5*y + j, 2*a + 5*y - 30 = -0. Solve -4*o + 7*m - 2*m + a = 0, 0 = -2*o - m - 1 for o.
0
Suppose 5*z - 8*z + 18 = 0. Let l be (-2)/z - (-10)/3. Suppose -5*w = 2*q + 1, l = -4*q - 3*w + 8. Solve q = -5*v + p + 2*p, 0 = 2*p - 8 for v.
2
Let r be (-4)/(-32) + (-405)/(-24). Let x = -14 + r. Let u be (2 + -4)*(-1)/1. Solve k = q, -2*q - x*k - u*k = 21 for q.
-3
Let w be (6/9)/((-224)/(-108) - 2). Solve -14 = 4*i - 3*n, 5*i + 38 - w = -2*n for i.
-5
Suppose 5*v + 34 + 6 = 0. Let n = 13 + v. Suppose 0 = n*l - 11 - 34. Solve -x = 3*y + 5, 0 = 3*x + y - 0*y - l for x.
4
Let a(p) = 2*p - 6. Let c be a(4). Let g be (-6)/2 + 5 + 0. Solve z = -4*q + c + g, 2*z + q = 8 for z.
4
Let v be -7*(-5)/(-15)*-3. Solve 5*k = r + 5 + v, 0 = -4*r + 12 for k.
3
Suppose 3*w = 2*w - 2. Let r be -3*(20/(-6) - w). Solve -4*y - r*h + 12 = 0, -5*y = -2*h - h + 25 for y.
-2
Let j(y) = y**3 - 4*y**2 + 2*y - 3. Let n be j(3). Let d be (n + 0)/((-4)/2). Let h = 7 - d. Solve -c - h = -5*z + 1, -10 = -z + 2*c for z.
0
Suppose 9 + 1 = 5*r. Solve r*l + 7 = 4*g + l, 5*g - 5*l + 10 = 0 for g.
3
Let i(v) = 4*v. Let z be i(1). Suppose w - 29 = -z*s, s + 3*w - 15 = -5. Let j be 0/(-2) + 2/1. Solve 0 = 4*t - o + 17 + 4, -s = t - j*o for t.
-5
Suppose 0*k + 11 = 3*k - f, -3*f = 3*k + 9. Solve 3*z + 20 = 5*u - 2*z, -6 = -4*u + k*z for u.
-1
Let u = -5 + 8. Suppose -3*n - 3*o - u = 0, 0 = -3*n - 0*n - o + 5. Solve 5*y + a + 18 = y, -2*a = -n*y - 19 for y.
-5
Let h = -99 + 114. Let c(x) = x + 1. Let 