**3 - 19*t**2 + t - 17. Let a be s(19). Solve -a*y + 5 = -5 for y.
5
Let r(o) = o**3 + 5*o**2 + 3*o. Let y(s) = -s**3 - 11*s**2 + 13*s + 8. Let n be y(-12). Let t be r(n). Suppose -2*i + t*i = 0. Solve -2*c - c + 9 = i for c.
3
Let x = -56 + 58. Suppose 0 = 4*h - x*h - g, -2*g = -8. Solve -7 = h*i - 1 for i.
-3
Suppose -7*w = -33 - 9. Suppose 3*b = 3 + w. Solve o = b*o for o.
0
Suppose -5*u = -5*i - 5, -u + 3*u = -i - 10. Let t be ((-3 + 3)/i)/4. Solve l + l = t for l.
0
Let j(k) = -28*k - 732. Let l be j(-29). Solve -l = -4*v - 96 for v.
-4
Let u be (-107)/(-5) - 4/10. Suppose 2*a = 25 + u. Suppose -3*h = 4*s - 0*h - a, 2*h - 8 = s. Solve -3*v - s*v = 0 for v.
0
Let k(i) = 4*i**3 - i**2 + 2*i + 4. Let x be k(0). Solve -x*f - 14 + 10 = 0 for f.
-1
Let n(x) = x**2 - 3*x - 11. Let k be n(-4). Suppose -3*m = -k + 5. Solve -2*g - m = -0*g for g.
-2
Suppose 23*w - 75 = 109. Solve 6*l + 2*l = -w for l.
-1
Suppose 2*b + 30 = 4*l, -2*b + 12 = 14*l - 11*l. Solve l = k + 1 for k.
5
Let j(a) = a + 6. Let m = 14 - 10. Let c be j(m). Suppose c = 5*k - 2*q - 74, 0 = 3*k - 4*q - 56. Solve k = 5*z + 6 for z.
2
Let l = -103 - -143. Let m = -23 + l. Solve -m + 1 = -4*v for v.
4
Suppose -4*d + 32 + 24 = 0. Let k be -1 + d + (-9)/3. Let s be ((-42)/35)/((-4)/k). Solve 2*i - s*i = -5 for i.
5
Let x = -192 - -201. Solve 0 = -x*l + 3*l - 6 for l.
-1
Let z be (-9)/(-6) + (-1)/(-2). Suppose z*j = 4 + 4. Solve 3*h + j = -11 for h.
-5
Suppose -26*b + 29*b + 5*r = 71, -b - 3 = -5*r. Solve b = -5*o - 12*o for o.
-1
Let p(d) = 2*d**3 - d**2 - 17*d + 14. Let x be p(3). Solve -50 = -x*i - 10 for i.
5
Suppose -25*b + 25 = -20*b, -2*b - 40 = -5*g. Solve -g*t + 7*t = 15 for t.
-5
Suppose 5*p - 15 = 3*z, -3 = -p + z - 6*z. Solve p*y + 0 = -3 for y.
-1
Let m be 9/(-21)*(-112)/24. Solve -u + m = -2*u for u.
-2
Let f = 24 - 9. Suppose 0 = -6*i + i + f. Let a be (0/i)/((-4)/2). Solve a = -2*c + 3*c + 3 for c.
-3
Let p = -65 - -60. Let a be -10*(2 + p)*(-3)/(-6). Solve -6*y = -y - a for y.
3
Let c(r) = -r**2 + 5*r - 4. Suppose 2*g = -3*l + 4*g + 11, l - 5 = 2*g. Let f be c(l). Solve -f*m + 10 = -0*m for m.
5
Suppose 12 = -3*h + 30. Let p(m) = -m**2 - 5*m - 1. Let y be p(-2). Suppose 6 - 16 = -y*i. Solve 0 = 5*z - h*z - i for z.
-2
Let r be (1/(-2))/((-1)/6). Let h = -764 - -767. Solve -h*u + r = -3 for u.
2
Let c be ((-8)/14)/((-1)/7). Suppose 4*u - 20 = -4*m, -c*m = u + m - 13. Solve -3 - u = 3*j for j.
-2
Let l(s) = 3*s**2 - 13*s + 8. Let f be l(4). Solve -c + 7 = f for c.
3
Let v(j) = -j**2 + 3*j + 2. Let w be v(3). Let o be ((-28)/35)/(w/(-10)). Suppose -5 = -o*m + 5*i - 3, -3 = m - 3*i. Solve -m*t + 7*t = 0 for t.
0
Suppose m - 12 = -2*m. Let u = -4 + m. Suppose d + d = 4*x - 4, u = -3*d - 4*x + 14. Solve -5*j - d = -3*j for j.
-1
Let m be (16/(-88))/((-5)/110). Let u(t) = -6*t - 2. Let v be u(-2). Solve v = m*d - 2 for d.
3
Suppose -4*k + 33 = 3*t - k, -4*k = 5*t - 57. Solve 6*r - 5 = t for r.
3
Let w be 17 + 1079/(-65) + 58/5. Solve 9*k = 6*k + w for k.
4
Let r be 3/30 + (-1081)/10. Let l = 112 + r. Solve -2 = -l*i - 14 for i.
-3
Suppose -4 = r - t, -10 = -4*r + 2*t - 36. Let k = r - -14. Solve -h = -k - 0 for h.
5
Suppose -19*p = -20*p + 20. Solve -5 + p = -3*c for c.
-5
Suppose -105 = -8*j + 15. Solve -37*c - j = -32*c for c.
-3
Let i = 226 + -220. Solve 3*u + 6 = -i for u.
-4
Let u(g) = 7 - 10 + g - 5*g**2 + g**3 - 6*g. Let y be u(6). Solve 3 = -y*k - 0 for k.
-1
Let s be (-4)/5*(-10)/4. Suppose a + 4*h - 3 = 0, 0 = -a + 4*a + s*h - 9. Let z be (a/(-2))/(9/(-24)). Solve x = 3*x - z for x.
2
Suppose -d + 4*d = -3, 5*d = 5*g - 30. Suppose -3*f + g*o - 43 + 140 = 0, -67 = -3*f - o. Suppose -f*a + 10 = -23*a. Solve -3*j = 2*j + a for j.
-2
Let a be (-6)/12 - (-7)/(-2). Let h(w) = -w**2 + 4*w + 3. Let t(c) = -c**2 + 3*c + 2. Let d(l) = a*t(l) + 3*h(l). Let p be d(0). Solve p = 2*n - n for n.
1
Let n = 114 + -110. Suppose 5*b + j - 6 = 0, -n*j - 4 - 16 = -2*b. Solve -b*w - 5 = 1 for w.
-3
Suppose -5*s + 20 = -d, -3*d + 0*d = 0. Suppose 5*a + l + 34 = 0, -s*l - 1 = -2*a + 3. Let w be (-6)/(-4) + a/(-4). Solve 2*b = 5*b - w for b.
1
Let w be 287/21*3 + -5. Solve -w = -8*c + 17*c for c.
-4
Let r = -10 - -13. Suppose -5 = -r*d + 22. Suppose -4*q = -d*q + 15. Solve -i + q = 4 for i.
-1
Let f = 11 - 6. Suppose -2*u - 4 = 2*u + o, 0 = f*u + 2*o + 8. Solve n - 2 - 1 = u for n.
3
Let j be (-16)/(-12)*3/1. Let y(o) = o**2 - 3*o + 1. Let i be y(j). Solve 2*t + 15 = i*t for t.
5
Let u(p) = -p**3 + 8*p**2 + 8*p + 9. Let s be u(9). Let j(i) = -i**3 + 10*i**2 - 11*i - 36. Let f be j(8). Solve s = f*a - 4 + 16 for a.
-3
Let m be 297/12 + (-1)/(-4). Suppose m + 39 = -4*d. Let p be (2/4)/((-2)/d). Solve -4*i = -0*i + p for i.
-1
Suppose c = 6*c - 15, 3*c - 89 = -5*k. Suppose -4*p + 4*m = -k, 2*m = 5*p + m - 12. Solve s - 4 + p = 0 for s.
2
Suppose -9*d = -1 - 44. Solve -18 = -d*n - 33 for n.
-3
Let y(p) = 0*p**2 + 3*p**2 + 3 - 6*p + 4*p. Let a be y(2). Solve -1 = -3*b + a for b.
4
Suppose 4 = -5*c + 14. Suppose -y + 5*v - 7 = c*y, -3*v + 21 = y. Solve x - 3*x - y = 0 for x.
-3
Let l(o) be the first derivative of o**3/3 + o**2/2 + 2*o + 6. Let k be l(-2). Suppose 5*b - 4*i = 59, 0 = k*b + i - 31 - 12. Solve b = 2*t + 1 for t.
5
Suppose 56 = l + 4*w, 5*l + 5*w + 5 = 315. Solve -l*t = -60*t + 8 for t.
-2
Suppose 0 = 7*x - 38 - 39. Solve 5*i - x = -1 for i.
2
Let y be 3/3*(3 - -3). Let f(s) be the first derivative of -s**4/4 - 4*s**3/3 + 2*s**2 - 3*s + 5. Let x be f(-5). Solve 0 = -x*i + y - 0 for i.
3
Let o be (5/(-4))/((-5)/(-20)). Let j(s) = -s**3 - 3*s**2 + 8*s + 7. Let t be j(o). Suppose t = -4*l + 97. Solve 0 = -5*a - 0*a - l for a.
-4
Let h = -16 + 16. Suppose h = 3*a - x - 2, 3*x - 10 = -0*a + a. Solve -3*f = a - 8 for f.
2
Suppose 5*r + 13 = 38. Suppose 0*y + y = r*g - 3, -g = -5*y + 9. Solve -y*h - 3*h = 5 for h.
-1
Suppose 4*v - 48 = -4*d, -5*d + 5*v = -55 - 25. Let c = 21 - d. Let r = 8 + c. Solve b + r = -2*b for b.
-5
Suppose -2*m - 2*o + 5 = m, -5*m + 17 = -o. Solve -j - 2 = -m*j for j.
1
Let a(p) = -8*p - 6. Let f(m) = -m**2 - 8*m - 14. Let u be f(-6). Let g be a(u). Solve 4*i = 2*i - g for i.
-5
Let y(p) = 2*p**2 - 13*p + 1. Let f be y(7). Solve -f*x - 8 = -6*x for x.
-4
Let m = 1 + -2. Let o be (m/(-1))/(3/33). Suppose 5*a = 2*d, -o = 5*d + 5*a - 46. Solve -2*f + 1 = d for f.
-2
Let l(o) = o**2 - 22*o + 19. Let y be l(22). Suppose -t = -4*b - 0 - 16, 4*t - y = b. Solve -7 - 9 = -t*d for d.
4
Let g = 833 + -830. Solve g*v + 1 = 13 for v.
4
Suppose -2*w - 26*w = -5*w. Solve w = -3*z - 18*z + 63 for z.
3
Let l(u) = -15 + 3 + u + 0*u. Let g be 3/18 + (-213)/(-18). Let c be l(g). Solve c = -o + 6 - 2 for o.
4
Let r(i) = 2*i**2 + 25*i + 15. Let m be 4 - 16*(-2)/(-2). Let f be r(m). Suppose -3*z + 2*a + 65 = -f*a, 2*z + 4*a = 14. Solve 4*o = -o + z for o.
3
Let k(d) = d**2 + 32*d + 22. Let o be k(-32). Solve -o*q = -21*q + 5 for q.
-5
Suppose 4*y + y = -50. Let q(o) = -o**3 - 9*o**2 + 6*o - 8. Let d be q(y). Let n be 1/(3 - d/12). Solve 2*g = -n*g for g.
0
Suppose j = -2*j - 9. Let l be 1 - -1 - j - -2. Let c be -16 - -18 - -10 - (0 - -4). Solve 3*t - l = c for t.
5
Let h(c) = -3*c - c**2 - 3 + 5*c + 5*c. Let x(u) = -3*u**2 + 15*u - 6. Let r(p) = 9*h(p) - 4*x(p). Let w be r(2). Solve 3*b + w = -0*b for b.
-5
Suppose -2*m + 0*m = 2. Let q = m + 2. Suppose -o - q = 0, 0*h - 2 = -2*h - 2*o. Solve 10 = 3*x + h*x for x.
2
Suppose -4*q + 73 = -11. Let v be ((-6)/(-2))/(-2 - q/(-6)). Solve -3*l - 10 = v*l for l.
-2
Let h = -70 - -178. Let v = h + -104. Solve k + v = -0*k for k.
-4
Let a(f) = -f**2 + 26*f - 101. Let z be a(20). Solve 0 = -6*p - z - 5 for p.
-4
Suppose -60*m = -65*m + 35. Solve -m*g = -11*g + 12 for g.
3
Suppose -2*z = -10*z. Solve 3*i - 21 + 6 = z for i.
5
Suppose 2*k + 2*q + 4 + 2 = 0, 5*q + 9 = k. Let c be ((-4)/(-7))/((12/(-42))/k). Solve c*g - g = 0 for g.
0
Let u = -70 + 80. Solve x = 3*x - u for x.
5
Suppose 8 = -2*g + g + 2*k, -3 = -4*g + k. Solve g = -9*q + 11*q for q.
1
Let o = 0 + -10. Let m = 13 + o. Let f be (0 + -5)/5 + m. Solve 15 = f*l + l for l.
5
Let t(m) = -m**2 - 9*m - 11. Let a be t(-7). Let n be ((-8)/6)/1*a/(-2). Solve n*g + 3*g = 0 for g.
0
Suppose -3*b + 0 = y - 2, 6 = 3*y - 4*b. Suppose -y*m = 5*t - 9 - 33, 5*t = 20. Let k be (2*-1)/(10 - m). Solve 7*g