 ascending order.
-1, z, 12
Let o = 32 - 28. Let r = -65 - -66. Let k = -3.91 - 0.09. Put o, r, k in increasing order.
k, r, o
Suppose 0 = 4*d + 52 - 64. Sort 52, d, 2.
2, d, 52
Let o be ((-13)/26)/(2/56). Let w be 12 + o - 6*-1. Sort -4, 0, w.
-4, 0, w
Let h = 6.3063 + 0.0937. Sort h, 1, -1/4 in decreasing order.
h, 1, -1/4
Let k = -0.5 - -3.5. Let x be ((-2796)/(-702) - 4)/(5/(-45)). Sort 1, k, x, -2/15 in decreasing order.
k, 1, x, -2/15
Let t be (2 - -1) + 2 - 187/33. Put -5/3, -1/3, t, -22 in decreasing order.
-1/3, t, -5/3, -22
Let w(x) = -x**3 - 12*x**2 - x - 14. Let i be w(-12). Let y = 18 - 12. Let b = 9 - y. Sort b, i, -9 in increasing order.
-9, i, b
Let m be 2 - (-3)/(5 + -2). Suppose -4*j = -m*j. Let f(l) = -l**2 - 15*l - 53. Let r be f(-6). Put r, j, 5 in ascending order.
j, r, 5
Let y(c) = 8 - 4 - c**2 + 2. Let v be y(3). Sort -4, v, -1 in increasing order.
-4, v, -1
Let z = 1039 + -1034. Put -6, z, 9, 1 in descending order.
9, z, 1, -6
Suppose 2*y = 4*v + 2, -5*v - 4*y + 28 = -v. Suppose -4*l + 6 = v*u, -u = l + 2*u + 6. Put 23, l, -1/2 in increasing order.
-1/2, l, 23
Suppose m + 4*k = -14, 0 = -0*m - 5*m - 5*k - 25. Let r = -167 + 163. Sort r, m, 1 in increasing order.
r, m, 1
Let y be (-23)/(-161) + (-1)/7. Put 2, -1, 19, y in descending order.
19, 2, y, -1
Let n be (1320/(-135) - -15) + (-1 - 4). Put n, 4, 6/17 in descending order.
4, 6/17, n
Let u = 0 + -2. Suppose 2*p - 15 = -3*p. Suppose 0 = 4*d - 3*a - 5, 0 = 4*d - 10*a + 5*a - 3. Put p, u, d in increasing order.
u, d, p
Let f = 0.41 + 9.59. Put f, 3, 2/7 in increasing order.
2/7, 3, f
Let i(p) = p**3 - 23*p**2 + 43*p - 19. Let h be i(21). Let x = 5 - 2. Let a = x - 6. Sort 0, h, a.
a, 0, h
Let g = 7.9 + -12. Let x = g + 4.4. Sort -0.3, 3, -3, x in ascending order.
-3, -0.3, x, 3
Suppose -s + 24*b + 5 = 26*b, -5*s = -b - 58. Sort s, 2, 4, 3 in descending order.
s, 4, 3, 2
Let i(u) = -2*u**2 + 6*u - 8. Let r be i(2). Sort r, -29, -5, -2 in ascending order.
-29, -5, r, -2
Let x = -53 + 51. Suppose 4*d - 2*r + 7*r = 16, r = 4. Put d, 2, 4, x in descending order.
4, 2, d, x
Let z = -8.8 - 56.2. Let t = 69 + z. Put 1, t, -3, 3/4 in decreasing order.
t, 1, 3/4, -3
Suppose 0 = -0*f - 5*f + 15. Suppose -5*s = o - 47 + 3, -5*s - 4*o = -56. Let v be 10/15 + (-12)/(-9). Sort v, s, f in ascending order.
v, f, s
Suppose x - 2*z - 4 = 0, -2*x = -x - 4*z. Sort x, -4, -1, 0.
-4, -1, 0, x
Suppose 1 + 7 = 2*j. Let v be -32 + 40 + (-7)/1. Put 2, j, v, 23 in increasing order.
v, 2, j, 23
Let l = -41 + 95. Suppose -46 = -4*u - l. Sort 0, 5, 2, u in descending order.
5, 2, 0, u
Let j(x) be the third derivative of -x**4/24 + 7*x**3/6 - x**2. Let g be j(5). Let z = -8947 + 8948. Sort 2/15, g, z.
2/15, z, g
Let m = -1 - -0.9. Let o(h) = -h**3 + 21*h**2 - 17*h - 64. Let n be o(20). Let t be (-2)/(-11) + n*(-1)/(-22). Put m, 0.12, t in ascending order.
m, t, 0.12
Let s = 47 - 46.9. Put -0.15, 1, s in ascending order.
-0.15, s, 1
Let k(s) = 11*s - 245. Let z be k(22). Sort 8, 2, 1, z in descending order.
8, 2, 1, z
Let x = 943 + -948. Let d = 13 - 8. Sort x, -4, d, -1 in ascending order.
x, -4, -1, d
Let k = -57 + 77.5. Let g = 317 - 296. Let j = k - g. Sort -2, 16, j in increasing order.
-2, j, 16
Let n = -5 + 10. Let o = 4.7 - n. Let b = -3 + -1. Sort o, 1, b in ascending order.
b, o, 1
Let t = 1.99 + -2. Let g = -1.99 + t. Let s = -3 - g. Sort -0.4, -1/2, s in descending order.
-0.4, -1/2, s
Suppose 13 = -4*t - 3. Let p = -53 + 61. Let y(k) = -k**3 + 7*k**2 + 11*k - 21. Let c be y(p). Put t, c, -5 in ascending order.
-5, t, c
Let x = -1.5 + 2. Let y = -23.8 + 23.8. Sort y, x, 0.1 in ascending order.
y, 0.1, x
Let j = -1053 + 15793/15. Sort -5, j, 67, 5 in increasing order.
-5, j, 5, 67
Suppose -3*h + 14 = 5*s, 135*h = 2*s + 137*h - 8. Put s, -12, 0.32 in decreasing order.
s, 0.32, -12
Let l be 7/((-539)/297) + 4 + 0. Sort 2, l, -3/7, 0.2 in increasing order.
-3/7, l, 0.2, 2
Let i be (-11)/(-13) + (-6)/(-39). Let v be ((-3)/6*1)/(4/(-8)). Suppose -v = -3*c - 13. Sort c, i, -3 in decreasing order.
i, -3, c
Let w = -61 - -92. Let a = w - 31.5. Sort a, -3, 8 in descending order.
8, a, -3
Suppose 15 = -l + 11*j - 14*j, -l + 3*j = -15. Sort l, -2, -3, 3.
-3, -2, l, 3
Let v = 446 + -442. Put v, 101, -5, 1 in increasing order.
-5, 1, v, 101
Let o = -83.79 + -0.21. Let l = o + 102. Sort 0, 2/9, -1, l.
-1, 0, 2/9, l
Let t = 626 + -625. Sort t, -2, 0.5, -7 in increasing order.
-7, -2, 0.5, t
Let n = 151 + -156. Sort n, 0.9, 0, 2 in ascending order.
n, 0, 0.9, 2
Let i = 222 + -227. Sort 0, 18, -3, i in decreasing order.
18, 0, -3, i
Let q = 211 + -215. Sort 2, q, 14.
q, 2, 14
Let d = 1015/11 - 92. Let b = d - 29/66. Sort -0.5, 1, b in descending order.
1, b, -0.5
Suppose -19*c - 21*c = 80. Put -7, 10, 5, c in decreasing order.
10, 5, c, -7
Let k(b) = -6*b**2 - 12*b - 12. Let v be k(-1). Put v, -5, 0 in ascending order.
v, -5, 0
Let x = 3 - 9. Let m be x/60 + 4/(-10). Suppose 51*y - 49*y = 10. Sort y, m, -3 in ascending order.
-3, m, y
Suppose -49*q - 120 = -9*q. Sort q, 7, 9 in decreasing order.
9, 7, q
Let y = -0.6 + 2.6. Let j = y + -4. Let f = 16.6 + -11.6. Sort j, -0.4, f in increasing order.
j, -0.4, f
Suppose 5*z = 8*z - 12. Suppose 3*b - m = 16, -b + 2*m = -0*m - 7. Let c(l) = l**2 - l + 1. Let i be c(2). Sort z, i, b in increasing order.
i, z, b
Let l = 303 + -361. Sort -0.2, l, -0.4 in ascending order.
l, -0.4, -0.2
Let h = 23.95 + -24. Let t = h + 0.2. Let a = t - 0.65. Sort 2, a, -3 in ascending order.
-3, a, 2
Let j = -833 - -589. Sort 5, 0.4, j in increasing order.
j, 0.4, 5
Let b(u) = 1 - 2 + 54*u - 53*u + 0 + u**2. Let y be b(-3). Suppose r = 2*k + 4 + y, -3*k + 6 = 5*r. Sort r, -4, 0 in ascending order.
-4, 0, r
Suppose -4*y = -2*w + 14, 0 = 2*w - y + 114 - 122. Let x be 6*-2*(-3)/(-9). Let b be (-8)/x + -5*1. Put w, -1, b in decreasing order.
w, -1, b
Let j = 2.06 - 0.32. Let w = -3 + j. Let z = w - -0.26. Put 2/9, z, 1 in ascending order.
z, 2/9, 1
Suppose -5 = 5*k - 4*g, -k + 0*g - 5*g + 28 = 0. Let p be 1 + -2 + (0 + 1)*k. Put -1, p, -3 in decreasing order.
p, -1, -3
Let m = -165 + 496/3. Let n = -7 + 2. Put 1, m, n in ascending order.
n, m, 1
Suppose -13*q + 76 = 6*q. Put q, -4, -3, 2 in increasing order.
-4, -3, 2, q
Let k = 103 - 26.5. Let a = 77 - k. Sort a, 0.01, -1/5, -0.5 in decreasing order.
a, 0.01, -1/5, -0.5
Suppose 3*m + 3*s = 8*m - 15, 2*m = -4*s - 20. Sort 3, 2, m, -3 in increasing order.
-3, m, 2, 3
Let b = 0.4 - 0.8. Suppose -4 = 66*d - 65*d. Let o be -2 + (-9)/(-3) + d. Sort o, 3, b.
o, b, 3
Suppose 4*r + 5*f - 4 + 13 = 0, 2*r = -5*f - 7. Sort r, 9, -2, 3.
-2, r, 3, 9
Let w = -1 + 0. Let u = w + 1.4. Let a = -23275/37 - -629. Sort u, 1/6, a in decreasing order.
u, 1/6, a
Let s = -5.77 - -6.17. Sort -7, s, 1 in increasing order.
-7, s, 1
Let n = 1.9 + 8.1. Let b = n - 15. Let a = 3 + b. Put 1/2, a, -3 in increasing order.
-3, a, 1/2
Let w be 35/(-11) - (-14)/77. Let i be 0 + (0 - (2 - w)). Let n = -110 + 107. Put i, n, 4 in ascending order.
i, n, 4
Let p = -0.362 - -1.362. Put p, 2, 1/4, -1 in decreasing order.
2, p, 1/4, -1
Suppose h + 5*p = 14 - 6, -10 = -3*h - p. Let w(m) = 17*m - 76. Let i be w(5). Sort -0.4, i, h in increasing order.
-0.4, h, i
Let a = 12 - 9. Let j be a - ((-8)/2 - -2). Suppose -5*v = 14 - 34. Put v, -5, j in increasing order.
-5, v, j
Suppose 52*a - 2*a + 25*a + 75 = 0. Let s(w) = 6*w - 1. Let i be s(1). Sort 2, a, i.
a, 2, i
Let t(s) = -5*s - 67. Let x be t(-12). Sort 3, x, -11, 1 in decreasing order.
3, 1, x, -11
Suppose 0 = 42*i - 66 - 60. Sort 0, i, 4, 13.
0, i, 4, 13
Let p = -965 + 931. Sort p, 0, -3 in decreasing order.
0, -3, p
Let l be 48/21 + (-2)/7. Let q be ((13 - 7) + -3)*l/(-3). Put -4, q, 0, 1 in descending order.
1, 0, q, -4
Let h = 395 + -402. Put -2/25, h, 0.2 in descending order.
0.2, -2/25, h
Let k(n) = -n**2 - 9*n - 5. Let w be k(-5). Suppose 0 = -0*a + 5*a + w. Sort 23, 1, -5, a.
-5, a, 1, 23
Let u be (-6)/20 - 528/(-160). Let j = -5 + 10. Put u, 12, j in increasing order.
u, j, 12
Let t(c) = c**3 + 19*c**2 + 21*c + 33. Let z be t(-18). Put -4, 3/4, z in descending order.
3/4, -4, z
Let w = -5.3 - -5. Let s = -8440 - -33761/4. Sort w, s, -0.9.
-0.9, w, s
Let n(c) = -c**2 + 6*c + 7. Let x be n(5). Suppose y = -2*y - x. Let