Let t be (-2)/3 + h/(-30). Sort 0, y, t in descending order.
0, t, y
Let o = -0.193 - -0.093. Put o, 0.05, 2 in descending order.
2, 0.05, o
Let k = -0.4 + 0.7. Sort k, -1/4, 5 in descending order.
5, k, -1/4
Let o be (156/15)/(-4) - 2/5. Sort -7, -2, o in descending order.
-2, o, -7
Let w = -6 - -3. Let a = -9 - -17. Let d = a + -8.3. Put d, w, -0.5 in descending order.
d, -0.5, w
Suppose 4*o = 4*q + 4, -8 = 5*o - 2*q + 2. Suppose -5*f - 7 = -27. Sort f, -1/2, o.
o, -1/2, f
Suppose -2*u + 1 = -9. Sort 3, u, 2/9.
2/9, 3, u
Suppose 3*c - 3*u + 24 = 0, -c = 3*c + 4*u - 8. Sort -4, 1, -6, c in descending order.
1, c, -4, -6
Let r be 1 - (-1 + 2/(-2)). Let t be (0 - 1)/((-3)/18). Let g be 2/t + 4/(-12). Put g, 2, r in ascending order.
g, 2, r
Let b(g) = -2*g + 17. Let j be b(7). Put 1, 22, j in ascending order.
1, j, 22
Let p = -14 + 18. Let q be (1/p)/(135/72). Sort q, 1, 0.09 in descending order.
1, q, 0.09
Suppose 5*r = -c + 4*c - 17, 2*r = 5*c - 3. Suppose l = -3*l + 4*y + 4, 5*l + 5*y = 15. Sort r, 5, l.
r, l, 5
Let s = 0.01 + 0.19. Sort s, -0.2, -0.1, 4 in decreasing order.
4, s, -0.1, -0.2
Suppose 2*i = 3*t + i + 12, -4*i + 9 = t. Let b be (3 + -4)/((-2)/46). Suppose 3*g - a + 7 = -6, -3*g - b = 4*a. Put 5, g, t in increasing order.
g, t, 5
Let y = -16 - -11. Let s be ((-15)/10)/(6/(-20)). Suppose -s*k - 4*m + 13 = -10, 6 = 3*m. Sort k, -3, y.
y, -3, k
Let o(u) = -2*u + 4. Let g be o(10). Let l = 11 + g. Sort -0.4, 1, l.
l, -0.4, 1
Let q = 717/5 - 144. Suppose 2*p = -13 - 1. Let c be 27/168 + 2/p. Sort q, c, 3 in ascending order.
q, c, 3
Let i be (-36)/44 - (-6)/(-33). Put -6, i, -3 in increasing order.
-6, -3, i
Let g = -22/5 - -23/5. Sort -5, g, 0 in descending order.
g, 0, -5
Let b(g) = -g**2 - 6*g + 1. Let v be b(-6). Sort -1, v, 2 in descending order.
2, v, -1
Suppose 0 = -6*z + 2 + 4. Put 13, z, 4 in decreasing order.
13, 4, z
Let n = -0.05 - 0.35. Let g = -25.4 - -25.8. Sort n, -3, g in ascending order.
-3, n, g
Let i = 42.5 - 26.8. Let d = i + -16. Put d, 2, 0 in increasing order.
d, 0, 2
Let a = 51.1 + -51. Let q be 4/(-3) - (-4)/6. Sort 0.2, q, a in increasing order.
q, a, 0.2
Let d = 156608/45 + -3478. Let m = d - 12/5. Sort -0.3, m, -5 in descending order.
m, -0.3, -5
Let j = 6 - 4. Let p = 1 - 2. Put p, j, 0 in ascending order.
p, 0, j
Let d = 36 + -41. Sort 1, 0, d in increasing order.
d, 0, 1
Let r = -21 + 17. Sort -0.5, -2, r in descending order.
-0.5, -2, r
Let f = -0.2 + -2.8. Let g = -2 + f. Sort g, 0.4, 4 in decreasing order.
4, 0.4, g
Suppose g = -2*n - 3*n, -4*n + 16 = 4*g. Suppose 4*k = 3*v + g, k + 4*v = 4 + 2. Let m be (-25)/(-10)*8/5. Put -1, m, k in ascending order.
-1, k, m
Let q = -15 + 14. Suppose 3*d - 4 = 4*u, -5*d - 4*u - 9 = 27. Put -2/7, q, d in decreasing order.
-2/7, q, d
Let w = -42 + 39. Sort w, 1, -9.
-9, w, 1
Let f = -20.1 - -20. Let m be -1 + ((-6)/4)/(-3). Sort m, f, -0.4 in decreasing order.
f, -0.4, m
Let w = 69 + -346/5. Sort 0.5, w, -3 in descending order.
0.5, w, -3
Suppose 2*y + 3 = -21. Let l = y + -18. Let m be (l/(-9))/((-4)/(-6)). Sort m, -1, 3 in increasing order.
-1, 3, m
Suppose h + 2*k - 2 = -3, -2*k - 2 = 0. Let z = 5 + -2. Let l(t) = t**3 - 2*t**2 - 3*t - 4. Let x be l(z). Sort h, 0, x.
x, 0, h
Let p = 1 + 2. Let d(f) = f**2 + 7*f + 6. Let v be d(-6). Put v, -2, p in decreasing order.
p, v, -2
Suppose 16 = 4*o, m + 0 - 3 = o. Let a = -10 + m. Let n = 2 - a. Put 2, 4, n in increasing order.
2, 4, n
Let i(u) = -u**3 - 5*u**2 + 7*u + 6. Let l be i(-6). Let c be (-1)/2 - 14/(-28). Let v(g) = -2*g + 2. Let f be v(c). Sort 5, f, l.
l, f, 5
Let f = 0.34 + 0.06. Let t = 0.1 - -2.9. Sort 2/9, t, f in increasing order.
2/9, f, t
Let y(u) = 3*u**2 + 1. Let a be y(-1). Let m be 0/1*(-2)/4. Let j be (m - -1)/(4/(-8)). Sort 3, a, j in ascending order.
j, 3, a
Suppose -u = 4*t + 7, u - 1 - 6 = 3*t. Let w(h) = -h**2 + 7*h + 11. Let p be w(8). Let j = 667/7 - 95. Sort t, j, p in descending order.
p, j, t
Let y = -2/213 + -44/355. Let b = -1.8 - -2. Sort b, -4, y in decreasing order.
b, y, -4
Let c = -49 - -48. Sort -0.04, -3, c in descending order.
-0.04, c, -3
Let g = 0 + -0.01. Let l = 0.01 + g. Let a = l - 0.5. Sort a, 3, -2 in descending order.
3, a, -2
Let i = -9.3 - 1.7. Let j = i + 11.4. Put j, -2/9, -2/19 in decreasing order.
j, -2/19, -2/9
Let z = 36 - 109/3. Put 1, 2/11, z in descending order.
1, 2/11, z
Let j = -57 + 57. Let y(b) = -b**2 + 5*b - 2. Suppose -5*z = -s - 4*s + 20, 3*z = 2*s - 9. Let c be y(s). Sort c, j, 5.
j, c, 5
Let k(a) = -a**2 - 3*a - 2. Let y be k(-3). Suppose 0*v = v - 5. Let r = v - 6. Put r, y, -5 in decreasing order.
r, y, -5
Suppose 28 = -5*i + 4*i. Let a = i + 26. Sort a, -5, -4 in decreasing order.
a, -4, -5
Suppose 3*q = t - 8, 11 = -0*q - 2*q - 5*t. Let r(x) = x**2 + 3*x + 4. Let s be r(q). Sort 5, 2, s in decreasing order.
5, s, 2
Let k = 6/43 + 56/215. Sort k, 0.1, 5, -3.
-3, 0.1, k, 5
Let t = -0.66 + 0.16. Put 1, t, -2.5, -0.1 in decreasing order.
1, -0.1, t, -2.5
Let f(m) = -m**2 - 3*m. Let v be f(-2). Suppose v*l = l. Let n = -0.3 - -0.8. Sort l, -2, n in decreasing order.
n, l, -2
Let c be (((-4)/(-8))/(1/2))/(-1). Sort -2, c, 3, -4 in decreasing order.
3, c, -2, -4
Suppose 42 = 2*o - 6. Let f be 8/2*(-4)/o. Let g = 1 + -1.1. Put 1/9, g, f in decreasing order.
1/9, g, f
Suppose -5*k - 59 = -3*m, -4*k - 33 = -m + 10. Let s be 4/k + 6 + -6. Sort s, 5, 2/3 in decreasing order.
5, 2/3, s
Suppose -k = -5*z - 5, -k - 18 = 3*k - z. Let v = -163 + 160. Put k, v, 4 in ascending order.
k, v, 4
Suppose o + 4*w - 12 = 1, 17 = o + 5*w. Sort 3, o, -2 in descending order.
3, -2, o
Let y be 2/17 - 318/102. Put y, 2/27, 2, 0.1 in descending order.
2, 0.1, 2/27, y
Let y be (27 - 33)*(-1 + (-2)/(-6)). Sort y, -1, -2, 3 in ascending order.
-2, -1, 3, y
Let a = -30 + 32. Sort 3, a, 4 in increasing order.
a, 3, 4
Let p = 2 - 1.4. Let c = -0.1 + p. Let x be 1/3 + (-4)/(-42). Put c, x, -1 in decreasing order.
c, x, -1
Let v be 24/9 - (-3)/9. Sort -5, 2, 0, v in decreasing order.
v, 2, 0, -5
Let a be (-2)/(-4)*1*-1. Let r = 2.6 + -0.6. Let y = 26 + -21. Sort r, a, y in increasing order.
a, r, y
Let u = 2.9 - -2.1. Sort 0.5, -5, u.
-5, 0.5, u
Let x = 0.2 - 0.4. Let t = -9 - -8. Sort t, -4, x in increasing order.
-4, t, x
Suppose -4*o = -2*o - 10. Let c be (8/(-3))/(3/(-9)). Sort o, 2, c.
2, o, c
Let x = -10 - -21/2. Let v = 0 + 1. Let c = 0.1 + -0.6. Sort v, x, c.
c, x, v
Let r = -61 - -551/9. Let c = -2 - 2. Sort c, r, -5.
-5, c, r
Let s(q) = -q**3 + 15*q**2 + 14*q + 32. Let j be s(16). Let b be (1 - -1)*1 + 1. Put j, -1, b in increasing order.
-1, j, b
Let o be ((-8)/(-20))/(1/5). Suppose -o*y = -4*y + 2. Let k(c) = -c**3 + 7*c**2 - 6*c - 3. Let x be k(6). Sort x, y, -4.
-4, x, y
Let m be 3/(-6)*4 - (-1 + 3). Sort -3, m, 4 in ascending order.
m, -3, 4
Suppose 75*r = 80*r - 20. Put -1, -5, r in increasing order.
-5, -1, r
Let k(o) = o**2 + 4*o - 7. Let w be k(-6). Let q = -35 + 29. Sort q, w, 3 in descending order.
w, 3, q
Suppose 9*y + 24 = 6*y. Let r = -12 - y. Sort r, 0, 1.
r, 0, 1
Let m be -2*1 + 6 - 2. Suppose m*i = -2*i + 16. Suppose -2*g = 3*o + 9, 17 = -2*o + 2*g + 1. Put i, o, 1 in increasing order.
o, 1, i
Let z = -5.14 - -0.14. Suppose 4*q + 3*l = 12 - 2, 2*q + 4*l = 0. Put z, q, 2 in increasing order.
z, 2, q
Let q = 2.8801 + 0.0499. Let y = q + -3. Put -0.5, 0.2, y in descending order.
0.2, y, -0.5
Let g = 0.07 + 0.03. Put -1, g, -1/4 in decreasing order.
g, -1/4, -1
Let t be 8/12*-1 - 8/6. Put 3, -5, t, 4 in ascending order.
-5, t, 3, 4
Let z(n) = 2*n**2 + n. Let x be z(-1). Let v = 5 - x. Suppose -5*d - f + 15 = 0, -d - 3*d = 4*f + v. Put d, -1, 1 in increasing order.
-1, 1, d
Suppose 0*v - 5*x = -v + 16, 3*v = 5*x + 18. Let n be v + 6/2 - 3. Let p(l) = l**3 + 3*l**2 + 4*l + 3. Let t be p(-2). Put 5, n, t in ascending order.
t, n, 5
Let k(g) = g**2 - 28*g - 26. Let l be k(29). Put 0, l, -5, -7 in decreasing order.
l, 0, -5, -7
Let s = 22 + -25. Sort 5, 0, s in decreasing order.
5, 0, s
Suppose 6 = 4*m - 5*k - 5, 5*m - k = -2. Sort 1, m, 7 in decreasing order.
7, 1, m
Let c = -13 - -9. Suppose -u + 2*u = -4*s + 10, -2*u + 3*s - 2 = 0. Suppose -u*i + 11 = 1. Sort c, -5, i in descending order.
i, c, -5
Let c be ((-8)/6)/(6/(-9)). Suppose -c*s + 10 = -2*z, 5*s = 