pose 9 = 4*z + 4*h - 3, 0 = z - 5*h - 9. Sort z, 3, 0, 5 in descending order.
5, z, 3, 0
Let d be ((-1)/2)/((-4)/88). Suppose 5*y - 12 = -4*v, -6 = -4*y + 6*v - d*v. Suppose -12 = p - y*p. Put -0.5, 2, p in descending order.
p, 2, -0.5
Suppose 0*w + 8 = w. Suppose -2*g = 3*x - w, 0 = 2*g - 3*x + 7*x - 10. Sort 2, g, 5 in decreasing order.
5, 2, g
Suppose 11 = -g + 66. Let u = g - 55. Let f = -3 - -2. Sort -4, f, u in descending order.
u, f, -4
Let u = -10034/19 + 528. Sort -6, u, 0.01, -2/9.
-6, -2/9, u, 0.01
Let c = -82 + 77. Put 0.2, -1/7, -2, c in increasing order.
c, -2, -1/7, 0.2
Let g = 1601.7 - 1602. Sort g, 2, 0.5, -24 in descending order.
2, 0.5, g, -24
Let v = -381 + 380. Put v, 30, -2 in descending order.
30, v, -2
Let w = 140 + -138. Put -6, 0.4, w in increasing order.
-6, 0.4, w
Let t be 16/(-4) - 15/(-15). Sort -5, t, -223 in decreasing order.
t, -5, -223
Suppose -3*z = -0*z + 4*w - 78, 132 = 4*z - 4*w. Let h = z + -30. Suppose -2*g - 18 = 3*f, 0*f = 2*f + g + 11. Sort 1, f, h in descending order.
1, h, f
Suppose 10*m = 47*m - 74. Sort 8, m, -3 in descending order.
8, m, -3
Suppose -4*n + 20 = -8*n. Let d(x) = 2*x**2 - 41*x - 25. Let u be d(21). Put n, 1, 4, u in increasing order.
n, u, 1, 4
Let z = -208 + 213. Sort -5, z, 1, -3.
-5, -3, 1, z
Let g = 112 + -781/7. Let s = -0.0187 - -4.2487. Let i = 0.23 - s. Sort g, i, -2 in decreasing order.
g, -2, i
Suppose h = -3*b - 1 - 2, 2 = -2*b - h. Let z = -241/344 + 14/43. Sort z, 2/9, b in ascending order.
b, z, 2/9
Suppose 0 = 3*l + 2*l + 4*i + 8, i + 2 = -3*l. Let m(j) = j + 9. Let u be m(-7). Suppose 1 - 5 = -u*o. Put l, o, 1 in increasing order.
l, 1, o
Suppose -4*q + 28 = x + 37, 3*x = -15. Sort q, 3, 7 in increasing order.
q, 3, 7
Let c = 30 - 30. Suppose c = -3*n + 4*v + 5, 4*n - 4 = v + 7. Put -4, -3, n in increasing order.
-4, -3, n
Let p(h) = h**3 - 12*h**2 + 31*h + 4. Let w be p(8). Sort -21, w, -1 in ascending order.
-21, w, -1
Suppose 12 = 35*l - 29*l. Put l, -34, 5, 4 in descending order.
5, 4, l, -34
Suppose 0 = -z + 3*s - 5 - 1, 7 = -z + 4*s. Suppose 95 - 195 = 5*y. Let p = y - -20. Sort z, -8, p in descending order.
p, z, -8
Suppose -5*f - 6*g = -11*g - 10, -g + 5 = 0. Put 5, -5, f in descending order.
f, 5, -5
Let g be (-34 - -31)*(-1 + 10/12). Let t be 0 - (1 + 7/(-2)). Put -2/3, t, g, -0.5 in descending order.
t, g, -0.5, -2/3
Let m = -78 - -74. Put 2, m, 1, 5 in decreasing order.
5, 2, 1, m
Let j be (-2)/11 + (7119/(-1925) - -4). Put j, -0.3, 5/6 in increasing order.
-0.3, j, 5/6
Let m = 6 - 3. Suppose -5*a + 2*u + 3 = -4*a, 5*a - m*u - 22 = 0. Let s = -7587/77 - -1087/11. Sort s, a, -4 in ascending order.
-4, s, a
Let q be 3*4*(-2)/(-84). Let f = 0.287 - -4.713. Sort -0.4, f, q in decreasing order.
f, q, -0.4
Suppose 66*g = -29*g + 285. Put -3, g, 1, 407 in descending order.
407, g, 1, -3
Let j = 86 + -43. Suppose 112 = -3*s + j. Let y = -27 - s. Put y, -0.2, -3 in descending order.
-0.2, -3, y
Suppose -17 = 5*u - 7. Let q(n) = n. Let t(w) = 7*w - 15. Let f(s) = 5*q(s) - t(s). Let i be f(10). Sort -7, u, i.
-7, i, u
Suppose -3*q - 5*t - 1 = -2, -5*q - 23 = -4*t. Let d(f) = -f**2 + 7*f - 2. Let w be d(6). Sort q, -2, w in descending order.
w, -2, q
Let z be (-4)/(-7)*(-28)/(-8). Let r = 6 + -3. Sort z, r, 0 in increasing order.
0, z, r
Let w(n) = n**3 + 18*n**2 + 45*n - 2. Let b be w(-15). Put b, -5, -3 in descending order.
b, -3, -5
Let r = -65.02 - -65. Let g = 21/65 - -1/13. Suppose -x + 6 = 11. Sort g, r, x.
x, r, g
Let s(y) = 2*y - 8. Let d be s(4). Suppose -19*b = -10*b - 36. Put 6, b, d in decreasing order.
6, b, d
Let l = -45 - -60. Suppose -l*p + 16*p = -4. Put p, 1, 4, -3 in decreasing order.
4, 1, -3, p
Let i(u) = -u**2 - u + 460. Let o be i(-22). Suppose 3 = 2*l - 1. Put o, l, -16, 3 in descending order.
3, l, o, -16
Let s = 0.8 - 0. Let y = s + -1.2. Let x be 2/(-8)*56/(-105). Put 1, y, x in decreasing order.
1, x, y
Suppose 53 = 5*c - 172. Suppose -5*s - 57 = 4*m, -m = -6*m - s - c. Suppose i - 2*f = 3 + 5, 5*i - 14 = -3*f. Put 1, m, i in ascending order.
m, 1, i
Let u be (0 + 30/4)*(-4)/(-6). Let i be -2 + 4 + (-4 - -1). Put u, i, 2 in ascending order.
i, 2, u
Let q(p) = 6*p - 3. Let v be q(3). Suppose u - v = -2*y, -u + 2*y - 4 = 1. Let h = 2 - 1.8. Sort h, -1, u.
-1, h, u
Let z = -0.782 + -0.218. Let y be (286/(-111))/((-30)/9). Let u = y - -1/37. Sort 0.1, z, u in increasing order.
z, 0.1, u
Let n(f) = -f**3 + 5*f**2 + 7*f - 10. Let i be n(6). Put 91, i, 5 in decreasing order.
91, 5, i
Suppose 52 = 4*c - 4*s, 2*s - 59 = -5*c + 4*s. Suppose a - 7 + c = 0. Let v(j) = 2*j - 2. Let u be v(2). Sort a, u, 8 in ascending order.
a, u, 8
Let a = 1021.7 - 1021. Let o = 0.1 + -0.5. Sort o, a, -3.
-3, o, a
Suppose 0*x - 16 = 4*x. Let b = 23 + -23. Let c = b - 2. Sort c, x, 3 in decreasing order.
3, c, x
Let x = 19/15 - 413/330. Sort x, 2/13, 3 in increasing order.
x, 2/13, 3
Let o = 162 + -169. Put o, 2, 5 in descending order.
5, 2, o
Let z(s) = 14*s + 17. Let m be z(-1). Sort -2, m, -4, -20 in ascending order.
-20, -4, -2, m
Let n = 21.2 + -21. Let f = 4.35 + 0.15. Let i = f + -0.5. Put 2, i, n in descending order.
i, 2, n
Let n = -16.4 + -26. Let j = 42 + n. Sort 0.2, 1, -3, j.
-3, j, 0.2, 1
Suppose 214 = 4*u + 210. Put 2, 0, -1, u in increasing order.
-1, 0, u, 2
Let a be 4/(-10) - 36/10. Let j(x) = 22*x - 105. Let i be j(5). Put -8, a, 0, i in descending order.
i, 0, a, -8
Let n be -2 + 6/2 - -4. Let f = 55 - 52. Suppose f*y = 6*y - 3. Sort 3, y, n.
y, 3, n
Let q = -33 - -30.3. Let v = q - -0.7. Put 1, 2/7, v in descending order.
1, 2/7, v
Let l be (-2)/(-22)*12*(-7)/(-28). Put -0.1, l, 2/15, -1 in increasing order.
-1, -0.1, 2/15, l
Let p = 1 - -22. Suppose 0 = 24*j - p*j - 3. Suppose 4*u - 2*u = -3*s - 21, -3*s + 3*u = 36. Sort s, 2, j in descending order.
j, 2, s
Let t = -261 + 265. Sort t, 8, 10 in ascending order.
t, 8, 10
Let w = -79.9 - -79. Sort w, -2/7, -0.5, 0.1.
w, -0.5, -2/7, 0.1
Let x = 0.02 - -0.01. Let l be ((-3)/(-8))/(3/4). Put x, -2/9, l in decreasing order.
l, x, -2/9
Let p = -1.5 - -2.5. Suppose 2 - 1 = -n, x + 5*n = -4. Let y be ((-2)/6)/(x/(-12)). Put 0.2, y, p in ascending order.
0.2, p, y
Let p = -26.8 + 17.7. Let i = 15.1 + p. Let d = 77/360 - -1/120. Sort d, 5, i.
d, 5, i
Let x be -1 - (1 + -6 - -3). Suppose 0 = -2*h + 5*h + 2*w + 5, 4*w = -3*h - x. Put h, 19, 2 in decreasing order.
19, 2, h
Let g = -12 + 11.68. Let v = -2.52 - g. Let s = 2.6 + v. Sort s, 3, 1/6 in descending order.
3, s, 1/6
Suppose w = -6*q + 2*q - 7, -2*q = 2. Suppose 16*y - 15*y = -1. Put y, -5, 8, w in decreasing order.
8, y, w, -5
Let q = 0.07 - -0.53. Let o = -0.6 + q. Put -0.4, -3, o in descending order.
o, -0.4, -3
Let o(s) = 6 + 7*s - 4*s - 30 - 19. Let z be o(15). Sort -3, z, 5, -1 in descending order.
5, z, -1, -3
Suppose 2*l = -l + 15. Let z = -134 + 133.7. Put l, z, -2, 2 in decreasing order.
l, 2, z, -2
Let s be (-4)/6 - (-38)/(-6). Let d be ((-1)/1)/(5/25). Let i(o) = 36*o + 248. Let r be i(-7). Sort s, d, r in decreasing order.
r, d, s
Let p = 787/14820 - 5/156. Put 0.3, p, -3, 4 in increasing order.
-3, p, 0.3, 4
Let s(k) = -k**2 - 14*k - 32. Let z be (12/15 + 0)/((-4)/60). Let j be s(z). Put -1, j, 4, -3 in ascending order.
j, -3, -1, 4
Let n = -72 - -71.9. Sort -1/4, 0.09, 0.2, n in decreasing order.
0.2, 0.09, n, -1/4
Let t = 19 + -16. Let k = 0.7 - -0.1. Let p = 1.1 - k. Sort p, t, -0.2 in increasing order.
-0.2, p, t
Let v = -9 - -9. Let c(a) = -2*a**3 + 6*a**2 + a - 2. Let n be c(3). Put v, n, 5 in ascending order.
v, n, 5
Let r = -0.288 - 4.712. Sort 2, r, -0.06 in descending order.
2, -0.06, r
Let x = -0.1 - 0. Let p = 20 - 2. Suppose 3*n = -4*q + p, -n = -4*q - 2 - 4. Put 5/3, n, x in decreasing order.
n, 5/3, x
Let j(n) = 8*n**2 + 2*n + 3. Let z be j(-2). Let d = z + -26. Put -5, d, -3 in descending order.
d, -3, -5
Let q = -474.2 - -474. Let a = -163/4 + 41. Put a, q, 2 in descending order.
2, a, q
Let q = 0.39 - 0.04. Let l = q + -0.45. Sort 9, l, -0.4 in descending order.
9, l, -0.4
Let p(k) = -k**3 - 7*k**2 - 11*k - 4. Let i be p(-5). Sort i, 16, -3 in increasing order.
-3, i, 16
Let i be (-19 + 7 - -7)*2/95. Sort -7, -1, i, 3 in descending order.
3, i, -1, -7
Let x = 12 + -9. Let i be 1/(-10) - (-88)/55. Put 0.4, i, x in decr