c.
4
Let o = -13 - -37. Solve 0 = -0*n - 3*n - 4*t - 4, -t - o = -5*n for n.
4
Let o = -1 - -1. Suppose 0 = -2*y - 2*q - 3*q, y + 4*q = -3. Suppose -4*b + y*h - 5 = o, -2*b = -0*h - 3*h + 5. Solve b*s + f = -2*f + 25, 5 = -5*s + 3*f for s.
2
Suppose 0 = 5*q - q - 104. Suppose -3*h + q = 5*i, -h + 5*i + 0*i - 18 = 0. Let f be 4 - 3 - h*-1. Solve -g - f = -4*g - 2*o, 5*o - 1 = -g for g.
1
Let k(t) = -9*t - 5*t - 9*t**2 + 0 - 7 + t**3 + 5*t. Let c be k(10). Solve 0*i - c*v = i + 9, 0 = 4*i + 5*v + 8 for i.
3
Let u = -5 + 5. Suppose u = -4*f + 5*d + 6 + 1, 4*d = 5*f - 11. Solve b + 20 = 4*m, -f*m + 2*b = -2*b - 28 for m.
4
Suppose -n - 2*n = -b - 19, 0 = 2*n - b - 14. Solve 8 = 2*z, -n*j + 6*z - 27 = 3*z for j.
-3
Suppose x - 6 - 9 = 0. Solve 4*h = -h + 20, -r = -5*h + x for r.
5
Let r(u) = u**2 + 2*u. Let f be r(-2). Let w be (-20)/(-15)*6/2. Solve 0 = t - w*q - 15, f = 3*t - 3*q for t.
-5
Let i = 3 + 17. Let u = 138 + -133. Solve -u*q + i = -q, 5*w + q = 0 for w.
-1
Let q = -171 - -175. Solve 3 = -i - 0, q*i = -4*s - 16 for s.
-1
Let r = 11 + -15. Let b = 14 + -7. Let o = b + r. Solve 21 = -o*k - 5*z, -7*k + 2*k - 5*z = 25 for k.
-2
Let g = -6 + 10. Suppose -j = -g*j + 30. Let n = -7 + j. Solve 23 = -5*p - 4*z + 2, n*p + 19 = -4*z for p.
-1
Suppose -5*s - 8 = -4*s - 4*v, -5*s + 8 = -4*v. Let i(y) = y - 1. Let f be i(s). Solve -p - 9 = 3*z + 3, 2*z - f*p - 3 = 0 for z.
-3
Let t(n) = -3*n - n - n**2 + 3 + 0. Let i be t(-4). Let c = i + 0. Solve -5*v = -5*r, -c*r + 0*v + 2*v = 0 for r.
0
Suppose 14*g - 2*g = 0. Solve 5*a + 2*y + g*y = -21, -3*a = 5*y + 24 for a.
-3
Suppose 2*a - 2*t + 5 = 27, 5*t = -2*a + 22. Let g = a - 11. Solve 2*k = r - 4 - 1, k + r - 2 = g for k.
-1
Let v(x) = -x + 4. Let a be v(2). Let f(i) = 8*i - 3 - 3*i + 0 - i**3 - 5*i**a + 0. Let c be f(-6). Solve -3*d = -5*g + 24, -c*g + 2*d = -3*d - 24 for g.
3
Let y = -17 + 20. Suppose -4*s - t = 3*t - 28, 4*t = 8. Let u(j) = j**3 + 4*j**2 - 1. Let q be u(-2). Solve y*x - q = h, -2*x - s*h = -h + 14 for x.
1
Let o be -2 + (0 - 6*(-2)/3). Solve 24 = 4*b + f + o*f, f - 4 = 0 for b.
3
Let i(r) = -r**3 + 13*r**2 - r + 16. Suppose -t + 0*t - 22 = -2*y, -3*t = -3*y + 27. Let j be i(y). Solve -j*p - 3*m = 12, -2*m - 10 = -4 for p.
-1
Suppose 5 = -5*o + 35. Solve 3*y + 5*c = o*c - 12, -7 = 2*y - c for y.
-5
Suppose 0 = -2*u - 2*u - 20, 5*u = -x - 20. Let b be x + (2 - (-6)/(-3)). Let h = -3 + b. Solve 10 = 5*n + 5*a, -h*n + 4*a + 25 = -a for n.
5
Let p be (0 + 1 - -3)/2. Let s be (2 + -2)*p/4. Let m(i) = -i**2 + i + 2. Let n be m(0). Solve 2*w - 14 = -0*f - 4*f, -4*f + 2*w + n = s for f.
2
Let c(o) = o**2 - o + 1. Let i be c(2). Suppose -m + 16 = 5*v, i*v + 1 + 2 = 0. Let n = m + -15. Solve -4*l + n = 3*b, l - 2*l = 0 for b.
2
Let r be (12/(-10))/((-1)/20). Let i = -3 - -9. Suppose 0 = -i*p + p + 100. Solve y = -2*v - 3*y + p, -r = -2*v - 5*y for v.
2
Suppose -u = -4*u + 27. Solve 1 + 0 = l, 0 = -2*g + 5*l - u for g.
-2
Suppose -3*x - 3*m = -18, -m + 6*m = 2*x + 9. Solve -2*z - 11 = 4*r - 3*z, x*r - 3 = -3*z for r.
-2
Let y be (-8)/6*3/(-2). Let i be (12/(-10))/y*-5. Solve z - 4 = i*m - 16, -5*m - z + 20 = 0 for m.
4
Suppose 19 = 5*n + 3*o - 4*o, -2*n - o = -2. Solve -5*u - n*c - 25 = 0, -4*u - c = -5*u - 5 for u.
-5
Suppose c = 4*c - 12. Solve 4*u = c*w + 8, 3*u + 13 = -5*w - 5 for w.
-3
Let f = 56 - 36. Let g(h) = h**3 - 7*h**2 + 2*h - 2. Let k be g(7). Let x = k + -9. Solve 0 = i + x*b + 15, -4*i - f = 3*b + b for i.
0
Let l(c) be the first derivative of -c**3/3 - 11*c**2/2 + 16*c - 1. Let b be l(-11). Solve 5*x - b = 4*y + 4*x, 2*x = 2*y + 2 for y.
-5
Suppose -i + 60 = 11*i. Solve 2*z + 3*m = 21, -60 + 20 = -5*z - i*m for z.
3
Let m(q) = 3*q**2 + 3*q - 4. Let v be m(1). Solve -10 = -5*f, 4 = v*u + 5*f - 2*f for u.
-1
Suppose -4*i - i = 0. Suppose i - 12 = -3*c. Solve 2*l - 5*r - 6 = 0, -3*r = -c*l - r + 12 for l.
3
Let x be ((-4)/5)/(1/5). Let v = 12 + x. Solve 4*g = -i + 5*i - v, -2 = 5*i + g for i.
0
Suppose 4*s + 0*s = 0. Let g be 1 + (13 - s) - 0. Let j(x) = x**3 - x**2. Let f be j(1). Solve f = -5*b - 15, 0 = 2*n - b - b - g for n.
4
Suppose 0 = c - 3*c - 8. Let g be c/(-10) - (-579)/15. Let n = -26 + g. Solve -5*k + 4 = -4*t, -t + 1 = -4*k + n for k.
4
Suppose -2*t = -3*f + 7, 3*f = 8*f - 5*t - 10. Solve 2 - 4 = -f*u + o, -5*o = -u - 4 for u.
1
Let r(h) = -h**3 - 6*h**2 - 7*h - 2. Let l be r(-5). Let c = l - 4. Solve -24 = 3*f - c*q, 12 - 1 = -5*f - 3*q for f.
-4
Let i(o) be the second derivative of -o**3/6 - 3*o**2 + o. Let t be i(-11). Suppose -2*y + 6 = -d, -5*d + 25 = t. Solve -3*k = y*g - 6, 3*g = 2*k - 5 + 1 for k.
2
Let t(o) = -o**3 - 7*o**2 + 4*o + 4. Suppose 3*j = 4 - 28. Let g be t(j). Suppose -5*i + g = 6. Solve 2 = 3*f - 4, q - 5*f + i = 0 for q.
4
Let u be (-9)/3 - 1*-6. Suppose -u + 13 = 2*m. Solve g = -4*s - 8, m*g - s = -12 - 7 for g.
-4
Let f be (-22)/(-8) + (-8)/((-192)/(-18)). Solve -f*d - 2*c = -10, 4*d = 2*d + 3*c - 5 for d.
2
Let k = -3 + 7. Let i(o) = 2*o - 5. Let r be i(k). Solve 2*q - 6 = 5*y, 4*y + r + 1 = 2*q for y.
-2
Let k be (88/(-77))/(4/(-14)). Solve 4*y - k*r + 16 = 0, -5*y + r = -r + 8 for y.
0
Let f(l) = 5*l**2. Let q be f(-1). Solve q*u = -2*h + 5, 4*h - 5*h = 2*u - 1 for h.
-5
Let g(b) = b**2 - 1. Let z be g(-3). Solve 2*v - 2*n = z, -4*v + 4 = 3*n - 5 for v.
3
Let b be (1/1)/((-3)/(-6)). Let j = 4 - b. Solve -2*r - t + 9 = j*t, 5*r - 3 = -t for r.
0
Let a = -54 - -58. Solve 0 = -3*y - i + a, -5*y + i + 6 = -6 for y.
2
Suppose 0 = -3*g - 4*q - 0*q + 42, 3*q = 0. Suppose 5*k = i + g - 4, 0 = -5*k + 15. Solve -s - 3*s + 2 = -2*r, -2*s - i*r - 17 = 0 for s.
-1
Suppose -k + 6*k = 0. Suppose -5*x + 4*p - 6*p + 15 = 0, -4*p - 20 = k. Solve -x*j - 30 = -0*d - 5*d, -21 = -2*d + 5*j for d.
3
Let l(u) = u**2 - 2*u**2 + 4*u - u + 3. Let k be l(3). Solve 2*s - 2 = 4*p, -5*s = 5*p + k + 7 for s.
-1
Let k(l) = l + 9. Suppose 0*m + 20 = -4*m. Let r be k(m). Solve r*t + 4 = -o + 4*o, 0 = -2*o for t.
-1
Let c be ((-20)/6)/(7/(-21)). Solve 0 = 4*n + 2*q + 6, -2*q = 5*n - 0*q + c for n.
-4
Let i(z) = z**3 - 6*z**2. Let y be 2*3 + 1 + -1. Let t be i(y). Solve t*v + 2*v - s - 2 = 0, 0 = -2*v - 5*s - 22 for v.
-1
Let p = -10 + 15. Suppose -30 = -5*l + 5*c, 3*l - p*c - 4 = 22. Solve -2*m = l*w + 6, 4*m + 3*w + 18 = 2*w for m.
-5
Let n(k) = k**3 - 10*k**2 - k + 12. Let m be (-1)/(2/6) - -13. Let b be n(m). Suppose 0 = 3*z + b*z - 10. Solve z*s = 3*v + 2, 0 = s + 5*v - 4 + 3 for s.
1
Suppose -s = -0 - 3. Suppose -v - s*v + 16 = 0. Suppose -12 = -2*l - 4. Solve 0 = -v*h - l*r - 16, -2*h + 5*r - 25 = 2*h for h.
-5
Suppose -101 = -5*s + s - 3*x, 77 = 3*s + x. Let w(f) = -f + 3. Let j be w(0). Suppose 6*n - j*n - 12 = 0. Solve 2*i + s = 5*k, n*i + 2*k = -2*k + 4 for i.
-3
Let n be 21 + 2 + (-1 - 2). Suppose -w + n = w. Let d be 3/(-3) + w + -1. Solve 6 = -s + 5*m - d, -5*s = -m + 22 for s.
-4
Let n(f) = -f + 27. Let r be n(22). Solve o + r*x - 3*x - 6 = 0, -o + x - 9 = 0 for o.
-4
Let y(j) = 3*j - 10. Let w be y(4). Solve s + 10 = 2*u - 0, -w*u - 4*s - 10 = 0 for u.
3
Suppose 0 = 5*k, -x + 2*x = 4*k + 8. Suppose x = -2*g + 4*g. Solve 5*u + g*t + 12 = 0, -4*u = -0*t + t + 3 for u.
0
Let u be (4/(-6))/(1/6). Let t be (5/u)/(2/(-8)). Suppose -3*o + 15 = 2*o. Solve -t*x - 4*j = -x + 4, 0 = x - o*j - 19 for x.
4
Suppose -55 = -9*d - 2*d. Solve 7 = 2*m - 3*h - 8, -d*m + 9 = 2*h for m.
3
Let l(z) = z**2 + 12*z. Let g be l(-12). Solve 5*d = 5*u + 20, g = u + 4*d + 1 - 12 for u.
-1
Let f(d) be the third derivative of d**6/30 + d**5/60 - d**4/12 + d**3/6 + 3*d**2. Let s be f(1). Let v be 2/s*24/4. Solve -5*k = -v*k + 4*c, 0 = k + c for k.
0
Let h be (-10)/(1 + 0)*-1. Let n(c) = c**2 - 10*c + 11. Let j be n(9). Let r(d) = d + 3. Let k be r(12). Solve -2*f = 2*i - 4*f + h, -j*f + k = -3*i for i.
-5
Let f = 4 - 0. Suppose -f*n = n - 60. Let o(d) = 4*d**2. Let j be o(-1). Solve 0 = -2*m - j*z + 24, 0*m - z - n = -4*m for m.
4
Suppose -3*x + 0 + 15 = 0. Suppose -m + 27 = 3*a + 10, x*a + 5*m = 45. Let t be (-2)/a*0/(-3). Solve -2*p + 5*p = 3*h, -4*h - 5*p - 45 = t for h.
-5
Suppose 6*n - 100 = n. Suppose -3*z = j + 2*j - 12, -3*z = 5*j - n. Solve -5*d + d = 2*g + 2, -j*d = 12 for g.
5
Let l be (0/(-3 - -1))/1. Suppose 0 = -l*h - 5*h + 15. Suppose -t + 3*o + 35 = 0, -5*o + 48 = h*t + 13