-2, 3, v in decreasing order.
3, v, -2
Let i be 4/(-20) + 148/(-10). Sort 3, i, -5.
i, -5, 3
Let m be 3 - 4 - (-1 + 4). Sort 2, m, 0 in decreasing order.
2, 0, m
Let z = -35 + 68. Let d be z/75*5/2. Let p = 3/5 - d. Sort -1, p, 2 in descending order.
2, p, -1
Suppose -3*t = 2 - 17. Suppose 2*g + 0*g - 4*i - 28 = 0, -3*g + 17 = -i. Sort -2, g, t in decreasing order.
t, g, -2
Let c be (4/8)/(3/(-6)). Let f be (-4)/(-1) - (-1 - -3). Sort f, 5, c.
c, f, 5
Let u = -3.89 - -4. Let x = -0.51 + u. Put x, -0.2, -1 in decreasing order.
-0.2, x, -1
Let u(h) = h**2 - 4*h - 1. Let x be u(3). Let m be (16/28)/((-2)/(-7)). Put x, m, -10 in decreasing order.
m, x, -10
Let z = -0.8 - 3.2. Let w = -7 - z. Put 1/5, 2, w in decreasing order.
2, 1/5, w
Let a = -13 - -8. Sort 3, -1, a, 2 in increasing order.
a, -1, 2, 3
Let c = -6 + 5. Suppose -2*l + 0*l = -4*j - 22, 4*j + 2*l + 2 = 0. Let n be (-3)/(-2)*(j - -1). Put c, 1, n in decreasing order.
1, c, n
Let h = 8 - 11. Let i = -0.4 + -2.4. Let y = h - i. Put 3/5, y, 1/4 in descending order.
3/5, 1/4, y
Let v = 1.6 + 4.4. Let c = -18.5 + 13. Let g = c + v. Sort -2/5, g, 5 in increasing order.
-2/5, g, 5
Let k = 11.8 - 12. Put 0.08, -0.4, -3/7, k in descending order.
0.08, k, -0.4, -3/7
Let w = 25.8 + -26. Put 0.3, 0, w in ascending order.
w, 0, 0.3
Let q(n) = -2*n**2 - 2*n + 2. Let f be q(1). Sort f, -5, 14 in ascending order.
-5, f, 14
Suppose -5*u + 36 = -2*u. Let z = u + -14. Let c = -7 - -12. Sort z, c, -5.
-5, z, c
Let v = 22 - 21.5. Sort v, 0.4, -1 in descending order.
v, 0.4, -1
Let a = 3 - 5. Let m be (3/4)/((-6)/4). Sort a, m, -3 in increasing order.
-3, a, m
Let q be ((-72)/45)/(2/25). Let o = 121/6 + q. Put o, -1, 7 in increasing order.
-1, o, 7
Let g = 2.19 - 2.3. Let d = g + -3.89. Sort 4, d, 1.
d, 1, 4
Let d be (-8)/2 - 224/(-49). Put 0.4, d, -22 in ascending order.
-22, 0.4, d
Let d be ((-4)/5)/((-1)/5). Let q(j) = -j**2 + 3*j - 3. Let r be q(4). Let c = r - -10. Sort -2, c, d in increasing order.
-2, c, d
Suppose 0 = 2*o + 3*q + 14, 4*o - q - 2 = 2*o. Let a(r) = -r**2 - 6*r + 4. Let h be a(-7). Put -2, h, o in descending order.
o, -2, h
Suppose 5*y - 18 = 2. Suppose 1 - 15 = 2*c. Let q(a) = a**3 + 8*a**2 + 8*a + 2. Let o be q(c). Sort y, 0, o in descending order.
y, 0, o
Suppose -26*m + 15 = -21*m. Let i(g) = 2*g + 3. Let n be i(-2). Sort n, m, -2 in descending order.
m, n, -2
Suppose 0 = a + 4*a + 2*l - 24, l - 14 = -3*a. Let k be (-10)/a + 5/(-10). Suppose -9 = 2*h - 5*h. Sort -4, k, h in ascending order.
-4, k, h
Suppose -u + 4*u = 3. Let j be (u + 7/(-2))*-2. Let p be (-2)/(3 - 1)*1. Sort 3, p, j in ascending order.
p, 3, j
Let a = 62/55 - 8/11. Sort 1/7, 0.03, a in descending order.
a, 1/7, 0.03
Let z = 12 - 11.5. Let u = -6/11 - -37/88. Put z, 2, u in increasing order.
u, z, 2
Suppose 0*h + 2*h = 0. Put h, -1.1, -3 in descending order.
h, -1.1, -3
Let z = -0.133 + 5.133. Sort -2/9, -1/7, z in decreasing order.
z, -1/7, -2/9
Let o(j) = 2*j**2 - j - 1. Let q be o(-1). Suppose -2 = -3*m - 5*v - 30, 0 = -m + 2*v - 2. Let a be 4 - q - m/(-1). Put a, 0.4, -0.3 in decreasing order.
0.4, -0.3, a
Let c = 6/251845 - -760068132/3273985. Let f = 232 - c. Sort 4, f, 0.2 in ascending order.
f, 0.2, 4
Let r = 1 + -1.3. Let f = 3.9 - -0.1. Let x = 4.2 - f. Sort r, x, -4 in ascending order.
-4, r, x
Let i be -4*-1*(0 + -1). Let p = i - -8. Sort p, -5, -1 in decreasing order.
p, -1, -5
Let s be -4 - (29/(-5) + 1). Let m = 32 + -28.2. Let n = m + -4. Put s, n, -0.1 in increasing order.
n, -0.1, s
Let l = 1.9 + 2.1. Let p = 3 + -2.7. Let a = p - -0.1. Sort 2/9, a, l.
2/9, a, l
Let l(a) be the first derivative of -a**5/60 + a**4/24 + a**2 + 2. Let g(d) be the second derivative of l(d). Let r be g(2). Sort r, 4, 0 in increasing order.
r, 0, 4
Let h = 0.37 - -0.03. Sort 5, h, -1/2 in descending order.
5, h, -1/2
Let d(i) = -2*i**2 + 3 - 11 - 2*i - i**3 - 5*i - 5*i**2. Let v be d(-6). Put 0, 5, v in decreasing order.
5, 0, v
Let k be (-3)/9*1*(-2)/7. Sort k, 0.3, -4, 4 in descending order.
4, 0.3, k, -4
Suppose -4*o = -2*o - 752. Let w = -2642/7 + o. Put w, 0.3, -4 in ascending order.
-4, w, 0.3
Let t(v) = -v**3 + 12*v**2 - v + 10. Let r be t(12). Suppose 0 = 4*m + m - 25. Sort -5, r, m in ascending order.
-5, r, m
Let r(i) = i**2 + 5*i + 5. Let t be (-6 - -2) + (-2 - -2). Let w be r(t). Let u = w - 2. Put -0.4, 0.5, u in descending order.
0.5, -0.4, u
Let g be 1/(-2)*(-6)/(-9). Put -2, g, -4/7 in increasing order.
-2, -4/7, g
Let g = 4.22 + -4. Let n = -0.02 - g. Let l = -0.04 - n. Put l, -3, 1 in ascending order.
-3, l, 1
Let w = 11.7 + -11.73. Put 0.1, w, -7 in increasing order.
-7, w, 0.1
Let z(f) = -2*f**2 + 3*f - 1. Let v be z(2). Let d be (16/1)/(4/6). Let l be (d/20)/(6/(-20)). Put l, v, 0 in decreasing order.
0, v, l
Let z = 5 + -3. Let w(r) = r**3 + 7*r**2 + 6*r - 4. Let k be 24/(-3) + -2 - -4. Let y be w(k). Sort y, -5, z in descending order.
z, y, -5
Let c(x) = -3*x - 13. Let d be c(-5). Suppose -i + 3*b - 6 = 0, 5*b = -3*i + 3*b - 7. Sort 5, d, i.
i, d, 5
Let p = 0.6 - 0.8. Let h = p - -0.1. Let o = 750/7 + -107. Sort o, -3, h in descending order.
o, h, -3
Let b(u) = u**2 + 3*u. Let k be b(-3). Let y = 0.02 + -4.02. Let v = 4.3 + y. Put 5, k, v in descending order.
5, v, k
Let n = 0.031 + 3.969. Put 2, 5, n, -0.3 in ascending order.
-0.3, 2, n, 5
Let q = -32 + 43. Sort 1, -3, -4, q.
-4, -3, 1, q
Let d be 6/(-21) + 1/(-21). Let o = 0.9 + -0.8. Let s = o + -0.4. Sort -1/7, d, s in decreasing order.
-1/7, s, d
Let a = -225 + 2477/11. Let n = -5 + -4. Let c = n - -8. Sort c, -4, a.
-4, c, a
Let i(o) = 6*o**2 - 1. Let p be i(1). Let q be (12 - 3 - 3) + 1 + -5. Sort q, -4, p in increasing order.
-4, q, p
Let y = 6 + -5.94. Let i = y + -0.26. Let j = 2 - 1. Sort -5, j, i in descending order.
j, i, -5
Suppose -1 + 13 = 2*v. Let l be (-1)/(5/((-10)/v)). Put -5, l, 3/2 in decreasing order.
3/2, l, -5
Let v(m) = m**2 - 10*m - 3. Let o be v(10). Let i = o - 1. Put i, -5, 4 in descending order.
4, i, -5
Let d = 18 - 15. Put -1, 5, d in ascending order.
-1, d, 5
Suppose b = -b + 2, -2*b = -2*j - 4. Let q be (-2)/(-1*(j + 8)). Let w = -0.2 + 0. Put w, q, -1/2 in ascending order.
-1/2, w, q
Let k = 3 - 0. Let o(n) = -3*n - 29. Let d be o(-9). Sort 4, k, d in descending order.
4, k, d
Let a be 1*(2/(-1) - -26). Suppose 4*r + 14 = -2*h, 6*h + 4*r = 2*h - a. Suppose -4*u + 2 + 6 = 0. Sort u, -3, h in decreasing order.
u, -3, h
Let k be (-2)/(-9) - 7/(-9). Suppose 4*v = 5*v - p - 4, -4*v + 16 = 5*p. Suppose -v*w = w. Sort w, 4, k in decreasing order.
4, k, w
Let y be 144/1*(-2)/(-3026). Let n = 2/89 + y. Sort -2, n, 1 in increasing order.
-2, n, 1
Suppose 62*b + 12 = 59*b. Suppose -m + 4*m = -4*r + 25, -r + 1 = -m. Sort m, 0, b in descending order.
m, 0, b
Suppose v - 2*b = -0*b, 3*b = -v. Suppose 0 = -v*j + 4*j + 24. Let g be 2 + 1 - (-1 - j). Sort -3, 1, g in ascending order.
-3, g, 1
Suppose 3*u + 6*b - 30 = 3*b, b = -3*u + 40. Let x be (u/30)/(1/(-3)). Put x, 3/8, 1 in decreasing order.
1, 3/8, x
Let a(m) = -m**2 - m + 9. Let n be a(-4). Let z be ((-2)/(-3))/(2/(-3)). Let o = 2 + z. Sort -5, o, n.
-5, n, o
Let t(r) = -r - 8. Let m be t(-4). Let x(a) = -a**2 - 4*a + 5. Let c be x(-4). Suppose -2*h - g = 11 - 4, 0 = -g - c. Put h, -2, m in descending order.
h, -2, m
Let b(z) = -z**3 - z. Let v be b(-1). Let l = 64 - 66. Put l, v, -4 in descending order.
v, l, -4
Suppose 0 = 6*l - 2*l - 84. Let o be 1 - (90/l - 3). Sort o, -0.2, 0.5 in descending order.
0.5, -0.2, o
Let d = -9 - -1. Let j = d + 13. Sort 2/21, j, -0.5 in increasing order.
-0.5, 2/21, j
Suppose -5*s = -15 - 10. Suppose w = -3*f - 2*w, -s*f - 4*w = -4. Suppose 2*k = 4*k - f. Sort -5, k, 0.
-5, 0, k
Let x(o) = -o**2 - 24*o - 78. Let v be x(-6). Sort 4, -2, v in decreasing order.
v, 4, -2
Let t = 0.29 + 4.71. Sort -3/4, -2/5, -2/7, t in increasing order.
-3/4, -2/5, -2/7, t
Suppose h = -3*u - 3*h - 4, -2*h - 2 = 2*u. Suppose 0 = k + 2*c + 8 + 1, -3*k + 2*c = 11. Let a be 1 + -3 + 2/(-2). Sort k, u, a in increasing order.
k, a, u
Let h = -525/4 - -132. Let z be ((-1)/2)/((-21)/6). Sort h, z, 4 in increasing order.
z, h, 4
Suppose 3*l + 2*l = -100. Let f = l + 18. Put f, 2, 4 in ascending order.
f, 2, 4
Let i = -2 + 1. Suppose -m = -2*q - 2, 0*m - 13 = -4*m 