). Let l = o - 7. Solve 2*m + 2*j + 7 = b*j, 5*m - 2*j + 23 = l for m.
-5
Let b = 31 - 27. Solve -2*p - 30 + 2 = -b*a, 3*p - 2*a + 22 = 0 for p.
-4
Suppose 2*j = 6*j + 4*t - 12, -2*t = -10. Let k be j + (-52)/(-6) + (-30)/45. Solve 5*u + 4*p = -20, 2*u + p - 1 = -k for u.
0
Let d be 5/2 + (-2)/(-4). Suppose -4*y + 13 = -d. Let q = -2853 - -2861. Solve x + 12 = 3*x - y*b, -q = -x + 4*b for x.
4
Let r = 64 + -59. Suppose -25 = -o + 4*t, -2*t - r = 2*o + t. Solve 7*p + 9 = 2*k + 4*p, -3*k + 16 = -o*p for k.
-3
Let v be (18 - 22)/(-1 + 0). Let z be -1 + 11 + -18 + 13. Solve -z*u - 5*c = -15, -2 = -2*u + 3*c + v for u.
3
Let v(g) = -g**3 - 6*g**2 - 4*g + 7. Let z be v(-5). Let f be (4/8)/(1/4)*z. Solve 4*a = 4*t - f, 2*t - 3 = -a + 5 for a.
2
Suppose 3*t = 5*t. Suppose 2*f + 5*n = -1, t*n + 3 = 4*f + 5*n. Solve -r = -1, 0*r = -2*c + f*r - 6 for c.
-2
Suppose 2*r = -0*r - 2*w - 6, 4*r + 3 = -w. Let l be -1*(-6 + (1 - -1)). Solve -2*u + 11 = i - 2*i, r = -l*i - 20 for u.
3
Let c = -178 + 187. Solve c = -3*l, 4*y + 3*l = -l - 32 for y.
-5
Suppose 3*c - 21 = 24. Suppose c*a - 13*a = -2. Let j be (2 - -1) + a - 0. Solve p - 18 = -4*b, -8*b + 3*b + j*p + 16 = 0 for b.
4
Let u(l) = -l + 12. Let x = -13 - -22. Let h be u(x). Suppose -32 = h*q - 5*q. Solve 0 = 2*c - 4*a + q, -c + 5*a - 23 = 3*c for c.
-2
Let i be 21 + (22 - 9) + -1 + -5. Solve -11 = -4*s + 3*q, 5*q = -3*s - 0*q - i for s.
-1
Suppose -2*z - 107 = -13. Let c = z + 52. Solve c*u = -5*y - 5, -2*u + 0*y + 6 = 4*y for u.
-5
Let x be 0/(5/((-5)/(-2))). Let t(r) = r**2 - 15*r + 24. Let u be t(14). Solve -4*b - 6 = -5*o, 3*o + x = -b - u for b.
-4
Suppose 6*z - 8*z - y = -7, 5*z - 12 = 3*y. Suppose 4*s + 4*h = 0, -4*s + z*h = -3*s - 16. Solve -4 = 3*c - s*w, c - 5*w = -14 - 2 for c.
4
Suppose 2*r = -3*r. Solve h + 7 = x - 2*h, 5*x - 3*h - 23 = r for x.
4
Suppose -4*a + 57 = 3*m, -5*m = 3*a + 21 - 61. Solve -u = -4*u, -5*w - u + a = 0 for w.
3
Let y(k) = k**3 + 6*k**2 - 43*k - 23. Let g be y(-10). Solve 10 = 2*x, -f + 8*x - 10*x + g = 0 for f.
-3
Let b = 19 + -2. Suppose -2*h - b = -3*h. Suppose -2*l = -2*x + 2, -23 = 2*l - 6*l - 5*x. Solve 11 = -d + l*t, 2*d - 5*d = -2*t + h for d.
-3
Suppose -2*h + 8*h = -318. Let d = h + 53. Solve -5*a = -5*v + 15, d = -0*a + 5*a - 2*v + 3 for a.
1
Let j be 0 - (0 - 5 - -1). Suppose 6*s = s + n + j, 16 = -5*s - 4*n. Solve 4 = 5*i - 4*f, s = 2*i + 8*f - 4*f + 4 for i.
0
Suppose -5 = -5*m + 5. Suppose 2*v + x - 40 = 3*x, -5*v + 3*x = -100. Suppose 4*b - v = -4. Solve -2*w - 2*w - 5*n = m, b*n = -5*w + 2 for w.
2
Let i = -677 + 701. Solve -t + 3*z + 1 = 12, t = -4*z + i for t.
4
Suppose -16 = -5*z - 4*h - 8, -32 = -5*z + 4*h. Solve -14 = -z*r - k - 0, 3*r - 5*k = 22 for r.
4
Let c be (3 + -8)*(-15)/(-5). Let d = -13 - c. Solve -z = d - 0, 5*s + 4*z + 23 = 0 for s.
-3
Let q = -31 - 5. Let w = -32 - q. Solve -19 = -w*l - z + 6*z, l = -3*z - 8 for l.
1
Let h be -1*(1/1 + -19). Let b = 26111 - 26109. Solve -h = p + 5*z, 0*p + 5*p - b*z - 18 = 0 for p.
2
Let l be 1/(-4) + (-34)/(-8). Suppose 4*s - 5*b = -0*b + 45, 0 = l*s + 4*b. Solve -x + 15 = s*z, 5*z - x = 19 + 6 for z.
4
Suppose -8 = 2*f - 33*b + 31*b, -f = 4*b - 26. Let t be (-2 - -1)*10*-1. Suppose -5*n + 5 + t = 0. Solve 4*y - 20 = j + n*j, 3*y - 15 = -f*j for y.
5
Suppose -21*f + 35 + 7 = 0. Solve 0 - f = 3*o - z, -2*o = 5*z - 10 for o.
0
Let b(m) = -m**3 + 17*m**2 - 28*m - 26. Let i be b(15). Solve -3*w = n - 4, -4*w - i*n = n + 13 for w.
3
Let w = 45 - 65. Let t = -18 - w. Solve -k + 3 = -z, t*z - 4*k = -k - 9 for z.
0
Let o(i) = i**3 - 5*i**2 - 6*i + 5. Let q be o(6). Let m = -150 - -150. Solve 2*f - 3*z + q*z - 10 = m, 0 = -5*f + 2*z - 10 for f.
0
Suppose -3*m + 29 = -2*o + 1, -2*m + 17 = -o. Suppose -q + 11 = 5*d, 4*d - m*d - 3*q + 7 = 0. Solve -f - 6 = -d*s, -4*f - f - 5*s = 15 for f.
-4
Let y = -32 - -37. Suppose -z = -2*o - 2*z - 17, z = -o - 7. Let r = 14 + o. Solve -y*q = 2*f + 17, r*q + 9 = f - 15 for q.
-5
Let g(h) = -49*h + 604. Let u be g(12). Solve -3*v = -4*b - u, -2 + 6 = 2*v + 4*b for v.
4
Suppose 4*j - 28 = -2*f, 3*j + 5 = 3*f + 2*f. Solve 0 = 3*i - f*a - 23, -3*i + 0*i - a - 2 = 0 for i.
1
Let l be (3 - (-3)/(-2))*(-112)/(-21). Suppose w + v = 2 + l, -4*v = -5*w + 5. Suppose 7 = -2*d + 21. Solve 2*q - 7*q - w = 0, -2*s = -q - d for s.
3
Suppose 0 = 5*z + 68 - 28. Let v(n) = n**2 + 5*n - 19. Let l be v(z). Let h be ((-10)/(-25))/(1/l). Solve -5*r - 2 = h*t, 2*r + t + 1 = r for r.
0
Let q = 4 - 1. Let x(o) = o**3 - o - 1. Let r be x(2). Suppose 0 = -r*w + 4*l + 60, -4*l + 0*l + 36 = 3*w. Solve q*h - w = -3*b, 5*b - 2*h = -4 - 4 for b.
0
Let s(c) = -c + 1. Let b be s(1). Let q be (-1419)/22*8/(-6). Suppose 6*l - 22 - q = 0. Solve l = -4*g - 5*a + 58, 3*a - 12 = b for g.
5
Suppose -44*o - 32 = -52*o. Solve -o*r = 4*v - 9*r + 17, -5*v + 2*r = 0 for v.
2
Let g be (-15)/(-12) + -2 + 209/76. Solve 0 = -5*y - g*t - 35, 0 = 5*y - 3*t + 11 - 1 for y.
-5
Suppose 3*z - 53 = -8. Solve 5*c + z = 0, 4*c + 25 - 10 = -w for w.
-3
Let m(j) = 6*j**3 + 28*j**2 + 15*j + 9. Let y be m(-4). Suppose -u + 4*i + 14 = -17, 49 = 4*u - i. Solve 3*b + y = -l, 2*b + 6*l = 3*l - u for b.
-4
Suppose 0 = -3*n + 12*n - 423. Let y = n + -47. Let p = 0 - -3. Solve -4*l + p*l = y, j + l = 0 for j.
0
Let q = 63 + -93. Let n = 18 + q. Let y(l) = l**2 + 13*l + 15. Let x be y(n). Solve 4*f = o + 20, -f - x*o + 5 = -o for f.
5
Let a = 241 - 241. Solve -5*p - 5 = -4*r, a = 6*r - 2*r + 5*p + 45 for r.
-5
Let m = 31 - 27. Suppose -a + 47 = 4*f + 7, -f + m*a = 7. Solve 0 = c + c - 3*q + f, 0 = 4*c - 5*q + 17 for c.
-3
Let k = -4 + 12. Suppose -b + 4 = -k. Suppose -7*y + b = -3*y. Solve s + y*z - 1 = -5, 2*z = -s - 2 for s.
2
Let q(b) = b**3 - 6*b**2 + 7*b - 7. Let a be q(5). Let l be (0 + (4 - 3) - 0) + 3. Solve l*z - 2*z + 3 = 3*d, -a*d - z = 6 for d.
-1
Suppose 5*c + 3*i - 13 = 0, 3*c - 5*i = 5*c + 10. Suppose 117*f = 4*m + 112*f - 5, -4*f - 4 = 4*m. Solve 5*u - 14 = l, m = -c*u + l + 2*l + 22 for u.
2
Let m(v) = v**3 - 4*v**2 - v - 7. Let u be m(5). Let y(p) = 2 - p**3 + 5*p**2 + p + 1 - 6. Let z be y(5). Solve 5*q = 4*h - u, -z*q + 2 = 12 for h.
-3
Let h = -1350 - -1352. Solve 21 = 4*i - t, h*i = -2*t + 3 + 5 for i.
5
Let y(f) = f**2 + 6*f. Let x be y(-6). Suppose 12*p - 15*p + 12 = x. Solve 4*b - 4 = -0*b - p*l, -3*b - 5*l + 1 = 0 for b.
2
Let p(n) = -21*n + 12*n + 10*n + 33. Let s be p(-10). Solve -4*f = -3*a + s, a + 5 = -4*f + 2 for a.
5
Let n = -33 - -35. Let c = 17 - 12. Solve 2*m + n*w = -10, c*m - 8*w = -4*w - 7 for m.
-3
Suppose 1 = i - o, 13 = 4*i + 8*o - 3*o. Suppose -4*k - 3*u + 39 = 0, -5*k - i*u - 3*u + 45 = 0. Solve -5*d + 6*d = 2*c - 10, k = 4*c + 2*d for c.
4
Let k be ((-18)/24)/((-1)/(-8)). Let r be 3/k*(7 - 7). Let v be 2/4 + 3/2. Solve 2*g - 5*m + 15 = r, v*g + 3*m + 1 = 10 for g.
0
Suppose -20*y - 3 = -21*y. Solve -1 = -z, -5*j - 7 = -4*z - y for j.
0
Let r = -43 - -55. Suppose -7*i = -40 + r. Solve 3*h - 3*w = 27, h + i*w + 12 = -h for h.
4
Let v = -80 - -80. Solve 0 = i + 2*r + 3, i = -v*i + 4*r + 3 for i.
-1
Suppose -4*x + 5*z = -1291, -1245 + 297 = -3*x - 3*z. Let k be (0 + 2)*x/22. Solve 5*r + k = d + 11, 2 = -d for r.
-4
Let p(c) = -3*c + 17. Let d(w) = 2*w - 9. Let x(m) = 11*d(m) + 6*p(m). Let y be 3*(1 + (-1)/3). Let o be x(y). Solve v - 2*t = 7, -2*v + o = -3*t - 2 for v.
5
Suppose m + 1 = 4*a - 0*a, 25 = 3*m + 2*a. Let p = 21 + 4. Suppose p*c = 27*c. Solve 2*d - v - m = 0, 2*d + c - 1 = -v for d.
2
Suppose -21*w + 3 = -102. Suppose f - 1 = 5. Let b = 9 + -4. Solve -3*c + 3 = 4*t + f, -t + w*c + b = 0 for t.
0
Suppose -j + c = -3*j - 25, 4*j + 5*c = -53. Let o be (32/(-12))/(8/j). Solve d - 6 = 2*u, o*u + 10 = d + u for d.
-2
Suppose -3*m = 5*p + 30 - 89, -5 = -2*p + 5*m. Let i be (-201)/(-15) - p/25. Solve -4*c = 16, -2*o - i = -o + 3*c for o.
-1
Let t be 3 + ((-1)/(-3))/(5/(-45)). Solve 4*m - i + 5 = 0, m - 6*m + 3*i - 15 = t for m.
0
Let u(l) = -l + 20. Let w be u(-7). Let j = -25 + w. Solve c + 6 + 4 = -j*t, -5*c = 3*t + 15 for t.
-5
Let z(h) = -5 + 15*h - h**2 - 9 - 6*h. Let a be z(7). Let r be (-2)/11 + 2/11. Solve 2*d - 5 + r = -5*n, a = 3*n - 4*d - 29 for n.
3
Suppose -4 = -l - 2*k + 10, -4*l - 4*k = -40. Solve -a + 9 = -2*g - l, g - a = -10 for g.
-5
Suppose 4 = -a - 0*a. Let d be 4*2/a*1. Let 