7. Let l be a(b). Put x, l, 0 in decreasing order.
x, 0, l
Let n = -0.8 - -4.8. Let s = 115 + -114.961. Put n, 1/3, s in decreasing order.
n, 1/3, s
Let x = -4 + 14. Let t = 260.67 + -5.67. Let z = t + -252. Sort -1, z, x in decreasing order.
x, z, -1
Let s be 229/144 + (-20)/(-90) + -2. Let x = -557447/1438160 - -2/17977. Let z = s - x. Sort -0.4, 2/5, z, 1/3 in ascending order.
-0.4, z, 1/3, 2/5
Let p be -4*(10/6)/((-5)/(-6)). Let s be (-2 - p) + (-7)/(35/10). Put -4, 2, 5, s in descending order.
5, s, 2, -4
Let d = -12 + 17. Suppose 3*s + 12*h = 13*h + 55, 4*s - 48 = -5*h. Sort 0.3, s, -0.2, d.
-0.2, 0.3, d, s
Let k be 15/(-4) + 2/(-8). Suppose 0 = 3*h + 107 - 710. Suppose -194*g = -h*g + 28. Sort 2, k, g in ascending order.
k, 2, g
Let x(d) = d**3 - 41*d**2 + 150*d - 76. Let a be x(37). Sort -4, 132, 2, a.
-4, a, 2, 132
Suppose -614*v - 333924 + 119957 = 760*v + 43*v. Let j(x) = -2*x - 6. Let p be j(-5). Sort v, -1, p in descending order.
p, -1, v
Let b be -17 - (4 + 1355/(-65)). Sort 3/7, 47, 1, b, -0.1.
b, -0.1, 3/7, 1, 47
Let p = -1.363 - -1.12. Let r = p + 5.243. Sort -1/2, 0, -5/6, r in descending order.
r, 0, -1/2, -5/6
Let h(k) = -k**2 - 16*k - 18. Let c be h(-15). Let z = 202 + -42. Let v = z - 159. Put c, -1, v in decreasing order.
v, -1, c
Suppose -4*z + 14 = 2. Suppose -4*p = -5*l + 36, z*p - 2*l + 4 = -16. Suppose 10 = 4*j + j, 0 = -4*m - 4*j - 4. Put p, m, -5 in decreasing order.
m, p, -5
Let k = -21.0513 - -0.0913. Let s = k + 21. Put s, -2/17, -0.5 in ascending order.
-0.5, -2/17, s
Suppose -11 + 8 = l - 3*a, -4*a = -3*l - 9. Sort 0, 4, -125, l.
-125, l, 0, 4
Let x = 3942 - 3957. Sort -73, x, 1 in decreasing order.
1, x, -73
Let z be (-3)/6 + 25/(-10) + 3. Let v be (-18)/(-8)*(z + (-8)/12). Let x be ((-3)/52)/((-3)/(-24)). Sort 0.4, x, v, 3 in increasing order.
v, x, 0.4, 3
Let p be 1*-7 - (-2 + 1). Suppose -l = 68 - 75. Suppose -4*s + h + l = 2, -s - 20 = 4*h. Sort 1, p, s in descending order.
1, s, p
Let m be 4*(10/8 - 2). Let l be (-11)/(2970/150 - 22). Sort m, 2, 7, l in increasing order.
m, 2, l, 7
Let j(s) = -2*s**3 - 8*s**2 - 7*s - 30. Let m be j(-4). Sort 4, -58, 0.4, 1/5, m in decreasing order.
4, 0.4, 1/5, m, -58
Let o(l) = 66*l + 1522. Let s be o(-23). Put s, -644, -1 in decreasing order.
s, -1, -644
Suppose 0*q - 3 = -3*q. Let h = 196316 + -196334. Sort h, -1, q.
h, -1, q
Let w = 15 + -13. Suppose 0 = -k - 2*v, 3*v = -w*v. Suppose k*z + 5*z - 20 = 0. Sort z, 5, 11 in decreasing order.
11, 5, z
Let y be (-3 - 391/(-119)) + (-40)/(-7). Let k = 25 + -17. Let n be ((-6)/42)/(k/(-14)). Put -1/4, y, n in descending order.
y, n, -1/4
Let j = 493 + -322. Suppose -136 + j = -5*i. Sort 3, 5, i.
i, 3, 5
Let z = -15.09 - -9.885. Let v = z - -0.205. Sort -3, v, -5/3 in ascending order.
v, -3, -5/3
Let s = -147 - -129. Let n = s - -18.1. Sort 1, n, 2/13, -2.
-2, n, 2/13, 1
Suppose -4*y + 9*y = -2*d - 6, -3*y - 12 = 4*d. Let c = 46 + 124. Suppose -2 = c*o - 172*o. Put o, d, -2 in descending order.
o, -2, d
Let k = 1152.8 - 1153. Sort -0.5, 2/11, k, 71 in descending order.
71, 2/11, k, -0.5
Let z(o) = 26*o - 389. Let w be z(16). Let d be w/(-6)*1*64/(-144). Put -1, d, -0.12 in decreasing order.
d, -0.12, -1
Let x be ((-8)/10)/((-2)/10). Sort 1, x, -1, 138 in increasing order.
-1, 1, x, 138
Let n(k) = 16*k - 11. Let u be n(1). Suppose -u*z = -15, -4*f = -10*z + 15*z - 35. Sort 0, 2, f.
0, 2, f
Suppose -92*j = -175*j + 101*j - 846. Put 4, j, 1, -2 in ascending order.
-2, 1, 4, j
Let s = 5165 + -5155. Let v be 3/1 + -1 + 0. Suppose -v*l - s = 4*o, 2*o - l = -5*l - 2. Sort -17, 2, 0, o in ascending order.
-17, o, 0, 2
Let p = -2946 - -2946. Let d be -29*4/(-2*(2 + -3)). Put p, -2, d in decreasing order.
p, -2, d
Let a(n) = 18*n**2 - 12*n - 5. Let f be a(5). Suppose -26*b - 51*b = f. Let o be (-4)/14 + (-74)/(-14). Sort b, o, 2, 0.
b, 0, 2, o
Let r = -3.03283 - -0.03283. Let m be (46/20 + -2)*8/(-18). Put -1/8, m, r in decreasing order.
-1/8, m, r
Let a = -3.58 + 29.58. Let c = -0.2 - -25.2. Let r = a - c. Sort r, 0, -0.2, -4.
-4, -0.2, 0, r
Let h be 2/(-14) + 549/21. Let v be (6/7)/(h/(-13)). Let o be (-48)/20 - (-7 - -5). Sort v, 5, o, 4.
v, o, 4, 5
Let z = 2.3 + -0.2. Let s be (-132)/(-30) + ((-189)/35 - -5). Sort s, z, 1/3 in decreasing order.
s, z, 1/3
Let f = -6 + 10. Let y = 70 - 65. Suppose 7*g - 2 - y = 0. Put -3, f, -5, g in increasing order.
-5, -3, g, f
Let a = 52.6 - -9.96. Let j = a - 62. Let i = j + -0.56. Sort i, 1/3, -17 in descending order.
1/3, i, -17
Let r = 20600 - 20597. Sort 32, -9, r in decreasing order.
32, r, -9
Let z = 3 + -3. Let q = z - -0.29. Let d = -0.21035 + 0.01035. Sort q, 0.3, d, -0.4 in ascending order.
-0.4, d, q, 0.3
Let b = -2 + 1.7. Let f = -9.5 - -9. Let u = 0.084 + 0.076. Sort b, f, u.
f, b, u
Let r = -0.03828 - 0.16172. Sort 5, r, -5, 2/3, 0.5 in descending order.
5, 2/3, 0.5, r, -5
Let b = 0.04 - -0.26. Let g = -3392.82 - -3394. Put g, b, -0.5 in increasing order.
-0.5, b, g
Suppose 0*c + 15 = 3*c + 2*x, 3*c - 5*x - 15 = 0. Let s be 0 - ((-2)/(-5) - 27/c). Let y = -16 - -10. Sort y, s, 4 in descending order.
s, 4, y
Let m = -40931.3 + 40931. Let s be 2/((-16)/(-6)) + -1. Put -0.5, s, m in ascending order.
-0.5, m, s
Let o = -8420 - -8415. Let n = 0.02 + 2.98. Let w = 7.2 + -7.3. Put w, o, n in descending order.
n, w, o
Let j = 18.187 - 18.087. Let u = 0.3 - 0.6. Let x = -0.29 - u. Sort j, x, 1.
x, j, 1
Let o be -1 - 62/(2 + -4). Let f = -30 + o. Let c be f*(-3)/(3 - 0). Put -4, -5, c, 5 in increasing order.
-5, -4, c, 5
Let u be 6/378*(-1 - 392/(-13)). Let a = u - 4/117. Sort 0, a, -9 in descending order.
a, 0, -9
Let j = 5075 + -5074.99. Let i be (1 + 2)/3 - 4. Put i, 0.1, j in ascending order.
i, j, 0.1
Let s = 2 + -1. Let n(b) = -4*b - 24. Let j be n(-5). Let a be ((-2)/j)/(5*(-6)/240). Sort 0, s, -2, a.
a, -2, 0, s
Let l = 11.1627 + 0.1373. Put -1/3, l, 0.2, -0.5 in decreasing order.
l, 0.2, -1/3, -0.5
Let c be -257 + 264 + 4/(-2) + -2. Sort 57, c, -9, 5 in descending order.
57, 5, c, -9
Let q = -45 - -41. Let s = 9321 - 9326. Let w be -1 + 0 + 2 + 0. Sort s, w, q.
s, q, w
Suppose 2*l - 13 = 3*l. Let a(b) = -b**2 + 38*b - 298. Let h be a(11). Put -3, l, h, -5 in descending order.
h, -3, -5, l
Let l = -4115 - -4108. Sort l, -3, 4, -4 in descending order.
4, -3, -4, l
Suppose -19*t = -98*t - 474. Sort 5, t, -28, -1 in decreasing order.
5, -1, t, -28
Let q = -0.01813 - 1.58187. Sort -2, q, -8 in decreasing order.
q, -2, -8
Let q = 2.2899 + -0.2899. Sort q, -33, -1/4 in descending order.
q, -1/4, -33
Let j = 0.98 + -2.69. Let q = -1.9 - j. Let p = q - -0.21. Sort 0, p, -0.1 in decreasing order.
p, 0, -0.1
Let c be ((-20)/(-24))/(2/12). Let w be ((-2)/4)/(c + (-121)/22). Sort -4, 48, w in ascending order.
-4, w, 48
Let k(o) = 404 - 2*o**2 + 16*o - 393 + 3*o**2. Let r be k(-15). Sort r, -3/2, -2, 0.1 in descending order.
0.1, -3/2, -2, r
Let c = -12 - -7. Let l = 925 + -925. Sort c, -4, l in ascending order.
c, -4, l
Let g(q) = -168*q**2 - 1349*q - 38. Let v be g(-8). Suppose -15 = w + 4*w. Sort v, w, 5 in ascending order.
w, v, 5
Suppose 4*u - 3*m - 2 = 0, -u + 6*u + 3*m = 16. Let i be 1/(-5) - (-15165)/75. Let q = i - 208. Put 3, q, u in descending order.
3, u, q
Let z = -4913 + 4918. Sort 12, z, 15, -3/8, -1/5.
-3/8, -1/5, z, 12, 15
Let c = 46 - 77. Let i = -31.16 - c. Let z = 1.16 + i. Sort -6, 0.5, z.
-6, 0.5, z
Suppose -55*p + 54*p + 2 = -2*m, 22 = -3*p - m. Put -5, -4, p in increasing order.
p, -5, -4
Let r(q) = 11*q - 50. Let l be r(5). Suppose 2*b - b = d + 9, 5*b + l*d = 5. Suppose 3*m - 7 = -2*i - 2*i, 0 = -i - m + 1. Put b, i, -1 in decreasing order.
b, i, -1
Suppose -3*r = -51 + 36. Let j = -106 - -110. Sort r, 0.4, j, -4 in descending order.
r, j, 0.4, -4
Let z = -1135 - -1137. Put -6, -5, z, -4 in increasing order.
-6, -5, -4, z
Let u = -3.78 - 188.22. Let a = -194 - u. Let q(r) = 5*r**2 - 1. Let g be q(1). Sort -0.3, a, g, -0.2 in increasing order.
a, -0.3, -0.2, g
Suppose 2*m + l = -139, 2*m + 14*l = 9*l - 119. Let t be 27/m + (-93)/(-120). Let y = 0.2 - -0.8. Put y, -11, 3, t in increasing order.
-11, t, y, 3
Let g(s) = -s**2 + 5*s + 1. Let z be g(4). Let o(b) = -57*b + 686. Let x be o(12). Sort 1, x, z in increasing order.
1, x, z
Let j(k) = -3*k + 39. Let u(h) = -4*h