n.
5
Let d(k) = k - 1. Suppose 3*l = -0*l + g + 19, -5*g - 35 = -3*l. Let m be d(l). Solve 7*x - m*x = 6 for x.
2
Suppose 1 = -4*x + 5. Suppose 4*m + x - 9 = -4*r, -14 = -3*m + 5*r. Solve 0 = -v - m*v + 20 for v.
5
Let t(m) = -m**3 - 15*m**2 - 14*m + 1. Let j be t(-14). Solve 2*r + 9 + j = 0 for r.
-5
Let o be (21/6 + -4)*-10. Solve 0 = w + o - 3 for w.
-2
Let m(f) = f**3 - 8*f**2 + 5*f + 3. Let g be m(7). Let w = g + 19. Let p = w - 5. Solve c = -2 + p for c.
1
Suppose 15 = -4*l - 3*p, 5*p + 20 + 5 = 5*l. Solve -r - 3*r = l for r.
0
Let v(n) = 3*n + 5. Let o(y) = 8*y + 14. Let s(q) = 6*o(q) - 17*v(q). Let i be s(-1). Solve 16 = -2*r - i*r for r.
-4
Suppose 0 = -3*n - 27 - 6. Let s(p) = p**2 + 11*p + 2. Let d be s(n). Solve g + d + 2 = 0 for g.
-4
Suppose 2 = -j + 4. Suppose 41 = q - j*v - 14, 5*q + 5*v = 200. Suppose 3*d - q - 15 = 0. Solve -4*h + 9*h = d for h.
4
Let i(c) = c**3 + c**2 + c + 2. Let t be i(-3). Let x = -11 - t. Solve r - x = -r for r.
4
Let h be 0 - 3/(3/(-2)). Solve 0 = 5*f + 3 + h for f.
-1
Let o = 7 - 4. Let r = 34 + -21. Suppose 4*g = -1 + r. Solve -6 = -g*u + o for u.
3
Let o be 4 + (-3 - -15 - -1). Let l = o - 16. Solve -h - 3 = l for h.
-4
Let h(u) = -u**3 - 7*u**2 - 6*u + 4. Let a be h(-6). Solve 8*k = a*k + 16 for k.
4
Let s(i) = i**3 - 14*i**2 - 15*i. Let y be s(15). Solve -4*x - 5 - 15 = y for x.
-5
Suppose 5*z - 6 = 4*z. Suppose 3*f + z = 3*g, -g = 5*f + 3*g - 26. Solve 7 = f*y + 3 for y.
2
Suppose 4*t + 0*t = -5*f - 7, -4*t + f + 11 = 0. Suppose 7 = t*n + 1. Suppose -n*d = d. Solve d = -0*m + m + 5 for m.
-5
Let f = 10 + -6. Suppose s + 6 = f*s. Suppose s*a - 6 = -2*n, 3*a - 2*n + 8 - 17 = 0. Solve 0 = a*i - 5*i + 10 for i.
5
Suppose 15 = -2*y + 23. Solve -2*g + 2 = y for g.
-1
Suppose 0 = -5*n + 1855 - 705. Let a be ((-2)/(-4))/(5/n). Let b = -1 + 5. Solve -7 + a = b*v for v.
4
Suppose -12 = -b - 3*b. Suppose -b*s + 17 = 2*c, -3*c + s + 5 = -c. Solve 14 = -c*a + 2 for a.
-3
Let q be 2/4 - (-3)/2. Suppose -3*v = q*v. Suppose -2*u + 4*z = -0*u + 16, 29 = 2*u + 5*z. Solve v - u = 2*d for d.
-1
Let w(c) be the third derivative of 5/6*c**3 - 1/24*c**4 + 0*c - 2*c**2 + 0. Let l be w(0). Solve j = l*j + 20 for j.
-5
Let m(l) = -l + 9. Let x be m(-9). Suppose -17*y = -x*y. Solve 4*p - p + 6 = y for p.
-2
Let o be 6/8 + (-45)/(-20). Solve -g + 0 = -o for g.
3
Suppose 3*n = 8*n. Solve n = 4*s - 5 + 21 for s.
-4
Suppose 12 = -4*v + 32. Solve v*d = 3 - 13 for d.
-2
Suppose -6*k + 8 = -2*k. Solve k = -o + 5 for o.
3
Let g be (-2)/8 + (-232)/(-32). Suppose 3*b - g*b + 28 = 0. Suppose -s = s. Solve s = -2*f + b*f for f.
0
Let l = 38 + -38. Solve -7*z + 2*z - 25 = l for z.
-5
Suppose 2 = m - 0. Let i be 2 + 2/2*3. Suppose k + m - 12 = -4*g, g + 50 = i*k. Solve 0 = -3*d + d - k for d.
-5
Suppose 6*m = 7*m - 3*m. Solve u + m*u = 0 for u.
0
Let i = -23 + 27. Let g be -2*(-2 - -1)*1. Suppose -r + 45 = g*r. Solve -i*n = -9*n - r for n.
-3
Suppose 3*b + 44 = 3*w + 14, 0 = -2*w + 6. Let g = -5 - b. Let a = 16 - 10. Solve 4*d - a = g for d.
2
Let r(s) = s**2 + 5*s - 2. Let k be r(-6). Solve f = k*f - 9 for f.
3
Let p(m) = 9*m**2 + m - 1. Let z be p(1). Solve 0 = -3*t - 0*t + z for t.
3
Let u be (-4)/(-3)*6/4. Suppose -6*c - 4 = -2*c - u*v, -5*c + v = -1. Solve -3 = -g - c for g.
2
Let q(t) = 2*t - t**2 + 4*t - 2*t + 0*t**2 + 6. Let i be q(4). Solve -1 = -d - i for d.
-5
Let k be 4/2 + 2 + -2. Let g = 22 + -23. Let a = g + 3. Solve a*q + 12 = k for q.
-5
Let n(f) = -f**2 + 6*f + 4. Suppose -g - q - 1 = 0, -4*q + 10 = -g + 34. Let c be n(g). Solve -2*r - 2*r + c = 0 for r.
3
Let p = 12 - 6. Suppose -5*j = -p*j + 3*f - 9, 5*j + 55 = 5*f. Let r be (2*-2)/(8/j). Solve -l - r = -4 for l.
-2
Let p be (15/3 - 3)/1. Solve k = p*k for k.
0
Let i(q) = q**2 - 3*q + 2. Let t be i(3). Solve -t*s + 6*s = 0 for s.
0
Suppose -3*a = k - 12, -k + 2 = -2*k + 4*a. Let m(w) = -w**3 + w**2 - 2*w + 3. Let v be m(2). Let g = k + v. Solve -n + 4 - g = 0 for n.
3
Let i(g) = g**3 + 2*g**2 - 2*g - 4. Let o be i(-2). Solve -w - 2*w = o for w.
0
Suppose 28 = 8*s - 4*s. Let m = 7 - s. Solve -4*a - a = m for a.
0
Let w(r) = -3*r - 46. Let j(g) = 5*g + 69. Let h(p) = -5*j(p) - 8*w(p). Let x be h(11). Solve 0*y + 3*y = x for y.
4
Let u be ((-9)/(-2))/((-2)/(-4)). Suppose h = 5*x + 4*h + u, -9 = -x + 3*h. Solve -3*l = -x + 9 for l.
-3
Let x = 65 + -45. Solve 0 = w - 5*w + x for w.
5
Let t = -15 - -17. Suppose t*p = 4*p - 10. Solve p*a = -0*a for a.
0
Let w(g) = -3*g - 6. Let t be w(-3). Solve -3*r + t = -0*r for r.
1
Let d(y) = y**3 + y**2 - y + 2. Let a(p) = -p. Let i be a(2). Let x be d(i). Let o be (x - 1 - 0)*-4. Solve -2*l + o*l = 2 for l.
1
Suppose 0 = -5*u + 5*m - 10 + 40, 5*m - 10 = -3*u. Let z = 17 + -20. Let j = z + u. Solve j*n - 2 = -0*n for n.
1
Let b be (-1)/(0 + (-1)/3). Let j be (-32 + 36)*18/8. Solve -j = -b*z + 6*z for z.
-3
Let z(y) = 2*y**2 + 2*y + 2. Let k be z(-1). Solve k*p = p for p.
0
Suppose -2*u - 2*u + 2*r + 24 = 0, 0 = -4*u - 3*r + 4. Solve b = -2 + u for b.
2
Suppose -1 - 1 = q + x, 0 = -5*x - 10. Suppose -9 = -z + 3*p, 3*p = -z - q*p + 3. Solve 0 = -3*y + z + 9 for y.
5
Let k be (1/2)/(3/12). Suppose 0 = -k*i - 17 + 3. Let c(l) = l**3 + 6*l**2 - 9*l - 8. Let w be c(i). Solve q + q = w for q.
3
Suppose 2*a - 3 + 1 = 0. Suppose 5*h - 3 = 2. Solve -d - a = h for d.
-2
Suppose -5*n + 11 = -4. Suppose -n*r - r = 0. Let k = r - -1. Solve -2*z - k + 3 = 0 for z.
1
Let p(y) = y + 4. Let g be p(-10). Let q be (g/(-4))/((-24)/(-64)). Solve -a - 3 = -q*a for a.
1
Let v(s) = 5*s. Let t be v(-1). Let z = -2 - t. Solve 8 = 5*b - z*b for b.
4
Let w = 4 - 1. Suppose -3*d = 5*u - 7, u - w - 4 = -2*d. Solve m + m = d for m.
2
Let p(h) = -h**3 - 4*h**2 + h + 15. Let q be p(-3). Solve 0 = v - 0 - q for v.
3
Let u(n) = 2*n + 25. Let p be u(-11). Solve -7 = 2*v + p for v.
-5
Suppose 2*v = -2*h + 8, -4*h + 0*v + 24 = -4*v. Solve 2*l = l + h for l.
5
Let k be -2 - 3/(-3) - 2. Let n = -1 - k. Suppose 35 = 5*h + d, -5*h = -n*d - 2*d - 10. Solve 0 = -t - t + h for t.
3
Let x(i) = 2*i**3 + 39*i**2 + 18*i - 19. Let z be x(-19). Solve u + u - 8 = z for u.
4
Let o(q) = 2*q**3 + 2*q**2 - 2*q + 1. Suppose 4*z - 2 = 2*z. Let h be o(z). Suppose 5*k = 3*v - 5*v + 6, -v = h*k - 3. Solve 0*j = -v*j + 9 for j.
3
Let l be 63/18*12/7. Solve -i = -l*i + 15 for i.
3
Suppose 2*o - 30 = -o. Let f(m) = -m**3 + 5*m**2 - 6*m + 5. Let a be f(4). Let r be a/(-6) - 10/(-4). Solve -r*k = -8*k - o for k.
-2
Let r(c) = -c**2 + 1. Let z be r(1). Solve -t = -z*t - 2 for t.
2
Suppose -2*n = -4*n. Suppose 0 = 5*u - 66 - 24. Suppose -4*d + 0*d = -j + u, n = 4*j + 2*d - 36. Solve y + y - j = 0 for y.
5
Suppose -2*s = -h - h + 4, 4*s + 4*h = 8. Let l be (20/8)/(-5)*-4. Suppose 0 = -y + 3*d + 2, y - d = -2*d + 2. Solve y*n - l + 0 = s for n.
1
Let n be (-10 + 10)*(-1)/2. Solve 5*b + n - 10 = 0 for b.
2
Let l be 2*(4 - (-10)/(-4)). Let a = 3 - l. Let w = 3 + 2. Solve a = -w*t + t for t.
0
Let v = 41 - 39. Solve 0 = j - v*j + 5 for j.
5
Let u(l) be the third derivative of l**6/720 + l**5/30 + l**4/8 - l**2. Let i(v) be the second derivative of u(v). Let y be i(-4). Solve -m - 3*m - 4 = y for m.
-1
Let b be 0 - -1 - (9 - 8). Suppose 0 = -b*t - 3*t. Solve t = -2*f - 6 for f.
-3
Suppose 0 = -2*g + 2 + 14. Solve -g*x = -4*x for x.
0
Suppose -2*w + 4*z = 8, -5*z + 1 = 4*w - 22. Solve -w*v + 0 = 8 for v.
-4
Suppose -4*b - 8 = -2*j, 4 = -3*b + 1. Suppose -5 = -j*p - 1. Suppose -p*k = -6*k. Solve k*w = 2*w - 6 for w.
3
Let r(w) = w**3 - 9*w**2 + 7*w + 10. Let h be r(8). Suppose -c + 15 = -u + h, -c + 4 = 2*u. Solve 5*t + 5 = -c for t.
-3
Suppose -5*a - 4 = 1, 2*a = 3*f - 20. Solve f*x - 10*x + 20 = 0 for x.
5
Let h be -3 + -1 - 6/(-1). Solve 0 = -h*w + 7 + 1 for w.
4
Let q be (17/5 + -3)/((-18)/(-45)). Solve 4*u + 11 = -q for u.
-3
Suppose -2 = -2*a - 5*w, 4*w + 0 - 1 = -a. Let n be 10*(-3)/(-6) - a. Solve n*o + 10 = -o for o.
-2
Suppose -r = 2*r. Let g(u) = u**2 - 6. Let b be g(r). Let p = -1 - b. Solve 2*k + p = 1 for k.
-2
Suppose -16*v - 10 = -18*v. Solve v*w - 16 = w for w.
4
Let g(j) be the second derivative of j**3/3 + 2*j**2 + 9*j. Let p be g(2). Solve p = -5*u - 17 for u.
-5
Let h(t) = t**3 + 16*t**2 + 14*t - 15. Let d be h(-15). Solve d = -7*w + 12*w for w.
0
Let g = -33 + 36. Let a = -5 - -9. So