2, h
Let z = -1 - 3. Suppose -5*y - 2 = -4*s + 2, 0 = 5*y - 3*s + 3. Suppose 0 = -y*u - u - 3. Put z, u, 2 in descending order.
2, u, z
Let f = -7 + 7. Suppose -3*k - 2*m - 16 = 0, 2*k + 5*m + 34 = 5. Let w = 1 + 4. Sort k, f, w in increasing order.
k, f, w
Let l = 4.2 - 9.2. Sort 4, l, -2/11.
l, -2/11, 4
Let c = 27 - 26.96. Sort c, 2, -4.
-4, c, 2
Let w = -14.5 - -14. Put w, 4, 3 in decreasing order.
4, 3, w
Let t = 1.3 - -0.7. Sort t, -0.03, -0.5.
-0.5, -0.03, t
Let o = 7 + -2. Sort -2/11, o, 0.
-2/11, 0, o
Let y = -2 + 3. Let v be (-5)/(5/(-28)) - 0. Suppose -v = -2*a + 5*p, 5*a - 3*p = p + 36. Put -1, a, y in decreasing order.
a, y, -1
Suppose 3*x + 0 = 6. Let v be (4 - 4)/(-5) + -4. Sort v, -5, x in decreasing order.
x, v, -5
Let x = -0.103 + -0.297. Put 3, -4, x, 7 in increasing order.
-4, x, 3, 7
Let s = -1.2 - -0.8. Put 4, s, 3/7, -0.2 in descending order.
4, 3/7, -0.2, s
Let t(p) = -p - 2. Let q be t(-4). Suppose -q = -g + 1. Suppose -2*l - g - 3 = 0. Sort l, 5, -5 in descending order.
5, l, -5
Suppose 2*a - a + 5 = 0. Sort -1, 5, 1, a.
a, -1, 1, 5
Let w = -0.3 - -0.8. Let t(v) = -v**2 + 10*v + 5. Let k be t(10). Sort k, -0.1, w in decreasing order.
k, w, -0.1
Suppose 9 = -l + c - 5*c, c = 4*l + 36. Put l, 0.1, 2 in decreasing order.
2, 0.1, l
Let m(c) = -c**3 + 4*c**2 + c. Let w be m(4). Let y(t) = -4*t**3 + 3*t - w*t**2 + 1 + 5*t**3 + 0. Let a be y(3). Put 3, -2, a in ascending order.
-2, a, 3
Let c(s) = -5*s - 4. Let a be c(-2). Suppose k = 4*k - a. Sort 0, k, 4 in decreasing order.
4, k, 0
Let o = 6 - 11. Sort o, 4, -11 in ascending order.
-11, o, 4
Suppose 3*v + 6 = 0, 3*v = 4*j - v - 24. Suppose 2*n = j + 2. Sort -2, -3, n.
-3, -2, n
Suppose 0 = 5*d - 0*d - 15. Let n be 3/(d/(-6) - 1). Put n, 2, 5 in increasing order.
n, 2, 5
Let b = 1.23 + -1.23. Sort b, 13, 0.2.
b, 0.2, 13
Let y = 154 - 153.5. Put -0.4, y, -1, -0.014 in increasing order.
-1, -0.4, -0.014, y
Suppose 2*g - 3*f = 0, 2*f = 6*f. Suppose 1 + g = -q. Let t be (-1)/(-3) - 1/3. Put t, -4, q in descending order.
t, q, -4
Let d = -2.4 + 2. Let w = -0.2 - d. Sort -2/7, w, -4 in descending order.
w, -2/7, -4
Let f = -5 + 4.6. Let c = -2 - -2. Sort f, c, -3/2 in increasing order.
-3/2, f, c
Suppose 5 = -5*p, 0 = 4*x - 0*p - 2*p - 22. Let q = -1 - -3. Suppose 0 = i + 1 - 2. Sort i, x, q in increasing order.
i, q, x
Suppose 3*v = 3*b - 2*b + 6, 0 = -2*v - 4*b + 18. Suppose -v*s = -s + 4*a + 10, -5*s = 5*a. Put 4, -3, s in decreasing order.
s, 4, -3
Suppose -3*n + 3*j = 13 + 14, 2*j = 10. Suppose 4*i + 4*d - d = -18, -2*d = -i + 1. Sort i, n, 0 in increasing order.
n, i, 0
Let d(t) = t**3 - 6*t**2 + 2. Let c be d(6). Suppose 0 = -3*a - 3, 5*l - 2*a + 6*a = -14. Put -4, c, l in increasing order.
-4, l, c
Suppose -4*r + 25 = -0*z + z, 5*z - 3*r - 10 = 0. Sort -1, z, 0 in decreasing order.
z, 0, -1
Let t(o) = -o**3 + 8*o**2 - o + 4. Let g be t(8). Put g, 8, 2 in increasing order.
g, 2, 8
Let n(p) = p + 2. Let s be n(-2). Put -1, 26, s in increasing order.
-1, s, 26
Let v be ((-36)/(-40))/((-1)/282). Let l = v + 253. Suppose 2*z = -g - 0*g - 4, -3*g - 9 = 3*z. Sort l, -1/4, z.
z, l, -1/4
Let r = 125 + -79. Suppose 3*t = -4*y - 3, 3*y - 5*t + 12 - r = 0. Put 2, 4, y in descending order.
4, y, 2
Let a = -7/75 + -6/25. Sort 0.2, 1, -0.3, a in ascending order.
a, -0.3, 0.2, 1
Let w = -16/105 + -2/15. Suppose 4*s = -61 + 21. Let m be 24/s + 2/5. Put -0.4, w, m in decreasing order.
w, -0.4, m
Let g be 10/2 + (-1 - 0). Let b = 7 - g. Let n = -8 - -8.5. Sort n, b, 0.
0, n, b
Let d = -21 + 29. Let r = d + -7.6. Put r, -0.2, -1 in increasing order.
-1, -0.2, r
Suppose -2*a = -8, -i - 2*a + 5*a - 13 = 0. Sort 3, -5, i in ascending order.
-5, i, 3
Let f = -1.94 - 0.36. Sort f, 4, -1.
f, -1, 4
Let k be (-1)/5 + (-4)/(-120). Let t = 2 - 2. Sort -2/3, t, k.
-2/3, k, t
Let k = 5 - 5. Suppose -2 - 2 = c. Sort c, -3, k in decreasing order.
k, -3, c
Let t = -5 + 8. Suppose -l - 3*y - t = 3*l, -4*l = -2*y - 2. Suppose -10 = 5*x - l*x. Sort 2, 4, x in descending order.
4, 2, x
Let r = 6 + -4. Let h = 1.8 - r. Put h, -2, 2/7 in increasing order.
-2, h, 2/7
Suppose 0 = -p - 3*i - 20, 5*i + 1 = 2*p - 3. Let h be p*1 + 2 - -1. Sort h, 2, 4 in descending order.
4, 2, h
Let d be (10/(-3))/(2/6). Let i(w) = -w**3 - 10*w**2 + w + 12. Let n be i(d). Let s be -3 + 2 - (-1 + -1). Sort s, n, -3 in decreasing order.
n, s, -3
Suppose 0 = r + 5*r + 12. Sort 2, 0, r in ascending order.
r, 0, 2
Let s = -2627/15 + 175. Sort -2, 3, s in descending order.
3, s, -2
Let a = 6 + -7. Let g be 6/(-4)*(2 - 4). Sort g, a, -4 in increasing order.
-4, a, g
Suppose 2*z + 8 = -2. Put z, -2, 3 in increasing order.
z, -2, 3
Let u = 0 - 0.1. Let k = 5 - 4.5. Put u, k, 0.3 in increasing order.
u, 0.3, k
Let x = 0.017 - 0.117. Sort 0.1, x, -0.5 in descending order.
0.1, x, -0.5
Suppose -19 + 1 = -2*d + 5*p, -3*d + 1 = -p. Let m(w) = -w**3 - 6*w**2 - 6*w - 7. Let b be m(-5). Put 5, d, b in descending order.
5, d, b
Let k = -0.08 - -0.15. Let b = k + -3.07. Sort 5, 1/10, b.
b, 1/10, 5
Let m(r) = -r**3 - 16*r**2 - 30*r - 25. Let a be m(-14). Put 2, 1, 5, a in descending order.
5, a, 2, 1
Let w(d) = -d**2 - 4*d + 8. Let o be w(-6). Let m be 0/o*(-1 + 0). Suppose 4 = 14*y - 18*y. Sort y, m, 4 in increasing order.
y, m, 4
Suppose -b = 5*b + 6. Sort b, -5, -11 in increasing order.
-11, -5, b
Suppose -2*t - 8 = -p - 1, 3*p - 13 = 2*t. Sort -5, -4, t.
-5, -4, t
Suppose d = -4*d. Suppose 5*x + 1 + 16 = w, -2*x - 6 = d. Suppose 3*u = u - w. Sort 2, 1, u.
u, 1, 2
Let a = 101/4 + -1103/44. Let u = -214/9 - -24. Sort a, u, 3/2.
a, u, 3/2
Let t = 201 - 195.86. Let h = t + -0.14. Sort 3/5, h, -1/5 in decreasing order.
h, 3/5, -1/5
Let o = 136978/5 - 27220. Let r = 175 - o. Let i = -10 - -15. Put 1, r, i in ascending order.
r, 1, i
Let y(t) = -t**3 + t**2 - t + 1. Let m be y(0). Let u = 4.9 - 5. Let g = -0.27 + -0.03. Put u, m, g in decreasing order.
m, u, g
Suppose 0 = 3*d + 4*d - 21. Suppose -4*p = -3*h - 26, 5*h = -d*p - 0*h + 5. Let w be (-3 - 1)/(0 + -2). Sort w, -4, p in descending order.
p, w, -4
Let c(b) = -5*b + 41. Let v(f) = -2*f + 14. Let q(u) = 3*c(u) - 8*v(u). Let a be q(-6). Put a, 4, -2 in descending order.
a, 4, -2
Let w = -1 - 0. Let v be ((-18)/3)/(0 - 2). Suppose -v*k + 2*k + 7 = 2*g, 0 = -5*k + 25. Put -2, w, g in decreasing order.
g, w, -2
Let z be (-1)/(-4) + 34/(-8). Let u be (-37)/13 - 2/13. Sort u, 2, z in descending order.
2, u, z
Let i = -1 - -20. Suppose 4*a + 2*v + 18 = -0*a, v - i = 5*a. Sort a, 3, 1.
a, 1, 3
Suppose 43*j + 12 = 39*j. Sort 3, j, 1, 4 in increasing order.
j, 1, 3, 4
Let x be ((-1)/2)/(5/30). Let w be (-2)/x*(-18)/(-4). Sort -4, -1, w.
-4, -1, w
Suppose 5*g = -5*d + 15, 2*g = d + 7*g + 1. Let l = -2 + 1. Suppose -2 = -3*c - 14. Put l, d, c in ascending order.
c, l, d
Let y(a) = -2*a**3 - 3*a**2 - 10*a - 8. Let f be y(-1). Suppose v = 7 - 3. Put -4, f, v in ascending order.
-4, f, v
Let x = -0.4 - -0.7. Let o = 20 - 20.5. Suppose -a - a = 4. Sort o, x, a in decreasing order.
x, o, a
Let v = -44.8 + 37. Let h = 8 + v. Let u = -0.2 - 0.2. Sort h, 0, u.
u, 0, h
Let m = 265 - 259.91. Let q = m + -0.09. Put q, -0.5, -2 in decreasing order.
q, -0.5, -2
Let y = -2 - -4. Let j = 0.31 + 0.19. Sort j, -0.5, y in increasing order.
-0.5, j, y
Let u be (-57)/(-15) + (-1 - 3). Sort 0.1, -0.3, u, -2 in increasing order.
-2, -0.3, u, 0.1
Let c(h) = -h**3 + 5*h**2 + 5*h + 3. Suppose -4*q + 26 = z, 2*q - 2 - 32 = -4*z. Let r be c(z). Put 0, r, -4 in ascending order.
-4, r, 0
Let c = 1 - 2. Let l = -17 - -15. Let y be 6*l/18*-2. Sort y, c, 0 in ascending order.
c, 0, y
Let s = -124 - -123.7. Put 0.1, -0.1, 1, s in increasing order.
s, -0.1, 0.1, 1
Suppose -2*c - 12 = -5*f, -3*c - f = -4*f. Suppose 0 = g + 1 - c. Let l(u) = u**2 + u. Let k be l(1). Sort g, -1, k in ascending order.
-1, k, g
Suppose 4*o - j = 5, 5*j = 3 - 8. Put -5, 0, o in decreasing order.
o, 0, -5
Let w(g) = g**3 + 5*g**2 + g + 4. Let j(b) = -b**3 + b**2 - 3*b + 5. Let x be j(2). Let v be w(x). Put v, 1, -5 in decreasing order.
1, v, -5
Let q be (-1 - 0 - 1)/12. Let d = -6 + 4. Sort q, -5, d in descending order.
q, d, -5
Let h(q) = -q**3 + 5*q**2 - q + 3. Let s be h(5). Suppose 8*c = -5*t + 3*c, 5*t + 2*c - 3 = 0. Let r = t + s. Sort r, 1, 4 in descending