 for c.
-3
Let k = -393 - -393. Solve 8 + k = -2*j, -c - 3*j - 10 = 0 for c.
2
Let y = -74 - -113. Let s = 41 - y. Solve f + s*g = -0*f - 3, 9 = -f - 4*g for f.
3
Suppose 0 = 3*s + 4*v + 1 - 8, -s = 3*v + 1. Let o = 38 - 53. Let y be (8 + 1)*(2 - o/(-9)). Solve 0 = 4*r - s*i, 4*r + y*i = -r for r.
0
Suppose 0 = -d - l + 4, -6*d - 8 = -2*d - 2*l. Solve 2*y + 6 = -x + 2, -4*x + 3*y - 16 = d for x.
-4
Let i(x) = -x**3 + 5*x + 7. Let a be (-2 - (-7)/5)*(23 + -18). Let k be i(a). Solve -c + 5*d + 2 = 1, 0 = 4*c + 3*d + k for c.
-4
Let j(l) = -l**2 - 43*l - 252. Let n be j(-7). Solve 6*f - 8*f = 5*q - 20, n = q - f + 3 for q.
2
Let w be (15 + -5 - -3) + -7. Solve l - 3 = 0, 4*l = 2*d - w + 24 for d.
-3
Let u = -937 + 937. Let o = 0 - -3. Let x be (0 + (-9)/6)*-2. Solve u = -o*n + n - 2, 0 = a + x*n - 2 for a.
5
Suppose 3*n + 4*n = 21. Suppose -4*q - 6 = 3*y, -5*q + 4*q - 2*y - 4 = 0. Solve n*h + q = 4*s - 8, 2*h + 9 = -s for s.
-1
Let c be 5 - (5 + 4/(-1)). Suppose 18 = c*h + 5*p, -2*h + h - 2*p = -6. Solve i = -4, s + i = h*s - 7 for s.
3
Let k(p) = -p**3 - 5*p**2 + 7*p + 4. Let f be k(-6). Let n = 1 - f. Suppose -62*w + 77*w - 60 = 0. Solve -h - w*h + 12 = o, n = 3*h + 2*o for h.
3
Suppose -4 = 7*h - 9*h. Suppose -4*o + 1 = -35. Suppose 6 = -2*i - 2*g, -5*i = -3*g + 6*g + o. Solve i = -3*s + h + 4, 4*s - 17 = 3*n for n.
-3
Let l be 1/(-4) - (-246)/24. Solve 3*m + 1 = -4*f, f + 2*m + l = 3*f for f.
2
Let y = -153 - -155. Solve -y = j - 5*q - 5, 9 = 3*j - 4*q for j.
3
Suppose 19*h = 13*h + 24. Suppose -12 = 2*a + 3*s, -3*s = 4*a - 6*s + 24. Let y be a/9 + 14/3. Solve h*r + r = 5*x, y*r + 15 = x for x.
-5
Suppose 2*p + 21 = 25. Suppose l + j - p*j = 17, 2*l - 49 = 5*j. Solve -3*d - 4*k + 6*k = -l, -20 = -5*d + 5*k for d.
4
Let f be (102/(-357))/((-1)/14). Suppose 2*y + 5*h - 4*h - 3 = 0, -4*h - 36 = -4*y. Suppose 0 = 2*z - y. Solve -3*o = p - f - z, -o + 2*p + 2 = 0 for o.
2
Let y(h) = h**2 - 18*h + 51. Let p be y(15). Solve -x + 0*x = -5*s - 14, 3*s - p = -3*x for s.
-2
Let q(x) = -6*x + 142. Let k be q(23). Solve 0*z = k*z + 3*o + 20, -14 = -z + 4*o for z.
-2
Suppose -2 = -l, 75 + 27 = 2*s - l. Solve -5*c - 30 = -r, -5*r + s = -2*c + 17 for c.
-5
Suppose j + 3*t - 41 = -j, 3*j + 5*t = 63. Let r = j - 14. Suppose 5*x - 30 = v - 6*v, -12 = -4*v. Solve -5*b - 3*a + 21 = -r*a, x*b - 3*a - 27 = 0 for b.
5
Suppose 0 = 4*o - 2*p + p - 7, 2*p = 10. Suppose -o*c + 6 = -c. Solve -c*z + 4*a + 12 = 0, 4*z = z - 2*a - 6 for z.
0
Suppose 4*p + 14 = 2*p. Let z be (-1 - -3 - 3) + p. Let f be 14 + -4*(-4)/z. Solve -h = 5*d + f, 4*d + h + 10 - 1 = 0 for d.
-3
Suppose 4 = y - 10. Let o be (-8)/(-4)*(-6)/(-4). Suppose o*c - y = c. Solve -q - 3 = -2, -4*i + 5*q = c for i.
-3
Suppose n = -5*c - 20, c = 4*n - 0 - 4. Solve -5*z + n*z = -b - 9, -5*z = 2*b - 12 for z.
2
Let g(s) = -s**2 - 5*s - 2. Let b be g(-3). Suppose 48 - 8 = 8*u. Suppose 8 = -t + u*t. Solve -b*l - 20 = -3*x, -t*x + 3*l = l - 12 for x.
4
Let t(w) = -w**2 + 20*w - 71. Let z be t(8). Solve 2*q - 3*d = 19, d - 6*d = -2*q + z for q.
5
Let c = -59 - -47. Let z(n) = n + 24. Let j be z(c). Let a be 16/10 + 2/5. Solve 0 = 3*p, 4*s - j = 3*p - a*p for s.
3
Suppose 4 = 2*t - 2. Suppose 8*a + 15 = t*h + 5*a, -3*a = 15. Suppose h = -d + 5. Solve -d*p + 4*p - 2 = -b, 4*b = 5*p + 8 for b.
2
Let h(v) = v**2 - 16*v + 7. Let j be h(16). Let t(l) = -2*l + 17. Let o be t(j). Solve 5*b = -4*g + 31, -o*g + 5*b = -2*g + 11 for g.
4
Let j = 56 - 32. Let f = 85 + -85. Solve f = -4*a + 3*a + 2*y + 11, 4*a = 4*y + j for a.
1
Let o = 77 + -36. Let a = o + -39. Solve 0 = -a*j + 6, 4*b + 3*j + 0*j = -3 for b.
-3
Suppose 2*x + a = 37, -29 = -x + 3*a - 28. Solve -w - x = -0*w - 4*z, 0 = 5*w - 3*z + 29 for w.
-4
Let i be (91/(-455))/((-1)/15). Solve 3*h + 0*o = o + 3, 3*h - 3 = i*o for h.
1
Suppose -34*v + 13*v = -210. Solve -2*g = 3*f + 6, 7*f - 2*f + v = -5*g for f.
-2
Suppose 8 = -p + 2*p + 2*t, -4 = 5*p - t. Suppose 6*h + h = p. Solve 2*b + 5*l + 17 = 0, 2 = b - l - h*l for b.
-1
Let z = 6 - 4. Let u be (1 + -3)*(-2 + 1). Suppose 2*w + w = a + 16, -2*a = u*w - 8. Solve -w*c + 2*l = -5, -c + l + z*l + 1 = 0 for c.
1
Suppose 5*v + 18 = -2*c - 18, -2*c = -4*v - 18. Let x be (15 + -6)*(-2)/v. Solve 22 = 4*y + 2*z, -y + 3*z = 3*y + x for y.
3
Suppose -9 = 2*h - 5*h. Let y(b) = -b**3 - h + b + 2*b**2 + 2*b - 5 + 4. Let i be y(2). Solve 3*x - 2 = p - 0, i*p = -5*x + 7 for p.
1
Let y = -2 + -8. Let v = y + 13. Let q be 4 - (-4)/(-4) - 0. Solve q*i = -v*w + 2*i + 1, 5 = -w + i for w.
-1
Suppose -5*k + 50 = -4*a, 3*k + 4*a = -k + 4. Let x be ((-84)/(-9))/(16/k + -2). Let q = -9 + 17. Solve 4*c - q = 0, 2*c + 2 = 5*l - x for l.
4
Let g = -15 + 17. Suppose 0 = g*c + 57 - 65. Solve 5*a + x + 4 = a, c*x = 0 for a.
-1
Suppose 9*q - 89 = 28. Let x be 13/(q/12) + 1. Solve -5*h - 20 = -2*l, 4*h + 15 + x = 4*l for h.
-2
Suppose 2*k = -74 + 82. Solve 4*y - 12 = -k*j, -y + 5 = -0 for j.
-2
Let z(l) = 2*l + 6. Let b be z(-7). Let i = b - -10. Let a = 2 + 1. Solve 7 = -4*d + 3*w, -w = -a*d - 7 - i for d.
-4
Let m(h) = 10*h + 20. Let j be m(-4). Let f be 12/(-8)*j/6. Solve -2*u + 4 = -3*y - f, -y - 3*u = -8 for y.
-1
Let t be (-2)/16 + (-2255)/(-440). Solve -3*r + 27 = -4*o, -3*o + t*o - 4*r = -26 for o.
-3
Let l(q) = q + 5. Suppose -4*d = -3*y + d + 10, 5 = -d. Let j be l(y). Solve -5*z + 5*r - 30 = 0, j + 4 = -2*z - 2*r for z.
-4
Let c(t) = -4*t**2 + 21*t + 20. Let z be c(6). Solve -b = 2*b - z*w - 3, -b - 4*w = -1 for b.
1
Suppose 4*i - 30 = -6. Let u = i + -6. Let c be (72/90)/(2/10). Solve c*z - 12 = 0, 3*g + 4*z + u*z = 15 for g.
1
Suppose y = -4*m - 6, 0 = -2*y + 3*m + 5 + 5. Solve 14 = -2*w - 4*u, y*w + u + 0 = 1 for w.
3
Let k(o) = 16*o - 30. Let r be k(2). Solve -5*a - 3*p - 3 = 28, 4*p - r = 2*a for a.
-5
Suppose -12 = -2*j - 2*j. Suppose -4 = p + 5*h, 4*h = 6*p - p - 38. Let q be 2/p*(-2 - -2). Solve -5 = d, 0 = -q*o + 2*o - d + j for o.
-4
Let p = -476 + 479. Solve -5*n - d + 18 = 0, -3*n + p + 1 = 4*d for n.
4
Suppose 3*a + 34 = -3*i + 19, -a + 2*i + 10 = 0. Solve a*z - 3*z + 8 = -k, -1 = k + 4*z for k.
-5
Suppose 0 = z - 5*y - 6, 0*y = 2*y. Let g be 88/16*((3 - z) + 7). Solve -g = -2*v - 7*n + 3*n, 0 = 5*v - n - 11 for v.
3
Let l(b) = 3*b - 4. Let t be l(3). Let r(v) = 2*v**2 + 6*v - 5. Let n be r(-4). Let s = 6 - n. Solve 0 = s*y + 3*p + 27, 5*p = t*y - 0*p - 5 for y.
-4
Suppose 0 = -8*g + 3*g - 225. Let i = -40 - g. Solve -b - 4 = -2*b - w, 2*b - 5 = -i*w for b.
5
Let a(d) = d**3 - 14*d**2 - 19*d - 21. Let g be a(15). Let m = g - -96. Solve -y + t = 4*t - 20, 4*y = t + m for y.
5
Let s be (47 + -5)/(-7) + 7. Solve 3*j + j - g = -16, 4*g = 3*j - s for j.
-5
Let i(b) = -2*b**2 + 22*b - 10. Let y be i(10). Let m be y/(-30) + (-1)/(-3). Solve -5*v = 0, 4*v + 25 = 5*l - m*v for l.
5
Suppose -h - 3373 = -3402. Solve 27*x - 11 = h*x + 3*d, -x + 8 = -3*d for x.
-1
Let d(f) = -f**2 + 4*f + 6. Let y be d(4). Let a be -9*(10/y - 2). Solve -23 = g - 4*w, -3*w = a*g - g - 9 for g.
-3
Suppose -x + 28 = 2*y, -4*y - x + 52 = -0*x. Let g(h) = -h**2 + 12*h + 2. Let n be g(y). Solve -4*q - 4*i + 28 = 0, -19 = -3*q - n*i - 1 for q.
4
Let v = 60 + -68. Let c(z) = -z**3 - 10*z**2 - 17*z - 5. Let g be c(v). Solve -a + 2 - 15 = 3*k, g*a + 3*k + 9 = 0 for a.
2
Suppose 5*b = -4*z + 5, 16*b - 20*b = -2*z - 4. Solve -3*m = t + b, 2*t - 3*t = -4*m - 6 for m.
-1
Let t(z) = 2*z**3 + 4*z + 2. Let i be t(4). Let x be (-4)/(-6) - i/(-6). Suppose -96 = 96*f - 104*f. Solve -4*o = -o - f, 5*l + x = 5*o for l.
-1
Suppose -50 = 66*f - 446. Solve 4*i = f*i - 4*z - 20, z - 2 = -3*i for i.
2
Let r be (-8)/6*(-45)/30. Solve -3*j + 6 = 5*z - r, 0 = -4*j + 2*z - 24 for j.
-4
Suppose 4*m - 8 = 4. Let x be 7 + 6 - m/(-3). Solve 4*i + 5*t - x = 0, 4*i - 1 = t + 1 for i.
1
Suppose -5*a - 4*a = -2187. Let c be 4/(-10) - a/(-45). Solve -l - 2*l = 2*v - 5, c*l + 4*v = 9 for l.
1
Suppose 0 = 5*b - 22 - 3. Suppose 3*g - 6*g = 2*n - 6, 3*n + b*g - 7 = 0. Solve -6 = -2*j - 5*k, 3*j - k = 6*j - n for j.
3
Let t(f) = 39*f - 153. Let o be t(4). Solve -u + 3 = 5*h - 0, -5*h = o*u - 9 for h.
0
Let y be (20 - 1)/((-6)/(-18)). Let o be 20/60 - (-16)/6. Let n be ((-10)/o)/((-38)/y). Solve -25 = n*g + 3*p, -p - 8 - 5 = 4*g for g.
-2
Let n be 36/14*(-42)/9. Let v be 5*(-1)/(20/n). Let s = 2 - 2. S