0 for c.
0
Let l be 3/(3/(-4)) - 2. Let w be (-16)/(-3)*l/(-4). Solve 0 = j + 1, -3*i = -6*i - 5*j - w for i.
-1
Suppose 0 = 4*m + 4*i - 16, 21 = 5*m - i - 5. Solve 5*r + 10 = -3*o, m*o = -r - 3*r - 8 for r.
-2
Let q be (-15)/6*4/(-5). Suppose 4*c + 12 = 4*i, c + 14 = q*i + 3*c. Solve 0*p + 5*o - 35 = -3*p, 0 = p - i*o + 15 for p.
5
Let v(j) = 5*j - 2. Let x(u) = -2*u - 3 + 3*u + 5*u. Let f(y) = 7*v(y) - 6*x(y). Let b be f(0). Solve 4*c + b = -4*t, 1 = c + 2*t - 1 for c.
-4
Let c be (0 - 1/1)*-4. Let b(d) = -d**2 - 5*d - 2. Let o be b(-2). Suppose o*f + 8 = 20. Solve -9 = -c*h - f*n, 0 = -3*h - 0*n + 3*n - 9 for h.
0
Let h(v) = v**2 + 3*v - 2*v + 0*v + 3*v - 4. Let z be h(-6). Solve -a + 3*a + z = 4*d, -2*d + 4 = 2*a for d.
2
Let l(y) = -y**2 + 4*y + 1. Let m be l(2). Suppose -19 = 3*q + m*w, -6*w = -2*w + 20. Solve g + q*b = 0, 1 = -b + 3 for g.
-4
Let s(r) = r**3 - 6*r**2 + 4*r + 7. Let m be s(5). Suppose 0*f = -m*f + 6. Solve -2*d - f*w + 0 = -7, 4*d = 4*w + 24 for d.
5
Suppose 5*a - 56 = 44. Solve d + 3*d + a = -5*i, 0 = -d - 4*i - 16 for d.
0
Let z = 3 - 2. Let n = -18 + 14. Let h(c) = c**2 + 4*c + 5. Let a be h(n). Solve 3*s + a*x + 0*x = 22, 4*s = -x + z for s.
-1
Suppose -q + 1 = -5*j, -3*j - 3 + 4 = -q. Let m(g) = -4*g - 4. Let n be m(q). Suppose 37 = 5*f + n. Solve -5*k = 2*z - 31, f*z + k - 40 = -4*k for z.
3
Let s(f) = 2*f**2 + 31*f - 11. Let i be s(-16). Solve -2*j - 8 = -0*j, h + i*j = -17 for h.
3
Suppose a = g - 1, -3*a - 2 + 4 = 2*g. Solve -j - j = 2*i - 2, 2*i + j + 1 = a for i.
-2
Let x = 10 + -6. Suppose -2*s + x*s = 0. Suppose s = j - 4 - 0. Solve -4*c + 3*k + 16 = 0, 5*c - 19 = 2*c + j*k for c.
1
Suppose 0 = v - 4*y - 2, 3*v + 3 = 3*y + 9. Let k = v + 0. Solve k*j - 41 = -4*h - 11, j - 20 = -3*h for j.
5
Suppose 7*y + 8 = 50. Solve -3*n - y = -0*o + 3*o, 0 = -4*o for n.
-2
Suppose -5 + 13 = y. Solve j = 5*t - 23, -6*t = -t + 4*j - y for t.
4
Let x = 12 + -7. Suppose 2*i + 1 + 3 = 4*t, -12 = -t - x*i. Solve j + t*j - 27 = 3*c, -c = -5*j + 29 for j.
5
Suppose 4*k = 5*z - 32, -z + 3*k + 1 = 4*k. Solve -16 = -z*h + 4, 3*h = 2*t + 25 for t.
-5
Let x = 113 + -109. Solve o - 4*o - 6 = 2*q, -2*q - 2*o - x = 0 for q.
0
Suppose 0 = -4*m - 11 - 5. Let c(h) = -h. Let w be c(m). Solve 5*x + 29 + 1 = 5*y, 0 = -w*x + y - 21 for x.
-5
Suppose -t = 0, -5*o = -o - 4*t - 16. Solve -o*g - 10 = 5*i, -10 = 6*i - i - 3*g for i.
-2
Let j(n) = -5*n - 9. Suppose 83 = -5*d + 4*i, -2*i + 54 = -3*d - i. Let a = d + 13. Let z be j(a). Solve 0 = u - 5*q - z, -4*u - q - 4*q - 41 = 0 for u.
-4
Suppose 3*j - 58 = 5*r, -2*j = -1 - 1. Suppose 0 = b + 2*d - d + 16, -4*b - 5*d - 65 = 0. Let m = r - b. Solve -3*l + f - m*f = 21, -4*f = -3*l for l.
-4
Suppose 25 = d + 12. Solve -5*q + 12 = -d, -4*f + 18 = 2*q for f.
2
Let h = 7 - 3. Suppose -5*b = -t - 22, -4*b + b - h*t + 4 = 0. Let l = -6 + 8. Solve 0 = 2*g + 3*g - l*i - 8, -b*i = -g + 16 for g.
0
Let f = -62 + 65. Solve -4*y + 4*r - 15 = y, -y - f*r + 16 = 0 for y.
1
Let w(c) = 2*c**2 + 5*c - 3. Let h be w(-3). Solve 3*n + 2*n = b - 6, n + 2*b - 1 = h for n.
-1
Let t = 3 + -2. Let v = t + -1. Solve y - 5 = -v, 3*r + y = 17 for r.
4
Suppose 0 = -4*a + 4*s, -5*a = 2*s + s. Solve -4*d + 2*c - 3 - 17 = a, -d = 2*c for d.
-4
Suppose 3*l + 11 = 4*l. Suppose l = 4*g - 1. Solve 5*a = -25, g*a + 11 = 2*f + 2*a for f.
3
Suppose 0*p + 3*p - 120 = 0. Suppose -2*c = 8, x = 5*x - 5*c - p. Solve q = -4*k - 0*q + 10, -5*k - 5*q = -x for k.
3
Suppose 2*d + 2*d = -3*i + 1, -5*i = 5. Let z be ((-153)/(-18))/(d/2). Solve 12 = -3*r - 3*b, 0 = -4*r + 5*b - z - 8 for r.
-5
Let t(u) = -u + 13. Let w be 12/(-5)*(-10)/3. Let f be t(w). Solve -f*c - 15 = 0, 7*a + 2*c - 9 = 2*a for a.
3
Suppose 0 = 2*u + 2*w - 6, 2*u + 4*w = -w. Suppose 0 = -u*d + 3*d + 8. Solve -4*v - 32 = d*t - v, -v + 6 = -2*t for t.
-5
Suppose 0 = 2*j - 2*o - 14, j - 3*o - 13 = 2*j. Solve 0 = 4*c - d - 15, -j*d = -d - 1 for c.
4
Let r(f) = -f**2 - 3*f + 4. Let l be r(-4). Suppose -3*o + 46 = 4*y, l*y + 3*y = -3*o + 36. Solve -2*x - 2*k - y = 0, 5*k + 4 + 5 = 3*x for x.
-2
Suppose 0 = -t - 0*t. Suppose 0 = v + v. Suppose v*p - 3*p + 12 = 0. Solve -8 = -3*m + p*d, 0 = -t*m - 2*m + d + 2 for m.
0
Let y(j) be the second derivative of 9*j**5/20 + j**3/6 - 2*j. Let p be y(-1). Let f be (-3 + p/(-3))*6. Solve -a - 4*k + 19 = -1, -4*k + 24 = f*a for a.
4
Let z be ((-5)/2*-2)/1. Suppose -z*q = 5*m, 0 = -m + 2*m. Solve -23 = 5*j + b + 5, q = 4*j + 2*b + 26 for j.
-5
Let k = 16 + -11. Let q be 1*(-2 - 1*-4). Suppose -4*n = 4*y - 24, -2*n - 8 = -q*y - 0. Solve 2*p - t + 4 = -1, k*t = y for p.
-2
Let n(o) = o**3 + 6*o**2 + o + 6. Let h be n(-6). Solve c = 4*v + 13, -5*c + 2*v - 7 = -h*c for c.
-3
Suppose -3*r + 4*l = 2, 4 - 2 = l. Solve -4*o - 5*q = -2*o + 4, -r*q = 4*o - 8 for o.
3
Let r be ((-26)/39)/(2/(-75)). Suppose 3*v = -2*a + r, 2*a - 16 = -6. Solve 3*l = v*c + 2, -5 + 29 = 4*l + 4*c for l.
4
Let u(a) = -a**2 - 11*a - 9. Let h be u(-5). Solve 4 = 5*w - h, 0 = -4*x - 4*w + 8 for x.
-3
Let s(h) = -h**3 + 5. Let x be (0/2)/(3 - 2). Let r be s(x). Let j be 8/(-20) + 12/r. Solve -j*m - 2*m - 2*q + 18 = 0, -2*q = m - 3 for m.
5
Suppose 4*d = -18 - 6. Let w = -2 - d. Suppose 0 = 6*i - 2*i. Solve i = -2*c - u + 15, -w*c - 15 = -3*c - 4*u for c.
5
Suppose y + 60 = 5*y. Solve -2*c + 2*o = -4, -6*o = -o - y for c.
5
Let t = -100 + 145. Solve -5*g - t = -5*d, d - 17 = -g + 4*g for g.
-4
Let r be -2*(-22)/(-4)*-1. Let m = 2 + 0. Let i be (-28)/m*3/(-6). Solve -13 = -4*p - w, i*p - r = 2*p + 4*w for p.
3
Let n be 4/(-2)*3/(-3). Suppose 0 = -3*x + 6. Suppose x*r = 0, 4*r - 4 = -q + 5*r. Solve 5*o - 5*w - 5 = 0, -5 = -n*o - q*w + 3 for o.
2
Let w be (-14)/(-3)*(-4 - -7). Solve w = a + 4*d - 10, d + 15 = 5*a for a.
4
Let t be 4/(-26) + 56/26 + 2. Solve -4*j = t*y + 12, 0 = -j + 2*y - 7 + 16 for j.
1
Let a be 1 + 3/6*2. Let q be 18 + 0 + (a - 0). Suppose 0 = 5*p - 8*p. Solve s - 5*t - q = 0, 20 = -s - 3*t - p for s.
-5
Let l be 1/(-3) - (-32)/6*1. Solve -5*w + 0*w = l*n, 2*n + w + 5 = 0 for n.
-5
Let r(d) = d**3 + 4*d**2 + 3*d. Suppose 2*p = m + 10, -3 + 5 = -m. Let l = 2 - p. Let f be r(l). Solve 5*i = 5*s, -i - f*i - 4 = -4*s for i.
4
Let x be (-5)/25 + 19/(-5). Let j(b) = -b - 2. Let d be j(x). Solve -2*o + 7 = -r, 2*o = r + d*r + 5 for o.
4
Let p(j) = j**3 - j - 1. Let v be p(2). Solve 0 = 4*u - 5*d - 2 - 2, -2*u + v*d = -2 for u.
1
Let l be ((-9)/2)/3*-2. Suppose 3 = -x - 0, -4*s = 3*x - l. Solve 4*u - 7*i + 4*i - 5 = 0, -s*i = -2*u + 1 for u.
2
Let p be (-11)/(-44) + (-15)/(-4). Solve p*h + 3 = 4*q - 1, -q - 7 = h for h.
-4
Suppose -3*l + 0*l = -12. Solve -3*q - 13 = -5*a, l*q + 0*a = 2*a + 6 for q.
4
Suppose -z = -20 + 2. Let s = -8 + z. Let d = -6 + s. Solve -2*b = -2*l - 6*b + 20, 0 = d*l - 2*b for l.
2
Let j(p) = -9*p - 71. Let x be j(-10). Solve 4*v - 5 = -2*t - x, 6 = -t - v for t.
-5
Suppose 11 = -h + 26. Suppose t = 5*a + h, 4*t + 6*a - a = 10. Let d be 45/25 + 1/t. Solve -5*i - 1 = -4*i + 3*q, -14 = -d*i + 2*q for i.
5
Let t = 13 - 9. Suppose -t*q + 3*q + 3 = 0. Suppose q*u = -u. Solve 5*x + 7 + 8 = u, -5*p + 5*x = -25 for p.
2
Let s = -5 + 3. Let f be ((-10)/(-4))/((-1)/s). Solve -5*o = -2*x - 2 - 0, 4*o - 5 = f*x for x.
-1
Suppose 2*t = 4 + 6. Solve -4*w - 5 = t*f - w, -5*f - 10 = 4*w for f.
2
Suppose 5*l = 21 - 1. Solve 0 = 2*o - l*r + 4 - 10, -2*o = 4*r + 10 for o.
-1
Suppose -q = -64 + 58. Solve 0 = -2*t - 4*h + q, -t - 3*h - 8 = -2*t for t.
5
Let r(d) be the first derivative of d**3/3 + 5*d**2/2 + 2*d + 5. Let g be r(-7). Solve 16 = -3*q + q - 5*i, -3*i - g = -2*q for q.
2
Suppose -4*i + 0*m = -3*m - 71, 5*i = 4*m + 89. Suppose 3*l = 5*t + 17, -2*t - 5 = -0*l - l. Let p = i - l. Solve -12 = -4*q + v, 3*q + v - p = 2*q for q.
4
Let i = 20 + -8. Solve -4*m + i = 3*v, 2*v = -v + 5*m - 15 for v.
0
Suppose 4*q - 8 = 2*l, -2*l + l - 5*q + 17 = 0. Suppose 0 = 3*o, l*o - 3 = -4*p + 25. Suppose 5 = 4*f - p. Solve -2*j + z - 5 = 0, f*z = 5*j + z + 12 for j.
-2
Let s be 0/2 - 0 - -4. Let h = 12 + -6. Let m be (-2 - (-8)/h)*-27. Solve -g + 3*f + 2 = s*f, -5*g - f = -m for g.
4
Let s be (-4)/(-18) + 546/(-27). Let r = s + 25. Solve 4*q - r*p - 21 = 0, -2*p + 4 = -6*p for q.
4
Let h = -13 + 15. Suppose -3*o = h*o. Let f be -1*(-4 + 0 - -1). Solve f*m + 1 + o = 2*k, -5*m = 4*k