s**3 - 1 + s + 3*s + 2 + 5*s**2 - 5*s**3. Let v be k(6). Let d(y) = 2*y + 24. Let h be d(v). Solve 0 = 5*q - 5*b + 5, -2*q - h*b = -6*q - 4 for q.
-1
Let n(h) = -2*h**3 + 12*h**2 + 7*h - 5. Let r be n(-1). Suppose 2*b - 3*b = m + 1, 11 = -m + 4*b. Let v = m + 6. Solve 0 = 3*g + r*g + 10, -2*g = v*y + 7 for y.
-1
Suppose 2*y + 24 = -2*y. Let t be 1/((-9)/6)*y. Let x(j) = j**2 - j - 9. Let a be x(4). Solve 0 = -b + 4*q - 4, 4*b + a = t*q - q for b.
0
Suppose -13 = -3*z - 2*t + 1, z + 4*t - 18 = 0. Solve 0 = 3*s - 6, 6*s - z*s = -2*b + 10 for b.
1
Let m(w) = w + 4. Let l be m(-5). Let f be 14 + l/(2/4). Let a be 48/f - (-1 + 0). Solve j + 1 = 3*g, -4 = 4*j - g + a*g for j.
-1
Let v(t) = -t**3 + 8*t**2 - 8*t + 11. Let u be v(7). Let x be 3/12*0 - -4. Solve -1 = x*h + 4*b + 3, u*b + 3 = -3*h for h.
-1
Let q(a) = 3*a**3 - 2*a**2 + 2*a - 1. Let d be q(1). Suppose d*z - 13 = 3*t, -5*t = 2*z + 3*z + 30. Let u = t - -8. Solve 3 = u*p, -3*i + 4*p + 2 = 9 for i.
-1
Let u = -147 - -151. Solve 5*w + 2*n + u = 9, -4*n = 3*w - 3 for w.
1
Let q be (2/2)/(-4*1/(-20)). Solve -n = -6*n - 4*c - 28, -2 = -2*n + q*c for n.
-4
Let p = 139 + -101. Let q = p - 32. Solve 3 = -0*o - o - a, 4*a = -2*o - q for o.
-3
Let d(p) = p - 5. Let w be d(5). Suppose 14*m = 12*m + 4. Suppose -1 = -2*y + m*q - 11, w = -4*q + 20. Solve -5*o + 2 = 3*f, 4*f = -y*f + 3*o + 22 for f.
4
Let t = -285 + 287. Solve -3*l + 17 = -4*f, 0 = -4*l - l + t*f + 5 for l.
-1
Suppose 19*x + 23 = 31 + 30. Let h be -1 - ((1 - 1) + -2). Solve 0 = -4*a - 2*m, -3*a + 0*m - x*m = -h for a.
-1
Suppose -2*u + 5 = p, -9*p + 8*p = 4*u - 13. Solve 4 = -2*b, u*b - 4 = -4*h + h for h.
4
Suppose -w + 3 = -1. Suppose 0 = -3*t + 2*o + 68, -2*t + 3 = 3*o - 25. Let v = 20 - t. Solve 2*n = 2*z + w, v = 4*z + n + 3*n - 16 for z.
1
Let o = 70 - 68. Solve o*z - 20 = -4*t, 2*t - 10 = -z + 5*z for z.
0
Suppose 11*x - 13*x + 1 = -z, 0 = 3*z + 3. Let g = 6 + -5. Let c = 1 + g. Solve x = c*k - 5*o - 5, -5*k - 5*o = -4*k + 20 for k.
-5
Suppose 0 = 6*y - 5 + 5. Suppose 13*o - 12*o - 3 = y. Solve v - o = -4*p - 0, 3*p + 12 = 4*v for p.
0
Suppose 2*n = n + 1. Let o = -3 + n. Let r be 3*o/(-12)*4. Solve -4*a + 1 = -k - 0*k, -r*a + 5 = k for a.
1
Suppose -25*s + 73 = -52. Solve -3*n - s*m - 40 = 0, -2*n + 5*m + 20 = -n for n.
-5
Suppose 4*o - 20 = -4*p, -o - 4*p - 6 + 26 = 0. Solve o = 5*f - 5*d, 0 = -f - 8*d + 6*d - 9 for f.
-3
Suppose t + 4 = o, -o - 3*t + 0*t - 12 = 0. Solve -2*m - 5*z + 11 - 1 = o, -m = -4*z - 5 for m.
5
Let z(l) = -l**2 - 7*l - 7. Suppose 4*q - 52 = -0*q. Let a = 8 - q. Let t be z(a). Solve 4*u - 2*k + 7 - 1 = 0, -2*u - t*k = -1 for u.
-1
Let w(j) = j**3 - 21*j**2 - 43*j - 44. Let x be w(23). Solve -4*b - 3*r + 2*r + x = 0, r = 5 for b.
5
Let u = -512 - -516. Solve -6 = u*a - c + 2*c, -11 = a + 5*c for a.
-1
Let q = 1 + 2. Let n be ((-3)/(-1))/((-3)/(-13)). Let d = 16 - n. Solve g - q = -3*j, g + d*g = -2*j + 2 for j.
1
Let t = 1051 - 1050. Solve 2*l + t = 2*x - 7, 0 = -x + 2*l + 7 for x.
1
Let g be ((-456)/(-494))/(2/13). Solve 0 = 2*o + 2*c - 7 + 1, 4*c - g = -o for o.
2
Let f be (35/(-14))/(1/(-2)). Suppose -x - 4*x - 15 = 0, 0 = f*o - x - 68. Solve -7*n + q - o = -2*n, -q - 3 = 3*n for n.
-2
Suppose -u = 2*x - 2, -x + 4*u - 2*u = -11. Solve -h - x = -n, -9 = 2*h + h for n.
0
Let y = 2 - 7. Let j be (6 + y)/(1/(-4)). Let i(n) = -2*n - 6. Let g be i(j). Solve -10 = -6*x + 2*x + 5*c, g*x - 5*c = 0 for x.
5
Let c = 7 + -22. Let k be (-12)/c*(-5)/(-2). Suppose -5*y + k*s + 10 = -3*s, -y = 4*s - 27. Solve -5*p - 7 = 4*q, p + 3*q - y = 5*q for p.
1
Suppose -2*c = c - y - 41, 11 = 3*c + 5*y. Suppose -c*w = -11*w - 5. Solve w*o - 4*s + 26 = -s, -3*o + 2*s = 16 for o.
-4
Suppose -3*v + 87*z - 89*z - 4 = 0, 0 = -2*v - 5*z - 21. Let h = 5 - 2. Let x be 56/12 + 1/h. Solve -2 = 2*l - 4*i, -v*i = x*l - 7*i - 5 for l.
3
Suppose -5*n = -5*w + 80, -10 - 9 = -4*w - 5*n. Solve -2*a + 5*d - 1 = -w, 4*a - 20 = d for a.
5
Let g = -13 + 18. Let r = -46 + 34. Let l be (-2)/((-8)/r*-1). Solve 3*p = g*w - p - 16, -l*p - 5 = -2*w for w.
4
Suppose 3*p - 5*l - 73 = 0, 4*l + 52 = p + p. Suppose 4*s - p = 24. Solve -9 = 5*b + 4*z + 17, z + s = -3*b for b.
-2
Let j(r) = -r**3 + 4*r**2 - 3*r + 6. Let x be j(3). Solve 3*d - 3 = 0, 3*q - 2*d + x = -q for q.
-1
Suppose 5*b + 6 = 2*b - 3*s, 3*s = 5*b - 30. Suppose -3*t = 5*a - 3 + 5, a + 10 = -b*t. Solve -14 = -4*w - 34, 0 = a*k + 4*w + 12 for k.
4
Suppose 2*u = -27 + 15. Let n be (-3)/u - (0 + (-9)/6). Suppose -5 = r - 2*r. Solve r*t - 2*v = -v - 30, 10 = n*t + 4*v for t.
-5
Let h(x) = -x**3 - 2*x**2 - 3*x - 1. Let m be h(-4). Let z = m - 40. Solve 0 = z*i + w + 6, -5*i + i - 1 = -w for i.
-1
Suppose 0 = -5*r - 3*i + 17, -r - 2*i = -4*r + 14. Suppose 3*t + 12 = 4*l - 8, -4*t = 0. Solve -5*g = r*k - 22, 0*g = k - 4*g + l for k.
3
Suppose b + 3*l - 2*l = 26, 0 = 3*b - 4*l - 43. Suppose -5*t = f - 22, -12 = -2*f - 0*t - 2*t. Solve -2*y = h - 8, 3*y + f*h = b - 10 for y.
5
Let l be 0/((3 - -3) + -4). Solve -n = 1, w - n - 3 - 1 = l for w.
3
Suppose 2*f = -5*u + 2, 6 = 5*u + f - 0. Suppose 61 - 1 = u*p. Solve 2*m + 2*v + p = -2*v, -v = -m for m.
-5
Let s be 72/(-9)*(-3)/8. Let z(a) = 5*a - 15. Let l be z(s). Solve -f = 2*g - g - 7, l = 2*g - 2*f + 6 for g.
2
Suppose -63*o = -66*o. Let h(x) be the first derivative of -x**4/4 - 2*x**3/3 + 14*x + 3. Let u be h(o). Solve 0 = 5*i - 2*l - u, -i + l + 6 = -l for i.
2
Let g(a) = a**3 - 6*a**2 - a - 5. Let m be g(7). Let l = -34 + m. Solve -l*d - 2*f + 11 = 0, 5*d = -f - 0*f + 23 for d.
5
Suppose 28*q - 34*q = -12. Let j be (-7)/((-105)/(-10))*(-15)/q. Solve 0 = 5*d - j*y + 16 - 1, 17 = -4*d + 5*y for d.
2
Suppose -216 = 4*l - 5*y, 5*l - 5*y + 270 = -0*l. Let n = 56 + l. Solve 2*h - 13 = -4*s - 3, 5*s + n*h - 14 = 0 for s.
4
Let h be 70/4 - 5/(-10). Let l = h - 15. Suppose -f - 4 = -l*f. Solve 3*w - f = -4*a, a + 3*w - 4 + 8 = 0 for a.
2
Let q = -162 + 180. Solve 0 = 5*s - 2*k - q, 2*s - 4*k + k = 5 for s.
4
Suppose 13*b = 19*b. Solve 6 = -2*w - p - 3, 4*p + 12 = b for w.
-3
Let x(s) = s - 4 + 7 - s**2 - 3*s. Let z be x(-5). Let i = z + 17. Solve -r - 4 = -c, 0*c = -2*r + i*c - 20 for r.
0
Suppose -5*y - 65 = 155. Let u = y - -8. Let p be 220/(-8)*u/15. Solve 5*s - p + 16 = 5*i, -4*i - 5 = 3*s for s.
5
Let r(h) = 2*h - 25. Let z be r(15). Solve 0 = -2*f + n - 9, 0 = z*n - 12 - 3 for f.
-3
Suppose -2*q = -835 + 811. Solve -q = l + 3*r, -r + 7 = -l + 5*l for l.
3
Suppose 105*d + 14 = -2*i + 109*d, 2*d = -2*i + 16. Let o(s) = -3*s + 1. Let j be o(-3). Let q be 32/j + 1/(-5). Solve l + 1 = -i*p + 17, p = q*l - 8 for p.
4
Suppose -3*u + i = 5*i - 2, 2*u = 2*i + 6. Let s be (0/(-4))/u + 3. Let c = 6 + 0. Solve m + 17 = -s*n, 2*n - c*m - 12 = -2*m for n.
-4
Let t = 7 - 20. Let l be t/2*2/1. Let k = l - -13. Solve k = 3*g - 3*n, -4*g + 4 = -2*g - 4*n for g.
-2
Suppose 0 = -5*q - 0*q + 15. Suppose -5*o + 2*y + 14 = 0, -4*o + 2 = -q*y - 5. Solve -s + o*s - 2*w = -9, 0 = 3*s + w + 18 for s.
-5
Let n = -6 + 7. Suppose 5*q - n + 24 = 4*u, 0 = 2*q + 6. Suppose 5*s = -5*a, u*s + s - a = 0. Solve s = 4*m + 3*c - 13, 5*c + 3 = m + 17 for m.
1
Let g(o) = -2*o**3 + 47*o**2 - 68*o + 44. Let p be g(22). Solve -2*k = -2*j - 3*k + 5, j - k + 5 = p for j.
0
Suppose 3*w + 4*q = 10, -13*q + 8*q - 5 = -5*w. Solve 3*g + 9 = 0, -3*c = -w*g - g - 18 for c.
3
Let p(z) = z**3 + 2*z**2 - 3*z + 5. Let m be p(2). Let b = -10 + m. Solve 3*a - b*x = 12, 4*a - 4*x - 8 = -0*x for a.
-1
Suppose -3*j + 12 = 2*l + l, -5*l + 11 = -4*j. Suppose -1 = 2*z + u - 18, -l*z + 27 = 3*u. Solve -4*n = 4*i - z, -2*n + 10 + 4 = -3*i for i.
-2
Suppose 1861*k - 78 = 1848*k. Let h = -2 + 16. Solve -3*t + 2*t + q = k, -h = 3*t - 2*q for t.
-2
Suppose 5*o - 22 - 58 = 0. Let j(p) = 6*p + o - 2*p - 5*p. Let k be j(12). Solve -2*n - 6 = -2*t, -5*n + 0*n - 16 = -k*t for t.
-1
Let o be (-8)/28 - (-44)/7. Suppose c + 0 = o. Let l be 3/4 + (-39)/(-12). Solve l*x = 5*u - c, x + 5*u - 3 = -17 for x.
-4
Let f = 17 - 32. Let m = -6 - f. Solve d = -3*v - 17, -3*d + 5*v + m = -10 for d.
-2
Let r(d) = 6*d - 38. Let i be r(7). Solve -x = -4*v - 2, -3*x + v + 2 = -i for x.
2
Let f(b) = b**3 + 6*b**2 + 3*b - 8. Let a be f(-4). Suppose -d - a = -5*d. Solve -d*z + 12 + 6 = 3*n, -4*z = -3*n - 3 for z.
3
Let y = 33 - 130. Let d = -97 -