 s.
-3
Suppose -3*f + 18 = 3*f. Suppose a - y = 4, -f = 2*a - 5*y - 14. Solve 4*b + 4*u = -6 - 2, -a*u = 0 for b.
-2
Let k = -28 + 48. Suppose 3*j + 5*a = -j + k, -4*a = 0. Solve j*l + 11 = o + 26, 2*o + 12 = l for l.
2
Let r = -1 - -6. Let b = 1 - -1. Let n(a) = a**3 + 4*a**2 - 4. Let i be n(-3). Solve -i*j = r, 0 = b*f + f + 2*j - 7 for f.
3
Let b = -1 - 4. Let c = 15 + b. Solve -2*a - 2 + 0 = -m, -c = -5*m - 5*a for m.
2
Let c = -18 + 30. Suppose 6 = -3*j - 3*k, -4*j - k + 2*k = -c. Solve 3*g + g + 14 = -j*n, 4*g + 2 = 2*n for g.
-2
Let r be (105/(-4))/5*60. Let u be r/(-12) - 2/8. Let i = 8 + 9. Solve -4*y + 5*t - i + 4 = 0, 2*y + 4*t - u = 0 for y.
3
Let b = 9 - 2. Let a(v) = -v + 8. Let r be a(b). Solve 2*j - r = k, 2*k = 3*j + 6*k + 4 for j.
0
Let v(g) = g + 15. Let p be v(-13). Solve -3*b - 2*r - 5 = -r, 5*b + 23 = p*r for b.
-3
Let n = -92 - -94. Solve 0 = -2*w - l + n, 0 = 2*w - w - 2*l - 6 for w.
2
Let x(p) = 8*p**2. Let j be x(-1). Suppose 5*m - 9 + 0 = 2*u, 0 = 2*m - 3*u - j. Solve -m = 7*w - 2*w + l, 4*w - 4*l = -20 for w.
-1
Let f(g) = g**3 + 3*g**2 - g - 1. Let w be f(-3). Solve 0 = 2*o - 6, -3*o = w*x - 0 - 3 for x.
-3
Suppose 9 + 12 = 3*l. Suppose -5*d - l = -57. Suppose 6*q = q + d. Solve 3*c + 3 = -3*u, -q*u + 0*u + 2 = 4*c for u.
-3
Suppose -p + 10 = 4*o, -p = -3*p + 3*o - 35. Let h = 12 + p. Solve -3*t + h*y - 1 = 0, 5 = -5*y + 15 for t.
1
Let u(p) be the first derivative of -p**2/2 - 7*p + 2. Let h be u(-9). Solve 0 = -h*w + 2*m + 4, 3*w + m = -m + 21 for w.
5
Let b be (-2 - (-2 - -1))*-3. Suppose -3*a + 15 = -2*a + 4*m, -b*a - m + 45 = 0. Solve l = 0, 5*p + 0*l - a = 2*l for p.
3
Let y be ((-12)/9)/((-4)/9). Solve 2*d = y*v - 19 - 2, 4*d = -12 for v.
5
Suppose 2*x - 2*u - 3*u - 39 = 0, 2*x = -4*u + 12. Let l = -8 + x. Solve g - 4 = -3*g + l*a, 4*g = -a + 24 for g.
5
Suppose -2*j - 4*v - 9 + 25 = 0, 5*j + 3*v - 61 = 0. Solve -5*p = 2*h + j, -4*h - h - 3*p = 16 for h.
-2
Suppose -4*d + 108 = -0*d. Suppose 9 = 3*u - d. Suppose 2*q = 3 + 13. Solve 0 = 2*c - 5*s + u, q = 4*c + c - 3*s for c.
4
Let d(s) be the first derivative of 3*s**4/2 - s**2/2 + 4. Let a be d(1). Solve -5*z - 4*o + 2 = -18, -a*o - 8 = -2*z for z.
4
Suppose 3*w - 4*w = 0. Let k = 2 + w. Solve 5*p + k*c = -0*c - 8, -p + 4*c = 6 for p.
-2
Let j(y) = y - 5. Let a(o) = -o + 7. Let f(n) = -5*a(n) - 7*j(n). Let r be f(-1). Solve 4*x + 2 = 2*d, -3*x = r*d + d - 21 for d.
5
Let a = 20 + -14. Let b(z) = -z**2 + 5*z + 11. Let g be b(a). Solve 0 = g*v + d + d, 29 = 2*v - 5*d for v.
2
Let p(z) = 2 - 4 + 0*z**3 - 5*z + 6 + 5*z**2 - z**3. Let o be p(4). Solve o = -5*c + g + 3, 9 = -c + 2*c + 4*g for c.
1
Let o(g) = g**3 - 9*g**2 + g - 7. Let a be o(9). Suppose -2*y = -0*y. Solve y = 2*n + u + 4*u + 10, 8 = -a*u for n.
5
Suppose -10*t + 4*t = 4*t. Solve 2 = k - 2*y + 7, t = -k - y + 1 for k.
-1
Let x(a) = -a - 4. Let p be x(-8). Suppose 2*k - p = 4*k. Let i be 2 - 2*k/2. Solve f + 6*g + 4 = g, f - i*g - 5 = 0 for f.
1
Let b(q) = -q**2 - 11*q - 10. Let o be b(-1). Solve -n + 12 = -4*l, o*l + 4*l + 12 = -2*n for n.
0
Suppose -40 = -4*j + 16. Suppose 2 = -3*n + j. Suppose -5*i + 2*c + 140 = 7*c, 2*i + 5*c = 65. Solve 4*f - 5*s - 11 = 0, -n*s - s = 5*f - i for f.
4
Let q be (0 - 0) + 3/1. Suppose 0 = q*a + 6*b - 2*b - 17, -9 = -a - 3*b. Let c = 0 + 2. Solve -2*l = 4 + c, 3*t = a*l + 15 for t.
2
Let w be 70/20 - 9/(-6). Solve 0*m + w*f = -4*m - 31, -m + 8 = -4*f for m.
-4
Let k = 26 + -22. Suppose -7 = -m - k*d, 0 = -2*m - d - 6 + 13. Solve -2*a - l = -2, a - m*a + 8 = -2*l for a.
2
Suppose -2*s + 1 = -7. Suppose 0 = s*w - 2*w - 4. Solve 5*p + 5*v = 0, 2*v + v = -5*p - w for p.
-1
Let p be (-1)/(((-1)/(-3))/(-1)). Suppose -4*z = -7*z + 6. Solve -13 = k + 4*q, 0*k + z*k + 6 = -p*q for k.
3
Let h(t) = -t**2 - 7*t - 7. Suppose -15 + 3 = 2*v. Let s be h(v). Let j(m) = -m**3 + m**2. Let w be j(s). Solve 0 = -w*f + 2, 4*f + 1 + 10 = -3*n for n.
-5
Let w(x) = -x**3 - 4*x**2 - 1. Let h be w(-5). Let c(p) = p + 4. Let m be c(-5). Let b be 5*(2 - m - 2). Solve b*a - 17 = 3*v, 5*a + h - 9 = -5*v for v.
-4
Let x be (-69)/9 + 2/(-6). Let y be (-2)/4 + (-12)/x. Let a be 3 + 1/(y/(-1)). Solve 0*v = a*t + 2*v + 4, 3*t + 4 = -2*v for t.
0
Suppose 3*q + 6 = -21. Let k = 11 + q. Solve 4*v = 2*o + k, -3*o = -o - 6 for v.
2
Let p = -28 + 48. Suppose 3*s - 3*i - 97 + 34 = 0, 0 = 3*s + i - 79. Suppose 3*f + 2*f = s, -p = 2*r - 4*f. Solve -5 = -2*a + g, -3*g + 15 = -r*g for a.
5
Suppose 34 = 5*v + 4. Let l = 7 + -5. Solve 4*x + v = -3*b, 2*b = -x - x - l for b.
2
Let v = 10 - 10. Suppose v = -3*s - 12, 0*a - s = 4*a - 4. Solve 3*c - r = -5*r - 8, -2 = -a*r for c.
-4
Suppose -x - 26 = -3*x + 5*w, 5*w = -2*x - 14. Solve 0 = -6*u + u + x*q - 12, 0 = -5*u - 2*q + 8 for u.
0
Let r(w) = 13*w**2 + 16*w - 29. Let x(z) = 3*z**2 + 4*z - 7. Let b(m) = 2*r(m) - 9*x(m). Let j be b(-5). Solve 2*c = -c - 2*d - 1, 2*c + d = j for c.
1
Let u be 1/(-3)*(-9)/3. Suppose v = u + 3. Solve -a - 4*f = -v - 2, 4*a + 10 = f for a.
-2
Let m be 5/(10/(-6))*-5. Let l be 1/3 - (-55)/m. Let k(c) = -c**3 - 5*c**2 - 3*c - 4. Let a be k(-5). Solve 4*i - a = -3*q - 2*q, 0 = 5*i + l*q - 7 for i.
-1
Let v(p) = -p. Let c be v(-4). Suppose -2*o = -c*m - 36, 4*o + 4*m = -o + 20. Suppose o - 64 = -4*d. Solve 1 = r, 3*f + 3*r + 5 = d for f.
2
Let o(a) = -a**3 - 11*a**2 + 13*a + 14. Let p be o(-12). Solve -4*n = -5*u + 25, -n - 17 = -3*u - p for n.
0
Let p(g) = -g + 8. Let b be p(4). Solve -3*t = -b*i - 23, 25 = 8*t - 3*t - 4*i for t.
1
Let w(o) = -o**3 - o**2 + o - 2. Let j be w(-2). Let r be (1 - 4)*(0 + 5)/(-5). Solve j = -2*l + 1 + r, -5*l - 2 = -3*x for x.
4
Let d = 27 + -15. Suppose -4*i = 6*l - 4*l - 18, i + d = 5*l. Suppose -y - i*y = -12. Solve -2*n - 2*a - 4 = 0, 9 = -2*n - 3*a + y for n.
0
Let q = 15 - 10. Let d = -5 + q. Suppose 3*w - 5*m = -3, d = -3*w + m + 8 + 1. Solve x - 1 = -4*u, 6*u + 7 = -w*x + u for x.
-3
Let c be -1 + (-2 - -3) + 6. Let d = 5 - 6. Let l = c + d. Solve 5*y + 2*u - 20 = 6*u, -l*y + 20 = -3*u for y.
4
Let d(t) = -5*t**2 + 3 + 5*t**2 + 2*t**2 + 1 + 18*t. Let c be d(-9). Solve -2*y + 30 = c*a, -a = 4*a - 3*y - 10 for a.
5
Let y(c) = -c**3 - 8*c**2 + 8*c - 6. Let r be y(-9). Solve 3*w + 5*t - 13 = -0*t, -r*w = -3*t + 27 for w.
-4
Suppose -9*d + 15 = -3. Let u = -9 + 19. Solve 0 = -3*x - z - u, -2 = -2*z + d for x.
-4
Let x(k) = k**2 + 8*k - 5. Let q be 43/(-5) - (-4)/(-10). Let o be x(q). Let v be (-272)/(-72) - (-4)/18. Solve 2*c = -4*l + 12 - v, -c = -3*l - o for c.
4
Let g = 4 - 0. Suppose -2 = -3*f + g. Solve -k - 1 = r + 3*r, -f*k - 10 = 0 for r.
1
Let g be (0 - 0)/(5 + -7). Let v(w) = -2*w**2 + 11*w + 8. Let p be v(6). Solve 5*r = -d + 22, g = -0*r - 2*r + p*d + 16 for r.
5
Suppose -5*n = -5*z, 2 = n - 0*n. Suppose -66 = -2*y + z*c, -31 + 0 = -y + 3*c. Let v = -24 + y. Solve 2*r - 4 = 7*k - 2*k, -v = -5*r - 5*k for r.
2
Suppose -2*a - a + 18 = 0. Let x be -10*(a/(-4) + 1). Suppose -2*u + 3 = -x. Solve u*w + 3*o = 27, -3*w = 4*o - 5 - 24 for w.
3
Let q be 1 + 7 - 3 - 2. Suppose -f + 5 = -q. Solve 3*r - 7 = f, -3*s - 23 = -4*r for s.
-1
Let w be 1/(2/10*1). Suppose 13 = 2*h + w. Suppose -h*n = -7*n + 3. Solve -4*g = -4*l + n - 9, -2*l - 12 = 2*g for g.
-2
Let r be 1 - (-1 - (2 - -1)). Let g(p) = -p + 1. Let i be g(-6). Solve 6*d = -3*m + 2*d - i, 5*d = r*m for m.
-1
Suppose 71 = 8*o + 55. Suppose -1 = -4*h + 11. Solve -o = g - 3*w, -3*w + w = -h*g + 8 for g.
4
Let q be ((-14)/8 - -1)*-4. Suppose -q*n + 2*n + 12 = 0. Suppose -4*h + 102 = -0*w - 3*w, -5*h - 3*w = -141. Solve 3*v - c - 2*c = -h, 0 = 3*c - n for v.
-5
Let s = -34 - -37. Solve 3*z - 5*a = -4, -s*z + 6 = -a + 2 for z.
2
Let a be 6/(-5)*(4 + -19). Suppose 3*j - a - 27 = 0. Solve n = -f - 0*f + 5, j = 4*f + 3*n for f.
0
Let t(f) = -f**3 + 6*f**2 + 9*f - 5. Let r be t(7). Solve u = -3*o + r, -u - 5*o + 16 = 1 for u.
0
Let y = -7 - -9. Suppose 5*v - 15 = -5*u, 10 = y*v - u - u. Suppose -79 = -5*f - 2*s, -s - 21 = -f - v*s. Solve f = 3*j, -7 - 19 = -3*h - 4*j for h.
2
Let k = -5 - -13. Suppose 8 = -2*s + 22. Suppose -2*c = -c - s. Solve 4*b + 3 - c = -4*z, k = -4*b for z.
3
Suppose 0 = -3*h + 6 + 3. Let a be ((-3)/h)/((-2)/74). Let q = a + -7. Solve 3*l - l + 4*j = -q, -5*l - 45 = 4*j for l.
-5
Let i(w) = -w**2 - 7*w - 6. Let y(c) = 2*c + 7. Le