et b be x(5). Sort 5, b, -4, 0.
b, -4, 0, 5
Let n = 76 + -80. Put 29, 1, n in ascending order.
n, 1, 29
Let b be 7 + 72/(-12 + 4). Put 24, -7, b in decreasing order.
24, b, -7
Let u = -35 + 52. Let v = u + -12. Suppose -4*l - 37 = -3*n - 10, 0 = -5*l + v*n - 40. Put -2, l, 2 in descending order.
2, -2, l
Let o = -156.89 - 2.11. Let v = o - -164. Sort -1/6, -4, v in increasing order.
-4, -1/6, v
Suppose -4 = -y - 6. Suppose 5*a - 2 - 14 = 2*h, a = 4. Suppose -5*z + 2*v + 14 = 0, 3*v = h*z - 5*z. Sort y, z, 1.
y, 1, z
Let s be -5 + 1 + (2 - 2). Suppose -2*q = -4*v - 14, -5*q - 346*v + 350*v = -17. Put 34, s, q, -1 in increasing order.
s, -1, q, 34
Let w = 5386/15617 - -2/679. Let d = -455/1242 + w. Let z = d + -91/918. Put 3, 1, z in descending order.
3, 1, z
Suppose 4*t - 12 - 8 = 0. Let x = -11/12 - 7/12. Sort t, 4/5, x, 2 in descending order.
t, 2, 4/5, x
Let m = 0.2 - 0.7. Let u = 0.3 + 2.7. Let t be 120/585 - (-30)/65. Sort t, m, u.
m, t, u
Let q be 1*(-3 + 1 + (-63)/(-35)). Let o = 0.015 + -0.115. Put 1, q, o in descending order.
1, o, q
Let m = 1 + 2. Let g(i) = i**2 - 3*i + 2. Let a be g(3). Let z(k) = k**3 + 25*k**2 - 58*k - 107. Let n be z(-27). Sort m, a, n in increasing order.
n, a, m
Let h(q) = q - 13. Let w be h(13). Sort 3, -67, -2, w.
-67, -2, w, 3
Suppose -53*n + 55*n + 2 = 0. Sort n, 2, -39.
-39, n, 2
Let w be (-12)/8*(-4)/6. Let c be 3 + (1 - (3 + 3)). Put w, 5, c in increasing order.
c, w, 5
Let c be 108/(-72) - 5/(-2). Let v = -2221/9 - -247. Sort 0.1, v, -4, c in descending order.
c, v, 0.1, -4
Let z(g) = 5. Let t(b) = b + 1. Let f(k) = -3*t(k) + z(k). Let d be f(2). Put -1, d, 1, -2 in decreasing order.
1, -1, -2, d
Let i = 51/14 + -95/28. Sort -0.4, i, 12 in increasing order.
-0.4, i, 12
Let p = 0.14 + 1.86. Let j be (-5)/(-6)*(-2)/(-5). Suppose 0 = m + q + 2, 0 = -4*m + 6*m - 4*q - 2. Sort p, j, m in descending order.
p, j, m
Let h = -1 + 0.7. Suppose -21 = 10*q + 29. Sort -0.2, q, 2, h in descending order.
2, -0.2, h, q
Suppose -80*q + 80 = -90*q. Put -1, q, 30 in increasing order.
q, -1, 30
Let a be (-168)/63 + 1 + 3. Put 0.5, a, -5 in descending order.
a, 0.5, -5
Let i = -91 + 171. Let v = -85 + i. Sort v, 0.2, -4.
v, -4, 0.2
Suppose -3 = -q - j, -q = -2*q + j + 3. Suppose x + 411 = 412. Put q, 4, -1, x in descending order.
4, q, x, -1
Suppose 8*z - 16 = 4*z. Suppose z*s + 0*s + 2*l + 46 = 0, -s - 8 = 4*l. Put 3, 2, s in increasing order.
s, 2, 3
Let l = 486.333 - 486. Let a = l - -0.067. Sort 0.5, 0.3, a, 4/9 in descending order.
0.5, 4/9, a, 0.3
Let u = 29 - 201/7. Sort 1.1, 0.4, u in ascending order.
u, 0.4, 1.1
Suppose 0 = 4*h - 5*f - 18, -2*f = -88 + 100. Suppose -2*w - 5 = 7. Put 0, 2, w, h in ascending order.
w, h, 0, 2
Let y(v) = 16*v + 28. Let l be y(-2). Sort 3/4, l, -2/7, -8 in decreasing order.
3/4, -2/7, l, -8
Let h = -707.1 + 709. Let u = 1.1 - 3. Let v = h + u. Put v, -0.5, -0.04 in ascending order.
-0.5, -0.04, v
Let k = -10521 + 10525. Suppose 0 = 2*w - 2*b + 6*b + 16, -w + 4 = -b. Put k, 0.4, -0.1, w in increasing order.
-0.1, w, 0.4, k
Let i = 0.51 + -0.26. Let j = i + -0.45. Let h be (-20)/6 + (-6)/9. Put -1/7, h, j in decreasing order.
-1/7, j, h
Suppose -8*t + 3902 = 4438. Put 4/3, t, 0.1 in descending order.
4/3, 0.1, t
Let i = -324 - -321. Put -0.1, i, -1, 5 in decreasing order.
5, -0.1, -1, i
Let z = -8.6 - 0.4. Let h = 5.935 + 0.065. Let t = h + z. Put -2/3, t, -1 in decreasing order.
-2/3, -1, t
Let f(t) = -t + 6. Let h = -54 + 61. Let u be f(h). Put u, 0, 3 in increasing order.
u, 0, 3
Let y = 162 - 163.43. Let u = y + 0.03. Let v = 1.4 + u. Put v, 4, -2/5 in descending order.
4, v, -2/5
Let f be (2/(-12))/(2/(-4)). Let h = 0.09 + 29.91. Let g = h + -29.9. Sort f, -1/12, g.
-1/12, g, f
Let d be 0/(-2) + (-5 - 1). Let q(n) = -n**3 - 6*n**2 - 4. Let r be q(d). Suppose x - 4*t = 19, 0 = -9*t + 13*t + 20. Sort 0, x, r in decreasing order.
0, x, r
Let g(y) = -2*y - 9. Let o be g(-6). Let k = 216 + -217. Sort o, 5, k in ascending order.
k, o, 5
Let p = -4 + 6. Let a be (-10 - 0)*p/4. Suppose -3*g = 6*s - 9*s - 12, 3*s = g - 12. Put s, a, 0 in ascending order.
a, s, 0
Let t = 4.0351 - 0.0351. Put 0.1, -1/3, -0.3, t in descending order.
t, 0.1, -0.3, -1/3
Let f = 81 + -86. Let d = 7/11 + -17/44. Let a = 5 + -5.1. Sort d, a, f in decreasing order.
d, a, f
Let o(b) = -2*b**3 + 10*b**2 - 8*b + 37. Let k be o(5). Sort k, -17, 0.01 in descending order.
0.01, k, -17
Let a = 21 - -5. Let m be ((-1)/a)/(1/4). Let x = -3.08 + 0.08. Put x, -1/4, m in decreasing order.
m, -1/4, x
Let b = -20 - -20.3. Put -14, b, -2/25, -2/13 in decreasing order.
b, -2/25, -2/13, -14
Let h = -79.866 + -0.134. Let k = -80.3 - h. Let a = 0.4 - 4.4. Put k, a, -1 in ascending order.
a, -1, k
Let m be 1 - (-1 - 1)*1. Suppose -47*p + 416 = 5*p. Let r be -3 + (1 - (m - p)). Put 5, 0, r in decreasing order.
5, r, 0
Let z = -0.09 - -4.09. Let t be -4 - (-1)/(96/(-20) + 5). Sort 0.5, z, t.
0.5, t, z
Suppose 7*k = 2*k - 20. Let d = -35 - -38. Let s = -12 - d. Put k, 2, s in increasing order.
s, k, 2
Suppose 0 = 4*i - 5*t - 2 + 27, 10 = -3*i + 2*t. Let l = -1.11 + 0.11. Put 5, i, l in decreasing order.
5, i, l
Let h = -2 + 2.1. Let s = 11.9 - 6.7. Let o = s + -5. Put o, 0.5, h in descending order.
0.5, o, h
Let r = 26.3 - -1.7. Let v = r + -21. Put 1, v, 0.4, 3 in descending order.
v, 3, 1, 0.4
Let d = 0.06 + -3.06. Let y = 1.1 - 1.2. Put 5, y, d in descending order.
5, y, d
Let y = -109 - -65. Sort 5, y, -3.
y, -3, 5
Suppose 0 = 2*g + 2*n - 3*n + 7, 2*g + 9 = -n. Let l be (-42)/(-7) + (1 - 3). Sort g, l, 1, 2 in increasing order.
g, 1, 2, l
Let i = 306 - 11017/36. Let q = -2/9 + i. Sort 1, -1, q in descending order.
1, q, -1
Let v(m) = -2*m + 22. Suppose 3*d = 5*d - 3*r - 12, 5*d - 5*r = 25. Suppose -2*q - 3*q = 2*z - 63, z = d*q - 29. Let u be v(q). Sort -3, u, 5.
-3, u, 5
Let j = -1.94 - 0.06. Let d = 1.9 + j. Let i = 19.64 - 19.63. Sort i, d, 0.5 in decreasing order.
0.5, i, d
Suppose -t + 39 = 2*t. Suppose -3*b = -t + 1, 10 = 3*m + 4*b. Let c = 206 + -209. Put m, -5, c in decreasing order.
m, c, -5
Let l be (44/(-48) + 1)*(-27)/(-18). Sort -31, -4, 0.1, l in descending order.
l, 0.1, -4, -31
Let y = -139.5 - -139.2. Let b = -5 + 3. Let a = -1.6 - b. Sort y, a, 0 in increasing order.
y, 0, a
Let c(f) = -f**3 + 9*f**2 - 15*f + 11. Let x be c(7). Let k(g) = -5*g - 1. Let w be k(-1). Suppose -w*y = -2*y + x. Sort y, -5, 2 in decreasing order.
2, y, -5
Let o(d) = 7*d + d - 7*d - 1 - 2. Let n be o(1). Sort n, 4, -4 in decreasing order.
4, n, -4
Suppose -2*m = 3*w + 4 - 13, 0 = -5*m + 2*w + 70. Sort 1, -1, m, -2.
-2, -1, 1, m
Let k be 1848/(-133) + 6 - -8. Sort 3, k, 0.15 in descending order.
3, 0.15, k
Suppose -33 = -3*c - y - 16, 0 = -2*c - 5*y + 33. Sort c, 2/43, 2, -1.
-1, 2/43, 2, c
Let y = 14 - 29. Let g be 15/((-21)/10 + 9/15). Let h = y - g. Sort 0.5, h, -2/5.
h, -2/5, 0.5
Let k(p) = p**3 + 4*p**2 + 2. Suppose -l = -2*u, 7*u + 18 = -2*l + 2*u. Let n be k(l). Let d = 130 - 129. Put 3, d, n in descending order.
3, n, d
Let p be (-132)/(-55)*(1 + 6/9). Let t(y) = y + 21. Let u be t(-11). Put u, -5, p in descending order.
u, p, -5
Suppose 197 = -28*d + 561. Sort d, -5, 17 in decreasing order.
17, d, -5
Suppose -f - 1 = 2. Let s(j) = j**2 + 6*j - 3. Let d be s(-7). Suppose 0 = -d*b, k + 5*b - 9 = -2*k. Sort -5, f, k in decreasing order.
k, f, -5
Let b = 17/27 - -1/27. Put -1/2, -3, 0.1, b in descending order.
b, 0.1, -1/2, -3
Let y = 570 + -575.22. Let g = y - -0.22. Put -0.4, -1/2, g in ascending order.
g, -1/2, -0.4
Suppose 4*l = -224 - 0. Let i be l/(-20)*(-10)/(-35). Let s = -0.24 + -0.06. Sort 2/15, s, i in descending order.
i, 2/15, s
Let l = 12 - 22. Let m be 0/(-1) - 6/l. Put -0.1, m, 5 in ascending order.
-0.1, m, 5
Let v be (-2)/5 - 17/(-5). Suppose v*t + h = 6*t + 7, 4*t = -h. Let y = -5875 + 5878. Put -3, t, y in ascending order.
-3, t, y
Let o = 0 + 5. Suppose -o*z = -z. Let j(c) = 2*c**3 + 59*c**2 + 86*c + 61. Let h be j(-28). Put h, z, 4 in descending order.
h, 4, z
Let y = -7 + 2. Let t(i) = 2*i**3 + 24*i**2 + 25*i + 30. Let p be t(-11). Let z be ((-3)/(-9))/((-1)/(-9)). Sort p, z, y.
y, p, z
Let d = -0.02 - -0.03. Let i = 0.19 + d. Let s = 129 - 127. Put i, s, 0.1 in increasing order.
0.1, i, s
Let i = -107 - -176. 