-2*m, t*m = -s + 8 for s.
4
Suppose 0 = c - 2*c + 2. Suppose -2*m + 2 = -4. Suppose -k + m = -c. Solve x - 5 = l + 4*x, -5*x - 5 = k*l for l.
1
Suppose -d = -6*d + 10. Suppose -d*w - 10 = -3*z, -3*z + 8*w - 4*w + 20 = 0. Solve z = -2*f - 2*y, -y = 4 + 1 for f.
5
Let t(y) = -y**2 + 4*y + 1. Let b be t(3). Suppose -7 = n - b*i + 2, -2*i = -6. Solve n*x - 2*x - 5*q + 20 = 0, 30 = 5*x + q for x.
5
Let o = 22 - 12. Suppose c = -3*x - 0*c + o, -2*x + 14 = -3*c. Solve -2*a - 4*d = -16, -3*d - 5 = -x*a + 5 for a.
4
Suppose 2*r + 41 = 9. Let g = -12 - r. Let j be (-1)/(-1)*-4*-1. Solve 0 = -g*t - 3*y - j, -2*t + 3*y + 14 = -t for t.
2
Suppose -19*s + 183 + 292 = 0. Solve -11 = 3*j - 6*j - 4*m, 5*m + s = 4*j for j.
5
Let r = 35 + -21. Solve 2*t = 6, -r = -4*x + 6*x - 2*t for x.
-4
Let j = -3 - -5. Suppose -2*a - j*a + 20 = 0. Solve 4*o + 0*o - a*z = -24, 2*o + 3*z - 10 = 0 for o.
-1
Suppose g + 14 = 2*m + 5*g, 22 = 5*m - 3*g. Solve 5*k = 5*z + 25, m*z - 3*k + 13 = -6 for z.
-2
Let k = 44 + -34. Let p be (7/(-3))/((-1)/(-3)). Let z be (-2 - p)*6/k. Solve -z*r + 6 = -5*a, 0 = a + 5*r - 9 - 1 for a.
0
Let d(z) = z + 4. Suppose -8 = 2*x + 2*x. Let u be d(x). Suppose -5*y - 2*b = -45, 3*b + 0*b = -3*y + 27. Solve -u*n + 2*p + y = 3, -2*p - 6 = n for n.
0
Let h(v) = v**2 - 7*v - 1. Let a be h(7). Let b = -1 + a. Let y be 8/(1 - b - 1). Solve 2*g = -3*f + y, 10 = 5*f - 0 for g.
-1
Let b(v) = v**2 + v - 2. Let j be b(2). Solve 0*m + 5*a + 9 = m, j*m = -a + 15 for m.
4
Let v be 3/2*8/4. Suppose -4*k + a = -11, v*a - 9 = -4*k + 6. Suppose r - d - k = -0*d, -5*d - 5 = 0. Solve 4*u = -4, -r = 2*h - 3*u + u for h.
-2
Let j(u) = -8*u**3 + u**2 + 2*u + 1. Let y be (2 + -1)*(0 + -1). Let d be j(y). Solve d = 4*i, 0*f - 4 = 4*f + 2*i for f.
-2
Let a be 2/(-10) + (-3)/(-15). Let o be -3 - (a + -1) - -5. Let b be (-7)/(-4) + 2/8. Solve -o*d = -b*v - 11, 0 = -4*d + 2*v - 5 + 19 for d.
3
Suppose 0 = 2*l - 4*l - 4. Let q = l + 3. Solve -q = -2*x - f, x - 4*f - 17 = 2*x for x.
3
Let r be (-2)/12 + 152/48. Solve 4*q + r*w - 19 = 12, -5*q = -3*w - 5 for q.
4
Suppose 4*m - 2*r - 7 = 3, 4*m = -3*r + 35. Solve 0 = m*f - 3*j + 6, -2*f - 5*j + 13 = 3 for f.
0
Let n be (1 + 4)*(-2)/(-5). Suppose 0 = -n*p - 4*a - 10, -a + 11 = 4*p + 3. Solve 5*s - 4*m + 2 = -0, 0 = -s + p*m - 7 for s.
2
Let g = -7 - -10. Solve -2*o + 0*f = -4*f - 2, -g*o + 2*f = -3 for o.
1
Let d(s) = s**3 - s**2 + s. Let q be d(0). Suppose 3*m = -x + 20 - 1, q = 2*x - m - 17. Solve 0 = c - 0 - 1, x = -5*b + 5*c for b.
-1
Let i(w) = 9*w - 21. Let g(b) = 4*b - 10. Let q(f) = -7*g(f) + 3*i(f). Let m be q(-9). Suppose 2*j - j = m. Solve -2*t = -t + 2*y - 4, j = t + 5*y for t.
-4
Suppose -4*u + 4 = t + t, -t + 2 = -4*u. Let f be 4/t + 3/3. Solve g + 8 = 3*r, -2*r + 28 = 2*g + f*g for g.
4
Let k(o) = -o**3 - 5*o**2 - 6*o - 2. Let t be k(-5). Let x = t - 14. Solve -4*i = c - 17, 4*c + i - 9 = x for c.
5
Let j(k) = -9*k + 27. Let h be j(3). Solve -2*y = 4*z - 6, h = 4*y - 4*z - 0*z - 24 for y.
5
Let x be (12/8)/(1/(-2)). Let p be (-2)/(-2) - 2 - x. Suppose h + q + 3*q + 12 = 0, -p*h + 6 = 2*q. Solve -4*j + 0*v + h = 4*v, j + 3*v = 0 for j.
3
Let u be (3 + -1)/(2/(-4)). Let j = u + -4. Let b(m) = m**3 + 9*m**2 + 8*m + 3. Let w be b(j). Solve w*i + c = 1, 0 = 5*i + 3*c - 4 - 3 for i.
-1
Let y(m) = -4 + m + 1 + 2. Let f be y(3). Solve 0 = -f*a - 3*l + 7, 3*a - l = -1 - 5 for a.
-1
Let h(k) be the second derivative of -7/2*k**2 - 1/12*k**4 + 3*k + 7/6*k**3 + 0. Let r be h(5). Solve 0 = 5*j - 3*a + 15, -j - 3*j + r*a - 15 = 0 for j.
0
Suppose -4*g = g + 30. Let m be 6/(3/2*-1). Let w = m - g. Solve -2*r = 2*z - 14, -2*r + 6*z - w*z - 4 = 0 for r.
4
Let j(i) = -i**2 - 9*i. Let n be j(-9). Suppose n = 2*p - 3*p + 4. Let w = p + -2. Solve -3*k - 5*s = -15, -w*k + 7*k - 3*s + 9 = 0 for k.
0
Let c(n) = n**3 - 16*n**2 + 16*n - 10. Let w be c(15). Solve w*f + 4*h + 7 = -5, -5*f - 3*h = 14 for f.
-4
Let j = -99 - -119. Solve -w = 2*w - 4*r + 3, -w - 5*r = j for w.
-5
Suppose -r = -5*r. Solve 2*v + 0*w - 4*w + 8 = 0, r = 2*v - w + 8 for v.
-4
Suppose 0 = v + 126 - 129. Solve 3*r - 3*u + 18 = 0, 0 = -v*r + 2*u - 5 - 9 for r.
-2
Suppose 40 = 3*j + 2*j. Let p = -1 + j. Suppose 4 = -l + p. Solve 3*q = l*a + 12, 5*q - 10 = 3*a - 8*a for q.
3
Let l(z) = 6*z**2 + 10*z - 6. Let a(m) = -7*m**2 - 11*m + 7. Let r(g) = -5*a(g) - 6*l(g). Let b be r(-4). Solve -2*h + 3*c = 2*c - 12, 10 = -b*c for h.
5
Let h(n) = 2*n**2 + 2*n - 1. Let q be h(1). Let j be 2 - ((3 - 9) + q). Solve -4*c + 16 = a, 0 = -c + a + j + 4 for c.
5
Let p = 0 + 2. Suppose -b - 5*k = -26, -4*k + 0*k - 2 = -3*b. Solve -32 = 4*t - 4*x, -3*t + 19 = -b*t + p*x for t.
-3
Let o(s) = -s**3 - 2*s**2 + 3*s + 1. Let v be o(-3). Let d be v + 3 - (1 - -1). Let w be (d/(-1))/(-2)*5. Solve 3*h + 3 = 2*p, 6 = -w*h + 4*h - p for h.
-3
Suppose -2 = -a + 11. Solve -3*n - 2*n = u - 24, 3*u - 2*n = -a for u.
-1
Let d(c) = -c + 1. Let b(j) = -4*j**2 - 3*j + 3. Let h(t) = -2*b(t) + 6*d(t). Let i be h(1). Solve 0 = m + 2*u + 18 - 4, 3*m - 4*u - i = 0 for m.
-4
Suppose -5*i + g = -7*i + 6, 5*g - 15 = -5*i. Solve -i*h + h = -4*v + 26, -3*h + 4*v - 31 = 0 for h.
-5
Suppose k + 0*k = -7. Let u be (3 - (-25)/(-7))*k. Solve -r - 4*n = u, 2*n - 3*n = -4*r + 18 for r.
4
Let t be (-18)/4*-6*1. Suppose -b - 3*a - 2 + 15 = 0, t = 3*b + 5*a. Solve -2*p = -7*p - 4*z, p = -b*z for p.
0
Suppose 3*n + 3 = 0, 2*u + 4 = -3*n - 1. Let c be 8/(-12)*(-23 + u). Solve 3*f - 2*s + 3 = -5, f + c = 4*s for f.
0
Suppose -11*n + 10 = -12*n. Let u = n - -12. Solve 5*v + 10 = -0*h + u*h, 0 = -4*h - 3*v - 6 for h.
0
Suppose 0*t + 20 = -5*t + 5*n, 4 = -3*t - 5*n. Let u = -3 - t. Suppose -5*d + u + 10 = 0. Solve -5*g + r = -19, -3*r = d*r - 5 for g.
4
Let n(q) = -q**2 - 6*q + 3. Let i be n(-6). Solve -i*m - 2*y - 5 = -1, 5*m = 3*y - 13 for m.
-2
Let v(w) = 3*w**2 + 4*w + 3. Let m be v(-3). Suppose a + 10 = -s, 4*s + 0*a - 3*a + 5 = 0. Let r = -2 - s. Solve 3*c - m = 2*l - 2*c, -5*l = r*c + 14 for l.
-4
Suppose r + 20 = 2*p + 2*p, 4*r + 16 = 0. Solve -2*f + 4*n + 18 = 0, 5*n - 5 = -7*f + p*f for f.
5
Let h be 3/(-4 - -4 - 3/(-4)). Solve 4*z - 8 = 4*l, 3*l - h*z + 5*z - 10 = 0 for l.
2
Let w(b) = -b**3 - 3*b**2 + 3*b - 1. Let l = -10 - -6. Let s be w(l). Solve -2*t - 2*t + s*d + 21 = 0, -5*t = -4*d - 27 for t.
3
Let a(c) = -c**3 - 8*c**2 + 6*c + 13. Let i be a(-9). Let b be (8/(-16))/((-2)/i). Solve y + 5*s - 2 = 4*s, -b = 5*y - 5*s for y.
0
Suppose 4 - 10 = 3*z. Let p(v) = v + 1. Let y(x) = -4*x + 3. Let c(f) = -4*p(f) + y(f). Let o be c(z). Solve -2*m = 5*h - 31, -2*h + o = h for m.
3
Let v = 11 - 9. Solve 2*t + 4*o + v = 0, 0*t - o = 3*t - 2 for t.
1
Let a be (16/(-20))/((-6)/15). Solve 2*n = j + 14, 0 = a*j + n - 3 + 6 for j.
-4
Let p(k) = k**3 - 2*k**2 + 4*k - 2. Let v be p(2). Suppose -t - 2 = -3*t. Let x = t + v. Solve -5 = 4*u + i, x*i - 3*i = 4*u + 20 for u.
-2
Let w = -6 + 9. Let v(k) = 3*k - 4. Let y be v(w). Solve -9 = -y*f - g, -3*g = 5*f - 4*g - 11 for f.
2
Suppose -5*b + 6 = 1. Solve 5 = 2*g - 2*w - b, 4*w + 7 = -g for g.
1
Let u(z) = z. Let m be u(0). Let x be 4 + 2/4*m. Suppose p = -r, -r - 16 = -4*p + p. Solve 2*a + p = -0*a, -x*i - 5*a - 2 = 0 for i.
2
Let u(y) = -y**3 + 4*y**2 + 6*y - 3. Let b be u(5). Solve -b*o + 2 - 4 = -3*m, -2*o - 6 = -4*m for o.
5
Let n be -6 + 8 + 0 + 0. Let m be 2/5 - (-69)/15. Solve -4*x = -4*y, m*y - 4*x = -n - 0 for y.
-2
Suppose -15 - 39 = -6*a. Solve -5*n - 3 = 4*t, 0 = 3*n - 0*n + a for t.
3
Let p(n) = n. Suppose -f = 2*f - 30. Let u be p(f). Suppose 2*g = -0*g + u. Solve 3*m + g = -5*r - 5, 0 = -m - r - 2 for m.
0
Let c(u) = 5*u + 32. Let g(y) = y + 8. Let k(h) = -2*c(h) + 9*g(h). Let j be k(4). Solve 32 = 5*t - 4*n - 1, 2*n = -j for t.
5
Let c = -6 + 19. Solve -2*b = -3*x, -2*b - 3*b + c = -x for x.
2
Suppose 3*n + 2*x + 8 = 0, -4*x = 2*n + 2*n + 16. Suppose n*g = 3*g - 15. Solve 0 = -g*w + 3*c + 5, 2*c + 15 = 5 for w.
-2
Let o(y) = y**2 - y - 24. Let k be o(0). Let a = k + 26. Solve -4*w + 2 = a*t, 5*w + 3*t - 2 = -0*w for w.
1
Let h be 9/(-6)*(2 + -4). Solve o + 4*p = -17, -o + p + 0*p = -h for o.
-1
Let j(k) = -3*k**3 + 2*k**2 + 2*k + 1. Let u be j(-1). Suppose u*l - 14 = 70. Solve 5*p - 6*x + 5*x = l, -5*p - 5*x + 45 = 0 for p.
5
Let h = -5 + 10. Let i(g) = g**3 - 4*g**2 - 5*g -