 - l = -5*y, -2*y = 3*j - 11. Suppose j*b - 14 = 6. Solve -3*s - d + 5*d = -3, -4*s = -b*d - 8 for s.
5
Let k = -4 + 7. Solve 5*d = 3*r, -d = k*d + 4*r for d.
0
Suppose -3*q = -5*w - 109 - 66, 3*w + 105 = q. Let x be 1/(-5) + (-147)/w. Solve 11 = 4*m - 7*m - k, -x*m - 3*k - 18 = 0 for m.
-3
Let a = -5 + 7. Suppose -3*k + z + 12 = 0, 0 = a*k + 2*z - 1 - 7. Solve k*n - 3*u = 3, n - 4*u + 1 = 5 for n.
0
Let k = 0 - -2. Solve -2*v - k*b + b = -4, -14 = -4*v + b for v.
3
Let m be (-1 - -14 - -1)/2. Suppose -3*n - 12 = -k - 0*n, 1 = 3*k - 2*n. Let b be 1/k - (-73)/3. Solve 2*s - m*s + 5*d = -40, -5*s = -d - b for s.
4
Let m be ((-4)/5)/(4/(-10)). Let r = -6 - -8. Solve -2*t - 2 = -3*j - 5, 5*t = r*j + m for t.
0
Let z = -12 + 37. Let f = -82 - -84. Solve -o = -0*o + f*a + 5, -5*o - z = 5*a for o.
-5
Let c(m) = -m**3 + 14*m**2 + 16*m - 11. Let n be c(15). Suppose s + 5*h = 3*s - 8, h - 8 = -2*s. Solve 4*v + s*t = -n, 2*v + 0 = 4*t + 22 for v.
3
Let x be (-6)/10 - 13/(-5). Solve x*f - 4*s = -20, s = 2*f + 4*s - 8 for f.
-2
Let g = 1 - -2. Suppose -249 + 81 = -24*q. Solve -4*v = -4*p - q*v + 5, -g*p + 4*v = -10 for p.
2
Suppose 62 = 3*k - 13. Suppose -k = d - 6*d. Suppose -d*v + 20 = -v. Solve p + v*f = -3, -3 = -p + 2*p + f for p.
-3
Let p(m) = 3*m + 2*m + 8 - 3*m. Let g be p(-4). Solve -4*b + 2*h - 15 = b, g = -5*b - 4*h + 15 for b.
-1
Let s(y) = -y**2 + 5. Let a be s(5). Let r be (-5)/a - (-22)/8. Solve 0 = q + 2*b + 1 + r, q = b + 2 for q.
0
Let v(z) = z**3 + z + 49. Let x be v(0). Suppose f + x = 3*t, 43 = 3*t - 4*f - 18. Suppose -4*p = -p - t. Solve 4*d = p*i + 5, -1 - 4 = 5*i + 5*d for i.
-1
Let y = -12 + 14. Solve 2*j + 6 = -r, 5*j + y*r = -20 + 7 for j.
-1
Suppose -2*y + 3*y - 39 = -3*c, -2*y - 5*c = -77. Suppose y = 4*v + r + r, 4*v - 4*r - 36 = 0. Solve -4*g = i + 13, -i + 3*g - v = 5*g for i.
-5
Suppose -10*n + 10 = -5*n. Solve 2*i - 4*t - 2 + 6 = 0, -n*i - 4 = 5*t for i.
-2
Suppose -12 = -c - 3*h, -2*c - 2*h = -3*h - 3. Solve -c*r = r + 5*f - 24, -3*f + 9 = -3*r for r.
1
Let d be 3/1 - (-10)/2. Solve -3*w = -0*w - 4*h - 22, 0 = 4*w + 4*h + d for w.
2
Suppose h - 5*b = 23, 4 - 16 = 3*b. Solve -s = -4*d + h*d + 1, 21 = -5*s + d for s.
-5
Let z(o) = -o + 2. Let j be z(-3). Suppose -m = -j - 11. Solve -n + 3*h = -4*n - 18, -3*h - m = 2*n for n.
-2
Suppose -4*l - 8 = -0*l, -5*l = -2*c + 20. Solve -3*u - 5*s + 1 = 0, u - 19 = 4*u - c*s for u.
-3
Let t = -12 + 13. Let g be (-243)/(-12) - 6/(-8). Solve x + 1 + g = -5*u, -3*x - t = 2*u for x.
3
Let p = 1 - -5. Suppose x + p = 4*x. Suppose -x*i = -3*g + g + 56, i - 50 = -2*g. Solve -2*v = -5*d + g, 0 = -5*d - 3*v + v + 14 for d.
4
Suppose -4*j + 4*r = -28, r + 3*r = 2*j - 10. Solve -3*m - j = 0, -5*k + 0*k - 3*m = -1 for k.
2
Let o = -7 - -7. Solve o = 4*x + 8, -r + 8 = -3*x - 3 for r.
5
Suppose -14*z = -9*z - 45. Solve z = 4*s + 3*h, s + 4 - 12 = 5*h for s.
3
Suppose -2*s - 18 = -2*i, -5*s + 10 = 35. Let o = 5 - 2. Solve 1 = 4*c + o*l, 4*l = -5*c + c + i for c.
-2
Let r be 5/15 - 302/(-3). Suppose -z - r = -6*z - 3*x, -3*x = 2*z - 44. Solve -2*g = 3*y - z, 7 + 3 = 4*y - 5*g for y.
5
Let m be (-8)/(-2) + -2 + 0. Suppose 3*s = -2*h + 13, 3*s - h - 4 = s. Suppose 0 = s*d - 13 - 2. Solve -l + 0*i - 5 = -i, -i + d = -m*l for l.
0
Let s = 21 - 1. Solve -3*d + s = 2*d + 4*t, -3*t = -d + 4 for d.
4
Let x = 2 - 3. Let o(m) = -3*m - 1. Let r be o(x). Solve 4*c - r*c = 2*f, 4*c = -4*f + 8 for f.
1
Let r(v) = -v**2 - 4*v - 6. Let u be r(-4). Let d = 2 - u. Solve 4*b = 3*z + 2*z - 15, 0 = -2*z + 2*b + d for z.
-1
Let y = -3 + 5. Suppose 4*j = -0*j + 12. Suppose -j*h = -y*h. Solve 2*s = 5*l - 0*s - 3, h = -2*l - 5*s - 22 for l.
-1
Suppose -2*a + 3 = -x, 0*a = 5*a + 2*x - 21. Suppose 0 = a*d + 2*d - 25. Solve f + 10 = -3*w, 2*f - w + 10 = d*f for f.
5
Let v be (3 - 1)*5/2. Let c(b) = 3*b**2 - 85*b - 55. Let j be c(29). Solve -13 = g + v*p, p + j*p = g - 5 for g.
-3
Let s(h) = -h + 6. Let m(a) = -6. Let q(k) = -2*m(k) - 3*s(k). Let o be q(3). Let j = 50 - 36. Solve 0 = 4*v - z - 13, z = -o*v + 1 + j for v.
4
Suppose -5*n + i = -7*n + 59, 5*n - 3*i = 131. Solve 3*l - l + 5*s = n, 3*s - 12 = 0 for l.
4
Let k(u) be the first derivative of 5*u**2/2 - 14*u - 5. Let s be k(7). Solve -5 = 2*d + 5*g, -s = -3*d + 2*g - 0*g for d.
5
Let f = -29 + 43. Suppose 2*q + q + 9 = 0. Let w = f + q. Solve -4*o = -2*u + 2 - 16, w = 5*o + 4*u for o.
3
Suppose -2*k - 9 = -5*k. Let u be (k/4)/(4/16). Solve u*t = 3*f - 6, -8 = -2*f + 4*f + t for f.
-2
Let d = 13 + -9. Suppose -6*z + z = 0. Solve 3*h - 4*u + 0*u = -7, 4*h + d*u + 28 = z for h.
-5
Suppose 6*w = 3*w + 9. Suppose 17 = 4*a + 5. Let i be 4 - (-2 + 1 - -1). Solve -k = i*k + a*o, k + w*o = 0 for k.
0
Let k be ((-5)/10)/((-3)/30). Solve k = -3*o - 5*s, -s + 2*s - 1 = -o for o.
5
Let n(v) = -v**3 - 4*v**2 - 2*v + 4. Let b be n(-3). Let i = 3 + b. Solve 4*p = 2*y + 8*p + 8, 5*y + 14 = -i*p for y.
-2
Let k(l) = 16*l**3 - 2*l**2 + l. Let j be k(1). Solve 0 = -b - 4*p + 3, -5*p = -4*b - b + j for b.
3
Let r(y) = -10*y - 5. Let s be r(-3). Let a be (-15)/s - 8/(-5). Solve -2*t - a = -2*d + 3, -6 = -t - d for t.
2
Let z(x) = -x**3 + 9*x**2 + 4 - 2 - 8*x + 4. Let y be z(8). Solve 1 - y = -4*u - 5*o, -5*u - 2 = -2*o for u.
0
Let l = 1 + -6. Let a = 7 + l. Let g be (-4 - a/2)/(-1). Solve -3 = -4*q - 3*y - 2, g*q = 3*y + 8 for q.
1
Suppose -2*d + 5 = -d. Suppose 0 = -d*a, -5*p - 80 = -0*a + 3*a. Let z = -9 - p. Solve v + v = -5*o + z, v - 2 = -o for v.
1
Let o(b) = 2*b - 3. Let q be o(2). Solve -2*s - 4*h = -q + 7, s - 3*h = -8 for s.
-5
Suppose 2*w + 8 = -4. Let b = -3 - w. Suppose -5*z = 2*r - 18, 7*z + 5*r = 4*z + 7. Solve 0 = -y, -2*i + b*y = y + z for i.
-2
Let t(k) = -k - 2. Suppose -5*c - 13 = 3*l + 10, 4*c - 2*l = -14. Let o be t(c). Solve r = -4*g - 9, 2*g + 1 = r - o for r.
-1
Let a be 3*(9 + -2) + 2. Suppose 2*z = -5*n + 1 + a, -4*z + 28 = 5*n. Suppose -4*i + 6 = -z*i. Solve 6*y - 3 = 2*u + i*y, -u + 2*y - 2 = 0 for u.
0
Let g be (-10)/35 - (-24)/(-14). Let q be 2 - (-1 - (g - 0)). Solve -2*c + 6 = -3*v - 1, c - q = 4*v for c.
5
Let v be 88/77*(-14)/(-4). Solve 3*n = n + 2*g + 4, v*n - 4 = 2*g for n.
0
Let z(s) = -s**3 + 2*s + 1. Let d be z(-2). Solve w + 8 = -2*g - w, -d*g - 3*w - 16 = 0 for g.
-2
Let y = -20 + 22. Let d(c) = -2*c - 3. Suppose -3*p = 2*w + 4, p - 2*w + 8 = -w. Let x be d(p). Solve x*i + 24 = y*v, 3*i - 6*v = -2*v - 20 for i.
-4
Suppose -2*l - 77 = -13*l. Solve 3*g + 5*a + l = a, 1 = 2*g - 3*a for g.
-1
Let v be (8/(-10))/((-58)/145). Solve -2*t + 2 - 14 = 2*y, y + 11 = -v*t for t.
-5
Suppose -18*a = -3*a - 90. Solve 4*s - a = -d, s + 0*s = d - 1 for d.
2
Suppose 5*q - 21 = 39. Solve -4*b + 2*b + 3*j + 14 = 0, -4*j = 4*b + q for b.
1
Suppose -13*k - 5*k + 72 = 0. Solve -30 = 5*y - k*c, 4*c - 10 = -2*y - 3*y for y.
-2
Let w = -2 + 4. Suppose 0 = j - 6*j + 15. Let c be (-1)/(-2)*j*w. Solve -5*l - 3*a = 11, 0*a + c = a for l.
-4
Suppose 7*c + 4 = 9*c. Solve -3*v - v + c*u = 20, 0 = -4*u + 16 for v.
-3
Let u be 9*((-6)/(-3))/2. Let c = 11 - u. Let t be ((-2 - -5) + -3)/c. Solve -q = 2*o - t*o - 7, 5*o + 4*q - 22 = 0 for o.
2
Let r(p) = p**3 + 9*p**2 - 10*p. Let y be r(-10). Solve 0 = 5*x - l - 20, 5*x = -y*l - 2*l + 20 for x.
4
Suppose -4*w + 4*c - 72 = 0, -2*w + 3*c - 24 = -2*c. Let q be w/(-6) - (-2)/(-3). Solve q*v = p - 16, 4*p = 7*v - 2*v + 36 for v.
-4
Let f(l) = 7*l + 49. Let y be f(-7). Solve -z + 3*n = -8 - 8, -z + 5*n + 26 = y for z.
1
Suppose -z - 3*o + 5 = 0, 5*o = 5*z - 7 + 2. Suppose p + z*p = 6. Solve 3*g + 5*d - 11 = -p, 5*g + 19 = 3*d for g.
-2
Suppose c - 2*c - 4*c = 0. Solve c = 5*b - 5*z + 9 + 1, 2*b - z + 7 = 0 for b.
-5
Let p be (1 + 1 + -5)*-1. Solve 3*f - 2*f + 2*u = 3, -4*u = p*f - 11 for f.
5
Let h be (22/6 - 1)*(-324)/(-144). Let c be 0/((-2)/(-2) - 0). Suppose p + c*p - 5 = 0. Solve h*k + 12 = 4*i + 3*k, p*i = 3*k + 12 for i.
0
Let q be 10/3 - (-5)/(-15). Suppose -55 = -8*w + q*w. Solve -5*g - w = -4*a, 0 = -3*a + 3*g - 3 + 9 for a.
-1
Suppose -2*w + 45 = 5*x, -w = 4*x - 0*x - 27. Suppose -w - 1 = -4*r. Solve r*j + 3*p = 32, -j - 2*j = p - 19 for j.
5
Suppose -4*y = -0*y - 2*m + 6, 4*m = 4*y + 12. Suppose -f + y + 7 = a, f - 11 = -3*a. Solve 4*o + 30 = -a*n, 2*o + 17 = -4*n - 13 for o.
-5
Let q = -2 + 41. Let d be (-24)/(-13) + 6/q. So