 = w - 2*k, j = 3*k - 2*k + 1 for w.
-2
Let y(u) = u**3 - 4*u**2 + 2*u. Let i be y(2). Let f = -2 - i. Solve 0 = -v - 4*b + 8, 4*v - 10 = 2*v - f*b for v.
4
Let s(l) = -l**3 + 3*l**2 - 3*l + 3. Let v be s(2). Let p be (-100)/(-8) - v/2. Solve 0*a + 2*u - 6 = a, 0 = -5*a + u - p for a.
-2
Let z be (-3 + -1)/((-2)/(-7)). Let h(u) = -3*u - 5. Let b be h(-4). Let w be (-46)/z - 2/b. Solve -3*l - 3*i = -12, -5*l = w*i - 2 - 10 for l.
0
Let s be 42/(-8) - 1/(-4). Let p = s + 7. Let t(l) = l**2 - 9*l - 12. Let d be t(11). Solve 2*v - 4*q = -d, -6*v - p*q = -3*v - 9 for v.
1
Let m(p) = p**3 - 8*p**2 + 6*p + 9. Let i be m(7). Solve g + 2*o = -13, -2*g = -4*o - i - 4 for g.
-5
Let f = 1 - -2. Suppose f*w + 15 = 6*w. Solve -w*r - 5*b + 10 = 0, 5*r - 3*r + b = -1 for r.
-3
Suppose -2*j - 4*p = -0*j + 12, -15 = -3*j + 5*p. Suppose 4*w + j = 8. Solve 3*k - 3*d - 6 = 0, k + w - 7 = 2*d for k.
-1
Let o(a) be the third derivative of -a**6/120 + a**5/12 + a**4/24 - 5*a**3/6 - 3*a**2. Let s be o(4). Solve 2*x + 0*x - 5*v = s, 3*x = -4*v - 12 for x.
0
Let l = 17 + -15. Solve -5*x = -5*k - 25, -l*k + 0*x + 3*x = 15 for k.
0
Let i be (5 - 6)/(2/(-6)). Suppose i*h + 5*w = 17, 0 = 2*h + 3*h - 3*w - 17. Suppose -2*o + h*o = 10. Solve r - 13 + 0 = o*d, r - 4*d - 11 = 0 for r.
3
Suppose -t - 2*t + 24 = 0. Let h = 2 + t. Solve 0*y - 2*m - 10 = -2*y, h = -2*m for y.
0
Let u = 20 + -17. Solve -6*v + 4*v - w + 12 = 0, u*v - 5*w - 5 = 0 for v.
5
Let f = -3 + 6. Let m(g) = 4*g**3 + 2*g**2 + 3*g. Let u be m(-2). Let l = 62 + u. Solve -4*d = 3*p, d = 5*p - f*d + l for p.
-4
Let k be ((-6)/(-4))/(3/10). Let h be (-917)/(-35) - (-2)/(-10). Solve 30 = -k*m + 2*t, t - h = 4*m - t for m.
-4
Let y be (-46)/(-12) + (-1)/(-6). Suppose z + f = 4, -z = -6*z - f + y. Let q be 5/(2/4*2). Solve 4*u = -z*o - 3*o + q, o = 2*u - 15 for u.
5
Let d = -72 - -86. Solve 3*i - 4*j = 6, d = -5*j - 1 for i.
-2
Let w be -1 - -3 - (0 + -2). Suppose -w*h + 2*a = -3*a - 75, 2*a - 135 = -5*h. Solve -5*f + h = 3*l + 2*l, 0 = -3*f + 5*l - 1 for f.
3
Let t = 25 + -19. Solve 0*h - 4*h + 3*n = t, 0 = -3*n + 6 for h.
0
Let w = 0 + 2. Suppose u + u - w = 0. Let q be (0/1)/(-3)*u. Solve -m - 14 = 5*y, q*m - 4 = y - m for y.
-3
Let m = 1 + -1. Let t = 22 - 20. Suppose 3*v - 15 = t*v - 5*n, 4*n = 5*v - 17. Solve q + 2*s = m, v*q - 2*s + 22 = -s for q.
-4
Let o be (-2)/(-3) + (-35)/(-15). Solve 3*p = -2*l + 3, o*p - 27 = -p + 5*l for p.
3
Let k(h) = h**2 - 3*h + 3. Let r be k(3). Solve -2*j = -3*x + 10, j + r = x - 2 for x.
0
Suppose -5 = -4*z + 7. Suppose z*m = 33 + 12. Suppose 0 = 4*i - 5*y - 13 - 12, 2*i = 3*y + m. Solve -f - 4*u + 2 - 1 = 0, i = 5*u + 5 for f.
5
Suppose 0 = -k - 5, 3*k + 45 = c - 6*c. Let m(h) = -2*h. Let n be m(-5). Let w = c + n. Solve w*b = -3*i - i - 8, 2*b + 4 = -4*i for b.
-2
Let m(h) = h**2 - 1. Let w(u) = 5*u**2 + 11*u + 9. Let k = -6 - -2. Let p(r) = k*m(r) + w(r). Let f be p(-10). Solve -b = -5*c + f, -5*b = -b + c + 12 for b.
-3
Let g = 27 - 27. Solve 4*d = 4*w - 8, d - 5*d - 4*w + 32 = g for d.
3
Suppose 0 = 3*j - 5*k + 4, -9*j + 8*j - 6 = -4*k. Solve j*o - 4*g - 10 = 0, -2 = o + 4*g + g for o.
3
Suppose -19 = 6*i - 11*i - o, 4*i - o = 8. Solve 19 = 4*v - 0*v - i*p, 3 = v + p for v.
4
Suppose -16*j - 4 = -12*j + 4*v, -28 = -2*j + 4*v. Solve -5*m - j*i = -5 - 8, -3*i - 19 = -2*m for m.
5
Let a be (-1 + 2)*1*0. Suppose -4*s + 23 - 3 = a. Suppose s*f - 25 = -q + 4*f, -2*q + 4*f + 50 = 0. Solve -x + 9 = -3*d - 4*x, 0 = -5*d + 3*x + q for d.
2
Suppose 19 = 5*b + 9. Let q(z) = -2*z**2 + 9*z - 4. Let k be q(6). Let u = k + 32. Solve 2*t + b = 0, -5*t = r - 6*r - u for r.
-3
Let x be (0 - -2)*15/10. Let z be ((-6)/x + 2)*-1. Solve 4*t + 2*g = -t + 21, z = 2*g + 4 for t.
5
Suppose -6 = -6*p + 4*p. Solve -k + 6*k - 3*a - 15 = 0, 0 = 3*k + p*a - 9 for k.
3
Let o(m) = 2*m**2 + 13*m - 3. Let f be o(-7). Solve 2*c = -f*i + 12, i = -c + 5*c - 6 for i.
2
Let t = -3 + 6. Suppose -7 = -5*u + t. Solve 5*q = u*p + 2*p - 4, 0 = 3*q - 5*p + 5 for q.
0
Let u(k) = k**3 - k**2 - 2. Let a be u(2). Let q = a - -3. Suppose -1 = 5*s + d + 2, 2*s - q*d - 15 = 0. Solve 16 = -4*j - s, -5*o = 4*j + 21 for o.
-1
Let a = -22 + 22. Solve 2*i + 4 = 2*g, 0 = 2*g + 2 - a for i.
-3
Let a be -4 - (3 + (3 - 3)). Let j = a + 12. Solve v = -4*k + 11, v - j = -5*k - 2*v for k.
4
Let u be (-3)/(3/(-2)) - 1. Solve 5*t - 6 = -u, -2*t = 5*y - 27 for y.
5
Let r(h) = -h**3 - 5*h**2 - h - 1. Let o be r(-5). Solve m - o*w = -0*w + 16, -4*m = -w - 4 for m.
0
Suppose 3*h - 2 = -3*q + 13, -5*q + 2*h = 10. Suppose 0 = -2*s - s + 6. Solve -p + 4 = 3*f, q = -p + s*f - 6 - 0 for p.
-2
Suppose 8 = -2*z - 4*u, 1 = 5*u + 11. Suppose -3*n + 2*v + 23 = 0, -2*n + 5*v + 13 + 17 = 0. Suppose 5 = 2*j - n. Solve j*s + 3*l + l + 15 = z, 0 = l for s.
-3
Suppose -9 - 3 = -4*v. Solve -5*d + u = -14, -v*d = -4*d + 5*u - 2 for d.
3
Let k be (-429)/(-52) + 6/8. Solve -4*l + j = k, 5*l + 2*j + 13 = 5 for l.
-2
Suppose 2*f + 45 = 17. Let x be (-4)/f - (-153)/(-21). Let n = -5 - x. Solve -w = -5*c + n*w + 25, w = -2*c - 1 for c.
2
Suppose -2*f = -4*r + 27 + 87, -2*r + 51 = -3*f. Solve -3*h + r = -3*d - 0, 5 = -d for h.
5
Suppose -5*g = -5*t + 10, 5*g + 2*t - 41 + 16 = 0. Suppose d - g*d + 8 = 0. Suppose 2*v = 4 + 6. Solve d*c + v*x - 15 = -0*c, -3*c - 2*x + 13 = 0 for c.
5
Suppose -3*s - 6 = 0, 11 = 3*l + 2*s - 0*s. Solve 0 = l*m - 2*r - 5, 4*r = 4*m - 0*r + 8 for m.
3
Suppose -2*s + s = -4*s. Solve 1 = -4*i - q - 4, 2*i + 4*q + 6 = s for i.
-1
Let c(j) = -j + 4. Let s be c(7). Let o be (1 - s) + -2 - -2. Suppose v = 3*v + 5*a - 41, 20 = 5*v - o*a. Solve -2*w - 2*r - v = 0, -4*w + 9 + 0 = -r for w.
1
Let l be (-24)/(-14) + 4/14. Suppose 0 = l*k + 2*k - 60. Suppose -10*t = -8*t - 10. Solve 0 = -5*u - k, -t*d + d - 3 = u for d.
0
Let y = 1 - -6. Let a(r) = r**2 + 0*r + 6*r - 2 - 4*r**2 + 2*r**2. Let o be a(5). Solve -g + 2*g + y = 2*u, 5*g = o*u - 14 for u.
3
Let a(b) = b**3 + 7*b**2 - b - 3. Let k be a(-7). Solve -2*p - 4*o - 22 = 0, 5*o = p - k*p - 30 for p.
-5
Suppose -3*w - 5*r = 4 - 25, -2*w = -4*r - 14. Let v(x) = x + 1. Let p be v(3). Let t be 55/20 - (-1)/4. Solve t*s + p*k = -31, -3*s = k - 3*k + w for s.
-5
Suppose 2*r = 5*w + 15 - 2, 0 = 3*r - w. Let g be 1/r*-2 + 0. Solve g*v - 5*s - 4 = -s, 4*v + 25 = -3*s for v.
-4
Let c(d) = -d**3 + 7*d**2 + 3. Let z(h) = -3*h - 14. Let m be z(-7). Let u be c(m). Solve 10 = 5*y + 5*x, -y = -u*y - 3*x + 6 for y.
0
Suppose n = 15 - 10. Solve -10 = -0*o + 5*o - n*h, -4*h - 8 = 0 for o.
-4
Let c(l) = l**2 - 14*l + 4. Let i be c(14). Solve -2*y + 3*f - 2*f = 9, f - i = y for y.
-5
Suppose f + 2*q = -0*f - 6, -18 = -5*f + 2*q. Let z(j) = j**2 + 5*j - 4. Let a be z(-6). Suppose 29 + 9 = a*u. Solve t + u = -4*p, -p = -f*t - 0*p + 7 for t.
1
Suppose 2*n + 6 = 0, -1 = 5*f + 4*n + 6. Let w = -6 - 13. Let j be w/(-5) - f/(-5). Solve 3*b = 9, -2*a - 5 - 1 = -j*b for a.
3
Suppose 3*a = 5 + 13. Solve a*c - 2*c = d - 12, 5*d + 40 = -5*c for c.
-4
Suppose -3*y = -y - 12. Suppose 0 = 5*h - 68 - 27. Suppose 5*v + 2*w - 17 = 0, -h = -5*v - w + 2. Solve -3*f + y = -4*t, v*t + 2*f + f = -21 for t.
-3
Suppose n = -3*h + 11, 5*h - 4 = 3*h. Solve 18 = v + n*w, -3 = -3*v + 5*v - 3*w for v.
3
Let a(u) = 3*u**2 - 3*u + 1. Let s be a(2). Suppose -s*q = -3*q. Solve 5 = 5*x, q*x = 5*v + 3*x - 13 for v.
2
Let m = 6 - 3. Suppose 4*n - 2*b - 46 = -0*b, 0 = m*n + 4*b - 40. Let f be n/(-10)*(-40)/12. Solve -r + 3 = -3*q + 3*r, 0 = f*q - 3*r + 11 for q.
-5
Suppose -a + 4*a = 12. Solve -a*t - 3 = 5*i, -2*t = t + 5*i + 1 for t.
-2
Let z(l) = -l**2 + 11*l + 17. Suppose 2*s - 5 - 5 = 0. Suppose -s*t + t + 48 = 0. Let n be z(t). Solve -y = y - n*g - 26, -17 = y + 5*g for y.
3
Suppose 2*x + 5*d - 5 = 3*x, -3 = x - 3*d. Suppose x = -5*y + 26 - 1. Solve 6*w + y*c = 3*w + 9, -2*w - 1 = c for w.
-2
Suppose d + 5 = -i + 6*i, -2*d - 5*i = -5. Suppose d = -2*o + t + 9, -4*t = -2*o - 2*o + 16. Solve -7 = o*j + m + 8, 5*j - m + 15 = 0 for j.
-3
Let t be (6/(-10))/(2/(-10)). Suppose -7 = -2*c - t. Solve 0 = -2*g - 10, -3*f = -2*f + c*g + 13 for f.
-3
Let m(p) = -2*p - 8. Let x be m(-7). Suppose -5*w - x = -1, -w = 5*v - 14. Solve 3*j + 3*n = 27, -v*n + 3 = j - 16 for j.
4
Let q = 13 + -8. Suppose -5*v - 10 = -q*w, v + 2*w = 2*v + 5. Solve 5*d - 4*o + 12 = 0, -3*o 