= -115, -7*o + 55 = 3*l - 3*o. Put -3, x, l in ascending order.
-3, x, l
Let w = -308 + 304.81. Let q = -0.71 + w. Let c = q + 7.9. Put c, -4, 0.2 in ascending order.
-4, 0.2, c
Let h be -2*12/(-15)*30. Suppose j + 12 = -5*m + 28, 0 = 3*m + 3*j. Put -2, h, m, 1 in decreasing order.
h, m, 1, -2
Let z = 287 - 414.5. Let y = z + 128. Sort y, 0.4, -0.2, -47 in decreasing order.
y, 0.4, -0.2, -47
Let l be (-6)/12 + 88/(-16). Sort l, 1, 1/3, 1/27 in increasing order.
l, 1/27, 1/3, 1
Let h be ((-216)/60)/((-7)/(-5) + -1). Let a be 4 - (384/h)/(-8). Put a, 4, 13 in increasing order.
a, 4, 13
Let w = -1.2047 + 1.2047. Put -0.1, w, 220/9 in ascending order.
-0.1, w, 220/9
Let u = -638 + 709. Let p = u + -72. Put -4, p, 6, 2 in decreasing order.
6, 2, p, -4
Let h = -10.02507 - -0.02507. Put 11, 0.04, h in increasing order.
h, 0.04, 11
Let i = 40 + -48. Let v be (26/(-4))/(-13)*-2. Sort i, 3, v, -4 in increasing order.
i, -4, v, 3
Let b(p) = -p**3 + 10*p**2 - 8*p - 8. Let k(j) = -j**3 - 19*j**2 - 2*j - 29. Let x be k(-19). Let v be b(x). Put v, 4, -17 in decreasing order.
4, v, -17
Let f = 171.95 - -2.05. Let m = f + -173.645. Let n = m - -0.045. Sort n, -2/9, -5, -2 in decreasing order.
n, -2/9, -2, -5
Suppose 53*y + 45 = 48*y + 5*q, 0 = -3*y + 4*q - 32. Let t = 180 - 357. Sort 1, y, t in decreasing order.
1, y, t
Let d = 2.2 - 6. Let t = 3.8 + d. Let v be 660/156 - 8/2. Sort t, -0.4, v.
-0.4, t, v
Let r = -4 + 1. Let s = 428 + -427.97. Sort 4, r, s in decreasing order.
4, s, r
Let t = -33.6 - -34. Let x = -13.4 + 13. Let d = -0.7 - -0.9. Sort d, x, t in descending order.
t, d, x
Suppose 2614 - 2599 = 2*k + 3*k. Sort 27, -11, k, 5 in descending order.
27, 5, k, -11
Let o = -3.6275 + -0.3725. Let g = 3/67 + -85/402. Sort o, g, -9.
-9, o, g
Let x = 116.799 + 0.201. Let r = x - 171. Let a = 54.2 + r. Sort 0.7, a, 2/9, 2 in descending order.
2, 0.7, 2/9, a
Let y = -5.1 + 5. Let m be 0 + (-2)/9*3. Put y, m, -4/7, 3 in increasing order.
m, -4/7, y, 3
Let g = 30 - 152/5. Let s = 1080 + -990.3. Let p = s + -90. Put 0, g, -1/6, p in ascending order.
g, p, -1/6, 0
Let i = 1944 - 1944. Let r = -5/173 - -1439/1903. Put 4/5, r, i, 2/7 in descending order.
4/5, r, 2/7, i
Let o be 0*(-1)/(-2) + (3400/(-240))/85. Sort o, 5, -2/11, -2.4 in decreasing order.
5, o, -2/11, -2.4
Suppose -3*r + 24 = 4*b, -20 = 2*r - 7*r. Suppose -6 = -0*c - 2*c. Let d be 2/c + (-720)/27. Put b, d, -2 in descending order.
b, -2, d
Let u be (-3)/(-6)*13*2. Suppose -3*g - 17 - u = 0. Let r be (-7345)/(-1017) + 4/(-18) + -2. Sort r, g, -3.
g, -3, r
Let u(y) = 23*y**2 + 81*y - 1. Let j(n) = -13*n**2 - 40*n + 1. Let l(v) = -7*j(v) - 4*u(v). Let r be l(0). Sort -4, 5, r, -5.
-5, -4, r, 5
Let h = -120944.0053 + 120939. Let f = -0.0053 - h. Let o = -1773/8 + 221. Put f, 2, -2/3, o in descending order.
f, 2, o, -2/3
Let d be (4/12)/(2 - -1). Suppose -2*s + 713 - 2107 = 2*u, -4*u = 2*s + 2790. Let x = -2795/4 - u. Put 0, 1/6, d, x in descending order.
1/6, d, 0, x
Let m = -0.9746 + 1.0746. Let q = -3 + 4. Let r = -5 - -21/4. Sort r, m, q, -5.
-5, m, r, q
Let w be 0*-2*(-2)/(-4). Let g = -2.49 - -39.49. Let x = 40 - g. Sort x, w, -2 in descending order.
x, w, -2
Let z be ((-3)/(-12) - (-4)/16)*(455 - 454). Let t = -1.7 - -5.1. Let o = -3 + t. Put -5, -2, o, z in decreasing order.
z, o, -2, -5
Let w = -260 - -1826/7. Let n be 21/(-24)*2 - -2. Let l = 13206 + -13205.76. Sort n, w, l.
l, n, w
Let v be -21 + -3*7/84*-8. Let r be (-18)/9*(-1 + 2). Sort 4, 0, v, r.
v, r, 0, 4
Let z = 76/3 - 26. Let t = 71.45 + -76.45. Let o = 0.07 + 3.93. Sort z, t, o in decreasing order.
o, z, t
Let k = 1.93 + -1.53. Let j = -130 - -394/3. Sort j, k, -2/3, 18 in decreasing order.
18, j, k, -2/3
Let c = -6/889 - 3526/4445. Put 4/3, 0.4, 0.097, c, -0.1 in decreasing order.
4/3, 0.4, 0.097, -0.1, c
Let b(n) = 5*n**2 + 159*n + 303. Let k be b(-2). Put -4, -3/11, k in decreasing order.
k, -3/11, -4
Suppose i = 3*c + 91, -14*i - 116 = 4*c - 10*i. Let a be (3 + 2/2)*(-3)/4. Sort 1, a, -4, c in increasing order.
c, -4, a, 1
Let f(n) = n**3 - 8*n**2 - 22*n + 31. Let v be f(9). Let m = -86 - v. Sort 5, m, 3 in descending order.
5, 3, m
Let s = 6741 - 6742. Sort -2/5, 2/5, 18, 5, s in increasing order.
s, -2/5, 2/5, 5, 18
Let y = -336.8 - -368.8. Sort -1, -2/13, 0.001, y in descending order.
y, 0.001, -2/13, -1
Suppose -74*q - 31 = 12*q + 313. Sort q, -17, 4, -2 in increasing order.
-17, q, -2, 4
Let a = -10633 - -10638. Let q = 0.14 - -0.26. Sort q, -3, -0.06, a.
-3, -0.06, q, a
Suppose 4753 = 1983*o + 787. Suppose 5*v = -4*u - 28 + 5, 4*u = 3*v + 1. Sort o, u, 12.
u, o, 12
Let a be 13 - (-19)/((-57)/30). Put 130, -3, a in descending order.
130, a, -3
Let n = 48 + -47. Let l be (6/9)/(3 - 8/3). Suppose w = 6*w + 20. Sort w, n, l in descending order.
l, n, w
Let h be (-13 + 603/45)*(-250)/(-20). Let l be 2/6 - (-10)/(-3). Put h, -86, l in increasing order.
-86, l, h
Let y(g) = -2*g**2 + 66*g - 510. Let q be y(14). Suppose 4*n - 16 = 0, -5*m - 2*n + 1 + 12 = 0. Put q, m, -3, 2 in descending order.
q, 2, m, -3
Suppose 6 + 6 = 4*n. Let w be 350/(-105) - 10/(-30). Put -2, w, n in descending order.
n, -2, w
Suppose 0 = -g - 0 - 1. Let c = 7360 + -7359. Sort 4, c, g, 5 in decreasing order.
5, 4, c, g
Let h be 0/5 - (-18 + 0). Suppose 2 - 6 = -4*g. Sort h, g, 4, -1 in increasing order.
-1, g, 4, h
Let w = 177255/708988 - 2/177247. Let o be (-1)/2 - 9/(-2). Suppose r + 2 = u, -o*r - 3 = -u + 8. Put 0.3, r, -2, w in ascending order.
r, -2, w, 0.3
Let g = 295 + -293. Let h = -56 + 54. Sort -0.5, g, -1, h in ascending order.
h, -1, -0.5, g
Suppose -669*j = -853*j - 2760. Let z = -17 + 3. Let p be 4/10 - z/(-10). Put j, p, 3, 4 in decreasing order.
4, 3, p, j
Let m = -58 - 227. Let t = m + 285. Let j be (3/(-2))/((-3)/4). Put -5, j, t, -2 in increasing order.
-5, -2, t, j
Let b = 86.5 - 86. Let z = 0 + 0. Let g = 2775.8 + -2776. Sort 3, g, z, b.
g, z, b, 3
Let r be (-4 - (1 + -2))/((-600)/80). Sort -586, r, 0 in decreasing order.
r, 0, -586
Let b(s) = 35*s - 3684. Let r be b(107). Sort -5, -3, r in increasing order.
-5, -3, r
Let l = 536.66 - 536.6. Let i = -0.25 - -0.75. Sort -2/5, l, 1, i in descending order.
1, i, l, -2/5
Let h = 1 + -4. Let w = -6468 - -6470. Put -4, h, w, 4 in ascending order.
-4, h, w, 4
Let v = 2474 + -2462. Suppose 6 = -0*m - 2*m. Let c be 0 + (0 - (-1 + m)). Put 0, v, c, -3/7 in descending order.
v, c, 0, -3/7
Let v = -51 - -53. Suppose 13*z = v*c + 9*z + 90, -5*z = 5. Sort c, 2, 3 in decreasing order.
3, 2, c
Let m be ((-573)/(-6))/((-7)/(-14)). Let l = m - 194. Sort 2, l, 0, -5 in increasing order.
-5, l, 0, 2
Suppose -15*m + 5 = -20*m. Suppose 5*d - 10 = 3*q, 3 = 4*q - 2*d - 7. Put m, 20, q in descending order.
20, q, m
Let k(v) = 21*v**3 - 6*v**2 + 6*v + 8. Let x be k(-1). Sort x, 4/7, -0.3, 3, -3.
x, -3, -0.3, 4/7, 3
Suppose 10236 - 10356 = -15*j. Sort 4, -4, -3, j.
-4, -3, 4, j
Let i(o) = -6*o - 28. Let k be 64/(-24)*(-6)/(-4). Let d be i(k). Sort 0, d, 14 in decreasing order.
14, 0, d
Let o = -198 + 196.22. Let f = o + 2.28. Let s = -3.1 - 0.9. Put f, -5, -2/3, s in decreasing order.
f, -2/3, s, -5
Let c = 27 - 17. Suppose 3*k - 214 = -5*a, 2*a - 4*k - 60 = c. Let d = 41 - a. Sort -4, d, -1.
-4, -1, d
Let d(n) = n**3 - 7*n**2 - 24*n + 166. Let t be d(7). Put -7, 48, t in increasing order.
-7, t, 48
Suppose -4*b = -3*p - 22, -2*p + 30 = -4*p - 5*b. Put p, 5.6, -1, -2 in increasing order.
p, -2, -1, 5.6
Suppose -4*z - 5*d = -143, 109 = 3479*z - 3477*z - 5*d. Suppose -9*f = -4*f. Sort 3, z, f in descending order.
z, 3, f
Suppose -2*u = 3*u + 10. Suppose 0 = -8*v - 318 + 1398. Let c be (-140)/18 - 30/v. Put u, 1, c in descending order.
1, u, c
Let b be 718/14 + 3 - (-1)/(35/(-10)). Sort b, 3/4, 4, 2 in descending order.
b, 4, 2, 3/4
Suppose -4*u + 31 = -f, 0 = -15*f + 13*f - 6. Sort 4, u, 2 in decreasing order.
u, 4, 2
Let w(n) = n - 11. Suppose 0 = -3*u + 3*k - 6*k + 42, -5*k = -u + 2. Let b be w(u). Sort b, 0, 18 in increasing order.
0, b, 18
Let l = -14217 + 14217. Sort 3, l, -7, -2, -4 in descending order.
3, l, -2, -4, -7
Let c = 2010.7 - 2011. Put 6, c, -0.4, 1/3 in descending order.
6, 1/3, c, -0.4
Let h(b) = -b**3 - 13*b**2 - 60*b - 258. Let u be h(-9). Sort 2, -1, u in increasing order.
u, -1, 2
Let x = -3