Put 3, 0.5, v, 2/5 in decreasing order.
3, 0.5, 2/5, v
Suppose 0*m - n + 6 = 2*m, -5*m + 15 = -2*n. Suppose 2*w - m = -11. Let i = 6 - 8. Put w, i, 5 in descending order.
5, i, w
Let b(p) = p**3 - 8*p**2 + 8*p - 9. Let j be b(7). Let h(k) = k**3 - 3*k**2 + k - 3. Let l be h(3). Suppose y + 1 = -l. Put j, 1, y in increasing order.
j, y, 1
Let g be (2 - 4*1)/(40 - 36). Let i = 0.2 + -0.3. Put 0.2, g, i in ascending order.
g, i, 0.2
Let x(j) = -j**2 - 3*j - 2. Let q(l) = -2*l**2 - 3*l - 3. Let f(z) = -2*q(z) + 3*x(z). Let n = 11 + -8. Let d be f(n). Sort 3, d, -2/9.
-2/9, d, 3
Let c = -135 - -134.8. Sort -4, c, 4 in ascending order.
-4, c, 4
Let i(b) = b**3 - 2*b**2 - 7. Let p be i(3). Put p, 3, -10 in ascending order.
-10, p, 3
Let k = -19.4 + 19. Put 0.3, 7, k in ascending order.
k, 0.3, 7
Let c = 6610 + -33242/5. Let p = c - -39. Sort -3, 3, p.
-3, p, 3
Suppose 9*m + 4*d - 46 = 4*m, 2*d + 4 = 2*m. Let q be m/27 + 22/(-18). Put 4, -3, q in decreasing order.
4, q, -3
Suppose 13 = 2*h + 1. Let i be (-20)/12 + 4/h. Put 2, i, 3 in ascending order.
i, 2, 3
Let g be (6/(-9))/(4/(-30)). Let w be -2 + 0 + (1 - 2). Put w, g, 2 in increasing order.
w, 2, g
Suppose -60 + 58 = -2*s. Put 5, 4, s in increasing order.
s, 4, 5
Let h = -206.84 - -207. Sort h, -2, 3/2.
-2, h, 3/2
Suppose h + 0 = 1. Let f be 1 + (-1)/(-2) - h. Let z = 161/3 + -54. Sort f, 0.2, z in increasing order.
z, 0.2, f
Let p(t) = -4 + 7*t**2 + 0 + t**3 + 0*t**3 + 0*t + 5*t. Let k be p(-6). Suppose -k + 0 = w. Sort 0.5, 3/2, w in descending order.
3/2, 0.5, w
Let n = -7 + 11. Let f be (1 + -2 - -3)*-2. Let u be (-6)/4*f/3. Put n, 5, u in descending order.
5, n, u
Let t be 4/(48/(-10)) + 1. Let u = 0.5 + -0.9. Put -3/8, t, u in descending order.
t, -3/8, u
Suppose -5*h + 25 = 5*o, 3*o - 2*h = 2*h + 8. Let i = 5.07 - 0.07. Let d = -8 + i. Put 2/11, o, d in descending order.
o, 2/11, d
Let x = 22 + -10. Let w be (-2)/(2/x*3). Let h(i) = i + 4. Let p be h(-2). Sort 0, w, p in descending order.
p, 0, w
Let j be 0*1/((-3)/(-3)). Suppose j = 2*b - q - 7, -2*b - 4*q - q = -13. Let k(p) = -2*p - 22. Let z be k(-9). Sort z, b, 3 in decreasing order.
b, 3, z
Suppose h + 4 = 1, -h = 5*c + 8. Let j = 1 - 1. Let t = j - 4. Sort c, 1, t in decreasing order.
1, c, t
Let t = -4206 - -20957/5. Let p = -15 - t. Let u = -5.1 - -0.1. Sort u, p, 2 in descending order.
2, p, u
Let r(z) = -2*z**2 + 3*z + 4. Let c be r(3). Let j = -35 + 36. Sort j, 4, c in ascending order.
c, j, 4
Let m = 130.04 - 128. Let z = m - 0.04. Let c = -2.3 + z. Sort c, 3/4, 1.
c, 3/4, 1
Suppose 43 = -5*c + 2*h - 7, -2*c - 49 = 5*h. Let z be (-21)/c - (-1)/4. Put 4, z, -4 in decreasing order.
4, z, -4
Suppose -5*s + 4*a + 5 = 0, -3*s + 5*a - 5 = s. Suppose 9 = -3*o, 13 + 13 = -5*w - 2*o. Sort s, 0, w.
w, 0, s
Let b = 0.3 - 0.16. Let n = 3.14 - b. Put 5, 0, n in increasing order.
0, n, 5
Let n = 165 + -30. Let q = n + -135.67. Let d = 0.7 + q. Put -1/4, -2/7, d in decreasing order.
d, -1/4, -2/7
Let h be ((-11)/(-3) - 4)/(4/9). Put h, 0.1, 1/6 in descending order.
1/6, 0.1, h
Suppose 3*q - 5*y = 6, -3*q - 4*y + 30 = -y. Let k = q + -3. Suppose -r - k = r. Sort 5, -1, r in decreasing order.
5, -1, r
Suppose -4*f = -0*f - 16. Suppose 0 = -4*c + 11 + 1. Sort f, 5, c in descending order.
5, f, c
Let y = -2 + 3. Let q = -4.2 + 4. Let x = 129 - 648/5. Sort q, y, x in ascending order.
x, q, y
Let s = 1.6 - 2. Let k = 17 - 12. Sort 0.4, k, s in descending order.
k, 0.4, s
Let u be 0/(-2 - -4) - (-5 - -9). Sort 3, 2, u, -3.
u, -3, 2, 3
Let r = 30/19 + -352/247. Let u = -37 + 37.3. Sort -4, u, r in decreasing order.
u, r, -4
Let j = -1 - -3. Suppose 4*n - 3*y = -7, y + y = -4*n - 22. Sort 0, j, n in decreasing order.
j, 0, n
Let s(t) = -t - 5. Let c be s(-7). Let q be (-11)/(-9) + c/(-9). Suppose 3*l = -4 + 10. Sort l, q, -3 in increasing order.
-3, q, l
Suppose 7*n = 3*n + 20. Suppose 3*z = 8*z - n. Put 2, z, -1 in increasing order.
-1, z, 2
Let a = -8 - -8. Suppose -4*c - 23 = 3*g, -5*g + a*g + 4*c = 17. Let t(d) = -d**3 - 5*d**2 - 5. Let y be t(g). Put -1, -2, y in decreasing order.
-1, -2, y
Let s = 8.3 - 5. Let i = 0.3 - s. Let x = -2.5 - i. Sort 0.3, -2/11, x.
-2/11, 0.3, x
Let b = -0.47 + -0.03. Let z = 0.5 + 6.5. Let v = z - 12. Put v, 5, b in descending order.
5, b, v
Let y be (2/3)/(10 + (-82)/6). Let k be (4/10)/(13/5). Put 2/9, y, k in descending order.
2/9, k, y
Let m(t) = 3*t + 3. Let z be m(-3). Let p be -2 + 4 + z/2. Put p, -3, -5 in descending order.
p, -3, -5
Let i(g) = g**3 - 7*g**2 + 3. Let d be i(7). Let q = d - 3. Suppose -4*b + 3 = -5*b, q = -3*r + 2*b + 12. Sort 3, -3, r.
-3, r, 3
Let h = 9 + -5. Let m = h - 4. Sort 2, 2/19, m.
m, 2/19, 2
Let v = 29.6 - 30. Put -1/4, 2/15, v in decreasing order.
2/15, -1/4, v
Suppose 3*y = 4*t + 7, -4*y - 5 = -3*y - 5*t. Put -8, 0.2, 3, y in increasing order.
-8, 0.2, 3, y
Suppose 8*f + 1 = 4*f + j, 4*f - 4*j + 16 = 0. Put 2, f, -1 in decreasing order.
2, f, -1
Let f(j) = -j**2 - 6*j + 6. Let u be f(-7). Let p be 225/(-50) - 2/4. Sort 4, p, u.
p, u, 4
Let a be (3 + -5)/(5*-2). Let p = 16 - 10. Suppose -4 = 4*n + v, -3*v + p = -3*n + 6*n. Sort n, 4, a.
n, a, 4
Let t(k) = k**3 + 6*k**2 - 27*k + 8. Let f be t(-9). Sort 0, -5, 5, f in ascending order.
-5, 0, 5, f
Let g = 3.28 + -0.28. Put 0, -3/4, -2/3, g in decreasing order.
g, 0, -2/3, -3/4
Let w = 0 + -0.2. Let s = -0.1 - -0.2. Put w, 1, s in descending order.
1, s, w
Let r(j) = 30*j**2 - 2*j - 2. Let b be r(-1). Let m = b - 34. Sort m, 3, 6 in ascending order.
m, 3, 6
Let j be 15/39*2/(-5). Let y be 7*(0 - (-6)/2). Let b = 17 - y. Sort j, b, 5 in decreasing order.
5, j, b
Let q = -0.42 - -0.02. Let d = -0.4 - 0.6. Let y = -0.9 - d. Put y, -5, q in increasing order.
-5, q, y
Let l = -1 + -1. Let z be (5/(-2))/(l/4). Sort -1/3, z, 0 in descending order.
z, 0, -1/3
Let y = -66 - -65.9. Sort -1/4, y, -6, 2 in decreasing order.
2, y, -1/4, -6
Let m = -13.1 + 14. Let i = -0.4 + m. Let p = -0.3 + 0.4. Sort -4, i, p in ascending order.
-4, p, i
Suppose q + 4*f = 9, 5*q + 2*f + 17 - 44 = 0. Suppose l = q - 4. Put -3, l, 0 in increasing order.
-3, 0, l
Let g = -23 + 21. Put 5, g, 3 in ascending order.
g, 3, 5
Let q = -23 + 27. Put q, 1, -2 in descending order.
q, 1, -2
Let w = 17 + -19. Let l be (-8)/(-4) - (-4)/w. Let f be (-1)/(8/(-6))*-4. Put -2, l, f in decreasing order.
l, -2, f
Let l be (-160)/(-648) - 4/18. Let j = 257/567 - l. Put -3, j, -0.9 in decreasing order.
j, -0.9, -3
Let b = -0.049 - 4.951. Put 1/3, 0.5, b in descending order.
0.5, 1/3, b
Let i = 2 + 0. Let b be -5*-1*2/i. Let d = -3/10 + -11/30. Put b, d, 3 in descending order.
b, 3, d
Let t(h) = 1 + 4*h**2 - 3*h**3 + 3*h**3 + h - h**3. Let k be t(4). Let m be 48/10 + 1/k. Put 4, 2/9, m in increasing order.
2/9, 4, m
Let v = 3.1 - 3. Let m = v + -5.1. Put -0.1, 0.3, m in ascending order.
m, -0.1, 0.3
Suppose -d + 3 = -5. Let w = d - 11. Suppose -6 = 3*x - 5*x. Put w, 2, x in ascending order.
w, 2, x
Suppose l = -5*l. Sort 5, l, -1 in descending order.
5, l, -1
Suppose -5 = r + 3*m, 3*r + 3*m = 2*m - 7. Let t be ((-6)/(-6))/(1/3). Sort r, -3, t.
-3, r, t
Suppose 3*o + 4*r = -19, r - 19 = o + 3*o. Sort 4, -2, o in decreasing order.
4, -2, o
Let w be 13/(-6) + (-1)/3. Sort -3/8, w, 3, -7 in decreasing order.
3, -3/8, w, -7
Let y = -90 + 90. Let n be 8/7*(-1)/4. Sort -0.3, y, n in increasing order.
-0.3, n, y
Let p = 17869/4 + -24641343/5516. Let w = p + -69028/53781. Let m = w - -8/13. Sort -0.3, m, 1/7.
m, -0.3, 1/7
Suppose 0 = -5*d + 5. Let k = -19 + 14. Sort k, d, 5.
k, d, 5
Let o = 269 - 1609/6. Let h = o + -1/6. Let l = 0 + -0.1. Sort -1/4, h, l in ascending order.
-1/4, l, h
Let p be ((-2)/(-6))/((-2)/(-8)). Suppose -2*d + 7 = 3*u, -u - 3 + 1 = 5*d. Put u, p, 1/6 in descending order.
u, p, 1/6
Let u = -5.09 - -0.09. Sort 1/6, u, 0.
u, 0, 1/6
Let j = -4.97 + -0.03. Let c = -6/331 - -28532/3641. Let y = c + -646/77. Put -0.2, j, y in ascending order.
j, y, -0.2
Let h = -6605/11 + 598. Let g = 25/11 + h. Let y = 0 + 1. Sort y, -1/2, g in ascending order.
-1/2, g, y
Let t be 3/9*1 - (-24)/9. Sort t, -1, -3 in decreasing order.
t, -1, -3
Let q = 1.2 - 0. Let k = q - -2.8. Let s be (1*(1 - 0))/(-3). Sort 0.2, s, k.
s, 0.2, k
Suppose -g - 2*q - q + 4 = 0, -7 = -3*g - 4*q. Let k(p) = -2