0 = 4*c + 4*i - 4, -2*c + d*i - 3 + 0 = 0 for c.
0
Suppose -l = -0*l - 70. Let p = l - 38. Solve -5*x = -2*g - 28, -2*x - p = -7*x + 3*g for x.
4
Let l = -12 - -24. Solve u - 4*k = l, u - 4 - 5 = 3*k for u.
0
Let x(d) = 4*d - 1. Let i be x(1). Suppose 5*u + 2 = -i*a + 21, -5*a = -5*u + 35. Solve -p - u = -f, 5*p + 2*f + f = -9 for p.
-3
Let w(q) = -q + 9. Let n be w(7). Suppose -n*y = -6, 0 = 2*h + 2*h + 2*y - 38. Let s be (-2)/2*-1 - -9. Solve 5*t - s = 0, j + 4*j = -t - h for j.
-2
Let a(h) = h**3 - 3*h - 2. Let f be a(2). Solve f = 2*m - 3*z - 7, -m + 3 = 2*m - 3*z for m.
-4
Let p be 2 - 2 - (-3)/(-3). Let y = p - -2. Let g be (-3)/(-3) + y + 0. Solve 2*k + 2 = 0, 4 + 4 = g*u - 4*k for u.
2
Let o(r) = -r**2 + 3. Let x be o(0). Let t be 6/(3 - 3/2). Solve -4*h - 3*f = -28, -x*f = t*h - 7*h for h.
4
Suppose -k + 3 = -g + 2, -g = 3*k - 23. Suppose 0 = -5*y + k*y - 12. Solve -z + y = 4*r - 2*r, 3*r = 2*z + 11 for z.
2
Let u = -8 + 8. Suppose 0*n - n + 11 = u. Solve 3*k - 3 = -2*w + 6, -n = -3*w - 2*k for w.
3
Let y be -4*25/(-20) - 2. Solve -y*g = 4*n - 11, -4*g + 15 - 7 = 2*n for g.
1
Suppose 5*m + 2*n + 7 = 0, 0*m - 4*m - 4*n - 8 = 0. Suppose -5*p + 50 = 3*s + 9, -s - p + 15 = 0. Let y = m + s. Solve -4*a - z + y = 4*z, 4*z + 20 = 5*a for a.
4
Suppose -2*g - 4 + 30 = 0. Solve -5*c = -c - 4*o - 12, -4*o - g = -5*c for c.
1
Let j = 4 + 1. Solve -3*t + 7 = -j, -3*s + 4*t - 7 = 0 for s.
3
Let j = 8 - 8. Let q(h) = -12*h + 1. Let i be q(-1). Solve i = 4*k - y, -k + y + 4 + 0 = j for k.
3
Suppose -b = 3*b - 32. Let r = b + -4. Solve a = -1, -r*u - 2*a + 0*a = -14 for u.
4
Let d(h) = -2*h + 1. Let i be d(-2). Solve -2*c - 22 = -i*k, 4*k - c - 18 = c for k.
4
Let r be 4 + 3 + (-5 - -2). Solve -2*i = 4*j - r, 2*i + j = 5*j + 4 for i.
2
Let n = 2 - 4. Let d be ((-3)/n)/(1/(-10)). Let o be (2 - (-14)/(-6))*d. Solve -2*v - q = 2, -5*v = -2*q - 3*q + o for v.
-1
Suppose 19 = g - 4*k, 0 = 3*g - 4*g - 5*k - 17. Solve 0 = 2*l - 4*z - 18, g*l - 27 = -l + 5*z for l.
3
Let j(f) = -f**2 + 8*f - 2. Let a be j(7). Let q = 10 - -13. Solve a*k - q = -4*m, -3*m + 3*k - 6 = -k for m.
2
Let w(x) = -x**3 + 6*x**2 + 7*x + 5. Let v be w(7). Solve -2*u - 3*p = 0, 0 = -4*u + 3*u + v*p for u.
0
Let n(b) = -b**3 + 10*b**2 - 15*b. Let u be n(8). Solve 0 = f - 4*f - 2*z + u, 2*f - 18 = 5*z for f.
4
Let f = -14 - -8. Let q = f - -9. Suppose -5*w - q*k = -0*w - 30, -3*k = 0. Solve -r = 3*u - 0*u + w, u = r - 2 for u.
-2
Let q(w) = -w**3 - 3*w**2 - 5. Let p be 1 - 2/2 - 4. Let b be q(p). Let h be ((-6)/(-4))/(9/204). Solve 5*t + 3*i - h = 0, -t + b = 3*i - i for t.
5
Let c(q) = q**2 - 4*q + 4. Let z be c(4). Suppose -z = 4*j - 12. Solve j*t - 17 - 5 = 4*r, r = -t - 1 for t.
3
Suppose -3*m = -5*j - 8, -5*m = -m + 3*j - 1. Let v be m/(-3*1/(-9)). Solve 2*i = -3*l + v, 0 = 4*i + 2*l - l + 9 for i.
-3
Let p be (-174)/(-8) - 3/(-12). Solve -3*l - 3*o = -4*l + 10, -4*o = 3*l + p for l.
-2
Let t(l) = 9*l - 10. Let j(n) = 3*n - 3. Let w(q) = -8*j(q) + 3*t(q). Let o be w(4). Let a = o - 3. Solve s - 3 = 3*r, 2*s + 0 = 3*r + a for r.
-1
Let g = 9 - -1. Let m be (-4)/g - 17/(-5). Suppose 3*a + 0*a = m. Solve 5*s + 27 = -2*c, 0 + a = -c for s.
-5
Let m(h) = -h + 2*h + 1 - 1 - 3. Let k be m(5). Let q(j) = j - 6. Let z be q(10). Solve b + z = -4*y + 6*b, -2*y - k*b + 16 = 0 for y.
4
Suppose -2*r + 3*r = -4*l + 19, 3*r = 4*l - 7. Suppose -6 = 3*q, 5*c + 10 = 3*c - 5*q. Let s be (2*-1)/1 + 3. Solve -t - s = h, -t - r*h - 5 = -c*t for t.
1
Let b be -1 - (4 - (-9)/(-3)). Let a(d) = d**3 + 4*d**2 + 2*d - 1. Let y be a(b). Solve 3*i = g - 3, 21 = g - 6*g - y*i for g.
-3
Let o = 2 + 3. Suppose -68 = -o*j - 3*u + 33, -15 = -j + 2*u. Suppose 15 = 3*a, -4*v - 5*a + j = -5*v. Solve -4*s - v = p, s + s + 2 = 0 for p.
-2
Suppose l = 4*n - 1, 2*n + 2*l = -2*l - 4. Solve 4*x = 4*h - n*x + 24, h = -2*x + 9 for h.
-1
Let u(p) = -p**3 - 5*p**2 - p - 8. Let f be u(-5). Let m be (f - (2 + -2))/(-1). Solve -b + 3*b + 5*n = -18, -m*b - 2 = -5*n for b.
-4
Let b be (1 - 0) + (-9)/9. Suppose s - 1 = 0, 4*h - 5*s - 15 = 28. Solve -2*j + 4*z + 10 = b, 4*j = -0*j + 4*z + h for j.
1
Let k be (3/5)/(8/40). Suppose 0 = k*l + 3*q - 9, 4*q - 2 + 14 = 4*l. Solve -4*p + m - 5*m = -4, -3 = -l*p - m for p.
1
Let s be -2*(-2 - -1) + -2. Suppose 2*w - 5*h = -s*h + 35, 0 = 3*w - 3*h - 57. Suppose -l = l - w. Solve 5*u + 20 = -2*z, l + 2 = 4*u - 4*z for u.
-2
Let f be 0/8 + 6/(-2). Let b = f - -6. Solve 4*x = 4*d - 20, -3*x - d + 0 = b for x.
-2
Let s be (0 + -4)*-1*7. Let u be -1 + (-3)/((-6)/10). Solve -4*c + u*q - 25 = -9*c, 5*q - s = -3*c for c.
1
Suppose -20 = -5*z, -4*i = -z - 1 - 3. Solve 3*n = -3*y - 18, -4*n = i*y - 3*y + 4 for n.
-2
Suppose -2*a + 48 = 3*r, a - 4 = 2*r + 6. Suppose -a = 3*u - 0*u. Let l = -6 - u. Solve -5*b - 7 = -4*v, -b = 5*v - l*b - 16 for v.
3
Let n(r) = r**2. Let w be n(2). Suppose -w*s = -0*s - 4. Let t be (1 + 5)*s/2. Solve -t*j + 20 = -4*a, 2*j + 5*a + 13 = -12 for j.
0
Let s = 3 - -5. Suppose 4*l + 3*z = s, -z - 8 = -4*l - 0*z. Suppose -2*r + l = -r. Solve -2*h + 4*u - 8 = 0, -r*h - 3*u + 32 = 3*h for h.
4
Let h be ((-6)/(-4))/(3/4). Suppose -5*t = 3*s - h - 14, 0 = -2*s - 4*t + 12. Solve -3*l - 3*j + 19 = -s*l, -l + 29 = 5*j for l.
4
Suppose -12 = -0*s - 4*s. Let o = 0 + s. Solve o*y + 1 = -2*i - 5, -9 = 3*y + 3*i for y.
0
Suppose 1 = -j + 3. Let l = -12 + 16. Solve l*k = 3*c + 2, j*k + 2*c - 12 = -2*c for k.
2
Let q(b) = b**3 + 6*b**2 + 6*b + 3. Let l be q(-5). Let k = -2 - l. Solve 3*w + g + 6 = k, -5*w + 2*w + g - 12 = 0 for w.
-3
Suppose 5*i + 8 = -3*n, 4*n + 7*i = 2*i - 4. Solve n*s - 11 = 7*x - 2*x, 5*x + 16 = -s for x.
-3
Let a = 0 - -3. Let p = a + -3. Solve 3*g = -p*g + 3*l, 0 = -g + 2*l + 2 for g.
-2
Suppose 0 = 4*h - 1 - 19. Let l(o) = o**3 + 8*o**2 + 8*o + 7. Let d be l(-7). Suppose d = 4*f + f - 15. Solve 5*a + 27 = t - f*t, h = -5*t for a.
-5
Suppose -2*n = -4*n - 5*h + 13, 2*h + 10 = 3*n. Suppose -n*p + 1 = -7. Solve -p*b - 4*m + 13 = -m, -2*m + 10 = 0 for b.
-1
Let u = 3 - -1. Let r be 34/2 + (-1 - 1). Suppose 0 = b - 4*b + r. Solve -4*g + z + 29 = u*z, 0 = -b*g - 3*z + 34 for g.
5
Let f = 11 - 8. Suppose 0 = 2*w - 3*c + 7*c - 24, 10 = 5*c. Suppose -4*a + 1 + w = 3*v, -9 = -f*v - 2*a. Solve v*u + 3*o = 6*u + 24, -u = -3*o + 14 for u.
-5
Let b(h) = -2*h - 2. Let g be b(-3). Solve g*s + 10 = -6, -j + 5*s = -18 for j.
-2
Suppose -x = 4*x - 175. Solve 5*m + 23 = -g, 5*g - 3*m - 2*m - x = 0 for g.
2
Let y(b) = -b**3 + 2*b**2 + 2*b + 2. Let h be y(-2). Solve -h = 3*j + 5*n, -2*j - 5*n - 8 = -j for j.
-3
Suppose -14 = -j + 5. Solve n - 2 = -5*l + 22, -4*l + j = n for l.
5
Let o = 12 + -7. Let p be (-1080)/(-48)*4/3. Solve o*r + p = -a, 5*a - r = -2*r - 30 for a.
-5
Let g = 24 + -19. Solve -2*l = s - 6, 5*l = 4*s + 10 + g for s.
0
Let g(f) = -9*f**3 - 2*f**2 + 1. Let w be g(-1). Let u(y) = y**2 + y - 4. Let m be u(-3). Let z = m - 0. Solve -z*a = 3*a + j - w, -2*a + 8 = -2*j for a.
2
Let n(b) = -b**2 - 5*b + 1. Let p be n(-4). Suppose -2*v = 4*y - 12, 0 = -2*y + 2*v + 7 - 1. Solve p*l = y*d + 17, -2*l + 4*d = d - 14 for l.
1
Let x(t) = t**3 + 5*t**2 + 2*t - 4. Let w be x(-3). Let n = -15 + w. Let p(f) = f + 15. Let d be p(n). Solve -2*o - d = 3*y, 0 = -4*o - 3*y - 8 - 8 for o.
-4
Suppose -3*r + p + 20 = -44, p = -2*r + 36. Let f = 29 - r. Solve 2*o + 4*l - 8 = -l, -f = o - 4*l for o.
-1
Let s(f) = -21*f + 56. Let l(w) = 4*w - 11. Let b(y) = 11*l(y) + 2*s(y). Suppose 0 = 3*j - 1 - 20. Let u be b(j). Solve -u*k = 2*v + 10 + 6, 2*k = -8 for v.
2
Suppose 1 = -y - u, 11 = -5*y + u - 6. Let i(n) = -n**3 - 2*n**2 + 2*n - 1. Let g be i(y). Solve l + 11 = -3*q, g*q + l = 3*l - 18 for q.
-5
Suppose -c + 3 = -2*g, 3*c - 2*c = g + 3. Suppose b = c*b. Suppose -h + 2*h - 9 = b. Solve -z + 17 = -4*w + 2*z, h = 3*z for w.
-2
Suppose -2*r + 1 + 9 = 0. Solve -2*d + 2*l - 6*l = -14, -d - r = -l for d.
-1
Let m = 20 - 15. Suppose 24 = 2*w + 2*o, 26 = w + m*o - 2. Solve -4*b - 4*j - 36 = 0, 4*b = -3*j - 39 + w for b.
-4
Let u be (-14)/49 + (-122)/14. Let o = -7 - u. Solve 2 + o = -2*y - 2*d, -3*d = -9 for y.
-5
Suppose -4*o + 3*o = -5. Suppose -o*h + 6*h - 4 = 0. Solve 0*d - 4*d + 4*r + h = 0, 4*d + 4*r = -4 for d.
0
Let k be ((-1)/(-2))/(3/30). Suppose -k*o - 19 = -6*o. Solve -4*n + 3*f - o = 0, n + 0*n =