p be (-12)/(-10)*(-10)/(-4). Sort 0, p, f in decreasing order.
f, p, 0
Suppose -3 = 3*z + 9. Put z, -5, 3 in increasing order.
-5, z, 3
Let t = -0.5 + -0.5. Sort -8, t, -5 in descending order.
t, -5, -8
Let y = 9 - 9. Let w be 3*(-3)/(-9) - y. Let t(o) = -o - 2. Let g be t(-5). Put w, -3, g in descending order.
g, w, -3
Suppose 12 = -3*s, 3*a - s - 24 = -a. Suppose a*x - 18 = q, -4*q - x + 0 + 12 = 0. Suppose 2*o + 10 = q. Put -3, o, 3 in descending order.
3, -3, o
Let w be (10/(-24))/5*-2. Let z be (-4)/(-6)*10/20. Sort w, z, 3/7 in descending order.
3/7, z, w
Let q = -253 + 249. Let v be (1/8)/((-3)/4). Let s = -1 + 2. Sort q, s, v.
q, v, s
Let o = 0.14 + -0.34. Sort 7, o, -3/5 in decreasing order.
7, o, -3/5
Suppose 4*a = 2*r - 24, -2*a = a + 15. Let h be (-2)/7*(-3)/2. Let m = 25 + -25.2. Sort r, m, h in ascending order.
m, h, r
Let w = -19 + 20. Suppose 5*a - 16 = 4*u, -3*a + 5*u + 20 = -0*a. Sort -3, a, w.
-3, a, w
Suppose 4*y + 3*a - 7 = 0, 2*y + 2*y = 2*a + 22. Suppose -4*v - 19 = -3. Let l be ((-2)/(-1))/(v/(-2)). Sort l, 3, y.
l, 3, y
Suppose r = t - 5, 0 = -2*t + t + 2*r + 6. Let d = -319 + 306. Sort t, 1, d in decreasing order.
t, 1, d
Let t = 24 - 56. Let k be t/14 + (-2)/(-7). Let d = k + 0. Sort d, 5, 3 in descending order.
5, 3, d
Suppose 3*s - s = 16. Let n be (-4)/16 - (-10)/s. Suppose -y - 5 + n = 0. Sort 0, 0.2, y in decreasing order.
0.2, 0, y
Let k = -0.55 + 0.35. Put 3, k, -5, -2/9 in descending order.
3, k, -2/9, -5
Suppose 4 = -3*i - 8. Let s be ((-2)/5)/(2/10). Suppose 0 = 3*z - 4*m - m + 40, 40 = -5*z + 3*m. Sort s, i, z in increasing order.
z, i, s
Suppose -4*h + 5*g = 9, -5*g = 2*h - 2 - 1. Let w = h + -3. Sort -5, -1, w in increasing order.
-5, w, -1
Suppose -1 + 2 = m. Let x be (m/(-6))/((-12)/(-27)). Let j(k) = -k**2 + 4*k - 2. Let q be j(4). Sort q, 1/3, x.
q, x, 1/3
Suppose -2*g = -5*r - 0 + 18, -5*g + 5 = 0. Sort 2, -11/3, r.
-11/3, 2, r
Let z be (-8)/28 + 69/21. Sort 1/5, z, 4 in decreasing order.
4, z, 1/5
Let h = 57/4 - 14. Let q = 7 - 2. Let l = 0.2 - 0.5. Sort q, l, h.
l, h, q
Suppose -b + 3 = 7. Let g(o) = -o**3 - 2*o**2 - 2*o - 1. Let d be g(-2). Let y = 7 - d. Put b, y, 1 in decreasing order.
y, 1, b
Let k = -25 + 18. Let d = -3 - k. Let m(q) = q - 4. Let s be m(6). Put s, -2, d in increasing order.
-2, s, d
Suppose 0 = -2*b - 2*j, 4*b - 6 = j + 9. Suppose -u + 5 = o + b, u - 3*o = -6. Suppose 0 = -2*i - 2*i - 16. Sort 5, i, u in increasing order.
i, u, 5
Let c be (1 - 4)*(3 - 4). Let m be -2 + c + 1 + -2. Put m, -0.2, -0.4 in increasing order.
-0.4, -0.2, m
Let g = 2/59 - 65/177. Let b = 6 - 5.97. Let s = 0.13 - b. Sort g, s, -3 in descending order.
s, g, -3
Let g be (1 - 3/5)/(-2). Let u = -0.08 - -2.08. Let t = 0.8 - 0.3. Sort t, g, u in ascending order.
g, t, u
Let l(p) = 4*p**3. Let n(o) = o - 9. Suppose 0*m - 8 = -m. Let v be n(m). Let k be l(v). Sort -3, k, -2.
k, -3, -2
Let b be (7 + 1)/2*-1. Suppose 0 = 71*y - 68*y - 3. Suppose 0 = 2*f + 5 - 15. Put b, f, y in descending order.
f, y, b
Let o = -2.5 - -3.6. Sort o, -2, -2/3.
-2, -2/3, o
Let w(l) = -7*l - 6*l**2 - 5 - 1 + 4 - 4 - l**3. Let a be w(-5). Let o = 15 - 10. Sort -2, a, o in descending order.
o, a, -2
Let s = 0.09 - 4.09. Sort -0.09, s, -1 in decreasing order.
-0.09, -1, s
Let d = 129 + -127. Put 37, 0, d in increasing order.
0, d, 37
Let p = -45 - -137/3. Sort p, 3, 4 in descending order.
4, 3, p
Suppose -5*f + 3*f - 6 = 4*p, -3*p - 3 = 0. Let x be 3*f*3/(-27). Sort x, -4, 3.
-4, x, 3
Let f be 1/(-4*(12/3)/24). Put 4, f, -2, -4 in decreasing order.
4, f, -2, -4
Let y be ((-3)/2)/((-27)/36). Suppose 5*s = 4*q + 20, -3*s + 5*s = -y*q - 10. Put 0.2, -5, s in increasing order.
-5, s, 0.2
Let i = 11 - 4. Sort i, 2/13, -0.3 in descending order.
i, 2/13, -0.3
Let n = -7/16 - 43/48. Let s be (-9 - -10)*(2 - 1). Put s, n, 3 in decreasing order.
3, s, n
Let c be 2/(-7) - (-132)/(-28). Let i be ((-3)/(-8))/(3/(-12)). Put c, 2/5, i in descending order.
2/5, i, c
Let d = 1.1 + -1. Let n = 2.65 - 2.45. Sort n, d, 14/3 in decreasing order.
14/3, n, d
Let k = 0.14 - -1.86. Put k, -1/6, 0.4 in ascending order.
-1/6, 0.4, k
Suppose 3*p = -6 + 9. Suppose -5*m = -u + p, -2*m - 1 = 2*m - u. Let d(g) = -g - 1. Let i be d(-4). Sort i, -2, m in increasing order.
-2, m, i
Suppose r - 2*r = -2. Suppose -5*a + 11 = -d, 0*d - 4*d + 22 = r*a. Let i be (-2)/2 + -2 + 6. Sort i, d, 0 in increasing order.
0, i, d
Let h = -45/112 + 3/112. Let k = -41 + 122/3. Let p(g) = g**3 + 6*g**2 + 7*g + 6. Let i be p(-5). Put k, h, i in decreasing order.
k, h, i
Let o = -9.5 + 9. Sort o, -1, -0.4, 5 in decreasing order.
5, -0.4, o, -1
Let l(r) = 4*r**3 + 25*r**2 - 8*r + 2. Let g(h) = -3*h**3 - 17*h**2 + 5*h - 1. Let f(d) = 7*g(d) + 5*l(d). Let q be f(5). Sort 2, -2, q in ascending order.
-2, 2, q
Let w(q) = 4*q + 4. Let a be w(-2). Put 9, 2, a in decreasing order.
9, 2, a
Let r = 202.3 + -190. Let y = r - 12. Put -1/3, y, -3 in descending order.
y, -1/3, -3
Let c = 49 - 28. Suppose 3*g + 15 = -5*x, -5*x + g + 6 = c. Put -2, -5, x in increasing order.
-5, x, -2
Let s be -5*4*(-3)/15. Sort s, 3/4, -5 in increasing order.
-5, 3/4, s
Let q = -14 - -23. Let h = 13 - q. Sort -0.2, -0.4, h in ascending order.
-0.4, -0.2, h
Let a = 2.5 - 5.5. Put -2, a, 0.2 in decreasing order.
0.2, -2, a
Let r = -24/35 + 2/7. Sort r, 4, -2/9, 2/7 in ascending order.
r, -2/9, 2/7, 4
Let r = 0.085 - 2.085. Let d = -20 + 19.1. Let p = d - -0.5. Sort r, 2/3, p in ascending order.
r, p, 2/3
Let n = 1327/3496 + -2/437. Let m = n - -7/24. Let i = 1.6 + -2. Sort m, i, 1 in descending order.
1, m, i
Let i be ((-3)/((-6)/(-10)))/1. Let g(c) = -c**2 - 2*c + 1. Let d be g(-2). Let h = d - 4. Sort i, h, 2 in decreasing order.
2, h, i
Let l = 18 - 21. Put 5, l, -5 in ascending order.
-5, l, 5
Let t(d) = -d**2 + d + 1. Let q be t(-1). Let r be -3 - q/(2/(-4)). Let v(x) = 3*x + 10. Let u be v(-4). Put r, u, 1 in increasing order.
r, u, 1
Let r be (-10 - -1)*10/15. Let i = -2 - r. Suppose -i*c - 2*b + 22 = 0, -c + 4*b - b - 5 = 0. Sort 0.1, 2, c in descending order.
c, 2, 0.1
Let x(o) = o**3 - 6*o**2 - o + 1. Let i be x(6). Let k = -4 - i. Let w be k/(-3) - (-6 - -6). Sort w, -4, -0.4 in ascending order.
-4, -0.4, w
Let z = 59 - 59.3. Let g(c) = c + 11. Let h be g(-6). Put z, h, 1/4 in decreasing order.
h, 1/4, z
Let u = -5 - -9. Suppose 7 = -4*c - 3*q, u*c + 2 = -2*q - 0. Sort 5, c, 1.
1, c, 5
Suppose -n = 3*i + 6, n - 10 = -0*i + 5*i. Put 3, 1, i in increasing order.
i, 1, 3
Let h = -32 - -23. Let z = -11 - h. Sort 0.4, z, 0 in ascending order.
z, 0, 0.4
Let c = 4.4 - 1.4. Sort 1, -0.5, c in descending order.
c, 1, -0.5
Suppose 32*p - 35*p = 18. Sort 4, p, 1 in decreasing order.
4, 1, p
Let m = 23/30 - 7/6. Put -5, m, -2/9 in decreasing order.
-2/9, m, -5
Let o = -12 + 27. Suppose -2*t = 3*d - 16, -3*t - 1 = -2*d + 1. Let q be (-2)/d*(-12)/o. Sort 2/9, 2, q in increasing order.
2/9, q, 2
Let h be 6 + -10 - (-4 + 2). Sort 1, 5, 7, h.
h, 1, 5, 7
Let t = 0 - -3. Suppose 4*a - 16 = -0*a. Suppose -u + 3 = -4*u. Sort t, u, a in descending order.
a, t, u
Suppose 4*h - 3*l = -7*l - 16, -5*h - 20 = -5*l. Sort -3, h, -2 in descending order.
-2, -3, h
Suppose 0 = p, 3*p - 6*p = -3*o + 6. Suppose 2*l = -3*l. Suppose l = -5*a + 2 - 17. Sort 0, o, a in decreasing order.
o, 0, a
Let h = -0.13 - -5.13. Let m = h + 2. Let b = -7.3 + m. Put b, 0.2, -1 in descending order.
0.2, b, -1
Let y = 4 + 1. Suppose 0*d + 5*d - y = 0. Sort 0, d, -3 in decreasing order.
d, 0, -3
Let c be (-3 + 5/2)*-10. Let a(f) = f**2 - 7*f + 6. Let m be a(c). Sort m, -3, 1 in increasing order.
m, -3, 1
Let b be ((-35)/15 - -3)*-3. Put b, 0.3, -0.1 in increasing order.
b, -0.1, 0.3
Let v(c) = c**3 + c**2 - c + 2. Let g be v(-2). Suppose -2*m + 3*m + 5 = g. Let r be 1*(-13)/5 - 2/5. Put m, r, 3 in descending order.
3, r, m
Suppose -f = -0*f - 2. Let a(p) = p**3 - 9*p**2 + 7*p + 8. Let n be a(8). Let g = -1 - n. Put g, f, 3 in descending order.
3, f, g
Let l = 7.96 + 0.04. Let n = l - 8. Sort n, -2, 3 in decreasing order.
3, n, -2
Suppose -4*f - 6*k = -5*k + 24, 0 = 4*k. Let t be f/(-21) - (-39)/(-63). Put 0, 4, t in increasing order.
t, 0, 4
Let t be (-14)/(-4)*(-2 - 0). Let z = -7 - t. Sort -0.2, z, -3 in ascending order.
-3, -0.2, z
Let q = -9 + 28/3. Let 