 -a*k + s + 26 = -8*k, -3*k + s - 14 = 0 for k.
-5
Let x(b) = -b**3 + b**2 + 7*b - 1. Let c be x(3). Suppose -2*y + 3*u - 2 + 16 = 0, -y + 4*u = -17. Solve -3*v = 4*s + y, -1 = c*v - 3 for s.
-1
Let x = 1797 + -1777. Solve -4*u - 2*o = 30, -u - 4*u - x = -o for u.
-5
Let v be (-2)/(-8) + 33/12. Let z(t) = -t**3 + 4*t**2 - 2*t - 3. Let l be z(v). Suppose -2*u + 15 + 41 = l. Solve -5*p = -4*h + u, 0 = -p - 0*h + 2*h - 8 for p.
-4
Let y = 304 - 300. Solve g = -w - y*g - 22, 4*g = -3*w - 11 for w.
3
Suppose -2*x - 28 = -5*n - 9, 2*x = -2*n + 16. Let t(j) = 8*j + 14. Let i be t(3). Let f = -34 + i. Solve -f*h - 12 = 8, 0 = -3*l - x*h - 3 for l.
4
Let a(i) = 3*i - 22. Let j be a(9). Suppose v = j*v. Solve -y - 2 = -2*n + 2, v = 2*y - 5*n + 8 for y.
-4
Let b be ((-1)/(-3))/((-7)/(-42)). Let x = 1 + b. Let d = -35 + 38. Solve 2*l + 10 = x*g - 6*g, -5 = d*g + l for g.
0
Let t(j) = 36*j + 507. Let n be t(-14). Solve -o + 0*z = n*z - 18, 3*z - 12 = o for o.
3
Let s be 2*18/(-4)*(-10)/3. Suppose 14*o - s = -2. Solve 0 = d + 2*g - 2 - o, d - g - 4 = 0 for d.
4
Suppose -1749 + 1641 = -6*z. Solve 3*u - 2*f + z = 0, -2*u = -6*u + 2*f - 22 for u.
-4
Suppose 9*o - 6*o = 3. Let r be (-18)/12*(o + -3). Suppose -x = r*p - 50, -22 = 4*p + 5*x - 96. Solve 3*k + 4*i = -5 - 2, p = -4*i for k.
3
Let a be 2/5 - 84/(-15). Suppose a = -0*n - 3*n + 3*d, 2*n + d = 2. Suppose -5*m - j + 35 = n, 0 = -m - 3*j - 1 + 8. Solve -3 = 3*v - 6*v, -4*l = v + m for l.
-2
Suppose 27*p + 35 - 440 = 0. Solve -p = 5*j - 0*i - 2*i, -3*j = -4*i + 23 for j.
-1
Let x(g) = -g**2 + 20*g + 23. Suppose -5*t - 4*b + 113 = 0, 4*b + 0*b = -t + 29. Let v be x(t). Solve -3*l = 9, 3*l = v*p + 8*l + 11 for p.
2
Suppose 0 = h - 3, -2*h = o - 6*h - 24. Let z = -35 + o. Solve -5*y - 2*n - 10 = z, 0 = -5*y + 4*n + 7 for y.
-1
Suppose -25 = -5*j - 2*z, 3*j + 8*z - 10*z = 15. Solve -s + 6*f = 3*f + 20, -j*f = 5*s for s.
-5
Let s(j) = -j**3 + 6*j**2 + 4*j - 14. Let r be s(2). Solve -d + n = 2*d - r, 2*d = -n + 5 for d.
3
Let h(v) = -2*v**3 + 6*v**2 + 14*v - 20. Let f be h(4). Solve -3*x + 3 = -7*y + f*y, y = -5*x - 1 for y.
-1
Let j be 8/(-52) - (-1449)/39. Solve -r - 3*q = -14, 5*q - j - 3 = -5*r for r.
5
Let b = -2 + -2. Let h be b/(-12)*-1*-3. Let w be 45/(-6)*(-1 - h). Solve 2*j + j + 18 = -3*i, 0 = 4*i - 5*j + w for i.
-5
Let a be (-3)/(-6*3/6) - -4. Solve -3 = 3*w + 4*r - 29, -5*r = -a*w - 15 for w.
2
Suppose 0 = d - 0*d - 14. Let v(y) = -y**3 - 7*y**2. Let p be v(-7). Suppose -5*h - 5 = 2*j - 3, p = 2*j - h - 10. Solve -3*w = -4*a - j*w + d, -2 = w for a.
4
Let u = -181 + 185. Solve 2*d - u*t + 21 = 1, 0 = d + 2*t - 10 for d.
0
Let b be 5 - 3 - (4 - 2 - 2). Suppose 0 = -4*n - 12, 4*z - b*n = -z + 31. Solve -a + 3*w + 8 = 3*a, -z*w = -4*a + 8 for a.
2
Let p be 20/(-4)*(1 - 2). Solve -10 = p*w - 2*l, -39 = -5*l - 14 for w.
0
Suppose -16*d - 96 = -20*d. Suppose -2*j + d = 16. Solve j*u = -h + 9, -2*h + 10 = -h + 5*u for h.
5
Let v = 2371 + -2368. Solve 3*a - 3*l = l, -v*l = -4*a for a.
0
Suppose 0 = 10*b - 35 - 15. Solve 4 = -p + 1, 4*p - 13 = -b*k for k.
5
Let a(s) = -3*s**2 + 177*s - 169. Let i be a(58). Solve 5*f + 8*c = 9*c + 24, -4*f - 4 = i*c for f.
4
Let h be (1 - 1)*(-11)/33. Suppose h = -y - 0*y - 9. Let p be (-42)/y + (-2)/(-6). Solve 4*l + s + 8 = 0, 0 = -5*l + s - p + 4 for l.
-1
Let d be 183/((42/4)/(-7)). Let t = 124 + d. Solve -m + t*g = -13, -2*g - 37 = -4*m + 3*g for m.
3
Let k be 4/22 + 2210/187. Let f(u) = u**2 - 9*u - 36. Let y be f(k). Solve -5*v = 5*d + 25, y = 4*d - 4*v + 5*v + 8 for d.
-1
Let v(g) = 2*g**3 - 65*g**2 + 31*g + 37. Let w be v(32). Solve -16 = -3*u - 3*p + w*p, 4*p = 3*u - 26 for u.
2
Let r(i) = -i**3 - 42*i**2 - 42*i - 39. Let m be r(-41). Solve 2*o - 2*h + 12 = 0, 0*h = o - m*h + 10 for o.
-2
Let d = -70 + 89. Let o(b) be the third derivative of b**4/24 - 19*b**3/6 - 2*b**2. Let z be o(d). Solve z = 4*y - 5*l + 45, 2*l + 0 + 5 = -3*y for y.
-5
Let p(d) = d**2 - 10*d + 4. Let z be p(9). Let o(s) = s**3 + 4*s**2 - 4*s + 8. Let c be o(z). Solve -c*h - 3*y = 30, -35 = -0*h + 4*h + 3*y for h.
-5
Let c be 2*2*-2*(-3)/12. Let h(y) = 2 + 0*y + 0 - y. Let l be h(-3). Solve 0 = -b + 2*i - l*i - 6, i = -c for b.
0
Suppose -4*j + 5*l - 2 = -0*l, j - 4*l = -6. Solve -6 = j*q - 3*a, 2*q - 3 - 19 = -4*a for q.
3
Suppose 10*i - 168 = 132. Solve -5*z = 4*h - i, 15 = 5*h + 2*z - 14 for h.
5
Let t = -238 - -245. Solve -p = 5*z - 0 - 3, 5*z = p + t for z.
1
Let s = -36 - -38. Suppose 0 = s*b + b - 4*y - 19, -2 = -b - 3*y. Solve -26 = 3*n - 3*u + 4, -b*u + 25 = 0 for n.
-5
Let l = -5 + 23. Suppose 4*z - 65 = b, -3*b - 78 = -5*z - 5*b. Let f = l - z. Solve 5*k - 5 = f*r, 0 = 4*r - 2*k - 1 + 19 for r.
-5
Let k be (-10)/(-6) + 1/3. Suppose -o - k*o + 3*v + 3 = 0, -4 = -4*v. Solve 2*m = -g + 2, 0*m + 6 = -o*m - 5*g for m.
2
Let a = 2 - 0. Let u(v) = 2 + 4*v**2 - 5*v**a - 9 + 8*v. Let c be u(6). Solve 1 = 2*z - c*r + 3, 4*r = 4*z - 8 for z.
4
Suppose 27*v - 28*v = -3. Solve -2*b + 6 = -v*n, 3*n - 4 = -4*b + 5*n for b.
0
Suppose 0 = 33*h - 111 + 12. Solve h*z - 4*a - 1 = 0, -2*z + 0 = -a + 1 for z.
-1
Suppose -3*y = -3*g + 2*g - 5, g + 9 = 5*y. Solve -y*d - b = -1, 15 = 24*b - 21*b for d.
-2
Suppose -p - 20 = -4*a, -3*p - 10 - 2 = 0. Let v(r) = r**3 - 2*r**2 + 4*r - 2. Let c be v(2). Let z = 11 - 1. Solve 4*u - a*x - z = c, -x - 1 = 0 for u.
3
Let f(l) = -l**3 - l**2 - l + 2. Let u be f(0). Let b = 2 + -11. Let o = b - -11. Solve -g + 2*v = 7, o*v = u*g - 0*v + 12 for g.
-5
Let m = -781 + 783. Solve m*r + 2*r - 8 = -4*p, 3*r - 3*p + 6 = 0 for r.
0
Suppose 3*x = -11 + 11. Suppose 3*q - 2*w = 2*w + 12, q + w + 3 = x. Solve 3*y - 33 + 9 = -3*i, 5*i - 5*y = q for i.
4
Let k = -6 + 9. Suppose -t - 4 = -3*j + 7, 5*j - k*t - 21 = 0. Let d be 24/(3 - (-9)/(-6)). Solve 0 = 4*n + d, -j*w - 2*w - 33 = 2*n for w.
-5
Let a be 9 + 7 + -24 + 11. Solve -2*b + 3*l = 6, 4*b + a*l - 6 = -0 for b.
0
Suppose h = -5*o - 15, -3*o = -h - 0*o + 9. Solve z + 3*z = 3*w, -2*w - 4*z = h for w.
0
Let c = 48 - 36. Solve -2 = -s - n, -2*n = -s - 1 - c for s.
-3
Let y(b) = -9*b - 4. Let w be y(-1). Solve -4 - 8 = 4*o, -3*o - w = g for g.
4
Suppose 5*v + 20 = 2*h, 6 = -4*h + 3*v + 32. Solve -2*r + 15 = -h*b, 0 = 5*r - b + 11 - 37 for r.
5
Suppose m - 4*j = 0, -m - 2*j = -4*m + 20. Solve -z - m = -5*d, 8*z + 11 = -4*d + 3*z for d.
1
Let p(f) = -4*f**2 - 5. Let u(g) = -17*g**2 - 19. Let o(i) = -9*p(i) + 2*u(i). Let l be o(-3). Let v = -22 + l. Solve -c - 3 = v*s - 2*s, -s + 3*c = -5 for s.
-1
Let o = 556 + -516. Solve -k = -c, -k + 6*k + 5*c - o = 0 for k.
4
Let a(p) = 2*p - 6. Let h be a(6). Suppose 4*b = 3*g, 2*g - h*g = -2*b. Let y be (b - -1)*6 + -3. Solve x = -2*j + 5*j - 15, -27 = -y*j + 5*x for j.
4
Let o(p) = -p**3 + 5*p**2 + 3*p - 7. Let s be o(6). Let m be 37/5 - (-10)/s. Let l = m - 4. Solve 0 = 2*x + l*w + 2*w + 6, -4*x = 4*w + 12 for x.
-3
Let n(j) = -j**2 + 7*j - 4. Let q be n(1). Solve -3*m = -5*v + q*v - 9, -4*m - 3*v + 26 = 0 for m.
5
Let j(v) = v + 6. Let p be j(-10). Let g be p + 1 - (-6)/(-3). Let a = 0 - g. Solve -5*l + 11 = 4*w - 2*w, 0 = -a*w - 3*l - 1 for w.
-2
Let o = 69 + -48. Suppose -4*u - 13 = -o. Suppose 0 = 2*q - u, -5*s - 22 = -6*s - 4*q. Solve -2*m - 3*m - 2*c + s = 0, 0 = 2*m - 5*c - 13 for m.
4
Suppose -52 = -0*t - 2*t. Let z(h) = h**2 - 2*h - 30. Let i = 7 - 0. Let n be z(i). Solve t = -n*o + s, 0*o + 7 = -o + 2*s for o.
-5
Suppose 0 = 117*y - 97*y. Suppose -7*k + 10 = -2*k. Solve y = -o - 5, k*o = -5*r - 3*o - 25 for r.
0
Let s(j) = j**2 - 7*j + 8. Let w(d) = 2*d + 2. Let x be w(2). Let v be s(x). Solve 0 = -3*b - 3*y, -v*b - 2*y - 3 = y for b.
3
Suppose u - 4*x = -2*x + 8, 0 = 2*u - 3*x - 13. Let m(q) = 4*q + 2. Let p be m(u). Suppose -p = g - 16. Solve -2 = j + 5*d, 2*j - 3*d = 15 - g for j.
3
Let k(r) = 5 + 22 + 7*r - 2 - 1 - r**2. Let a be k(9). Solve 4 = 4*m + 5*w - a, 6 = 2*m + 3*w for m.
0
Let t be 38/(-5*6/(-15)). Suppose -2*c + 3 = c, 2*g - c - t = 0. Let k = 14 - 10. Solve 0 = -q + 3*l - k - g, -12 = -3*l for q.
-2
Suppose h - 5 = 6*h. Let f be h/(-3) + 186/9. Let u be (-16)/(-6) + 3/9. Solve 0 = 3*b - n + 9, u*b = 2*n + 3*n - f for b.
-2
Suppose 3*u - 4*b = -8*b + 27, 30 = 3*u + 5*b. Solve -u*p + 2*w = 5*w - 31, -w + 2 = 0 for p.
5
Let m = -3014 - -3017. Solve -2*h = -8*o + 4*o 