 1.3 + -1. Sort z, y, 0.1.
0.1, z, y
Let h = -26 - -25. Let s = -1 + -5. Let k = -5.8 - s. Sort 1/3, h, k in ascending order.
h, k, 1/3
Let w = 11 + -8. Let b = -524.5 + 524. Sort 1, w, b, -3 in decreasing order.
w, 1, b, -3
Let j(b) = b - 5. Let w be j(5). Let d = -26 - -26. Suppose -f - 3*c - 14 = d, 0*c - 5 = c. Sort -1, f, w.
-1, w, f
Let f = -35 + 13. Let a be 2 + (-12)/f*-4. Put a, -0.2, -3 in descending order.
a, -0.2, -3
Let b(x) = -2*x**2 + x**2 - 5*x + 2*x + 4*x + 1. Let w be b(-1). Suppose -6*p + 13 = -11*p - g, 0 = 5*g + 15. Sort p, -3, w.
-3, p, w
Let s be (-4)/((-42 + 0)/3). Suppose -2*r - 3*f + 11 = -0*r, 0 = -3*f + 15. Let o be (1/r)/((-3)/6). Sort s, 0.5, o in ascending order.
s, 0.5, o
Let i(k) = -k**3 - 7*k**2 - 4*k + 9. Let n be i(-6). Let p be 3 + (-6)/15 + n. Suppose 0 = -5*u, 2*z = 4*z + 2*u. Put -1/2, z, p in descending order.
z, p, -1/2
Let g(y) = -y + 10. Let f be g(5). Let z = -13013 + 13010. Put 4, f, z in descending order.
f, 4, z
Let b = -59 + 293/5. Put 9, b, -0.2 in descending order.
9, -0.2, b
Let h be 0 + -1 + (-804)/(-580). Let c = h - -2/145. Put 5, c, 2 in decreasing order.
5, 2, c
Suppose 2*q - 4 = l, 5*l - 3*q + 5*q = -8. Let t = -12 - -20. Let w be 6*3*t/(-36). Put l, 5, w in decreasing order.
5, l, w
Let q be 240/228 - 11/209. Sort 2, 22, 5, q.
q, 2, 5, 22
Let v = 17.9 - 18.1. Sort 5, 2.5, v, -2/9 in descending order.
5, 2.5, v, -2/9
Let c = -45 + 48. Suppose c = -g + 1. Sort 6, g, 0.
g, 0, 6
Let l = 16 - 14.1. Let k = -2.2 + l. Let q be (-10)/34*2/5. Put k, q, 2/5 in increasing order.
k, q, 2/5
Let v be (8/(-32))/(2/(-8)) - -9. Put -1, v, 18 in descending order.
18, v, -1
Let q be (-1)/(-3) + (-1)/3. Suppose -5*i + 3*i - 10 = q. Let a = -0.0263 - 0.0737. Sort 0.3, i, a in decreasing order.
0.3, a, i
Suppose 3*i = 12, 0 = -2*n + 2*i - 0*i - 4. Put -3, 1, n in descending order.
n, 1, -3
Let p = 444 + -445.29. Sort 1, 0, p in descending order.
1, 0, p
Let h = -1179 - -1184. Put -4, 3, h, 18 in increasing order.
-4, 3, h, 18
Let j = 14.3 - 10.3. Let i = 4.7 + 0.3. Sort -2/3, i, j in increasing order.
-2/3, j, i
Let a be 49/(-84)*(-5)/7. Let n = a + -2/3. Suppose 5*w - 7 - 21 = -4*o, -14 = -3*o - 2*w. Put o, 0.6, n in decreasing order.
o, 0.6, n
Let s = -69/5 - -67/5. Sort -5/4, -3/4, s, -0.2 in decreasing order.
-0.2, s, -3/4, -5/4
Let w be 8/7*2/(-4). Let u = -0.0426 + 0.3426. Put u, w, 0.5 in increasing order.
w, u, 0.5
Let i = -4 - -1. Let z(g) = -g**3 + 4*g**2 + 34*g - 17. Let p be z(8). Sort -2, p, i, 2 in increasing order.
i, -2, p, 2
Let m = -2464319535/9151424 + 9/397888. Let q = m - -10212881/37950. Let k = q + -1/75. Put 5, k, 2 in decreasing order.
5, 2, k
Let j = 709.24 - 709. Sort 4/3, 7/2, j, -0.4.
-0.4, j, 4/3, 7/2
Let j = -898/7 + 128. Suppose -78 = 4*u + 62. Let c be 5/(-30) + u/6. Sort c, j, 0.1 in decreasing order.
0.1, j, c
Let c(u) = -13*u + 109. Let w be c(8). Put 4, -35, w in decreasing order.
w, 4, -35
Let k(n) = n**3 - 22*n**2 + 21*n - 2. Let c be k(21). Suppose -3*l + 4*z - 15 = z, -1 = -z. Sort 2, c, l.
l, c, 2
Let j = 82 + -32. Sort 5, 1, -4, j in increasing order.
-4, 1, 5, j
Let a = 0.2 - 1.2. Let v = 23/53 - -7/106. Sort a, v, 0.12.
a, 0.12, v
Let v(z) = -z**3 + 11*z**2 - 13*z + 146. Let i be v(11). Sort -0.4, -9, -0.5, i in increasing order.
-9, -0.5, -0.4, i
Suppose 25*w = 8*w - 68. Put 1, -15, 3, w in decreasing order.
3, 1, w, -15
Let i = -1.248 - 105.552. Let v = 107 + i. Sort -2, -5, -3/7, v.
-5, -2, -3/7, v
Let j = -0.3 + -1. Let b = -0.7 + j. Sort 0.4, b, 1/6.
b, 1/6, 0.4
Let c = 3.5 + -3. Suppose -17*k = 338 + 427. Let i be (2/5)/(-16*(-3)/k). Sort 2, c, i in decreasing order.
2, c, i
Let u be 2 - ((-48)/(-7))/3. Let x = 0.047 - 0.147. Put u, -1, x in decreasing order.
x, u, -1
Let n(x) = 11*x - 9. Let a be n(1). Put a, -9, 1, -7 in ascending order.
-9, -7, 1, a
Let z = -15.6 - -114.6. Let r = z - 97. Suppose -4*v + 12 = -4. Put v, 0.3, r in decreasing order.
v, r, 0.3
Let w = 578.1 + -579. Put w, 0, 4, -1/2 in decreasing order.
4, 0, -1/2, w
Let a = 17.63 + -12.63. Let u = -164 + 6233/38. Let l = 71/190 + u. Sort -14, a, l in decreasing order.
a, l, -14
Let d = 717 - 721. Sort d, -2, 1 in increasing order.
d, -2, 1
Let a be 168/(-4200) + 202/50. Let j(u) = u**3 + u**2 - 3*u + 4. Let l be j(-3). Sort a, 1, 0, l in ascending order.
l, 0, 1, a
Let z(h) = 2*h + 4. Let g be z(-3). Suppose -58*b = 139 - 545. Sort b, -3, g, -5.
-5, -3, g, b
Let z = 185 + -1298/7. Let o = 285 - 285. Sort 0.5, z, o.
z, o, 0.5
Let b(o) = -o**2 + 39*o - 309. Let i be b(29). Sort -2, 3, i in decreasing order.
3, -2, i
Let x be 6/(-3)*11/2. Let b be x/(-22)*(-2)/1. Let s be (b + -1)*(-9)/24. Sort -1/5, 2/13, s in decreasing order.
s, 2/13, -1/5
Let f = -5305 - -5307. Let p = 0 + 1/4. Sort p, -1/3, f, 1 in descending order.
f, 1, p, -1/3
Suppose -4*x - x - 40 = 0. Let q = -38 - -41. Suppose -2*y - q = -7. Put -2, y, x in increasing order.
x, -2, y
Let y(v) = 6*v + 70. Let z be y(-11). Let x = -23/44 + 3/11. Let t = 5.09 - 0.09. Sort z, t, x.
x, z, t
Let g(b) = b**3 - 8*b**2 + 9*b - 5. Let y be g(6). Let d = 32 + y. Suppose -4*k = -4*w + d + 3, -3*k - 33 = 3*w. Put 3, 4, k in decreasing order.
4, 3, k
Let s = 737 - 733. Put 254, 0, s in descending order.
254, s, 0
Let p = 1685 + -1683. Put p, -11, 21 in decreasing order.
21, p, -11
Let x = 67 - 62. Let f(v) = v**3 - 3*v**2 - 6*v + 4. Let o be f(4). Sort -1, o, x in ascending order.
o, -1, x
Let v = 155 - 157. Put 30, -1, v, -3 in descending order.
30, -1, v, -3
Let g(t) = -t**2 + 35*t + 141. Let l be g(-4). Sort -4, -2, l.
l, -4, -2
Let o(a) = a - 1. Let m be o(6). Let r be 88/12 - 4/(-6). Suppose 0 = 4*l + 5*d + r, -4*l - 9 + 1 = -d. Sort l, 2, m in increasing order.
l, 2, m
Let h = -685 + 683. Put -3, -3/13, -3/4, h in descending order.
-3/13, -3/4, h, -3
Suppose -12*t + 2 = -15*t - 2*i, 0 = 4*t - 3*i + 31. Put 33, -1, -2, t in ascending order.
t, -2, -1, 33
Let w = 775 + -572. Sort w, -2, 0.3.
-2, 0.3, w
Let u = 460 - 456. Put -1/3, u, 1/71, 3 in descending order.
u, 3, 1/71, -1/3
Let p = -453 + 454. Sort -1, p, -214, 5 in descending order.
5, p, -1, -214
Let u = -38 + 50. Put -1/7, 3, -4, u in descending order.
u, 3, -1/7, -4
Suppose -m + 2 - 19 = 5*t, m - 7 = t. Sort -19, 2, m in ascending order.
-19, 2, m
Let h = -6.6 - -7. Let y = -3.1 + 2.1. Sort h, y, 1/3 in ascending order.
y, 1/3, h
Let s be -9*(4/3 + -1). Let h = 6 + -5.5. Let r = 8619/11 + -783. Put r, h, s in increasing order.
s, h, r
Let r = -20.5 + 15.5. Put 1/5, -1/2, 2/9, r in descending order.
2/9, 1/5, -1/2, r
Let o(s) = s**3 + 10*s**2 - 15*s - 48. Let i be o(-11). Sort -18, 6, i, -3.
-18, i, -3, 6
Let z be 61/(-14)*2/3 - -3. Let r be (1/6)/((-15)/12). Sort z, 5, r.
r, z, 5
Let p(c) = 59*c**3 - 2*c**2 + 1. Let y be p(-1). Let g be y/(-108)*6/2. Sort 0.2, 1, g in decreasing order.
g, 1, 0.2
Let v = 572/5 - 115. Let x = -41 - -36.4. Let i = x + 4.3. Sort -2/11, i, v in increasing order.
v, i, -2/11
Let n be (-222)/(-72) - (-12)/(-4). Sort -0.4, -0.3, 1, n in ascending order.
-0.4, -0.3, n, 1
Let q = 969 + -930. Put 0.4, -0.5, q in descending order.
q, 0.4, -0.5
Let m be ((-5498)/(-84))/(153/(-27)). Let w = m + 137/14. Let g = w + 163/102. Put g, 0.5, 0 in increasing order.
g, 0, 0.5
Let d = -29.42 - -3.72. Let p = -24 - d. Let f = p - 1.3. Put f, -2, -1 in descending order.
f, -1, -2
Let j(w) = -13*w**2 + 19 + 5*w**3 - 4*w - 6*w**3 - 7*w + 0*w**3. Let f be j(-12). Sort 2, 4, -2, f in descending order.
f, 4, 2, -2
Let k be (2 + -1)/(-26 - -25). Sort 0.4, 0.07, 2/11, k in decreasing order.
0.4, 2/11, 0.07, k
Suppose -12 = 4*x - 7*x. Suppose s + x = 2. Let u = -18.6 + 14.6. Put s, u, 3/10 in decreasing order.
3/10, s, u
Let y = -77 - -121. Let d = 44.4 - y. Sort d, -33, 3/2 in decreasing order.
3/2, d, -33
Let x = 33 - 33.22. Let y = 0.18 - x. Put 4, 0.5, -4/7, y in increasing order.
-4/7, y, 0.5, 4
Let n = -2.8 - -6.8. Let q = 140 + -138. Sort q, n, -0.3.
-0.3, q, n
Let c(m) = m**3 + 18*m**2 - 20*m - 18. Let b = -28 + 9. Let t be c(b). Let g = -3.2 - -3. Sort g, t, 2 in descending order.
2, t, g
Let u = -85.9 + 86. Suppose -v - t + 1 = 0, 0 = 2*v - 4*t + 11 + 5. Let r be 9/15 + v - -1. Put r, 0.3, u in decreasing order.
0.3, u, r
Let j be (2 - 1)*3/(-3) - -2. Put 7, -18, j in 