olve 0 = -a*s - 0*s + 20 for s.
4
Let s = -21 - -25. Suppose s*l + 4*w - 48 = 0, -3*w = -4*l + 21 - 1. Let n = l - 6. Solve -2*x - 4 - n = 0 for x.
-3
Let a(d) = d + 10. Let b be a(-7). Suppose -275 = -5*r + m, 5*r = r - b*m + 239. Let i = r + -52. Solve 1 = u + i for u.
-3
Suppose 24*i - 722 + 122 = 0. Solve 110 - 35 = i*r for r.
3
Let u(d) be the third derivative of -d**6/120 + d**5/12 + d**3/3 + 17*d**2. Let c be u(6). Let s = -34 - c. Solve 6 = -s*n + 3*n for n.
2
Suppose q + 75 = -4*q. Suppose 4*u + 62 - 10 = 0. Let s = u - q. Solve s*g = 5*g + 15 for g.
-5
Let l be 5 + 4/2 + -4. Let b(m) = -225*m - 30329. Let y be b(-135). Solve y = -l*g + 58 for g.
4
Let g = -9241 + 9250. Solve 0 = -g*y + 2 + 25 for y.
3
Suppose 5*f = 64 + 441. Let a be 147/(-5)*(-470)/141. Let o = f - a. Solve 6 = -o*t + 5*t for t.
3
Let q = -3336 - -3346. Solve -21 = q*l - 1 for l.
-2
Let w = -646 - -1347. Solve -746 + w = 15*m for m.
-3
Let d be 7 - (2/3)/(180/1350). Solve -10*s = -8*s - d for s.
1
Let q be ((-2400)/(-55))/(-8) + (-36)/66. Let x be (-6 + q + 2)*(-3)/6. Solve x*f - 1 = 9 for f.
2
Let v be 32 + 10 - (8 - 28). Solve 77*a = -477 - v for a.
-7
Let r(v) = -10*v - 30. Let g be r(-8). Suppose -6 = -3*i, -2*i = 4*t + 3*i - g. Solve -3*u + 1 = t for u.
-3
Let l(v) = -2*v. Let a(y) = -11*y + 22. Let t(x) = a(x) - 5*l(x). Let s be t(16). Solve -s*q + 10 = -q for q.
2
Let x be 1 + -1*(-5 + -14). Suppose -2*p + 5*o + 24 = 0, -x = -2*p + 7*o - 3*o. Solve 0 = p*z - 5*z + 6 for z.
2
Let b(t) = t**3 + 11*t**2 - 23*t + 13. Let g be b(-12). Let p = -138 + g. Solve -u + 4 = p for u.
-3
Suppose -181*c - 60*c = -58*c - 8235. Solve 5*k - c = -75 for k.
-6
Suppose -2*f = 28 - 8. Let o be ((-4)/(-2) - 7)*f/(-10). Let k = -5 - o. Solve k*h = 3*h for h.
0
Let f = -25965 + 25968. Solve f*h = 17*h - 112 for h.
8
Let t be (4 + -16)*(3 + 48/(-9)). Suppose -5*v - 18 = -t. Suppose -8*s = v*s - 90. Solve 5*b = -4 + s for b.
1
Let x = -57 - -91. Suppose -37*d + x*d = -48. Let l be (-4)/(-3)*24/d. Solve -l*r - 5 = -3*r for r.
5
Let x(u) = 238*u - 2074. Let h be x(9). Solve -66*t - 8 = -h*t for t.
4
Let d = 5099 - 5099. Solve d = 919*g - 923*g + 20 for g.
5
Let z = -2576 - -2580. Let c = 8 + -4. Let v = c - 2. Solve -z*l + v = -2 for l.
1
Suppose 26*s = 23*s - 102. Let o be (-17)/s - (-11)/(-2). Let l = o + 25. Solve l = f - 6*f for f.
-4
Let a be (-156)/15*(-10)/4. Let t = 44 - a. Suppose 21 - t = p. Solve 0 = 2*w + p*w - 15 for w.
3
Let f be (2/6)/((-2)/(-12)). Let x be (-1333)/(-43) - (5 + 19). Solve -x*u + f*u = -10 for u.
2
Let s(a) = -11*a + 102. Let w be s(-18). Let r = 302 - w. Solve -r*i - 3*i = 15 for i.
-3
Let l(j) = 2*j**3 + 14*j**2 - 17*j - 8. Let r be l(-8). Suppose 14*m - 17*m + 84 = r. Suppose 3*h + 32 = 7*h. Solve -4*v = h - m for v.
5
Let q be -4*(6 + -10) - 7. Solve q*k + 7 = 34 for k.
3
Let k = 1570 + -1570. Solve k = 10*l - 2*l + 2*l for l.
0
Let z = 832 - 828. Solve z = 2*x - x for x.
4
Let w = 9 - 7. Suppose a = 4*a + w*j - 61, -3*a - j = -62. Suppose -a = -8*b + b. Solve -2*t = b*t - 10 for t.
2
Let z(f) = 0 - 6*f + f**2 - 2 + 8*f + 2*f**3 + f**3. Let i be z(1). Solve -2*m + i = -m for m.
4
Let b(h) = h**2 + 14*h - 9. Let r be b(-14). Let t = -7 - r. Solve 3 = t*i - 3*i for i.
-3
Let w(n) = -n**3 + 13*n**2 + 27*n - 177. Let s be w(14). Solve -s*f = 150 - 145 for f.
-1
Let q = -13353 - -13378. Solve -q*n + 31*n - 12 = 0 for n.
2
Let r(x) = -231*x + 491. Let l be r(2). Solve l = -3*h + 11 for h.
-6
Suppose n + 2241 - 2382 = -2*n. Solve 20*a = n*a + 162 for a.
-6
Suppose c = 2*c - 5. Let f(o) = -o + 5. Let n be f(c). Let x(s) = -2*s**2 - 6*s + 2. Let a be x(-3). Solve -3*m - a*m = n for m.
0
Suppose 0 = 12*s + 1878 - 654. Suppose 3*p + 296 = 5*d, 2*p + 4*d + 191 = d. Let l = p - s. Solve l*j = 2*j for j.
0
Let f(d) = -2*d**3 - 169*d**2 - 88*d - 317. Let g be f(-84). Solve 156 - 4 = -g*c for c.
-8
Let j = -254 + 269. Let k be 2 - (-54)/10 - (-9)/j. Solve k = 3*o + 5 for o.
1
Suppose 130 = 18*r - 374. Solve -r = 14*i - 0 for i.
-2
Let v(r) = -r**3 - 11*r**2 - 18*r + 2. Let w be v(-9). Suppose w*z = -d + 20, 5*d - 53 = -4*z - 19. Solve -6*k + z*k - 25 = 0 for k.
5
Suppose 58*b - 57*b - 25 = 2*d, 0 = 2*b + 2*d - 14. Solve b*v + 115 = -10*v for v.
-5
Suppose o - 26 = 2*q, -3*o + 22 = -2*o - q. Let j = o + -18. Suppose j = -4*y + 3*y. Solve y = f - 0 + 4 for f.
-4
Let v(d) = d**3 + 32*d**2 - 2*d - 36. Let p be v(-32). Let x(c) = -c**2 + 28*c + 3. Let r be x(p). Solve -r = 2*j + j for j.
-1
Let v = -50 + 98. Suppose -2*u - 2*h = -v, -9 + 102 = 4*u + 3*h. Let b be (-4)/(-14) - ((-66)/u)/(-11). Solve 3*p - 5*p + 4 = b for p.
2
Suppose 1299*m - 1267*m = 192. Solve 0 = -m*o + 26 - 38 for o.
-2
Suppose -3*m - 161 = -s, -9*m = 3*s - 6*m - 471. Let z be (-1 - s/(-14)) + (-6)/21. Suppose 7*t - 20 = 2*t. Solve 2*g - t*g + z = 0 for g.
5
Let x be 508/100 + -5 + 206079/1825. Solve 173 = -15*k + x for k.
-4
Let z = 282 - 277. Suppose 5*k = -2*u - 1, 4 = -3*u - z. Solve -g = 4 - k for g.
-3
Let n be 18530/(-1853) - (-16 - 0). Suppose -7*t = -2*t - 35. Let q = t + -2. Solve q = -u + n*u for u.
1
Suppose -66041*l + 66037*l = -1788. Solve l*t = 443*t + 32 for t.
8
Let h be 2*-4 + (33 - 22). Suppose 0*c - 3*c = 24. Let w = 7 - c. Solve -8*i + w = -h*i for i.
3
Let v(u) = -6*u**3 - 2*u**2 + 3*u + 25. Let p(z) = 14*z**3 + 5*z**2 - 6*z - 51. Let w(c) = 2*p(c) + 5*v(c). Let q be w(0). Solve -18*i + 15 = -q*i for i.
-3
Let c = 104 + -93. Suppose -n = -c*n. Suppose -14*g + n = -14. Solve 0 = 2*m - g - 1 for m.
1
Suppose 59*h - 64*h - 5*v + 115 = 0, -4*h - 3*v = -97. Suppose z + z = -3*m - 71, 3*z = 5*m + 112. Let o = h + m. Solve 0*u = -u - o for u.
-5
Let p be (-570)/(-135) - 4/18. Suppose 2*s - 4*o = 42, -2*o - 69 = -p*s + 3*o. Suppose 7*t + 4 = s*t. Solve 4*h - 9 = -t for h.
2
Let u be 2/(65/20 + -3). Let r be 16/u - (-2 + 8). Let a = r - -6. Solve 8 = -2*m - a*m for m.
-2
Let u(s) = -s**3 - 9*s**2 - 6*s - 5. Let v be u(-8). Let l(a) = a**2 + 22*a + 26. Let q be l(v). Suppose 0 = q*n - 10. Solve n*h - 4*h = -8 for h.
4
Let l = 6663 + -6652. Solve -25*i + 39 = -l for i.
2
Let a = -39797 - -39804. Let q be 9/(2*9/12). Solve a*d + 2 = q*d for d.
-2
Let c be (-44)/(-4) - (-36 - (-18 - 26)). Let u(i) = i**3 + 4*i**2 - 3. Let s be u(-3). Solve -s*z = -c*z - 6 for z.
2
Let w be (-2 + -1 + 1)/(-2). Let z = 6011 + -6009. Solve -7 = -z*d - w for d.
3
Suppose -27*t - 2642 = -3722. Solve -48*r = -40*r + t for r.
-5
Let w be 9 - (-2 + -1)*-1*1. Let m be -1 + w/(-12) + 114/(-4). Let l = m - -30. Solve 0 = -5*n + 20 - l for n.
4
Let h be (-75)/750 + (-20002)/(-20). Let m = -994 + h. Solve -7*o + m*o = -5 for o.
5
Let g = 12315 + -12177. Solve -130*r - 56 = -g*r for r.
7
Suppose -3*l + 3*o + 270 = 0, l - o = -2*l + 270. Suppose 2*t - l = -4. Let a = t - 41. Solve -a*g + 10 = 3*g for g.
2
Suppose 9*k = 224 + 10. Suppose 3*x = 7*x - 2*h - k, -3*h - 31 = -4*x. Solve 0 = -n - x*n - 15 for n.
-3
Let c(h) = -58*h - 1318. Let m be c(-23). Solve -118 + 38 = m*k for k.
-5
Suppose 5*x = 4*g - 485, -2*x + g = 3*g + 176. Let z = x - -117. Let k = -5 - -10. Solve -1 = k*a + z for a.
-5
Let t = 130 - 122. Let o(f) = -f**3 + 8*f**2 - f + 5. Let w be o(t). Let r be 0*((-9)/18 - w/2). Solve -d = -5 - r for d.
5
Let a(o) = o**3 - 2*o**2 - 4*o - 4. Let z = -12 + 16. Let h be a(z). Solve 17*n = h*n + 20 for n.
4
Let b = -86 + 98. Suppose 5*p - x = -77, 0 = 5*x - 9*x - b. Let v = 19 + p. Solve 0 = j - v for j.
3
Let n(j) = j**3 - 22*j**2 - 18*j + 77. Let h be n(23). Solve 0 = 50*o + 58 + h for o.
-5
Suppose 0 = -5*f + f - 5*j + 1430, 2*j = -5*f + 1796. Solve 84 = 46*i + f for i.
-6
Let w(p) = -3*p + 127. Let y be w(32). Suppose -23*k = -y*k + 40. Solve -k = 4*o - 1 for o.
-1
Let q be 16 - 0 - -1 - (-3)/(-3). Suppose -9*f = -34 + q. Solve -6 = f*h + 2 for h.
-4
Let a be 1*(2 + (-42)/6). Let m be (-12)/15*4*a/2. Solve 0 = -4*r + m - 0 for r.
2
Let c be (6 + (-156)/24)*(-2 - 2 - -4). Solve c = 68*b - 53*b for b.
0
Suppose 0 = 8*i - 14 - 18. Suppose 0*r = 2*r + 2*f - 12, 2*f + i = 2*r. Solve 3*v - r = -v for v.
1
Let q be ((-156)/(-20))/(12/60). Solve 0 = 11*r + q + 60 for r.
-9
Let y(u) = -u**3 - 17*u**2 - 2*u - 33. Let a be y(-17). Let n be (a - -12) + 38 + -41. Solve f = n - 6 for f.
4
Suppose 2 = x - 4*o - o, 0 = -4*x - o - 