-5). Put -1, 2, h in decreasing order.
2, -1, h
Let o = -598/285 - -31/19. Let x be 2/(-4) + (-233)/(-210). Let l = x + o. Sort -4/3, l, -3/2 in increasing order.
-3/2, -4/3, l
Let f(b) = b. Let h be f(-6). Let d be (-4)/6 + (-22)/h. Sort 0, d, 1.
0, 1, d
Let u = -348.9 + 327. Let r = u - -22. Sort -5, 1/3, r.
-5, r, 1/3
Let b = -14.2 - -12. Let s = b + 0.2. Let h = -85 + 259/3. Sort -0.2, s, h in increasing order.
s, -0.2, h
Let v = -7 - -12. Sort 2, -3, v in decreasing order.
v, 2, -3
Let j be ((-3)/9)/((-4)/24). Sort 5, 1, -1, j.
-1, 1, j, 5
Let w = 5.82 - 5.9. Put -4, 4, w in increasing order.
-4, w, 4
Suppose -3*i - 3 = r, -r - 2*r + 3*i - 9 = 0. Put r, -4, 18, 5 in increasing order.
-4, r, 5, 18
Let v = 3 - 3. Let w(q) = q**3 + q**2 + q + 5. Let g be w(v). Suppose 6 = 2*y - g*y. Sort y, 1, -5.
-5, y, 1
Let n = -0.9 - -1.9. Sort n, -2, 4 in decreasing order.
4, n, -2
Let s = 43 - 43.1. Let z = 7 - 6.7. Put 2/17, z, s in ascending order.
s, 2/17, z
Suppose 5*q - d = 11, d = 2*q - q + 1. Suppose 18 = -3*c + q. Let y be 24/18 - 2/(-3). Sort c, -2, y in descending order.
y, -2, c
Let m = 0.5 + 4.5. Let t = -3 + m. Let y = t + 3. Put y, -0.1, -1 in decreasing order.
y, -0.1, -1
Let t = -0.18 + -0.22. Put t, -3, -1/2 in descending order.
t, -1/2, -3
Let u(r) = r**2 - 3*r - 5. Let w be u(5). Let h = w + 0. Let c = 11 + -15. Sort h, c, 2 in decreasing order.
h, 2, c
Let q be (-35)/5 + (-2)/(-1). Let o(f) = -f**2 - 6*f - 7. Let j be o(q). Put j, 2, -3 in increasing order.
-3, j, 2
Suppose -10 = -4*h + 4*s + 6, -2*s = -3*h + 8. Let g = 3 - 0. Sort h, -2, g in descending order.
g, h, -2
Let v = 3 - -9. Suppose o = -3*o - v. Let r be (-17 + 7)*(6/10 - 1). Put r, 5, o in decreasing order.
5, r, o
Suppose -2*k - 2*k = j + 23, -k + 1 = -2*j. Suppose 6*l + 15 = 9*l. Let v(s) = 3*s + 1. Let y be v(-1). Sort l, y, j.
j, y, l
Let y be (-2)/(-6) + 2/3. Let j = -59 + 59. Sort j, y, 2 in increasing order.
j, y, 2
Let z = 1.7 - 2. Let l = 5.3 + z. Let a be ((-6)/(-2))/(4/(-2)). Put 1/3, a, l in decreasing order.
l, 1/3, a
Let k be (-8)/4 + 478/264. Let r be (-1)/(-2) - 29/66. Let z = k - r. Sort z, -0.2, 0.1 in increasing order.
z, -0.2, 0.1
Let z = 5 - 1. Sort -4, z, 2 in descending order.
z, 2, -4
Let t be (-80)/(-6) + 6/9. Suppose -s - 5*o = 3*s + t, -4*s - 8 = 2*o. Sort s, 2, -1/10 in increasing order.
s, -1/10, 2
Let z(m) = 5*m + 31. Let i be z(-7). Let n be (0/1 - -2) + -1. Let v be -1 - (3 + -5 + 3). Sort n, i, v in ascending order.
i, v, n
Suppose 0 = 3*v - 1 + 4. Sort 5, 2, v in descending order.
5, 2, v
Let t = -2.03 + 0.03. Let f = t - -2. Let j = 2 - 2.5. Sort j, f, -0.3 in ascending order.
j, -0.3, f
Let q = -4 - 0. Let f be 11/(-10*2/q). Let i = f + -13/5. Put 0, 0.5, i in ascending order.
i, 0, 0.5
Let b = 0.1 - 0.1. Suppose 3*w - 8 = 5*i, i = 3*w - 4*w. Sort b, -0.1, i in descending order.
b, -0.1, i
Suppose 0*q = 3*q - 3, 5*q = 2*v + 9. Sort -19, v, 5 in increasing order.
-19, v, 5
Let v = 4.78 + 0.22. Let o = v + -4.5. Sort -0.2, -1, o in descending order.
o, -0.2, -1
Let l = 73 + -143/2. Let o = -2.1 + 2.4. Sort 5/7, l, o in increasing order.
o, 5/7, l
Let m(j) = -j**2 + j - 2. Let p be m(0). Put 1, p, 3 in ascending order.
p, 1, 3
Let z = -43 - -39. Put 5, 0, -3, z in decreasing order.
5, 0, -3, z
Let y be 1*-2 - (32 - 37). Let m(k) = k**2 + 8*k + 7. Let o be m(-7). Put -3, o, y in increasing order.
-3, o, y
Let v(m) = m**3 - 4*m**2 + 4*m - 5. Let t be v(2). Put 8, -4, 5, t in decreasing order.
8, 5, -4, t
Suppose -3*h = 2*a - 20, 4*a = 3*h - 2 + 24. Let p be (-26)/91*a/1. Put 5, -3, p in descending order.
5, p, -3
Let a = 116 - 120. Sort -3/4, -0.1, -0.2, a in ascending order.
a, -3/4, -0.2, -0.1
Suppose 5*w + 8 = 28. Sort w, 5, -6 in decreasing order.
5, w, -6
Suppose 0 = 2*h - h. Sort h, 4, -4 in descending order.
4, h, -4
Let k = 8 + -6. Sort 4, k, 1 in increasing order.
1, k, 4
Let t = 8 - 9. Let q be 12/(-3) - t*2. Put 2, q, -1/4 in descending order.
2, -1/4, q
Let z = -146 + 146. Sort z, -1, -3, 5 in ascending order.
-3, -1, z, 5
Let q = 6/13 - 17/65. Sort 1, q, 3 in decreasing order.
3, 1, q
Let j be ((-4)/6)/(28/(-24)). Put j, -0.3, 4 in ascending order.
-0.3, j, 4
Let y = -12 + 22. Let h be (-4 + -2)/((-15)/y). Sort 0, -1, h in ascending order.
-1, 0, h
Let z be (-1)/(120/(-792) + 4/(-22)). Put 5, z, 2, -1 in increasing order.
-1, 2, z, 5
Let j be ((2/(-3))/(22/99))/(-1). Sort j, 0, -2, 4 in descending order.
4, j, 0, -2
Let i be 2/(-8) - 30/8. Let k be (-22)/(-6) - 2/3. Put k, i, -5 in ascending order.
-5, i, k
Let n = 4 - -1. Suppose n - 17 = -4*w. Let d be -1*(2 - 1)*w. Sort -5, d, 4 in increasing order.
-5, d, 4
Suppose -2*l - y - 5 = 0, 3*y - 20 = -5*l + 6*l. Let m(t) = t**3 - 5*t**2 + 6*t - 3. Let d = 0 + 4. Let b be m(d). Put 3, b, l in decreasing order.
b, 3, l
Suppose 6*b - 75 = b. Suppose 3*k + 0*k - b = 0. Sort k, -1, 3.
-1, 3, k
Suppose 5*m = 20, m = -2*b + 2*m + 2. Let x(w) = -w + 3. Let y be x(5). Suppose z = -2 + 3. Sort y, b, z in decreasing order.
b, z, y
Let o be 2/(-9) + (-10)/54*15. Let p(i) = -i**3 - 4*i**2 - 5*i - 3. Let a be p(-3). Put 5, a, o in decreasing order.
5, a, o
Suppose -2*d + x + x = -2, 3 = -3*d - 3*x. Sort 3, d, -2 in ascending order.
-2, d, 3
Let g = 3.4 - 3.8. Sort g, -5, -2/9 in ascending order.
-5, g, -2/9
Let q = 1 - -2. Let h = -0.03 + 0. Let x = h + 2.03. Sort x, q, 0.5 in decreasing order.
q, x, 0.5
Let k(s) = -2*s. Let q be k(0). Let n(t) = t**3 - 4*t**2 + 4*t - 3. Let r be n(2). Put r, -4, q in descending order.
q, r, -4
Let z = 8 + -9. Put z, -4, -0.08 in decreasing order.
-0.08, z, -4
Suppose 0 = 3*g + 4*v - 27, -3*g = -7*v + 4*v - 6. Sort g, 6, -5.
-5, g, 6
Let l = -11 - -7. Let g = 170 - 2888/17. Let k be (-80)/175 + 3/(-21). Put k, l, g in decreasing order.
g, k, l
Let g = 13 - 8. Let b be (-3)/15 + 28/(-10). Let v = b + 4. Sort -4, g, v.
-4, v, g
Let v = -0.2 + -0.2. Put v, 5, -1, -0.5 in descending order.
5, v, -0.5, -1
Suppose 2*j - 36 = -0. Let f be j/4 - 1/(-2). Put f, 1, 2 in increasing order.
1, 2, f
Let i = 15 + -15. Put -5, i, 5 in decreasing order.
5, i, -5
Let a = 38 + -38. Sort -3, a, -2.
-3, -2, a
Suppose -3*i - 5*r - 11 - 10 = 0, 4*i = -5*r - 23. Let w = i + -3. Sort 4, w, 1 in decreasing order.
4, 1, w
Let j = -10.23 + 0.23. Let p = j + 10. Sort 0.09, 4, p in ascending order.
p, 0.09, 4
Let r be 2*3/9*(-9)/6. Put -5, -4, -3, r in descending order.
r, -3, -4, -5
Let k be -3 - (-3)/(-1) - -1. Let x = 1.5 + -1.2. Suppose -2 = -0*p + 2*p. Put k, x, p in increasing order.
k, p, x
Let k = -6 - -11. Suppose -4*t + 1 = k. Put t, 0, -4 in ascending order.
-4, t, 0
Let z = -59 - -63. Sort z, 5.4, -0.4 in increasing order.
-0.4, z, 5.4
Let q(c) = c**3 - 6*c**2 + c + 4. Let k be q(6). Suppose 4*w - 1 = 19, 3*w = -x + k. Sort 2, x, 1 in decreasing order.
2, 1, x
Let p = 3.5 - 3. Sort -1/3, -3/4, p.
-3/4, -1/3, p
Suppose 0 = -2*r - 4, -4*f + 5*r + 52 = -6*f. Let d be 7/(f/(-18)) + 0. Suppose 5*y = d + 9. Put -4, 0, y in increasing order.
-4, 0, y
Let y = 1.8 + -3. Let i = 8.8 - y. Let f = i - 14. Sort 1, 0.5, f in decreasing order.
1, 0.5, f
Let u = -7/3 + 5/6. Let y = -8.3 - -8. Sort y, u, 2.
u, y, 2
Suppose 2*x + 2*x + 5*c + 28 = 0, -5*c - 26 = 3*x. Let s(l) = 3*l + 4. Let w be s(x). Put w, -1, 3 in descending order.
3, -1, w
Let c = 38 - 492/13. Suppose 10*u = 9*u - 2. Sort 2, u, c in increasing order.
u, c, 2
Suppose -42 = -10*h - 2. Put h, 0.4, -6 in increasing order.
-6, 0.4, h
Let y(d) = d**2 + 14*d + 29. Let w be y(-11). Put 0, -0.2, 0.1, w in descending order.
0.1, 0, -0.2, w
Let a = 1486528/11 - 135011. Let k = -128 + a. Let f = 28/55 - k. Put f, -0.1, 0.2 in ascending order.
-0.1, 0.2, f
Let v = 3.2 + -3. Sort -1, v, 2/7.
-1, v, 2/7
Suppose -17 + 5 = 3*x. Suppose 0 = -18*d - 5*d + 115. Let k = -8 - -3. Put x, d, k in descending order.
d, x, k
Let p = -12 - -22. Suppose 0 = 3*x + 1 - p. Let c be ((-6)/9)/((-2)/(-6)). Sort c, x, 4 in ascending order.
c, x, 4
Let v(a) = a + 1. Let m be v(-4). Let o(j) = -3*j**2 + j**2 - 6*j + j**2 - 2. Let n be o(-6). Sort m, -5, n.
-5, m, n
Suppose -4*l + 5 = m, -24 - 29 = 3*m - 5*l. Let t be m/(-9) - (-2)/(-9). Suppose 4*f = -2*s - 16, -f = -5*s + 2*f - t. Sort s, 2, 0 in descending order.
2, 0, s
Let g = 4.5 + -5. Suppose 0 = 3*d -