et a(n) = n**2 - 9*n. Let q be a(9). Suppose -2*o + 2*m + 20 = 0, 0 = o - q*m - 4*m - 22. Suppose 2 = c + 2*r, 4*c = 4*r - o*r + 14. Solve 4 = -c*i + 20 for i.
4
Suppose -5*t + 75 = -2*r, -2*r - 45 = -3*t - 3*r. Suppose 7*o - 2*o = t. Solve o - 11 = -4*h for h.
2
Suppose -4*o - 16 = -4*w, 2*o - 3*w = w - 18. Let d(b) = 0 + 5*b + o - 4. Let j be d(3). Solve -2*u = u + j for u.
-4
Suppose k - 5*k = -24. Solve h - k + 7 = 0 for h.
-1
Let w(n) = -n + 5. Let r be w(5). Let f be (-30)/(-9) + 3/(-9) + 1. Suppose -4*v = -4*q + q - 11, r = -4*v + f*q + 8. Solve -4 = -m - v for m.
-1
Let q(o) = o + 11. Let i be q(-9). Let g be (3 + -1 - i)/1. Solve -h + 0*h = g for h.
0
Let q(y) = y**3 - y**2 - 2. Let p be q(2). Suppose p*k = -0*k + 10. Solve -21 = k*n - 1 for n.
-4
Suppose 2*z - 7 = z - w, -25 = -5*w. Solve -z + 1 = -p for p.
1
Let y(k) = k**3 + 9*k**2 + 1. Let t be y(-9). Solve t = -5*r - 4 for r.
-1
Let x(h) = -h**2 + 8*h - 12. Let y be x(6). Solve b - 7 + 10 = y for b.
-3
Suppose -2*b = -0*d - 2*d + 40, 3*d - 20 = -5*b. Solve -3*i = -0*i + d for i.
-5
Let w(n) = -n**2 - 7*n - 3. Let r be w(-5). Let g(p) = p**3 - 8*p**2 + 7*p - 3. Let x be g(r). Let u = x - -5. Solve -u*z - 1 = 1 for z.
-1
Suppose 0*z + 9 = -z. Let h be (z/(-3) - 2)*4. Solve 9 + 7 = -h*c for c.
-4
Let x = -1 - 2. Let k be (-2 - (x - -1)) + 8. Let n(o) = -3*o - 3. Let c be n(-5). Solve 0 = -5*h + k + c for h.
4
Suppose 0 = t + j + 9, 5*t = -j + 5*j - 18. Let s be (-5)/(-3) - 2/t. Let y be 0*3/9 + 4. Solve 0 = -s*a - y - 4 for a.
-4
Suppose -16 = 3*b - 7*b. Solve b*a + 3 = 3*a for a.
-3
Let p(u) = -3*u**2 - 2*u + 1. Let n be p(1). Let f(m) = -m**3 - 3*m**2 + 2*m - 4. Let z be f(n). Solve -z*i = 8 + 4 for i.
-3
Let h be (4 + -3)*(0 - 1). Let y be 1/(((-3)/6)/h). Solve -y*s = -0*s + 4 for s.
-2
Let b = -8 - -8. Suppose s + s = b. Solve s = 3*a + 4 - 1 for a.
-1
Let i be (-126)/26 + (-10)/65. Let x = -6 - i. Let j be ((-9)/3)/x + 7. Solve 2*r - 2 + j = 0 for r.
-4
Suppose 36*b = 38*b - 24. Solve 6 = 3*x + b for x.
-2
Let y = 40 - 36. Solve -1 = 3*t - y*t for t.
1
Let h = 10 - 10. Solve d + h + 4 = 0 for d.
-4
Suppose 0 = -2*c + 3*y + 11 + 2, -c - 2*y - 4 = 0. Let f(k) = -k + 12. Let x be 12/(-36) + 22/3. Let g be f(x). Solve -c*u - g = -u for u.
-5
Let l(i) = i**2 - 4*i + 8. Let y = -5 - -5. Suppose 3*n - 17 - 1 = y. Let z be l(n). Solve u = 5*u - z for u.
5
Let j = -22 - -32. Let s = j - 7. Solve -s - 12 = 5*i for i.
-3
Suppose 0 = c - o - 13, 4*o = -2*c - o - 2. Solve -c*x - 25 = -14*x for x.
5
Suppose -3*c - 2 = -5. Let k(d) = 3*d + 1. Let h be k(c). Suppose -j + 8 = 3*q - 9, 0 = j + h*q - 21. Solve -3*i = 4 + j for i.
-3
Let n(o) = -o**2 + 6*o - 6. Let r be n(5). Let d be (0 - r)/(1/(-3)). Let z(t) = -t - 2. Let f be z(d). Solve u = -0 + f for u.
1
Let x(d) = -3*d - 5. Let n be x(-2). Solve 3 + n = b for b.
4
Let j(u) = -u**3 - 3*u**2 + 5*u + 4. Let d(m) = m**2 - 3*m - 4. Let b be d(3). Let c be j(b). Solve 2*f = -c*f - 8 for f.
-4
Let r = 46 + -28. Let z = r - 3. Solve y - z = -2*y for y.
5
Let q be (1 - -1) + 4 + -2. Suppose -3 = -4*s + 5. Suppose -3*y - s*u = -25 - 7, 5*y = -u + 58. Solve 0*x - q*x = -y for x.
3
Suppose 4*j = 0, 3*m + 3*j = 74 - 2. Solve 1 + m = -5*p for p.
-5
Let p(r) = -r**3 - 2*r**2 - 2*r. Let o be p(-3). Solve v + o = -2*v for v.
-5
Suppose -4*h = 5*q - 10, -5*h - 5*q + q = -8. Solve h + 3 = -3*u for u.
-1
Let x(k) be the third derivative of k**5/60 - 7*k**4/24 + k**3 - k**2. Let b be x(6). Let j = b + 0. Solve j = s - 1 for s.
1
Let j(c) = -c**3 - 8*c + 0*c**3 - 2 - 9*c**2 + 4 + 1. Let f be j(-8). Solve -f*b + 4*b + 1 = 0 for b.
-1
Let v be 3*((-4)/12 - -1). Solve 0 = -v*o - o for o.
0
Suppose -16*x = -15*x. Let q(u) = u**2 - u. Let r(c) = -5*c**2 + 5*c - 4. Let d(i) = -6*q(i) - r(i). Let a be d(x). Solve -a*w - 2 = -2*w for w.
-1
Let p(b) = 2*b**2 - 9*b + 5. Let x be p(4). Solve w = -x - 1 for w.
-2
Let j(x) = -18*x - 8. Let f be j(-6). Suppose -f = -7*v + 2*v. Solve 0 = 2*h - 6*h - v for h.
-5
Let d be (-58)/(-4) - 2/4. Suppose -m + 247 = 4*h, -16 = 4*m + 4. Let x be d/h - 2/9. Solve x*s + 3*s = 9 for s.
3
Suppose n = -4*n + 4*h + 21, 4*n = -3*h + 23. Solve -4*i = -n*i - 3 for i.
-3
Suppose -21 - 18 = -3*g. Suppose -2*i = -g + 3. Suppose 4 = i*b - 21. Solve -b*d = 14 + 1 for d.
-3
Suppose -19 = f + 3*f - z, 0 = f - 3*z + 13. Let d be (-214)/(-14) - f/(-14). Suppose 3*y - 3 = 3. Solve 0 = -s - y*s - d for s.
-5
Let s be 2/(-5) - 34/(-10). Let v be ((-10)/15)/((-1)/s). Solve -5 + 13 = v*p for p.
4
Suppose 14*u = 12*u. Solve u*d + d = 0 for d.
0
Let y = 15 - 9. Let w = -4 + 9. Solve -w*j = -2*j + y for j.
-2
Suppose -8*r = -3*r - 5. Solve 3 = -4*z - r for z.
-1
Let u be 2 + (-2)/(2 - 0). Let g be 2/(-6) + 112/12. Let o = g + -5. Solve -u = t - o for t.
3
Let x = -33 - -46. Let g = x + 7. Solve -h + 6*h - g = 0 for h.
4
Let x be (-6)/(-6)*-3 - -3. Let s be (-2 - -3)*(5 + -1). Let y be (s/(-6))/(2/(-60)). Solve x = c + 3*c - y for c.
5
Let t(n) = 5*n + 4. Let b(r) = 6*r + 5. Let u(i) = 6*b(i) - 7*t(i). Let f be u(1). Let k = 3 + 0. Solve k = -f*o + 6 for o.
1
Suppose 0*u - 5*u + 125 = 0. Solve -4*v = v + u for v.
-5
Suppose 0 = 3*w + 5*h + 5, -5*h + 4 = 24. Suppose 5*i = -4*a + 8, a - 2 = -2*i - 0*i. Suppose -b = a*b - 6. Solve b = -w*s + 3*s for s.
-1
Suppose -5*u + 3*p + 0*p - 27 = 0, 4*u = 5*p - 19. Let z be u/15 - (-56)/(-10). Let m be 0/(z/2 + 1). Solve m = 3*t - 2*t - 3 for t.
3
Let y(s) = 11*s. Let h be y(1). Let x = h + -9. Let q be (-1*4)/(8/(-12)). Solve 0 = 2*v - x - q for v.
4
Suppose 0 = 3*l - 3 - 27. Suppose 6*b = l + 2. Solve 0 = -0*r + b*r + 10 for r.
-5
Suppose -2*d + 7*d + 10 = 0, 0 = 2*t + 2*d - 28. Solve -q = 3*q + t for q.
-4
Let g(r) = -r**2 + 11*r + 3. Let y(t) = t**2 + 8*t - 7. Let z be y(-9). Suppose 3*i + l = 5*l + 19, -4 = -z*l. Let s be g(i). Solve -5 = -4*o - s for o.
-4
Let f = 14 + -8. Solve -y + 1 = f for y.
-5
Let r be (-7 - 1)*(-15)/20. Solve 4 = 5*l - r for l.
2
Suppose 7*z - 11*z + 32 = 0. Solve 2*q + z = -0*q for q.
-4
Suppose -4*o = -2*o. Suppose 4*q - 12 = -o*q. Solve -2*r - q = r for r.
-1
Suppose 4*w - 46 = 5*c, -4*c = 5 + 3. Let z = 5 - w. Let u be (2/z + 1)*0. Solve u*s = s - 2 for s.
2
Let d(x) = -4*x**2 + x**3 - x + 4*x + 2*x**2 - 2. Suppose -2*l = l - 6. Let b be d(l). Solve -m = -b*m for m.
0
Let g(u) = u**2 + u + 5. Let r be g(0). Suppose b = 5 - 0. Suppose b*c = 13 - 3. Solve c*s - r = 3*s for s.
-5
Suppose -5*h + 15 = -0*h. Suppose 0 = -h*r - r - 28. Let q = r + 12. Solve -6 = -8*c + q*c for c.
2
Let x(r) = r**2 + 4*r - 5. Suppose -3*o = 5*z, 18 = -2*o - o + z. Let f be x(o). Let q be (-4)/18 + 114/27. Solve q*y + 16 = -f*y for y.
-4
Let b be 0 - 2/((-6)/21). Suppose -b - 1 = -2*x. Solve 3*o - x = 4*o for o.
-4
Let s = 4 + -3. Let v(f) = f**2 + 1. Let p be v(s). Suppose 0 = -2*d + 2 + p. Solve 6*w - d*w = 0 for w.
0
Let j(k) = 5*k + 27. Let t be j(-4). Solve -4 = -3*x + t*x for x.
-1
Suppose 2*h + 22 = -3*o + 4*o, h + 67 = 4*o. Solve 0 = -5*u + u - o for u.
-4
Suppose 1 - 21 = -4*g. Suppose -5 - 5 = -5*v. Solve 4*d - g*d = v for d.
-2
Suppose -13 + 4 = -k. Suppose -y + 3 = 5*v, -5*v + 2*y + y - k = 0. Solve -2*i + 0 - 2 = v for i.
-1
Let k(u) = -u + 9. Let x be k(6). Suppose q + 2*a = 7*a + 10, 3*q - 5*a - 10 = 0. Suppose t - 3 = -d, -3*d + q*d + 11 = 2*t. Solve -2*p - d = x*p for p.
-1
Let b be 1/1*(1 - 16/(-4)). Solve b*h - 12 = 3 for h.
3
Let a(v) be the second derivative of -v**3/6 - 2*v**2 - v. Let u be a(-6). Solve 0 = u*j + 2 + 2 for j.
-2
Let l(u) = -u + u**3 - 2*u**2 + u + 2 - 4*u + 1. Let n be l(3). Solve -5*j + 0*j - 20 = n for j.
-4
Suppose -4*p = -5*p + 1, 0 = -4*i - 5*p + 85. Suppose -6*j + 2*j = -i. Let o(b) = b**3 - 5*b**2 + 2*b + 3. Let u be o(j). Solve u = -4*y + 1 for y.
-3
Suppose q - 5*i - 1 = 0, -5*i = -8*q + 3*q + 65. Solve -k + 5*k = q for k.
4
Let q be 4 + (1 - (-6)/(-2)). Let u be 0 - (-3 - (-2 + q)). Suppose -4*x - 19 = 1, 2*x + 7 = -3*n. Solve u*f + n = -2 for f.
-1
Let i be (11 + -11)/(2 - 1). Solve i = -f - 3*f + 4 for f.
1
Suppose 0 = -2*o - 12. Let w be 6*((-3)/o)/1. Solve w = -h - 0 for h.
-3
Let x(d) = d**2 + 8*d + 10. Let r(a) = a**3 + 11*a**2 + 10*a - 12. Let p be r(-10). Let b = -19 - p. Let t be x(b). Solve -3*v + 6*v + t = 0 for v.
-1
Suppose -2*p + 5*o + 0*o = -11, -3*o