 for n.
-4
Let k(t) be the second derivative of 3/2*t**2 - 1/3*t**3 + 25*t + 1/12*t**4 + 0. Let u be k(2). Solve 0 = 4*w + o + u*o + 12, -3*w - 23 = -4*o for w.
-5
Let t be (66/165)/((8/30)/(28/21)). Solve -x - 4*h + 6*h = 3, 0 = -4*x - t*h - 12 for x.
-3
Let f be (4 + 39/(-9))*-27. Suppose 4*d - 11 = f. Let i(t) = 4*t + 71. Let w be i(-13). Solve -3*a = -2*a + d*g - w, -a - 2*g = -10 for a.
4
Let m(a) = 4*a - 51. Let o be m(16). Let v(l) = l**3 - 12*l**2 - 8*l - 60. Let y be v(o). Solve 0 = 4*u - y*n - 7, 2*u - 8 = n - 3*n for u.
3
Let v(n) be the first derivative of n**4/4 + 3*n**3 + 19*n**2/2 + n - 38. Let q be v(-5). Solve -3*c = -q*c + 3*s - 6, 3*s + 22 = -4*c for c.
-4
Suppose 44*f - 58*f + 390 = 64*f. Solve 5*w + f*t = 0, -18*w - 27 = -22*w + 5*t for w.
3
Let h = -566 - -566. Suppose -1 = -c - h*c, -2*c = l - 7. Solve z + 5*m - l = 6*z, -1 = 4*z - m for z.
0
Let m(s) = 142*s - 3264. Let v be m(23). Solve -v = -d, -j - 11*d = -7*d - 6 for j.
-2
Suppose -148 = 5*v + 32. Let l = v + 46. Let m(d) = d**2 - 8*d - 17. Let u be m(l). Solve -2*i = -u*i + q - 6, -4*q = -5*i - 26 for i.
-2
Suppose -34 = 60*g + 35*g - 112*g. Solve -9 = 3*d - 4*j + j, g*j = 5*d for d.
2
Suppose -w - 1 = -3. Let c(s) = -484*s + 20328. Let t be c(42). Solve l + w*j + t = 1, 2*j = -3*l - 1 for l.
-1
Let h be (3 - 2) + 1 + 1. Let m be 3*1*-3*(-35)/105. Let b be 8 + m*(-3)/h. Solve b = z + 5*p, 0 = -5*z + 2*z + p - 17 for z.
-5
Suppose 3 + 13 = 4*m. Let b = 9 - m. Solve -5*d + 0*k - 5 = 5*k, b*d - 9 = 2*k for d.
1
Let t be (16/(-4))/((-6)/9). Let d(m) = m**3 - 6*m**2 + 3*m - 14. Let q be d(t). Solve -z - 14 = 4*k, -3*k + 7*k - q*z + 24 = 0 for k.
-4
Let c be -2 - (-3 - (-12)/(-3)). Suppose 5*b = 11 + 14. Let o be 31 - ((-20)/(-4))/b. Solve -5*v - c*y - o = 0, -2*y + 7*y = 4*v - 3 for v.
-3
Suppose h + 8*h - 297 = 0. Suppose h*i = 14*i + 38. Solve m = i*m - 3*x, 3*x = -3*m for m.
0
Let h be (-3856)/(-7) - 5/(-70)*2. Let u = -551 + h. Solve -2*n + n + 5*s = 20, -5*n + 5*s = u for n.
5
Suppose -8 = -4*l - 0*l, 2*c = -5*l - 14. Let g(t) = 55 - 19 + 4*t + 3*t - 4*t. Let s be g(c). Solve 5*j - 3*p - 22 = s, 3 - 5 = -5*j - 2*p for j.
2
Suppose -3*h + 1043*a - 1046*a = -60, 2*h - 32 = -4*a. Solve 2*o + 4 = 5*g, -o - h = g - 22 for o.
-2
Let t(a) = 3*a + 99. Let r be t(-24). Let l be (-42)/112 + r/8. Solve 0 = -2*d + 4*g + 6, l*d + 4*g - 14 = d for d.
5
Let l(m) = 9*m**2 - 275*m + 151. Let d be l(30). Solve 5*s - d - 6 = 3*k, -2*k = -s + 7 for k.
-4
Let s(q) = q - 13. Let b be s(7). Let r be ((-25)/b)/(-1) + 20/120. Let m be 70/14 + (r - -2). Solve 5*z + m*c - 22 = 0, -4*c = -3*z - c - 6 for z.
2
Let g(n) = n**3 + 5*n**2 - 18*n - 43. Let s be g(-2). Solve 0 = -t - q - 2, 2*t + 0*q - s*q = -11 for t.
-3
Suppose 152*u + 2*w - 8 = 149*u, -13 = -4*u - 5*w. Solve 4*h - u = 2*x, -9*x - h = -7*x + 2 for x.
-1
Let l be 1074/45 - (438/90 + -5). Suppose 0 = 10*k - 18*k + l. Solve h + 19 = -k*y + 2, 4*y = -2*h - 24 for y.
-5
Let b = 661 + -636. Suppose -2*a + u = -25, 5*a = 2*a + 4*u + b. Solve n = -3*n + 20, -5*w = 5*n - a for w.
-2
Let r be 9 + -12 - (-88 - (-3 + 3)). Let v = -83 + r. Solve -4*i + 2*z - 3*z - 5 = 0, 5*i - v*z + 3 = 0 for i.
-1
Let w be (-495)/(-3)*2/((-24)/(-4)). Let a(t) = t**2 - 53*t - 101. Let v be a(w). Solve 2*u + 2 = 0, -3*u = 7*i - 11*i - v for i.
-3
Let h = 5834 + -5831. Solve -5*r = 4*n + 17, -r = h*n + r + 4 for n.
2
Let i(t) = -t**3 + 32*t**2 + 34*t + 20. Let v be i(33). Suppose -21 = 16*g - v. Solve 0 = -4*l + s + 9, -13 = g*l + 4*s + 5 for l.
1
Suppose 0 = 3*a + a - 8. Let n be 2/((-63)/((-1575)/50)) - (-11 + -1). Solve a*s + 3*h = s + n, -4*s - 5*h + 17 = 0 for s.
-2
Let g(w) = w**3 + w**2 - 26*w + 6. Let v(k) = k**3 + k**2 - 27*k + 7. Let u(x) = -7*g(x) + 6*v(x). Let b be u(-5). Solve 2 + b = -2*q, l + q + 5 = 0 for l.
-4
Suppose -5*h - h = -870. Let r = h - 142. Solve 2*j + 20 = 4*l, l - 10 = 4*j + r*l for j.
-4
Let b(w) = 9*w**3 - 6*w**2 - w + 14. Let p be b(-4). Let x = p - -660. Solve -3*h + 2*o + 0 = -1, 0 = 5*h + o - x for h.
1
Let x be (-25668)/(-3588) + (-2)/13. Solve x*u - 10*u = -2*i + 20, -4 = -4*u - 5*i for u.
-4
Let s(b) be the first derivative of b**2/2 + 17*b + 4. Let r be s(-12). Suppose 4 = -r*k + 7*k. Solve 3*i - 17 = -f, -k*f + f - 15 = -5*i for f.
5
Let m = -256 + 258. Suppose 4*o = -3*c + 12, 3*c + 17 = -2*o + 29. Solve 4*a + c = -3*f + 5*a, -7 = 5*f - m*a for f.
-1
Let z be 16*9/(-192)*-4. Solve -4*s = -5*l - 22, -5*s + 20 - z = -l for l.
-2
Let j be -8*(-3 + ((-39)/2)/(-3)). Let h be (210/15)/(j/(-8)). Solve -2*u - 12 = 5*k - 0*u, h = u for k.
-4
Let m = 2 - 1. Let d = -177 + 141. Let u be (d + 36)*2/4. Solve -3*c + 4*s - m = u, -2*c + 3*s = 6*s - 22 for c.
5
Suppose 2*q - 4*u = 318, u + 42 - 45 = 0. Solve 2*m + 162*j - q*j - 20 = 0, -4*j = 5*m - 4 for m.
4
Let o = -408 + 414. Suppose 2*m + 4 = 4*s, -o*s - 5*m + 20 = -s. Solve -3*b + s*i + 5 - 4 = 0, 4*i + 14 = 2*b for b.
-3
Suppose 4*v + 101 + 53 = 2*k, 5*v = -3*k - 187. Let d = 0 + v. Let c = 42 + d. Solve -c*w = -x - 1, 2*x = -w - 4*w - 2 for w.
0
Suppose -28*t - 332 = -111*t. Solve 35 = 2*n + 37, -3*i + 11 = t*n for i.
5
Let d = -28 - -66. Let r = 23 - d. Let k = r - -15. Solve -i + 3*n - 16 = 0, k = -5*i + 3*i + n - 12 for i.
-4
Suppose 4*l + 4*p = 44, -l + p + 36 = -3*p. Suppose 45 = l*o - 147. Solve 2*s + i + i - o = 0, 3*s + 2*i - 13 = 0 for s.
1
Suppose 0 = -5*l + 31581 - 31566. Solve -l*t = -15, 0*t = -o + 3*t - 14 for o.
1
Let g(t) = t + 3. Let s be g(-3). Suppose 2*w + w = s. Let v be (-8)/60 + 564/180. Solve 5*y + 2 = v*q + 4*y, w = 3*q + y - 10 for q.
2
Let o(y) = y**2 + 23*y + 23. Let p be o(-17). Let u be p/(5 - 342/69). Let k be u/(-253) + (-2)/11. Solve -4*z + 1 = -2*d + 11, 5*d - 4*z - k = 0 for d.
-1
Let f(o) = 2*o**2 + 7*o - 21. Let p be f(6). Suppose p = 3*a - 0*a. Let d = -11 + a. Solve -3*b - d = -4*b + 5*l, 3*b - l = 4 for b.
0
Let w(k) = -k**3 - 4*k**2 + 9*k + 3. Let r be w(-6). Suppose 3*i - 180 + r = 0. Suppose 0 = -55*y + i*y. Solve -5*j - 25 = 0, -t - 2*j + y*j - 10 = 0 for t.
0
Suppose 2*z + 0*p = -2*p, 3*p = 3*z - 18. Let v be 2/z - (-4)/(-6). Suppose 26*b = -55*b - 9*b + 2790. Solve 4*n - b = 5*d, -4*d - 2*n + v*n = 4 for d.
-3
Suppose -3*q = -z - 10, -3*z - 3 - 9 = 0. Let c = -306 + 306. Solve y - q = 0, -3*y + 6 = -c*s + s for s.
0
Let l(s) = s**3 + 15*s**2 + 38*s - 117. Let a be l(-10). Solve -y + 4 = o, -a*y - 12*o - 28 = -17*o for y.
-1
Suppose -4*b - 25 = -l, 2 = 3*l + 4*b + 7. Let p be l/((9 - 4)/10). Let u be (4 + 1)*p/10. Solve -u*i - 5 + 13 = -w, 0 = -5*w + i - 16 for w.
-3
Suppose -6*b - 98 = -13*b. Suppose 2*c = 3*u + c - b, u = 3*c + 10. Solve v = u*v - 4*g - 8, 4*g = -5*v + 24 for v.
4
Let r be (6/4)/(21/28). Let t be (-64)/192 - 3/9*-1. Solve t = 5*q + r*b + 26, -15 = 5*q - b + 2 for q.
-4
Suppose 109*a = 95*a. Let i(s) = s**2 + 28*s + 160. Let z be i(-20). Solve 2*u = -c - a*c + 6, c - 2*u - 2 = z for c.
4
Suppose 6*l - 1557 = -3*l. Let s = 176 - l. Solve -7 = 7*f - 2*f - s*w, -3*w = -2*f - 1 for f.
-2
Let s be 1 + (0 - -35 - 1/1). Let u = s - 13. Suppose u*i = 23*i - 5. Solve 5*b - i = -4*d, -d - b - 10 = 4*b for d.
5
Let w = 5793 + -5790. Solve -3*d = 3*a - 7 + 25, -8 = w*a + d for a.
-1
Suppose 20*j = 15*j + 85. Let h = j + -19. Let y be (6/(-4) - 1)*(-4 - h). Solve -3*q + 9 = 2*z - z, 17 = y*q + z for q.
4
Suppose -21*t = 5*d - 20*t - 60, 4*d - 48 = -t. Let u(o) = -o**2 + 14*o - 19. Let f be u(d). Solve b - 24 + 7 = 4*z, 0 = 4*b - f*z - 35 for b.
5
Let r(p) = -p**3 + 2*p**2 + 18*p - 33. Let c be r(2). Solve -2*x + 3*d - 4*d - 2 = 0, -1 = c*x + d for x.
1
Let a be 127 - (4 + -13 + 6). Suppose -14*k + 40*k = a. Solve -2*l - 1 = k, -4*l - 28 = -4*b for b.
4
Let f(i) be the third derivative of -13*i**2 + 0 + 0*i + 1/24*i**4 - 7/6*i**3. Let b be f(7). Solve -c - 18 = w - 6*w, w - 3 = b for c.
-3
Suppose -3*n - 138*w + 140*w + 114 = 0, 27 = n + 3*w. Let m(u) = u**3 + u**2 + u + 1. Let z be m(0). Solve -5*d + z + 9 = 2*c, 0 = -4*c + 4*d - n for c.
-5
Let k(c) = c**2 + c. Let b be k(-2). Suppose 2*i + 5*v + 414 = v, -i - 3*v - 202 = 0. Let a = -188 - i. Solve u = 5*h - 5, -5*u = -0*h + b*h - a for h.
2
Let p = 8663 + -8661. Solve 4*y = p*y + 4*j - 12, -3*y - 15 = -5*j for y.
0
Let y(p) = -5*p + 56. Let w be y(8). Let d(z) = -z**2 + 4*z