rder.
0, -1, x
Let s(y) = y**3 - 13*y**2 - 17*y + 37. Let q be s(14). Sort -0.4, q, -4, 0 in descending order.
0, -0.4, -4, q
Let u(c) = -c**2 + 9*c - 15. Let j be u(4). Sort 0.1, j, 0.3, 0 in ascending order.
0, 0.1, 0.3, j
Suppose -4*m - 3 = -m. Put m, -4, 1 in descending order.
1, m, -4
Let d = 1.4 - 0.4. Let x = -0.03 + -0.27. Put d, x, 3 in decreasing order.
3, d, x
Suppose -4*u - 4*n + 8 = 0, u - 3 = -3*u + n. Sort -7, 0, u.
-7, 0, u
Let f = 6 + -3. Let x = -5 + f. Suppose -s = -0*s + 1. Put s, x, -3 in ascending order.
-3, x, s
Let t = -0.1 + 0.2. Let d = 1571/57 + -21743/836. Let y = -5/44 - d. Put 3/2, t, y in increasing order.
y, t, 3/2
Suppose -4*i - 17 - 3 = 0. Sort 3, i, -7 in descending order.
3, i, -7
Let w be (48/(-18))/(4/(-6)). Sort 0.1, -10, 1/5, w.
-10, 0.1, 1/5, w
Suppose 4*m = 6*m. Suppose m = 2*n + 3*o - 15, n = -2*n + 3*o. Suppose 0 = -0*d - n*d + h - 9, -2*d = -2*h + 10. Sort 0.5, d, 0 in decreasing order.
0.5, 0, d
Let r = -300 + 299. Suppose 4*t + 2*o - 14 = 0, -3*t - 5*o + 7 = -14. Sort r, -5, t in descending order.
t, r, -5
Suppose 2*v + 0*g + g + 6 = 0, -3*g - 10 = 4*v. Let t be 35/(-10) + (-2)/(-4). Put 0, v, t in descending order.
0, t, v
Let i(g) = -g + 19. Let y(d) = 1. Let k(n) = -i(n) + 4*y(n). Let w be k(11). Put w, -1, 3 in increasing order.
w, -1, 3
Let r(q) = 2*q**2 - 9*q + 7. Let x be r(3). Sort -4, -3, x, 4 in descending order.
4, x, -3, -4
Let i = 19 - 13. Suppose -i = 2*v - 5*v. Suppose -9 = -2*o + 3*h, -o + v = o + 4*h. Sort o, -5, 5.
-5, o, 5
Let a = 14 - 15. Let c = -2 - a. Let d be (0 + 3/6)/2. Sort -3, d, c.
-3, c, d
Suppose 0 = 5*k + 15 + 10. Let y = -8 - k. Sort -5, -1, y.
-5, y, -1
Suppose 2*u + 5 = -f, -6*f - 19 = 4*u - f. Let k(w) = w**3 - 2*w**2 - w. Let l be k(u). Let r(i) = -i + 1. Let j be r(2). Put j, l, 2 in ascending order.
l, j, 2
Let a = -0.3 + 0.1. Let d = -6 - -6.7. Let x = d - -0.3. Put -1, x, a in increasing order.
-1, a, x
Let k(s) = -5*s. Let w be k(-7). Suppose -4*f + 5*i - w = -0*f, -24 = 3*f - 3*i. Sort -1, f, -4 in ascending order.
f, -4, -1
Suppose -2 = -8*y + 6*y. Let a = -4 - -2. Sort -3, a, y in ascending order.
-3, a, y
Let g = 81 - 80. Put -24, g, 5 in descending order.
5, g, -24
Suppose -3*d = -o - 0*d - 2, -3*o - 2 = -5*d. Put -4, o, 4 in increasing order.
-4, o, 4
Let g = 7 - 6. Let x = 0 + -0.1. Sort x, -3, g.
-3, x, g
Let s = -1.3 + 0.1. Let b = -1 - s. Let p = -0.5 + b. Sort p, 1/2, 3 in descending order.
3, 1/2, p
Suppose p + 4*c - 18 = 0, -4*c + 12 = 3*p + p. Let n be ((-18)/6)/(p/(-2)). Let k = 1016/5 - 204. Sort k, 2/9, n in descending order.
2/9, k, n
Let s = 7.22 - 0.22. Sort s, 3, 0.5, 0.2 in increasing order.
0.2, 0.5, 3, s
Suppose 10*b - 25 = 25. Put -25, b, 4 in ascending order.
-25, 4, b
Suppose 5*m + 4 + 2 = -4*c, 4*m = -c + 4. Put c, -4/7, 0, -2 in decreasing order.
0, -4/7, -2, c
Suppose 0 = -3*d - 5*n - 2, -4*d + 4*n = -9*d - 12. Let b = -4 - -1. Sort -5, b, d in decreasing order.
b, d, -5
Let o = -3 - 1. Let s(h) = h**3 - 3*h**2 + h - 1. Let m be s(2). Let x = m + 1. Sort o, 4, x in descending order.
4, x, o
Let x(u) = 3*u + 14. Let j be x(-4). Sort j, -4, 9 in descending order.
9, j, -4
Let t(q) = q**3 + q**2 + 26. Let c be t(0). Put c, 1, 4 in ascending order.
1, 4, c
Suppose 13 = 5*a + 2*m, 3*a - 1 = -m + 6. Sort a, 4, 0 in descending order.
4, a, 0
Let b = -23 - -22.9. Put 2/13, 6/5, 3, b in ascending order.
b, 2/13, 6/5, 3
Let r be (3/(-9))/(1/(-3)). Let c = -1387/11 + 126. Put r, c, -1/8 in decreasing order.
r, c, -1/8
Let u(b) = 2*b**3 + 2*b + 1. Let d be u(-1). Sort d, 3, 1 in descending order.
3, 1, d
Suppose 0 = 4*z + 11 + 5. Let q be (-9 - -7) + 0 + -1. Sort z, 2, q.
z, q, 2
Let w = -1 + 0. Let h = -3 - -5. Suppose 4*u + 6 = h*u. Sort u, w, 1 in increasing order.
u, w, 1
Let g = -37/140 + 1/70. Let y = -0.23 - -16.23. Let z = 16.4 - y. Put g, z, 0.3 in descending order.
z, 0.3, g
Suppose -2*r - 3*f - 34 = -f, 77 = -4*r + 5*f. Let n be (3/r)/(2/(-12)). Sort n, 5, -2 in descending order.
5, n, -2
Let k = -21.4 + 24.42. Let n = 0.02 - k. Let g = -4 - -3. Sort g, n, -3/4.
n, g, -3/4
Suppose 5*r - 23 + 8 = 0. Sort r, 1, -1 in descending order.
r, 1, -1
Let v = -2.1 + 2.4. Put v, 2, 2/3 in descending order.
2, 2/3, v
Let v = 21 + -19. Let p be ((-2)/5)/2*v. Let q = 18 + -89/5. Put 0, q, p in descending order.
q, 0, p
Suppose n = -4*t + 80, n + 5*t - 61 = 17. Let r be n/24 + (-2)/(-6). Sort -1, r, 0.
-1, 0, r
Let a = 15 - 17. Put -3, a, -1/3 in descending order.
-1/3, a, -3
Suppose 5*v - 123 = -48. Suppose -w = -4*w + v. Suppose 17*c - 16*c = -3. Sort w, 3, c in decreasing order.
w, 3, c
Suppose 2*x - 3*x = 4*y + 15, x = 5*y + 21. Let o be 1*2 - y/(-3). Let g(a) = a**2 + 4*a + 3. Let d be g(-2). Sort -4, d, o in decreasing order.
o, d, -4
Let n be 3 + (18/(-22) - 2). Sort n, 3/4, 0.5 in decreasing order.
3/4, 0.5, n
Let q = -13 - -16. Sort q, -1/4, 0.3 in decreasing order.
q, 0.3, -1/4
Suppose -5*r = -5*u - 0*u - 15, 5*u + 23 = r. Suppose -17 = 5*p - 2. Sort r, p, 0.
p, r, 0
Let u(z) = -28*z**2. Let j be u(1). Suppose f - 5*q - 10 = 0, 3*q - 23 = -5*f - 1. Let o be (-8)/j + f/7. Put 5, -1, o in ascending order.
-1, o, 5
Let o = -1057/9 + 117. Put o, -8, -0.5 in decreasing order.
o, -0.5, -8
Let n = -3 + 2.6. Let q = n + 0.3. Let r = 18/5 + -296/85. Sort 0, q, r in increasing order.
q, 0, r
Let r = -12 + 16. Put 0, 16, -2, r in decreasing order.
16, r, 0, -2
Let m(n) = -n**2 - 2*n + 3. Let d be m(-4). Let o(w) = w**3 + 5*w**2 - 2*w - 5. Let r be o(d). Sort 2, 1, r in decreasing order.
r, 2, 1
Let a be 68/(-60) - (-1)/(-5). Sort a, 0, 0.2 in decreasing order.
0.2, 0, a
Suppose 0 = 2*y + y - 3. Let i be y/((-3 - -1)/(-6)). Let b be ((-6)/9)/((-2)/12). Sort i, b, -2 in ascending order.
-2, i, b
Suppose 2*c + 18 = -3*b - c, c + 10 = -2*b. Let w be 1/b*2*0. Let j(k) = -k - 4. Let d be j(-6). Put -2, d, w in descending order.
d, w, -2
Let u be (18/135)/((-4)/(-3)). Sort -1/4, 1/2, u in descending order.
1/2, u, -1/4
Let r(g) = -g**2 + 13776. Let a be r(0). Let k be (-4)/18 - a/(-270). Let y = k + -51. Sort 4, y, 0.2.
y, 0.2, 4
Let z = 16 + -17. Sort z, 4, 25 in descending order.
25, 4, z
Let b(v) = v**2 - 6*v - 19. Let w be b(8). Sort 0, -1, w.
w, -1, 0
Let a = 1 - 3. Let d = 101 + -104. Put d, a, 0 in ascending order.
d, a, 0
Let q be (8/10)/(-1) - 0. Suppose -4*y + l + 270 = -l, -4*y + 3*l + 269 = 0. Let u = y + -338/5. Sort q, u, -0.2 in descending order.
u, -0.2, q
Let w = -35 + 317/9. Sort 0.4, 4/3, 1, w in descending order.
4/3, 1, 0.4, w
Suppose -4*s - 13 = 5*z - s, z = 3*s - 17. Put 5, 1, 2, z in decreasing order.
5, 2, 1, z
Suppose -g - 12 = -5*g. Suppose -5*x = -2 + 7. Let o(c) = -c**3 - 9*c**2 + 7*c - 32. Let q be o(-10). Put g, x, q in decreasing order.
g, x, q
Let y be -3 + 5/(-25)*0. Sort y, 2/17, -2 in decreasing order.
2/17, -2, y
Suppose 0 = -4*s + s - 6, -3*s = y - 1. Sort 3, y, 2.
2, 3, y
Suppose -4*z + 3*b - 4 = 6, 0 = -5*b - 10. Let k be 1/1*z/70. Sort 2/19, -2/5, k in ascending order.
-2/5, k, 2/19
Suppose -3*v - 6 = -0*v. Let g be 3*(-1)/6*2. Sort v, -4, g in decreasing order.
g, v, -4
Let m(l) = 2*l + 2*l - 3*l + 2. Let f be m(-5). Let y be (5 + -1)*(-15)/(-12). Sort f, 1, y.
f, 1, y
Let o = 472/5 + -94. Let l be (-10)/9*(2 + (-212)/100). Sort l, 5, o in increasing order.
l, o, 5
Let d be (3/2)/((-12)/16). Sort d, 4, -3 in decreasing order.
4, d, -3
Suppose -o = 4*o - 5. Sort 0, o, -5 in ascending order.
-5, 0, o
Let l = 0.1 - -0.3. Sort -1/2, -1/7, l in descending order.
l, -1/7, -1/2
Let r = -59 + 60. Put -1, r, -2, 3 in descending order.
3, r, -1, -2
Suppose -t = 0, -4*t = -4*u + 4 + 4. Suppose -u*v + 5 + 5 = 0. Sort -1, 6, v in descending order.
6, v, -1
Suppose 2*z + z = 27. Put -1, -3, z in decreasing order.
z, -1, -3
Let r = -22 + -4. Let b = r - -43. Let z = -12 + b. Sort -1/5, 1/2, z in ascending order.
-1/5, 1/2, z
Let f be (-5)/(-3)*6/2. Let t(w) = -w**3 + 5*w**2 - w + 3. Let j be t(f). Sort j, -1, -4 in increasing order.
-4, j, -1
Let v = -0.04 - 4.96. Let f = 10 + v. Sort f, 0, -0.5 in ascending order.
-0.5, 0, f
Let h(q) = -q**2 - 6*q - 6. Let w be h(-5). Let j = 9 - 5. Let s = -7 + j. Sort 2, s, w.
s, w, 2
Let g be (59/(-4))/((-372)/(-16)). Let l = 1/31 - g. Put 0.5, -0.4, l in descending order.
l, 0.5, 