et u = -1.2 + 1. Put z, 3, u in increasing order.
u, z, 3
Let a be 0/(2 + -3 - -3). Let f be 2 + -3 + a + 1. Put f, -5, -3 in ascending order.
-5, -3, f
Let m(b) = 2*b**2 - 14*b - 1. Let o be m(7). Sort o, -12, 3.
-12, o, 3
Let r(g) = 2*g. Let h be r(1). Let k = 83 - 85. Sort k, h, -6 in ascending order.
-6, k, h
Suppose 2*y - 2 = 3*p - 85, 5*p + y - 160 = 0. Let m = 156/5 - p. Sort -2, m, -0.3 in descending order.
m, -0.3, -2
Let l(g) = g + 5. Let s be l(-6). Let n be ((-4)/(-8) + 0)*-4. Sort 4, s, n in increasing order.
n, s, 4
Let y be -2 + 2/(-2) - (-7 - -8). Put 3, -1, 1, y in ascending order.
y, -1, 1, 3
Let f = -0.4 + 11.4. Let r = f - 10.4. Put -0.1, r, 2 in ascending order.
-0.1, r, 2
Let h be 4 + -3 - (-1 - 0). Let u = 0 + h. Let f = u + -3. Sort f, 3, -5 in ascending order.
-5, f, 3
Suppose 5*d - 5 = 5*u, 4*d - 6 = -u + 18. Let i = u + -3. Sort i, 2, 5 in decreasing order.
5, 2, i
Let p be -4 - -3 - (-1 - 0). Suppose -9 = 5*r - 4*b, -3*r - 4*b = -p - 1. Let n = 5 + -9. Sort r, 0, n in decreasing order.
0, r, n
Let c(q) = q**3 - 5*q**2 - 3*q. Let l be c(5). Let d = -15 - l. Sort -5, d, 0.1 in increasing order.
-5, d, 0.1
Suppose 3*y - 2*h - 38 = 0, 4 = 2*h + 6. Suppose z = 3*f + y, 0 = z + 3*z. Suppose 2*u = 1 - 7. Sort f, 1, u in increasing order.
f, u, 1
Let n = -26 - -48. Let f = n - 23. Sort -3, -3/5, f.
-3, f, -3/5
Let i(g) = 2*g - 4*g + g**2 + 5*g - 2*g**2. Let n be i(3). Sort -2/3, n, -3 in decreasing order.
n, -2/3, -3
Let b(z) = 3*z**3 - 6*z + 8. Let f(u) = -u**3 + 2*u - 3. Let r(x) = -4*b(x) - 11*f(x). Let p be r(2). Sort 2, 5, p in descending order.
5, 2, p
Let q(l) = 2*l - 16. Let z be q(7). Suppose -4*r + 20 = -3*w, r - 2 = 3. Let n be (15/9)/(1/(-3)). Put n, w, z in decreasing order.
w, z, n
Let f = 162 + -163. Sort -3, 1, f, 5 in increasing order.
-3, f, 1, 5
Suppose 3*k = -k. Sort 1, k, 3.
k, 1, 3
Suppose 2*a - 8*a + 30 = 0. Sort 5/3, 0.1, -1/4, a in increasing order.
-1/4, 0.1, 5/3, a
Suppose 0 = 2*v + 2, 5*v = 4*y + 9 + 2. Sort y, -19, -1, -2 in decreasing order.
-1, -2, y, -19
Suppose i = -5*z - 18, -38 = -5*i + i + 2*z. Let a = i + -5. Sort a, 5, -12.
-12, a, 5
Let y = 2 + 2. Let z be (-6)/33 + 52/44. Put 0, z, y in increasing order.
0, z, y
Let z = 6 - 4. Suppose s + 3 = -3*u + 12, u = -4*s + 3. Put z, -4, u in descending order.
u, z, -4
Let f(x) = x**3 - 7*x**2 - 4*x - 5. Let o be f(8). Put 1, 2, o in decreasing order.
o, 2, 1
Suppose -2*x + 7*x = 20. Suppose -x = -3*g + 2*g. Sort g, -1, 2 in ascending order.
-1, 2, g
Suppose -3*a + 6 = 5*i - 14, -4*i = -3*a - 16. Let w = -0.1 + 0.5. Sort -1, w, i.
-1, w, i
Suppose -2*w - 27 = -5*w. Let s = w + -15. Let o = s + 23/4. Put o, -5, 0 in descending order.
0, o, -5
Let j = -0.04 - 0.03. Let t = j + 4.07. Sort t, -3, 0.2 in increasing order.
-3, 0.2, t
Let c(x) = -x**3 + 7*x**2 - 3*x - 14. Let p be c(6). Let q = 1.3 + 0.9. Let o = q + 0.8. Sort 0.2, o, p in increasing order.
0.2, o, p
Let j = -8.9 + 0.9. Let p = -5 - j. Suppose 13 = -o - 2*h + 5, -5*o = 2*h + 16. Put p, o, 4 in descending order.
4, p, o
Let y = 134 - 135. Sort -5, 1/6, 25, y.
-5, y, 1/6, 25
Let g(b) = b + 5. Suppose 4 = 2*m + 4*v - 2, -3*m = -3*v - 36. Let t be (0 - 12/m)*3. Let z be g(t). Put z, 3, 5 in decreasing order.
5, 3, z
Let g(j) = -j**2 + 6*j + 11. Let f be g(5). Put 2, f, -3 in decreasing order.
f, 2, -3
Let v = 48/5 + -81/10. Put v, -2/11, 5, 0.5 in ascending order.
-2/11, 0.5, v, 5
Let z = -203 + 1012/5. Put z, 0.05, -2, 2 in decreasing order.
2, 0.05, z, -2
Suppose k - 2 = -k. Let h = 13 + -9. Suppose 2*a + 18 = -5*m, h*m + 2*a = -0*a - 14. Put k, m, -2 in decreasing order.
k, -2, m
Let t = 1942/9 - 216. Sort t, -3/7, -0.07 in decreasing order.
-0.07, t, -3/7
Suppose 4*m = 9 + 11. Let f(p) = -p**2 - 5*p + 1. Let n be f(-6). Let y(b) = -b + 6. Let r be y(5). Sort n, m, r in increasing order.
n, r, m
Suppose 3*z + 3*z = -36. Put -1, z, 1 in increasing order.
z, -1, 1
Let g = 2 + 3. Let p(j) = -j**3 - 3*j**2 - 2*j - 3. Let l be p(-3). Sort l, 2, g.
2, l, g
Let z(x) be the first derivative of x**3/3 + 5*x**2/2 - x - 1. Let o be z(-4). Put -1, o, -3 in decreasing order.
-1, -3, o
Let p(k) = k**3 + 11*k**2 + 10*k. Let f be p(-10). Suppose f = u - 2*u - 2. Put -3, 2, u in descending order.
2, u, -3
Let z = 27 + -39. Let j = -357 + 357.3. Sort -3, j, z in ascending order.
z, -3, j
Let p = 42 + -42.2. Sort -0.09, 0.5, -3, p in decreasing order.
0.5, -0.09, p, -3
Let b = 5 + -8. Let l = -6 + 6. Let x = b + l. Sort x, 2/3, -4 in ascending order.
-4, x, 2/3
Let p = 103 + -619/6. Sort 4, -1/7, p in increasing order.
p, -1/7, 4
Suppose -6*h + 4 = -4*h. Sort -3, h, 5 in ascending order.
-3, h, 5
Let c be (-2)/(-3)*-1*-3. Suppose 2*l + 8 - 2 = 0, -3*y + 3*l + 15 = 0. Suppose 0 = 4*w - 2*b - b + 8, -5 = 3*w - y*b. Sort c, 0, w in decreasing order.
c, w, 0
Suppose 0 = r - 4*z - 8, -8 = -4*r + 3*z + z. Put -4, -3, r in ascending order.
-4, -3, r
Let n be 8/(-66)*6/(-4). Let j be (-4 - -3) + (-8)/(-7). Let k = 0.1 + 0.2. Put n, k, j in increasing order.
j, n, k
Let w = 0.06 + -4.06. Put -3, 2/21, w in increasing order.
w, -3, 2/21
Let u be (-60)/(-357) + (-8)/28. Let i be 1/20*(3 + -1). Sort i, u, -5 in descending order.
i, u, -5
Let q = -72 + 77. Suppose -2*v + 2*z = -3*z + 3, -3*v = -4*z + 1. Put -2, v, q in increasing order.
-2, v, q
Let r = -5 + 4.96. Let q(c) = 3 + 2*c + 4 - 4. Let h be q(-4). Sort h, r, -2 in decreasing order.
r, -2, h
Let y = -2.82 - 0.38. Let x = y + -0.8. Sort x, 2/7, -1/4 in decreasing order.
2/7, -1/4, x
Suppose -4*w - 2*t = -14, -2*w - w = 2*t - 10. Let o = 5 - 9. Sort o, w, 2 in ascending order.
o, 2, w
Let v = 1.5 - 1.84. Let j = v - -0.04. Let x be (-5)/33 - 8/(-24). Put j, x, 5 in decreasing order.
5, x, j
Let k(n) = 37*n**3 + 1. Let r be k(-1). Let p be 440/r + 2/9. Let c = 7 + p. Put c, -1, -2 in descending order.
-1, -2, c
Let u be 75/10*8/6. Let k be 2/6*(u + -1). Suppose -k = -4*y + 13. Sort 2, y, -3 in decreasing order.
y, 2, -3
Let h(g) = g**3 + 6*g**2 - 8*g - 4. Let t be h(-7). Suppose -t*b + 9 = -3. Sort -8, -3, b.
-8, -3, b
Let y = 0 - -0.1. Let z = 162.9 - 163. Sort y, z, 3.
z, y, 3
Let y(l) = l**2 + 5*l. Let s be y(-5). Suppose -3*n - 2*n = s. Sort 2, n, -5.
-5, n, 2
Let h = 227 + -229.93. Let s = -0.07 + h. Sort -1/4, 1/4, s.
s, -1/4, 1/4
Let k(h) = h**3 - 3*h**2 - 6*h + 8. Let a be k(4). Put a, -2, 3 in increasing order.
-2, a, 3
Let z = 1.19 - 0.19. Let o = -0.4 + -0.1. Put z, 1/5, o in decreasing order.
z, 1/5, o
Let n = -46/9 + 5. Put 5, 0.5, -1/2, n in descending order.
5, 0.5, n, -1/2
Let u = -1 - -1. Let j = -1 + 2. Let y = -5 + j. Put y, u, 1/5 in increasing order.
y, u, 1/5
Suppose 5*d - d = -4. Let z = -0.3 + 0.2. Let j = 1/169 - -502/845. Put d, j, z in decreasing order.
j, z, d
Let y(o) = -o**3 - 9*o**2 + 10*o + 4. Let r be y(-10). Let a be (-14)/r + (-12)/8. Suppose -7 + 1 = -3*k. Sort 1, a, k.
a, 1, k
Suppose 2*p + 0*p = -2. Let j(u) = 0*u + 5*u - u. Let n be j(1). Sort p, n, -2 in decreasing order.
n, p, -2
Let u = -5.06 + 0.06. Let q be 6/(-9)*2/4. Sort -4, u, q.
u, -4, q
Let k = 157 - 788/5. Put -1/9, -0.4, k in decreasing order.
-1/9, -0.4, k
Let o be (11 - 6) + 2/(-2). Sort -3, -2, o in descending order.
o, -2, -3
Let d be -3 - 1*-4 - 1. Let m be (d + 1 + -6)*-1. Sort -1, m, 1.
-1, 1, m
Let m = 2 - -2. Suppose -m*i = -3*i + 59. Let h = i + 121/2. Sort -2/3, 0.3, h.
-2/3, 0.3, h
Let b = 14 + -2. Let o be (-6)/4*b/(-9). Let i(z) = 2*z**3 - 2*z**2 - 2*z. Let l be i(o). Put -4, l, 2 in increasing order.
-4, 2, l
Let p = -0.9 - -1.3. Let g = 0 - 2. Put g, p, 1 in descending order.
1, p, g
Let u = 2 - 1. Let n = -5 - -20. Suppose 0 = l - 4*l - n. Sort l, -2, u in increasing order.
l, -2, u
Let o(c) = -c**3 + 14*c**2 - 13*c - 2. Let z be o(13). Put 0, 1, z in descending order.
1, 0, z
Let i be 2/(-7) - (-4)/14. Suppose 2*g + 5*o - 10 = 0, 2*g - 3*g + o = -5. Suppose -g*v + 2 = -3. Put i, v, -2 in increasing order.
-2, i, v
Let x = 4/3 - 10/9. Sort -3, 4, x in increasing order.
-3, x, 4
Let j = -0.49 + 0.19. Let q be 9/2 + 2/4. Sort j, 2, q in increasing order.
j, 2, q
Let a = 1 - 0. Let t be (-100)/6*6/(-4). Suppose 6*v = v + t. Sort v, a, -5.
-5, a, v
Let l be 1*((-1)/1 - 1). Suppose -o + 16 = -2*o. Let q = 78/5 + o. Put q, 1, l in descending or