 n.
4
Let d(g) be the second derivative of -g**5/20 - g**4/6 - g**3/6 - g**2/2 + 11*g. Let i be d(-2). Solve -2 = s + i for s.
-3
Let i(j) = j**2 - 4*j + 7. Suppose 3*d - 48 = -3*b, -3*b - 4*d = d - 48. Let z = 19 - b. Let a be i(z). Solve n + 3 = a*n for n.
1
Suppose -6*d + 98 + 46 = 0. Solve 8*r - d = 8 for r.
4
Let u be 32/10 - 564/470. Solve 0 = 4*i - u - 6 for i.
2
Let u = -639 - -656. Solve -u = 4*g - 1 for g.
-4
Let q(w) = -5*w + 1. Let y(v) = 4*v - 1. Let x(f) = 4*q(f) + 6*y(f). Let s be x(2). Suppose -m = -s + 4. Solve -7 = -m*u + 3 for u.
5
Let t = 17 + -17. Let p(c) = -c**3 + 9*c**2 - 6*c - 14. Suppose a = -4*v + 34, 4*v + 0*a - 26 = 3*a. Let s be p(v). Solve t = 3*i - i - s for i.
1
Let f(p) = 9*p - 169. Let d be f(20). Solve 9*q - d*q = -8 for q.
4
Let m(c) = -c**3 - 3*c**2 - 2*c - 4. Let h(q) = -q + 3. Let f be h(6). Let t be m(f). Suppose -2 = 4*g - x, 5*g + 3*x + x - 8 = 0. Solve -3*j + j + t = g for j.
1
Let b = 220 + -197. Solve 0 = -h - b + 26 for h.
3
Let s be (-4)/(8/(-6)) - (6 - -2). Let j(w) = 2*w**2 + 8*w - 8. Let n be j(s). Solve 0 = -4*d + n*d for d.
0
Suppose -23 = 2*m - 33. Suppose m*l + 19 = 29. Solve -5*g = -l*g + 6 for g.
-2
Suppose 3*b - 9 = p, 5*b = -5*p - 2 + 37. Solve 2*o = p*o - 1 for o.
1
Let c(j) = 3*j + 9*j - 4 - j**2 - 18. Let k be c(9). Solve -3*m = k - 20 for m.
5
Let c be ((-44)/8 - -4)*-2. Suppose -2*x = 0, -7*x = c*m - 2*x. Solve m = 4*q - 8 for q.
2
Suppose 0 = 2*k - 4*o - 60, -4*k + o - 5*o = -96. Solve -k*h + 22*h - 16 = 0 for h.
-4
Let j = -3 - -7. Suppose -5*v + 25 = -4*q, q - 25 = -5*v - 3*q. Suppose -2*c + t = 0, -5*c - 6 = -3*c - 4*t. Solve c + j = -v*z for z.
-1
Let m = 774 + -767. Let v = 4 + -1. Solve t + v = m for t.
4
Suppose s + s = 0. Let n(v) = v**2 - 5*v - 6. Let p(a) = -a + 10. Let q be p(4). Let h be n(q). Solve h = 2*z - s*z + 2 for z.
-1
Suppose -f - 2*z = 3*z - 15, 2*f + 4*z - 18 = 0. Solve f*h - 6*h = 2 for h.
-2
Let k = -19 + 12. Let m(n) = -n**2 + n + 3. Let l be m(-3). Let c = k - l. Solve -c*i + 8 = -4*i for i.
-4
Let h be (-5 + 0)*(-12)/10. Let p(v) be the first derivative of -v**4/4 + 2*v**3 + v**2/2 - 3*v - 5. Let k be p(h). Solve -t - 2 = k for t.
-5
Suppose 5*u + 4*z + 19 = 0, -4*u + 2*z = u + 13. Let g = 7 + u. Let j be (18 + 3)*2/6. Solve 13 = g*m - j for m.
5
Suppose -m + 9*m - 32 = 0. Solve -m*u = u for u.
0
Let p = 227 - 227. Solve -12 + p = 4*y for y.
-3
Suppose -n = -3*h + 31, 7 - 25 = 2*n + 5*h. Let q = -17 - n. Solve q*t - 5 = 3*t for t.
-5
Let z(j) = j**2 + 23*j + 21. Let s be z(-23). Suppose 0 = -7*l + 14*l - s. Solve -6 = -l*x + 9 for x.
5
Let t be (-378)/(-35)*(-5)/(-2). Suppose -t = d - 4*d. Suppose -d*f = -12*f. Solve f*a - a = 0 for a.
0
Suppose 18*v - 78 = 12*v. Suppose -y + v = 3. Solve -4*d - y = -26 for d.
4
Suppose -2*w + 2 = -6. Suppose 4*z - w*p - 12 + 0 = 0, z = 2*p + 3. Solve 4 = -z*n + n for n.
-2
Suppose 644*i = 637*i + 245. Solve -6*h = h + i for h.
-5
Let k = 3 - 12. Let t be k*(-2 + -2 + -1). Suppose 0*w + 5*w = t. Solve -4*o + w*o - 25 = 0 for o.
5
Suppose -147 = -14*o - 77. Solve 7*t - o = 2*t for t.
1
Suppose -6*l = -9*l + 21. Solve l*c = 5*c - 2 for c.
-1
Let u(w) = w**2 + 6*w. Let b(h) = 2*h**2 + 11*h - 1. Let i(r) = 4*b(r) - 7*u(r). Let o be i(3). Let n = -4 + o. Solve -5*c - 18 = n for c.
-5
Let v = 1675 + -1639. Solve 7*r + 2*r = v for r.
4
Suppose 3*a - 125 = -119. Solve a*k = -4*k + 24 for k.
4
Let h = -2064 + 2110. Solve -h + 2 = -11*u for u.
4
Let t be ((-6)/8)/((-87)/232). Solve 0 = -0*k + 2*k + t for k.
-1
Let d(n) = 4*n**2 - n - 1. Let p be d(-1). Let r(o) = -o**2 - 3*o - 6. Let a be r(-4). Let y = -10 - a. Solve -p*h = -8 - y for h.
2
Let g be (-5 - -3)/(2/5). Let k(p) = -p**2 - 6*p - 3. Let x be k(g). Suppose 3*h + 7 = 2*c, x - 17 = -4*c + 5*h. Solve i + 4 = c*i for i.
1
Let f(n) = -4*n**2 - n + 55. Let t be f(0). Suppose -4*a + 18 = -a. Suppose -a*v + v = -t. Solve 1 = 4*q - v for q.
3
Suppose -3*j = -3*g, -2*g + 0*j + 3 = -5*j. Let c be g*(-5)/(20/8). Solve 1 + 1 = -c*q for q.
-1
Let j(z) = -z**3 - 8*z**2 + 7*z - 13. Let f be j(-9). Suppose f*i + 9 = 4*y, -2*i + 3 - 7 = -2*y. Solve c + y = 2 for c.
1
Let z be 28/10 - 4/(-20). Let y(f) = -z*f + 9*f - 4*f. Let b be y(4). Solve -5*u + u = -b for u.
2
Suppose -5*t + 22 = 2*u, -15 = -6*t + 3*t - 3*u. Solve -t*d = 13 - 29 for d.
4
Let i be (-72)/16*((-9)/3 + 1). Solve 0 = 3*k - i*k + 2*k for k.
0
Let b(c) be the first derivative of -8*c**2 - 7*c + 14. Let d be b(-2). Let y(z) = -z + 3. Let l be y(-3). Solve -h + l*h = -d for h.
-5
Let n(w) = 0 - 2*w - 2*w + 1. Let a be n(-1). Suppose 5*q - a*x = 30, 7*x - 4*x + 10 = 2*q. Solve -q = 7*l - 3*l for l.
-2
Let o = -1587 - -1590. Solve -o*f + 13 = -16*f for f.
-1
Suppose -3*c - u + 4*u - 21 = 0, 0 = 2*u - 8. Let r = 5 + c. Suppose r + 6 = 4*o. Solve 2*y - o = 3*y for y.
-2
Suppose 47*l - 72 = 51*l. Let s be 3 + 50/l + 50/18. Let q(k) = k**3 + 5*k**2 + 2. Let r be q(-5). Solve r*a - a + s = 0 for a.
-3
Let l = 572 + -521. Solve -50*v = -l*v - 1 for v.
-1
Let d(j) = j**3 - 6*j**2 + 4*j + 5. Let p be d(5). Let r(g) = -g**2 + 2 + g**2 - g**3 + 0. Let n be r(p). Solve -n*s + 5*s = 12 for s.
4
Let g = -218 - -204. Let v = -15 - -29. Let q = v + g. Solve 0 = -q*h + 5*h for h.
0
Let d be 2 + (-1)/((-3)/15). Let p be ((-30)/5)/((-4)/10 + 0). Suppose 15*x = 20*x - p. Solve 0 = x*v + 22 - d for v.
-5
Suppose 7*u = 44 + 26. Solve -6*o = -8*o + u for o.
5
Suppose 4*c + 2*s = 254, 3*c - 2*s - 203 = -s. Let n = c + -27. Solve 14 = -5*x + n for x.
5
Let t be ((5 - 7) + 7)*(-15)/(-25). Solve t*m + 0 = -6 for m.
-2
Suppose 5*i - 4*a - 55 = 0, -4*a + 11 = i + a. Solve -4*l - 5 = i for l.
-4
Let f(g) = 3*g + 53. Let h(u) = -2*u + 19. Let i be h(18). Let p be f(i). Solve p*j + 12 = 6*j for j.
3
Let z be (6 - 0) + (3 - 6). Let h be (z/(-6) + 2)*2. Suppose 3*x - 15 = -0*x. Solve -x*y + 7 = -h for y.
2
Let a be -35*(-7 - (-184)/28). Solve -9*z = -6*z + a for z.
-5
Suppose 3*v + n = -284, -3*v - n = -v + 189. Let a = 95 + v. Solve -2*q + 9 - 1 = a for q.
4
Suppose -3*i = 11 + 1, 3*i + 12 = 2*t. Solve 5*y + 14 - 4 = t for y.
-2
Suppose p + 4 = -4*p - 4*o, 5*p + 3 = -3*o. Suppose p = h - v - 5, 5 + 0 = h - 2*v. Solve 0 = h*y + 4 + 6 for y.
-2
Let y be (-2 - -1)*(1 - 3). Suppose 0 = -11*b - 233 - 306. Let o = b - -49. Solve -y*l + 0*l = o for l.
0
Suppose t + 5*u - 29 = 0, t + 5*u - 5 = 6*t. Solve -3*c + 4*c = -t for c.
-4
Suppose 168 = 310*h - 268*h. Let q(x) = -x**2 + 3*x + 1. Let v be q(2). Solve -w + h = v*w for w.
1
Let j be -20 + -2 - 2 - (9 - 6). Suppose -120 = 3*k + k. Let n = j - k. Solve -2*m = 1 - n for m.
1
Suppose -3*d + 20 = -n + 2*n, 0 = -5*d - 4*n + 24. Solve 0 = -5*l - 2 - d for l.
-2
Let g be 3 - (-4 - -8)/4. Suppose -5*k - g*n = -12, 0*n - 4 = 4*k + 5*n. Solve 7*q = k*q - 15 for q.
-5
Suppose -530*s + 518*s + 84 = 0. Let i = -4 + 10. Suppose 4*x = x + i. Solve x*j - 15 = s*j for j.
-3
Suppose -5*n + n + 28 = 0. Suppose 3*s - n = 5. Solve -5*y + y - s = 0 for y.
-1
Let q = -23 + 30. Suppose 0 = q*t - 43 + 8. Solve -l - 4*l = -t for l.
1
Suppose 2*d + 3*n = 2*n + 25, -4*d + 43 = -5*n. Suppose 2*t + 5*a - 28 = 0, -2*t - 3*a = -2*a - d. Solve -t*z + z - 15 = 0 for z.
-5
Let x(r) = 8*r**2 - 6*r + 0 - 5*r + r + r**3 - 9. Let c be x(-9). Solve c = -2*b + 2 + 6 for b.
4
Suppose 672 = 117*o - 101*o. Solve 2*f = o - 36 for f.
3
Let o be 2 - (-11 + 1 + 2). Let n(a) be the third derivative of a**4/8 + a**3 - 6*a**2. Let d be n(-2). Solve d = g + g + o for g.
-5
Let u be (1 - 0) + 4*(-9)/36. Solve 3*t + t + 12 = u for t.
-3
Suppose 0 = -3*g + 3 + 9. Suppose z + g*a + 39 = 0, 4*z = -2*a + a - 141. Let p = -30 - z. Solve -10 + p = -v for v.
5
Let n(y) = y**3 + 4. Let p be n(0). Let z be (2/p)/(11/418). Suppose 40 = -z*q + 24*q. Solve 0*x - q = -2*x for x.
4
Let i(m) = -5*m**3 - 10*m**2 + 38*m - 11. Let p(s) = s**3. Let z(r) = i(r) + 4*p(r). Let y be z(-13). Solve 5*l - y*l + 9 = 0 for l.
-3
Let c = 333 - 329. Solve 3 + 9 = c*t for t.
3
Suppose -2*w = 3*y + 2*w - 3, -23 = -4*y + w. Suppose p + 6*s - 3*s + 5 = 0, -5*p + 4*s + 32 = 0. Solve t - y = -p for t.
1
Let t = 237 - 235. Let d be (-1)/((-3)/(-3)) + 2. Let s = d + 14. Solve a = -t*a + s for a.
5
Suppose -s - 370 = 4*s. Let h = s - -50. Let l = 26 + h. Solve d + 1 + l = 0 for d.
-3
Let z = 192 - 1