o = -5. Solve u = 77*f - 74*f + 3 for f.
-1
Let x(w) = w + 10. Suppose -3*g + 1 = 4, 0 = 4*m - 5*g - 133. Suppose -m = 11*b - 7*b. Let d be x(b). Solve 3 + 7 = d*v for v.
5
Suppose 0*l + 4 = -4*l + 4*u, -4*l + u - 7 = 0. Let v = l + 8. Let p be 3/(-2)*(7 + (-25)/3). Solve -p*d + v = -0 for d.
3
Suppose 2*u - 7 = -5*d, 5*u + d - 28 = -d. Solve -9 = 3*s + u for s.
-5
Let s(x) = -x**3 + 4*x**2 + x - 10. Let o be s(3). Let h = -60 + 63. Solve -5 = o*f + h for f.
-4
Let c be ((-6)/4)/(9/(-18)). Suppose -c*g + 20 = 2*g. Suppose 13 = d + 4*o, g*d - 6*d = -4*o - 50. Solve 4*k = d - 1 for k.
5
Let c(v) = 5*v - 10. Let z be c(4). Suppose 0 = 7*y - 2*y + z, -d + 3*y = -16. Suppose -8*r + 3*r + d = 3*x, 5*x - 5*r - 30 = 0. Solve 0*m + x*m + 10 = 0 for m.
-2
Suppose 0 = -i - 4*i + r - 5, 5*r - 25 = 5*i. Suppose 5*g - 3*j = 21, i = -2*g + 2*j + 3*j + 16. Solve -g*o - 1 = -10 for o.
3
Let i be (-434)/(-10) - ((-221)/(-65) - 4). Solve -4*w + i - 32 = 0 for w.
3
Let w = 812 - 784. Solve -16 = w*j - 32*j for j.
4
Let g(s) = -7*s - 1. Let p be g(4). Let n = 32 + p. Solve 0 = -0*z + n*z + 12 for z.
-4
Let i(n) = -n + 5. Let f be i(5). Suppose -2*p + 5*q + 9 = 0, f*q + 5 = 3*p + q. Solve -p + 12 = 2*u for u.
5
Let n(g) be the third derivative of g**4/8 - g**3/6 - 13*g**2. Let w be n(1). Solve w = 3*b - b for b.
1
Suppose 8 = 2*v - 5*s, 10*v - s = 5*v + 20. Let a = v - 0. Suppose -3*r + 15 = 3*o, -a*o + r = 4*r - 15. Solve o*w = -w - 4 for w.
-4
Let u(c) = 2*c**3 - 4*c**2 - c + 36. Let m be u(0). Solve 7*n = -2*n + m for n.
4
Let s be 2*(-2)/(-8)*(-1 + -5). Let h = 3 + s. Solve -8 = 2*x - h for x.
-4
Let s(o) = -2*o + 4*o - 4 + 4 + 8. Let f be s(-2). Solve -q - 6 = -f*q for q.
2
Let a = -164 + 166. Solve 2 = -a*k - 0*k for k.
-1
Let r = 9 + -4. Suppose q + 46 = 5*j - 50, -3*q = -2*j + 41. Solve -6 = r*k + j for k.
-5
Suppose d - 4 - 33 = -4*g, -3*g + 5*d = -45. Suppose 0 = i + i + 3*l + 6, 4*i - g = 5*l. Solve 0 = -i*z + 4*z - 16 for z.
4
Let b(h) = -h**3 - 4*h**2 - 1. Let u = -2 + -1. Let m be b(u). Let t = 14 + m. Solve 2*i + 2*i = t for i.
1
Let w = -225 + 235. Solve 5 = -3*p - w for p.
-5
Suppose -2*h = -6 - 0. Suppose 5*j + 15 = -g, 0*g + 4*j + 12 = h*g. Solve g = b + 2 + 3 for b.
-5
Suppose -8*q + 44 = 20. Solve q*g + 8 = -1 for g.
-3
Suppose -20 = -4*y, -r - 5*y + 39 = -0*y. Suppose v = -2 + r. Solve -i - 2*i + v = 0 for i.
4
Let v be 9 - (8 - 4) - 0. Let j(t) = t**3 - 4*t**2 - 4*t + 3. Let k be j(v). Suppose 6*n + k = 8*n. Solve -n*p + 2 = 6 for p.
-1
Suppose z = -3*r - 94 + 115, -r + 3*z + 27 = 0. Let i(b) = 2*b - 5. Let w be i(4). Solve 0 = w*s - 6*s - r for s.
-3
Let h(u) = u**3 + 10*u**2 - 2. Let w be h(-10). Let k(d) = 2*d**2 + d - 2. Let g be k(w). Solve g*l + 7 - 27 = 0 for l.
5
Suppose p = -c + 3*c + 6, -5*c = 4*p - 11. Suppose -p*m - 1 = t - 0, 0 = 3*m + t. Let z be (m + 1)/4 - -2. Solve -z*q + 20 = 2*q for q.
5
Suppose -4*p - 36 = -3*g - 11, p + 36 = 5*g. Let f = -2 + g. Let t be 0/(f/((-5)/(-2))). Solve v + v + 4 = t for v.
-2
Let s be (-11)/(-121) - (128/22)/(-2). Solve s*y = -4 + 16 for y.
4
Let o be 30/9 + (-2)/6. Let j(u) = -u**3 + 11*u**2 - 2*u + 27. Suppose -f = -2*g + 19, -2*g = 3*g + 4*f - 67. Let w be j(g). Solve -4*a - w = -o*a for a.
-5
Suppose 2*x - 2*t = 4, -3 = -x + 4*t - 1. Solve -3*n + x = 14 for n.
-4
Suppose 43*o - 25724 = -66*o. Solve -8 = o*b - 240*b for b.
2
Let h be 68/(-612) - 164/(-18). Solve 14*m = 17*m - h for m.
3
Let y be (0 + -1)/((-7)/21). Solve 7*v = 4*v + y for v.
1
Suppose 41*n = 25*n + 96. Suppose -2*o + 11 + 15 = -5*h, 12 = -3*h. Let u(z) = -z**3 + 9*z**2 - 7*z + 1. Let r be u(8). Solve n*d - r = o*d for d.
3
Let t be 6/5*(-20)/(-8). Let o = -272 + 278. Solve -t*n - o = -0*n for n.
-2
Let j = 2754 + -2725. Solve 39*s = j*s + 40 for s.
4
Let o(f) = f**2 + 2*f + 6. Let b be o(-6). Suppose 0 = -5*n + b - 10. Let q be (0 + -4)/(-4) - -9. Solve n*y = 2*y + q for y.
5
Suppose -3*c + 3*a - 15 = 0, c + a = -a - 5. Let u be (-21)/c + (-128)/40 + 4. Solve 24 = -u*v + 4 for v.
-4
Let i be -2*(0 + 1 - 6). Suppose g + 16 = 5*c, i + 4 = -2*g + c. Let o = -3 - g. Solve -x - o + 1 = 0 for x.
-2
Let n(c) = c**2 + 15*c + 14. Let r be n(-14). Let f be 3 + 2 + 2 + -2. Suppose f*y - 8 - 2 = r. Solve 6 + 4 = y*t for t.
5
Let l be (-1 - -7)*(4 + (-30)/9). Suppose 2*s + s - k = 5, -13 = -5*s - 3*k. Solve l = 3*c - s for c.
2
Suppose 20 = 4*h, 0*a = 3*a - 4*h + 188. Let s be 2/(-7) + (-184)/a. Let q = -8 - -17. Solve -3 - q = -s*r for r.
4
Let w be 2/(-8) - 36/(-16). Solve w*i - i + 2 = 0 for i.
-2
Let b = 478 + -380. Solve 2*l - b = -88 for l.
5
Let f = -55 + 69. Solve -u - 14 = -f for u.
0
Let k = -197 - -199. Solve 8 - k = 3*z for z.
2
Let o = 34 - -1. Let c be (-885)/(-35) + (-10)/o. Solve -7*j - c = -2*j for j.
-5
Let o be ((-3)/24)/(2/(-8))*14. Suppose -3 = -3*h + 15. Solve h*d = o*d - 3 for d.
3
Let r(u) be the first derivative of u**6/360 + u**5/120 + 2*u**3 - 2. Let p(d) be the third derivative of r(d). Let k be p(-1). Solve -m = -k*m + 3 for m.
-3
Let v be (4 + (2 - 9) - -4)*0. Solve -7*s + 12*s - 10 = v for s.
2
Suppose -5*h + 43 = 5*n - 3*h, -44 = -5*n - h. Suppose -4*k = -n*k - 3*b, -15 = 3*b. Solve -k*g = g for g.
0
Let h = -2290 + 2319. Solve -9*w + 7 = -h for w.
4
Let d(t) = -3*t + 72. Let u be d(23). Solve 2*z + 1 = u for z.
1
Let i = 848 - 838. Let z = -11 - -15. Suppose -z*r + 6 = -r. Solve i - r = -4*d for d.
-2
Let m = -325 + 329. Solve 0 = -m*w + 12 + 8 for w.
5
Let i(s) = s + 1. Let k(q) = -4*q - 3. Let d(x) = -5*i(x) - k(x). Let l be d(-5). Solve 1 + l = -m for m.
-4
Suppose 30 + 84 = 3*u. Let d = u - 32. Solve 5*m = 1 - d for m.
-1
Let g = -33 + 37. Let j(d) = 9*d - 1. Let k be j(g). Solve k = 5*c + 15 for c.
4
Let z(x) = -x**3 - 9*x**2 - 7*x + 10. Let h = 11 + -19. Let s be z(h). Suppose 2*m = -3*m + 3*c - 5, -4*c + 26 = 3*m. Solve -s*f = -3*f - m for f.
-2
Let q(w) = w**2 + 4*w - 8. Let h be q(-6). Suppose m + 15 = h*g, g = 4*g - m - 10. Let c(l) = 2*l - 7. Let d be c(g). Solve -13 = -d*o - 1 for o.
4
Let p = -95 - -63. Let v = 64 + p. Let a = v + -32. Solve 2 = d - a*d for d.
2
Let f(x) = -x**2 + 5*x + 4. Let w = 14 + -9. Let q be f(w). Let m be 8/28 - q/14. Solve m = -5*u - 12 - 8 for u.
-4
Let c be (-5)/(-15) - (-128)/12. Let r(t) = 2*t + 11 - 2*t + t**3 - 11*t**2. Let v be r(c). Solve -v = 5*l + 4 for l.
-3
Let o(f) = -f**2 + 5*f + 89. Let y be o(-7). Solve -y*i - 28 = -19*i for i.
2
Suppose 2*q = -35*q + 407. Solve -q = 9*c - 29 for c.
2
Suppose 4*u - g = 53, -g + 45 = -2*u + 5*u. Let h(p) = -3*p - 13. Let q be h(-5). Let s be 0 - 2 - (-4 + -2). Solve -u - q = -s*t for t.
4
Let u(v) = -v + 11. Let d(y) = -y**2 - 16*y - 22. Let g be d(-14). Let s be u(g). Solve 22 = s*l - 3 for l.
5
Let m(o) = 3*o**2 - 3*o - 2. Let z be m(-1). Let c(a) = a + 22. Let j be c(-19). Suppose -5*r = -12 - j. Solve h - z = r*h for h.
-2
Suppose 2*c - 1 = l + 9, 3*c + l = 25. Solve c*z = 12*z + 15 for z.
-3
Let k = -23 + 35. Solve -k*c = -16*c - 16 for c.
-4
Suppose 0 = 2*w - 3*m - 2, -5*m = -3*w + 2 + 3. Let j be 3/(1 - 2) + (-35)/w. Solve -3*a - 4 = -j*a for a.
4
Suppose -3*p + 5 = -1. Suppose -4 = 2*z + 4*k, -3*z - 1 = -3*k - 31. Solve p*x - 20 = z*x for x.
-5
Suppose 4 + 112 = 4*k. Solve 2*x + k = 33 for x.
2
Suppose 0 = 5*n - 12 - 38. Let m(b) = -b**3 - 5*b**2 - 2*b + 1. Let q be m(-4). Let i = n + q. Solve 2*r + 2 = i*r for r.
2
Suppose 0*s - s = 16. Let j be (s/24)/(2/(-15)). Suppose 2*r - 3*a = 13, 0 = r - 5*a + j - 15. Solve k - r = -2 for k.
3
Let h be ((-5)/(-10))/((-1)/(-16)) - 1. Let c = 5 - 2. Suppose -c*g + h*g = 0. Solve g*j - 6 = 3*j for j.
-2
Suppose 3*j - 8 - 1 = 0. Let y = 0 + j. Suppose 4*h - 51 = -3*i - 63, 15 = -2*i - 5*h. Solve i = l - y*l + 4 for l.
2
Let g(v) = 3*v**2 - 6*v. Let h be g(3). Solve 11*u = h*u + 4 for u.
2
Let v(t) = t**2 + 11*t + 13. Let s be v(-11). Suppose 47 = -5*l - s. Let j(q) = -q**3 - 13*q**2 - 11*q + 16. Let y be j(l). Solve 0 = -0*k - y*k + 12 for k.
3
Suppose 0 = 1500*g - 1491*g - 315. Solve 6*a - g = -65 for a.
-5
Suppose 0 = -16*j + 36*j - 180. Solve -j*i + 63 = 27 for i.
4
Suppose -3*m - 24 + 3 = 0. Let g = m - -14. Solve g = -2*x - 1 for x.
-4
Let g(v) = 3*v**2 + 5*v - 3. Let q be g(3). Let r = -34 + q. Solve -6*d = -d - r for d.
1
Let d(v) = -v**2 + 8*v + 6. Let f be d(7)