Let a = 0.2 - -0.4. Let k = 2.6 - a. Sort l, -5, k.
-5, l, k
Let m = 2 + -1. Let w(j) = -j**3 + 7*j**2 - 8*j + 8. Let n be w(6). Let z = -3.1 - -0.1. Sort n, z, m.
n, z, m
Let a = -53 + 50. Sort 1, -2, a, -5 in increasing order.
-5, a, -2, 1
Suppose 0 = 8*w + 43 - 11. Sort 4, 13, w.
w, 4, 13
Let x(l) = -4*l + 8 - 4*l + 6 - l**2. Let p be x(-10). Let g be ((-3)/(-14))/(p/21). Sort g, 2/5, 0 in ascending order.
g, 0, 2/5
Let p(v) = v + 30. Let r be p(-27). Let m be -6 + 1 + -1 + 3. Sort 2/9, m, r in decreasing order.
r, 2/9, m
Let w = 3 - 3.3. Sort 3, -0.4, w in ascending order.
-0.4, w, 3
Suppose -3*a = z - 16, -2*a + 10 = -0*a. Let t = -8 + 4. Put t, -2, z in decreasing order.
z, -2, t
Let r = -0.34 - -0.14. Sort 2, -0.1, r in descending order.
2, -0.1, r
Suppose 3*w = -2*w - 10. Sort 4, w, 1 in descending order.
4, 1, w
Let d be -6*(-2 - 24/(-9)). Let q be (6/(-2))/((-3)/d). Let l be q/(-5) - (-2)/10. Sort -3, l, -2.
-3, -2, l
Let l = 371/90 + -39/10. Let s = -5.05 - -0.05. Put -0.4, s, l in increasing order.
s, -0.4, l
Let g = -1 - -9. Let s be 2 - 3/((-12)/g). Put s, -1, 0 in decreasing order.
s, 0, -1
Let a = -0.41 - -0.01. Sort a, 3, 4, 2.
a, 2, 3, 4
Let b = -0.12 + -0.28. Let i be ((-196)/690)/((-1)/5). Let h = i - 2/23. Put -0.2, h, b in increasing order.
b, -0.2, h
Suppose -3*k - 15 = 2*k. Sort 8/7, k, -0.1, -2/13 in descending order.
8/7, -0.1, -2/13, k
Let o be 72/38 - 1 - 1. Let r = 4.56 - 2.56. Put r, 1, o in increasing order.
o, 1, r
Let o = 0.06 - -4.94. Let f be 1221/(-21) - (-1)/(-1). Let t = f - -59. Sort -0.2, o, t.
-0.2, t, o
Let h(z) = -3*z**2 - 2*z - 4. Let r be h(4). Let w be ((-2)/(-3))/((-4)/r). Let j be 8/(-20)*w/(-6). Sort j, -1/3, 5 in ascending order.
-1/3, j, 5
Suppose -5*v = -v - 12. Suppose 8*t - v*t = 30. Suppose -t*x = -3*x - 12, -3*x = 4*h - 24. Sort h, 5, 4 in increasing order.
h, 4, 5
Let o = 0.02 - 1.04. Let g = o + 0.02. Let i(f) = f - 3. Let m be i(4). Sort m, g, -3.
-3, g, m
Let a be ((-1)/(-2))/((-3)/18). Let b = 5 + a. Let f = 4 - b. Sort 0, f, -5 in ascending order.
-5, 0, f
Let a(s) be the first derivative of s**2/2 + 10*s + 4. Let q be a(0). Suppose 0 = 5*v - q - 10. Put -3, v, -4 in ascending order.
-4, -3, v
Let o = -26 + 25. Let f = -2.5 - -2. Sort f, -5, o.
-5, o, f
Let w(s) = 20*s - 3. Let h be w(-1). Let g = h - -28. Sort 3, g, 10.
3, g, 10
Let g = 11 + -3. Suppose -2*q - g = -6*q, -2*q - 2 = -2*i. Let y = -1 + i. Sort y, -5, -3.
-5, -3, y
Suppose 6 - 2 = -2*l. Sort 0.3, 3, l in ascending order.
l, 0.3, 3
Let m = -26 - -21. Put -1/2, m, 2/9 in ascending order.
m, -1/2, 2/9
Let c = -0.74 + -0.26. Put 1/2, c, 3 in ascending order.
c, 1/2, 3
Suppose -3*h = -0 + 12. Let b = 3.2 - 3. Sort h, 2, b.
h, b, 2
Suppose -g = -0*t + 3*t + 5, 2*g - t - 11 = 0. Suppose -3*z + 1 - g = 0. Sort 5, -2, z in descending order.
5, z, -2
Let j = 3 + -2. Let t(m) = -5*m**3 - m**2 - 2*m - 1. Let b be t(-1). Sort -5, b, j in decreasing order.
b, j, -5
Let m be -6*1*(-3)/6. Suppose 0 = m*i + i + 5*c - 45, 0 = -3*i - 3*c + 36. Suppose -2*f - 3*f + i = 0. Put -2, f, 5 in descending order.
5, f, -2
Let x = -1388/3 - -540. Let b = x + -78. Let k = -11 + 8. Sort b, k, -1/6 in increasing order.
k, b, -1/6
Suppose 4 = 2*f + 2*h - 2, 7 = 4*f - h. Let a be 1*-2 + 8/f. Put 3, 0, a in increasing order.
0, a, 3
Let j = 30 - 43. Let a = 20 + j. Let u = 6.7 - a. Sort u, 1/5, -4 in decreasing order.
1/5, u, -4
Let z = -37 + 41. Let r be (-1 - 0)*(0 + 2). Put r, z, 3 in increasing order.
r, 3, z
Let t be 10/18 - (-1)/(-3). Let l = 0 - 1. Sort 0.3, t, l in decreasing order.
0.3, t, l
Let n = -0.1 - -5.1. Suppose 0 = -2*m - 4*m + 18. Sort m, n, 1 in decreasing order.
n, m, 1
Let h be ((2 - 0) + -7)*-1. Let p(q) = q - 2. Let x be p(8). Let v = x - h. Put -4, v, -1 in decreasing order.
v, -1, -4
Let g = -5/2 + 8/3. Put -2/9, g, 5/3 in increasing order.
-2/9, g, 5/3
Suppose -3*g - 19 = -7. Let n = g + 9. Suppose -8 = -w + 4*i - 29, 0 = 2*w + i - 3. Put w, n, -5 in ascending order.
-5, w, n
Let p = -127 + 1649/13. Let m(r) = -r - 2. Let w be m(-4). Put 0.1, p, w in descending order.
w, 0.1, p
Let d = 19 - 19. Let g = -1 - 1. Let p be (-1 - g)/(1 - 0). Sort p, d, 2 in decreasing order.
2, p, d
Let d = 188/703 - 6/37. Suppose 7 = n - 3*m + 15, 0 = 3*n + 5*m - 18. Let c = 3.8 + -0.8. Put d, c, n in descending order.
c, n, d
Suppose -4*y = k + 17, -y - 11 = -4*k + 6. Suppose 3*s + m + 16 = -k*m, 5*m + 20 = -4*s. Sort 4, -5, s in decreasing order.
4, s, -5
Let y = -12.3 - -12. Sort -1, -5, y in descending order.
y, -1, -5
Let r = -0.089 + 0.489. Put -5, 8/7, r in decreasing order.
8/7, r, -5
Let m = 5.5 - -1.5. Let x = m - 7.3. Put -4, x, 0.2 in ascending order.
-4, x, 0.2
Let y = -6 + 2. Let x be -2 - ((-12)/(-15))/(-1). Put x, 2, y in increasing order.
y, x, 2
Suppose 4*n - 5*p = -27, n + 3*p - 8*p + 18 = 0. Suppose 2*v = -2*u - 8 - 10, v - u - 1 = 0. Sort v, 0, n in decreasing order.
0, n, v
Suppose -w = -3*x - 10, -w - 3 = -x - 13. Let h = w + -8. Let z = 3 + h. Sort 2, 0, z in increasing order.
0, 2, z
Suppose 7 - 1 = 2*d. Let n = 4 + -4. Suppose -3*y + 17 = 5*t, n = -5*t + 4*t + 2*y - 7. Sort t, -2, d in decreasing order.
d, t, -2
Let d(g) = 2*g**2. Let j be (-3 + 1 + 3)*-1. Let a be d(j). Suppose 0 = 7*r - a*r. Sort r, 2, 4.
r, 2, 4
Let a be (-11 + 11)*(-2)/(-4). Sort 5, 3, a in ascending order.
a, 3, 5
Suppose -4 = -g - 0. Let d be (0 - 1) + (-1 - 2). Put g, d, -1 in decreasing order.
g, -1, d
Let n = -43 + 42. Put -4, 5, 9, n in decreasing order.
9, 5, n, -4
Let f be ((-3 - -19)/4)/(-2). Put -5, 5, f in ascending order.
-5, f, 5
Let p = -60 + 298/5. Let u = -4.5 + 0.5. Sort u, p, -0.2 in decreasing order.
-0.2, p, u
Let d = -12 + 9. Let m be (d + 34/12)*4. Let l = 0.8 - -4.2. Sort 1/9, m, l.
m, 1/9, l
Let w = 5 - -1. Let h be (-4 - 8)*(-2)/w. Let p = h + -4. Sort -2, 3, p in increasing order.
-2, p, 3
Let q(c) = -c**2 - 8*c - 6. Suppose 4 = -2*j - 12. Let k be q(j). Put -5, k, -3 in ascending order.
k, -5, -3
Let a be (1/2)/(2/4). Let c(m) = 2*m**2 + 1. Let r be c(a). Sort r, 2, 7 in ascending order.
2, r, 7
Let h be 1/(0 - (-3 - -2)). Let q = -124/215 - 1/43. Sort q, h, -2/3 in increasing order.
-2/3, q, h
Let g(p) = -p - 2. Let o be g(-14). Suppose -3*j + z - 4*z - o = 0, -2*z = 4*j + 18. Let t be ((-2)/3)/((-2)/3). Sort t, 2, j.
j, t, 2
Let v = 3.5 + 0.5. Let r = 3.5 - v. Let d = 0.3 + r. Sort -0.1, d, 0 in decreasing order.
0, -0.1, d
Let t(x) = x + 1. Suppose 0 = 4*s - 5 + 1. Let r be t(s). Suppose -m - 2 = 0, -m + 3 = r*c - 3. Sort c, -3, -4 in descending order.
c, -3, -4
Suppose r = -2*t - 5, -2*r - 5 + 3 = 0. Put t, -1, 10 in ascending order.
t, -1, 10
Let y = -6.1 + 6.5. Put -0.02, 1/2, y in descending order.
1/2, y, -0.02
Let i be 6/(-9) - (-4 + 76/12). Let z be (3/(-2))/(6/(-16)). Sort -1, i, z in descending order.
z, -1, i
Let w = 168 + -171. Put w, 1, -11 in descending order.
1, w, -11
Let p be 1/((-33)/(-5010)) - -1. Let a = p + -153. Sort -0.3, a, 6.
-0.3, a, 6
Let o(t) = 3*t**3 + 2*t**2 - 2*t + 1. Let u be o(1). Suppose -7*z + 2*z = -25. Let g = 2 + 0. Sort g, z, u in decreasing order.
z, u, g
Suppose -28*s + 29*s + 6 = 0. Sort 2, -3, s, -5 in descending order.
2, -3, -5, s
Let t(o) = -o**3 + 5*o**2 - o + 3. Let x = -8 + 8. Let r = 5 - x. Let m be t(r). Sort 3, -1, m in increasing order.
m, -1, 3
Suppose -32 = -3*i + 1. Let k = -6 + i. Suppose 4*u = 12 - 32. Put 3, u, k in decreasing order.
k, 3, u
Let n = -0.83 - 0.07. Let b = -0.5 - n. Let o = -8 - -7.7. Sort o, -2/11, b in descending order.
b, -2/11, o
Let i = 13/24 - -1/8. Sort 0.4, i, -2/3 in decreasing order.
i, 0.4, -2/3
Let a = 2.2 + 1.6. Let t = 4 - a. Sort -4, t, -5/4 in decreasing order.
t, -5/4, -4
Let b = 5.1314 + -0.1014. Let n = b + -0.03. Put -2, 0, n in decreasing order.
n, 0, -2
Suppose -f - 4 = -5*f. Let b be 2 - f*(4 + -2). Sort b, 4, 3 in ascending order.
b, 3, 4
Let s = -51 + 46. Sort s, -0.4, -0.7 in descending order.
-0.4, -0.7, s
Let w be (-2 + 14)*11/(-4). Let y = w + 164/5. Put y, 3, -0.11 in decreasing order.
3, -0.11, y
Let v be 1/((-6)/4 + 2). Let c be v + (-164)/42 - -2. Sort c, -2, 1/4 in ascending order.
-2, c, 1/4
Let w = -0.13 + 0.03. Let l = -0.2 + w. Let o be (-1 - 0)*2/(-6). Put 3, l, o in descending order.
3, o, l
Let v = 0.74 -