6, -h*n + 5*a + 9 = -4*n for n.
3
Let o(m) = -m - 2. Let x be o(-4). Suppose 2*n + 6 = 0, -3*n = -4*w - 4 + 29. Solve 3*r + 9 = -w*g - g, -g = -x*r - 6 for g.
0
Suppose 0 = 5*m + 25, m + 2 = d + 4*m. Solve 0 = 2*u + 5*p + d, -5*u = -4*p - 57 + 17 for u.
4
Suppose g = 5*u - 7, -2*g - 2*u + 5 + 5 = 0. Let t = 0 + 0. Let z = 18 - 15. Solve 4*m - 5*o + z = t, 4*m + 6 = g*o - o for m.
-2
Let i(j) = -j**3 + 5*j**2 - 5*j + 4. Let b be i(3). Solve 3*o = -f + 4, -b*f + 5*o = -3*f + 35 for f.
-5
Let z(g) = g**2 + 17*g + 36. Let p be z(-16). Solve 4*q - l = -20, 4*q + 6*l - 3*l = -p for q.
-5
Suppose -2*y + 85 = 3*y. Let u = 11 - 8. Solve y = 4*b + u*h + 2, -4*b = -4*h - 8 for b.
3
Let u(v) = -v**2 + 10*v - 21. Let b be u(6). Solve b*h + 4 = 3*t + 19, -3*h - t = -7 for h.
3
Let h = 0 - 2. Let q(c) = -4*c + 1. Let m be q(h). Suppose 0 = -0*p + p - m. Solve -4*l + 6 = -2*y, 0*y = 2*y - l + p for y.
-5
Suppose -12 = -2*k - 2*h, 2*k + 3 + 6 = 5*h. Suppose 10 = k*j - 5, -5*q + 65 = 3*j. Let s be ((-6)/q)/((-1)/5). Solve 3*p + 3 = 3*u, -2*u - p = s*u + 19 for u.
-3
Suppose 8*q - 2 = -2. Solve 3*v - 3*d + 15 = 0, q = -3*v + d - 15 - 0 for v.
-5
Let u(y) = 20*y**2 + 6*y + 20. Let p(c) = -7*c**2 - 2*c - 7. Let z(l) = 17*p(l) + 6*u(l). Let n be z(-1). Solve 3*j + h - 5 + 3 = 0, n = 2*j - h - 8 for j.
2
Let q(a) = -2*a**2 - 7*a - 3. Let n be q(-3). Solve -5*v - 24 = 2*p - 4, n = 4*v - 5*p - 17 for v.
-2
Let t be 1/((-2)/(-6)*1). Suppose 5*f - v - 45 = 0, t*f - 5*v - 29 - 20 = 0. Solve -f = -3*j - 4*w, -5*j + 0*w + w - 2 = 0 for j.
0
Suppose 0 = 7*m - 5*m - 6. Let t = 26 + -18. Suppose 0 = -4*q + t + 4. Solve -4*z - m*a = -q, a = -3*z + 5*z - 9 for z.
3
Let r = -18 - -23. Solve x = -5*b + 10 - 1, -r*x = -5*b - 15 for b.
1
Let w = -31 - -31. Let g(d) = -d**3 - 2*d**2 - d. Let p(b) = 3*b**3 + 1. Let t be p(-1). Let r be g(t). Solve 4*s + x + 9 = w, -5 = r*s - 0*x + x for s.
-2
Suppose 2*b = 20 - 8. Suppose 10*z - b*z - 16 = 0. Solve 7*f - 4*f - 21 = -3*u, -z*f = -2*u - 16 for u.
2
Let h = 15 + -11. Suppose m - 9 = -2*m. Solve -h*t - 2*c = -20, -m*t + t + 10 = 5*c for t.
5
Let y be (-2)/(-6) - 10/(-6). Let o(a) = -a**2 + 8*a - 1. Let j be o(4). Solve 3*g = -2*f - 9, -y*g = -f + 3*g + j for f.
0
Let b(f) = -f**2 - 8*f + 10. Let m be b(-9). Solve p = 2*n + 3, 2*p + 3*p - m = -4*n for n.
-1
Let s(b) = b - 1. Let p be s(1). Suppose 4*n - 28 = -n - 4*q, 4*n + q - 18 = 0. Solve u - 2*v + v = p, -10 = n*u + v for u.
-2
Let p = -110 - -224. Suppose 0*l + 5*l + 2*a = 141, a = -4*l + p. Solve 4*c + 6*g - g = l, 0 = c - 3*g + 14 for c.
1
Suppose -2*t = p + 2*t + 18, 3*p = -2*t - 4. Let f be 2/4 + (-19)/(-2). Let u be 15/f + 2/4. Solve u*s = -p*d + s - 5, -3*d - 4 = -2*s for d.
-2
Suppose -3*f + 71 = -2*x - 24, 46 = 2*f + 3*x. Solve b + b + 20 = 4*s, -3*s + 5*b = -f for s.
3
Let y(c) = -c**3 - 2*c**2 + 23*c + 6. Let p be y(-6). Solve -3*j = 4*m + 13, -p = 5*j + m + 4 for j.
-3
Suppose 9 = 3*p + 3. Solve 0 = 5*q + 3*l - 21, p*q = -3*l + 5 + 7 for q.
3
Suppose -3*l - 5*v + 20 = 0, 2*v - 15 = -2*l - 3. Solve -5*u = 2*x - 33, 5 = -2*u - u + l*x for u.
5
Let p = -33 - -33. Solve 3*u + p*u + 8 = 2*h, u = 3*h - 12 for h.
4
Let c(s) = -s + 7. Suppose j = 4*h - 23, 3*h + 2*j - 20 + 0 = 0. Let a be c(h). Solve -3*m + m - a = -3*z, 3*m + z + 7 = 0 for m.
-2
Let o = -3 + -1. Let m = o + 7. Suppose m*q = 2*c + 22, 3*c = 3*q - 30 + 3. Solve -5*n - 2*i - q = -1, -3*i = n - 2 for n.
-1
Suppose 4*q - 8 = -z, 2*q + 0*q - 3*z - 4 = 0. Let h be (5/(-3))/(q/(-12)). Solve 0 = 4*x + 2*u, -5*u = -4*x - h + 38 for x.
2
Suppose 0 = 5*w - 4*r + 13 - 47, 0 = 4*r + 4. Suppose w*m - 250 = m. Suppose -m = -5*l + 25. Solve -6*g + l = 5*x - g, 3*g + 9 = 3*x for x.
3
Let s be (-160)/(-12) + (-4)/(-6). Let r be 21/(-14) - s/(-4). Solve -i + 9 = r*d, 3*i - 18 = -5*d + 7 for i.
5
Let n be 3/(-4*(-1)/4). Solve -9 = n*r, -12 + 5 = 2*q + 3*r for q.
1
Let m be (3 + -1)*1 + -2. Suppose m*q = 2*q - 12. Solve -3*o - 6 - q = 5*g, 4*g + 12 = 0 for o.
1
Suppose 0 = r + r - 6. Let z(y) = 5 - y + 3*y - r*y. Let j be z(-7). Solve -5*k - 20 = 5*h, k - 4*k = j for h.
0
Let d(m) = m**3 - 6*m**2 - 9*m + 17. Let s be d(7). Solve 4*r - 12 = 0, -g = s*g + 2*r - 18 for g.
3
Suppose -2*w - 8 = 0, 0 = 3*t + 2*t - w + 21. Let s be t*(2 - 6/2). Solve 3*d = -4*o - 15, 2*o - 5*o + s = -d for o.
0
Suppose 4*m = -2*z + 10, 3*z + 3*m + 2 = 14. Suppose -2*c - 4*d + 4 + 0 = 0, -c - 3*d = -z. Solve 3*p = -3*y - p - 8, c = -4*y - p - 15 for y.
-4
Let u be 2/(-4) + 8/16. Suppose 2*y - 7*y + 20 = 0. Solve -2*z + 4*v - 8 = -u*z, 5*z + 6 = -y*v for z.
-2
Let z(u) be the second derivative of u**4/12 - 2*u**2 + 7*u. Let f be z(3). Solve -11 = 3*k - 5*j, -4*k - 11 = 2*j - f*j for k.
-2
Suppose -22 = 3*s - 52. Solve -5*b - 15 = -10*b, 5*m = 5*b + s for m.
5
Let v be (-2)/(-4) + 18/4. Let q = 4 - 0. Suppose -q*h + 8 = 4. Solve -h + 5 = n - 2*l, 10 = -n - v*l for n.
0
Let r be (-1)/(-4) + (-3)/12. Suppose r = -v - v + 16. Suppose -w = -5*w - 2*u + 16, 0 = 2*w - 3*u + v. Solve 7*a + 5*x = w*a + 30, -5*a = -3*x - 6 for a.
3
Let w be (-3 - -17)*2/4. Solve l + 4*l = -2*g + 4, -l = 3*g + w for l.
2
Let n(w) = w. Let d be -3 + 3/(-6)*-4. Let x be (1 + d)/(3 + -2). Let m be n(x). Solve m = 4*q + 2*g, g = q - 2 - 1 for q.
1
Let p = -58 - -63. Solve -p*r = -3*q - r + 32, -2*q - r + 3 = 0 for q.
4
Let k(r) be the third derivative of r**5/60 - r**4/4 - 5*r**3/6 + 3*r**2. Suppose -2*d + 1 + 13 = 0. Let z be k(d). Solve z*l = -2*t, -t + 6*t + 6 = l for t.
-1
Let z be (14/35)/((-1)/(-5)). Let b be 15/20*2*z. Solve 2*n = i + 1 + 8, b = -2*n - 3*i for n.
3
Suppose -2*c + 29 - 10 = 3*s, 2*s = 4*c - 14. Solve 2*u = -c*y + 13, u + 0 = 2*y + 2 for y.
1
Let m(i) = -4 + 0*i + 0 - 2 - i. Let a be m(-8). Solve -2*g + t = 2*g - 7, g = a*t + 7 for g.
1
Let a be (-1)/(3/(-6)*1) + -2. Solve 2*m - 4 = s + 1, a = -m + 3*s + 10 for m.
1
Suppose 8*d = 2*p + 3*d - 1, 0 = p + 2*d - 5. Solve -35 + 10 = p*w - 5*c, 4*w - c = -22 for w.
-5
Suppose -24 = -7*c + 11. Solve -2*r = -r + c*o - 21, 5*r - 17 = -3*o for r.
1
Suppose 0 + 1 = -z. Let i(g) = -7*g - 1 + 0 + 3*g. Let r be i(z). Solve 2*m + r*k + 0 = -1, -2*m + 2*k = -4 for m.
1
Let s = 79 - 75. Solve -3*r + 9 = -s*c, 2*c + 7 - 1 = 2*r for c.
0
Suppose h = 2*u - 6, -2*u + 4 = 4*h - 3*u. Solve 3*g = -2*l - 2*l - 11, -4 = 3*l - h*g for l.
-2
Suppose 17*h - 3 = 16*h. Solve o + l = -h*l + 6, -3*o = -l - 5 for o.
2
Let l be (6*2 - -1) + 0. Let b = l + -9. Solve -j + c - 8 = 0, 3*c - b*c = 2*j + 7 for j.
-5
Let w = 21 + -12. Let x be (4/(-3))/((-2)/3). Let r be (x/6)/((-2)/(-138)). Solve -w = -3*y - 3*u, -5*y - 4*u + 3*u + r = 0 for y.
5
Suppose 2*l + 35 = 5*l + 5*u, 4*l + u = 41. Let o = 13 - l. Solve o = 3*t + c, 6 = 4*t - c + 2 for t.
1
Let i(l) be the first derivative of l**4/4 + l**2/2 - l + 10. Let r be i(1). Solve 7 = -4*p - r, p = t for t.
-2
Let y be 4/18 - 61/(-9). Let r = -6 + y. Solve -t - 1 + 0 = 3*x, -t - r = 2*x for x.
0
Let y(d) = -d**3 - 7*d**2 + 9*d + 3. Let n be y(-8). Let z be (-8)/(-6)*(2 + n). Let b be (15/12)/((-1)/z). Solve -3*k - 3*c + 4*c = -6, -20 = -5*k + b*c for k.
1
Let u(q) be the first derivative of -15*q**2/2 + q - 1. Let x be u(-1). Solve -4*c - 5*j = -20, 4*j = c - 0 + x for c.
0
Suppose a = -3*x + 10, 3*a - 2*a + 22 = 5*x. Let p be 23 - (1 - a)/3. Suppose -7 + p = 5*y. Solve -3*m = y*t - 21, 0*m - m = -t + 1 for m.
3
Let g be -1 + 4 - -2 - 4. Solve 14 = -k + 5*s, 2*k + 5*s = 3 - g for k.
-4
Let f = -1 + 1. Solve 4 = y + 3*y, f = 3*n + 4*y - 1 for n.
-1
Suppose 9*l - 6*l - 9 = 0. Solve 3*h = -l, -5*i - 6 - 12 = 3*h for i.
-3
Suppose -3*m - 10 - 14 = 0. Let v be 60/m*(-2)/3. Solve -2*r - v*b = -8, -6*r = -3*r + 5*b - 7 for r.
-1
Let o be (-12)/(-18) + 10/(-6). Let v(p) = -3*p. Let l be v(o). Suppose -2*x + 20 = l*x. Solve 12 = x*j - t, -5*t - 4 = 4*j - 2*t for j.
2
Suppose -10 = -5*o - 5*j, -2*o + j - 2*j = -7. Let z = -5 - -18. Suppose 7 = 5*u - z. Solve 0 = -4*y - u*m - 4, 2*y - o*m - 15 - 11 = 0 for y.
3
Let l = -6 - -8. Solve -l*n + 3 = -m, 0 = -2*n - 3*m - m + 28 for n.
4
Suppose 2*p - 16 = -3*v, -2*p + 12 = 3*v - 2*v. Solve p*k - 3*j = k - 8, -3*k + 3*j = 9 for k.
1
Let d = 2 - -2. Let z(l) = -l**2 - 10*l - 6. Let b be z(-9). Solve 16 + b = -d*u + v, -2 = 2*v for u.
-5
Let d(h) = h - 8. Let l be d(12). Let 