 8*s - 50*s. Solve -7*b + 2*b + 20 = s for b.
4
Let d = 28 + -23. Suppose -2*c - 15 = -0*c - 5*x, 0 = -5*c + d*x - 15. Solve 0 = -4*r - c*r for r.
0
Let o = 870 + -862. Solve -28 = -9*y + o for y.
4
Let q be 228/(4 - 0)*(-6)/(-18). Solve 0 = 15*t - q*t - 8 for t.
-2
Let v(l) = 4*l + 26. Let r(q) = q - 16. Let j be r(10). Let g be v(j). Solve z + 3 = g for z.
-1
Suppose -106*m = -109*m + 24. Solve 9 = -m*y + 5*y for y.
-3
Suppose -z - z + 10 = 0, 0 = v + 4*z - 27. Suppose -k - v = -4*p, -2 = -2*k - 0. Solve 0 = -0*g - 2*g - p for g.
-1
Let f(b) = -b**3 - 9*b**2 - 15*b - 8. Let t(c) = -c**3 - 9*c**2 - 14*c - 9. Let z(g) = 5*f(g) - 4*t(g). Let h be z(-6). Solve 4 - 10 = -h*p for p.
3
Let m = 67 + -67. Let h be 1*m*(-2 - -1). Let z be ((-6)/(-4))/(2/4). Solve 4*i + z + 1 = h for i.
-1
Let t = 13 + -7. Let k = -19 - -25. Let p = k + t. Solve 5*d + 13 + p = 0 for d.
-5
Let i(d) = d**3 - 5*d**2 + 5*d + 1. Let l be i(4). Let y(u) = -2*u**3 + 8*u**2 + 13*u - 7. Let c be y(l). Solve -c*f + 3*f = 0 for f.
0
Suppose 3*n - 18 = 3*o, 0 = -2*n + o + 20 - 5. Solve 6*z - n = 21 for z.
5
Let q = -6 - -4. Let b(u) = -4*u**3 - 2*u - 2. Let x be b(q). Suppose 0 = -5*j + 4*v + x, -4*j - v = -3*j - 5. Solve 3*m + 0*m - j = 0 for m.
2
Let i be (-76)/(-12) - 1/3. Let o = 10 - i. Suppose -2*z + 28 - 10 = 2*t, 0 = o*t + 3*z - 31. Solve 12 = -0*f - t*f for f.
-3
Let g = 22 - 7. Suppose 5*p = -2*o + 3, o = p + 5*o - g. Let h be (1 - -2)*(1 - p). Solve -z - 1 = -h for z.
5
Let v(h) = -h**2 - 9*h + 12. Let u(k) = -k**2 - 6*k - 6. Let q be u(-4). Suppose 0 = s - q*s - 10. Let j be v(s). Solve 0 = -t - j*t - 15 for t.
-5
Let j be (-6)/33 + (-175)/(-55). Suppose -2*c = c - 42. Suppose c*p - 15*p + 4 = 0. Solve -p*z = -z + j for z.
-1
Let l = -73 + 78. Solve -25 = -l*b - 5 for b.
4
Suppose 5*c = -0*c + 30. Let v be (-21)/c*20/(-7). Suppose -5*o + s = -61, 0*o + v = o + 2*s. Solve -3*m + o = m for m.
3
Let i(b) = b**2 - 2*b - 19. Let d be i(-4). Suppose 3*n - 2*y = 1, d*n + 4*y - 6 = 3*y. Solve 11 + n = 3*x for x.
4
Let z(c) = -3*c + 15. Let h be z(5). Let l(w) = -99*w**2 + 2 + 101*w**2 + h*w**3 + w**3 + 2. Let u be l(0). Solve -d = -u*d for d.
0
Suppose p = -1 + 13. Suppose 0 = 6*r - 3*r - p. Suppose 14 = r*y - 2. Solve -3*w = -4*w + y for w.
4
Let h = 59 + -11. Suppose 2*a + 46 - h = 0. Solve -3*u - 2 - a = 0 for u.
-1
Let z(t) = -2*t**2 + 4*t - 1. Suppose 4*s + 20 = 2*f - 0*f, s + 3 = 0. Let c be z(f). Let m = c + 20. Solve m + 1 = 4*a for a.
1
Suppose 0*q = 4*k + 3*q - 19, -2*k + 4*q = -4. Let x be (-7 - -7)/((-4)/(4/3)). Solve 3*t - 8 - k = x for t.
4
Let l be 406/105 + (-8)/(-60). Solve -10 = l*u + 6 for u.
-4
Let m(k) be the second derivative of k**4/12 + k**3/2 + k**2/2 + 5*k. Let z be m(-4). Suppose 3*r + 1 + 11 = 5*u, r - 7 = -2*u. Solve -2*s - z = -u*s for s.
5
Let m(w) = w**3 - 21*w**2 - 49*w + 74. Let g be m(23). Solve -g*l + 24 - 4 = 0 for l.
4
Let y be 2/3 + ((-168)/(-18) - 5). Solve u - 20 = y*u for u.
-5
Let u(b) = 17 + b + 3 + 4*b**2 - 15*b - 2*b**2. Let j be u(5). Solve -5*q - 7 - 18 = j for q.
-5
Let c(w) = w**2 + 29*w + 77. Let g be c(-26). Let a = g - -3. Solve -6 = u + a*u for u.
-2
Suppose -2*c - 5 = h, -3*h = -8*h + 5*c - 40. Let d(i) = -i - 7. Let x be d(h). Suppose x*n = n. Solve -4*j + 0*j + 8 = n for j.
2
Let o = 171 + -158. Solve -o = 8*w + 19 for w.
-4
Suppose -6*t = -15*t. Solve 5*k - 14 + 4 = t for k.
2
Let f = -1236 + 1236. Let q be ((-18)/(-15))/(9/30). Let i = q + -1. Solve s + i*s = f for s.
0
Let j(w) = -w**2 - 5*w - 3. Let r be j(-3). Let h be (-8 + 14)/(r/(-14)). Let z be h/(-8) - 1/2. Solve 18 = -z*l + 3 for l.
-5
Let s be -4*((-1)/(-8))/((-5)/(-20)). Let j be s/(-14) - 4/(112/(-108)). Solve -f + 0*f - j = 0 for f.
-4
Let f = 1885 + -1874. Solve -28 = -4*t + f*t for t.
-4
Suppose -4*d - 1 = 3, -4*q + 13 = 3*d. Suppose 3 = z - 5*b + 13, -q*z = 4*b - 8. Solve 2*y - 6*y + 4 = z for y.
1
Suppose 4*q - 38 = -6. Suppose 3*p = q*p - 30. Solve -k - p = -4 for k.
-2
Let z(w) = 12*w**2 - w - 4. Let b be z(-1). Solve s + 16 = b*s for s.
2
Let n = 221 - 349. Let i be (-12)/8*n/12. Let d be 9/(-18)*i/(-2). Solve -3 + d = -g for g.
-1
Let u(g) = -g + 13. Let c be u(11). Suppose -11 = c*x - 3, i = x + 9. Solve -i*z + 9 = -16 for z.
5
Let s = -66 - -71. Suppose 3*y = -s + 20. Solve -z = -y*z - 8 for z.
-2
Suppose 0 = -15*f + 17*f + 48. Let p be f/(-14) - 6/(-21). Let s be 3/p*16/12. Solve 0 + s = -2*r for r.
-1
Let x = -37 + 45. Let a(c) = c**2 - 7*c - 9. Let u be a(x). Let t be u/((-165)/40 + 4). Solve 4*v + t = 6*v for v.
4
Suppose -56 = -3*f - 4*f. Let v be (f + 0)/1 + -4. Solve 0 = -0*r - v*r - 12 for r.
-3
Suppose 186 = -13*z + 303. Solve 62*w - 59*w + z = 0 for w.
-3
Let i(y) = y**3 - 15*y**2 + 29*y - 36. Let q be i(13). Solve 0 = -q*r - 2*r + 2*r for r.
0
Suppose -2*w + 0*w + 8 = 0. Suppose -3*n - 2*n = 0. Suppose -76 = -w*m - n*m. Solve -7 + m = 3*a for a.
4
Let m(i) = i**3 - 12*i**2 + 11*i + 2. Let b be m(11). Let q(u) = u**3 - 2*u. Let x be q(b). Let c = x - 0. Solve c*g - 3*g - 4 = 0 for g.
4
Let a(r) be the first derivative of r**2/2 + 16*r + 1. Let q be 7/(-21)*33*1. Let o be a(q). Solve 2*h = o + 1 for h.
3
Let m(d) = 2*d + 21. Suppose -5*r - 55 = 5*c, 25 = -c - 2*c + 5*r. Let y be m(c). Solve -y - 3 = -4*s for s.
1
Let p = 0 + 0. Let b be ((-2)/6 - 0)/((-2)/54). Suppose 0 = -l - 4*h, -2*h - 9 = -4*l + b. Solve k - l = -p*k for k.
4
Let a(n) = n**3 + 10*n**2 + 8*n - 4. Let y be a(-9). Let t(m) = -m + 3. Let z be t(5). Let i be 15/3*z/(-5). Solve 18 = -y*r - i for r.
-4
Let t be 384/36*6/(-4). Let q be (t/(-12))/(-4)*-6. Solve -2*a - 16 = q*a for a.
-4
Suppose -3*i = h - 4, -h = -2*i - 2 - 2. Suppose 33*a + h = 35*a. Solve -a*s = s + 3 for s.
-1
Let k(o) be the third derivative of -o**5/60 + 5*o**4/24 + o**3/2 - o**2. Let x be 8/(-48)*(-3 - (-162)/(-6)). Let d be k(x). Solve -n + d*n = 10 for n.
5
Let m(x) = -x - 8. Suppose 2*h - 8 = 3*h. Let p be m(h). Suppose v - 2*v = -4*d - 5, -5*v + 25 = p. Solve 4*a + 16 = -d*a for a.
-4
Let w be ((-190)/(-950))/((-2)/(-70)). Solve -6*y + w*y + 1 = 0 for y.
-1
Let s(y) = -y**2 - 4*y + 3. Let q be s(-4). Suppose q*l = -2*l. Suppose -3*v + 4 = -7*v, l = -4*o - 5*v - 5. Solve -2*h + o = -10 for h.
5
Suppose -4*i = -3*p + 29, 6*p + 5*i = 2*p - 13. Let z(t) = t**3 - 14*t**2 + 19*t - 78. Let y be z(13). Solve -4*r - p - 1 = y for r.
-1
Suppose 0 = -3*q - 0 + 6. Let h be (-5 - -6)*(2 + 3). Solve q*z - h = -3 for z.
1
Suppose 2*m = 2*w - 9 - 17, 5*w - 3*m - 65 = 0. Solve -w*z = -18*z - 5 for z.
-1
Let b(w) = w**3 + 11*w**2 - 29*w - 39. Let s be b(-13). Solve -3*a + 2 - 5 = s for a.
-1
Let i(g) = 2*g**2 - 13*g + 10. Let f be i(6). Solve 6*j - f = -4 for j.
0
Suppose -3*s - c - 4 = -8*s, -2*c + 1 = -s. Solve n + s = -0 for n.
-1
Let z be (-72)/(16/3 - 6). Solve -104*b + 20 = -z*b for b.
-5
Suppose 6*d = d. Let r be ((-12)/15)/(4/(-10)). Suppose -2*x + 46 = 5*b, 3*b - 4*x - 58 = -r*b. Solve d = -4*y + 2*y + b for y.
5
Suppose -4*m = -5*a + 53, -5*a + 3*a + 50 = -4*m. Let g = 16 + m. Solve -j - g*j + 25 = 0 for j.
5
Suppose 3*q = -15, 0 = -o + 4*q + 27 - 4. Solve 6*c = o*c + 12 for c.
4
Let r(k) = -k**3 + 3*k**2 + 5*k - 8. Let m be r(3). Suppose l + m = 9. Solve 0 = -u + 3 + l for u.
5
Let y(r) = -r**3 - 7*r**2 + 7*r - 2. Suppose -7 = -p + 5*j, -23 = p - j + 6*j. Let u be y(p). Solve 4*z - u = 2 for z.
2
Suppose 0*g + 80 = 5*g. Let y = 36 - -10. Suppose -g = 3*c - y. Solve -5*h + c = -0*h for h.
2
Suppose -6 = -y + 4*v - 2*v, 2*v = 10. Suppose 0*f - f - 3*w = -y, -4*w = 3*f - 38. Solve 0 = m + m - f for m.
5
Let j be (-98)/(-21) - (-2)/(-3). Suppose 5*w - 6 = k, 4*w - 4 = 4*k + j. Let b(u) = -u**3 + 4*u**2 + 6*u - 5. Let f be b(5). Solve f = 2*y - y - w for y.
1
Let n be 2*(-4)/(-3)*(-15)/(-10). Suppose -17 = -m - 4*u, 4*m + 0*u - 2*u + n = 0. Solve -p + 0 = -m for p.
1
Let y be 0 - -3 - (1 - -2). Suppose 4*k + 4*f = 52, 2*k + y*f - 34 = 2*f. Let s = 0 + 4. Solve -s*i - k = i for i.
-3
Let l = 564 - 560. Solve 0 = 3*u - l*u for u.
0
Suppose -16 = 2*u - 44. Suppose -11*o = -81*o + 70. Solve -o - u = 5*b for b.
-3
Suppose 0 = -80*f + 89*f - 27. Solve -3*i = -15 + f for i.
4
Suppose o + 4 = -4*r - 4, 0 = -5*o + 4*r + 80. Solve -o*t - 10 = 38 for t.
-4
Let h = -51 - -15. Let n = h + 39. Solve 3*f + n + 9 = 0 for 