order.
a, f, 0.5
Let d = 1.3 - 1. Let h = 21.2 + -21. Let u be 2/(-1)*1/10. Sort h, d, u in ascending order.
u, h, d
Let v be (-2)/((-7)/(42/(-4))). Let c = -2 - -3. Sort c, v, -5 in descending order.
c, v, -5
Let k = 0.2 - -0.1. Let j = 0 + -3. Let p = -3.3 - j. Sort k, 0.4, p in ascending order.
p, k, 0.4
Let r be 2/8 - 6/24. Let j be 23/7 + 8/(-28). Suppose -j*q + 8 = -q. Put q, 1, r in increasing order.
r, 1, q
Let s = 111/5 + -1473/65. Put 4, s, 0, 0.3 in decreasing order.
4, 0.3, 0, s
Let h be (77/(-28))/((-1)/(-4)). Put 4, h, -4 in decreasing order.
4, -4, h
Let d = 22 + -26. Sort 4, 2/3, d, 1 in decreasing order.
4, 1, 2/3, d
Let h = -2 + 2.2. Let w = -0.7 + h. Sort w, 2, -6 in descending order.
2, w, -6
Let i = 128 - 894/7. Sort i, 0, -0.5, 0.4.
-0.5, 0, i, 0.4
Let g(r) = r - 13. Let o(f) = f - 12. Let l(p) = -6*g(p) + 7*o(p). Let d be l(6). Let m be (-1)/(-4) - 15/(-4). Sort m, d, 3 in decreasing order.
m, 3, d
Let n = 0.6 + -1.1. Put n, 0, -0.1 in descending order.
0, -0.1, n
Suppose -2*z - 16 = 2*z. Let p = -3 + 6. Let i be 2/(-6) + 1/p. Put -2, z, i in descending order.
i, -2, z
Suppose 2*g = -0*g. Suppose -n + 2 = -2*u, 0 = 2*n - 0*n - u + 5. Let r be (-2 - 0)/((10/3)/(-5)). Sort r, g, n.
n, g, r
Let p = -4.7 - -0.7. Let u = p + 10. Sort -0.3, 2, u in descending order.
u, 2, -0.3
Suppose -20 = 4*x - 0. Put -1, 2, -2, x in increasing order.
x, -2, -1, 2
Let i(q) = -q**2 + q - 5. Let m be i(0). Let j be 1 + (0 - -3 - 1). Suppose 4*x + j = x - g, -3 = 3*x + 4*g. Sort x, 3, m in decreasing order.
3, x, m
Let b = -4 + 2. Let t(g) = g**3 + 2*g**2 + g - 2. Let r be t(-2). Let v = r + 6. Put b, v, 0 in decreasing order.
v, 0, b
Let l = -2 - -9. Suppose -10 = l*r - 2*r. Suppose -a - 1 = j, -5*a = -3*a + 10. Sort j, r, -3.
-3, r, j
Let p = -24 - -23.98. Let y = 0.13 + -0.05. Let d = p - y. Put 0.2, 1/4, d in descending order.
1/4, 0.2, d
Suppose -m - 2 = -7. Let z = -5 + 5. Sort z, m, 1 in ascending order.
z, 1, m
Let w(y) = y + 9. Let x be w(-7). Suppose -5*b + 2*g = -x, 2*g = 5*b - 2*g + 6. Sort b, 0, -1 in ascending order.
-1, 0, b
Let s = 0.089 - 1.089. Put 1/4, -0.3, s in descending order.
1/4, -0.3, s
Let y = -0.01 + 0. Suppose -2*j - 21 + 17 = 0. Sort 1, y, j in descending order.
1, y, j
Suppose q + 0*d - 1 = 4*d, 1 = d. Sort 3, -5, 0, q.
-5, 0, 3, q
Let f = -0.6 - -0.8. Let t = -0.4 - -0.2. Let k = -3.3 - -0.3. Sort f, t, k in descending order.
f, t, k
Let z be 0 - -1 - (2 + 2). Suppose 0 = -h + 5*h + 20. Put 2, h, z in decreasing order.
2, z, h
Let p be -1 - (3 + 1)/4. Sort -5, 4, p.
-5, p, 4
Let j = -0.8 + 1. Let p = -0.4 + j. Let o = -6 - -2. Sort o, p, -3 in decreasing order.
p, -3, o
Suppose -2*m - 6 = -4*m. Sort 5, m, -1 in descending order.
5, m, -1
Let g(p) = p**3 + 4*p**2. Let a = 6 - 10. Let d be g(a). Suppose o = 1 + 1. Put d, 4, o in increasing order.
d, o, 4
Let r = 129 - 133. Put r, -5, 8 in increasing order.
-5, r, 8
Let b = 3 - 2.6. Let w = -14 - -13.5. Sort 5, w, b.
w, b, 5
Let d be 1*((-2)/(-2) - 0). Let l be 1*-6 - (-18 - -14). Sort l, d, 4 in descending order.
4, d, l
Let v be ((-3)/((-3)/(-2)))/(-21). Let b = 1.8 + -2.2. Sort b, v, 0.02 in decreasing order.
v, 0.02, b
Let g = -0.27 + -0.03. Let v be 1/(51/23) - 45/135. Sort 1, v, g in decreasing order.
1, v, g
Let u = -245/4 + 61. Put 1, 1/3, u, 0.5 in descending order.
1, 0.5, 1/3, u
Suppose -4*z + 5 - 1 = 0. Sort 4, 2, -1, z in ascending order.
-1, z, 2, 4
Suppose -5*p = n - 20, -2*p + 0*p + 5*n - 19 = 0. Suppose 5 = -p*l + 17. Sort -5, l, 5.
-5, l, 5
Let j = 129581 + -1941013/15. Let d = j + -180. Let c = -1/15 - 2/15. Sort c, d, -3.
-3, c, d
Suppose 4 = 3*l - 2. Let b be (-2 + 5/l)*0. Let d be 3 + -4 + (5 - -1). Sort d, -4, b in descending order.
d, b, -4
Let o = -4 - -8. Let q = o + -2. Let i = 0.8 - -0.2. Put q, i, -0.1 in increasing order.
-0.1, i, q
Suppose w - 6*w - 17 = 4*a, -29 = 5*w - 2*a. Let n(m) = -m + 1. Let z be n(-3). Sort w, 0, z in decreasing order.
z, 0, w
Let b(q) = 2*q + 0*q - 5 + 0. Let g be b(4). Suppose 1 + 0 = -w. Put g, 2, w in descending order.
g, 2, w
Let g be -3 + -10*(-4)/16. Sort g, 4, 0.1 in descending order.
4, 0.1, g
Let q(g) = -g**3 + 2*g**2 - 2*g + 3. Let k be q(2). Let p(r) = r**3 + 9*r**2 + 10*r + 11. Let v be p(-8). Put 0, k, v in ascending order.
v, k, 0
Let p(y) = -y + 1. Let r be p(2). Let x = -14 + 10. Sort 6, x, r in descending order.
6, r, x
Let f = 6/17 + -110/119. Let a = -5.1 - -1.1. Let m = 3 + a. Sort m, 5, f in descending order.
5, f, m
Let b = 22 + -14. Suppose -3*f + b*f = 20. Sort 3, 2, f.
2, 3, f
Let q(n) be the second derivative of -n**3/6 - n. Let d be q(2). Let t = -242 + 241. Sort -3, d, t.
-3, d, t
Let y = 502/4047 - 4/213. Put 5, y, 2.6 in decreasing order.
5, 2.6, y
Let c(b) = -b + 10. Let l be c(6). Let s = l + -8. Sort 2, s, -3 in decreasing order.
2, -3, s
Let r = -552/5 + 111. Let u = -0.159 - -0.059. Let h = -5 + 1. Sort r, u, h in descending order.
r, u, h
Let b = -5.6 - -0.6. Let o = 3 + b. Let q = 0.4 - -0.1. Sort q, 5, o in descending order.
5, q, o
Let k(y) = -y**3 - 12*y**2 + y + 10. Let m be k(-12). Put -1, -0.5, -2/13, m in descending order.
-2/13, -0.5, -1, m
Let q = 22.6 - 23. Sort -3/5, q, 1/8 in decreasing order.
1/8, q, -3/5
Let j be (-3 - 16/(-5))/((-2)/5). Put j, 2/5, -1/4, 3 in increasing order.
j, -1/4, 2/5, 3
Suppose 3*x - 3*d - 12 = 0, 0 = -5*x + d + 2*d + 18. Suppose 0 = 3*s + 1 + 29. Let u = s + 15. Put x, 4, u in decreasing order.
u, 4, x
Let y = 3.949 + 0.051. Put 0, -2/9, -5, y in decreasing order.
y, 0, -2/9, -5
Let r = 102 + -917/9. Sort -4, -0.3, -0.06, r in increasing order.
-4, -0.3, -0.06, r
Suppose 5*h + 32 = 12. Sort 5, 1, 2, h in descending order.
5, 2, 1, h
Let x = 1/36 - -5/36. Sort -3, 4, x.
-3, x, 4
Suppose -5 = -2*i + 3. Let w = i + 1. Sort -3, -1, w in decreasing order.
w, -1, -3
Let g = 18 + -18.4. Sort 0.06, g, 0.4 in ascending order.
g, 0.06, 0.4
Let g = -23.4 + 23. Let l be 2/3 - (4 + -4). Put l, -0.2, g in descending order.
l, -0.2, g
Let m be (-4)/6*6 - -8. Put -14, m, 3 in decreasing order.
m, 3, -14
Let a(f) = 4*f + 48. Let l be a(-13). Sort 2, l, 6.
l, 2, 6
Let y = 0.35 - -0.05. Sort y, -0.1, 1/7 in decreasing order.
y, 1/7, -0.1
Let i = -11 + 12.5. Let l = i - 1. Let u = 1032/7 + -148. Sort u, l, 0.3 in descending order.
l, 0.3, u
Suppose -1 = -4*d - 13. Suppose -11 - 9 = -4*v. Let u = -7 + 2. Put v, d, u in decreasing order.
v, d, u
Suppose 2*k + 1 = 3. Let s be (-14)/(-21) + k/12. Sort 3, -5, s in increasing order.
-5, s, 3
Let s be (1 + 14/(-10))/(6/(-15)). Sort 2, -1, 5, s in ascending order.
-1, s, 2, 5
Let o be 2/(-1) + 36/21. Let n = -3/17 - -66/85. Put 2, o, n in decreasing order.
2, n, o
Let b = -3250/3 - -220943/204. Let x = 9/17 + b. Let s be 6/8*2/(-3). Put x, s, 1 in increasing order.
s, x, 1
Suppose 0 = 2*f - 32 - 244. Let d = -3912480/17 - -230008. Let q = f + d. Sort q, 5/3, -2/7 in descending order.
5/3, q, -2/7
Let s(l) = -2*l**2 - 3. Let y be s(-3). Let w be y/14*(-8)/6. Put w, 4, 1 in descending order.
4, w, 1
Let s = 47 - 52. Sort -3/4, -0.3, s, -2 in decreasing order.
-0.3, -3/4, -2, s
Let c be (9 + -6)*((2 - 0) + -3). Sort 0.1, 21, c in descending order.
21, 0.1, c
Let z be 27/216 + 1/(-2). Sort -3, z, -0.1 in increasing order.
-3, z, -0.1
Let o = 2 + 1. Suppose -5 - o = -4*u. Suppose -4*p + 5 = -5*p + u*v, 2*p - 3*v = -6. Sort 2, p, 5.
2, p, 5
Let t(w) = -3*w + 4. Let o be t(3). Let m = -70 - -70.5. Put m, o, -1/4 in descending order.
m, -1/4, o
Let x(i) = -i**3 - 25*i**2 - 25*i - 22. Let w be x(-24). Sort w, 0.4, 0.2, 0.5 in decreasing order.
w, 0.5, 0.4, 0.2
Let h(p) = p**3 - 4*p**2 - p. Let y be h(4). Let l be 1 + 4 + (-15)/5. Let w be (5 - 4)/((-1)/(-5)). Sort y, l, w.
y, l, w
Let f = -313 + 443. Let j be 4/(-22) + 21321/(-165). Let p = f + j. Sort p, 3/2, -4 in ascending order.
-4, p, 3/2
Let t be 55/(-57) - (-2)/(4/2). Let o be ((-2)/19)/(6/40). Let m = o + t. Put m, -1/3, 4 in increasing order.
m, -1/3, 4
Let n = -17.81 - 0.19. Let a = -19 - n. Sort a, 2/3, 0.09 in descending order.
2/3, 0.09, a
Suppose -y = 11 - 5. Put -2, -0.2, y in decreasing order.
-0.2, -2, y
Let r = -12 + 20. Let d = 8.3 - r. Let y = 7.9 - 8. Put y, 2, d in decreasing order.
2, d, y
Let q = 3 - -2. Let d(n) = -n**3 + 4*n**2 - n - 1. Let 