. Solve -z*f = -80 + 31 for f.
7
Let y be (-1)/(((-2)/(-6))/(16/48)). Let x(h) = -2*h. Let w be x(y). Suppose 3*m + 22 = 5*m - w*k, -4*k = 5*m - 91. Solve -4*s + m = -9*s for s.
-3
Suppose -30*l + 14*l + 1888 = 0. Suppose 117*w = l*w. Solve w*v = -v + 5 for v.
5
Suppose i = c, -2*i - 5*c = -11 - 24. Let x(d) be the first derivative of -d**4/4 - 8*d**3/3 - d**2 - 5*d + 3. Let f be x(-8). Solve 4*r = -f - i for r.
-4
Suppose 61*b + d - 15 = 57*b, 2*b + 10 = 2*d. Suppose 5 - 35 = 2*j. Let r be 2/4 + j/(-6). Solve z + b = -r for z.
-5
Let v be (-5 + (-88)/(-12))/(3/(-288)). Let j = v - -136. Let k = j + 89. Solve -5*x - k = 4 for x.
-1
Let c be (-8)/(-12)*19/(-3)*(-81)/18. Solve 0 = 23*g + 119 + c for g.
-6
Suppose 154 = 9*s + 19. Let b(a) = a**3 - 15*a**2 + a - 3. Let m be b(s). Let k = -8 - -8. Solve k = x + 2*x + m for x.
-4
Let b = 186 + -198. Let r be (-12)/(-18) + (-16)/b. Solve 1 = k + r for k.
-1
Suppose 0 = 4*w + 2*l - 342, 19*w = 20*w - l - 81. Solve -w = -13*q - 19 for q.
5
Let g = 4425 + -4366. Solve 0 = -g*f + 71*f - 36 for f.
3
Suppose -5*p - 3*a - 2135 = 0, -2*p + a - 838 = -a. Let o = p - -444. Solve 0 = -5*g + o - 0 for g.
4
Let v(t) be the third derivative of t**6/120 + t**5/30 - t**4/6 - t**3/3 - 4*t**2. Let s be v(-3). Let q be (s + (-1)/3)*(10 - -8). Solve -5*z + 2*z = q for z.
-4
Let g = -1 + 1. Let k(w) = -w**3 + 3*w**2 + 7*w - 3. Let p be k(2). Solve g*t = 5*t + p for t.
-3
Suppose -5*b - 3 = 2*x, x - b = 3*x - 17. Let a(n) = -11*n - 90. Let g be a(-9). Solve 5*j = x + g for j.
4
Let y be (-110)/4*(-7908)/7249. Solve 82*w - y*w = 52 for w.
1
Let y = 855 - 837. Solve y*b = 16*b - 2 for b.
-1
Let w = 10516 - 10516. Solve w = -9*d - 30 - 6 for d.
-4
Let u = 9906 + -9804. Solve -u = 2*f - 96 for f.
-3
Suppose 1205*r = 1199*r + 2886. Solve 466*s = r*s + 105 for s.
-7
Suppose 0 = -213*q - 190 + 616. Let g(v) = v**3 - 6*v**2 + 1. Let p = 16 - 10. Let t be g(p). Solve -3 = q*i - t for i.
-1
Let s be 1 + 2/(-6) - 252/(-27). Suppose 8*t - 3*t = 5*j + s, 5*j + 4 = 2*t. Solve j = 2*m + 2*m - 12 for m.
3
Suppose 3*u + 3*w - 52 = -7, 0 = w - 4. Solve 0 = u*j + 10 - 10 for j.
0
Let q be (5/(-5)*(-1 + 2))/(23/(-1748)). Solve 37*x = 146 + q for x.
6
Let b(d) = -d**3 + 8*d**2 - 11*d + 37. Let p be b(7). Suppose 3*n = p*n - 18. Solve -1 = -n*z + 8 for z.
3
Suppose -6*t - 3 = 153. Let y = -26 - t. Let l = y - -3. Solve -l*g = 2 - 11 for g.
3
Let r(n) = -n - 13. Let h be r(0). Let s(y) = -10*y**2 - 3*y. Let i be s(1). Let o = i - h. Solve -4*l + 0*l + 20 = o for l.
5
Let z = 12 - 41. Let n = -29 - z. Solve 0 = -n*m + 6*m - 12 for m.
2
Let m = -78 + 33. Let c be (3 + (-100)/6)*(-3)/(-1). Let x = c - m. Solve x + 1 = -l for l.
-5
Let w = -11610 + 11676. Solve 27*p = 49*p - w for p.
3
Let v be 8/32 + 115/4. Suppose -7*h - v = -113. Suppose 0 = -8*q + h*q. Solve -4*p = -q*p for p.
0
Let h = -4997 + 5074. Solve -11*f + h = 77 for f.
0
Let t = -1071 + 1083. Solve t - 31 = -19*i for i.
1
Let j = -29142 + 29142. Solve 36 = -j*w - 36*w for w.
-1
Suppose 0 = -11*k - 38447 + 39877. Solve k*b + 54 = 139*b for b.
6
Let v(w) = 201*w + 1211. Let g be v(-6). Solve 20*l - g*l + 90 = 0 for l.
-6
Suppose 1747 = 11*f - 1102. Let z = f + -256. Solve -6*g + z*g = 3 for g.
-1
Let u(i) = -i**3 + 14*i**2 - 21*i + 7. Let z be u(12). Solve -30*c + 13 - z = 0 for c.
-1
Let s(t) = 2*t**2 + 23*t - 79. Let n be s(3). Solve -81*g + 79*g - n = 0 for g.
-4
Let p(d) = -d**3 - 6*d**2 - 53*d - 552. Let y be p(-8). Solve -4*b - 139 + 163 = y for b.
6
Suppose 0 = -5*d + 69 + 96. Suppose d*j - 69 = 96. Solve 0 = -j*f + 4*f for f.
0
Suppose 0 = 4*p + 12, -3*g - 16*p + 20*p = -24. Let k be (12/(-8))/(6/(-8)). Suppose -k*b = -3*b + 9. Solve -b + g = u for u.
-5
Suppose 19*i = 1174 - 832. Solve 5*y - i = -23 for y.
-1
Let b = 996 + -996. Solve 13*g - 179 + 166 = b for g.
1
Let n be 2/(-3) - (-2)/3. Let v = 68 + -60. Suppose 10*q - 22 - v = 0. Solve n = q*i + i + 16 for i.
-4
Let i(n) = -n**3 - 4*n**2 + 9*n + 4. Let k be i(-6). Suppose -19*y + k*y = 3. Let x be 4 + 3/((-9)/3). Solve 0 = l + y - x for l.
2
Suppose 33 - 6 = -3*z - 4*y, 50 = -5*z - 5*y. Let r(f) = 2*f**2 + 22*f - 44. Let g be r(z). Solve g + 17 = 5*l for l.
5
Suppose -k + 91 = 88. Suppose 0 = k*o - 30*o + 6*o. Solve o*b + 2*b = -2 for b.
-1
Let i = -337 + 373. Suppose i*u = 29*u + 91. Solve -u*j = -15*j for j.
0
Let k be (36/(-4) - 3)/(-1). Suppose -6*j + 3*j = -k, -h + 5*j - 5 = 0. Suppose 0 = -9*b + h*b. Solve b*l - 2 = l for l.
-2
Suppose 5*x - 2*d - 25 - 23 = 0, -4*x = -d - 36. Suppose 0 = -3*o - 29 + 38. Solve -7 = o*t + x for t.
-5
Suppose 3*j - 30 - 9 = 0. Suppose j*d - 30 = 8*d. Suppose 0 = d*m - 15 - 39. Solve 2*l + m = -l for l.
-3
Suppose 0 = -k - 0*k - 2*k. Let d be (1 - -3 - k) + 0. Solve -d*j + 3*j = -4 for j.
4
Suppose 0 = -987*v + 979*v + 368. Solve 57*o + 217 = v for o.
-3
Suppose -4*y + 27*t - 32*t + 95 = 0, 5 = -t. Solve y*q - 108*q + 78 = 0 for q.
1
Let w(k) = -19*k**2 - 124*k - 8. Let l be w(-6). Solve -l = 6*t + 7*t for t.
-4
Suppose -3*z - m = -2*z + 1, -1 = 4*z + m. Let p(i) = i**2 - 9*i - 18. Let v be p(11). Suppose v = o + c, 5*o + 9*c = 14*c. Solve z + o = -j for j.
-2
Let z = -28859 - -28961. Solve 7*k = z*k for k.
0
Let d(w) = w**2 + 3*w - 37. Let l be d(-11). Suppose -20*q + 9 + l = 0. Solve q*f = -0 + 9 for f.
3
Suppose 30*y - 7*y = -7*y + 180. Solve -42 = -y*w - 72 for w.
-5
Let q be (-12 + 58/6)/(1/(-3)). Solve -2*a + q*a = 8*a for a.
0
Let d be (3 - 5) + (2 - 1). Let n be 3*((-45)/27)/d. Let q = -41 + 58. Solve -q = n*m + 8 for m.
-5
Suppose 4 = -t - 16. Let f be ((-63)/35)/(4/t). Solve 0 = -v - f + 8 for v.
-1
Suppose -z = 2*w + 6, -2*w + 0*z - 4*z = 18. Let l be -1 - (0 - w/(-1)). Solve -5*b - b = l for b.
0
Suppose -404252*f = -404239*f. Solve f = 9*q + 43 - 25 for q.
-2
Suppose z + 55 + 115 = 4*k, 2*k + 4*z = 76. Suppose 3*x = -h - 3*h + 15, 3*x - 5*h - k = 0. Solve 5 = 4*a + x for a.
-1
Let x(g) = -g**3 - 11*g**2 - 21*g - 103. Let u be x(-10). Solve -15 = -u*y + 12*y for y.
-3
Suppose 74388 = 49*q + 2*q - 17718. Solve 1812 = -6*p + q for p.
-1
Let d = -1055 + 1066. Solve -11*g = d*g + 19*g for g.
0
Suppose 262 - 272 = -t. Solve -t*v = -5*v - 35 for v.
7
Let s = -81 + 83. Suppose 25*q = s*q + 92. Let a be (34/(-3))/2*-3. Solve -q*g - a = 3 for g.
-5
Suppose 39*l = 47 - 47. Solve 0*o - 10*o = l for o.
0
Let t = 62 + -82. Let v be (t/8)/((-20)/16). Solve v*r = 8 - 10 for r.
-1
Let f be 1*(3/(-9))/((-5)/45). Let x be (0 + -3)*(-2*f)/3. Let b(m) = 8*m - 38. Let r be b(x). Solve r = -5*u - 0 for u.
-2
Let h = -2743 + 3343. Solve 577*v - 46 = h*v for v.
-2
Let r be 0/((-20)/5*2/8). Let i(v) = v**2 - 8*v + 8. Let m be i(8). Solve -w + 3*w + m = r for w.
-4
Suppose -33 - 15 = -4*w. Let o(r) = -2*r**3 + 3*r**2 - 22*r + 21. Let u be o(1). Solve 4*z + w - 4 = u for z.
-2
Let g(d) = 2*d**2 - 4*d - 7. Let p(y) = -y**2 - 10*y - 11. Let u be p(-8). Let n be g(u). Suppose 5*v - 23 = -2*l, -2*l - 3*l = v - n. Solve 3*k + 0 = v for k.
1
Let b = 35860 - 35837. Suppose 0 = w - 2 - 1. Solve w = 10*t + b for t.
-2
Let i(c) be the third derivative of -c**6/120 + c**5/4 - 5*c**4/4 + 35*c**3/3 - 176*c**2. Let n be i(13). Solve 5*x - n = -x for x.
3
Suppose 4*h = 8 - 0. Suppose -w + 35 = n, -4*w + h*n + 145 = n. Suppose 0 = -8*d + 4*d + w. Solve -3*z = -d - 0 for z.
3
Let b(n) = n + 1. Let h be b(-11). Let i(q) = 2*q**2 + 5*q + 7. Let f be i(-2). Let p be (-4)/f*h/4. Solve 8 = p*u - 6*u for u.
-2
Suppose 6253*k + 339 + 732 = 6256*k. Solve 61*w - 52 = -k for w.
-5
Let o = 4713 - 4674. Solve 63 = 17*j - o for j.
6
Let a = -24763 + 24766. Solve -a*x + 1 - 25 = 0 for x.
-8
Let c = -103 + 198. Let x = -271 + 180. Let m = x + c. Solve m*s - 20 = -0 for s.
5
Let s(u) = 3*u**3 + 3*u**3 - 4*u**3 + 0 + 2 + 26*u**2. Let r be s(-13). Suppose k - 4*k = -5*y + 19, 0 = r*y - 5*k. Solve 3*b = y*b - 2 for b.
1
Suppose 3*z - 83 = 5*d, -3 = 4*d + 13. Solve 2*m - 9*m = -z for m.
3
Let a be -13*8/(-2) + -52 + 48. Let r be (-3)/(-2)*(a/(-18))/(-1). Solve 0 = 4*m - 0*m + r for m.
-1
Let x be 476/17 - (-1 + -10). Solve 0 = -x*g - 92 - 220 for g.
-8
Suppose 4 = -3*v - 5, 0 = 4*k - 2*v - 106. Let p be ((-128)/(-20))/(-8) - (-2945)/k. Solve -p*t + 122*t - 5 = 0 for t.
1
Suppose 215 - 263 = -4*r - 3*c, -5*r - 3*c = -60. Solve 16*g - r 