). Put d, -0.2, 5/6 in decreasing order.
d, 5/6, -0.2
Let t = 0 - -1. Let b = t + -2. Let y = -0.5016 + 0.0016. Sort -1/3, y, b.
b, y, -1/3
Let z = 926 + -8336/9. Put 2/105, 3, z, 5 in increasing order.
z, 2/105, 3, 5
Let p be 6/(-15) - 336/10. Let v = p - -30. Put v, -3, 0 in descending order.
0, -3, v
Let f be 2/4 - (-2)/12. Let b be -10 + 13 + (-5)/1. Sort b, f, 6 in descending order.
6, f, b
Let s = 2.68 - 7.68. Sort -0.5, -4, s, 1 in increasing order.
s, -4, -0.5, 1
Let j(t) = -t - 5. Let o(h) = -4*h - 14. Let s(n) = -7*j(n) + 2*o(n). Let z be s(4). Sort z, -1, -0.1.
-1, -0.1, z
Let m = 0.0588 - -4.9412. Sort -0.166, -0.1, m, 3 in ascending order.
-0.166, -0.1, 3, m
Let t = 27.03 - 0.03. Let l = -23 + t. Put -2, -0.5, l in descending order.
l, -0.5, -2
Let n be 4/(-22) + 283167973/(-1229844). Let f = 5/15972 + n. Let l = 231 + f. Sort l, 1/2, -3/2.
-3/2, 1/2, l
Let m = -102 + 73. Let t = 27 + m. Let c(i) = -i - 4. Let b be c(-6). Sort t, 0, b in decreasing order.
b, 0, t
Let j be (-45)/12 - 2/8. Let t be (-42)/j + (-3)/(-6). Let s = t + -7. Sort s, -0.2, -1/2 in decreasing order.
s, -0.2, -1/2
Suppose -3*t + 0*t + 3 = 4*i, -5*t - 5*i = 0. Let w be 5*(-1 + (1 - 1)). Let s be 9/2*4/6. Put t, w, s in decreasing order.
s, t, w
Let z(v) = v + 7. Let t be z(-8). Let n = 796 + -799. Sort t, -33, n, 0 in decreasing order.
0, t, n, -33
Let a(y) be the first derivative of 19*y**3/3 - 3*y**2/2 + 2*y - 4. Let o be a(1). Let q be (-8)/(-6)*o/156. Sort 4, 3, q in decreasing order.
4, 3, q
Let n(a) = a**2 + 16*a + 75. Let d be n(-4). Sort 5, 3, d in decreasing order.
d, 5, 3
Let y(b) = b**2 + 5*b + 3. Let t be y(-5). Let x = 17 - 12. Suppose 0 = -107*a + 88*a - 38. Sort a, t, x in ascending order.
a, t, x
Suppose d + 2*z = 10, -2*z = 2*d + 3*z - 25. Let v be ((-3)/18 - 0) + d. Sort -1/3, v, -0.1, 5/3.
-1/3, v, -0.1, 5/3
Suppose -3*m + 16 = w - 1, 5 = w. Let v(c) = 2*c**2 + 4*c - 1. Let h be v(-3). Let z be (-2)/3 + 1/6. Sort h, m, z in decreasing order.
h, m, z
Suppose 33*d + 41*d = -148. Put 5, -78, 2, d in decreasing order.
5, 2, d, -78
Let l be (-4)/(-6) + (-2)/30. Suppose y + 8*v - 5*v = -16, 2*v + 12 = -y. Sort y, 2/7, l in ascending order.
y, 2/7, l
Let b = -2287 - -2317. Sort -4, b, 2 in increasing order.
-4, 2, b
Let q(b) = b + 19. Let n be q(-14). Suppose -n*v = 8*v - 26. Sort v, -14, -1 in increasing order.
-14, -1, v
Let w = 4 - 3.6. Let r = 29 + -29.3. Sort w, 3, r.
r, w, 3
Suppose -180 + 184 = -b. Sort 9.4, b, 0.2, 5 in increasing order.
b, 0.2, 5, 9.4
Suppose 3*i - 2 = 1. Let z = 198 - 201. Let d = 23 + z. Put d, i, 0 in increasing order.
0, i, d
Let j be (18/84)/((-6)/8). Let g = -140 + 143. Sort j, -1.6, g in decreasing order.
g, j, -1.6
Let o be (-354)/8 + (-50)/(-200). Sort 6, o, -2 in ascending order.
o, -2, 6
Let o(s) = 5*s**2 - s. Let g be o(1). Suppose -2*a + 3*a - g = 0. Put 3, a, 5 in increasing order.
3, a, 5
Suppose 0 = 13*i - 306 - 149. Put -3, i, 1 in decreasing order.
i, 1, -3
Let j = 170.5 - 170. Let g = -1/21 - 19/42. Sort j, -0.4, g in decreasing order.
j, -0.4, g
Let m be 2/(-7) + ((-204)/(-28) - 3). Let v be (6/4)/((-203)/(-56) - m). Put 3, v, -3 in ascending order.
v, -3, 3
Suppose k - d - 15 = 0, 3*k + 3*d - 45 = -0*d. Let t be k/(-6)*(-4)/60. Sort t, -4, -2 in decreasing order.
t, -2, -4
Let c(t) = -2*t - 35. Let y be c(-19). Let o(m) = -2*m**2 + 2*m + 1. Let l be o(-1). Sort y, -1, l in decreasing order.
y, -1, l
Let t be (63/(-35))/((-18)/(-60)). Sort 3, 16, t in descending order.
16, 3, t
Let c = -172 + 1206/7. Let l be (-1365)/126 - (-12)/9 - -9. Sort -0.3, l, c, 1/15 in decreasing order.
c, 1/15, -0.3, l
Let l be (22/6)/((-19)/3 + 6). Sort 0, -2, 2, l in descending order.
2, 0, -2, l
Let i be (0 + 88/(-10))*(-25)/(-2). Let o be (i/25 - -3)*1. Put -0.2, 2, -3/2, o in descending order.
2, -0.2, o, -3/2
Let r = -3 - -7. Let i = -8 + r. Suppose 54*o + 3*f + 12 = 57*o, -2*o + 5 = -5*f. Put i, o, 4 in decreasing order.
o, 4, i
Suppose -m - 16 = -4*k, 0*m - 20 = m - 5*k. Put 4, -4, m, 7 in descending order.
7, 4, m, -4
Let l = -0.0427 - -0.0927. Sort l, -22/9, 1/2 in decreasing order.
1/2, l, -22/9
Let i = -193 - -189. Let a = -6 + 8. Put a, 0, i in decreasing order.
a, 0, i
Let g = -1.04 + 0.04. Let w = 0.022 + -0.092. Put 1, g, w in increasing order.
g, w, 1
Let r = -1.289 + 0.289. Sort 1/8, r, -6 in ascending order.
-6, r, 1/8
Suppose 372*w - 36 = 363*w. Sort 38, -1, 5, w in increasing order.
-1, w, 5, 38
Let i be (1 + 2/(-4))*(-102 - -94). Put i, 1, 5 in increasing order.
i, 1, 5
Let k(g) = -g**3 + 10*g**2 + 7. Let a be k(10). Let v be 2*(-4 - -2)/(-4) + -2. Sort a, v, 0.
v, 0, a
Suppose -4*x - 12 = -0. Let p = -5 + 15. Suppose 3*d = -13 + p. Put d, x, 0 in descending order.
0, d, x
Let g = -8 + 3. Let i = g + 6. Let j = -3/145 + 737/580. Put i, j, 1/3 in descending order.
j, i, 1/3
Let o be (3/(-4))/(3/(-2)). Let g = -198 + 355. Let q = 150 - g. Sort q, o, -5 in descending order.
o, -5, q
Let z(q) = q**2 - 38*q + 192. Let n be z(32). Put -4, -33, n, 4 in ascending order.
-33, -4, n, 4
Suppose -3 = -5*m + 7. Let x = 11 + -13. Suppose 0 = -4*f + 4*g + 4, 3*f + 3*g - 3 = -g. Put f, m, x in descending order.
m, f, x
Let h(a) = -a**2 + 5*a - 3. Let s be h(4). Let b(x) = -x**3 - 5*x**2 - 3*x - 1. Let i = 9 + -13. Let j be b(i). Put s, 5, j in ascending order.
j, s, 5
Let c = -731 + 731. Sort -7, 3/5, 0.2, c in decreasing order.
3/5, 0.2, c, -7
Let h(n) = -n**3 + 7*n**2 + 3. Let r be h(7). Suppose 15 - 24 = -r*c. Suppose q + 3*q = 0. Sort q, c, 5 in increasing order.
q, c, 5
Let t be (-2 + 5)/((-3)/(-2)). Let l be ((-3)/2 + 1)*10. Let w(a) = a - 4. Let r be w(8). Sort t, r, l.
l, t, r
Suppose -21 = -91*o + 94*o. Sort 0, 5, o.
o, 0, 5
Let g = 347 - 336. Sort 6/17, -1, g.
-1, 6/17, g
Suppose -6*o = -122 - 100. Let p = 36 - o. Sort p, -4, 4.
-4, p, 4
Let x be -4 - 19/8*-2. Let v = x + -5/4. Sort 3/5, 5, 1/8, v.
v, 1/8, 3/5, 5
Let c(f) = 2*f**2 + 24*f + 4. Let m be c(-12). Let y be -1 + -4 + m + 0 - 3. Suppose t - 4 = -3*t. Put 6, t, y in decreasing order.
6, t, y
Let d = 408 + -405. Suppose 1 = -v - 2. Sort 7, d, v in decreasing order.
7, d, v
Suppose -5*o - 3*s - 145 = -2*s, -s = o + 25. Let l be ((-14)/(-21))/(4/o). Sort l, 3, 10 in descending order.
10, 3, l
Let z = 187.2 + -187.3. Sort -1, 66, z, -4/3 in descending order.
66, z, -1, -4/3
Suppose 2*c - 1 = -c - 5*g, -12 = 3*g. Let d be -3 - (1 - (1 + 3)). Put 5, c, d, -3 in increasing order.
-3, d, 5, c
Let r = -724/5 + 2177/15. Sort r, 3, -0.1, -31 in increasing order.
-31, -0.1, r, 3
Let h = 3136 - 3134. Let x = 17 - 12. Sort -2/13, h, x in descending order.
x, h, -2/13
Suppose -15*h = -17*h + 4. Suppose -4*v + 52 = -0*v. Put h, 5, v in descending order.
v, 5, h
Let d = 2.8 - 3. Let c = 5.3 - 0.3. Suppose -30 = 4*f + 2*f. Sort d, f, c in decreasing order.
c, d, f
Suppose -q - 392 = -8*q. Let y be (-6)/(-14) - (-1040)/q. Sort -3, -4, y in ascending order.
-4, -3, y
Let s be (8/22)/(2/3). Let r = -664 + 660. Put s, -1/2, r, 5 in increasing order.
r, -1/2, s, 5
Suppose 5*n - 2 - 8 = 0. Let a = 6055 + -6060. Sort a, n, -10 in increasing order.
-10, a, n
Suppose 12 = -3*i + 18. Sort 4, 0, i, -1 in descending order.
4, i, 0, -1
Suppose 9*b - 30 = 15*b. Sort -0.3, 3/5, 3, b in decreasing order.
3, 3/5, -0.3, b
Let m(z) = z + 6. Suppose 5*r + 0 + 15 = -5*f, 9 = -4*f - r. Let s be m(f). Sort 1, -4, s, -1 in increasing order.
-4, -1, 1, s
Let z = -0.15 - 2.95. Let p = -0.1 - z. Let v(d) = -d**2 + 11*d - 4. Let s be v(11). Put -0.4, s, p in ascending order.
s, -0.4, p
Let t = -20.6 + 20.9. Let j = 0.03 + 0.97. Sort j, 3, 0.07, t in decreasing order.
3, j, t, 0.07
Let f be (-13)/(-13) + 1/(-1). Suppose 0 = -p - 2*p - 2*i + 2, f = 5*p + 4*i - 4. Put -2, p, -5, 1 in decreasing order.
1, p, -2, -5
Let g(w) = -2*w**2 + 17*w + 86. Let b be g(12). Sort -3, 1/10, -0.2, b in descending order.
b, 1/10, -0.2, -3
Let u(c) = -c**2 + 7*c + 5. Let f be 36/6 - 6/(-3). Let r be u(f). Let p be 2/1 - (1 + -1). Sort p, r, -4 in increasing order.
-4, r, p
Let j(r) = 0 - 3 + 2 + r - 4. Suppose 0 = -4*u - d - 3*d - 4, -2*u + d + 13 = 0. Let n be j(u). Sort 2, 3, n in increasing order.
n, 2, 3
Let m be (-16)/(-6)*9*(-3)/(-18). Let r(o) = o + 8. Let y be r(-9). Sort m, 0, y, -7 in ascending order.
-