Sort 0.5, -2/7, -2/9, v in decreasing order.
v, 0.5, -2/9, -2/7
Let b be (-321)/(-510) - (-12)/(-20). Let x = b - -15/68. Put 9, x, -3 in decreasing order.
9, x, -3
Suppose -5*h - 15 = -2*m, -9*h = -6*h + 4*m + 35. Let t be 3/4 - (-171)/(-36). Sort 2, h, 0, t in ascending order.
h, t, 0, 2
Suppose 2*m + 24 = 5*m. Let h be ((-12)/56)/(6/m). Suppose 0 = r - 6*r - 4*r. Put h, 0.1, r in descending order.
0.1, r, h
Let m = 91 - 91. Sort -3, m, 54 in decreasing order.
54, m, -3
Suppose 7*c + 1 = -6. Let r = -27 + 33.2. Let x = r + -6. Sort -1/5, c, x in decreasing order.
x, -1/5, c
Let w = 767/8 - 771/8. Sort 45, 0.3, w.
w, 0.3, 45
Suppose -14*z = -16*z + 8. Sort z, -23, -2, 3.
-23, -2, 3, z
Let x = 1109 - 1110. Suppose 4*f = 2*f + 26. Suppose -2*u + f = 5. Sort -4, u, x in increasing order.
-4, x, u
Let l(q) = -q**2 - 11*q + 27. Let x be l(-13). Let y be (-5 - x/1)/(-10). Sort 4/3, y, -0.05 in descending order.
4/3, y, -0.05
Suppose -6 = -3*w + w. Let y = -1208 + 1207. Put 33, y, w in ascending order.
y, w, 33
Let o = -1458 + 1465. Sort o, 5, 21, -2 in increasing order.
-2, 5, o, 21
Let x(s) = -6*s - 173. Let l be x(-28). Sort 47, -1, l.
l, -1, 47
Let y be (0 - -6)/(-3)*(-4)/8. Suppose 5*h = -3*p + 5, 0 = p + 3*h - 4*h + 9. Sort y, p, 0.
p, 0, y
Let m be (41 - 39)/(2/(-3)*-1). Suppose 0 = -3*l + 2*i + 15, 0*l - m*l + i + 15 = 0. Sort -5, l, -4 in decreasing order.
l, -4, -5
Suppose 3*a + 20*a = 69. Put 14, a, -2 in descending order.
14, a, -2
Suppose 0*r = -4*r. Suppose -h - 14 + 4 = r. Let j = 850 - 849. Sort -3, j, h.
h, -3, j
Suppose -2*m - 12 = 5*j, 7*m + 2*j - 4 = 4*m. Let q be 6/8*(2 + 2). Suppose -d + 2*d = -m*f + 16, 0 = -f + q. Put d, 1, -1 in ascending order.
-1, 1, d
Let i = 381 - 381.9. Sort 0.3, -1, i, -3 in decreasing order.
0.3, i, -1, -3
Let o = 0.154 - -2.846. Sort o, 0, -0.13 in descending order.
o, 0, -0.13
Let t = -53 - -211/4. Let g be 2 + 37/(-33) + -1. Let k = -107/66 - g. Put t, k, 4 in decreasing order.
4, t, k
Let m(k) = 6*k - 213. Let o be m(36). Put -2, o, -6, 1 in ascending order.
-6, -2, 1, o
Let c = -681.3 - -681. Sort 1, -5, -1/8, c.
-5, c, -1/8, 1
Let m = -19.09 - -19. Let a(k) = -k - 20. Let d be a(-17). Let n = 1 + d. Sort n, m, 2/7.
n, m, 2/7
Let y = -146 - -151. Sort -2, -1, y in ascending order.
-2, -1, y
Let m = -0.1072 + -0.1928. Sort m, 3/17, 4 in descending order.
4, 3/17, m
Let i = -1121 + 1125. Sort 20, i, -3 in decreasing order.
20, i, -3
Let s be 2/(-6) - (-320)/24. Suppose 6*l - 4*a - 8 = 2*l, a - s = -4*l. Suppose 4 = w - 4*k, 5*k + 10 = -0. Put w, l, -1 in descending order.
l, -1, w
Let h be ((-1)/(66/(-6)))/(4/8). Put 9, -0.3, 2/3, h in increasing order.
-0.3, h, 2/3, 9
Suppose -10*n - 113 = -173. Suppose -4*r + r + 72 = 0. Suppose 5*t + y + r = 3*y, 0 = -4*t + 4*y - 24. Sort 1, t, n in ascending order.
t, 1, n
Let g = 1/109 + 55/17767. Let u = -272/4401 - g. Sort 0.5, -5, -2/5, u in ascending order.
-5, -2/5, u, 0.5
Let p = 2.95 - -2.05. Put -4, p, 0.4 in increasing order.
-4, 0.4, p
Let b(m) = 2*m**2 - 12*m + 13. Let q be b(1). Let t = 17 + -24. Let i = 5 + t. Sort i, 0, q.
i, 0, q
Suppose 0 = -3*w + 2*w - 3. Let v be 32/(-12) + (-253)/(-69). Suppose -3*l + 9 = -0*t - 4*t, -3*l = t - 9. Put w, v, l in decreasing order.
l, v, w
Let m(b) = b**2 + 13*b + 19. Let v be m(-11). Let p be (-48)/(-36)*v/1. Put 0, 2, p in ascending order.
p, 0, 2
Let a = 69 + -115. Let x = a - -46. Put -0.4, 0.3, x in decreasing order.
0.3, x, -0.4
Let s = -67 + 35. Sort s, -0.2, 0.3 in increasing order.
s, -0.2, 0.3
Let f(n) = -n**3 - 4*n**2 + n - 3. Let z be f(0). Put 5, -5, z, -1 in ascending order.
-5, z, -1, 5
Suppose -5*r + 3*t = -30, -r + 0*t + 4*t + 23 = 0. Suppose -2*o - r*z = -5, o - z + 4 + 6 = 0. Let b = 0.07 - -0.33. Put o, b, 0.5 in ascending order.
o, b, 0.5
Suppose 0 = -8*k + 9*k + 1. Sort k, -3, -0.1 in decreasing order.
-0.1, k, -3
Suppose 37*d - 120 = 139. Put d, 2, 4, -2 in decreasing order.
d, 4, 2, -2
Let u = 871 + -867. Let d = 23 - 13. Suppose -2*c - d = -2. Sort c, u, -6 in ascending order.
-6, c, u
Let c = 839 + -840. Put c, -2/13, 2/29 in increasing order.
c, -2/13, 2/29
Suppose -2*q = -q. Let k = 8483 + -8485. Sort 3, 4, q, k.
k, q, 3, 4
Let d(r) = -r**3 - 5*r**2 + 10*r + 20. Let v be d(-6). Put 0, -6, -5, v in increasing order.
-6, -5, v, 0
Let v = 4 + 0. Suppose -3*l + 36 = -l. Let z be 320/(-144) + v/l. Put -5, 1, z in descending order.
1, z, -5
Suppose 6 = -4*z + n + 7, 5*z + 4 = -4*n. Suppose z = 6*g - 2*g + 3*c - 13, -4*g - 2*c + 10 = 0. Sort -4, -5, g.
-5, -4, g
Let i be (-16)/352*12/(-3). Let a = -9 + 13. Sort -0.1, i, a in ascending order.
-0.1, i, a
Let u be (-6)/18 + (0 - (-34)/(-24)). Put -3, -0.1, u in decreasing order.
-0.1, u, -3
Suppose 0*z = -11*z + 1133. Let s = 132 - z. Sort -2, s, -1, 2 in descending order.
s, 2, -1, -2
Suppose 211 - 58 = 173*i - 366. Let r = 0 + 4. Sort 6, 1, i, r.
1, i, r, 6
Let f be 1/(((-3)/(-15))/((-14)/(-5))). Sort 1, f, 5 in increasing order.
1, 5, f
Let d be (-2 - (2 + -3))*0. Suppose -2*w = 2*b - 5 + 13, -4*b + 4*w = d. Let h = -1567 - -1568. Put 4, h, b in decreasing order.
4, h, b
Suppose -53*t - 10 = -52*t. Let z(a) = a. Let r be z(-5). Sort t, r, 4 in descending order.
4, r, t
Let w = -32.92 - -0.92. Let d = w + 32. Put -1/8, d, 2/9 in descending order.
2/9, d, -1/8
Let k = 193/252 - 1/63. Let s = k + -17/12. Sort -0.4, 0.3, s in decreasing order.
0.3, -0.4, s
Let n(h) = 12*h - 7. Let r be n(4). Let i = r - 37. Sort i, -1, 5 in decreasing order.
5, i, -1
Let j = 0.2 + -0.27. Let i = j + -4.93. Let z = -19316/13 + 1486. Sort 3, z, i in descending order.
3, z, i
Let l = -234 + 238. Sort -0.4, -5/2, l, 18.
-5/2, -0.4, l, 18
Let b = -5 + 13. Let p = b - 7.7. Let j = 0.3 - p. Put 2/17, j, 2/3 in descending order.
2/3, 2/17, j
Let h = 10.89 + -7.89. Sort 130, h, 0, -2/3 in descending order.
130, h, 0, -2/3
Let u(b) = 11*b + 6. Let o be u(-1). Sort o, 5, -2, 0 in increasing order.
o, -2, 0, 5
Suppose -5*i - 2*l = 14, -i - 14 = -3*l - 1. Let m(p) = -8*p - 11. Let t be m(-2). Sort -5, t, i, 3 in increasing order.
-5, i, 3, t
Let h be (3/2)/(9/12). Let u = 177 - 179. Sort u, h, -4.
-4, u, h
Suppose -n + 3*n = 2. Let a be n/(-4) + (-65)/(-60). Let i = a - 1/3. Put i, -0.2, -4/5 in decreasing order.
i, -0.2, -4/5
Suppose -2*b + 162 = 2*f, 8*f = -2*b + 7*f + 160. Put 4, -2, 3, b in increasing order.
-2, 3, 4, b
Let p = -188 + -35. Sort 1/11, 1, p.
p, 1/11, 1
Let s be -2 + 4 + -11 + 0. Suppose -16*w = w. Put w, 1, s in ascending order.
s, w, 1
Let x = 44/195 + -1/39. Let q be (-145)/126 + (-6)/12. Let r = q + 11/9. Put -1, r, x in decreasing order.
x, r, -1
Let d(f) = -f**3 - 3*f**2 + 4*f + 1. Let y be d(-4). Let u = 9 - 10. Suppose 36*g = 24*g. Put u, g, y in increasing order.
u, g, y
Let p(t) = t**3 + 6*t**2 - 7*t + 3. Let g be p(-7). Let w(s) = -s**3 + 2*s**2 + 5*s - 2. Let l be w(3). Suppose b = l*b - 6. Sort b, 0, g.
0, b, g
Let g(t) = -33*t + 528. Let o be g(16). Sort 85, -5, 1, o in descending order.
85, 1, o, -5
Let d = 1991/798 - -2/399. Put 5, -0.1, -55, d in decreasing order.
5, d, -0.1, -55
Let q(u) = u**3 - 21*u**2 - 23*u + 8. Let l be q(22). Put l, 5, 21 in decreasing order.
21, 5, l
Let q = -0.528 - -0.628. Put -3/2, q, -11 in decreasing order.
q, -3/2, -11
Suppose y = -0*y - 22. Let b = y + 62/3. Put 5, -3, b in decreasing order.
5, b, -3
Let j(r) = r**3 + 16*r**2 + 15*r + 20. Let n be j(-15). Let k = n - 22. Put -1, k, 1 in decreasing order.
1, -1, k
Let p = 0.973 - 1.013. Put -1, p, -13 in decreasing order.
p, -1, -13
Let f = 0.2 + 0. Let b = 2927/2 - 1463. Sort 4/3, f, 1/4, b in decreasing order.
4/3, b, 1/4, f
Let p = -0.12 - -0.01. Let i be ((-184)/48 + 4)*(-4)/(-3). Sort 0.2, i, -3, p in increasing order.
-3, p, 0.2, i
Suppose 54 = 2*s + y, -s + 0*y - y + 25 = 0. Let o = s + -30. Put 2, o, -2 in ascending order.
-2, o, 2
Suppose 3*o = 4*a - 26, 3*o + 2*a + 21 = 5*a. Suppose -67*t = -66*t - 4. Sort o, 5, t, 0 in decreasing order.
5, t, 0, o
Let l be 36/10 - (-13 - (-13 - 4)). Sort 0.1, 2, l, 5 in decreasing order.
5, 2, 0.1, l
Let k(z) = -z**3 + 55*z**2 - 50*z - 221. Let d be k(54). Let r = -1 + 1. Sort r, -23, d in descending order.
r, d, -23
Let w = 0.199 + 80.801. Let q = 85 - w. Put q, -3, -1/4 in decreasing order.
q, -1/4, -3
Let 