= -2*n. Solve 2*k - 8*k - d = 0 for k.
-1
Let a(g) be the first derivative of -g**4/4 - 17*g**3/3 - 8*g**2 + 11*g + 8. Let x be a(-16). Let d = x + -7. Solve k + 1 + d = 0 for k.
-5
Let u be 8*(-3)/(-120)*35. Solve 7 = -u*k + 28 for k.
3
Let j = 62 + -25. Solve -38*m - 5 = -j*m for m.
-5
Suppose -3*p - 5*m + 24 = 2, 16 = 2*p + 4*m. Suppose 5 + 0 = -s. Let o = s + 13. Solve p*t + o = 28 for t.
5
Let k(n) = 8*n - 47. Let f be k(7). Suppose x - 3 + 0 = 0. Suppose 5*u - 1 + 19 = p, -x*u = f. Solve -p - 3 = 3*r for r.
-2
Let n(p) = 2*p - 35. Let g be n(15). Let a(k) = -k. Let r(z) = z**2 + 10*z. Let h(i) = -4*a(i) - r(i). Let s be h(g). Solve 0 = s*j + 9 + 1 for j.
-2
Let j = -40 + 57. Suppose -5*h + 31 = 3*s + 1, -j = h - 4*s. Solve -g - 2 = -h for g.
1
Let k be 216/243*(1 + 7/2). Solve k = -6*b + 16 for b.
2
Let x(t) = t**2 + 4*t + 3. Suppose 30 = 3*f - 3*v, 4*f - 5*v = 24 + 19. Suppose -2*a = -3*o + 2*a - 1, o = 5*a + f. Let w be x(o). Solve w = -4*y + 4 + 8 for y.
3
Suppose -4*i = -p + 41, -8 = -i - 3*p - 2. Let f = i - -11. Let r be (-1)/2*0 + f. Solve 0*m + r*m = -8 for m.
-4
Let f = 65 - 54. Suppose 5*t - g - 5 = 0, -3*t = -3*g - 2 + f. Solve -4*v + t*v - 6 = 0 for v.
-3
Suppose 2*s + 6 = 0, -3*z + 0*s - 3*s - 45 = 0. Let c be (4/(-3))/(z/27). Solve -6 - 6 = -c*d for d.
4
Let a(y) = -13*y + 104. Let i be a(8). Solve -2*t = -i*t + 10 for t.
-5
Suppose f = 5, 0*d + 3*f = -3*d - 12. Let x(t) = -9*t - 58. Let w be x(-6). Let q = w - d. Solve -q*c = 14 - 4 for c.
-2
Let n = 5 - 2. Suppose -4*j + j = -6. Suppose j*f = -0*x + n*x - 2, -3*x - 2 = -4*f. Solve -y + f = 4 for y.
-2
Suppose -28 + 100 = 18*n. Solve n*q + 4 = 24 for q.
5
Let r(s) = 6*s - 118. Let i be r(20). Solve 15 = -i*u + 7 for u.
-4
Let m(a) = a**2 + 10*a - 3. Let d = 13 - 24. Let j be m(d). Suppose 7*w - 3*w - 20 = 0. Solve -17 = w*p + j for p.
-5
Let i = 1017 + -997. Solve i*p = 10*p for p.
0
Let n(i) = i**2 - 20*i + 86. Let k be n(17). Solve k*u - 40*u = -10 for u.
2
Suppose 2*b + 2*t - 10 = -b, -2*b + 4*t + 28 = 0. Solve -11*v + b = -8*v for v.
2
Let f be ((-2)/(-8) - (-6)/(-24))/(-1). Suppose f = -3*d + 10*d. Solve -2*u - 3*u + 25 = d for u.
5
Suppose -3 - 3 = -2*a. Let u be a/(-3)*(1 - 3). Suppose -u*b = b. Solve -2*c + 0*c - 4 = b for c.
-2
Let s = -30 + 29. Let t be (0 + (s - -1))*1. Solve -y + 3 - 8 = t for y.
-5
Suppose 11*j = 6*j - 4*w + 20, -10 = -4*j - 2*w. Let m(k) = -k**2 + k + 5. Let v(p) = -1. Let c(l) = m(l) + 3*v(l). Let q be c(j). Solve -n - q = -3 for n.
1
Let x(i) = i + 8. Let j be x(-8). Suppose 4*f = 20 - 8. Let t be 2/f*9/2. Solve -t = -m - j for m.
3
Suppose 0 = -3*n - 69 - 135. Let c be (-1)/(4 - n/(-16)). Solve 0*g - c*g - 8 = 0 for g.
-2
Suppose -4 = -n - 0. Suppose 70 = 5*g + 5*p, -1387*g + 4*p = -1384*g. Solve 0 = 8*j - n*j + g for j.
-2
Suppose 4*u + 3*b - 39 = 0, u + 12 = 3*b + 3. Solve 0 = u*y + 10 - 4 for y.
-1
Let n be (-10 + 7)/(-1 + 572/578). Solve -285*l = -n*l + 4 for l.
1
Let y be (-3)/(0 + (-5 - 17/(-4))). Solve 7*t - y*t + 15 = 0 for t.
-5
Suppose -5*h - 79 = -l, -4*h - 4*l - 47 = -3. Let y be (-200)/h*18/15. Solve 5*s = 9 + y for s.
5
Suppose -4*i = -i - 9. Suppose -5*g - 5*o - 5 = 0, 0 = -i*o + 2*o - 5. Suppose l = -h + 4, -g*h - 4 = -5*h + l. Solve h*v + 4 = 5*v for v.
4
Let v be ((-12)/14)/(4/(-14)). Suppose -p - v*o = -0*p - 8, o + 14 = 3*p. Suppose 5*d - 20 = -5*j, -5*d + 21 = 5*j - d. Solve j = p*h - 0 for h.
1
Let i be 0/((-6)/(6/2)). Suppose 5*y = 4*g + 95, 0 = -2*y - 3*g + 6 + 9. Suppose 0 = -c + 15 - y. Solve 3*d + c*d - 12 = i for d.
4
Let k = 56 - 82. Let v = -21 - k. Solve -v*o = 17 + 3 for o.
-4
Let j = 111 + 10. Let l = -119 + j. Solve 3*p - l*p = -2 for p.
-2
Let j = -335 + 347. Solve 0*f - j = -6*f for f.
2
Suppose 0 = j + 5*j. Let k be (0/(-3 + j))/(0 + 1). Solve -5*u - 8 - 7 = k for u.
-3
Suppose 22 = -5*z + 52. Let f(s) = s + 4. Let g be f(4). Let n = g + -6. Solve -z*v = -n*v for v.
0
Let a(p) = p**3 - 24*p**2 + 142*p - 11. Let d be a(9). Solve 15*i = d + 8 for i.
4
Let p be (-3 + 1)*(-2)/12*15. Solve -c - p = -0 for c.
-5
Let w = -83 - -91. Solve 0 = 4*y - 4 - w for y.
3
Let r(f) be the second derivative of -f**4/12 + 13*f**3/6 - 13*f**2 + 14*f. Let y be r(10). Solve 0 = 2*b + 4 + y for b.
-4
Let d(r) = 11*r**2 - 2*r + 1. Let n be d(1). Let l be (-14)/(-5) + 2/n. Suppose -2815*s = -2830*s + 225. Solve 0*h + l*h = -s for h.
-5
Let q be (4/(-6))/(1/(-24)). Let h = q + -3. Solve 0 = -3*s + h - 1 for s.
4
Suppose f = 3*f - 4. Suppose 4*g = f*g - 7*g. Solve g = -0*l - l - 2 for l.
-2
Suppose -12*d = 9 - 69. Solve 0 = -d*a - 5 for a.
-1
Let o = 119 - 115. Suppose 5*q - 20 = -4*m + 8, -2*q + o*m = 0. Solve -1 = f + q for f.
-5
Suppose 5*v = -0*v + 5*j + 120, v + 2*j = 12. Solve -5*r + 10 = v for r.
-2
Let s = -596 - -607. Solve s*n - 8*n = 8*n for n.
0
Suppose -r - 4 - 18 = -2*x, r - 41 = -5*x. Let h = x + -6. Let m = -1 + h. Solve m + 3 = 5*w for w.
1
Suppose 5*v - 21 = -g, -3*v + 0*g + 14 = 2*g. Suppose 0 = -2*z - 4*j + 2 + 10, 0 = 3*z - 4*j + 2. Solve z*b = -0 - v for b.
-2
Suppose -j + 3 = -2, 5*j = -2*c + 45. Let i be (-3)/(-4) + 13/4. Suppose 0 = 4*r + 3*a + a - 24, 0 = -3*r + i*a - 3. Solve -2 - c = -r*v for v.
4
Let s be (5 - 2) + -2 + 3. Suppose s*a = 18 + 2. Solve -a*c - 10 = -0 for c.
-2
Let v be (27/(-12))/((-6)/(-16)). Let w(u) = -u - 3. Let a be w(v). Suppose -a*q = -5*q. Solve q = -2*n + 7*n - 10 for n.
2
Suppose -3*j + 7*j - 12 = 0. Let k(b) = -b**2 + 10*b + 2. Let u be k(10). Solve -u - 10 = -j*i for i.
4
Let d(j) be the first derivative of -j**2/2 - 5*j + 4. Let o be d(-7). Suppose 1 + 3 = o*l. Solve 0 = -l*u - 0*u + 6 for u.
3
Let t = 21 + -28. Let n = 8 + t. Let g be 6/(-9)*n*-6. Solve 5*l = 21 + g for l.
5
Suppose 7*f - 3*f + 4*f = 0. Suppose f = 61*c - 66*c + 30. Solve 2 + c = -4*n for n.
-2
Let f(z) = -3*z - 13. Let g be f(-5). Suppose -r = -g*r. Solve r = -2*s + 5*s - 6 for s.
2
Let s be 1 - 0 - (1 + 2). Let r be (6/(-9))/(s/6). Suppose r = -3*i - 5*x, 0*i - 2*x + 2 = 4*i. Solve 4*h - i = 3 for h.
1
Let u be 15/4*(-20)/90*-12. Solve 7 = -u*l + 3*l for l.
-1
Suppose 5*g - 9 = 1. Suppose -68 = -224*z + 3964. Solve 4*l = z - g for l.
4
Suppose 0 = -y + 3, 3*b - 3*y - 129 = -y. Let z = b - 35. Solve -x + z = -3*x for x.
-5
Suppose 0*p - 3*n + 27 = 3*p, -5*p + 3*n + 13 = 0. Suppose -16 + 1 = -p*w. Solve w*s = -0*s + 6 for s.
2
Let f = 76 - 35. Suppose -4*r + f = -z + 6*z, 32 = 4*z + 3*r. Suppose 3*w + 6 = 15. Solve -14 + z = w*h for h.
-3
Suppose 0 = 4*s + 4*q, -235*q = -234*q + 5. Suppose -3*m - 12 = -w, -2*w = w + 5*m + 6. Solve -w - s = -4*d for d.
2
Let l(a) = a**2 - 8*a - 12. Let g be l(-5). Suppose -4*y - 2*b = -38, 0 = 5*y - 5*b - 32 - g. Solve 0 = 6*t - 2*t + y for t.
-3
Suppose -3*c - 3 = -4*c. Let l = c - -5. Solve -l = 5*y - 28 for y.
4
Let w(v) = -v - 2. Let s = -2 - -3. Let d be w(s). Let q be (d/(-3) + -1)/1. Solve q = -2*p - p for p.
0
Let t = 40 + 10. Let d = t + -41. Solve 0 = 5*q + 6 + d for q.
-3
Let w(t) = 57*t**3 - 4*t**2 + 8 + 12*t**2 - 107*t**3 + 6*t + 51*t**3. Let i be w(-7). Solve -d + i = 4*d for d.
3
Suppose 7*a = -5*x + 5*a + 18, -4*x + a + 17 = 0. Solve x*z + 20 = -z for z.
-4
Suppose 38*q - 36*q = 0. Solve q + 4 = -v for v.
-4
Let m(a) = -a**3 - 12*a**2 - a - 3. Let r be m(-12). Let h = r - 1. Suppose h = -2*v, -x + 14 = 3*v - 4*v. Solve x = -5*f - 5 for f.
-3
Let a(c) = -3*c + 11. Let f = 40 - 37. Let j be a(f). Solve -j*w + w = 0 for w.
0
Suppose -3*a - 2*k + 6 = k, 0 = k + 3. Suppose -4*x + 2*n = -0 - 2, 0 = -a*x - n + 13. Solve x*j + 5 = -3 for j.
-4
Let t(v) = -v**3 + 21*v**2 - 38*v + 8. Let m be t(19). Solve p - m = -11 for p.
-3
Suppose k - 5 = -t - 1, -20 = -t - 5*k. Let g be t*5/35*-1*1. Solve -3*z = -g*z for z.
0
Suppose 3*b - 57 = -2*j, -3 = -5*j + 12. Let q be 2*-1 + 0 - -8. Suppose -l + 5 = -q*l, -5*l = -2*n + b. Solve -2*h = -n*h - 20 for h.
-5
Let q be 30/4 - -1*(-2)/(-4). Suppose q*u - 1 = 15. Solve 4*h - 8 = u*h for h.
4
Let d be (0/(-3))/2 - (8 + -11). Suppose 4*g + d = w - 0, -6 = 3*g - 2*w. Solve 4*v = -g*v for v.
0
Let h(z) = z**2 - 4*z - 10. Let t(x) = -2*x**2 + 13*x + 5. Let u be t(7). Let p be h(u). Solve -p*m + 2 = -0 for m.
1
Let p(f) = 0*f**2 - 2*f**2 + 0*f**2 - 4 + 8*f. Let t be p(3). Solve -8 = -0*l - t*l for l.
4
Suppose 302 - 68 = -5*j + 3*k,