. Let k = -31 + t. Sort a, -1, k in decreasing order.
k, -1, a
Suppose -3*v - 30 = -2*z, -2*v + 32 = z + 2*z. Suppose 0 = 6*l - z*l + 18. Let h = -17 - -8. Sort 2, l, h in descending order.
l, 2, h
Let n = 493 + -492. Let x be (-5)/(-3)*(1 + -4). Put n, x, -1 in descending order.
n, -1, x
Let a be (-2)/(-4) - 70/20. Let p be -1 + 4/(-12)*a*1. Put 1, 0.5, p, -2/3 in ascending order.
-2/3, p, 0.5, 1
Let j = -41 - -40.88. Let k = -0.22 - j. Sort 2/7, 3, k, 2/13 in descending order.
3, 2/7, 2/13, k
Let w = 3 + 0. Put -10, w, 2/11, 0 in ascending order.
-10, 0, 2/11, w
Let s = 22 - 18. Let z = -1.04 - -1.34. Sort s, z, -6/11, -0.03 in descending order.
s, z, -0.03, -6/11
Let t = 3.9 - 3.9. Suppose -3*b + b - 3*h = 79, 5*b + 5*h + 190 = 0. Put t, 3/4, b in increasing order.
b, t, 3/4
Let n be (226/8)/(1463/(-76) + 19). Put -3, n, 5, 4 in descending order.
5, 4, -3, n
Suppose -6*k + 5*k = 0. Suppose k - 12 = -4*t. Let g(c) = -c + 2. Let w be g(2). Put 2, t, w in ascending order.
w, 2, t
Let f = -35/4 + 393/44. Let z = -60 + 2. Let p = 58.1 + z. Sort -2/3, p, f.
-2/3, p, f
Let h = 0.031 - -12.469. Let k = 1.5 - h. Let f = k + 4. Put -0.5, -4, f in decreasing order.
-0.5, -4, f
Let o = -3.4 - -3.3. Let w be (-4)/(-22) - 76/176. Put o, 0, w, -4/3 in descending order.
0, o, w, -4/3
Let r = 312.6 + -312.4. Let b be (-4)/(-6) + 18/(-27). Put b, -1.3, r in descending order.
r, b, -1.3
Suppose 0 = -g - 0*g + 5. Let r = -402 - -409. Put g, 0, r in increasing order.
0, g, r
Let q(f) = -5*f**3 - 3*f**2. Let l(x) = 6*x**3 + 4*x**2. Let o(p) = -4*l(p) - 5*q(p). Let y = -29 + 30. Let u be o(y). Sort -5, u, 8 in decreasing order.
8, u, -5
Let f = 511.2 + -561. Let x = 50 + f. Put x, -2/7, -0.5, -3/17 in decreasing order.
x, -3/17, -2/7, -0.5
Suppose -5*c - 26 = -2*m, -13 = -c - 5*m - 2. Let v = 0 - 1. Sort v, -2, c.
c, -2, v
Let m = -473/6 + 779/10. Let h = -68/105 - m. Put -0.2, h, -3 in descending order.
h, -0.2, -3
Let h = -1364/3 + 455. Sort h, -3, -0.3.
-3, -0.3, h
Let i = -0.0814 - -0.0214. Put -1, -21/4, i in descending order.
i, -1, -21/4
Suppose l - 16 = -l. Suppose 5*n + 4*b = -0*n + 20, -5*b = 2*n - l. Let f = 782 + -782. Put n, f, -5 in decreasing order.
n, f, -5
Let l = -3997/6000 + -1/2000. Let x = -0.1 + 0.1. Put -2, l, x in descending order.
x, l, -2
Let i(w) = -13*w + 185. Let q be i(14). Sort -4, -9, q in increasing order.
-9, -4, q
Let o = -14 - -18. Let b = 6 + o. Let i = -17 + b. Put -1, i, 0 in decreasing order.
0, -1, i
Let g = 20 - 19. Suppose 0 = 3*n + 20 + g. Put 2/15, 5, n in ascending order.
n, 2/15, 5
Let w be 2/4*(64 + -74). Sort w, 18, -4 in descending order.
18, -4, w
Let x be (-27)/(-30) + -5 - 2/(-20). Suppose 2*r - 3*o - 2*o = 16, -4*o = 2*r + 20. Sort r, -5, x in decreasing order.
r, x, -5
Let m(x) = x**3 - 5*x**2 + 4*x. Let f be m(4). Let w be 3 - 30/(-25)*-5. Sort 4, f, 13, w in ascending order.
w, f, 4, 13
Let m(h) = 19*h - 682. Let q be m(36). Put 57, q, 3 in decreasing order.
57, 3, q
Let a be (0 + 116/(-8))*-2. Suppose -d - 27 + a = 0. Let z be (-1)/(-6)*(4 - d). Put z, 4/7, -2 in decreasing order.
4/7, z, -2
Let m be (1/3)/((-98)/6 - 6). Let j = m - 196/335. Sort -6, j, 2, -6/5 in decreasing order.
2, j, -6/5, -6
Let r be (-15)/15*(-1)/6. Put -2, 0.1, 3, r in increasing order.
-2, 0.1, r, 3
Let g = 9.2 + -62.2. Let p = g + 55. Sort p, 0, -2 in descending order.
p, 0, -2
Suppose 3*m + 14*l - 12 = 15*l, 18 = 3*m + l. Let o be ((-15)/20)/(1/(-4)). Let h be -2 + o - 30/21. Sort m, h, -1.
-1, h, m
Let f = 93343/3 - 30336299/975. Let a = 2/75 - f. Put -2/3, a, 0.8, 0.1 in descending order.
0.8, 0.1, a, -2/3
Let y = 418 + -416. Sort y, -4/7, -0.1.
-4/7, -0.1, y
Suppose 10 = -3*w + 4. Suppose 10 = 5*z - 3*z. Let a(b) = b**3 + 5*b**2 + 4*b - 3. Let i be a(-2). Sort i, w, z in increasing order.
w, i, z
Let z = -356 + 359. Put 1, z, -15 in descending order.
z, 1, -15
Let p(h) = -4*h + 1. Let f be p(8). Let g be f*(-5)/(-10) + (-3)/(-2). Sort g, -3, 1 in decreasing order.
1, -3, g
Let i = -129 - 40. Put -4, 1, i, -2 in descending order.
1, -2, -4, i
Let v = -336 - -334. Let x = 0.06 - 0.46. Put x, v, -2/3 in increasing order.
v, -2/3, x
Let r = -350 + 377. Sort r, 2, 5 in descending order.
r, 5, 2
Let z = -45.2 - -44.8. Put z, 0.2, -11 in decreasing order.
0.2, z, -11
Let m = -2323/5 + 16266/35. Sort -103, 2, m, 1 in increasing order.
-103, m, 1, 2
Let m = 766 - 762. Sort m, -27, -5, 2 in descending order.
m, 2, -5, -27
Let d = -11.63 + 8.63. Put 14, d, 0 in increasing order.
d, 0, 14
Let l = 10 - 15. Let h = l - -7. Let g = 22/3 - 47/6. Put 0.06, h, g in increasing order.
g, 0.06, h
Let y(r) = r**3 - r. Suppose -5*n = 2*s - 48, 4*s + 1 = -2*n + 33. Let j = 7 - n. Let z be y(j). Put 4, z, -5 in decreasing order.
4, z, -5
Suppose 0*w - 18*w = -72. Put 9, 3, -3, w in increasing order.
-3, 3, w, 9
Let y = -49 - -45. Let h = y + 4. Let p = 5 + -9. Sort p, h, 3.
p, h, 3
Let f be 2 + -8 + (-3)/(-3)*-2. Suppose -5*w - 30 = 4*z, -2*z - 2 = -3*w - w. Sort f, z, 2 in descending order.
2, z, f
Let n be (2/3)/(2/(-18)*-1). Suppose 0 = -n*o - 30 + 12. Put -8, o, 0, -5 in descending order.
0, o, -5, -8
Let y = -2131.18 + 2114. Let k = 17 + y. Let r = 0.12 - k. Put r, -2, -2/7 in increasing order.
-2, -2/7, r
Let q(d) = 3*d**3 + 18*d**2 + 29*d - 23. Let u(o) = o**3 + 9*o**2 + 14*o - 11. Let c(s) = 2*q(s) - 5*u(s). Let a be c(10). Sort -4, 4, 1, a in descending order.
4, 1, -4, a
Let x be (-54)/(-24)*((-16)/24 - -2). Let s = -1 + 0. Put x, 7, s in decreasing order.
7, x, s
Let m be 3/(-24) - 5922/112. Put 3, m, -5 in descending order.
3, -5, m
Let a = -6.72 - 0.58. Let l = 7 + a. Let o = 6053 + -6054. Put l, 5, o in descending order.
5, l, o
Let j = 49 - 48. Put -159, j, 0.1 in decreasing order.
j, 0.1, -159
Let q = 1034.8 - 1035. Let d = 4 + -6. Put -0.4, d, q in descending order.
q, -0.4, d
Let d(f) = 74*f - 591. Let y be d(8). Sort y, -7, -38 in increasing order.
-38, -7, y
Let r = -1551 - -1546. Sort -42, 1/5, r in increasing order.
-42, r, 1/5
Suppose -3*r + 26 = 11. Sort 1, r, -11.
-11, 1, r
Suppose 0 = 4*u - 5*u + 4. Let b = 10 - 11. Let k be b + (3 - 5)*-3. Sort 1, k, u in increasing order.
1, u, k
Let d be (3 - -3) + -3 - -2. Sort d, -1, -2, -4 in decreasing order.
d, -1, -2, -4
Let u be (1 - 1/2*3)*(1278 - 1260). Let b be 1/2*(-4)/(-1). Sort u, b, -3, 4 in increasing order.
u, -3, b, 4
Suppose 0 = 3*g - 6*g + 4*g. Put 2, g, 0.1 in descending order.
2, 0.1, g
Suppose -7 - 1 = 2*p, -4*p - 13 = -3*t. Let q be (-112)/(-35)*45/(-6). Sort t, 5, q.
q, t, 5
Let f be 3 - (-11 + 20 + -5). Put f, 1, 32 in decreasing order.
32, 1, f
Let v be 4*7 - (-10 + 10). Let z = v + -31. Sort -2, z, 5 in decreasing order.
5, -2, z
Let f = -0.1 + 0.6. Let b = -1.18 + 0.18. Let q = b + 5. Put -1, f, q in ascending order.
-1, f, q
Let d be 336/(-35) - 2/5. Let u = -18 - d. Let b = u + 8. Sort 5, 4, b in increasing order.
b, 4, 5
Suppose -3*q = -4*a - 32, q + 0*q = -a - 1. Suppose -r + 1 = -3*w - 3*r, 3*w = r - q. Put 3, w, -5, -4 in decreasing order.
3, w, -4, -5
Let z be 6/18 + 0/(-1). Let a = -124.5 - -125. Sort -2, a, z in decreasing order.
a, z, -2
Let p = -86 - -82. Put p, -68, -3 in increasing order.
-68, p, -3
Let s be 2/(-4) + (-3)/(-6). Let p be (-18)/(-6) - s/2. Suppose -v + 10 = -3*h - 2*v, 5*v + 10 = -5*h. Sort 5, p, h in decreasing order.
5, p, h
Let d be 2/(-7) + (-22)/(-28). Suppose 2*f = 5 - 3. Let p be ((-25)/20)/(f/4). Put p, -1/2, d in decreasing order.
d, -1/2, p
Let r = 174.01 + -177. Let v = 0.01 - r. Let s = -117 - -116.95. Put s, 1, v in descending order.
v, 1, s
Let r = -4 - -3. Let s = r - -0.7. Let i = 0.839 + 0.161. Sort i, 0, s in decreasing order.
i, 0, s
Suppose 3*v + 4 = 10. Let t be (-24)/(12/4)*v. Let c be t/(-5) + 9/(-45). Sort -3, c, -5 in decreasing order.
c, -3, -5
Let f(x) = 2*x**2 + 34*x + 34. Let p be f(-16). Suppose 4*t = p + 10. Suppose 0 = 3*d - 6*d - 15. Sort t, d, 2.
d, 2, t
Suppose p + 4*c = 3 + 23, 3*p = c + 26. Suppose -t + l + l = -5, 3*t - l + p = 0. Put 1, 0, t in decreasing order.
1, 0, t
Let k = -52 + 52.1. Put k, 9, -1/2 in decreasing order.
9, k, -1/2
Let k = -40 + 39.9. Sort k, -0.3, 1.4.
-0.3, k, 1.4
Let n be (-2)/9 - 266/(-63). Let o be (36/30)/(n/10). Suppose 2*j - 3*j - 7 = -3*x, 5*j = -5*x - 15. Put -