t -31, -2, b in decreasing order.
b, -2, -31
Suppose 2*b - 247 - 13 = -4*u, -8 = 2*u. Let g = b + -140. Put -8, g, -5 in increasing order.
-8, -5, g
Suppose 0 = -2*v + 4*z - 14, -24 = -5*v - 5*z + 16. Suppose 5*q - 6*s = -2*s + 23, -3*q = 5*s - 36. Sort -5, q, v in increasing order.
-5, v, q
Let c = 97 - 39. Let t be 100/(-45) - (c/(-18) + 3). Suppose 0 = a - 6*a + 4*s - 16, 4*a + 17 = -s. Sort t, -5, a in ascending order.
-5, a, t
Suppose -22 = -15730*q + 15741*q. Sort 3, 2, 1, -195, q.
-195, q, 1, 2, 3
Let l = 40053 + -40053. Sort 3, -6/29, l, -0.05 in descending order.
3, l, -0.05, -6/29
Let g = -542.8 + 539.8. Sort -2/7, -2, -10, g in decreasing order.
-2/7, -2, g, -10
Let c = 3710 + -3710.4. Sort c, 2.4, -0.04, -5/2.
-5/2, c, -0.04, 2.4
Let z = 0 - -2. Let g = 1666 + -1663. Put 0, g, -8, z in descending order.
g, z, 0, -8
Let m = -10.4342 - -0.4342. Put m, 2.8, 2 in decreasing order.
2.8, 2, m
Let y = 38.433 + -10.433. Put 3.3, y, 4, -0.5 in decreasing order.
y, 4, 3.3, -0.5
Suppose -3*b = 19 - 1. Let g = 11889 - 11891. Put 5, b, -3, g in decreasing order.
5, g, -3, b
Suppose -5*n - 10 = 5*a, 3*n = a + a + 24. Let h be 3/(-4)*(2 + a/5). Sort -0.2, -4, 0, h in decreasing order.
0, -0.2, h, -4
Let c(g) = 77*g**2 - 165*g + 164. Let j be c(1). Put 1, 5, j in increasing order.
1, 5, j
Let i = -2438 + 2440. Sort -1, i, -494 in decreasing order.
i, -1, -494
Let h = 3 + -1. Let c = -274 + 602. Let r = c - 327. Sort r, h, 1.2.
r, 1.2, h
Let r be ((-93)/124)/(-8 - -2). Put 22, -0.5, -2/7, r in ascending order.
-0.5, -2/7, r, 22
Let d = 17.6 + -2.6. Let g = -28.59 + -1157.41. Let f = g - -1185. Put 2/3, f, d in descending order.
d, 2/3, f
Let u be (6 + 18 - 13) + -21. Sort 1, u, -4, -14, 0 in ascending order.
-14, u, -4, 0, 1
Let q = -987.9 - -323.2. Let b = q - -665. Let l = -0.7 + -2.3. Sort b, 1/4, l, 2.
l, 1/4, b, 2
Suppose -5*a + 11 = 2*p, 0 = -3*a - 5*p + 6*p. Let x = 37 + -22. Suppose 4*k + 20 = -3*f, -2*f + 7*f - 3*k - x = 0. Sort 2, a, f in descending order.
2, a, f
Let k = -28.79 - -24.79. Put -135, 0.4, k in descending order.
0.4, k, -135
Let l = -1452 - -1337. Sort l, -3, -5 in descending order.
-3, -5, l
Let z(q) = -q**2 - 2*q + 25. Let d be z(0). Let i = d + -22. Suppose 9 = -5*u + 9. Put u, -1, i, 2 in descending order.
i, 2, u, -1
Suppose -13 - 2 = 3*p. Suppose 4*w = -4*b, -2*w = w + b - 6. Suppose -2*r - 3*r - 4 = -3*d, 5*d = w*r + 12. Put p, -2, d, 1 in decreasing order.
d, 1, -2, p
Let b be 2/(-4) + 176/32. Suppose 2*r + 34 = -2*p, -b*r + 5*p = -0*r + 85. Let y = -15 - r. Put 4, 0, y, 3 in ascending order.
0, y, 3, 4
Let p = 5.827 - -489.073. Let s = -516 + p. Let y = 21 + s. Put -4, y, -2 in increasing order.
-4, -2, y
Let s(h) = 360*h + 2884. Let z be s(-8). Sort 1, -6, z, -1, 8 in descending order.
8, z, 1, -1, -6
Let b(z) = -5*z - 95. Let a be b(-20). Let f = -5103 - -5127. Let o = -11 - -7. Put a, f, o in descending order.
f, a, o
Suppose 3*v - 5*o - 79 = 0, -5*v + 3*o = 32 - 169. Let l be (-4)/(32/v)*(-6)/14. Sort -10, l, 3, 5 in descending order.
5, 3, l, -10
Let r = -2.817 - -2.817. Let p = 2.5 + -3. Let u be (-4)/18 - (-7)/(-9). Put u, r, p, 2/5 in descending order.
2/5, r, p, u
Let p = -2.344 - -2.744. Sort p, 0, 28/9 in ascending order.
0, p, 28/9
Let s(j) = -36*j + 107. Let n be s(3). Suppose -3*y = -2331 + 2328. Sort y, -3, 2, n in decreasing order.
2, y, n, -3
Suppose 5*t - 5*a = 25, -31*a + 4 = 2*t - 27*a. Sort 1, 0, -22, 2, t in decreasing order.
t, 2, 1, 0, -22
Let f(m) = -m**2 + 2. Let g(l) = 2*l**2 + 9*l - 31. Let c(r) = 3*f(r) + g(r). Let d be c(3). Put -2, -5, d in ascending order.
d, -5, -2
Let x be -1 - (-3)/6*(3 + -9). Let r = -16 + 10. Let m = 10 + r. Sort m, -3, 2, x in descending order.
m, 2, -3, x
Let w = 456/23 + -7729/391. Sort 7/2, 16, -1/10, -3, w in decreasing order.
16, 7/2, w, -1/10, -3
Let p = 2600.2 + -2622.2. Let y = 0.6 + -1. Put p, 2, 1/6, y in decreasing order.
2, 1/6, y, p
Let b = -12429 - -12431. Put 0.3, -173, b in descending order.
b, 0.3, -173
Let s = 57.32 + -57. Let q = s - -0.18. Sort q, -0.36, -0.2 in decreasing order.
q, -0.2, -0.36
Let r = 18.5 + -18.8. Let p = 0.1 - 22.1. Let d = 27 + p. Put r, -1/5, 6, d in ascending order.
r, -1/5, d, 6
Let z = 49.06 + -0.06. Let q = -5.46 + 50.46. Let j = z - q. Sort -0.4, j, 2/15 in increasing order.
-0.4, 2/15, j
Let u = 59/290 + 333/145. Sort -0.1, 4, u, -4 in decreasing order.
4, u, -0.1, -4
Suppose 449*r = 415*r - 204. Put -7, r, 5 in decreasing order.
5, r, -7
Let j = 873 + -873.0033. Put j, 3/7, -1 in descending order.
3/7, j, -1
Let k = 76393/22 - 3473. Let m = -12/11 - k. Suppose -8*s - 120 = -136. Put m, s, -4, 4 in ascending order.
-4, m, s, 4
Let h be 3 + ((-1)/2)/(11/924). Let d be ((-65)/h)/(5/3). Sort d, -3/7, 5/4, 0.5 in descending order.
5/4, d, 0.5, -3/7
Let h = 203/5 + -41. Let q = 0.93 + -0.91. Sort q, 9/4, h.
h, q, 9/4
Let x = -463/6 - -157/2. Let g = 6 + -4. Put 4, -11, g, x in decreasing order.
4, g, x, -11
Let f be (-154)/231 - (-8)/(-6). Let w(c) = 3*c - 5. Let y be w(6). Suppose 5*h + y = 2*m, 5 = -h + m + 3. Put 5, h, f, 1 in decreasing order.
5, 1, f, h
Let q(b) = -b**2 - b + 26. Let t be q(9). Let a = t + 191/3. Let s = -1 - -4/5. Put s, -1, a, 3/2 in ascending order.
-1, a, s, 3/2
Suppose -z + 22 = 3*o + 4*z, -2*o = -z - 6. Suppose -7*x + 5*j - 405 = -2*x, 56 = -x - o*j. Let y = 69 + x. Put y, -1, 2 in increasing order.
y, -1, 2
Let w(l) = -8 - 2*l**2 - 3 + 7 + 5*l - 2. Let t be w(3). Let k be (t/(-3)*1)/(-1). Sort 1, k, 0 in ascending order.
k, 0, 1
Suppose -166*p + 136*p + 146 = -304. Sort -28, p, -3, -4 in decreasing order.
p, -3, -4, -28
Let v = -0.4 - 1.6. Let c = 22.6179 + -22.5179. Put 4/7, 5, c, v in ascending order.
v, c, 4/7, 5
Let l = -445 - -2227/5. Let b = 240 - 238.6. Sort b, l, -4 in increasing order.
-4, l, b
Let b be -31 + (-2)/6*-6. Let z = 34 + b. Suppose c - 32 = -3*c - 5*p, z*c - 31 = -4*p. Put -4, 5, c in ascending order.
-4, c, 5
Suppose 2*t + 19 = t. Let d = -22412 + 22410. Sort 0, t, d in decreasing order.
0, d, t
Let b(a) = 36*a - 177. Let u be b(5). Put -3, u, 2, -8, -7 in decreasing order.
u, 2, -3, -7, -8
Let o = 33.1 - 193.1. Let v = 160.024 + o. Let w be (36/54)/((-5)/(-3)). Sort w, -5, v in increasing order.
-5, v, w
Let y = 29 + -33. Put y, 3, -3, 5, 35 in descending order.
35, 5, 3, -3, y
Let m(w) = -3*w**2 + 69*w + 4. Let l be (-2 + 56/32)*-92. Let i be m(l). Suppose -2*y + 6 = -12. Put 2, i, y, -5 in descending order.
y, i, 2, -5
Let w = 60.4 - -2.6. Let f = w + -62. Let l(g) = -g**2 + 7*g + 5. Let o be l(7). Sort -1/3, o, -2/7, f.
-1/3, -2/7, f, o
Let z be -3 - (1/5 - (-78)/(-15)). Sort 5, -9, z, 6 in ascending order.
-9, z, 5, 6
Let h = -2.39 - 1.61. Suppose -822*s = -815*s + 21. Sort h, 3/4, 1, s in decreasing order.
1, 3/4, s, h
Let l = -647 + 652. Suppose c - 4 = -0*c. Let b = -51 - -50. Put 2.5, c, l, b in decreasing order.
l, c, 2.5, b
Let r(f) = 5*f**3 - 321*f**2 + 67*f + 3. Let l be r(64). Sort l, -2, 4, -5.
-5, -2, 4, l
Let c be 1/4 - (0 + 153/(-12)). Suppose -u + c = -5*j, -5*u + 1 + 4 = -5*j. Let f = 428/2007 - -2/223. Sort f, -1/4, j, 0.5 in decreasing order.
0.5, f, -1/4, j
Let d = 10 - 25. Let x be 8/2 + (-5)/((-25)/d). Put 5, 7, x in descending order.
7, 5, x
Let u = 74 + -33. Suppose u = -2*q - 2*p - 15, 0 = -q - 2*p - 26. Let n = q - -12. Sort -3, -4, n in descending order.
-3, -4, n
Suppose 42*n + 26*n + 4*n - 864 = 0. Suppose 3*w - 11 + 2 = 0, -2*c = 2*w + 2. Put 1, c, 0, n in descending order.
n, 1, 0, c
Let b be ((-27)/(9/3))/(23/(-23)). Put 3, b, 13 in increasing order.
3, b, 13
Suppose v = -4, -4*v + 9*v = -2*p + 16. Let j = 2494 - 2487. Suppose j*d - 10*d = -p. Put 1, -2, d, -1 in descending order.
d, 1, -1, -2
Let x = 6.80097 + -0.03497. Let n = -0.134 - x. Let v = 6.5 + n. Sort -2/7, -0.03, v in descending order.
-0.03, -2/7, v
Let g = 12267 - 12263. Sort -142, g, 3 in ascending order.
-142, 3, g
Let o = -29 - 38. Let i = 70 + o. Sort 2/5, -0.6, i in decreasing order.
i, 2/5, -0.6
Let g = 11 - 16. Let w = 6177 + -6181. Let v = 10 - 5. Put 4, w, g, v in decreasing order.
v, 4, w, g
Let t = -4924 - -4929. Sort -6, 1, -1, t, -5 in increasing order.
-6, -5, -1, 1, t
Suppose 25*s + 0 - 28 = -3. Let w = 0.08 + 16.92. Sort -3/5, s, w.
-3/5, s, w
Let s =