+ 8*k. Let m be c(b). Solve h - s = -m for h.
1
Suppose 18*y = 15*y + 228. Let q = y + -76. Solve 0 = -q*j + j - 2 for j.
2
Let j be -4*((-21)/6)/(-7) - -26. Let l = j - 20. Solve s - l = 5*s for s.
-1
Let z = 0 + -18. Let a be ((-24)/z)/((-1)/(-3)). Solve a = -c + 3 for c.
-1
Let f = 164 + -162. Solve f*h + 8 + 0 = 0 for h.
-4
Let w(n) = -n**3 - 13*n**2 + 2*n + 29. Suppose 60 = -4*s - 4*j, 0*j = -3*s + 3*j - 33. Let i be w(s). Let p = 4 + -2. Solve -i*v = p*v for v.
0
Let x = -16 - -37. Suppose -7*m = -21 - x. Let y be 18/m + 1/(-1). Solve -y*p + 6*p = -16 for p.
-4
Let l(g) be the second derivative of -3*g**3 + 11*g**2 + 2*g. Let m(i) = -7*i + 9. Let p(n) = 5*l(n) - 12*m(n). Let s be p(-3). Solve -5*j - s = -0*j for j.
-4
Let o be (57/(-38))/(-2 + 7/4). Solve -6*g + 0 = o for g.
-1
Suppose d = -4*j + 87, -3*j - 3*d + 114 = 2*j. Let i be ((-4)/(-14))/(3/j). Solve l = 2*l + i for l.
-2
Let x be (-1 + 2)*0/(-3). Let m = 9 - 20. Let j = m - -15. Solve x*g - j*g = 0 for g.
0
Let h = 26 + -21. Suppose -12 = 4*v, 4*y = 3*y + h*v + 15. Suppose y = 5*a - 2*a. Solve 5*b - 4 - 6 = a for b.
2
Let n = -30 - -26. Let w be 1/(-3)*(4 + n). Solve -2*k + 1 + 1 = w for k.
1
Let m(f) = 17*f - 143. Let u be m(9). Solve 48*z - 43*z = -u for z.
-2
Let u be (-114)/(-22) - (-26)/(-143). Suppose u*w - 4 - 11 = 0. Let l(i) = -i**2 - 2*i - 1. Let k be l(-1). Solve k = -w*j - j - 4 for j.
-1
Let c = -120 + 124. Suppose 9*s - 4*s + 53 = 3*z, c*z - 65 = s. Solve t + z = -3*t for t.
-4
Suppose 19 = 4*x - 41. Solve -5*j = -2*j - x for j.
5
Let n = 6 + -4. Solve 1 = r + n for r.
-1
Let d be -1*-1*(2 + -3)*-5. Suppose -2*v + p - 10 = 3*p, p = -3*v - d. Solve v = -z - 2*z + 15 for z.
5
Let u = 60 + -56. Suppose -2*a = -i - 3*i - 16, -2*a = u*i - 16. Solve -2*k + a = -4*k for k.
-4
Suppose -2 = 3*s + i, -5*s + 5*i + 5 = -5. Suppose -2*t - l + 10 = s, -l + 4 = -3*l. Solve t*h - 2*h = 4 for h.
1
Let c(m) = -4*m + 5. Let n be c(0). Solve 4 = n*b - 6 for b.
2
Suppose 0 = -2*i + 19 + 7. Let q be -1 - ((3 - -2) + -1). Let w = q + i. Solve -w = -3*z - z for z.
2
Let w(f) = 28*f + 250. Let k be w(-8). Solve 0 = -6*l - 32 + k for l.
-1
Let x(v) = v**3 + v**2 + v. Let f(m) = -2*m**3 - 9*m**2 + 8*m - 11. Let b(o) = -f(o) - x(o). Let r be b(-9). Solve r = -2*i + 1 for i.
-5
Suppose -119*n = -1526 - 259. Solve -78 = n*q - 18 for q.
-4
Let v = 0 + 0. Let d(w) = -w**3 - 19*w**2 - 16*w + 51. Let t be d(-18). Let p = 12 - 7. Solve v*g = -p*g + t for g.
3
Let g = -884 + 889. Solve -g*c = -c - 20 for c.
5
Let z be (-84)/(-10) + -7 + (-532)/(-70). Suppose 0*w - 2*w + 8 = 0. Suppose 0 = b + w*g - 19, 4*b - 13 = b - g. Solve -b*k + 0*k = z for k.
-3
Let b(o) = -4*o**3 - 2 - 6*o**3 + o + 1 + 5*o**3. Let z be b(1). Let r be (-4)/z*(-35)/(-14). Solve a - r = -a for a.
1
Let d(o) = o**3 + 4*o**2 - 5*o. Let j(t) = 4*t**2 - 2*t - 1. Let q be j(-1). Suppose 7 = -q*k - 13. Let c be d(k). Solve -x - 3*x - c = 0 for x.
-5
Suppose -295*a - 180 = -310*a. Solve 3*z = 12 - a for z.
0
Suppose -5*l + 0*l - 15 = 0. Let v(a) = -2*a**3 - 4*a**2 - 5*a - 3. Let s be v(l). Suppose 6 = -4*m + s. Solve m*g + 10 = g for g.
-2
Let s(m) = -76*m - 226. Let k be s(-3). Solve 0 = k*y - 46 + 52 for y.
-3
Let h = -809 - -815. Solve -o = 1 - h for o.
5
Let q = 175 - 166. Solve -q*c = -5*c for c.
0
Let p = 43 - 34. Suppose -p*t + 18 = -3*t. Solve u - 16 = -t*u for u.
4
Let c = -1098 + 1120. Solve -30 = 2*k - c for k.
-4
Suppose 3*z = -2*t - 2*t + 27, t + 7 = 2*z. Suppose -11 = -2*d - 3*l + 1, 5*d = -t*l + 12. Solve -3*j - 12 = -d for j.
-4
Let i be 80/(-12) - (-2)/(-6). Let m be (-4)/(-14) + 2/i. Suppose 8*n - 3*n = 0. Solve n = -5*z - m*z for z.
0
Let l be (-16)/(-64) + (-22)/(-8). Suppose 0 = -l*g + 4*p + 9, -3*p + 1 = -g + 4. Solve -g*s = -5*s + 8 for s.
4
Let v(q) = 4*q**3 - 4*q**3 - 8*q**2 - 7*q - 2 - 9 + q**3. Let u(n) = -n**3 - 15*n**2 - 17*n - 33. Let x be u(-14). Let b be v(x). Solve -3*j = -b*j for j.
0
Let i(s) = -10*s - 92. Let x be i(-12). Solve -18 = -2*q - x for q.
-5
Let o = -1531 + 1531. Solve -3*t + o = 12 for t.
-4
Let f = 34 + -22. Let t = -12 + f. Let l(n) = -n - 1. Let s be l(-5). Solve t = 6*q - 2*q + s for q.
-1
Let z be (-28)/(-12) + 0 + (-13)/39. Solve z*j = 13*j - 22 for j.
2
Let c(y) = y**3 - 2*y**2 - 2*y - 3. Let s be c(3). Suppose 0 = -2*f + q - 21, -f + 29 = -4*f + 4*q. Let o = f + 28. Solve 5*k - 7 + o = s for k.
-2
Let c(r) = -3*r + 20. Let a be c(5). Solve 4*p - 5*p - a = 0 for p.
-5
Let c = 32 - 19. Suppose 5*z = 5*w + 20, 0*w - 3*w + c = 2*z. Suppose 3*g - 11 = -2*a, -z*g - 4*a = -3 - 16. Solve g*v = 2*v - 2 for v.
-2
Let q(r) = -9*r - 196. Let a be q(-22). Solve 5*p + 6 = a*p for p.
-2
Let c = 38 - -58. Let r = -93 + c. Solve r*o = o for o.
0
Let m(o) = -o**2 + 29*o - 196. Let t be m(13). Solve 69 - 9 = t*x for x.
5
Let p = 251 - 249. Let t = 3 - 3. Solve -8 = p*k - t for k.
-4
Let w = 180 + -177. Solve 0 = -2*o - w*o - 10 for o.
-2
Suppose -70 = -2*n - 20. Suppose 0 = 4*b + 4*m - 9 + 21, -5*b + 3*m + n = 0. Let q be 45/18 + (-1)/b. Solve 8 = -q*u + 4*u for u.
4
Let l(r) = r + 2*r + 3*r - 5 - 5*r. Let z be l(5). Suppose 4*q - 12 - 40 = z. Solve 12 = -5*c - q for c.
-5
Suppose 15 = 5*t, -2*t + 3*t - 29 = -n. Suppose -9*g + 19 = -n. Solve -q - 20 = -g*q for q.
5
Let y be ((-2)/(-4))/((-8)/(-336)). Let v = -17 + y. Solve q + v*q = -25 for q.
-5
Suppose -2*n + 6 = 0, 5*n - 2 = 4*o + 13. Let k be 1 - o - (-1 + 1 - 3). Suppose 4*y = 4*a - 20, 0*y = -2*a - 3*y - 15. Solve a = -i - k*i + 25 for i.
5
Suppose -3*r - 2*u = -47, -4*u - 23 - 3 = -2*r. Let m(l) = l**3 - 14*l**2 - 15*l + 9. Let x be m(r). Solve 2*t = 1 - x for t.
-4
Let q be 4/(-14) - (-16)/56. Let v = -30 + 32. Solve -v*u = -8 - q for u.
4
Suppose -242 = 68*x - 90*x. Solve x - 15 = -y for y.
4
Let i(v) = -v**3 + v**2 - v - 1. Let r be i(-1). Let d = r - -1. Suppose -3*y = -d*o + 3, -5*o + 3 = 2*y - 9. Solve -4*m + y = -5*m for m.
-1
Let r(f) = f - 52. Let g be r(30). Let n be (-68)/g + (-6)/66. Solve 5 = n*i + 2 for i.
1
Let t(p) be the first derivative of 2*p**3/3 + 2*p**2 - 7. Let o be t(-3). Suppose -26 = -2*b - o. Solve -q + 3*q = -b for q.
-5
Suppose -21*b = -12*b. Solve 0 = o - b + 4 for o.
-4
Let t = -32 + 43. Let l be t/3 - 14/21. Solve l*m + 2 = -4 for m.
-2
Let h be 10/(-4)*13/(-65)*6. Solve h = b + 8 for b.
-5
Let p be -5 + (-2)/((-4)/6). Let w be (-20)/4 + (1 - p). Let f be w + 2 + (3 - 1). Solve -n - f*n = 0 for n.
0
Let u be (-5)/(-6)*(-15)/20*-8. Let y(i) = -2*i**3 - 3*i**2. Let o be y(-2). Solve -u*b - 4 = -o*b for b.
-4
Let d be (-8)/3*(-7 + (-5)/10). Solve 0 = 2*m + 8*m - d for m.
2
Let m = 149 - 146. Solve 2*l = 11 - m for l.
4
Suppose -52*t + 66*t = 0. Solve t + 1 = k for k.
1
Let y(p) be the third derivative of -p**6/120 - p**5/6 + p**4/24 - 4*p**3/3 + 8*p**2. Let w be y(-10). Let t = -13 - w. Solve t*d = -7 - 3 for d.
-2
Let j be (4 - 4)*2/(-6). Solve c + 5 = -j for c.
-5
Let s be (-4)/6*42/(-4). Suppose s*z = 12*z - 40. Solve 4*v = -8 - z for v.
-4
Let r(l) = -l**2 + 8*l + 6. Let q be r(7). Suppose q = -3*u + 220. Let a = -49 + u. Solve -a = -4*d - 4 for d.
4
Let y be 3 - (3 - -1) - -5. Suppose -16 = -4*l - y*h, -4*h + 0*h + 12 = 2*l. Suppose 0 = -l*g - g. Solve g = b + 3 for b.
-3
Suppose 5*y = 110 + 15. Let k(b) = 10*b + 60. Let v be k(-5). Suppose 0 = v*u + 2*u - 60. Solve u = 5*j + y for j.
-4
Suppose 2*b = -3*b + 30. Let n be 9/6*16/b. Suppose 0 = -z + n*d - 6 - 6, -3*z + d - 3 = 0. Solve -g + 2 = -z*g for g.
2
Suppose 10*u = 34*u - 696. Solve u*y = 48*y - 57 for y.
3
Suppose -14*i = -4*i - 20. Suppose i = 7*g - 12. Solve -2*a + 16 = g*a for a.
4
Let q(k) = -2*k - 3. Let u be q(4). Let v(c) = -6*c + 3. Let h(d) = 2*d - 1. Let j(b) = u*h(b) - 4*v(b). Let x be j(3). Solve i - x*i + 4 = 0 for i.
1
Suppose -55 = -2*h - 3*c, c - 45 = -3*h + 41. Solve -h*t - 3 = -26*t for t.
-1
Suppose -18*x - 13*x + 155 = 0. Solve -4*p = -x*p - 0*p for p.
0
Let y be 86/16 + 33/(-88). Solve -21 = y*l - 11 for l.
-2
Let m be (-5)/(-3)*(522/45 + -8). Solve 0 = 5*i - m*i - 1 for i.
-1
Let d(j) = -7*j + 52. Let l be d(6). Solve -l*a + 9 = 49 for a.
-4
Let x be 222/296 + 90/8. Solve x*p - 14 = -2*p for p.
1
Suppose 7*p - 9*p + 3*m - 11 = 0, 4*p = 2*m - 2. Solve -p*r - 4*r + 12 = 0 for r.
2
Let c be (4/12)/((-1)/(-12)). Let r = -3 + c. Sol