et j = -19 + 16.2. Let p = 2.4 + j. Put p, 5/4, -3 in decreasing order.
5/4, p, -3
Let z be 3 + (1 - -3 - 4). Suppose 0 = -2*c + 3 - 1, 0 = -4*h + 3*c + 5. Sort z, h, -2 in increasing order.
-2, h, z
Let j = -77 - -77. Let y = -7 - -5. Let l be 0*(j + (-1)/y). Sort -4, l, 5 in descending order.
5, l, -4
Suppose -31 - 224 = 5*j. Let c = -56 - j. Put -4, 0, c, -1 in decreasing order.
0, -1, -4, c
Let j(y) = y**3 + 3*y**2 + 3*y + 3. Let l be j(-3). Suppose -2*s = -3*s - 2. Suppose -6*b + 4*b + 4 = 0. Sort l, s, b in ascending order.
l, s, b
Suppose -2*a = -3*b + 2*a - 7, b = -5*a + 23. Let l be (0/(-1 + 0))/1. Put l, b, -1 in increasing order.
-1, l, b
Let h = 0.0149 - 1.0149. Sort -1/6, -3/2, h, 1.
-3/2, h, -1/6, 1
Suppose u - 26 = 3*h, 7*h - 8 = -2*u + 2*h. Suppose -4*w = f + u, 4*w - 10 + 28 = f. Sort f, 3, 0 in decreasing order.
3, f, 0
Let v be (-2 - -11 - 18)/(1 - 2). Put 0, 13, v in increasing order.
0, v, 13
Let j = 3 + 1. Let r = 1.308 - -73.792. Let l = -75 + r. Sort j, -2/3, l in decreasing order.
j, l, -2/3
Suppose -5*g = 1 - 31. Suppose 0 = 2*j - j + 4*f + 10, 4*j - 3*f = 55. Suppose 9*m = 14*m - j. Put g, 0, m in increasing order.
0, m, g
Let l = 18 + -15.7. Let d = l - 2.27. Let k = d + 0.27. Put -5, 1/3, k in decreasing order.
1/3, k, -5
Let w = -1147 + 1149. Put -5, 0.05, 6, w in ascending order.
-5, 0.05, w, 6
Let n be (-5 - 0)*(2 + -1). Let o be -3*(1 + n - 1). Suppose 2*z + o = -z. Put z, 4, -4 in decreasing order.
4, -4, z
Let q = -4 - -5. Let a be -7 - 12/9*3. Let w = 8 + a. Put q, w, 0 in descending order.
q, 0, w
Suppose -3 = -5*w + 7. Suppose -31*j = -27*j - 80. Let c = j + -17. Put -2, c, w in decreasing order.
c, w, -2
Suppose 2*h = 5*j + 3 + 2, -4*j + 5*h - 21 = 0. Suppose -8*f + 5*f = 0. Sort -2, f, j.
-2, f, j
Let c = 0.7 + -0.2. Let w = 515.1 - 517.1. Sort -1/2, 3/5, w, c.
w, -1/2, c, 3/5
Let t = -73.55 - -70.55. Let v(y) = -y**2 - 6*y - 6. Let k be v(-4). Put -2/5, k, 5, t in descending order.
5, k, -2/5, t
Let z = 481.787 + -482. Let h = -0.013 - z. Sort h, 1, -5, 2.
-5, h, 1, 2
Let h = -302.5 + 302. Sort -0.04, -2/5, h, -5 in increasing order.
-5, h, -2/5, -0.04
Let u = 14 + -27. Let r = -8 - u. Sort 3, r, 16.
3, r, 16
Let i be (-84)/36 + -6 + 9. Put i, 87, 5 in ascending order.
i, 5, 87
Suppose -2*h - 5 = 3*h, 3*h + 95 = -4*y. Let u = -20 - y. Sort u, -5, 2.
-5, 2, u
Let v(d) = -d - 7. Let m be v(-9). Suppose m*i - z + 12 = 2, -i - z + 1 = 0. Sort i, 5, 3, 0 in descending order.
5, 3, 0, i
Suppose -3*o = 2*n + 9, n + n = 2*o - 4. Let w be (-2)/(-4)*(-10)/o. Let m = -940 + 935. Put w, -3, m in descending order.
w, -3, m
Suppose -2*w + 5*z = 108, z = -83*w + 82*w - 47. Put -5, w, -4, 3 in decreasing order.
3, -4, -5, w
Let l = 9.56 - 9.51. Put -0.5, -34, l in ascending order.
-34, -0.5, l
Let u = -2.86 - 0.14. Let h = 17 + -15. Let z = h + u. Sort 0, z, -11.
-11, z, 0
Let i = 210 - 211. Put 22, 1, -5, i in descending order.
22, 1, i, -5
Let k(b) = -b**3 - 2*b**2 + 4*b + 4. Let m be k(-3). Let p be (-2)/(6/15) - (2 - 7). Put m, -5, p, -4 in decreasing order.
m, p, -4, -5
Let n(c) = -c**3 - 4*c**2 + 27*c + 109. Let m be n(-5). Sort 2, 25, 0, m.
m, 0, 2, 25
Let s(u) = -u**3 + 7*u**2 - 4*u - 2. Let l be s(6). Let m be (-104)/(-17) - l/85. Suppose -8*i = -m*i + 6. Sort 3, 0, i in decreasing order.
3, 0, i
Let b be 7 + 376/(-56) - (-64)/(-126). Sort -4, 4, b, -3.
-4, -3, b, 4
Let m = 1836 + -1832. Suppose 2*p - 20 = -2*p. Sort p, m, -4, -5.
-5, -4, m, p
Let h(w) = -w**3 + 2*w**2 - w - 3. Let s be h(0). Let z be s/2*(-11 - -9). Suppose 2*l + 0*l = 0. Sort z, -5, l.
-5, l, z
Suppose -g + 0*g + 2 = 0, -2*l = 2*g - 20. Let k(x) = -x + 13. Let f be k(l). Put -3, f, 0 in descending order.
f, 0, -3
Let i be (5/2*-1)/((-1)/(-2)). Let n be -1*1 - -1 - -5. Sort n, i, 6, -4.
i, -4, n, 6
Suppose 0 = -3*y - 8 + 23. Suppose -p = -y*p. Let x(t) = t**3 + 3*t**2 + 2*t + 1. Let q be x(-2). Sort 3/4, p, q.
p, 3/4, q
Let f = -31 + 33. Let b = f - -2. Let m = 181/504 + 5/72. Sort 2, m, b in descending order.
b, 2, m
Let o = 15617 + -15679.97. Let p = 63 + o. Sort -4, p, 3, -0.3.
-4, -0.3, p, 3
Let l = 3 + -4. Let m = 7 - 4. Suppose 5*c = m*n, -3*n + 0*n = 5*c + 30. Put 5, l, c in ascending order.
c, l, 5
Suppose -16 = -4*m - 0*x - x, 5*x = -4*m + 32. Suppose -2*t + 4 = 5*u - 2, u - m = -t. Suppose 10 + 5 = -5*c. Sort 4, c, t.
c, t, 4
Let j = 1297 + -1302. Put 44, 1, j, -4 in decreasing order.
44, 1, -4, j
Suppose -3*b + 1 - 13 = 0, 0 = -2*z + 5*b + 10. Let m = 3 - 5. Sort z, m, 0.
z, m, 0
Let w be 4 - (-5)/(-7) - 4/14. Let q = -456351 - -130060253/285. Let o = 2/57 + q. Sort -4/9, w, o in increasing order.
-4/9, o, w
Suppose 0 = -5*s - l + 16 + 30, -5*s = 5*l - 50. Sort s, -2/3, 0, -0.1.
-2/3, -0.1, 0, s
Suppose -3*q + 2*n + 3 = -1, -2*q + 2*n + 4 = 0. Suppose q = 7*s - 3*s. Let o be ((-2)/7)/((-260)/(-182)). Sort -21, o, s in ascending order.
-21, o, s
Let c be (-28 - -27)*(-3)/9. Sort c, -2/5, 0.17, -2.
-2, -2/5, 0.17, c
Let c be (-4)/18 - 256/(-18). Suppose 39 = -5*j + c. Let n = 12 - 7. Sort j, n, 2 in ascending order.
j, 2, n
Let s = 271 + -272. Sort s, -2, -3, 1 in increasing order.
-3, -2, s, 1
Let p = -69.1 - -69. Put p, 10/7, -3, 3 in descending order.
3, 10/7, p, -3
Suppose 0*d + 8 = 2*d, -5*b = 3*d - 12. Let x be (b + 2)*(-2 + 3). Suppose 15 = x*w + 7. Put w, -1, 1 in decreasing order.
w, 1, -1
Let l = 3.3 + -4.3. Put l, 3/4, 2, -65 in ascending order.
-65, l, 3/4, 2
Let n(x) = 4*x - 35 - 4*x - x - 2*x. Let a be n(-12). Sort -1, a, -9 in decreasing order.
a, -1, -9
Let h be (18/(-6) - 15) + (1 - -1). Sort -4, -3, 1, h in decreasing order.
1, -3, -4, h
Let h = 0.262 - 0.002. Let s = h + -0.16. Put -1/6, -1, s in descending order.
s, -1/6, -1
Let a = 0.394 - 0.194. Sort a, -5, 2/7, -0.05 in increasing order.
-5, -0.05, a, 2/7
Let l = -382 + 256. Let f = l - -1011/8. Let n = -58/9 - -56/9. Sort 1, f, n in descending order.
1, f, n
Let n(y) = y**3 + 4*y**2 - 5*y - 5. Let g be n(-5). Let m = 115 - 81. Let k = m - 37. Sort -6, g, k.
-6, g, k
Let r be (1 - 2) + 9 + -3. Suppose -r*l + 2*l + t = 13, 3*l - 2 = 4*t. Let y(o) = -o**2 - 6*o - 5. Let s be y(l). Sort s, -6, 0 in descending order.
0, s, -6
Let s be -6*(14/(-4))/7. Suppose -2*i - 8 - 6 = -5*x, 3*x = s*i + 12. Let v = 88 - 89. Sort 4, x, v in decreasing order.
4, x, v
Let x be 4/6*(-3)/(-2). Let l = 38 + -36. Sort l, 4, x in descending order.
4, l, x
Let p = 43 + -33. Suppose -5*s = -4*j + p, 3*j - 3*s - 6 = -j. Sort j, 3, 0.3, -4 in increasing order.
-4, j, 0.3, 3
Let y = -55 + 54.99. Let w = y + -3.99. Sort -3/2, 1, w, 3 in descending order.
3, 1, -3/2, w
Let k = -0.2 - 0.3. Let y = -17 - -12. Let z = 0.34 - -0.66. Sort k, z, y in increasing order.
y, k, z
Let f = 0.6 + -0.4. Suppose 2*p = 5*p - 84. Suppose 4*y = -5*c + p, c = -5*y + 4*c - 2. Put y, -0.1, f in ascending order.
-0.1, f, y
Let w(d) = 2*d**3 + 19*d**2 - 7*d + 34. Let n be w(-10). Sort 3, n, 9, -4.
-4, 3, n, 9
Let s be (-35)/63*(-7)/(42/45). Sort 5, -1/3, s in decreasing order.
5, s, -1/3
Let i = -3 - -2. Let s be -2 + i + -1*2. Sort s, 7, -4.
s, -4, 7
Let k be (2/(-6))/((-2)/18). Let i = 15 + -11. Let o be (0 - -6)*i/6. Put -2, k, o in decreasing order.
o, k, -2
Let r = -6 + 1. Let d = -1 + r. Let a = d + 5.8. Sort a, 1, 2/11 in decreasing order.
1, 2/11, a
Let y = -1.3 - 0.7. Let l = y - -10. Let f = 0.16 - -0.24. Sort 0, f, l in increasing order.
0, f, l
Suppose -2*d = -5*q + 146, -2*q + 5*d = -0*d - 50. Let p = -32 + q. Put p, -5, 3 in descending order.
3, p, -5
Let t(m) = 37*m - 170. Let r be t(5). Sort r, 5, 0, -3 in descending order.
r, 5, 0, -3
Let x be -6*(-5)/4*2. Let l be (-2 - -1) + (18 + -13 - 6). Sort x, 1, l.
l, 1, x
Suppose -w - 2*w + 3 = 0. Let v be (0 - w) + -2 + 12. Suppose 4*h - 7 - v = 0. Put -1, h, -7 in increasing order.
-7, -1, h
Let c(o) = -3*o - 2. Let m be c(-2). Suppose 4*r + 10 = m*h - 2, 3*r = -5*h + 15. Suppose -3*l + 2*g = 6*g - 8, r = -g + 5. Sort 0, 4, l in ascending order.
l, 0, 4
Let u be -48 - (1 + 5/(-1)). Let z be -3*(-1)/u - (-12)/(-66). Sort z, 5, 4 in increasing order.
z, 4, 5
Let f = -14 + 35. Let x be 14/f*(-8)/6 + 1. Put 0.1, x, -4, 4/7 in decreasing order.
4/7, x, 0.1, -4
Suppose 0 = 6*f - 5*f + 4. Suppose 3*g = -2*g, -2*g + 15 = 5*s. Sort 0, s, f.
f, 0, s
Let i = -