o - 2*m - 5 = p for o.
1
Let h be (4/(-16))/((-6)/72). Solve 5*b + 5*y + 15 = 0, 2*y = -2*b + h*y - 9 for b.
-4
Let s(j) be the first derivative of -j**4/4 - 2*j**3 - j**2 - 2*j - 1. Let g be s(-6). Solve 4*h - g = 3*z + 3*h, 0 = 3*z + 4*h - 10 for z.
-2
Let q = 11 - 11. Solve 5*p = 4*k + 3, q = -0*p - p + k + 1 for p.
-1
Let a(h) = -h + 3. Let o be a(-3). Suppose -m = -4*m + 27. Let w = o + m. Solve -3*b - 2*b = -r + w, -5*b + 5*r = -5 for b.
-4
Let o = 19 - -5. Solve -4*w - 2*p = o, 2*w + p + 16 = -w for w.
-4
Suppose -4*c + 25 = 3*j, 0*j - c + 10 = 2*j. Solve 8 = q - j*q + 3*l, 20 = -5*q - 5*l for q.
-4
Let m be (-2)/(28/(-24) + (-2)/(-12)). Solve -4*t + 4*k = m*k - 12, -5*k = -2*t + 14 for t.
2
Let d(x) = x**3 + 2*x**2 - 4*x + 1. Let m(p) = -2*p**2 - 1. Let l be m(1). Let v be d(l). Let z = 2 + -2. Solve 4*y + z*i = i - 16, v*i = 0 for y.
-4
Let h(y) = 2*y**2 - 2*y + 1 + y**2 + 5*y**2 - 6*y**2. Let p be h(2). Let k be 426/21 + 2/(-7). Solve -2*m = -5*z + k, -4*z - p*m + 4 = -3*z for z.
4
Suppose 0*p = 4*p - 36. Solve -3*v + 2 = 5*s - 3*s, -s = -v + p for s.
-5
Suppose -3*o + 6*o + u = -8, -24 = 3*o - 3*u. Let x = 13 + o. Suppose x = 5*d - 11. Solve -5*s = d*l + 19, 7 = l + 2*s + 14 for l.
-1
Let d be 6 + (1*-4 - -2). Suppose 4*w + 20 = -2*g - g, 2*w = -2*g - 10. Suppose g = 5*a - d*a. Solve -3*c + 2*t = -11, a = c - 4*c - 3*t - 9 for c.
1
Suppose -38 + 8 = -5*a. Suppose 0 = 5*r - 3*r - a. Solve 2 = r*t + 2*m + 17, 4*m = 0 for t.
-5
Let d = -47 + 54. Solve -b = 5*f + 12, -21 = 3*f - d*b + 3*b for f.
-3
Let v(d) = -d - 5. Let f(l) = -l**3 - 11*l**2 + 13*l + 3. Let n be f(-12). Let t be v(n). Solve 0 = -2*z + j + 1 - 4, -t*j = -z + 16 for z.
-4
Suppose r + 11 = 3*s, 4*r + s - 5*s + 4 = 0. Solve r*f = -z - 13, -2*z - 8 = -f - 0*z for f.
-2
Let g be -6 + 6*(2 + -1). Solve -5*s + 15 + 2 = -q, -3*s + 12 = g for q.
3
Let j = -10 + 12. Solve i = j*k - 6, 0 = 4*k - 6 - 10 for i.
2
Suppose 0 = -4*v + 7 + 1. Solve -g - v*g = 6, 5*c - 2*g = 24 for c.
4
Let z(k) = k**2 - 8*k - 4. Let d be z(9). Suppose d + 5 = -5*i. Let c be (-2 - -7) + 1*i. Solve 4 = -3*x - 3*l - 5, x - c*l = 5 for x.
-1
Suppose -176 = 4*f - 8. Let h be (-6)/(-33) - f/11. Let z be (-4)/6 + 16/6. Solve -4*y - d - 2*d + h = 0, 0 = z*d for y.
1
Suppose -2*q - 3*d + 15 = 0, 6 = -2*q + 6*d - 2*d. Solve 4*z + 15 = i - 7, 0 = q*z + 3*i + 9 for z.
-5
Let u(c) = -7*c - 56. Let o be u(-10). Solve -5*a + 2*g = -13, 3*a + g + o = 8*a for a.
3
Suppose 0 = -5*r + 18 + 7. Solve -r*n + z = 4*z - 16, 2 = n + z for n.
5
Suppose -2*m = p + 6 - 20, 5*p - 2*m - 22 = 0. Let b = -163 - -318. Suppose -l = -p*l + b. Solve t + 2*a + 13 = 0, -3*a = 2*t + 2*a + l for t.
-3
Suppose 4*q - 12 = -4*w, 4*w = 2*q + 10 + 2. Solve q*c = -s + 3*c - 17, 4*s = -c - 3 for s.
-2
Suppose 8*r = 3*r + 90. Let z(c) = -c**3 - 3*c**2 - c - 3. Let p be z(-3). Suppose 10*d - 6*d - 8 = p. Solve h - i = -d + 3, 0 = -4*h - 3*i + r for h.
3
Suppose -4*c = 2 - 14. Solve -10 = 5*m - c*d, 3*m + 4*d - 18 = d for m.
1
Let y be -3 - (-3)/(12/8). Let j be (-2 + 5 + -3)/y. Solve j = 3*k + 2*d - 4, -5*k - 10 = -2*d + 10 for k.
-2
Let k(h) = h**3 + 5*h**2 + 5*h + 2. Let n be k(-3). Solve 0 = n*b + 2*f - 21, -3*b - 5*f + 32 - 8 = 0 for b.
3
Suppose -5*a - 5 = 0, -a + 0*a - 1 = -5*u. Suppose u = 4*i - 1 - 7. Solve 0*p + 3*d = 2*p + i, -4*d = -4*p for p.
2
Let h(v) = v**3 - 7*v**2 + 7*v - 6. Let c be h(6). Solve -4*z - 4*b - 4 = -c*z, -12 = 3*b for z.
3
Let f be -3*(1 + -4 + 2). Suppose -f + 6 = n. Let q(t) = 2*t - 6. Let c be q(5). Solve -16 = c*z + 3*m, -6 = n*m + 6 for z.
-1
Suppose 0 = -2*l + 3*l - 2*z - 6, 0 = l + 3*z + 9. Let i be 45/5 - (-2 + l). Solve -i = -s + 3*c, 3*s - 4*c - 3 = 15 for s.
2
Let s = 0 - 0. Let j(n) = -n**2 + 5. Let d be (1 + 0)*(-5 - -5). Let c be j(d). Solve p + c*h + 4 + 10 = s, -p + 2*h = 0 for p.
-4
Let w(p) = 2*p**2 - p. Suppose -3*g + 2*k - 6 = 3*k, 0 = 5*g + 2*k + 10. Let x be w(g). Solve -5*d = -s + 24, -3*s + 2*d + x = -10 for s.
4
Let v = -1 - -11. Let y = v + -8. Solve 0 = -4*p + 2*j - 14, 4*p + y*j - 6 = -0 for p.
-1
Suppose -c - 4*l = -9, 4*l + l - 41 = 3*c. Let h be (-2)/c + 36/21. Solve 4*b - 14 = -h*f, 0*b + f = 5*b - 7 for b.
2
Suppose 3*c - 15 = 0, 0*c = -5*p + c + 5. Let f be 1/(-2)*(-8 + p). Solve -5*n = -h - 4, 2*h - 3 = -f*n + 2*n for n.
1
Let i(d) = -d**3 + 6*d**2 + 3*d - 18. Let h be i(6). Solve h = -3*l + z - 13, z - 9 = -l - 2*z for l.
-3
Suppose k + 2*j = -2*k + 3, 2*j = -k + 5. Let c be (-4 + 9 + -4)*2. Let l = c - k. Solve -27 = -4*t - l*p, -4*t + 4*p - 8 = -0 for t.
3
Let t be (6/15)/(1/10). Suppose 7 = s + 5*n - 1, 67 = 5*s - 2*n. Suppose -3*l - 4 + s = 0. Solve l*z - 22 = t*g, z - 2*g + 3*g + 2 = 0 for z.
2
Let j = -54 + 56. Solve 7 = 4*k - j*k + 5*s, 0 = -3*k - 3*s - 3 for k.
-4
Let o be (-20)/(-70) - 66/(-14). Let a(y) = -2*y - 6. Let x be a(-4). Suppose x*h + 2 + 7 = -3*j, 3*h = -3*j - 6. Solve -r - 2 = -4, -o*r = h*z - 16 for z.
2
Suppose -3*n = -4*n + 4. Suppose 18 = 2*t - n. Solve 0 = 3*k + 2*o - 16, -1 = 2*o - t for k.
2
Let k = -87 - -88. Solve 3*a - f - f - k = 0, 4*a - 2 = 2*f for a.
1
Suppose -2 = -o + 1. Solve x + o*l - 13 = 3*x, -4*x - l = 5 for x.
-2
Let g(p) = 4*p - 1. Suppose 5*s - 2*b = 2*b - 3, -3 = -s - b. Let x be g(s). Solve 0 = -3*m + 3*i - 3, -4*i = m - 3*i - x for m.
1
Let r(a) = -a**3 - 10*a**2 - 10*a + 5. Let l be r(-9). Let i = 16 - l. Solve 0 = -2*v - i*z, -6*z + 4*z = 3*v - 3 for v.
3
Suppose 3*k - 4 = -4*o + 2, 5*k - 10 = 0. Let i = o + 2. Let q be ((-10)/(-4))/(i/4). Solve 0 = -5*x - 5, -q*y - 2*x + 21 = 2*x for y.
5
Suppose 4*n - 31 = 3*b - 8, 4*b - 21 = -5*n. Let r = 6 - n. Let g = r - 0. Solve -5*t = -y + 3, 0 = 2*t + 3*y + 7 + g for t.
-1
Let g be 1/2*(-5 + 5). Solve g*y - 5*n - 10 = 3*y, -5*y = -n - 2 for y.
0
Let r(s) = -s**3 - 6*s**2 - 5*s + 3. Let i be r(-5). Suppose -2 = p, 2*u + 4*p + 5 = i. Solve -3*z = -4*l + 20, u*l + 4 - 19 = 5*z for l.
5
Let b(c) = c**2 - 2*c - 15. Let j be b(-3). Solve 2*p + 3*p - 2*u + 18 = j, p + 4*u = 14 for p.
-2
Suppose 5*v - v = 2*l + 4, v = l - 3. Solve 2*q - l = 2*t, 0 = 2*q - 16 + 6 for t.
1
Suppose -y + 1 = -2*w, 2*y + 2*y + 29 = -3*w. Let p be w*(-1 - (-6)/9). Solve -4*r + p - 6 = 5*o, 0 = 3*r - 4*o + 27 for r.
-5
Suppose 2*j - 5 = 5. Solve 4*x = -4*t + 5 - 25, -t = -j*x + 5 for t.
-5
Suppose 0 = s - 3 + 21. Let x = -13 - s. Solve -5*v - w = 7, 9 = -2*v + x*v + 5*w for v.
-2
Suppose 0*r = -3*r. Solve -3*q - 18 = -w, 3*w - 4*q = -r*w + 29 for w.
3
Let u be -2*2/(-6) - 110/(-33). Solve -4*w + 5*a = -35, -2*w - u*a + 13 = 3*w for w.
5
Suppose 0 = -14*w + 6*w + 256. Solve -s = 3*h - 15, -3*h - 4*s = 2*h - w for h.
4
Let f(y) be the third derivative of y**5/60 - y**4/24 + 3*y**2. Let w be f(1). Solve 9 = 3*b - 2*b + 3*i, w = -b + 4*i - 19 for b.
-3
Let o = 112 + -107. Solve 3*a - 5*k - 26 = o*a, -k + 5 = -3*a for a.
-3
Let a = 0 - -2. Let z = a - -1. Let m be -4*(z + (-34)/8). Solve 0*d - 2 = -5*q - 3*d, -3*q - m*d = -14 for q.
-2
Suppose 7 = 5*f + 2*z, 5*f - 23 = 3*z - z. Solve -g = -3*g - f*s - 25, 5 = -s for g.
-5
Let w(s) = s**3 + 22*s**2 + 41*s + 28. Let i be w(-20). Solve i = -4*l, 3 = -k - 2*l - 1 for k.
0
Let k(m) = -15*m + 1. Let f be k(-1). Let y = -6 - -9. Suppose -5*j = d, 2*d + 3*j - y - 4 = 0. Solve c - 5*b = -f, -d*b + 24 = -3*c + 4*c for c.
4
Let l(p) = -2*p - 8. Let w be l(-6). Let f be 12/(-16) + (-1)/w. Let z be (f/2)/((-2)/28). Solve 2*x - 7*x = -3*g, -4*x - z = -g for g.
-5
Let b = 6 + -13. Let k(p) = p + 10. Let t be k(b). Solve 0*x = 4*o - 3*x - 7, 0 = 3*o + t*x for o.
1
Let o(f) = 2*f**3 - 3*f**2 + f - 2. Let x be o(2). Suppose 3*b - 8 = x. Solve -4*c + 3*v + 0*v - 25 = 0, 3*c = b*v - 24 for c.
-4
Let c(h) = h**2 - 6*h + 2. Let a be c(6). Let v be (-120)/(-54) + 2/(-9). Solve -2*s = a*l - 4, v*l + 2*s + 2*s = 2 for l.
3
Let x(h) = h**3 - 2*h - 2. Let c be x(2). Suppose 0 = -c*w + 4. Solve -w*n = -3*o - 0 + 6, -4*n = 12 for o.
0
Let r(k) = 2*k - 15. Let a be r(9). Solve -2*q + 5*q + 12 = -s, -a*q - 27 = -4*s for s.
3
Suppose -t - 8 = -2*t. Let l be 6/(((-18)/(-4))/3). Suppose l*k = -k. Solve p - 4*w - t = -k*p, -1 = -p - 3*w for p.
4
Suppose 5*p - 11 = 14. Suppose -p*h = -2*h - 126. Suppose 9 - h = -3*j. Solve 0*i + 2*f - j = 5*i, 0 = -2*i + 4*f - 14 for i.
-1
Let t be (1 + 0)/(3/(-9)). Let n = t