 Let z = -64 - -67. Suppose -4*l + 9 + z = a, -5*l - 5*a = 0. Put t, 7, l in decreasing order.
7, l, t
Suppose 5*m = -2*k - 3, m - 3*k + 6*k = -11. Put m, -3, -59 in descending order.
m, -3, -59
Let l = -1031 - -1029. Let z be 12/18 + (-56)/(-6). Sort -3, z, l in descending order.
z, l, -3
Suppose -10 = -3*k + 13*l - 8*l, 3*l - 13 = -2*k. Sort -2, -5, k, -1 in descending order.
k, -1, -2, -5
Let u = 2.9944 - -0.0056. Sort -0.3, -186, u in descending order.
u, -0.3, -186
Let w be 81/18*(28/(-12) - -3). Sort 0, w, 12, 4 in ascending order.
0, w, 4, 12
Let u = -1.583 + -13.417. Put u, 0.4, -1, -3 in ascending order.
u, -3, -1, 0.4
Let x = -0.2 + 0.1. Let s be ((-6)/4)/(-3*2/(-228)). Let l = -61 - s. Sort -1, l, x in increasing order.
l, -1, x
Suppose -2*j + 3*w = -33, 2*j + 2*w - 19 = 9. Suppose 4*y = -3*d - j, -3*d = -y - 17 + 2. Sort y, 1, 3.
y, 1, 3
Let l = 11.1 - 4.9. Let x = l + -6.7. Let a be (-2)/(-10) - (-14)/30. Sort a, -5, x.
-5, x, a
Suppose -4*c + 9*c = -m - 13, 0 = 2*m + 6. Sort 48, c, 5, 2.
c, 2, 5, 48
Let l = -81.9 - -81.1. Let a = 2 - -1. Sort a, l, -4 in ascending order.
-4, l, a
Suppose 0 = 3*c - 12, 4*x = 2*x - 2*c - 2. Sort -2, 1, 3, x.
x, -2, 1, 3
Suppose -7*r - 4*g = -2*r + 6, 3*r - 2*g = 14. Sort -5, r, 5, -15 in decreasing order.
5, r, -5, -15
Let l = 290 + -2321/8. Put 0.5, l, 3, -5 in descending order.
3, 0.5, l, -5
Let t be (1/(-3) - (-2)/(-3))/(-1). Let v be 2 - (3 + -3 + -1). Sort v, 5, t.
t, v, 5
Let v be 0 - (-1 + 2 + -4). Let j be (9310/76)/49 + (-2)/2*2. Put v, 2, j, -0.4 in increasing order.
-0.4, j, 2, v
Suppose 5*f = -20, -2*z - f + 29 = 41. Sort 0.05, 11/12, 2, z.
z, 0.05, 11/12, 2
Let d be (-25)/15*(-7)/(70/12). Sort -2, -7, -5, d in ascending order.
-7, -5, -2, d
Let y = 161 - 167.7. Let v = y - 0.3. Let u = -4 - -3.9. Sort -2, u, v.
v, -2, u
Let l(z) = 35*z - 183. Let f be l(5). Sort f, -5, 1, 2 in decreasing order.
2, 1, -5, f
Let c be (-19)/(-3)*11/((-77)/(-21)). Suppose 6*d + 17 = -c. Put 0, -4, d in ascending order.
d, -4, 0
Suppose 0 = 6*i - 8 - 4. Suppose -i*j + 12 = 6. Suppose m = -4*x - j*m, 3*m + 20 = x. Sort -3, -2, x in decreasing order.
x, -2, -3
Let b be (11 + (-8 - -2))/(-1). Sort b, 20, 5 in decreasing order.
20, 5, b
Let g be (-22036)/(-84) + 4/6 + 0. Let s = 1838/7 - g. Sort s, -0.3, 10/7 in increasing order.
s, -0.3, 10/7
Let q = 17 - 25. Let u be q/(-4) - (3 - 1). Suppose u = h - 0*h + 3. Sort 5, -5, h in increasing order.
-5, h, 5
Let t = 344 + -271. Sort -1, -1/6, 0.1, t in descending order.
t, 0.1, -1/6, -1
Let k(b) = -3*b**3 - b - 7*b**2 + 4*b**3 + 6*b + 119 - 111. Let n be k(6). Put -4, n, 5 in decreasing order.
5, n, -4
Let z be 1*2/4*-2 - 1. Sort 40, 3/2, z in decreasing order.
40, 3/2, z
Let h(b) = 30*b - 2. Let g be h(1). Let s be 5/(-7) - (-4)/g. Let v = 11.3 - 11. Sort s, -2, v in increasing order.
-2, s, v
Let u be 13/((-52)/8)*2. Suppose -5*d + 6*g + 43 = 2*g, 0 = -2*d + 3*g + 13. Sort 0, d, u in decreasing order.
d, 0, u
Let p = 0.06 - 0.02. Let o = -0.16 - p. Put 1/4, o, 9 in descending order.
9, 1/4, o
Let m = 13 + -13. Put 6, 3, -2, m in descending order.
6, 3, m, -2
Suppose 1893 - 1929 = 9*i. Put -1, i, -19, 1 in decreasing order.
1, -1, i, -19
Suppose -26*z - 13*z = 195. Let k = 4 - 4. Put z, -1, 3, k in decreasing order.
3, k, -1, z
Let n(p) = -p**2 + 11*p + 107. Let h be n(-6). Sort h, 26, 4 in increasing order.
4, h, 26
Let y be (174/(-4))/(3/4). Let c = -57 - y. Sort c, 2, 5, 4 in decreasing order.
5, 4, 2, c
Let c = 7/2 - 4. Let m = 3.1 - 3. Let n = m + 0. Sort c, n, -3.
-3, c, n
Let w be 3/(3/(-7)) - -2. Let b be 3/5 + ((-34)/(-10))/1. Let z be 19/57 - b/3. Put w, z, 3 in increasing order.
w, z, 3
Let r = 1 + -3. Suppose -x = -o + 18 - 11, 0 = -o - 3*x - 5. Sort o, 0, r, 8.
r, 0, o, 8
Let u = 172 + -171.7. Put -2, u, 3, -16 in descending order.
3, u, -2, -16
Let q = -1115 - -1108. Sort 3, q, 4/5, 1/2 in decreasing order.
3, 4/5, 1/2, q
Let y = -2567 + 2607. Sort y, 2/19, -2/15, -4 in decreasing order.
y, 2/19, -2/15, -4
Let u = -26 - -20. Let t be (15 + -12)/(u/8). Put -3, 1, t in descending order.
1, -3, t
Let a = -198 + 195. Sort 8/15, a, 2 in descending order.
2, 8/15, a
Let d = -21.9 - -23. Suppose -4*v + 0*v = 5*a + 139, -2*v = -3*a + 53. Let n = -27 - v. Put n, d, -0.3 in decreasing order.
n, d, -0.3
Suppose 5*h = 40*d - 44*d - 14, 3*h + d = -7. Let z(i) = 11*i + 4. Let u be z(-4). Let t be ((-1)/2)/(4/u). Put 0, t, h in increasing order.
h, 0, t
Let r = -396 + 390. Suppose -b = -4*b + 5*m + 10, 10 = -2*m. Sort b, r, 2.
r, b, 2
Suppose -4*y - 90 = -222. Suppose -36*a = -y*a - 3. Sort a, -5, -1 in ascending order.
-5, -1, a
Let s be (-3)/(-2)*80/15. Suppose -52*o + 15*o + 148 = 0. Sort o, 1, s in decreasing order.
s, o, 1
Let j be (-2)/(-8) - 37/4. Let m be ((-3)/j)/((-2)/402). Let c = 605/9 + m. Put c, 1, 2/5 in decreasing order.
1, 2/5, c
Let z = 1.8 + -2. Let y be 99/(-15)*2/(12/(-75)). Let d = -81 + y. Sort d, z, 2/11 in descending order.
d, 2/11, z
Suppose -3 = -46*l + 45*l, -4 = t - 5*l. Sort -2, 1, -7, t.
-7, -2, 1, t
Let z = -0.48 + 0.494. Let q = z - -1.986. Put 1, 0.2, -2, q in decreasing order.
q, 1, 0.2, -2
Let b(z) = 2*z + 45. Let u be b(-14). Suppose -a = -4*k - 0*a - 16, k - u = -5*a. Sort -5, 0, k, -1 in descending order.
0, -1, k, -5
Suppose -5*i = 4*y + 50, 3*y - 23 = 2*i + 4*y. Let n(l) = -2*l**3 + 4*l**2 + l - 3. Let m be n(3). Let t = m - i. Put 5, 3, t in descending order.
5, 3, t
Suppose o - 4*o + 2*c - 17 = 0, 3*o = -5*c - 10. Sort o, -3, 26 in decreasing order.
26, -3, o
Let n be (-1175)/(-468) - 1/(-4). Let l = n + -33/13. Let q be -3 + 1 + ((-13)/(-65) - -2). Put l, q, -1/6 in increasing order.
-1/6, q, l
Let y = 6 - 3. Let k be y/2 - 6/(-4). Suppose -8 = -249*b + 253*b. Sort b, 2, k.
b, 2, k
Suppose 0 = 3*z + 11 - 2. Let w be 84/16*(-48)/(-9). Let y be (-16)/42*(-21)/w. Sort z, y, -4.
-4, z, y
Let v = 2735 + -2769. Sort v, -20, 0 in descending order.
0, -20, v
Let h(m) = -3*m - 3. Suppose 5*o - 5*s = -5, -5*o - 5*s = 18 + 27. Let z be h(o). Suppose 5*c - 8 = z. Sort 3, 5, c in ascending order.
3, c, 5
Suppose -4*z + 2*j - 26 = -74, -4*j = 5*z - 60. Suppose -4*l - 3*f = -8, -4*l - 4*f + z + 0 = 0. Sort 1, 2, l in increasing order.
l, 1, 2
Suppose -t = 4*r + 2, 5*t - 2*r = -7*r + 35. Suppose -2*o + t = -3*m, 2 + 0 = 2*o + m. Let h = -2 + -1. Sort o, 9, h in ascending order.
h, o, 9
Let h = 72 + -70. Sort h, -6, -4, 4.
-6, -4, h, 4
Suppose 0 = -0*y + y - 2. Suppose 0 = -2*d - 5*n - 17, -3*d = 97*n - 98*n - 17. Put 0.3, y, d in decreasing order.
d, y, 0.3
Let a = -284 + 851/3. Sort 3, -1/6, a, -34/3 in descending order.
3, -1/6, a, -34/3
Let w = 1.2 + -1. Let q = -63 + 43. Let y be -4 + (-85)/q - 0. Put -3, w, y in increasing order.
-3, w, y
Let p = -22 - -24. Suppose -5*o + 35 = 3*s, 0 = -s - 0*o - 3*o + 17. Suppose -s*z = 5*m + 5, -3*z + 3*m = -p*z + 17. Put 0, z, 2 in decreasing order.
2, 0, z
Let h be 4/34 + 61349/2635. Let k = h - 493/20. Sort k, 3, -5, 0.09.
-5, k, 0.09, 3
Let k = -25 + 25. Suppose k = -s - 4 + 1. Sort s, 0, -12.
-12, s, 0
Let o = -0.0506 - -0.9506. Sort o, -5, 7, 1 in descending order.
7, 1, o, -5
Let z = 261 + -263. Let l be (-4)/10 + 3/(-5). Sort 2/9, l, z, -0.3.
z, l, -0.3, 2/9
Suppose 4*k - 4 = 4. Suppose -k*j = 3*m - 2*m - 12, -4*m = j - 13. Suppose -21 = -5*z + 4*h, 4*h - 2 = m*z + 5*h. Sort z, -5, -3 in decreasing order.
z, -3, -5
Suppose 18*j + 56 = -10*j. Sort 18, j, 3.
j, 3, 18
Suppose 0 = -j - 0*j + b + 6, -4*b = j - 21. Let o be (8/2)/(4/1). Let r be o/(-2)*(-1 + j). Sort 1, -5, r in descending order.
1, r, -5
Let g = -4.412 - 0.258. Let u = -0.33 + g. Let c = -34 + 101/3. Sort c, u, -0.5.
u, -0.5, c
Let a = 22 + -12. Let u = 30.32 - -0.68. Let t = u + -33. Put t, -0.5, a in decreasing order.
a, -0.5, t
Suppose 0*n - 6 = -2*n. Let c = -15/134 - 11/201. Sort c, 5, 1, n in ascending order.
c, 1, n, 5
Let f(i) = i**3 - 12*i**2 + 4*i - 24. Let j be f(12). Suppose 0 = 3*r + j - 3. Sort r, -4, 1, -3 in descending order.
1, -3, -4, r
Let i = 0.6 - -1.6. Let g = -2 + i. Let f = 27/2 - 14. Sort g, 0.1, f in descending order.
g, 0.1, f
Suppose -10*k + 15 = -7*k. Put -1, 2, k, -7 in increasing order.
-7, -1, 2, k
Suppose -10 - 4 = -7*m. Sort m, -2, -1, 3 in descending order.
3, m, -1, -2
Let f = -0.1035 + 