. Sort 1, k, -4.
-4, k, 1
Let c = 1.16 + -0.06. Let w = c + -1. Let d = -0.238 + -0.062. Put -2/13, w, d in decreasing order.
w, -2/13, d
Let c be ((-7)/3 + -3)*-3. Let u = c - 13. Sort 19, u, 5.
u, 5, 19
Let i(m) = -3*m**3 - 47*m**2 + 18*m + 29. Let g be i(-16). Let d(r) = r**2 - r. Let p be d(0). Put p, g, 5 in descending order.
5, p, g
Let g = 4.11 - 0.11. Suppose -134 - 8 = 2*z. Let n = z + 69. Put 1/4, g, n in increasing order.
n, 1/4, g
Let x = 97.4 - 97.1. Put -2, x, 4/51, 5 in increasing order.
-2, 4/51, x, 5
Let l = -26.006 - -0.006. Let g = 21 + l. Let y = 0 - g. Sort y, -5, 0.2 in decreasing order.
y, 0.2, -5
Let l be ((-5)/(-10))/(-1 + 3/(-6)). Sort l, -2/5, -23, -0.2.
-23, -2/5, l, -0.2
Let d = -1298 + 1298. Put 3, 64, d in decreasing order.
64, 3, d
Suppose 5*r + 3 = 3*k, r + 11 = -5*k + 4*r. Let d = 2 - 11. Let s be 1 - (3/(-3) - 2). Put d, s, k in decreasing order.
s, k, d
Let n(y) = 2*y**3 - y**2 - 2*y + 4. Let h be n(2). Suppose 4*p - 32 + h = 0. Let z be (2/(-1))/2 + 1. Sort p, -4, z in descending order.
p, z, -4
Let l = 0.381 + -0.281. Sort l, -1, -4, -0.3 in increasing order.
-4, -1, -0.3, l
Let b = -253 - -251.63. Let r = b + 0.37. Sort r, -3, 0 in descending order.
0, r, -3
Suppose 6*k + 9 = -3*w, -w + 1 = 3*w - 5*k. Sort w, -5, -46.
-46, -5, w
Let h be 0 + 3/12*3. Let a be ((-4)/(-15))/(4 + 84/(-18)). Put a, -1/10, h in ascending order.
a, -1/10, h
Let j(i) = i + 16. Let k be j(-12). Let q be (-2)/k*(-60)/(-3). Let z = 9 + q. Sort 0, z, 7 in descending order.
7, 0, z
Let b(w) = -w + 7. Let o be b(7). Let q be (2/6)/((-1)/(-6)). Suppose -3*h - 5*p = -o*h + 2, -2*h + q = 5*p. Sort h, -1, -2 in ascending order.
h, -2, -1
Let g = -308 + 196. Let r = g + 113. Sort -7, r, -3.
-7, -3, r
Suppose 0 = -z + 3*g - 5 + 42, 10 = -2*g. Let n = -17 + z. Let f = -0.2 - -0.3. Sort -0.3, f, n in descending order.
n, f, -0.3
Let x = -16.7 - -14. Let v = x - -0.7. Put 4, v, 2 in decreasing order.
4, 2, v
Let b be 132/315 + (-4)/14. Let u = -1.45 + -0.05. Let n = u + 1. Sort n, b, -0.4 in increasing order.
n, -0.4, b
Let h = 214 + -219. Let l = 5 - 2. Put 5, h, l in decreasing order.
5, l, h
Let n = 776 + -772. Sort 36, -5, n in ascending order.
-5, n, 36
Suppose 2*u + h + 10 = -0*h, 2*h = 5*u + 16. Let x = 59 + -55. Put x, -5, 3, u in descending order.
x, 3, u, -5
Let d = 37 - 39.4. Let a = d - 1.6. Sort 5, a, 1/11 in decreasing order.
5, 1/11, a
Let u = 13.6 + -14.1. Put u, -8, -5 in increasing order.
-8, -5, u
Let j = 153 - 148. Suppose j*n - 2*f + 41 = 8, 4*f = -n + 11. Sort -2, -1.3, n in decreasing order.
-1.3, -2, n
Let s = -17 - -13. Let a(d) = -d**3 + 4. Let o be a(0). Put 5, o, s, 0 in decreasing order.
5, o, 0, s
Let t(u) = u**2 + 19*u + 90. Let f be t(-8). Put -4, 5, f, 3 in increasing order.
-4, f, 3, 5
Let r be (0 - -1)/(16/(-48)). Let s be (-158)/14 + (-2)/(-7). Sort -4, s, r in decreasing order.
r, -4, s
Suppose 49*h + 11550 = -28*h. Sort -3, h, 0, 5.
h, -3, 0, 5
Suppose -5*o + 15 = 10*o. Put o, -7/17, 1/10 in descending order.
o, 1/10, -7/17
Let f(t) = 3*t - 18. Let o be f(6). Suppose 5*u + g + 3 = o, -4*g + 9 = -u - 0*u. Suppose -2*v - 4 = -2*h, 4*h = 2*v + h + 7. Put u, -4, v in increasing order.
-4, u, v
Suppose -34*w = -22*w - 12. Sort 2, 3, 4, w in decreasing order.
4, 3, 2, w
Let d be 1*7 + (10 - 7). Suppose 5*l + 25 = d. Sort 6, l, -4 in decreasing order.
6, l, -4
Let j = 14.6 + -1.6. Let l = 13.3 - j. Put l, -1, 0.2 in ascending order.
-1, 0.2, l
Let y be 432/2052*57/42. Let l = -2 + 1. Sort 1/3, y, l.
l, y, 1/3
Let a(b) = 2*b**2 - 3*b. Let y be a(2). Let w(u) = u**2 - 5*u - 8. Let k be w(6). Suppose 56*x + 4 = 57*x. Sort x, y, k.
k, y, x
Let o = -55.8 - -56.8. Put 0.6, -1.9, o, -3 in decreasing order.
o, 0.6, -1.9, -3
Suppose 3*o = -3*x + 14 + 22, -x = 0. Let n = o - 15. Suppose -j + 3 = m, 2*m = -2*m + 2*j. Put n, -5, m in decreasing order.
m, n, -5
Let s(i) = 65*i + 457. Let y be s(-7). Sort 181, 1, y in decreasing order.
181, y, 1
Let y = 9 - 15. Let t = -4 - y. Let q = -1621/7 + 231. Sort q, t, 5 in decreasing order.
5, t, q
Let v = -818 - -816. Sort -4, v, 0, -2/7 in decreasing order.
0, -2/7, v, -4
Let s be ((-6)/15)/((45/(-25))/9). Sort s, 4, 189, -4 in increasing order.
-4, s, 4, 189
Suppose 0 = 5*s + 3*y + 810, 5*s + y + 1103 = 303. Sort s, 2, -2, -4 in decreasing order.
2, -2, -4, s
Let l = 0 - 1. Let x be (-15)/(-175) - 28/98. Put -4/5, x, l in decreasing order.
x, -4/5, l
Let h = 7.02 - 0.12. Let p = 7 - h. Put 4, 0.2, -0.4, p in descending order.
4, 0.2, p, -0.4
Let n(w) = -19*w + 80. Let i be n(4). Let z be 6/(1 - -2) - 5. Sort -5, -4, z, i in descending order.
i, z, -4, -5
Let y = 0.29 - -0.01. Let p be 6*(-1 - 22/(-18))*3. Sort p, y, -0.3.
-0.3, y, p
Let h(y) = -3*y**2 + 17*y - 17. Let i be h(4). Sort 4, i, 19.
i, 4, 19
Let o be 2/(-18) - (804/54 + -10). Let s = 2 + 0. Suppose s*j - 4 = 3*h, 3*j + h + 0 + 5 = 0. Put j, 3, o in decreasing order.
3, j, o
Let d = -816 - -816.5. Put -2/3, d, 0.2, -3/2 in descending order.
d, 0.2, -2/3, -3/2
Suppose 3*s = 5*p - 25, 0 = 6*s - 2*s. Suppose n + 0 = -2*c - 4, -p*n - 3*c = -1. Put 5, 4, n in descending order.
5, 4, n
Let m = 219 + -218. Sort m, 2, 4 in descending order.
4, 2, m
Let b = -5309/4 - -1327. Sort -1, -2/3, b, 47 in increasing order.
-1, -2/3, b, 47
Let q(t) = t**3 + 34*t**2 + 65*t + 35. Let w be q(-32). Sort 1, w, 0, 5 in increasing order.
0, 1, w, 5
Suppose 9*f - 6 = 11*f. Let v be (-3)/((-33)/(-12) - 2). Suppose -5*t = 3*s - 7 - 10, -2*s + 3 = -5*t. Sort f, v, t.
v, f, t
Let a = -15.9 + 16. Suppose -2*s + 8 = 2*s. Let c = -17/9 - -65/63. Put s, a, c in descending order.
s, a, c
Let r(l) = 15*l**3 - 2*l + 1. Let s be r(1). Suppose 4*p - 12 = 0, -f + 2*p + 10 + 0 = 0. Let b = s - f. Sort 1, -3, b in decreasing order.
1, b, -3
Let q = -15 - -7. Let y(x) = -x**2 - 11*x + 44. Let j be y(-14). Suppose 0 + 15 = -5*g. Put q, j, g in decreasing order.
j, g, q
Let g(f) = -f**2 + 31*f - 251. Let v be g(19). Put 3, v, -2 in increasing order.
v, -2, 3
Suppose o = -3*o + 4. Suppose 3*f - 6*f - 3*z - 24 = 0, 2*f - z = -28. Sort 5, o, f in decreasing order.
5, o, f
Let t = -206 - -207.6. Sort 0.1, 5, t in ascending order.
0.1, t, 5
Let g(t) = -t - 6. Let m be g(-2). Let i(c) = c**3 - 16*c**2 + 17*c - 27. Let y be i(15). Put y, 4, -5, m in decreasing order.
4, y, m, -5
Let g = 274.4 + -274. Sort g, 1/13, 3.
1/13, g, 3
Let y = -2.97 - 0.03. Let x = 90.4 + -90. Sort y, 2/9, x in decreasing order.
x, 2/9, y
Suppose 11*g - 30 = 5*g. Suppose -4*s + 9*s - 5 = -g*h, 3*h = 3*s - 3. Let i be s/(-5*2/(-40)). Sort 11, 0, i in increasing order.
0, i, 11
Suppose -26 = -3*x - x + 3*u, 2*x - 2 = -4*u. Put 3, -79, x in descending order.
x, 3, -79
Let i = -6364 + 102143/16. Let c = -51/16 + i. Let t = c + -16. Sort t, 5, -1.
-1, t, 5
Let h be 1*(-6 + 4 + 1 + 0). Sort 2, 3, h, -4.
-4, h, 2, 3
Let d = 9 + 1. Suppose -4 + d = -2*i. Let k be (-5 - -6)/(i + 2). Sort 5, 4, k in decreasing order.
5, 4, k
Suppose -815*d = -819*d - 8. Sort d, -21, 0.4.
-21, d, 0.4
Let l = -7/2 - -10/3. Sort 4, l, -0.2, 0.3 in decreasing order.
4, 0.3, l, -0.2
Suppose -472 + 466 = 6*p. Put 2, 4, 0, p in ascending order.
p, 0, 2, 4
Let q = -177.016 - -0.016. Sort q, 2, -0.1 in ascending order.
q, -0.1, 2
Let o = -18 - -8. Suppose 2*l + 37 = -2*l + 3*h, 2*l = 3*h - 23. Let q = l - o. Put 1, q, 2 in ascending order.
1, 2, q
Let b = -33 - -33.2. Put 5/2, b, 0.016 in descending order.
5/2, b, 0.016
Let d = -14 + 16. Suppose 4*k = g, 3*k - 2*k - d*g = -7. Let y be 2/(-4) + (-55)/(-10). Sort k, y, -15.
-15, k, y
Let m = 253.95 - 254. Sort -4, m, 1, -0.1 in descending order.
1, m, -0.1, -4
Suppose -5*v + 12 = -v. Let c be ((-27)/6)/(v/(1 + 5)). Put 7, c, 0 in descending order.
7, 0, c
Let j = 109/3 + -37. Let a(z) = -z**3 - z**2 - 14*z - 55. Let s be a(-3). Sort 0.4, s, j.
j, 0.4, s
Let l = 4 + 3. Suppose 0 = o - 3*s + l, o - 11 = -s - 2. Let i = 39 - 44. Sort i, -4, o.
i, -4, o
Let x = -3 - 4. Let y = x + 7. Let b be 2/(-24)*(-2 - y). Sort 3, 1, b.
b, 1, 3
Let m = 213 + -421/2. Let p = -0.1 - -0.09. Let o = -1.99 + p. Put 3/5, m, o in descending order.
m, 3/5, o
Suppose 8 = -n - 0. Let r be n/4*-1*(-2)/(-4). Sort -2, 4, -5, r in increasing order.
-5, -2, r, 4
Let c(j) = -14*j - 97. Let t be c(-7). Sort -3, t,