ing order.
5, a, -3
Let r = 3.5 - 3. Let k = -168 + 1178/7. Let t = 1 + -0.8. Put r, t, k in descending order.
r, k, t
Suppose 0 = 2*z + c - 11, -4*c + 31 = 2*z + c. Let v(u) = 3*u**2 - 2*u - 2. Let s be v(2). Suppose -2*j = -2 - s. Sort j, 0, z in ascending order.
0, z, j
Let r(o) = -o**2 + o + 9. Let j be r(-4). Let q = j - -21. Sort q, -3, 5 in increasing order.
-3, 5, q
Let b be 2/4*4/8. Suppose -5*f - 10 = -0*f. Sort b, 0, f.
f, 0, b
Suppose -76*b + 216 = -4*b. Sort b, 4, -89 in ascending order.
-89, b, 4
Let h = -9.99 - -9.79. Sort -6/5, h, 3/5 in increasing order.
-6/5, h, 3/5
Let n = -30 - -32. Suppose 6 = -n*z - 3*o, 5*o = 4*z + z + 15. Sort 3, z, 2/5 in decreasing order.
3, 2/5, z
Let f = 3 + -6. Let i be (0*3/(-33))/(-1). Sort i, -0.3, f, -0.1 in descending order.
i, -0.1, -0.3, f
Let p be (-2)/(-1) - 2 - -5. Let w be (-1 + 2)/((-7)/35). Sort p, 1, w.
w, 1, p
Let z = 1732 + -1731.7. Let v = -4/17 - 383/34. Put 3, v, z in decreasing order.
3, z, v
Let n(o) = o**3 - 12*o**2 - 11*o - 30. Let j be n(13). Sort 0.06, j, -12.
-12, j, 0.06
Let n = 0.2757 - -0.2243. Sort 2/9, -2, n, -5 in descending order.
n, 2/9, -2, -5
Let b = -51.086 + 0.086. Let g = 51.4 + b. Put g, -4, -2, 2/13 in ascending order.
-4, -2, 2/13, g
Let l be 2 - (-2)/2 - 2. Suppose 5*o - 3*j = 159, -j - 2 + 59 = 2*o. Suppose 26*n = o*n - 8. Sort n, l, -1 in increasing order.
-1, l, n
Suppose 4*j = -5*q + 2*j - 20, 0 = 2*j. Suppose -40*m - 14 = -54*m. Sort q, 2, 5, m in increasing order.
q, m, 2, 5
Let a = 31.1 - 28.1. Sort a, -2, 1/6, 1.
-2, 1/6, 1, a
Let y = 1 - 0. Suppose 5*z - z - 29 = 3*x, -4*z + 26 = -2*x. Let b(j) = -2*j**3 + 3*j**2 + 6*j - 12. Let r be b(2). Put r, y, z in decreasing order.
z, y, r
Let p = 35 - 19. Suppose -3*k - p + 13 = 0. Put 1, -2, k, 2 in increasing order.
-2, k, 1, 2
Suppose 3*z + 0*d = -2*d - 23, z - 5*d - 15 = 0. Let o(g) = -6*g + 164. Let c be o(28). Sort c, z, -6, 4.
-6, z, c, 4
Suppose -5*v + 30 = v. Suppose -4*g + 0*j + 6 = -2*j, -v*j + 25 = 0. Put g, 1, 5 in increasing order.
1, g, 5
Let u = -107/15 - -7. Let v be (9/(-6))/((-21)/4). Sort 0.4, u, v in increasing order.
u, v, 0.4
Suppose 0 = p - 2*u - 3, -3*p + 17 = 4*u - 2. Suppose -3*a - 30 = 3*h, 4*a + 0*a - p = 5*h. Sort 5, 2, -3, h in decreasing order.
5, 2, -3, h
Let t = 3.88 - 4.88. Sort 3/13, -3, t in descending order.
3/13, t, -3
Let z = 10 + -4. Suppose t - 15 + z = -3*v, 4*t - 12 = 0. Let m(p) = p**3 - 9*p**2 + 10*p + 47. Let j be m(6). Sort v, -2, j in increasing order.
-2, j, v
Suppose 0 = -2*t - 2*j + 4 + 4, -4 = -4*j. Let v be 108/(-21) - (-4 + 81/21). Put v, -4, t in ascending order.
v, -4, t
Let k(s) = -2*s - 7. Let q be k(-5). Let v = 3 + -3. Sort -4, q, v in descending order.
q, v, -4
Let x(n) = -2*n**2 + 26*n + 28. Let g be x(14). Put 7, -3, g in descending order.
7, g, -3
Suppose 10 = i + 2*u, 4*u = -5*i + 2*i + 24. Let m = 35 + -48. Put i, 5, m, -2 in ascending order.
m, -2, i, 5
Suppose 4*a = 4*w + 36, -w + 8 = 2*a + 2. Let g be (-2 - -2) + 2 - a. Let v = 69 - 65. Put v, -5/7, g in increasing order.
g, -5/7, v
Let w = -261/2288 + -7/176. Sort w, 0.2, 34 in decreasing order.
34, 0.2, w
Suppose -y = -4*f - 61, -f + 184 + 100 = 5*y. Let s = 61 - y. Suppose c = 3*k + 62, 2*k = -c - 11 - 27. Sort s, k, 5.
k, s, 5
Let r be ((-2)/3)/(11/198). Let c be 1/3*((-6)/r + -2). Sort c, -1, 3, 3/4 in decreasing order.
3, 3/4, c, -1
Let z be (-3)/(168/(-25)) - (-104)/(-182). Sort z, -4, -3 in ascending order.
-4, -3, z
Suppose 15*o + 11*o - 78 = 0. Put o, 4, 60, -1 in decreasing order.
60, 4, o, -1
Let w(i) = i + 21. Let o be w(-19). Suppose 11 - 3 = -o*p. Sort 0, p, 2, -5 in increasing order.
-5, p, 0, 2
Suppose 2*y + 14 = -3*m + 19, -y - 3*m + 1 = 0. Sort -2, 5, y, -30 in descending order.
5, y, -2, -30
Suppose n = 4*q - 8, -5*q - 5 = -3*n - 15. Let i be (117/3)/((-1)/(-2)). Let l be (-1)/(-3) + i/(-18). Put -0.4, n, l in descending order.
n, -0.4, l
Let t be (5/(-10))/((-1)/(-2)). Suppose -5*a - 2 + 17 = 0. Suppose 3*d + 3 = 6*f - 3*f, 5*d + 5*f = -35. Sort t, a, d in ascending order.
d, t, a
Let c = 1865 - 1861. Put 8, c, -4, -1 in descending order.
8, c, -1, -4
Let h(s) = 6 - 3 - s**2 + 2 - 7*s + 0*s. Let g be h(-8). Let q be (-2)/g - (-24)/(-27). Put q, -0.5, -3 in decreasing order.
q, -0.5, -3
Let l = -0.21 - 0.09. Sort -0.2, 0.21, 3/2, l.
l, -0.2, 0.21, 3/2
Let l be ((-6)/(-4))/(1/2). Let b(r) be the first derivative of -2*r**3/3 + 21*r**2/2 - 6*r + 33. Let k be b(10). Sort k, 5, l in decreasing order.
5, k, l
Let o be 2 + -1 + 2/(-2). Let s be ((-4)/(-8)*o)/2. Suppose 5*u + 5*x - 20 + s = 0, -4*u + 6 = 2*x. Sort u, 2, 4.
u, 2, 4
Suppose 0 = -13*s + 5*s - 8. Sort s, -5, 4.
-5, s, 4
Suppose -2*n - 14 = -6. Suppose 23*h + 16 = 85. Put h, n, 6, 4 in descending order.
6, 4, h, n
Let l = 4 + -1. Let r(f) = 4*f**2 - 21*f + 12. Let u be r(5). Suppose -4*n = 5*d - 0*n + u, -9 = d - l*n. Put d, 3, -2 in descending order.
3, -2, d
Let y(q) = q + 3. Let b = -10 + 6. Let m be y(b). Let k be m/(-2 - (-28)/12). Put 1, 0, k in increasing order.
k, 0, 1
Suppose -4 = 5*j - 34. Let k be 10/(-3)*j/(-5). Let y(u) = u**2 - 6*u - 35. Let o be y(10). Sort 2, o, k in descending order.
o, k, 2
Let s be ((-2)/4)/(7/168). Let q = -57/5 - s. Suppose -c - 4 + 2 = 0. Sort q, c, -1 in descending order.
q, -1, c
Let o = 93.5 + -95. Sort 0.5, -2, o in ascending order.
-2, o, 0.5
Let g = -9/58 + 411/406. Let c = 3/35 - -1/5. Put -0.05, g, c in increasing order.
-0.05, c, g
Suppose l - 2 = 4*t - 0, -4*t - 12 = 4*l. Let q be (t/(-14))/(8/(-304)). Let g = q - -71/21. Put g, 0.04, -5 in increasing order.
-5, 0.04, g
Suppose -u + 15 + 3 = -2*v, -3*u = -4*v - 32. Sort 4, v, -3 in increasing order.
v, -3, 4
Let v = -278.3 - -278. Sort v, -0.1, 2.3 in decreasing order.
2.3, -0.1, v
Let m = 1.07 - 1.133. Let n = 4.063 + m. Sort 1/2, n, -5, -4 in decreasing order.
n, 1/2, -4, -5
Let q = -375.04 + 375. Put 1, -0.4, q in increasing order.
-0.4, q, 1
Let b(w) = -w**2 + 13*w + 144. Let q be b(20). Put q, -8, 3, 5 in descending order.
5, q, 3, -8
Suppose 0 = 3*x - 0*x + 6. Let k(u) = -2*u**3 - 1. Let h be k(x). Let t = h + -15. Put 7, -1, t in descending order.
7, t, -1
Let t be (1*40 - 2)/2. Suppose -t*v + 15*v = 0. Sort -0.1, 5, 2, v.
-0.1, v, 2, 5
Let b = 234 + -233. Let k = -1.6 - -1.1. Sort 43, 1/2, k, b.
k, 1/2, b, 43
Suppose -10*d = 2*d. Let q be (-5)/10 + 3/(-2). Sort q, 16, d, -5 in descending order.
16, d, q, -5
Suppose 0 = -6*g + 7 - 13. Sort -2, g, -5, -7 in decreasing order.
g, -2, -5, -7
Let n = 388 + -388. Sort -3, n, 2, 5 in decreasing order.
5, 2, n, -3
Let a = 37 - 39.9. Let j = a - -3. Let s = 13 - 27/2. Sort j, s, -1 in ascending order.
-1, s, j
Suppose 3*d + 2*d = -2*i - 155, d = -3*i - 44. Let h be (-24)/(-96) + (-1)/4. Sort d, -2, h in ascending order.
d, -2, h
Let m(k) = -15*k + 72. Let o be m(5). Sort o, -10, 3 in descending order.
3, o, -10
Suppose -9*d = -0*d - 126. Put 1, d, 0 in descending order.
d, 1, 0
Suppose 66 = 5*a - w, 0 = -2*a - 2*a - 3*w + 68. Suppose -a*l = -17*l + 15. Put 0, 3, l in decreasing order.
l, 3, 0
Let n = 117 + -118. Sort -4, n, -3, 9 in decreasing order.
9, n, -3, -4
Let l be 3 - ((-3 - -3) + -3). Suppose 3*x - 5*f - 13 = 0, -4 = -2*x + 4*f + l. Put 3, x, 4 in ascending order.
x, 3, 4
Suppose -9*u + 4*u + 2*x = -70, 15 = -3*x. Suppose u*d - 18 = 9*d. Put 2/5, -2, d in ascending order.
-2, 2/5, d
Suppose -z - 29 = 4*y + 4*z, 4*z + 21 = -y. Put y, -3, -2, -15 in increasing order.
-15, -3, -2, y
Let u = -292/755 - 2/151. Sort -1/4, 0, 3, u.
u, -1/4, 0, 3
Let o be -2 + (1 + 0)*(4 + -2). Suppose -4*r = 4*k - 20, 5*k + 20 = 4*r - o*k. Suppose -7*s - 25 = -2*s. Sort -2, s, r.
s, -2, r
Let s be 9/(-5) - 7289/(-4255). Let f = -79/10 - -8. Put f, 4, s, 0 in increasing order.
s, 0, f, 4
Let g = -244 - -243. Put -3, g, 14, 0 in ascending order.
-3, g, 0, 14
Let s be -12 - 73/(-24)*4. Put 1/3, 0.03, -1/4, s in decreasing order.
1/3, s, 0.03, -1/4
Let d = 3 + 0. Let i = 172 - 171. Sort d, -2/9, i in descending order.
d, i, -2/9
Let c = -0.3 - -0.4. Let h = -370 - -371. Put h, -2/15, c, 5 in decreasing order.
5, h, c, -2/15
Let i = -6.2 + 1.2. Let b(k) = -4*k**3 - k**2 - 2*k**3 + 5*k**3 + 0*k**2 - 3. Let u be b(0). Put u, -0.1, i in ascending order.
i, u, -0.1
Let d = 6 + -10. Let