5 in descending order.
z, q, -0.5
Let r = -0.2 + 0.1. Let u(c) = -3*c**2 + 32*c - 19. Let g be u(13). Let p = g + 116. Sort r, p, 4 in ascending order.
r, 4, p
Let j = -73 + 77. Put j, -2.4, 1 in ascending order.
-2.4, 1, j
Let y = -3 + -1. Let i(r) = 3*r**2 - 22*r + 28. Let b be i(6). Let n(f) = -2*f + 7. Let t be n(5). Sort y, b, t in ascending order.
y, t, b
Let i = -396.7 - -397. Sort 1/3, i, 2 in increasing order.
i, 1/3, 2
Let m(u) = u**3 - u**2 - 16*u + 24. Let c be m(2). Sort -8, 10, c in descending order.
10, c, -8
Let m(u) = -2*u - 1. Let w be m(0). Suppose -2*d = s - 4*d + 18, 5*s + d = -101. Let i = 24 + s. Put i, w, -2 in descending order.
i, w, -2
Let s be (6 - 4) + (-1 - -4). Suppose -3*w - c + 7 = 0, -s*w - 2*c + 6 + 5 = 0. Suppose 4*u - w*u = 0. Sort 3, u, -1 in descending order.
3, u, -1
Let z = -239 - -242. Let p = 9 + -8.5. Put z, -1/5, p, -2/5 in decreasing order.
z, p, -1/5, -2/5
Let p = -24 - -26. Let z = -10 + 15. Put p, -4, z in ascending order.
-4, p, z
Let q(u) = -11*u - 23. Let h be q(-3). Put 3, 5, h in descending order.
h, 5, 3
Let a(q) = 11*q - 15. Let p be a(1). Sort -3, p, 0.3, 0.5 in increasing order.
p, -3, 0.3, 0.5
Let v be (-3)/(2 + 5/(-2)). Suppose 3*t - v = 3*m, -4*t + 1 + 10 = -3*m. Put 0, -2, m in descending order.
m, 0, -2
Suppose 39 = 30*y + 9. Put 17, -4, y in ascending order.
-4, y, 17
Let u(r) = r**2 - 2*r - 7862. Let p be u(0). Let q = -23843/3 - p. Let y = q - -85. Sort -0.3, y, -0.5.
y, -0.5, -0.3
Let n = -52 + 362/7. Sort 0.5, 4, n, 2/5.
n, 2/5, 0.5, 4
Let z = -4.67 - -4.97. Put -4, 30, z, -1/4 in ascending order.
-4, -1/4, z, 30
Let c = -2 + 24. Let b = -19 + c. Sort 4, b, -4 in decreasing order.
4, b, -4
Let f = -0.16 - -17.16. Let z = f + -17.4. Let r = 2.2 - 2. Sort z, r, 0.
z, 0, r
Suppose -3*y + y = 0. Suppose -3*g + 8*g - 25 = y. Sort 5/4, g, -4.
-4, 5/4, g
Let t = 84 + -85. Let d = 7 + -7.3. Put d, t, -11 in increasing order.
-11, t, d
Let a = -0.415 - -4.415. Sort -6, 5, a, 1/4.
-6, 1/4, a, 5
Let a = 2101.2 - 2101. Put 11, -1/5, a in ascending order.
-1/5, a, 11
Suppose -339 = 12*i + 381. Let a = 58 + i. Sort a, -0.4, 0 in ascending order.
a, -0.4, 0
Let j = -25 - -99/4. Let f = -0.39 - -0.19. Sort f, 3, j in descending order.
3, f, j
Let r(c) = c**3 - 5*c**2 - 8*c + 6. Let i be r(6). Let z = 4 + i. Let v(l) = -l**3 + 8*l**2 + 10*l - 9. Let o be v(9). Sort o, 1, z in ascending order.
z, o, 1
Let i = 74 - 45. Let c = 35 - i. Put -4, c, 4, -3 in ascending order.
-4, -3, 4, c
Let o = 2 + -17. Let k be (o/(-2))/(15/(-20)). Let h be (-5)/k*(0 - 2). Put -4, h, 5 in increasing order.
-4, h, 5
Suppose 0 = s + 8*g - 10*g + 5, -3*s = 3*g + 6. Let y(m) = -m**2 - 7*m - 6. Let r be y(-4). Let i(w) = -w + 5. Let u be i(r). Sort s, -2, u in descending order.
u, -2, s
Let a = 24 + -23.91. Let b = 7.09 - a. Sort -0.5, 4/3, b in increasing order.
-0.5, 4/3, b
Let k = 32 + -35. Let f = k - -1. Let o be (12/(-18))/(f/12). Sort 15, o, -2 in increasing order.
-2, o, 15
Let q = -3 - -1. Let s = 1.7049 + -1.2049. Sort q, s, 0.43 in descending order.
s, 0.43, q
Let a = 19 + -17. Let k(b) = b**3 - 5*b**2 - 25*b + 8. Let x be k(8). Let t(w) = 2*w - 3. Let u be t(2). Sort u, x, a in descending order.
a, u, x
Let b be (-8)/10*45/(-9). Sort -18, b, 1 in increasing order.
-18, 1, b
Suppose 6*s + 5 - 113 = 0. Let a be 1/(2/(-8)) + s/5. Put a, 2/7, -2, 0.5 in decreasing order.
0.5, 2/7, a, -2
Suppose 35*o - 133 = -28. Put o, -60, 5, 4/7 in ascending order.
-60, 4/7, o, 5
Let d = 4.6 + -5. Let l be 4*(0 - (-1)/2) - 3. Let t be 3/(l - (-10)/4). Put -3, t, d in descending order.
t, d, -3
Let u = 1787 - 1787.5. Sort u, 2, 17, -2.
-2, u, 2, 17
Let n = -28 - -19. Let c = -8 - n. Let k(s) = s**3 + 7*s**2 + 7*s + 4. Let r be k(-6). Put c, 5, r in decreasing order.
5, c, r
Let j(x) = -4*x**3 + 93*x**2 - 22*x - 20. Let s be j(23). Suppose 5*a = -2*m - 12, 2*a = 5*m - m. Sort s, 4, a, 9.
a, s, 4, 9
Let l be (3/(-4))/3 - 276/48. Sort 5, -4, l, 3 in decreasing order.
5, 3, -4, l
Let z be (3/(-9) - 0) + 3/9. Sort z, -20, 1 in increasing order.
-20, z, 1
Let b(v) = 3*v + 17. Let a be b(-6). Put a, -4, -3, 3 in descending order.
3, a, -3, -4
Let s = 690 + -685. Sort 10, s, 2.
2, s, 10
Suppose 2*f - 10 = 2. Suppose 9*g = f*g. Sort 4, g, -1.
-1, g, 4
Let t be (-32)/80 - 172/(-30). Sort -3/2, -1, t, 0.3 in increasing order.
-3/2, -1, 0.3, t
Let u = -112 + 117. Let v = 1 - 0. Put 0, -5, u, v in decreasing order.
u, v, 0, -5
Suppose -1649*b = -1644*b - 65. Sort b, -5, -1 in decreasing order.
b, -1, -5
Let f = -15.2 - -15. Let l = -0.32 - -13.32. Let s = 14 - l. Sort -12, f, s in decreasing order.
s, f, -12
Let b(d) = 5*d + 34. Let y be b(-7). Let j = 23.09 + -23. Put -2, y, 2/15, j in ascending order.
-2, y, j, 2/15
Let b = 0.773 - 0.093. Let f = -1.68 + b. Let d = -2.06 + 0.06. Put d, 1/5, f in decreasing order.
1/5, f, d
Let s = -26 - 0. Let h = s - -24. Sort -0.1, h, -1, 0.2.
h, -1, -0.1, 0.2
Suppose -3*v + 19 + 8 = -3*q, -24 = -2*v + 5*q. Sort 5, v, 2.
2, 5, v
Let h(q) = 3*q**2 - 2*q + 2. Let s be h(1). Put s, 7, -4, 5 in descending order.
7, 5, s, -4
Let a be (-4 - -34) + -4 + 4. Suppose -27*m - 6 = -a*m. Sort m, 5, -2 in descending order.
5, m, -2
Suppose 372*b - 18 = 366*b. Put b, -4, 38 in decreasing order.
38, b, -4
Suppose -83 = -10*d - 103. Put d, 8, -4, 2 in increasing order.
-4, d, 2, 8
Let y = -30.46 + 0.46. Sort 0.3, y, 1, -2/15 in descending order.
1, 0.3, -2/15, y
Let j = 1065 + -1070. Sort -21, j, -1 in decreasing order.
-1, j, -21
Let j be 9/(-2) + 3/6. Let d be (11 + 1)*(-4)/(-3). Let i = 20 - d. Put j, -0.4, i in decreasing order.
i, -0.4, j
Suppose 8*v - 32 = 11*v + 2*n, 5*v = -3*n - 54. Sort v, 0.1, 2 in decreasing order.
2, 0.1, v
Let j = -0.06 - -0.56. Let k = j - 3.5. Put -1, 2, k in descending order.
2, -1, k
Let r = 274 - 270. Sort -4, 5, r, 0 in descending order.
5, r, 0, -4
Suppose 7 = 2*c - 3. Let k = 9 - 8.5. Let u = k - 2.5. Put c, 3, u in descending order.
c, 3, u
Suppose 0 = 3*j - 5 - 10. Suppose 0 = -j*w + w + 16. Let u(p) = p**2 - 6*p - 6. Let b be u(7). Sort 1/8, b, w in ascending order.
1/8, b, w
Let p be ((-87)/(-58))/((-3)/10). Let f = -4 + 4. Suppose f = 2*h + 2*h. Put h, p, -3 in decreasing order.
h, -3, p
Let g = -14668/33 - -1334/3. Sort -24/7, -4, -3, g in descending order.
g, -3, -24/7, -4
Suppose -5*a = h - 14, -a - 12 = -3*a - 2*h. Suppose 2*z = -4*c + 12, -2*z - 28 = -3*c - 19. Put a, c, 0 in ascending order.
0, a, c
Suppose 5*t - 4*b = 0, -25 = -5*t - 129*b + 128*b. Let o = -7 - -3. Sort o, t, -1.
o, -1, t
Let w be (24/(-10))/((-11)/(165/(-6))). Sort 0.3, 0.6, w, -3 in increasing order.
w, -3, 0.3, 0.6
Let x be (-6)/(-4)*(-154)/(-21). Suppose -j = -3*l - 19, -3*l - 4 - x = 0. Suppose -o - 2*o = 15, 17 = 3*b - j*o. Sort b, -2, 3.
-2, b, 3
Let f be ((1/(-3))/(1/9))/(-1). Suppose -f = -n - 4. Put 1, 5, n, 0.2 in ascending order.
n, 0.2, 1, 5
Let t = 38 - 53. Let v = t - -12. Suppose l = -3*l. Sort -2, l, v in descending order.
l, -2, v
Let k be 1*(-1)/2*1. Let r be (-728)/(-1092)*(-9)/(-10). Sort 0.9, r, k in decreasing order.
0.9, r, k
Suppose 872*z - 20 = 868*z. Sort -2, -25, z, -4 in decreasing order.
z, -2, -4, -25
Let h = 51 + -53. Sort 5, h, 32 in ascending order.
h, 5, 32
Let m(z) = z**3 - 8*z**2 + 11*z + 6. Let p be m(6). Let n be 4 - (2 + -1 - p). Suppose y - n = -2*d - 0*y, -1 = y. Put 5, -10, d in descending order.
5, d, -10
Let z = -26 - -340/13. Let r = 0.2 + 44.8. Let k = r + -40. Sort k, z, 0 in ascending order.
0, z, k
Let g = -658 + 586.8. Let f = g - -71. Put 3, 7/5, f, 1 in descending order.
3, 7/5, 1, f
Let y = 0.55 - 3.75. Let b = 5.2 + y. Put b, -0.03, -3, 1/2 in decreasing order.
b, 1/2, -0.03, -3
Let l = -4 - -8. Suppose -f + 2*f = 0. Let z be 6/(((-81)/(-12))/9). Sort f, l, z in increasing order.
f, l, z
Let d = -2252107657/180 + 12511741. Let t = d + -127/4. Sort t, -0.4, 3.
-0.4, t, 3
Suppose 0*m + 2*m = o + 2, -4*m + 18 = 5*o. Let q be (m + -4)*3 - -4. Put q, 0, -2/9 in decreasing order.
0, -2/9, q
Suppose -4*i + 14 + 2 = 0. Let m = 3 - -8. Suppose 5*y - 2*x + 4 = 0, m = 3*y + 5*x + 1. Sort y, i, -2 in descending order.
i, y, -2
Let f be (-3)/(-6)*(-5 + -10 + 13). Sort f, -485, 2 in decreasing order.
2, f, -485
Suppose 3*z - 2 = i + 1, 25 = 5*z + 5*i. Suppose