s = -s + q. Let a = s + 11. Solve -4*o - 2*d = a, 0 = -d + 5*d - 8 for o.
-3
Let q(u) = u**3 - u**2 - u. Let t be q(0). Suppose 10 = 2*z - 0. Suppose -z*d = -t*d - 15. Solve 0 = -4*s - 4*a - 0*a, d*s - 5*a = 40 for s.
5
Let n = -5 + 11. Solve -n*d - 4*k = -d + 9, k = -4*d - 16 for d.
-5
Suppose 3*l - 3*o - 18 = 6, o = 3*l - 24. Solve -3*p - 2*x = 2 - l, 3*x + 13 = p for p.
4
Suppose 4*z = i + i + 22, -4*i = -z + 9. Suppose 0*c - 10 = -z*c. Solve -2*u - 14 = -2*b, 3*u - 19 = -7*b + c*b for b.
5
Suppose 5*b = -20, -9 = -0*q - q + b. Suppose 4*s - q*s + 6 = 0. Let x = -3 + s. Solve -17 = -4*j - 5*d - x, -2*j + 5*d - 8 = 0 for j.
1
Let h(u) = -3*u - 14. Let l be h(-6). Solve -4*s - 5 = 2*a - 13, a = l*s - 20 for a.
-4
Let k(g) be the third derivative of -g**6/40 - g**4/24 + 3*g**2. Let y be k(-1). Solve -t + 4*p - 16 = 0, -y*p + 12 = 2*t - 16 for t.
4
Let n(g) be the first derivative of 1/4*g**4 - 1/2*g**2 + 0*g**3 - 2 + 4*g. Let i be n(0). Solve 3*h + 2*y + 1 = 3, 16 = i*h - 4*y for h.
2
Let m(x) be the third derivative of x**4/6 - x**3/3 + x**2. Let f be m(1). Solve 3*w - 21 = 3*b, f = 3*w + 3*b - 7 for w.
5
Let x be ((-42)/(-9))/(5/15). Suppose -x*o = -16*o + 30. Let k(d) = 9*d - 3. Let h be k(2). Solve 3*m = z - h, -4*m = -m + o for z.
0
Let v(a) = -a**3 - 2*a**2 + 4. Let x be v(-2). Solve -b = -w - x, -4*b + 4 = -3*b for w.
0
Let g = 142 + -140. Let z be 11/2 - 1/2. Suppose z*i = -25, -3*y - 2*y + 2*i = -25. Solve -5*l - 13 = -g*q + 3*q, -y*q + 1 = -5*l for q.
-3
Let f(y) = -4*y - 5. Let i(z) = 3*z**3 + 2*z**2 - 1. Let g be i(-1). Let l be f(g). Solve -u - 4*x = -2, 2 = -2*u + l*u - 3*x for u.
2
Let u be (-6)/(-7) + 9/63. Suppose -k + 5 = -r + 2*r, r - 2*k + 1 = 0. Let o = u + r. Solve 0 = -2*b + o*t + 18, 4*b - t - t - 12 = 0 for b.
1
Suppose 4*h + 12 = 44. Suppose 0 = 2*s - h. Solve -4*t - t = -3*m + 22, -s*m + 21 = -5*t for m.
-1
Let l(n) = 5*n**2 + 6*n - 1. Let x(m) = -6*m**2 - 7*m + 1. Let g(b) = -7*l(b) - 6*x(b). Let s be g(1). Solve 0 = 8*c - 3*c + 2*o, -s*c + o = -9 for c.
2
Let r(u) be the second derivative of -u**4/12 + 7*u**3/6 + 5*u**2/2 - 6*u. Let j be r(7). Solve -30 = -3*l + j*a, 2*l - 2*a - 13 = -a for l.
5
Suppose 3*k = -3 + 6. Suppose m = -5*r + 7, -5*r - 4*m + k = -m. Solve r*v + 2 = 5*z + 23, -4*z + v - 18 = 0 for z.
-5
Suppose -3*a + 71 = 14. Suppose -3*i = c - 7 + a, -2*i = 10. Solve 3*z = 0, c*j - 13 - 2 = -2*z for j.
5
Let n be 10/(-35) + (-58)/(-7). Let x be (-9)/15 + n/(-20). Let l = x + 5. Solve -8 = l*s, -5*s = 4*u - u + 19 for u.
-3
Let t(g) = 3*g + 1. Let n be t(1). Let q be 9*(2/6)/1. Let i = q - 3. Solve -7 = -5*x + n*p + 4, x + p - 4 = i for x.
3
Let c be ((-70)/(-4))/(-5)*-4. Let b = c + -2. Suppose 0 = -5*f + b + 8. Solve a = 2*y - 4 - 5, 2*y - 24 = f*a for a.
-5
Suppose 4*q - 105 = -13. Solve -2*z - 5*c + q = 0, 17 = -2*z - 0*c + 3*c for z.
-1
Suppose 5*b - 4*d - 25 = 0, -3*b - 3 + 1 = d. Solve 2 = 2*f + 5*x, x - b = -f - 3*x for f.
1
Let x(t) = t**2 - t. Let f be x(5). Suppose 2*q = -2*q + f. Solve 0 = z + q*m - 21, 3 = -z - z - m for z.
-4
Suppose -3*q = -4 + 1. Solve 5*a = 4*o + 7 + q, -4*a - 2*o + 22 = 0 for a.
4
Suppose 2*u - 8 = -3*t + 3, u + 3*t = 7. Solve -u*h - v + 3*v = 0, -4*v = 5*h - 13 for h.
1
Let v(c) = -c**3 + 7*c**2 - 6*c + 4. Suppose -3*u + 3 = 0, 5*m - 11 - 5 = 4*u. Let g be v(m). Solve -3*x = -15, 4*o + x = 5*x - g for o.
-2
Let j = 16 - 12. Suppose -3*v + j = -v. Solve 15 = -3*t, -v*w + 13 = -4*t - 11 for w.
2
Let r(l) = -20*l + 1. Suppose o = -2*o - 3. Let x be r(o). Solve -j + 17 = -3*f + 6*f, -4*f + x = j for f.
4
Suppose -3*o + 7 = -2*i, -3*o - 28 = -7*o - 2*i. Suppose -o*w + 2 = -18. Solve 5*l = p - 24, 2*l = w*p + l - 1 for p.
-1
Let m be -1*(-14)/2*1. Let k = 16 - 22. Let l be (k/1)/(9/(-6)). Solve 0 = r - l*s + 16, -2*s + 1 + m = 4*r for r.
0
Suppose -3*l + 4*t - 15 = -1, -3*l + 16 = 2*t. Suppose 3*w - b - 5 = 0, 4*w - l*w = b + 2. Solve -w*o = -2*a + 7*a + 18, 0 = 5*o - a + 2 for o.
-1
Let c = 1 + -1. Suppose -2*a - 2*h = -30, a + 0*a - 21 = h. Suppose 4*w - w - a = c. Solve 3*p = -b + 3, 5*p - b - 7 = w for p.
2
Let w = 60 + -40. Solve -4*d = y + 2*y + w, 0 = 3*y - 2*d + 8 for y.
-4
Let g(i) = i**2 + 17*i + 20. Let l be g(-16). Suppose 4 = l*s - 12. Solve 0 = b - 3*k - 2*k - 8, 3*b = -s*k + 5 for b.
3
Let u be 0*(35/10 + -4). Solve u = -5*y + 2*y - 3*b - 12, 4*y = b - 21 for y.
-5
Let g(z) = z**3 + 11*z**2 + 2*z + 25. Let i be g(-11). Solve -2*y - 3*y = 5*l + 25, -4*y + i*l = -8 for y.
-1
Let u(j) = j**2 - 4*j + 4. Let d be u(6). Let o be d/9 - 2/(-9). Let w be ((-3)/(-2))/(o/4). Solve -2*z - 5 = -2*s + w, -5*s - 5*z = 30 for s.
-1
Let h = 17 + -14. Solve o = -b, -h*b + 3*o - 5 = 25 for b.
-5
Let t = 0 - -11. Solve -5*i - 7 = -4*y, 6*i - 2*i = 5*y - t for i.
1
Suppose -4 = -2*w - 0. Solve -a - w*x = -x + 4, -5*a - 4*x - 20 = 0 for a.
-4
Let y be (13 - 1) + 48/(-16). Solve -17 = -2*v + 4*b - b, 0 = v + 2*b + y for v.
1
Let m = 39 - 39. Solve -5*h - 12 - 5 = -2*g, m = 5*g + 5*h + 10 for g.
1
Let k = -3 + 6. Solve 4*t = -4*p + 4, -t + k*t - 16 = 5*p for t.
3
Let h = 37 - 32. Solve 3*n + l = 5*l - 10, -h = 2*n - l for n.
-2
Suppose 0 = -4*l + 14 + 6. Suppose n = -0*n + 5*j + 9, -l*n - 5*j = -15. Solve 0 = -2*y + 4*d - n, 4*y = 8*d - 3*d + 1 for y.
4
Suppose 3*w = 5*f + 4*w - 45, 3*f - 55 = 5*w. Let q be (378/35)/(3/f). Suppose d - q = -d. Solve 0 = -3*n - 6, 3*c + 4*n + d = n for c.
-4
Let k be (-3)/(-3*1) + 1. Suppose m = -k*m + 9. Let b(t) = t**3 - 4*t**2 + 3*t + 3. Let g be b(3). Solve m*n = -g*c + 24, n + 9 = -n + 3*c for n.
3
Suppose -6*q = -4*q - 2. Let s be q - (3 + -1) - 1. Let a = s + 7. Solve x + n = 2, -10 + 40 = -5*x + a*n for x.
-2
Suppose 3*k - 5 = 10. Solve -l = -k*y + 27, 0*y + 2*l = -2*y + 6 for y.
5
Let g(h) = h - 3. Let u be g(6). Suppose -3*o + 2*m + m = -12, -u*m - 6 = 0. Solve 0 = -5*l + 10, 0 = -5*p - 2*l + o - 3 for p.
-1
Suppose -15 + 49 = 2*t. Let p = t - 2. Let n(f) = -f**3 - 7*f**2 + 9*f + 8. Let u be n(-8). Solve u = 5*g - p, 3*a = -2*g + g + 18 for a.
5
Let c = 6 + -16. Let f be ((-28)/c)/(5/25). Solve 5*k + 3*d - 14 - 3 = 0, -2*d - f = -3*k for k.
4
Let t(g) = -g**2 - 5*g - 1. Let d be t(-4). Let o be (9/4)/(3/40). Suppose -s + o = 5*n, 3*n = -5*s + 3*s + 25. Solve 2*b + 2*z = 4, 2 - 12 = -n*b + d*z for b.
2
Let h = -2 + 6. Suppose -4*r + h = -3*x - 0*x, x = 3*r - 8. Solve 2*a - 20 = -x*l, 0 = 2*a + 2*l - 0 - 14 for a.
4
Suppose 4*w = -u + 25, -2*u = 5*w - 34 + 2. Solve 2*o - 13 = 5*s, w*s + 10 = 2*o + 2*s for o.
-1
Let f(a) = -a**2 - 5*a + 2. Let o be f(-5). Suppose -4*g - 20 + 276 = 0. Suppose 5*i - g = i. Solve -9*l = -4*l + 4*v - i, 2*v + o = 0 for l.
4
Let x = -6 - -8. Suppose 3*a = 4*i + 180, -a + 2*a = -x*i + 50. Let w = -34 + a. Solve -4*y - 2*n + w = 0, 0 = y + 4*n - 4 - 19 for y.
3
Let l(f) = -f**2 + 6*f - 6. Let t(d) = -3*d - 2. Let y be t(-2). Let u be l(y). Solve -3*s - u*c = -14, 2*s - c = 3*c - 12 for s.
2
Suppose -p + 12 = 2*k, -4*p + 9*p - 25 = -3*k. Suppose a = u - 1, p*u = 3*a - 1 + 2. Solve 2*y - 7 + 3 = 0, 3*x - y = a for x.
1
Let n(y) = 2*y - 6. Let s be n(5). Suppose -s*t - 5*x = -t - 24, -t + 12 = 3*x. Suppose -2 = t*a - 4*a. Solve 0 = -3*o + r - 12, -r + 3*r = -a*o for o.
-3
Suppose -10 - 5 = 3*d. Let q be 10/2 + d + 4. Solve -q*p = 4*c - 20, -5 = -2*c - 3*p + 8 for c.
2
Suppose c + 0*c - 3*n = 5, -n = -3. Suppose 3*q - c = -4*i, -5*i = 2*q - 3*i - 8. Solve 2*t + 6 = -5*u, 2*t = 7*u - q*u + 14 for u.
-2
Let x = 9 + -4. Let a(n) = -n**3 + 4*n**2 + 7*n - 5. Let y be a(x). Solve -35 = -2*d + 6*d + 3*j, -y*d - j = 30 for d.
-5
Suppose 0 = 2*p - p - 3. Suppose 0 = 4*z - 4, p*n = -4*z - z + 11. Solve -t + 2*t + 2*j = 6, -6 = 4*t - n*j for t.
0
Suppose 0 = 4*b - 8 - 8. Suppose 0 = -3*o - b + 16. Solve 0 = 5*i + 3*f - 7, o*i + f - 6 - 1 = 0 for i.
2
Suppose 4*k - 12 = s, 0 = -3*k - 3*s + s - 2. Let r be 0 - (k + -4 + 0). Suppose 2*f = -r*f. Solve b - 10 = 3*n - f*b, 4*b + 15 = n for n.
-5
Let z(m) = m - 1. Let h(g) = -g**2 - 5*g. Let q(o) = -h(o) - 3*z(o). Let l be q(-3). Suppose l*y = 2*y + 8. Solve -y*p + 2*f + f + 1 = 0, -10 = p + 2*f for p.
-4
Let c(a) = -6*a + 30. Let y be c(5). Solve 2*v - 5*s + 7 = -y, -5*s + 4 = v for v.
-1
Let m = -3 - -6. Suppose -3*f - m*u - 5 = -2*f, -5*f - 3*u = 1. Solve -5*x + 4*c - 21 = 0, -2*c + 