 f in decreasing order.
f, -3, h
Suppose -20 = -5*r, -2*r + 0*r = 4*x + 4. Put 2, -2, x in descending order.
2, -2, x
Let n = 13 - 13. Let q be 5 + (-2 - -4 - n). Sort 2, 3, q in increasing order.
2, 3, q
Let z = -1.7 + -0.3. Sort 4/5, -3/8, z in descending order.
4/5, -3/8, z
Let b = 15 + -13. Sort 0, b, -4 in decreasing order.
b, 0, -4
Let u = -1 + -3. Let f = 20/301 - -48421/602. Let s = f + -79. Sort u, s, -3/8.
u, -3/8, s
Suppose -3*s - 6 = -5*s. Suppose -2*w = -c - s + 1, -4*w = -3*c - 4. Let k = -1 + 1. Put k, -3, w in ascending order.
-3, k, w
Let b = -7841/28 - -280. Sort -0.2, b, -0.5 in descending order.
b, -0.2, -0.5
Let k = -0.17 - -4.17. Put k, 5, 0.2 in descending order.
5, k, 0.2
Let a = -0.1 - -0.2. Let u be 4/2 + (-24)/2. Let r be (-18)/(-70) - (-4)/u. Put a, r, -0.4 in decreasing order.
a, r, -0.4
Let x = 16.2 + 2.8. Let c = 15 - x. Sort 3, -0.4, c in ascending order.
c, -0.4, 3
Let q = 31 - 27. Put -1, q, 0 in decreasing order.
q, 0, -1
Suppose 4*o = -5 + 1. Let d = 209 - 211. Put 0, o, d in decreasing order.
0, o, d
Let f be 1/(4*(-3)/(-36)). Sort f, 2, 6, 5.
2, f, 5, 6
Let a = -0.001 - 1.999. Let u be (4*(-2)/(-20))/12. Let c = u + -13/30. Put a, c, -3/5 in ascending order.
a, -3/5, c
Let z be 2/15 - (-14)/70. Sort 1/4, -37, z, -3 in decreasing order.
z, 1/4, -3, -37
Let w = 4.072 + -0.072. Let h be (-1)/(5/8*-14). Let f = h + 23/105. Put 0, w, f in ascending order.
0, f, w
Let u be (-15)/36 - 4/(-6). Let x = -1 - -1.2. Sort u, -5, x in increasing order.
-5, x, u
Let q(r) = r**3 + 6*r**2 + 5*r + 3. Let y be q(-4). Let z be 1 - ((-18)/y - -2). Sort z, 3/8, -3 in ascending order.
-3, z, 3/8
Let i = -29 - -29.5. Put -5, i, 2, 0 in ascending order.
-5, 0, i, 2
Let v = 0.2 - 0.3. Let y = 1.05 - -0.96. Let t = y - 0.01. Sort 0.5, t, v in descending order.
t, 0.5, v
Suppose 2*b - 20 = -3*b + i, 5 = -3*b + 4*i. Let k(z) = z + 3. Let d be k(b). Suppose 0 = -3*y + d - 2. Sort -5, 4, y in descending order.
4, y, -5
Suppose -2*l + 5*l - 3 = 0. Let w = 0.43 + -0.03. Let y = w - 0.3. Put 4, l, y in ascending order.
y, l, 4
Let q(z) = -z**3 + 11*z**2 - 10*z + 3. Let h be q(10). Put h, 0.5, 4 in increasing order.
0.5, h, 4
Let u = 0 + 0. Suppose 0 = 2*z + 4*l - 24, 4*z + 2*l - l - 13 = 0. Put z, u, -3 in increasing order.
-3, u, z
Let l = 8 - 7. Let v(k) = -k - 9. Let z = -9 - -1. Let g be v(z). Sort g, l, -3.
-3, g, l
Let l = 1 - 9. Let t(c) = -2*c - 11. Let n be t(l). Sort -2, n, 1.
-2, 1, n
Suppose 2*g - 2*r + 8 = -2, 2*g + 2*r - 2 = 0. Let h = -7 - -5. Let a = h - -2. Sort g, -4, a in descending order.
a, g, -4
Let k = -15 + 15. Sort 10, k, 3 in increasing order.
k, 3, 10
Let d = -149/2 - -77. Sort d, -3, -0.03.
-3, -0.03, d
Let x = 220/63 + -34/9. Sort x, -2, 1/3, -0.4 in decreasing order.
1/3, x, -0.4, -2
Let t(b) = b**3 - 9*b**2 + 8*b + 2. Let v = 8 - 0. Let a be t(v). Let s be (-3)/2 - (-1)/2. Sort 0, a, s in descending order.
a, 0, s
Let c = 6.1 - 7.1. Put -0.5, 0.01, c, -1/6 in descending order.
0.01, -1/6, -0.5, c
Let d = -60 + 56. Put -2, 1, d in descending order.
1, -2, d
Suppose -3*o - 8 = -5*o. Sort -4, o, 8 in descending order.
8, o, -4
Let d = 6 - 1. Let z be -3 - ((-220)/35 - (-2)/7). Put z, d, 0 in decreasing order.
d, z, 0
Suppose 2*d - 4*d = 8. Let p = -1/1131 + 50519/1131. Let f = p - 45. Put -0.4, f, d in descending order.
f, -0.4, d
Let z = 60 + -59. Put z, 0.1, 0.3, 4 in ascending order.
0.1, 0.3, z, 4
Let p = 0.2 + 0.3. Let u = p + 0. Let q = -0.44 + -0.06. Put -3, q, u in decreasing order.
u, q, -3
Let q be 3/4*(3 - -1). Let c(t) = t**2 + 9*t - 2. Let n be c(-10). Let y = 7 - n. Put 1, y, q in increasing order.
y, 1, q
Let h = -0.6 - -0.1. Let l = 23/14 - 3/2. Let a = 0.21 - 0.41. Sort a, l, h.
h, a, l
Let l be 4/(-6) - (-2)/3. Suppose 0 = 4*f - 2*f + 8. Suppose 2*s - 6*s + 30 = -5*u, 4*u - 2 = -2*s. Sort u, l, f in decreasing order.
l, u, f
Let x = 40 + -40.5. Let l be 2/8 - 11/12. Sort -5, l, x in increasing order.
-5, l, x
Let t(x) = -x**3 + 31*x**2 - x + 34. Let q be t(31). Sort -3, q, 2 in decreasing order.
q, 2, -3
Let y = 14 + -12. Sort -3, -0.03, 1, y.
-3, -0.03, 1, y
Let l = 1.1 + -0.8. Suppose 4*s = 4*h + 40, 4*h = 4*s + s - 45. Let t(x) = -x**3 + x**2 + x + 5. Let w be t(0). Sort w, h, l in descending order.
w, l, h
Let m = -33/20 + 12/5. Suppose 0 = 2*x + 2*x - 5*g - 11, 2*x = 5*g + 13. Put x, m, 4/5 in decreasing order.
4/5, m, x
Let n be (0 + 15/(-2))*72/108. Let y(w) = w + 10. Let q be y(-7). Sort -4, q, n in ascending order.
n, -4, q
Let r = -47 + 236/5. Let b = -4.8 - -7.1. Let d = b + -2. Put 5, r, d in increasing order.
r, d, 5
Let t(g) = -4*g - 5. Let c be t(-2). Sort 2, c, -3 in increasing order.
-3, 2, c
Suppose 9 = -3*f + 3*d, 4*f + 0*f + 3*d - 23 = 0. Suppose 3*y + 2*z = -f*y + 20, -2*y = -3*z + 11. Put 1, y, 5 in decreasing order.
5, y, 1
Let r(o) = 2*o + 2. Let i be r(-3). Sort 1/3, -1/2, i, 3/5.
i, -1/2, 1/3, 3/5
Let b = 7 + -4. Let l = 6 - b. Suppose 0 = -p + 5*y - 25, 2*y - 20 = -5*p - 2*y. Sort l, 1, p in decreasing order.
l, 1, p
Suppose -55 = 4*j - 11. Let t = -12 - j. Sort 0.3, t, -4/9.
t, -4/9, 0.3
Let g = 0.04 - -1.96. Let m = 7/4 + -19/12. Let w = 0.74 - 1.74. Sort g, m, w in decreasing order.
g, m, w
Let q be 1/((-1)/4*-2). Suppose -q*p = 0, -n + 3*p - 9 = 2*n. Let i = n + 0. Sort -2, 0, i.
i, -2, 0
Suppose -3*q + 0*y = 2*y, q + 3*y = 7. Suppose 3*o - 14 = -2*x - 5, 3*o - 3 = 0. Let r = -14 - -10. Sort x, r, q in ascending order.
r, q, x
Suppose -3*v + 5 = 2. Let b = v + -13. Let a be ((-10)/(-8))/(3/b). Sort a, -3, 4 in increasing order.
a, -3, 4
Let o = 445/37 - 12. Let m = o - -67/259. Put m, 0.3, 4 in descending order.
4, 0.3, m
Let a = -0.51 - -0.01. Put 5, -4, a in descending order.
5, a, -4
Let o = 0 + -4. Let d = -3 - -8. Sort o, 3, d.
o, 3, d
Let o(d) = d**2 - 3*d - 4. Let r be o(4). Sort r, -3, 5 in decreasing order.
5, r, -3
Let b = 96 + -89. Put -1, 2, b in decreasing order.
b, 2, -1
Let q be (-2)/6 - (-4)/3. Let p be (2 - (-5 + 1))/(-2). Put q, 4, p in increasing order.
p, q, 4
Let m be 4 - 0 - 4/4. Suppose -b = m + 2. Let s(o) = o**3 - 4*o**2 + 4*o - 4. Let c be s(3). Put -3, b, c in ascending order.
b, -3, c
Let r(y) = y**2 + y - 5. Let t be r(0). Suppose 13 = 3*z + l, -5*z + z = 4*l - 12. Sort z, 4, t in increasing order.
t, 4, z
Let o = -5 - 14. Sort -0.1, o, 0.2 in ascending order.
o, -0.1, 0.2
Let v = 64 + -61. Sort v, 1, 5, 4 in decreasing order.
5, 4, v, 1
Let v be (18/18)/((-2)/(-8)). Suppose 4*z = -4*n - 20, 4*z - n = -5 - 5. Put z, 3, v in descending order.
v, 3, z
Let t(q) = q - 2. Let r be t(11). Let w be r + -5 + 2 - 1. Put 1, 2, w in decreasing order.
w, 2, 1
Let d(l) = -7*l - 28. Let v be d(-4). Suppose 4 = 4*n - 0. Sort -2, v, n.
-2, v, n
Let t = -0.08 + -0.42. Let z = -16 + 18. Sort -0.1, t, z in descending order.
z, -0.1, t
Let h = -23 + 26. Put 1/3, h, 0, -1/2 in decreasing order.
h, 1/3, 0, -1/2
Let p = -9 + 12. Suppose p*g = -7 - 5. Let q = 7 - 4. Put 5, g, q in decreasing order.
5, q, g
Let g be 6/(-30)*735/6. Let a = g + 24. Sort -3, a, -0.7 in decreasing order.
a, -0.7, -3
Suppose -5*j + j = -40. Suppose 0 = -0*p + 5*p + j. Let x = -8 + 9. Sort x, p, -1.
p, -1, x
Suppose 0 = -2*z - 0*z - 10. Sort -3, -2, z in decreasing order.
-2, -3, z
Suppose 2*k = -2*k + 40. Let w be -2 + k/(-12) - -2. Let o(f) = -f**3 + 5*f**2 + 6*f. Let g be o(6). Put 4, w, g in decreasing order.
4, g, w
Let y(n) = -n - 4. Let t be y(-5). Put t, -2, -1 in ascending order.
-2, -1, t
Suppose -2*s - 4*a - 8 = 0, 0 = -s + a + 15 - 4. Let j be -2 - 4/((-8)/s). Let l = 19 + -22. Sort -2, l, j in decreasing order.
j, -2, l
Let s = -0.06 + -0.34. Let l = 233/10947 + -4/123. Let b = l + -171/623. Put -5, s, b in decreasing order.
b, s, -5
Let b = -1.15 - -5.15. Put b, -0.5, -9 in descending order.
b, -0.5, -9
Let n = 0.1 - 0.12. Let f = n + -0.28. Let g = f + 0.1. Sort -4, 3, g in ascending order.
-4, g, 3
Let f = 110 - 114. Put 2, 13, f in descending order.
13, 2, f
Let p = 10 + -6. Suppose -4*g + 4*l = p, 7*l - 2*l - 4 = 4*g. Suppose 0 = 5*j - 2*j. Put -2, j, g in increasing order.
-2, g, j
Let o(l) = -l**3 + l**2 - l + 3. Let p be o(0). Sort -3, 5, p, 0 in ascending order.
-3, 0, p, 5
Let u be 25/125*1*-2. Put 0.4, 1/2, u in ascending order.
u, 0.4, 1/2
Let q be -1 +