7. Let a = c - -10. Put -2, a, 5 in ascending order.
-2, a, 5
Let p be (2 - 1) + 5 + -3. Suppose -p*n - u - 8 = 0, 4*n - 3*u = u - 32. Suppose 0*t + 4 = t, 4*t - 7 = 3*z. Put n, z, 4 in descending order.
4, z, n
Let z = -9 + 8.96. Put -1/2, z, 2/13 in ascending order.
-1/2, z, 2/13
Let q be (3/6)/((-1)/(-6)). Let o = q + 0. Put o, -4, 4 in ascending order.
-4, o, 4
Let u(m) = -3*m + 9. Let b be u(5). Sort -5, 3, b.
b, -5, 3
Let m = 0 - 1. Let h be ((-1 - -2) + 0)*m. Let n be (-1)/((-1)/((-3)/h)). Put -2/5, n, 5 in descending order.
5, n, -2/5
Let r be 10/4 + 4/(-8). Let c be r/(-6) - 16/(-3). Suppose -34 = -5*k + 3*i, 4*i + i - 10 = -c*k. Sort -3, k, -4.
-4, -3, k
Let c(w) = w**3 - 5*w**2 - 5*w - 7. Let r be c(6). Let d = -74/235 - 4/47. Sort d, r, -2/9 in descending order.
-2/9, d, r
Suppose -22*l + 29*l = 0. Let p(i) = i**3 + 4*i**2 + i + 2. Let g be p(-4). Sort g, 3, l.
g, l, 3
Let q = -2/107 + -99/428. Let d = -14.7 - -14. Let x = 1.2 + d. Put -1, x, q in descending order.
x, q, -1
Let h(p) = 3*p + 4. Let o be h(-4). Let x be (-53)/11 + o/44. Sort x, -1, 5 in increasing order.
x, -1, 5
Suppose -7 + 17 = 5*u. Sort -4, -5, u in ascending order.
-5, -4, u
Let o = -1 + 1. Let n = 0.013 - -6.187. Let x = n - 1.2. Sort x, o, -4.
-4, o, x
Let l = 0.04 + -4.04. Let q = 0 + 5. Let x = l + q. Put x, 4, 1/8 in decreasing order.
4, x, 1/8
Let n = -2 - -6. Let a = 49 - 53.2. Let h = n + a. Sort 5, 4, h.
h, 4, 5
Let h be (-2)/21 + (-130)/(-42). Sort 2, h, 4 in ascending order.
2, h, 4
Let v be (-4)/(-4)*0/(-3). Sort -5, 2/7, v.
-5, v, 2/7
Suppose l - w - 3 = 2*l, 0 = -4*l + 4*w + 28. Let c be (l/4)/((-4)/(-8)). Put c, 3, 0 in decreasing order.
3, c, 0
Suppose -12 = -3*a, 2*q - 4*a + 1 = -5. Put 0, q, -4 in descending order.
q, 0, -4
Let z = 27.8 + -23. Let o = z + 0.2. Sort 3, 2, o in increasing order.
2, 3, o
Let w = -23 - -18. Put w, 5, 2, 0 in descending order.
5, 2, 0, w
Suppose -5*t - 14 + 9 = 0. Sort -17, -3, t in decreasing order.
t, -3, -17
Let h(q) = q + 4. Let b be h(0). Put 3, 1, b in decreasing order.
b, 3, 1
Let c(t) = t**3 + 5*t**2 - t. Let r(q) = -4*q**2 + 2*q + 1. Let k be r(-1). Let a be c(k). Sort -1, -4, a in increasing order.
-4, -1, a
Suppose 2*r + 5*z + 4 = 0, -4*z + 3*z = 3*r - 20. Suppose -n + 2*n + r = 0. Let g be (n/(-8))/(-5*1). Put 5, 0, g in ascending order.
g, 0, 5
Let f = 7 + -4. Let d = -318 + 317. Put f, d, -1/3 in descending order.
f, -1/3, d
Let f(s) be the second derivative of -s**4/12 + 2*s**3/3 + 7*s**2/2 + 3*s. Let l be f(6). Sort 4, 0, l.
l, 0, 4
Let k = 32 + -36. Put -1/5, k, 4/7 in ascending order.
k, -1/5, 4/7
Let v be ((-2)/(-8))/(6/(-8)). Let g(n) = n**3 - 2*n**2 - 2*n - 6. Let q be g(3). Put -1, q, v in ascending order.
q, -1, v
Let y = 0.4 - 0. Let d = 0.6 + y. Sort d, -0.1, 2/7 in increasing order.
-0.1, 2/7, d
Let p(g) be the second derivative of g**5/20 + 11*g**4/12 + 4*g**3/3 - 7*g**2 + g. Let d be p(-10). Let a = -11 + d. Put a, 4, -1 in increasing order.
a, -1, 4
Let t be 15*(5/(-3))/(-5). Let m(o) = o**2 + 10*o + 3. Let g be m(-10). Sort g, t, -5 in decreasing order.
t, g, -5
Let u = -3 - -3.4. Let j(m) = m**3 - 8*m**2 + 6*m + 4. Let h be j(7). Let x be 4*(-4)/5 - h. Sort x, -5, u.
-5, x, u
Let v = 13 - 13. Put -3, 2, v in descending order.
2, v, -3
Let w = -1 + 0.8. Let n = -71 + 67.7. Let m = n + 3. Sort 2, m, w in ascending order.
m, w, 2
Let d = 12 + -8. Suppose x - 56 = -2*x - d*c, 136 = 5*x - 4*c. Suppose -5*l - 5*w - 25 = 0, 0 = 5*l + 3*w + w + x. Put l, 3, -5 in descending order.
3, l, -5
Let s(w) = -w + 7. Let g be s(4). Sort -1, g, -7 in increasing order.
-7, -1, g
Let o = 75 + -75. Sort o, -3, 4, -5.
-5, -3, o, 4
Suppose -3*l - 3*g = -4 + 22, -2*g = -4*l - 42. Let f = l + 6. Sort f, 2, 5 in ascending order.
f, 2, 5
Let h = -17.7 + -0.3. Let u = -13 - h. Let p = u - 0. Put p, -4, -2 in descending order.
p, -2, -4
Suppose -3*o = -4*l - 0*l - 20, -4*l = -o - 4. Let g be ((-4)/6)/(56/o). Sort g, 5, -0.5 in increasing order.
-0.5, g, 5
Let t = 2 + 5. Suppose 23 = -4*y + t. Sort 0, y, -1 in increasing order.
y, -1, 0
Let c = -1 - 0. Let i be ((-1)/2)/(c/6). Put i, 0, 2 in descending order.
i, 2, 0
Let k(o) = -o**2 - o + 15. Let p be k(-4). Sort -2, p, 0 in descending order.
p, 0, -2
Let c be (5*(-2)/(-7))/((-76)/133). Suppose -59 - 25 = 3*h. Let q be (-19)/h - 1/4. Sort -2, c, q.
c, -2, q
Let j(t) = -t**3 - t**2 + t - 2. Let v be j(0). Sort 0, 1, v in decreasing order.
1, 0, v
Suppose 0 = 4*v - 2*v + 8, 4*k - 8 = 4*v. Suppose 0*q + 3 = -q. Let g(b) = b**3 + 2*b**2 - 4*b - 1. Let y be g(q). Sort -1, k, y in decreasing order.
y, -1, k
Suppose 0 = -4*l - 2*n, -4*l = 3*n + 2*n - 12. Suppose a = -0*a + 4. Suppose -a = 5*u + 21. Put u, l, 3 in descending order.
3, l, u
Let a = -587/5 - -118. Sort 1/8, 0.5, a in increasing order.
1/8, 0.5, a
Let k(y) = -y**3 + 7*y**2 - 7*y + 15. Let f be k(6). Put f, 1, -4 in descending order.
f, 1, -4
Let n = 7.9 + -8. Put -0.5, n, 3/4 in increasing order.
-0.5, n, 3/4
Let n = 2.3 + -2.1. Sort 2/7, 1, n in decreasing order.
1, 2/7, n
Let s(o) = o**2 - 2*o. Let n be s(2). Suppose 2*u - 4*g + 20 = n, 4*g = 2*u + 3*g + 5. Sort u, -10, 1 in decreasing order.
1, u, -10
Let c = 3.9 - 2.9. Let n = -0.1 + -0.4. Sort -3, n, c in ascending order.
-3, n, c
Suppose 5*f - 25 = 3*g, -7*f + 2*f - g = -5. Let o = -4 - -6. Suppose r = -s, 17 = -3*s + o. Sort f, -2, r in descending order.
r, f, -2
Let f = -48 - -48. Put f, -4/5, 0.1 in decreasing order.
0.1, f, -4/5
Let z(r) = -r**2 + 8*r - 7. Let b be z(6). Let y(f) = -f - 3. Let q be ((-9)/4)/(12/32). Let i be y(q). Sort -1, i, b.
-1, i, b
Suppose 7*w - 6 - 1 = 0. Put -5, w, -0.5 in descending order.
w, -0.5, -5
Let q(z) = 15*z**2. Let l be q(1). Suppose -x + l = -4*x. Sort 4, x, 3 in decreasing order.
4, 3, x
Let s(q) = -q**3 + 14*q**2 + 5. Let i be s(14). Put i, 1, -4 in decreasing order.
i, 1, -4
Let h = 0.1 - -0.2. Let v = 3.6 + -4. Put v, h, -2/3 in decreasing order.
h, v, -2/3
Let y = -18 + 19. Sort y, -4, -5 in ascending order.
-5, -4, y
Let k = 3 - 1. Let t = -2 + -1. Let a(c) = c**3 - c**2 - c - 4. Let o be a(0). Put o, t, k in decreasing order.
k, t, o
Let c = 7 + -3. Suppose -5*q + 0 = -15, -3*i - 2*q = -21. Put i, -4, c in decreasing order.
i, c, -4
Let y = -24 + 23.6. Sort 3, y, -0.7 in increasing order.
-0.7, y, 3
Let c = 0.7 - -0.3. Let p = 20 + -19.5. Sort 0.1, p, c.
0.1, p, c
Let w = 55.5 + -56. Put -4, 0, w, 1/18 in descending order.
1/18, 0, w, -4
Suppose 5*z + 3*u = 3, 2*u = 5*z + 2 - 0. Let v be ((-2)/(-5))/((-2)/(-20)). Put z, v, -4 in decreasing order.
v, z, -4
Let x = -56 - -46. Sort 3, x, -1 in ascending order.
x, -1, 3
Let n(v) = v**2 - 8*v + 5. Let w(q) = 2*q**2 + 3*q + 2. Let a be w(-2). Let l be (-2 + a)*7/2. Let r be n(l). Sort 0, 4, r.
r, 0, 4
Let y = 65 + -70. Sort y, 4, 2, 3 in increasing order.
y, 2, 3, 4
Let d be 4 - ((-140)/(-8))/5*2. Let c = 6 - 3. Sort c, d, -2 in decreasing order.
c, -2, d
Let c be (-6)/4*4/6. Let u(b) = b**2 + 9*b + 9. Let r be u(-7). Let l(i) = -i**3 - 5*i**2 - 4*i + 5. Let f be l(-4). Put f, c, r in decreasing order.
f, c, r
Let m = 4 + -8. Let n = m + 3.5. Sort n, 2/5, -2 in decreasing order.
2/5, n, -2
Suppose 2 = t - 2. Put 5, -8, t in descending order.
5, t, -8
Let t(m) = -3*m - 1. Let z be t(-1). Suppose 2*h = 2*j + 4, 2*j + j = 0. Let r(o) = 2*o**2 - 2*o - 1. Let x be r(h). Put z, x, -2 in ascending order.
-2, z, x
Suppose 4 = 94*n - 90*n. Put n, -53, -4 in increasing order.
-53, -4, n
Let w = -21 + 20. Sort 2, w, -5 in descending order.
2, w, -5
Let l be 6/(-10) + 6/10. Suppose -5*k + 10 + 0 = 0. Suppose 4*p - k = 3*p. Sort p, 4, l.
l, p, 4
Let r = 7 + -6. Let t = 17 + -7. Suppose 5*v - 15 = t. Put v, -5, r in decreasing order.
v, r, -5
Let z(x) = -x**3 - 2*x**2 + 4*x + 3. Let w be z(-3). Suppose w = m + m. Let d be -3*(4/(-6) - -2). Sort m, d, 5 in decreasing order.
5, m, d
Let p = -58 + 58. Let u(j) = 2*j. Let h be u(1). Sort -5, p, h.
-5, p, h
Suppose 21*u = 159 + 198. Put 4, u, -3, 0 in increasing order.
-3, 0, 4, u
Let x be (10/16)/((-2)/(-20)). Let q = x + -283/44. Let n = 52 + -45. Sort n, q, -6/7 in ascending order.
-6/7, q, n
Suppose -g + 4 = 9. Suppose p = 2*u + 5, 0 = 3*p - 0*u - 4*u - 15. Let b = 41 + -44. Sort p, b, g in increasing order.
g, b, p
Let 