 + m/(-2) + 0. Sort k, 4, -4.
-4, k, 4
Let m be 2/4*-2*-30. Suppose 5*c - m = -100. Let x be c/(-10) - (-8)/(-20). Put -3, 2, x in decreasing order.
2, x, -3
Let q be -1 + 0 - (-8 - -3). Suppose -h - 6 = k, 3*h + q*k + 0 + 21 = 0. Put h, 0, -0.2 in descending order.
0, -0.2, h
Let y(s) = s**3 + 4*s**2 + 4*s + 2. Let g be y(-3). Let u be 34/4 + (-3)/6. Let x = -3 + u. Sort -3, g, x in descending order.
x, g, -3
Suppose 0 = -3*r - 2 - 4. Put -1, r, -4 in ascending order.
-4, r, -1
Let v be 2/(-7) + 46/14. Let o(u) = -4*u - 3. Let m be o(6). Let j be 114/m - 2/(-9). Put v, j, -2 in descending order.
v, -2, j
Suppose -2*t + 4*r = -0*t - 30, 3*r = -t - 10. Let w = 25 + -37. Let l = 8 + w. Sort l, t, 0 in descending order.
t, 0, l
Suppose 3*v + 35 = 44. Sort -4, 6, v in decreasing order.
6, v, -4
Let r = -12 - -13. Put 3, -2, r in ascending order.
-2, r, 3
Let u = -5.5 + 5. Let h = -14 + 11. Let t be 10/12*h/15. Sort -1/4, u, t in ascending order.
u, -1/4, t
Let z = -8 - -7. Sort 0, z, -3 in increasing order.
-3, z, 0
Let l(o) = 3*o**3 + o - 1. Let s be l(1). Suppose -12 = -2*d - 2*w, 0*w = -3*w + 12. Let x(m) = m**2 - 6*m. Let v be x(6). Put d, v, s in decreasing order.
s, d, v
Let t = 12 - 10. Let m = t + -1.6. Sort 1, -1, m in descending order.
1, m, -1
Let p(h) = -h + 1. Let g be p(6). Put 5, -14, g in increasing order.
-14, g, 5
Let d be (25/(-2))/(-5)*-2. Let c(l) = -l - 5. Let r be c(-5). Let w = -7 + 9. Sort d, w, r in increasing order.
d, r, w
Let h = 10 - 7. Let i = 7 - 4. Suppose 0*m = -i*m - 6. Sort m, -3, h in ascending order.
-3, m, h
Let j(b) = b**3 - 3*b**2 - 5*b + 4. Let a be j(4). Suppose a = 4*n - 12. Sort -3, n, 2 in descending order.
n, 2, -3
Let i = 1 + 3. Sort 2/9, i, 3/2 in decreasing order.
i, 3/2, 2/9
Let i = 75 + -80. Put 5, 3, i in increasing order.
i, 3, 5
Let f = -2 + 2. Suppose -3 = n - f*n. Let o(r) = 5*r - 9. Let k be o(2). Sort -1, k, n in decreasing order.
k, -1, n
Let f = -888/77 + 82/7. Sort 5, f, -2 in ascending order.
-2, f, 5
Let p(w) = w**3 - 2*w**2 + w - 1. Let v be p(1). Suppose -4 = -q, 0 = 2*x - 3*q + 8 - 0. Put v, x, -5 in descending order.
x, v, -5
Let h = -73/132 - -7/11. Put -1, 2, h in increasing order.
-1, h, 2
Let w = 46 - 25. Suppose -4*k + 3*n + 29 = 6, -5*n = 2*k + w. Put k, -1, -3 in ascending order.
-3, -1, k
Let b = 0 + 3. Let d = 3.1 - b. Let o = 9 - 14. Sort 2/3, d, o in decreasing order.
2/3, d, o
Suppose -15*p + 60 = -10*p. Put p, 1, 3 in decreasing order.
p, 3, 1
Let g = 0.41 - 0.01. Let t = g - 0.3. Let o be 6 + (-2)/(6/9). Put 1, t, o in descending order.
o, 1, t
Let q = 8 - 1. Suppose -q*p + 2*p = 0. Sort 4, 2, p in descending order.
4, 2, p
Let t = -3 + 1. Let u be 4/(-10) - 102/(-5). Suppose 5*l + u = -5. Sort 2, l, t in decreasing order.
2, t, l
Let r be 40/(-7) - 14/49. Let b = r + 1. Put 2, -1, b in decreasing order.
2, -1, b
Let c = -2 + 2. Let h = 0.2 - c. Let r = -6 + 9. Sort r, h, 5.
h, r, 5
Let u = 14 + -40/3. Suppose -3*h = n - 14, -3*n - 6*h + 21 = -4*h. Let o be ((-42)/(-245))/(2/5). Put o, n, u in increasing order.
o, u, n
Let h = 75.9 - 84. Let v = -8 - h. Sort v, -4, 3 in descending order.
3, v, -4
Suppose -2*l = -4, 0 = -5*y - 0*l - 4*l + 8. Let b be (y/(-2) + -4)*-1. Put b, 3, -2 in ascending order.
-2, 3, b
Let q(h) = h**3 + 3*h**2. Let d be q(-3). Suppose 2 = 3*m - 1. Suppose -14 = 3*n + 1. Put n, d, m in decreasing order.
m, d, n
Let t be 2/4 + (-2)/4. Let p be ((-4)/3)/(3/(-9)). Let q = p - 7. Sort t, -0.4, q in descending order.
t, -0.4, q
Let u = -2 + 2.4. Let l = u + 3.6. Let i = l + -6. Put i, 4, -2/7 in decreasing order.
4, -2/7, i
Let w = 1.9 - -0.1. Put w, -2/3, -4 in decreasing order.
w, -2/3, -4
Let t = 0.23 + -0.3. Put -3, 1, t in increasing order.
-3, t, 1
Let z = -138 + 142. Let x = -0.04 + -0.36. Sort z, x, -2 in descending order.
z, x, -2
Let k = 0.03 - 5.03. Let u = -72 - -358/5. Let l = -1.2 + 1. Sort u, l, k in decreasing order.
l, u, k
Suppose 0 = -2*n - 2*m - 4, -14 = 5*n + m + 4. Put 3, -5, n in descending order.
3, n, -5
Let z = 3.91 - -0.09. Let o = 0 - z. Let l be (2/6)/((-13)/6). Sort o, l, -2 in ascending order.
o, -2, l
Suppose -8 = 2*m - 2. Let j = -0.103 - -3.103. Sort j, 5, m in ascending order.
m, j, 5
Let o be 7/(-14) - (-10)/4. Sort -5, o, 3, 1 in descending order.
3, o, 1, -5
Suppose -8 = 3*y + y. Put 2, -2/3, y in decreasing order.
2, -2/3, y
Let f be 1 - 2 - (1 + 3). Suppose -q - g = -4*g - 8, -2*g - 2 = -4*q. Sort f, 4/5, q in descending order.
4/5, q, f
Let l be -2 + (-32)/(-14) + 0. Let y = -8.1 - -8. Sort l, 2/9, y in increasing order.
y, 2/9, l
Let l(g) = g**3 - 2*g**2 + 1. Let r be l(2). Let f = -2.1 - -0.1. Let q = 2.2 + f. Sort -1, r, q in decreasing order.
r, q, -1
Suppose 5*d - 2*x - 20 = 0, -d + 5*d - 16 = 3*x. Sort -1/3, d, 0.2.
-1/3, 0.2, d
Suppose 0*t = 5*t + 20. Suppose 5 = -4*u + 1. Let b be u + 0/((-4)/2). Sort t, b, 5 in decreasing order.
5, b, t
Let i be (-48822)/(-462) + (-2)/(-14). Let t = 106 - i. Let j = 1 - 0.8. Sort t, j, -2.
-2, t, j
Suppose 3*g + 2 + 13 = -3*q, 15 = q - 3*g. Suppose -3*u + 8 + 7 = q. Let a = -5 - -51/10. Sort -3/8, a, u in increasing order.
-3/8, a, u
Suppose -5*v - 4*w = -4*v + 2, -v = 5*w + 3. Let y = 0 - -4. Suppose b - y = 3*b. Sort b, v, 5 in descending order.
5, v, b
Let w = -3 + 4. Let j = 139 - 975/7. Put j, -2, w in increasing order.
-2, j, w
Let w be (-38)/8 + 6/(-24). Sort w, 1, 6 in ascending order.
w, 1, 6
Let a be (73/(-75) - -1)*5. Let k(r) = 4*r**3 + r**2. Let t be k(-1). Let p(f) = -8*f + 53. Let c be p(6). Sort a, t, c in increasing order.
t, a, c
Let l = 83/4 - 1237/60. Sort 1, -2/13, l in increasing order.
-2/13, l, 1
Suppose -14*a = -25*a + 11. Let l = 2 - 5. Sort a, l, -4.
-4, l, a
Suppose 5*b + 0*b - 160 = 0. Let n be 4/10 - b/30. Let w be (-2)/10 + 52/60. Put n, -0.5, w in ascending order.
n, -0.5, w
Suppose 0 = -3*u + 7*u + 12. Put -0.3, -4, u in descending order.
-0.3, u, -4
Suppose -3*d = -8 - 7. Sort 0, 4, d in increasing order.
0, 4, d
Suppose 0 = -3*o + k - 28 - 35, 5*o = -3*k - 91. Let g be (-1)/(-5) - (-9)/o. Put -4, -0.4, g in descending order.
g, -0.4, -4
Let j = 24 + -22. Sort 5, j, 0.5.
0.5, j, 5
Let t(k) = k**3 - 10*k**2 - 25*k + 8. Let q be t(12). Sort q, 5, 1 in ascending order.
q, 1, 5
Let r = -13 - -9. Let f be (6/(-10))/((-9)/(-45)). Put r, 1, f in decreasing order.
1, f, r
Let t = -1.7 + 2. Let q = 0.1 - t. Suppose 2*g = i - 1 + 13, 5*i - 4*g = -30. Put i, q, -0.5 in decreasing order.
q, -0.5, i
Let a = 6 + -6.3. Let s = a + 0.3. Let x = -0.2 + s. Put -3, x, 0.5 in increasing order.
-3, x, 0.5
Let c be ((21 + -3)/3)/2. Let f be c/((-2)/((-24)/9)). Sort -1, f, 2 in decreasing order.
f, 2, -1
Suppose -2*r - r = 0, r - 20 = 5*g. Let c = g + 7. Sort 2, -5, c in decreasing order.
c, 2, -5
Let b = -8.4 - -8. Suppose 2 = 4*a - 6. Suppose -2*r = -3*r - a. Sort b, r, 0 in ascending order.
r, b, 0
Let x = -6 + 3. Put 0, -9, x in ascending order.
-9, x, 0
Let w = 14 - 17. Let z = 2.37 - -0.13. Let f = z + 0.5. Sort w, 0.2, f in ascending order.
w, 0.2, f
Let f = -3.3 + -0.7. Let g = -6 - f. Sort 0.5, g, 2/7 in decreasing order.
0.5, 2/7, g
Let y be (-11)/77*7/(-12). Put -1/7, 1, y in descending order.
1, y, -1/7
Let c = 4 + -2. Suppose c*o = -5*y + 3*o + 109, 3*o + 12 = 0. Let t be 0 - ((-9)/y)/(-1). Put t, 2/11, -1/10 in increasing order.
t, -1/10, 2/11
Suppose -5*k + 0*k + 20 = 0. Suppose 3*g + 0*g - 10 = -h, 0 = 2*g - 2*h - k. Suppose c + 7 = 2*c - n, -c = g*n + 13. Sort -3, 3, c in ascending order.
-3, c, 3
Let r = 14 - 17. Sort r, 2, 9 in increasing order.
r, 2, 9
Let w = -2 + -1. Let u = 2.95 - -0.05. Let k = u + 1. Sort 0.5, k, w in decreasing order.
k, 0.5, w
Suppose 5*f + 1 = -4*k + 22, -4*k - f + 17 = 0. Sort -3/7, k, -3 in increasing order.
-3, -3/7, k
Suppose 4*k + 3*v = k, k - 6 = v. Let t(f) = -f**2 + 2*f + 2. Let m be t(k). Let u = 142 + -147. Put u, m, 1 in ascending order.
u, m, 1
Let u(s) = 5*s**3 - 4*s**2 - s + 2. Let y(o) = -14*o**3 + 12*o**2 + 3*o - 6. Let c(a) = -11*u(a) - 4*y(a). Let m be c(4). Sort -4, m, 5 in increasing order.
-4, m, 5
Let c(x) = x - 10 + 0 + 1. Let w be c(7). Let s = 2 + -3. Sort -5/2, s, w.
-5/2, w, s
Let v = 0.23 - 0.13. Sort 2, 1/3, v.
v, 1/3, 2
Let v = -11 - -28. Sort 0.2, v, -3 in descending order.
v, 