2*s + 5*l = 6, -s - 2*l = -4*s - h. Let n = -3 - s. Solve -5*y + 6 = -n for y.
2
Let t(f) be the third derivative of f**4/24 + 5*f**3/3 - 2*f**2. Let u be t(-7). Solve w = -0*w - u for w.
-3
Suppose -5*r = 0, m + r + 0 = 3. Suppose m = 3*j - 6. Solve j = t + 1 for t.
2
Suppose -2*l - 180 = -11*l. Solve -6*v + v - l = 0 for v.
-4
Let q be (-3)/(-4) - 12/16. Suppose 0 = -q*i + i - 12. Suppose 4*g - 7*g + i = 0. Solve -w = g*w - 5 for w.
1
Let u = -8 - -11. Suppose 2*p = -u*w, -p = -w - 0*p. Solve 5*o = -w*o - 5 for o.
-1
Let n(r) = 4*r**2 - 2*r - 1. Let z be n(-1). Suppose -15 = -0*j - z*j. Solve -m - j*m = 0 for m.
0
Let p(o) = 2*o - 2*o - 2*o**2 + o + o**2. Let l be p(1). Suppose 0 = -5*r + 4*y + 4, 5 = r + 2*r - 5*y. Solve n + r - 5 = l for n.
5
Suppose s = 3*s + 6. Let z = 2 - s. Suppose 2*p - c - 12 = 0, 5*c = -z*p + 19 - 4. Solve 0 = -5*j - 5 - p for j.
-2
Let u(i) = 7*i**3 + 12*i**2 + 1. Let n(g) = -15*g**3 - 25*g**2 - g - 1. Let x(a) = 6*n(a) + 13*u(a). Let m be x(-7). Solve c - 6 + 2 = m for c.
4
Let y = 2 - 6. Let w be (-2 - -2)/((-4)/y). Solve -z + 0*z - 5 = w for z.
-5
Let x be (-9 + -2)/(3*(-4)/12). Solve -4*n + 3 - x = 0 for n.
-2
Let r(d) = 2 - d**2 + 0*d + 2 - d. Let a be r(0). Suppose 2 = -y + a. Solve y*q - 2 = 4 for q.
3
Let l(a) = -a**3 + 3*a**2 - 1. Let s be l(3). Let i = 4 + s. Let u be i - 0 - (-2 + 2). Solve 0 = u*f + 2*f for f.
0
Suppose -11*j + 37 - 4 = 0. Solve w + j = -2 for w.
-5
Let l be (-2)/(-13) + (-6)/39. Suppose 0 = -0*t - t - 4*p + 9, l = -t + 2*p - 3. Solve o + 0 = -t for o.
-1
Suppose 3*m = -2*m. Suppose m = i - 6*i. Solve -p + i = -4 for p.
4
Let l be 10 + (-5)/((-5)/2). Let n = 17 - l. Solve -2*a = -n*a + 12 for a.
4
Let h = 15 + -12. Solve h*p = p + 4 for p.
2
Suppose -o + 2*o - 21 = 0. Solve 4*q + 1 = o for q.
5
Let c be (11 + -6)/(1/3). Let q = -12 + c. Solve q*w + 2*w + 25 = 0 for w.
-5
Let c(i) = 4*i**2. Let b = 21 - -2. Suppose 5*x = -2*s - 17, b = -5*x + 8. Let f be c(s). Solve 4*v = -f - 0 for v.
-1
Suppose 7*a - 15 = 6. Solve x = a*x + 8 for x.
-4
Let n be (-18)/(-14) + 2/(-7). Let w = n + 1. Suppose 3*b - 2*x - 13 = 0, 2*b - 6 = b - x. Solve -w = 3*q - b for q.
1
Suppose 0 = -3*y + 5*y - 156. Suppose y = -2*v + 4*v. Suppose -69 = -5*j + s + v, -5*j - 3*s + 116 = 0. Solve 0 = 4*c - 2 + j for c.
-5
Let v = 15 + -10. Solve -v*r = 10 + 5 for r.
-3
Let r = 18 + -8. Let p = 15 - r. Suppose 5*d + 4*l + 14 = 3*d, -l = -4*d + 17. Solve 0 = p*k + 22 + d for k.
-5
Let a(h) be the third derivative of h**4/6 - 4*h**3/3 + h**2. Let i be a(4). Solve i*j = 3*j for j.
0
Suppose -2*x - 3*x = -55. Suppose -h - 1 + 4 = 0. Suppose -4*j = h*p - 6*p, -3*j + 21 = 3*p. Solve -5 = -p*g + x for g.
4
Let a(w) = w - 1. Let f be a(-5). Let t = -3 - f. Solve -5*h + 12 = -t for h.
3
Let s(v) = -v - 10. Let o be s(-10). Let m = -4 - -4. Solve -2*p + m*p = o for p.
0
Suppose 0 = g - 4*g. Let p be (g - -1 - 1) + 1. Solve -2 = -3*a + p for a.
1
Suppose -5*w = 1 - 71. Let h = w + -12. Solve 2*f - 4 = -h for f.
1
Let n = 29 - 19. Suppose 2*s - s = -2*w + n, -3*s - 5*w = -30. Suppose -q = 2*l + s, 0 = -0*q - 3*q + 3*l + 15. Solve q = 4*p - 8 for p.
2
Let k be 2/5 + (-28)/(-5). Let f(l) = l**2 + 2*l - 7. Let g be f(-5). Let y = g - k. Solve -4*v = -3*v - y for v.
2
Let u be (-2)/5 + 134/10. Let d = u - 9. Solve 8 = d*l - 12 for l.
5
Let k be (2 + 2)*1/2. Let s(o) = o**3 + 3*o**2 - 4*o + 3. Let a be s(-4). Let u = a + 5. Solve -k + u = 2*i for i.
3
Suppose 0 = 3*a + 5*c - 3*c - 21, 4*c = 2*a + 2. Solve 10 = 5*n - a for n.
3
Suppose -32*o + 19*o = -52. Solve 0 = -0*f - o*f + 16 for f.
4
Let g(i) = i**2 - 6*i + 6. Let d be g(7). Suppose d + 38 = o + 3*z, z = 3*o - 113. Solve -5*u - 14 = -o for u.
5
Suppose -g = 3*g - 84. Let d be (-7)/g + 20/6. Solve -2 = -d*h + h for h.
1
Let c(q) = q - 7. Let l be c(5). Let k be (-6)/3 - (l - 3). Solve k = 2*j - 3*j for j.
-3
Let z be (2 - -1) + -9 + 6. Suppose 2*x - 3*o - 8 = -5*o, z = -2*o. Solve -5 = 3*r + x for r.
-3
Let s(w) = -16*w**2 + 5*w + 5. Let a(z) = 3*z**2 - z - 1. Let n(o) = 11*a(o) + 2*s(o). Let x be n(-3). Solve 5*p + 4 + x = 0 for p.
-3
Suppose 0 = -2*z - 2*z + 60. Suppose i - g - 14 = -0*i, -i + 2*g = -z. Suppose h - 15 = -2*h. Solve h*f - 7 - i = 0 for f.
4
Suppose 5*d = 2*k - 31, 3*d + 7 = 3*k - 17. Suppose g = -k*g + 8. Solve 0 = 5*v + g - 7 for v.
1
Let d = 22 - 20. Solve d*n - 7*n = 0 for n.
0
Suppose 5*s + 5 - 25 = 0. Let u be (-1 - -2) + -1 + 4. Let v = u - s. Solve v - 16 = 4*g for g.
-4
Let h = 7 - 5. Suppose 24 = n - 4*n + 5*b, -h*n + 2*b = 12. Let y be n/12*2*-6. Solve -p + y*p - 10 = 0 for p.
5
Let l be (-1 - 7)*1/(-2). Let d(m) = -l + 0*m + 12 - m. Let b be d(6). Solve -b*q = -0*q + 8 for q.
-4
Let l(z) = -z**3 + 2*z**2 + 3*z + 4. Suppose -6 - 6 = -4*a. Let r be l(a). Let w be ((1 - 2) + r)/3. Solve -y - 3 = -w for y.
-2
Let u = 44 - 40. Solve -u = 4*j - 0 for j.
-1
Suppose -3*c - 27 = -6*c. Let o = -1 - -1. Let q be (o - -4)*2/8. Solve 0 = 2*u - q - c for u.
5
Let g(j) = -j + 15. Let s be 1/1 - (2 - 1). Let b be g(s). Let n(h) = h**2 - 11*h + 4. Let x be n(11). Solve -x*o - 5 - b = 0 for o.
-5
Suppose 0 = -4*s + 4*m + 34 - 14, 2*s + 4*m - 4 = 0. Let n be s/2*(-3)/(-6). Solve 2*o - n = -3 for o.
-1
Suppose 5 + 5 = 3*s + f, -5*s - 5*f = -20. Let n be -1 + (s - 5)*-1. Solve 5*i = n + 9 for i.
2
Suppose 11 = -5*j + 2*x, -5*x - 4 - 6 = 0. Let n be 16 - j/((-6)/4). Let t = n - 7. Solve -t + 19 = 3*p for p.
4
Let w(y) = -2*y + 6. Let v be w(3). Suppose v = -c + 3*c. Solve c = -3*x - 2*x + 25 for x.
5
Suppose 18 = 6*o - 3*o. Let a(y) = -4*y - 2. Let r be a(-2). Let s = r - o. Solve s = -3*j - j - 12 for j.
-3
Let u = -3 - -5. Let m(w) = -4*w**u + 3*w**2 - 3*w - 2 - 5*w. Let d be m(-7). Solve d*b = b for b.
0
Let q be 1*(5*(-4)/(-10) - -3). Solve 0 = -q*k - 10 - 5 for k.
-3
Let j be 104/28 - 2/(-7). Suppose -2 = 2*m + 2*x - 8, 10 = j*m + 2*x. Solve -3*d + 2*d = -m for d.
2
Suppose 0 = -7*z + 16 + 5. Suppose 2*p = 2*t - 18, -3*t = -p + 3*p - 17. Solve z*a - t*a + 16 = 0 for a.
4
Suppose -1 + 6 = 5*s. Let h be ((-5)/(-3))/(s/3). Solve -l = 4*l - h for l.
1
Let s be (140/(-30))/(2/(-3)). Solve 2*t + 3 = -s for t.
-5
Let q = -4 + 7. Suppose 0 = l - q*l. Solve l = 3*r - 0*r for r.
0
Let a(u) be the third derivative of -u**6/120 + u**5/30 + u**4/8 + u**3/6 + 2*u**2. Let j be a(3). Let k = 11 + j. Solve 6*s = 2*s + k for s.
3
Let n(h) = -h**3 + 9*h**2 - 4*h - 7. Let v(r) = 2*r - 4. Let t be v(6). Let p be n(t). Let b be 1/(-2) + 2/4. Solve b = -s - 4*s + p for s.
5
Let d(l) = -l**3 - 9*l**2 - 9*l - 8. Let c be d(-8). Solve c*y = 3*y + 9 for y.
-3
Suppose -2 = y, 0 = h - 4*h - 5*y - 10. Suppose q + 2 = 2*d, h*d - 4*d = 2*q - 12. Solve q*s + 2*s = -4 for s.
-1
Suppose 21*z = 8*z + 52. Solve z*n - 11 = 1 for n.
3
Let o(k) be the third derivative of k**6/120 - k**5/10 + k**4/4 - 2*k**2. Let i be o(6). Suppose 0 = -3*h - 3 + i. Solve 5*p = 36 - h for p.
5
Let z(u) = -3*u**2 - u + 1. Suppose 4*b + 16 + 1 = v, 0 = -3*v + 5*b + 23. Let a be z(v). Let c be 2 - (-6)/(-9)*a. Solve -i + c = i for i.
2
Let n(h) = h + 7. Let a be n(0). Solve -1 + a = 2*d for d.
3
Let u be 8/2 + 3/3. Solve u*y - 21 - 4 = 0 for y.
5
Suppose 2*f = c + 3*c + 36, c - 35 = -5*f. Suppose 4*q - 32 = -4*v, 3*q - 3*v - v + 4 = 0. Solve f = -q*h - 8 for h.
-4
Let w(c) = -c**2 - 8*c - 7. Let h be w(-5). Suppose 2*m = -n + 2, -5*n = 2*m - 2 - 0. Solve -o - o + h = n for o.
4
Let o = -2 + 5. Suppose 0 = o*a + a. Solve a = -2*v + v - 2 for v.
-2
Let o = 85 + -81. Solve o*f - 11 = 5 for f.
4
Let q be ((-3)/9)/(1/(-9)). Solve 4*j - q*j = 0 for j.
0
Let z = -12 - -3. Let b(o) be the second derivative of -o**3/6 - 3*o**2 - 2*o. Let n be b(z). Solve -5*t - n - 17 = 0 for t.
-4
Let t(k) = -k**3 - 2*k**2 + 2*k + 2. Let l be t(-2). Let y be (-48)/(-28) - l/7. Let j(u) = 2*u - 2. Let o be j(y). Solve -9 = r + o*r for r.
-3
Let p(s) be the third derivative of -1/3*s**3 + 0 + 0*s + 1/6*s**4 - 2*s**2 - 1/60*s**5. Let n be p(3). Solve -n = -3*x - 4 for x.
-1
Suppose -3*b = -3*n + 15, -3*n + 0*n + 2*b = -10. Let c be 2 - (-3 + n/(-1)). Solve 1 = -c*o - 9 for o.
-2
Suppose 24 = -4*y - 0*y. Let c(t) = -t. Let m be c(y). Solve o + 2*o - m = 0 for o.
2
Suppose -2*i + 0*i = -2. Solve 3*j = i + 2 for j.
1
Let u = 31 + -28. Solve 5*o - u*o = -8 for