 x, -2, k in ascending order.
-2, k, x
Let o = -30.6 + 28. Let h = o + 3. Sort h, 1, -3/7 in decreasing order.
1, h, -3/7
Suppose -5*k - i + 18 = 3*i, -3*k + 3*i = 0. Let z(g) = -g + 5. Let c be z(0). Let l be 4/(-8)*2 + -2. Put k, l, c in decreasing order.
c, k, l
Let c be 2*3/(-30)*151. Let m = -30 - c. Put m, 5, 3 in increasing order.
m, 3, 5
Let m = -0.937 + 1.237. Let o = -2 + 3. Put m, o, -0.06 in descending order.
o, m, -0.06
Suppose 3*n - 3*s - 27 = 0, -2*n + 5*n - 2*s - 23 = 0. Put 2, n, 9 in increasing order.
2, n, 9
Let r(u) = -u**2 + 7*u - 4. Let n(g) = 6*g**3 + 1. Let j be n(1). Let k be r(j). Sort 3, -5, k in decreasing order.
3, k, -5
Let w = 1.2 - 3.6. Let s = w - -2.8. Let q = -0.1 + -0.1. Sort 3, q, s.
q, s, 3
Let a = 32 - 37. Sort -2, -1, a, -3 in decreasing order.
-1, -2, -3, a
Suppose 2 = 5*c + 12. Let y be 1/4 - 14/(-8). Let r(i) = i - 6. Let f be r(5). Sort f, c, y in increasing order.
c, f, y
Let x be ((-2)/(-4) - 4) + 2. Put x, 3/5, -0.5 in ascending order.
x, -0.5, 3/5
Let n = -132 + 131. Let v = 0.9 + -1. Sort 3, v, n in decreasing order.
3, v, n
Let g = -5869/494 + 13/38. Let o = 672/65 + g. Let b = 0.3 + 0.7. Put o, -0.1, b in decreasing order.
b, -0.1, o
Let j = 0.2 + -0.2. Let s = -0.84 - -0.6. Let k = -1.24 - s. Sort j, -2/11, k in decreasing order.
j, -2/11, k
Suppose 3*l - 28 = -5*x, 2*l - 2*x + 11 = 3. Suppose 3*d = 7 - l. Let c(z) = -z**3 + z. Let u be c(0). Sort 5, d, u in descending order.
5, d, u
Let j be 6/27 + 328/(-18). Let y be 5/9 - (-4)/j. Let c = -3 - 0. Sort c, -4, y.
-4, c, y
Let o = 0 + 0. Let f = -1.2 - -0.7. Put o, 2/3, f in descending order.
2/3, o, f
Let p(v) = -v**2 + 6*v - 4. Let q be p(4). Suppose 2*d + 8 = -2*o + 6*d, q*d - 24 = -2*o. Put -4, o, 1 in descending order.
o, 1, -4
Let p be 2/(-6) + (-16)/(-3). Suppose -2*t - 8 + 0 = 0. Put 4, p, t in ascending order.
t, 4, p
Suppose 0 = 6*r - 143 + 143. Suppose 4*k - 28 = p + 17, 1 = -p. Sort r, k, -4 in ascending order.
-4, r, k
Let p = 21 + -32. Let d = -7 - p. Sort d, -2/3, -2.
-2, -2/3, d
Let y be -2 - 4/(3 + 1). Sort -2, 5, y.
y, -2, 5
Let n = 29/3 + -197/21. Sort -5, -9, n.
-9, -5, n
Suppose o - 3*o = -2. Let h = -0.6 + 0.1. Sort h, -2/7, o in decreasing order.
o, -2/7, h
Suppose 0*c + 3 = 4*z + 3*c, 2*z = -4*c - 6. Put -1/7, z, 1/4, 0.4 in increasing order.
-1/7, 1/4, 0.4, z
Let b = -1 - -2. Suppose -z = 2*m - 11 + b, -4*z + m = -13. Sort -4, z, -5 in descending order.
z, -4, -5
Let n = -8 + 6. Let k = n - -1. Let v be ((-1)/(-4))/(30/(-16)). Sort k, v, 4 in increasing order.
k, v, 4
Let x = 15 + -17. Sort x, -7, 0, 3 in increasing order.
-7, x, 0, 3
Let m(r) = -r**2 + 4*r + 11. Let v be m(5). Suppose 4*n = v*n - 8. Put n, 3, -3 in increasing order.
-3, 3, n
Let f = 17 + -18. Let n = 1.2 + f. Sort n, 0.3, -1/3 in descending order.
0.3, n, -1/3
Let o = -4.7 + 0.7. Let d = o - -4. Let j = 0.5 - d. Sort 5, -0.2, j.
-0.2, j, 5
Let m = -107/2 + 52. Sort 4/5, m, 4, 0 in increasing order.
m, 0, 4/5, 4
Suppose -35 = -3*w + 8*w - 3*x, 2*w + 3*x - 7 = 0. Let j be 1*392/(-63) + 2/9. Let h = j - w. Sort h, -1, 1 in increasing order.
h, -1, 1
Let y(k) = 2*k - 4*k + k. Let s = -8 + 13. Let v be y(s). Put -1, 3, v in increasing order.
v, -1, 3
Let q = -5 - -6. Put -0.4, q, 1/9 in ascending order.
-0.4, 1/9, q
Let m be 1 - 5*(-18)/(-15). Put m, -4, -73 in increasing order.
-73, m, -4
Let h = 3 + -2.9. Put -23, h, 5 in decreasing order.
5, h, -23
Suppose -3*d = -4*a + a, d = -5*a. Sort d, -4, 5/2 in descending order.
5/2, d, -4
Suppose -3 = -3*o + 3. Let g be (12 - 2)*1/o. Sort 0.1, 0, g in descending order.
g, 0.1, 0
Let i = 39 - 29. Put -0.5, 0.4, 2, i in ascending order.
-0.5, 0.4, 2, i
Suppose 9*d = -2*x + 4*d + 4, -5*x - 2*d = -10. Let g = -1 + x. Let z(y) = -y - 3. Let u be z(0). Sort u, 5, g.
u, g, 5
Let j = -0.68 - -0.08. Let d = j + 1. Put -0.2, d, -2 in ascending order.
-2, -0.2, d
Let j = 0.2 - 0.1. Let z = -17 - -26. Let i = 6 - z. Put i, 2, j in decreasing order.
2, j, i
Let v be (-96)/(-16)*-1*4/6. Sort 0, v, 1, -5.
-5, v, 0, 1
Let f = -40/7 - -44/7. Sort 0.4, f, 0.2.
0.2, 0.4, f
Let z = -3 + -2. Sort 2/5, -3, z in increasing order.
z, -3, 2/5
Let u(v) = -2*v**2 + 10*v + 7. Let o be u(6). Sort -3, o, 5.
o, -3, 5
Let a = 141 - 142. Sort 0.4, a, 0.
a, 0, 0.4
Suppose -3*n + 6*n + q = 15, 4*n - 20 = -2*q. Put 4, -1, n in decreasing order.
n, 4, -1
Suppose -6*v - 15 = 9. Sort v, 4, 1, 3 in decreasing order.
4, 3, 1, v
Suppose 4*n - 2 = 2*n. Let u = n - 4. Sort u, -2, 3 in descending order.
3, -2, u
Suppose -5*w + w - 4 = 3*o, 3*o + 5*w + 5 = 0. Let q = 0.2 + 0.8. Sort -0.2, q, o in ascending order.
-0.2, o, q
Let d be 0 - 8 - 9/3. Let l = d + 10. Sort l, -4, 2 in increasing order.
-4, l, 2
Let o = -165 + 1153/7. Put o, -4, 0.07, 2/9 in descending order.
2/9, 0.07, o, -4
Suppose 4*a + 27 - 31 = 0. Put -5, 5, -2, a in ascending order.
-5, -2, a, 5
Let a(i) = -i**2 - 8*i - 3. Let b(f) = -2*f**2 - 11*f - 1. Let r be b(-6). Let v be a(r). Suppose -20 + 5 = 5*c. Sort -4, c, v.
-4, c, v
Let t = 0.4 + 3.6. Sort -4, 5, 0.2, t in ascending order.
-4, 0.2, t, 5
Let c = 2.3 - -6.7. Let l = c - 7. Let q = 0.1 - 0.1. Sort l, -0.1, q in decreasing order.
l, q, -0.1
Let z(h) = h**2 - h - 4. Let w be z(0). Let o = 5 + w. Suppose -5*q - 17 = -2*q + p, 3*q + 2*p + 19 = 0. Sort o, q, 4 in descending order.
4, o, q
Let j = 0.165 - -0.135. Put 0.5, -1, -5, j in increasing order.
-5, -1, j, 0.5
Let k = -0.27 - -0.27. Sort -0.2, k, -2, 3.
-2, -0.2, k, 3
Suppose -40*z + 125 = -15*z. Let n = -2 + 0. Put z, n, -3 in ascending order.
-3, n, z
Let r = -5 + 6. Sort 3/4, 0, r.
0, 3/4, r
Let w be (-2)/(-7) - (-37)/(-7). Let c be ((-8)/6)/(22/33). Sort w, 1, c in ascending order.
w, c, 1
Let y = -0.11 - -0.11. Put 4, 2/7, y in descending order.
4, 2/7, y
Let i be (-15)/(-6) + (-54)/(-36). Suppose -1 = 2*d + 3. Sort i, -3, d.
-3, d, i
Let n = 10 - 7. Let v(c) = c**2 - 6*c + 5. Let a be (-4)/18 + 517/99. Let g be v(a). Put g, n, 2 in descending order.
n, 2, g
Let n = -26.8 - -27. Let q = 12 - 8. Put n, q, 0 in decreasing order.
q, n, 0
Let p be 66/374 - 2/17. Put p, -4, -2 in descending order.
p, -2, -4
Let n = 12 - 11.5. Sort -1, n, 3 in decreasing order.
3, n, -1
Let w = -4/341 + 190/341. Let t = -0.16 - -0.46. Sort t, -3, w in decreasing order.
w, t, -3
Suppose -b = -0*b - 3. Let d be 3*(4 + b/(-1)). Sort 0, d, -3.
-3, 0, d
Let x = -17 - -15. Sort 4, 0, x in descending order.
4, 0, x
Let i = 4.252 - -0.048. Let d = 3.38 - i. Let u = -0.08 + d. Sort -3, -0.2, u in ascending order.
-3, u, -0.2
Suppose -1 - 2 = 3*r. Let u(d) = -2*d - 7. Let w be u(-6). Let l = -8 + w. Put r, -4, l in decreasing order.
r, l, -4
Let n(b) = b**2 - 3*b - 9. Let i be n(4). Put -1, i, 1, 4 in decreasing order.
4, 1, -1, i
Let t = -250 + 253. Suppose -2*l + 0*l = 3*m - 1, 2*m = -2*l - 2. Sort -1/4, l, t in decreasing order.
t, -1/4, l
Let i(t) be the second derivative of -t**4/12 - t**3 + 2*t**2 - 5*t. Let z be i(-6). Put -1, 2, z in descending order.
z, 2, -1
Let l = -22 - -13. Suppose r = -2*r - 9. Put l, 2, r in decreasing order.
2, r, l
Let w be (-2 - -5)*(11 + -10). Put w, 1/3, -4 in descending order.
w, 1/3, -4
Suppose -5*b - 37 + 12 = 0. Let r(m) = -m**2 + 11*m - 8. Let w be r(10). Sort w, b, 7 in descending order.
7, w, b
Let v = -202 + 198. Sort v, 53, -3/2 in ascending order.
v, -3/2, 53
Let g = 166.3 - 166. Put g, 4, 2/9, -4 in decreasing order.
4, g, 2/9, -4
Let x = 5 - 3. Let j = 4.3 + -2.2. Let b = j - x. Sort b, 4, 5 in increasing order.
b, 4, 5
Let s be (8/28)/((-2)/(-7)). Sort -6, -3, s in decreasing order.
s, -3, -6
Let f = -0.3 + -0.1. Let s be 18/(-14)*1/(-3). Put s, f, -1 in decreasing order.
s, f, -1
Let l(j) = -j**3 + j - 4. Let k be l(0). Let x = k - -6. Let p be (x/(-5))/(1/5). Put p, 1/3, -0.1 in decreasing order.
1/3, -0.1, p
Suppose -2*v = 11*v - 39. Put v, -4, -0.5 in decreasing order.
v, -0.5, -4
Suppose -11 = 4*l - 3*n, -2*n + 4*n = 2. Sort 1, 4, l in increasing order.
l, 1, 4
Let h(c) = -c**2 - 8*c - 2. Let z be h(-6). Suppose -5*v - 2*m + 5 = 2*m, 0 = 3*v + 5*m + z. Let d be -1 - 2/(-2*1). Sort 4, d, v in descending order.
v, 4, d
Let m = 1.6 - 7.6. Sort m, 5, 4/5 in descending order.
5, 4/5, m
Let w be (-2)/(-24) + 6/9. Sort w, -4, 1.4.
-4, w, 1.4
Let d = -7 - -