8 - m. Let c = 0 + 10. Solve -17 = h*y + 3*g - 4, 3*y + 4*g + c = 0 for y.
-2
Let y = 2 - 2. Let k = 9 - 6. Let b be (-12)/(-7) + 4/14. Solve -5*w + y = 3*p - b, -k*w + 3*p = -6 for w.
1
Suppose 0 = j + j + b, 2*j = -2*b - 4. Let i(p) = -p**2 + 6*p + 8. Let f be i(6). Solve -3*c = -j*c - n + f, -2*n = 2*c - 4 for c.
-3
Suppose -3*f + 7 + 8 = 0. Suppose -28 + 3 = -5*b. Suppose -3*d - 3*q - 3 = 0, 0*q + b = 3*d + q. Solve m - d*n - 14 = 5*m, -5 = -m - f*n for m.
-5
Suppose -4*k = -3*i + 7 - 4, -3*k = -4*i + 11. Let h be 9 + 1 - 2 - k. Solve -2*c = -q - 0 + h, -4*q - 2 = 3*c for q.
1
Let s = 8 - 5. Let l(q) = 2*q**3 + q**2 - q. Let u = -5 - -6. Let a be l(u). Solve 0 = -s*x - a*i - 14, -6 = 4*x - i - 2 for x.
-2
Let x(q) = -5 + 1 + q + 7 + 2. Let i be x(5). Solve 2*y + 4*w = -i, 4*y + 4*w - w = -20 for y.
-5
Let y be (-2)/10 + 1/5. Let c(v) = -v**3 - v**2 + v. Let q be c(y). Suppose q = -3*u + 48 - 9. Solve 5*o - m = 4*o + 2, -3*m - u = 4*o for o.
-1
Suppose -4*r = -2*k - k - 25, -5*k - 19 = -r. Solve 0 = -2*g - a - 3, 6 = 2*g - 0*a + r*a for g.
-3
Suppose 3*h - 2*h = -2. Let v = h - -6. Solve -v*a = -4*u - 7*a, 4*u = -a for u.
0
Suppose 4*o - 6*o + 11 = 3*i, i + 5 = 0. Let x = -18 + 55. Let a(b) = b**2 - b - 2. Let h be a(3). Solve 5*g + x = -h*d, 0*d - d - o = 2*g for d.
-3
Suppose 0 = 3*p + p + 56. Let c = 33 + p. Solve 0 = -4*v + 5*n - c, -4*v = v + 3*n - 4 for v.
-1
Let v = 3 + -1. Solve 2*b + 0*b = 4*x - 4, -v*b - 2*x = 4 for b.
-2
Let s(q) = -2*q - 7. Let w = -10 - -4. Let p be s(w). Solve 1 + 1 = -m - 2*t, p*m + 2*t = -18 for m.
-4
Let v(s) = -s**2 - 2*s + 3. Let p be v(-3). Suppose p*j = -j. Let i be (-25)/(-10)*(j - -2). Solve 2*o + 3*k + i + 6 = 0, -4*o - 5*k = 19 for o.
-1
Suppose 0 = 7*q - 6*q - 10. Let r be (-1 - 0)/((-2)/q). Solve 0 = -m - 4*h + 16, r*m + h + h + 10 = 0 for m.
-4
Let l(u) = 2*u + 8. Let n be l(-3). Let g(p) = p**2 + 5. Let r be g(0). Solve r*y + n*a = -11 - 2, 8 = -y + 5*a for y.
-3
Let i(s) be the second derivative of -s**5/20 - 7*s**4/12 - s**3 + 5*s**2/2 + 8*s. Let f be i(-6). Solve -20 = 5*c - 5*g, f*g = -3*c - 8 + 28 for c.
0
Let u(b) = b**3 - 8*b + 1. Let s be u(3). Solve 4*w + 16 = -s*j, -5*j + 1 = 16 for w.
-1
Suppose -3*s + 12 = -0*s. Let i be s/(-2) + 3 - -1. Suppose 4*t = 2*t + 12. Solve i*w = 2*n + t, 4*w - 10 = 2*n - 0*n for w.
2
Suppose 2 - 1 = 2*z + 3*h, 13 = 4*z - 5*h. Let p(j) = -j**3 - 12*j**2 - 21*j + 5. Let i be p(-10). Solve -5*m + 2*d = -z + i, 0 = -3*m - 3*d + 9 for m.
-1
Let q be 1*6 + (6 - 8). Solve -m - q*f = -3*m, 8 = 5*m - 2*f for m.
2
Suppose 1 + 19 = 2*q. Let p = 393 - 393. Solve 0 = -2*x - u + 2*u - 3, 5*x - 3*u + q = p for x.
1
Suppose -2*a = j - 8, -6*a + 3*a + 3 = -3*j. Suppose a*x - 17 + 5 = 0. Solve 2*c = -8, -5*k + x*c - 16 = 3*c for k.
-4
Let k be -2 - -3 - -2 - 2. Solve -2*x + 5 - k = 2*q, -2*q + 4*x = -16 for q.
4
Suppose -2*q - 9 = 5*o, q - 2*o + 9 = -6*o. Solve -12 = -4*g, -9 = -q*f + g - 0 for f.
4
Let u be 0 - (-2 + 1)*8. Let l(n) = n + 11. Let x be l(-7). Solve 3*m + 0 - u = -o, x*o - 4*m = 16 for o.
5
Let f = -10 - -12. Solve -b - b = 5*c - f, 2*b - 2 = -3*c for b.
1
Let c(h) = 5 - 1 + 12 - h. Let m be c(12). Solve -f = -2*k + 3 + 1, -m = -k for f.
4
Let q(a) = -19*a - 2 - 14*a + 34*a - a**3 + 6*a**2. Let t be q(6). Solve -2*r + t*n = -20, -10 = -0*r + r + 3*n for r.
2
Let i(v) = -v + 6. Let j be i(2). Solve 0 = -3*p - n + 4, 6*n = j*p + 3*n - 27 for p.
3
Suppose 1 = 5*w - 14. Solve -2*z - 5*c - 24 = 0, -w*z - 2*z = 4*c + 26 for z.
-2
Let n be (4/6)/((-3)/(-9)). Let s = 1 + n. Let d be (2/(-3))/(6/(-225)). Solve 0*a - 25 = -s*q + 2*a, -a - d = -4*q for q.
5
Let p(x) be the second derivative of -1/6*x**3 + 1/6*x**4 - 1/20*x**5 + 2*x - x**2 + 0. Let a be p(-2). Solve j + 4*h = 21, 5*j - j = 4*h - a for j.
1
Let n = 1 - 1. Suppose -5*t - 5*r - 1 = 39, -5*r = -5*t. Let d be (5 - t)*(-2)/(-6). Solve -2*b + 5 + 4 = h, n = -h + b - d for h.
1
Let m be 7/4 + 1/4. Let v be 0 + 10/(-15)*-3. Suppose m*j = j + v. Solve 12 = -2*o - 2*i, 3*o - i - j*i = -6 for o.
-4
Suppose 29 = -4*k + 5. Let q(f) = f**2 + 7*f + 13. Let w be q(k). Solve -b - 2*s - s = -w, 0 = -2*b + s + 7 for b.
4
Let r = -116 + 119. Solve -r*g = 4*j - 2, 4*j - 7 + 3 = -2*g for g.
-2
Let u(s) = s**3 - 3*s**2 + 4*s - 2. Let b be u(2). Solve -4*n - b*o + 3*o + 5 = 0, 0 = -3*n + 5*o + 8 for n.
1
Let q(c) = -c**2 + 11*c - 19. Let p be q(8). Solve 3*n + r - 9 = 0, -p*n - 2*r = 3*r - 25 for n.
2
Suppose 0 = -7*t + 20 + 1. Let h(i) = -5*i - 1. Let l(s) = -s + 3. Let p be l(4). Let r be h(p). Solve -w - 3*n - r = -2*w, 2*w - t*n = 8 for w.
4
Suppose -4*x - 7 = -4*v - 19, -18 = 2*v - 5*x. Let s be (15/9)/(v/3). Let t be (s - (-3 - -2)) + -1. Solve 5*k = t, -6*y + y = -k + 16 for y.
-3
Let y be (-1 - 2/4)*-2. Suppose -y*w + 45 = 3*f, -3*w + 24 = 4*f - 22. Let t = w - 8. Solve 4*x = 3*o + o, -2*o - 4*x = -t for o.
1
Let o(l) = l**3 + 4*l**2 + l - 3. Let f be o(-3). Let s be (-4 - 14)/((-3)/2). Suppose 2*i + s = f*i. Solve i = 2*m + 4*y, -5*m = -0*m + 3*y - 23 for m.
4
Let w(q) = -q**3 + 9*q**2 - q + 10. Let h be w(9). Let z be h/(-3) + (-65)/(-15). Solve b = -z*a + 21, -a + 3 = b - 3 for a.
5
Suppose 83 + 7 = 5*l. Let y be 3/1*l/27. Solve -a + 1 = y*i, -a - 6 = 3*a + 3*i for a.
-3
Suppose 3*s + r - 2 = -4*r, 0 = -3*s + r - 4. Let b(z) = z + 2. Let h be b(-5). Let y be h*(s + -2) + -3. Solve -2*p + 7 + 1 = 2*c, -2*p + 5*c = y for p.
2
Suppose 0 = 2*n + 1 + 5. Let a = 6 + n. Solve -5*o - 10 = -2*s + 3*s, -a*o = s + 8 for s.
-5
Suppose -5*y + 0*y = 15. Let l be y/1*(-16)/3. Solve 5*z = 9 + l, -3*z + 11 = n for n.
-4
Let q be ((-4)/(-1 - 1))/1. Let w be q/((-2)/((-20)/2)). Suppose 0 = -5*b + 2*z - 3*z + 28, 2*b - 5*z + 5 = 0. Solve n - 15 = -b*c, 4*n + w = 3*c + 1 for c.
3
Let n = 16 - 13. Solve -14 = 3*x - 2*s, -s - 18 = n*x - 7 for x.
-4
Suppose -3*l + 75 = 60. Solve q - 17 = l*s, s + 4*q - 2 = -s for s.
-3
Suppose 0 = -5*v, -2*y + 8 = -2*v + 4*v. Suppose 2*b - 1 = 3. Suppose -b*d + 2 = -2. Solve x + 2 = d*t - 5, 16 = y*t for x.
1
Suppose -3*t = -2*g - 5, 0*t + 2*t = -3*g + 25. Solve -j + 1 = c, 4*j - g - 15 = 4*c for c.
-2
Let a = 4 - -14. Let w = a + -16. Solve 7*o - 4*o + z = w, -5*z = 5*o + 10 for o.
2
Let n(p) = -p**3 + 10*p**2 - 8*p - 7. Let b be -2 + 11 + 1 + -1. Let z be n(b). Suppose -z*a = -0*a - 2. Solve -4*l + 3 + 5 = -4*r, 5*l - 2*r - a = 0 for l.
-1
Suppose -2*r + 4*r - 6 = 0. Let m be (1/(-2))/(r/6). Let b = m - -3. Solve 4*p = -b*i + 1 - 3, -3*i = 3*p for i.
1
Suppose 2*n + q - 16 = 0, -3*n - 7*q = -2*q - 17. Let k(g) = -6 - 5*g - n*g + g**3 + 8*g**2 + 4*g. Let b be k(-9). Solve -c + a = -1, 1 = 4*c + a - b for c.
1
Suppose -2*s - 2*s + 16 = 0. Solve 2*t - s*i = 8, -3*i - 6 = -t + i for t.
2
Let n(i) = 6*i**2 - i - 1. Let b be n(1). Solve b*f - 21 = -3*w - 6, 4*f = -5*w + 17 for w.
1
Let b be 9/(45/(-10)) - -5. Suppose f + 5*v = -2*f - 19, 5*v + 33 = 4*f. Solve -b*t - 4 = -f*s - 5, s - 2 = -t for t.
1
Let n = -1 - -1. Let d(i) = 1 + n - 1 + 4*i + i**2. Let m be d(-7). Solve 5*u + 3 = -4*p, 3*u - 5*p + m = -p for u.
-3
Let m(k) = -k - 1. Let n be m(6). Let b = -3 - n. Let v = -5 + 7. Solve -5 = 5*z + 5*p, -b = -4*z - 2*p - v for z.
2
Let d be (-2 - (-10 - 2)) + -1. Suppose 0 = -5*p + d*p. Suppose p = m - 5*m. Solve 3*b - 5*r = 20, m*b + 4*r - 1 = -b for b.
5
Let w(s) = -s**3 - 11*s**2 - 9*s + 13. Let f be w(-10). Solve f*u = -2*j + 5 - 0, -4*j + 5 = u for j.
1
Let c be (-2)/10*-2*-5. Let n be (-62)/(-22) - c/11. Suppose -6*d - 4*y = -2*d - 16, -5*y - 5 = 0. Solve 31 = d*k + 4*w, 0 = n*k - 2*w + 3*w - 13 for k.
3
Suppose -5*h = 4*f - 0*h - 83, -4*h + 40 = 2*f. Suppose -3*m + f + 9 = r, -3*m = -2*r + 44. Solve 2*u - 3*b - 15 = -u, 0 = 5*b + r for u.
0
Suppose 0 = -2*k + 9 - 1, 3*s - 3*k = -6. Solve s*p + 2*m = -2 - 10, 2*m = p + 3 for p.
-5
Let c be (0 - -13) + (-1)/1. Solve 4*j - 9 = -n, -j - 3*j - 4*n = -c for j.
2
Suppose 2*q - 8 = 3*t, 5*q + 4*t + 6 - 26 = 0. Let v be 0 + (q/2 - 0). Solve -v*y + 5*p = 9, -6 = -5*p - 1 for y.
-2
Let d(b) = b**2 - 6*b + 9. Let h be d(5). Solve 0 = -c + h*v - 3, -4*c + 2*v + 1 = -1 for c.
1
Let s = -4 + 4. Suppose s*w + w = 2. Solve 3*l + 0*l = -4*z - 2, 2*z = -2*l - w for l.
-2
Let l be ((-11)/33)/(2/(-12)). Solve -4*r + s = 19, -r - s = l + 4 for r.
-5
Let a be 2/(-6) - 10/6.