reasing order.
x, 0, -1/7, y
Let k be 32/(-30) - (-2)/5. Let q = 219504 + -219507. Put k, 11/3, q, -1/3 in descending order.
11/3, -1/3, k, q
Suppose 3*c - 13*q + 8*q + 18 = 0, -3*c = q. Let r be 3 + (-22)/8 - c/12. Put r, 2, 33/8 in decreasing order.
33/8, 2, r
Let b(c) = 324*c**2 - 9*c + 13. Let g be b(9). Let q = 2251097/86 - g. Let z = 2/43 - q. Sort 3, z, 0.3 in decreasing order.
3, z, 0.3
Suppose 0 = 2*z + 5*s - 1036, -4*z + s = -1736 - 380. Sort 1, -4, 4, z.
-4, 1, 4, z
Let s be -9 + -1 - (-5 - 468/27). Sort s, 0.8, 4 in ascending order.
0.8, 4, s
Suppose 2*u = -d + 4*d - 11, -5*d = 2*u + 3. Let j(a) = -a - 15. Let o be j(-6). Put o, u, 4 in descending order.
4, u, o
Let d = 2872 - 2871. Let p be (-1 - -1) + (-7)/(-42). Put d, -0.02, p, -0.4 in increasing order.
-0.4, -0.02, p, d
Let d = 3.2 + 0.8. Let q = -136 + -60. Let u = 187 + q. Put 5/3, d, u, 0.2 in decreasing order.
d, 5/3, 0.2, u
Suppose -4*y - 3*d + 118 = 103, 0 = 2*y + 4*d - 20. Sort -4, y, 5, -608, 3 in increasing order.
-608, -4, y, 3, 5
Let z = -869 + 869.4. Sort -4, z, -0.01, -36, 2/13 in descending order.
z, 2/13, -0.01, -4, -36
Let o = -1 + 5. Let q = 111/7 + -1013/63. Sort q, o, -1.
-1, q, o
Let w = -0.4 + 3.4. Let q = -326 - -331. Let j = -2.851 + -0.149. Put w, j, q in ascending order.
j, w, q
Let d = -2237 + 2237. Put -2/9, d, 7.64 in increasing order.
-2/9, d, 7.64
Suppose 4*x + 28 = 2*k, 4*x + 15*k = 13*k - 12. Sort 3, x, -117, 5 in increasing order.
-117, x, 3, 5
Let b = -13781 - -13745. Sort 31, b, -0.5 in decreasing order.
31, -0.5, b
Let k = 4.518 + -5.518. Put k, 6, -48 in decreasing order.
6, k, -48
Let c = -18466 + 18465. Put 2, c, -4, -5, -6 in decreasing order.
2, c, -4, -5, -6
Let u = 0 - 0.1. Let p = -0.0408 - 0.3592. Put u, -1, p, -4 in increasing order.
-4, -1, p, u
Let h = -5011 - -34990/7. Sort 0.5, 19, h in increasing order.
h, 0.5, 19
Suppose 5*y = 4*c - 117 - 101, -3*c + 148 = 4*y. Suppose -5*z = -4*h - c, 3*h + 41 = 4*z - 0*h. Put -5, z, 1, 4 in increasing order.
-5, 1, 4, z
Let o = -378 + 380. Let h = -516.65 + 517. Sort 0.1, h, 1/2, o in increasing order.
0.1, h, 1/2, o
Suppose b + 980 - 978 = 0. Put b, 3, -12, -5 in descending order.
3, b, -5, -12
Let p = 2149 - 2149. Sort 9, -7, p in decreasing order.
9, p, -7
Suppose -117*f = -107*f + 30. Let t = 117 + -112. Sort t, 9, f in descending order.
9, t, f
Suppose 12*u - 14*u = -g + 5, g + 10 = -u. Put -4, -0.281, u in descending order.
-0.281, -4, u
Let u = -3.45 + 0.45. Let v = -6 + u. Let l = 0.03 + 0.07. Put -0.5, v, l in increasing order.
v, -0.5, l
Let u(f) = -f + 8. Let m be ((-20)/(-8) + 1)/(1/2). Let o be u(m). Suppose 0 = -12*i + 11*i - 1. Put i, o, -3 in increasing order.
-3, i, o
Let d = -0.00463 + 0.25463. Sort 4, -2, d, -18/5.
-18/5, -2, d, 4
Let x = -41232/19 - -2170. Sort -2, -1, -0.3, x, -1/13.
-2, -1, -0.3, x, -1/13
Let x = -378 + 375. Suppose -l - 12 = -2*l. Suppose 3*q - l = -0*q. Put 0, x, -32, q in ascending order.
-32, x, 0, q
Suppose 55*m - 2*n = 51*m + 2, -3*m + 3 = -n. Put 0, m, -89, -9 in decreasing order.
m, 0, -9, -89
Suppose -5*i = -2*q + 3*q - 3, 5*q - 4*i - 15 = 0. Let f be (-4 - -1)*(-2)/q. Let a = 388 + -391. Sort a, f, -2/9 in descending order.
f, -2/9, a
Let t = -2179 + 427. Let z be (6/(-39) - t/(-104)) + -3. Sort 3, 2, z in decreasing order.
3, 2, z
Let b be 123/(-210) + (-138)/(-460). Sort -3, b, -204 in ascending order.
-204, -3, b
Let h = -811.33839 + 0.03839. Let q = 811 + h. Let i(j) = -j**3 + 4*j**2 + 6*j - 6. Let v be i(5). Sort v, q, -5, 0 in decreasing order.
0, q, v, -5
Let h = 2570 - 2575. Sort 8, h, 5, -8 in increasing order.
-8, h, 5, 8
Let n = 1282 + -1265. Suppose 3*r = 5*m - 2 - 13, 5 = 2*m - r. Put n, -0.5, m in decreasing order.
n, m, -0.5
Let w = -6.641 - -11.641. Let z = 0.058 - -23.942. Sort w, z, -5, -2/11 in increasing order.
-5, -2/11, w, z
Let y = -4792/3 - -1598. Sort -5, -0.3, y, 3.88.
-5, -0.3, y, 3.88
Let f = 114 - 111. Suppose 4 = -r - 5*y, 5*r + f*y + 62 = -2. Let w = r + 16. Sort 2/11, 53, w in descending order.
53, w, 2/11
Let r = -30497.2 - -30497. Put -57, r, 2/7, 26 in decreasing order.
26, 2/7, r, -57
Let q = -8.65 - -8.65. Let g = -3 + 4. Sort q, g, -2, -5.
-5, -2, q, g
Let r = 15322 - 15328. Put 5, 1, -45, -2, r in descending order.
5, 1, -2, r, -45
Suppose -2*c - 12*c - 1512 = 0. Let v = -431/4 - c. Let i = 3.2 - 3. Put i, v, -3, 2 in decreasing order.
2, v, i, -3
Let z = -28.76 + 28.76. Put z, 0.057, -3 in ascending order.
-3, z, 0.057
Let t(l) = -l**3 + 3*l**2 - l + 2. Let m = -30 + 30. Let o be t(m). Suppose -o*g - 3*k + 2*k + 6 = 0, -16 = -3*g - 5*k. Sort -5, 4, -9, g in descending order.
4, g, -5, -9
Suppose -b - 3*b - 24 = 2*t, 2 = -t. Let x = 26107/5 - 5222. Put b, -32, x, 0 in decreasing order.
0, x, b, -32
Suppose 1100 = -210*f - 10*f. Sort 1, 19, 3, 4, f.
f, 1, 3, 4, 19
Let s be (-5 - (-50)/15)/((-5)/6). Suppose -2*z - 4*u + 16 = 0, 2*u = -s*z + 4 + 6. Sort 3, z, -4 in ascending order.
-4, z, 3
Let f(i) = -2*i**3 - 18*i**2 - 2*i + 15. Suppose -5 - 3 = -2*h, 0 = z - h + 13. Let n be f(z). Let s be 6/n*5/10. Sort s, -0.3, -0.1 in ascending order.
-0.3, -0.1, s
Let h(o) = 8*o + 0*o - 6*o + 9 + o. Let x be h(-3). Let s(a) = 4*a**2 + 46*a - 68. Let b be s(-13). Sort b, -2, x in ascending order.
-2, x, b
Let x(m) = -10*m**2 - 140*m - 3. Let j be x(-14). Let n = -9 - -11. Let v = 6 - n. Put -1, j, 0, v in ascending order.
j, -1, 0, v
Let d = -2484 + 2485. Put 20, d, 2, -49, 0 in ascending order.
-49, 0, d, 2, 20
Let x be 10*(-11)/(506/(-69)). Sort -3, x, 0.044 in ascending order.
-3, 0.044, x
Let v = -288 + 332. Suppose 0 = v*z - 47*z - 6. Put 2/23, z, -13 in descending order.
2/23, z, -13
Let i = -1111 - -1126. Suppose 3*v + 32 = -v + 4*x, -v + 5*x = 28. Sort i, -4, v, 1.
-4, v, 1, i
Suppose -5*d + 226 = -t + 231, 0 = 3*d + 5*t - 25. Sort 1, d, -144, 3 in decreasing order.
3, 1, d, -144
Let r be -123*2/2 - -2. Let f = 124 + r. Put -8, 0, 4, f in increasing order.
-8, 0, f, 4
Suppose 30 = 5*m - 5*d, -5*m + 0*m = 3*d + 10. Let g = -23.3 + 23. Sort m, 32, g in ascending order.
g, m, 32
Let i = 4.91 - 2.91. Let k = 13 + -12.6. Put -1.3, k, -0.2, i in descending order.
i, k, -0.2, -1.3
Let o be (-1)/((-12)/(-90) + (-5)/(-75)). Sort 23, 0.5, o.
o, 0.5, 23
Let t be (4/(-3))/(2041/(-156) - -13). Sort -2, -4, 25, t in ascending order.
-4, -2, t, 25
Suppose -q - q = -4. Suppose -379 = -441*u + 1385. Sort q, u, 0 in decreasing order.
u, q, 0
Let q be (-4)/(-14)*581/(-1577). Put -1/4, -4, -2/53, q in ascending order.
-4, -1/4, q, -2/53
Let f = 178 + -144. Let j = f + -37. Suppose 3*z + 6 = 4*l + 35, -l - 14 = -3*z. Sort j, z, -4, 1 in descending order.
z, 1, j, -4
Let l = 46.608 - 18.608. Sort -2, 2, l, 2/25.
-2, 2/25, 2, l
Let o = 8.52 - 8.82. Sort -1.53, 0, -1/2, o in ascending order.
-1.53, -1/2, o, 0
Suppose -36*g = -39*g + 12. Suppose 3*q - 44 = n - 121, 101 = -g*q + n. Put q, -3, 0 in descending order.
0, -3, q
Let p = 2 + -8. Let j = -984 + 990. Let l = j + p. Put l, 3/4, -1/4, 0.1 in descending order.
3/4, 0.1, l, -1/4
Let p = -89 + 157. Suppose 0*k + 3*k + 2*x + p = 0, -2*k - 24 = -4*x. Put -5, 3, k in decreasing order.
3, -5, k
Let i = -4428.3 - -4428. Let d = 4 - 2. Sort -14, -2, d, i.
-14, -2, i, d
Let o be 2 - 0/2 - (-1393)/(-199). Sort 6, 25, o in descending order.
25, 6, o
Let z(r) = r**3 + 11*r**2 + 16*r - 5. Let b be z(-9). Let v be 5/(-12) - b/(-78). Let c = 55/3 - 18. Put c, -9, v in increasing order.
-9, v, c
Let t be 3/(-9) + -9 + (-493)/(-51). Sort -0.032, t, -0.1, 2/11, 0.5.
-0.1, -0.032, 2/11, t, 0.5
Let s = -838 + 861. Sort s, -3, -1, 0.
-3, -1, 0, s
Let y be 22 + (-8)/(4/2). Suppose 0 = -y*n + 9*n + 54. Suppose n*a - 10*a = -12. Sort a, -3, 5, 0 in decreasing order.
5, a, 0, -3
Let v = -29 + 166. Suppose 0 = -55*f + 89*f - 136. Sort -2, v, 3, f.
-2, 3, f, v
Let s = -0.0882 - 0.3118. Let u = -0.53 + 3.53. Put u, s, -13.8 in descending order.
u, s, -13.8
Let q = 19.6 - 20.1. Let z be (2 - -4)/((1 - 0)*-2). Sort 12, z, q in decreasing order.
12, q, z
Let i = 13510 - 13509.68. Put 1/47, 0, i in descending order.
i, 1/47, 0
Suppose 5 = -3*w - 34. Suppose 8 = -4*n, 0 = -4*v - 55*n + 57*n + 8. Suppose q - 4 = -9. Put 2, w, q, v in descending order.
2, v, q, w
Let c be (22 - -23)*(-1 + 2)*-1. Sort 3, c, 4,