e j(-6). Solve d*m + a - 17 = -m, 2*m + 2*a - 14 = 0 for m.
5
Let s be (-18)/(-4) + (-3)/(-6). Suppose 3*p = s*g - 25, -2*p + p - 20 = -4*g. Suppose -g = -b - 1. Solve -3*x = -5*t + b, 2 - 8 = -x - 2*t for x.
2
Suppose 0 = 3*s - 6 - 0. Solve -4*f + 16 = 0, 9 = -3*j + 2*j + s*f for j.
-1
Let v = 1 + 9. Suppose v*c = 12*c - 4. Solve -u + t = -10, -c*t - 18 + 3 = -u for u.
5
Let b(n) = n**3 + 3*n**2 - n - 3. Let d be b(-3). Suppose d = -2*m - v + 27, -v = m + v - 9. Let x be m/10*40/6. Solve x = -o + 4*h, 5*h = -o - 1 + 9 for o.
-2
Suppose 0 = -4*m + 4. Solve 4*x - 20 = 4*b, 5*x - 6 = -5*b - m for b.
-2
Let d = 2 + -8. Let x(o) be the first derivative of o**4/4 + 7*o**3/3 + 7*o**2/2 + 8*o + 2. Let s be x(d). Solve f + 3*v = s*f, 4 = 3*f - 5*v for f.
3
Let l be 0*-1*(-3)/(-6)*-2. Solve -4*m - d + 7 = l, -d = 5*m - 6 - 2 for m.
1
Suppose -1 = -3*b + 8. Solve 22 = b*x - 5*f, -3*f = -2*x - f + 8 for x.
-1
Let i(x) = -x**2 + 7*x + 10. Let p be i(7). Let k be (-2 + 15/6)*p. Solve -k*r - 13 = 4*q, -r = -q - 6*r - 7 for q.
-2
Suppose l = 12 - 7. Solve l*r + 15 = 2*r, 5*d + 10 = -4*r for d.
2
Let w = 157 + -142. Solve -3*m - 4*x + 4 = -3, m - 5*x = w for m.
5
Let s(o) = -3*o - 27. Let l be s(-11). Let a = 20 + -14. Solve 0 = -j + l*j - 2*n - a, 4*j - n = 3 for j.
0
Let h be (-4)/(-3)*(1 - -2). Solve 0 = h*t - 3*u - 3, 4*u + u - 30 = -5*t for t.
3
Suppose -7*u = -9*u + 2. Solve 0 = 3*i - 4*n + 7, -5*i = -2*n - 8 + u for i.
3
Suppose 0 = -3*x + 20 - 5. Let c = x + -4. Let y be (0/(-1))/c - -3. Solve y*h - 15 = -5*b, -2*h + 6*h = -3*b + 20 for h.
5
Let q be (-8)/(-24) + 5/3. Solve 5*j + h = q*j - 6, -5*j = -h + 2 for j.
-1
Suppose -7*l + 16 = l. Let g(b) = -b + 5. Let d be g(4). Let t be d*6*(0 - -1). Solve l*j - v + 6 = 0, -t - 6 = 2*j - 4*v for j.
-2
Let n(d) = d**3 - 7*d**2 + 5*d + 6. Let j be n(6). Suppose -6*w - u = -w - 6, 4*u + 16 = 0. Solve 3*c - 5*s - 8 + 1 = j, 0 = -w*c - 3*s + 11 for c.
4
Suppose -3*o = -o - j, -3*j + 10 = -o. Let a = 58 - 58. Suppose 2*h + o*c + 1 + 1 = 0, 5*h + 2*c - 1 = a. Solve -h = k + 3*b, -4*b + b = -2*k - 2 for k.
-1
Let t be (-4 - -7) + 2 + 6/(-2). Solve w = 2*l + 2, l = -0 - t for w.
-2
Let q be (-2 + 2)*(-1)/1. Suppose -3*y + 19 + 11 = q. Solve 5*g - k + 10 = 0, -g - y = 4*g + k for g.
-2
Let i(n) = 2*n - 4. Let z be i(4). Let o be (-2)/((z + -2)/(-2)). Solve 4*p + 8*r - 4*r = 0, 4*r + 30 = o*p for p.
5
Let y = 2 - -1. Suppose -4*h = -y*d - 17 - 1, -2*h + 3*d + 12 = 0. Suppose 3 + 1 = 2*b. Solve b*s + 2*s + 13 = -h*u, 0 = s + 4*u + 13 for s.
-1
Let r be 96/9 - (15/9 + -2). Suppose 0 = 3*d + o - 3, -2*d + o + 5 + 2 = 0. Solve 5*u = u + 3*n + r, 4*n = 2*u + d for u.
5
Let x be (-1)/(((-28)/(-8))/(-7)). Solve 4*h = 5*d + 7 + x, 3 = -2*d + h for d.
-1
Suppose 4*p + 5 = 2*i + 29, -18 = -3*p - 3*i. Suppose -4*f + 7*f - p = 0. Solve -g + 13 = -5*s - 3*g, f*g + 10 = -4*s for s.
-3
Suppose -5*t + 4*t + 2 = 0. Solve -8 = 2*p - 3*y, -1 - 11 = 3*p - t*y for p.
-4
Let n(z) = 3*z**2 - 4*z - 1. Let o be n(3). Suppose 0 = 2*p + b - 17, p + 3*b = -0*p + 6. Let t = o - p. Solve -t*h + 2*h - a + 1 = 0, -4*h + 5 = 5*a for h.
0
Suppose 0 = f + 8 - 3. Let d(k) = -k**2 - 5*k + 2. Let n be d(f). Solve 0*u = m + u - 9, -n*u = 3*m - 23 for m.
5
Let q be 1/7 + (-39)/(-21). Solve 0 = 2*h, -4*h = 4*v - q*v - 10 for v.
5
Let m(n) = -n**2 - 21*n + 27. Let o be m(-22). Solve s - 5*g + 4 - 14 = 0, -20 = -3*s + o*g for s.
5
Let q(z) be the first derivative of -z**3 + z**2/2 + 3. Let p be q(1). Let a = 2 - p. Solve 23 = -3*u + a*k, -2*u + k - 3 = 4 for u.
-1
Let u = 2 + 5. Suppose -5*c + u + 7 = -g, 2*g = -4*c + 14. Solve 5*a - l = 6, -l = -0*a - c*a + 2 for a.
2
Suppose 5*d - 2*d - 6 = 0. Let c be 23 + 2 + d/1. Let o be (4 - 2)/(2/c). Solve -2*z = -3*h - 0*h + 16, -o = -h + 5*z for h.
2
Let v = 12 - 10. Solve 0 = -j - 4*o + 13, 4*o + 7 = v*j + j for j.
5
Let r(u) = -u + 4. Let z be r(2). Solve 5*g = 2*g + 3*w + 18, -z*w - 15 = -3*g for g.
3
Suppose -j - 14*j = -75. Solve 6*q + 10 = q - n, 0 = -2*q + j*n - 4 for q.
-2
Let k(z) = z**2 - z - 6. Let q be k(5). Suppose o + 2 + q = 0. Let j = o + 23. Solve 0 = -d + 3*x - j, d - 2*x + 6 = -d for d.
-1
Let o = 37 - 35. Solve b + v + 8 = o*v, 4*b - 5*v + 37 = 0 for b.
-3
Suppose -2*n + 5*m + 9 = 0, 0 = 2*n - n + 2*m. Let v be 0*(-1)/n*-2. Solve -5*j = k + 2*k + 22, -j - 5*k = v for j.
-5
Let v = -8 - -12. Suppose 3*r - v*z = -4, -4*z + 43 - 15 = 3*r. Solve 3*o - 20 = -2*h - 2*o, 5*h + r*o - 33 = 0 for h.
5
Let h(x) = -3*x - 3. Let c = -7 + 4. Let j be h(c). Solve -k - 4*n = -3*k + 8, 3*n = 3*k - j for k.
0
Suppose -10 = y - 2*y. Let w be ((-16)/20)/((-4)/y). Solve -f - 3*d = 8, w*d = -5*f - 3*d - 20 for f.
-2
Let g be 7/(21/(-6)) + 0. Let z = g - -5. Solve 3*c - 5 = 2*p + 1, 4*c = -z*p + 25 for c.
4
Suppose 9*a - 34 = -16. Solve 2*j = -5*c + 18, a*c = 3*j - c + 15 for j.
-1
Let s be (-2)/(-3) + 2/(-3). Let v = 30 + -25. Solve -4*b = -v*l, 3*l + 0*b - 5*b - 13 = s for l.
-4
Suppose 4*p + 2*w + 22 = 0, -3*w - 32 = 5*p - 4. Let o = -2 - p. Let s = 1 + o. Solve s*t - 14 = -2*c, c + 3 = 4*t - t for c.
3
Suppose -3 = 3*z - o - 1, 3*z + 7 = -4*o. Let l = 1 + z. Suppose -g = -l*g - 2. Solve -4*r = 20, 5*b + g*r + 1 = 2*b for b.
3
Let j(o) = o**3 - 21*o**2 + 38*o + 3. Let f be j(19). Let n be 4/14 + 94/14. Solve -2*u = -f*v + n + 5, 0 = 5*u + 2*v - 8 for u.
0
Let u(t) = t + 12. Let g be u(-6). Let j(m) = m**3 - 6*m**2 - 2*m + 3. Let k be j(g). Let c = -5 - k. Solve -4*b - c*y = 8, 2*y + 14 = -0*b - 4*b for b.
-5
Let m(o) = 2*o + 32. Let w be m(-16). Solve 4*x - f - 4*f + 27 = w, -3*x = f + 6 for x.
-3
Let o(m) be the third derivative of 0*m + 2*m**2 - m**3 + 1/24*m**4 + 0. Let w be o(6). Solve -5*i + 2 = -4*u, -4*i - 11 = -w*u + u for i.
-2
Let j(o) = 4*o - o**2 + o**3 - o**2 - 5*o. Let l be j(3). Solve -l*c + c = 4*w - 21, 4*c + 4*w = 16 for c.
5
Suppose 0*m + 16 = 4*m. Let b be 5/10*-4 - -85. Suppose -m*t = -b + 3. Solve -5*v - 11 = -4*f, -5*v - 5*f + t + 5 = 0 for v.
1
Suppose 0*x - 2 = -x. Suppose 4*r - 3*r - 3*o = -4, -2*o - x = -3*r. Solve 5*j + 1 = -4*l, 4*j = -r*l - 1 - 1 for l.
1
Let b(h) = -h**3 + 5*h**2 + 7*h + 2. Let u be b(6). Let r be 2/u - (-59)/4. Solve -a + 5*g - 3 = 0, -5*a + 0*a - 5*g = r for a.
-3
Let x(c) = 6*c**2 - 5*c + 0*c + c**3 - 4 - 3*c. Let r be x(-7). Solve -4*o + 16 = 2*m, m - o = r*o - 16 for m.
0
Suppose 2*h - 7 = -b, -4*h + 2*h + 9 = 3*b. Solve j + 26 = -5*k, 0 = -3*j - h*k - 7 - 11 for j.
-1
Suppose 0 = 3*i - 3*g, -i + 12 = 2*i + 3*g. Suppose -t - t - 20 = 0. Let s = t - -14. Solve s*y - 10 = -b - b, i*y + 4 = -4*b for b.
-3
Suppose 3*j - 12 = -j. Suppose 1 = 3*a - 2*u - 0*u, j*a + 2*u = 17. Solve c - 10 = -3*n, -a*n + 13 - 2 = 2*c for c.
1
Let w = 28 + -24. Solve 4*s + 0*c = 4*c + w, 2*c = 5*s + 4 for s.
-2
Let m(j) = j**2 + j - 18. Let r be m(-5). Solve 2 = r*k + 4*d, 17 = 7*k - 2*k + 4*d for k.
5
Let g = -4 + 4. Suppose 2*h - 8 = p, -2*h + 0*h = -5*p - 8. Solve 2 = 2*y + 5*i - 9*i, -h*y - i + 13 = g for y.
3
Let h = 4 - -1. Let a be (-1)/(-2) - 18/(-4). Suppose -a*l + 40 = 3*g - 7*g, 10 = 5*l + 2*g. Solve 3*z + l*u + 6 = h*z, 4 = -z - 5*u for z.
1
Suppose m = 4*j + 37, 0*m - 3*m = -2*j - 81. Suppose -m = -4*d - 5. Solve d*w - 9 = -4*l, -4*w = -9*w + 3*l + 37 for w.
5
Suppose -6*k = -2*k - 36. Suppose -8*v + 20 = -4*v + 4*l, -l = -4. Solve -7 = d + 2*h - v, -k = 3*h for d.
0
Let w(f) = f**2 - 8*f - 7. Let c be w(9). Solve -3*h + 4*n - 3 = 0, 0 = c*h + 5*n + 21 + 4 for h.
-5
Let a be ((-32)/10 - -4)*(-5)/(-2). Solve 24 = -4*v - x, x + 12 = -a*x for v.
-5
Let u = -215 + 218. Solve 8 = 3*m + 2*x, u*m - 12 = -4*x + 4 for m.
0
Let d be 0/(-2) + 8/(-1). Let z be ((-4)/d)/((-2)/(-8)). Let i = z - 0. Solve 3*t - 9 - 10 = 4*o, i*t - o = 6 for t.
1
Suppose 3*k = 4*k - 35. Suppose 3 = i - 5*d - k, 2*i = -d + 43. Suppose 5 = 5*a - 40. Solve -4*j + 5*c + a = -1, 4*c = -3*j + i for j.
5
Let r(w) = w**2 - 5*w + 5. Let a(i) = 3*i**2 - 9*i + 10. Let s(m) = 2*a(m) - 5*r(m). Let c be s(-8). Solve n - 4*n - 3*q - 3 = 0, c*q + 35 = 5*n for n.
4
Let d be (-1)/(-2) - (-11)/2. Suppose -6 = -4*k + 2. Suppose -k*z + 16 = 5*m, -6*m + 30 = -m - 5*z. Solve -5*i + v = -18, -8 = -m*i + v + d for i.
4
Let r(o) = o**2 - o + 2. Suppose -3*f + 0*f + 6 = 0. Let s be r(f). Solve 4*z + 14 = z + s*g, -8 = 3*z - g for z