*d**3/3 - 11*d**2 + 23*d + 15. Let g be f(21). Let w be (-1)/(-2)*0/2. Solve g*s - 6*s + 8 = w for s.
2
Let j = -17 - -52. Let u be 4/(-14) + 80/j. Solve -12 = u*c + c for c.
-4
Suppose n = -4*k + 8, -n - 2*n - 3 = 3*k. Suppose m - 32 = -k*m. Solve -2*o = 2*o + m for o.
-2
Suppose 3*o + 4*m = 25 + 6, 5*o - 41 = -4*m. Solve o*c - 12 = 8 for c.
4
Suppose -4*z + 2*z = -8. Let n(r) = -r**3 + 21*r**2 - 24*r + 87. Let l be n(20). Solve -z*p = -l*p for p.
0
Let f = 4 - 1. Let r = -26 + 27. Suppose 9*c = 13*c - 16. Solve -f*s + r = c for s.
-1
Let x = 1415 + -1413. Suppose -g - 2 = -5. Solve -g = -x*s + 3 for s.
3
Suppose 33*s - 90 = 42. Solve -s*i = 2 + 14 for i.
-4
Suppose -15*g = 9*g. Solve g = -11*l + 6*l - 25 for l.
-5
Suppose -4*a = -5*l - 52, -3*l = a + 86 - 116. Solve -5*f + 3 = a for f.
-3
Suppose -33 = 2*v + 5*p, -2*p - 99 = 4*v - 25. Let i = -15 - v. Suppose 0 = 2*f - 3*x + 5, 2*f + 0*f + 10 = i*x. Solve -f*u + 0*u - 5 = 0 for u.
-1
Let f be (-34)/(-8) - 1/4. Suppose -k = f*k. Suppose 3*d - 8*d = k. Solve -n + 5 + d = 0 for n.
5
Let m = -106 + 86. Suppose 0 = -b - h - 16, 4*b + 23 = 4*h - 73. Let x be (-16)/b*m/(-8). Solve 5*j - 3*j = x for j.
1
Let k(o) = -o**3 + 8*o**2 - o + 9. Let r be k(8). Let p = 2 + r. Solve p*u = 5*u - 6 for u.
3
Let w = 61 + -49. Let u be (-6)/w*0/3. Solve u = 5*y + 13 + 7 for y.
-4
Let t(k) = 3*k**3 + 25*k**2 + 6*k - 12. Let a be t(-8). Let p = -5 + 9. Solve 0*d + a*d - p = 0 for d.
1
Suppose 3*x - 40 = -34. Suppose 18 = 4*h - 2*h + 4*i, 4*h + i - 8 = 0. Suppose -4*b = 4, 3*k + 3*b = 2*b - h. Solve k*z = -x*z + 10 for z.
5
Let q(w) = 4*w + 36. Let c be q(-7). Solve -4*o = -4 - c for o.
3
Let h = -5 + 8. Suppose 0 + 12 = h*i. Suppose -f + 31 = f + 5*k, -i*f + 2*k + 2 = 0. Solve 0 = l + f*l - 8 for l.
2
Suppose 0 = -3*a + 5*f - 16, -5*f + 19 = 12*a - 14*a. Solve -14 + 5 = -a*l for l.
3
Let t(m) = -m. Let y be t(0). Let i be (-4)/(-6)*(8 + (-11)/22). Solve i*r = 5 - y for r.
1
Let z(r) = -r**3 - r**2 + 3*r + 4. Suppose -10 = 7*o + 4. Let x be z(o). Suppose 4*c = x*c + 10. Solve -3 = c*f - 4*f for f.
-3
Let h = 38 - 43. Let l be (h/10)/(2/(-16)). Let v = 9 + -5. Solve 2*i = v + l for i.
4
Let h be 2/(-4)*(7 + -11). Suppose 6*k - h*k - 28 = 5*p, -k = -p - 7. Solve -k*w = -3*w for w.
0
Let c(d) = d**3 - d**2 - d + 1. Let s be c(1). Suppose 5*v + 17 + 68 = s. Let i = -13 - v. Solve -i*y = -3*y + 5 for y.
-5
Suppose 0 = -355*w + 361*w - 6. Solve -4*n + w = -15 for n.
4
Let f(p) = 3*p**3 - 53*p**2 + 31*p + 88. Let t be f(17). Solve -t = -3*a - 25 for a.
4
Let g be 1/(-5 + 39*(-10)/(-75)). Solve -g*z + 3 + 2 = 0 for z.
1
Suppose 0 = 5*z - 5*c - 100, 123*z - 119*z = -c + 80. Solve a - z = -17 for a.
3
Suppose 2*s - k - 17 = 0, 5 = 4*k - 15. Let m be (s/2)/(2/(-4)). Let l be 2/m - (-490)/154. Solve -i - 10 = -l*i for i.
5
Suppose -103 = -5*a - 3*x, -8*a - 2*x = -3*a - 102. Solve -10*j + 6*j = -a for j.
5
Let d(s) = 4*s**2 + 11*s - 5. Let l be d(-6). Let k = 74 - l. Solve i + 3 = -k for i.
-4
Suppose 0 = -0*k + 5*k - 20, -3*u + 20 = 5*k. Solve -12 = -u*l - 4*l for l.
3
Let z(d) = 8*d - 2. Let g be z(-2). Let k = g + 21. Solve -2*u - k*u + 20 = 0 for u.
4
Let t = 52 - 26. Let k = t + -38. Let w = 17 + k. Solve 2*f - f + w = 0 for f.
-5
Suppose 5*d + 112 = n + 3*n, 2*n = -3*d - 54. Let r = -14 - d. Solve 2*p + 12 = r*p for p.
3
Let k(p) = 2*p**2 + 10*p - 11. Let j(h) = 8*h**2 + 39*h - 45. Let v(w) = -2*j(w) + 9*k(w). Let z be v(-7). Solve -z*g + 8 + 12 = 0 for g.
4
Let z(s) = -s**2 - 23*s - 22. Let f be z(-22). Solve f = 29*k - 30*k + 3 for k.
3
Suppose 0 = -5*v + 10, q - 5*v - 71 = -2*q. Solve 17*p + q = -24 for p.
-3
Suppose 3*k - 4*g - 44 = 0, -5*k + 2*g + 3*g = -80. Let w = 5777 - 5772. Solve w*m - k = m for m.
5
Let o = -23 + 91. Let u = o - 62. Solve 0*r = 2*r + u for r.
-3
Let k = -54 - -64. Suppose 5*q - 5 = 5. Solve -3*f = -q - k for f.
4
Let b be (8 - (-3 + 15))*(0 - 1). Let i = 25 - 18. Suppose 2*r - i*r + 76 = 4*s, -19 = -s + 2*r. Solve s = 5*y + b for y.
3
Let s = -255 - -140. Let i = -104 - s. Solve 3*h + i = -4 for h.
-5
Let l be 0 + 12/(-9)*(-150)/40. Solve 95 = -l*n + 115 for n.
4
Let k(m) = -6*m**2 + 17*m - 28. Let w(u) = u**2 - u + 1. Let d(f) = k(f) + 5*w(f). Let v be d(9). Solve -v*a + a = 9 for a.
-3
Suppose -2*x - 32 = 4*b, 3*x = 8*x - 3*b + 15. Let v(t) be the first derivative of -t**3/3 - 5*t**2/2 + 6*t + 1. Let p be v(x). Solve 3*n + 3 + 0 = p for n.
-1
Let v(l) = l**3 - 14*l**2 + 44*l - 7. Let u be v(3). Solve u*c - 30*c = -12 for c.
3
Let v(p) = 13*p + 380. Let x be v(-29). Solve 6*y + x*y = -9 for y.
-1
Let v(b) = -8*b - 10. Let x be v(-3). Let c be (-4)/x*(-14 + 0). Let k(u) = -2*u**3 + 9*u**2 - u - 7. Let s be k(c). Solve 2*d - s*d = 9 for d.
-3
Suppose 5*t = 5*w - 60, -2*t = 3*w - 2*w - 18. Solve 5*b + 1 = -w for b.
-3
Let n be (-12)/9 - 160/(-12). Let i = 7 - 3. Suppose i*u + 0*u = 8. Solve n = -u*k + 5*k for k.
4
Suppose -5*g = 4*a - 114, -6*a = -3*a + g - 80. Solve -a = s - 30 for s.
4
Let j(a) = -a**3 + 5*a**2 + a - 5. Let y be j(5). Let b be y + -3 - (4 - -1). Let r = b + 8. Solve -3*l - l - 16 = r for l.
-4
Let i(b) = -b + 5. Let x be i(0). Suppose 5*k + 2*t + 13 = 0, 4 = -x*k - 3*t - 8. Let v = k + 5. Solve v*l - 7 = 3 for l.
5
Suppose d = 3*r + 2*d - 21, 4*r - 18 = 2*d. Suppose -6*t + 4*t = -r. Suppose 24 = 3*m - 24. Solve 0 = -l - t*l - m for l.
-4
Suppose 5*u + v = 21, -5*u + 8*v = 4*v - 41. Suppose -u*y = -3*y. Solve -5*a - 4 - 1 = y for a.
-1
Suppose -14*p = -191 + 1031. Let u = p + 64. Solve n = -1 - u for n.
-5
Let o be (3 - -17)/((-4)/(-8)). Suppose -3*a + 8*a = o. Solve 0*s = -2*s + a for s.
4
Suppose -3*u = 2*u - 20, 3*f + u = 4. Suppose f = -5*n + 6 + 4. Solve -x + 12 = n*x for x.
4
Let j = -1140 - -1142. Let l be ((-1 - -1)/(-1))/2. Suppose 0 = j*f - 5*i - 18, 2*f - i - 10 = -l*i. Solve -4 = f*k + 16 for k.
-5
Suppose -6*z = 5*f - 4*z - 10, f - 5*z - 2 = 0. Let l(x) = 5*x**3 + 2*x**2 - 2*x + 1. Let v be l(1). Let p = v - 1. Solve i + p = f for i.
-3
Let r(a) = -a**2 + 22*a - 100. Let g be r(8). Let u be (-6)/27 - 526/(-18). Suppose 2*k - k = 5*i - 28, u = 4*i - 3*k. Solve g - 2 = -i*p for p.
-2
Let c(n) = 3*n + 3. Let j be c(-2). Let y(g) = -g**2 - 8*g - 15. Let l be y(j). Solve l = -0*r - r for r.
0
Let q(w) = -w + 2. Let x be q(0). Let s(f) = -f**3 - 8*f**2 + 10*f. Let v be s(-9). Let t be -6*((-36)/(-8))/v. Solve -x*n = t + 7 for n.
-5
Suppose -x + 3*b + 42 = 0, 0*x + 3*b = -x + 24. Suppose 2*j + 2*j - 2*l - 58 = 0, 3*l = -2*j + x. Suppose 0 = h + 4*h - j. Solve -h*r = -6 - 6 for r.
4
Let v = -35 + 82. Let g = 51 - v. Solve 7*h = g*h - 15 for h.
-5
Let i(r) = 65*r - 48. Let b be i(1). Solve 5*j = -12*j - b for j.
-1
Let v = 145 + -135. Solve -v = -7*m - 3 for m.
1
Suppose 2*q = -0*q - 10, 2*z - 5*q - 39 = 0. Solve -z - 5 = -6*v for v.
2
Let w(q) = 3*q + 29. Let k be w(-8). Suppose k*p - 30 = -2*t, -5*t + 0 = -5*p - 5. Solve 7*h - p*h = -12 for h.
-4
Let c be (-1 - (3 + -4)) + -33. Let o = 93 + c. Suppose -2*v - 3*v = -15, 3*s = -5*v + o. Solve 6*j = j + s for j.
3
Suppose 0 = -3*g - 4*u + 47, g + 3*u = -0*g + 19. Solve g*q - 15*q + 6 = 0 for q.
3
Suppose -13*l - 282 = 56. Suppose -3*o + 32 = -3*p - 76, -3 = 3*p. Let r = l + o. Solve 0 = -0*y + 3*y - r for y.
3
Suppose 10 = 2*x, -131 = -3*g + 3*x + 31. Suppose 0 = 4*z - g + 35. Let w be 2/(-5) - (-44)/10. Solve -w*a + z = -10 for a.
4
Let t be 2 + 17 + (6 - 12). Solve -t*s = -58 - 7 for s.
5
Let h(p) = 2*p**2 + 5*p - 12. Let l be h(3). Solve -18*w = -l*w for w.
0
Suppose -118 = -2*p + 2*x, 19*x = 2*p + 20*x - 106. Solve -9*m = -20*m + p for m.
5
Suppose -2*i = 3*i - 25. Suppose -7 + 21 = h - 3*b, -5*h - i*b + 90 = 0. Solve 0 = 3*q - 8 + h for q.
-3
Let k = 18 + -27. Let j(z) = -z**3 - 10*z**2 - 9*z + 4. Let d be j(k). Let t = 9 + -7. Solve -s = -d + t for s.
2
Suppose 5*u = 3*g + 149, 0 = 3*u - g - 2*g - 93. Solve 16*h = u*h - 36 for h.
3
Suppose -4*u - 5*x + 15 = -10, 3*u - 18 = -3*x. Solve 10 = -u*j - 5 for j.
-3
Suppose -13 = 4*t - 3*g - 63, -10 = -t + 2*g. Solve -t*q + 24 = -6*q for q.
3
Let f = 749 + -735. Solve -f*s - 30 = -2 for s.
-2
Let n = -3 - -6. Suppose 0 = -4*l + 3*x + 10, 4*l - 6 = 54*x - 53*x. Solve l = -n*q - 2 for q.
-1
Let a(i) = i - 1. Let k(c) = 2*c - 3. Let p(o) = 5*a(o) - 2*k(o). Let t be p(-9). Let