 4*m = 13. Let x(b) = 2*b**2 + 3*b - 6. Let f be x(h). Let a be (2/(-24))/(f/(-9)). Sort 1, a, 0.01 in ascending order.
0.01, a, 1
Let c be 17/1180*(-224)/28. Let d = c - 145628/885. Let n = 166 + d. Put -0.3, n, 1 in descending order.
n, 1, -0.3
Let d be -1 + (-7)/((-28)/8). Suppose 5*o + 2*j + d = 29, -2*o + 4*j = 8. Let g be 8/36 + (-86)/(-18). Put -2, o, g in increasing order.
-2, o, g
Let o = 3 + -1.4. Let i = -4.4 - o. Let d = 454/5 - 1811/20. Sort -0.2, i, d in decreasing order.
d, -0.2, i
Let n = 1.54 + -1.18. Let j = n + 0.04. Put j, -0.5, 3, -1/3 in increasing order.
-0.5, -1/3, j, 3
Let v = -283 + 283. Let m = -0.0054 + 3.0054. Sort v, 0.2, m, -7 in increasing order.
-7, v, 0.2, m
Let i = -6903 + 6559. Sort -4, 1, i in descending order.
1, -4, i
Let a = 0.4 - 3.4. Let z be -12 + (-17)/((-833)/602). Let y = 16 - 18. Sort z, y, a, -0.2 in ascending order.
a, y, -0.2, z
Let f = -1.6 + -0.4. Let s = 144822 + -144817. Sort s, 0, f, -9 in increasing order.
-9, f, 0, s
Let z be -3*3/(-3) + 4 + 3. Suppose -z - 6 = -4*o. Let f be (2/2)/(o/40*2). Put 4, f, -5, 0 in decreasing order.
f, 4, 0, -5
Let n = 588 + -413. Let q be ((-1)/10*-49)/((-10)/n). Let u = q + 85. Put u, -1/3, 0.02 in decreasing order.
0.02, -1/3, u
Suppose 12*j = 22*j + 30. Put 0, -8, j, -32, -4 in decreasing order.
0, j, -4, -8, -32
Suppose -11*t + 142 = -3*a - 16*t, 5*a = -2*t - 281. Sort -4, 2, a in descending order.
2, -4, a
Let m = -89 + 89.9. Let b = 0.145 + -0.645. Sort m, -4/3, 2/3, b in ascending order.
-4/3, b, 2/3, m
Let z(a) = -a - 8. Let s be z(-12). Let l = 8105 + -8105. Sort 2, l, 7, s in descending order.
7, s, 2, l
Let a = -1.8789 - -0.8789. Sort -2/3, -2/13, a in descending order.
-2/13, -2/3, a
Suppose 6*y - 4*o = -6, -y - 33 = -2*y - 5*o. Sort -4, 4, y, 1996 in ascending order.
-4, y, 4, 1996
Let z = 2 - 0. Suppose y = -2*f - 119, -5*y = -0*f - 4*f - 259. Let w = f - -53. Sort -1, w, z in ascending order.
w, -1, z
Suppose -v + 4*v = 3. Suppose 541*k - 259 - 52 = -1934. Sort -7, v, -4, k in decreasing order.
v, k, -4, -7
Suppose -210 = 37*z + 25*z - 24. Let k(i) = -i**3 + 6*i**2 - 2*i - 6. Let s be k(5). Let u = -7 + s. Put u, 11, z in increasing order.
z, u, 11
Let h(r) = 5*r - 16. Let q be h(3). Let z be (-440)/(-240) - q/6. Put z, -5, 132 in decreasing order.
132, z, -5
Let d = 324 - 322.3. Let a = 0.3 + d. Sort 5, a, -1.7 in ascending order.
-1.7, a, 5
Let f = 0.19352 - 0.29352. Let s = 12/5 - 3. Sort f, s, 0.051 in ascending order.
s, f, 0.051
Let b(f) = -f**3 + 6*f**2 - 8*f + 16. Let s be b(5). Suppose 0 = -6*q + q - 2*v, -q + 4*v = 0. Let h = 51 + -41. Put s, q, h in decreasing order.
h, s, q
Let i = 17 + -52. Let r be 1/10 - 49/i. Let v = 46 + -59. Put r, 2, v in increasing order.
v, r, 2
Let b = -149 + 156. Suppose l = -4*j + 40, 2*j - 5*l + b*l = 26. Sort j, 2, -3, 0 in decreasing order.
j, 2, 0, -3
Let m = 7 - 12. Let t be 37/5 + 2/m. Let x = 4937 + -4937. Sort x, t, -3, -5 in descending order.
t, x, -3, -5
Suppose -2*p - p + h = -9, 3*h = p + 5. Suppose 4*i + p = 6*i. Suppose 4*j + f = -5, -f = i*j - 0*j + 5. Sort j, 1, -3, 3/7 in descending order.
1, 3/7, j, -3
Let j = 1.289 - -0.271. Let x = -1.46 + j. Put 10/9, x, -4, -1 in ascending order.
-4, -1, x, 10/9
Let x(o) = 175*o - 1928. Let t be x(11). Sort -0.2, 1.1, t, 5 in increasing order.
t, -0.2, 1.1, 5
Let h = -3101 + 3101. Let f = 2.2 + -4.6. Let l = f - -2.18. Sort l, 0.3, h in descending order.
0.3, h, l
Let c = 26.98 + -26.48. Sort c, -642, 5.
-642, c, 5
Let o = 35.228 - 7.737. Let g = o - 0.591. Let m = g - 27. Put 2/3, -0.5, -1/4, m in ascending order.
-0.5, -1/4, m, 2/3
Let k = -5204 + 5212. Suppose -2*u = 0, 4*u = -4*o + 2045 - 457. Let c = 9927/25 - o. Sort c, -1, k in ascending order.
-1, c, k
Let f(s) = -s**2 - 43*s + 1356. Let z be f(-64). Sort 127, 2, z.
2, z, 127
Let r = -3.7 - -4. Let q be (-1179 + 35)/26 - -42. Put q, 5, -2/41, r in ascending order.
q, -2/41, r, 5
Let b = -3.91 + -0.09. Let v = 2541 - 78769/31. Sort b, v, -2, 2 in descending order.
2, v, -2, b
Let h = -0.48 + -12.52. Let s = -17 - h. Let l = 50 - 101/2. Put s, -9, l, 1 in ascending order.
-9, s, l, 1
Let a(l) = 36*l + 108. Let m be a(-7). Let y be (-234)/m + (-6)/(-16). Sort y, 0, -1.
-1, 0, y
Suppose -10*b + 142 + 178 = 0. Let z = 44 - b. Let y = -11 + z. Put y, 2, 5 in decreasing order.
5, 2, y
Let q be (11/(-22))/((-1)/6). Let k = 16705 - 16645. Sort q, k, 0.
0, q, k
Let r = 15318 + -15140. Sort 2, r, 2/15, 2/11.
2/15, 2/11, 2, r
Let f be (10/(-4) + 11)*36/102. Put -5, 2/7, -18, -0.4, f in decreasing order.
f, 2/7, -0.4, -5, -18
Let a = -23387 - -818801/35. Let v = 54/7 - a. Let o = -190/3 - -62. Put o, v, 4/3 in increasing order.
o, v, 4/3
Let o(z) = -z**2 + 8*z - 7. Let c be o(2). Suppose 0 = -i - 6*t + c*t + 12, 2*i - 2*t - 4 = 0. Sort i, -3, -5 in increasing order.
-5, -3, i
Let h = -69 + 73. Let b be h/(-5) + (-18)/15. Sort b, 3, 4, -5.
-5, b, 3, 4
Let b = 6935 + -6936. Sort 2357, b, -3 in decreasing order.
2357, b, -3
Let x = 14603 + -14618. Sort x, 3, -27, 1 in increasing order.
-27, x, 1, 3
Suppose 2*w - 2*p = 2*p, 2*w = -p. Suppose 0 = -20*x + 12*x + 8. Suppose -2*r - 6 = -f + 7, -r = f - x. Sort r, 1, 3, w in decreasing order.
3, 1, w, r
Let q be 2/(-5)*(-210)/28. Suppose -12 = q*r - 2*v, -6*r - 20 = -r + 3*v. Sort 7, r, -5 in ascending order.
-5, r, 7
Let a = -0.0376 - 199.9624. Let j = a + 200. Sort -8/9, j, 5, -5/3 in increasing order.
-5/3, -8/9, j, 5
Let g = 1436.8 + -1482. Let l = -2.8 - 42.2. Let t = g - l. Sort -0.4, t, -5 in decreasing order.
t, -0.4, -5
Let i(n) = -356*n**2 + 4*n - 4. Let o be i(1). Let l = o - -362. Put -5, 1, l, 12 in increasing order.
-5, 1, l, 12
Let f be (15/(-21) - -2) + ((-88)/28)/11. Suppose 2*x + 11 = 4*x - z, 21 = 5*x + 4*z. Suppose x*g + 24 + 46 = 0. Sort 4, g, 3, f in decreasing order.
4, 3, f, g
Let q = -28721 - -28722. Put -14, q, -273 in ascending order.
-273, -14, q
Let t be (-24)/4*(-2)/4. Let j(g) = -g**2 - 328*g + 3382. Let q be j(10). Sort q, t, -3, -4 in ascending order.
-4, -3, q, t
Let d = -796 + 791. Let y = -19/6 - -10/3. Sort d, 0.4, -3, y in decreasing order.
0.4, y, -3, d
Let m = -6.3 - -2.3. Let w = 35 + -31. Let f = 103/91 + -11/13. Put f, w, m in descending order.
w, f, m
Let j(c) = 7*c**2 + 4*c - 6. Let t be j(5). Let x be (3/9)/(3/t). Sort x, 0.2, -5, -2/9.
-5, -2/9, 0.2, x
Let o = 14529 + -14546. Sort 39, 2, 5, -5, o.
o, -5, 2, 5, 39
Let s = -34.1 - -29.1. Let f = -1593/1708 + 1/244. Let m = 3/7 + f. Sort s, 5, m, 0.3.
s, m, 0.3, 5
Let r = 70 + -33. Suppose -58 = -4*o + 5*v + r, 5*o - 4*v = 130. Let c = o + -27. Sort -1/4, c, 0.
-1/4, 0, c
Let h = -1/6 + 13/42. Let k = 153.192 - -2.508. Let o = k - 156. Put o, 1/4, 1.3, h in descending order.
1.3, 1/4, h, o
Let l be -7 + 396/56 + (-342)/84. Sort -207, 0, l, -1 in decreasing order.
0, -1, l, -207
Let d(t) = -5*t**2 + 34*t + 301. Let s be d(12). Put -4, 0, s, 3, 2 in descending order.
3, 2, 0, -4, s
Let k = 0.4 - -1.6. Let i = -2380.2 + 2380. Sort -1/3, k, -2/25, i in descending order.
k, -2/25, i, -1/3
Let q = 6 + -11. Suppose -30*j + 28*j - 4*n + 30 = 0, 3*j + 21 = 5*n. Let u = 20.1 + -20. Sort j, q, u in decreasing order.
j, u, q
Suppose 5*f + 91 = -n + 166, -n + f + 69 = 0. Put n, 2/7, 0.1, -1/3, 0.4 in decreasing order.
n, 0.4, 2/7, 0.1, -1/3
Let k(s) = 3*s**2 - 24*s + 15. Let i(x) = -19 + 6 + 6 + 8. Let t(u) = 4*i(u) - k(u). Let m be t(7). Put 1, m, 5 in increasing order.
1, 5, m
Let o be (-36)/(-135)*15/(-6). Let r = -213 - -212.7. Sort 12/7, -3/7, o, r in increasing order.
o, -3/7, r, 12/7
Suppose -12*k - 62 + 512 = 78*k. Put -2, -6, -4, k, 3 in ascending order.
-6, -4, -2, 3, k
Let y = 19940 - 19917. Put y, 56, -1 in increasing order.
-1, y, 56
Suppose 3330*n - 3335*n - 4*i = -71, n + 4*i = 27. Put 3, 29, n, 2 in descending order.
29, n, 3, 2
Suppose 4*c - 4*o - 16 = 0, 8 = 4*c + 4*o - 0*o. Let b be ((-5)/c)/(1/3). Let n(i) = 603*i**2 - 1804*i - 14. Let m be n(3). Put m, b, -2 in increasing order.
b, -2, m
Let u = -10612 - -10605. Let f(l) = -3*l - 2. Let r be f(-2). Sort -1/7, u, -4, r in ascending order.
u, -4, -1/7, r
Let m be 16/24 - (-4)/(-6). Let v be (10 - 3)/(2 + -1). Let u be ((-1)/v + (-102)/119)/1. Sort u, m, 2, 4 in descending order.
4, 2, m, u
Let c(v) = 19*v**3