= o - 6*o + 5*m - c, 0 = -4*m for o.
-1
Let o(w) = w**2 + 10*w + 26. Let x be o(-9). Solve -2*p - x = -4*f + p, 5*p + 5 = 2*f for f.
5
Suppose 0 = 3*j - 8*j + 15. Solve -u - p = -3, 2*p - 9 = -3*u + j*p for u.
3
Let d(t) = -t**3 - 5*t**2 + 4*t - 3. Let g be d(-6). Solve 0 = 3*b + 4*a - g, 0 = -3*b + 4*a - 4 - 11 for b.
-1
Let o(v) = -v**2 - 14*v + 4. Let h be o(-14). Solve -w - h*w + 2*y = 18, 4*y = -5*w + 6 for w.
-2
Suppose 3*i = 4*j - 7, j = -j - 4*i + 20. Solve -12 = -j*n + 2*w, -5*w = 2*n - 10 + 4 for n.
3
Let n = -174 + 177. Solve -x - n*f + 11 = 0, -2*x - 6 = -f - 0 for x.
-1
Suppose -3*p + 0*p + 2 = q, -5*p = 2*q - 2. Let a be 15/10 + (-122)/q. Suppose 3*b = b - w + 44, 2*w + 4 = 0. Solve -3*y = 3*n - b - 1, 5*y = -3*n + a for n.
4
Let v = 1 - -5. Let g(l) be the second derivative of l**3/3 - 5*l**2/2 - 4*l. Let w be g(4). Solve -2*q - w*u + v + 5 = 0, -2*q = -5*u + 13 for q.
1
Let g = 8 - 4. Suppose g*j + l = 15, j - 3*j + l + 3 = 0. Let r(x) = 3*x - 2. Let t be r(2). Solve j*k = 5*k - t*m + 8, 0 = 2*m for k.
-4
Let q(k) = k**3 + 15*k**2 + 11*k - 25. Let o be q(-14). Solve -x = -3*b - b + o, 4*b = -4*x + 12 for x.
-1
Let x be (4/(-7))/((-8)/28). Solve 5*s - 3 = -3*h, -x*s - 3 = 2*h - 5 for h.
1
Let c = 2 + -2. Suppose -4*k + 16 = c, -z - 5*k + 11 = -11. Suppose z*v = -2*v. Solve 3*l + 3 = v, m = -l + 2 - 8 for m.
-5
Let n = -12 - -12. Suppose 2*x = -3*x + 5*j + 10, n = 3*x - 5*j. Solve -x*q = -3*a - 26, 3*a + 3*q - 2 = -2*a for a.
-2
Let g be (8/(-16))/((-1)/14). Solve -3*c = -4*a - 3, g*a - 3*a - 1 = -c for a.
0
Let y(n) = -n**3 - 5*n**2 + n + 2. Let x be y(-5). Let o(g) = g**2 + 4*g + 3. Let h be o(x). Solve h = 5*a + 25, -d - a - 2*a - 10 = 0 for d.
5
Let u(q) = q - 2. Let c be u(6). Suppose -a - 9 = 3*x - 4*x, 3*x - 62 = -c*a. Solve 3*b - 3*m - x - 7 = 0, b - 4*m - 16 = 0 for b.
4
Suppose 3*l = 5 + 1. Let q(v) = v**3 - 6*v**2 + 7*v - 3. Let a be q(5). Solve -r - a = -w, 2*r + l = -2*w - 0*w for w.
3
Let f = 23 - 21. Solve -c = -4*a + 11, f*a + 0 = -2*c + 18 for c.
5
Let c be 2 + -2 + 42/2. Let n = 0 + 5. Let u = -21 + 21. Solve 4*y = 4*l + 36, n*l + y = -u*y - c for l.
-5
Let d(j) = -10 - 2 - 4*j**2 + 11*j - j**3 - 6*j**2 - j**2. Let v be d(-12). Solve v = -3*o + 5*o + l - 7, -5*o = -3*l - 12 for o.
3
Suppose -4*z - 12 = -z. Let v be (0 - 1)*(2 + z). Suppose 0*a + 8 = v*a. Solve -3*y = -3*k + 9, 3*y - 3 = a*y - 3*k for y.
-3
Suppose 12 = 2*n + n. Suppose 3*h - n*h + 4 = 0. Solve -19 = -4*t - 2*c - 1, -2*t - 16 = -h*c for t.
2
Let x(l) = l**2 + l. Let y = -15 + 11. Let n be x(y). Let k be 4 + (0 - 0) + -1*2. Solve k = -d - 3, 3*d + n = o for o.
-3
Suppose 0*l - 3*l + 75 = 0. Let t be 40/l - 4/(-10). Solve -2*f - 2*f + 4 = -4*g, 2*g + 2*f = -t for g.
-1
Suppose 3*p = p. Suppose a = -4*f + 3, p = -a + 5*a - 2*f - 12. Solve 0 = -5*s + 5*q, 2 = -a*q - 4 for s.
-2
Let w(l) = 3*l + 1. Let j(g) = -g. Let d(q) = -6*j(q) - w(q). Let s be d(3). Let p = 18 - s. Solve 0*r - 5 = r, -p = 5*z - r for z.
-3
Let d be (-1 - (-3)/2)*2. Suppose 12 + 24 = 9*i. Solve d = 2*v + c, -5*v - 9 = -8*v - i*c for v.
-1
Let r be (-2 + 2)*(-1)/(-2). Let o = 22 - 20. Suppose -10 = -2*k - o*z + 2, 0 = 4*k + 3*z - 22. Solve 4*g = 3*y + 3, r = -3*g + 3*y + k + 2 for g.
-3
Let f = 11 + 29. Suppose j - 5 = -2*h + 9, -h - 7 = -3*j. Solve 0 = -j*d - 4*w + f, -2*d + w = -w for d.
5
Let p be 3/7 - (-15)/(-35). Let a(c) = c**3 + 2*c**2 - 2*c + 4. Let q be a(-3). Solve 5*v + 2 = 3*u - q, -3*v - 3*u + 3 = p for v.
0
Suppose -7*a + 6*a = -4. Solve 2*m - 3*v = -5*v - 14, -a*m + 17 = -5*v for m.
-2
Let b(j) = j - 3. Let m be b(8). Suppose 2*z - m = z. Solve -4*i = -z*n - 24, n - 2*n + 5*i - 9 = 0 for n.
-4
Let h = 3 - 4. Let n be 9/(4 + h) - -8. Let i = -7 + n. Solve 0*x - 2*c = -x + 2, 4*c = -3*x - i for x.
0
Let a be (2/(-3))/((-3)/(-18)). Let o = a - -6. Solve 4*w = -3*u - o*u + 4, -3*u - 3*w = 0 for u.
4
Suppose 0 = -2*m + 5*m + 9. Let k(r) = r**3 + 2*r**2 - 3*r + 4. Let w be k(m). Suppose 19 + 1 = w*a. Solve -a*p + 17 + 0 = 2*o, p + 4*o = -11 for p.
5
Suppose 0*z - 2*s - 11 = z, -37 = 5*z + 4*s. Let o(q) = -7*q + 5. Let i be o(z). Solve -5*k - r - 17 = -8*k, 5*k = 4*r + i for k.
4
Let s be (-102)/(-5) + (-8)/20. Solve 5*i = -7*n + 3*n + 36, 2*n + 3*i - s = 0 for n.
4
Let a = -4 - -5. Let o = 22 - a. Solve 0 = k + 4*s + o, 3*k + 0 + 3 = 3*s for k.
-5
Let z(b) = b**2 - 7*b + 6. Let c(k) = -k**3 + k**2 + 7. Let t be c(0). Let v be z(t). Let f = -2 + v. Solve 2*n - w = -0*n - 4, -3*n = -2*w + f for n.
-4
Let l(d) = d + 13. Let a be l(-11). Solve -a*r - 5*m + 3 = 5, -r - 5*m - 6 = 0 for r.
4
Let g(w) = -w**3 - 11*w**2 - 10*w + 2. Let d be g(-10). Let t = 31 + -18. Solve 5*v + 5*h + 7 = -t, 4 = d*v - 4*h for v.
-2
Let j(a) = -a + 2. Let b be j(2). Solve 4*y - 2*d - d + 4 = b, 2*y - 20 = -4*d for y.
2
Let c be (-96)/(-44) + 4/(-22). Solve c*t = 2*z - z - 4, 0 = 3*z - 5*t - 10 for z.
0
Let a(u) = -u**3 + 5*u**2 - 2*u + 12. Let d be a(5). Solve 0 = -5*j - 5*k, 0 = d*j + j + 2*k + 5 for j.
-5
Suppose -l + 23 = x - 5*x, 0 = -4*x - 20. Solve 2*f + b + 8 = l, 6 = -3*f - 2*b for f.
-4
Suppose 0 = -5*z + 33 + 37. Let l = z - 9. Suppose 7 = l*d - 8. Solve 5*v = r + d*r + 8, 0 = -2*v + r + 2 for v.
0
Suppose -v - 5*o = 4*v + 70, -3*o - 33 = 2*v. Let c = v - -11. Solve 3*n + c*n = 2*h + 20, 0 = 2*n - 2*h - 8 for n.
4
Let x be -4 - (-2 - 1) - -1. Suppose x = -3*g + 3*w, 0 = -3*g - 3*w + 11 + 19. Let q be 4/(-6) - (-4)/6. Solve -5*o - 2*z - 5 = 0, -2*o - z - g + 2 = q for o.
1
Let g(j) = j**3 - 2*j**2 + 1. Let c be g(1). Let m(d) = 4*d**2 + 2*d + 2. Let u be m(-2). Suppose -4 = 2*f - u. Solve c = -s + 3*s + 2, 22 = -f*b - 2*s for b.
-4
Let t = 1 + 1. Let m = t + 1. Suppose l + 4 = -3*x, 2*x + 3*x + 16 = -4*l. Solve -3*g + 6 = -b, m*b - 6 = -x*b - 3*g for b.
0
Suppose -2*n - 11 = -4*c + 67, -5*c + n + 99 = 0. Let j = 17 - 9. Suppose -j = -4*d + 8. Solve -d*f + 4*z = -c, -3*f + 13 = -z + 4 for f.
2
Suppose p + 3*p + 32 = 0. Let i(d) = d**2 + 3*d - 9. Let y be i(p). Let g = -5 + 9. Solve 0 = 5*n + 3*u - y, g*n + 0*u - 3*u - 14 = 0 for n.
5
Let z(d) = 30*d - 202. Let h be z(7). Suppose -5*w = -y - 11, 5 = -0*y - 5*y. Solve 5*n + 5 = -w*o - 6, -o = -2*n - h for o.
2
Suppose m + 2*k + 0 = -4, -4*m + 5*k + 23 = 0. Suppose m*p = 5*z - z + 4, -3*p - 5*z + 6 = 0. Solve -5*r + 2*j + 8 - 30 = 0, -2*j = p*r + 6 for r.
-4
Let z(w) = -w - 1. Let h be z(-5). Solve 10 = -5*v + 5*l, -3 + 25 = -2*v - h*l for v.
-5
Let a(r) = -r**3 + 9*r**2 - 11*r - 17. Let c be a(7). Solve 0 = 4*z - 2*m + 12, c*z + 16 = -z + 2*m for z.
-4
Suppose 5*t + 11 - 26 = 0. Let y = t + 3. Suppose y = z - 0. Solve 2*b = d - 1, -d + 2*b = -z*d + 17 for d.
3
Let u(q) = -q**2 + 8*q - 7. Let j be u(5). Let k be (2 - j)*(-10)/3. Suppose 5*c = k + 10. Solve 0 = -2*i + 5*g - 3, -g + c = 5*i - 0*g for i.
1
Suppose 0 = 3*t - x - 2*x + 12, -2*x = 3*t - 3. Let f be t/((-2)/(1 - -5)). Let q be (-28)/(-6) + (-2)/(-6). Solve 6 + 19 = -q*s - o, f*s = 3*o - 15 for s.
-5
Let s(f) = f**3 - 7*f**2 - 8*f + 2. Let a be s(8). Let k = 1 - a. Let q be 2*(k - -3 - 1). Solve -4*v - 2*c = 6, -2*c + q = -3*v - 3*c for v.
1
Suppose 5*z - 87 = -3*h + 51, 0 = -3*z + 5*h + 110. Let c be z/(-4)*2/(-3). Solve -6*i = 2*a - i - c, 3*a + 3 = 3*i for a.
0
Suppose -69 = -22*s - 3. Solve -3*k = -2*q + 6, s*k - q = -1 - 5 for k.
-2
Suppose -m - 4*m + 60 = 0. Let h be (0 + 0)/(m/4). Solve 4*a - 4*p - 16 = h, 4*a - 3 = -2*p + 13 for a.
4
Let x = -44 + 48. Solve -4*a + 5*t - x = -17, 0 = -2*a + 4*t + 8 for a.
2
Suppose m = 5*y - 182, -5*y + 102 = -2*y - 3*m. Solve 0 = -2*r - w - 2, -13 = 4*r - 5*w - y for r.
1
Let v = -1 + -3. Suppose -2*h - 3*h = -20. Let z = v + h. Solve m - 3*p = 14, z = -4*m - 0*p - 2*p for m.
2
Let z(w) = w**2 - 8*w + 5. Let a be z(8). Solve r + 2 = 2*k, 6*k - 4*k - 2 = -a*r for r.
0
Suppose -g - g = -2. Let t(w) = 2*w**3 + 2*w**2 - 1. Let k be t(g). Let d = k + -1. Solve -5*f + 4*o = 0, f - 2*o + 14 = d*f for f.
4
Suppose 3*s = -1 + 7. Let d = 7 - s. Solve 4*k = 4*n, d*n - k = -0*n + 8 for n.
2
Suppose 4*d + 1 = -7. Suppose 0*q + 3*q - 27 = 0. Let p = q + d. Solve -25 = -p*o + 3*o + w, -3*o - 2*w + 5 = 0 for o.
5
Suppose -3*h - 2*h = -l + 15, -4*h + 17 = 5*l. Solve -o = 3*x - 10, -14 = l*o - 3*x + 2*x for o.
-2
Suppose -3 - 15 = 3*r. Let p = 6 + r. Solve