 Sort o, 3, -2.
o, -2, 3
Let b = -2 - -1.9. Put -0.03, -0.4, b in increasing order.
-0.4, b, -0.03
Let q = -1 - -5. Suppose -4*b - q = -0. Let p = -4 - -6. Sort 0.4, p, b in descending order.
p, 0.4, b
Let h = 8 + -16. Let u be (10/(-380))/((-2)/h). Sort u, 0.3, -3 in increasing order.
-3, u, 0.3
Let y = -3.15 + -15.95. Let s = -18 - y. Let v = s + -0.6. Put v, 5, -1 in descending order.
5, v, -1
Let k = -29 + 33. Put -2, 25, -4, k in descending order.
25, k, -2, -4
Let i(s) = -10*s**2 + 5*s + 7 - 17 + 11*s**2. Let u be i(-7). Let v be 3/u - 42/120. Sort -5, -1/5, v.
-5, -1/5, v
Let u = 8 - 9. Let q be (-8)/(-3) + (-6)/(-18). Sort 4, q, u in ascending order.
u, q, 4
Let y = 40 - 35. Put 0, y, -4 in decreasing order.
y, 0, -4
Suppose 2*q - 4*q + 4*y = 2, 3*y + 9 = 5*q. Suppose -2*a + 7*a = 0. Suppose -4*r = 5*f + 1, 3*f = -5*r + 2 - a. Sort r, -2, q.
-2, r, q
Let r be (-57)/15 + (-2)/10. Let w be r*4/((-4)/1). Sort w, 2, -5 in decreasing order.
w, 2, -5
Suppose -4*z + u = -12, -z - 1 - 1 = u. Sort 1, -28, z in increasing order.
-28, 1, z
Let y = -20 - -19. Let o = -4 - -2. Put -5, y, o in descending order.
y, o, -5
Let o(k) = k**3 + k**2 - 3*k + 4. Let u be o(-3). Let y = 10 - 4. Let p = -6.4 + y. Sort -3, u, p in decreasing order.
p, -3, u
Let f = -32 - -29. Sort -2, f, 3 in decreasing order.
3, -2, f
Let q = 61 + -26. Let a be q/(-11) + 22/121. Sort 5, -5, a in decreasing order.
5, a, -5
Let i = -1 + -1. Let k = 34 + -33.99. Sort k, 1, i.
i, k, 1
Let s = 2 - 3. Put 5, s, -0.1 in decreasing order.
5, -0.1, s
Suppose -2*f + 3*u - 11 - 4 = 0, 3*f - 3*u + 18 = 0. Sort f, -11, 2.
-11, f, 2
Let s be 14/(-7)*(-1)/((-16)/6). Put 5, s, 0.4, -4 in decreasing order.
5, 0.4, s, -4
Let p be (12/6)/((-2)/(-4)). Suppose 3*j - 7*j = -12. Let k = 4 - 8. Put p, j, k in ascending order.
k, j, p
Let d = -6 - -7. Let z be 3 - d - (4 + 3). Sort 3, z, -4.
z, -4, 3
Suppose -6*w + 14 = w. Sort w, -1, 5 in decreasing order.
5, w, -1
Let b be (5/15)/(1/9). Sort b, -1, 2 in decreasing order.
b, 2, -1
Let a = -0.509 + 0.109. Suppose 0 = 5*m + 20 - 5. Let n be (-1*1)/(2 + m). Put n, -2/13, a in ascending order.
a, -2/13, n
Let h be 96/54 - (-6)/27. Sort -5, h, -0.023 in decreasing order.
h, -0.023, -5
Let p(b) = -b**3 - 11*b**2 + 11*b - 11. Let q be p(-12). Let a be -3 + q + 0 - 0. Let c(l) = -6*l + 1. Let i be c(1). Sort i, a, 3 in decreasing order.
3, a, i
Suppose -s + 6*s = -5. Let g(k) = k**3 + 5*k**2 + k + 6. Let i be g(-5). Sort 2, i, s in increasing order.
s, i, 2
Let z = 4 - 1. Suppose 0 = 3*q - 13 - 2. Sort -2, z, q.
-2, z, q
Suppose 0 = -4*c + c + 6. Let q(d) be the second derivative of -d**4/12 - 2*d**3/3 - 5*d. Let p be q(-3). Sort p, c, -2.
-2, c, p
Suppose -2*r + 3*g - 19 = 0, 4*r = -0*g - 3*g - 11. Let y = 7 - 4. Sort y, 2, r in decreasing order.
y, 2, r
Let a = 6 + -1. Sort 2/7, 3, a.
2/7, 3, a
Let k = -0.5 - -4.5. Let v = 9 + -8.94. Sort 1/8, v, k in descending order.
k, 1/8, v
Suppose -2*p - 2*z = 8 + 12, 2*z + 30 = -4*p. Let t be 1*(-3)/2 - -2. Let o = -2 + 0. Sort o, t, p.
p, o, t
Suppose -q = -6*q + u + 1179, q - 223 = -3*u. Let f = -2113/9 + q. Put f, -1/2, -3 in ascending order.
-3, -1/2, f
Let w(l) = -l**3 + 7*l**2 - 7*l + 2. Let g be w(6). Let t = 8 - 13. Sort 0, g, t in descending order.
0, g, t
Let j = -1 + 2. Let q(h) = -3*h - 1. Let n be q(-1). Suppose -5*a = 0, 3*a + 8 = -0*b + 2*b. Sort j, b, n in descending order.
b, n, j
Suppose i = -5*o + 15, 32 = 5*i + 5*o - 3. Put 2, i, -5 in decreasing order.
i, 2, -5
Let i be ((-8)/(-20))/((-28)/(-10)). Put i, -1/2, -0.07 in increasing order.
-1/2, -0.07, i
Let p = -123 + 981/8. Let j = 0.15 + 0.15. Put 2, j, p in ascending order.
p, j, 2
Let q = 161 - 965/6. Let x = -16 + 10. Sort q, x, -2/3.
x, -2/3, q
Let l = -63 + 62. Let d = 0 - -1. Let i = -0.2 + -0.1. Sort i, d, l.
l, i, d
Let i = -0.15 + 0.05. Sort 2/7, -4, -0.4, i in increasing order.
-4, -0.4, i, 2/7
Let x be 4/10 - 56/(-35). Sort -4, 1, x, 3.
-4, 1, x, 3
Let t = -1.4 - -0.9. Sort -4, 5/4, t in increasing order.
-4, t, 5/4
Let i = -17.3 + 17. Put -0.2, 3, i in descending order.
3, -0.2, i
Let x(i) = 2*i**2. Let b be x(-1). Suppose -6*z + 3*z = -2*r - 1, -4*r + 2 = -2*z. Sort b, -3, r in increasing order.
-3, r, b
Let a be (6/4)/((-1)/(-2)). Suppose a = 2*m + m. Put -4, m, 4 in ascending order.
-4, m, 4
Let w = -0.12 - 3.88. Sort 1/2, w, -24 in increasing order.
-24, w, 1/2
Let n be 45/(-4) + (-1)/(-4). Let i = -14 - n. Suppose -g - 5 = 0, -5*g = -5*r + 18 + 12. Sort r, i, -2.
i, -2, r
Let k be 8*(-4)/(-24)*-3 + 0. Put -1, 4, k, 1 in increasing order.
k, -1, 1, 4
Let q = -93 - -94. Put -4/5, q, -2/9 in ascending order.
-4/5, -2/9, q
Suppose -4*z + 8 = -3*z + 2*w, 2*w + 32 = 3*z. Let m = -8 + z. Sort 4, 3, m.
m, 3, 4
Suppose 0 = 4*n - 2*n + 72. Let s be n/(-30)*10/(-4). Sort 3, -5, s.
-5, s, 3
Let u(h) = -h - 4. Let y be u(-5). Put 3, 10, y in descending order.
10, 3, y
Let h = 0.11 + 0.89. Let j = 15 - 9. Let w = 3 - j. Sort h, 0.3, w in decreasing order.
h, 0.3, w
Let r be 4/(-10) - 62/(-5). Let h be 3/r + -3 + 2. Put h, 4, -3 in ascending order.
-3, h, 4
Let b = -22 + 241/11. Suppose 3*z - 8 = 4. Sort z, -3, b in descending order.
z, b, -3
Let d be ((-4)/2)/2 + 1. Let k(h) = 5*h + 2. Let t be k(4). Suppose 2*l - 4*g + 18 = 0, 5*g = 4*l + t + 5. Put d, l, -5 in ascending order.
-5, l, d
Let s be 2/(-6)*6/8. Put -3, s, 2/17 in ascending order.
-3, s, 2/17
Suppose 6 = -4*i - 2*c, i - 5*c = 6*i + 10. Let b(v) = 5*v + 1. Let f be b(i). Put -3, f, -1 in descending order.
-1, -3, f
Let z = -12 + 13. Let m be (-2)/4*(2 - 0). Sort z, m, -0.2.
m, -0.2, z
Let c(w) = 2*w - 1. Let p be c(4). Suppose -5*m - 4*g - g + 65 = 0, -2*m - g = -25. Let d = p - m. Sort d, -1, 0.
d, -1, 0
Suppose 10*v = -4*b + 6*v + 20, -b - 5*v = -5. Put b, -4, -3, 2 in ascending order.
-4, -3, 2, b
Suppose 3*p = -2*p. Suppose -5*m + 15 = 3*s, s - 3*m + 9 = -p*m. Suppose -5*j = 5*f + 66 - 21, -5*f + j - 15 = s. Sort 1, f, 3 in decreasing order.
3, 1, f
Let z = -0.47 + 1.1. Let f = z + -0.6. Sort f, 4, -0.2 in descending order.
4, f, -0.2
Let i be ((-10)/(-2) + -1)/(-1). Suppose 5*v = -2*f + 18, v = 6*v - 10. Suppose 0 = 5*p - 10, 4*x + 9 = x + 3*p. Put x, i, f in descending order.
f, x, i
Let l = -55/174 - 1/58. Let r = 0.1 - 1.1. Let m = r + 0.5. Put l, -1, m in ascending order.
-1, m, l
Let v = -11 + 8. Suppose 0 = 3*u - 7*u - 8. Let z be -9 + (-4)/(-2) - u. Sort v, 2, z.
z, v, 2
Let v be (2/6)/((-2)/4). Let q be 88/110 - (-2)/(-5). Sort v, q, -0.1 in descending order.
q, -0.1, v
Suppose j + 3 + 2 = 0. Let b be (-233)/((-5)/(2 + -3)). Let w = 47 + b. Sort w, j, -0.3 in descending order.
w, -0.3, j
Let v = -0.04 + -0.36. Suppose 0 = 13*g - 14*g + 9. Suppose 5*w - 21 = -2*j, -j - g = -4*w - 0*j. Sort 0, v, w.
v, 0, w
Let o = -14.97 - -15. Let m = -0.0458 + 3.0158. Let g = o + m. Sort g, 2, -1/3.
-1/3, 2, g
Let i(r) = r - 5. Let w be i(5). Let o = -4.3 + 5. Let y = 0.3 + o. Put y, 4, w in decreasing order.
4, y, w
Let u = -912/5 - -183. Let d be 5/(-15) - 26/(-42). Put u, d, -2/11 in decreasing order.
u, d, -2/11
Let k = 2539/28 - 349/4. Let x = k + -141/35. Sort 2/15, x, 1.
x, 2/15, 1
Let k be 135/(-6) - (45/(-10))/3. Sort k, 3, -1.
k, -1, 3
Let o(v) = v**3 - 7*v**2 + 2*v + 1. Let z be o(6). Sort 5, 1, z, 4.
z, 1, 4, 5
Suppose -2*a = 2*s - 28, -4*a - 5 = -3*s + 9. Let m = s + -15. Put m, 2, 3 in ascending order.
m, 2, 3
Suppose -2*d - 1 = -z, 3*d = -4*z - z + 31. Let j be (2/(-6))/(3/9). Let g = -4 + j. Put 2, g, z in decreasing order.
z, 2, g
Let i = 0.9 - 0.7. Let y = -0.4 + i. Put y, 1/2, -5 in descending order.
1/2, y, -5
Let m = -2.4 + 0.4. Let a = m - -1.6. Sort a, 1, -0.1.
a, -0.1, 1
Suppose -2*w + 4*w + 5 = -5*s, -3*s - 3 = -4*w. Put w, 4, -5 in decreasing order.
4, w, -5
Let c = -18.6 - 6.6. Let t = c + 25. Let d be (-5)/8*(-2)/(-10). Put t, -1/2, d in ascending order.
-1/2, t, d
Suppose 4*q - 11 = -7. Sort -1, q, -2 in descending order.
q, -1, -2
Let d be 2 + -2 - 1/7. Let q = -13.1 - -2.1. Let n = 16 + q. Put n, 2/13, d in increasing order.
d, 2/13, n
Let i = 29 + -24. Sort 5/2, i, 2 in decreasing order.
i, 5/2, 2
Let z be (0 + 4)/(3/(-3)). Put z, -17, 2 in ascending order.
-17, z, 2
Let q = 3 - 2. Suppose -4 = -u + 2*l, 2*u - 3*l + 3 = 11. Put q, 0, u in descendi