 Let y = -24.3 - -22. Let w = 0.7 - y. Put 0, w, f in decreasing order.
w, 0, f
Let h = 7 - 4. Let s(o) = -h*o**2 - 6 - 2*o + 3*o + 10*o**2 - 4 - o**3. Let u be s(7). Put u, -5, -1 in descending order.
-1, u, -5
Suppose -2 - 2 = -s. Suppose 5*a = 5*y - 10, -s*a - 4*y = -3*a - 23. Suppose a*f - f = 0. Put f, -3, -5 in descending order.
f, -3, -5
Suppose -2*t = 6, 5*k = 2*t - 27 - 27. Put 1, -5, k in decreasing order.
1, -5, k
Let g = -1.5 + 0.8. Let n = 0.77 + g. Let a = -4.07 + n. Sort 2/17, 3, a in descending order.
3, 2/17, a
Suppose -r = 5*r - 60. Suppose n + 3*c + 0*c + r = 0, -14 = 3*n + 5*c. Sort n, -4, -2 in descending order.
n, -2, -4
Let b(k) = -7*k - 28. Let g be b(-4). Let l be 1 + -1 + (-2)/(-6). Sort g, l, -4.
-4, g, l
Let w be 2 - (2 + -2 + -1). Put 2, w, -4 in increasing order.
-4, 2, w
Suppose 0 = n - 4 - 0, 5*v = 5*n - 45. Sort -3, -2, v in ascending order.
v, -3, -2
Let y be -5*68/(-140) - (-3)/(-7). Suppose -2*k + 16 = -5*w - 10, 0 = -k + 2*w + 11. Sort -1, k, y.
-1, y, k
Let i(w) = -9*w**3 - 25*w**2 - 25*w - 14. Let x(p) = 5*p**3 + 13*p**2 + 13*p + 7. Let o(l) = -4*i(l) - 7*x(l). Let j be o(-8). Put j, -3, -5 in ascending order.
-5, -3, j
Suppose 2*q - 5*y = 6, -4*q + 3 - 1 = -5*y. Put 18, 3, q in descending order.
18, 3, q
Suppose 0 = 4*n + 2*w + 4, 0 = 3*n - 6*n + 4*w - 3. Let i be (-15)/12*(2 - 6). Suppose -i*k - 13 = -3. Sort n, k, -4 in increasing order.
-4, k, n
Suppose 2*o - 8 + 1 = 3*n, 0 = -4*n - 5*o + 29. Sort 6, -4, n, -1 in increasing order.
-4, -1, n, 6
Suppose -m = -3*m + 64. Let d be m/(-6)*1/(-4). Let r = 1 - 1.5. Sort d, r, 2/19 in descending order.
d, 2/19, r
Let l(a) = 5*a - 2. Let s be l(5). Suppose -12 = 3*v, 2*w = 4*v - 7 + s. Suppose n - 16 = 5*n + 5*x, 5*x + 20 = 0. Sort w, -4, n in decreasing order.
n, w, -4
Let n = 8.14 - 0.14. Let j = 7.9 - n. Sort -2, j, -0.5 in increasing order.
-2, -0.5, j
Suppose 5*x + 10 = 0, -5*x - 25 = z - 2*x. Sort 4, 0, z in descending order.
4, 0, z
Let d(l) = -5*l - 173. Let j be d(-34). Let z = 4.8 - -0.2. Sort z, j, -9.
-9, j, z
Let k = 14 + -11. Suppose -n = 2*n - 4*c + 19, -c + 4 = 0. Sort -3, k, n in ascending order.
-3, n, k
Suppose 0*q - 4 = -2*q. Let o be (-3 - -10) + (-1 - -2). Let x = o + -10. Sort x, q, -1 in increasing order.
x, -1, q
Let w = -38 - -39. Let s = -1 + 2. Suppose -9 = 2*p + s. Sort p, -3/5, w in increasing order.
p, -3/5, w
Let g = -6.6 + 7. Let t = 0.1 - g. Sort t, 2, -0.2.
t, -0.2, 2
Let k be ((-5)/(50/(-12)))/(30/200). Suppose 0 = -r + 4*r - 9. Sort 0, r, k in decreasing order.
k, r, 0
Suppose -9*u + 14 = -4. Sort -3, -1, 7, u.
-3, -1, u, 7
Let z = -0.78 + -0.02. Let b = z - -1.3. Put -1/3, b, 0.3 in ascending order.
-1/3, 0.3, b
Suppose 15 = -2*o - o, 0 = -2*x - o - 9. Suppose 0 = -3*r - 4*u + 7, r = 2*u + 3 - 4. Sort x, r, -5.
-5, x, r
Let m = 44 + -43.97. Put 0.2, 2/3, 4, m in increasing order.
m, 0.2, 2/3, 4
Suppose -4*z + 0*z = -4. Suppose 0 = 5*h - 5*j + 25, z + 2 = j. Put h, 3, -1 in increasing order.
h, -1, 3
Let v(h) = -2*h**3 + h - 5. Let u be v(0). Let b be (1 - 0) + 6*-1. Let n = 9 + b. Put u, n, -2 in increasing order.
u, -2, n
Let s = -296/1085 + -2/155. Sort 1, 0.2, -0.3, s in decreasing order.
1, 0.2, s, -0.3
Let t = 29.3 + -37. Let s = t - -8. Suppose 3*z + 3 = 3*j, -j + 5*z = z - 10. Sort j, -5, s in ascending order.
-5, j, s
Let q = -27 - -22. Put q, 4, 2/3 in descending order.
4, 2/3, q
Let g be 42/20 + (-2)/(-5). Sort -2/7, g, 1/2 in descending order.
g, 1/2, -2/7
Suppose 2*b + t = -6, 2*t - 4*t - 4 = 0. Put -9, b, -1 in decreasing order.
-1, b, -9
Let j be (4/((-8)/(-6)))/1. Sort j, 6, 2.
2, j, 6
Suppose 4*i - 16 = -0*b + 3*b, 0 = -2*b - 5*i - 3. Let u = -6 - -5.6. Let n = 1.98 + 0.02. Put b, n, u in descending order.
n, u, b
Let m be (-564)/(-560) - (-2)/(-2). Let j = m + 267/1820. Sort -0.1, j, 5 in decreasing order.
5, j, -0.1
Let g be (5 + -4 - 1)*(-1)/2. Sort 2, -15, g.
-15, g, 2
Let a = -11 + 16. Put 4/3, a, -3 in descending order.
a, 4/3, -3
Suppose 4*m + 10 = v, 0*v + 5*m + 23 = -4*v. Suppose 3*k = -2*u + 6, u - 4*k = -2*u - 8. Let q = -93 + 92. Sort v, q, u in descending order.
u, q, v
Suppose p = -r - 3*p + 6, -5*r - 5*p + 15 = 0. Suppose -r*j - h = -8, -5*j = 5*h - 10 - 20. Put 3, j, -2 in descending order.
3, j, -2
Suppose 0 = -5*m + 3*m + 10. Suppose -3 = m*f + 17. Sort 3, f, -2 in descending order.
3, -2, f
Let u be (5/(-15))/((-1)/12). Put -2/3, u, 1 in increasing order.
-2/3, 1, u
Let r = -0.5 + 0.7. Sort 3, 1/4, r.
r, 1/4, 3
Suppose -2*g - g + 40 = 5*r, 2*r = -g + 15. Put -8, g, -4, 3 in decreasing order.
g, 3, -4, -8
Let s be (1/(-2) + 0)/(1/2). Let g = -0.2 + 0.1. Sort g, s, 2/5 in increasing order.
s, g, 2/5
Suppose -l - 4*l = -20. Sort l, -1, -5 in descending order.
l, -1, -5
Let j = -2 + 3. Let b = 1 + -4.2. Let x = -0.2 - b. Put x, j, 0.1 in descending order.
x, j, 0.1
Let q be 1/3 - 4/12. Let i = -2 - q. Let m be (0 - 0)/i - -1. Put 0, 2, m in descending order.
2, m, 0
Let k be ((-9)/42)/(84/(-49)). Let n = -3.9 + -0.1. Sort k, -2/3, n in ascending order.
n, -2/3, k
Let n be (2/3)/((-4)/(-30)). Suppose -5*p - 2 = -2*z, 5*p - 5 - n = 5*z. Suppose -4*f + 2*f = 0. Sort 1, f, z in descending order.
1, f, z
Let l(o) = -2*o - 1. Let u be l(-1). Put 4, u, -1 in descending order.
4, u, -1
Suppose -10 = 5*m, 2*m + 45 = 5*g - 3*m. Let k = 13/2 - g. Put k, -0.1, 3 in ascending order.
k, -0.1, 3
Let x = -0.2 - -0.18. Let a be 2507/(-92) + 1/4. Let z = a + 30. Sort z, x, 0.1.
x, 0.1, z
Suppose -3 + 0 = 2*u + z, 0 = 2*u - 2*z. Suppose 3*a + 3 = 6*a. Put -5, a, u in descending order.
a, u, -5
Let v = -29/15 - -8/5. Let f = -115.04 + 117. Let p = f + 0.04. Sort 2/5, v, p in decreasing order.
p, 2/5, v
Suppose -9*q + 18 + 9 = 0. Put q, 5, 52 in decreasing order.
52, 5, q
Let v = -80 - -68.7. Let a = 14 + v. Let m = a + -3. Sort 0.2, 0.1, m in decreasing order.
0.2, 0.1, m
Let y be 10/25*2/4. Sort 0.05, -5/4, y in decreasing order.
y, 0.05, -5/4
Let m = -4 - -8. Let i be (-31)/(-4) - (-3)/12. Suppose 3*p = -p + i. Sort -5, p, m.
-5, p, m
Suppose -5*t = 4*w - 14, t + 4*t - 8 = 2*w. Let o(m) = -m**3 - 3*m**2 - 2*m. Let h be o(-2). Let u(q) = -q - 4. Let f be u(h). Put t, f, 0 in descending order.
t, 0, f
Suppose 2*c + 5*m - 2*m = -12, -4*m + 7 = -5*c. Suppose 4*a = a - 15. Sort 6, c, a in descending order.
6, c, a
Let v = -41 + 38. Suppose -3*w + 18 = -3*c, 16 = -2*c - 0*c + 4*w. Sort v, 3, c in increasing order.
c, v, 3
Let f = 51 - 151/3. Let c = 92 - 88. Sort f, c, -2/7.
-2/7, f, c
Let y = -3 + 11. Suppose -20 = -3*g + y*g. Put 2/7, 1, g in ascending order.
g, 2/7, 1
Let j = 0.2 + 0.1. Let h = 482/35 - 66/5. Sort h, 3, j in decreasing order.
3, h, j
Let b(u) = u**3 - 4*u**2 + 2*u - 3. Let a be b(4). Suppose 0 = p + 5 - 6. Sort a, p, -3 in decreasing order.
a, p, -3
Let c = -0.46 - 0.04. Let g(t) = -t**3 + 6*t**2 - t + 3. Let p be g(6). Sort c, p, -3/2 in ascending order.
p, -3/2, c
Suppose -3*n + 2*l + 40 = 0, n - 2*l - 14 = -l. Suppose -n = -0*q + 3*q. Put q, -3, 2 in descending order.
2, -3, q
Let i(o) = -4*o + 35. Let v be i(10). Let x = 2 + 0. Sort -3, x, v in descending order.
x, -3, v
Let t = -1 - -4. Let q be t*(-3)/(18/(-4)). Put 1, -3, q in descending order.
q, 1, -3
Let v(m) = -m**2 + 6*m + 9. Let r be v(6). Sort -2, 4, r, 5.
-2, 4, 5, r
Let r(l) = l**2 - 6*l + 3. Let c be r(4). Put 6, 1, c, 2 in descending order.
6, 2, 1, c
Let t(a) = -a + 17. Let q be t(12). Put 0, -5, 4, q in decreasing order.
q, 4, 0, -5
Let k(z) = z**3 - 19*z**2 + 17*z + 22. Let q be k(18). Put -2, q, -7, -5 in decreasing order.
q, -2, -5, -7
Let i(k) = -3*k + 6. Let b be i(9). Let x be b/(-15) + 1/(-1). Put x, 5/3, -0.4 in ascending order.
-0.4, x, 5/3
Suppose 2*n = -0*n. Let i = 0 - n. Sort -4, 4, i.
-4, i, 4
Let h = -0.372 - 0.028. Put 29, h, -4 in increasing order.
-4, h, 29
Let p = -9 - -11. Put p, -5, -6, 3 in decreasing order.
3, p, -5, -6
Let w = 10 - 14. Sort -0.1, w, 5.
w, -0.1, 5
Suppose b + 2 = -4. Suppose 0*n + 4 = -n. Let k = b - n. Put k, -5, 1 in ascending order.
-5, k, 1
Let n = -0.003 - -7.603. Let l = 8 - n. Put l, 0.3, 2/3 in increasing order.
0.3, l, 2/3
Suppose 0 = 2*q - 4, 2*o - 5*q = -3 - 7. Put o, -36, 5 in decreasing order.
5, o, -36
Let v = 3 - 3.03. Put v, -2, 0.4 in ascending order.
-2, v, 0.4
Supp