k) = k**3 + 4*k**2 + 5*k + 6. Let q be u(-3). Solve 0 = 3*b - 2*h - 5, q = -4*b - 3*h + 10 + 8 for b.
3
Suppose 2*l + l = 0. Suppose l = -5*b - n + 11, -b - b = -2*n - 14. Solve 0*f = -f - h, -b*h = 4*f + 1 for f.
-1
Let i(h) = h**2 - 5*h + 2. Let f be i(5). Solve 4*j = f*y - 0*y, 5*j + 2*y = 0 for j.
0
Suppose 6*b = 3*b + s + 20, 15 = -3*s. Suppose 1 = b*a - 14. Suppose -16 = -x - a*x. Solve x*k + 2*i + 16 = 0, 3*k + 0 = i - 2 for k.
-2
Let q be -1 + 0 + 1 + 0. Suppose q*m + 5 = m. Let g be (-115)/(-138) + (-1 - (-110)/12). Solve 8 = -2*s + 2*a, 3*a = -m*s - g + 29 for s.
1
Let d be 0/(3 + (2 - 3)). Let z(h) = -h + 36. Let s be z(d). Suppose s = -3*t + 7*t. Solve -5*w + w - 6 = -5*n, -2*n + t = 5*w for n.
2
Suppose 0 = -3*y + y. Solve 14 = -4*w - 5*m, y = 4*w - 3*m - 2 for w.
-1
Suppose 11*p = 8*p + 9. Solve -3*s - 3 = 3*y, -y = -p*s + 7 - 22 for s.
-4
Suppose -c = -3 - 0. Solve -15 = 4*m + k, c*k = -2*m + 5*k for m.
-3
Suppose -k + 5*k - 20 = 0. Let z(g) = 2*g - 3 + 0*g - 6*g. Let p be z(-2). Solve k*s - a = 8, 18 = 4*s + p*a - 0*a for s.
2
Let b(p) = -p**3 + 3*p**2 + p. Let t be b(3). Solve -3*z + 2*g = -18, t = 2*z + 2*g + 1 for z.
4
Let k(z) = 10*z. Let n be k(3). Let u be (-20)/(-15)*n/4. Let s be (8/u)/((-4)/(-20)). Solve -s*i - i = f + 4, 0 = i - f - 4 for i.
0
Let x be (-3)/((-1 + 0)*1). Let c be 2 + -3 - 11*-1. Suppose 3*w - 4*o = 11, 5*w + 5*o = 4*w + 10. Solve -2*m + x*p = -7*m + c, 5*m + w*p - 20 = 0 for m.
-1
Suppose -2*c = -3*v - 15, -3*c - 2*v + 1 = 11. Suppose -3*j - 1 + 22 = c. Solve d + f - 6*f = -j, 0 = 3*d + 5*f - 19 for d.
3
Let y(x) = x**3 + 2*x**2 - x. Let j be y(1). Suppose 5*h = h + 48. Suppose -h = -j*b - b. Solve 0*l = -2*l + 3*f, 0 = b*l + 5*f - 22 for l.
3
Let i be 4*(-2 - 10/(-4)). Suppose -i = -4*r + 2. Solve 5*d - r = -b + 3, -3*b - 8 = -5*d for d.
1
Let u be ((-8)/(-108)*-3)/((-3)/27). Solve -z + 2 = u*h - 5*z, -z + 10 = 3*h for h.
3
Let p(c) = 8*c**3 - c**2. Let n be 2/11 - 45/(-55). Let r be p(n). Let l(v) = v**2 + 5*v. Let s be l(-5). Solve -t - h = -s*h + r, h + 11 = -3*t for t.
-2
Suppose -5*z + 53 = -42. Solve -3*l - z = 4*a - 4*l, 2*a = 5*l - 23 for a.
-4
Let p be (-9)/27*(0 - -3) + 6. Solve a = -l - 0*a + p, -5 = 2*l - 3*a for l.
2
Let z = 4 - 1. Suppose 5*t = z*t + 4. Solve -3*x + 9 = -d, 4*d + 7 = 3*x - t for d.
0
Let p(n) = -n + 4. Suppose 0 = m - 2*g + 8, -5*m - 3*g = -g - 20. Let j be p(m). Solve 1 = 3*s - j*o + 23, -o = -2*s - 13 for s.
-4
Suppose -3*n = 2*n - 3*w - 1, 3*n - 21 = -5*w. Let a = -9 + 15. Let o = a - n. Solve o = -v + 2*m, v + m = 3*v + 8 for v.
-4
Suppose 2*u - 4*u + 10 = 0. Suppose 5*p = -i - 27, 3*i + 5*p = i - 29. Let d be (-6)/i - (-1 + -1). Solve -d*k = 5*f + 40, 6*f = 2*k + u*f + 4 for k.
-4
Let z(d) = -d + 14. Let q be z(6). Suppose k + 2*u - 12 = 0, -4*u = -0*k - 2*k - q. Solve a + k*a - 3*c + 7 = 0, -9 = -a - 2*c for a.
1
Let v(m) = -m**2 + 4*m + 4. Let b be v(4). Solve 3 - 28 = 2*u - 5*i, -2*i + 26 = -b*u for u.
-5
Let i = -3 + 6. Let b(c) = c**3 - 3*c**2 + 5*c - 2. Let a(h) = -h - 3. Let j be a(-6). Let y be b(j). Solve i = 4*v + 5*d - 7, -3*v = d - y for v.
5
Suppose -21 = -2*u - 7. Let z = u + -1. Solve -z = 3*n + 3*d - 0*d, 5*d = -2*n + 5 for n.
-5
Suppose -2*r - 12 = -4*i, -2*i = -3*r + 1 - 3. Solve -4*v - 22 = -r*l, -3*v = 2*v + 3*l for v.
-3
Suppose -2*d + 26 = 2*f, -2*f + 58 = 3*d + d. Let a be (-133)/(-4) - 8/32. Let m = a - 21. Solve -c - d = -5*c, -4*s = -5*c + m for s.
2
Let k be ((-2)/4)/((-2)/4). Let h be 2/k*(2 + -1). Let s = -11 + 34. Solve -4*a + 0*a - 3*z = s, -2*a - 12 = h*z for a.
-5
Let g(v) = -v**3 - v**2 - v. Let j be g(-3). Solve -6 = -5*q - 2*w - 19, -j = 5*q + 4*w for q.
-1
Let r(n) = -n**3 + 6*n**2 + 7. Let z be 30/4*8/10. Let i be r(z). Solve -17 = -2*g - g + 5*m, 2*g - i = -m for g.
4
Let g = -4 + 7. Let z = 67 - 65. Solve -6*q + 4 = -z*q, -g*q + 23 = 5*f for f.
4
Let l = 51 + -48. Solve 0 = -4*s - 4*t + 28, l*t = 4*t - 5 for s.
2
Suppose 5*t - t - 12 = 0. Suppose -t*h + 20 = 2*h. Solve -h = -3*k - b - 0, 0 = -2*k + 3*b - 12 for k.
0
Let u(o) = o**2 - 2*o - 3. Let s be u(4). Solve 3*f - 3*h + 10 = -4*h, 0 = -s*f - 2*h - 17 for f.
-3
Let q be (1/(-3))/(3/(-27)). Let v be (-2)/3*84/(-8). Let p = 7 - v. Solve -q*l + m = 4, 3*l + 4*m = -p*l + 16 for l.
0
Let m(x) = -x - 2. Suppose -4*b + h - 23 = -2*h, 5*b + 5*h = -20. Let v be m(b). Solve 2*g - v*f - 12 = 0, 4*g - 7 = f + 7 for g.
3
Let y be -1*10/(-1) + -1. Solve 41 = 5*u - u - 5*n, -5*n - y = 4*u for u.
4
Suppose -3*t + t = -18. Let m be 3/(t/(-2))*3. Let u = m - -7. Solve 4 = -3*b + 7*b - 5*q, 0 = -5*b - q + u for b.
1
Suppose -n - 63 = 28. Let a = -55 - n. Suppose -19 = -5*g + a. Solve -3*x + t - 19 = -8, 0 = 2*x + 3*t + g for x.
-4
Let f(y) = -3*y - 35. Let l be f(-16). Solve i = -0*c + c + 3, 3*i - l = c for i.
5
Let v be 3 - 3*(-8)/(-3). Let y be (-1 - 4) + (v - -5). Let s = 8 + y. Solve 5*h + 28 = -4*m + m, -10 = -5*m + s*h for m.
-1
Suppose 2*l - 30 = 5*l. Let r be 5/2 + (-15)/l. Suppose 10 = 5*y - 3*q, -2*y - r*q - 6 = -5*y. Solve -h = -y*s, 4*h - h - s - 10 = 0 for h.
4
Suppose -6*l + 4*l = -46. Solve -5*x = -f + l, -3*f = 2*f - 2*x - 23 for f.
3
Let z = 116 + -56. Suppose -2*i - 2*i - 3*n = -81, 2*n - z = -3*i. Solve 1 - 8 = -g + 2*x, i = -2*g - 4*x for g.
-1
Suppose -3*l - 8*h + 4*h + 17 = 0, 7 = 3*l - h. Let x be (3 + 1)*(-1 + 2). Solve 0 = -2*g - 2*g - x*s - 4, -l = g - s for g.
-2
Let x be (28/(-6))/(14/21). Let w = x + 8. Suppose q = w + 2. Solve 8 = -4*p - 2*s, 0*s - q*s + 24 = -3*p for p.
-4
Let w(x) = -x**2 - 3*x - 1. Let u be w(-2). Solve -z = -u, -5*g - z - 5 = -31 for g.
5
Let o(v) = v**2 - v + 2. Suppose -6 = 2*w + 4*s + 12, -2*w + s = 3. Let b be o(w). Solve q + 13 = -5*r + 2*q, b = -r + 4*q for r.
-2
Let a(q) = -q + 2. Let y be a(3). Let n be (y*2)/((-14)/21). Solve n*s + 2*f - 14 = -0*s, -5*s + 2*f = -2 for s.
2
Suppose -4 = d - 2. Let b be d/(-8) + (-14)/(-8). Solve 5*h - 2*g = -b, -3*h - 3*g + 3 = 2*h for h.
0
Let b(y) = -62*y. Let n be b(2). Let u be 2/8 + n/(-16). Suppose u = 4*g - 0. Solve -g*s + 7*x = 3*x - 6, -5*x = 4*s + 40 for s.
-5
Let s = 1 - 0. Let x be ((-3)/(-6))/(s/6). Let m = -3 + x. Solve m*p = 4*y + 4*p, -4*y - p = 0 for y.
0
Suppose -3*w = 13 - 49. Let x be w/8*(-44)/(-3). Solve -2*z = 3*h + 3*z - x, 0 = 4*z - 8 for h.
4
Let t = -7 - -10. Let w = t + 0. Solve x = 2*x + 5*h + 11, w*h + 4 = 2*x for x.
-1
Suppose 3*s - 24 = -5*s. Solve 3 = m - s*m - 3*u, -2*m + 5 = -5*u for m.
0
Suppose -11*u + 15*u - 12 = 0. Solve 4*w = 2*o - 22, u*w - 10 + 39 = 4*o for w.
-3
Let m = 15 - 10. Solve 0 = -x + 1, -7 = 4*y + m*x for y.
-3
Let m(l) be the third derivative of -l**5/60 + l**4/24 + l**3/2 + 2*l**2. Let p be m(0). Solve 3 = -0*o + o + p*h, 0 = -o + 3*h - 9 for o.
-3
Suppose -2*f - 4*c - 8 = 0, -7 = f + 4*c + 3. Solve 2 = 2*t + f*j + 4, t - 19 = 3*j for t.
4
Let j be (0/3 - 2) + 5. Suppose -12 = p + 2*d, -d - 2 = j*p + 49. Let h be p/(-4) - 2/(-4). Solve h*w - m = -2, 2*w + w - 5*m + 10 = 0 for w.
0
Suppose -5*r + 12 = -p, 16 = 4*r - p + 6. Let u(l) = l**3 - l + 4. Let i be u(0). Let x be (-6 - -1)*i/(-10). Solve -1 = -3*q + x*q, -r*q + 12 = 5*w for w.
2
Let p(s) = s**3 + 9*s**2 - 11*s - 5. Suppose 6*y = 2*y + 16. Suppose -y*i - 37 = 3. Let b be p(i). Solve -b*c + h = 2 + 1, 0 = c - h + 3 for c.
0
Suppose d = 3*z + 6, 4*z + 5*d = 2*z - 4. Let b be z - ((-2 - -2) + 11). Let v = -8 - b. Solve 4 + 7 = v*f - 3*q, 6 = -3*q for f.
1
Let y(p) = -p**3 + 12*p**2 + 3*p - 15. Let w be y(12). Let l = -17 + w. Solve -2*b - b + m - 10 = 0, -l*b + 4*m = 16 for b.
-3
Suppose 0*k = 2*k + 5*f - 1, 5*f = -k + 3. Let y be (k/4)/(3/(-24)). Solve l = -y*m + 3 - 22, 10 = -2*m for l.
1
Suppose -4*p - 3 = -23. Suppose 2*a = 3*a + 1. Let b = 0 - a. Solve -3*z + 9 = 4*f, -2*z + p = -b for f.
0
Suppose y + 5*z - 23 = 0, 2*y - 10 = -5*z + 41. Solve 5*j + 2*p + 0*p = y, 3*j = 3*p for j.
4
Let y(g) = -g + 1 + 0*g + 0*g. Let d be y(4). Let s be (1*-2 - d)*4. Solve -q + 0*q - 7 = -s*f, 5*f - 5 = 5*q for f.
2
Let j = 7 - -6. Let h = 14 - j. Solve -5*i = d - 18, 0 = -2*i + d + 4 - h for i.
3
Suppose 4*v - 14 + 2 = 0. Let i(c) = 5*c**2 - 3. Let o be i(-3). Let n be o/8 + 3/(-12). Solve -v*u = a - 13, u + 8 - 23 = n*a for a.
-2
Suppose -h + 0*h = -5. Let u be -2 - 24/((-30)/5). Solve s - u*r = 