e n*k - 6*k - 8 = 0 for k.
-2
Let b be (4/(-6))/(14/(-189)). Let q(z) = -8*z + b + 9*z + 3. Let t be q(-5). Solve 0 = 3*h - t*h for h.
0
Let l(m) = -m**3 + 33*m**2 - 2*m + 114. Let z be l(33). Solve 0 = z*s + 236 + 4 for s.
-5
Suppose -110*d - 2*v + 75 = -105*d, 5*v + 40 = 5*d. Solve d*w + 63 = 141 for w.
6
Let q = -48 + 48. Suppose q = -w + 13 + 85. Let h be 6/(-36) - w/(-12). Solve h = -0*n + 2*n for n.
4
Let j(r) be the first derivative of r**2/2 + 9*r + 6. Let g be j(-3). Suppose 2*x - 8 = 0, 5*q - g*x + 20 = -x. Solve q = -2*z + 3 + 3 for z.
3
Let m(y) = -y**2 - 1 + 6*y + 4 + 7. Let q be m(7). Let j be (6/5)/(q/10). Solve -4*u = -0 + j for u.
-1
Let a(c) = -c**2 - 121*c + 375. Let i be a(3). Solve -i*v - 187 = -175 for v.
-4
Suppose -8*a = -40*a + 11*a + 3528. Solve 163*i - 5 = a*i for i.
-1
Let f be (-35)/14 + 38/4. Suppose 5 - f = v. Let b(g) = g + 13. Let y be b(v). Solve -y = 2*i - 1 for i.
-5
Let l(y) = -y**3 - 7*y**2 - 3*y + 15. Let k be l(-5). Let t = k - -24. Solve h = 3*h - t for h.
2
Let y = -3788 - -3817. Solve r - y = -26 for r.
3
Let u be (-12)/(-2)*(-4)/(-8). Suppose 159 = -3*w + 3*t, u*w + 5*t - 100 = 5*w. Let d = -51 - w. Solve n = -n + d for n.
2
Let m be (-5)/((10/(-98) + 0)*(-2093)/(-1794)). Solve 27 = 3*k + m for k.
-5
Let g(r) be the first derivative of -r**3 + 95*r**2/2 + 47*r - 169. Let n be g(32). Solve 2 = n*y - 16*y for y.
-2
Let b = -10591 + 10626. Solve b*o + 116 = -94 for o.
-6
Suppose -14 = 2*c - 6, -41 = -5*a + 4*c. Solve -n = 3*n - a*n for n.
0
Let z be 2 + 190/6 + 8/6. Suppose 8*m - z = 173. Solve -10 = 4*g - m for g.
4
Suppose 0 = -7*n + 2*n - 3*f - 12, -3*n = -5*f - 20. Let a(p) = 3 + 8*p + p**2 + 1 - 2*p**2 + n*p**2. Let u be a(8). Solve -4*l - u = -2*l for l.
-2
Suppose m - 4*w - 14 = 0, 4 = 2*w - 0. Suppose 0 = 35*k - 144 - 101. Solve -m + k = 3*l for l.
-5
Let q be (-6993)/(-6)*(5/3 - 1). Let j = -688 + q. Solve -j*b - 6 = -86*b for b.
-2
Let q = -41 + 44. Suppose 2*o + 4 = q*o. Suppose 5*l + 14 = -5*j + o*j, -2*j + 4*l + 14 = 0. Solve 3 = -y - j for y.
-4
Let m be (1*(-1)/1)/1. Let n(x) be the third derivative of -x**6/60 - x**5/20 - x**4/24 - 571*x**2. Let o be n(m). Solve o = 4*d + 11 + 9 for d.
-5
Let y be ((-292)/(-730))/((-2)/(-115)) - 1*-4. Solve -y*g = 5*g - 192 for g.
6
Let h be 136/(-1836) - 218/(-27). Suppose -10*x + 42 = -h. Solve 6*g - x*g + 4 = 0 for g.
-4
Suppose 4*c - 5*v - 35 = -10*v, 10 = c + v. Suppose 0 = -2*s + 5*r + 6, -12*s - r = -7*s - c. Let d be 4 - (-5 + s + 0 + 3). Solve m - 8 = d*m for m.
-4
Suppose 0 = -k + 2*r - 3, 2*k - 165 = -5*r - 126. Solve -5 - 2 = k*a for a.
-1
Let f(t) = -75*t - 142. Let q be f(-2). Solve 4*g - g = -q*g for g.
0
Suppose 5*g = 3*l - 67, -2*g - g = -3. Suppose l = -s + 27. Suppose 2*w - 3*h = 9, 0*w + s*h + 12 = 3*w. Solve 3 = 2*d - w for d.
3
Let l be (4/(-10))/(208/130)*-284. Solve -l*o = -74*o + 15 for o.
5
Suppose -3*r = -4*i - 83, -6*i = -2*r - 7*i + 48. Suppose -3*m = -4*t - 50, -2*m + r = -0*t - t. Solve 0 + m = -5*c for c.
-2
Let i be -6*(-387)/42 - 2/7. Let s be -6*4/((-16)/(-30)). Let l = s + i. Solve -4*o + 6 + l = 0 for o.
4
Suppose -3*q - 5 + 0 = -a, -a - 4*q = 2. Suppose 4*f - 9*f = -5. Let r = -3173 + 3174. Solve a*g + f + r = 0 for g.
-1
Let m be ((-35)/20 + (-5)/20)*-112. Solve 0 = -13*v + m - 237 for v.
-1
Let a(c) = -9*c + 31. Let u be a(-13). Let x = -123 + u. Suppose -2*v = -31 + x. Solve v*d + 4 + 5 = 0 for d.
-3
Suppose -2*x + 2 + 59 = -3*t, 4*x = -5*t + 111. Suppose -j + 3*f - x = 0, -2*f + 93 = -5*j - 26. Let m = -20 - j. Solve -7 + m = -4*g for g.
1
Suppose 6*u = 2*u + 12. Let q(o) be the second derivative of o**3/6 + 7*o**2/2 - 19*o. Let s be q(-2). Solve u*v - 6 = s*v for v.
-3
Let m = 3523 + -3497. Solve 40*o = m*o + 98 for o.
7
Let h be ((-4)/20)/((-1)/10). Let u(d) = d**2 + 7*d + 6. Let v be u(-6). Suppose i - h*i = v. Solve -m - m = i for m.
0
Let a(t) = t**2 - 3*t + 8. Let f be a(-4). Suppose -u - 21 = -f. Solve -7*b = -4*b - u for b.
5
Let l(r) = 10*r**3 + r**2 - 2*r. Let k be (9/27)/(-3*(-1)/9). Let a be l(k). Let s be ((-8)/3)/((-6)/a). Solve 0*f + 16 = -s*f for f.
-4
Suppose 3*v = 43 + 2. Let b(m) = -20 - 2 + 2 - m**2 - 15*m. Let d be b(-13). Solve -d = -3*q - v for q.
-3
Let h(b) = -57*b + 58*b + 11 + 29 + 24 - 32. Let i be h(-24). Solve -17*w = -15*w + i for w.
-4
Let j = 36 + 391. Suppose -j + 85 = -3*m. Let w be (-15)/12 + 2 + m/8. Solve h + w = -4*h for h.
-3
Let y(n) = -16*n - 6 - 1 + 9 - 41 - 37. Let d be y(-6). Solve 0 = 2*w + 8*w + d for w.
-2
Suppose -y + 481 = 5*d, -7*y + 195 = 2*d - 4*y. Solve 5*f + d = -11*f for f.
-6
Suppose 48*j = 16*j + 2336. Suppose -6*x - 43 = -j. Solve 2 = -x*t + 3*t for t.
-1
Suppose 7877 = 33*f + 7283. Let o(y) = -y**2 - 6*y + 5. Let g be o(-6). Suppose -l = g*l - f. Solve 0*j - l*j = 0 for j.
0
Suppose -15*g + 10*g = -15, 2*z = -5*g + 19. Solve 32*p - z*p = 30 for p.
1
Suppose -82 + 109 = 3*b + 3*t, -t = 0. Solve b*v = -15 + 15 for v.
0
Let u be (52/(-13))/((-12)/123). Solve u*k = 39*k for k.
0
Suppose -6*c = -24*c + 90. Suppose 4*b - 4 = 3*b + 5*q, c*q = 3*b - 32. Solve 2 = -4*p - b for p.
-4
Let j be (-3)/15 - 2/(-10). Suppose 0 = 155*c - 151*c + 2*m - 8, 4*c = -5*m - 10. Solve j*l = c*l - 25 for l.
5
Let x be -18 - ((-256)/(-16) + -38). Solve -21*r = -x*r + 85 for r.
-5
Suppose -5*l - 42*d + 39*d + 51 = 0, -l + 5*d + 27 = 0. Suppose l*a + 101 = 125. Solve -f - 5 = -a*f for f.
5
Let q be (-97929)/162*(-6)/9. Solve -q = -n - 399 for n.
4
Let x = 131 + -127. Suppose b - 11 = 9*g - 13*g, x*b = -g + 59. Suppose 0 = 2*m - 3*m + 5. Solve 2*f - m*f - b = 0 for f.
-5
Suppose 3*m - 62 - 142 = 0. Suppose -30*a + m = -13*a. Solve -3 = -a*z + z for z.
1
Let j be ((-4)/(-10))/((-2)/(-10)). Suppose 38*c = -723*c + 7610. Solve -c = 6*m + j for m.
-2
Suppose 11*n = 402 - 7992. Let r = 694 + n. Solve -k = 3*k + r for k.
-1
Let p be (-224)/(-72)*(-10 - -46). Solve -8*y - 96 = -p for y.
2
Suppose 2*w = -0*w + 28. Suppose 16*g = w*g + 8. Suppose h + 16 = -2*b - 2*b, b + 4 = g*h. Solve 0 = 3*c - h - 9 for c.
3
Let x = 180 - 178. Suppose -21*c = -18*c - 87. Let y = 29 - c. Solve y = x*w + w - 12 for w.
4
Suppose -89*p = -83*p - 18. Let a be 416/10 - (0 + (-4)/10). Solve 45*i + p = a*i for i.
-1
Let i be (-2)/((-4)/(-3 - -4))*18. Suppose 4*l = -4*o + 8, -3*o + 0 = 2*l - i. Solve 0 = -o*w + 5 - 30 for w.
-5
Suppose -36*z = 52*z - 2640. Solve 6*o = -24*o - z for o.
-1
Suppose -3*m + 0*m + 9 = 0, 4*p - 22 = -2*m. Suppose -2*g - p*k + 5 = 21, 4*g + 20 = -5*k. Let w be (-1 - (-6)/2) + 5. Solve -5*l + w - 22 = g for l.
-3
Let u = -1929 - -1950. Solve -6 = 5*a - u for a.
3
Let y = -19500 + 19545. Solve 56*i + 22 = y*i for i.
-2
Suppose -32*m - 5 = -33*m. Suppose -2*s - f = -s - m, s - 4*f = -20. Suppose 3*u - 9 = -s*u. Solve 7*j - 4 = u*j for j.
1
Suppose 301719 = 326*o + 125*o. Solve 0 = -673*d + o*d + 8 for d.
2
Let m(d) = -d**2 + 47*d + 724. Let z be m(-12). Solve -5*p + z = 1 for p.
3
Let h(o) = -2*o - 4. Let j be h(-2). Suppose j*z = -2*z + u + 59, -3*u = z - 33. Let x = -28 + z. Solve x*p = -p for p.
0
Let z = -12697 + 12702. Solve z*w = -9 - 26 for w.
-7
Let z(h) = -10 - 9*h - 30 + 3*h. Suppose 6*i - i + u = -35, -13 = i - u. Let p be z(i). Solve v + v = p for v.
4
Let b = -17691 - -17703. Solve 18*i - 30 = b*i for i.
5
Let f(w) = 19*w + 1329. Let n be f(-64). Solve n*i = 96*i + 102 for i.
6
Let u be (-5)/(50/12)*(-50)/15. Suppose a - n = 10, -n + 0*n + 15 = u*a. Suppose -s - 95 = -5*m, 5*m + a*s - 49 = 46. Solve -7 = 3*p - m for p.
4
Suppose -4*w = 4*q + 2068, 0 = 3*w + 2*q - 0*q + 1556. Let h = -518 - w. Solve -3*x + h = -4*x for x.
-4
Let c = -47 + 51. Suppose 0 = -3*v - a - 71, 1 = -a - c. Let t be 0 - (v/(-99) - (-58)/(-18)). Solve t*f - 6*f = 3 for f.
-1
Let u(o) be the third derivative of -o**6/60 - o**5/20 - 25*o**4/24 - 71*o**3/6 + 144*o**2. Let y be u(-4). Solve -y*z + 3 = -112*z for z.
-1
Suppose 0 = -2*x - 22 - 118. Let l = 70 + x. Solve -21*g + 20*g = l for g.
0
Let k be -30*(-7 - 124/(-20)). Suppose 9*i - k = -6. Solve -i + 2 = -7*q for q.
0
Suppose 5*f = c + 19, 0*c + 5*f = -4*c - 1. Let t be 9/((-18)/c)*1. Suppose -1 = -t*j + 1. Solve 0*x - j = -x for x.
1
Let s be (-3)/(-9)*9 - 51. Let v = s + 43. Let n(d) = -d**2 - 5*d + 5. Let c be n(v). Solve -8 = -c*u + u for u.
2
Let 