c - m, -5*x = -4*c for c.
-5
Let f(m) = -m**2 - 7*m + 3. Suppose 5*a + 3*d + 39 = 4*d, 24 = -4*a - d. Let r be f(a). Suppose r*h = -2*h + 10. Solve -6*v + h*v - 8 = 0, -5*v = 5*x - 5 for x.
3
Suppose 5*b - 10 = 10. Let d be (80/4)/b - 0. Solve 4*o = 7*o + 4*t, t = -d*o for o.
0
Suppose -2*l - 2*k = 0, 6*l - 4*l = 2*k + 16. Solve -8 = 3*v - l*c, v - 5*c = 6*v - 10 for v.
0
Let n = 25 - 15. Suppose n = 3*l + 2*l. Solve h + 2*h + 1 = l*x, 4*x = -16 for h.
-3
Let p be (-4 - -9) + 2/(-4)*2. Solve 0 = q - 3*q + 6, -p*w - 22 = -2*q for w.
-4
Let d = 5 + -3. Let l(s) = -s**2 + 17*s + 68. Let x be l(20). Solve 3*k - d*k - x = -3*b, 0 = 2*b - 4*k + 18 for b.
1
Let v(p) = p**2 + 8*p + 17. Let r be v(-5). Let u(h) = -2*h**3 - h - 1. Let j be u(-1). Solve -j*o - r = 2*z, 4*o + 1 = o - 4*z for o.
-3
Suppose 0 = r - 3*w + 7, -1 + 0 = 4*r - 3*w. Solve 3*q + 2*q = -r*p, 3*q = 2*p for q.
0
Let w(r) = -r**3 - r**2 + r + 2. Let d be w(0). Suppose 3*h + 2*u - 21 = -d*h, 0 = -4*h + 5*u - 3. Solve -q + h*q - 4*m = 24, -3*q - 5*m = 8 for q.
4
Let p(x) = -x + 14. Let a be p(14). Suppose 2*q = -2*s + 18, 4*s + a*s = 3*q + 1. Solve -3*n = -q*y - 0*n + 37, 4*n = -3*y - 1 for y.
5
Let w = -26 - -38. Solve q - 3*q = -4*h + w, 5*h - 5*q - 10 = 0 for h.
4
Let h(l) = l**2 + l - 7. Let j be h(-5). Solve -2*n = 5*i - 17, -n - 5*i + i = -j for n.
1
Let z(l) = l**3 + 4*l**2 - 8*l - 12. Let n be z(-5). Solve -n*f + 1 + 3 = 5*j, -7 = -3*f - 2*j for f.
3
Let n(g) = g**2 + 10*g. Let l be n(-10). Solve -1 = 5*r - 3*r - 5*i, 2*r - 3*i - 1 = l for r.
2
Let m(u) = u**3 + 5*u**2 + 2*u + 2. Suppose -6*l + 4*l - 8 = 0. Let q be m(l). Solve -2*x + q = 0, -4*n + 8*n - 22 = -2*x for n.
3
Let d(m) = -2*m + 7. Let z be d(5). Let j be 28/(-4 + 8) + z. Solve a + 17 = -j*u, -5*a - 8 = 5*u + 2 for a.
3
Let b(a) = a**3 + 14*a**2 - a - 14. Let x be b(-14). Solve -g + 4*l + 16 = x, -6*g + 9 = -3*g + l for g.
4
Suppose 3*v = 13 + 23. Let x be ((-8)/(-6))/(8/v). Solve -7 = -d + x*b + 5, -5*d + 3*b + 25 = 0 for d.
2
Suppose 2*l + 2*l - 3*n - 16 = 0, -2*n = -l + 4. Solve -d - 2*d = -p + 11, 3*d - l*p + 8 = 0 for d.
-4
Suppose 0 = c + 6*t - t + 4, 3*c + t - 44 = 0. Solve -5*n + 2*n - c = -a, 3*a = -5*n - 22 for a.
1
Let m = 39 + -28. Solve -3*y + m = -2*i, y - 16 = -3*y + 4*i for y.
3
Suppose -m + 15 = 2*m. Let d = m + -5. Solve -3*z = -y + 2 - d, 0 = 3*z - 2*y + 1 for z.
-1
Let t = -2 - 1. Let l be (-2)/12*t*0. Solve 1 = 4*g + i, g + l = 2*i + 7 for g.
1
Suppose 0 = -r - 4*l - 16, 2*r + 0*r + 5*l = -20. Suppose r*p + p = 4. Solve m + 6 = -2*z, 4*m - p*z - 12 = -m for m.
0
Let m(b) = -2*b + 63. Let h be m(26). Solve 2*u = i + 2 - 4, -2*i = 3*u - h for u.
1
Let l = 22 + -19. Solve -l*t - 5*v + 3*v + 25 = 0, -5*t = -5*v for t.
5
Let q(a) = a - 4. Let p(g) = 4*g + 2. Let d be p(1). Let y be q(d). Solve 2*t = -2*z, -5*z + 2*t = -y*t - 45 for z.
5
Let k = -5 - -10. Suppose 6 = -2*w + k*w. Solve 0 = -w*q + 6*q + 5*x + 12, -2*q + 8 = -x for q.
2
Let l = 24 + -39. Let b = -13 - l. Solve -5*y + 40 - 15 = 0, -b*y + 14 = 4*q for q.
1
Let f = 8 - 6. Suppose 4*o = l + 16, f*o + 5*l + 14 = -0*l. Let y be -1*(o/(-3) + 1). Solve -3*c + 4*p - 14 = 0, -c + 4*p - 18 = -y*c for c.
2
Let i be (1/(-3))/((-3)/(-9)). Let b = 5 - i. Solve 4*v = 4*s - 4, -b = 4*v + 4*s - 6*s for v.
-2
Suppose 4*a - 4*a = -3*a. Solve -2*q - 3*c + 6 - 3 = a, c + 9 = -4*q for q.
-3
Let a(c) = -2*c + 37. Let j be a(18). Solve 3*m + d = -j, 4*m = -6*d + d + 6 for m.
-1
Let k = -2 - -3. Solve -5*n + 12 = 2, k = j + 3*n for j.
-5
Let u = -39 + 59. Solve -p - h = 2, -2*p + u = 2*p - 3*h for p.
2
Let q = -5 + -22. Let j = -24 - q. Solve -w = 2*s + 2*w + 5, j*s = -2*w for s.
2
Let b(l) = -l**3 + 5*l**2 + 6*l + 5. Let y be 5/1 - (-7 - -6). Let x be b(y). Solve -4*f = 3*s - 8, -x*f + 2 = 3*s - 11 for s.
-4
Let n(d) = -d**2 - 6*d + 7. Let o be n(-7). Suppose -2*p + 80 = -o*p. Solve 4*l + 4*m - p = 0, 0 = -0*m - m + 5 for l.
5
Let y be 0 - (-12)/(-20) - 23/(-5). Solve 0 = 2*s + 5*o + 3, 0*s + 8 = 4*s - y*o for s.
1
Let b(o) = -o**2 - 11*o - 15. Let x be b(-11). Let h = -13 - x. Solve h = 3*l - r, -2*r = 3*l - 4*r + 2 for l.
2
Suppose -2*q + 4*q - 6 = 0. Suppose 0 = -q*d + 4*b + 12, 3*b - 15 = -4*d + 1. Suppose 0*n + 2*n = d. Solve -4*a + 8 = -2*a + 4*l, 12 = 5*a + n*l for a.
2
Let g be 10/1*(-9)/(-6). Suppose s = -4*d + 77, -d + 20 = -5*s - g. Let t = -10 + d. Solve -p - 3*u = p - 4, -2*p = -4*u + t for p.
-1
Let v(q) = 5*q - 1. Let b be -3*4/(-3) - 3. Let u be v(b). Solve u*r + 0*f - f - 7 = 0, 5*r - 17 = 4*f for r.
1
Let d(m) = -m - 4. Let x be d(-4). Suppose x = 2*a + 10, -1 + 13 = 3*k + 3*a. Suppose k = z + 3. Solve -2*f - 4*i - 6 = 0, i + z = -4*f - i for f.
-1
Suppose -j - p = 4*p - 28, -3*p = -5*j. Solve 3*a + 19 = -5*b + 3*b, -2*b = -j*a + 1 for b.
-5
Let u be 2 - (-2 - 15 - -3). Solve 5*x = -3*h + 20, 6*x - 2*x = 4*h + u for x.
4
Suppose 8*g = 3*g + 10. Solve -2*v = 5*k + 25, -k - 3 = -g*v + 2 for v.
0
Let a = 119 + -69. Let d be 10/4*(-16)/(-10). Suppose d*u - 6 = a. Solve 4*b = r - u, -3*r + 16 = -2*b + 2*r for b.
-3
Let v = -4 - -4. Suppose 3*l + v*l + 48 = -3*j, 2*l + 39 = 5*j. Let n = -12 - l. Solve -3*r = -4*u - r - 16, 2*u = n*r - 16 for u.
-3
Suppose 5*l - 21 = 2*h, -2 = 5*h - 12. Let u = l - 3. Suppose -i + 2*v + 8 = 0, i - 3*v + 33 = 4*i. Solve -p = 3*w + i, u*w - p + 10 = w for w.
-5
Suppose 8 = 2*a, z + 4 = 4*z - 2*a. Suppose 3*d = -3*u + 4*u - 13, 3*d - 6 = 0. Let y = 3 - 0. Solve -y*s = 12, 0*b + z*s + u = b for b.
3
Let l(h) = -h**2 - h + 12. Let r be l(0). Solve -5*p - 8 - r = 5*f, -4*p + 24 = -4*f for p.
1
Suppose 40*i - 42 = 26*i. Solve -5*v + 5*y + 5 = 0, -2*v + y + i*y = -2 for v.
1
Suppose -z + 16 = 3*r, r - 2*z = 2*r - 2. Suppose 0 = -r*p + 3*p + 9. Solve 0 = -p*k - 5*f + 23 - 7, 0 = -f + 2 for k.
2
Let b(m) = -m - 4. Let p be b(-7). Let w(q) = -7 + q + 2*q - q**2 - q**p - 3*q**2. Let k be w(-5). Solve -12 = 3*c + k*u, 5*c - c - 5*u = 11 for c.
-1
Let c be 0/1 + 6 + -6. Solve c = -5*d - 5*n, -4*d - 4*n = d + 2 for d.
-2
Let g be (-3 - -3)/(-1)*6/(-18). Solve 3*x + 2*t + 3*t - 14 = 0, -2*x - 3*t + 8 = g for x.
-2
Let v = -113 - -118. Let j be 2/(-1) + 2 + 2. Solve -j*r + 3*r = v*m + 16, 2*m = -6 for r.
1
Let u = -38 + 40. Solve 14 = 2*o + 6, -u*o = -x - 10 for x.
-2
Suppose -4*p + 12 = -88. Solve 0 = -5*d + 25, -w - 4*w + 5*d = p for w.
0
Suppose 4*u + 13 - 25 = 0. Solve u*j - 3*g + 24 = 0, -2*j = -2*g + 6*g - 14 for j.
-3
Let z(y) = -3*y**3 - y**2 + 1. Let g(i) = i + 3. Let t be g(-5). Let b be z(t). Let j be 1/(((-3)/(-2))/3). Solve -j*o = 5*r - b, 4*r + 0*o = o + 9 for r.
3
Suppose 4*v = 5*y - 21, 29 + 1 = 5*y + 5*v. Suppose -c - y*m + 24 = 0, 5*c - m - 4 = 3*m. Solve 8 - 30 = -2*z - 4*i, -c*z = 5*i - 35 for z.
5
Suppose 29*w - 32*w = -12. Solve -4*z = z + 2*t - 33, -6 = 2*z - w*t for z.
5
Suppose 0 = -6*q + 2*q - 24. Let c(m) = m - 6. Let j be c(7). Let a = j - q. Solve 3*s - 12 = a*s, 5 = -u - 3*s for u.
4
Suppose 0 = 2*p, 5*h - 2*p - 25 + 10 = 0. Solve -h*b - 12 = 0, -3*m - 5*b - 2 = -3*b for m.
2
Let r = -6 - 6. Let n = 80 - 56. Let h = n + r. Solve -4*p + 4*y = 36, -5*p - 3*y - h = 1 for p.
-5
Suppose 3*q = -4*m + 3*m, 5*m - 80 = 5*q. Suppose 3*i = i + m. Let d = i - 2. Solve -4*v = 3*n + 10, -2*n + v = -d*n - 5 for n.
-2
Suppose -2*o = 2*o - 5*p + 4, -3*o = -p - 8. Let j = 124 + -123. Solve -o*i + 2 + 30 = 4*k, k - 2*i = -j for k.
5
Let g(x) = x**3 + 6*x**2 - 6*x + 5. Let w be g(-7). Let s = 0 - w. Solve s*h + 5*v = -19, 2*v = 4*h - 0*v + 2 for h.
-2
Let t = 8 + -3. Suppose 2*l + 4*g = 6, 4*l = 2*l - 2*g - 2. Let r = -5 - l. Solve 5*d - t = -c, -2*c - 3*d + 3 + 7 = r for c.
5
Let z(s) = 9*s + 3. Let y be z(2). Solve 4 = n - 3*n + 5*f, 3*f = -5*n + y for n.
3
Let k(c) = c**2 - 6*c + 4. Let a be k(5). Let u = 10 - a. Solve -2*r - u = -o, r + 26 = 3*o + 8 for o.
5
Let d = 9 + -5. Suppose g - 1 = -0*g + 4*s, -d*s + 67 = 3*g. Solve 10*x + 3*b + 28 = 5*x, -3*b = -4*x - g for x.
-5
Suppose -2*j + 0*j = -24. Let q(r) = 3*r - 12. Let o(b) = 2*b - 9. Let t be o(7). Let h be q(t). Solve h*w - l = j, -4*w + 0*l = 4*l - 32 for w.
5
Suppose 8 = 4*i, c - 17 = -4*i + i. Let x = c - 6. Solve 5*l - s = 23, -x*l + 5*s = s - 17 for l.
5
Suppose -4*h + 32 = -6*h. Let a be (-4)/h - 3/12. Solve -3*w = -a*w + 15, 0 = -3*p + 3*w + 21 for p.
2
L