= -w + z - m, 0*w - z = w + p for w.
-5
Let m(s) = -3*s**3 + s**2 - 6*s + 3. Let h be m(-3). Suppose -2*z = 0, 0 = -5*p + 2*p - 5*z - h. Let o = -23 - p. Solve o = 2*k - 4*t, -k = 2*t + 3*t + 7 for k.
3
Suppose 12*m - 38 = 16 + 42. Solve -2*g + 4 = z, -g + 16 = -m*z + 5*z for g.
4
Suppose 5*z + 2*c = 5*c + 77, -3*c + 3 = 0. Suppose 11*g + 17 = -z. Let r be (-8)/1*g/6. Solve -r*f - 45 = -5*t, 0 = 2*f + t + 7 - 2 for f.
-5
Let y = -66 - -51. Let p be ((-125)/y - 5)*6/5. Solve s + 3*t + 2 + 3 = 0, 2*s + 3*t + p = 0 for s.
1
Suppose -4*t + 5*v = -73, 5*v = 5*t - 104 + 9. Suppose -3*c - j - 48 = -126, -c + j = -t. Solve -i - 4 + 13 = u, u + 5*i = c for u.
5
Let p = -17830 - -17830. Solve -2*g + 10 = 3*n, -108*n + 109*n - 2*g - 6 = p for n.
4
Let l(m) = -9*m - 175. Let a be l(-20). Solve 5*f - 2*f = -4*g - 3, -a*g = 5*f for f.
3
Let l be (-18)/81 + (-16)/9. Let w be (-9 - -3)/(l*(-6)/(-8)). Solve 4*p + 5 = o + 1, 2*p - 16 = -w*o for p.
0
Let z be (-22)/(-4) + 60/(-24). Solve c + 2 - 4 = -4*h, -z*c + 3*h = 9 for c.
-2
Suppose -3*l = -a + 1 + 4, 5 = 2*l + a. Suppose l = -5*c + 15. Solve 0 = c*t + 4*d, -t - 3*t = 2*d + 10 for t.
-4
Let j be (-3)/6 + 1/2. Suppose u = -j*u + 3. Let r be 3/(216/(-72) + 0 + 4). Solve 13 = -r*f + 4*w, w - 8 = -f - u*f for f.
1
Let a(p) = -8*p - 78. Let y be a(-10). Let q = 32 - 19. Suppose 4*k = 3 + q. Solve -5 = y*m - 3*w, k*w = 3*m + m + 4 for m.
2
Let j(a) = -89*a + 1606. Let t be j(18). Solve 40*i = -3*x + 39*i + 5, t*x - 16 = i for x.
3
Let t(r) = r**2 - 18. Let y be t(-5). Let n(g) = -g**2 + 14*g - 43. Let f be n(y). Solve -d = k + f, 2*k = 3*d - 2 + 5 for d.
-3
Let a = -36794 + 36794. Solve q + v + 4 = a, -41*q + 35*q + 8 = -2*v for q.
0
Let z = -206 + 206. Let s be (4/6 - z)*(-42)/(-7). Let p = -7 + 11. Solve 4 = p*g - s*i, -g - i + 6*i - 11 = 0 for g.
4
Suppose 80*w = -64*w. Solve w = -q - 15*l + 20*l - 11, 4*q - 4*l + 12 = 0 for q.
-1
Suppose -7*r + 101 = -130. Suppose -n + 5*n + 5*p - 41 = 0, 5*p = -2*n + r. Solve 0 = -z - 4*h - 7, -16 = n*z + 2*h + 2*h for z.
-3
Let k be (-19*2)/(8/20). Let i = 95 + k. Solve i = 5*d - 0*o - 5*o - 5, d + 11 = 4*o for d.
5
Suppose 0 = -16*i + 246 - 214. Solve i*p = 14*n - 10*n + 10, 6 = -3*n for p.
1
Let q = -476 + 456. Let x = -20 - q. Let c be -1*1*(1 + -2). Solve 3*u - 17 = 5*f, x = -5*u + 4*f + 25 - c for u.
4
Let l be (-40)/(-50) - (-33)/15. Let y be (-42)/(-231) + (-53)/(-11). Solve u + 2 = -d + y, l*d - 13 = -5*u for u.
2
Let s(m) = m + 14. Let o be s(-12). Suppose 0 = 2*j + o, -4*b - j = b - 39. Suppose 3*w - b = w. Solve 4*l = w*x - 12, -2*x + 3 = -l + x for l.
-3
Let f = -155 + 157. Suppose f*k = -4*d + 22, 0 = -d + 4*k - 2*k - 2. Solve 6*c - 3*c + d*h + 32 = 0, -2*c = 3*h + 23 for c.
-4
Let i(x) = -3*x**2 - 66*x - 332. Let j be i(-14). Solve u - 3*m + 17 = 0, 5 = 3*u + j*m - 9 for u.
-2
Suppose -4*b + 43 - 291 = 0. Let f(v) = -3*v**3 - 4*v**2 - 8*v + 8. Let i be f(-3). Let d = i + b. Solve -w - q - 3 = 0, -2*w - 5*q - d = -0*w for w.
0
Suppose -11*o + 45 - 12 = 0. Solve 0 = -o*c - 14*w + 12*w + 8, -14 = -c + 5*w for c.
4
Let s(c) = 7*c**2 + 2*c + 3. Let h be s(-6). Let r = h - 240. Solve 0*i - 5 = -j + 2*i, r*i + 9 = 3*j for j.
1
Let x(f) = -4*f + 3. Let d = -118 - -118. Let i be x(d). Let o be 3 - (0 - 2 - -1). Solve -2*r - 3*r = -o*q + i, 6 = -2*r + 4*q for r.
1
Let m be (-12775)/(-219) - 1/(-3)*-1. Suppose -9*h + 7*h + m = 0. Let t = h + -27. Solve t*r = -2*r - 4*l + 8, 0 = 2*r + l for r.
-2
Let t be 2/6 - ((-3619)/132 - 3/12). Solve 32*c + 2*w = t*c + 20, 2*c - 6 = w for c.
4
Suppose 0 = -5*y - 263 + 313. Suppose -22*v + 32 = y. Solve 3*m + v = -f + 2, 0 = -3*m + 3*f + 9 for m.
1
Suppose -124*y - 25*y = 65*y - 5564. Solve -y*r + 22*r + 4*n = 28, 3*n = 4*r + 23 for r.
-2
Let t(m) = 3*m**2 - 18*m - 19. Let p(q) = -q**3 - 5*q**2 + 15. Let h be p(-4). Let l be t(h). Solve 3*i = 5*v + 12, v + 0 = l*i - 8 for i.
4
Let i(f) = -446*f - 111. Let p be i(-1). Solve 0 = 2*s - 5*b + 324 - p, -s + 2 = b for s.
3
Suppose -4*f = h - 21, -12 = -3*f - 6*h + 9*h. Let s(y) = y**2 - 4*y - 16. Let x be s(7). Solve -2*w = 3*w + r - 1, -5*r + f = x*w for w.
0
Let r be -7 + (-34)/12*(-1 + 25/(-5)). Solve -3*h - 3*o + 27 = -7*h, r = 2*o for h.
-3
Let n be 18/135 + -2*(-58)/30. Suppose 7*l - 16 = 3*l - 2*p, n*l = 3*p + 6. Solve 4*g = l*v + 2 - 1, 5*v = -3*g + 8 for g.
1
Let j = 9630 + -9625. Solve -4*o + j*r = -21, 4*o - 9*r - 11 = -6*r for o.
-1
Let y = 3 + 19. Let g(z) = -11*z - 1 - 6 + y*z**2 - 21*z**2. Let s be g(12). Solve w - 18 + 6 = 3*q, 0 = s*q + 20 for w.
0
Suppose 3*j = -0*c + 2*c + 2, 0 = 5*j - 5*c. Let k = -1463 - -1476. Suppose 5*i - 19 + 4 = 0. Solve 10 + k = -4*a - i*u, -2*u = j for a.
-5
Let r be (18 - 18)/((-5)/(-5)). Solve r = o - 2*o - 3, -18 = 4*g + 2*o for g.
-3
Let w be 8/(-2 + -2) + 4. Suppose 30*z = 62 - w. Solve 2 = j - s, 3*j - 2*s - 3 + z = 0 for j.
-3
Suppose 1626*d = 1640*d - 70. Solve 0 = -d*n + 2*y - 4 - 36, -25 = -5*y for n.
-6
Let h(x) = -2*x**2 + 20*x + 16. Let f be h(0). Solve i - 7*i - 2*r = f, -5*r + 24 = -i for i.
-4
Let k = 791 + -1104. Let h = 318 + k. Solve 0 = -h*z + 2*f - 22, -3*f + 6 + 9 = -3*z for z.
-4
Suppose 4*b + 699 = 707. Solve 0*i - b*i = -s - 1, 4*s - 7 = -3*i for s.
1
Let w(z) = -2*z**2 - 147*z + 74. Let u be w(-74). Solve u = 3*c + f + 1, 3*c + 2*f + 11 = 3*f for c.
-2
Let d = -42 - -22. Let g be -10 + (10 - (-1 - -4)) + 4. Let k be (75/d)/(g + 38/(-32)). Solve -t - k = -2*i - 3*i, i - 4 = -t for t.
0
Let m = -1020 + 1036. Solve -3 = 5*u - 2*h, 0 = 2*u + 3*h - 30 + m for u.
1
Let c(l) = -l**3 + 4*l**2 + 2*l - 8. Let o be c(4). Suppose o*r - 3 = -r. Solve 5*j + i - 12 = 3*j, r*i = j + 8 for j.
4
Let k be 4/(-26) - 78/(-507). Suppose k = -4*f - m - 2*m + 35, 3*m = -5*f + 40. Solve f*o - 4*v = -3 + 14, 4*o = 4*v + 12 for o.
-1
Let o = 5987 + -5984. Suppose -2*n + 48 = 4. Suppose 4*b - 2*z = -b + 5, 0 = -4*b - 2*z + n. Solve 4*v = -x + o, b*v = -2*x - x for v.
1
Let r = -109 - -112. Let k(g) = -3*g - r + g**3 - 8 - 6*g**2 + 16 - 4*g. Let o be k(7). Solve o*c = -2*f - 6 + 3, 4*c = 5*f - 9 for c.
-1
Suppose 44*t = 39*t - 4*j + 37, 3*t - j = 12. Solve 3*v - 3*i = -3, 8*i + t = -v + 13*i for v.
0
Let g = 1527 - 1527. Solve 3*z + 2*y + 283 - 280 = g, -4*y = -2*z - 18 for z.
-3
Let i = 380 + -350. Suppose 5 = -i*b + 31*b. Solve -1 = -5*j + 5*o - 6, 0 = -3*j - b*o + 5 for j.
0
Let c(x) = 2*x**3 - 18*x**2 - 3*x**3 - 3*x + 53*x**2 - 9 - 22*x**2 - 27*x**2. Let g be c(-14). Solve -3*l = 2*p + 2*p + 26, 4*l + g = -5*p for p.
-5
Suppose -44 = -2*x + 42. Let b be 174/(-4) + 2/4. Let a = x + b. Solve 2*o - 4*r + 3 + 5 = a, -4*o = 5*r + 16 for o.
-4
Let z = 2271 + -2202. Solve -o + t = 4, 72*o - z*o + 2*t - 8 = 0 for o.
0
Let b = 6671 - 6668. Solve -b*l + 10*z = 5*z - 12, 5*z = -2*l - 17 for l.
-1
Suppose 0 = 11*y - 3 + 5 - 13. Let u be 4/14 - (-4)/(-14). Suppose u = -0*o + 5*o - 25. Solve 3*i - 5 = -o*q, 2*q + y = i - 8 for i.
5
Suppose -3192 = -111*x + 118*x. Let r be (-11)/(-2)*x/(-627). Solve -4*i + 2*s + 12 = 0, -r*i + 7*s - 2*s + 24 = 0 for i.
1
Let x(n) = 2*n**3 - 20*n**2 + 5*n + 20. Let h be x(11). Suppose 272 - h = -9*g. Solve -5*c = g*i - 0*c + 5, -11 = -i + 5*c for i.
1
Let j(w) = 354*w + 4978. Let s be j(-14). Solve 0 = -18*l + 16*l + 4*t - s, 5*l - t = -10 for l.
-1
Suppose 2*g = -2*i + 12, -3*i = 2*i + 4*g - 28. Let z be (-215)/6 - -3*(-1)/18. Let k be (-29)/(-3) - (-24)/z. Solve -3*t - 3 = -3*c, i*c + 2 - k = 3*t for c.
4
Let c be 3/(-8) + (1712/128 - 8). Solve 5*x = 4*b - 11, 2 + c = -4*b - x for b.
-1
Suppose 101 + 183 = 2*s. Suppose -139*p = -s*p + 12. Solve 0 = -3*a + 12, -14 = -2*y + p*y - 4*a for y.
1
Suppose 3*i + 3*r - 208 = -169, 3*i - 5*r + 9 = 0. Solve -5*k - 5*j = 5, 9*k - 10*k + 3*j = -i for k.
1
Let y(s) = -s + 2. Let k be y(-3). Let v(g) = 17*g**2 - 217*g - 218. Let t be v(-1). Suppose t = -i + k*i. Solve -7*z + 3 = 3*j - 2*z, -3*j = -i*z - 3 for j.
1
Let i = -22 - -19. Let d be i - (-37)/5 - (-6)/(-15). Suppose -4*s + s = -5*a - 3, a - 4 = -d*s. Solve 0 = -2*q - 3*y + 2*y + 1, -4*q + 3*y - 23 = a for q.
-2
Let p(b) = 5*b**2 + 57*b - 112. Let d(m) = 3*m**2 + 38*m - 74. Let n(h) = 8*d(h) - 5*p(h). Let a be n(2). Solve 2*x + 13 = 2*k + 5, 0 = a*x + k - 7 for x.
1
Suppose 3*z + 3 = 3*v + 4*z, 3*z = 2*v - 13. Suppose 7 + 14 = 