((-2)/24). Suppose 0 = -t + 1, z*f + t = f + 21. Solve 4*j - 2*j + 13 = -3*w, -f*w - 14 = 2*j for w.
-1
Let x(j) = -j**2 - 7*j + 2. Let d be x(-7). Let q = 5 - d. Solve 5*w - t - 28 = 0, 2*w = 5*w + q*t - 6 for w.
5
Let l = 9 + -5. Solve -3*a = -9 - 3, 5*a - 36 = -l*o for o.
4
Let i = 1 - -1. Suppose -2*p + 7*p - 10 = i*u, -u + 21 = 4*p. Suppose 0 = -r + 4*g + 15, -r - 3*g = 6 - 0. Solve -u*w + 3*f = -25, -w - r*w = -2*f - 18 for w.
2
Suppose 0*y - 10 = -4*y - 5*v, 0 = 4*v - 8. Suppose 4*f = -y*f + 12. Solve -5*j + 16 = -4*a, -j - f*a + 2 = -5 for j.
4
Let k(x) = -2*x + 1. Let w be k(-5). Suppose -w = -5*j + 89. Solve 0 = -5*n - r - 25, -4*r = 4*n - 0*r + j for n.
-5
Suppose 3*v - 5 = 5*b, v + 4*b + 6 = 19. Suppose 11 = 5*c + 2*d, c + 5*d = 2*d - 3. Solve 9 = -4*l + 2*h - c, v*l = -5*h - 15 for l.
-3
Suppose -4*c - 3*y = -5*y - 6, 3*y = 5*c - 9. Let h(q) = q + 6. Let x be h(-6). Let f = x + 0. Solve c = -2*a - f*a - 4*t + 20, 8 = 2*t for a.
2
Let r be 3/6 + (-21)/(-6). Solve 0*g + r*g = -f + 8, 5*f + g + 17 = 0 for f.
-4
Suppose -2*i - 3 = 9. Let q = i - -17. Suppose -3*k = -2*o - q, 5*k = 6*k - 4*o - 7. Solve -5*l = -5, -2*l = k*t + 3*l + 7 for t.
-4
Let w(c) = c**3 + 9*c**2 - 9*c + 6. Let q be w(-10). Let d = q + 8. Solve -y - n - 3*n = 17, -2*y - d*n = 22 for y.
-5
Suppose -4*d + 8 = -0*d. Solve d*h + 13 = -5*u - 0, 0 = h - 4*u for h.
-4
Let p(u) = -5*u - 3. Let h = 33 + -18. Suppose 4*o = -h - 9. Let n be p(o). Solve 3*c - 4*c + 10 = -5*l, -n = -5*c + 2*l for c.
5
Let w = 18 + -2. Solve 0*p + 11 = -3*n - p, -4*p + w = -3*n for n.
-4
Let f(r) = r**3 - 5*r**2 - 5*r + 8. Let w be f(6). Let v = w - 9. Suppose v*p - 15 = 2*p. Solve -2*t + 6 = 2*c, -2*c - p*t + 6 = -t for c.
3
Suppose 3*i + 5*b = 8*i, 4*b = 16. Suppose 2*f - 12 = -2*f. Suppose 2*p + 4*d + 2 = 0, f*d + 35 = 4*p + 6. Solve 3*h + i*c = -0*c - p, h - 3*c = -6 for h.
-3
Let p(t) = -4*t**2 + 3 - 3*t**2 - 9*t**3 + 7*t**3 + t**3. Let l be p(-7). Solve 3*o - 2*c + 4*c + l = 0, 0 = 5*c for o.
-1
Suppose -5*u - 25 = 5*n, 9*u - 5*u = -2*n - 20. Suppose -4*f - 4*p + 8 = n, -f + 4*p + 20 = 2*f. Solve f*o + 5 = -5*q - 13, 3*q - 4*o = 2 for q.
-2
Let c(l) = -9*l**2 - 3*l - 1. Let f(b) = -8*b**2 - 3*b - 1. Let o(r) = 5*c(r) - 6*f(r). Let k be o(-3). Solve -j - 3*z = -11, 3*z = -5*j - 0*j + k for j.
2
Suppose -2*f - 2 - 82 = -4*y, -41 = -3*y - 4*f. Solve 0 = -k - 4*k - z + y, -2*z = 2*k - 14 for k.
3
Let h(l) = -l + 9. Let u(k) = -k**3 + k - 1. Let w be u(-2). Let i be h(w). Solve i*q + 4 = 0, -q + 4*q = 4*n - 15 for n.
3
Let q be -3 - 9/(3/(-1)). Solve 0*o = 4*r + 2*o + 14, q = 4*o - 12 for r.
-5
Let w = 2 + -1. Let x = -3 + w. Let b be 4 - (0/x)/(-2). Solve -3*f - 2*t + b - 14 = 0, -5*t - 14 = 2*f for f.
-2
Let d(k) = -k + 10. Let p be d(7). Solve 3*i - p*r = 7*i + 9, 0 = -3*r + 3 for i.
-3
Suppose 24 = -i + 28. Solve 3*a + 2*a + 4*s + 36 = 0, 4*a = i*s for a.
-4
Let d = -28 - 40. Let r be 2/(-8) + d/(-16). Solve 0 = -u - 2*n - 4, -9*u + 5*n + 25 = -r*u for u.
2
Let p = 179 + -174. Solve k - 3 = -x, 5 = -p*x - 5 for k.
5
Suppose 0*n + 3*n = 15. Solve r - u = 2*r - 2, n*r - 16 = u for r.
3
Suppose z = 5*p + 29, 0*z - 17 = -3*z + p. Solve -2*s - 12 = -5*w, 0 = z*s - s - 3*w for s.
4
Let f = 2 + 26. Solve 0 = -5*s - 3*i - f, -2*i + 11 = -3*s + 2*i for s.
-5
Suppose 2*s = 3*s - 3. Solve -s*u = y - 20, -2 = -3*y + 2*u + 3 for y.
5
Let i(d) = -d**3 - 2*d**2 + 4*d + 3. Let j be i(-3). Solve -3*v + 15 = j, 4*z + 2*v = 2*z + 6 for z.
-2
Suppose 5*a = -2*x + 7*x + 15, 15 = 3*x. Let j be ((-6)/4)/((-2)/a). Let u be ((-8)/j)/((-5)/15). Solve -i + u - 2 = 0, 5*o + 3*i = 26 for o.
4
Let w(p) be the third derivative of -p**4/24 - p**3/6 - 3*p**2. Let k be w(-9). Let g = -4 + k. Solve -4*a = 2*h - 2*a, 0 = -g*h + 4*a + 32 for h.
4
Suppose 0 = -2*g - 0*g + 36. Suppose 2*z + 3*l + 25 = 4*z, 0 = -2*z + 2*l + 24. Suppose 9 = f - z. Solve 3*c - f = -2*r, -3*c + g = r + 2 for r.
4
Let k be 2/(2/(2/(-1))). Let w be (-12)/10*5/k. Suppose -w*f = -14 - 4. Solve 2*d + 4*q + f = 0, 4*d + q - 6*q - 1 = 0 for d.
-1
Suppose 8 = -2*f + 6*f. Solve f*p = z + p + 1, -5*p = 4*z + 4 for z.
-1
Let a = -17 - -22. Solve 0 = -w - l + a, 4*w - 2*l + 2 = -2 for w.
1
Let r be (70/(-17) - (-22)/187)/(-2). Solve a + 6 = -r*w, 0 = 4*w - 6*a + 2*a for w.
-2
Suppose 30*p - 15 = 27*p. Suppose 114 + 61 = 5*z + 5*l, 0 = l. Solve 3*b + z = -5*x, -4*x + 2*b - p*b = 31 for x.
-4
Suppose -3*m - 5 - 11 = -4*o, 5*m - 2*o + 8 = 0. Suppose m = -3*b - b + 16. Suppose a - 2*a = -b. Solve 5*x - s = -12, x + 10 - a = 2*s for x.
-2
Suppose -s - f + 3 = 0, -3*s + f + 15 = -2*f. Suppose 4 = 2*r - s. Solve 0*i = i + t + 6, r*i + 5*t + 28 = 0 for i.
-2
Suppose u - 4 = -u. Let q be 4/(-10) - (-22)/5. Solve 0 = u*a - q*l - 10, 0*a - 4*a - 15 = -l for a.
-5
Let y = 7 + -2. Solve 4*z + 0*c - 21 = -3*c, 2*c - 21 = -y*z for z.
3
Suppose 4*l + n - 89 = 0, l - n - 15 = 1. Let i(q) = -q**2 + 2*q - 3. Let z be i(3). Let f = z + l. Solve 3*v - c - f = 0, 0*c - 5 = -v + 2*c for v.
5
Let c = -4 + 4. Suppose c = r + 3*a - 3, 5*r - 17 + 2 = -a. Solve 0 = 4*v - 4, t + v - r*v = -7 for t.
-5
Let m(s) = s**2 - 12*s + 15. Let q be m(11). Solve q*v = -5*f + 12, 3*v + 4 = -2 for f.
4
Suppose -1 = -4*b - 3*t - 2, -t + 1 = b. Suppose f - 5*a = 2*f - 18, 5*f + 2*a - 44 = 0. Let p = f + b. Solve 8*g - p*g + 6 = j, -2*g - 6 = j for g.
-2
Let d(i) = 5*i**2 + 3*i + 2. Let k be d(2). Solve 2*q + 3 = -5*j + k, 0 = 4*j + 3*q - 27 for j.
3
Let q = 3 + -3. Suppose 4*f - 5*f - 6 = -2*h, q = f. Solve 4*k = -h*d - 8, 6*d - 2*d - 8 = 4*k for k.
-2
Let h(k) = -k**3 + 12*k**2 + 12*k + 11. Let b be h(13). Let g be -1 + 0 - 6/b. Solve 0 = -3*n - g*n + 2*m - 23, n + m = -6 for n.
-5
Suppose 12*m - 9*m = 9. Let a = 24 - 14. Let s be 15/a*10/m. Solve 5*f + 9 = z, -5*f = -2*z - 3*z + s for z.
-1
Let f be 20/(6/(0 - -3)). Let i be 35/f*(-32)/(-14). Solve -4*d + 23 = -d - 4*c, -i = 4*c for d.
5
Let i = -5 - -3. Let t(d) = -2*d**3 - 2*d**2 + 3*d + 3. Let x be t(i). Solve 3*c + 2*s = x + 1, s = -3*c + 9 for c.
4
Let w be (-6)/(-4)*48/18. Solve 0*i + i + 7 = -3*t, -2*t + w*i = 28 for t.
-4
Let s(u) = -u**3 - 10*u**2 - 7*u + 7. Let f be s(-9). Let w = -8 - f. Solve -5*p - 2*r = -3*r - 2, 5*p - w*r - 6 = 0 for p.
0
Suppose 22*c + 28 = 26*c. Suppose -3*s - 8 = -c*s. Solve -20 = -s*m - 0*m - 3*h, -2*h + 4 = -m for m.
4
Let s(t) = t**3 + 6*t**2 + 4*t - 3. Let v be s(-5). Solve 5*y - 25 = -4*o, -v*o - 5*y + 36 = 11 for o.
0
Let p(m) = m**3 + 6*m**2 + 7. Let v be p(-6). Solve 3*t - 7 - v = -5*w, 4*t = w - 12 for t.
-2
Let j = 2 - 0. Let l be (1 + -1)/3 + 3. Solve 0 = i - 3, v - 18 = -l*v - j*i for v.
3
Let j be (-1)/((8/(-6))/4). Let w = 3 - j. Solve 5*x = -w*x - p - 1, -3*x + 2*p - 11 = 0 for x.
-1
Let s = 1 + 2. Suppose 6*t - 42 + 18 = 0. Solve 3*w = 6*w, -h = t*w - s for h.
3
Let n = 6 + -2. Solve -y = -n*x + 5, 3*y + 5 = 2 for x.
1
Let y(x) be the first derivative of x**4/4 - 5*x**3/3 - 5*x**2/2 + 3*x + 1. Let i be y(6). Solve -5*z = -b - i, 6*z - 5 = z for b.
-4
Let l be (-4)/8 + 5/2. Suppose g + 0 = l. Suppose 8*y - 25 = 3*y. Solve u + m = 4, -u = g*u + y*m - 14 for u.
3
Let p = 44 - 25. Let t = 1 + p. Solve 24 = -5*j - 3*c - 1, 4*c = -t for j.
-2
Let v = -9 + 13. Let j be 14 - 3/(6/v). Suppose -6*c = -2*c - j. Solve 7*o - 6 = 4*o - 3*h, 2*o = -c*h + 9 for o.
-3
Let v be (-1)/4 - 5/(-20). Suppose v*k + 9 = k. Suppose 1 = o - 0*o, -o - k = -2*a. Solve 2*j + 10 = -a*c + 4*j, 5*j + 5 = 5*c for c.
-4
Let o = 6 - 3. Solve -5*v = 5*y, 0 = -v + y + y - o for v.
-1
Suppose 24 = 4*p + 3*c, -3*c = -5*p - 2*c + 11. Suppose 6*u = p*u + 6. Solve 0 = 4*l - v - 9, 2*v + 0 + 12 = u*l for l.
1
Let y = -25 + 30. Solve 7 = z - 0*u - 3*u, -2*z + 10 = -y*u for z.
-5
Let v = 4 + -3. Solve 4*o - 2*u = -6, 3*o - 6*o - 2*u = v for o.
-1
Let c(w) = -w**2 - 7*w - 2. Let b be c(-3). Suppose 0*x + 2*x - b = 0. Solve -5*l = m + 8, -4*l + x*m = -3 + 21 for l.
-2
Let o be 8/4 - (-2)/(-1). Solve 1 = -5*s - 3*h, -2*s + 2*h - 9 - 1 = o for s.
-2
Let w be ((-2)/(-1))/(2/8). Suppose 5*y - 34 = -3*f, 3*y - w*y = -3*f - 16. Suppose 0 = -y*r + 8 - 3. Solve -3*b - r = 5*o + 9, 3*o - 3*b - 18 = 0 for o.
1
Let l(n) = 13*n - 1. Let t be l(-2). Let d be (-1)/(-4) - t/4. Solve -5*z - d = 3*w, 6 = -5*z + 4*w + 27 for z.
1
Let n = 56 - 40. Solve -4*t + n