creasing order.
w, 2, 1
Let n be 3/165*-11 + (-62)/(-10). Put n, 9, 5 in decreasing order.
9, n, 5
Suppose 2*f - 4*f - 5*j = 7, -2*j - 2 = 0. Put -2, 0, 11, f, 7 in ascending order.
-2, f, 0, 7, 11
Let f be (-3)/(-6) + (-7)/14. Let d = -788 - -810. Put d, f, -3/2 in descending order.
d, f, -3/2
Let q be -3 - -1 - (-3)/6. Let o be 15/(135/(-36)) - (2 - 1)*-1. Suppose 3*y + 2 = y. Put 4, y, q, o in ascending order.
o, q, y, 4
Let o = -2525 + 2519. Sort o, 4/5, 2/9, 0.3 in increasing order.
o, 2/9, 0.3, 4/5
Let c be 25/((-4025)/69) - (-11)/(-7). Put 1, -2/19, c, 12, -1 in descending order.
12, 1, -2/19, -1, c
Suppose 5*g + 15 = 5*q, 5*q - q + g = 27. Let u be 11/(44/(-16)) + q. Put u, 3, 0, -2 in descending order.
3, u, 0, -2
Let k(x) = -2*x**2 - 42*x - 3. Suppose 5*p + 4*i = -100, -4*p + 2*i - 80 = i. Let a be k(p). Suppose 20*r - 8 - 12 = 0. Put -2, r, a in increasing order.
-2, r, a
Let r(u) = -7*u + 37. Let s be r(5). Let w be 4/(-4) + -32 + 0. Let p = w - -32. Sort s, -4, p in decreasing order.
s, p, -4
Let d = 175867 - 175871. Let t = -0.3 - -0.29. Put 0.5, d, t in decreasing order.
0.5, t, d
Let k(h) = -h - 7. Let c be k(-5). Suppose 56*j = -46*j - 21*j + 3*j. Sort 5, 2, j, c in ascending order.
c, j, 2, 5
Let s be (1/1)/(-36 - -35). Let b(f) = 7*f + 16. Let d(n) = -n - 1. Let x(c) = s*b(c) - 6*d(c). Let y be x(-9). Sort 2, y, -5.
-5, y, 2
Let m = -3 + 10. Let h = -19949 + 19951. Let k(n) = -n - 5. Let p be k(0). Sort 5, m, p, h in descending order.
m, 5, h, p
Suppose 0 = 3*n - 2*n + 1. Suppose -2*y + 6*y = -3*d + 2, 3*y + d = -1. Let t be ((-3)/(-6))/(20/(-16) - y). Put n, 4, 3, t in descending order.
4, 3, n, t
Suppose -74*m - 17280 = -110*m. Let f = 483 - m. Put -6, f, 2, 0 in descending order.
f, 2, 0, -6
Let a = 11 - 7. Let o = 111.9 + -117. Let b = o - -2.1. Sort -0.1, b, a.
b, -0.1, a
Let n = 7628 - 7623. Put -3, n, -54 in decreasing order.
n, -3, -54
Suppose -3*o + k + 22 = 9, 5*o + 4*k = -1. Suppose 0 = 10*s + 31*s - 13*s + 728. Sort 0, s, o in descending order.
o, 0, s
Suppose -6 = h - 4*h. Let i(w) = -820*w - 4. Let n be i(0). Let x = -29 + 30. Put x, h, n in decreasing order.
h, x, n
Let l be (-27)/(-21) + -1 - (-38)/14. Put 73, -5, -9, l in decreasing order.
73, l, -5, -9
Suppose 3*k + 7 = 8*o - 13*o, 0 = 2*o - k + 5. Let a be ((-11)/o)/((-1)/(-2)). Sort -3, a, 1, 4 in increasing order.
-3, 1, 4, a
Let t = -57.78 - -47.78. Sort 5, t, -1, 0.4 in ascending order.
t, -1, 0.4, 5
Let g = -54 - 62. Let t = 120 + g. Sort t, 0.1, -5 in descending order.
t, 0.1, -5
Let p be (-20)/(-150)*(0 + -2). Let h = 2399 + -40785/17. Sort p, 0.5, h in decreasing order.
0.5, h, p
Suppose 23*v + 45 = 32*v. Let s = 52.6 - 52.5. Sort v, s, -2, -1/4 in increasing order.
-2, -1/4, s, v
Let m = -0.0793 + -0.0207. Sort 4, -37, -0.3, m.
-37, -0.3, m, 4
Let c be (-63)/(-6)*(-298)/1043. Sort -3/2, -0.1, -0.04, c in decreasing order.
-0.04, -0.1, -3/2, c
Let h be (-10)/6*6/4. Let w = -182 + 185. Suppose w*q - 5*c - 16 = 0, 2*c = 4*q - 0*c - 12. Put h, 1/3, q in descending order.
q, 1/3, h
Let n be 38/(-570) + (-649)/(-2310). Sort -3/5, n, -0.1, 0 in decreasing order.
n, 0, -0.1, -3/5
Let f = -2510.7 - -2545.7. Put -0.1, -4, 3, f in decreasing order.
f, 3, -0.1, -4
Suppose -1210 + 298 = 114*m. Sort 3, 4, m in increasing order.
m, 3, 4
Let d be (0 - (-20)/(-9)) + (-896)/(-4032). Put 3, -1, d, 60 in descending order.
60, 3, -1, d
Suppose -3*l = -2*p + 36, -3*p - 3*l - 56 = -140. Sort -7, -2, p in increasing order.
-7, -2, p
Let d = -99.09 - -98. Let w = d - 13.91. Let i = -0.08 + -0.12. Put 5, i, w in decreasing order.
5, i, w
Let t = 0.04 + 1.96. Let u = -11699.3 + 11699. Put u, -15, t in ascending order.
-15, u, t
Let m = -10193 + 10188. Sort 6, m, -1, 3 in decreasing order.
6, 3, -1, m
Let a = 110 + -110. Let h = 867 - 872. Sort a, -3, h, 1/6 in decreasing order.
1/6, a, -3, h
Let p(v) = -2*v + 2. Let u be p(0). Let d be u/3 + 5/(-3). Suppose -4*f = i + 4 - 6, 5*i = -3*f - 7. Sort i, 0, d in ascending order.
i, d, 0
Let n = 493 + -256. Suppose 13*p = 335 + n. Sort 4, p, -4 in descending order.
p, 4, -4
Suppose 0 = -0*f + f + 5*y + 13, -2*f = 4*y + 8. Let r be (-165)/220*(-3 - -1 - 10). Sort r, f, 0, 1 in descending order.
r, f, 1, 0
Let o = 54 - -20. Let a = -72 + o. Put a, -3, -1, -2 in increasing order.
-3, -2, -1, a
Let d = 4765/11 - 433. Sort -2, d, 5 in increasing order.
-2, d, 5
Let f be 1/(-8*13/(-520)). Put f, 2, 73 in decreasing order.
73, f, 2
Let p = -562 - -557. Let x be -1 + (54/(-20))/(-3). Let b = -0.1 + 0.22. Put x, b, p in decreasing order.
b, x, p
Let p be (18168/864 - 1/36) + -6. Suppose -2 + 11 = -3*s. Sort s, 0, -2, p.
s, -2, 0, p
Suppose 38 + 467 = -101*l. Sort l, -38, 6 in ascending order.
-38, l, 6
Let p = -15.2433 + -0.0767. Let w = -15.37 - p. Let l = -4.7 + 0.7. Sort w, l, -0.1, -2/11 in descending order.
w, -0.1, -2/11, l
Let z = -185/22 + 381/44. Put 3/4, -0.5, z, -7/15, 1/7 in decreasing order.
3/4, z, 1/7, -7/15, -0.5
Let h = 8011 + -8009. Sort -5, h, -117.
-117, -5, h
Suppose 0 = 6*t - 10*t + 4*f - 24, -5*t - 3*f = 6. Put 5, 1, -49, t, 3 in increasing order.
-49, t, 1, 3, 5
Suppose -3*c + 6 = 0, 7*o - 3*c - 6 = 4*o. Let f be (-4 - -2)/(o + (-123)/30). Let s = f - 22. Put -3, 5, s in decreasing order.
5, s, -3
Let y = 4023.124 + -4043. Let k = 20 + y. Let w = -0.424 + k. Sort -4/7, 5, w, 0 in increasing order.
-4/7, w, 0, 5
Let p = 3967 + -3970. Sort 11, p, -22, 0.
-22, p, 0, 11
Let h = 44.1 - 44.5. Suppose 0 = -v - 3 + 5. Suppose k - o = -3, -k + 0*o - 1 = -v*o. Sort k, 0.04, h in ascending order.
k, h, 0.04
Let l = -10.8 - -6.3. Let w = -0.5 + l. Sort -7, -0.3, -1, w.
-7, w, -1, -0.3
Let w be (-126)/(-10) - 2/(-5). Let h(y) = y**2 - 19*y + 1. Let s be h(w). Let q = 48 + s. Put -4, 1, q in increasing order.
q, -4, 1
Let v = 10386 + -10454. Sort v, 1/4, -9 in decreasing order.
1/4, -9, v
Let v be (121/(-2178))/(32/18 + -2). Sort 5, 3.17, v, -4 in descending order.
5, 3.17, v, -4
Let s be (-13 - -8 - 0) + 6. Put 2, 2/7, 0.8, s, -2 in ascending order.
-2, 2/7, 0.8, s, 2
Suppose 9*d + 84 = 75. Let y(a) = 4*a - 14. Let j be y(4). Put 5, j, -5, d in increasing order.
-5, d, j, 5
Let d = 0.9 + -1. Let f = 1.139 - -2.861. Put 0.3, d, f in decreasing order.
f, 0.3, d
Let c be (1*(-10 + 5) - -7)/(-2). Sort 30, c, -5 in descending order.
30, c, -5
Let f = 215517 - 215516.9. Let o be -20*1/(-9) - 2. Put 0, f, 0.017, o in decreasing order.
o, f, 0.017, 0
Let o = -31 + -11. Let r = -39 - o. Suppose -r*s + 12 = 3*n, 3*s = 4*s - n. Sort 5, -11, s, 1 in descending order.
5, s, 1, -11
Let m = -983/420 + 26/15. Let w = 6/7 + m. Let v = 34/37 - 300/407. Sort 2/15, v, w.
2/15, v, w
Let q = 261 - 264. Let z(a) = a**3 + 21*a**2 - 19*a + 72. Let b be z(-22). Put b, q, 2, 5 in descending order.
b, 5, 2, q
Let o = 4 - 13. Let a be (2/(-6))/(1/o). Let d = 124871 - 124871. Sort a, 2, d, -8.
-8, d, 2, a
Let g(w) = w**3 - 4*w**2 + 27*w - 180. Let k be g(5). Sort -4, 0, k, -31 in decreasing order.
0, -4, k, -31
Suppose 0 = 20*i - 28*i + 8. Suppose 3*v + 28 = -b, 2*v - b + 26 = 2*b. Sort i, v, 2, 4 in increasing order.
v, i, 2, 4
Let u = 1131 + -1128. Sort -5, 0.1, u, 1/3 in decreasing order.
u, 1/3, 0.1, -5
Let q = 44.93 - 46.93. Sort 0.13, q, 0.04, -4, 3 in decreasing order.
3, 0.13, 0.04, q, -4
Let r = -3926 - -3924. Put -5, r, 3, 240, 5 in descending order.
240, 5, 3, r, -5
Let z = -1.5392 + -1.4608. Sort 0, -0.02, z, -1/3, -8 in decreasing order.
0, -0.02, -1/3, z, -8
Let u = -591 - -590.7. Let z = -36 - -33. Put z, u, 0.3 in decreasing order.
0.3, u, z
Let r be 4/(-30) - (290/75 + -5). Let w = 10 + -5. Sort r, -14, w in descending order.
w, r, -14
Let h be (-99)/(-132) - (1 + 50/(-104)). Let d = 0.11 - -0.19. Let y = 47.5 + -47. Put -4, h, d, y in ascending order.
-4, h, d, y
Let s(m) = m**2 - 3*m - 7. Let i be s(5). Let n(c) = -42*c - 248. Let r be (-1)/((-3)/24)*(-9)/12. Let l be n(r). Sort l, i, -2, -3.
-3, -2, i, l
Let t = 3077 + -3077.3. Sort 10/13, 4, t in increasing order.
t, 10/13, 4
Let s be ((-2)/4)/(1/66). Let a(p) = -p**2 + 3*p - 2. Let f be a(3). Suppose 0 = -30*d + 35*d + 5*u - 10, 5*d - 40 = 5*u. Sort d, s, f in ascending order.
s, f, d
Let p be (-1)/3 + (-856)/(-12)*4. Let w = 286 - p. Sort 31, 4, w in decreasing order.
31, 4, w
Let