 6*n - 4. Let g(h) = h**3 + h - 1. Let r(m) = -4*g(m) + s(m). Let p be r(5). Solve k + k = p for k.
5
Let r(t) = -t**2 - 3*t + 9. Let z be r(6). Let v be 80/z + (-4)/18 - -4. Solve -5*h - v = 18 for h.
-4
Let k(i) = -5*i - 15. Let s(r) = -2*r**2 + 1. Let n be s(-2). Let b be k(n). Let a = b - 20. Solve a = 3*w - 4*w for w.
0
Let y be (-3)/(15/(-20)) - -44. Let g = y - 48. Solve g*j = j for j.
0
Let w(n) = 3*n**2 - 19*n + 25. Let k(m) = -2*m**2 + 10*m - 12. Let x(z) = -5*k(z) - 3*w(z). Let d be x(-9). Solve -d*l + 0*l = 0 for l.
0
Let q(l) be the third derivative of l**6/120 + l**5/60 + 7*l**2. Let y be q(0). Let k be (y - -2) + (-4)/2. Solve k = 2*a + a - 9 for a.
3
Suppose 0 = -2*n - 4*z + 18, 0 = -5*n + 3*z - 3 + 22. Solve 0 = -n*q + 11 - 36 for q.
-5
Let n(t) = -t**3 - t**2 + t + 16. Let z = -171 + 171. Let p be n(z). Solve 2*c - p = 6*c for c.
-4
Let z(n) = n**3 + 9*n**2 - 24*n - 20. Let m be z(-11). Solve 2 = -m*l + 8 for l.
3
Let j be ((-4)/(-8))/(1/8). Solve 0 = -0*o + j*o - 8 for o.
2
Let o be (-132)/(-36) - 4/6. Let t(s) = 2*s - 1. Let b be t(4). Let x = b - 0. Solve -5 = -o*f + x for f.
4
Let r = 11 - 3. Let y = 11 - r. Let a be (10/(-6))/((-1)/y). Solve -i + 0 = a for i.
-5
Suppose p - 16*p = -180. Let z(l) = l**3 - 13*l**2 + 13*l - 10. Let n be z(p). Solve n*h + h + 3 = 0 for h.
-1
Let y be (-12)/(1 + -7) + 2. Let a(v) = 2*v. Let w be a(4). Solve y*c + w = 2*c for c.
-4
Let n(y) = -3*y + 5. Let k be 0/((-1)/1 - 0). Let b be n(k). Solve -b = -2*p + p for p.
5
Let n(i) = -i**3 + 14*i**2 - 25*i + 18. Let u be n(12). Solve -u = 16*q + 58 for q.
-4
Suppose -3*s + 4*c + 26 = 22, 0 = -5*c + 25. Solve 6*p - s = 10 for p.
3
Suppose 2*y + 5 = 3*f, -3*f + 4*y = -0*y - 1. Solve 1 + f = -n for n.
-4
Let g = 37 + -38. Let s be 0/9*g/(-4). Solve -2*n + 6*n = s for n.
0
Let b = 57 - 57. Let n be b/2*((-65)/(-10))/(-13). Solve -u = -n*u for u.
0
Let a(r) = r**3 - 8*r**2 + 14*r - 11. Let v = -4 + 10. Let x be a(v). Solve 2*g - x = -5 for g.
-2
Suppose 3*s - 10 = -0*i + 5*i, 5*i = -2*s + 15. Solve 0 = -4*g - 15 - s for g.
-5
Let a(x) = x - 14. Let r be a(14). Suppose m + r = 25. Suppose -v - 5*b + m + 2 = 0, 5*v + 2*b = 20. Solve -g - 6 = -v for g.
-4
Let p = -273 + 279. Solve p*u = 3*u + 3 for u.
1
Let z be (-1)/(136/153 - (1 - 0)). Solve 2*s - 5 = -z for s.
-2
Let i(h) = h**2 - 21*h + 43. Let a be i(19). Suppose p = a*z + 4, -4*p + 3*z + 8 = -2*p. Suppose 6*j - 2*j = 0. Solve 3*o - p*o = j for o.
0
Let a(h) = h + 12. Let p be a(0). Let l = 13 - p. Let d be l + 11 - (-3 - 0). Solve -3*r + 0*r + d = 0 for r.
5
Suppose 3*g = -0*g + 12. Suppose 0 = -5*n - 4*c + 40, -2*c + 9 = -2*n + 7. Solve g*u = 6*u + n for u.
-2
Suppose -4*n + 21 = 13. Suppose o - 20 = -n*v, 5*o + 29 - 99 = -4*v. Solve -5*j - 5 = -o*j for j.
1
Let d(z) = -2*z**2 - 9*z + 9. Let v(j) = j**2 - 23*j + 37. Let w be v(21). Let c be d(w). Solve -4*q + 0*q - c = 0 for q.
-1
Suppose 33*p - 59 = 40. Solve -p*d - d = 4 for d.
-1
Let f = 611 - 608. Solve 0 = 3*t - 15 + f for t.
4
Suppose -q + 3 = -5. Suppose -q = -2*w - 2*w. Solve 0*u - w*u - 8 = 0 for u.
-4
Let k be (-1 + 1)/(-7 - -8). Solve k = -6*q - 10*q + 64 for q.
4
Suppose -18*l = -17*l - 13. Let s = l + -6. Solve 4*y + s = -1 for y.
-2
Let l = -18 - -18. Solve -6*c + 4*c - 8 = l for c.
-4
Suppose -117 = -4*z + 143. Let u = 38 - z. Let k be (-2)/(-6) - (-9)/u. Solve k = y - 0*y for y.
0
Suppose -p - 23 + 25 = 0, -4*g = -3*p - 18. Solve 10*u = g*u for u.
0
Let q(o) = -o**2 - 11*o + 182. Let n be q(-20). Let f(a) = -7*a**3 + a + 1. Let c be f(-1). Solve -c = u - n for u.
-5
Suppose -11*j = -42*j + 186. Solve j*o + 8 = 4*o for o.
-4
Let s = 49 + -49. Suppose 4*v - 12 = -y - y, -5*y + 5*v = s. Solve y*f = -f + 9 for f.
3
Let d(o) = 2*o + 15. Let p be d(-4). Suppose 4*w - p = -6*r + 3*r, -w + 8 = 2*r. Solve 8 = r*x - x for x.
2
Let q be 1/(-3) - (-44)/6. Suppose 5*t = 3*t + k + 3, -t - 3 = -2*k. Suppose -2*h - 1 = -t*h. Solve -2*u = -q - h for u.
4
Let p(l) = l**3 - l**2 + 4. Let r be p(0). Let a be ((-30)/(-12))/((-2)/r). Let x be 162/30 + 2/a. Solve x*z = z for z.
0
Suppose 0 = 3*y - 6, i - 4*y - 1 = -5*y. Let h(q) = -3*q**3 + q**2 - 1923*q + q**2 + 1924*q. Let j be h(i). Solve -j*t = -t - 3 for t.
1
Let t be (15/(-10))/(135/36 + -4). Solve 72*c = 69*c - t for c.
-2
Let t(m) = 20*m**2 + m - 1. Let v(z) = z - 1. Let f = -1 - -3. Let a be v(f). Let k be t(a). Solve -3*q + k = 5 for q.
5
Let u be 1/(((-10)/4)/(-5)). Suppose 1 = p + 5. Let t be (-3 + (-18)/p)*u. Solve -o - t*o = 8 for o.
-2
Suppose 0 = -2*y - d + 11, -4*y + 30 = 3*d + 5. Suppose -6*v + 14 = 2*j - 10*v, 0 = j - v - 4. Solve u + j + y = 0 for u.
-5
Let m(d) be the third derivative of 7*d**2 + 0 + 1/12*d**4 + 1/60*d**5 + 0*d - 1/2*d**3. Let c be m(-4). Solve f + c = 1 for f.
-4
Let d be ((-5)/15 + 1)*6. Let n = -29 - -41. Let u be (1/d)/(1/n). Solve 0*l + u*l = 3 for l.
1
Let g(n) = n**2 - 20*n + 19. Let j be g(19). Solve j = -11*v - 31 - 13 for v.
-4
Let a(k) = -k + 0*k - 8 + 3. Suppose 0 = v - 1 + 9. Let w be a(v). Solve 0 = w*p - 2*p - 3 for p.
3
Let j be ((-6)/10)/(2/(-10)). Solve j*o - 2 = o for o.
1
Let f(l) = -l**3 + 18*l**2 + 15*l + 79. Let a be f(19). Solve 0 = -2*d + d + a for d.
3
Let j = -117 + 121. Solve -j*n + 4 = 4 for n.
0
Let o(u) = -u**3 - 3*u**2 - 2*u + 7. Let t be o(-3). Let m = t + -10. Suppose -m*y + 0 = -12. Solve f = y*f - 15 for f.
5
Let f(o) = o**3 - 18*o**2 - 28*o + 8. Let z be f(19). Let a = -156 - z. Suppose t + 3*p + 3 = 0, 1 = t + 2*p + 2. Solve 0 = -t*b - 1 + a for b.
2
Let x(h) = -6*h**2 - 4*h + 6. Let c(y) = -y**2 - y + 1. Let z(g) = 11*c(g) - 2*x(g). Let v be z(5). Solve 0 = 3*i + v + 3 for i.
-4
Suppose -4*q - 26 = -7*q - 2*s, 3*s = 2*q - 13. Solve 2 = -10*j - q for j.
-1
Suppose -6*c + 39 = -3*c + 3*d, 5*c - 65 = 5*d. Solve -8 - 31 = c*v for v.
-3
Let q = 56 - 32. Suppose -168 = -12*x + 19*x. Let l = x + q. Solve l = 3*g - 7*g + 8 for g.
2
Let f be 3*((-220)/12)/(-5). Suppose 10 = -f*y + 13*y. Solve y = -r + 6*r for r.
1
Suppose -l + 5 = -0*l. Let a(r) = 3*r**2 - 2*r - 58. Let v be a(-8). Let u = v - 147. Solve l*f - u = 2*f for f.
1
Let t = 1906 - 1900. Suppose 2*k - 2 = 2. Solve -k*x + 2 + t = 0 for x.
4
Let g(f) = f**3 - 8*f + 8. Let q be g(3). Solve -1 = 3*w + q for w.
-4
Suppose -7*j - 6 + 6 = 0. Suppose j = -14*y - 9 + 121. Solve -4*k + y*k = 8 for k.
2
Suppose 5*z - 2*z - 12 = 0. Suppose -7*m = -z*m. Solve m*l - 2*l = -4 for l.
2
Suppose -8*z + 7*z - 4*g = 3, 0 = -5*z - 4*g - 31. Let r be 0 + 4*2 + 1. Let c be z/(42/r)*-18. Solve 0 = 4*m + 7 - c for m.
5
Suppose -r + 9*r = 5*r. Suppose r*j + 20 = 5*j. Solve 2*a + 0 = -j for a.
-2
Suppose -5*h + 4 - 14 = 0. Let j be ((20/(-15))/h)/(4/30). Solve -j*g + 12 = -3 for g.
3
Let u be (0 + 0 + 1)/(43 - 42). Solve 7 - u = 3*f for f.
2
Let t(j) = j**2 - 18*j - 169. Let s be t(25). Solve -8*l + 2 = -s for l.
1
Let l be (2/7)/(9/315). Suppose -26*n = -21*n - l. Solve -4*s = -6 - n for s.
2
Let o(w) = 4 - 13*w + 14*w - 14. Let h be o(12). Solve h*a = 3 - 7 for a.
-2
Let q be (-4)/(-6) + (-22)/(-3). Let o(x) be the third derivative of x**6/120 + x**5/15 + x**4/8 + x**3/2 + 24*x**2. Let d be o(-3). Solve -y - d + q = 0 for y.
5
Let r = 11 + -7. Suppose -r*k + 16 = 4. Suppose 2*m = 5*t - 25, -k*t + 2*m = -4*t - 7. Solve -16 = -w - t*w for w.
4
Let s be (4/2 - 48) + 2 + -5. Let o = s + 49. Solve 3*q + o*q + 15 = 0 for q.
-5
Suppose 13*w - 11*w - 2 = 0. Suppose -b = 5*x + w, -3*b + 4*x + 24 = 2*b. Solve 3*m + b = 16 for m.
4
Let n = 533 - 522. Solve 7*c - n = 3 for c.
2
Let y be -24 + (0 + -4 - -6). Suppose -4*h = -2*b + 690, -h - 3*b = 2*h + 504. Let n be 4/y - h/33. Solve n*k - 11 = 14 for k.
5
Let d = 13 - 10. Suppose -o + 4 = -1. Suppose -o*i = -19 - 16. Solve -d = -2*g + i for g.
5
Let p(c) = -2*c**2 - 4*c - 3. Let d be p(-3). Let k be d + 6/2 + 1. Let l be 4/10 + 2/k. Solve l = 2*q - 4*q - 2 for q.
-1
Suppose -h - 17 = -4*f, 0 = -11*f + 10*f - h + 3. Solve -f*i - 4*i = -16 for i.
2
Suppose 112*y = 18*y + 564. Solve y = -u + 7 for u.
1
Let l = -45 - -49. Suppose 3*z - 32 = -l*u, 3*u - 7*u + 28 = 2*z. Solve 7*b = 3*b + z for b.
1
Let t be (20/16 - 1) + (-33)/(-12). Solve 16 = t*f + 25 for f.
-3
Let o be (-17 - 3)*(-2)/4. Suppose o*l - 14 = 8*l. Solve 2*g - 3 = -l for g.
-2
Let r be ((-36)/(-30))/(