/7, 3, f in increasing order.
f, -1/7, 3
Let v be (24/(-10))/(2/(-5)). Let x be (-84)/(-8)*(-4)/v. Suppose 0 = u + 5*a - 5, 0 = -4*u - 0*a + a - 1. Put 1, x, u in ascending order.
x, u, 1
Suppose 0 = 3*o - 33 - 33. Suppose u + 5*s - o = 0, 0 = u - 4*s + 25 - 2. Put 4, -1, 3, u in descending order.
4, 3, -1, u
Suppose 3*r - 96 = -g, 4*r + 2*g = -r + 159. Let k be (-6870)/r - (-6)/33. Let l be (-72)/k - 1/2. Sort -3, 0, l in decreasing order.
0, l, -3
Let g = -0.1334 + -3.8666. Sort g, -5, 1.5, 2.
-5, g, 1.5, 2
Suppose 2*j - 9 = 5*j. Let m = 151/21 - 22/3. Sort 0, m, j in increasing order.
j, m, 0
Let y = -0.89 + 0.49. Let o = 17572/35 - 502. Put y, o, -2 in ascending order.
-2, y, o
Let q = -2.8 - 1.2. Put 3, -0.01, -0.3, q in descending order.
3, -0.01, -0.3, q
Let d be (-7)/14 + 3*34/12. Put 2/11, d, -0.1 in descending order.
d, 2/11, -0.1
Let h = 1 - 3. Let x be (82/(-32) - h)*-12. Let v = x + -7. Sort v, 2, -3 in increasing order.
-3, v, 2
Let j be (-1436)/12 + 3*1/(-3). Let t = 123 + j. Let d = -3 + 7. Sort t, 4/7, d in descending order.
d, t, 4/7
Suppose -15 = 5*o + 5. Let x = -59 + 33. Let a be (-18)/14 + x/(-91). Put o, 5, a in decreasing order.
5, a, o
Let s = -30.6 - -30.575. Sort s, -1, -0.4 in descending order.
s, -0.4, -1
Suppose 3*v + 12 = -0*v. Let j be (1 - 0) + (0 - (-35)/(-25)). Sort j, v, 1.1 in descending order.
1.1, j, v
Let s be 3 + -4*-2*(-2)/(-16). Suppose 0 = -x + 5*m + 2, -4*m = 2*x + s + 6. Sort x, -1, 2, -4 in decreasing order.
2, -1, x, -4
Suppose -6*f + 12 = -3*f + 5*i, 0 = 3*i. Let q be 80/12 - 2/(-6). Let d be 18/(3 + -1) + -4. Put q, f, d in descending order.
q, d, f
Let p = 7 + -5. Let c = p + -4. Let t be 5/(((-2)/4)/((-15)/(-30))). Sort t, -3, c.
t, -3, c
Let c = 16593 + -16640. Suppose -7 = 5*d - 2. Sort d, 0.3, c in descending order.
0.3, d, c
Let x = 992 + -992. Suppose 2*z + 3*q - 1 = 0, -3*z + 7 = -3*q - 2. Put -8, x, z in decreasing order.
z, x, -8
Let q be (-16)/(-345) + 24/(-180). Let h be ((-2)/5)/(-1)*6/3. Sort 2, -1.2, q, h in increasing order.
-1.2, q, h, 2
Let d = 1766 - 736. Let z = d + -1025.03. Let w = 0.03 + z. Sort w, 2/3, -1/2 in increasing order.
-1/2, 2/3, w
Let n be (-2)/3*(-36)/8. Suppose n - 2 = r. Let l(w) = -w**2 + 10*w - 13. Let d be l(9). Put d, r, -1 in increasing order.
d, -1, r
Let g(j) = -j**2 + 10*j + 139. Let w be g(18). Sort w, 9, 6 in ascending order.
w, 6, 9
Let a = -6 - -8. Suppose 3*r + 101*j - 105*j - 1 = 0, -5*r - 9 = -4*j. Sort 5, r, a in increasing order.
r, a, 5
Let b(o) = -o**2 + 42*o - 224. Let d be b(36). Put -2, d, 5, 3 in increasing order.
d, -2, 3, 5
Let s = -43.36 - -44. Let v = 6.64 - s. Sort v, -2, -1/5, 1 in increasing order.
-2, -1/5, 1, v
Let o be ((-6)/2)/((225/(-9))/25). Put 9, 2, o, 0 in descending order.
9, o, 2, 0
Let d = 26 + -30. Let k(v) = -9*v - 8. Let x be k(d). Put -0.3, -0.4, -2/15, x in ascending order.
-0.4, -0.3, -2/15, x
Let t be -3*(2 - (-8)/(-12)). Let r = -4 - t. Put 10, -3, r in descending order.
10, r, -3
Let l be ((253/(-22))/23)/(2/32). Let p = -2 + 3. Put p, l, -3 in descending order.
p, -3, l
Let j(u) be the third derivative of u**4/12 - 11*u**3/3 - 7*u**2. Let l be j(14). Sort l, -5, 1 in descending order.
l, 1, -5
Suppose 5*o + 140 = -5*u, -3*o = -0*o - 3*u + 60. Let s = 28 + o. Sort -4, s, -3 in descending order.
s, -3, -4
Suppose j + 2*n = 3*n + 6, -42 = -4*j - 2*n. Put j, -2, -3 in descending order.
j, -2, -3
Let p(v) = -v - 7. Let b be p(-9). Suppose 0 = -2*x + 3*s - 6, -b*s - s = -4*x. Sort 5, x, -13.
-13, x, 5
Let y be 2*(2/(-30) + 0). Let p be 732/(-244) - ((-31)/11 - 0). Put 1, y, p, -4 in descending order.
1, y, p, -4
Let c = -20 - -30. Put 2/21, 4/5, c, 0.1 in increasing order.
2/21, 0.1, 4/5, c
Let o = -413 - -416. Sort -3, o, -2, 4.
-3, -2, o, 4
Suppose 4*b = -0*b + 48. Suppose 0 = 3*a - 9 + b. Sort 5, -4, a in increasing order.
-4, a, 5
Let s = -1043.8 + 1044. Put -2/5, -0.12, s, 4 in ascending order.
-2/5, -0.12, s, 4
Let s = 67.7 + -73. Let p = s + -0.7. Sort p, -0.4, -1/4.
p, -0.4, -1/4
Let b be 40 - -1 - (4 - 3). Suppose b = s + 6. Let q be (-9 - -12) + s/(-14). Sort 5, q, -2/19 in decreasing order.
5, q, -2/19
Let x = -41 + 42. Let t = 102 + -98. Put -3, t, x, 15 in descending order.
15, t, x, -3
Suppose 52*k = 48*k - 16. Sort 1, -1, -10, k in increasing order.
-10, k, -1, 1
Let l = -3.04 + 7.04. Let y = 0.24 + 0.06. Let h = -0.08 - 1.22. Put y, l, h in ascending order.
h, y, l
Let s = 4 + -4.5. Let a = s + -4.5. Let k be -11 + 6 + -5 + 7. Put k, a, -4 in descending order.
k, -4, a
Let t = -0.025 - 0.485. Let z = 0.61 + t. Sort -1, z, 1/5 in increasing order.
-1, z, 1/5
Let l = 363.6 + -364. Put l, -5/6, -3, 0.1 in ascending order.
-3, -5/6, l, 0.1
Let t = -163 - -222. Sort -5, t, -2 in decreasing order.
t, -2, -5
Let t = 1563 - 1564. Sort -3, t, -186, 1 in decreasing order.
1, t, -3, -186
Let i = -1092 + 1095. Put -4, 0, i, -108 in ascending order.
-108, -4, 0, i
Let h be (-7)/(-2) - 1/(-2). Suppose -q + h*g = 4*q - 10, -8 = -3*q + 2*g. Let i be -3*(0 - (-6)/(-9)). Put i, 3, q in descending order.
q, 3, i
Let p = -3625.99 + 3720. Let q = 94 - p. Sort -2, -0.2, q in decreasing order.
q, -0.2, -2
Suppose -27 = -15*d + 6*d. Let x be 26/(-78) - 5/d. Sort x, -9, -1 in ascending order.
-9, x, -1
Let d = 144 + -142. Let t = -11 + 11.5. Sort -1/2, t, d.
-1/2, t, d
Let w = -0.01 - 0.04. Let i = 6 - 5.92. Let n = i + 0.12. Sort w, n, -4 in decreasing order.
n, w, -4
Let y be (1 + -2)/(13/(-299)). Suppose -5*b - 295 = 4*j, 55 + y = -j + 3*b. Sort -4, j, 0 in ascending order.
j, -4, 0
Let d be (0 - 1) + (-10 - -1). Let c(v) = -v**3 - 9*v**2 + 12*v + 15. Let t be c(d). Let h be (4 + -3)*t/(-1). Put h, -2, 1 in decreasing order.
h, 1, -2
Let j be (40/(-50))/((-2)/350). Suppose -2*h + j = 3*h. Suppose -2 = -c - k, 2*k + 3*k = 4*c + h. Sort c, 5, 21 in increasing order.
c, 5, 21
Let n be 4/10*((-175)/(-14) + 0). Sort -2/3, n, -3/4, -1/6 in decreasing order.
n, -1/6, -2/3, -3/4
Suppose -10*a = -25*a + 15. Suppose 4*k = -5*b, -k + 0*b + b = 0. Sort -3, a, k in decreasing order.
a, k, -3
Let x = 77.5 - 77. Sort -2/9, -0.07, -3, x in descending order.
x, -0.07, -2/9, -3
Let u = 22 + -23. Suppose -80 = -0*n + n. Let l be ((-24)/n)/((-2)/(-5)). Put u, 4, l in increasing order.
u, l, 4
Let v = -2268 + 11406/5. Put -3, 1/3, v in increasing order.
-3, 1/3, v
Let d = -1512 - -1518. Put d, -0.2, 0.16, -5 in increasing order.
-5, -0.2, 0.16, d
Let p = -534/7 + 76. Let g = -2/175 - -8/75. Let z be 21/14*8/(-6). Put z, g, p in descending order.
g, p, z
Let d = 748 - 729. Sort -5, -3/4, d in ascending order.
-5, -3/4, d
Let a be (4/1*12/(-16))/(-1). Suppose 4*v + h - 31 = 0, 0 = -4*v - v - 4*h + 36. Let s = v + -2. Put s, 0, a in ascending order.
0, a, s
Suppose 0 = -3*i + 5*x + 35, 2*i - 5*x - 18 = -3*x. Let o = i - 7. Let n = -118 + 125. Put o, 4, n in decreasing order.
n, 4, o
Let u be -1*6/(-18) + 7/(-3). Let l be u/(-1) + (-5 - -6). Put -1, l, 5 in decreasing order.
5, l, -1
Let c = -61/130 + 7/26. Put c, 4, -34/7 in decreasing order.
4, c, -34/7
Suppose -25*f + 12*f + 52 = 0. Sort 3, -14, f in descending order.
f, 3, -14
Let k = 1565 + -1564.057. Let q = 0.057 + k. Sort q, 1/2, 2.
1/2, q, 2
Suppose -5*o + h = 22, 5*o - 5*h + 6*h + 18 = 0. Sort o, -11, -3 in decreasing order.
-3, o, -11
Suppose 34*r - 6 = 28. Sort -5, r, -1/2, 1/6 in ascending order.
-5, -1/2, 1/6, r
Suppose -118 = -3*o - 88. Put -1, -24, o in descending order.
o, -1, -24
Let q be 10/40 + (-34)/8. Suppose -6*m + 2*m = -n + 19, 5*n + 10 = -m. Sort 4, q, n in descending order.
4, n, q
Let q = -15 + 17. Suppose m = q*m. Suppose m = 9*b - 10*b. Put 4, 1, b in descending order.
4, 1, b
Suppose 0 = 5*k - 67 + 52. Put -5, -16, -3, k in decreasing order.
k, -3, -5, -16
Suppose -23*u - 4*y = -26*u + 14, -y + 19 = 3*u. Let n be (0 + 1/1)*4. Suppose 0 = n*d + d. Sort u, d, 5 in descending order.
u, 5, d
Let h be (10 + -58)*(-9 - -8). Sort -5, 2, h in decreasing order.
h, 2, -5
Suppose -5*k + 10*k - 11 = 4*d, -2*k = 2. Let g be 16/(-40) - 964/(-10). Let y = g + -98. Sort y, d, 5 in descending order.
5, y, d
Let g be 25/50*(-1 + (-183)/(-3)). Put -2, g, -3 in decreasing order.
g, -2, -3
Let z = 139.95 + -142. Let n = z + 1.05. Sort -4, n, 8 in increasing order.
-4, n, 8
Let u