 = c - 0.3. Sort -1, -0.06, l in descending order.
l, -0.06, -1
Let k be -1 + (6/(-3))/(-2). Suppose -j + 2*j = s + 7, 5*j - 4*s - 32 = 0. Sort k, -1, j in descending order.
j, k, -1
Let k = -7.2 - -7.3. Let f = 6 - 2. Suppose -7*s = -f*s. Put s, k, 1 in ascending order.
s, k, 1
Suppose 5*h - 12 = -62. Put h, 0, -3 in ascending order.
h, -3, 0
Suppose 0*h = h - 2*n + 7, -h + 14 = 5*n. Sort h, 2/7, 1/4.
h, 1/4, 2/7
Let g = -18 - -18. Let s be (-5)/61*4/10. Let y = s + -53/244. Sort y, g, 4.
y, g, 4
Let d = 64 - 59. Sort 2, -36, d, 1 in increasing order.
-36, 1, 2, d
Suppose -4*s = 2*u + s - 28, -s - 7 = -u. Let p be (-20)/u + 4/18. Sort -4, 2, p in decreasing order.
2, p, -4
Suppose 0 = 5*v - q + 18, 0*q + 15 = -4*v + q. Let m be 4/(-3)*27/6. Let a be (m/4)/(12/(-16)). Put v, a, -5 in descending order.
a, v, -5
Suppose -7*p - 18 = -p. Put 5, 0, p in decreasing order.
5, 0, p
Let h = -7.1 + 7. Let z = 0.3 + h. Let i = -10 + 7. Sort z, 2, i in increasing order.
i, z, 2
Let b = -18 - -31. Suppose 5*p - 2 = b. Sort p, 4, -2/13 in ascending order.
-2/13, p, 4
Suppose -3*l + 5*p + 31 = 0, -12 - 3 = 3*p. Let y be (-140)/(-126)*(-6)/(-10). Put l, y, -2 in decreasing order.
l, y, -2
Let b be (-21 - -25)/(3*10). Put b, 1, -5 in decreasing order.
1, b, -5
Suppose 1 = -3*o + 10. Suppose -y + 1 + 3 = 0. Put y, o, 1 in ascending order.
1, o, y
Suppose 0 = 5*a + 4*b - 1374 - 166, -5*a + b = -1540. Let v = 2152/7 - a. Put -1.4, v, -5 in descending order.
v, -1.4, -5
Suppose 4*s + 2 = 18. Let y be (2/8)/(s/48). Sort y, -1, -9 in increasing order.
-9, -1, y
Let i = -7.76 - -8. Let w = -0.74 + i. Put 0.2, w, 5 in descending order.
5, 0.2, w
Let a be (-84)/63*(-3)/2. Let x = -2 - -1. Sort x, 0, a in decreasing order.
a, 0, x
Suppose -s + 0*s = 0. Let n be 5*1 + s/2. Suppose -4 = 9*p - 13. Sort -2, p, n in ascending order.
-2, p, n
Suppose -6*t = -t - 45. Put -5, t, -1 in decreasing order.
t, -1, -5
Let w = -1.3 - 3.7. Let h = -7.03 + 7. Let b = h + 0.03. Put w, b, 2 in descending order.
2, b, w
Let o(n) = n**2 + 1. Let i be o(1). Let b = 63 - 62.6. Put i, -0.5, b in descending order.
i, b, -0.5
Suppose 2 = -4*j + 14. Suppose -j*g + 18 = 6. Sort g, -4, 0 in descending order.
g, 0, -4
Let r = 1.8 + -2. Sort -2/21, r, 0.5 in descending order.
0.5, -2/21, r
Let h = -3 - -3.6. Put -5, h, 0.4 in increasing order.
-5, 0.4, h
Let y be 2/(-3 - -15)*(-12)/(-6). Let s be (2*1)/(5 + -6). Sort -2/19, s, y.
s, -2/19, y
Suppose 9 + 3 = -4*j. Let y be (-45)/6*6/(-9). Let x = 4 - y. Sort j, x, -5 in decreasing order.
x, j, -5
Let a = -28 - -52. Let r be a/(-40) - 4/10. Put 0, 5, r in decreasing order.
5, 0, r
Suppose g = 4*k + 12, 2*g = -3*k + 5*k + 18. Suppose l - g + 4 = 0. Put l, 2, 3 in descending order.
l, 3, 2
Let o(s) = -2*s + 2. Let h be o(2). Let l be (-2)/13 + 56/26. Suppose 0*x + 6 = 4*i - 2*x, 5*i - 2*x - 7 = 0. Put h, l, i in increasing order.
h, i, l
Suppose 6*p - 11 = 19. Let m = 2 - 7. Put -2, m, p in increasing order.
m, -2, p
Let d = 8 - 7.7. Let t be (-4)/(3 + -2)*-4. Let w = -12 + t. Put d, w, 2/9 in decreasing order.
w, d, 2/9
Let s(i) = 6*i + 3*i - 8*i - 4. Let c be s(5). Put c, 5, 2 in descending order.
5, 2, c
Suppose 0 = 9*g - 39 - 114. Sort g, -3, -2, -4.
-4, -3, -2, g
Let m = 1 - -4. Let c = m + -5. Put 1, c, 4 in descending order.
4, 1, c
Let y = -61 + 58.1. Let g = y + -1.1. Let v be (2 + -1)/(1*4). Put v, 0.3, g in ascending order.
g, v, 0.3
Suppose -3*h = -0*h - 9. Let s be (2/(-4))/(2/16). Sort h, -5, s in increasing order.
-5, s, h
Suppose 4 = x - 1. Let d be (-11)/(-33)*(13 - 1). Sort d, x, 3 in increasing order.
3, d, x
Let i be (-10)/(-2) - (6 - 9 - -7). Put 1/2, i, 9, 2 in ascending order.
1/2, i, 2, 9
Suppose -3*t + 37 = -u, 3*t + t = 2*u + 52. Sort 3, -2, 5, t in increasing order.
-2, 3, 5, t
Let y = 0.039 + 0.961. Suppose 0 = 3*v + 5 - 2. Sort v, y, 4 in decreasing order.
4, y, v
Let i = 50 + -49.5. Let p = -21 + 11. Let x = 15 + p. Put x, 3, i in ascending order.
i, 3, x
Let g = -25 - -36. Let p = 16 - g. Suppose 1 = -p*w + 6*w. Sort 2, w, 4 in decreasing order.
4, 2, w
Let r(q) = -q - 3. Let c be r(-4). Let p be 10 + (0 - 2 - c). Put 1, p, -2/17 in descending order.
p, 1, -2/17
Suppose o - 3 = -0, 4*o - 10 = -2*r. Put 4, -10, r in increasing order.
-10, r, 4
Let i be ((-38)/20 - -2)/(-1). Let d(o) = o**3 - 5*o**2 - o + 5. Let t be d(5). Sort 4, t, i.
i, t, 4
Let u = -0.345 - 0.055. Let t be (2/8)/((-12)/16). Put u, t, 3 in increasing order.
u, t, 3
Let n = -2/173 + -686/519. Let w = -19/21 - n. Sort 0.5, w, 0.2 in ascending order.
0.2, w, 0.5
Let i be (-1)/(-3)*(-6)/13. Let n = -0.9 + 0.4. Sort i, -5/3, n in increasing order.
-5/3, n, i
Let g = -32 + 31. Sort 10, g, 3/7 in increasing order.
g, 3/7, 10
Let b = -31 - -36. Sort b, -0.8, 2/5 in ascending order.
-0.8, 2/5, b
Let x(m) = m + 1. Let q be x(-1). Suppose -y - 2*y - 3 = q. Put -3, y, -4 in descending order.
y, -3, -4
Let s be (15/(-4))/((-39)/52). Sort s, -12, -3 in ascending order.
-12, -3, s
Let m = 150 + -213. Put -0.1, m, 0.2 in decreasing order.
0.2, -0.1, m
Suppose -19 = -4*m + 1. Let v be (-1 - -3)*(-7)/63. Put m, v, -0.1 in increasing order.
v, -0.1, m
Let c = -30 + 16. Let p = c - -18. Suppose 4 + 1 = k. Sort k, p, 1.
1, p, k
Let t be (-6)/(-18) - 2/(-3). Let d be t*-6*(-2)/3. Sort d, 3/5, -5.
-5, 3/5, d
Let u be ((-1)/3 + 0)*-6. Let s be (-3)/5 + 34/(-10). Put 3, s, u in descending order.
3, u, s
Suppose -4*b = 16, 3*s + 4*b + 41 = -2*s. Let u(z) = -z**3 - 7*z**2 - 11*z. Let p be u(s). Sort p, -5, -13 in increasing order.
-13, -5, p
Let f = -0.04 + -4.96. Let p = -42203 + 10888399/258. Let j = 3/43 + p. Sort 1, j, f.
f, j, 1
Let w = -849/8 + 106. Sort 2, w, 3, -2/7.
-2/7, w, 2, 3
Let t be (-9)/(-6)*(-2)/(-12). Let d = 17 + -16. Sort 2, d, t in decreasing order.
2, d, t
Let h = -1.2 - -0.8. Sort h, -1/8, 14 in ascending order.
h, -1/8, 14
Let k(i) = -i**2 + 7*i - 7. Let x be (-4)/(-6) - 175/15. Let a = 16 + x. Let f be k(a). Sort -2/3, 5, f in decreasing order.
5, f, -2/3
Let b = -3 + 5. Suppose 4*s - 6 = -b. Put s, -3, -4 in decreasing order.
s, -3, -4
Let i = 221 + -220. Let m be (-18)/(-8) - 1/4. Let j be -1*(m - (1 - -1)). Sort j, i, 3 in descending order.
3, i, j
Suppose -h + 3 + 0 = 0. Let r = h - -3. Let w = 5 - r. Sort 4, w, 1 in decreasing order.
4, 1, w
Let h = -397/8 - -50. Sort -1, h, 0.4, 0.3 in decreasing order.
0.4, h, 0.3, -1
Suppose 0 = 3*t - d - 7, 4*t - 3*d + 1 = 7. Sort 2/11, -1/11, t, -0.2 in ascending order.
-0.2, -1/11, 2/11, t
Suppose 3*m - 9 = -0*m. Let p = 12 - 11. Put m, p, -1/4 in descending order.
m, p, -1/4
Let w(n) = -n - 11. Let m be w(-16). Let k be (-1)/3 - 38/6. Let f = m + k. Sort 2, -3/4, f.
f, -3/4, 2
Suppose -3*j + 5 + 13 = 0. Put 5/4, 0.2, j in ascending order.
0.2, 5/4, j
Let d be (4/(-6))/(2/3). Let q be -6*1*(-4)/8. Sort q, d, -5 in descending order.
q, d, -5
Let o = -26 + 16. Let t = -9.9 - o. Let q = -3 + 3.3. Put 0, t, q in decreasing order.
q, t, 0
Let s = -996/7 + 142. Suppose -18 = -3*v - 6. Sort v, 2/17, s in descending order.
v, 2/17, s
Let d be 99/117 - 1 - (-82)/26. Let l = 14 - 9. Put d, l, 1 in decreasing order.
l, d, 1
Let k = -17 - -6. Let w = -6.9 - 0.1. Let g = k - w. Sort g, -5, -1 in ascending order.
-5, g, -1
Let r = -35/2 + 17. Put 4, 1/2, r in decreasing order.
4, 1/2, r
Let g = 35 - 35. Let f = 2 + -3. Let w = f - -0.6. Sort w, -5, g in increasing order.
-5, w, g
Let o = 0 - 0. Let b = -320 - -319. Sort b, o, 6.
b, o, 6
Let r = -25 - -16. Put 2/17, 3/2, r in ascending order.
r, 2/17, 3/2
Let a = -4.6 + 5. Sort -0.5, a, 4/5.
-0.5, a, 4/5
Let o = 15 + -20. Sort 0, o, -2.
o, -2, 0
Let o = 30.4 - 28. Let y = 0.4 - o. Sort y, -2/5, -5 in descending order.
-2/5, y, -5
Let p be (-396)/(-15) - 2/5. Let h be (-4)/(-6) - p/(-6). Let d = 2 + -7. Sort d, h, 1.
d, 1, h
Let v = 0.7 - 0.2. Let i = 6.05 + -6. Let p = i + 0.15. Sort 3, v, p in ascending order.
p, v, 3
Let f(d) = d**2 - 8*d + 8. Let x = 0 - -2. Suppose h = 3*n + 5*h - 33, -h = -x*n + 11. Let j be f(n). Put 5, j, -3 in descending order.
5, j, -3
Suppose 2*q + 9 = 5*q. Sort q, -2/25, -0.1 in decreasing order.
q, -2/25, -0.1
Let q be (-6)/((-96)/(-184)) + 2/4. Sort q, -3, 5 in ascending order.
q, -3, 5
Let n(w) = 3*w. Let p be n(-8). Let r be p/20 - (-1)/5. Pu