*f - 0 - z, -4*c = f - 20 for c.
4
Let c be -131 + (-2)/(3 - -1)*2. Suppose -2*m + 2*z = z + 4, -3*m + 3*z = 0. Let x be m/(-14) - c/28. Solve x*l + 17 = w, 2*l - 2*w - 2 = -4 for l.
-4
Let b(x) = 7 - 2*x - 14 + 2*x**2 + 2 + 6. Let w be b(2). Solve 4 = i + i - 4*z, w*z = -4*i - 31 for i.
-4
Let k be (-52)/(-9) + (-16 - (-438)/27). Solve 5*z = i + 19, i - k*z - 11 = -11*z for i.
-4
Let j be 8 + 16/8*3/(-2). Solve 2*i - 5*k = -21, -j*i - 21 = 4*k - 6*k for i.
-3
Let x(j) = j**2 + 6*j - 14. Let t be x(3). Suppose -8 = -4*z + a + a, z = -5*a + t. Solve 0 = 5*s + 25, 7*r - 3*r = -z*s - 27 for r.
-3
Let k = 1817 - 1814. Solve k*d = 5*a - 22, 2*d + 3*d = -4*a - 12 for a.
2
Let p be (-7)/2*432/(-126). Solve p = -3*o, 3*k = k - o - 14 for k.
-5
Let d be 0*(1 - (18/(-3) - -6)). Solve -3*y + t = -d*y + 1, -5*y = 2*t - 13 for y.
1
Suppose 0 + 10 = 5*c - 5*j, c = -3*j - 6. Suppose 12*r - 312 = -180. Solve -5*h = z - c*z + r, 3*h = -6 for z.
-1
Let g(h) = -20*h + 82. Let p be g(4). Solve -1 + 6 = -p*t + 3*l, 0 = l + 1 for t.
-4
Suppose 6*t = -2*t + 4*t. Let z(r) = -r**3 - r**2 + r + 2. Let u be z(t). Solve 3*x - 23 = 5*j, 3*x + 7 = -2*j + u*x for j.
-4
Suppose 5 - 1 = d. Let w = -45 - -50. Suppose -5*r + w*x = -15, -x = -2*r + 2*x + 4. Solve -i = -2*m + 3*i + 4, -d = r*m + 4*i for m.
0
Let t be (-1)/((-9)/27 + 2/(-12)). Solve -5*l + 18 = -0*b + 2*b, -2*b - 10 = -t*l for l.
4
Suppose -50 = 19*h - 88. Solve 3*i + 2*i + 23 = h*s, 0 = -i + 2*s - 3 for i.
-5
Suppose 4*l = 5*l - 5. Solve c + 4 = 3*v + 14, -18 = l*v - c for v.
-4
Suppose -i = -q - q + 14, 2*q - 8 = 4*i. Let g(y) = 2*y**2 + 8*y + 4. Let h be g(-3). Let d = h + 7. Solve 2*b - 2 + q = -v, -d*b - 15 = 5*v for b.
-3
Suppose 0 = -5*t + 2*m + 76, 31 = 4*m + 23. Solve t = -y - 5*w, -3*w = y - 2*w for y.
4
Let v(t) = -2*t - 9. Let w be v(-8). Suppose j = -w + 3. Let h be (13/j)/((-2)/8). Solve -m = -6 + 1, 3*d = -5*m + h for d.
-4
Let j = 106 + -106. Suppose -11*z + 9*z + 18 = j. Solve -3*p = -o + 6, 4*o + z = o for p.
-3
Let o = -10 - -10. Suppose 2*k - 11 - 7 = o. Suppose 2*b = -5*f - k, 2*b + 2*b + 5*f = -3. Solve 4*w - b*w = -2*x, 0 = -3*w - 3*x - 6 for w.
-4
Let t = 19 - 16. Let v = 0 + t. Let x be (-20)/5*v/(-4). Solve 6 = d + x*p + 1, 0 = -p + 3 for d.
-4
Suppose -5*g + 5*l + 45 = 0, 22*g - 3*l - 7 = 21*g. Solve -2*i + 4 = 2*c, 3*c - 3*i + 2 + g = 0 for c.
-1
Let m be (80 + -86)/(-2 - (2 + -2)). Solve 3*l = -m*w - 2*w - 16, 0 = -w + 4*l + 6 for w.
-2
Let v(f) = -19*f - 510. Let i be v(-27). Solve -4*t - 6 = 2*p, 7*p = -i*t + 4*p + 3 for t.
-4
Let z(l) = l**3 + 3*l**2 - 3*l + 4. Let p be z(-4). Solve m - 2 = p, -m = -0*g - 3*g + 4 for g.
2
Suppose -161 = -35*t + 14. Solve 2*x - 12 = 6*x, -5*x = t*k + 20 for k.
-1
Suppose -1 = -3*w + 5*x + 29, 5*w - 34 = 3*x. Solve w*h + q - 19 = 0, -h - 4*q = -0*h - 19 for h.
3
Let q = 44 - 46. Let z be 6/21 - 2/7 - q. Solve l = 3*h + 3, 0 = -4*h + z*l + 3*l - 15 for h.
0
Let v(m) = m - 1. Let d(r) = 2*r - 1. Let p(h) = -d(h) + 3*v(h). Let z be p(2). Solve z = 3*y - 3*f - 3, 3*f + 7 = 4*y - 0*f for y.
4
Let x = 0 + 3. Let m be (-9)/(-1)*1/x. Suppose 2 = m*q - 7. Solve -5*f - q*n - 2*n = 5, 4*f + 5*n = -9 for f.
4
Suppose -5*c + 179 + 411 = 0. Let q = 205 - c. Suppose -3*r - 4*h = -q, -h - 2*h = 0. Solve 0*i + 18 = -3*i - 3*y, 5*i + 4*y = -r for i.
-5
Let k be ((-35)/14)/(10/(-16)). Solve -k*f + 4*j = -28, -3*f - 5*j = 2*f + 15 for f.
2
Suppose -19*v + 484 = 85. Solve 2*h - v = 2*j + 3*j, -5*h = 4*j + 30 for h.
-2
Let n(z) = -z**3 + 5*z**2 - 7*z + 7. Let d be n(2). Let c(v) = v**3 + 11*v**2 - 4*v - 4. Let y be c(-11). Solve -x - 2*x - d*t = -40, -5*x - 3*t = -y for x.
5
Let w(q) = -q**3 - 43*q**2 + 43*q - 41. Let n be w(-44). Solve -4*u = -3*z + 17, n*z + 8 = -7*u + 6*u for u.
-5
Let s = 455 - 442. Solve 4*r - 5 = 4*u - s, 4*r - 1 = u for r.
1
Let h(d) = 3*d**2 + 7*d - 16. Let k be h(-5). Let r be (1 - 4/(k/21))*-2. Solve 5 = -r*j, -j - 7 = -3*w + 3*j for w.
1
Let h(s) be the first derivative of 2 + s + 1/2*s**4 + 0*s**2 - 2/3*s**3. Let b be h(1). Solve 0 = 2*w - i + 6, 3*w + b = 2*w + i for w.
-5
Let c = 163 - 159. Let h = -1 + 2. Solve 5*s + h = -t, 2*t + s = c*t - 9 for t.
4
Let w = -8 - -8. Let d = 4 + w. Solve d*f + 14 = -l, 0 = -l - 3*f - 11 - 0 for l.
-2
Let t(q) = 19*q + 513. Let l be t(-27). Solve l = 2*m - 2*z, -13*m - 3*z = -14*m - 8 for m.
4
Let h(u) = 4*u**2 - 13*u + 27. Let k be h(3). Suppose 0 = 2*m + 4*w - 24, 2*m + 2 = -2*m + 2*w. Solve 5*i = -m*j - k, -j - 3*i = 2*i + 22 for j.
-2
Let f = 173 - 168. Solve -f*b - 20 = i, -4*i - 10 = -2*b + 4 for b.
-3
Let l = -12 - -12. Let k be l/(-3 + 1 - -4). Solve 2*d - 4*h + 28 = 0, d + 3*d - 3*h + 31 = k for d.
-4
Let o(f) = -58*f - 4567. Let y be o(-79). Let q = 1 - 1. Solve s = u + 3*s - y, q = 4*u + 5*s - 45 for u.
5
Let l = -345 - -350. Solve -5*t = 5*r + 15, l = -t - 3*r + 4 for t.
-4
Let u be 5/(-2)*52/(-13). Let t be 17/5 + u/(-25). Let a be 125/45 + 4/18. Solve t*l - 2*w = 17 - 3, 5*w + 17 = a*l for l.
4
Let q(r) = r**3 + 2*r**2 - 5*r - 3. Let x be q(-3). Suppose 0 = -u - x*u. Suppose u = -3*d - 2*d. Solve -i - 20 = -5*a, 6*i - i - 5*a = d for i.
5
Let o(q) = -q - q + 3*q + 2*q + 26. Let b be o(-8). Solve -w - 21 = w + 5*x, -11 = b*w + 3*x for w.
2
Let m(j) = -4 - 2*j - 7*j**2 - j**3 - 3*j**2 - 11. Let h be m(-10). Solve -9 + 1 = v - h*x, -v + 2*x = 5 for v.
-3
Suppose 3*z = -4*n + 27, -6*n = -2*n + 2*z - 22. Suppose -3*g + 19 = 2*u, n*g = -g - 3*u + 25. Solve m - 25 = 5*y, 3*y - 31 = g*y - 3*m for y.
-4
Let a be (-6 - -4 - -11)*1. Suppose 3*t = a*t - 12. Solve 3*q + 0 + 27 = -3*i, -t*q + 2 = -2*i for q.
-4
Let f = 35 + -35. Let d be (-3)/((-9)/12) - f. Suppose -4*i - d*s + 70 = 6, 23 = 2*i + 5*s. Solve -4*n = -v - 4*v + 37, -2*v = -3*n - i for v.
5
Let b = 767 + -767. Solve -c = 4*i + 13, b*i + c + 5 = -2*i for i.
-4
Let b(f) = 10*f - 33. Let o be b(5). Suppose 5*l + 10 = -m, 3*m - m - 4 = 2*l. Let d be 12*3/(-6)*l. Solve 0*n = -a + 3*n + o, -4*a - 2*n = -d for a.
5
Suppose j - 4 = -0*j. Solve h + 3*t + 13 = 2*h, 0 = 5*h - j*t - 21 for h.
1
Let p(w) = 3*w + 124. Let a be p(-37). Let y = -1 + 4. Solve 5*x = -3*c - a, 5*c + 2*x - y - 7 = 0 for c.
4
Let n(y) be the second derivative of y**4/6 + 5*y**3/3 - y**2 - 24*y. Let h be n(-6). Suppose 2*g - 4 = -0*g. Solve 2*i - g*u + h = 0, u - 2*u - 10 = 2*i for i.
-5
Let t = -16 + 19. Suppose -b + 7 = t. Solve -f - b*j - 10 = -2*j, 3*f = 5*j + 3 for f.
-4
Suppose g + 4*n = 22, 6*n + 30 = 3*g + 9*n. Solve 3*p = -t + 12, -2*t + 32 = 4*p - g*t for p.
5
Let q(c) = 2*c - 39. Let d be q(16). Let t(o) = o**2 + 11*o + 31. Let v be t(d). Solve -k - x = -1 - 2, -v*k + 3 = -3*x for k.
2
Let p = 36 - 35. Let k be (-4 + 2/p)/(-1). Solve -3*f + 19 = -m, -k*f - 6 = m + 3*m for m.
-4
Suppose -4*l = -3*j - 12, 6*j = -l + 2*j + 3. Suppose -3*a - 27 = -3*k, -2*k = -0*k + l*a + 2. Let d = -7 + 15. Solve k*m - 7 = 4*m - 2*c, -2*m + d = 2*c for m.
1
Suppose -5*d - 4*c = -39, 5*d + 9 = -5*c + 44. Let f be 24/d + (-4)/22. Solve v - 16 = -4*b - 1, -4*v + f*b = 12 for v.
-1
Suppose 2*y = -3*y + 80. Let v(w) = -w**3 + 5*w**2 + 5*w + 3. Let h be v(5). Solve 0*z - 2*z - 5*o = h, -2*z = 2*o + y for z.
-4
Suppose 39 + 75 = -6*y. Let l(x) = -x - 19. Let v be l(y). Solve 0 = -5*w - 25, -3*s - 3*w = -v*s + 27 for s.
-4
Let l(c) = c**3 - 6*c**2 + c + 9. Let v be l(6). Solve -3*r + 2*g + 6 = -7, 3*g + v = 3*r for r.
3
Let t(s) = -s**3 - 16*s**2 - s - 14. Let i be t(-16). Let m = 9 + -5. Suppose 11 = -x + 4*p - 0, m*x - 5*p = 0. Solve -3*f + 3 = -3*y, x*y + 0 = i*f + 1 for f.
2
Let j = 946 - 932. Solve -3*l = q - 10, -l - q - 2*q = -j for l.
2
Let h(g) = g**3 - g**2 + g. Let c be h(0). Suppose 4*s - 5*q = 45, 4*q = -s - q + 30. Let f = s + -13. Solve -f*z = 2*b - 6, c*b = -4*z - b for z.
-1
Suppose -3*b + 0*b = -225. Let d be b - 1*(-1 + 0). Suppose -d = -4*r + 3*w + 7, 4*w - 127 = -5*r. Solve -5*u - 4*m = r, -3 = 3*u - 4*u + 3*m for u.
-3
Suppose 32*z + 152 = 28*z. Let j = 43 + z. Solve 2*u + 3*o - 7 = 0, 1 = 5*u - 4*o - j for u.
2
Suppose 0 = -m - m + 5*y + 17, 0 = -2*m - 5*y + 27. Suppose 0 = -7*p + 39 - m. Solve 0 = q - 2*s + 5, 3*q + 6 = p*s - 3 for q.
1
Suppose 8 = -4*r + 4*m, 5*m - 8*m + 12 = -r. Solve 4*p = 5*q + 9*p - 25, 0 = -r*q + 3*p + 15 for q.
5
Let y be -3*9/((-54)/(-20)). Let d 