. Let y = 10 + l. Sort 0, 2, y.
0, 2, y
Let v(i) = -2*i**2 - 3*i - 1. Let u be v(3). Let s be (-6)/(-9)*(-6)/u. Let x = 0.06 + 0.44. Sort s, x, -5.
-5, s, x
Let g be 186/5 - (-2)/(-10). Suppose -7 + g = 5*m. Let p be (m/4)/(6/(-8)). Sort -1/3, 0.2, p.
p, -1/3, 0.2
Let o = 0.3 + -0.1. Let f = -165.9 + 166. Put o, 0.4, f in increasing order.
f, o, 0.4
Let a(c) = -c + 2. Let y be a(1). Suppose b - 8 = 3*h, 12 = -5*b - 2*h + y. Let s be (-1*2/8)/b. Sort s, -0.1, -2/5 in decreasing order.
s, -0.1, -2/5
Let v = 0.5 - 0.4. Let z = v + -0.5. Let i = -3 - -2. Put -0.2, z, i in ascending order.
i, z, -0.2
Let h = 1.8 + -2. Let c = -433 - -1301/3. Sort 0.2, c, h in descending order.
c, 0.2, h
Let j = 2.7 - -1.28. Let h = -0.02 - j. Let c = 17 + -12. Put c, 3, h in decreasing order.
c, 3, h
Let u = 17 + -21. Sort 2, 1, u in decreasing order.
2, 1, u
Suppose -o + 6 = 2*o. Suppose 2 = -o*v + v. Sort 5, -5, v.
-5, v, 5
Let n = 12 + -7. Suppose 3*p - 2*b = 3 - 1, 0 = -n*p - 3*b + 35. Let m be ((-2)/(-6))/(p/60). Put -5, m, 0 in descending order.
m, 0, -5
Let k = 10 + -10.4. Sort -1, k, -3, 0.01 in decreasing order.
0.01, k, -1, -3
Let f = -0.18 + 0.18. Sort -5, f, 5 in increasing order.
-5, f, 5
Let d = -0.092 - -1.092. Let g = 43 - 175/4. Sort -2, g, d in ascending order.
-2, g, d
Let y = -16 + 8. Let v = y - -11. Let s be 4 - 6 - 2/(-1). Sort 4, s, v.
s, v, 4
Let y = -2.8 - -3. Let c = -123.2 + 123. Sort c, y, -0.3.
-0.3, c, y
Suppose -31*l = -34*l + 12. Suppose -s + 2*s - 4*x - 25 = 0, 4*s + 2*x = 10. Put s, l, -3 in decreasing order.
s, l, -3
Let s = 0.034 + 0.026. Sort -4, s, 2/21 in descending order.
2/21, s, -4
Let t = -40.1 - -40. Sort 2, 1, -24, t in increasing order.
-24, t, 1, 2
Let f = 0.11 + -0.1. Put -0.5, f, -0.4 in descending order.
f, -0.4, -0.5
Suppose -o = -j - 5*o - 13, -5*j - 5*o = 5. Suppose -2*y = -j*y + 3*w + 6, -4 = y + 2*w. Put y, -1/2, -1/6 in descending order.
y, -1/6, -1/2
Let a be (2 - 4)*6/4. Sort a, 1, 2.
a, 1, 2
Suppose 6*c = -2*f + 11*c - 11, -2*c = 3*f - 12. Sort -3, f, 3, -2.
-3, -2, f, 3
Let b = 85.9 + -90. Let d = b - -4. Let o = 3.2 + -3. Put d, -0.3, o in decreasing order.
o, d, -0.3
Let n = -62 + 61. Put -3, 1, n in increasing order.
-3, n, 1
Let w = 16 - 8. Let p be w/(-44) + 6/154. Sort p, -5, -2/5 in ascending order.
-5, -2/5, p
Suppose -2*f = 136 - 140. Put f, -3, 6, -1 in decreasing order.
6, f, -1, -3
Let q be (-14)/3612*(0 + -143). Let i = q + 12/43. Put 3, i, 1 in increasing order.
i, 1, 3
Let c = -15.3 - -15. Let v = 22.4 + -22. Put c, 3, v in ascending order.
c, v, 3
Suppose 4*k - 4*g + g + 19 = 0, -4*k + 2*g = 22. Let x be k - 3/(-1) - 0. Sort -0.5, 3, x.
x, -0.5, 3
Suppose 2*r - 13 + 3 = 0. Sort -8, r, -2 in descending order.
r, -2, -8
Let p = 14 - 27. Let o = p - -13.3. Sort -3, o, -2 in descending order.
o, -2, -3
Let p = -10.1 - -10. Put 0.5, p, -1/6 in increasing order.
-1/6, p, 0.5
Suppose 4*z + 1 = q + 8*z, z = 2. Let v = q + 11. Put 3, -5, v in increasing order.
-5, 3, v
Let o(l) = -l**3 + 3*l**2 + 5*l - 1. Let b be o(4). Let y = b + -8. Put 3, -1, y in decreasing order.
3, -1, y
Suppose t - 15 = -2*t. Sort 1, t, 6.
1, t, 6
Let g = -3.2 - -3. Let m = g - -0.6. Let l = -0.1 - 0. Put 4/7, m, l in decreasing order.
4/7, m, l
Let v = 96 + -95. Sort v, -5, -23 in increasing order.
-23, -5, v
Suppose w + 0*w = 3. Let l(t) = -t**3 - 4*t**2 - 3*t + 4. Let n be l(-3). Suppose n*y + 9 = -11. Sort y, w, 0 in increasing order.
y, 0, w
Let x be (-4)/(-3) - (10/3)/(-5). Put 3, x, 2/43, 2/3 in descending order.
3, x, 2/3, 2/43
Let w(n) = 0*n**2 - 4 - 2*n**2 + 5 - 5*n + 3*n**2. Let z be w(3). Let u = 0 + -1. Sort 3, z, u in decreasing order.
3, u, z
Suppose 0 = -3*u - o + 5, -5*o = -4*u + 2*u - 25. Suppose 0*c + 3*c = u. Let w = 2 + -2.2. Put c, -1, w in increasing order.
-1, w, c
Let d = -51 - -56. Let v(l) = l**3 + 3*l**2 - 3*l - 2. Let g be v(-4). Let w(p) = p**3 + 7*p**2 + 8*p + 7. Let t be w(g). Sort 0, t, d in decreasing order.
d, 0, t
Suppose s - 9 = 4*c, -4*c - 5*s + s = 24. Put 2, -1, c in descending order.
2, -1, c
Let v = 4.03 - 0.03. Let c = 1376/3 + -458. Put c, -0.5, v in descending order.
v, c, -0.5
Let n be -2*2*10/8. Let x be ((-5)/(-10))/(n/(-2)). Sort -2, -3, x in decreasing order.
x, -2, -3
Let y = -0.33 - 2.37. Let a = 1.3 - y. Sort 0.3, 1/3, a in decreasing order.
a, 1/3, 0.3
Let o = 1.3 + -3.3. Let j = 0 - o. Let h = 1.1 + 2.9. Sort 1, h, j in decreasing order.
h, j, 1
Suppose -3*y + 5 = -x, -4*x + 5 = x. Sort y, 1/5, 5.
1/5, y, 5
Let q = 1.7 + -1.2. Let f be 0/(4/(-6)*3). Suppose 2*d - 2 + 0 = f. Sort q, 4, d.
q, d, 4
Let d = 13.8 + -12.6. Put -1/9, d, 3 in ascending order.
-1/9, d, 3
Let c = 5 + -7. Let j = -1.1 + 4.1. Let x = c - j. Put 5, -1, x in descending order.
5, -1, x
Let t be 6/(-9) + 23/3. Suppose -2 = -h - t. Sort -1/5, h, -2/17 in descending order.
-2/17, -1/5, h
Let l be (-448)/(-98) + 8/(-14). Let r be (4/(0 + -2))/1. Put l, r, -4 in decreasing order.
l, r, -4
Let a = 7 + -12. Let q(m) = m**2 + 3*m. Let x be q(-4). Sort x, a, 1.
a, 1, x
Let x = -5.4 + 9.4. Sort x, 0, 8/3 in ascending order.
0, 8/3, x
Let z = -3.4 + 1.4. Put -3, z, 0.2, 0.4 in descending order.
0.4, 0.2, z, -3
Let w = 13 - 10. Suppose w*i = i + 8. Sort -4, i, 0 in decreasing order.
i, 0, -4
Let l = 2.05 - 0.05. Let o = -3 + l. Let a = -1/20 - 1/5. Put o, 0.2, a in decreasing order.
0.2, a, o
Let k = -3 + 2.9. Put k, -1/5, 1/2 in ascending order.
-1/5, k, 1/2
Let b = -32.6 + 33. Put 3, b, 1/3 in decreasing order.
3, b, 1/3
Suppose 5*t + 9*t = -70. Put -1, 1, t, 3 in decreasing order.
3, 1, -1, t
Let h be 7/((-28)/20) - 32. Sort -1, -2, h.
h, -2, -1
Let t = -133 + 129. Let b(n) = 2*n + 1. Let k be b(2). Sort 4, k, t in ascending order.
t, 4, k
Let q(n) = -n**3 - 4*n**2 - 3*n + 3. Let s be q(-3). Suppose -5*t + 3*a = 3, -a = -t + 2*t + 7. Put t, -2, s in increasing order.
t, -2, s
Let v(m) = m + 1. Let c(g) = -4*g - 5. Let f(r) = -2*c(r) - 9*v(r). Let b be f(1). Let w be 48/(-15) + 2/10. Sort w, b, -4.
-4, w, b
Suppose 4*q - 2*q = 10. Sort 6, -2, q.
-2, q, 6
Let c be 3*(2 - (-24)/(-9)). Let b be ((-2)/(-6))/(c/(-6)). Sort 0.1, b, 0.5 in increasing order.
0.1, 0.5, b
Let a = -9 - -13. Let x(w) = -3*w + 2*w + w**2 - 3*w - 2*w + 3. Let c be x(a). Sort -3, 5, c in increasing order.
c, -3, 5
Let n be 3/234*8*(-6)/4. Put -5, 1/3, 0.3, n in descending order.
1/3, 0.3, n, -5
Suppose -4*a - 5*i - 6 = -3, -6 = 2*i. Suppose 2*u + 2 = -0. Put a, -5, u in decreasing order.
a, u, -5
Let d = -80 + 84. Sort -8, d, -5, 3 in increasing order.
-8, -5, 3, d
Let f = -40.7 + 41. Sort 0.5, -3/4, f in decreasing order.
0.5, f, -3/4
Let p(z) = 2*z**2 + 5*z + 2. Let g be p(-3). Put g, 1, 7 in decreasing order.
7, g, 1
Let u = -0.11 + -0.69. Let i = u - -1. Sort i, 1, -2/11.
-2/11, i, 1
Let s = -65 + 71.1. Let z = s + -1.1. Let u = 3 - z. Sort u, 0.3, 1/3 in increasing order.
u, 0.3, 1/3
Let k = -0.2 - 0. Let u = 250 - 3252/13. Suppose 2*a = 3*b - 22, a + 9 = -0*b + b. Sort k, a, u in ascending order.
a, k, u
Let i be -6 - 1/(2/4). Sort i, 0, -5, 1.
i, -5, 0, 1
Let f = -5.13 - -0.13. Let v be 0 + -2 + 3/3. Sort 2/11, f, v in decreasing order.
2/11, v, f
Let f = 87/20 + -23/5. Put -0.4, f, -2/3 in descending order.
f, -0.4, -2/3
Let t = -67 + 70. Sort t, -0.3, -2/15 in descending order.
t, -2/15, -0.3
Let s = 1.7 - -0.3. Sort -0.4, s, -2 in increasing order.
-2, -0.4, s
Let p be (-51)/(-15) + 6/10. Let o be (-3)/9 - p/6. Let d = o + 4. Sort d, -1, 2.
-1, 2, d
Let i(h) = -h - 2. Let v be i(-5). Let x(q) = q**2 + 1. Let f be x(1). Sort f, 1, v.
1, f, v
Let h(r) = -r**3 + 7*r**2 - 9*r - 4. Let d be h(5). Sort 5, 4, d, 2 in ascending order.
d, 2, 4, 5
Suppose -3*t = -0 - 3. Let m = -0.45 + 0.4. Sort t, m, -0.5 in decreasing order.
t, m, -0.5
Let x = 10.9 - 11. Put -0.4, -1/4, x in ascending order.
-0.4, -1/4, x
Let y(w) = 3*w - 4. Let r be y(3). Sort r, 1, 34.
1, r, 34
Let g be 0*(-3)/(-6) - -2. Suppose k - 27 = -5*u, k + 9 = 3*u - g*k. Sort 2, u, 1 in ascending order.
1, 2, u
Let u be (-21)/6 + (-6)/12. Let v(q) = -q + 3. Let b be v(5). Sort 4, b, u.
u, b, 4
Let l = -0.16 + -0.04. Let v be (0 - (-2)/(-6))/(-2). Put l, 2/19, v in ascending order.
l, 2/19, v
Let v = 16 + -12. Suppose -11 - v = 5*l. Sort l, 0, 3.
l, 0, 3
Let i(b) = -b**2 + 20*