 = -37 for s.
-5
Suppose 5*a + q + 6 = 0, a + 0 - 10 = -3*q. Let y be -1*(-4 - a) - -2. Solve y*u + 24 = 4*d, -u + 2*u - 4*d = -15 for u.
-3
Suppose -21 = -4*v - 2*w + 1, -3*v = -4*w. Solve 0 = 3*h + h + v*n + 8, -4*n + 20 = -3*h for h.
-4
Let i = 33 - 23. Let z be (-1)/((-31)/i - -3). Let x be (4/z)/((-5)/(-25)). Solve x*h - 12 = -5*y + 14, 19 = 4*y + h for y.
4
Suppose -35 = -4*v - 3*v. Solve 0 = -l + 4*l - f + 6, -v*f + 18 = -3*l for l.
-1
Let p(g) = 2*g**2 + 23*g - 10. Let u be p(-12). Solve -u*r = -0*c - 3*c - 10, 3*c = -r + 5 for c.
0
Suppose -j + 2*d = 6, -j + 18 = j + 2*d. Let v = -4 - -8. Let z = -13 - -17. Solve -j = 2*i - i - z*x, x = -i - v for i.
-4
Let m = -7 + 16. Suppose c + m = 11. Solve -s + c + 2 = -v, -v = 5 for s.
-1
Let u be 0/1 - (-4 - -3). Let d be 8 + (1 + -3 - u). Suppose -5 = -d*b + 15. Solve 0 = -b*q + 4*l + 4, 2*q + 5*l + 5 = -2*q for q.
0
Suppose -5*h + 9*h = 8. Solve -17 = -2*y + b - 6, -3*y - 1 = h*b for y.
3
Let w be (-3)/6*6*(-46)/6. Solve -4*a = -3*d - w, 0*a = d - 4*a + 13 for d.
-5
Let c be (-41)/1*5/(-5). Solve 5*f - 3*m = m + c, 22 = 2*f - 3*m for f.
5
Let b(w) = -w + 12. Let d(o) = o**3 + 6*o**2 - o + 3. Let f be d(-6). Let a be b(f). Solve p + 6*r = 2*r + a, -p = 5*r - 5 for p.
-5
Let s(w) = -w**2 - 8*w + 2. Let t be s(-8). Let m = 0 + t. Suppose -h + 4*z = -4*h + 28, 10 = h + m*z. Solve -3*k + 14 = -k - 3*a, -h = 2*a for k.
1
Suppose -3*f - 2 = 3*z + 55, -8 = 2*z. Let y = 24 + f. Suppose 9 = 4*h - h. Solve -2*o = -10, 0 = -4*a + 4*o - h - y for a.
2
Let s = 60 - 35. Let t = s - -10. Suppose 5*f - 25 - t = 0. Solve -7 = 2*b + a + 1, 4*a + f = 2*b for b.
-2
Let c(u) = -u**2 - 10*u + 26. Let q be c(-12). Solve 3*s - 6 = 3*r, q*r - 14 = -3*r - 3*s for r.
1
Let d(i) = i - 10. Let t be d(10). Solve 0 = x - 4*s + 2, -x - 2 = -2*s - t for x.
-2
Suppose -2*z - 3*z = 0. Suppose -4*k - 9 = 3*n, 4*k - 12 = 4*n - z*n. Let c be (k + -1)*(-2 + 2). Solve 2*w + 3*j + 4 = 0, -5*w - 2*j - 4 - 17 = c for w.
-5
Suppose 0 = -4*c + 4 - 8. Let s be c + 7 - (-4 + 5). Solve -4*v + 1 = -m, -5*v - s*m + 4*m - 1 = 0 for v.
0
Let l(b) = -2*b - 2 + 3 - 6 - b. Let w be l(-6). Solve 0 = -5*z - g - w, 3*z + 5*g + 25 = -2*z for z.
-2
Suppose -3*p = -4*p - 9. Let f = -22 - p. Let c = -4 - f. Solve t + 3*t = -2*u + 26, 0 = t + u - c for t.
4
Let k = 27 - 25. Solve -m + 3*a + 10 = 0, 0 = -k*m + a - 3*a - 4 for m.
1
Suppose 4*b - 22 = 2. Let g = b + -8. Let o be g/1*(-10)/4. Solve -5*a = -5*w + 20, -5*w - o*a + 4 + 26 = 0 for w.
5
Suppose 0 = -5*r + a + 12, r + 6*a + 2 = 4*a. Solve 5*h + q = r, 0 = -3*h - h + 3*q - 6 for h.
0
Suppose -4*c - 31 + 43 = 0. Solve c*l - 26 = -2*l + 2*h, 6 = -2*h for l.
4
Let f be 0 - (-9)/(-2 + -1). Let u = f - -3. Solve 2*s = -3*r + 4, r + 5*s = -u*r + 10 for r.
0
Let v = 6 + -2. Let s be 1 - (-3 - -6 - v). Let t = 6 - s. Solve -2*j - 4*d = -6*j - t, 7 = -3*j - d for j.
-2
Suppose -4*a = -14*a + 20. Solve 6*c = a*m + 2*c + 6, 0 = 3*c - 6 for m.
1
Let m = 1 - -2. Solve -m*c = 2*p - 19, 5*p = 3*c - 0*p - 5 for c.
5
Suppose -69 = -3*o - 3*k, -o = 5*k - 5 + 2. Let m(v) = -v**2 + v + 4. Let n be m(0). Suppose n*d - 2 = 22. Solve -4*a = -4*w + 24, -3*a - d = 5*w - o for w.
5
Let y = -5 - -5. Suppose y = 5*d - 7*d + 8. Solve 0 = -3*c - w - 17, 5*c - 12 = 3*c + d*w for c.
-4
Let s(v) be the first derivative of v**2/2 + 8*v - 3. Let c = 7 + -13. Let k be s(c). Solve 2*y + 5 = -3*o, -11 = -3*o - 0*o + k*y for o.
1
Suppose -18*t = -17*t - 4. Solve 9 = 3*h + 4*q, t*q + q = 0 for h.
3
Suppose 0 = 3*k + 2*i + 33, 3*i = -2*k - 20 + 3. Let r be (-1)/(1/1) - k. Solve -2*h - 4*g + r = 0, 3*h + 3*g - 9 = -0*h for h.
0
Let w = -9 + 12. Let h be 4/(-6)*-2*w. Let f = -2 + h. Solve l + 3 = -3*x, -f*x = -l + x + 9 for l.
3
Let w(b) = -b**3 - 9*b**2 - 8*b + 5. Let f be w(-8). Solve 4*t - 26 = 2*i - 5*i, -25 = -f*i - 3*t for i.
2
Let h(z) = -z**3 + 7*z**2 - 7*z + 7. Let q be h(6). Solve 5*n - 4*w - 17 - q = 0, 4*w + 8 = 0 for n.
2
Let o(f) = 12*f. Let k be o(-2). Let q be 1/3 + 8/k. Let p = 0 - -2. Solve 3*g - 1 = n, -3*g + 16 + q = p*n for n.
5
Let u = -24 - -52. Let v be (-34)/(-6) + (-2)/3. Solve 4*c - 2*c = -v*j - u, 4*c - j + 12 = 0 for c.
-4
Suppose -p = 2*p - 9. Solve n + 7 = v, 0*v + 19 = p*v - 2*n for v.
5
Let h be (6/4)/(9/(-12)). Let g = 20 - h. Suppose 0*a + 4*a = 8. Solve -a*i - 2*f = 0, -4*i + 3*f = -g + 8 for i.
2
Suppose -x + 40 = 4*v, 0 = x + 4*x - 20. Let c = v + -8. Solve 0 = r - f - c - 1, 2*r + 10 = -5*f for r.
0
Suppose -3*w + 12 = -3*r, 20 = -2*w + 7*w - 4*r. Let b be (-4)/16 - 101/(-4). Solve k - 5*p + b = 0, -3*k + p - w*p = 3 for k.
-5
Let u(t) = t**2 - 2. Suppose -2 = 2*w - w. Let r be u(w). Solve 2*g - 9 = -5*b, -10 = -2*b + r*g + 2 for b.
3
Let s be ((-5)/2)/(1/(-2)). Let r = s - 4. Let p be (0/(1 + 2))/r. Solve -5 = -5*o + v, 2*o + 3*v = -p*v + 2 for o.
1
Suppose -4*t + 6 = -2. Solve 4*w + 28 = t*m + 10, 0 = -5*w - m - 26 for w.
-5
Suppose -3*b + b - 5*g + 80 = 0, -2*g + 4 = 0. Solve -3*t = 4*h + h + b, -3*h = -2*t + 2 for h.
-4
Let j(u) = -u + 3. Let f be j(-8). Let w be 3/12 - f/(-4). Solve k + w*i - 20 = 7*i, -k - 4*i - 20 = 0 for k.
0
Suppose 0 = -3*s + 13 + 2. Suppose d + 48 = s*d. Suppose 2*h = 4*h. Solve 5*q - 4*c = -h*c - d, c = -3*q - 14 for q.
-4
Let g = 9 + -6. Let d = 8 - g. Solve -r = -3*q + 6 - d, r = -5*q - 9 for r.
-4
Let f(t) = -t + 9. Let d be f(7). Let w(q) = -2*q + 5 - 2*q**d + q**2 + 3*q. Let s be w(0). Solve -4*g = 2*v + 6, s*g + 5*v = -0*g - 20 for g.
1
Suppose -5*m = x - 14, -4*x = -5*m + x + 20. Suppose 3 = -2*s - m. Let y = s - -7. Solve -j = -3*a - y*j + 3, a - 5*j = -29 for a.
-4
Let l(p) be the third derivative of -p**5/60 - p**4/2 - 5*p**3/6 - 2*p**2. Let q be l(-10). Let u = 27 + -16. Solve 0 = 4*d + 5*m + q, -4*d - 4*m = u + 1 for d.
0
Let b be 1*(-4)/(-6)*-6. Let q(l) = -3*l. Let o be q(b). Solve 3*m - v + o = 0, -2*m + 2 = v + 10 for m.
-4
Let b(c) = 2*c - 3. Let w be b(3). Solve -w*n - r = 4*r - 4, 4*n = -4*r for n.
-2
Let q(z) = 11*z + 33. Let k be q(-3). Solve k = -5*p + 4*x, p + p - 3*x = 0 for p.
0
Let i = -5 - -10. Solve -i*p - 29 = -2*q, -4*q + p + 11 = -q for q.
2
Let v(n) = -2*n - 12. Let z be v(-8). Let s be z/(-2)*-8*1. Solve 0*x + x = -3*a + 8, -s = -4*a for x.
-4
Let q be -1*2 + 3 - -6. Let n be (-10)/55 - 46/(-11). Suppose -4*p = -0*p - 16. Solve -3*x - n = 2*b + q, -b = -p*x - 11 for b.
-1
Let t(v) = -v**3 - 7*v**2 - v + 11. Let k be t(-6). Let s = k - -24. Solve y - s*z + 14 = -5, -z + 3 = -y for y.
1
Let m = -8 - -20. Solve -t - 12 = 2*t - 5*l, 3*t + m = -l for t.
-4
Suppose -1 = -4*y + 4*o - 5, -y + 15 = 3*o. Suppose -3*u = 2*u - 10. Solve -3*h - 4*d - 2 = u, y*d = 3*h - 24 for h.
4
Suppose 3 = -5*v - 2. Let i be v*(-1*6)/3. Solve -4*z - 4*h + 40 = 0, -i*z + 5*h - 21 + 6 = 0 for z.
5
Let v(c) = -c - 2. Let g be v(-6). Solve -g*o = 4*l - 32, 0 = 5*o - 2*l - 4 - 1 for o.
3
Let h(n) = -n**2 + 13*n + 1. Suppose -5*y - 27 = -7, 12 = 2*x + 3*y. Let o be h(x). Solve -5*a = 3*v - 10 + 3, -4*v + o = 3*a for a.
-1
Let x = 3 + -3. Suppose -5*t + 144 = -2*t. Let v = t - 3. Solve 5*b + 0*b + 5*q = v, x = b + 3*q - 19 for b.
4
Suppose -4*k + 50 = 2. Let l(n) = 3. Let p(o) = o. Let y(j) = l(j) - p(j). Let b be y(-7). Solve 2*t = -2*s - k, s + t + b = -s for s.
-4
Let f be 5/((-25)/(-19)) - 8/10. Solve 32 = 4*n - 4*z, 2*n - f*z = -3*n + 30 for n.
3
Suppose -3*g = 2*g. Let s be (-18)/(-4)*(-4)/(-6). Let t = s - g. Solve d = 3*q - 4*d + 13, -t*q = 3*d - 3 for q.
-1
Let c be (0 - -4)/(2/10). Let p(y) = -y - 2. Let r be p(-8). Suppose 14 - r = 2*n. Solve 4*s + l + l = 2, 0 = -n*l - c for s.
3
Let m be (-2)/6 - (-7)/3. Suppose -t = -4 - m. Let h be 12*(t/(-4))/(-3). Solve 2*k - 4 = 3*c - 0*k, -3*c - h = -3*k for c.
0
Suppose 16 = -3*r - 47. Let m = -11 - r. Suppose 5*z = -k + 20, -10 = -z + 3*k + m. Solve 4 = -v - z*u + u, 0 = v + 3*u + 3 for v.
0
Suppose 0*k - 18 = -2*k. Suppose -5*z = -4*z + k. Let s = 26 + z. Solve s = 5*y - n, -2*y - 3*n + 8 = -9 for y.
4
Suppose 0 = -3*s - 5*i - 13, -2*i = s + 3 + 3. Let c(u) = 2*u**2 + 3*u. Let k be c(-2). Solve k*o - s = -2*p - 18, -5*p = -o + 11 for o.
-4
Suppose 1 = 3*u + 7. Let t(s) = -2*s - 1. Let a be t(-3). Let c be u/4*a*-2. Solve -i - i = -5*h - 23, -5 = -5*h - c*i for h.
-3
Suppose -8 - 1 = -3*d. Solve d*s - 23 = -v + 5*v,