3*g = -11 for m.
4
Suppose 24 - 6 = 3*w. Suppose 0 = -2*v + w*v - 40. Solve l + 8 = 3*k + 2*k, -2*l + v = 3*k for l.
2
Suppose 2*h - 5 = 1. Solve t + 18 = -g + 4*t, 1 = h*g + 2*t for g.
-3
Let y(a) = a + 2. Let m be y(2). Suppose -20 = -9*i + m*i. Suppose l + 21 = 2*l + 4*f, 39 = i*l + f. Solve -5*s + l = 4*r - 0*r, -3*s + 11 = r for r.
-4
Let b(q) = q**2 - 7*q + 6. Let i be b(6). Suppose -y = -i*y. Solve -4 = -s + w + 4, -s - w = y for s.
4
Suppose 9 = 5*m - 2*k - 9, 0 = 2*m + 5*k + 16. Solve 5 = -u - m*b, -3*b = -5*u - 2 + 3 for u.
-1
Let k = 43 + -41. Solve -5*j + 18 = 5*x - j, -4*x - k*j + 12 = 0 for x.
2
Let p be -3*(-2 + (-2 - -3)). Suppose -2*g = -4*l + 47 + 37, -2 = g. Suppose 2*u - 20 = -2*h, -2*u + p*u + l = 5*h. Solve v + 2 = 0, -3*r + 4*r - h*v = 6 for r.
-4
Suppose -59 = -3*z - 44. Solve 0 = 5*q + 4*b + 6, z*q - 4*b - 24 - 2 = 0 for q.
2
Let l(o) = -12*o + 4. Let k be l(-3). Solve 10*q - 5*q - k = 3*g, g + q = 0 for g.
-5
Let d(n) = -n + 10. Let v be d(5). Solve v*t + 2*x = -0 - 8, -5*x = 20 for t.
0
Let b(x) = x**2 - 7*x + 9. Let r = 1 + 5. Let j be b(r). Solve 3*a = 3*m, 3*m + 2*m = j*a for m.
0
Let m(v) = -v**3 + 10*v + 3. Let b be m(-3). Solve q = 5*t + 3, b*q - 3*q + 9 = -t for q.
3
Let a(b) = b**2 + 3*b - 7. Let p be a(-9). Let z = -15 + p. Let h = 11 - 7. Solve -1 = -k - k - 3*x, -4*k + h*x + z = 0 for k.
5
Suppose 4*x + 4 = g, -5*x - 11 = -3*g + 1. Suppose 56 = -0*w + g*w. Solve 0 = 2*u + 5*r - w, -4*u - r + 5*r = 0 for u.
2
Let l = 1 + 3. Suppose m = -3*x + 12, 0 = -m + l*x - 10 - 6. Solve 5*d + 3*w + 26 = 0, -3*w - 2 = -d - m for d.
-4
Suppose -f - 3*f - 24 = 0. Let q be f/(3 + 2 + -6). Let c(g) = -g + 11. Let i be c(q). Solve 0 = 2*b - 3*n - i + 30, -2*n = 2*b for b.
-5
Let i = 6 + -3. Let s be ((-3)/i)/(4/(-16)). Solve -5 = 5*g + 5*t, 2*g = -3*g + 4*t + s for g.
0
Let b(n) = n**2 + 4*n - 6. Let t(v) = -v**3 + 8*v**2 - 6*v - 3. Let u be t(7). Let k be b(u). Solve 3*p = -15, 3*o + 2*p - k = 6*p for o.
2
Let i be 0*(6/(-9))/(-2). Let d be i/(1 + 0) - -4. Solve -c = d*o - 0*o - 11, 3*o + 3 = 3*c for c.
3
Suppose -5*n + 0*n = -90. Suppose 4*a = -2 + n. Suppose -a*k + 166 = 22. Solve -2*h + k - 13 = 5*q, -4*q + h = -21 for q.
5
Suppose -5*k = 4*h - 14, 5*h + 0*k = 4*k - 3. Let d be (-2)/3 + 4/(-3). Let g = h - d. Solve -g*s - 5*q = 35, -2*s - 5*q - 40 = 2*s for s.
-5
Let s(z) = 11*z - 45. Let b be s(7). Solve 0 = -5*h - 4*w + b, 0*w - 5*w = -h - 11 for h.
4
Let p(f) = f - 3. Let i be p(3). Suppose i = -4*x - 5*h + 13 - 0, -h + 1 = 0. Suppose x*z + 20 = 6*z. Solve n - z*n = -3*y - 6, 0 = 5*n - 4*y - 7 for n.
3
Suppose -5*k + k = 0. Suppose -3*p + 24 = -3*h, -2*h = -5*p + 37 + 6. Suppose 24 = p*q - 5*q. Solve 0 = 4*l - 5*i + 9, -5*l = -i - k + q for l.
-1
Let k = 5 + -3. Suppose -27 = 4*i - 3*x, -2*i + 3*x - 34 = -13. Let f = 1 - i. Solve 5*d = u - 21, k*d - 4*d - f*u = 4 for d.
-4
Let a = -21 + 29. Let y be (-247)/(-7) - a/28. Solve 2*u = 3*q + 23, 3*q + 0*q + y = 5*u for u.
4
Let s(h) = -1. Let o(n) = -2*n - 3. Let z(g) = -o(g) + 2*s(g). Let j be z(2). Solve -7 = j*r - 2*w, -2*r + 5 = -r - 2*w for r.
-3
Suppose u - 22 = -2*y, 4*y - 4*u - u - 58 = 0. Solve -2*x - 2*p - 18 + 2 = 0, y = -x - 2*p for x.
-4
Suppose 2*c = 1 - 9. Let o be 1*(-2)/4*c. Solve 0 = -o*x + 3*v + 18, 4*x - x + 3*v = -3 for x.
3
Suppose -3*k + 12 = 0, -f = 2*f - 3*k. Suppose a - 4*z = f*a - 2, -5*z + 1 = 3*a. Solve -6 = -a*y - 2*w - 2*w, -6 = -y + w for y.
5
Suppose 0*q - 2*q - 5*s + 25 = 0, -2*s = -6. Let p = q - 3. Solve -3*w + 3*k = p*w - 17, w + 5*k = -19 for w.
1
Suppose -t = c - 4, -4*c + 19 = 2*t + 3*t. Suppose -5*k + 10 = -3*l - 0*k, -3*l = -2*k - 5. Solve l*f + v - 23 = 1, -t*v - 13 = -2*f for f.
5
Let m(b) = b**2 - 6*b - 8. Let c be m(7). Let n be 3*-3*c/3. Let x be 21*-1*n/(-3). Solve 7 = 4*y + 3*q, 0*q - x = -3*y + 3*q for y.
4
Let q be -1*12/42 + 46/14. Solve -q*c + 20 = -2*b - 1, 3*c + 5*b = 0 for c.
5
Let r(z) = -z**2 + 4*z - 1. Let o be r(3). Solve -8 = -4*j, -q - 4*j + j = -o for q.
-4
Let v(c) = -c**2 - 6*c + 1. Let y(h) = 7*h**3 + h + 2. Let z be y(-1). Let j be v(z). Solve -b - 4*l - 5 = 0, -5 = 2*l - j for b.
3
Let p = -31 + 33. Solve 5*c - 2*h = -33, -3*h = 4*c - p*c - 2 for c.
-5
Let w(r) = 13*r**3 - 3*r**2 + 2*r. Let d be w(1). Solve -3*a - 5*y - d = 0, -a + y - 8 = a for a.
-4
Let j = 10 - 6. Let d be (8/5)/(j/10). Suppose -d = -2*u - 3*z + 5*z, -z + 4 = u. Solve 5 = -f - 2*h, 0 = -0*f - f + u*h for f.
-3
Let m(h) = -h**3 - 2*h**2 + h. Let p be m(-3). Solve -2*w + p = -f - 0, 2*f = -w - 7 for f.
-4
Let g(c) be the third derivative of c**4/24 + 2*c**3/3 - 4*c**2. Let x be g(0). Solve 4*h = -x*a + 16, 0 = -3*a + a - 5*h + 11 for a.
3
Let q = -9 - -12. Solve 0 = -3*a - 3*y - 15, -2*y = y + q for a.
-4
Let d = -86 - -88. Solve -b = -x + 3*b + 7, -3*x = -d*b - 1 for x.
-1
Let f(w) = -w**3 - 3*w**2 - 2*w. Let h be f(-2). Solve h = 2*g + 5*p + 11, 2*g + 2*g + 4*p + 16 = 0 for g.
-3
Let w be ((-22)/6)/((-2)/6). Let y be (12/(-5))/((-3)/10). Suppose -4*b - y = 4*h, -w = 3*b + 4. Solve -h*o = t - 1, 2*t - 4*o = 10 + 2 for t.
4
Let w(f) = f**2 - 4. Let r be w(-3). Let y be (-4)/20 - 152/(-10). Let l be ((-5)/3)/((-5)/y). Solve -l*o + r*h = 0, h - 5 = -6*o + 2*o for o.
1
Let h = -9 + 14. Suppose 0 = -h*q - 0*q. Suppose q = -u - u + 52. Solve 0*n + u = 2*c - 4*n, 5*n + 25 = c for c.
5
Let l be (3/6 - -1)*2. Suppose l = 2*f - 31. Suppose j = a + 4 - 1, 0 = -3*j - 5*a + f. Solve 5*q = -0*o - j*o + 9, 0 = o + 2*q - 3 for o.
1
Let q be ((-94)/3)/(2/(-3)). Suppose -g + q = 12. Suppose 6*r - 2*r = 5*w + g, -14 = -r + 3*w. Solve 4*t - 8 = -5*f, 0*f - 5*f + 35 = -r*t for f.
4
Let h(c) = c**3 - 8*c**2 + 7*c + 1. Let n be h(7). Solve -5*u - 3 = -w - w, n = -2*u + w for u.
-1
Suppose -4*b - 78 = -3*b. Let j be (-325)/b - (-2)/(-12). Solve 0 = 2*h - 0*h + 4*s + 2, j*h - 2*s + 24 = 0 for h.
-5
Suppose n = 7*n - 24. Solve 2*f + n*u = 0, 0*u - 1 = 2*f + 3*u for f.
-2
Let g be (-31)/4 + 7 + (-30)/(-8). Solve -8 = 4*z - g*u, 0 = 2*z - 4*u - u + 4 for z.
-2
Suppose 0 = -5*i - s + 56, -s = 5*i - 3*s - 68. Let c(h) = h**3 - 12*h**2 + h - 10. Let b be c(i). Solve -y = 4*w - 9, y + 18 = -b*y + 3*w for y.
-3
Suppose -p + 22 = -5*h, -4*h + 5*h - 58 = -5*p. Solve 8 = 3*o + 2*k, 5*o - 3*k + p = 3*o for o.
0
Let g = -4 - -5. Let f be 6/(-2) - -3*g. Solve 3*t = -v + 2*t, -5*v + 4*t - 45 = f for v.
-5
Let o = -4 + 8. Suppose 2*h = 4*u - 66, 3*h = o*u - 22 - 43. Solve -3*x - 5*y - u = 0, -6*y = -3*y + 12 for x.
1
Let d(a) = a**2 - 3*a - 14. Let w be d(6). Solve 8 = -4*c - u + w*u, -5*c + u = 10 for c.
-2
Suppose -c = -k - 11, 0 = -2*k + k - 4*c + 4. Let p = 18 + k. Let z be 6/30 + 28/p. Solve -z*t + 6 = 0, 2*a - 2*t + 6 = -4 for a.
-3
Let m(y) = -y**3 - 5*y**2 - 3*y + 4. Let k be m(-4). Solve -2*a + 2*g - 4 = 0, -2*a + k*g - 5*g = -24 for a.
2
Suppose 3*w = 4*w - 5. Suppose y - q + 3*q - 3 = 0, -3*q - 15 = -w*y. Solve -j = -y*d + 9, 3*d - 8*d + 15 = -j for j.
0
Let l(d) = -d**2 - 4*d + 4. Let k be l(-3). Solve -2*u - 2*q = -3*u - k, u - 1 = -2*q for u.
-3
Let u(j) = -j**2 - 7*j. Let w be u(-7). Let z be (w - -1) + 0 - -2. Solve 0 = 3*r - 3, -z*a - 2*r + 9 = 22 for a.
-5
Let b be (-1)/(-2) + (-52)/8. Let w be 0*(b/4 + 2). Suppose 2*m + 3*m - 20 = w. Solve 5*f - 15 = 5*k, m*k - 2*k + f = 0 for k.
-1
Let o = -2 + 15. Solve -o = -4*v - q, -3*v + 4 = -2*v + q for v.
3
Let r(x) = x**3 + 4*x**2 - 1. Let i be r(-3). Let a = i - 3. Solve 0 = 5*d + 4*g + 3, -a*g + 13 - 1 = d for d.
-3
Let s be (7 - 2)*(-1 + 2). Let v(x) = -x**3 + 5*x**2 + x + 1. Let u be v(s). Let a = u - 2. Solve 4 = -4*j + a*t, -j + t - 3*t + 2 = 0 for j.
0
Suppose 0 = 4*z - 6 - 10. Suppose -2*f = -z*f + 4. Solve 2*j = 2*v - 3*j + f, j + 10 = 3*v for v.
4
Suppose -5*v - 71 = -1. Let p = 14 + v. Solve 2*w = 2*f - 16, 2*f + 2*w = -p*f for f.
4
Let j(c) = c**3 - 4*c**2 - 8*c - 4. Let s be j(6). Suppose 0 = -0*h - 4*h + s. Let f(y) = -y - 1. Let m be f(-6). Solve -4*v + 3*u = h, v - 1 = -2*u - m for v.
-2
Let q(x) be the third derivative of -x**4/24 + 5*x**3/2 - 3*x**2. Let v be q(9). Solve -8 = -4*j + v*j + 2*z, 4*j = -3*z - 15 for j.
-3
Let q(z) = -7*z + 4. Let f(t) = 6*t - 3. Let d(a) = -6*f(a) - 5*q(a). Let b be d(-4). Solve b = v + y + 1, 4*y = -3*v + 4 for v.
0
Let a be (-7)/(105/(-6))*5. Solve 1 - 4 = 3*x -