, -z = 4*y - 37. Let n be k(y). Let r = n - -2. Solve 0 = 5*v - 2*w + r, 0*w = v - 3*w + 7 for v.
-4
Suppose 2*w - 12 = -w. Suppose w*r = 6 + 2. Suppose 4*v - 33 = -9. Solve z - v = -r*b, -8*z + 4*b = -3*z - 2 for z.
2
Suppose -5*j - 15 = 0, 0 = -0*h - h - j + 1. Suppose -5*w + h = -16. Solve -v = -4*v - 4*u - 1, 0 = -u - w for v.
5
Let x = 24 + -16. Let g be x/14 + 10/7. Suppose g*j - 7*j = 0. Solve 0 = -3*t + 4*w - 8, -t + 2*w + j*w = 4 for t.
0
Let l(q) = 3*q**2 - 10*q - 4. Let w be l(4). Solve -6 = w*m + 2*i, m + 5*i = 3*i for m.
-2
Let m = -11 - -15. Let c be (m/6)/(6/27). Suppose -c*v + 0*v = -12. Solve -v*o + 2 = -3*k - 1, -2*k = -2*o for o.
3
Let b(k) = 5*k**2 - 5*k - 6. Let h be b(-1). Solve 7*v + 4 = 4*v + 5*x, 4*v - h = 2*x for v.
2
Let q = 918 - 913. Solve 10 = 4*i - 2*k, q*k - 26 = -1 for i.
5
Let j = -1243 - -1248. Solve 4*w - j = 14*d - 9*d, -2*d - 30 = 4*w for d.
-5
Suppose -2*j + 41 = 281. Let c = j - -120. Solve c = -2*k + 2*m - 14, 4 - 19 = 5*k + 5*m for k.
-5
Let p = 706 - 703. Solve -p*d - o - 3 = 3*o, 0 = -3*d + 5*o + 24 for d.
3
Suppose 0 = 6*g - 9 - 15. Suppose -3*z + y = -1, g*y - 3*y = -1. Solve 4*f - 4*u - 24 = z, -u + 6*u = -20 for f.
2
Let p be -38 + 45 + 2 + -7*1. Solve 5*x - 51 = 3*a - 11, -p*x = 2*a for a.
-5
Let d(z) = z**3 + 5*z**2 - 4*z - 6. Let w be d(-5). Let o be (-142)/(-9) - w/(-63). Solve 2*l - g + o = -2*l, 3*g - 16 = 4*l for l.
-4
Suppose -793 = -5*u + 957. Suppose -5*p + 5*w = -u, -3*p + 4*w = 91 - 296. Let q = p + -39. Solve -5*n + 4*g = -q, 5*n + 4*g + 1 = 5 for n.
4
Let o(y) = -y**2 + 2*y + 80. Let p be o(10). Solve 2*r - 16 = -2*k, p*r + 2*k = -3*r + 21 for r.
5
Let j = 45 + -71. Let g = -24 - j. Let v(t) = -t - 1. Let i be v(-7). Solve g*q - 26 = -2*n + i*n, -2*n - 22 = -4*q for q.
3
Let g(r) be the first derivative of r**3/3 - 7*r**2/2 - 40*r - 34. Let t be g(11). Solve -t*k - 9 = 3*n, 3*n = 3*k - 0*k - 9 for n.
-3
Let f = 11 - 7. Let k = f + -2. Suppose 2*y - 5*b = -3*y, -y + 24 = 5*b. Solve 0*n + y*n + 3*u + 21 = 0, u - 3 = k*n for n.
-3
Let z(c) = 2*c**2 - c - 3. Let o be z(-6). Let w be 1/4 + o/20. Let l = -9 + 44. Solve -a - 4*t - 15 = 0, w*a = 2*a + 5*t + l for a.
5
Suppose 5*h + 12 = 4*y, 5*y - 5*h - 1 = 9. Let p be y/3 - 46/(-6). Let c(m) = m + 4. Let w be c(p). Solve -4*j = -o + w, o + 2*j + 7 = -0*o for o.
-1
Let b = -226 + 230. Solve -5*f = 2*q + 1, -2*f + b = 4*q + 14 for q.
-3
Let u(p) = p**3 - 2*p**2 - 2*p - 22. Let r be u(4). Solve -3*w + r*w + 2 = -4*i, -w - i = 3 for w.
-2
Let y = -160 - -162. Let v(f) = f - 3. Let j be v(7). Solve 4*o + m + j - 1 = 0, 2*o + 4*m - y = 0 for o.
-1
Suppose -2*o - 7 = z, 3*z - 11 + 28 = -5*o. Let y be (o + 4 + -10)*-2. Suppose 3*r - 1 = 3*q - 22, 5*r + y = 0. Solve -d = 5*n, -2*n = 4*d + q*n for d.
0
Suppose 0 = -0*w + 2*w + o - 36, 3*w + 2*o = 52. Let r(k) = -k**3 - 16*k**2 - k - 12. Let z be r(-16). Solve 4*m - z*u = -0*u - w, 4 = 4*u for m.
-4
Let n(k) = k + 1. Let o be n(-1). Suppose 10 = 5*l - o. Suppose l*t = 5*t - 18. Solve -3*v - 3 = -5*h + 6, 5*h = -2*v - t for v.
-3
Let d = 190 + -183. Solve -d = -r + o, r = -5*o - 7 + 2 for r.
5
Suppose 0 = 5*t + 4*m + 36, 2*m = t - 4 - 0. Let l be 6/5*5 + t. Solve -2*a = -l*p - p - 4, -3*p - 6 = -3*a for p.
0
Suppose 4*f = -3*y + 3 - 1, -5*f = 5. Solve 2*d = -2*d - 5*b + 32, -2*d = -y*b + 2 for d.
3
Let a = 11 + -3. Let x = a - 8. Suppose x = -9*k + 4*k + 20. Solve -2*w - 1 = -k*u - 21, 5*w = 2*u + 18 for w.
2
Let y(a) = -a**3 + 4*a**2 + 2*a + 4. Let b be y(4). Suppose -q - 2*p = -15, b = 4*q - 2*p + 2. Solve -2*j + 0*j - 16 = 4*f, 0 = f + q*j + 13 for f.
-3
Let v be (109/(-218))/(((-5)/(-4))/(-5)). Solve j + 3 = -2*d - v*d, d = -2 for j.
5
Let s = -3 + 5. Suppose -34 = -2*b - s*a - 2*a, 5*a = b - 17. Let m = b - 14. Solve -3*v + m*d - 2*d = -14, 0 = -2*v + 2*d + 16 for v.
3
Suppose -22 = 3*o + m, -m + 2*m = -2*o - 13. Let n = o + 9. Solve 1 + 1 = -a + y, -5*y + 25 = n for a.
3
Suppose -6*p + 3*p + 29 = 4*o, -2*p + 31 = 5*o. Solve 0 = o*n - b + 9, -4*n + 4*b - 18 = -2*n for n.
-1
Let a(c) = -c**3 - c**2 - 56*c + 20. Let s be a(0). Solve 2*n - s = 4*m + 2, 0 = -4*n + 20 for m.
-3
Suppose -325 = 12*h - 25*h. Suppose 14 - 119 = -3*p. Solve -4*v = 5*x + h, v + p = -5*x + 10 for v.
0
Let z be 2*(24 + (-4)/(-1)). Let a = z + -33. Let v = a + -18. Solve 2*y + 12 = -0*s - v*s, 0 = 4*y - 16 for s.
-4
Let l(k) be the third derivative of 3*k**4/8 - 19*k**3/2 - 21*k**2. Let j be l(7). Solve -m = 2*v - 13, j*v = v + 5*m - 5 for v.
4
Let r = 43 - 39. Let y(s) = s - 5. Let l be y(11). Solve -x - 4*u + l = -r*x, 0 = u for x.
-2
Let q(r) = r**3 - 7*r - 1. Suppose 15 + 18 = 11*p. Let l be q(p). Let c = 21 - 8. Solve -8*x + 3*x + 14 = -3*b, 2*x = -l*b - c for b.
-3
Let r = -11 - -14. Suppose -r*l + 33 = 24. Solve 4*c - 5*j - 7 = 0, -c + 9 = c + l*j for c.
3
Suppose -q = -5, y - 4*q - 89 = -9*q. Let o be 288/y - 1/(-2). Solve o*n + 10 = -k, -6 - 8 = 4*n + 2*k for n.
-1
Let s(o) = -30*o**2 + 36*o**2 - 3*o + 2*o + o**3 - 2. Let a be s(-6). Solve 0*g - 6 = z + g, g = a*z + 9 for z.
-3
Suppose -5*j + 39 = y - 1, y - 12 = -j. Let q be 4 + 66/(-15) - 108/(-20). Solve -4*f + 25 = q*s, 3*f - j - 18 = -5*s for f.
0
Let f be (-2 - (-6)/3) + 2. Suppose f*z + 3 + 5 = 0. Let t be 2*-2*z/8. Solve -i - 7 = t*i - 4*o, 3*o = 12 for i.
3
Let g = 421 + -418. Solve -2*m = -4*k - g + 1, 27 = -4*k - 3*m for k.
-3
Let c be 15*(5 - 100/30). Solve -5*m - 22 = 3*h + 3, -3*h = -5*m - c for h.
0
Suppose 3*f - 48 = -3*b, -f - 16 = -2*f + b. Suppose 120 = f*y - 12*y. Solve 5*o + 3*m + y = -2*m, -2*o + 5*m + 23 = 0 for o.
-1
Let h(w) = -w**2 + 7*w. Let c be h(7). Suppose c*u + 2 = u. Suppose s = -u*s + 18. Solve -s*a - 3*j + 11 = -4*a, -8 = -3*a + 4*j for a.
4
Let c(w) = -w**3 - 13*w**2 + 49*w + 19. Let l be c(-16). Solve s - 2*s = -f + 3, 4*f - 12 = -l*s for s.
0
Suppose -4*k + 2*g - 4 = 3*g, 0 = -3*k + 4*g - 22. Let q be k + 2 + (-14)/(-7). Solve 5*m = 6*z - 4*z - 12, q*m + 3*z = -20 for m.
-4
Suppose 17 = 3*x - 127. Let b be -2 - (x/(-4) + -1). Solve 0 = k + 2*a + 5, 1 - b = 2*k - a for k.
-5
Let y = 108 + -108. Solve 3*c - a = -4, c - 5*a + 0 + 6 = y for c.
-1
Let y be 2 + (0 - 1/(-1)). Suppose 1 = -y*k + 2*c - 3, k + 3*c = 6. Solve -4*q + 0*u - 3*u = k, 2*q - 3*u = 0 for q.
0
Suppose 3*t + 10 = -44. Let j = 21 + t. Solve j*u = k - 13, 0 = 3*u - 0*k - 4*k + 25 for u.
-3
Let o(n) = n**3 + 16*n**2 + 21*n + 341. Let c be o(-16). Solve -7*t + 3*k + 24 = -3*t, -4*k = -c*t + 31 for t.
3
Suppose -3*l + 136 = l - 2*n, 4*n - 16 = 0. Suppose -5*j = -8*j + l. Suppose -j = -2*g - g. Solve 25 = 2*w + 3*w - h, w + g*h = 5 for w.
5
Let h be 493/(-5) - (1 - (-15)/(-25)). Let s = 105 + h. Solve -2*o + 7*o - s = -4*a, 2*a = o - 4 for a.
-1
Suppose g - 6*g = -305. Suppose 8*r + 21 - g = 0. Let l be 16/40 + 2/(-5). Solve 0 = -d, -r*i + d - 2 + 12 = l for i.
2
Suppose -2 = o, o = 5*k + 7 + 106. Let f = 26 + k. Let q = 15 + f. Solve 0 = 3*x + 2*t + q, -2*x + 4*t = -x - 8 for x.
-4
Suppose i + 0*i = -9. Let s = 9 + i. Let c be (12/9)/((-2)/(-6)). Solve c*d - 24 = -3*a, 2*a = -s*a + 8 for d.
3
Let p = -643 + 647. Solve p*o - 5*n + 20 = 3*o, -5*n + 10 = -3*o for o.
5
Let d = 242 - 240. Solve -2*f + 20 = f - 5*k, -2 = d*k for f.
5
Let w = 34 + -22. Let r = -12 - -16. Suppose -r*l - 8 = 2*m - l, -4*l = 2*m + w. Solve -3*o - z + 13 = -6*z, m*z = 5*o - 9 for o.
1
Let i = -62 + 65. Suppose 0 = 3*q + 3*w, 5*q - i*w - 18 = 6. Solve -4*t + q*k - 5 + 4 = 0, 2*t + 3*k = 13 for t.
2
Let z = 12 + -7. Suppose z = 5*y - b, -4*y + 2*b = -3*y - 10. Suppose y = 4*j + j - 130. Solve 0 = 4*k + 2*x - j, -2*k + 30 = 3*k + 2*x for k.
4
Suppose z = 5*z - 88. Suppose -3*s = -m - 65, s = -0*m - 4*m. Suppose 0 = 4*y + y - s. Solve -z = y*a + 5*d, 0 = a - 0*a + 4*d + 11 for a.
-3
Suppose 4*u = 7*u - 27. Let z(n) = 4*n - 3*n + 2*n**2 + 17 - u - n**2. Let y be z(-4). Solve 0 = -2*m + a - 1, 0*m + a + y = -5*m for m.
-3
Let b be ((-196)/70)/(2/50). Let l = 73 + b. Solve -t = -2*d + 4*t - 6, 9 = -l*d - 2*t for d.
-3
Let y(m) = -m**2 + 6 - m**3 + 5*m**2 - 3. Let i be y(4). Solve 3*c + w - i = -2*c, c - w - 3 = 0 for c.
1
Suppose 0 = -34*b + 11*b. Solve 5*k - i = 9, 3*i = -b*k + 2*k - 1 for k.
2
Suppose 5*k - 84 = -37*k. Solve -k*g = -3*z - 3*g - 10, -3*g = z + 14 for z.
-2
Suppose 0 = 2*k + 6 - 14. 