30 for n.
-1
Let f(o) = o - 9. Let g be f(9). Solve g = n - 3*s + 5 + 4, 1 = -n - s for n.
-3
Suppose 5*b - 54 = c, c - 3 = b - 17. Let y = -7 + b. Let p be (-318)/(-27) + (-4)/(-18). Solve -x - 3*s = 2 + p, -y*x = 4*s + 17 for x.
1
Let d(i) = 6*i - 2. Let n be 12/4 + (1 - 3). Let h be d(n). Solve 0 = -0*c - c + 3*k - 14, -h*k = -c - 18 for c.
-2
Suppose 5*b + 2 = p + b, 0 = -5*p - 2*b + 54. Let w be ((-5)/p)/(2/(-52)). Solve 5*u - w = -3*a, 5*a - 12 = -3*u - 1 for a.
1
Let t(s) be the third derivative of -s**6/120 + s**5/6 + s**4/12 - 5*s**3/2 + 2*s**2. Let z be t(10). Solve 2*o + z = 5*v, -o = -4*o for v.
1
Suppose -10*m = -3*m - 182. Solve -4*y - m = 2*r - 0*r, 0 = 3*y - 2*r + 2 for y.
-4
Let y be (-1 + 6 - 5)/(-1). Solve 5*a + u = 2*u - 4, -4*a - u - 5 = y for a.
-1
Suppose -3*i + 16 = 1. Let c = 69 - 53. Solve i*s = -4*z + 36, -2*z - 5*s + c = -3*z for z.
4
Suppose b - 7*o + 25 = -2*o, 5*o - 25 = 3*b. Suppose y = -0 + 3, b = -5*h + 3*y + 26. Solve i = -3*d - h, i + 6 - 27 = 4*d for i.
5
Suppose 0*f - 4 = -2*f. Solve -3*i + f*v - 23 = 0, -2*v - 13 + 1 = 4*i for i.
-5
Suppose 0 = z - 0*t + 2*t + 4, 5 = -5*z + 5*t. Let a be (-20)/z - (-14 + 11). Solve -a = 5*j - 4*x + 5, 4*j - 2*x + 12 = 0 for j.
-2
Let g = 149 + -33. Let n be 2/12 - g/(-24). Let d = -4 + 6. Solve 5*j - 25 = 5*k, 0*k - 22 = d*k - n*j for k.
-1
Suppose 2*x + 2*v = -36, -32 = 5*v - 12. Let w = -11 - x. Solve -3*g - 12 = w*q - 3, -2*g = q + 8 for q.
2
Suppose -2*v + 2*i = -50, -5*v + 0*v + i = -125. Suppose 0 = 3*j - 8*j + v. Solve -2*g - 7 = 3*g + 2*k, -1 = -j*g - 4*k for g.
-3
Let l = 45 - 25. Let w = 3 - 22. Let c = 29 + w. Solve -5*u + 2*u = 5*p + c, p - l = -5*u for p.
-5
Let z(p) = p - 4*p + 0 - 4. Let m be z(-2). Solve -m*n - 5*g + 5 = 14, n + 5 = -3*g for n.
-2
Let f(m) = m. Let l(g) = g**3 - 9*g**2 + 7*g + 9. Let q be l(8). Let y be f(q). Solve 5*x - 3*s + 30 = 0, 0 = x + 2*s - 8 + y for x.
-3
Let r = -125 - -128. Solve h = 2*z + r, -h + 11 = -5*z + z for z.
-4
Let a(j) = 2*j**2 - 2*j - 3. Let i be a(-3). Suppose 3*f - 35 = 2*p, 2*f + 3*f - 28 = p. Let g = p + i. Solve 2*k = x - g, 5*x + 3*k = -11 - 1 for x.
0
Suppose -z = -0*z + 2. Let u = 5 + z. Solve 2*g + 2*v - v + u = 0, 0 = -4*v - 12 for g.
0
Let v be -5*(-1 + 3 - 1). Let l be v*(-7*1 - 2). Let q(a) = a**2 + a - 3. Let h be q(-3). Solve 4*t - 28 = 2*y, h*t - l = 5*y - 2*t for y.
-4
Let b = 0 + 2. Let t(o) = -o**2 - 4*o + 1. Let y(f) = -f**3 - 2*f**2 + 5*f + 3. Let m be y(-3). Let g be t(m). Solve 2*w + b*w - l = 4, -g*l = -3*w - 10 for w.
2
Suppose -4*v = -2*v. Suppose -3*x + 12 + v = 0. Solve -w = -4*b + 7, x*w + 13 = -4*b + 45 for w.
5
Suppose 2*d = 5*d - 15. Solve -d*o - 2*f = -16, -6 = 5*f + 4 for o.
4
Let l(n) = 2*n - 9. Let g be l(6). Suppose 0*c = c - g. Solve -3*h = 2*h - y - 19, -4*h - c*y = 0 for h.
3
Let j = -2 - -1. Suppose -h + 4 = 4*g - 11, -4*g = 2*h - 18. Let l = j + h. Solve m = -3*a + 6 - 0, 5*m = l*a + 13 for a.
1
Let u = -5 + 5. Suppose 4 = 2*j - u*j. Solve 3*g = -0*n - 3*n, -j*n = 4*g for g.
0
Let f be 48/(-64) - 111/(-4). Solve 5*r = -s - f, 0*r + 5*r - s + 23 = 0 for r.
-5
Suppose -5*n = -10 - 10. Solve 10 + 4 = -2*l + n*h, -l = -4*h + 13 for l.
-1
Let y(s) = -s**3 - 4*s**2 - 2*s - 5. Let g be y(-4). Solve -k - 11 = 3*d, -g*k + 5*k = 5*d for d.
-2
Let p(a) = -a - 10. Let x be p(-12). Suppose 4*t + 2*q = x*t + 8, 0 = -5*q - 5. Solve 19 = -4*y - 2*v - v, 0 = -t*y + v for y.
-1
Let l be (-2)/7 - 64/(-28). Suppose 5*h + 0 = -5. Let g = h + 4. Solve 4*c + l*m + 2 = 0, 0*m - 3*m - g = -2*c for c.
0
Let p(o) = 4 - 1 + 8 - 2*o + o. Let d be p(9). Solve -2*v = d*v - y + 16, -3*y = -5*v - 20 for v.
-4
Let x(i) = i**3 - 6*i**2 + 6*i - 1. Let c be x(5). Suppose 2 = -c*m - 2. Let z be -2 + 9 - (-1 + m). Solve 4*f + 5*t = z, 4*f - 5 = -2*t + t for f.
1
Suppose -h - 5*v - 6 = 0, 5*v + 1 = 2*h - 2. Let z = h + 5. Let p(n) = -n**2 + 25*n - 146. Let y be p(14). Solve o - l + 2*l = -2, -4*o + z*l - y = 0 for o.
-2
Let f(o) = o**3 + 3 + 5 - 6*o - 4*o**2 - 1. Let m be f(5). Let s(v) = -v**3 + 20*v**2 - 16*v - 40. Let y be s(19). Solve -y = -0*q + 3*q - g, m = g for q.
-5
Suppose -4*m + 53 = k, -4*m = -5*k + 3*k - 62. Let p = 16 - m. Let t = -23 - -39. Solve h + p*h - t = -4*b, b - 4 = -4*h for b.
4
Let w = 13 + -10. Let o be 12/18 - (-4)/w. Solve 15 = 2*i + 3*a + 36, -o*i - 31 = 5*a for i.
-3
Suppose 3*x = -5*j + 26, x - 10 = j - 3*j. Let g(y) = -5*y. Let u be g(1). Let l be (-2)/(-5) + (-68)/u. Solve 0 = -x*r - r + 9, -o - 3*r + l = 0 for o.
5
Let b(a) = -a**3 + 28*a**2 + a - 24. Let l be b(28). Solve 0 = -k - 3*k + 5*m, l*m = 5*k for k.
0
Let t(z) = -z**2 + 7*z + 10. Let r be t(8). Suppose -r*w - 4 + 10 = 0. Solve -5*o = -25, -3*o + 3 = w*y - 6 for y.
-2
Let w(v) = 3*v - 15. Let k(p) = -21*p + 105. Let t(a) = -4*k(a) - 27*w(a). Let g be t(6). Solve h = -s - 4, -g*h + 5*s = 2*s + 18 for h.
-5
Let m(q) = q - 7. Let h be m(9). Solve 11 = 2*s + y, -h*s - s + 29 = 4*y for s.
3
Suppose 0 = 3*j + 15 + 3. Let i(f) = f**2 + 3*f - 4. Let a be i(j). Solve 0 = -g - c, 5*c + 13 = 4*g - a for g.
3
Let y(o) = 2*o - 11. Suppose -16 - 5 = -3*k. Let v be y(k). Solve -4*x = -v*z - 16, 16 = -4*z - 0 for x.
1
Let g = 5 + 1. Let v(n) = -n**3 + 4*n**2 + 1. Let r be v(4). Solve r = -l + 2*s, s - g + 2 = -3*l for l.
1
Let a(n) be the first derivative of 5*n**2 - 1/3*n**3 - 3 - 8*n. Let b be a(8). Solve -1 = u, 5*u + b = -5*i - 17 for i.
-4
Let a = -1 + 23. Suppose 0 = 3*r - r - a. Solve m - r = 3*f, 2*m = f - 4*f - 23 for m.
-4
Let z be (-2)/(-9) - (-212)/18. Suppose -8*p + z = -4*p. Solve p*f = -2*u - 20, 4*u + 1 = -15 for f.
-4
Let t(k) = -k**2 + 2*k + 2. Let g be t(2). Solve g*c = 5*j - c - 19, 2*j - 4*c - 16 = 0 for j.
2
Let v = -4 + 6. Let s = 5 + -5. Solve -3*c + v*m + 2 + 8 = 0, s = -c + m + 4 for c.
2
Suppose 34*z - 12 = 30*z. Solve -4*l = 0, -4*j - 5*l = 9 + z for j.
-3
Let p be 0*(-2 - -1)*1. Suppose b + 0 - 4 = p. Solve -2*h = 2*h - 20, 0 = -4*v - b*h + 32 for v.
3
Suppose -2*h + 35 + 1 = 4*u, 5*u + 4*h - 42 = 0. Suppose 0*v + 14 = -2*v. Let b = v + u. Solve x - 33 = 3*x + 5*d, -b*d = -4*x - 1 for x.
-4
Let b(j) = -j**2 - 6*j + 11. Let p be b(-5). Let c = -13 + p. Solve u = r - c, u = 3*r + 6*u + 7 for r.
1
Let d(j) be the third derivative of -j**5/60 - 5*j**4/24 + j**3/6 + 2*j**2. Let c be d(-4). Solve -z = c*a - 23, 0 = 2*z + 1 - 7 for a.
4
Let z be 2 + (-3 - (3 + -4)). Solve -5*b + 17 = 3*y, -b = -y - z*b - 5 for y.
-1
Let i = 57 - 51. Solve 5*m + i*k = k + 5, 2*m + 4*k = 10 for m.
-3
Let i = -6 + 7. Let s = i - -2. Suppose k - s*p = 14, -8*p + 3*p - 22 = -k. Solve w - r = 6, -w + 14 = 3*w - k*r for w.
1
Let g = 16 - 16. Suppose g*t - 4*t + 20 = 0. Solve -3*l = -5*o - l - 22, 2*o + 3*l = -t for o.
-4
Suppose 2*i = -4*y - 0*y + 20, 5 = -5*y + 5*i. Suppose -b + 3 = 2*n, 3*n + 18 = -0*n + y*b. Let x = n - -5. Solve -6 = -7*k + x*k - 5*r, -k + 5*r = -2 for k.
2
Let j be (168/16)/((-6)/(-16)). Solve -6*z + 2*z + j = 5*r, -3*z + 6 = 0 for r.
4
Suppose 2*d = -3*d. Let b be ((-15)/6)/5*d. Solve 4*r + o + 12 = 0, b = 2*r + 2*o + 3*o + 6 for r.
-3
Let j = -5 - -13. Let c be (-122)/(-10) - j/40. Solve 0 = 3*r - 3*w - 24, c = -0*r + r - 2*w for r.
4
Let t be (1 + 5)*2/3. Solve -3*n + t*n = 4*v, 14 = 4*n - 2*v for n.
4
Let h(a) = -a**3 - 8*a**2 - 7*a + 8. Let g be h(-7). Suppose -2*c + c = 3*q - 12, -3*c - 2*q + g = 0. Solve -5*m = -5*w + 20, c*m - 5*m = 15 for w.
1
Suppose 22 = -3*o + 43. Let q = 4 + -4. Suppose -4*l - 7 + 27 = q. Solve -5*n - 25 = -l*x, o*x - 3*x = -2*n + 14 for n.
-1
Let o(y) = -y**3 + 4*y**2 + 5*y + 4. Let r be o(5). Suppose -5*d + r*z + 22 = -3*d, 0 = 3*d + 2*z - 17. Solve -5*j = -3*f + 16, 34 = -5*j + 4*f - d*f for j.
-5
Suppose 2*w - 18 = 2*y, 0*y + 19 = 3*w - y. Suppose -1 = -2*d + w. Let s be 1 - (0 - d)/3. Solve -s*g + 5*p = -14 + 38, 20 = -4*g + 3*p for g.
-2
Let o = 11 + -7. Suppose 2*b - 4*v + 8 = 0, 0 = -4*b + 2*b + 5*v - 10. Suppose 10*q - 7*q - 6 = b. Solve 0 = 2*t - o*g - 14, q*g - 11 = -7*t + 2*t for t.
3
Suppose -3*t = -5*t + 6. Suppose 0 = t*h - 0*h. Suppose h = w + 4*w. Solve w = -2*d + p + 3 + 1, 0 = d - 4*p - 2 for d.
2
Let s(u) = u**3 - 3*u**2 - u - 8. Suppose -3*y + 15 - 3 = 0. Let x be s(y). Solve -t = 5*r - 14, -4*t = -0*t + x for r.
3
Let w(f) = f**3 - 3*f**2 + 3*f + 2. Let h be w(2)