Let t = -116 + 119. Suppose c + 3*c = -8. Put c, n, t in ascending order.
n, c, t
Suppose 0 = 5*s - 14 - 11. Let b = 10 - 11. Sort s, -5, b in descending order.
s, b, -5
Let x = 0.3 + -0.4. Let m = -0.4 - x. Let g = -155 - -155.5. Sort 3, m, g.
m, g, 3
Suppose -1 = 8*j + 7. Let u(g) = -6*g**2 + 3*g**2 - 4*g**3 + 4*g**2. Let d be u(1). Sort j, d, -4 in decreasing order.
j, d, -4
Suppose 0 = -27*b + 36*b - 27. Let y = -1 - -3. Sort 5, b, y in decreasing order.
5, b, y
Suppose -4*x + 2*u - 24 = 78, 0 = 5*x + 4*u + 108. Let n be (2/(-5))/(x/30). Sort -1/7, 0.4, n.
-1/7, 0.4, n
Let r(d) = 2*d - 9. Let w be r(6). Suppose -2*y + 6 = -2*q + 18, -w*q - 3 = 4*y. Suppose -o - q = -0*o. Sort 0, o, 4 in ascending order.
o, 0, 4
Let k = -4/5 + 3/10. Let j = 3.1 - 23.1. Let o = j + 16. Put k, 0, o in increasing order.
o, k, 0
Let n = 6 + -1. Let s = 0.2 + -3.2. Sort n, s, -4 in descending order.
n, s, -4
Suppose -y = -1 - 2. Suppose 6 = -y*h + q, h + 2*q - 4 = -h. Sort h, 2, 3.
h, 2, 3
Let j be (-4 - -4)/3*2/(-4). Put j, -6, 2 in decreasing order.
2, j, -6
Let j = 28 + -29. Sort j, 0, 2 in ascending order.
j, 0, 2
Let i = -114 + 344/3. Let n be 2*(-1 - 9/(-10)). Put i, n, 0 in decreasing order.
i, 0, n
Suppose -3*j - 3 = -4*l - 8*j, l + 5*j = -3. Let k(v) = -v - 1. Let w be k(-4). Suppose -20 = -w*x - 5. Sort 1, x, l in decreasing order.
x, l, 1
Suppose -697 = -4*h + 7351. Let k be 0 + (-1 - h/(-42)). Let w = 142/3 - k. Sort w, 0.3, -5 in decreasing order.
w, 0.3, -5
Let p = -0.7 + 1. Let f = -67/3 - -22. Let m = -24 + 24.1. Put f, p, m in ascending order.
f, m, p
Let c be (9 + -15)*2/(-8). Sort c, 0.5, 5 in descending order.
5, c, 0.5
Suppose 2 = 4*p - 6. Let w be (3 + -3)/(p - 1). Put -2, -5, w in descending order.
w, -2, -5
Let x = -33 - -65/2. Put 0.3, 8, x in ascending order.
x, 0.3, 8
Let a(v) = 2*v + 8. Let k be a(-5). Sort 11, k, 4 in decreasing order.
11, 4, k
Let i = 0.039 - -2.961. Let m = 11.5 - 11. Put 0.4, m, i in increasing order.
0.4, m, i
Let p be 19/42 - 4/(-12). Let v = p - 1/2. Let m = -0.4 + -1.6. Sort -5, v, m in descending order.
v, m, -5
Let l be (0 + -1)/((-3)/9). Suppose -4*k + 4 = 20. Suppose 0 = 2*x + 2*g + 12, 0 = 4*x - 2*x - 5*g - 16. Put k, x, l in increasing order.
k, x, l
Let l = -0.43 - -0.85. Let w = 0.5 - l. Let u = w - -1.92. Put 0.5, -5, u in ascending order.
-5, 0.5, u
Let r = -7.04 - -7. Let p = r - -5.04. Put -2/7, -5, p in decreasing order.
p, -2/7, -5
Let x(w) = -4*w**2 + 1. Let j be x(-1). Let f be 1 + j + 0/4. Let k(s) = 3*s**2 - 2*s + 1. Let r be k(1). Sort -1, r, f in descending order.
r, -1, f
Suppose -10 = -2*s - 2. Let h be 4/(904/(-337))*-1. Let y = h - -1/113. Sort -0.5, s, y in increasing order.
-0.5, y, s
Let s = 0.08 - 5.08. Let w(m) = -m**3 + 5*m**2 + 4*m + 13. Let a be w(6). Sort a, s, -2 in descending order.
a, -2, s
Let p = 49.9 - 50. Put 0, p, 1 in ascending order.
p, 0, 1
Let v be (-22)/(-11) - (-3 + 1). Let h = 0 + -3. Sort v, 5, h in decreasing order.
5, v, h
Suppose 3*g + 2 - 5 = 0. Let l = 4 - 9. Let s be (-1)/(2/(0 + -4)). Put g, l, s in descending order.
s, g, l
Let q = -4 + -1. Put -4, q, -0.5 in ascending order.
q, -4, -0.5
Let p = -65 - -581/9. Let b = -61 + 119/2. Sort -5, b, p in increasing order.
-5, b, p
Let m be (-24)/110 + 20/50. Sort -0.3, 1/4, m.
-0.3, m, 1/4
Let d = 60 + -59.9. Put 1/2, d, -1/2 in descending order.
1/2, d, -1/2
Suppose -10 = 5*x - 3*x. Suppose 4 = -4*g + 5*g. Sort x, g, 0.
x, 0, g
Let m = 11 - 7. Let z = -4 - -7. Let h = z - m. Sort h, -0.4, -2 in decreasing order.
-0.4, h, -2
Suppose y + 0*y = -2. Let a be (3 - 12)/(-3) + -5. Let n = a - -6. Put n, 2/7, y in increasing order.
y, 2/7, n
Let a(j) = -j - 10. Let r be a(-8). Suppose -9*s = -12*s. Sort s, r, 3 in ascending order.
r, s, 3
Let j = -43 - -43. Sort -1, j, 2, 1 in descending order.
2, 1, j, -1
Let d = -20/39 - 2/13. Let h = 67 - 63. Put 10, d, h in decreasing order.
10, h, d
Let j = -0.2 + 0.6. Let n be (4/16)/(3/3). Put -4, j, n in increasing order.
-4, n, j
Let x = 8 + -10. Let j(r) = -r**2 - 6*r - 4. Let d be j(-5). Let s be (-4)/(-10)*d/(-2). Put s, x, 1 in decreasing order.
1, s, x
Let n = -618.5 + 619. Let x = 425/3 - 143. Let k = -0.07 - -4.07. Sort n, x, k in descending order.
k, n, x
Let x be 2/4 + 9/(-30). Let z(w) = w**2 - 4*w + 3. Let a be z(4). Let v be -1*a/9 + 1. Sort 0.3, v, x.
x, 0.3, v
Suppose -5*r - 24 = -9*r. Let a be ((-3)/r)/(2/(-60)). Suppose 3*z = -k + 10, -3*k - z = k + a. Sort k, 5, -1 in decreasing order.
5, -1, k
Let b be 4/32 + (-11)/24. Sort 4, 2, b, 1/2 in decreasing order.
4, 2, 1/2, b
Suppose 0 = -q + 2. Sort 4, -5, q in increasing order.
-5, q, 4
Suppose 4*f + 4*s - 44 = 0, 3*f - 5*f = 3*s - 21. Suppose 3*h + f = 3. Put h, 4, -2 in decreasing order.
4, -2, h
Suppose -2 = -2*z - 5*v + v, -3*v - 9 = 0. Put -3, z, -4 in descending order.
z, -3, -4
Let q be (0 + 0 + -1)*0. Let w = -13 + 8. Suppose 2*m + 0*o - 4 = 2*o, -10 = m - 5*o. Put q, m, w in ascending order.
w, q, m
Suppose 5*k + 2 = 3*t - 2, -5*k = -2*t + 1. Let v(d) = -d**2 - 8*d - 12. Let i be v(-5). Sort k, 4, i in increasing order.
k, i, 4
Let n = 0.7 - 0.3. Let g be 2/8 + -1 + (-9)/4. Let r = 329/5 + -66. Sort r, n, g in increasing order.
g, r, n
Let z = -3.49 + -0.51. Let r be 1/3*6*1. Put r, z, -1 in ascending order.
z, -1, r
Let g = -21/8 - -103/24. Let d = 0 + -2. Suppose 0 = -2*q + t, -q + 3 + 2 = -3*t. Sort q, g, d in descending order.
g, q, d
Let p = 19 - 20. Sort p, -5, -0.1, -0.3 in decreasing order.
-0.1, -0.3, p, -5
Let p(b) = -b**3 + 13*b**2 + b - 11. Let c be p(13). Sort -3, 3, c.
-3, c, 3
Let r = -7.93 + -0.07. Let m = -12 - r. Let p = -8 - -3. Put m, -3/5, p in decreasing order.
-3/5, m, p
Let z(i) = -i + 7. Let a be (-1)/(1/(-14)*2). Let f be z(a). Suppose -2*y + 6*y + 8 = 0. Sort y, 3, f in decreasing order.
3, f, y
Let o = -1058396 + 4276979116/4041. Let f = -2/449 - o. Let m be (4/(-10))/((-2)/3). Put f, 0.5, m in increasing order.
f, 0.5, m
Let h = -7.1 + 6.6. Sort h, -2, 22.
-2, h, 22
Suppose 4*y = 13 - 1. Suppose -2*n = -2*f + 2, n + 8*f - y*f - 5 = 0. Sort -1, -2, n.
-2, -1, n
Let k = -0.003 - -2.003. Sort -2/9, k, -0.1 in ascending order.
-2/9, -0.1, k
Let v be -2*25/(-10) - 0. Sort -2, -4, v.
-4, -2, v
Let t = 608.09 - 608. Let g = 3/74 - -133/370. Put t, g, 1/2 in increasing order.
t, g, 1/2
Let d be (-9)/(-3) + (-2)/(-2). Suppose 2*q + 3*s - 10 = 0, 0 = q - 0*s + 2*s - 7. Let y be 52/10 + q/5. Put y, 2, d in descending order.
y, d, 2
Let r = -39 + 75. Let b be -2 - ((-224)/r + 4). Put 3, b, 9 in decreasing order.
9, 3, b
Let c = 0 - 1. Let p = 29 - 25. Sort -3, p, c.
-3, c, p
Let s = 315.14 - 319. Let p = s - 0.14. Sort p, -1/4, -5 in increasing order.
-5, p, -1/4
Let v = -47 - -40. Put 3/2, v, -3, -0.3 in increasing order.
v, -3, -0.3, 3/2
Let c = -3 + 2. Sort -2, -4, c in ascending order.
-4, -2, c
Let k = 256/615 + -2/123. Sort 5, k, 1, -3.
-3, k, 1, 5
Let o be 4/(-20) + (-1)/45. Sort -0.1, o, -4 in descending order.
-0.1, o, -4
Let m be 3 + 2 + (2 - -25). Let i be ((-2)/(-4))/((-12)/m). Sort -3, i, -0.2 in decreasing order.
-0.2, i, -3
Suppose -4*o - 2 = -10. Sort o, 1, -2, 4 in increasing order.
-2, 1, o, 4
Let q = 74 - 80.4. Let c = q - -1.4. Suppose 20 = -2*i - 3*i, w = 3*i + 14. Put w, c, 3 in ascending order.
c, w, 3
Let l = -4 + 7. Suppose i + 4*u - 11 = 0, -4*i - u = -6*u + 19. Let w = i - -3. Sort l, 1, w.
1, w, l
Let r(t) = -t**2 + 22*t - 23. Let v be r(21). Put -1, v, -4 in descending order.
-1, v, -4
Let m = -2 + -2. Let r be 1 - (0 + -1 + -1). Sort -1, m, r.
m, -1, r
Let p be 39/(-15) - (1 + (-6)/10). Sort 3, p, 1, 8 in decreasing order.
8, 3, 1, p
Let r = 50 - 51. Put 26, -2, r in decreasing order.
26, r, -2
Let u = -48 - -44. Put 1, u, 4, 3 in decreasing order.
4, 3, 1, u
Let o = 3.253 + -0.313. Let n = -0.06 - o. Suppose -6 = -d + 4*d, -d = -3*i - 10. Put i, 3, n in decreasing order.
3, n, i
Let q = 3 + -7. Let i(m) = -m**2 + 9*m + 12. Suppose -3*v = 5*c - 35, 13 = v - 2*c + 5. Let o be i(v). Sort q, o, -5 in decreasing order.
o, q, -5
Let s = 9 + -9.5. Sort -5, s, 2.
-5, s, 2
Suppose -4*a + 13 = k, -3*k + 4*k - 1 = 0. Let b = -7 + a. Put 2, b, 0 in descending order.
2, 0, b
Let k = 42 + -38. Sort 18, k, -3 in decreasing order.
18, k, -3
Let d(r) = 2*r + 24. Let x 