lve 8 = 3*s - n*l, -11 = -5*s + 5*l + 4 for s.
4
Let z(w) = 11*w - 1. Let a be z(1). Suppose -k + a = 4*k. Suppose 0*x + 3*x = k*n + 12, x + 4*n - 4 = 0. Solve 5*s - 3*j + 5 = 0, -3*j + j = -3*s - x for s.
2
Suppose 0 = -5*k + 143 + 27. Let p be 85/k*(2/2 + 1). Solve -2*s = p*l + 17, 13 = 4*s - 4*l - 23 for s.
4
Suppose 4*o = 4*k - 64, -k + 5*o = -0*k. Suppose -7*n + k = 3*n. Suppose 0 = -3*i + 9 - 0. Solve -n*y + y = i*p - 5, 7 = 4*p + y for p.
2
Let j = -88 + 98. Let m be (j/(-6))/5 + (-48)/(-9). Solve -m*l + 21 = z - 5, 0 = 2*l - 10 for z.
1
Suppose 0 = -148*z + 157*z - 27. Solve -2*w - 1 = 3*y, 3*w + 0*w - 21 = z*y for w.
4
Let z(m) = -m**3 + 17*m**2 - 30*m. Let q be z(15). Solve 0 = 4*t - p + 4, -4*t - 5*p + q - 28 = 0 for t.
-2
Suppose 5*q = 5, 2*d = 7*d + 3*q - 108. Suppose d - 2 = a. Suppose 5*p = 25, -4*p + a = m - 9. Solve -m = -3*c - 4*s + 12, -2*c + 4*s - 20 = 0 for c.
0
Suppose 23 = -f + 5*k + 30, 0 = -2*f + k + 5. Solve -3*x + 7 = -p, x - 32 = -4*p - f*x for p.
5
Let l(k) = k**3 - 10*k**2 + 9*k - 2. Let q be l(9). Let t = 114 - 110. Let r = q + t. Solve 5 = r*f + m, 0*f = 4*f - 3*m + 5 for f.
1
Let m = 196 + -191. Solve -4*t + 5*x - 8 + 20 = 0, -m*x + 12 = 4*t for t.
3
Let a(h) = h**3 + 13*h**2 - 15*h - 12. Let y be a(-14). Suppose 0*k - y*k + 38 = 0. Solve 0*n - 2*z - 12 = 3*n, 5*n + 3*z + k = 0 for n.
-2
Let u be 47/7 + (-6)/(-21). Let b = 49 - 34. Let v = b - u. Solve 4*x = -s + v + 2, -1 = 2*s + x for s.
-2
Suppose -6*m - 92 = -4*m. Let u = -34 - m. Solve -5*t - u = q, -t + 5*q = -2*t + 12 for t.
-3
Suppose -5*u = 5*r + 15, 2*r - 4*r + 15 = -5*u. Solve -2*g + 5*t = -r*t - 20, -5*t - 20 = 5*g for g.
0
Let r(o) = -4*o**3 + o**2 + o - 1. Suppose -10*p + 6 = 16. Let f be r(p). Solve 0 = d + f*v + 17, -5*v = -d + 3*d + 30 for d.
-5
Let l(g) = -8*g - 70. Let b be l(-13). Let r = b - 30. Solve -d = r, -z + 2*d + 6 = 1 for z.
-3
Suppose 0 - 6 = -2*m. Let p be (-45)/(-10) + m/(-2). Suppose 4*f + f = 150. Solve p*y + 19 = -2*o, 0 = 6*y - 2*y + 5*o + f for y.
-5
Suppose 0 = -50*f + 22 + 178. Solve f*x = l + 16, 19 = x - 6*l + 2*l for x.
3
Suppose 2*l - 4 - 9 = -5*b, b = 5*l - 46. Solve -s - l = 3*o, 2*s + 14 = 3*o - 7*o for s.
-3
Let p(z) = 18*z. Let q be (0 - 3 - -5) + -1*1. Let y be p(q). Solve 2*u + 3*f = 16, 3*u - f + 4*f = y for u.
2
Let p be ((-3)/(-9))/(9/162). Let u be 2/p*0/(20/5). Solve -2*b + 2*y - 3*y + 9 = u, -b + y + 6 = 0 for b.
5
Let w = 16 - 26. Let a = -19 - w. Let r = a + 13. Solve 2*z + 3*o + 10 = 0, r*o - 7 = -23 for z.
1
Let b be 20/40 - 34/(-4). Let n be (b/(-6))/((-2)/4). Solve -4*w - p + 3*p + 22 = 0, -p + 14 = n*w for w.
5
Suppose -29*h = -72 - 15. Solve 4*i + 2*k = -16, 1 + 8 = -5*i + h*k for i.
-3
Let b be -1 + 4 + (-2 - 9). Let z = b + 5. Let v be 5 + 2/(-6)*z. Solve 3*d - 4 = l, -v*d - 3*l = -d - 30 for d.
3
Suppose 4*q + 0 - 6 = -2*r, r = -4*q + 9. Let g be (0 + 0)/((4 - r)/(-7)). Solve -o - 2*m - 7 = g, 7 = -o - 2*o + m for o.
-3
Let o(u) = -u**3 - 14*u**2 - 13*u + 3. Let c be ((-65)/(-10))/(3/(-6)). Let y be o(c). Solve i + 0 = 2*a - 2, 0 = 5*i - y*a + 10 for i.
-2
Let f be (-4 - -2)/(18/(-45)). Suppose f = -4*n + 1. Let w be 6 + n/2*6. Solve -5*h + 2 = 5*g - 4*g, 4*g = -w*h + 8 for h.
0
Let u = -9 - -12. Let y be (5 + -1)/(8/80). Suppose m = 9*m - y. Solve 2*c = 5*c - u*d - 12, m*d = -c + 4 for c.
4
Suppose 3*z + 3*x = 15, -4*z = -16*x + 21*x - 17. Solve -q + a = q - z, -5*a - 20 = 0 for q.
2
Let l be (52/(-78))/((-2)/12). Solve 3*x - 2*f - 3*f + 9 = 0, -17 = -l*x - 3*f for x.
2
Suppose -4*t + 2*t = -2. Let q = t - -5. Let w be 3/(-2)*(q + -8). Solve 0 = -5*z + 2*s - 16, -5 = z + w*z + s for z.
-2
Let t be 19/4 + 45/(-60) - 0. Solve 4*a + 4*c = -20, t*a + 1 + 13 = 2*c for a.
-4
Let b(z) = z**3 - 3*z**2 - 6*z - 8. Let o be b(5). Solve -2*v = 2*w - 3*w - o, -3*w + 14 = 4*v for v.
5
Let s = -114 + -35. Let l = -89 - s. Suppose 0 = 4*h - 2*m - 72, 2*h + h - 3*m = l. Solve 4*q = -3*g - 12, 0*g = 2*q - 4*g - h for q.
0
Let y(v) = 9*v + 85. Let z be y(-9). Solve z*k - 9 = 5*r, 4*k + 13 = -r + 2*k for r.
-5
Let s(v) = -v**3 + 5*v**2 - 3*v - 2. Let q be (6/4)/((-6)/(-16)). Let p be s(q). Solve -5*u + 1 = -p*k + k, 3*u = -4*k + 19 for u.
1
Let h = 1 + -1. Suppose 4*f = 4*q - 80, -4*q + 2*f + 3*f = -85. Let p = q - 11. Solve 2*v - 3*u + 10 = h, 12 = p*v + 2*u - 0*u for v.
1
Suppose 13*c = 17*c + 4. Let w be 0/c*3/6. Solve w = -2*u - 5*m + 6 + 6, -2*u + 4 = 3*m for u.
-4
Let u = -1792 + 1799. Solve -3*y + 3*t = u*t + 12, 0 = t for y.
-4
Let c be (-567)/(-117) + 4/26. Let b = 31 - 16. Solve -c*t - b = -p, p + 6 = -2*t - 0*t for p.
0
Suppose -8 - 72 = -10*p. Let o be (30/12)/(4/p). Solve -3*r = -2*k + 1, -3*r + o*k - 5 = 2*r for r.
1
Suppose 2*a - 15 + 7 = 0. Suppose 0 = -a*m + m. Suppose 0 = 2*d - 2 - m. Solve 2*f - 3*l = d, -11 + 1 = -5*f + 5*l for f.
5
Suppose -5*j + 0*j + 3*k = -643, 413 = 3*j + 5*k. Let z = -67 - -103. Suppose 4*l - t = j, 3*l = -t + z + 64. Solve f - l = -4*c - 4*f, 2*c + 3*f = 19 for c.
2
Let j be 30/4*(24/(-9))/(-1). Solve 0 = -2*d - r + 5, -4*r = 5*d - 9*r - j for d.
3
Suppose 5*z + 5*j - 15 = 0, 0 = -0*j - j + 3. Let r be z - -1 - 2 - -3. Suppose t - 7 = -2*x, -5*x + 3*x - 3*t = -9. Solve y = -r*y + x*m, -y - 5*m = 6 for y.
-1
Let x be 2 + (50 - -2) + 1. Let w(j) = 40*j**3 - j**2 + j - 1. Let f be w(1). Let z = x - f. Solve 2*k = 4*h - z, -6*h = 4*k - 3*h - 12 for k.
0
Suppose h = 7*s - 8*s + 6, 3 = -s + 2*h. Solve -3*a + 3 = -s*q - 12, 2*a = q + 6 for a.
1
Let q = -286 - -290. Solve 2*b = 4*d - q, 3*b + 3*d - 15 = 2*d for b.
4
Suppose 0 = 2*b + 48*b - 100. Solve -4*t + 0*v = -v - 16, b*t = -v + 14 for t.
5
Let r be ((-3)/2)/(6/(-16)). Suppose -t = r*t - 35. Suppose -9 - t = -4*s. Solve -3*z - 4*o + 1 + 11 = 0, s*z = 4*o + 16 for z.
4
Suppose 51*t + 10*t - 1220 = 0. Solve -2*j = -6*j - t, w - 14 = 2*j for w.
4
Suppose 6*j + 35 = 13*j. Let u = 6 - 4. Solve -4*c + 10 = 2*a + a, 1 = j*c - u*a for c.
1
Let k = 61 + -48. Suppose -14*h + k*h = -2. Solve 2*p = -4*u + 12 + 6, h*u + 2*p - 8 = 0 for u.
5
Let z = -379 + 381. Solve -m - x = 5, -m - 3*m - z*x = 10 for m.
0
Suppose 6 = 5*o + 1. Suppose 1 = p - 4. Suppose 5*r = -p*t + 6*r + 28, 5*t = -2*r + 19. Solve -b + u = -2, -t*u + 4*u = 2*b - o for b.
1
Let g(w) = -w**2 - 15*w + 7. Let t be g(-19). Let q = -64 - t. Solve -o + q*o - 2 = 5*b, 4*o - 3*b + 2 = 0 for o.
-2
Suppose i - 4 = 5*f, 2*i - 2*f - 34 = -2*i. Solve b - 3*l = -5*l + i, -4*b - 12 = -4*l for b.
1
Suppose -2*o - 4*s = -26, -17*o = -12*o + 3*s - 30. Solve 5*d - 1 = -j, 4*d - o*j + 6*j = 3 for d.
0
Suppose 2*s - 31 = -5*i, 4*s - s = -2*i + 19. Suppose -i*p = -146 + 21. Let f = 28 - p. Solve -5 = a + f*b, -a + 5 = -b + 10 for a.
-5
Let f be 3*((-250)/(-30) + -7). Solve f*n - 5*t = 31, -3*n - 2*n - 4*t + 8 = 0 for n.
4
Let r be (-48)/84 - (-372)/14. Suppose -y = 1, -4*i + 5*y = -r + 9. Solve 3*t - 3*g - i = 7*t, -3 = -g for t.
-3
Let q(v) = -3*v + 50. Let u be q(16). Solve u*j + 2 = 4*z, -19 - 4 = 5*j - z for j.
-5
Let c(b) = 2*b + 23. Let g(p) = p**2 - 27*p + 16. Let z be g(26). Let x be c(z). Solve -y + x*i + 7 = 7*i, 0 = y + 2*i - 3 for y.
-1
Let p = 1740 - 1709. Solve 4*l = 3*g - p, 3*g - g - 3*l - 22 = 0 for g.
5
Let f = 1215 + -1213. Solve -l - 3*q = 8, q + f + 2 = 0 for l.
4
Let y(c) = -c**3 + 8*c**2 - 8*c - 9. Suppose -2*s + 3*g = -5*s + 30, 0 = -4*s - 2*g + 32. Let h be y(s). Solve 4*b - 2*z - h = 11, -4*b + 36 = -4*z for b.
4
Suppose -5*x + 28 = p, -2 = 5*p - 4*p - x. Solve 5 + 1 = 2*m + p*o, 2*o = m + 11 for m.
-3
Let a be (-24)/60 + (-62)/(-5). Suppose 16 = 13*y - a*y. Solve -4*g + 19 = f, 0*f + g - y = -4*f for f.
3
Suppose 481 = -5*b + 486. Solve -n = -b, -16 = -2*f + 6*f - 4*n for f.
-3
Let l(f) = -2*f + 27. Let q be l(12). Suppose 4 + 2 = q*y. Solve 0 = 4*i - 16, 5*i - y*i - 10 = 2*j for j.
1
Let c = 239 - 236. Solve 4*m + 4*j + 16 = -0*j, 5*j - 20 = c*m for m.
-5
Suppose 11 = -3*b - 3*g - 16, 5*g = 3*b + 35. Let y be 7 - b*6/(-12). Solve -4*o - 2 = y*j, 5*j - 34 = 4*o - o for j.
5
Suppose -132 = 5*j - 132. Solve j = -v - 1 + 5, -9 = -5*l - v for l.
1
Suppose 121 + 100 = 17*b. Solve 17 = 3*k + 2*p, -2*k - 4*p = -p - b for k.
5
Suppose -3*b - 126 = 51. Let m = b + 101. Suppose m = 2*u - 4*s, -3*s + 0*s = 2*u - 63. Solve -a - 9 - 3 = -3*y, -5*y + 4*a = -u for y.
3
Let i