. Solve -n*f + 2*f = 0 for f.
0
Let i(g) = -204*g - 1136. Let v be i(-6). Solve 2*h + v = 76 for h.
-6
Let a(g) = -2*g**2 + 8*g + 26. Let x be a(6). Let y be (-9 - -10)/(x/34) - 5. Solve -8*w = -y*w - 12 for w.
-3
Let m(g) = -71*g + 923. Let w be m(13). Solve -398*k + 401*k - 9 = w for k.
3
Let t be (-19 + 16)*-19 - 8. Solve 0 = t*z - 52*z + 3 for z.
1
Let g = -4100 + 4109. Solve 10*h - g*h = 0 for h.
0
Suppose 0*j = -j + 12. Suppose 0 = 3*g + g - j. Let z(r) = 6*r - 21. Let v be z(6). Solve 2*s - v = -g*s for s.
3
Let d = 8566 - 8430. Solve -d = 58*t + 38 for t.
-3
Let s(g) = 171*g - 2639. Let v be s(16). Solve m = v - 100 for m.
-3
Suppose 2*m + i = 31, 3*i = -416*m + 419*m - 51. Solve g + 12 - m = 0 for g.
4
Let o(a) = 8*a + 67. Let s be o(-8). Let x be (s/2)/(19/38). Solve 4 = 4*l - x*l for l.
4
Suppose -5*f + 4*h = -64, -5*f = 2*h + 5 - 93. Suppose -3*l + r = -5 - 5, 5*r - 14 = -l. Solve f = -0*i - l*i for i.
-4
Suppose 6*d + 6*d - 308 = d. Solve 11*u - d*u = -85 for u.
5
Let p = -4047 - -4076. Solve -49*o + 156 = p*o for o.
2
Suppose 0 = -c - 5*l + 9*l - 35, c + 4*l = 45. Suppose 25 - 75 = -2*z. Solve c*v + 0*v + z = 0 for v.
-5
Suppose -s + 4*g = 10 - 9, 0 = s - 3*g - 2. Let y = -98 - -99. Solve -y = 4*f + s for f.
-3
Let p(o) = 5*o**3 - 64*o**2 - 34*o + 69. Let n be p(18). Solve 14 = 7888*u - n*u for u.
2
Suppose 2 = -h, 2*c = -c + 4*h + 23. Let d = c + 1. Solve d*w + 2*w = 0 for w.
0
Let t(p) = -3*p**3 + 12*p + 3. Let j be t(-3). Solve 3804*z + j = 3810*z for z.
8
Let z(c) be the third derivative of -c**4/2 - 11*c**3/6 + c**2. Let v = 13854 + -13857. Let p be z(v). Solve 0 = -6*k + k - p for k.
-5
Suppose -45*p - 31480 = -5*p. Let f = -783 - p. Solve -r - f*r = 4*r for r.
0
Let r be 3/(-3 - (-6)/4) - 78. Let y = r + 80. Solve y = -3*b + b - 2 for b.
-1
Let s(r) = 8*r**2 - r - 5. Suppose -5 = -4*d + 3*p, -12*d + 11*d + 4*p + 11 = 0. Let t be s(d). Solve -34*b = -38*b - t for b.
-1
Let k = 8593 + -8579. Solve -77*m = -75*m + k for m.
-7
Suppose t - f - 53 = 115, -f = 2*t - 327. Solve -15*a = 40*a - t for a.
3
Suppose -3*j + 31 = 4*k, 2*j - 9 = 4*k - 3*j. Let q = -135 + 139. Suppose 7*x + 1 = 4*x - r, -q*x - 5 = 5*r. Solve 0 = -x*n - 4*n + k for n.
1
Suppose 915*k - 81 = 912*k. Suppose -8 - k = -5*r. Solve r*n = 8*n - 5 for n.
5
Suppose 15*j - 26 = 34. Let v be 1 + j + (3 - 4)/(-1). Solve -10*a + v*a = 4 for a.
-1
Let a(k) = -267*k**3 + 3*k**2 + 2*k. Let o be a(-1). Let d = o + -263. Solve -d = 2*c - 7 for c.
1
Suppose -3*j - 50 = -4*k + 9*k, 5*j + k + 98 = 0. Let i be (2 - (-15)/(-5))*j/(-2). Let g = 14 + i. Solve 6*v = 2*v - g for v.
-1
Let d be (-134)/1206*(2 + -65). Solve 11*i - 8 = d*i for i.
2
Suppose 13 = 2*z - 5*p, 8*z - 10*z + 3*p + 11 = 0. Suppose 6*s = z + 14. Solve 0 = -o - s for o.
-3
Let l(d) be the third derivative of -d**4/6 - 31*d**3/2 + d**2 - 3. Let q be l(-24). Solve 1 = -q*f + 4*f for f.
1
Let p(t) be the second derivative of t**5/10 - t**4/4 + t**3/6 + t**2 + 12*t. Let o be p(2). Suppose o*h + 4 = 9*h. Solve 9*z = h*z for z.
0
Let s = -58 - -58. Let m be -1 - (4 - 3) - (s - 65). Let d = 63 - m. Solve a + a = d for a.
0
Let k(p) = 9 - 1 - 6 - 4*p**2 + 6*p**2. Suppose -4*q - 5 = -0*x + x, -2*q + 5*x = -25. Let t be k(q). Solve -t*r = -0 - 8 for r.
4
Let f(t) = t**3 + 6*t**2 - 9*t - 13. Let n(g) = 2*g - 28. Let o be n(15). Let s be -2*(1/o + 3). Let k be f(s). Solve -2*w + k + 5 = 0 for w.
3
Let p(d) = -4*d - 32. Suppose -3*z + 52 - 97 = 0. Let a be p(z). Solve 0*o - 7*o = -a for o.
4
Let u(s) = s**2 - 47*s - 297. Let f be u(-6). Solve -63 + 42 = -f*j for j.
1
Suppose -2*r = -p + 10, -4*p = -r - 0*r - 19. Suppose 0*h + p*h - 20 = 0. Solve 27 - 17 = h*t for t.
2
Suppose -40*r - 2888 = -116*r. Solve -50*m = -r*m + 48 for m.
-4
Let r be 100/(-6) + 2/(-6). Let y = 13 + r. Let p be -3 - 28/(y + 0). Solve -16 = p*g + 4 for g.
-5
Let b = -923 - -955. Suppose 0 = 21*p - b + 32. Solve 0 = -13*v - p*v - 39 for v.
-3
Let m be 833/343 - (8/(-14) + 1). Suppose -6 = 3*i - i, -54 = -4*k - m*i. Solve y + k = 6*y for y.
3
Let o(f) = -f**3 + 16*f - 9321 + 18*f + 9380 - 14*f**2. Let g be o(-16). Solve 0 = 4*a + g - 7 for a.
-5
Suppose 1557 = d - 4*o, d + 2*o = 6*d - 7713. Suppose 0 = -1533*x + d*x - 16. Solve 0 = t + 6*t - x*t for t.
0
Suppose -3*y - 4 = -2*t, t + 4*t = -3*y + 31. Suppose -u + 5*r + 9 = 0, 0*u - 5 = -y*u - 3*r. Suppose -u*x = -31 - 1. Solve 0 = 3*h - h + x for h.
-4
Let c be 5*((-54)/(-15) - 3). Suppose -8*s = -13*s + 4*z - 24, -z - 3 = s. Let g be (1 + s)/9*0. Solve g = 2*n - c + 13 for n.
-5
Let r(t) = t**3 - 3*t**2 - 6*t + 14. Let s be r(4). Suppose s*k = -30 + 72. Solve -p = 5 - k for p.
2
Let a be ((-2 + 1 + -3)/(-4))/((-20)/(-60)). Solve a*b = 462 - 483 for b.
-7
Let v be -4 + (32/4)/1. Suppose -v*b - 3*t = -t, 0 = -t. Suppose -3*g + 3*h + 8 = -10, 4*g + 3*h - 10 = b. Solve 8*k + g = 4*k for k.
-1
Suppose -3*t = -5*a - 23, 10 = -0*a + 2*a. Suppose 118 = 5*z + 2*m, 60 + 11 = 3*z + m. Suppose -f - t = -z. Solve o + f = -o for o.
-4
Suppose 0 = 19*a - 20*a. Suppose a = -3*i + 3*d + 72, 29*i - d = 34*i - 90. Solve 11 = -10*x - i for x.
-3
Suppose -7*s - 59 = -73. Suppose -2*z + 2*w = 4, -3*z + 3*w = 2*z. Solve s*a = z*a for a.
0
Suppose -110 = -14*g + 3*g. Suppose -6*n = -4*m - n - g, 4*m = -4*n + 8. Solve m = 4*r + r - 15 for r.
3
Suppose -3*p = -6, 3*p = -c + 7 + 7. Suppose -7*z + c = -20. Suppose r - 15 = -4*l, z*l - 6*l - 4*r = -18. Solve l*f + 0 - 9 = 0 for f.
3
Let w = 2243 + -1549. Let y = w - 691. Solve y*n = -14 + 17 for n.
1
Suppose -65*s + h = -64*s - 36, -4*h = -5*s + 185. Solve 0 = s*z + 73 + 173 for z.
-6
Suppose -5*h + 0*h = -10120. Let b be 0 - h/6 - 12/(-9). Let x be 12/15 + b/(-30). Solve -x = 4*u - 0*u for u.
-3
Let g(m) be the third derivative of -2*m**4/3 + 41*m**3/3 + 2*m**2 + 59. Let n be g(5). Suppose 3*z - 6*z = 0. Solve -l - n - 1 = z for l.
-3
Suppose 3*o - 15 = 0, -o + 1 - 6 = -2*d. Suppose a - 2*y - 8 = -3*a, -3*a + 4*y = -6. Suppose a*b - 22 = -l, b = l - d*l + 18. Solve -2*c + b = -0*c for c.
5
Let j(g) = -3*g**2 + 50*g + 37. Let b be j(17). Suppose 0 = -b*i - 12*i + 480. Solve 0 = h + 19 - i for h.
-4
Let j be (21/14)/((-3)/8). Let f be -7 - j - -1 - -1. Let w be 1 + 9*f/(-3). Solve -2*o = -o + w for o.
-4
Suppose -5*v + 64 = -41. Suppose -4*x = -v - 27. Let r(n) = n**3 - 2*n**2 + 14*n - 23. Let q be r(2). Solve 0 = q*k - 3 - x for k.
3
Let x = -54 + 52. Let f be (-3)/x*3 + 6/(-4). Solve 0 = -5*t + f*t + 6 for t.
3
Let h(z) be the third derivative of 0*z + 1/12*z**4 + 1/2*z**3 + 13*z**2 + 1/120*z**6 + 0 + 1/60*z**5. Let j be h(0). Solve -4*f + j*f = -4 for f.
4
Let k = 105 + -101. Let q be (k - 16/4)/3 - -12. Suppose 3*i + q = 7*i. Solve 0 = i*z - 7*z for z.
0
Suppose 687 = 3*h + 666. Solve -h + 43 = 9*v for v.
4
Let t(l) = -l**3 - 7*l**2 + 7*l - 1. Let i(m) = -3*m**2 + 3*m - 2. Let c be i(2). Let v be t(c). Let q be (-66)/(-77)*56/6. Solve -v - q = 3*f for f.
-5
Let t(o) = -23*o**2 - 3613*o - 309. Let g be t(-157). Suppose 2*h = 3*b + 39 - 144, 0 = 3*b - 5*h - 96. Solve b = -g*j + 32 for j.
-1
Let t = -126 + 114. Let h be 1 + -1 + t/(-2). Solve -h*q - 5 = -7*q for q.
5
Let t be (104/20)/((-1)/(-5)). Suppose 3*l + f = -0*l + 26, 3*f = 4*l - t. Suppose -l*q = -6*q. Solve q*b = 3*b - 15 for b.
5
Let d = -2778 - -2782. Let z be 70/(-2) + 12/(-4). Let a = z + 53. Solve -3 = d*f - a for f.
3
Let n = -32 - -34. Suppose 4*d - 2 = 2*c, -4 = -5*d + n*c - 0. Suppose 0 = d*r - 3*r + 4. Solve 22 = -r*l + 6 for l.
-4
Let d(j) = -j + 5. Let n = -69 - -72. Let w be d(n). Solve y - w*y = -4 for y.
4
Let r = -1116 + 1129. Solve -14*p - 5 = -r*p for p.
-5
Let q(z) = -z**3 + 39*z**2 - 41*z + 116. Let g(d) = 4*d + 190. Let f be g(-38). Let m be q(f). Solve m = -3*x + 11 for x.
3
Let b = -30049 - -30058. Let s = 37 - 23. Solve s = -o + b for o.
-5
Suppose -4*w - 2*u - 2 = -0*u, 5*w + 15 = -5*u. Suppose 0*d - 5*x = 2*d + 13, w*d + 2*x - 2 = 0. Solve d = -5*g + 16 for g.
2
Let f(v) = v**3 - 10*v**2 - 72*v + 393. Let h be f(15). Solve 52*r = h - 178 for r.
5
Let s = -135209 + 135210. Suppose -2*g + 4*g - 22 = 0. Let x = g + -8. Solve w + s = x for w.
2
Let p = -139 + 198. Let b = p + -54. Solve b*w - 2 = -7 for w.
-1
Let d(i) = 15*i**2 + 227*i + 30. Let y be d(-15). Suppose x + 6 = 4*x. Let t be (-1 + x + 