for c.
-1
Suppose -3*k + 15 = -3*j, 0*k + 10 = 2*k + 4*j. Solve -3*a - 3 = -k*q, -3 = -3*q + 4*q + 3*a for q.
0
Suppose 0 = -4*f + 3*i - 3, -2*i + 27 = 4*f + i. Suppose 15 = 2*a + f*a. Solve 4*n - 11 = -2*j + 1, -n = -j - a for n.
3
Suppose 3*m - 8 = 7. Suppose 0 = m*s - 5*b - 10, -2*b - 9 = -4*s + 5. Solve 0*c - 5*c + 5*v = -10, 0 = -s*c + 3*v + 12 for c.
3
Suppose 5*d - 4*c - 45 = -c, -2*c = 0. Let q = d - 6. Solve -5*g = -l - 0 - 2, 3*g = q*l + 6 for g.
0
Let g = 17 - 10. Let s = g + 5. Suppose -2*h + s = 2*h. Solve k - 5 = 4*p, -4*p + 1 = 2*k + h for k.
1
Let v(a) = -a**2 + 16*a + 3. Let p be v(17). Let k be 24/14 - 4/p. Solve 2*i = 2*s - 4, s + 1 - 4 = k*i for s.
1
Let t be 114/(-95)*20/(-6). Let f be t/(-14) - (-36)/28. Solve 0 = k - 2*y - 3 - f, 8 = -3*k + y for k.
-4
Let p = -18 + 20. Suppose -8*b = p*z - 4*b - 8, -2*b = -3*z + 20. Solve -5*c = 2*r - z, -5*r + 17 = 5*c + 2 for c.
0
Suppose v + 2 = 0, -v - 10 = -3*o + v. Suppose -o*m = -m - 4. Solve 2*h + m = -4*p, h - 2*h + 4*p - 8 = 0 for h.
-4
Suppose 4*x = 107 - 11. Solve -6*a + a = 20, a + x = -5*o for o.
-4
Suppose 0 = 3*b - 3*j - 0 + 3, -5*j - 20 = 0. Let p = 17 + b. Suppose a + 12 = 3*a. Solve -n - 4*i = -12, -2*i - p = -n + a*n for n.
-4
Suppose 14 = n + 4*l - l, -n + 10 = -l. Suppose n = 5*k - 14. Solve -k*u + 3*f - 6 = 6, -1 = -u + 4*f for u.
-3
Let z be (-16)/(-56) - (-26)/7. Solve 3*y - z*l - 4 = -1, l = y - 1 for y.
1
Let s(j) = 7*j - 4. Let m be s(1). Solve -3 + 8 = 2*r - m*k, 4*r - 5 = k for r.
1
Suppose -2*o = -7*o + 5*v, -o + 2*v - 2 = 0. Solve 2*s = -4*p - 12, o*s + s + 6 = 0 for p.
-2
Let p(u) = u**3 + 7*u**2 + 6*u + 2. Let m be p(-6). Suppose 0 = 4*w - 6*w + 10. Let x = 2 - -5. Solve -m*b - r + x + 1 = 0, -10 = -4*b - w*r for b.
5
Suppose 3*v = -2*b + 5, 0*b + 26 = 2*b - 4*v. Suppose -2*z - 15 = -b*z. Let d be (6/(-4))/((-4)/16). Solve 2 = 2*y + d*h - h, -z*y + 5*h = 22 for y.
-4
Let x = -26 - -30. Suppose x*j - 3*j - 2 = 0. Suppose s - 7 = -0*s. Solve s*f = 2*f + j*t + 20, -3*f + 12 = -5*t for f.
4
Suppose s - 3*a = 5, s + 4*a = 6*s - 25. Let y be -3 + (-4)/(-8)*12. Let t be 5 - 2/(-2 + y). Solve -p - z = -6, -t*z + s = -p + 3 for p.
4
Suppose 0*c + 3*c = 9. Suppose y + c = 2*y. Suppose y*a = a + 8. Solve -x - n + 5 = 2*n, a = 4*n for x.
2
Suppose 3*h - 7*h + 100 = 0. Solve -h = 5*v - 4*p, p = -4*p for v.
-5
Suppose 2*i - 2*w = -6, 3*w - 15 = -i - 2*w. Solve -5*a + 6*a - 5 = i, x - 11 = -3*a for x.
-4
Suppose -5*m + 11 = -4. Suppose 0 = -m*q + 20 - 5. Solve 3*k = -2*z - 0*k - 15, 0 = q*z + k + 18 for z.
-3
Suppose -16 = 3*n + 5. Let c(r) = -r**2 - 7*r - 4. Let u be c(n). Let v be (6/u)/((-6)/16). Solve 0 = 2*p + k + v + 5, -3*k + 3 = -4*p for p.
-3
Let s be (-3 + 4)*2 - 0 - -3. Solve 5*f = -5*d, -3*d + 5*d - 9 = -s*f for f.
3
Suppose i = a - 6 + 5, -2*i - 4*a - 20 = 0. Let u be (12/i - 0) + 5. Solve -2*k + 2*y + 16 = -u*y, 0 = 3*k + 2*y + 8 for k.
0
Suppose 0*i - i + 4 = 0. Solve -s + 2*q + 8 = 0, i*q = 4*s - 9 - 15 for s.
4
Let l(o) = -o**3 + o**2 - 2*o + 1. Let v be l(1). Let h be 5 - v/(1/(-1)). Solve h*m + 12 = -5*b, m + m + 6 = -3*b for m.
-3
Suppose y + 6 = 8. Let s be ((-10)/15)/(y/(-6)). Solve 0 = 2*u - s*i - i - 13, -3*u + 20 = -5*i for u.
5
Let y(z) = 3*z - 10. Let w be y(5). Suppose 5*p = 4*p + 5, 0 = -3*c + w*p - 16. Solve -c*r + 3*a = 27, 2*r + 3*r - 2*a = -30 for r.
-4
Let l be (-11)/(11/(-6)) + -4. Solve l = x + 4*s + 5, 0 = 5*x + 3*s - 19 for x.
5
Suppose -2*n = -4*n. Suppose 0 = -3*q + 6 - 0. Solve 5*d = c - n*c, 0 = -5*c - q*d for c.
0
Suppose 0 = -2*a - 3*u - 6 + 28, 0 = 5*a + 2*u - 33. Suppose -44 = -5*i + a*y - 4, 0 = -2*i - 5*y - 5. Solve -i*l = -2*p + 7 + 20, -5*l - 21 = 4*p for p.
1
Let w be (12/(4 + 0))/1. Solve j - 3*y - 1 = -y, -w = -3*j - y for j.
1
Let d = 7 + -4. Suppose 0 = a + 3*a - 3*q - 8, -d*a + 6 = -3*q. Let r = 28 - 24. Solve a*v = g + r, 6*g - g + v + 9 = 0 for g.
-2
Suppose -3*x + 29 = 2*i - 0*i, 0 = -3*i - 3*x + 36. Let k(g) = 2*g + 10. Let a be k(i). Solve 2*s - 5*s = r + 10, a = 4*r - 4*s for r.
2
Let a(v) = -v**2 + 3*v + 4. Let y be (1 - 4/(-2)) + 0. Let f be a(y). Solve -2*b - 9 = 2*g - 3*g, -4*b = f*g for g.
3
Suppose -h + 6*h - 10 = 0. Suppose 3*z = a + h + 5, -a = 3*z - 17. Solve 2*g - 1 = g, z*g = 2*c + 2 for c.
1
Let m = 9 - 4. Suppose m*g + 3*j - 3 = 0, -4*g + 2*j + 15 = -5. Suppose -4*o = -o. Solve o = h + g*d - 1, -h - 2 = -3*h - 4*d for h.
1
Let n(j) = -4*j - 6. Let o be n(-2). Solve o*h + 0*h = -5*c - 4, -3 = -3*h - 3*c for h.
3
Let u = -1 + 4. Suppose 0 = 3*l + 2*c - 6, -5*c + 0*c = l - 2. Solve 4*a + u = -i, 0 = i + l*a + 2 - 3 for i.
5
Suppose 0 = -3*c + i + 13, -3*c - 5*i = c + 8. Suppose 5*w - 75 = 5*x, 2*x + 2*w + 20 = -2. Let b be (1 - 1*x)/1. Solve m = -v + c, -3*v + b = 3*m - 5*v for m.
4
Let q = -26 - -30. Solve q*d = 2*m, 0 = 4*m - 3*m + d - 6 for m.
4
Let k(o) = -o**3 - 2*o**2 + 16*o - 1. Let v be k(-5). Let d be (15 + -1)/((-1)/6). Let n be ((-2)/v)/((-4)/d). Solve 4*c - n = -3*j, c - j - 6 = -6*j for c.
1
Let s(m) be the first derivative of 4*m**3/3 + m + 4. Suppose 0*h + 14 = 2*h + 3*i, 5*i = 20. Let z be s(h). Solve -5*x = 3*d - 12 - 2, z*d = 3*x + 12 for d.
3
Let i = -7 - -5. Let p be (-6)/4*4/i. Solve 5*n + 3*k - 3 = 0, -p*n - 3*k + 5 = 2*k for n.
0
Let s = -12 - -16. Suppose -o = -s*o + n + 11, -4*o + 3*n = -8. Solve -4 = p - o*p + 2*w, 0 = -4*w + 8 for p.
2
Let a be 25 + (6/(-3))/(-1). Solve -5*o - 8 = p - a, -o = 2*p - 2 for p.
-1
Let l = -18 + 23. Solve -3*o = -v, -l*v - 19 = o - 3 for v.
-3
Let n be (-3)/3 + 0 + 0. Let j be 1*-12*n/(-2). Let d = 14 + j. Solve -y = -2*k + 3, -3*y = -3*k - d*y - 2 for k.
1
Suppose -4*n + 24 - 4 = 0. Solve 6*a + 4*j - 4 = 2*a, n*a - 3*j = -27 for a.
-3
Let x(o) = 2*o - 5. Let r be x(5). Suppose -i + 4 = 2*d, 4*i + 4 = -3*d + 10. Solve d*y = p + 3*y + 7, p - r = 3*y for p.
-4
Suppose 0 = -m + 3. Suppose -i + 2*r = 5 - 15, 5 = -m*i - r. Solve -2*a + 6 + i = -4*n, 2*n + 23 = -3*a for n.
-4
Let v(w) = -w**2 + 4*w + 9. Let g be v(5). Suppose -h = -g*h. Solve -o + 1 = 2*a - h*o, 0 = 2*a - 2*o + 8 for a.
-1
Suppose 5*w + 20 = 9*w. Suppose w*k - 4*k - 2 = 0. Solve -2*j + 2 + 4 = 0, k*p = 2*j + 2 for p.
4
Suppose -h = l - 9, 2*h - l + 1 = h. Let d(i) = -i**2 - 5*i + 3. Let x be d(-5). Solve -20 = -5*b + 4*g, -2*b + h*g = x*g - 8 for b.
4
Let f = -3 - -19. Let p(a) = 2*a + 3. Let c be p(0). Solve 4*u - f = c*t - 4*t, -2*t - 4 = -4*u for t.
4
Let v(i) = i**2 + i + 1. Let t be v(0). Let f be t/2 - 77/(-22). Solve f*l - 18 = 2*d, 3*d = 5*l - 11 - 11 for l.
5
Suppose -3*m + 31 = -u, 3*u - 5*m = 5*u + 40. Let c be 210/(-63)*(-6)/(-5). Let p be c/12 + u/(-3). Solve -2*x = p, 5*v - 2*x - 10 = 3*x for v.
-2
Let m be -8*(2 - 1) - 1. Let k = -4 - m. Solve y + 2*h + 11 = 2*y, -h = k*y for y.
1
Suppose -6*c = -c - 10. Solve -2*l + 8 = c*d - 0*l, 2*d = 3*l - 17 for d.
-1
Let n(m) = -m**3 + 2*m - 2. Let g be n(2). Let f be (32/(-24))/(2/g). Solve -z + f*z - 5 = -2*v, -5*v + z - 13 = 0 for v.
-2
Let v(g) = -g - 4. Let n be v(-2). Let q(b) = b**3 + 2*b**2 - 2*b - 2. Let d be q(n). Suppose 5 + 3 = d*i. Solve 3*j - 16 = i*u, -3*j + 8*j - 21 = u for j.
4
Let m = 13 + -9. Suppose 2*r - m*r + 32 = 0. Solve -4*t = -2*a + a - r, -30 = -2*t - 5*a for t.
5
Let g(q) = q**2 - 8*q - 6. Let x be g(10). Suppose -2*o + 2 = x. Let b be (o - 0)/3*-2. Solve b*z = -2*i - 8, -z - i = i - 4 for z.
-4
Let g(z) = -z - 2. Let v be g(-6). Suppose -2*q + 0 = -2*s + 56, 2*q + 2*s + 68 = 0. Let y = -11 - q. Solve 5*d - 4*k - 13 = 0, y = v*d + k - 3 for d.
5
Suppose 2*s - 6 = 3*i, s + 5*i + 2 = -8. Solve 2*r + 6 = -3*d - d, s = 3*r + 9 for d.
0
Let u = -6 + 9. Solve 3*g = 4*l - 24, u*l - 5*g - 25 = -g for l.
3
Let o(w) = -6*w - 6*w + 31*w**3 - 17*w**3 - 11 - 11*w**2 - 15*w**3. Let v be o(-10). Solve 0 = -2*n - n + g + v, 0 = -5*n + g + 17 for n.
4
Let j be (-6)/(2*1/(-1)). Suppose 0 = -y - 5*g - 2, 3*y = g - 5*g - 6. Let n = 2 + y. Solve j*w + 6 = 0, -q + 0*q - 4*w - 3 = n for q.
5
Let j = 458 + -872. Let p be 2/(-11) + j/(-99). Solve -2*m + 12 - 4 = -2*h, -p*h = 0 for m.
4
Let t(n) = -n - 12. Let q be t(-12). Solve -5*i = -4*m + 28, m = -q*m + 2 for i.
-4
Let s be 18/10 + (-1)/(-5). Solve 2*k + q + 1 - 5 = 0, -s*k = 3*q for k.
3
Let f(o) = o**3 + 15*o**2 - 34*o + 5. Let v be f(-17). Solve v*u + 15 = -5*i, -