= 0 for s.
0
Let i(c) = -c**2 - 8*c + 2. Let m be i(-4). Suppose -17 = -5*w + m. Solve 0 = 4*g + 3*k - w, 4*g = -k - 3 + 8 for g.
1
Suppose 0 = 2*i + l + 5, -i + 2*l = -0*i - 5. Let f = i + 4. Solve 0 = -f*c + 4*s - 1 - 3, -4*c + 36 = 5*s for c.
4
Suppose -2*f + 5*r = -7*f + 80, 0 = 5*r - 25. Solve 0 = -5*x - 2*g - 26, 0 = -x - x - g - f for x.
-4
Suppose -3*z = -5*n - 1 - 0, 0 = z + 2*n - 4. Solve 0 = 2*i - 6 - z, 10 = 2*p + 2*i for p.
1
Let j be 945/18*(-4)/(-6). Suppose a - 6 = -q + 3, 3*a - j = -5*q. Solve -4*z + 14 = h + 2*h, 2*z = a*h + 20 for h.
-2
Let f be -1*2*6/(-4). Suppose 6*l = f*l - 4*h + 79, 2*l + 3*h - 53 = 0. Let m be (-1 - -2)/(7/(805/5)). Solve -m = -4*c + n, -5*c - 6 = 2*n - l for c.
5
Let k = -21 + 34. Let s be 12 - (2/(-2) - -3). Suppose -4*t - r - r + s = 0, 5*t = 3*r - 15. Solve t = -h + 3*a + 13, 2*h - 4*a - 3 = k for h.
-2
Let v = -24 - -28. Solve 0 = -x - 4*a - 11, -x + 2*x - v*a = 5 for x.
-3
Let l(g) = g**2 - 7*g + 9. Suppose 3*w - 30 = -2*w. Let v be l(w). Solve -p + 1 = -4*u, -v*p + 0*u + 3*u = -12 for p.
5
Suppose 5*y = 9 + 1. Suppose 0 = s - y*s. Solve 2*h = -2*p, s = -5*h + 3*p - p - 21 for h.
-3
Suppose 0 = 3*r - 4*a - 0*a - 8, 0 = -4*a + 16. Suppose 0*w - r = -w + 3*d, -3*w + d + 8 = 0. Solve -4*p - 2*l - 18 = -0*l, -w*p - 4*l - 24 = 0 for p.
-2
Let n(v) = -v + 1. Suppose -q = 6 - 2. Let c be n(q). Suppose -4 = -3*s + 2. Solve 2*o - s*i - i = -17, -i = -c for o.
-1
Let f = 4 - 8. Let t(j) = j**2 - 6*j - 5. Let i be t(f). Suppose -5*v + 3*x + i = 0, -18 = -v - v + 2*x. Solve -8 = -v*h - 5*q, 5*h = 6*q - q + 10 for h.
2
Let b = -10 + 14. Let y(f) = f**3 + 7*f**2 + 6*f + 4. Let g be y(-6). Suppose -5*m = -3*m + n - 5, 4*n - 4 = 0. Solve g*d + b*s = 0, -2*d = -d - m*s for d.
0
Let l(j) = -j - 5. Let k be l(-6). Suppose 0 = 6*y - y + 30. Let f be (-1)/(2/y) - 1. Solve -2*v - r + 2 + k = 0, -5*v + 9 = f*r for v.
3
Let q be (48/(-14))/(3/(-21)). Suppose 4*s - q = 6*s. Let u be 3/(-2)*s/9. Solve m = 5*r, -u = -4*m + 5*r + 13 for m.
5
Let g = -22 + 42. Solve -4*i = v - 9*i + 15, 0 = -5*i + g for v.
5
Let i(v) = 4*v**2 - v. Let r be i(-1). Suppose 22 = r*k - 8. Solve y - 2 = -5*w, 3*y = -0*y + 2*w + k for y.
2
Let n = -7 + 6. Let s = 2 - n. Solve 2*u + 14 = 4*a - u, 5*u + 4 = -s*a for a.
2
Suppose o + 3*o = -8. Let s be ((-14)/(-49))/(o/(-14)). Solve 2*c = -3*n - s - 0, 0 = -3*n + c + 1 for n.
0
Let f(m) = m**2 - 10*m + 26. Let i be f(6). Solve i*p - 5*z = 25, 0 = 3*p - p + 5*z + 5 for p.
5
Suppose 5*m + m = 12. Solve x + 2*h = 3*x + 6, -6 = -m*h for x.
0
Suppose 5*i = -4*p + 31, -6*i + 3*i + 9 = 0. Let s(y) = -y**3 - 8*y**2 - 8*y - 2. Let q be s(-7). Solve -5*a + q = 0, p*a - a = -4*b + 19 for b.
4
Suppose -3 = 5*z - 18. Let d be -3 + 0 + z - -11. Solve 3*f + d = 2*q - 5, -3*q + 2*f = -14 for q.
2
Let g(w) = -4*w + 4. Let y be g(-3). Let b be y - 4/6*-3. Suppose 4*v = 5*i - 2*i + b, -i = 2. Solve 2*x - 4*s = -16, s + 1 + 9 = -v*x for x.
-4
Let k = 43 + -26. Solve 3*m + k = 5*b - 0*b, 0 = 5*m + 2*b + 18 for m.
-4
Let x be -1*(-2 + 0)*1. Let j(v) = v**3 - 4*v**2 - 3. Let k be j(4). Let b = k - -6. Solve -15 = 5*o + x*g, -o - b*g - 14 = -2*o for o.
-1
Let d(k) = 8*k - 1. Let s be 56/21 + (-2)/3. Let m be d(s). Solve 4*n = 5*l - 33, l - 6*l - 5*n = -m for l.
5
Let y be 2 + 4 - (3 + -5). Solve 4*v = 4*k - y, -5*v - 4*k + 4 = -2*k for v.
0
Let f(a) = 3*a**2 - 42*a - 57. Let v(i) = i**2 - 14*i - 19. Let m(t) = -3*f(t) + 8*v(t). Let u be m(13). Solve 10 = -k - 5*h, k - 4*h - u = -3*k for k.
5
Suppose 2*i - 17 - 7 = 0. Suppose 14 = -5*y - 16. Let a be -2*((-27)/y)/(-3). Solve -a*z - z + 9 = -3*k, -2*z = 4*k + i for z.
0
Suppose -44*u + 43*u = -5. Suppose -4*m - 19 = -3*b + 13, -4*b + 34 = -m. Let z be 14/b - 2/(-8). Solve 0*s = 5*k + z*s - 11, u*s = -k - 7 for k.
3
Let v be (2/1 - 4) + 189. Suppose 5*z = v - 7. Solve 11 - 31 = -4*i, 4*w + 4*i = z for w.
4
Let h = -3 + 4. Let l be (-2 + h + 0)*0. Suppose -20 = -4*r - l*v + 4*v, 5*r + v - 13 = 0. Solve -4*q - j + r = -16, j - 4 = -q for q.
5
Suppose 39 = 13*n - 0*n. Solve 0 = -3*v + 6, 0 = -l + n*l - v - 4 for l.
3
Let m be (0/(-5))/4 + 0. Let z be ((-1)/2)/(3/(-24)). Solve m = 2*a - 2*l + 10, a + z*l - 26 = -6 for a.
0
Suppose 0 = -3*r - f + 359 - 55, -3*f - 15 = 0. Suppose -4*b = 5*d - r, 3*d + 67 = 6*d + 5*b. Solve 3*o = -4*y + 26, -4*y - 1 + d = -o for o.
2
Suppose -5*w = 9*w. Solve 0 = -3*i, 3*n - 3*i - i - 12 = w for n.
4
Let l(w) = w**3 + 8*w**2 + 7*w - 5. Let q be l(-6). Solve -4*x + x - 10 = -b, q = -4*x - b for x.
-5
Let q = 5 - 0. Suppose q*h - 17 = h - n, -5*h + 34 = -3*n. Solve k + h*f = -5, -f + 18 = 2*k + 2*k for k.
5
Let f be 1/(-1)*5 - -2. Let i be (1 + -1)*f/(-6). Let v(j) = -j**2 - 7*j + 22. Let m be v(-9). Solve r + 4*x - 15 = m*r, r + x + 5 = i for r.
-5
Suppose c - 22 = -3*a - 4, 0 = -2*c - 4*a + 28. Let o(f) = -f**2 + 5*f - 2. Let y be o(3). Solve 5*l - 9 = g, l - y*l + c = 0 for g.
1
Let h(g) = -g + 17. Let z be h(10). Solve -z + 2 = 3*r - y, -r - y = 7 for r.
-3
Suppose 3*r + 98 = 2*v + 2*v, 2*r + 3*v + 37 = 0. Let t = -11 - r. Solve -5*y + 15 = -2*a, 0 = 5*y + a + a - t for y.
3
Suppose 0 = 4*z + w - 33, -z - 4*w + 2*w + 17 = 0. Suppose 3*v = z*v - 20. Solve -4*p = v*o - 16, 4 = p + 2*o - 4*o for p.
4
Let o(d) be the second derivative of -3*d**2 - 7/6*d**3 + d - 1/12*d**4 + 0. Let q be o(-5). Solve 4*h = 2*h + 2, -15 = q*j + h for j.
-4
Suppose k = 4*k - 6. Let l = 6 - k. Suppose -5*r - 5*b + 5 = 0, b = -b - 2. Solve l*t = -3*s - 1, 10 - r = 3*t + 4*s for t.
-4
Suppose 3*r - 4 = 5. Let f be (r/6)/((-3)/(-12)). Suppose 2*q - f + 13 = 3*y, -2*y = 3*q - 16. Solve 4*a = -y*n + 12, -5*a + 15 = 2*n - n for n.
0
Suppose 5*i = -5*z + 95, -2*z + 3*i + 59 = -2*i. Solve -4*w = -0*w - 12, w = 5*q - z for q.
5
Let y be ((-1)/2*0)/(-1). Suppose y = 5*t + z - 13, -z + 17 = 4*t + 2*z. Solve -5*s + 20 = -0*u + 5*u, -t*s + 5 = u for s.
1
Let q be 3/(3 + -1 + -1). Suppose 2*r = -5*u + 11, -5*r + q*r = 4. Solve u*d = -5*j + 9, 0*j = d + 4*j - 10 for d.
-2
Suppose 0 = -20*a + 7*a + 39. Solve -a*j - o + 2 = 9, -2*j - o - 5 = 0 for j.
-2
Let m be 3/((-33)/(-12) - 2). Suppose 0 = w + 2*w + 15. Let k be w/20 + (-18)/(-8). Solve 0*v + 2*v - m*s = -2, -1 = k*v - 3*s for v.
1
Suppose 2*l - 3 = -1. Solve -5*i - 9 = -2*r, 4*r - l + 19 = -2*i for r.
-3
Let u = -8 - -15. Suppose -4*v + 13 = 5*d, 2*v = -3*d + 6 + 3. Solve 4*t - 5*c + d = -8, -5*t - 3*c = u for t.
-2
Suppose x + 1 = 2*r, -4*x - 10 = -6*x. Solve 2*v - 4*t - 24 = 0, -r*t - 27 + 12 = 0 for v.
2
Let k(s) = -4*s + 56. Let f be k(13). Solve 29 = -3*l + 5*i, -2*l + 4*l - f*i = -22 for l.
-3
Let r be (-198)/(-45) + (-3)/(-5). Solve -r*n = -20, 5*y = -n + 3*n - 18 for y.
-2
Suppose z - 3*d = 2*z + 2, -5*z + 3*d = -8. Solve f + z = 2*h - h, 10 = -2*f for h.
-4
Suppose -1 = -4*x + 27. Let p be (-24)/56 - (-66)/x. Let i be p - (-1 - (-1 - 3)). Solve -m = -2*t + 4, t - 2 = i*m - 2*m for t.
2
Let q(k) = k**3 - 7*k**2 + 7*k - 4. Let f be q(6). Suppose f*v - 17 = 3. Solve -4*c = -a + 21, -a - v = -3*a for c.
-4
Let h(q) = q**2 - 9*q + 10. Let p be h(8). Suppose -5*o - 4*d + 21 = 0, p*d - 8 = -o - o. Solve -n = 0, 2*n - 5*n = -o*w - 25 for w.
-5
Let u = 7 + -10. Let j be (u - -4)/(2/22). Solve 3*m = h - j - 0, -5 = 2*m - 3*h for m.
-4
Suppose -3*o = -3*c + 3, 1 - 5 = 4*o. Solve 2*l + 4*f + 18 = 0, c*l - 4*l + 5*f + 16 = 0 for l.
-1
Let p = 19 - -2. Solve 6 = 2*o, -2*c = -4*c - 5*o + p for c.
3
Let l(s) = s**3 + 10*s**2 - 10*s + 16. Let i be l(-11). Let c = 20 + -12. Let y = i + c. Solve 0 = 5*g - f + 27, g - 4*f + 0*f + y = 0 for g.
-5
Let g be 3/(-15) - (-272)/10. Solve 5*p = 4*d + g, 0 = d + 2*p - 0*p - 3 for d.
-3
Let g = 0 + 4. Let o(v) = v**2 - 2*v + 2. Let r be o(2). Let l(f) = 3*f - 3. Let q be l(r). Solve -20 - 4 = 3*i - g*s, 6 = -q*i - 2*s for i.
-4
Suppose -5*u + 29 = n, -n + 2*u - 6 = -0*u. Suppose 7 = p - 5. Solve 4*d = -4*i - p, 3*d - n*i + 3*i - 3 = 0 for d.
0
Suppose 0 = o + 2*o - 78. Suppose 2*d + 65 = -3*d. Let h = -7 - d. Solve i - h = -5*s, -4*i - s + 6*s - o = 0 for i.
-4
Let f(y) = y**2 - 16*y - 6. Let s be f(16). Let u be -6*2*(-6)/(-8). Let n = s - u. Solve -p + n*d - 2*d = 1, 15 = -5*d for p.
-4
Let m be (-3)/(-2) + 1/2. Solve m*t = -2*g + t + 1, 0 = -g + 4*t - 4 for g.
0
Let u(m) = -m**3 - 3*m**2 + 4*m + 6