pose 2*v + 3*b - 2*b = 117, 0 = -b + 5. Let z be (-46)/120 - (-14)/v. Put -0.2, z, -0.1 in increasing order.
-0.2, z, -0.1
Let n = -63.7 + 61. Let c = 1.7 + n. Put -2/25, -5, c in decreasing order.
-2/25, c, -5
Suppose 4*h - a - 13 = 0, -3*h - a = -4*a - 21. Sort h, -3, 0.
-3, 0, h
Let d be (2/6)/((-4)/(-2) + -3). Put d, 8, -2/9 in ascending order.
d, -2/9, 8
Let j = -45.05 - -46. Let f = -0.05 - j. Put 1/2, f, -1/7 in descending order.
1/2, -1/7, f
Let a(s) = 3*s**3 - 2*s**2 - 2*s - 1. Let u be a(-1). Suppose -9*y = 5 - 14. Put y, u, -5 in ascending order.
-5, u, y
Let j = -13 - -8. Let m = -2 - j. Suppose -5*y + m = -22. Put y, -1/6, -4 in decreasing order.
y, -1/6, -4
Let n = 11/68 - -3/34. Let p = -65 + 67.05. Let a = 0.05 - p. Sort n, a, -4.
-4, a, n
Suppose s = 2*s. Let f be (-3)/(-6) + 1/2. Let i(r) = -r + 3. Let l be i(4). Sort s, f, l in decreasing order.
f, s, l
Let x be 1/(-3) - 35/(-15). Let s = -6 + 9. Suppose 0 = v + 5 - s. Sort x, v, 0.
v, 0, x
Suppose 3*n = 2*y - 16, -2*y + 24 = y + 4*n. Suppose -y = -2*c, -5*c + 30 = 2*h - 4*h. Sort 0.1, 0.5, h in increasing order.
h, 0.1, 0.5
Let n = -7 - -8. Put n, -4, 2 in ascending order.
-4, n, 2
Let p = 0.1 - 0.2. Let m = 0.069 - -4.931. Sort 4, m, p.
p, 4, m
Let i = -2 - -6. Suppose -o = -2*a - 8, -a + 6 = 4*o + i*a. Suppose -o*g = 3 + 17. Sort 2, g, 1 in descending order.
2, 1, g
Let s be 117/(-45) - (-3)/5. Let r = -1 + 4. Sort r, s, 0.
s, 0, r
Let i be (0 - 5)*4/(-5). Let b = -9 - -4. Put b, i, 1 in decreasing order.
i, 1, b
Let j = 35.3 - 35. Sort j, 0.1, 2/13 in decreasing order.
j, 2/13, 0.1
Let g = -1 + 4. Let a = 18 + -21. Suppose -5*f + 3*u = 26, f = -f + u - 10. Sort f, g, a in decreasing order.
g, a, f
Let g = 2.3 + -2.3. Sort 1/6, 3, g.
g, 1/6, 3
Let i = 33 - 28. Suppose 3*d = 3*m - 12, -d + 0*m - 6 = m. Sort d, i, 1/5 in ascending order.
d, 1/5, i
Let u = 0.1 - 0.4. Let r = 17 + -22. Sort r, u, -0.06.
r, u, -0.06
Let t = -24 + 19. Let p be ((-24)/30)/((-2)/(-5)). Sort p, t, -1.
t, p, -1
Let y = 45.2 - 11.2. Sort -2/9, y, 5, -5 in increasing order.
-5, -2/9, 5, y
Let o(l) = 2*l**2. Let v be o(1). Suppose 0*f + v = f. Put 5, f, 3 in descending order.
5, 3, f
Let s be (-1 - -2)*12/3. Suppose 0*p = -s*p - 12. Put p, 0, 5 in ascending order.
p, 0, 5
Let x(k) = 2*k - 18. Let y be x(8). Sort 7, -4, y, 0.
-4, y, 0, 7
Let r(w) = -w**3 - 12*w**2 - 19*w + 8. Let k be r(-10). Sort -1, 3, -4, k in increasing order.
-4, k, -1, 3
Let d(v) = -v**3 - 7*v**2 + 9*v + 6. Let k be d(-8). Sort -1, 4, k in decreasing order.
4, -1, k
Suppose -6 = 2*i - 5*i. Suppose 4*k = 5*v + 7 + 6, i*k - 3*v = 7. Put k, -5, -12 in decreasing order.
k, -5, -12
Suppose -7*g - 8 = -5*g. Let y(p) = 3*p - 2. Let u be y(-2). Sort 1, g, u in decreasing order.
1, g, u
Suppose 0 = 7*d - 3*d - 8, 2*a = -d. Let h = 13 - 8. Put -2, a, h in increasing order.
-2, a, h
Let t(p) = p**2 - 7*p + 5. Let u be t(5). Sort 4, 1, -1, u in descending order.
4, 1, -1, u
Suppose -92 = -4*x + 12. Sort 0, x, -2 in ascending order.
-2, 0, x
Suppose -k + 2 = 0, 3*k - 22 = 3*m - 2*k. Let j be 2/8*2*2. Let c = 3 - j. Put c, m, -1 in decreasing order.
c, -1, m
Suppose 3*z - 5 = 1, -2*z = 2*k + 4. Suppose c + 1 = -a, -2*c - 2*a - 6 = -c. Suppose -10 - 15 = 5*x, -5*x = -c*f + 25. Sort k, 1, f in decreasing order.
1, f, k
Let a be 1/(-2 + 1) - -4. Suppose a*s - 3 + 18 = 0. Suppose -5*k - 3 = -u + 4, 3*u = 4*k - 1. Sort -4, u, s in decreasing order.
u, -4, s
Let l be (-78)/351 - (-16)/(-9). Sort 0.06, 0.5, 4, l in descending order.
4, 0.5, 0.06, l
Let z = 3.13 + -0.73. Sort 0, z, -5 in descending order.
z, 0, -5
Suppose p + 2*p + 15 = 0. Suppose 3*r + 3*k = 1 - 4, 5*r - k - 7 = 0. Put r, p, 5 in decreasing order.
5, r, p
Let k be (-1 + 2)/(14/(-4)). Let j = -55 + 26. Let t = -57/2 - j. Sort 3, t, k.
k, t, 3
Let q = 2 + -2.4. Sort 1/5, 4, q.
q, 1/5, 4
Let l = 7 - 2. Suppose 3*r - 2*f - l + 19 = 0, -9 = 3*r + 3*f. Sort r, 4, 2 in decreasing order.
4, 2, r
Let t be 1/5 - (-20)/25. Put t, 5, -3 in increasing order.
-3, t, 5
Let a = -8.6 - -9. Let u = 0 - a. Put -0.1, 2, u in decreasing order.
2, -0.1, u
Suppose -3*o = -2*o - 3. Let i be (-1)/(-1)*(-1 + 2). Sort o, -4, i in decreasing order.
o, i, -4
Let o = -0.3 - -1.3. Put 6, o, -5, 0.1 in decreasing order.
6, o, 0.1, -5
Let x = -3 + 3.4. Let v = -4.5 + 4.1. Put x, v, -2/7 in descending order.
x, -2/7, v
Let g = 1/5 + -7/10. Let r(v) = -v - 1. Suppose -2*i - 5*m = -17, 0*m = -m + 5. Let s be r(i). Put g, s, -1/5 in increasing order.
g, -1/5, s
Let l = -179 - -1251/7. Let d be -1*2 + 64/30. Sort l, 0.4, d in decreasing order.
0.4, d, l
Let h(o) = -o**3 + 6*o**2 - 5*o - 4. Let g be h(5). Sort g, -2, 33 in descending order.
33, -2, g
Suppose 3*o = -4 + 1. Suppose 0 = i - 1, z + 6*i = 3*i + 5. Let b = -5 + 9. Sort o, z, b.
o, z, b
Let c(w) = w + 5. Let o be c(-3). Sort -1, -2, o.
-2, -1, o
Let d = -177 - -174. Put d, 7, 4, 2 in increasing order.
d, 2, 4, 7
Let s(g) = 2*g**2 + 2*g + 2. Let u be s(-3). Suppose 7 = -3*z - u. Let d = -4 - z. Put 0, -4, d in ascending order.
-4, 0, d
Suppose 0 = -3*q - 3*t - 3, 4*t = -3*q - 2. Suppose 11 = -2*m + u, -21 = 2*m + 2*m - u. Put q, 6, m in ascending order.
m, q, 6
Let c(r) = -9*r + 29. Let a be c(3). Sort a, -3, -10, 1/3 in decreasing order.
a, 1/3, -3, -10
Suppose 5*m - 7 = 4*y - 2, 3*y = 3*m - 6. Let l be (-7)/((-294)/(-4))*m. Sort 5, l, 1/3.
l, 1/3, 5
Suppose -5*y = 3*v + 3 + 17, 4*y - 5*v - 21 = 0. Let u be (6/2 + 2)/y. Sort 4, u, -1 in descending order.
4, -1, u
Let q = -0.5 + -1.5. Let p = 10 + -5. Suppose -a - 5*z + 6 = 0, -3*a - p*z = -a - 7. Sort 4/7, q, a in descending order.
a, 4/7, q
Suppose -o - 4 - 3 = -3*q, -7 = -o - 4*q. Sort o, 1/3, 0 in descending order.
1/3, 0, o
Let c = -6028/15 + 402. Sort -2, c, 4 in descending order.
4, c, -2
Let k = -1.3 - -1.2. Sort k, 1, -1 in decreasing order.
1, k, -1
Let s(u) = -3*u + 7. Let h be s(3). Sort 4, h, -4 in increasing order.
-4, h, 4
Let l = -3599/13 + 277. Sort l, 1, 0.3 in descending order.
1, 0.3, l
Let r = 0.54 + -0.04. Let q = -4 + 4.4. Put r, q, 3 in descending order.
3, r, q
Let s = -1 - -2. Let z = 41 - 449/11. Sort z, s, -1.
-1, z, s
Let s be (-3)/18 - (-3)/6. Put -0.3, s, -1/2, 5 in decreasing order.
5, s, -0.3, -1/2
Let g be (7/((-126)/(-12)))/(-2). Let m = 2 + -3. Put -0.1, m, g in ascending order.
m, g, -0.1
Let t = -118.7 + 114. Let c = t - -0.7. Sort c, 0.5, 0.1 in ascending order.
c, 0.1, 0.5
Suppose 4*z = 2*v + 8, 3*v - 3*z = v - 5. Let a be 2/(-7) + 30/(-42). Sort a, -6, v.
-6, a, v
Suppose -2*w + 6 = 4*r, 10*r - 15 = -2*w + 15*r. Suppose 0 = 3*o - 6 - 9. Suppose 3 + o = -4*z. Sort z, -4, w in descending order.
w, z, -4
Let q = 1.89 - -0.11. Let b = -10 - -9.5. Let j = -1 + 0. Put j, q, b in ascending order.
j, b, q
Let y = 4.612 - -0.088. Let l = y - 5. Sort -3/2, l, -3 in increasing order.
-3, -3/2, l
Let s = 5.7 - 2.7. Let b = -2 - 4. Let l = b - -5.7. Put l, 4, s in increasing order.
l, s, 4
Let c be ((-4)/10)/((-2)/10). Suppose 0 = 4*q - c*q - 12. Suppose -4*n = -q*n + 6. Sort 1, -3, n.
-3, 1, n
Let k = -7 - -11. Suppose 19 = -2*a - 3*a - o, -20 = 4*a - k*o. Sort 1, 10, a in ascending order.
a, 1, 10
Let f = -5 - -2. Let x(v) = -12*v - 112. Let h be x(-9). Sort f, 0, h in decreasing order.
0, f, h
Let f(m) = -m**3 + 3*m**2 - 3*m + 2. Let a be f(3). Put a, 4, -5 in ascending order.
a, -5, 4
Let n = 13 - 13. Sort 3, -1/2, n in increasing order.
-1/2, n, 3
Let h be 4/(1/(1 + 0)). Suppose -h*y + 3 = -y. Suppose -4*w + w = 5*g + 17, -4*g - 17 = -w. Sort 3, g, y.
g, y, 3
Let y(s) be the third derivative of -s**5/60 - s**4/12 + s**3 - 8*s**2. Let o be y(-4). Let j = -10 + 5. Put j, 4, o in ascending order.
j, o, 4
Let b = -2 - 3. Suppose -91 = 3*z - 13. Let a be z/(-6) - 11/33. Sort b, 5, a in descending order.
5, a, b
Suppose 4*r = -147 + 43. Let p = 51/2 + r. Let o be (-12)/9 + (-2)/(-1). Sort 0.1, o, p.
p, 0.1, o
Suppose -5*r = -15 - 10. Let m = -8 + r. Let p = 0.8 - -4.2. Sort m, -5, p.
-5, m, p
Let o = 6.1 + -6.149. Let x = -0.509 - o. Let l = 0.06 + x. Put -1, l, 5 in descending order.
5, l, -1
Let l be (-3 + 2)/(3/(-33)). Suppose -3*a - 24 = -z - 2*z, 0 = 2*z - a - l. Sort 5, 2, z.
2, z, 5
Suppose 0 = -3*i - 0*i + 15. Put i, -4, 1, 2 in decreasing order.
i, 2, 1, -4
Let p = 5 - 2. 