6 = y + 2*b, -b - 6 = f*y + b for y.
0
Suppose -o = -3*o - 12. Let t be (-1 + (-8)/o)*6. Suppose -3*l + t = -2*l. Solve 3*b = 2*h + 6, -5*h + h = l*b - 20 for b.
4
Suppose -3*i = -2*f - 15, i - 15 = -0*i + 4*f. Let o(a) = a**3 - 2*a**2 + a - 10. Let b be o(i). Solve -d = b*r - 2*d - 7, -4*r = -5*d - 5 for r.
5
Let d(p) = p**2 - 5*p - 13. Let t be d(-3). Solve -9 = -3*i - 4*h, -5*i + t = -i + 5*h for i.
-1
Suppose 0 = z - 4*g - 18, -z + 3*z = 3*g + 16. Suppose -j + z = -4*n + 13, 13 = 5*n - 2*j. Solve 3*f - 5*i + 5 = 0, n*f + 8*i - 3*i - 35 = 0 for f.
5
Suppose 0*i - i + 19 = 3*t, -16 = -4*i. Let h be (1 + t)/((-30)/105). Let w = h - -25. Solve 5*a - 5 = -5*n, 3*n = -0*n - w*a + 4 for n.
0
Let k(w) = 3*w**3 - 3*w**2 + 7*w - 3. Let g be k(3). Let d = g - 68. Solve d*i - r + 21 = 0, 22 + 3 = 5*r for i.
-4
Let a(f) = -13*f + 81. Let x(s) = -6*s + 41. Let o(l) = -3*a(l) + 7*x(l). Let w be o(10). Let r = -2 + 6. Solve 0 = -k + 2*h - 3, r*k = 2*h - w + 2 for k.
-3
Suppose 0 = 5*d + 4*s - 13, 3*d - s - 18 = -0*d. Suppose -3*h = -2*z - 13, 2*h + 4*z + 21 = 7*h. Solve -h*o + 0*o + 45 = -d*b, -2*b - 3 = o for b.
-4
Let r be -2 - -1*(6 + 2). Solve r*i - 28 = i - 3*y, -4*i - 3*y = -23 for i.
5
Suppose 2*q - 5*q = -42. Let o(p) be the first derivative of p**2 + 17*p + 8. Let j be o(-7). Solve u = 5*r + 4 + 2, 0 = j*r + 2*u + q for r.
-2
Let f be 16/56 - 288/(-21). Suppose -5*d + 6 - 62 = -4*s, 0 = s + 2*d - f. Solve c = -3*l - 8, -2*c = 3*l - 1 + s for c.
-5
Let v = -94 - -94. Suppose v = 4*b - 8, -4*l + 10 = -0*l - b. Solve 0 = -2*y + 3*r + 2 - 23, 3*y + l*r = 6 for y.
-3
Let z = -423 - -428. Solve 2 = -v - z*f + 6, 4*f - 4 = 0 for v.
-1
Let t = 1175 - 1173. Solve 5*l - 4*k + 1 = t, 3*l - k = 2 for l.
1
Let q(v) = v + 41. Let n be q(0). Let w = n + -36. Solve w*y - 4 = -14, 2*s - 16 = 4*y for s.
4
Suppose 27*l = 34*l - 105. Solve -2*j - 3*z + z + 6 = 0, 2*z - l = -5*j for j.
3
Let n be 0*(-7 - 78/(-12)). Let z be ((-3)/(-4))/(8/160). Solve 4*b + 5 = o, -3*o - 4*b + 0*b + z = n for o.
5
Let l be ((-234)/21)/(3/21). Suppose -f - 75 = 5*v, -4*f + 2*v = -0*f + 212. Let p = f - l. Solve 3*q - 20 = -2*q - 5*t, -4*q + 3*t = -p for q.
5
Let i be ((48/(-9))/(-8))/(2/27). Suppose -6*r = -3*r - i. Solve -5*q + 17 + r = 5*b, 0 = -5*q + 2*b - 1 for q.
1
Let p be (-7)/(441/(-246)) + (-46)/(-483). Solve -3*k + f + 15 = 0, 0*k - 3*k = p*f - 15 for k.
5
Suppose -3*x = 2*b - 19, 0 = x - 0*x + 5*b - 28. Suppose 0 = -5*l - 5, -4*f - l = -2*f - 3. Solve 0 = f*h + 4*p - 14, x*h + 3 = 4*h - 2*p for h.
5
Let v = 107 - 71. Suppose 0 = 9*s - 0*s - v. Solve s*d = 3*j - 21, j - 4 = -1 for d.
-3
Let p be (-808)/(-24) - (1 - (-2)/3). Solve -5*s = -2*l - 14, 2*l = -2*l - 5*s + p for l.
3
Let d = 1000 + -998. Solve -q = -3*r - 1 - 9, 3*r + 7 = -d*q for r.
-3
Suppose -4*z + 50 = z. Suppose 2*d - 2 + z = 0, 3*v - 57 = -3*d. Suppose -4*x + v = -5*a, 2*x + 0*a - a = 7. Solve -x*r + 2*j = 2, 8*r - 4*r = -5*j - 4 for r.
-1
Let t = 4 - 9. Let f be (-4)/20 - (-139)/t. Let w = 29 + f. Solve 4*l = 3*y + 9, -2*l + w = -y - 4*y for l.
3
Let q(v) be the second derivative of v**4/12 - 17*v**3/6 + 10*v**2 - 3*v. Let p be q(16). Solve x - 4*x - 3*s - 27 = 0, 8 = 3*x - p*s for x.
-4
Let b be (-12)/(-8) + (-2)/(16/(-220)). Let z = -58 + 29. Let h = z + b. Solve -14 = 3*g - 5*u, -2*u + 6 = -g - h*u for g.
2
Let g = 620 - 614. Solve 4*w - 6 = 2*a + g, 4*w - 5*a = 24 for w.
1
Let r be (-7)/(-4)*(4 - 0). Let d = r + 1. Let c be (d/(-20))/((-1)/25). Solve 0 = 4*i + l + 2*l - 2, -3*l + c = -4*i for i.
-1
Suppose -23 = -i + s, 4*i - 27*s - 104 = -26*s. Solve -z + 4*g = 24, -3*z + 3*g = -0*z + i for z.
-4
Let i(p) = 5*p - 20. Suppose 4*n - 17 = 3*b, -4*n - 4*b + 37 = 13. Let h be i(n). Solve u + 9 = -2*r, -u = -h*u - r - 15 for u.
-3
Let c(x) = 2*x + 40. Let y be c(-9). Suppose y = 5*j - 6*g + 8*g, -j = g - 5. Solve -4*q - j = 8, 0 = -z + q - 2 for z.
-5
Let r = -1654 + 1659. Solve -10 = -r*m + 2*t, -2*t - 20 = -6*t for m.
4
Let g be 28/10 + (-8)/10. Suppose 0 = 3*t - 2*r - 6, 0 = t - 3*r - 2 - 7. Suppose t = l - 3*l. Solve -5*i = 2*v + 18, l*i = g*i - v for i.
-2
Let f(w) = w**3 - 9*w**2 + 16*w + 5. Let s be f(7). Suppose s = 5*c - 1. Solve c*m = -0*p - 3*p + 6, 3*m = -4*p + 8 for p.
2
Let v(l) = l**3 + 49*l**2 + 17*l + 835. Let m be v(-49). Solve -p + 4 = 2*r - 5, -15 = -3*p - m*r for p.
3
Let y = 21 - 13. Let k be (-5)/(5/1) + -2. Let b be (12/y)/(k/(-4)). Solve d = 3*c - b*d + 3, 2*c + 9 = -5*d for c.
-2
Suppose z - 5*w = 18, -2*w + 12 = 3*z - 3*w. Suppose 4*l = -15*l + 76. Solve -z*j + p - 2*p - 12 = 0, -4*p = -l*j for j.
-3
Let r be (-112)/(-49)*(2 + 5). Suppose 3*k + 4*f + 48 - 118 = 0, f - 4 = 0. Let x = k - r. Solve 5*m + 2*o + 18 = 0, -2*m - 5*o = -x*o + 5 for m.
-4
Let p = -517 - -520. Solve r + 2 = -c, 4*r = 6*r - p*c - 11 for r.
1
Let k = 17 + -17. Suppose -5*q + 5*v - 24 = -74, -3*q + 2*v + 26 = k. Solve 4*d = b + 13 - 4, -b - q = -3*d for b.
3
Let m(c) = -c + 9. Let k be m(6). Suppose 0 = 2*p - 2*b - 32, b + 3 = 4*b. Solve 6 = k*x + 3*n, -n - n - p = -5*x for x.
3
Let y(n) = 3 + 0 - 3 - 8*n**2 + 6 + n**3 + 7*n. Let l be y(7). Suppose 3 = -l*q + 9. Solve -2*i = z - q, -6*z + z - 25 = 0 for i.
3
Let t = -953 - -956. Solve t*m + 3*q = 12, -6*q + q = -m - 26 for m.
-1
Let j(b) = 27*b - 805. Let c be j(30). Solve 4*r - 22 = 3*z + 4, c*z + 20 = 2*r for r.
5
Let a be ((-126)/12)/((-2)/4). Let h = a - 19. Suppose -h*j = -4*j. Solve 0 = -2*t - 2*b - j*b + 18, 2*t + 3*b - 22 = 0 for t.
5
Suppose 2*q - 14 = -f + 4*q, 3*q + 33 = 3*f. Suppose f*l = 4*l + 16. Let t be (0/2)/((-1)/1). Solve -l*y + 3 + 3 = 3*x, t = 3*x - 4*y + 18 for x.
-2
Suppose -3*i - 4 = -5*k, 35*i = 2*k + 39*i - 12. Solve -2*x = -l - k*l + 15, -5*l + 2*x + 25 = 0 for l.
5
Let k(w) = w**3 + 10*w**2 + 15*w - 5. Let v be k(-8). Suppose 1 = -o + v. Solve 6*c = -4*d + o*c + 8, 0 = -4*c + 4 for d.
1
Let w = -76 - -45. Let t = -29 - w. Suppose -4*d = -2 - 10. Solve 0*k + 6 = t*s + d*k, 4*k - 3 = -s for s.
3
Suppose -r = -5*m + 3, -m - 5 = 2*r + 1. Suppose -11 = 15*b - 86. Solve -j - 3*y + 1 = m, -b - 2 = -2*j - y for j.
4
Let t be (-3)/(-7) + (-9)/21. Suppose t = 3*i + i - 20. Solve i*p + 16 = 3*n, 5*p + 2*n = -2*n - 37 for p.
-5
Let g be (0 - -6)*(-9)/(-18). Suppose g*y - 65 = -4*x, y + 18 = x - 7. Let o be (3 - (-1 + 2))*2. Solve -2*d + 5*z - x = 3*d, -o = d - 4*z for d.
-4
Let q(u) = -3*u**2 - 15*u. Let v be q(-5). Solve -5*z - 4*d + 20 = v, -3*z - 2*d = z - 10 for z.
0
Suppose -6*g - 4 + 16 = 0. Suppose -5*n - h = -3, 0 + 6 = -3*n + g*h. Solve n*b - 4*m = -4*b - 8, b = -5*m - 14 for b.
-4
Let a be 40/18 - 14/63. Let n(x) be the first derivative of 4*x**3/3 - x**2/2 - 24. Let d be n(-1). Solve d*u - 6 = 5*z - 16, -a*z - 26 = 4*u for z.
-3
Let z(r) = r**3 - 3*r**2 + 3*r + 2. Let v be z(3). Let a = 11 - v. Suppose a = 2*l - 2 - 30. Solve 0 = -3*t - 2*x - l, 0 = -0*t + t + 2*x + 12 for t.
-2
Suppose -15 = 5*u - 5*c, -2*c + 6 = -0*u + 2*u. Suppose -2*z - 26 = -4*y - 42, -y = 2*z - 36. Solve u*g + 2*g = 2*r - z, 0 = 5*g - r + 28 for g.
-5
Let t(y) = 2*y**2 + 13*y - 9. Let h be t(-7). Let i be (-6 + 0)/h - 0. Solve 3*d - i*n = -2 - 4, 0 = -4*d + 3*n - 6 for d.
0
Suppose -12*q + 10*q + 4 = 0. Suppose 3 = -4*b + 3*a - 0, 2*b - 16 = -q*a. Solve 3*n - 1 = l + b*l, 3*l - 4*n + 6 = 0 for l.
2
Let c = 197 + -194. Suppose y = -5*a - 40, 7*a - 4*a + 26 = -y. Let j = a + 11. Solve s + 4*l + 8 = c*s, l = -j*s + 16 for s.
4
Suppose -f + 18 = 2*i - 0*f, 4*i - 42 = -5*f. Suppose 5*g - 126 = -4*w, 3*w + 9 = g - 1. Suppose o - g = i. Solve 0*z - 4*h - 5 = -3*z, 3*z + 3*h + o = 0 for z.
-5
Let m(o) = -o**3 - 6*o**2 - 5*o + 1. Let y be m(-5). Suppose -y = d - 3. Solve d*z - 2*f - 4 = 0, -z + 0*z - 8 = 4*f for z.
0
Let j be 12*((-66)/(-18))/11. Solve j*w + 4 = -2*u, -5*u + w - 10 = 4*w for u.
-2
Let q be (0 - -60)*(-61)/(-183). Solve 2*f + 18 = 2*g, -5*g + q = -4*f - 21 for g.
5
Suppose -2*q = -6*q + 52. Let v = -10 + q. Suppose 8*l = v*l + 25. Solve 3*k - l*y = -2*y + 3, 4*k + 2*y = -2 for k.
0
Let w = 524 + -520. Solve -2 + 5 = 2*c - d, -3*c + 32 = w*d for c.
4
Suppose -8*j + 512 = 472. Solve 0 = 3*g - j - 1, -5*o + 5*g = 5 for o.
1
Let r(o) = o**2 - 16*o - 52. Let p be r(-3). Solve h + p*u = 12, -u + 10 = -h + 4 for h.
-3
Let o(y) = -11*y + 69. Let x be o(6). Sol