 s = 7 - k. Solve 2*b - 6*b + 2*l - s = 0, -b + 4*l - 15 = 0 for b.
1
Let i(b) = b**3 + 8*b**2 + 8*b + 3. Let k be i(-7). Let c be 1/(0 - 2/12). Let o = k - c. Solve z = -2*u - 10, -3*z = -o*u - u + 3 for u.
-3
Suppose -m - 45 = -2*w, 5*w - 4*m - 108 = -3*m. Let l be (-14)/(-4)*36/w. Solve -5*k + 5 = z, -4*k + l = 2 for z.
0
Let l be -2*(-1)/(-6)*30/(-5). Solve t - 5*b - 10 = 0, 4*t - 2*t + l*b = -16 for t.
-5
Let m be 115/15 + (-4)/6. Solve -5*t - 2*u + 5*u = 5, -t = u - m for t.
2
Let j = 5 - 2. Suppose 0 = -j*b - 0*b. Suppose b = 2*r - 2*u, -u = r + u - 6. Solve -3*i + 2 = r*k, -3*k = 3*i - 1 - 5 for i.
-2
Let v = 3 + 0. Solve 3*n + v*p - 4*p - 2 = 0, -5*n = -p for n.
-1
Let x be -2 - (-4)/(16/12). Let k be x/5 - (-57)/15. Solve k = a, -j + 6*a = 3*a + 10 for j.
2
Let u be -1*(1 + 2) - 1. Let t(z) = -4*z**2 + 3*z - 3 - 4*z - z**3 + 0*z. Let y be t(u). Solve i = -4*i - p + 15, -3*i = -p - y for i.
2
Let h = -93 + 108. Solve m + 7 = -o, -h = 5*o + m + 4 for o.
-3
Let u(k) = k**3 + 7*k**2 + 9*k + 27. Let b be u(-6). Solve 0 = 3*s - b, -s = -5*q - 2 + 19 for q.
4
Let i be 0 - (-3)/2*2. Suppose -2*t - 4 = -2*r, -5*r - i - 17 = t. Let a be (r*16/(-6))/2. Solve 0 = -a*u + 20, -5*o - 7 = 5*u - 32 for o.
0
Let i be (2 + 2/((-12)/21))*-2. Solve -5 = -2*o + 2*z - 1, -i*z - 8 = -5*o for o.
1
Let o(u) = u**3 + 5*u**2 + 4*u + 8. Let j be o(-4). Solve 0*t - j = 2*w + t, 20 = -5*w + 4*t for w.
-4
Let d = -47 - -49. Solve d*b + 3*b - 21 = -3*y, -2*b + 14 = 4*y for y.
2
Let f = -105 + 107. Solve -2*k = -f*l - 16, -l - 5*k + 6 = -4 for l.
-5
Suppose r - 4*z + 22 = 0, r - 2*z = z - 17. Let d be (1 - 5)/(-18 - -14). Let x be d - (-1 - r)*-4. Solve -13 = -4*q - x*a, -5*a = -8 - 17 for q.
-3
Suppose -a = -2 + 3. Suppose -8 - 1 = -3*o. Let b = a + o. Solve 0 = b*j + 5*y + 30, 0 = j - 2*j - 5*y - 25 for j.
-5
Suppose 18 = h + 2*h. Let m be -6*(9/h - 1). Let x be (m + 3 + 5)*1. Solve 0 = b + x*a - 21, -5*b - 2*a - 7 = 3 for b.
-4
Suppose 11*o - 3*o = -4*o. Solve 12 = n - 3*d, 3*d + o*d = 4*n - 12 for n.
0
Let i be (5/10)/((-2)/(-12)). Solve 2*z = -j + 7, 2*z = i*j + j + 2 for z.
3
Suppose 2*n + 8 = a + n, 1 = -a - 2*n. Suppose 0 = 1179*o - 1184*o. Solve o = -2*q - a*y + 5, 4*y + y - 40 = 5*q for q.
-5
Let x(o) = o**3 - 21*o**2 - 23*o + 24. Let z be x(22). Solve 0 = 4*n + 3*d + 2, -4*d = z*n - 2*d for n.
-2
Let a(f) = -f**3 - 2*f**2 + f - 1. Let x be a(-2). Let m = -3 - x. Solve m = -4*n - 20, 5*n - 6 = -2*y - 39 for y.
-4
Suppose -5*z = -6 - 19. Solve 2*t - 6 = -3*j, -4*t + z*j = 20 + 12 for t.
-3
Let h be (-6)/(-9)*6*1. Solve 0 = 3*t, -h*p + 9*p + 4*t = 5 for p.
1
Let n(i) = i**3 - 4*i**2 - 4*i - 1. Let v be n(5). Suppose 3*y + m = 4, 0*m - 8 = v*m. Suppose -5*z = -3*z - 10. Solve y*q = z*u + 21, 0 = 5*q - 4 - 11 for u.
-3
Let w(u) = u**2 - 6*u + 3. Suppose 0*n = 2*n. Suppose l + d = 4, n - 38 = -5*l + 4*d. Let v be w(l). Solve 2*c + 5*x = 8 - 25, 31 = 4*c - v*x for c.
4
Suppose 50 = 17*n - 7*n. Suppose -3*z + 2*z = k - 4, 10 = 4*z + 2*k. Suppose z = 5*g - 19. Solve -5*j = -g*i + 11, -2*j + n*i - 16 = 2*j for j.
1
Let x = -14 - -20. Suppose -3*k = z + x + 6, 4*z + 4*k + 16 = 0. Solve -2*r + 2*b + 10 = z, -r + 5*b = -0*r - 5 for r.
5
Suppose -29 = 3*z + 19. Let q = z + 17. Solve 4*h + 3 = 3*u + q, 5*u - 9 = h for u.
2
Let g be (-6*3)/2 + 1. Let u = g - -11. Solve -5*h + 5*o - 37 = o, 0 = -5*h - u*o - 16 for h.
-5
Suppose -u - u = -24. Suppose -x + u = x. Suppose 11 = 2*r - 5*a, r - 2*r - 2*a = -1. Solve 2*g - g - m = -x, -r*g - 6 = m for g.
-3
Suppose 0 = -5*p + 2*p. Let z be (p - 0)/(1 - 0). Suppose t - 4*t + 9 = z. Solve -2*b + 0 = t*o - 1, 2*b - 5*o = -23 for b.
-4
Suppose -10 = 5*h - 40. Solve 2*j - 4 = -2*l, 0*j - j = 5*l + h for l.
-2
Let w(c) = -c**2 - 7*c - 4. Suppose -5*z - 16 = -3*z + a, -26 = 3*z + 2*a. Let d be w(z). Solve -d*h = -3*q - 14, 0 = -4*h - 3*q - 6 - 2 for h.
1
Suppose -17 = -3*t - s - 4, 0 = 2*t - 3*s - 5. Let x = 2 - 2. Solve 5*m - l = 19 + t, x = 3*l + 9 for m.
4
Let j be ((-2)/(-3))/(4/54). Let g = j - 9. Suppose 0 = -4*p - 0*n + 3*n - 4, g = 5*p + 2*n - 18. Solve 2*h - a = -p*h + 4, -3*h + 8 = -2*a for h.
0
Suppose 0 = 3*o + 22 - 34. Let h = -4 + 6. Solve 2*y - h*b - 6 = 0, y + b + o*b = -9 for y.
1
Let q(o) = 3*o**2 + 2*o - 4. Let j be q(-2). Solve j*a - 3*v - 18 = -v, 6 = -3*a - 5*v for a.
3
Let d = -5 + 6. Let v = d - -2. Solve -3*u = -4*x - 12, v + 5 = 2*u + x for u.
4
Let w = 18 - 13. Let y be (0 + -20)*w/10. Let q = 14 + y. Solve -4 = -3*h - 5*j + 3*j, -2*j = h - q for h.
0
Let f(m) be the third derivative of -5*m**6/24 - m**5/60 - m**4/24 + m**2. Let p be f(-1). Solve y = -4*d - p, 0*d - 3*d - 4*y = 35 for d.
-5
Suppose -1 = -5*j - u, -3 = 3*j + u - 4*u. Solve -2*v + j*g = -2*g + 18, 0 = 4*g - 16 for v.
-5
Let d = -44 + 63. Suppose -2*b - 5*x = -5*b + d, -6 = -4*b - 3*x. Solve -3*i - 5*l = -2*i + 5, b*l = 0 for i.
-5
Let j(u) = -2*u - 37. Let a be j(-21). Solve 0 = 3*i - 3*y + 21 + 9, 4*y + 5 = -a*i for i.
-5
Let p be 40/8 + -2 + 2 + -2. Solve 0 = 2*a - i - p, 3*a + 1 = -5*i - 14 for a.
0
Let u(q) = q**2 + q - 28. Let c be u(5). Solve 0 = -m - m + 2*h - 2, m + c*h = 11 for m.
3
Let o(f) = 16*f**3 + f**2. Let u be o(1). Let j = -13 + u. Solve -11 = -2*d + s + j*s, -d + 5*s = -13 for d.
-2
Suppose 3*t - 9 = -2*h, -t + 5*h + 12 = 3*t. Suppose -u + 2*u = t. Solve -3*x - 4*s = 14, -u*x + 8 = -5*x - 2*s for x.
-2
Let s(d) = 5*d**2 + 6*d - 2. Let x(w) = -6*w**2 - 5*w + 1. Let r(b) = 7*s(b) + 6*x(b). Let q be r(11). Solve -q*n = -4*v - 0*v - 7, -n + 11 = 3*v for v.
2
Suppose 3*h = 2*h. Suppose 5*w = -5*b - 15, -4*b - 4*w - w - 17 = h. Solve z - b*j - 6 = 0, -3*z - 5*j - 15 = -0*z for z.
0
Suppose -9 = -3*x + 3*t, 5*x + 0*x + 2*t = 50. Solve -5*o = 3*r - 11, x*o = 3*o + 2*r + 1 for o.
1
Suppose 0*d = -2*d. Suppose 3*q - 7*q - 32 = d. Let r = -1 - q. Solve -r = a - 5*o, 0 = 5*a - o - 4*o + 15 for a.
-2
Suppose -7 = -5*c + 13. Let i be c/(-3)*(-7 - -1). Suppose -5*a + 32 = -i. Solve -a = 4*f + 8, -3*f = 3*t - 3 for t.
5
Let d = -45 - -49. Solve -3*x - 4*c = -d, 5*x = 3*c - 3 - 0 for x.
0
Suppose -3*z - 10 = n + 4*n, 4*z + n - 15 = 0. Solve -5*y = -z*l, -4*y = -l + 4*l for l.
0
Let y(x) = -x**2 - 7*x - 6. Let m be y(-5). Let z = 19 - 11. Let t be -3 + -2 + m + z. Solve -4*g - 4*r + 24 = 0, 0*g - 2*r = -3*g - t for g.
1
Let x be 9/30*2 + (-12)/20. Solve -2*b + 3*f + 16 = x, -4*b - 3*f + 2*f = -4 for b.
2
Let c = 2 - 8. Let j(y) = -y - 4. Let k be j(c). Suppose -k*v - h + 18 = 3*h, -2*v = -h - 8. Solve 2*a + 0*f = -2*f - 14, 19 = 3*a - v*f for a.
-2
Let q = 10 - 16. Let w(a) = -2*a - 9. Let m be w(q). Solve m*j + 17 = 2*b, -5 = -5*b + 4*j - 9*j for b.
4
Let d be (-6)/(-10) - 141/(-15). Suppose -d*v + 25 = -5*v. Solve -2 = u + c, -v*u - c = -2*u for u.
1
Let w(l) = l**2 - 2. Let j be w(4). Suppose 0 + j = 2*s. Let b be (-18)/12 - s/(-2). Solve -g - 17 = 3*y, -b*y - 3 = -g - 0*y for g.
-5
Suppose -2*a = -0*a + 5*n - 31, 4*a - 27 = -3*n. Solve 4*j - 14 = -w + 7, -3*w + a = -3*j for w.
5
Suppose -2*c + 23 = 4*i + 3*c, 3*c - 1 = 4*i. Suppose 3*j = -0*j. Suppose 19 = 5*w - a, 0 = 4*w - 2*a - 14 - j. Solve 2*o = i*m, -w*m = 3*o - 2*m for o.
0
Let s(z) = 3 + z**3 + 2 + 7*z**2 - 6 + 5*z. Let t be (-3 - (-42)/10)*-5. Let j be s(t). Solve -y = -4*w + y + 12, w - j*y = 3 for w.
3
Let h be 3*((-12)/9 - -2). Suppose -4*n - b = -26, 0 = -3*n - h*n + 2*b + 26. Let z = n + 10. Solve 2 = o, -2*j + 5*o - z = o for j.
-4
Let p(f) = 3*f**3 + 22*f**2 - 16*f + 4. Let n be p(-8). Solve n*v - 28 = -4*j, -1 = -2*v + 3 for j.
5
Suppose 0 = -5*s + 12 + 3. Suppose 3*q + 3*l - l - 106 = 0, -5*q - 2*l + 174 = 0. Suppose -i + 1 = -4. Solve -h = 4, -s*y - i*h = -5 + q for y.
-3
Suppose -2*q + 5*u + 33 = 0, 2*q = -0*q + 4*u + 28. Solve 6 + 10 = 3*l - q*g, -2*g = -l + 8 for l.
0
Let k(r) = -r**2 + 9*r - 6. Let b be k(6). Let u(z) = 21*z**3 - 39*z**3 + 19*z**3 - 7*z**2 + 9*z - 13. Let v be u(6). Solve 17 = -i + v*t, -b = t - 4*t for i.
3
Let m(p) = -p**2 - 11*p - 8. Let a be m(-10). Solve 4*h = 3*h + l - 4, -a*l - 2 = 0 for h.
-5
Suppose -6 = -z - 0. Let x = z + -4. Solve 5*o + 7 = -x*m - 8, 25 = -5*m for o.
-1
Let u be (-116)/(-36) + 2/(-9). Suppose -5*y = -4 - 6, u*x - 4*y + 2 = 0. Solve 0*q + x*t - 25 = -3*q, q - 4*t + 15 = 0 for q.
5
Suppose -k - 75 = -6*k. Let d = -1 - -