. Suppose o*s = 17*s + 26. Sort 4, w, -3, s in descending order.
4, s, w, -3
Let b be (-1)/(20/(-36)*(-9)/(-15)). Suppose 14 = i + 2*p, 0 = 2*i - 4*p + 5*p - 25. Let y be (i/9 - 1)*12. Sort b, 1, -4, y.
-4, 1, b, y
Let h = -13.542 + 14.242. Sort -4/19, 9, h, 0.5 in increasing order.
-4/19, 0.5, h, 9
Suppose -13*h + 3*h + 2190 = 0. Let t = 1092/5 - h. Put -2, t, 1 in descending order.
1, t, -2
Let o = 1021 - 1021.5. Put -10, 0.1, -1, 4, o in increasing order.
-10, -1, o, 0.1, 4
Let g = 63.3 + -63.31. Sort 0.1, -13, 0.5, g in decreasing order.
0.5, 0.1, g, -13
Let b = 1.23 + -0.15. Let w = b + -0.18. Let u = 389 - 384. Put w, u, -1/5 in decreasing order.
u, w, -1/5
Let d be (-4)/(3*-5*(-12)/(-90)). Put -2, -71, -5, d in descending order.
d, -2, -5, -71
Let v = 2 + 2. Let f = 52707 - 52766. Sort v, f, 0.
f, 0, v
Let j = 3.99 + 0.01. Let g = 40 - 34.8. Let w = g + -0.2. Sort -5/7, w, j in decreasing order.
w, j, -5/7
Let v(z) = -2*z**2 + 151*z + 719. Let l be v(80). Put -3, 12, l, -4, 6 in decreasing order.
12, 6, l, -3, -4
Suppose 3*l + 4*n + 23 = 0, -40 = 2*l + 2*l + 3*n. Let y = 0.3 - -0.1. Let q = 875.9 - 874.9. Sort q, y, l.
l, y, q
Let p = 19638 + -19638.33. Sort 1/3, 3, p in decreasing order.
3, 1/3, p
Let r(b) = -6*b - 7*b + 5*b + b**2 - 4. Let n be r(9). Let v = -21/589 + -1725/1178. Put -3, n, 4, v in decreasing order.
n, 4, v, -3
Suppose -3*o - 76 = 53. Let b = -35 - o. Sort 3, b, 5.
3, 5, b
Let i = 14 + -17. Let x be (-12)/1 + (-1027)/(-79). Put x, i, 11, -5 in increasing order.
-5, i, x, 11
Let v = -11/57 + 5/57. Let a = -296 - -300. Sort a, 0, v, 1/4.
v, 0, 1/4, a
Let s be (544/680)/((-2)/20). Sort -10, 3, s.
-10, s, 3
Let w(z) = 4*z**3 + 4*z**2 - 2*z - 2. Suppose -126 + 128 = 2*f. Let v be w(f). Let y(i) = -i - 13. Let a be y(-12). Sort 15, -2, v, a.
-2, a, v, 15
Let m = -55 + 59. Let l(y) = -y. Let v(f) = -5*f + 15. Let d(n) = -4*l(n) + v(n). Let j be d(13). Sort j, m, 1 in decreasing order.
m, j, 1
Let s(j) = -24*j - 24. Let r be s(-1). Suppose 0 = 3*t - 5*n, 23 = 5*t - n + 1. Suppose 0*o - o = -1. Put 2, o, r, t in descending order.
t, 2, o, r
Suppose 57*b - 5 = 52*b. Let d be (50/(-75))/(11/9 - b). Put -6, -2, d, 3 in ascending order.
-6, d, -2, 3
Let r(z) = -z**3 - 81*z**2 - 310*z - 157. Let b be r(-77). Suppose -11 = g - 2*p, 8*g = 4*g - 3*p - 11. Sort g, 10, 0, b in descending order.
10, 0, b, g
Let h = 33 - 31. Suppose h*p = -p + 15. Suppose -2*y - 3*o = -y - 9, 4*y - p*o = -32. Sort -5, -1, y in descending order.
-1, y, -5
Suppose 10*q = -20 + 250. Let c = 20 - q. Put 0, 3, c in decreasing order.
3, 0, c
Let h = 0.26144 + 0.13856. Sort 0.1, 4/5, h, -130 in descending order.
4/5, h, 0.1, -130
Suppose -4789 = 16*f + 971. Let v = -358 - f. Sort v, 0, -1 in decreasing order.
v, 0, -1
Let f(t) = 23*t**2 + 1424*t - 120. Let i be f(-62). Let x = 31/4 - 8. Sort x, 1, 0.2, i in ascending order.
x, 0.2, 1, i
Let c be 34408/(-759) + (2 - (-42)/(-9)). Put c, 5, 45 in descending order.
45, 5, c
Let x be (-6 + 2)/(3 - 1). Let k be (-156)/(-28) + (-9 - x). Put 3, 0.1, 2/9, k in increasing order.
k, 0.1, 2/9, 3
Let y = -2939.1 + 2953.1. Put 1, y, -0.3, 5 in ascending order.
-0.3, 1, 5, y
Let j be -11 + (-6)/99*-186. Sort j, -0.2, 0.5, 38.
-0.2, j, 0.5, 38
Let w = 9/722 + 294752/361. Let b = 802 - w. Let g = 829628 - 829632. Put b, g, -0.4 in increasing order.
b, g, -0.4
Let i = -6.133 - -6.033. Sort 3, -3, i, -1/3.
-3, -1/3, i, 3
Suppose 3*j + 5 = -2*n, -n - j = 3 - 1. Suppose -4*y + 36 = -45*v + 49*v, -2*v - 5*y = -33. Sort n, 1, v, 3 in increasing order.
n, 1, 3, v
Let t be ((-36)/10 - 2/5)/(-1). Suppose -3*h + 19 = 5*p, -p - 7 = 4*h - t. Sort 4, -1, h, 1 in descending order.
4, 1, -1, h
Let m = -213/2 - -104. Let o = 37955 + -37955.1. Sort m, o, -22, 2/9 in increasing order.
-22, m, o, 2/9
Let o = -30862 - -30858. Sort -3, 1770, o, -0.5 in decreasing order.
1770, -0.5, -3, o
Suppose -5 - 1 = -3*g. Let n(y) = 26*y - 67. Let z be n(7). Let o = z + -116. Put o, g, 5, 0 in descending order.
5, g, 0, o
Let m = -126 + 136. Suppose -3*z - 15 = 0, 2*z - 16 + m = -4*y. Sort -5, y, -4.
-5, -4, y
Suppose 116*n - 2432 = 40*n. Sort -67, n, 5.
-67, 5, n
Let u = -4013 - -4007. Sort u, -15, -3, 3, 0.
-15, u, -3, 0, 3
Let t be (-1 + 13)/(-2)*54/(-108). Let c be -1*(t + 2 + -12). Sort 5/3, c, -5.
-5, 5/3, c
Let s = 13322 + -13323. Put s, 5, 2, -0.025, -0.02 in descending order.
5, 2, -0.02, -0.025, s
Suppose 5*c + 68 = -5*c + 18. Sort 3, 4, -48, c, -1.
-48, c, -1, 3, 4
Let u(n) = 10*n**2 - 263*n - 5. Let s be u(26). Put -1, s, -3, 1 in increasing order.
s, -3, -1, 1
Let y = -18 + 82. Let k = 64 - y. Sort k, 0.4, 3, -3.
-3, k, 0.4, 3
Suppose 0 = -5*s - 727 + 127. Let j be (-100)/s*(4 + 2). Sort 2, 0.3, -5, j.
-5, 0.3, 2, j
Suppose -8 = 5*i + 12, -4*i = 2*c + 26. Let k(t) = t**2 + 83*t + 163. Let a be k(-2). Put c, a, 14, -1 in ascending order.
c, -1, a, 14
Let h = -97 - -95. Let x = 20.1 + -19.9. Sort 3, 1/25, h, x in decreasing order.
3, x, 1/25, h
Let l be 0/7*2/4. Let u = l - -22. Let h be u/88*6*2. Sort 1, h, -5 in ascending order.
-5, 1, h
Let m = -0.3479 + -0.6521. Let l = 0.63 + -0.13. Put l, 5/4, m in increasing order.
m, l, 5/4
Let b be (-2)/5 - 201/(-15). Suppose -b*z = -9*z + 20. Let g(t) = 6*t + 26. Let k be g(-6). Sort 2, k, z in increasing order.
k, z, 2
Suppose -15192*x + 15095*x - 194 = 0. Suppose -5*h - 6 - 29 = 0. Sort 5, x, h, 1.
h, x, 1, 5
Let x = -19694 - -19696. Sort -3, 21, x, -1.
-3, -1, x, 21
Suppose -3*p = 3*q + q - 29, -q + 5 = 0. Suppose -9 = -p*w - 36. Let g(v) = 2*v**2 + 18*v - 1. Let y be g(w). Sort -2, -5, y in decreasing order.
y, -2, -5
Let p = 0.112 + 4.888. Let z = 742.3 - 742. Let a be (-2 + 0)*(-2)/38. Sort -0.2, a, p, z in ascending order.
-0.2, a, z, p
Let q be -2 + 9 + -4 + 3/(15/(-40)). Sort -1521, 4, q.
-1521, q, 4
Let j be 107*1/3*36/(-12). Sort 3, 14, 4, j in ascending order.
j, 3, 4, 14
Suppose 11*d - 48 = 5*d. Suppose -3*k = -3*j + 59 - 44, 4*k + 11 = j. Suppose 0 = -3*u - 5*g + 7, -4*g = 3*u - 0*g - 5. Sort u, d, k, -3 in descending order.
d, u, k, -3
Let q be 2720/408 - 26/4. Sort -136, 2, q, -3, -1/6 in decreasing order.
2, q, -1/6, -3, -136
Suppose 6*f = 8*f. Let x be (-3)/(-3 + -81*4/(-112)). Suppose -2*v + 3 = 4*w - 33, x = 3*w + 2*v. Put f, w, 3 in descending order.
w, 3, f
Let d be (45/225)/(18/(-20)). Let u = -5 + 0. Put -1, d, -4/3, u in decreasing order.
d, -1, -4/3, u
Let j = 26940 + -26935. Let u = -3.4 + 3. Let m = -0.5 - u. Put 1/2, m, j in descending order.
j, 1/2, m
Let w = -4.65 - -6.05. Let j be (-5 - (-268)/52)/(-1). Sort -2, 0.4, w, j in descending order.
w, 0.4, j, -2
Let x be ((-2)/49)/((-111)/777). Put x, -2, 0.3, -0.01, -3/5 in increasing order.
-2, -3/5, -0.01, x, 0.3
Suppose 6*n = 15*n + 27. Let j = 239 + -256. Sort 2, j, 5, n in decreasing order.
5, 2, n, j
Let d = 1396.9 - 1397. Let p = -22 + 34. Suppose u = -o - u + 12, 0 = -3*o + 2*u + p. Sort d, o, 2/13 in decreasing order.
o, 2/13, d
Let s(t) = t + 1. Let c be s(3). Let i be (423/(-36) + 10)/(2/(-16)). Suppose 20*z - 22*z - i = 0. Put z, c, 3, 2 in decreasing order.
c, 3, 2, z
Let s = 2.918 + -2.518. Sort -2/3, -146.9, s.
-146.9, -2/3, s
Let b = 6379.4 + -6379. Sort 10, -35, -0.1, b in decreasing order.
10, b, -0.1, -35
Let l = -5905.1 + 5925. Put -3, -1/5, -1/3, -0.5, l in increasing order.
-3, -0.5, -1/3, -1/5, l
Let l = 3 + 9. Let f = -9 + l. Suppose -3*p - 3 = f. Put p, 10, 2 in ascending order.
p, 2, 10
Let l = 398.18 - 397.78. Put 7.9, l, -0.2 in ascending order.
-0.2, l, 7.9
Let d = -0.76637 + 0.36637. Let x = -0.3 + 1.3. Put x, d, 3, 5/6 in descending order.
3, x, 5/6, d
Suppose -t + 8 = -4*t - 2*m, -7 = 3*t + m. Sort -1135, 4, t, 0.2 in increasing order.
-1135, t, 0.2, 4
Let j be (-2)/3*(-327)/18748. Sort j, -0.06, 0, 4 in ascending order.
-0.06, 0, j, 4
Let x be 2*(3/(-2))/(-3). Let s = 54 + -58. Sort x, 17, s, 5 in decreasing order.
17, 5, x, s
Let m = -38 - -60. Suppose 5*z = 3*z + 4*q + m, 4*z = -3*q. Let i = -2462 - -2462. Sort z, -5, -1, i in decreasing order.
z, i, -1, -5
Let s = -3.8 - -0.8. Suppose 0 = 5*l - f - 162, -6*l - 4*f = -8*l + 72. Let t = 27 - l. Put 1, t, s, -0.4 in ascending order.
t, s, -0.4, 1
Let h = 239.34 - 249.883. Let g = 0.457 - h. Put -1, -0.1, g in decreasing order.
g, -0.1, -1
Let 