 a = 277 + -278. Sort x, a, -4, -0.2 in decreasing order.
-0.2, x, a, -4
Let l = 42.977 - 43. Let u = l - 1.977. Put 6/7, 0.4, 2, u in decreasing order.
2, 6/7, 0.4, u
Let g = -69/5 + 611/45. Let x = 4.3 + 0.7. Let r = -4 + 3.7. Sort r, g, x in descending order.
x, g, r
Let a be -5 + 9 + (-2 - 0). Sort -3, a, 57, 5 in decreasing order.
57, 5, a, -3
Let v(a) = -a**2 + 3*a + 10. Let c be v(5). Suppose 3*s - 3*d - 4 = 5, c = 3*s + 2*d + 16. Let p(t) = t**2 + 19*t + 1. Let r be p(-19). Sort 5, s, r.
s, r, 5
Let t be 10/(-5)*(-5 + 3). Suppose -64 = 4*g - 2*q, -4*g - q - 36 = t*q. Let h be -6 + 6 - (-6)/g. Sort 1, 3/7, h in descending order.
1, 3/7, h
Let n be (-12)/(1/1*(5 - 4)). Sort n, -1/8, -3 in ascending order.
n, -3, -1/8
Let h be (-15)/(-3)*1 - 2. Suppose -4 - 2 = -2*q - 3*l, 0 = -3*q + 3*l - 21. Sort 5, -4, h, q in descending order.
5, h, q, -4
Suppose -64*z - 6 = -67*z. Put -2, z, -3, 1 in descending order.
z, 1, -2, -3
Let y = -76.1 - -72.1. Put -3, -0.1, y, -0.5 in ascending order.
y, -3, -0.5, -0.1
Suppose 6*p + 18 - 12 = 0. Sort p, -4, -45, 1.
-45, -4, p, 1
Let m = -1386.72 + 1387. Sort -4, m, 0.31 in decreasing order.
0.31, m, -4
Let c = -16/155 + 14479/620. Let x = c - 24. Sort -5, x, 0.5.
-5, x, 0.5
Let b be (-75)/(-18) - 10/60. Suppose 22 - 5 = 5*d - s, -3*s = -d + 9. Put d, b, -4, 0 in descending order.
b, d, 0, -4
Let q(k) = -k**3 - 5*k**2 - 2*k - 6. Let m be q(-5). Let g be (-36)/((-16)/(-4)) + 4. Sort g, m, 5 in descending order.
5, m, g
Let p be ((-12)/(-8))/(3*6/36). Sort -13, p, 1, -5 in ascending order.
-13, -5, 1, p
Suppose 0 = 3*j - j - 10. Suppose -7 = -3*n + j. Put n, -0.5, 10 in ascending order.
-0.5, n, 10
Let l = 446.8 - 447. Put -1, -4/5, 0, l in decreasing order.
0, l, -4/5, -1
Let r = -2.17 - -2.19. Sort 6, -3, r.
-3, r, 6
Let r = -40 - -41.23. Let i = r - 2.21. Let b = -0.02 + i. Put b, 0, 4 in decreasing order.
4, 0, b
Suppose -2*b = b + 9. Let l be 10/(-25) - (-33)/(-5). Let j be (-21)/33 + 64/(-176). Put l, b, j in descending order.
j, b, l
Let t = -8 + 6. Let c = 15 - 15.14. Put c, t, 0.5 in decreasing order.
0.5, c, t
Let m(k) = -18*k + 284. Let b be m(16). Sort 3, -3, b, 22 in descending order.
22, 3, -3, b
Let k be (-3)/(-5) + (-184)/230. Suppose 15 = z + 5*r, -z = -2*r + 6*r - 11. Put -1/9, z, k in ascending order.
z, k, -1/9
Let x be 0 + -3 - (6/3 - 8). Let v be (2 - 25/(-15)) + 2/6. Sort x, v, -9 in descending order.
v, x, -9
Let h = 1.243 - 0.643. Let m = 6 - 2. Let u = -8 + m. Sort -3, h, u in descending order.
h, -3, u
Let q(x) = -8*x + 9. Let a(o) = -o + 1. Let k(n) = -6*a(n) + q(n). Let d be k(0). Put 0.2, -0.1, d in increasing order.
-0.1, 0.2, d
Let t = 2/1187 - -4738/5935. Let m = 3 - 2. Sort 4, m, t, 0.5 in increasing order.
0.5, t, m, 4
Let i be 7*1/(14/4). Suppose 6*t - i*t - 12 = 0. Put t, -4, 4 in ascending order.
-4, t, 4
Let h = 577556/16885 - 36/1535. Let z = h + -34. Sort z, -1, -5 in descending order.
z, -1, -5
Let m be (4 - 19)/(-3 - -2). Suppose -2*z + m = 11. Suppose -2*v + 5 = -3. Put z, v, 1/7 in increasing order.
1/7, z, v
Suppose -5 = o - 13. Let v be (-20)/(-48) - 2*3/9. Let x = 0.3 + -0.1. Put x, o, v in decreasing order.
o, x, v
Let b be 2/(-6)*(17 - 5). Let n be (-120)/(-21) + (-2)/(-7). Let k be 2/(-3 - (-14)/n). Put k, -1, b in descending order.
-1, k, b
Suppose 0 = -13*g + 196 - 222. Let i(o) = -o**3 + 5*o**2 + o - 1. Let d be i(5). Sort d, 0, g in ascending order.
g, 0, d
Let q be (-177)/(-12) - (-2)/8. Suppose -2*v + 7*v = -q. Let s = -10 + 13. Put -5, s, v in increasing order.
-5, v, s
Let v(y) = 4*y + 3. Let b be v(-2). Let j = 31 + -34. Sort -4, b, j, 5.
b, -4, j, 5
Let z = 16.9 - 17. Let h = 0.11 + -0.02. Let d = -0.31 - h. Sort d, z, 0.4 in descending order.
0.4, z, d
Let n = 12.61 + -12.71. Let r = -0.3 + 0.28. Sort n, -4, r in increasing order.
-4, n, r
Suppose 3*a + 13 - 4 = 0, 2*j = a - 65. Let r = 29 + j. Let b(g) = -g - 2. Let y be b(-5). Sort y, r, -4 in decreasing order.
y, -4, r
Let d be 1/5 - (-196)/70. Put d, 0, -3, -10 in ascending order.
-10, -3, 0, d
Let g = 66.78 - 70. Let a = g - 2.13. Let n = -0.35 - a. Sort -4, -0.1, n.
-4, -0.1, n
Suppose -m + 77 - 72 = 0. Sort m, 1/4, 53.
1/4, m, 53
Let l be -3 + 1 + -1 + 1. Let y(x) = -2*x**2 + 6*x - 11. Let f be y(2). Sort f, 0, l in decreasing order.
0, l, f
Suppose i + 3 = 3*x, -2*i - 4*x - 40 = -14. Let s = -12 - i. Put s, -6, -1, 0 in decreasing order.
0, -1, s, -6
Let g = 59/110 - 3/22. Put -203, g, -0.5 in decreasing order.
g, -0.5, -203
Let q be 4/(-6)*(18/6 + -159). Sort 2, -4, -1, q.
-4, -1, 2, q
Suppose x + x + 5 = 5*j, 4*x = -2*j + 2. Put x, 72, 4, 1/2 in descending order.
72, 4, 1/2, x
Let s(f) = -f**3 - 7*f**2 - 7*f - 5. Let w be s(-6). Let o = 2 - 8. Put o, w, -5 in ascending order.
o, -5, w
Let h(r) = -11*r - 143. Let n be h(-13). Put 116, n, -1 in decreasing order.
116, n, -1
Let a be 4/10 + 35/(-25). Suppose -16 = -3*r + 5*c, -2*c = 5*r - 3*c - 12. Put 1, r, a in descending order.
r, 1, a
Let c = -0.258 - 0.052. Let o = 280 + -284. Put c, 0, o in descending order.
0, c, o
Let p = 101 - 103. Suppose 3*t + 2*j - 9 = 0, 0 = -2*j - 0*j. Put t, p, 0 in descending order.
t, 0, p
Suppose -55 + 44 = 34*w - 147. Let z = 1 + -2. Sort z, w, -4 in descending order.
w, z, -4
Let c be 18*1 + 0/4. Suppose -2*l + c = -2*k, -k - 2*l + 2 = 8. Sort -1, 4, k in ascending order.
k, -1, 4
Let g be (12 - 17)*((-6)/10 + 0). Let w = 1 - 1. Let y = w - -1. Sort 2, y, g in ascending order.
y, 2, g
Let h(i) = -11*i - 15. Let r be h(4). Let d = -64 - r. Let w be -2*((-1)/2)/1. Sort w, d, -3.
d, -3, w
Let n = -38 + 42. Let t be (0 - 3)/((-3)/(-12)*n). Sort t, -4, -1.
-4, t, -1
Let c = 1.1 - 0.6. Let t = -29 + 31. Let o be -4*(t + 76/(-40)). Put -4, o, c in descending order.
c, o, -4
Let u = 995 + -12953/13. Suppose 0 = -0*l + 2*l - 6. Put u, l, -3 in decreasing order.
l, u, -3
Let i = -2.2 - -6.2. Let k = -0.3 - -0.4. Sort k, 0.6, i in decreasing order.
i, 0.6, k
Suppose 4*m - 4*v + 7*v - 36 = 0, 2*m + 3*v = 24. Let z be (12 + (-300)/(-96)*-4)/(6/8). Sort -5, m, z.
-5, z, m
Let g = -534 + 530. Sort g, -0.2, -5 in descending order.
-0.2, g, -5
Let a = -91 - -88. Sort a, -6, -1.
-6, a, -1
Let p(z) = z**3 - z**2 - 9*z + 8. Let d be p(-4). Let a = d - -48. Sort -1, a, 5 in decreasing order.
a, 5, -1
Let c = 0 + -1. Let i(v) = 2*v**3 + 7*v**2 + v - 6. Let n(s) = s**2 + 19*s - 3. Let g be n(-19). Let h be i(g). Put c, 5, h in descending order.
5, h, c
Let u = 211/955 + -4/191. Put -0.8, 4, u in ascending order.
-0.8, u, 4
Suppose -3*h + 4 = 4*j - 6, -3*h - 10 = -j. Sort -11, -5, h, 3.
-11, -5, h, 3
Let n = 101.7 + -99.7. Let q = 38 - 25. Put q, -1/4, n in decreasing order.
q, n, -1/4
Let v = -1173 + 1177. Put v, -5, -115 in descending order.
v, -5, -115
Let a = -1 + 5. Suppose -2*j - 5*j = -5*j. Let c be -1*(0 - -6) + 3. Sort c, a, j in descending order.
a, j, c
Let b = 2171 + -1818. Sort -5, b, -3 in increasing order.
-5, -3, b
Let n = -8154 - -8172. Let p be ((-6)/4)/(78/(-8)). Put n, -4, p in descending order.
n, p, -4
Suppose -731 = -6*l - 671. Sort 0, 5, -2, l in increasing order.
-2, 0, 5, l
Let r = 0.5 + 0.5. Let l = 1.04 - r. Let m = -0.06 - l. Sort 0.4, 5, m in ascending order.
m, 0.4, 5
Let v = 0.2 + -0.1. Let a = 42.8 + -41.8. Let h be -1*1 + -4 + 0. Put h, a, v in decreasing order.
a, v, h
Let h(q) = -2*q**3 + 2*q**2 + q - 4. Let f be h(2). Let d = -58 - -63. Sort d, f, -3.
f, -3, d
Let x = 284/65 + -62/13. Let w = -3611/8 + 452. Put 0, w, x in descending order.
w, 0, x
Let x(g) = 3*g**2 - 5*g - 20. Let s be x(-3). Sort -4, -5, s, 5.
-5, -4, 5, s
Let i = -102 - -118. Put -2, -1, 4, i in decreasing order.
i, 4, -1, -2
Let f be ((-64)/28)/((-6)/21). Let v be 41/(-13) + f/52. Sort -1, -5, v.
-5, v, -1
Suppose -9*f = -51 + 24. Suppose 2*u + 13 = 3*n, -3*n + 4 = -5*u - 5*n. Let w(m) = -2*m**2 - 3*m - 3. Let z be w(u). Put -4, z, f in decreasing order.
f, -4, z
Let d = 0.0441 + -5.0441. Sort -67, 4, 5, d in ascending order.
-67, d, 4, 5
Let t = 17/3 - 5. Let a = -7 + 3. Let h = 3 + a. Sort t, h, 0.3 in descending order.
t, 0.3, h
Let j = -2.9 + 2.7. Let i = -35.2 + 36. Sort j, -2, i.
-2, j, i
Let d = -68 - -115. Suppose -d*s + 3 = -44*s. Put s, -3, 0, -50 in decreasing order.
s, 0, -3, -50
Suppose -45 = -12*m + 21*m. 