rder.
o, 1/5, -2/15, -4/3
Let h = 13 + -9. Let r = 4.1 - h. Sort 1/4, -0.3, r.
-0.3, r, 1/4
Let r = 14 + -19. Sort 2, 1, -2, r in descending order.
2, 1, -2, r
Suppose 0 = -0*q + 5*q - 15. Suppose 2*u + 2*u + q*l = 27, -4*u = -4*l + 8. Put u, -4, 5 in decreasing order.
5, u, -4
Suppose -3*s + x = -8, 2*s = s + 3*x - 8. Suppose 0*n = s*n - 16. Let j be (-17)/4 - (-1)/4. Sort n, 2, j in descending order.
n, 2, j
Let s = -7 - 4. Let o = 0.31 - -14.69. Let j = o + s. Put -1, -0.4, j in decreasing order.
j, -0.4, -1
Let u = 83/9 + -9. Let j = 2 - 2.5. Let a = j - -0.3. Put a, u, 0 in decreasing order.
u, 0, a
Let r be (-4)/10 + 85/25. Suppose -n + 7 = -2*j, 4 = 3*j + r*n - 8. Put j, -2, -5 in decreasing order.
j, -2, -5
Let x = -0.022 - 4.978. Sort -3/2, x, 7.
x, -3/2, 7
Suppose r + 4 = 1. Let x be (r + 2)*(-1)/(-1). Let w = -7 + 8. Put x, w, -4 in ascending order.
-4, x, w
Let d be (-2 - -1) + -2 + 1. Let o be (-115)/d*3/10. Let k = o - 17. Put k, 0.3, -4/7 in decreasing order.
0.3, k, -4/7
Let m = -0.35 - -0.05. Let u(s) = -s**3 + 14*s**2 - 24*s - 4. Let l be u(12). Sort l, 3, m in descending order.
3, m, l
Let h = -9/2 + 4. Let x be ((-10)/(-15))/((-2)/3). Let d be x/(6/4 - 0). Put h, d, -0.2 in increasing order.
d, h, -0.2
Let p = 29 + -19. Suppose 2*z + p = -3*z. Put z, 0, 2 in ascending order.
z, 0, 2
Suppose 15 = -5*d - 5*t, -2*d + 9 = -3*d + 5*t. Sort d, 1, 0.
d, 0, 1
Let g(n) = -2*n**2 - n + 2. Suppose d + 6 = 4*d. Let i be g(d). Let l = i - -13. Sort l, 4, 1.
1, 4, l
Let h(s) = 4 + 0 - 2 + 2*s - s - s**2. Let u be h(-2). Sort 2, u, 0 in increasing order.
u, 0, 2
Let w = -0.29 + 0.03. Let n = -0.04 + w. Let q be (316/237)/(0 - 5/3). Sort 3, n, q in decreasing order.
3, n, q
Let k = 81 + -85. Sort -5, 8, k, 4.
-5, k, 4, 8
Let h = -5 - -13. Let g = h + -3. Sort 2, g, 0.
0, 2, g
Let w = -3 - -2.6. Let b = -0.79 + 0.06. Let k = b - 0.27. Put w, k, -0.2 in descending order.
-0.2, w, k
Let w = -45 + 40. Put w, 9, -2, -3 in decreasing order.
9, -2, -3, w
Let b = -4.3 + 4. Let k = b + 0.6. Sort -2, 5, k in decreasing order.
5, k, -2
Suppose 2*n + 14 = -2*x, -4*n - 3*x + 2 = 25. Let u = -2 + 5. Suppose u*q + 6 + 3 = 0. Sort q, n, -4 in increasing order.
-4, q, n
Let t = 4 - 2. Suppose r - 2*r - t*a + 5 = 0, -4*r - 2*a + 8 = 0. Sort -0.2, r, -2 in descending order.
r, -0.2, -2
Let l = -1.4 - -1. Sort l, -3, 2 in decreasing order.
2, l, -3
Let w = -0.26 - -0.56. Put w, -3, -1/4, 10 in decreasing order.
10, w, -1/4, -3
Let d be ((-201)/207 + 1)*3. Put -7, 3, d in decreasing order.
3, d, -7
Let z = 4.104 + -0.104. Sort -0.2, z, -9 in descending order.
z, -0.2, -9
Let n be ((-6)/(-4))/((-3)/(-6)). Let d = 5 + -8. Sort n, d, -1 in ascending order.
d, -1, n
Suppose k + 35 = g + 4*k, 2*g = -2*k + 58. Let o be 2/(g/(-10) - -3). Sort 1, o, -4.
-4, 1, o
Suppose 0 = -3*z + 2*z - 1. Sort -5, 3, z, -4 in descending order.
3, z, -4, -5
Let o be 2 + 3 + 0 + 0. Sort 3, 2, o in ascending order.
2, 3, o
Let w(q) = 6*q - 18. Let z be w(3). Put -4/7, -0.19, z in descending order.
z, -0.19, -4/7
Let s = 5 + 0. Suppose 5*b + r - 6*r - 25 = 0, 0 = -3*r - 6. Put 1, s, b in increasing order.
1, b, s
Let r = -9/5 - -32/15. Sort r, 9, 0.5 in decreasing order.
9, 0.5, r
Suppose 3 = 3*v + 2*d - 5, 1 = -v + 3*d. Suppose 0*g = -v*g - 6. Let x = -2 + 0. Sort 4, g, x in decreasing order.
4, x, g
Let o be (-17)/(-51) + (-10)/(-6). Sort o, 3, 1, -2 in decreasing order.
3, o, 1, -2
Let b(t) = t**2 + 1. Let g be b(-2). Let d(r) = -3*r + 12. Let n be d(4). Sort 2, g, n in ascending order.
n, 2, g
Let p = 0 + 0. Let m = -352 + 356. Put p, 1, m in ascending order.
p, 1, m
Let y = -3.18 + 2.18. Let q(t) = t**3 - 3*t + 1. Let u be 0/2 - (-3 - -1). Let m be q(u). Sort y, 3/5, m in descending order.
m, 3/5, y
Let x = -4 - -3. Let t = -2.6 - -3. Let y = 0.4 - t. Put x, y, 0.3 in increasing order.
x, y, 0.3
Let i(t) = -t**3 - 4*t**2 + 5*t - 2. Let c be i(-5). Let w = 0.07 + 0.23. Put c, 2/5, w in ascending order.
c, w, 2/5
Let z = -0.09 - 12.91. Let x = z - -13.1. Put -2/9, -1/2, x in decreasing order.
x, -2/9, -1/2
Let j = 2.3 - 7.3. Sort 2, 2/17, j in descending order.
2, 2/17, j
Let o = 22 - -11. Suppose 3*z + 20 = -2*p - 2*z, -o = 5*p + 4*z. Put p, -1, -4 in decreasing order.
-1, -4, p
Suppose 5*l = 4*l + 1. Suppose 3*j + 6 = 0, 0 = x + 4*x + 5*j. Put x, -5, l in increasing order.
-5, l, x
Let b = 5 + -4. Let z be (-5)/5 + -3*1. Put b, z, 6 in decreasing order.
6, b, z
Let w = 4.2 + -1.2. Let h = w + -2. Sort 0.3, -0.5, h.
-0.5, 0.3, h
Let a = -5 - -6.3. Let u = -0.3 + a. Let j = 0.9 - 0.4. Sort u, 0, j in decreasing order.
u, j, 0
Let c be ((-1)/(-2))/(6/420*7). Let h = 2 - -2. Put c, 1, h in ascending order.
1, h, c
Suppose x + 4*p = 22, 4*x - 23 = -0*x - 3*p. Suppose o + x = -o. Put -4, o, -3 in ascending order.
-4, -3, o
Let v be (-1)/2 - (-7)/(-2). Let b = v + 7. Put b, -5, -2 in decreasing order.
b, -2, -5
Suppose -5*k + 4*r + 0*r + 36 = 0, -k - 5*r = 16. Suppose -3 = 3*z + 9. Suppose -12 = -4*w, 0*m + 22 = -5*m - w. Sort z, m, k.
m, z, k
Let m be 4 + (0/(3/(-1)))/2. Let z = 15 + -7. Suppose 2*l = -2 - z. Put l, 2, m in decreasing order.
m, 2, l
Let x(z) = -z**2 + z - 1. Let f be x(-2). Let p(k) = -k**3 - 8*k**2 - 6*k + 10. Let n be p(f). Sort 2, n, -1 in decreasing order.
n, 2, -1
Let j(y) = -3*y - 1 + 0*y + 4*y. Let i be j(-4). Sort -0.5, 0.4, i in decreasing order.
0.4, -0.5, i
Let j = -4.2 - -0.2. Let m = 5 + j. Let k(r) = -r**2 + 2*r - 2. Let d be k(2). Sort d, -2/13, m.
d, -2/13, m
Suppose -5*x = 4*q + 3, -6*x - 5*q = -x. Let o = -2 + -2. Sort 1/7, o, x.
o, x, 1/7
Let o = -0.2 - 0.8. Let c = 77 - 87. Sort o, c, 5 in decreasing order.
5, o, c
Let x = -1 + -9. Let t = x + 5. Let r = 2.9 + -3. Put r, t, 0.3 in decreasing order.
0.3, r, t
Let y(l) = 8*l + 34. Let v be y(-5). Put v, 5, -5 in descending order.
5, -5, v
Suppose -2*l = -4*l - 70. Let x be (-2)/7 - 500/l. Let j be ((-1)/x)/(2/(-12)). Put 2, j, 5 in increasing order.
j, 2, 5
Let c = 263 - 266. Let g = 353/45 - 37/5. Sort 9, c, g in decreasing order.
9, g, c
Suppose -2*g - 4*i - 2 = -i, i = 2*g + 2. Suppose -4*d - 7 - 9 = 0. Put 0, d, g in decreasing order.
0, g, d
Let y be 0 + -4 + 7 - (-1 - -9). Let k be (1 + 0)*2 + -14. Sort -2, y, k in descending order.
-2, y, k
Let v be 717/12 - (-3)/(-2). Let o = 59 - v. Let k = 142/685 + -1/137. Sort o, k, -0.2 in decreasing order.
o, k, -0.2
Let n(v) = 4*v - 5. Let w be n(5). Let k be -2 - (-7)/(49/w). Sort k, -5, 0.2.
-5, k, 0.2
Suppose 4 = 38*u - 36*u. Let f = 2.03 + -0.03. Let m = -1.9 + f. Put 0.3, u, m in decreasing order.
u, 0.3, m
Let g be 2/7 - (-2109)/1365. Let r = g + -16/13. Let c = -409/6 + 68. Sort r, c, 0.1 in decreasing order.
r, 0.1, c
Let x = 10 + -6. Suppose 2*w - 2*q + 6 - 2 = 0, -x*q = 0. Sort w, -3, 3 in descending order.
3, w, -3
Let z = -22 - -31. Suppose -4*a + 4*c - z = -c, 5 = c. Put -1, 2/7, a in decreasing order.
a, 2/7, -1
Let x = 0.079 - -0.021. Put x, -3, 4, -0.4 in increasing order.
-3, -0.4, x, 4
Let v(h) = -2*h**3 + 3*h + 2. Let l be v(-1). Put -3, 11, l in decreasing order.
11, l, -3
Let q = -3 - -5. Let o = 5.29 - 1.37. Let m = o - -0.08. Put m, q, 1 in decreasing order.
m, q, 1
Let v = 12.99 - 13. Put -1/4, v, -2 in ascending order.
-2, -1/4, v
Suppose 0 = -0*q - q - 2. Suppose -6 = 4*t - 3*b - 2, 0 = -5*t - 3*b + 22. Suppose 16 = -2*k + 8. Put t, k, q in descending order.
t, q, k
Suppose 5*n + 12 - 2 = 0. Sort -3, -2/13, n.
-3, n, -2/13
Let x be (2 + -2)/(-2) - -3 - 2. Put x, 0.4, 7/5 in descending order.
7/5, x, 0.4
Let y = -0.054 + 0.554. Let v = -1.6 + 2.7. Let l = -0.8 + v. Sort -1/11, l, y.
-1/11, l, y
Suppose 0 = 6*y - 19 + 1. Put 2, y, -5 in increasing order.
-5, 2, y
Let n be 10/4*32/(-40). Sort 2, -3, n in ascending order.
-3, n, 2
Let l = 2.8 + -2.5. Sort l, 2/3, -1 in increasing order.
-1, l, 2/3
Let k be 3*(-1)/((-6)/4). Let z be (3/(-2))/(15/20). Sort 0.2, k, z in increasing order.
z, 0.2, k
Let z(d) = -d**2 + d + 3. Let x be z(0). Let t(k) = -k**3 + k**2 + k + 1. Let q be t(2). Put q, -6, x in descending order.
x, q, -6
Let l = 42 - 116. Let s = l - -73.71. Let d = s - 0.01. Put -1/5, d, 1/5 in decreasing order.
1/5, -1/5, d
Suppose 36 = -5*u + 1. Let c be 10*((-14)/4)/u. Sort -1, c, -4 in decreasing order.
c, -1, -4
Let u = 