213*b**2 + 3*b - 12. Let y be s(2). Let f be (-4)/t + y/162. Solve -19 - 1 = -f*z for z.
4
Let o(n) = 43*n + 27. Let g be o(-3). Let y = -92 - g. Solve -5*w = -y*w - 10 for w.
-2
Let d be (34/(-6) - -5) + 11/3. Suppose -5*v + d*v = -6. Suppose v*y - 3*t - 12 = -y, 3*y - 9 = 4*t. Solve 0 = -y*w - 4 + 16 for w.
4
Let r(w) = -w**2 + 39*w - 338. Let c be r(23). Solve -c = -15*a + 60 for a.
6
Suppose -f + 223*n = 219*n - 24, 18 = 2*f - 2*n. Let i = -1 - -2. Let r be (-10)/(i/1 + -3). Solve f*t = r*t for t.
0
Let m(j) = 11*j - 11. Let v be m(1). Let a be (-2652)/(-238) - (6/(-7) - v). Solve -a*p + 17*p + 5 = 0 for p.
-1
Suppose 0 = -3*d + 21 - 6. Suppose -13 = 2*l - 4*l + 5*g, 0 = -3*l - 4*g + 54. Suppose l = 2*x + 12. Solve -d*p - x + 6 = 0 for p.
1
Let t = -2565 - -2740. Solve 22*r + t = -13*r for r.
-5
Suppose 40*v = 41*v - 416. Let a = -403 + v. Solve -a*w = -17*w - 12 for w.
-3
Suppose 2*q + 4 = -3*w + 24, 3*q - 28 = -4*w. Let y be 1*(-4 + 56/w) + 3. Suppose 18*m = y*m + 35. Solve -m*t + 4*t + 3 = 0 for t.
1
Let t = -182 - -185. Suppose -6*c - t*c = 2*c. Solve c = -0*y - 3*y - 3 for y.
-1
Let j(s) = -s**3 - 13*s**2 - s - 13. Let p be j(-13). Suppose -5*t - 89 = -4*n, -6*t + 7*t = -1. Solve -3*q - n + 6 = p for q.
-5
Suppose 5*r - w = 561, 5*w + 7 - 52 = 0. Solve 0 = -21*k + 9 - r for k.
-5
Let i = -55 + 59. Solve 423*g - i = 422*g for g.
4
Let s(y) = 4*y + 23. Let j be s(-10). Let r = j + 22. Suppose 3*v = l + r, v + 7 = 4*l - 17. Solve -3*h = -l - 8 for h.
5
Suppose 8*s - 12*s = 16. Let l be (4 + 12)/(-4) - 140/s. Suppose 6*q - l = -7. Solve k - q + 2 = 0 for k.
2
Let z(b) = b**3 - 39 + 26*b**2 - 22*b - 5*b**2 - 2*b**2. Let a be z(-20). Let g(s) = -s**3 + 12*s**2 - 11*s + 2. Let o be g(11). Solve a + 3 = -o*y for y.
-2
Suppose -8*t + 13*t - 30 = -p, -16 = -p + 2*t. Suppose -z - p = f + 4*z, -f - 4*z - 16 = 0. Solve -3*i - 6*i + 45 = f for i.
5
Let v = 239 + -261. Let f(q) = -q**2 - 20*q + 46. Let b be f(v). Solve b*j - 3 = 5 for j.
4
Let m(l) = l - 6. Let u be m(-3). Suppose -2*f - 70 = 3*f. Let y = u - f. Solve -3 = -2*a - y for a.
-1
Suppose -4*w = -5*x - 6, 4*w = 4*x - 3*x - 2. Let b be 306/36 + x/4. Let p(m) = 6*m - 4. Let c be p(4). Solve -c = -b*t + 3*t for t.
4
Suppose -3*x + 192 = -276. Let o = -147 + x. Solve 15 = 4*a - o*a for a.
-3
Let j(k) = 223*k - 5346. Let n be j(29). Solve 20 = -1126*r + n*r for r.
-4
Let m(d) = d. Let u be (-20)/(-30)*(-6)/4. Let s be m(u). Let q be 0 + 1 - -2 - s. Solve 3*j - q*j - 5 = 0 for j.
-5
Suppose 69*v = 243*v - 44544. Solve 42*i - 4 = -v for i.
-6
Suppose -34*u + 646 = -15*u. Solve u*f = 6*f + 28 for f.
1
Suppose -19 = 15*z - 49. Suppose -8*g + z*c = -4*g - 8, g = 2*c - 1. Solve 2*t = g - 5 for t.
-1
Let x = -3908 - -3814. Suppose 4*c - 205 = -581. Let j = x - c. Solve -3*h + 12 = -j for h.
4
Let f(s) be the third derivative of -s**4/3 + 17*s**3/6 - 93*s**2. Let x be f(2). Solve -x = t + 1 for t.
-2
Let z = 460 - 454. Suppose -2*t + 8 = i, 29*t - 3*i + z = 26*t. Solve -5 + 3 = t*s for s.
-1
Suppose -28*i = 13*i - 246. Solve 16*l - 19*l = -i for l.
2
Let z be 2010/40 + ((-1)/(-10))/(2/(-5)). Solve -3*m - z = -13*m for m.
5
Let c(o) = -o**3 + 2*o**2 + 2*o + 3. Let n = 88 - 84. Suppose -2*v = 3*u - 9, n*v + 3 = 4*u - 9. Let b be c(v). Solve -7 - b = -5*h for h.
2
Let p(j) = 24*j - 17. Let c be p(22). Let v = c - 501. Solve -v*u + 3 - 3 = 0 for u.
0
Suppose 3*w = v + 12, 0 = 10*w - 9*w - 4*v + 7. Solve 25*g - 100 = w*g for g.
5
Suppose -77 = 6*h + 31. Let v be h/(-99) + 106/22. Solve 4*u = v*u + 1 for u.
-1
Suppose -8 = 5*w - 9*w. Let p(s) = 6*s. Let j be p(w). Let l = -70 + 72. Solve l*t - 5*t + j = 0 for t.
4
Suppose 78*q = 49*q + 10991. Let t = -379 + q. Solve t = -f - 0*f - 3*f for f.
0
Suppose -5*a + 12 = -a. Let o be (8 - 343/42)*-24. Suppose -o*i + 13 = -a. Solve -12 = -4*h + i for h.
4
Suppose 2*b + 5 - 14 = 3*j, -5*j = 3*b + 34. Let u be ((-308)/(-55))/(-14) - 32/j. Solve -11*y = -u*y - 15 for y.
3
Let j(l) = 3*l**3 - l**2 + l. Let u(w) = -2*w**2 - 31*w - 12. Let v be u(-15). Suppose 2*t + 3 = v*t - 2*r, 4 = t - 3*r. Let b be j(t). Solve b = -i - 2 for i.
-5
Let w = -15370 - -15681. Solve -341 = -6*n - w for n.
5
Suppose 0*q + 2*q - 22 = 0. Let o be 0/(294/(-49) - (-6 + 1)). Solve o = -c + q - 14 for c.
-3
Let q(j) = 135 + 57*j + 79 - 18 - 19. Let g be q(-3). Suppose -2*d = 2*d - 24. Solve -3*i + d = -g*i for i.
-2
Suppose -2*g = -2*c + 104, -4516*c + 4520*c + 2*g = 256. Solve c*n - 63*n = -9 for n.
3
Suppose -156*o - 6 = -318. Solve -h - 5 + o = 0 for h.
-3
Let p = 3 + -1. Suppose 90 = -78*o + 84*o. Let n be o/6*((3 - 4) + 5). Solve -n = -p*u - 0*u for u.
5
Let s(l) = 77*l - 1123. Let c be s(15). Solve -12 = -10*o - c for o.
-2
Let m(u) = 8*u + 201. Let a be m(-22). Suppose -9*b = -a - 65. Solve -b*i = -4*i for i.
0
Suppose 8*v = 103 - 159. Let c be v*7/(-98) - (-87)/2. Solve -18*a + 7*a = c for a.
-4
Let o = 35 - 32. Suppose -o*v + 13 = -35. Suppose 5*h + 16 = -s, -2*h = -s + h + v. Solve -s*p = p + 10 for p.
-2
Let k(b) = b**2 - 8*b - 5. Let l be k(6). Let z = l + 23. Suppose -z*n = n. Solve n = 2*x - 3*x - 3 for x.
-3
Let z(k) = -2*k - 15. Let y be z(-21). Let w be y/(-9) - (0 + -1) - -4. Suppose -3*a + w*a = -d - 7, 3*a + 5*d = 5. Solve 0*t = -a*t for t.
0
Let q(o) = -o**2 - 10*o. Let l be q(-8). Let p = -4 + 12. Suppose p = -n - 5*r, -2*n + 12 = -r - l. Solve -2*g - g + n = 0 for g.
4
Suppose -4*m + p + 5 = 0, -2*p + 4*p = -5*m - 10. Let a be -2*(m + (2/4 - 3)). Let z be 0/((a - 3) + -4). Solve z = -6*g + 4*g + 2 for g.
1
Let b = 76 + -74. Suppose 12*f - b = 118. Solve -f = 4*w - 9*w for w.
2
Let m(x) = 13*x**2 + 1. Let f be m(1). Suppose -444*i - 17 = -22*i - 861. Solve f = -i*k + 4 for k.
-5
Suppose 2*g = 5*a + 125, -17*g + 16*g = 3*a - 24. Solve 5*z - 20 = -g for z.
-5
Suppose -5*s = 5*o - 140, 0 = -18*s + 17*s + o + 30. Solve -f + s = 33 for f.
-4
Suppose -16*x + 33 = -13*x + 3*j, 2*j - 10 = 0. Solve 38*q = -x*q - 220 for q.
-5
Let w be (-6 - (30 + -4))*2/(-4). Suppose 6 = w*n - 26. Solve n = 2*i - i for i.
2
Let t be (-390)/585 + 814/6. Solve -3*w = t - 147 for w.
4
Let h = -6289 + 6307. Solve n + h = -2*n for n.
-6
Suppose 2*h = x - 34, 3*h = -72*x + 75*x - 90. Solve 25 = x*g + 77 for g.
-2
Suppose 550 - 504 = 5*y + 2*u, 3*u - 24 = -3*y. Solve 0 = -15*x + y + 20 for x.
2
Suppose 5*l - 4 = 11. Suppose -2 = -k + l. Solve 3*f = k*f for f.
0
Suppose -7*y + 5*y = v - 14, 2*y = v + 2. Solve -v*i + 6 = 24 for i.
-3
Let j = 6442 - 6398. Solve -17*o - j = 41 for o.
-5
Let m = 18345 + -18286. Solve r = -m*r - 300 for r.
-5
Let n = -15 - -17. Suppose n*s + 12 = 30. Solve -s = 4*w + 7 for w.
-4
Let z(q) = 129*q - 20. Let v be z(-3). Let g = v - -407. Solve g = -5*f + 8*f - 9 for f.
3
Let i = 4133 + -4082. Solve -280 = -i*b - 76 for b.
4
Let l(u) = -2*u**2 + 119*u - 1473. Let j be l(25). Solve -j = -98*m + 238 for m.
5
Let d = -369 + 375. Suppose -4*g - 2*b = -2, -4*g - d - 1 = 5*b. Solve -i = -g*i for i.
0
Suppose 39*a - 266*a = -99*a - 44800. Solve -19*m + a = 255 for m.
5
Let h be (-6)/10 + 1536/(-40). Let m = 43 + h. Suppose 4*k + 7*g - 5*g = 14, -m*k + 23 = 5*g. Solve -3*s + 1 = -k for s.
1
Suppose 0 = -353*i + 385*i - 1536. Solve -407*z + 413*z - i = 0 for z.
8
Suppose -20*r = -140*r - 45*r + 4785. Solve -r - 9 = 38*v for v.
-1
Suppose 288 = 24*r - 6*r. Solve -3*a = -4 + r for a.
-4
Suppose -2*f = 3*d - 433, -25*f - d + 439 = -23*f. Solve f*p - 212*p = 45 for p.
5
Let k = -1149 + 1149. Let h = 245 - 167. Suppose 0 = -5*a + h - 28. Solve a + k = -5*j for j.
-2
Let a be (-3 + (-342)/(-3))*2/6. Suppose 0*q + 3*g - 23 = -q, -a = -2*q - 3*g. Solve 0 = -5*b - q - 11 for b.
-5
Let v(g) = 374*g + 18618. Let k be v(-49). Solve -17*b - k + 292 = 0 for b.
0
Suppose 59*d = 112*d - 477. Solve -d*s + 12 = -21*s for s.
-1
Let w(n) = -n**3 + n**2 + 3*n + 2. Let l be w(0). Suppose -5*g = -5*b + 20, 1 + l = -2*g + b. Suppose g = -3*i + 19. Solve -i = 5*m + 19 for m.
-5
Suppose 7*v + 11*v = 147 + 915. Solve v*q - 61*q - 14 = 0 for q.
-7
Let m(d) = d**3 - 31*d**2 + 107*d + 623. Let x be m(26). Solve -x*t - 3 = 47 for t.
-2
Let g(y) = -y**2 + 3*y + 25. Let w(u) = -2*u**2 + 16*u - 7. Let f be w(7). Let j be g(f). Let m be 105/14 - j/(-2). Solve 3*k - m = -0 for k.
2
Let p = -3183 - -3183. Solve -8*x - 10 + 