 w - w + 22 = 0 for d.
4
Let t = 7 - 8. Let r be (2 + -1)/t + (-3 - -8). Suppose -2*x = -5*j - 2, -r*x = 4*j + j - 4. Solve 3*v - 11 = -k, k + k - v + 6 = j for k.
-1
Let c = -13726 + 13729. Solve -4*k + 20 = 0, c*u - 5*k = -33 + 2 for u.
-2
Let l(m) = m + 9. Let k be l(-5). Let u be (-8)/(-26) + 27544/(-286) + 96. Solve 2*b + 4 = 5*b + q, u = -5*b - k*q + 2 for b.
2
Let m = -66 - 238. Let s = -288 - m. Solve -s = -5*w + 4*v, 5*w - 15 = 2*v + 3 for w.
4
Let l = -37693 - -37698. Solve 28*i = 24*i - 5*o - 25, 0 = 5*o + l for i.
-5
Let y = 14 + -9. Let l(g) = 127*g**2 - 7871*g - 161. Let m be l(62). Solve 0*p - 31 = 4*n + 3*p, -y*p = m for n.
-4
Let v = 16 - 8. Let s = v + -5. Let z = -8820 + 8822. Solve -5*h = -3*m - 13, z*m = h + s - 0 for m.
4
Let l = -1461 - -1468. Solve -3 = 2*z + r, 10*z + 37 = l*z + 5*r for z.
-4
Suppose -z = 5*k - 391, 5*k - 5*z - 149 - 266 = 0. Suppose -k + 99 = 10*d. Solve 2*m = m + 3*q - 15, d*q = -4*m - 4 for m.
-3
Let m = 5 - 8. Let d(t) = -3*t**3 - 6*t**2 + 2*t - 3. Let i be d(m). Solve 0 = -5*z - n - 0 + i, 3*z - 14 = n for z.
4
Let t = -1 + -17. Let o = t - -18. Let r = -54 + 54. Solve o = 4*y + 4*k, -k + r*k = -3*y + 16 for y.
4
Let n(a) = 22*a**2 + 2*a. Let b be n(-1). Suppose 229*u - 239*u + b = 0. Solve 4*i + 6 = 5*z - 6, -u*z - 3 = i for z.
0
Let w = -2836 - -2858. Solve 2*o + 14 = -2*k, -4*k - o = -0*o + w for k.
-5
Let g(z) = 2*z + 77 - 6 + 60 - 8*z - 12. Let m be g(19). Let l be 5 - (-1 + 3 + 0). Solve i + l*y = -0*i - 4, -2*y = m*i - 19 for i.
5
Let i be 2/(-2)*18/(-6)*1. Let n be i/(-1) - (5 + -6 - 6). Solve -25 = 5*f, 2*f = -n*k - 2 - 0 for k.
2
Suppose 5*j - 2*j - v - 27 = 0, 4 = 2*j + 4*v. Let t(l) = -l**2 + 9*l - 5. Let a be t(j). Solve -2*u + n = 2*n + 1, 2*u + a*n = -11 for u.
2
Let q be 7 + ((-2)/17 - (5575/(-425) - -15)). Solve -4*j + 5*p - 24 = 0, -q*j + 3*p - 16 = 1 for j.
-1
Let u(r) = 5*r - 23. Let d be u(7). Suppose -2*k + 16 - 4 = a, -3*k = -d. Solve -3 = a*i - 2*c - 9, 3*i + 4*c = -1 for i.
1
Let c = 10175 + -10153. Solve 2*p + u - c = -7, -4 = -4*u for p.
7
Let t = -109 + 188. Let j = 82 - t. Solve -d = 2*d + j*z, 2*z = -8 for d.
4
Let a(p) = p**3 - 9*p**2 + 8*p + 10. Let n be a(8). Let s be (455/n + -2)/((-6)/8). Let f = -46 - s. Solve g - 3*g = 4*b - f, 4*g + 3 = b for b.
3
Let s = 54 - 19. Let t = s + -29. Suppose 2*g + t*g - 296 = 0. Solve 5*f + g = -5*w + 87, 3*f = 2*w + 5 for f.
5
Let k be 16 - (-224)/(-126)*9. Solve -5*t - 13 = 3*d, k = -3*d + 8*d - 4*t - 40 for d.
4
Suppose -799 = 30*p - 47*p. Suppose 5*u + 22 = p. Solve 4*v - 33 = 5*h, 5*v - u = -3*h + 2*h for h.
-5
Let t = -7465 + 7469. Solve -4*j - t*n - 8 = j, -27 = 3*j - 5*n for j.
-4
Suppose 58*t + 3 = 39*t + 60. Solve 0 = t*y - 15, 0 = -g + 5*y - 33 + 3 for g.
-5
Let t(n) = -n**3 + 2*n**2 + 3*n - 2. Let b = -4 + 6. Let r be t(b). Let l = -958 + 970. Solve -r*y - l = 3*w - y, -3*y = -5*w + 4 for w.
-1
Let c(z) = -z**2 - 6*z. Let f be c(-6). Let h = -457 + 555. Let v = h - 94. Solve f*w = -v*g + 2*w - 24, 2*w = -3*g - 4 for g.
-4
Let n(t) = -5*t + 35. Let l = 84 + -78. Suppose -6 = 5*k - l*k. Let o be n(k). Solve m + 22 = 3*m + 5*i, i - 9 = -o*m for m.
1
Suppose 5*o + 4 - 24 = 0. Suppose n + 3 = 8. Suppose -5*b + 21 = 3*l, -o*l = n - 13. Solve -b*c + 15 = a, 5*a - 2*c - 2*c = -1 for a.
3
Let w = 133 - 208. Let x = w - -75. Let u = 15 + -9. Solve -i - 3*t - u = 2*i, -2*t - 6 = x for i.
1
Let t(l) = 11*l**2 - 970*l + 178. Let z be t(88). Solve -8 = -4*b + z*v, 3*v - 5*v = 4*b - 24 for b.
4
Let s be (-7 + 6)/(-1) - -4. Suppose -2*z + 15 = -s. Solve -4*n = -t - 5, -6*n + 4*n - 2*t = -z for n.
2
Let m = 61 + -59. Let r be 6/m - -19 - 2. Let u(s) = -s**3 - 7*s**2 - 15*s - 5. Let i be u(-3). Solve -6 = -3*x + 3*y, -i*x + y - 3 = -r for x.
5
Suppose 0 = s - 2*y - 7, 3*s + 3*y - 271 + 214 = 0. Solve 5*k + 43 = 3*w, 12*w + 3*k = 7*w + s for w.
6
Suppose 2*d + 0*z + 6 = 3*z, -5*d + 2*z + 7 = 0. Suppose -2*b = 5*b. Suppose 2*k + 1 - 41 = b. Solve 3*l = 4*g + k, d*l + 10 = -4*g - 10 for g.
-5
Let h(k) = 5*k**3 + 7*k**2 + k + 3. Let u be h(-3). Let b = -51 - u. Solve -5*x + 2*z = 6*z + b, z + 2 = 2*x for x.
-1
Let o(a) = 25*a + 50. Let r be o(-2). Suppose r = -0*y - 3*y - 3, -3*y + 9 = 4*x. Solve 0 = -3*q - 3*f - 12, 0 = -3*q + 5*f - x*f + 13 for q.
1
Suppose -33 + 299 = 38*i. Let p be -4*(14/21 + i/(-6)). Solve -p*w = -l + 6, 4*l - 2*w = 2*w + 12 for l.
0
Let o(d) = 6*d**3 + 51*d**2 - 23*d + 36. Let u be o(-9). Solve z - 5*p = -14, -4*z + 11*p - 9*p - 20 = u for z.
-4
Suppose 60*b - 480 = -100*b. Solve -4*c - b*f + 9 = 0, 3*f = 13 - 4 for c.
0
Suppose -u - 132*v + 127*v = 15, 5*u - 3*v = 37. Solve -9*b = -r - u*b, -5*b = -5*r - 30 for r.
-8
Let d be ((-156)/6)/(-3 - 0 - -1). Let p be (6/5)/((-3)/(-10)). Solve -n + h - p*h = d, 2*n + 5*h = -21 for n.
2
Suppose -54*s = -46*s. Let d = 7 - 4. Suppose -4*p + 32 - 12 = s, -d*o = 4*p - 20. Solve 0 = k + 4*h + 7, o*k = -2*k - 4*h - 2 for k.
5
Suppose -16*x + 11*x = -4*l + 52, -2*x - 39 = -3*l. Suppose l*r - 25 = 8*r. Solve 1 = -4*p - r*d, -d + 19 = -3*p - p for p.
-4
Suppose -5*p = g - 3, 2*p - 5*g + 26 = 11. Solve p = -z - d + 16 - 17, z + 5*d = -5 for z.
0
Suppose -3*y = -4*i + 19, 5*y = -3*i - 285 + 263. Solve 0 = -5*g - i - 14, -4*g = 4*o + 16 for o.
-1
Let f(y) = -y**3 - 24*y**2 + 22*y - 20. Let b be f(-25). Suppose -2*m + b = 3*m + 5*v, 25 = 2*m - v. Solve 3*a + m = -h - 0*h, -24 = 5*h + 3*a for h.
-3
Let c be 8/28 + (-10)/35. Suppose x + c*x - 18 = 0. Let w = -14 + x. Solve 2*t - 8 = -3*m, -4*t + 9*t = w*m - 3 for m.
2
Suppose -24*f + 11*f = -130. Solve 5*o + 10 = n, 4*n = n - 5*o + f for n.
5
Let x be 2975/425 - (0 + -1). Solve 3*l + 18*g - 13 = 16*g, 4*g = x for l.
3
Let c = 64 + -68. Let g be -3 + 9 + (c - -2). Let d(q) = -q**2 - q + 8. Let h be d(0). Solve 4*b = -b - m - h, 0 = 4*b + g*m + 16 for b.
-1
Let g be (1/2 - 2) + 14/4. Let l = g - -4. Let i(d) = -d**2 + 9*d - 15. Let k be i(l). Solve -4*h + h = -5*w + 19, 0 = -h + k*w - 9 for h.
-3
Let n(m) = m**2 + 6*m + 12. Suppose 0 = 4*v + h + 2, 0 = -4*v - 0*h + 4*h + 8. Let b be n(v). Solve -4*x + 7*d = 3*d + b, -1 = -d for x.
-2
Suppose 68*s = 69*s - 30. Let a be (9/3)/(s/50). Solve 3*m + a*p = -13, -2*m - 2*p - 4 + 2 = 0 for m.
4
Suppose 11*i - 4*w = 7*i + 668, -4*w = 2*i - 316. Let x = i + -107. Suppose 59*b = x*b + 2. Solve 3*l = -2*k + b - 4, 5*k + 13 = -2*l for l.
1
Let q(y) = y**2 + 47*y + 343. Let s be q(-38). Solve -4*n - s = -j, 0 = 10*j - 5*j - n - 5 for j.
1
Let c be (24/(-6) + 5)/(2/62). Let a be (c - 30) + (5*3 - 0). Suppose -4*g - a = -4*q, q + 2 = -g - 2. Solve q*v + 15 = -5*b + 4*v, 0 = 3*b - 3*v + 12 for b.
1
Suppose 16 = 15*f + 1. Let w be ((-64)/96)/((-1)/3)*f. Solve 4*j = 4*m + 32, 5*m + 2 = -w*j + m for j.
5
Suppose 14*z - 215 = -201. Solve 4*d + 4 = -2*h, 5*d - z = -5*h - 6 for d.
-1
Let g be 0 - 3 - (-16)/2. Suppose 5*v - 25 = -4*c, -3*c = -6*v + 7*v - g. Solve -3*n - 9 = v*m + 26, 0 = m + 4 for n.
-5
Suppose 7*r - 10*r - x + 82 = 0, 3*r = 3*x + 102. Suppose 27 = 28*u - r. Solve s = -u*a - 7, 4*a + 8 + 3 = -5*s for s.
1
Let l(r) = -1. Let i(s) = -20*s + 95. Let c(h) = -i(h) + 3*l(h). Let t be c(5). Solve -4*j = -4*a + 16, t*a = j - 3*j + 4 for j.
-1
Let v = -417 + 286. Let l = v - -184. Let j = l + -50. Solve 4*t - 10 = t + g, 2 = 2*t - j*g for t.
4
Suppose 90*x - 19 = 71. Solve 2*i - 5*c + 21 = 0, 3*c - x = -4*i - 4 for i.
-3
Suppose 2*c + 5*o = -152 + 51, 5*c + 5*o + 260 = 0. Let q = c + 58. Suppose -q*d - 3*d = -288. Solve 3*f + 3*h = h - 7, -4*f + 4*h = d for f.
-5
Let w = 132 - 125. Suppose -w + 4 = f, -5*k + 3*f = -9. Solve -5*c - m - 3 = k, 0 = 2*c + c - 5*m + 13 for c.
-1
Suppose 14*r + 199 = 241. Let f be (-2)/1 - 5/(10/(-4)). Solve f = 4*x + n - 6, r*x - n - 8 = -0*x for x.
2
Let l be (3114/(-90) - -35) + (-46)/(-10). Solve 5*s + 5*y = -10, 0 = l*y - 9*y + 12 for s.
-5
Suppose 31 = -9*g + 12*g - 4*n, n = 2*g - 19. Solve -g = -3*p + 5*q, -p + 5*q = 4 - 7 for p.
3
Let b = 8907 + -8901. Let m(n) be the third derivative of 5*n**4/24 - 25*n**3/6 - n**2. Let j be m(b). Solve 0 = 5*g - 2*h - 18, -21 = -j*g + 3*h + 1 for g.
2
Let f(z) = -6*z**2 - 168*z - 131. Let y be f(-27). Solve -5*c - 4*j + y = 0, 5*c - 3 = -3*j + 24 for c.
3
Suppose 20*c - 23 = -2*s + 19*c, 2*c + 42 = 4*s. Solve -s*x - 41 = -g - 6*x, 