 x = 765 + -762. Sort x, 5, c in decreasing order.
5, x, c
Suppose 0 = -5*n + a + 255, 3*a = -4*n - 66 + 289. Suppose -o = -57 + n. Let l be 2 + -1 - -1 - 0. Put o, -2, l in decreasing order.
o, l, -2
Suppose -12 = 3*o - 16*c + 11*c, 0 = -5*o + c - 20. Sort 31, o, -2 in ascending order.
o, -2, 31
Let s be (-72)/399 + 2/(-19). Let w = 0.48 - 0.48. Sort w, s, 3 in ascending order.
s, w, 3
Let t(s) = 8*s + 5. Let x be t(-1). Sort x, 49, 1 in ascending order.
x, 1, 49
Let c = -149 - -5. Let u = 144 + c. Put u, 10, 2 in decreasing order.
10, 2, u
Let h(a) = a**3 + 4*a**2 - 3*a + 12. Let s be h(-5). Let z be (3 - -3 - 3)/1. Let o be ((-2)/(-2))/((-7)/14). Sort o, z, s.
o, s, z
Let f = 0.1 + -0.1. Let l = 296.5 + -199. Let p = 98 - l. Sort 1, p, f in increasing order.
f, p, 1
Let t = -3.885 + -1.115. Let z = 2 - 5. Sort t, -0.03, 0, z in increasing order.
t, z, -0.03, 0
Let g = -18.68 - -15.8. Let n = g - -0.88. Let f = 4 + -7. Put f, n, 3/7 in ascending order.
f, n, 3/7
Let i be (-2 - (0 - 6))*(18 + -12 + -7). Let q(y) = y + 4. Let v(r) = r**2 + 6*r. Let h be v(-6). Let c be q(h). Put 1, c, i in decreasing order.
c, 1, i
Let c = 185 + -188. Let a be -1*2*(-4)/2. Sort a, c, 2 in increasing order.
c, 2, a
Let w be 1*(22 + 0 - 1). Let m be w/(-20) + 4/16. Let d = -51 + 57. Put d, -2, m in decreasing order.
d, m, -2
Suppose 255 = -92*m - 205. Let p = -3/28 - -5/14. Put m, 2, p in decreasing order.
2, p, m
Let q = 2707 - 2702. Sort 2, q, 35 in increasing order.
2, q, 35
Let v(s) = s**2 + 16*s - 75. Let r be v(4). Sort -5, r, -35, -4 in increasing order.
-35, -5, -4, r
Suppose 28*j + 4*j - 64 = 0. Sort j, 1/8, -2, 47 in descending order.
47, j, 1/8, -2
Let z(p) = -20*p**2 - p - 1. Let g be z(-1). Let c = 19271 - 19272. Sort c, 2, g in descending order.
2, c, g
Let a be (16/14)/((-52)/182). Let t be 2 + -1 + 4/2. Sort a, 0, t.
a, 0, t
Let a = 0.018 - -6.082. Let z = a - 5.9. Put -1, z, -4/7, 4/7 in increasing order.
-1, -4/7, z, 4/7
Let l = -13 + 15. Let q = -0.33 + -6.67. Let j = q - -13. Sort -1, j, l in descending order.
j, l, -1
Suppose -x = 2*i - 2*x - 35, -82 = -4*i - 2*x. Suppose -3*d + i = 4. Suppose g = 3*b + d, -g - b + 4 = -3*b. Put g, 3, -4 in decreasing order.
3, g, -4
Suppose 6*n - n = 0. Put 13/5, -17, n in ascending order.
-17, n, 13/5
Suppose 2*j - 36 = -h, j + 2*h + 7 = 28. Let x = 31/2 - j. Put -3.4, x, -5 in ascending order.
-5, -3.4, x
Let p(w) = -2 + 1 + w**2 - 3 + 0*w**2 - w. Let u be p(3). Suppose 5*j - 3 = 3*v, -3*v + u*j + 0 = 3. Sort v, 0, -3.
-3, v, 0
Suppose -16 = 445*w - 449*w. Let v(b) = b - 15. Let q be v(0). Let s be (-30)/9*3/(-2). Put q, w, s in ascending order.
q, w, s
Let m be 10/15 + ((-112)/(-6))/(-4). Let v(p) = p**3 + 5*p**2 + p + 5. Let x be v(-5). Sort 4, x, m in ascending order.
m, x, 4
Let o(t) = -t + 5. Let v be o(-5). Let q = -175 + 173. Let h = 68/3 - 23. Sort h, q, v in decreasing order.
v, h, q
Let d be -1*(-3 - -2) + 0. Let g be ((-9)/15)/((-180)/600). Sort d, -7/5, g in decreasing order.
g, d, -7/5
Let q be ((-516)/903)/((-2)/(-7)). Put 0, q, 740 in descending order.
740, 0, q
Let l = 16 + -14. Let k = l - 8. Sort -3, -1, k in ascending order.
k, -3, -1
Let p(z) = -z**2 - 4*z - 4. Let c be p(-4). Let r be ((-14)/c)/1 - 2. Sort r, -5, 8 in descending order.
8, r, -5
Suppose -12 = -4*y - 2*z, -2*z - 26 = -3*y - 10. Suppose 0 = 5*j + 5*j - 50. Suppose -16*u + 11 = -11*u + s, -j*s - 1 = -3*u. Sort y, u, 8.
u, y, 8
Let i = -27.4 + 27. Let y = -4.2 - -4. Sort i, y, 1.9 in ascending order.
i, y, 1.9
Let g be (-14)/8 + (0 - (-3)/4). Sort g, -4, -2, 83 in descending order.
83, g, -2, -4
Let z = -41.3 - -41.8. Put -2/15, 5, -0.32, z in decreasing order.
5, z, -2/15, -0.32
Let o = 275 - 277. Sort -3/5, 65, o.
o, -3/5, 65
Let r(f) = f**2 + 8*f - 12. Let b be r(-9). Let j(n) = -n**2 - 4*n + 2. Let l be j(b). Suppose 4*u = -l - 7. Put 4, 2, u in ascending order.
u, 2, 4
Let w = 8 - 8. Let n = 8 - w. Let d = 9 - n. Put 4, d, -5 in ascending order.
-5, d, 4
Let l be (4 - (-4 + 9)) + -1. Let z = l - -5. Suppose 2*v - 13 + 43 = -5*f, 31 = -z*v - 4*f. Sort 0.4, v, 0 in increasing order.
v, 0, 0.4
Let z = -4.5 + 7.5. Let o = -3.3 + z. Let u = -9 - -71/8. Sort -5, o, u in decreasing order.
u, o, -5
Let w(f) = -2*f**3 + 5*f**2 + 7*f - 7. Let u be w(3). Put -4, -5, u, -3 in ascending order.
-5, -4, -3, u
Let n = -5.93 + -0.07. Let r be -2 + (2 - -2) + 4. Let t be (-26)/(-13) - r/8. Sort t, n, 1/8.
n, 1/8, t
Let n = 715 - 716. Sort -15, n, 12 in ascending order.
-15, n, 12
Let z(x) = x + 5. Let b be z(-2). Sort 4, 7, b, -2 in decreasing order.
7, 4, b, -2
Let h be 14/10 + 4/(-10). Suppose 4*p + 128 = -72. Let s = p - -348/7. Sort s, h, -2/5.
-2/5, s, h
Suppose -12*z + 8*z - 52 = -2*p, 0 = 5*p + 10. Sort z, 1, 19 in ascending order.
z, 1, 19
Let d = -23004 + 2760497/120. Let l = d + -1/24. Let v = 499/6 + -83. Sort v, l, 0.3.
l, v, 0.3
Let r be 2/10 - ((-81)/45 + 6). Put -2, -1, r in decreasing order.
-1, -2, r
Let q(g) = 3*g**2 - 2*g + 2. Let o be q(2). Let l(f) = -o - 3 - f - 2. Let v be l(-15). Sort v, 3, -2 in decreasing order.
3, v, -2
Let b(x) = 3*x**2 + 18*x + 2. Let d be b(-6). Put 1, d, -41 in ascending order.
-41, 1, d
Let a = -187 + 186. Put -5/2, 20, a in decreasing order.
20, a, -5/2
Let t = 12.6 - 12. Let k = t + -2.6. Let y = 0.42 - 1.42. Put -4, y, k in increasing order.
-4, k, y
Suppose -192*q - 5*b + 13 = -189*q, -5*q - 1 = -3*b. Let y be (-20)/2 - 0/2. Put q, y, -2 in ascending order.
y, -2, q
Let u be (9/6)/((-6)/(-4)). Let l be u/(-7) + (-180)/(-35). Suppose g - 4*k + 8 = 3*g, l*g + k + 16 = 0. Sort g, 8, 5 in ascending order.
g, 5, 8
Let p = 16 + -7. Suppose k = 3*d - p, 0*d - 14 = -4*k + 2*d. Suppose -9*u = -k*u. Put 4, u, 2 in descending order.
4, 2, u
Let o = 69 - 64. Suppose -3*x = 4*y + 25, 5*y + 27 + 2 = -3*x. Sort -4, o, x in decreasing order.
o, x, -4
Let j = 1/473 - -51554/1419. Let i = j + -36. Let l = 1.72 - -2.28. Sort -0.2, l, i in ascending order.
-0.2, i, l
Let s be 3/((-6)/(-8)*2). Suppose -s*h = -5*z - 2, 0 = -h + 2*z + 3 - 2. Let a = -1 + h. Sort 5, a, -5.
-5, a, 5
Let b = -227 + 291. Let w = b - 64. Let p = -2 + 2.1. Sort -0.6, p, w in decreasing order.
p, w, -0.6
Let o = -0.805 - -0.885. Sort 1/12, 0.5, o, -0.5.
-0.5, o, 1/12, 0.5
Let u = 282 + -278. Put -24, u, -2 in decreasing order.
u, -2, -24
Let h = -2/201 - 44/67. Let w = -3 + 5. Sort w, h, 8 in decreasing order.
8, w, h
Let f = -344/15 + 118/5. Sort 4/3, -4/9, f.
-4/9, f, 4/3
Suppose -5*t = -3*a - 77, 9*a + 2 = 11*a. Sort -5, 4, 1, t in descending order.
t, 4, 1, -5
Let s = 75 - 145. Let q = s + 91. Put -4, q, 0, 2 in descending order.
q, 2, 0, -4
Let r(f) = f**3 + f**2 - 5*f + 2. Let o be r(2). Suppose 19 = -3*k + 2*y, 5*y + 22 = -2*k + o*y. Sort k, -1, 1 in decreasing order.
1, -1, k
Suppose 0 = 2*r + 8 - 2. Sort -5, r, 2, -4 in ascending order.
-5, -4, r, 2
Let j = 729.8 - 730. Sort -4, 0.07, -3, j in decreasing order.
0.07, j, -3, -4
Let m(v) = v**2 - 41*v + 334. Let r be m(30). Sort -5, r, -2, -9.
-9, -5, -2, r
Let m be (4/(-12))/(3/(-441)). Let o = m - 54. Put o, -2, -1, -12 in descending order.
-1, -2, o, -12
Suppose -164 = -3*r - 146. Sort 0.4, r, -6.5 in decreasing order.
r, 0.4, -6.5
Let s = -819 + 819.5. Put 0.3, -3, 24, s in descending order.
24, s, 0.3, -3
Let d = 0.185 + 0.115. Let o = -0.073 - 0.327. Sort d, o, 0.2 in ascending order.
o, 0.2, d
Suppose -172 = 13*f - 276. Let d be (-6)/(-15) + 54/(-10). Put f, d, 0, 4 in decreasing order.
f, 4, 0, d
Let k be (-10)/25*110/(-198). Let f = -0.53 - 0.17. Put 1, f, k, -2 in decreasing order.
1, k, f, -2
Suppose -5*r + 7 = -5*w - 28, -w + 5*r - 23 = 0. Let p be 4/(-6)*(5 + -2). Sort 3, p, w in ascending order.
w, p, 3
Let k be (-4)/6*6/(-3). Let x be 3218/56 - 2/(-7). Let a = x + -58. Sort k, 3, a in ascending order.
a, k, 3
Let g = -0.04 + 0.34. Suppose -15*b + 12*b + 12 = -4*a, 0 = 4*a - 4*b + 8. Put g, a, -0.4 in decreasing order.
g, -0.4, a
Let w be 11/(-11) - 1270/(-568). Let d = -1/71 - w. Put -2, -1, d in ascending order.
-2, d, -1
Let t = 26 - 18. Let p = -7 + t. Let x = -0.6 + p. Sort x, 0, -4.
-4, 0, x
Let v(x) = x. Let j be v(3). Let c = -14297 - -14301. Sort j, c, 1 in ascending order.
1, j, c
Let a be ((-4)/(-6))/((-6)/9). Let f be (-352)/(-36) + (-4)/(-18