.
a, -3, l
Let j = -154.9 - -159.9. Put 2/9, j, 2/37 in decreasing order.
j, 2/9, 2/37
Let s(b) = -b**3 + 16*b**2 - 6*b + 221. Let u be s(16). Sort 1, u, 4 in decreasing order.
u, 4, 1
Suppose -23*p + 68 = -19*p. Suppose 6*b = p - 47. Sort -4, 0.1, -1/7, b.
b, -4, -1/7, 0.1
Let p = -0.78785 - 0.31215. Let s = -6.4 + 6. Sort s, 0.4, p in ascending order.
p, s, 0.4
Let h(g) = -34*g + 540. Let l be h(16). Sort 3, 138, 1, l in decreasing order.
138, 3, 1, l
Let z = -4033 + 4032. Put -141, z, -3 in descending order.
z, -3, -141
Let l = -158 - -174. Let g = 16.5 - l. Let a = -34.1 + 34. Sort g, -7/5, a.
-7/5, a, g
Suppose 0 = 3*p - 7*p - s - 21, -6*p = -s + 29. Sort 0, -166, -2, -4, p in increasing order.
-166, p, -4, -2, 0
Suppose -2*w = 3*c + 13, -2*c + c - 1 = -w. Let o = -338708 - -338740. Put -2, c, o, -4 in descending order.
o, -2, c, -4
Suppose -108*m - 2113 = -106*m + i, 0 = 2*m + 5*i + 2093. Put m, 0, -2 in increasing order.
m, -2, 0
Let c = 2.064 + -2.164. Put 49, c, 10, 3 in descending order.
49, 10, 3, c
Suppose -3*t = -2*x - 19, 0 = t + 4*t + 5*x + 10. Let g(k) = -k**2 + 3*k - 2. Let z(a) = -a**2 + 15*a - 23. Let n be z(13). Let u be g(n). Sort -5, t, 4, u.
-5, u, t, 4
Let z = 6898 - 6907. Sort -26, 1, z, -3 in descending order.
1, -3, z, -26
Let f = -9.36 + 0.36. Let o = -2 - 2. Let b = o + 6. Sort b, f, 5 in decreasing order.
5, b, f
Let j = -1 - -0.6. Let q = -9396782/15 + 625750. Let p = 702 + q. Put 5, p, j, 1/3 in increasing order.
j, p, 1/3, 5
Suppose v + 10 = -q, 4*v + 40 = -0*v + 5*q. Let h be (-103 - -104)*(-6 + 4 - -5). Put v, 1, h in increasing order.
v, 1, h
Let s = 536/65 + -42/5. Let h = 8.071 - 8.371. Sort 4/17, s, h in decreasing order.
4/17, s, h
Let y(v) = 2*v + 3. Let j be y(-5). Suppose -4*a + 87*d = 88*d + 18, 3*d = -3*a - 18. Let z be ((-36)/(-30))/(3/10). Sort z, j, a in decreasing order.
z, a, j
Suppose -3*s + 198 = 213. Let g be ((-20)/6)/(6/18). Let f(l) = -l**2 - 11*l + 14. Let j be f(g). Put j, s, 2 in ascending order.
s, 2, j
Suppose 16*g + 1 + 2 = 3. Put g, -4, -0.04, 1/30, 4 in decreasing order.
4, 1/30, g, -0.04, -4
Suppose -22 + 38 = -f + 4*p, 0 = -3*f - 2*p - 20. Put -2, 4, f, 14, 5 in increasing order.
f, -2, 4, 5, 14
Let y be (-1 - (8 - 91/10))/(2/(-5)). Sort 0.3, 310, y in descending order.
310, 0.3, y
Let g = 0.029 + -0.279. Let p = g + 0.48. Let r = p + 1.77. Sort r, -0.02, 0 in decreasing order.
r, 0, -0.02
Let m(b) = b**3 + 22*b**2 - b - 15. Let h be m(-22). Suppose 12*p = h*p + 165. Let t be 2/(-6)*p/(-88). Sort t, -4, 1 in ascending order.
-4, t, 1
Suppose -15*u + 19*u - 20 = 0. Let b(g) = -g**3 + 6*g**2 - 4. Let j be b(6). Let y = -100 + 98. Put u, y, j, -3 in ascending order.
j, -3, y, u
Let w(c) = 2*c**3 + 156*c**2 + 165*c + 847. Let b be w(-77). Put -6, b, 2, 1 in descending order.
2, 1, b, -6
Let a(x) = x**3 - 65*x**2 + 353*x + 6. Let q be a(6). Sort 1, q, -3, 52.
-3, q, 1, 52
Suppose 2*l = -5*d + 57, -2*l - 225 + 201 = -4*d. Let b(v) = v**3 + 5*v**2 - 6. Let i be b(-5). Put l, 2, i in descending order.
l, 2, i
Let f = -16721/4 - -4181. Sort 5, f, -21, -2, -20 in increasing order.
-21, -20, -2, f, 5
Suppose 0*v + 5*v = 0, 3*a - 21 = -5*v. Suppose -5*i + 4*y - 22 = -4*i, y - a = i. Put 3, -3, 0, i in increasing order.
-3, i, 0, 3
Let h = -8 - -3. Let w = h - -5.3. Let j be (3 - (-78)/(-30))*1. Sort -3, j, w.
-3, w, j
Let d = 5075 + -5078. Put -4, 2, d, 4, -72 in ascending order.
-72, -4, d, 2, 4
Let g(r) = -r**3 - 25*r**2 + 74*r - 1218. Let y be g(-29). Let j = 0.1 - 0.1. Let v = -5 + j. Put v, 5, y in descending order.
5, y, v
Suppose -4 - 9 = 5*p + 3*g, p = -3*g + 7. Suppose -2*y - 20 = -2*q, 0 = 5*q + 325*y - 323*y - 8. Put 5, q, p in descending order.
5, q, p
Suppose -407 = -346*w - 61. Put -28, 3, 4, w, -23 in increasing order.
-28, -23, w, 3, 4
Let v be 2013/(-66) + 1/((-8)/(-12)). Sort 4, v, -8 in ascending order.
v, -8, 4
Suppose -4*j + 80 - 64 = -5*f, 3*f - 2*j + 12 = 0. Suppose g = 2*s + 7, -2*g = -2*s + 4*s - 2. Sort -3, g, -1, f in decreasing order.
g, -1, -3, f
Let j = -0.551 - -0.151. Let f(x) = x**3 - 14*x**2 + 11*x + 17. Let o be f(13). Let r be ((-1)/3)/(o/12). Put 3, j, r in descending order.
3, r, j
Let w = 19.9855 + 0.2145. Let f = 1.1 - -18.9. Let o = f - w. Sort 0.7, -5, o, -0.5.
-5, -0.5, o, 0.7
Let s = -0.099 - 0.016. Let g = -0.015 - s. Suppose -4*a + 2*v - 4 = 0, -a + 3*v = -0*v - 9. Put g, a, -1 in descending order.
g, -1, a
Let n = -2965 + 2968. Put n, -64, -28 in descending order.
n, -28, -64
Let c(z) = -4*z + 95. Let l be c(24). Let q be (-42)/7 - -5 - (-1 - l). Let u(j) = j + 8. Let s be u(-6). Sort 3, s, q in descending order.
3, s, q
Let g = 9633461/254 - 37927. Sort 0.3, g, 2/5 in descending order.
2/5, 0.3, g
Suppose 5*w - 795 = 175. Let b = w - 189. Sort b, 4, 12/11 in descending order.
b, 4, 12/11
Let a = -0.15 - -7.15. Let l = -9 + a. Let z = -2.04 + 4.24. Put -0.5, l, z in decreasing order.
z, -0.5, l
Suppose 4*u - 16 = -0*u. Suppose 0*h = 2*h - 32. Suppose -581*i + 3*p = -585*i + 34, -55 = -15*i - 4*p. Sort u, i, -5, h in decreasing order.
h, u, i, -5
Let n(v) = v - 2. Let u be n(5). Let y(d) = 5 + 5 + 46*d**3 + 8*d**2 + d - 45*d**u. Let i be y(-8). Sort 5, -1, -3, i in ascending order.
-3, -1, i, 5
Let s be ((-57)/38)/(0/(-1) - (-2)/(-4)). Sort s, -6, -0.3, 49, -1.
-6, -1, -0.3, s, 49
Let f = -0.67308 + 0.17308. Sort -5.8, 105, f.
-5.8, f, 105
Let u = -2165 + 2156. Suppose -17 = 2*i - 5*c + 4, -i + 5*c - 13 = 0. Put i, u, -2 in ascending order.
u, i, -2
Let b = -1043.2 - -1044.2. Put b, 2.04, -0.3 in descending order.
2.04, b, -0.3
Let h = -82.52 + 0.52. Let o = h - -82.1. Let q = 11 - 16. Put o, -3, q in descending order.
o, -3, q
Let w = -25240 + 25245. Sort -0.15, -6, 0, w, -9.
-9, -6, -0.15, 0, w
Let q = -41330 + 41326. Let s = -3/68 - -39/17. Put q, s, -7 in descending order.
s, q, -7
Let a = 157 - 161. Let x = -82/7 + 12. Sort x, a, 0.8.
a, x, 0.8
Let k(h) = h**3 - 34*h**2 + 114*h + 171. Let m be k(30). Sort -88, m, 3 in descending order.
3, m, -88
Suppose 2*w - 22 = -4*a, 2*a + 2*w - 7 - 7 = 0. Suppose 0 = -a*b + 5*u - 35, -3*b + 0*u = 4*u + 3. Sort 1, b, 7, -1/6.
b, -1/6, 1, 7
Let w = 100.5 - 101. Suppose 1080 = -5*v - 3*v. Let u be 1/(-4) - v/(-36). Sort w, 4/7, u in ascending order.
u, w, 4/7
Suppose -1389 = 21*x + 102. Sort 5, -2, -5, x in descending order.
5, -2, -5, x
Suppose -t + 5 = 2. Suppose 0 = 5*k - 5*s + 65, k + 3*s - 15 = 4. Sort k, t, 8, 1 in ascending order.
k, 1, t, 8
Let j be (-1)/(-1 - (-8)/10). Let f = 6.4385 - 6.4385. Sort j, -0.2, f, -1/6 in ascending order.
-0.2, -1/6, f, j
Let q = -40 + -5. Let w = q - -41. Suppose -5*x + 4 = -x + 4*m, 0 = -x - 4*m + 13. Sort w, x, 2/17, 1/2.
w, x, 2/17, 1/2
Let w = -52 + 51.9. Let g = -2.69 + 2.52. Put g, w, -2, -0.4 in decreasing order.
w, g, -0.4, -2
Let n = -1/7 + 4/7. Let a = -2.4 + -2.1. Let h = -1.5 + a. Sort n, h, 4.
h, n, 4
Let p be (1*(5 + -4))/((-1)/(-21)). Sort 15, 2, 4, p.
2, 4, 15, p
Let y(t) = -1 + 9*t**3 - 10*t**3 - 20*t**2 + 7 - 22*t + 7*t**2. Let q be y(-11). Put q, 1, 17 in decreasing order.
17, q, 1
Let i(k) = -k**3 + k + 2. Let b be i(2). Let w(v) = 22*v + 291. Let m be w(-13). Let t(h) = -5*h + 28. Let y be t(6). Sort b, y, m in descending order.
m, y, b
Let r be (-4 - -2 - -1)/((-44)/(-132)). Put -5, r, 13, 0, 2 in descending order.
13, 2, 0, r, -5
Let i = -7874 - -118156/15. Let m = -199/60 + i. Sort -5, -3, 0.1, m in decreasing order.
0.1, m, -3, -5
Suppose -4*j + 16 - 6 = 3*m, 3*j - m = 14. Let k = 0.01 - 2.01. Put -1, j, 3/7, k in ascending order.
k, -1, 3/7, j
Suppose 6*s + 12 = 12*s. Let z(p) = -p**2 + 19*p + 177. Let o be z(-7). Sort o, s, -3 in ascending order.
o, -3, s
Suppose -y - g - 6 = -8, -21 = -3*y + 2*g. Sort 0, -0.09, 0.3, y, 29 in descending order.
29, y, 0.3, 0, -0.09
Suppose 2*r - 23 = -0*r + 3*h, 0 = -4*h - 4. Let k be 10/60*78 + 17/((-221)/143). Put 4, -2, k, r in decreasing order.
r, 4, k, -2
Suppose 0 = 5*t - 4*n - 4, -10 = -3*n + 2. Let y(w) = -2*w**3 - 19*w**2 - 25*w - 3. Suppose -4*a - 4*x - 57 = x, 5*x + 33 = -a. Let j be y(a). Sort t, -2, j.
-2, t, j
Let n(k) = -k**2 + 32*k - 238. Let d be n(12). Sort -5, -21, -1, d, -4 in decreasing order.
d, -1, -4, -5, -21
Let d = 57.4 + -57.4. Let h = 0.07 - 0.57. Sort 3/7, -2/297, d, h in as