-2 - u) + 0. Sort x, s, 4 in descending order.
4, x, s
Suppose -1 = w - 31. Sort -2/11, 0.4, -1, w.
-1, -2/11, 0.4, w
Let v = 1.2 + -1. Let f = -24 - -17. Let k = -6.7 - f. Put k, v, -2 in descending order.
k, v, -2
Let c = -23/4 - -5. Put c, -3, 4, -2/3 in increasing order.
-3, c, -2/3, 4
Let k = -11 - -15. Let w = k - 5. Sort w, 4, 3 in decreasing order.
4, 3, w
Let s be (-2)/(-14) + (-5 - (-120)/42). Put 3, 2, s, 4 in decreasing order.
4, 3, 2, s
Let r = -41 + 124/3. Sort 1, 4, 3, r in descending order.
4, 3, 1, r
Let t = 25 + -19. Sort t, -2/7, -0.2, -4/9 in increasing order.
-4/9, -2/7, -0.2, t
Let x = 15 - 26. Let k = 10.9 + x. Sort 2/13, 0, k.
k, 0, 2/13
Let q = 125/36 + -13/4. Put q, 5/4, 1/5 in increasing order.
1/5, q, 5/4
Let p = 6/107 - 684/749. Sort p, 4/3, -2/3 in increasing order.
p, -2/3, 4/3
Let o = 4 - 4. Let g(l) = l**3 - 3*l**2 - l + 2. Suppose 6*y - 4*r + 11 = 3*y, y = -r + 8. Let f be g(y). Put o, 4, f in descending order.
4, o, f
Let c = -7.7 - -8. Let d = 4.5 + -4. Let l = 0.7 - d. Sort l, -1/4, c.
-1/4, l, c
Suppose 3*l + 4*y + 4 = -19, -10 = 2*l + 4*y. Let b = l - -15. Sort 4, b, -2 in decreasing order.
4, b, -2
Let c = -64 + 68. Put c, -2/15, -5, 5 in ascending order.
-5, -2/15, c, 5
Suppose -40 = -7*u - 5. Sort -4, -6, u, -5 in decreasing order.
u, -4, -5, -6
Let z(u) = -u**2 + u - 1. Let f(w) = 4*w. Let x(j) = -f(j) - z(j). Let k be x(4). Suppose 0 = 11*y - 9*y - 6. Put k, y, -0.3 in decreasing order.
y, -0.3, k
Let m be ((-4)/(-12))/(2/(-12)). Sort m, 1/5, 0 in descending order.
1/5, 0, m
Let h = -3 + 7. Put h, -5, -2/7, -4 in descending order.
h, -2/7, -4, -5
Let x = -3 + 3.1. Let v = 2.9 - 2.4. Sort v, x, -2 in decreasing order.
v, x, -2
Let s(t) = -t**2 - 5*t + 7. Let x be s(-6). Suppose -5*g - 40 = -g. Let q = 13 + g. Sort -3, x, q in descending order.
q, x, -3
Let o = 100 - 100. Put o, -1, -3, -2 in descending order.
o, -1, -2, -3
Let y = -1697 - -39025/23. Let g be (2/(-46)*2)/(-8). Let l = g + y. Sort 1, l, 1/4.
l, 1/4, 1
Suppose 3 = 2*l + l. Suppose 5 = -3*h - l. Let d(q) = q**2 - 4*q - 1. Let r be d(5). Sort 0, r, h in descending order.
r, 0, h
Let y be (-1)/(2 + 6/(-4)). Suppose -2*a - 9 = a. Suppose -4*l = -4*t, 40 = -3*l - 7*t + 2*t. Put l, a, y in ascending order.
l, a, y
Let s = 55 + -55.5. Sort 5, s, -2/31 in decreasing order.
5, -2/31, s
Let v = -60.036 - -60. Put v, 4/7, -4 in increasing order.
-4, v, 4/7
Let o = -41 - -42. Sort o, -0.1, 0.3.
-0.1, 0.3, o
Let g(v) = v**2 - 7*v - 5. Let s be g(7). Let q be (-54)/10 + (-2)/s. Let d be (-14)/(-49) - (-10)/14. Sort q, d, -2 in increasing order.
q, -2, d
Let w be 52/(-42) + (-2)/(-3). Suppose 9*j + 15 = 4*j. Sort w, j, 1/4.
j, w, 1/4
Suppose 2*h + 3 = -3*y, -2*y - h = 2*y + 9. Let q = -14 + 18. Sort -2, y, q.
y, -2, q
Suppose 0 = -3*f - 5 - 10. Let c be (-15)/f*2/(-3). Sort -4, c, 5 in descending order.
5, c, -4
Let f = -9.5 + 8.5. Let g = 2.04 - 0.04. Sort 0.2, g, f in ascending order.
f, 0.2, g
Suppose -4*f = 3*v - 6, 36*f - 33*f = -5*v - 1. Let x = -232/209 - -28/19. Sort f, -3, x in descending order.
f, x, -3
Let y = -685/6 + 115. Put 0, -0.2, y in increasing order.
-0.2, 0, y
Let k(r) = -r**3 + 5*r**2 - 6*r + 5. Let n be k(4). Let g = -22 + 18. Let z = -8 + 6. Sort n, g, z in increasing order.
g, n, z
Let b = 113 + -113. Sort 3, b, -4, 15.
-4, b, 3, 15
Let b = -1.5 - -2. Let t = b + -3.5. Sort -0.5, t, 1/2 in increasing order.
t, -0.5, 1/2
Let r = -26 + 30. Put -5, r, 1 in decreasing order.
r, 1, -5
Let u = 16 + -15.7. Put u, -3, 19 in increasing order.
-3, u, 19
Let s be (1/2)/(158/(-8)). Let p = -306/395 + s. Sort p, 2/13, -3/5 in increasing order.
p, -3/5, 2/13
Let r = -4 - -15/4. Let d be (-3 - -2) + -3 + 2. Sort d, -0.5, r in decreasing order.
r, -0.5, d
Let y = -28 - -24. Let q = -0.15 + -1.65. Sort y, 2, q.
y, q, 2
Let y be (-6)/(2/4 - 2). Suppose 0 - 2 = 3*h - z, y = -4*h + 2*z. Let l = h - -2. Put l, 0.3, -2/9 in decreasing order.
l, 0.3, -2/9
Let a = 0.2 + -9.2. Let v = a + 8.9. Let t = 0.2 + -1.2. Sort -4, t, v in ascending order.
-4, t, v
Let g(o) = o - 11. Suppose 5*i = -5*y + 55, 3*y = 2*i + 3 - 0. Let t be (-4)/i*(-12 + 0). Let v be g(t). Put -5, v, 2 in descending order.
2, v, -5
Let a be (-2 + 0)/((-2 - -3) + 0). Let r(i) = -i**2 - 3*i + 1. Let k be r(-3). Sort a, k, 2/17.
a, 2/17, k
Let w(p) = p + 2. Let z be w(-7). Put -3, z, 2 in descending order.
2, -3, z
Suppose -10 - 8 = -3*c. Suppose -12 = -4*k - 4*p, -2*k - p + c = -0. Let a be 26*(-3)/(-24) - k. Sort 0.4, -3, a.
-3, a, 0.4
Let j = -4.4 + 4. Suppose -16 = -4*p + x, -4 - 23 = -5*p + 3*x. Sort p, j, 2 in ascending order.
j, 2, p
Suppose -k - 2*b - 3 = 0, 5*b - 5 = -0. Suppose -2*t - 5*j + 23 = 0, 2*j = -j + 9. Suppose -t = -5*d + 6. Put d, -1, k in decreasing order.
d, -1, k
Let d(s) = -s**2 - 4*s. Let q be d(-4). Put q, -4, -1 in ascending order.
-4, -1, q
Let t = -26 - -25. Let l be (1*2)/((-6)/(-27)). Let h = -5 + l. Put h, 0, t in ascending order.
t, 0, h
Let n = 33 - 33.4. Sort 0.5, n, 0.1, 36 in decreasing order.
36, 0.5, 0.1, n
Let h = -3 - -4. Put h, -4, -7 in ascending order.
-7, -4, h
Let d(n) = -2*n - 22. Let k be d(-12). Sort 9, k, -1, 1 in increasing order.
-1, 1, k, 9
Suppose 3*z = 5*l + 34, 3*l = -4*z + l + 2. Sort 0, -1, z in ascending order.
-1, 0, z
Let i = 0.08 - -0.12. Let w = 7 + -3. Suppose -y = -8 + w. Sort -5, i, y in decreasing order.
y, i, -5
Let g be (0/3)/(-1 - 0). Suppose g*d = -d + 2. Sort -2, 3, d.
-2, d, 3
Let h = -34 + 40. Sort 1/4, -5, h.
-5, 1/4, h
Let i = -164 + 161. Sort 2, i, 0 in ascending order.
i, 0, 2
Let j = 11 + -13. Sort -4/11, -0.5, -5, j.
-5, j, -0.5, -4/11
Suppose 0*r + 2*t = -3*r + 8, -2*r + 4*t = -16. Let u be 2/4 + r/8. Suppose -3*j - u - 14 = 0. Sort -1, j, 1/5 in decreasing order.
1/5, -1, j
Suppose -1 = 5*l + 3*p + 21, 29 = -5*l + 4*p. Sort 2, 1, l in decreasing order.
2, 1, l
Let r = 17/3 + -6. Sort 1, 0.3, r in decreasing order.
1, 0.3, r
Let p = -71 - -72. Put -5, p, -3, -4 in ascending order.
-5, -4, -3, p
Let u = -1.58 + 1.08. Sort u, 3, 0.07.
u, 0.07, 3
Let i(v) = 3*v. Let j be i(-1). Let d = 11 + -16. Sort 0.4, d, j in increasing order.
d, j, 0.4
Let i = 2.3 + 0.7. Let a = -3.3 + i. Sort a, -3/2, -0.1 in descending order.
-0.1, a, -3/2
Suppose -2*d - 3*h = 5 - 19, 4*d - 5*h = -16. Let k be 2 - (-4 - 2/(-2)). Let i = k + -8. Sort i, -2, d.
i, -2, d
Let s be (-16)/56 + 284/14. Suppose 3*i = -i - s. Sort i, 4, -1 in ascending order.
i, -1, 4
Let p = 8 + -13. Let s = -1.04 + 0.04. Sort 4, s, p in ascending order.
p, s, 4
Let i = -160 - -1438/9. Let j = -4 - -1. Sort i, 0.5, j in descending order.
0.5, i, j
Let y(k) = 12*k + 3. Let f be y(8). Let i be 4/14 - f/(-21). Put i, -4, 4 in decreasing order.
i, 4, -4
Let x be (3 - 3)*1*(-3 - -2). Let o(m) = -m**3 + 3*m**2 + 5*m - 5. Let f be o(4). Suppose 0*z + 2 = z. Put z, f, x in ascending order.
f, x, z
Let d be (0 - -1 - 0)*-10. Let l = d - -5. Suppose t + 7 = f - 0*f, -t - 12 = -2*f. Sort -2, l, f in decreasing order.
f, -2, l
Suppose 1 = 2*s - 1. Let z = s + 0. Let c = -15 + 15.4. Sort z, c, -1.
-1, c, z
Let h = 0.1 - -1.9. Let a = 3.97 + 0.03. Put a, 5/2, h in increasing order.
h, 5/2, a
Let s be 24/(-30) + 86/70. Put s, 1/2, -10 in increasing order.
-10, s, 1/2
Suppose 4*c + 16 = -4*d, -4*c - 8 = 3*d - 0. Let o = d + 11. Suppose -o*l - 2 = -4*l. Sort 5, -2, l in descending order.
5, l, -2
Let o be 12/16 - (-9)/4. Let r be -10*1*(-4)/10. Let w be -2*1 + 8 + -1. Sort o, w, r.
o, r, w
Suppose -q + 13 = -4*f, 0*f - 2*f - 2*q = 14. Let o be (24 - -1)/((-3)/(-3)). Suppose -u = -4*u - 2*j - o, 3*u = -4*j - 35. Sort 2, f, u in ascending order.
u, f, 2
Let z = 57 + -57.04. Sort 0.5, 1, 0.4, z in descending order.
1, 0.5, 0.4, z
Suppose 5*k + z - 11 = 0, -3 = -5*k - 3*z + 10. Let w be (-8)/6*(-2)/(-12). Put 4, k, w in decreasing order.
4, k, w
Let b be (3/4)/((-6)/(-24)). Suppose -5*j + 5*h + 0*h + 30 = 0, -j - 4*h = 4. Sort j, b, -4 in ascending order.
-4, b, j
Let f = -6 - -3. Suppose -6 = 2*q - 2. Let i be 2/(0/q + -17). Put i, f, 5/2 in decreasing order.
5/2, i, f
Let s(b) = b**3 - 2*b**2 - 4*b + 4. Let a be s(2). Sort 1, 6, -0.4, a in increasing order.
a, -0.4, 1, 6
Let o be 6/(-12) + 7/(-2). Let j = 8 + o. Sort j, 1, -4 in ascending order.
-4, 1, j
Let d = 4 - 8. Let 