 z = -1 - -1. Let s(k) = -k**2 - 10*k + 26. Let r be s(-11). Suppose z*t = 3*t - r. Solve -2*b - 6 = 2*n - 5*b, n + 17 = t*b for n.
3
Let n = 0 + -8. Let i = 10 + n. Solve 0 = -5*d + 3*r + 4, -d - r = -i*d for d.
2
Let j = -13 + 1. Let i = 20 + j. Suppose x - i - 7 = -5*w, -19 = -3*x - 2*w. Solve -8 = 4*v - 4*q, -10 = x*v + 2*q - 0 for v.
-2
Let q(k) = 8*k - 1. Let o be q(1). Let d = o - 3. Suppose 2*n = 4*g - 70, -4*g - d*n - 24 = -124. Solve 0 = -3*w + 3*j - 21, -w - 3*w = -2*j + g for w.
-3
Let l(c) = 6*c - 48. Let o be l(9). Solve -2*p - 12 = 4*x, 2*x = -2*p - 0*x - o for p.
0
Let d be ((-22)/(-8))/((-2)/8). Let c = -7 - d. Suppose 9 = 4*o - o. Solve 2*w + o*b = 9, -c*w - 32 = -4*b - 0*b for w.
-3
Suppose -4*f + 133 = 4*g + 21, -3*f - g = -86. Let t = -9 + f. Solve 5*m + 4 = -4*p, 0*m = 4*m - p + t for m.
-4
Suppose 7*d = 4*d + 6. Suppose -3*m + 15 = -15. Let a be (24/10 - 2)*m. Solve -11 = -d*v - a*i - 29, -2*v + 4*i = 2 for v.
-5
Suppose 4*d + 3*b - 6*b = 7, b + 1 = 0. Let x(l) = 4*l - 1. Let u be x(d). Let n = u - 3. Solve n*t = -c + 2*t + 6, -14 = 5*c + t for c.
-2
Suppose -8*i = 3*i + 4*i. Let f be (-3)/(-5)*-2*-5. Solve -3*x = -f*x + 2*t - 8, i = -2*x + 2*t - 8 for x.
0
Let j(k) = -k**3 + 8*k**2 + 11*k - 12. Let w be j(9). Let r = -3 + w. Solve 2*u + 5 = -r*z, -5*u + 3*z - 2 = -0*z for u.
-1
Suppose 2*y - 2 = 4. Solve y*b = -4*a - 28, 2*a - 4 = 3*b - 0 for b.
-4
Let j(u) = 0 - u**3 + 4*u + 5 - 6 - u**2. Let l be j(-3). Let c be -4*((-6)/(-4))/(-3). Solve 0 = c*q + 3*k + l, -2*q + k - 3*k = 6 for q.
-4
Let v = -32 + 34. Solve 3*d + 4*i = 14, -i + 5*i = 5*d - v for d.
2
Suppose -i = -2*i. Solve 4*y + 2 = -o, 0 = -3*y - 3 - i for o.
2
Suppose 8 = 3*u - 10. Suppose -5*i = v - 8, -4*i + 32 = 4*v - 8*i. Let f = v + -6. Solve 4*c - f*m - 8 = -u*m, -8 = -4*m for c.
0
Suppose 3*s = -h + 5, -s = -3*s - 2*h - 2. Let m(t) = t**2 + 15. Let l be m(0). Solve c = -s*c + 3*u - 1, 5*c = u - l for c.
-4
Let y = 72 + -69. Solve -y*n = -3*q + 2 - 5, 5*q - 2*n - 10 = 0 for q.
4
Suppose 0 = -x - 3 + 6. Solve 2 = 3*t - t - 2*l, x*t - 5 = 4*l for t.
-1
Suppose 21 = -2*r + 4*r + 3*w, -5*w + 28 = r. Suppose -l = -0*l - r. Solve -5*x - 5*j + 10 = 0, 4*x = 2*j - l*j + 2 for x.
0
Suppose y - 3*t + 97 = 5*y, 4*y - 91 = -t. Let b = y + -20. Solve 5*d + 11 = -3*l, b*d + 1 = -3*l + 2 for d.
-4
Let h(g) = 4*g**2 + 18*g - 3. Let y(t) = -t**2 - 6*t + 1. Let p(q) = -2*h(q) - 7*y(q). Let a be p(5). Solve 4*j = -m - 2, -a*j + 3*m - 9 = -j for j.
-1
Suppose 0*v - 6 = -3*v - 3*d, -5*d - 20 = -v. Suppose 5*h = -4 + 14, -5*o + v*h - 5 = 0. Let p = o + 3. Solve -5*w + 18 = -3*u, -4*u - w = p*w - 11 for u.
-1
Let q = 45 - 21. Let w be -4*(-1 - 5/(-2)). Let u be w/(-4)*24/9. Solve -g - 2 = 2*j - 10, -4*j = u*g - q for j.
2
Let i = -2 - -1. Let k(u) be the first derivative of -3*u**2 + 7. Let g be k(i). Solve -o = -4*w + 14 + g, -o - 2*w + 10 = 0 for o.
0
Let i be (8/(-1))/(2 + -3). Suppose -5*z = -3 - 27. Suppose z*j - 10*j + 8 = 0. Solve 2*g + 9*t - 16 = 4*t, -4*g + j*t = -i for g.
3
Let h(t) = -t**2 - 4*t + 2. Let n be h(-4). Suppose 0 = -3*y - 4*v - 20, 0 = -0*y + n*y - 4*v - 20. Solve y = -3*i - 5*u + 17, 0 = -3*i - 2*i - 2*u + 3 for i.
-1
Suppose -3*g = -a - 17, 0*g - a = -5*g + 27. Solve 5*w + p = 2*p - 29, -3*w + g = 5*p for w.
-5
Suppose -3*g - d = -5, -3*g - 2*d + 17 = -4*d. Suppose -3*w = 5*z - 4*z - 3, z - g = 2*w. Solve z*y - 3*s = 0, 0*s + 2 = -2*y + s for y.
-2
Let n(a) = -a**2 + 16*a - 13. Let u be n(15). Solve 3*i - 2 + 6 = u*r, 2*r + 4*i = 4 for r.
2
Let y = 8 - 6. Solve 0 = -4*a - b + 16, -a = a - y*b - 18 for a.
5
Suppose -11 + 7 = -2*o. Solve -7*p - 16 = -o*p - 2*z, 3*p = 2*z - 8 for p.
-4
Let a = 7 + -5. Suppose -2 = -a*d + 4. Solve d*g - 18 = 3*w, g = -3*w + 5*w + 9 for w.
-3
Let q(c) = -9*c. Let v be q(-1). Let o(t) = 2*t + 1. Let u be o(2). Suppose -2*i - v = -u*i. Solve -5*s = a + 20, -7*s + i*s - 5*a = 37 for s.
-3
Suppose -3*v + 5 = 3*o - 1, -o = -5*v + 4. Let p be 4*(-2 + v) + 4. Solve -3*l - c = -10 - 6, 2*l - 2*c = p for l.
4
Let j = -79 - -83. Solve a - 5*a - 2*l = 20, -j*l = a + 5 for a.
-5
Suppose 2*u + 0*u = -10. Let a(b) = -5*b - 5. Let i be a(u). Solve 4*h + 2*n - 8 = 2, 4*n - i = 5*h for h.
0
Let z = -4 + 9. Solve -5*b - z = -2*q, -2*q = -2*b + b - 9 for q.
5
Suppose -16*w = -19*w + 18. Solve 1 = -b - u, b = -3*u + 1 + w for b.
-5
Suppose -3*i = i - 3*o - 27, -4*o - 20 = 0. Let j(d) = d**3 - 3*d**2 - 4*d. Let l be j(4). Solve -y - x + i = -2*y, l = -x + 4 for y.
1
Let u(m) = m**3 - 7*m**2 + m - 2. Let s be u(7). Let l be 0/3 + 48/2. Let r be (-6)/l + 21/4. Solve 3*x - r*h = 32, -s*h = -5*x - 3*h + 28 for x.
4
Let a(o) = o**3 - 5*o**2 - o + 6. Let z be a(5). Suppose -b = z - 6. Solve 3*n - 2*n + 5*t - 11 = 0, n + 3*t = b for n.
-4
Let y(k) = 2*k - 2. Let v be y(2). Solve -5*z - 2 = a - 0*a, 0 = 2*z + v for a.
3
Let u be (12/(-10))/((-6)/15). Suppose -w = -u*w + 4*z + 24, w = -2*z - 8. Let t be 2/(-1)*-1 + w. Solve -t*m - 2*i = 3*i - 8, 6 = 3*m - 3*i for m.
2
Suppose 4*f - 29 - 2 = -3*n, 0 = 4*n - 5*f. Suppose 4*t - 2 = 3*t. Let y be 262/14 + (-6)/(-21). Solve -t*k - 2 = 4*h, -6*h + 2*h + y = -n*k for k.
-3
Let a be 21 + 1 + (0 - -2). Suppose -2*c + 19 = -3*k, 33 = 4*c - 2*k + k. Solve -c = -p - 4*b, -4*b = -2*p - a + 4 for p.
-4
Let d be (-38)/9 - 6/(-27). Let k be 14/(((-16)/d)/2). Solve 2*j - k = 3*w - 1, -2*j + 2*w + 4 = 0 for j.
0
Suppose -5*t + 2*t + 12 = 0. Suppose 0 = 5*o, 2*y - 3*o + 2*o = -8. Let i(q) = -q + 2. Let z be i(y). Solve -t*u = 2*w - z, -2 + 8 = -u + w for u.
-1
Let g = 2 - -12. Let s = -12 + g. Solve 19 = 3*l - 5*y, s*y - 3 = -3*l + 2 for l.
3
Suppose -5*q = -5*a + 5 - 0, 2*a + 4 = -4*q. Solve 2*g + 2*u = -10, a*g - 2*u + 15 = -3*g for g.
-5
Suppose 2*v - 8 = -0. Solve 5*m + 0 = v*n - 4, -3*m = 5*n - 5 for m.
0
Let k = 4 - 1. Let q = 25 - -11. Suppose 0 = -4*v + k*s + q, -4*v + 6*v = 3*s + 12. Solve 5*f + 3*z + 31 = 0, -1 = f + 4*z + v for f.
-5
Suppose m + 2 = 2*m. Solve l + 27 = -5*o + m, 25 = -5*o - 3*l for o.
-5
Let g be 2/(-7) - (-465)/35. Solve -4*s - g = -4*a - 1, 5*a + 25 = -3*s for a.
-2
Let q = 32 - 16. Let r = 1 - -4. Suppose -4*s + 3*s + 3 = 0. Solve -5*b - q = -s*y, -b - 16 = -r*y + 2*b for y.
2
Let p = -106 - -74. Let w be (-9)/6*p/12. Solve 4*f = 2*y - 12, 3*y + 4*f = y + w for y.
4
Let b be 0*(21/(-30) + 1/5). Solve b*n - 9 = -n - 4*u, 5*n = -5*u for n.
-3
Suppose -t - 1 = -4. Solve 0*k = 2*y - t*k + 20, 5*y + 24 = k for y.
-4
Let d(y) = -y**3 - 8*y**2 - 6*y - 2. Let f be d(-7). Let r = f + 9. Solve 0 = -2*g + 4*v + 8, -2*g - 2*v + 4 - 2 = r for g.
2
Suppose -4*j = 3*k - 46, -3*j = k - 5*k - 22. Let z = -5 + j. Solve -i = -3*u + i - 1, -2*i = -z*u - 7 for u.
-3
Let z be 0/3 - -3 - 1. Suppose 4*i - 4*n - 3 = 1, -4*n - 1 = -i. Let k = 19 - i. Solve 3*j + s = -z*j - k, 4*j + 26 = 5*s for j.
-4
Suppose 4*a + 10 = -26. Let x be a/3 - 28/(-2). Solve x = 3*p - 2*d, 0 = -d - 0 + 2 for p.
5
Suppose -2*n - m = -9 + 6, n - 2*m + 1 = 0. Solve -j = -3*l - 10, j + 3*l + 21 - n = 0 for j.
-5
Let v(z) be the first derivative of z**3/3 - z**2/2 + z + 2. Let n be v(1). Solve 3*x - 5 = 2*d - 3, 0 = -x - d - n for x.
0
Let y be 1/(-1 - 18/(-15)). Solve 0 = -u - u - 4*n - 4, 3 = y*u - 3*n for u.
0
Suppose 0 = 2*z - c - 11, -2*z - 2*c - 4 = -3*z. Solve -2*p + n = z*n - 20, -2*p = -5*n for p.
5
Suppose -2*d - 4*o + 15 = -9*o, 5*d - 84 = -3*o. Let y = 10 + -7. Solve 4*i = -p - d, -y*i - 3 = 2*p + 7 for p.
1
Suppose -4*a + 11 + 5 = 0. Suppose a*c = o + 13, -o - o + 2*c - 2 = 0. Solve -o*s = 4*f - 19, -4*f - 2*s + 5 = -9 for f.
1
Suppose 6*w - w - 150 = 0. Let p(a) = a**3 - 4*a**2 - 2*a + 1. Let y be p(4). Let r = y + 10. Solve 8*t + w = -5*x + r*t, 5*x - 3*t = -22 for x.
-5
Suppose -l - 8 = -n - n, 3*n - 4*l = 22. Solve 0 = -5*d + 5*j - 15, 4*d = 3*j - 9 - n for d.
-2
Let z(h) = h**2 - 4*h + 2. Let r(g) = g - 1. Let f be r(6). Let k be z(f). Solve 5*n + 13 = k*n + o, 15 = 5*o for n.
5
Let h = -2 + 2. Suppose -4*x + 6 = i, 2*i + 0 = -4. Let a be 5 + (-3)/6*x. Solve 5*c + 25 = 0, -a*d + 6*c - c + 33 = h for d.
2
Let w be (-2 - -5) + -2 + 2. Solve -w = -5*h + 3*z, 5*z - 3*z + 2 = -h for h.
0
Let h = 60 - 52. Solve -3*x = -2*j + 22, -3*j + h + 11 = -x for x.
-4
Suppose 0*r + 3 = -2*r - x, -x = 4*r + 1. Let h be r/(-4) - (-34)/8. So