-5*m - 3*c - 9, -d*c - 12 = 4*m for m.
-2
Suppose -2*m + 6*m + 3*x - 19 = 0, -4*m - 4*x = -20. Let a = -3 - -5. Solve -2*u + 6 = -a*c - c, -3 = -u - m*c for u.
3
Let c = 16 - 14. Let j(n) = -6*n**3 + n. Let k be j(-1). Suppose k*a - 3*a = 22. Solve 37 = c*o + 5*v + a, o + 9 = 3*v for o.
3
Suppose -4*t = -2*t - 12. Suppose 0 = 17*s - 26 - 25. Solve 1 - t = -5*y, -f = -s*y + 3 for f.
0
Suppose 3*s + 2*i - 52 = 0, -2*i = 2*s + 3*i - 42. Suppose 0 = 4*m - 0 - 64. Solve 4*v = -o + 2*o + s, -m = 3*o - 4*v for o.
0
Let q = 3 + -13. Let b be (-30)/9*12/q. Let l(u) = u**2 - 4*u. Let f be l(b). Solve 2*s + 6 = 0, -2*w - 18 = 4*s - f for w.
-3
Suppose 5 = 4*t + f, 5*f = -4*t + 3*t - 13. Solve 0*i - t = i + 3*p, 3*i + 3*p = 0 for i.
1
Let p(k) = -4*k**3 - 2*k**2 + 3*k + 2. Let m be p(-2). Solve 2*t - 6 = -5*i + 2, 5*t - m = -4*i for t.
4
Suppose -2*l + 6*l = 0. Suppose g + 5*q = -3*g - 53, l = -3*g + q - 35. Let a be -4*(69/g + 0). Solve 3 = k - 0*k, -k = -4*w - a for w.
-5
Let k(g) = g**3 - 22*g**2 + 20*g + 23. Let a be k(21). Solve 0 = 2*j - 0*j - a, -w - 3 = j for w.
-4
Suppose 3*h + m = 9, 4*h - m + 6*m - 12 = 0. Suppose -h*r - 6 = 3*n, -4*n - n = r - 2. Solve 8 = -4*p, 3*p = -c - 0*c - n for c.
5
Suppose 2*g + 5 + 1 = 0, -2*q + 4*g + 18 = 0. Solve -q*k + 4*p = 0, 0 = -k - 2*p + 1 - 11 for k.
-4
Let m = -13 + 18. Solve -2*k = -m*b - 20, -4*b - 2*k + 7 = k for b.
-2
Suppose 3*a + 5*t + 10 = 0, 3*t - 10 = -5*a - 0. Let m be 0/a*(-2)/(-4). Solve -3*j + 3 = 0, -5*j + 1 = -l - m*l for l.
4
Suppose 4*b = -4 - 0. Let k be b/((4 + -3)/(-13)). Let j(x) = x**3 + 5*x**2 - 7*x - 6. Let v be j(-6). Solve v = -4*q + g + 18, q - k = -2*g - 2*g for q.
5
Suppose -3*d - 4*y + 48 = -y, -5*d - y = -64. Let w = d + -8. Solve 0 = p - w*k + 8, -4*p - 10 = -2*p - 5*k for p.
0
Suppose -m + 2*o - 3*o + 6 = 0, -o + 12 = 4*m. Solve 4*s - m = 5*v, -2*v + 0*s - 8 = 2*s for v.
-2
Let a = 7 + -15. Let d(o) = 2*o + 17. Let c be d(a). Solve -2*v + 3*r = 10 - c, -r = -4*v - 3 for v.
0
Let p be 19/(-3) - (-2)/6. Let w be ((-14)/p + -2)*0. Suppose w*b + 4*u + 4 = -3*b, 0 = -4*b + 2*u + 24. Solve 0*a = -3*a + 5*y + 15, -5*y - 15 = b*a for a.
0
Suppose 3*p - 28 = -4*p. Solve -3*v - 12 = -v + 4*w, p*w + 20 = 0 for v.
4
Let j be 20 + 0*3/9. Suppose -5*n + 0*n - j = -5*v, 4*v - 12 = 2*n. Solve -2*h - 3 = -s, -3*s + 5 = v*h - 4 for h.
0
Suppose -2*q = 2*q + 3*s - 3, -4 = -4*q - 4*s. Suppose q = -3*r - 25 + 94. Solve 0 = j - 4*m + r, -3*j - j - 4*m = -8 for j.
-3
Let j(q) = -q**2 - 5*q + 1. Let k be j(-5). Suppose -3*c = -k - 5. Solve 2*b + 8 = 2*d, -5*d - 8 - c = b for d.
-1
Let v(q) = -q**2 + 6*q. Let r be -6 - -3 - 9*-1. Let l be v(r). Suppose -m + 0*m = l. Solve 5*z + 25 = i + 6, m = i + 4*z + 17 for i.
-1
Suppose 5*l = -4*f + 51, 4*l = 3*f - 0*f - 15. Solve -3*m - o + 4 = -f, 3*o - 24 = -4*m for m.
3
Suppose x + 2*t - 28 = -3*t, -36 = -2*x - 5*t. Let j be 0/(-7) - x/(-2). Solve 0 = -2*w - 2*n + 1 - 5, 5*n = -j*w - 12 for w.
2
Let p be (-42)/(-9)*(-48)/(-56). Solve -b = -v - 3, -p*b + 2*b = -5*v - 15 for v.
-3
Let q = 4 + -1. Suppose 3*l - 3*d = -3, 2*l + 0*l - q*d = -5. Let i(z) = z**2 - 2. Let k be i(l). Solve 0 = -4*v - 5*h + 4, -4 = -4*v + k*h + 3*h for v.
1
Let w be ((-43)/2 - 1)*68/(-85). Suppose -2*k + 7*k - 20 = 0. Solve 2*u - w = -k*j, 0 = -0*j + 4*j - 20 for u.
-1
Let j be 4/(-6) + 16/6. Suppose j*k + 4*q = -2*k, -3*k + 4*q = -28. Suppose 8 - k = 2*c. Solve 2*d = u + c*u - 10, -4*d - 16 = -4*u for u.
2
Suppose -w + 3 = -0. Let v be (-4)/(w/((-9)/2)). Solve -4*y = -0*g - 3*g - 9, -3*g + v = y for g.
1
Suppose c - 2 - 3 = 0. Suppose 5 = 5*j - c. Let q be 2 - (1 + (-1 - 1)). Solve 2*w - 3*w - 5*z = -q, -3*z - 6 = -j*w for w.
3
Let w = -35 + 38. Suppose 2*u + 2*j = 4, 5*u + 2 - 18 = -3*j. Solve 3*x - w*f + 9 = 0, -4*f + 6*f = u*x + 3 for x.
1
Suppose r = -r - 6. Suppose 0 = -2*m - 5*o + 1, -3*m = -2*o - 0*o + 8. Let q = m - r. Solve 7 + q = 2*h + 2*k, 5 = 5*k for h.
3
Suppose -3*n = -2*u - 4, -n = 2*n - 3*u - 6. Solve 5*l + 24 = 5*p + l, n = 3*l + 3 for p.
4
Let y be ((-3)/3 + -2)*3. Let q(m) = m + 21. Let o be q(y). Suppose 5*h - o = -2. Solve h*i + 3*i - 3*n = 24, -4*n - 18 = -2*i for i.
3
Let t be (-18)/12*(-66)/9. Solve 5*p - 5 = 0, -3 = 4*y + 2*p + t for y.
-4
Let k be -2 + 4 + 2 + -2. Suppose 0 = -3*h - 9, -4*y = -k*h - 1 - 9. Let m be (y/(3/15))/1. Solve -5*o = 4*x - 3*x - 1, m*x + 5*o = -15 for x.
-4
Suppose 4*o + 27 = 111. Solve -p + o = 2*p + 5*i, -4*p - 2*i = -14 for p.
2
Let p = 24 - 12. Suppose -f + 5*f = 24. Suppose 10*d - 16 = f*d. Solve -t = 3*i - p, 3 = -d*t + 3*i + 6 for t.
3
Let r be -2 - ((-4)/(-8))/(2/(-88)). Solve j - 3*h = -2, j = -2*j - 5*h - r for j.
-5
Suppose 3*k - 1 = 4*k. Suppose 4*n + 22 = 5*o - 3, -o + 16 = -3*n. Let b be k*(-3)/(0 + o). Solve 0 = 4*j - c - 21, 0*c = b*c + 3 for j.
5
Let p = 33 - 29. Suppose 4*f - 14 = 3*f - 2*b, f - 5*b + 21 = 0. Solve 4*y - 4*m = -f, 0*m = p*y - m + 13 for y.
-4
Let d(p) = -p - 8. Suppose 0 = -2*z + 6 - 18. Let u be d(z). Let q be -4*(u + 6/4). Solve -2*m - 3*o + 4 = 0, q*m + 3*m - 23 = -o for m.
5
Let c = 224 + -132. Suppose -2*n + j + 30 = c, -6 = -3*j. Let f be 17/5 - (-12)/n. Solve f*y - 2*y + q + 3 = 0, -4*q = y for y.
-4
Let m(q) = q**3 - q**2 - 6. Let b be m(0). Let a(j) = -j - 4 + 1 - 4 + 3. Let i be a(b). Solve 12 = 3*y + 3*v, i*v = -3*y - 3*v + 10 for y.
5
Let n be (12/(-15))/((-2)/15). Let j(a) = 2*a**2 + 1 - a**2 - 5*a - 5. Let c be j(n). Solve -m + c*m - h + 1 = 0, -2*h = 6 for m.
-4
Suppose -5*j + 35 = 5*d, 0 = -5*d - 4*j + j + 29. Solve -2*u - 4*o = 30, u + 10 = -5*o + d*o for u.
-5
Let h = -1 - -8. Let r = 12 - h. Suppose -d + l + 3 = -5, -5*d - 4*l - 5 = 0. Solve -g = 3*j - 5, 0*j = -d*j - r*g + 25 for j.
0
Suppose 3*w - 5 = 7. Solve w*g - 3*g + 13 = -2*n, -5*g - 3*n = 30 for g.
-3
Suppose 27 - 11 = -4*y. Let x = 2 - 4. Let p be (0/x)/(-6 - y). Solve p = 3*s - 2*f - 11, 4*s + 5*f + 2 = 32 for s.
5
Let o(x) = -2*x - 5. Suppose -3*g - 11 = 4*d - 0*g, 0 = -d + 5*g - 20. Let u be o(d). Solve s = 5*q - 0 + 5, u = -5*q - s for q.
-1
Suppose 3*i = -2*a + 69, 2*a = -4*i + 65 + 25. Let t be (-6)/(-21) - 510/i. Let p = 6 - t. Solve 7*j = 3*j - 2*w + p, -2*w = -j - 5 for j.
5
Let b(y) = -y**3 + 6*y**2 + y - 3. Let h be b(6). Solve -2*w - v - 4*v + 5 = 0, 3*v = -3*w + h for w.
0
Let s(y) be the third derivative of y**6/120 - 3*y**5/20 + 3*y**4/8 - y**3/6 - 5*y**2. Let o be s(8). Solve -4*p + r - 4 = 0, -3*p - 2*r - 21 + o = 0 for p.
-2
Let c be (4/(-2))/(11/(-33)). Solve -4*u + 2*p = -u - c, 5*p + 15 = -3*u for u.
0
Let f(n) = n**2 + 2*n. Let d be f(-3). Let k be -1 + (0 + d)/1. Solve 2*w - 6 = -4*r, k*w + 2*r - 3*r + 4 = 0 for w.
-1
Let x = -42 + 47. Solve 5*t = 2*q - 0*q, 0 = 5*t - 3*q - x for t.
-2
Suppose 3*y + 4*s - 2 = 16, -6 = -y - 3*s. Let j be -2 - (-1 - (y + -3)). Solve 3*q + 3 = 3*c, 8 - j = 2*c - q for c.
5
Let k be (1/2)/((-13)/26). Let j = 6 + k. Solve -4*w + 2*w - n = 10, -25 = j*w - n for w.
-5
Let k = -3 + 11. Solve 0*n + n + 2 = -r, 4*r = -k for n.
0
Let r be ((-8)/(-6) - 2)*-3. Solve -d + u + 1 = -3*d, 5*d + 3*u = -r for d.
-1
Let s(g) = -g**2 - g. Let l be s(0). Suppose 2*j - 12 - 34 = l. Let a = 47 - j. Solve 12 = 4*n, 2*y - 2*n = 8 - a for y.
-5
Suppose k = w - 5, 3*w - 13 = -k + 3*k. Let d(z) = 31*z - 1. Let c be d(k). Let i be (-1)/4 - c/12. Solve 4*p = -4*l + 4, -2*p + 11 = i*l + p for l.
4
Suppose -2*s + 2*n - 5 = -3, 0 = 5*s - 2*n - 10. Suppose v = -s*v + 15. Solve 4*z + 2 - 1 = -v*q, -q + 5 = 4*z for z.
2
Let s(j) = 4*j**2 - 18*j + 6. Let k be s(5). Solve -3 = -3*n + 2*r, -5*r - k = 5*n + 4 for n.
-1
Let h be 1*(-12)/(3 - 7). Solve -q = 2*p - h, -2*p + 3*q + 15 = -0*q for p.
3
Let i be ((5 + -3)*1)/(-2)*-4. Solve 0 = g - 3*u - 7, -2*g - i*u = -g for g.
4
Let f = -27 - -17. Let l be (-18)/(-5) - 4/f. Suppose 0 = l*x - 8. Solve 2*n - 3*v - x = 3, 3*n = v + 11 for n.
4
Let v(t) = -5*t + 5. Let y be v(-4). Let z be 0*1/(-2 - -4). Suppose 5*r = y - z. Solve -2 = h + c, 5*h - 2*c + 6 = -r*c for h.
0
Suppose -6 = -4*g + 2*g. Suppose -g*y = -y - 36. Solve l + y = 8*w - 4*w, 2*w = 4*l + 16 for w.
4
Let k(n) = -3*n + 9. Let u(o) = -2*o + 5. Let q(x) = -3*k(x) + 5*u(x). Suppose 3*r = -13 - 8. Let p be q(r). Solve -d = 3*d + g - 1, d + p*g = -14 for d.
1
Suppose -7 = j + 3*r - 31, -3*j + r + 3