3 for c.
-4
Suppose 0 = 5*q - 10*q. Solve 2*z + 7 = -3*g, -5*z = -q*z + 4*g for z.
4
Suppose -4*s = -s - 33. Suppose 5*p - 5*g - s = 4, -6 = -p + 4*g. Solve -d + p*u = 5, u - 4 = d + d for d.
-1
Let k = 74 - 74. Solve -x + 4*d + 3 = k, -4*x + 3*d + 6 = -2*x for x.
3
Suppose -2*s = -5*s - 2*s. Solve 8 = -2*b + 2*y, 4*b + 2*y + 2 + 14 = s for b.
-4
Let d be (-476)/12 - 4/(-6). Let r = d + 57. Solve r = m + 5*k - 2, 2*k = m + 1 for m.
5
Let a(j) = 6*j + 26. Let z be a(-4). Solve f - n = -0*n + 1, z*n = -f - 14 for f.
-4
Let w be 14/(-7)*(-10)/4. Suppose -34 = -w*o - 3*d, -d + 1 = -2. Solve -o*u - 5 = -2*s + s, -s - 9 = 2*u for s.
-5
Let j be 2/2 + 5/5. Solve d + 8 = j*x, 5*x = x + 5*d + 16 for x.
4
Let a = 88 + -83. Solve -6 = b + b, a*i - b = 23 for i.
4
Suppose 5*p = 5*d - 2*d - 21, 2*p + 28 = 4*d. Suppose 2*v + 11 = 4*m + m, d = 2*v + m. Suppose -v*b + 3 = b. Solve -h - b = q - 0*q, -2*q - 4*h = 2 for q.
-1
Let n = 22 + -18. Suppose 0*x = -n*x + 80. Solve -5*m = b - x + 1, b - 3*m + 13 = 0 for b.
-1
Let z(n) = n**3 + 4*n**2 + n - 2. Let w be z(-3). Suppose 0 = 5*c - w*c. Suppose -s + 0*s = c. Solve -f + s = -3*b + 5, 3*f - 6 = 2*b for b.
3
Suppose -4*w = -2*m + w + 31, 0 = -3*m - w + 21. Solve -a - 1 = 4*y - 9, 4*y + 5*a = m for y.
2
Let y = 6 - 9. Let b = y + 3. Solve t = -5*d + 22, b = 4*d + 2*t - 0*t - 20 for d.
4
Let w(l) = 5*l - 1. Let s(a) = -a**3 + 5*a**2 - 3*a - 3. Let v be s(4). Let q be w(v). Let t = q + 16. Solve 4*p + 16 = -r, 3*r - t = -2*r + 5*p for r.
0
Let v(b) = -b**2 + 13*b - 5. Let c be v(12). Suppose -m - 2*t - 6 = 0, t = -4*m + m + c. Solve 4*z - 5*r - 26 = 6, 0 = z + m*r + 13 for z.
3
Suppose -173 = -5*i + 52. Suppose 0 = -4*m - m - i. Let u be 10/6 - 3/m. Solve 21 = -4*b - 5*y, -u*y - 16 = -b + y for b.
1
Suppose -5*k = -13 - 7. Let g(f) = f**3 - 3*f**2 - 3*f - 1. Let d be g(k). Solve -3*a - n = 10, d*n - 24 = -9 for a.
-5
Let b be (-2)/6 + (-26)/(-6). Suppose -4*y - b = -64. Suppose -3*p = -2*l - 22, -2*p = -3*p + l + 9. Solve p*t + 11 = -3*j, 0*t - y = 3*t for j.
3
Let b be 30/9 - (-2)/(-6). Suppose s = -b*s. Let i = -36 - -38. Solve 2*d + 0*d + 3*u + 6 = s, -i*u = 0 for d.
-3
Let z be 3/(-6) + (-26)/(-4). Let v(q) = -q + 8. Let f be v(z). Let m = -21 + 25. Solve 3*d - 2*s = -5, -f*s = m*d - 0*d - 12 for d.
1
Let c = -13 + 27. Solve g - 5*v - 15 = 0, -4*g = -v + 4*v - c for g.
5
Let j(t) be the first derivative of t**4/4 + t**3/3 + t**2/2 + 2*t - 3. Let g be j(0). Solve -3*x = 6, g*x - 4*x + 4 = -4*r for r.
-2
Suppose 4*n = 3*z - 20, 0 = -3*z + 3*n - 7*n - 20. Suppose u - 2*u + 4 = z. Let l be (2/(-2))/(1/(-3)). Solve 3*k - k + 9 = x, -3*x - u*k - l = 0 for x.
3
Suppose 2*o + 0*u + 2*u = 104, 136 = 3*o - u. Let g = -34 + o. Let h(n) = -n**2 + 2*n + 4. Let a be h(2). Solve 4*c - 40 = 4*q, q + g = a*c - 12 for c.
5
Let l = -11 + 19. Let a = 13 - l. Solve -8 = -3*x + 2*n, -2*x + 1 - 2 = a*n for x.
2
Let a(h) = 2*h - 11. Let z be a(7). Solve -z*f + s = -10, -s = -f + s for f.
4
Let b(g) = g**2 + 3. Let q be b(0). Suppose -7*w = -4*w + q*n - 9, 0 = n. Let f(h) = h + 4. Let c be f(-2). Solve -2*u = 2*z - c, -19 = 5*u - 0*u - w*z for u.
-2
Let y = 6 - 0. Let p(d) = -3*d + 0*d + d - 17. Let b be p(-12). Solve 0 = 5*m - 2*n - b, -4*m - 2*n + 4*n = -y for m.
1
Suppose 2*h - 47 = -y, 2*y = 2*h + 5*y - 37. Let r = -24 + h. Solve 3*o = -0*n + r*n - 6, -o - 3*n = 13 for o.
-4
Suppose a - 12 = -4*q, 2*a - 2*q + 9 = 3. Solve -5*y + 2*m - 23 = 0, -2*m + a = 3*y + 1 for y.
-3
Let d be -5*(-3)/(-2 - -5). Solve -d*h + 13 = -3*r, -3 = -3*r - 2*h - 2 for r.
-1
Let v(c) = -c**2 - 5*c + 3. Let i be v(-5). Let m(r) = r**3 + 8*r**2 - r - 6. Let b be m(-8). Solve 3*k - 2*a = -3, 0 = 3*k + b*a + i*a - 18 for k.
1
Suppose -8*w = -5*w + 3. Let q = 15 + w. Solve 0*g + q = 2*g + 4*s, -s = -3*g - 7 for g.
-1
Let n(t) = t**3 - t**2 + 2*t - 1. Let z be n(1). Suppose 0 = -3*x + 15 + 24. Solve 0 = 3*b - 9, 0 = -4*g + 2*b - z - x for g.
-2
Let h = -6 + 8. Let b be (-21)/(-5) + (-1)/5. Suppose -l = -5*l, 2*l = -2*q + b. Solve 3*d + 6 = 4*g, q*d = 5*g - h*d - 7 for g.
3
Let w(z) = -15*z. Suppose 1 = -0*h - h. Let j be w(h). Let a = -2 + 10. Solve -5*t = 4*r - j - 5, -a = -2*t for r.
0
Let u be 9/(7 - 4) - -1. Suppose 3*d + u = 5*d. Solve 3*f = -15, 5*z - d*f + 3*f = 0 for z.
1
Let d = 2 + 12. Suppose 7*n + d = 3*v + 3*n, v - 4*n - 18 = 0. Let m be (5/15)/(v/(-66)). Solve 2*j + 4*i - 19 = -3*j, 5*i = -2*j + m for j.
3
Let j be ((-6)/4)/(18/(-24)). Let f be 0 - j - 6/(-3). Solve 5*w - 5*t + 3*t + 26 = f, 11 = -5*w - 3*t for w.
-4
Let u = -4 + 12. Let p be (3 + -8)*u/(-10). Solve -n - 1 = c, p = -5*c - 3*n - 7 for c.
-4
Let n = -8 + 11. Let d(i) = i**3 - 2*i**3 - n*i**2 + 5 - 3*i**2. Let m be d(-6). Solve 0 = -6*b + 3*b + 3*r, b = m*r - 12 for b.
3
Let f be ((-8)/(-14))/((-34)/(-119)). Solve 5*d - 4*d = -5*l - 29, 0 = -f*d + 4*l + 12 for d.
-4
Suppose -f + 5*f - 5*n - 7 = 0, 5*f - 4*n - 11 = 0. Suppose y + 0*y = f. Let r be (6/4)/((-2)/(-32)). Solve 0*c = -y*c - 3*b + 9, -4*c - r = -5*b for c.
-1
Let s = 0 + 0. Suppose -4*x + 10 + 2 = s. Suppose 2*h - 5*m - 16 = 0, -x = -4*m - 11. Solve 3*z - 2*k - 15 = -0*k, -21 = -4*z + h*k for z.
3
Suppose 0*h - 3*o - 6 = 3*h, 4*o + 8 = 2*h. Let l(m) = 4 - 5*m**2 - m**3 + 6*m - 6*m. Let d be l(-5). Solve -3*z - 23 = -h*g - 2*g, -5*z = -d*g + 41 for z.
-5
Suppose -o - 17 = 5*c, 10 + 10 = -5*c. Suppose 4*b = o + 17. Suppose 0 = b*z - 2*q - 11 - 10, -2*z - 3*q = 3. Solve n + 5*d - 14 = -z*n, -4*d + 6 = -2*n for n.
1
Let k(t) = -t - 1. Let f be k(1). Let y = -64 - -46. Let i be (1/f)/(3/y). Solve 3*q = -3*x - 3, -3*q - q = i*x for x.
-4
Suppose 0 = -4*c - c - 5. Suppose -3*v - 25 = 2*v. Let s be c/((v/6)/5). Solve 2*i + 2*h + s = 0, 5 - 2 = -i + 5*h for i.
-3
Let p = 11 + -8. Let d(h) = -h**3 + 4*h**2 - 2*h + 3. Let o be d(p). Let l = -6 - -11. Solve -3*k = -4*k + 3*v - 2, k = -l*v + o for k.
1
Let o(a) = a**2 + 6*a + 10. Let k be o(-4). Suppose -5 + 15 = w. Solve 3*v + 9 + w = -5*d, 4*d + 2 = k*v for v.
-3
Let s(l) = 2*l - 4. Let k(f) = -4*f**3 + 2*f + 1. Let o be k(-1). Let w be s(o). Solve -24 = -w*n + 7*n - y, 2*n - 4*y + 6 = 0 for n.
-5
Suppose 3*f = -m + 14, -26 = -m + 2*m - 5*f. Let b be 3*2/(m - -3). Solve -18 = -b*g - 5*o, 3*o = g + 1 + 7 for g.
1
Suppose 72 = 5*p + 6*k - 2*k, -75 = -5*p - 5*k. Let j be 1 + 4/(p/39). Suppose 0*d = -d + j. Solve 0 = -0*r - 2*r + f - 5, 5*r - 4*f = -d for r.
-2
Suppose -5*i - 6 - 6 = 2*w, 13 = -5*w - 4*i. Let d = -1 - w. Suppose 2*u = -d*u. Solve -4*x + u*c + 4*c = 16, -12 = -4*c for x.
-1
Suppose -u + 2 = -0. Suppose 2*q - u*m - 13 = m, -3*m - 5 = 2*q. Solve 3*r - 16 = -5*h - r, 2*r - q = -h for h.
4
Suppose 2*b + 0*b = 4. Solve f = -b*v - 4, -v + 6 = 3*f - 2 for v.
-4
Let x = 5 - 12. Let a = x - -11. Let h = -5 + 12. Solve a*s - 8 = -l + h, 4*s = -4*l for l.
-5
Suppose -4*r = -89 - 59. Solve -3*o + r = -5*y, 7*o = 2*o + 2*y + 30 for o.
4
Let d = 73 + -58. Solve 5*m - w + 3*w + 15 = 0, 0 = -5*m + 2*w - d for m.
-3
Let k be 74/14 - (-4)/(-14). Let l be (1/(-2))/((-4)/8). Let f = 1 + l. Solve -5*r - 2*v + 25 = 0, -f*r - 40 = -7*r - k*v for r.
3
Let d(b) = -b**3 - b**2 - b + 2. Let w be d(0). Let v = w + 3. Solve x - 3 = 4*y + v, 2*x + 2 = -y for x.
0
Suppose -6 = y - 2*y. Let r = 10 - y. Let b(q) = q**3 - 10*q**2 + 3. Let f be b(10). Solve f*p - 11 = -r*k + 4*p, 0 = 3*k + 2*p for k.
2
Suppose -1 + 10 = 3*x. Suppose 0 = x*t + 96 - 12. Let c be (-7)/t - 11/(-4). Solve 4*g + 7 = 5*a + g, 5*g + 1 = c*a for a.
2
Suppose -5*h = -h. Let q = -18 + 15. Let f be q/12 + 25/4. Solve 5*g = -5*i - 15, h = 5*g - 3*i - f - 3 for g.
0
Let q = 13 - 11. Solve -2*x + 5*i - 11 = 0, -11 = x - q*i - 6 for x.
-3
Let j be (0 + 4)*9/6. Suppose 2 - j = -g. Solve 3*n - g*v = -8, -3*n + 3*v - 4 = 2 for n.
0
Suppose -2*k + 39 = 15. Suppose i + 10 = 12. Solve -o = -n + i*o + k, o = -n for n.
3
Suppose 4*r - 6 = r. Suppose 2*i + 5 = -w, -3*w - i = -4*w + 7. Solve 1 = -r*l + w*m, 1 = 3*l + m - 3 for l.
1
Let u be (66/(-55))/((-2)/5). Solve u = -3*i, 5*i - 15 = -3*j + 8*j for j.
-4
Let k be 0 - (24 + 1 + -4). Let u be ((-18)/k)/((-1)/(-14)). Solve y - 12 = -2*y, -4*t + y = u for t.
-2
Suppose 15*j - 112 = j. Solve -4*l + 5*h = -8, j = 4*l + h - 4*h for l.
2
Suppose 0 = -4*s + 9 - 1. Suppose 3*g = -s*o - 5, 5*o - g - 4