= 1091.7 + -1092. Sort -7/11, x, 1, 4/5 in decreasing order.
1, 4/5, x, -7/11
Let u = 3 + -2. Let x = -2 + u. Suppose 283*o + 744 = -1520. Sort x, o, 2/13 in ascending order.
o, x, 2/13
Suppose -3*y + 0*y - j = -12, -5*y + 34 = -3*j. Suppose 0*i + 5*i = 3*m + 10, -2*i + y*m = -4. Put 0, i, 7, -3 in descending order.
7, i, 0, -3
Suppose 5*g + 1 = -5*u - 4, -5*u = -3*g - 11. Suppose 4*z = 2*z - 46. Let v = 19 + z. Put v, g, 4 in decreasing order.
4, g, v
Let h be -3 + 4 + (-6 - -1) + 6. Sort 838, h, -5, -1 in decreasing order.
838, h, -1, -5
Let a = 67 - 65. Suppose 1 = a*b - 3. Sort 11, -2, b, -3 in increasing order.
-3, -2, b, 11
Suppose 4*y = -86 - 50. Sort 1, y, -2 in decreasing order.
1, -2, y
Let t = -550 - -539. Put -2/19, 9, t in decreasing order.
9, -2/19, t
Let i be ((-9)/27*2)/((-2)/(-6)). Let y = -0.13 + 1.13. Sort y, -4, i in decreasing order.
y, i, -4
Let b(g) = -g**2 + 6*g. Suppose -3*w + c = -21, -3*c = 2*w + w - 9. Let z be b(w). Let i be (-1)/(3/(-12)*2). Put 5, z, i in ascending order.
z, i, 5
Suppose 0 = 3*s + r - 1, 3*s - 2*r = -2 - 0. Let x = s + -1. Suppose 0 = 3*i - 2*i + f + 1, 3*f = -2*i + 1. Sort x, i, 0.
i, x, 0
Let o = 813 - 808. Put o, -4, 16 in descending order.
16, o, -4
Let r be (-2*6)/2 - -1. Suppose 4 = -9*u + 10*u - 2*t, 2*t = 5*u - 12. Sort 1, r, u.
r, 1, u
Let v be (-15)/(165/(-77)) - 204. Sort -0.5, v, 2/13.
v, -0.5, 2/13
Suppose -u - 4*l = -31, -4*u + 25 = -3*l - 80. Sort 15, -4, u in descending order.
u, 15, -4
Let n be (-2)/(-8) - 75852/240. Let z = -317 - n. Sort -1/2, 0.2, z in descending order.
0.2, -1/2, z
Let a = 8 - 4. Let z = 0 - 3. Let w be ((z - -1) + 1)*-7. Sort 0, a, w in increasing order.
0, a, w
Let s be 6 + (-17)/(136/16). Put -2/3, -0.1, s in decreasing order.
s, -0.1, -2/3
Suppose 8*x - 2 = 6*x. Suppose i + 0*y + y = -1, i - y = x. Put i, -2, 15 in ascending order.
-2, i, 15
Let v = 50 - 49.5. Let f = 38 + 5. Put f, v, -2/5 in increasing order.
-2/5, v, f
Let y be (2 + (-3 - -1))*(-3)/(-6). Sort -6, -2, -4/3, y.
-6, -2, -4/3, y
Let m = -11 + 15. Let u = 6290 + -6287. Sort 0, -2, m, u in increasing order.
-2, 0, u, m
Let d = -22 + 19.1. Let g = d - -2. Let u = 1.2 + g. Sort -2/13, u, -4.
-4, -2/13, u
Let z be (128 - 138)*1/(-2). Sort -1, 29, -5, z in descending order.
29, z, -1, -5
Let q = 226 - 223.7. Sort q, 0.2, 1 in increasing order.
0.2, 1, q
Suppose 8 = -4*c + k, 4*k = -5*c - 16 - 15. Suppose -d = 4*b - 12, -5*b + 0 + 2 = -2*d. Let x = 16 + -11. Sort x, c, b.
c, b, x
Let o = -501 + 501.3. Put -4, 1.6, o, -0.5 in increasing order.
-4, -0.5, o, 1.6
Let t = 56 + -56.5. Let c = t - -1. Sort 5, 0, c, -2/9 in decreasing order.
5, c, 0, -2/9
Let m = -2548 + 2548. Sort 293, m, 2 in ascending order.
m, 2, 293
Let k be (((-1170)/8)/5)/((-32)/128). Sort 5, -3, k in descending order.
k, 5, -3
Let q = 41 - 45. Let d = -8.11 + 8. Let s = d - 0.09. Put q, 2/11, s in decreasing order.
2/11, s, q
Let h = -247 + 244. Sort 2, -5, h, -2 in ascending order.
-5, h, -2, 2
Let p = 0.25 - -12.75. Let a = p - 18. Put a, 1/5, -0.3 in descending order.
1/5, -0.3, a
Suppose 3*t - 3*c - 1 = -7, 2*c - 14 = -3*t. Let y be (-2 - 5/t) + 4. Put 5, -4, y, 13/5 in descending order.
5, 13/5, y, -4
Let f = 378 - 377.88. Let y = -0.3 + -0.2. Sort f, -4/5, y in increasing order.
-4/5, y, f
Let y(n) = n**2 + 2*n + 1. Let i be y(-2). Let s = 9 - 0. Let l(w) = -18*w - 36. Let z be l(-2). Put i, z, s in ascending order.
z, i, s
Let a be 126/(-15) + 6/15. Let m(r) = -r**3 - 7*r**2 + 8*r - 9. Let q be m(a). Let d be -3*((-15)/q + -1). Put 5, 4, d in ascending order.
d, 4, 5
Let u = 1217/14 + -87. Sort -2, u, -2/5, 0.4.
-2, -2/5, u, 0.4
Suppose 17 + 3 = 4*v. Suppose -s = z - v, 5*s - s = 2*z + 2. Let u = 131 + -135. Put u, z, 0 in descending order.
z, 0, u
Suppose -20*l + 128 = -52*l. Put -3, 2, l, 75 in decreasing order.
75, 2, -3, l
Let m be 4*(-10)/200 - (-108)/(-10). Put 4, 2, m, -4 in ascending order.
m, -4, 2, 4
Let r be 0*((-81)/(-54) + 1/(-2)). Put 4, r, -4 in decreasing order.
4, r, -4
Let k = 4103 + -4143. Let i = 13 - 9. Sort -4, i, k.
k, -4, i
Let k = 44 - 57.6. Let z = k - -0.6. Let a = 13.2 + z. Put 4, -1, a in increasing order.
-1, a, 4
Let m be (-2)/11 + (-162)/(-165). Let i(d) = 8*d - 7*d + 8*d - 1 + 3*d. Let r be i(1). Sort r, -0.2, m.
-0.2, m, r
Let a(w) = w**2 + 9*w + 11. Let r(k) = -k**3 - 8*k**2 + 8*k - 17. Let y be r(-9). Let z be a(y). Put z, 0, -3 in ascending order.
-3, 0, z
Let i(h) = -8*h - 15. Let l be i(-2). Put l, 6, -1 in increasing order.
-1, l, 6
Suppose 15 = -2*w - 3*w. Let r(n) = n**3 + 2*n**2 - 2*n + 23. Let f be r(-4). Sort f, -5, w.
-5, w, f
Let l = -33.4 + 33.6. Let h = -0.2 + 2.2. Sort 3, h, l in decreasing order.
3, h, l
Let i = 0.168 + -0.287. Let v = 5.119 + i. Put 0.2, v, 1, -1 in ascending order.
-1, 0.2, 1, v
Let d = 0.059 + -5.059. Put d, -6, -0.2, -1/4 in ascending order.
-6, d, -1/4, -0.2
Let j = -4.855 - 0.145. Put j, -3, 1 in ascending order.
j, -3, 1
Let a(i) = 29*i + 208. Let m be a(-7). Sort -1, m, 2, -31 in increasing order.
-31, -1, 2, m
Let i = 139294/135 + -3095/3. Let m = i + 7/27. Put 1/2, -3, m in descending order.
1/2, m, -3
Let t = 3/10 - 1/2. Let q = 1 - -2. Let s = -0.4 + 2.4. Sort t, s, q.
t, s, q
Let o = 1430.995 - 1431. Put o, 2, -0.5 in decreasing order.
2, o, -0.5
Let m = -3.08 + 2.98. Put m, -0.3, 0.5, 2 in increasing order.
-0.3, m, 0.5, 2
Let m be 1 + -1 + -1 + 66. Let w = 327/5 - m. Let c = -0.23 + 0.03. Put 2, c, w in ascending order.
c, w, 2
Let r = -124 - -122. Put r, -2/9, 2, -6 in descending order.
2, -2/9, r, -6
Let p = -6739/7 + 963. Let g be (1/(-3))/(2/(-18)). Sort -2, p, g in decreasing order.
g, p, -2
Let x = 245 + -246. Sort 13, x, -3 in decreasing order.
13, x, -3
Suppose s + 5*n = 24 + 24, 144 = 3*s + 3*n. Suppose -21*v + 5*v - s = 0. Put v, 0, 4 in increasing order.
v, 0, 4
Let c be (-5)/(-10)*(-5 + 1). Let w be c/((16/(-22))/4). Suppose 3*g - w = -2. Put g, 4, 0 in increasing order.
0, g, 4
Let w = -284 - -283.7. Sort w, 0.2, -168/5 in decreasing order.
0.2, w, -168/5
Let j(c) = -c**3 - 17*c**2 + 38*c - 2. Let a be ((-4)/(-3) - 1)*-57. Let h be j(a). Put -7, h, 0 in decreasing order.
0, h, -7
Suppose 0*g + w - 5 = -2*g, -4*w - 45 = -5*g. Suppose 43*h - 75 = 44*h. Let o = 64 + h. Put 0.1, g, o in decreasing order.
g, 0.1, o
Suppose 4*v + 3*j = -9, 0 = v - 3*j + 8*j + 15. Suppose -g + v*g = -5*g. Sort -7, g, -1, -5 in ascending order.
-7, -5, -1, g
Let n be (4/(-87) - 0)*(-67)/(-402). Let f = n + -247/1827. Put f, -2, 0.5, 2/3 in decreasing order.
2/3, 0.5, f, -2
Suppose 0 = 315*o - 313*o - 16. Sort -0.1, 5, o, -0.6 in ascending order.
-0.6, -0.1, 5, o
Let k(j) = -7*j - 4. Let x be k(-1). Let t = -12 + 8. Put 5, t, -1, x in ascending order.
t, -1, x, 5
Suppose j = 3*j + 5*i + 26, 0 = i + 4. Put -4, j, 2, 11 in decreasing order.
11, 2, j, -4
Let s be -1 + 0 + 4 + 2. Let v(p) = p**3 - 15*p**2 - 16*p + 1. Let w be v(16). Sort 3, w, s.
w, 3, s
Let w(t) = -t**3 + 32*t**2 - 5*t - 52. Let r be w(32). Sort 5, -5, r, -2 in increasing order.
r, -5, -2, 5
Suppose x = 3 + 3. Suppose -19 = 5*z + x. Let o = 0.4 + -0.2. Sort z, o, -2/25 in descending order.
o, -2/25, z
Let i(x) = -4*x + 12. Suppose 5*h - 5 = -r, 0*h + 4*r + 26 = 3*h. Suppose -8 - 2 = -h*p. Let z be i(p). Sort z, 3, 0 in descending order.
3, 0, z
Let o = 327 - 331. Put 15, o, 4, -1 in increasing order.
o, -1, 4, 15
Let v = -1/164 - 1471/820. Sort v, -4, 2/3, 0.3 in decreasing order.
2/3, 0.3, v, -4
Suppose -742 - 1709 = 57*p. Sort 5, 3, p in descending order.
5, 3, p
Let a = -1.8 - -1.7. Put -22/7, -3/5, a in descending order.
a, -3/5, -22/7
Let t = -0.09 + -4.91. Suppose 206 = -2*g - 12. Let k = g - -332/3. Sort t, k, 0.4.
t, 0.4, k
Suppose -7*c - 60 = -2*c. Let q be (-51)/(-15) - c/20. Let w be (6/q + -2)*-2. Sort 0, 4, w.
0, w, 4
Let g = 34 + -32. Suppose 0*f - 5*l - 30 = 4*f, 2*f + g*l = -14. Sort 3, f, -12 in decreasing order.
3, f, -12
Let j = -4292/11 - -390. Sort 1, 36, j in increasing order.
j, 1, 36
Let u(y) = y**2 - 10*y + 4. Let l be (((-6)/(-4))/1 - 3)*-6. Let n be u(l). Put -3, -4, n, 3 in increasing order.
n, -4, -3, 3
Let o(c) = 4*c**2 - 54*c + 104. Let h be o(11). Let z be 0 - -1 - 2*2. Sort h, -2, z, -4 in increasing order.
h, -4, z, -2
Let q be ((-1)/3)/(((-15)/(-36))/