*k, -4*k - 4 = y for y.
4
Suppose 0 = -3*m - r + 17, 0 = m + 3*r - r - 14. Suppose m*n + 4*n = 24. Solve -g - n*x = 1, 3*g = -2*g + 4*x + 14 for g.
2
Let t = 61 - 61. Let d be (2/4)/((-1)/(-12)). Let x = 11 - d. Solve -4*z + 7 + 18 = -x*u, 2*z - 10 = t for u.
-1
Let a(z) = -z**3 + 2*z**2 + 5*z - 2. Let h be a(4). Let f be (-1 - h)/((-3)/(-6)). Solve 4*n + f = -5*t + 6*n, -4*n + 20 = -2*t for t.
-4
Suppose k - 5*h = 3, 4 = -5*k + 5*h + 19. Solve -2*l + 10 = -k*f, -11 = -2*l - 3*l + 4*f for l.
-1
Suppose 15 = t + 5*z, -4*t - 6*z = -4*z - 6. Let k = -5 - -3. Let c = 2 - k. Solve 2*l + 2*l + 32 = -c*y, t = -5*y + 5*l - 10 for y.
-5
Suppose -4*r = 2*t + 12, -2*t - 14 = 3*r - 5. Let d be 2*10*1/4. Solve -2*q + d*g + 14 = 0, -2*q + 4*g + 10 = -t*q for q.
-3
Let y(x) = 2*x**2 - 2 - 1 + 5 - x**2 + 6*x. Let c be y(-6). Solve -f = -4*f + 2*t - 5, -3 = 5*f - c*t for f.
1
Let l(o) = -2*o**2 + 16*o - 9. Let r be l(7). Solve a - 3*y - 5 = -a, 17 = 3*a + r*y for a.
4
Let f = -231 + 236. Solve 0 = -4*y + f*d - 16, -d + 7 = -y + d for y.
1
Let n = -27 - -50. Let r(y) = y**3 - 26*y**2 - 27*y + 25. Let k be r(27). Let l = k - n. Solve 6 = v - t, v + l*t = -t + 2 for v.
5
Let m = 652 - 649. Solve -4*u + 21 = 3*h, -4*u + 2*h = m*h - 15 for u.
3
Let s = 195 - 191. Solve -q + 4 = k, -4*k + 16 = -s*q - 0*k for q.
0
Suppose 0 = -2*d - 5*j + 30, 0 = d - 2*d + 5*j + 30. Let p(x) = 3*x - 27. Let o be p(10). Solve 18 = 3*u - 0*n + 3*n, -4*n + d = o*u for u.
4
Let m(a) = -19*a - 910. Let o be m(-48). Solve 0 = -o*b - 10, -16 = -14*x + 15*x + 3*b for x.
-1
Let d(g) = g**3 + 9*g**2 - g - 7. Let x be d(-9). Suppose 3*f - 12 = -3. Solve -s - 7 = -4*k, 2*s - x*k - 4 = -f*k for s.
1
Suppose -4*y + 0 = 8. Suppose 0 = -36*v + 5*v. Let i = v - y. Solve -i*u = -5*u - 3*o, 5*u = 3*o - 8 for u.
-1
Suppose 838*s - 836*s = 12. Solve -3*u - 10 = g, u - s = 3*g + 4 for g.
-4
Let r(b) = -b + 10. Let i be r(8). Let h be 0 - (-3)/(3/i). Suppose 0 = p - h. Solve z + q + 1 = -2*z, p*z - 1 = -q for z.
-2
Suppose -4*k = -s - 3*k + 7, 5*k + 32 = 4*s. Suppose l = 2, 5*t - t - s*l = -86. Let r = -16 - t. Solve -4*b + p = 20, p + 8 = -r*b - p for b.
-4
Let h(w) = -2*w + 5. Let a(d) = -3*d + 9. Let g(s) = 5*a(s) - 9*h(s). Let x be g(-1). Let l = 3 + x. Solve 2*p + 1 = -3, -q + 5*p + 13 = l for q.
3
Suppose 8 = -3*l + 2*x, 3*l + 2*x + 32 = 40. Solve 5*w = 3*b - 0*w, l = -b + w for b.
0
Let t(u) = -2*u + 28. Let h(o) = -o + 14. Let p(j) = 5*h(j) - 3*t(j). Let z be p(17). Suppose 2*b - z = 3. Solve -3*c - b*v - 9 = -c, -5*c + 5*v = -15 for c.
0
Let k(z) = z**2 - 11*z + 14. Let q be k(10). Solve -2*m - 4 = -4*j, -10 = -q*m + 2*m - 3*j for m.
2
Let y be -3 + (5 + -4)*6. Solve -f + 3 = -2*x, -y*x + 1 = -2*f + 4 for x.
-3
Suppose -v = 4*n - 5*v - 24, 2*v = -2*n. Suppose 5*x = -2*k - 10, -4*k + 13 = k + n*x. Solve 4*z - h = -1, -5*z = -6*h + h + k for z.
0
Suppose 4*x - 104 = -0*x. Let k be (0 - 2)*(-221)/x. Solve 5*h = 2*g + k - 2, 2*g = -h - 9 for g.
-5
Suppose -3*n = -34 - 11. Let o be 141/n + (-18)/(-5) + -4. Solve 2*c - o = -m - 0, 3*c + 14 = 4*m for c.
2
Suppose -7*o + 37 = -96. Let t(g) = g**3 - 18*g**2 - 20*g + 21. Let d be t(o). Solve l - 15 = 2*n + 6*l, 0 = -2*n + d*l + 20 for n.
5
Let j(c) = -3*c + c - 49 - 6*c + 33. Let h be j(-2). Solve h = a - 3, 4*z + 3*a = 7*a for z.
3
Let u be 10/(-55) - 40/22. Let b = u - -27. Suppose l = 5*z, -z = 2*z - 3*l + 12. Solve -z = 5*m + 3*p - b, -2*m - 3*p = -15 for m.
3
Let u(g) = 2*g**3 + 3*g - 2. Let h be u(1). Suppose k - h*y - 31 = -12, -76 = -4*k - 4*y. Solve -5*n + k = d - 4, d - 18 = -4*n for d.
-2
Suppose 0 = 11*w - 6*w - 25. Solve 4*y + 3*a + w = 0, 0 = 4*y - y + a + 10 for y.
-5
Let m(i) = i**2 + 11*i - 8. Let w be m(1). Solve 6 = s - 0*p - w*p, 0 = 2*s - 4*p - 4 for s.
-2
Let f(t) be the first derivative of -27*t**2/2 + 2*t - 3. Let w be f(-1). Let o = -17 + w. Solve 4*z + 3*l - o = 0, z + 0*l - 4 = -l for z.
0
Let q(j) = 7*j**2 - 10*j + 20. Let b be q(2). Solve -i - 4*x = -18, i + 3*i - b = -5*x for i.
2
Suppose 62 = 9*l + 17. Suppose 17 = l*t - u, -3*t - 3*u + 17 = -t. Solve 4*h + 4*x - t = -0*h, -x = 4*h - 4 for h.
1
Let w(g) = 7*g**2 - 6*g - 8. Let v be w(-1). Solve -l + i - v = 4*l, i = 0 for l.
-1
Suppose 0 = v + 5*n + 1, 5 = -5*n - 0. Suppose -4*k + 24 = -0*k. Suppose 19 = i + 5*m, -k*m + 2*m = -2*i - v. Solve -2*f = -x + 13, -i*x - 2 = -f - 26 for f.
-4
Suppose 0 = 3*d - 3 - 3. Let q = -8 + 13. Solve -n = 3*x + 4, -q*n - 12 = -d*n + 4*x for n.
-4
Let c(b) = b**2 + 12*b + 35. Let a be c(-5). Suppose -3*x + a*r = -r, -4*x = -4*r. Solve x = 3*f - 3*w, 5*f - 3*w = 7 + 3 for f.
5
Suppose -2*g + t - 6 = -5, -3*g - 9 = -3*t. Let m(x) = -9 + x**2 + 15*x - 7*x**2 - 4*x**2 + 9*x**2. Let k be m(12). Solve 4*l = -4*z, -g*l + 6 - k = -5*z for z.
3
Suppose 19*b = 21*b - 4, -2*b = -4*d + 12. Solve 4 = 2*c - d*q + 2*q, 4*q + 9 = 3*c for c.
-1
Let f(b) = -2*b**3 - 20*b**2 + 2*b + 25. Let r be f(-10). Solve 11 = r*m + 5*y - 24, 5*m - 4*y = 17 for m.
5
Let c(a) = -4*a + 44. Let o(j) = 8*j - 88. Let y(f) = -5*c(f) - 2*o(f). Let z be y(16). Solve z = 5*u - 5*w, 2*u + 1 = -5*w + 2 for u.
3
Let y = -981 - -983. Solve -5*c - 28 = -3*o + 1, y*c + 5 = -o for o.
3
Suppose 0*z - 3*z + 20 = c, -3*c - 2*z = -32. Suppose -9*y + c = -5*y. Suppose -y*s - 30 = -5*s. Solve 23 = 5*h - 4*k, -2*h - 3*k = -5*k - s for h.
3
Let k be 1/(-4) - (-51)/12. Suppose 2*j = -k*a + 52, -j = -a - 6*j - 5. Suppose 3*n + a = 8*n. Solve -5*i = -2*l - 3, 4*l - i + 0 = n for l.
1
Suppose 2*r = 6, -3*x + 3*r = 4*r. Let g be (x/(-3))/((-4)/(-24) + 0). Solve -4*a - 10 = 2*t - g, t - 2 = a for a.
-2
Let z be (1 + -1)/(-5 + 7). Suppose -5*p = 3*c - 19, 1 = -4*p + 3*c - z*c. Solve 2*s = -p*s - 4*o + 36, 0 = -5*s - 3*o + 37 for s.
5
Let p = -58 + 78. Suppose 0 = 6*x - p + 8. Let d(s) = -9*s**3 + s**2 + s. Let m be d(-1). Solve 5*r + m = -4*h - 8, -x*r + 5*h = 20 for r.
-5
Suppose 35 = 9*z - 10. Solve 6 + 13 = l + z*u, -3*u - 11 = -5*l for l.
4
Suppose -16 = -0*d - 4*d. Let s be 7/d - (-4)/16. Suppose 4*v - 34 = -s*b, -3*v - 9 = -2*b - 2*v. Solve -4*m = -12, -21 = 2*z - b*m + 2*m for z.
-3
Let w(v) be the second derivative of 0 + 5/6*v**3 + 1/3*v**4 - 1/20*v**5 - 3*v**2 + 2*v. Let o be w(4). Solve -4*j = z - o, -5*j = 3*z - 13 - 8 for j.
3
Let w(v) = v**2 + 5*v - 41. Let t be w(-7). Let c be (-1*(-8)/36)/((-3)/t). Solve -3*h = -2*l - c, -l - 4*h = 3*l + 24 for l.
-4
Suppose -l - 16 = -4. Let b be l/3 - -6 - -2. Solve 0 = 3*x - 8*x + b*i - 7, 0 = -5*i + 15 for x.
1
Let w be 6 + (105/(-3))/(-7) + -5. Solve -4*u - 8 = -2*m - 0*u, w = 5*m + 4*u for m.
2
Let n be (20/4)/(((-45)/(-2))/9). Solve -d + 3*d - 4*k + 10 = 0, n*d = 2*k for d.
5
Suppose 2*r = -85 + 95. Solve r*a + 4 = x, -2*a + 12 = 2*x + x for a.
0
Let k = -105 - -110. Solve -k*l - 5*u = 0, 8*l - 3*l - 4*u - 27 = 0 for l.
3
Let w(y) = -y**3 + 14*y**2 + 15*y + 2. Let h be ((-30)/(-24))/(-1 - (-13)/12). Let c be w(h). Solve -4*a - 11 = 5*g, -3*g + 1 = a + c for a.
-4
Let r(l) = -4*l**2 - 16 + 20 + 3*l**2 + 0*l**2. Let j be r(0). Suppose 39 = 9*y + 4*y. Solve -4*a + 8 = 4*o - 8, -j*a + 17 = y*o for o.
-1
Suppose -9*j - 560 = 97. Let a = j + 77. Solve 2*w = a, -w - w = -q - 3 for q.
1
Let r(s) = 2*s + 18. Let o be r(-5). Suppose -3*x - o = w, -2*w = -0*x - 5*x - 28. Solve 0 = -2*n + w*d + 4, -d + 2 = -2*n + 6 for n.
2
Let a = -17 + 6. Let b be a/(-1) - (9 - 5). Solve 0 = -5*w + v - 0 - b, -5*w - 2*v - 16 = 0 for w.
-2
Let j = 10 + -6. Suppose -3*k - 18 - 12 = 0. Let r be ((-16)/20)/(j/k). Solve -3*q = -2*l - 2 - 5, -5*l - 12 = -r*q for l.
-2
Let o be 3/(-7) - (-660)/(-28). Let m be o/(-4) + (1 - -1). Let f(l) = l**3 - 8*l**2 + 2*l - 3. Let w be f(m). Solve w = -5*x + n, 0*x + 2 = 2*x - 4*n for x.
-3
Suppose g - m + 14 = 0, 5*g = -m - 0*m - 46. Let a be (10/g)/(1/(-4)). Solve 0 = 4*f - a*i - 20, 2*i - 25 = -0*f - 5*f for f.
5
Suppose -4*l + 7 = -3*k, 3*l - k + 1 = -5*k. Suppose 5*y = 15, q - 4*y + l = -6. Solve x + 2 = 4*x + q*j, 4 = -x - 4*j for x.
4
Let i = -1122 + 1128. Solve -2*a + 2*g = 0, -10 = 2*a + 2*g - i for a.
-1
Let z be (-1 - -5)/((-1)/2). Let h be 114/24 + -4 - 3/4. Let p = h - z. Solve p = 2*r - 5*c, -4*r - 2*c - c = -16 for r.
4
Suppose 5*d - 24 = -t, -t = 6*d - 5*d - 8. Let v(x) = -x**2 + 12*x + 15. Let k be v(13). Suppose -t*f + 26 - k