-6 for s.
-1
Suppose 5*f - 68 = -4*g, -3*f + 2*f + g + 10 = 0. Let w = f - 5. Let q be 1 + -3 + w + -3. Solve 5*a + q*y + 35 = 0, 5*a - 3*a - y + 5 = 0 for a.
-5
Suppose 2*t = -2 + 10. Let x be 196/10 + t/10. Solve -4*g - x = 0, 2*b - 6*b = 2*g + 14 for b.
-1
Suppose -3*y = 5 - 17. Suppose 14 = 2*s + 2*w, -2*s = 3*s + 3*w - 25. Suppose -s*k = -7*k + 15. Solve 4*z + y = h - 11, -k*z + 4*h = 8 for z.
-4
Let l be (-1)/((-5)/2 - -2). Let j(f) = 3*f - 3. Let g be j(l). Let o = -92 + 94. Solve 0 = s + g*x + 10, -o*x = -3*x - 2 for s.
-4
Suppose 3 = -2*o + 7. Suppose -b + o = -0*b. Solve -3*q = -2*i - 6, i = 4*i + b*q - 17 for i.
3
Let q(j) be the second derivative of j**3/3 - 7*j**2/2 + 3*j. Let n be q(4). Let x = 1 + 6. Solve 4*r = -5*k + 14, -2*r - n = 2*k - x for r.
1
Let i(m) = m + 12. Let y(l) = l - 1. Let a be y(-8). Let g be i(a). Suppose r - 4 = 5*r + 4*k, -4*r = 3*k + g. Solve z - 5 = r, -2*z + z = q - 3 for q.
-2
Suppose -2*p = -17 + 9. Solve -20 = -4*i, -p*i + 23 - 5 = -a for a.
2
Suppose -3*u - 38 = -14. Let s = 11 + u. Suppose z = s*z - 8. Solve -z*t + 5*w - 35 = 0, -t + 13 = -3*t + w for t.
-5
Let o be 6 - (4 - (2 - 0)). Suppose -o*l + 13 = 1. Suppose 5*f - 2*f - 57 = 0. Solve 0 = -l*a + 3*t + 7 - f, 5*a = 2*t - 5 for a.
1
Let x be (1 - 2)*(-32)/8. Suppose x*j = 12, 5 = 2*l - j - 2. Solve -3*g = -l*i - 13, 3*i - 1 = -5*g - 2 for g.
1
Suppose -2*y + 60 = 3*y. Let v(q) = q**3 - 2*q + 0 - 2*q**3 + 4*q**2 + 3. Let h be v(3). Solve o + s = h*s - y, 5*o - 21 = -2*s for o.
3
Let d(m) = -m**2 - 3*m + 4. Let z(g) = -g + 2. Let s be z(6). Let l be d(s). Solve -2*r = 2*r - j + 17, -4*j + 20 = l for r.
-3
Let b(j) = -j**2 + 10*j - 7. Let i be b(8). Let c = i - 3. Suppose -4*o = 4*a - c - 18, 12 = -4*a + 5*o. Solve 5*r = -a*q - 19, 3*q = r + 2*q + 1 for r.
-3
Let h be ((-3)/3)/((-4)/20). Solve -2*k - h*u + 2*u + 6 = 0, 0 = -5*k - 4*u + 1 for k.
-3
Let z be 64/24 - 2/(-6). Solve 1 = -p, 1 - 4 = 2*l - z*p for l.
-3
Let f = -26 + 56. Solve 0*n - 3*n + 5*w = -40, -4*n + f = -2*w for n.
5
Let h(z) = -z - 2. Let k be h(-4). Solve 4*t + v = -k*v + 23, 19 = -3*t + 5*v for t.
2
Let n = 0 + 1. Let y be ((-2)/(-1))/(2/5). Suppose -2*z = n - y. Solve 4*o = -z*m, -3*m = -2*o + o for o.
0
Suppose 53 = 3*w + 17. Solve 2*f = 3*g + w, f - 20 = -0*f + 5*g for f.
0
Let y(p) = -3*p - 6. Suppose 0*c - 3*c = -5*g - 23, 4*c = -4*g - 44. Let o = g - -3. Let i be y(o). Solve -2*r + 4*h + i = 0, 2*r + 2*h - h + 14 = 0 for r.
-5
Let k = 201 - 198. Solve -2*a - 4*u = -22, -2*a = -4*a + k*u + 1 for a.
5
Let n(x) = 4 + 3*x + x**2 - 8 + 0*x**2. Let a be n(-7). Let m be 30/8 - (-2)/8. Solve 4*i + 0*v = -m*v - a, 2*v = 2*i for i.
-3
Let h be (-9)/6*(-4)/3. Suppose 0 = -h*n - 2*n + 20. Solve -4*p - 24 = -4*r, 0 = -5*r + 5 + n for p.
-4
Let t(y) be the second derivative of -y**5/20 + 3*y**4/4 - 4*y**3/3 + 9*y**2/2 + 3*y. Let s be t(8). Solve -4*c + 3*u = -1 - s, -12 = -c - 4*u for c.
4
Suppose k - 9 = -0. Solve -3*q - z + 21 = 2*z, -3*z = -k for q.
4
Let t(j) = j**2 - 8*j - 6. Let g be t(9). Solve -g*s - 25 = -4*m + 2*s, -5*s = 25 for m.
0
Suppose 2*y - 9 = -y. Suppose -y*b = -6*b. Solve 5*g + 4*w - w = -8, b = g + w for g.
-4
Suppose 0 = -4*j - 10*j. Solve j = 3*w + 2*k + 7, -2*w + 7 = w - 5*k for w.
-1
Let q = -105 + 110. Solve -r = -5*r - q*x + 24, -x = -4*r for r.
1
Let l(h) = -h**2 + 14*h - 11. Let w be l(13). Solve 2*n + 14 = w*b, 4*n = 3 - 19 for b.
3
Let f(c) = c**2 + 12*c + 25. Let r be f(-10). Solve -t + 4*t = 4*m - r, 2*t + 10 = -4*m for t.
-3
Suppose l + l = 4. Suppose -l*n = -v + 6, -4*v - 39 = 2*n - 113. Solve 0 = -2*x - 2*p + 10, x + v = 6*x - 4*p for x.
4
Let i(h) = -h**3 - 5*h**2 - 4. Let x be i(-5). Let t = x + 10. Solve t*u = 3*u + 3*l - 6, -4*l + 20 = 2*u for u.
2
Suppose 23 = 4*j + 3. Solve 3*m = 5*w + 22, 0*w + 25 = -4*w - j*m for w.
-5
Suppose 5*i - 11 = f, -3*i + 21 = 4*f - 4. Solve 2*u + 4*y + 8 = 7*u, -24 = -i*u - 4*y for u.
4
Let x = -9 + 11. Solve a + 5*r - x = 0, 0*a = 5*a + r + 14 for a.
-3
Let b be (-517)/(-77) - (-4)/14. Suppose 0 = -b*m + 4*m + 12, 36 = 5*f + 4*m. Solve 0 = -5*w + 5*d - 30, f*w + 22 = -w + 3*d for w.
-2
Let p(x) = -x**2 - 6*x + 3. Let n be p(-6). Suppose 0 = -3*y + 5*m - 9, 0 = 7*y - n*y + 2*m - 14. Solve -4*f = -4*q, y*f - 5*q - 2 = 1 for f.
-1
Let q be 1/(-6) - (-39)/18. Solve 2*z + 4*k = 8, 3 = q*z - k + 5 for z.
0
Let t(v) = v + 1. Let p be t(2). Suppose 3*g - 14 = -p*c - 2, -g = 0. Solve -3 = -z - 3*h, 0*h + c*h + 9 = 3*z for z.
3
Let p(v) = 2*v**2 + 12*v + 12. Let b(a) = 3*a**2 + 18*a + 18. Let r(g) = 5*b(g) - 8*p(g). Let n be r(-3). Solve -2*j - 10 = -u - 3*u, -n*u - 3*j = 6 for u.
1
Suppose 48 + 6 = 3*j. Solve -3*y = -5*m - j, -y = 5*m + 6 + 8 for y.
1
Let d be (-3)/((-22)/(-28) - 1). Let n = 30 - d. Solve -2*r - n = -5*w, w - 3 - 8 = 3*r for w.
2
Let j be (1 - 2)/(7/(-35)). Let u be (0 - -1) + (-4)/(-2). Solve 3*n + 4*d - 2 = 2, -u*n - 5 = -j*d for n.
0
Suppose -3*r - 5*t = r - 4, 2*t + 32 = 4*r. Suppose 2*d - 8 = -2*d. Suppose s - r = d. Solve -2*k = s*g - 3*g - 14, -g = 2*k - 6 for k.
2
Suppose 2*l - 2 = 4. Solve -4*x = -5*i - 22, -x - 2 = l*i + 1 for i.
-2
Let y = 0 + 6. Let a = y + -4. Solve -m + 14 = -5*k, 4 + a = 2*m + k for m.
4
Let f = 31 + -21. Let y be 8/f*(-30)/(-12). Solve 3*h = -0*h - 2*i - 11, -h + i - y = 0 for h.
-3
Let n = -89 - -91. Solve -3*p - 3*r = -0*r + 18, -n*p = 5*r + 21 for p.
-3
Let o = 3 - 0. Solve -3*f = 3*l + 15, -o*l - f - 15 = -5*f for l.
-5
Suppose 6*f - 5*f = 10. Solve y = i - 5, 5*i - 11 - f = 3*y for y.
-2
Suppose 0*j + 1 = -j. Let g be 2*j*20/(-8). Solve u - 1 = -4*b, -5*u + 5*b + 25 = -g for u.
5
Let r(s) be the third derivative of -s**4/24 + s**3/6 - s**2. Let v be r(-5). Let y be -2*((-285)/v)/5. Solve -f + 2*u + 3*u = -y, 2*f - 5*u = 23 for f.
4
Suppose 1 = -3*n + 7. Let a = 17 + -11. Solve a*x - n*x = -u + 7, -10 = -5*x - u for x.
3
Suppose 3*u = 7 + 5. Suppose o = -u*g + 11 - 4, -5*o - 10 = 5*g. Solve t - 6 = -t, -g*h = -4*t + 6 for h.
2
Let d(t) = -3*t - 1. Let h be d(-2). Suppose m - 6 = -h*o, -2 = 3*o + 3*m + 4. Solve -4*c + 7 = -w, o*c + 2*c + 3*w = -5 for c.
1
Suppose 0 = -l + 2*g + 7, 0 = -5*g - 2 - 3. Let j = -93 - -95. Solve m = l*x + 15, 3*m - 2*m = j*x + 9 for m.
5
Let k = -6 - -20. Suppose 6 + k = 4*g. Let l be (20/(-6))/(8/(-12)). Solve 5*t + l = -3*i + g*i, -5*i = -2*t - 23 for i.
5
Let f be 572/18 + (-4)/(-18). Let c be f - (-1 - (0 - 3)). Solve -14 = 3*a + 5*d, 5*a - 4*d - c = d for a.
2
Suppose 0*d = 3*d - 18. Suppose 0*i = -i - 24. Let p = i - -37. Solve 0 = 3*l - y + d*y + p, 0 = -2*l + y for l.
-1
Let x be (-3*(-24)/45)/((-10)/(-25)). Solve -3*s = -3 - 6, x*p - 9 = -3*s for p.
0
Suppose -s - 6 = s. Let h be (-12)/(s - -1) + -3. Solve 1 = -5*m + 3*f - 2, 3*m = 3*f + h for m.
-3
Suppose 6 = 2*u - 0*u. Suppose -5*y - 2*s - 28 = -126, 58 = u*y + s. Solve 5*g = g - 3*c - 19, -3*g - 3*c = y for g.
-1
Let f(z) = 8*z - 4*z**2 - 2*z**2 + 5*z**2. Let c be f(8). Suppose c = w - 6*w. Solve -3*p = 2*b + 14, -16 = 4*b + 3*p - w*p for b.
-1
Let b be 9 + -12 + (-6)/(-2). Solve -5*s + 45 = 3*g + 2*g, b = -5*s + g + 15 for s.
4
Let c = 2 + 10. Suppose 2*i - c = -i. Solve -16 = 2*u - i*g, g - 2 - 4 = u for u.
-4
Suppose 0 = 4*s - v + 5*v, -3 = 2*s + 5*v. Solve -2*d = -2*r + 5 + s, 4*r + 5*d + 33 = 0 for r.
-2
Suppose m = z - 9, -4*z = -2*m - 34 - 0. Let s = -3 + z. Solve 0 = 3*u - 4 - s, -a - 7 = -3*u for a.
2
Let j(p) = 3*p + 21. Let u be j(-9). Let i be (-1)/((-4)/u)*-2. Solve 4 = -i*f - t, -4*t - t - 20 = 3*f for f.
0
Let d = 51 + -4. Suppose 5*r - 51 = 2*r - 3*x, -3*r - x + d = 0. Solve f = 5*w - r, f + 4*w = -0*f + 3 for f.
-5
Suppose 5*v + 5*y = 5, v = -4*v + y + 35. Solve -3*f - 4*d = -f + 8, 3*f = 3*d + v for f.
0
Let q = -44 + 52. Solve 4*m = -3*v + 10, -2*v - 3 = m - q for m.
1
Let j = 0 - 8. Let c be -10*1*4/j. Solve c*m - 3*s + 19 = 0, -2*m - 4*s = -0*s + 18 for m.
-5
Suppose -3*x - 12 + 36 = 0. Let j = x - 6. Let c(r) = -r + 2. Let t be c(j). Solve 0 = -2*u + 4*l + 26, t = -2*u - l - 0 + 1 for u.
3
Suppose 0 = 2*t - 0 + 6. Let y = -23 - -25. Let l be y - 0/t - 2. Solve l*r + 3*r + p - 5 = 0, 4*r - 5*p + 25 = 0 for r.
0
Let h be ((-3)/2)/(3/(-24)*6). Solve h*m - 4*q + 7 = 3*m, 4*m - q = -23 for m.
-5
Let m(s) be the second derivative of -s**4/12 + 7*s**3/6 + 11*s**2