 15, 0*g + g - 9 = j*o. Sort p, 5, o in descending order.
5, p, o
Suppose 5*k + 5*a = -11 - 29, 0 = 3*k + a + 16. Suppose 19 - 7 = 3*t. Let b = t + -3. Put b, 2, k in descending order.
2, b, k
Suppose 5*w + 3 = -2*p, 3*p + 2*w - 7*w = 33. Suppose 0 = -o + p*o. Suppose o = -4*k - 1 + 5. Sort k, 0, 5 in increasing order.
0, k, 5
Let q = -2.79 - -3.79. Put -0.5, q, -1 in decreasing order.
q, -0.5, -1
Let v be 60/24*-2*1. Let o be -1 - v/(3 - 2). Put o, 3, -10 in descending order.
o, 3, -10
Suppose -5*b + 4*v + 23 = 0, 4 = 2*b - 5*v - 12. Suppose 0 = -10*a - 40 + 10. Put a, -16, b in decreasing order.
b, a, -16
Let h = -473 - -470. Put h, 0, 11, -4 in decreasing order.
11, 0, h, -4
Let w = -197 + 200. Let v(x) = 2*x - 2. Let n be v(5). Suppose 5*p - 2*g = 3*p - n, g - 3 = 0. Put w, p, -4 in decreasing order.
w, p, -4
Let t(h) = h**3 - 5*h**2 + 4*h - 5. Let z be t(5). Suppose 5*r + c = -11, z + 2 = r + 5*c. Put 0, r, -5, 1 in descending order.
1, 0, r, -5
Let v = -3/20 - -9/10. Let w be 35/14*12/(-105). Sort w, v, 1 in increasing order.
w, v, 1
Suppose 11*l - 72 = 20*l. Put l, 5, 1 in increasing order.
l, 1, 5
Suppose 3*i + 4*w + 11 - 3 = 0, 40 = 5*i - 4*w. Sort i, -228, -2, 1.
-228, -2, 1, i
Let k = -83.2 - -81.2. Put k, -0.05, 0.05 in increasing order.
k, -0.05, 0.05
Let u = -6 - -8. Let w(c) = -10 + c - 3*c**3 + 7 + 4*c**3. Let p be w(0). Put u, p, 3 in descending order.
3, u, p
Let u(y) = y**3 - 5*y**2 + y - 2. Let z be u(5). Suppose z*i = -i + 16. Suppose -3*m + 3*c = 17 + 10, 0 = -m - 4*c + 11. Put -3, i, m in decreasing order.
i, -3, m
Let n be (-14)/4*(2 - 72/28). Let l be (-1 - n/(-3))/((-32)/(-24)). Sort -2/5, 4, l in ascending order.
-2/5, l, 4
Let s = -6.61 - -1.61. Let z = -2.7 - -1.8. Let v = z - -1. Sort v, s, -4.
s, -4, v
Let w = 7.33 - -2.67. Put w, 0.5, 2/5, -1/3 in descending order.
w, 0.5, 2/5, -1/3
Let h(y) = -y**3 + 5*y**2 + 3*y - 12. Let m be h(5). Sort -1, m, 4, 5 in ascending order.
-1, m, 4, 5
Let w = -2.88 + -1.22. Let t = w + 3.9. Put -3, 7, t in ascending order.
-3, t, 7
Let h = 2.1009 + -0.1009. Sort 1/20, h, -0.2, 0 in decreasing order.
h, 1/20, 0, -0.2
Let z = 22 - 9. Let o = 2 + z. Let u be (4/(-24))/(3/o). Put u, 5, 2/9 in increasing order.
u, 2/9, 5
Let r(t) = 46*t - 96. Let j be r(2). Put 2, 26, j in decreasing order.
26, 2, j
Let w = 156 - 152. Let c(l) = -l**2 - 8*l - 13. Let u be c(-6). Put -13, -5, u, w in increasing order.
-13, -5, u, w
Suppose 4*o = 2*s - 4, 5*s = -3*o - 0*o - 3. Let d(x) = -x + 11. Let p be d(9). Suppose 0 = p*z + 2*z - 24. Put 4, z, s in ascending order.
s, 4, z
Let h(l) = -5*l - 44. Let x be 56/(-70) - 41/5*1. Let w be h(x). Sort -4, 4, w, -5 in descending order.
4, w, -4, -5
Let f = -57 + 53. Put -54, 3, f in ascending order.
-54, f, 3
Let r(q) = 2*q**2 - 2*q + 4. Let h be r(1). Let v = -1 + 16. Suppose 3*i + v = 3*y, 0 - 10 = 2*i - y. Sort -3, i, h.
i, -3, h
Let f = 545 - 548. Put 105, -4, f in decreasing order.
105, f, -4
Let q be ((-4 - -2) + 3)/((-12)/(-108)). Let c be 3*12/9 - q. Sort -2, c, -1, -4.
c, -4, -2, -1
Let x be (7/3 - -2)*9*-1. Let b = x - -42. Put b, -4, -2 in decreasing order.
b, -2, -4
Let k = -0.21 + 0.79. Let a = 0.88 - k. Sort a, -2/7, -0.8, 2/7.
-0.8, -2/7, 2/7, a
Let q = -497 + 496.458. Let b = -0.042 - q. Put b, 1/4, -0.4 in descending order.
b, 1/4, -0.4
Let d = -12/115 - 98/1265. Let a(u) = 2*u + 9. Let h be a(-6). Put h, -0.5, d in increasing order.
h, -0.5, d
Let h = -9 + 9.8. Let g = 0.8 - h. Let j = -3 - 2. Put -3/5, j, g in increasing order.
j, -3/5, g
Let u = -153.2 + 158.2. Put -0.05, u, 35 in increasing order.
-0.05, u, 35
Suppose -22 = 5*j - 3*f, 3*j + 31*f + 14 = 33*f. Suppose s = 4*s - 9. Let d(p) = 4*p**3 - p - 1. Let y be d(-1). Put s, y, j in increasing order.
y, j, s
Suppose 213*l = 217*l + 16. Put -14, -5, -2, l in decreasing order.
-2, l, -5, -14
Let i = -115.36 - -119. Let j = 0.36 + i. Sort 2, j, -4 in increasing order.
-4, 2, j
Suppose 24*z - 45*z + 84 = 0. Sort z, -22, -1, 2 in descending order.
z, 2, -1, -22
Let i = -3.769 + 0.069. Let z = 2.7 + i. Sort 0, -0.4, z in decreasing order.
0, -0.4, z
Let z = -0.3 - -71.3. Sort -3, 2, 0.5, z.
-3, 0.5, 2, z
Let k be (-4)/6 + 86/(-6). Let l be 2/(30/(-249)) + 2. Let t = k - l. Put t, 2/17, -2 in ascending order.
-2, t, 2/17
Suppose 13 = 6*f - 2*f - j, -4*j = 3*f + 14. Sort -12, f, 3 in ascending order.
-12, f, 3
Suppose -2*n + 23 = -3*v + 1, -5*n + 29 = -v. Suppose 4*l - o - 2*o = 64, n*l - 80 = 2*o. Let j be (-46)/8 - 4/l. Sort -3, j, -5 in ascending order.
j, -5, -3
Suppose -3 = -3*a + 3. Suppose -k - a = 1. Let x(m) = -2*m**2 + 3. Let o be x(2). Put o, 4, k in ascending order.
o, k, 4
Suppose 4*r - 12 = r, 2*k + 6 = 3*r. Suppose -k*n - 5*d = -31 - 1, -3*d = -3*n. Put -6, n, -4 in descending order.
n, -4, -6
Suppose -4*u = 8, 77*x - 79*x + 3*u = 0. Let c = -11.14 - -0.14. Sort -2/15, -6/5, x, c.
c, x, -6/5, -2/15
Let j = 35 - 40. Let q = -8 - j. Sort q, 8, -1 in decreasing order.
8, -1, q
Let t be 2*(-3)/(-3) - 2. Suppose 2*n + 4 + 4 = t. Let y = 2 - 1. Sort 5, y, n.
n, y, 5
Suppose -k + 2*y = 13, -5*k + 5*y - 142 = -102. Put k, 0, 62 in decreasing order.
62, 0, k
Let t be (-20)/(-25)*5/2. Let l(a) = -a**3 + 22*a**2 + 21*a + 54. Let w be l(23). Put w, t, 0 in decreasing order.
w, t, 0
Suppose 2*z = 5*z. Let x = -26 - -58. Let o = -29 + x. Put z, -1, o in increasing order.
-1, z, o
Let m = -11.8 - -10.8. Let s = 21.22 - 21. Let q = s + -0.42. Put 6, m, q in ascending order.
m, q, 6
Suppose 35*v = -14*v - 2352. Sort 0.4, v, 0.7 in descending order.
0.7, 0.4, v
Let x(d) = -d**3 - 5*d**2 + 7*d. Let g be x(-6). Let c = 139 + -139.1. Sort c, -1, g in ascending order.
g, -1, c
Let o = 43.053 - 43. Let f = -0.053 + o. Put f, -0.2, 4, 5/3 in decreasing order.
4, 5/3, f, -0.2
Let q(x) = -2*x**3 - x**2. Let p be q(-1). Let t be (4 + -3)*(2 + -3). Sort t, -2, p.
-2, t, p
Let s be (-6)/(-45)*-3 - (-864)/135. Sort 5, 11, s in ascending order.
5, s, 11
Let p be (55/(-10) + 6)*(-2)/4. Put -2.8, -2, -5, p in increasing order.
-5, -2.8, -2, p
Let s = -9.8 + 2. Let u = s - -1.8. Sort 0.2, 2/7, 1, u.
u, 0.2, 2/7, 1
Let j = -56 - -56. Put 17, -4, j in increasing order.
-4, j, 17
Let c be ((-63)/6)/7 - 4/(-6). Let f = 13/12 + c. Put f, 2, -4 in increasing order.
-4, f, 2
Suppose -2 = 2*v, 5*q + 0*v = -5*v. Suppose 8*b = -3*x + 3*b + 37, x = 4*b + q. Put -5, 2, -3, x in ascending order.
-5, -3, 2, x
Let r = 551 + -554. Sort 3, r, 7, -1 in decreasing order.
7, 3, -1, r
Suppose 0 = 3*h - 4*c, -2*h + c - 4*c = 0. Sort -4, h, 6, 9.
-4, h, 6, 9
Suppose -61*k - 100 = -81*k. Sort 3, 2, k in increasing order.
2, 3, k
Let y be (-33)/(-11)*8/(-6). Let q be 2 + (0 + 16)/y. Sort -1, -3, q in ascending order.
-3, q, -1
Let v be -1*(-12)/3 - 4. Let n be (6/(-12) + 0)*10. Sort n, v, 3, -1 in decreasing order.
3, v, -1, n
Let t be (-4)/((-30)/3*(-12)/(-150)). Let c = -0.11 + 3.11. Sort t, c, -3 in increasing order.
-3, c, t
Suppose 0 = 5*a - 15*a + 20. Sort 91, 1, a in decreasing order.
91, a, 1
Let t = -1/92 - -195/1012. Let o = -0.16 - -0.25. Let f = 5.09 - o. Put t, 2, f in increasing order.
t, 2, f
Let u = 1.5 - 1.9. Let c = 0 - -2.1. Let h = c - 2. Sort 0, h, u in increasing order.
u, 0, h
Let r = -1/311 - -314/933. Let a = -6 + 4. Put a, 1, r in decreasing order.
1, r, a
Suppose 0 = 3*a + 3, t - a = -0*t + 2. Let d be (4/(-268))/(t/3). Let c = d + -52/335. Sort -2, -2/7, c in ascending order.
-2, -2/7, c
Let t = -0.38 + 0.3. Let d = -54 + 55. Let f = -5 + d. Sort t, f, -1/2 in increasing order.
f, -1/2, t
Suppose -2*s + 4*k = -12, 0 = -4*s + 2*k + 45 - 15. Put 4, s, 3 in increasing order.
3, 4, s
Let d(c) = c**3 + 2*c**2 - 10*c - 10. Let w be d(-4). Let z(b) = b**3 - 5*b**2 - 6*b - 4. Let v be z(6). Put 3, w, v in descending order.
3, w, v
Let i be -5 + (-9)/(-45) + (-1)/5. Put i, -23, 2, 1 in descending order.
2, 1, i, -23
Let r = 31 + -30.85. Let w = r - -3.25. Let s = 3.1 - w. Sort s, 3, -4.
-4, s, 3
Let h = -46 - -45.6. Sort -25, h, 5 in decreasing order.
5, h, -25
Let g = -109/102 - 9/34. Let l be (-8)/(-3) - 2/3. Sort -5, l, g in descending order.
l, g, -5
Let f = 816 + -817. Sort f, 13/11, -0.02.
f, -0.02, 13/11
Let r = -14.2 + 14. Let q = 16 + -2. Let f = q + -16. Sort r, f, -5 in descending order.
r, f, -5
Let a 