se -2*r - k = -5*k, 0 = -r - 2*k. Let x(v) = -v**3 + v**2 + v. Let n be x(r). Suppose n = -3*u - 19 + 25. Solve 2 = -j + u*j for j.
2
Let x(v) = -6*v + 45. Let l be x(7). Suppose -l*i = -2*n + 7, -2*n - i - 6 = -25. Solve n = -3*o + 7*o for o.
2
Let v be (-108)/(-63) + (-99465)/(-399). Solve -32*p = v - 59 for p.
-6
Let i(x) = 2*x**2 + 5*x + 4. Let s = 43 + -45. Let d be i(s). Suppose 10 = 2*r + d*g, 2*r - 2*g + 2 = 16. Solve 0 = 4*c - 2 - r for c.
2
Suppose -5*d + 7*w + 34 = 5*w, 3*w = 4*d - 23. Suppose -239 - 17 = -d*p. Solve 6*c = 14*c - p for c.
4
Let t be -2 + 1 + 99603/405 + 12/180. Solve -t - 239 = 121*i for i.
-4
Let x be 9 + ((-4)/14)/((-2)/28). Suppose 10*o - x = -4*j + 7*o, o = -4*j + 15. Let t(m) = -m**3 + m**2 - m + 6. Let v be t(0). Solve -d + v = -j*d for d.
-2
Let q = -4570 - -4634. Solve -34*n + 18*n = q for n.
-4
Let f(j) = -j**3 - 28*j**2 - 29*j - 50. Suppose 13*d - 9*d = g - 108, 0 = -3*g. Let b be f(d). Solve 6*v = 2*v - b for v.
-1
Let t = -14325 + 14331. Solve t*p = -11*p for p.
0
Suppose -52 = -5*w + 4*x - 3*x, 0 = -w + 2*x + 5. Suppose w - 8 = -y. Let t be (0*1/(-3))/(2 + y). Solve -4*k - 2 - 2 = t for k.
-1
Let w(h) = -6 + 18*h**2 - 9 - 1 - h**3 - 2*h - 12*h**2. Let y be w(3). Solve 0*q + 10 = y*q for q.
2
Let p(h) = -h**3 - 7*h**2 - 9*h - 3. Let n be p(-6). Let u be 242/n - 6/45. Suppose -3*r + 14 = -2*w, r + 4*w = -w + u. Solve r = -7*q + 9*q for q.
3
Suppose -34*h - 18*h + 1872 = 0. Solve 161*z = 167*z - h for z.
6
Suppose 0 = -5*x - 10, b - 2*x + 12 + 7 = 0. Let w = 58 + b. Suppose -w*k = -33*k - 14. Solve 5*s = 2 - k for s.
-1
Suppose 17*n - 193 + 91 = 0. Solve -436*g + n = -439*g for g.
-2
Let j(v) = v + 21. Let c be j(-15). Let h be 2*((-21)/c - -3) - -3. Suppose 5*w + 2*i - 16 = -2*i, -2*i = -2*w - 8. Solve 2*u + w = h for u.
1
Suppose 4*d = 0, j - 9 = 5*d + 13. Suppose j = 4*p + 6. Suppose b - 3*n - 6 = -4*n, 0 = 2*b + p*n - 20. Solve -2*g - b*g = 8 for g.
-2
Let m be 3 - 11/(44/(-1784)). Let w = 733 - m. Let u be 3/((-6)/4) + w/71. Solve 0 = o - u*o for o.
0
Let s be (-55)/(-4) - (-1)/4. Suppose 10*z - 8*z = -j + 23, z - 37 = -2*j. Suppose -s*w = -j*w. Solve -4*i + w = 12 for i.
-3
Let h(b) = 411*b + 1274. Let c be h(-3). Solve c*x = 29*x - 12 for x.
-1
Let a = -2435 - -2606. Solve -a + 170 = n for n.
-1
Suppose -4*c + 3*n = 2*n - 1047, 4*c - 5*n = 1059. Let z = -247 + c. Solve 4 = -16*y + z*y for y.
-2
Suppose -3*d + 30 + 18 = 0. Let a(x) = 4*x + 48. Let m be a(-11). Suppose u - m*u = -6. Solve -2*f - u*f = d for f.
-4
Let o be (-5980)/(-39) + -1 + 6/9. Let b = -147 + o. Solve 0 = -b*d + 3*d + 12 for d.
4
Suppose 63*x = -600 + 726. Solve x*b - 6 = -20 for b.
-7
Let n(g) = g**3 - 4*g**2 - g. Let w be n(5). Suppose 0 = 4*d - 2*r - 2 + 14, 0 = -5*d + 2*r - 16. Let x be 3/d - (-552)/96. Solve 0*a - w = x*a for a.
-4
Let u(l) = -3*l + 14. Let m be u(4). Suppose -m*f - 3*f - 3*i - 5 = 0, 26 = 3*f - 4*i. Suppose -6*b + f = -5*b. Solve -1 = b*x + 3 for x.
-2
Suppose 0 = 43*i - 229 + 14. Solve 0 = -7*v - 13*v + i*v for v.
0
Suppose 0 = 23*z - 198 - 1184 + 301. Solve -25*n + z = -103 for n.
6
Let x be (-5 + -1)/(-2) + 14. Let c = 30 - 7. Let m = c - x. Solve m*d = d for d.
0
Suppose -14*i = -9*i - 4*b - 45, -2*i + b = -15. Let l(z) = z**2 - 10*z + 28. Let f be l(i). Solve -2*p + 4 = -f*p for p.
-4
Let q be -4 + 3 + 0 + 5. Suppose 3*j = 2*y + 8*j, -q*y - j = -18. Suppose 6*x - 8*x - y*z = -27, 0 = -5*x + 3*z - 10. Solve 0 = 5*d - x - 9 for d.
2
Suppose 4*g - 113 = -y, -2*g - 2*y + 79 = 3*y. Solve -47*n - g = -262 for n.
5
Let b(m) = 9*m. Suppose 5*u + 4*w + 5 + 1 = 0, -3*u + 4*w + 22 = 0. Let i be b(u). Solve -5*y - i = y for y.
-3
Let s = -115 + 97. Let a be s/(-12)*-9*-2. Solve -5*j - 12 + a = 0 for j.
3
Suppose -4*s - 2*h + 8 = -16, 0 = -5*s - 3*h + 33. Solve -j - 2*j - s*j = 0 for j.
0
Suppose 0 = -4*z - 7*a + 3*a - 460, 3*a - 15 = 0. Let g be 0 - (-13)/((-13)/z). Let t be (-3 + -4)*g/(-42). Solve -6*w - t = -w for w.
-4
Let u = 45 - 7. Suppose p - 8 = -u. Let r = p - -38. Solve i + r = -i for i.
-4
Suppose -5*m - 3 - 22 = 0. Let y(w) = 2*w + 10. Let i be y(m). Suppose i = 4*g + 5*x + 17, g - 2*x - 6 = 3*g. Solve 0 = 2*r - 4*r + g for r.
1
Let d(j) = -2*j**3 + 48*j**2 + 6*j - 109. Let v be d(24). Solve 7 = 28*z + v for z.
-1
Let w = -11 - 25. Let a be w/(-16) + (-3)/(-4). Solve d + a*d = -12 for d.
-3
Let w = -32312 - -32375. Solve w - 216 = -17*i for i.
9
Let p = 1703 + -593. Let z be 746/30 + 148/p. Solve -z*t + 21*t + 12 = 0 for t.
3
Let q(f) = 2*f - 18. Let y be q(15). Let k(v) be the first derivative of -v**2/2 + 12*v + 15. Let j be k(5). Solve j*c + y = 4*c for c.
-4
Suppose -43*r = -45*r + 34. Let t = -17 + r. Solve 0 = -t*j + 4*j - 8 for j.
2
Suppose -f - f + 2 = 0. Let x(z) = z**3 + 8*z**2 + 9*z + 23. Let g be x(-7). Let h be 30/g*((-4)/(-20) - -1). Solve -h*a - f = 3 for a.
-1
Let w = -16 + 10. Let x be 2/(-4) + w/(-12). Suppose 6*a - 4*a = x. Solve a*r - 2*r = 10 for r.
-5
Let u = 26 + -23. Suppose -5*w - u*n - 9 = 0, 11*n - 15*n - 12 = w. Solve -20 = -w*v - 4*v for v.
5
Suppose 0 = -3*k + 2*f + 178 - 96, 3*f - 3 = 0. Solve -k - 44 = -12*g for g.
6
Suppose -47735 = -49*g - 32*g + 3295. Solve -g = 12*c - 582 for c.
-4
Let d(j) = -3*j**3 + 77*j**2 + 28*j - 43. Let c be d(26). Suppose 2*t = 4*t - 54. Let y be -14*1/(-6) - c/t. Solve -4*b - y = -2*b for b.
-1
Suppose 0 = 12*s - 642 - 330. Solve 0 = -11*t + s - 136 for t.
-5
Let c(h) = 9*h**2 - 1. Let a be c(-1). Let r(x) = x**3 - 41*x**2 + 241*x - 19. Let o be r(7). Solve -4*l + o*l = a for l.
-4
Suppose -13*v = -99 - 200. Solve -33*r + 10 = -v for r.
1
Suppose 0 = -19*r + 13 + 500. Suppose 6*j = r - 3. Solve 0 = -j*q + 5*q - 4 for q.
4
Suppose 0 = 4*d + 2*q + 158 + 480, -d - 152 = 2*q. Let c = -160 - d. Solve 5*v = -c + 22 for v.
4
Suppose 2194 = 89*d + 1750 - 3561. Solve 67*v - d*v = 154 for v.
7
Let f be (-4)/16 - (-5 - 7/(-4)). Solve -f*k = 2*k - 4*k for k.
0
Let l be 0 + -1 + -1 + 12. Suppose 4*y + l*o = 8*o + 42, 0 = -y - 4*o. Suppose -3*t - 19 = -k, -2*k - 5*t = -2 + 19. Solve -k + y = 2*h for h.
4
Let o(f) = 46*f**3 + 2*f**2 - 5*f + 4. Let r be o(1). Suppose r = 17*t - 72. Solve 0 = -y - t + 4 for y.
-3
Let n(f) = -f**3 - 3*f**2 + 9*f + 19. Let k be n(-5). Solve k*z + 4 = 20*z for z.
-1
Suppose -59*d + 427 = 15 + 58. Solve -54*m = -d*m + 240 for m.
-5
Let v(z) = z**2 + 6*z + 13. Let k be v(0). Suppose -83 = -k*n + 47. Solve -n*y = -y for y.
0
Let d be (-2)/(36/28 - 1). Let i = 11 + d. Suppose -r = 6*p - i*p + 4, -20 = 4*p. Solve 3*j - j = r for j.
3
Let l = 1193 - 1081. Solve 0 = 32*v + 112 + l for v.
-7
Let p(z) = -12*z - 139. Let b be p(-12). Suppose 0 = 3*c - 3*q - 6, -8*q = -b*c - 7*q + 22. Solve -y + 4 = -c*y for y.
-1
Let g = 248 - 238. Suppose 5*y = 2*p + 14, -23 = -5*y + g*p - 11*p. Solve 0*f = y*f for f.
0
Suppose 3*g + 3*b = -6, 5*g + 4*b = 2*b + 5. Suppose 5*c + a + 4*a - 5 = 0, -2*a = g*c - 7. Suppose -c*m - m = -3*m. Solve m = -8*v + 4*v for v.
0
Suppose 4*u - 38 = -2*r + 40, -4*u + r + 63 = 0. Suppose 225 = -1231319*a + 1231328*a. Solve -2*n - a = -u for n.
-4
Let p(h) be the first derivative of -h**4/4 + 2*h**3 + 7*h**2/2 + 2*h + 23. Let q be p(7). Let i(o) = 2*o - 6. Let t be i(4). Solve q*n + 12 = -t*n for n.
-3
Let u be 8/(-6)*(-59292)/2928. Solve u = 51*o + 129 for o.
-2
Suppose 3*y - 10 = -1. Suppose 0 = 4*j - 5*k - 23, y*j = -5*k - 12 + 38. Suppose 16*n = 9 + j. Solve -o = -0*o - n for o.
1
Suppose -13*f - 9 = -10*f. Let h(q) = 6*q + 16. Let k be h(f). Let l(i) = -i**2 - 4*i - 4. Let t be l(k). Solve t = n - 0*n + 4 for n.
-4
Let b = -167 - -113. Suppose 0*l + 51 = -l. Let g = l - b. Solve -k + 1 = -g for k.
4
Let j be (-3)/((-3)/67)*(1 + -5). Let u = 277 + j. Suppose 3 = -l + 11. Solve 5*v = l*v + u for v.
-3
Suppose 0 = 3*b - 33 - 15. Let f(x) = 9*x - 4. Let a(h) = -13*h + 1. Let r(w) = 2*a(w) + 3*f(w). Let d be r(b). Solve 0 = 3*v + 6 + d for v.
-4
Let p = 24426 - 24424. Solve 70*x = -72 + p for x.
-1
Suppose -13*p + 24 = -12*p. Suppose -5*h + 12 = -4*m, h = p*m - 22*m. Solve -m*v = -v - 3 for v.
3
Suppose -7*k - 12 = -13*k. Suppose g = b - k, -3*g - g + b + 1 = 0. Solve -4 - g = 5*d for d.
-1
Let i be (16/6 - 2)*(-513)/(-18). Suppose 85 + 295 = i*g. Solve q + g = 22 for q.
2
Suppose 4*f + 3 + 15 = -3*j, 14 = j - 2*f. So