*b for n.
-2
Let i(r) = -r**2 - 5*r + 6. Let o be i(-7). Let t = 13 + o. Suppose 0 = -5*f + 30 - 5. Solve j = -3*a + f, -3*j + a - t = -5*j for j.
2
Let o be (-6)/(-4)*(-16)/(-12). Let s(y) = 2*y**2 - 2*y + 1. Let b be s(2). Solve -3*h - 4 = o*x - b*h, -h + 3 = -2*x for x.
-1
Let m = -21 - -23. Suppose -4*l = 8, -m*g = 3*g + l - 23. Solve -g*y = 4*b - 27, 5*b = 7 + 8 for y.
3
Suppose 0 = 2*j + 9 - 21. Solve 3*w - 3*p = j, -p = w - 6 + 2 for w.
3
Let c(v) = v**2 + 2*v - 4. Let f be c(-4). Solve f*u + 4*m = 16, -16 = -4*u + 3*m - 0 for u.
4
Let b be 0*((-18)/(-30) + (-22)/20). Solve -4*g - f - 2*f + 19 = 0, -4*g + 2*f + 14 = b for g.
4
Suppose 0 = -j - 0*j - 6. Let n be (2/j)/((-7)/42). Let p(m) = -m**3 + 5*m**2 + m - 5. Let i be p(5). Solve -g - t + n = -i, -5*g + t = -22 for g.
4
Suppose 6*g = 15*g - 36. Solve -8 = 4*i - 0*k + 4*k, 0 = -2*i - g*k - 2 for i.
-3
Let n be (-35)/(-10) + 1/2. Solve 3*l - 5*l = n*o - 12, 5*o = -3*l + 14 for l.
-2
Let r be ((-39)/(-15))/((-3)/(-15)). Solve 0 = -3*c - 4*z + r, -8*c + z = -3*c - 14 for c.
3
Let o(z) = z**3 - 3*z**2 - 7*z + 6. Let s be o(4). Let r be (s/(-5))/((-10)/(-25)). Solve -1 = 3*x - 2*p + 8, -9 = r*x - 5*p for x.
-3
Let y(o) = o**3 + 5*o**2 - 7*o - 4. Suppose 2*l - 8 = -5*c, 4*l + 34 + 6 = 4*c. Let m be y(l). Solve 2*u + 4*w = -26, 3 = m*u - 4*w - 3 for u.
-5
Let r be (-2)/(1/(-2)*2). Let w be 1 + 1/((-1)/(-6)). Suppose w = r*b - 7. Solve 4*n = -2*p + 2*n - 14, 4*n = 3*p - b for p.
-3
Suppose 4*x - 13 = c + 10, 0 = 4*x - 5*c - 35. Let y(n) = -2*n**2 - 27*n + 16. Let z be y(-14). Solve p = 2*t + 8, -x*p = -z*t - 3*t - 15 for p.
-2
Suppose 3*r - 7 = 26. Let p = r + 24. Let s be 10/p + 38/14. Solve j - 1 = -5*h + h, 3*j = s*h - 12 for j.
-3
Suppose -2*p - 5 = -53. Solve -4*o - t = -2*o + 3, 5*t - p = 3*o for o.
-3
Let f = 3 - 0. Let m(z) = -z**3 - z**2 - z + 22. Let o be m(0). Suppose 10 = 2*u - o. Solve -t + 2 = t + 3*d, f*t = 5*d - u for t.
-2
Suppose 0 = -j + 3, 3*o - 5*o + 5*j - 19 = 0. Let g be 6 - (3 + -3 + o). Suppose 17 + g = 5*z. Solve -2*r + 4 = 4*c + 2*r, c = r + z for c.
3
Suppose 5*r - 5*f = 15, -3*f + 2*f = 5*r - 15. Solve 2 = -3*c + r*k + 5, k = 3*c - 7 for c.
3
Let y = -3 + 0. Let f(x) = 2*x**2 - x - 1. Let l be f(y). Suppose 4 = -4*h + l. Solve -v + 15 = -3*n + 5, n + h = v for n.
-3
Suppose -4*u + 6*u - 16 = -2*j, -2*j + 25 = 5*u. Suppose 4*i + 5*s - 22 = 0, s = j*i - 2*i - 7. Solve -i*f - 15 = -4*n, -f + 3*n + 2*n = 16 for f.
-1
Let c(o) = -o**3 - 6*o**2 - 6*o - 1. Let n be c(-5). Suppose n*f = -f. Let s be (-1 + (-2)/(-4))*f. Solve s = -3*u - 5*y - 24, 5*u + y + 8 = -10 for u.
-3
Let d(w) = w**3 + 4*w**2 + 3. Let g be d(-4). Solve -b + g = -2*x, 0 = 4*b + 3*x - 1 for b.
1
Let x be ((-1)/(-2))/((-15)/(-30)). Solve 4*i - b = -2*b - x, -b = -3 for i.
-1
Let g = 41 - 19. Solve -2*r + 16 = -4*l, l + g = 7*r - 2*r for l.
-2
Let p be (6/8)/(2/64*8). Let f be 0/2*(-2)/(-4). Solve -y - p*x + 2*x + 3 = f, 6 = -4*y + 2*x for y.
0
Suppose 2*w - 40 + 136 = 0. Let m be w/(-30)*(-5)/(-2). Solve -6*h = -h + 5*y - 10, -m*h - 3*y = -5 for h.
-1
Let k = -80 + 82. Solve -2*z + 3 = -7*r + 4*r, -k*z - r = 1 for z.
0
Let i(o) = -2*o + 12. Let j be i(8). Let a be 2 - 20/j - 3. Solve -s - a*w - 1 = 0, s + 2*w = -3 + 4 for s.
3
Let a(s) = -s - 3. Let d be a(-6). Suppose 4*v = 9 + d. Solve -2*k + 10 = 0, 4*n = -n + v*k for n.
3
Let b(v) = 2*v**2 + 3*v - 1. Let p(y) = 4*y. Let s be p(-1). Let o be b(s). Suppose 4*h - o = -3. Solve -f + 3*u = h, f + 0*f = -5*u + 12 for f.
2
Let m = 4 - 4. Suppose 3*g - 4*l - 17 = m, -3*g = -2*g + 4*l - 27. Let u = 27 - g. Solve 4 = 2*p - j, -2*p - 2*p = 2*j - u for p.
3
Let j(z) = -z - 5. Let g be j(-5). Suppose g = a - 3*u - 2*u - 28, 2*a = -4*u + 28. Solve 0 = 2*v + 4 + 2, a = -4*y - 2*v for y.
-3
Suppose -2*c + 4*u + 24 = 0, -7*c - u = -3*c - 39. Suppose c = 2*m - 2. Solve m = 4*d + 5*i, 2*d - 2*i = i + 14 for d.
4
Let p be (94/10 + 0)*5. Suppose p = 5*q - 2*y, -4*q + 18 = 4*y - 42. Solve -2*s - m + q = 2*s, -2*s = -4*m - 28 for s.
4
Suppose 5*n + r = 9, -2 = -3*n - 2*r + 2. Let w = -7 + 8. Suppose -n*q + 2 = -g, 0 = -3*g + 5*q - 6 + w. Solve 2*l = -3*z - 2, z = 5*l - g*z + 5 for l.
-1
Let x(c) be the second derivative of c**3/6 - 4*c**2 + 2*c. Let q be x(8). Solve q*w - 5*w = p - 10, -4*w = p - 8 for p.
0
Suppose 0 = 3*d - 3*f + 18, f - 5 - 13 = 5*d. Let o = d - -6. Let z be (3 - -90)*(-1)/(-3). Solve o*g - j = -11, -5*g = -2*j + z - 14 for g.
-5
Let m(k) = -5*k**2 + 6*k + 5. Let a(j) = -11*j**2 + 12*j + 10. Let c(q) = 6*a(q) - 13*m(q). Let b be c(-4). Solve 0 = -s + b*d - 1, 0*s - 3*d - 3 = 3*s for s.
-1
Suppose 3*y + 3*n - 34 + 1 = 0, 0 = -2*y + 3*n + 27. Solve 4*x - 3*h - y = h, 0 = -3*x + h + 1 for x.
-1
Let q = 16 + -11. Solve q*o - 2*m + 25 = 3*m, -o + 3*m - 15 = 0 for o.
0
Let y = -395 - -619. Suppose 4*t - y = 420. Let u be t/28 + (-3)/4. Solve -o = -u*i + 3, i = 2*o + 1 - 4 for o.
2
Let k be 1/(60/54 + -1). Solve d + 1 = -2*w, 17 = 4*d - k*d + 2*w for d.
-3
Let v = 84 - 67. Solve 2 = -3*h - 2*d - v, 2*h - d = -8 for h.
-5
Let n = -19 + 24. Solve n*s + 33 = -2*z, 6 = 2*z - 3*s - 1 for z.
-4
Suppose -2*b + 16 = -p, -2*b + 3*p - 8*p = -28. Suppose 3 = 4*g - b. Solve -5*n + a = 14 + 11, 13 = g*n + 5*a for n.
-4
Let o be 1*1/3*15. Solve -t + 5*u = -2*t + 5, -o*u - 5 = -t for t.
5
Suppose t = -41 + 44. Solve -t*p = -2*a + 12, -p + 3 - 7 = -3*a for p.
-4
Let v = 114 + -112. Solve 12 = -4*z + 5*n, v*n - 11 = -3 for z.
2
Let h(r) = 6*r**3 - 2*r**2 + 2*r - 1. Let a be h(1). Solve -a = y - 2*x, -5*y + 2 - 3 = -2*x for y.
1
Let n = -2 + 4. Let p(u) = -u**3 - u**2 - u - 3. Let a be p(0). Let m be ((-154)/11)/(1 + a). Solve -3*v = -m*f + n*f - 30, 0 = -4*f - 12 for v.
5
Let m = 31 + -19. Solve 0*s + 3*a + 10 = -s, -3*s + m = -5*a for s.
-1
Let c = -135 + 136. Solve 2*t - 3*i = 2*i - 31, -3*t + c = 2*i for t.
-3
Suppose 3*y - 5*f = 6, 8 = -0*y + 4*y - 2*f. Suppose 6 = 8*v - 5*v. Let r = v + 1. Solve 3*g = r*o - 24, 0*g + 4*o - y = -2*g for g.
-5
Suppose -48 = -0*j - 4*j. Suppose 3*c - 3 = j. Suppose 0 + 2 = x. Solve -u + g = -x, -c*u + 12 = -2*u - 5*g for u.
-1
Let k be 5/2 - 1/(-2). Let d(m) = -m**2 - m - 1. Let t be d(-3). Let v = t + 11. Solve 0 = 3*f + 3*n + 19 - v, 0 = f - 3*n - k for f.
-3
Suppose 27*z - 32*z = -10. Solve 12 = 2*g - z*n, 5*g = -n - 3 + 27 for g.
5
Let x = 7 - 4. Suppose 13 = -x*j - 2. Let q be ((-1)/(-3))/(j/(-45)). Solve z + q*v = -8, -5*v = z - 3*v + 6 for z.
-2
Suppose 8*g = 7*g + 2. Suppose o - 3*o = g*s - 4, 0 = 2*o - 4. Solve -y = -0*y + 5, s = -3*f + y + 2 for f.
-1
Let x be -3 + 1 + 0 + -1. Let j = 6 + x. Suppose 8*r - 10 = j*r. Solve 2*d - r*c = d - 4, -5*c + 20 = -5*d for d.
-4
Let l be 0/4 + (-3)/(-1). Solve o + 1 = -g - 4, 0 = 2*g + l*o + 10 for g.
-5
Suppose 0 = 4*z - 7*z + 18. Let j(p) = p**2 + 6*p + 5. Let g be j(-5). Suppose g = z*u - 4*u - 10. Solve 5*h - 35 = -u*q, 3 = 4*h - 4*q + 15 for h.
2
Suppose -g - 2*s - 2 = 4, -3*g - 2*s - 2 = 0. Solve -3*h - l = 2*h - 8, -5 = -g*h - l for h.
1
Suppose 2*b - 12 = -4*h, -3*b = 3*h - 10 - 17. Let a = b + -10. Solve -5 = -2*y - a*q + 5*q, y + 2*q - 6 = 0 for y.
4
Suppose 4*r + 0*r = 12. Suppose -4*s + 5*s = r. Suppose 0*n = s*n - 12. Solve -2*c - 4*b = 12, 9 = -n*c + b - 4*b for c.
0
Let l(o) = -o**3 + 5*o**2 + 24*o + 8. Let g be l(8). Solve -u = 4*k - 20, -2*u + 4*k = g - 0 for u.
4
Suppose 4*g - 23 = 5*s, 0 = 5*g + 2*s + 3*s + 5. Suppose 10 = -3*y - 2*z - g*z, -y - 3*z - 10 = 0. Solve -y*h = -3 - 1, 2*x - 5*h = -2 for x.
4
Let a(d) = -d + 18. Let w be a(12). Solve -2*g - 3*c + 3 = 5, -c = 2*g + w for g.
-4
Suppose -4*v + 4*f = -24, -3 = 3*v + 2*f - 1. Solve 5*g + 0*q - 12 = q, 2*g = -v*q for g.
2
Let n(j) = -5*j - 2. Suppose -3*d = -2*v + 21, -5*v + 2*d + 0*d = -36. Let i = v - 8. Let z be n(i). Solve 4*k + 2*q = 10, k - 4*q - 17 - z = 0 for k.
5
Suppose d + 10 = -4*d - 5*u, -3*d = -u - 14. Solve 4*o - 8 = d*v, 5*v + 0*o - 25 = -o for v.
4
Suppose -p + 15 = 3*p + 5*a, -3*p = 4*a - 10. Suppose 0 = h + 3*w - 5, 3*w - 8*w + p = 2*h. Solve -h*c = -u - 4 - 0, 0 = -4*u - 4*c + 8 for u.
1
Let h = -3 + 11. Let o = 10 - h. Solve 3*j - 6 = o*d, 2*j = 3*d - 3*j + 10 for d.
0
Let m(o) = -o**3 + 5*o**2 + 2*o - 6. Suppose -2*y + 5 = -b - 5, 3*y - 15 = 2*b. Let q be m(y). Solve 3*n + 1 = -5*c + 4, -3*c = 