0 = -2*w - 159 + d for w.
-4
Let j be 7 - (4 + (-31 - 17)). Solve j*g = 17*g - 170 for g.
-5
Let k = -34 - -38. Suppose -q - 2*m - 2 = 0, 13 = -2*q + k*m + m. Let r be q/(-9)*(-27)/(-6). Solve -o = -0 - r for o.
2
Let m be (5/(-3))/((-3 - -1)*(-1)/(-12)). Solve m*k - 65 = 23*k for k.
-5
Let n be (15 - 13)*-3*(-84)/18. Solve 0 = -48*s + 124 - n for s.
2
Suppose -3*o + 5 = -0*o - t, 20 = 5*t. Suppose 2*q = -2*s + 10, s = -0*s + o*q - 3. Suppose s*f - 105 = -93. Solve -4*m + 16 = -f for m.
5
Let t(n) = n**3 - 11*n**2 + 15*n - 22. Let p be t(10). Suppose -52*h - p = -56*h. Solve -23 = h*v + 5 for v.
-4
Let p be 55*(198/(-77) - -3)*(9 - 2). Solve p*t = 162*t - 9 for t.
-3
Let o be 30/(-8)*(-20)/15. Suppose h - 3*h - 2*l - 2 = 0, 4*l + 22 = o*h. Solve 6 = -h*a - 4 for a.
-5
Let d(g) = g**3 - 8*g**2 + 23*g - 26. Let j be d(4). Suppose 8 = j*u - c, 0 = 5*u - 2*c - 0*c - 20. Solve 8*r - u*r - 4 = 0 for r.
1
Let y be (-408)/((-4)/1)*(-23)/(-46). Solve y*c - 5 = 46*c for c.
1
Let k(u) be the first derivative of -8*u**3/3 - 73*u**2/2 + 9*u + 9. Let w be k(-8). Solve 0 = w*d - 84*d + 15 for d.
5
Let t = 85136 - 85135. Let u(v) = -13*v - 17. Let s(c) = 7*c + 9. Let b(z) = 11*s(z) + 6*u(z). Let w be b(-7). Solve 0 = -5*h + w + t for h.
1
Let b(z) = -z**3 + 7*z**2 - 20*z + 66. Let t be b(5). Solve -50*o + t*o = -34 for o.
1
Let z(v) = v**3 + 18*v**2 + 27*v - 51. Let b be z(-16). Solve -36 = -b*a - 7 for a.
1
Let g be ((-51)/(-4))/((-6)/(-160)). Let s be ((-24)/30)/((-8)/g). Let w = s - 34. Solve w + 12 = 3*z for z.
4
Suppose -n + 1 = 2*s + 17, 5*s = -5. Let t = n - -16. Solve -t*a - 1 = -a for a.
-1
Suppose 7*y + 38*y - y = -0*y. Solve y = 408*s - 406*s for s.
0
Let z = -1541 - -1845. Solve 0 = 3*y - 295 + z for y.
-3
Let a be (-1 + -4)*(-5 + 0 + 4). Let q be 3*(0 + -1)*-1. Suppose -q*i + 20 = a, 2*i - 4 = u. Solve 0 = 2*t - u - 4 for t.
5
Let z(i) = -i + 9. Let v be z(5). Suppose 2*j = v*g + 2, 4*j - g = 2*g + 4. Suppose 3 + 10 = -3*x + 4*k, -4*k = 5*x - 21. Solve 2*l - x = j for l.
1
Suppose -3*l = 5*a + 91, 0 = -5*l + 3*a + 51 - 146. Let t = 24 + l. Solve 0 = 4*c + t*c - 12 for c.
2
Let g be 882/10 + (-4)/20. Suppose -108 = -g*o + 82*o. Solve o = 5*t - 7 for t.
5
Suppose -i - 19 = -3*p, -3*p - 4 + 17 = 5*i. Suppose 15*h - 66 = -p. Solve -4*y + h = -0 for y.
1
Let q(n) = -3*n**2 - 112*n - 42. Let j be q(-33). Solve -78*b - 159 = j for b.
-7
Let h = 65 + -120. Let m be 2073/33 + (-10)/h. Suppose 18*k - m = 15*k. Solve -1 = -5*b - k for b.
-4
Let i(c) = 23*c + 0*c + 28 - 3*c**3 + c**3 - 43*c**2 + 0*c**3. Let s be i(-22). Solve 10*v = s*v - 8 for v.
-2
Suppose 2*s - 4*g = 24 + 28, -s - 3*g = -31. Solve s*b = 33*b - 25 for b.
5
Let v(t) = t**2 - 5*t + 5. Let c be v(6). Let j = 1007 - 713. Let u = j + -291. Solve u*o + c = -1 for o.
-4
Let v(d) = 5*d + 177. Let m be v(3). Solve 56*h = 24*h + m for h.
6
Let r(t) = t**3 + 11*t**2 - 13*t + 3. Suppose 375*k - 368*k = -84. Let v be r(k). Solve 0 = 12*o - 17*o + v for o.
3
Let t = 261 + -257. Suppose -2*z - 26 = -t*z + 4*r, z + 4*r - 13 = 0. Solve z*s = 15*s + 8 for s.
-4
Let z(w) = -523*w + 2096. Let q be z(4). Let j = 3 - 0. Solve -q*n = j*n for n.
0
Let z(u) = -3*u**3 - u + 1. Let f be z(1). Let q(w) = -3*w - 7. Let t be q(f). Let g = -14 - -14. Solve d + 2 + t = g for d.
-4
Let m(l) = 46*l + 23. Let v be m(2). Let d = v + -115. Solve n = 4 - d for n.
4
Suppose 8*n - 5*n - 2*w - 46 = 0, -3*w - 77 = -5*n. Suppose -11 = -2*b + b. Let d = b - 7. Solve d*p - n = 8*p for p.
-4
Suppose 107*j - 54*j - 371 = 0. Solve j*s + 6 = 10*s for s.
2
Let n(z) = z**2 - 20*z - 17. Let c(i) = -6*i**2 + 101*i + 86. Let t(f) = 2*c(f) + 11*n(f). Let l be t(-17). Solve -l*y = y for y.
0
Let y be ((-360)/28)/((-3)/14). Let c = y + -53. Solve -c*d - 3 = 4 for d.
-1
Suppose -27*q + 147 = -452 - 319. Solve -95 = 15*b - q*b for b.
5
Let s = 5259 - 4982. Solve 56 = 285*r - s*r for r.
7
Let c(i) = 6*i**2 - 16*i + 56. Let s be c(4). Suppose 8 = s*q - 80*q. Solve 7 = -8*b - q for b.
-1
Suppose t + 5*r = 2, -2*t = 5*r + 6 - 15. Suppose -326*i = -5*j - 322*i + 51, -2*i - 18 = -2*j. Solve t*k = 2*k - j for k.
-3
Let g = 21 + -18. Let v = 8 - 3. Suppose b = -v*x + 21, 0 = b - x - 0*x + g. Solve b - 2 = y for y.
-1
Let m = 1759 + -1627. Solve 8 = m*n - 136*n for n.
-2
Let u(b) = b + 5. Let c be u(-5). Let x be -12 + 11 + 1*(10 + -4). Solve c = 2*m - m - x for m.
5
Let q(d) = -d**3 + 2*d**2 - 2*d + 152. Let l be q(0). Let y = l - 107. Let z = y - 45. Solve 0 = -z*r + 4*r - 16 for r.
4
Suppose -4*c - 5*z - 21 = -53, 4*c = 4*z + 32. Solve 19*f - 49 - c = 0 for f.
3
Let q(x) = 512*x + 524. Let a be q(-1). Solve 135*g - 131*g + a = 0 for g.
-3
Let m(a) = -11 - 13*a + a**3 - 35*a + 24*a**2 - 20 + 15*a. Let z be m(-25). Suppose -7*g + z = 6*g. Solve -g*t = -9*t + 4 for t.
-1
Suppose 5*g - 275 = -5*p, -4*p = -23*g + 26*g - 217. Solve p = 39*l - 26*l for l.
4
Let a(j) = -j**3 + 10*j**2 - 6*j - 19. Let c be a(9). Solve 4*g + 20 = c for g.
-3
Suppose 3*t + 80*f = 82*f + 1340, 0 = t - 4*f - 440. Solve 444 - t = 2*w for w.
-2
Let z = -107 - -110. Suppose z*o - 150 = -51. Suppose 18*c + o = 21*c. Solve 4*k - c = -31 for k.
-5
Let s be 0/52 - (-2 - -4)*-2. Suppose -26 = -27*p + 25*p + s*z, -2*p - 2*z = 4. Let r = 9 + -4. Solve -2*g + p*g = r for g.
5
Suppose 0 = -4*t + a - 359 + 3043, 5*a + 2716 = 4*t. Solve -t*z + 664*z = -20 for z.
4
Let s = -182 + 185. Let q(i) be the first derivative of 2*i**2 - 2*i - 7. Let g be q(1). Solve s*t = -g*t for t.
0
Suppose 351 = -773*p + 800*p. Solve -p*v - 8 = 31 for v.
-3
Let v(g) = g**2 + 12*g - 533. Let m be v(-30). Solve -9*s - m*s = s for s.
0
Let k = 146 + -148. Let n be (k/(8/(-15)))/(21/56). Solve 4*d - 6 = -n for d.
-1
Let w(n) = -n**3 - 12*n**2 - 39*n - 182. Let g be w(-10). Solve 0 = -12*r + g*r + 24 for r.
6
Let f = 3371 - 3371. Solve f*l + 2*l - 6 = 0 for l.
3
Let c(h) = -h**3 + 18*h**2 - 3*h - 24. Suppose -83 = 3*i - 137. Let t be c(i). Let s = -75 - t. Solve -f - s*f = 0 for f.
0
Let n(t) = 16*t + 102. Let u be n(40). Let a = -739 + u. Suppose -5 = -s + w, -6*s + s + w = -5. Solve -f - a = -s for f.
-3
Let o(q) = -23*q**2 - 579*q - 60. Let r be o(-25). Solve 32*c - r = -8*c for c.
1
Let l(s) be the second derivative of -s**4/12 - 5*s**3/3 + 15*s**2/2 - 32*s + 1. Let i be l(-11). Solve i = -3*a + a for a.
-2
Let r be (-2)/27 - ((-110)/27 + -12). Solve 26*d = 10 + r for d.
1
Let m(i) = i. Let z be m(4). Suppose -140*b + 31*b + 212 = -6. Solve -2*r + z = -b for r.
3
Suppose l + 3*l = 20. Let y = 73 + -73. Suppose 4*f + 3*g - 33 = -y*f, -g + 3 = 0. Solve l*v - 1 = -f for v.
-1
Let d be (-10)/8*(-1742 + 410). Solve -5 = -1666*r + d*r for r.
5
Let i be (-11*1/(-4))/((-3)/12). Let c(j) = -j**2 - 14*j - 13. Let v be c(i). Solve 3*t = -2*t + v for t.
4
Let v(o) = -17*o**2 - 47*o - 65. Let r(t) = 6*t**2 + 15*t + 22. Let f(i) = -8*r(i) - 3*v(i). Let s be f(-6). Solve 2*a + s = -1 for a.
-1
Let t = -15 + 15. Suppose -11*i + 105 + 126 = t. Let k be (3 - 0) + i/(-21). Solve -10 = -4*z - k for z.
2
Let f = -26 - -29. Suppose 7 - 22 = -f*x. Suppose -4*y + 27 = x*i, 0 = 2*y - y - i. Solve 0 = y*q - 4*q for q.
0
Let o(v) = -v**3 + 105*v**2 - 495*v - 17. Let c be o(100). Solve -474 = -3*z - c for z.
-3
Let a be ((-12)/(-7))/(2/14). Suppose 236*n - 21*n - 456*n - 534*n + 18600 = 0. Solve -a*c = -6*c - n for c.
4
Suppose -5*s = 13 + 2, -86 = h + 3*s. Let l = h - -77. Solve l = q + 4 - 6 for q.
2
Let q = -105 + 75. Let y = 32 + q. Let r be (-27)/(-21) + (-8)/28. Solve 3*u + r + y = 0 for u.
-1
Suppose 2*o = g - 5, 2*g + 4*o - 2*o - 22 = 0. Suppose 3*t + t - 70 = -2*n, 5*n = -5*t + 195. Let k = -41 + n. Solve k*b - g = -b for b.
3
Suppose 2095 = 4*z + 2075. Suppose -3*d - 33 = 4*k - 7*k, -3*k + 40 = 4*d. Solve z*b + k + 3 = 0 for b.
-3
Suppose -3141 = 17*u + 89. Let t = -189 - u. Solve t = 2*l - l for l.
1
Suppose 0 = 5*n + 2*z - 21, -4*n + 3*n + 18 = 5*z. Suppose 34*g - 920 = -217*g + 21*g. Solve -n - 1 = -g*l for l.
1
Let c(h) = -6*h - 26. Let z be c(-5). Let n be 10/(-2) + (150/(-45))/((-3)/9). Solve 0 = -n*a - z - 6 for a.
-2
Let y(h) = -2*h + 10. Let t be y(7). Let u be ((-2)/3)/(t/30). Let d = -779 + 782. Solve 2*a + u = d for a.
-1
Suppose 0 = 5*q + 27 - 7. Let f be q*(0/3 + (-5)/4). Suppose 4*s + 10 = -f*j, -j + 2*s = -4*j - 4. 