 for c.
4
Let c(t) = t**3 + 2*t**2 - 3*t - 2. Let g be c(-3). Let m = -1 - g. Solve a = -2*f - 5, a = f + 3 + m for a.
1
Let y = 1630 - 1628. Solve -5*i + 13 = y*d, -9 = -2*d - d - 4*i for d.
-1
Let n = 7 - 7. Suppose 2*s + 3*s - 110 = n. Let a be (-26)/(-5) + (-10)/50. Solve s = -0*f - f - a*l, -l = 2*f + 8 for f.
-2
Let n(d) = -3*d - 19. Let b be (-2 + 1)/(10/70). Let x be n(b). Solve -3*l = 3*j + 2 + 1, 5*j - 4 = -x*l for j.
2
Let u(p) = -p**3 - 6*p**2 - 4*p + 1. Let v be u(-5). Let r(y) = -6 + 2*y + 19 - 2*y + y. Let m be r(v). Solve -2*t + 4*k - 17 = m, 2*t - 2*k = -18 for t.
-5
Suppose 3*u + 11 = -4*s + 10, 2*s = 3*u + 13. Solve 0 = -4*j - 2*m - s + 6, -4*m + 16 = 0 for j.
-1
Let k = 365 + -363. Solve k*c - 2*u = 12, 2*c - u + 5*u + 12 = 0 for c.
2
Let o(i) = -i**3 - 3*i**2 + 41*i + 25. Let t be o(-8). Solve -5*w - t = 4*a, -2*w + 3 = -5*a - 10 for a.
-3
Let l = 227 - 221. Solve 0 = 3*c - 3*w - l, -4*w - 1 = -3*c + 7 for c.
0
Let l be (-5 - -1)*(-5 - (1 - 5)). Suppose -19 = -2*q + 5*i, 2*q + l*i = -6 - 2. Solve q*p = 2*o + 6, 0 = p - 2*p - 3*o + 7 for p.
4
Suppose -5*m = -10*m + 20. Suppose 0 = h - 5, 2*i + 5*h - 75 = m*i. Let v be 5/i + (-2)/(-10). Solve 3*k = -v*j - 3*j - 6, k = 4*j + 18 for k.
2
Suppose 0*t - 5*t - 26 = v, 0 = 2*t + 10. Let i be -2*v*(-19)/(-2). Let o = i + -16. Solve -2*l + l = -o, 0 = 3*g - 4*l + 27 for g.
-5
Let t(u) = -12*u + 66. Let l be t(5). Let g be (-93)/(-21) - l/14. Solve 14 = -z + 5*v, -z - v = 3*v - g for z.
-4
Suppose 2*g + 184 = 3*z + 6*g, -4*z - 5*g + 244 = 0. Suppose -z = 3*p - p. Let a = 33 + p. Solve -3*f - 2 = -a*d, f - 3 = d - 3*f for d.
1
Let k = -6 - -9. Let t = -235 - -19. Let z be t/(-60) - 4/(-10). Solve 3*a = 5*d - 4*d - k, z*d + 2*a + 16 = 0 for d.
-3
Let g(m) = 5*m - 23. Let j be g(5). Suppose u - 2 = -s, 3*u = 4*u - j*s - 2. Solve -3*d - u = -t, -2*d + 2 = -4*d for t.
-1
Suppose 2*o = -6, 4*s - 2*o = -1 + 7. Solve 4*v - 5*j + s*j + 16 = 0, 0 = v + 4*j - 17 for v.
1
Suppose -2*v = -4*c + 131 + 1, -c + 229 = -4*v. Let r be -3 + (-3)/(12/v). Solve -2*t + 5*u - r = -5*t, 5*t - 11 = -u for t.
2
Let y(j) = 9*j - 51. Let u be y(6). Solve -d + 3*c = -6, 5*c - u = -2*d - 2 for d.
3
Let d = 1 + 2. Suppose 0 = -3*i - 2*c + 12, -i + 3*i - 8 = 5*c. Suppose 0*t = d*t + 2*r + 4, -3*t + i*r + 26 = 0. Solve 0 = 3*o - 15, 0 = 4*k - 2*k - t*o for k.
5
Let r be (((-12)/(-18))/1)/(2/12) - 2. Suppose 0 = -0*s + s. Solve -3*c + 0*n + 1 = -n, s = r*n + 8 for c.
-1
Let t be (-29 - -22) + (6 - -1). Suppose 0 = 2*u + 2*u - 44. Solve -5*x + h = 11, 3*x - 5*h + t = u for x.
-3
Let f(s) = 2*s**2 + s - 71. Let y be f(-7). Solve k + 5*w - w + 12 = 0, k = 4*w + y for k.
4
Let n = 1232 - 1228. Solve 10 = -n*h + w - 3*w, 5 = -5*h - 5*w for h.
-4
Let s(p) = -2*p**3 - 3*p**2 + 4 + 3*p**3 - 6*p + 10 - 2. Let v be s(4). Solve v*r + 6 = 2*b, 2 = -3*r - 5*b + 4 for r.
-1
Suppose 21 = 4*j - 5*b, -2 = 2*b - 0*b. Let m(h) = 4*h**2 + 3*h - 5. Let t be m(-5). Suppose -j*y = y - t. Solve 2*c + v + 0 = 2, -4*c + 4*v = -y for c.
2
Suppose -4*h + 5*q + 169 = 0, -3*h + q = -4*h + 40. Suppose 5*f - 7 = 4*l + 32, h = 3*f + 2*l. Solve -o - f + 4 = -c, -4*c - 4*o - 4 = 0 for c.
3
Let w = 2814 - 2809. Suppose 3*x + 3 - 15 = 0. Suppose 4*y + 20 = 0, 39 = 3*m - x*y + 13. Solve -w*b = 3*v + 1 + m, 3*v - 5*b + 3 = 0 for v.
-1
Let v be (3 - 1/(-2)) + (-6)/12. Let c = -212 - -340. Suppose -v*u + 5*n = -140, 3*u - n - n = c. Solve -4*a + u = 5*b + a, 0 = 4*b + 5*a - 35 for b.
5
Let y(n) = n**3 - 7*n**2 - n + 11. Let i be y(7). Suppose -i*c + 20 = c. Solve 0*p = w - 4*p - 25, c*p = 4*w - 40 for w.
5
Suppose -4*y = -y + 3. Let i be -2*(-1 - y/(-2)). Solve -2*u - 12 = i*n, u - 15 = 6*u for n.
-2
Suppose 2*w + 7 = -5*t + 286, 2*t = -5*w + 120. Suppose 2*q = 5*u - 60, 4*u - q - t = -u. Let l = -8 + u. Solve o + o = -5*p + 4, p - l*o = -4 for p.
0
Let y be (-4)/(-3)*12/8. Suppose 6*x - 3*x - 62 = 4*h, -4 = y*h. Suppose 4*b + 11 = -l + 2, -b - x = -5*l. Solve 0 = -3*c + 2*c - 3, l*c - 1 = 5*t for t.
-2
Let r(z) = -7*z - 144. Let b be r(-21). Solve -3*q + 12 = 5*n, q + 10 = 4*n - b for q.
-1
Suppose 0 = -i - 2*i - 3*q + 30, -44 = -4*i - 3*q. Suppose 108 = i*g + 4*g. Solve h - b - 14 = -g, -8 = -4*h - 2*b for h.
4
Let n be (-2)/(-9) + 16/9. Suppose 2*g + 8 = 0, 3*g + 2*g + 88 = -4*v. Let y = v - -17. Solve -q = t - 4, y*t - n*t + q - 1 = 0 for t.
1
Let v(w) = -w**3 + 4*w**2 - w + 1. Suppose 7*y - 8*y = -3. Let r be v(y). Solve 0 = -d - 0*n - 2*n + r, -3 = -5*d - 2*n for d.
-1
Let r be 22 + 1 - (-24)/6. Let t = r + -1. Solve -5*v + i + t = 0, 5*v - v + 4*i - 16 = 0 for v.
5
Let q(z) = -10*z - 74. Let k be q(-7). Let v(g) = 3*g + 14. Let l be v(k). Solve 4*h = -3*a - 8, 25 = h - l*h + 5*a for h.
-5
Let p be (-4*(-1)/(-7))/((-2)/7). Solve -4 = -2*m + 2*j + j, -4*j - 4 = -p*m for m.
2
Let a be 12/(-15) + 18/10. Let d be ((-80)/15 + 5)*(a + -7). Solve -2*k - 3 = -d*t - k, 4*t - 21 = 5*k for t.
-1
Let j(w) = 33*w. Let x = -13 + 12. Let c be j(x). Let b = c + 37. Solve -2*y + 3*s - 14 = 0, -b*y - 1 = y + s for y.
-1
Let a = -474 + 485. Solve -d - 11 = -3*n, -2*n = 5*d - 2 - a for d.
1
Let g = 906 + -899. Solve 0 = 3*h - 15, 29 = 4*y + 2*h + g for y.
3
Suppose 0 = 3*z + 3*n - 9, 11*z + 21 = 16*z + 2*n. Solve 3*h + 13 = 5*v, -z*v = 2*h + h - 7 for v.
2
Suppose 0*l + 12 = -2*q + 4*l, 0 = l - 4. Let u(m) = -4*m - 4 - 2*m + 4 - q. Let t be u(-1). Solve 3*g - 8 = 7, 0 = -2*r + t*g - 26 for r.
-3
Let a be 22 + ((-14)/21)/((-2)/(-6)). Suppose 0 = -2*q + 6*q - a. Let l be (-1 - -2) + 0 + 0. Solve -5*c + b = 6, -q*c - 3 = b + l for c.
-1
Suppose 0 = -3*y + d + 11, -y + 0*d - 2*d = 1. Solve 4*f + 10 = y*t, 4*t = f - 3*f + 6 for f.
-1
Let c = -6 - -14. Let d be (c/3)/(6/18). Suppose 5*u + t = 17 - 3, 2*t - d = 0. Solve 5*b - 5*s - 10 = 0, -u*b + 8*s - 5*s = -9 for b.
-3
Let c be ((-4)/(-5))/((-17)/(340/(-8))). Solve -3*r + 21 = c*r + 4*n, 0 = 2*r - 5*n + 18 for r.
1
Let z(m) = m**2 - 18*m + 1. Let u be z(18). Let w be 7*(40/28 - u). Solve -w = -3*i + 5*d, 4 = 3*i + 4*d + 1 for i.
1
Let j be 0 + ((-10)/(-1) - 3). Suppose 5 = g + a, j*g - 7 = 4*g + 5*a. Solve -4 + 0 = g*c + 4*f, 3*c + 3 = -4*f for c.
-1
Let n = -810 - -819. Solve -2*c - y - 1 = n, -10 = 2*c - 4*y for c.
-5
Let l be ((-30)/9)/((-2)/15). Let z = 26 - l. Solve 5*r = 2*w - 3*w - z, 2*r - 10 = -3*w for r.
-1
Let t = -426 - -430. Solve -4*c = -2*r - t, -3*r + 4 = 3*c + c for r.
0
Let x(b) = b**3 - b + 48. Let c be x(0). Let a be c/18 - (-2)/(-3). Suppose 2 = -49*h + 50*h. Solve -5*n + 4 = s - a*n, 2*s = h*n for s.
1
Suppose 4*a - 42 = 5*b, -b + 5 = 2*a - 23. Suppose -2*w + a = w - c, -5*w + 35 = 5*c. Solve -2 = -3*z - p - w, -3*z - 3 = 5*p for z.
-1
Let l = -22 + 19. Let n be 1/((-8)/4 - l). Suppose -n = -3*a + 5. Solve -5*w - 5 = -2*r, -4*r + a*r = -2*w - 2 for w.
-1
Let i(d) = d**2 + 9*d + 5. Let x be i(-9). Suppose x*h - 12 - 13 = 0. Solve -o - f - 17 = -h*f, -2*f = 4*o + 14 for o.
-5
Let o(s) = 63*s + 402. Let l be o(-6). Let n(r) = 3*r**2. Let v be n(1). Solve 0*m - v*f = 3*m - l, f = 5*m - 16 for m.
4
Let g(z) = 5*z - 28. Let r be g(6). Solve 5 = -2*h + h - i, -4*i - 8 = -r*h for h.
-2
Let i be 5/(-3) - (-170)/30. Solve 4*n + j = -i*j - 15, 15 = 5*n - 5*j for n.
0
Suppose -5*r - 41 = -4*a, -3*a + 3*r + 37 = -2*r. Let v = -231 - -231. Solve -a = w - 0*f + f, -5*f - 15 = v for w.
-1
Let s be -16 - (-4 - (-3 - 0)). Let n be (1 - -2 - 6) + s. Let r = n - -18. Solve 5*g = -2*p + 27, -4*g + p + 4*p + 15 = r for g.
5
Let c = -16 + 28. Suppose n + 9*o - c = 4*o, -n - 3*o = -10. Let k(j) = j**3 - 7*j**2 + 2*j - 9. Let x be k(n). Solve -16 = u - x*z + 5, 0 = 4*z - 16 for u.
-1
Let m(w) = 101*w - 2 - 100*w + 12. Let z be m(-10). Suppose -i + 2*i - 3 = z. Solve i*v = -4*s - 6, 4*v + 1 = -3*s - 0*s for v.
2
Suppose 0 = -8*g + 5*g + 3. Suppose 3*c + g = 7. Solve c*l + 2*v = -3*l - 14, -3*l - 3*v - 12 = 0 for l.
-2
Let k(i) = i**2 + 5*i - 48. Let z be k(5). Solve -g - 5 = 0, -z*c - g - 29 = 4*g for c.
-2
Let s(f) = 19*f**3 + f**2 - f + 1. Let x be s(1). Let b = -16 + x. Let o = b + 0. Solve -3*v + 30 = o*p + 4, 3*v + 3*p - 21 = 0 for v.
2
Let t(g) = -g**3 - 41*g**2 - 40*g + 5. Let l be t(-40). Solve y - 5 = -5*r + 21, 0 = l*y - 3*r + 10 for y.
1
Let a = 18 + -14. Suppose 2*w - 3*n = 10 - 0, 0 = a*n. Suppose -4*r - w*u = -2