 -s**3 - s**2 + s + 4. Let g be v(-3). Let c = g + -19. Solve c = -2*h + 3*h - x for h.
4
Suppose 8*f = 5*f + 54. Suppose -9*w - f = -15*w. Solve -n = w*n for n.
0
Let g(a) = -2*a**2 + 15*a + 148. Let s be g(13). Solve -3*q - 2 = -s for q.
1
Let j(q) = -q - 2. Let l be j(-7). Suppose -t = 7 + l. Let c = 15 + t. Solve c*m - 2*m - 2 = 0 for m.
2
Let w(z) = z**3 - 2*z**2 - 7*z - 2. Let v be w(4). Suppose 3*i - 7 = -3*h + 2, -3 = 5*h - i. Suppose d - 7 = -h*d. Solve 1 = -v*x - d for x.
-4
Let y = -6 + 8. Suppose -y - 1 = -u. Suppose 0 = -2*b - u*b + 10. Solve -10 = -4*o + b*o for o.
5
Suppose -4*p = z + 166, 0 = z - 6*p + 9*p + 163. Let i = z - -157. Solve -q + 1 + i = 0 for q.
4
Let l(g) = g**3 - 12*g**2 + 4*g + 4. Let y be l(12). Solve -2*t = -y + 44 for t.
4
Let g = -444 + 455. Solve 15*t - g*t = -8 for t.
-2
Let o(s) = 6*s - 69. Let a(m) = -4*m**2 - 17*m - 3. Let g be a(-3). Let h be o(g). Solve h*c = 4*c + 5 for c.
-5
Let h(d) = 2*d**2 + 10*d + 6. Let k be h(-6). Suppose -3*x + k = 6. Solve -q = x*q for q.
0
Let p be -5 + 3/15*35. Solve -6 = -p*l - 4 for l.
1
Suppose 2*l + 0*l = 40. Let k = l + -18. Solve 2*o = -k*o for o.
0
Let c(k) = -44*k - 128. Let h be c(-3). Solve h = -6*g + 10*g for g.
1
Let u be 6/(-4)*-2 + -45 + 66. Solve 5*h + u - 4 = 0 for h.
-4
Suppose 0 = -4*a - 5*q + 27, -5*q = 62*a - 63*a + 13. Solve -a*d = 13*d - 63 for d.
3
Suppose 0 = h - 8 + 11, 3*h = -2*v + 3. Let s be (-1 - 1)*2/4. Let n be (-1 - s)/((-4)/(-2)). Solve -4*r + r + v = n for r.
2
Suppose 116*d - 123*d = -14. Solve -d*x - 4 = -2 for x.
-1
Suppose 3*t = 8 + 1. Suppose -b = -t*b. Suppose 0 = w - 5 - b. Solve w*h - 4 = 11 for h.
3
Suppose 0 = 3*o - 6*o + 57. Let v(y) = -y**3 - 14*y**2 + 2*y + 24. Let h be v(-14). Let u = h + o. Solve -4*i + 1 = -u for i.
4
Let k(u) = 3*u - 4. Let d(v) = 4*v - 3. Let b(q) = -4*d(q) + 5*k(q). Let r be b(-18). Let a(g) = g - 5. Let z be a(r). Solve 4*m = 3*m + z for m.
5
Suppose 12 = 3*q - 4*y, -2*q + 28 = -5*y + 9*y. Solve -2 + 10 = -q*b for b.
-1
Suppose 50*w - 25 = 45*w. Suppose -3*j = -9 - 6. Solve 5 = -j*k - w for k.
-2
Suppose 0 = -4*j + 5*w + 30, 2*j = -3*w + 27 - 1. Let x be 5/j - (-15)/2. Suppose -x*c = -13*c. Solve -4 = 2*d - c*d for d.
-2
Let z(v) = -v**2 - 11*v + 26. Let q be z(2). Solve q*c + c = 0 for c.
0
Let d = 44 - 41. Suppose 4*c - 4 = 4*b, -d*b + 4 = c - 1. Suppose -4*r + p + 10 = r, -4*r + 29 = -5*p. Solve -3*n = -c*n + r for n.
-1
Let g be 1 + (-36)/24 + (-2)/4. Let b be 4 + -3 + 0 + (1 - g). Solve b*c - 17 = -5 for c.
4
Suppose 0 = -6*v + 4*v + 10. Suppose r - 24 = -5*c, r + v = 3*c - 11. Solve -n + c*n = 20 for n.
5
Suppose 46*x = 41*x + 20. Solve x - 2 = -2*f for f.
-1
Let l = -17 - -20. Let f(c) = 2*c**2 - 4*c - 2*c + 3 + 1. Let i be f(4). Solve -l*j - i = 3 for j.
-5
Let c = -9 + 19. Let v(j) = 3*j**2 + 67*j + 27. Let u be v(-22). Solve -5*r = u - c for r.
1
Suppose -4*w - 6 = -2*h + 2, -4*h + 16 = -3*w. Suppose -h*a - 36 = -2*y, y - 5*a - 39 = -12. Solve 4*s + y = -0*s for s.
-3
Let g = 9 - 6. Suppose -2*m + 5*b + 10 = g*m, 5*m = -b + 22. Suppose m = -2*y + 20. Solve 3*c + 4 = -y for c.
-4
Suppose -4*z - 8 - 24 = -2*a, 0 = -a + z + 13. Let y be 3 + 388/20 - (-6)/(-15). Suppose -y*d + 29*d = 35. Solve a = -d*k + 3*k for k.
-5
Let g(c) = -14 - c + 4 + 18. Let w be g(7). Solve f - w = 4 for f.
5
Suppose 3*i - 29 = 34. Let x = -11 + i. Solve x = -2*r + 4*r for r.
5
Suppose -g - 110 = -3*g. Solve 0 = 10*i + i + g for i.
-5
Suppose 4*q = 3*j - 64, -j + q = -2*j + 19. Let m = -31 + 11. Let s be 10/(-4)*16/m. Solve s*c + j = 6*c for c.
5
Let k be (-20)/(-2)*(51/(-6) + 9). Let y(h) = h**3 + 2*h**2 + h. Let d be y(-1). Let j = 0 + d. Solve j = 3*t - 4 - k for t.
3
Let w(s) be the first derivative of 2*s**3/3 - 4*s**2 + 2*s - 10. Let k be w(4). Solve -l - 9 = k*l for l.
-3
Suppose 2*i = 6*i + 3*p - 27, 5*i = -p + 42. Let y = i - 4. Solve y*k - k = 20 for k.
5
Let l = 1555 + -1398. Solve -3*q + 145 = l for q.
-4
Let a be 6*2/(-3) + 10. Suppose -2*v + a*v - 20 = 0. Suppose v*n - 4*c = 11, 9 = 4*n - 5*c + 2*c. Solve -15 = 6*y - n*y for y.
-5
Suppose 0 = 2*j - j - 3*j. Solve j = 5*t + 6*t - 55 for t.
5
Let o(d) = d**2 + d - 2. Let g be o(9). Suppose -4*k = g + 112. Let x be k/15*12/(-10). Solve 0 = x*q - 3*q - 5 for q.
5
Suppose 4*h + 22*h = 52. Solve h*i = -i for i.
0
Let a be (-1*1)/(1/(-5)). Suppose -5*s + 4*n + 27 = 0, -3*n = -5*n - 6. Suppose 0 = -s*u + 1 + 8. Solve -a*i + 7 = -u for i.
2
Let y = 624 - 621. Solve -10*w = -y*w + 28 for w.
-4
Let m be 0/(8 + (-7)/1). Solve m*l - 2 = -l for l.
2
Suppose -4*m + 2*k + 12 = 3*k, 5*k + 20 = 0. Solve 4 = -m*i - 12 for i.
-4
Suppose 0 = 9*a - 10*a + 19. Let l(s) = s + 5*s - a - 9*s + 4. Let z be l(-8). Solve u + z = -2*u for u.
-3
Let o = 143 + -141. Suppose -6*h + o = -46. Solve 2 = -3*a + h for a.
2
Let t = -5 + 8. Let w = -808 - -811. Solve 2*l = w + t for l.
3
Suppose 3*f = -2*f + y + 207, 0 = 3*y + 6. Let u = 44 - f. Solve 1 = u*w - 8 for w.
3
Let z = -492 - -567. Solve 59 = -4*d + z for d.
4
Let i be (-17)/(-5) - (-6)/(-15). Suppose 11 = p + v + 3, i*v + 1 = 2*p. Suppose 5 = -5*m - 15, -3*c + p*m + 20 = 0. Solve -5*z = -c*z for z.
0
Let k(m) = -2*m - 2. Let w(s) = s**3 + 6*s**2 + 2. Let q be w(-6). Let o be q*(-2)/(-4)*-2. Let c be k(o). Solve -5 = -c*v - 1 for v.
2
Let x(k) = -2*k**3 - 3*k**2 - 2*k + 2. Let c be x(-2). Suppose -21*b = -23*b + c. Solve 4*m - 3 = b for m.
2
Let u be (-43)/(-15) - (-26)/195. Suppose -u*w - 3*s + 10 = -5*s, -3*w - 4*s - 20 = 0. Solve -3*z + w = 12 for z.
-4
Let t(x) = -x**3 + 4*x**2 + 5*x - 6. Let m be t(4). Let u be (-822)/(-42) + 6/m. Suppose 0 = w - 6*w + u. Solve -11 = -w*f - 31 for f.
-5
Suppose 0 = -12*p + 33*p - 1470. Solve -2*h - 74 = -p for h.
-2
Suppose 3*u - 23 = -2*m - 8, -4*u + 2*m = -6. Let t be (-2)/5 - (-51)/15. Suppose t*l = -2*y + 17, 0 = u*l + 2*y + 3*y - 20. Solve 2*h - l = -3*h for h.
1
Let k(r) = -r**3 - 2*r**2 + r - 6. Let d(t) = t**3 + t**2 - 3. Let l be d(0). Let o be k(l). Solve o*v + 6 = 3*v for v.
2
Suppose 6*n - t - 16 = 3*n, -5*n = 3*t - 8. Suppose 2*q - 2 = h - 3, 2*q = n. Solve 0 = r + 1 - h for r.
4
Let l(q) = -2*q**3 - q**2 + 31*q + 7. Let m be l(-5). Solve m - 57 = -10*u for u.
-2
Suppose -13 - 13 = -2*j. Let u be (-20)/14*(6 - j). Let q = -59 - -62. Solve -q*y = -u + 25 for y.
-5
Let l = 34 + -39. Let s = 6 + l. Solve -3*i - 2 = s for i.
-1
Suppose 0*b = b + 9. Let z be ((-8)/(-24))/((-1)/b). Suppose -2*c - 4 = -z*c. Solve -c*r = r for r.
0
Let p be 4 - (0/4 - 0). Suppose 4*u - g = -2, 5*u + p = 5*g - 6. Let w be (-2 + u)*-2 - 1. Solve -f + 4*f = w for f.
1
Suppose 27*l - 539 = -215. Solve -7*k = -11*k - l for k.
-3
Let q(v) = -2*v**3 - v - 1. Suppose 10 - 19 = 9*w. Let o be q(w). Solve -d = -o*d for d.
0
Suppose -o + 4*o - 174 = 0. Let d = -55 + o. Solve 1 = -d*c - 2 for c.
-1
Suppose 5*t + 5 = -15. Let q be 3/3*(-16)/t. Solve -6*x = -q*x for x.
0
Let y be (-9)/(-12)*-2 - 7/(-2). Solve 4*t - 2 = y for t.
1
Let k(b) = -2*b**2 - 20*b + 16. Let f be k(-10). Solve 6*h - f = 8 for h.
4
Let a = -8 - -12. Suppose 0 = 2*t + 5*o - 25, -t - a*o = -5*o - 2. Solve -t*c + c = 16 for c.
-4
Let q = -10 - 10. Let w be (5/(-10))/(2/q). Solve w*b = 3*b - 4 for b.
-2
Let q be 80 + -1 - (-140 + 131). Solve 0 = p + 85 - q for p.
3
Let x be 4/26 + (0 - (-150)/39). Suppose 20 = p + 5*d, -3*p + 8*d + 3 = x*d. Solve -1 = -p*c + 6*c for c.
-1
Let o(y) = 8*y + 2. Let v be o(-1). Let s be (v/(-18))/((-1)/(-15)). Solve s = k + 3 for k.
2
Let j be (-74 + 0)*1/(-2). Suppose 36*f + 3 = j*f. Solve 5*z = -f - 17 for z.
-4
Let t(b) be the third derivative of -b**6/120 - b**5/10 - b**4/12 - 4*b**2. Let w be t(-4). Let a = w - -40. Solve 5*u - a = u for u.
4
Let r(m) = -m**3 + 17*m**2 - 14*m - 17. Let q be r(16). Solve -q*f + 44 = 7*f for f.
2
Suppose 2*v - 8 = -2*v. Suppose 0*u = -v*u. Suppose 3*i + 25 = 5*y - 2*i, y = -3*i + 5. Solve y*n + 6 + 14 = u for n.
-4
Let g be (2/(-3))/(73/(-438)). Solve i = -g*i - 20 for i.
-4
Let y(d) be the first derivative of d**4/4 + 2*d**3 - d**2 - 7*d + 31. Let p = -20 - -14. Let z be y(p). Solve 0 = -z*u + 4 + 1 for u.
1
Let u = -25 - -25. Let r be u - 0 - (4 + -4). Solve 4*q + r*q = 4 for q.
1
Let r = 240 + -240. Solve j - 5*j + 20 = r for j.
5
Let h be -4 - (-6 - (-1 + -3)). Let s be (-7)/(-2)*