t -0.2, 1, f in decreasing order.
1, f, -0.2
Suppose 2*v - v + 1 = 0. Put -7, 1, v in descending order.
1, v, -7
Let k = -0.17 + 7.17. Let m = k - 7. Sort -3/4, -2/17, m in descending order.
m, -2/17, -3/4
Suppose -5*k = -5*a + 10, a - 5*k = 2 + 4. Let b be (-3)/(-3) - (a - 3). Put -3, -5, b in decreasing order.
b, -3, -5
Let k = -1196/9 - -133. Suppose 0 = -5*y - 4*c - 11, -3*y = 2*c + 2*c + 5. Put y, k, 2 in ascending order.
y, k, 2
Let z = 14.3 - 16. Let v = 1.2 + z. Sort -0.02, v, 2 in increasing order.
v, -0.02, 2
Suppose 0 = -2*i + n + 8, 3*n - 10 - 2 = 0. Let t be i/2 - (-6)/3. Sort -1, 3, t in ascending order.
-1, 3, t
Let x = -14 + 14.09. Let c = -0.21 - x. Sort c, 2, -1/10.
c, -1/10, 2
Let o = 8 - 6.6. Let q = -1 + o. Sort q, -0.5, 2/15 in decreasing order.
q, 2/15, -0.5
Let g = 5 + -4.5. Suppose -3*z + m - 17 = 0, -5*z = 2*m - 3*m + 25. Put -1/4, g, z in descending order.
g, -1/4, z
Let r(u) = u - 2. Let i be r(4). Sort 3, -3, i in descending order.
3, i, -3
Let o(r) = -r**2 + 5*r - 2. Let j be o(4). Let s be j - ((-45)/(-4))/5. Suppose 4*i = 4*w + 4, 0 = -7*w + 2*w - 5*i - 15. Sort 2, w, s in descending order.
2, s, w
Suppose -p = 2*p. Sort p, 4, -2 in increasing order.
-2, p, 4
Let z = -6 + 5.8. Suppose 2 + 1 = -t. Sort t, -5, z in increasing order.
-5, t, z
Let l = -0.08 + 0.88. Let n = 2.7 + l. Let d = -0.5 + n. Sort 1/11, d, 1/3 in decreasing order.
d, 1/3, 1/11
Let s = -4 - -4. Let w = -0.4 - -5.2. Let q = w + -5. Put s, 0.4, q in descending order.
0.4, s, q
Suppose 0 = 4*i + 13 + 3. Put 5, i, -11 in ascending order.
-11, i, 5
Let w(s) = s**2 - s + 1. Let f be w(1). Suppose -i - j = f - 3, 2*j = 2. Put i, -5, 5 in decreasing order.
5, i, -5
Suppose -w = 5*c + 5, 2*w = 7*w - 2*c - 29. Suppose p - 1 = -4. Put p, -8, w in decreasing order.
w, p, -8
Let n = 80 - 229. Let i be (1/9)/(2/2686). Let z = n + i. Sort z, 4, -1 in increasing order.
-1, z, 4
Let o(g) = g - 6. Let f(l) = 2*l - 6. Let a(w) = -4*f(w) + 6*o(w). Let s be a(-5). Sort s, 3/2, 0.05 in descending order.
3/2, 0.05, s
Let l = -12 + 10. Let u = -3 - l. Put -3, -6, u in descending order.
u, -3, -6
Let o = -32 - -32.4. Put 5, -0.5, 2/15, o in descending order.
5, o, 2/15, -0.5
Let b = 21 + -19. Suppose 2 = -4*r + 18. Put b, -0.4, r in increasing order.
-0.4, b, r
Let t(h) = h**3 + 5*h**2 + 3*h. Let v be t(-4). Let q be ((-1)/(3/15))/(-1). Sort q, v, -3.
-3, v, q
Suppose 4*t + 2 = 5*t. Suppose -5*f = -g + 12, 2*f - t*g - 3*g + 14 = 0. Sort f, -2/5, 0 in decreasing order.
0, -2/5, f
Let o(l) = l + 1. Let n be o(-5). Suppose -4*x + 2*i - 2 = 0, 3*x - i + 3*i = 2. Suppose x = 4*z + 18 - 6. Put n, 3, z in descending order.
3, z, n
Suppose -3*q = 2*x - 11, -3*q + 5*q = -x + 6. Sort q, -19, 0.
-19, 0, q
Let s(l) = l**3 - 3*l**2 - 4*l + 1. Let f be s(4). Suppose 0 = -3*d - f - 5. Put d, -5, 2 in ascending order.
-5, d, 2
Let r = -10 - -13. Sort 4, r, -4, -2 in descending order.
4, r, -2, -4
Let l(o) = 4*o**2 - 1. Let c be l(-1). Let s be 2/(-4) + 2/4. Put s, c, 2 in ascending order.
s, 2, c
Suppose 0 = -5*o + 3 + 7. Suppose -4*g = -h - 10, -o*g + 4*h + 16 = 2*g. Sort g, -3, 5.
-3, g, 5
Let i(j) = j**3 + 8*j**2 + 6*j - 10. Let z be 79/(-11) + 12/66. Let q be i(z). Sort 7, -2, q in increasing order.
q, -2, 7
Suppose 10*s - 4*s - 12 = 0. Sort s, -5, 14, -4 in decreasing order.
14, s, -4, -5
Let g be 30/4*(-12)/(-9). Suppose -9*k + g*k = -2. Put k, 0.4, 0.1 in decreasing order.
0.4, 0.1, k
Let q(u) = u**2 + 6*u - 5. Let d be q(-7). Sort 6, 5, d in ascending order.
d, 5, 6
Suppose 5*o = -0*o + 40. Suppose 3*u + u = -o. Let n be (-1 + 12/9)*u. Sort n, -2/5, 2/7.
n, -2/5, 2/7
Suppose -4*x - 3*s = -2*s - 9, 0 = 5*s + 15. Let j be (-1*x)/3*0. Suppose j*o - 4*o = -12. Sort -1, o, 2.
-1, 2, o
Let f = -2 - 1. Let v be 30/16*(-2)/3. Sort f, v, -1/5 in increasing order.
f, v, -1/5
Let s be (-1)/(-4) + (-43)/(-4). Let u = s - 6. Let r(w) = -w + 20. Let n be r(17). Sort 0, u, n.
0, n, u
Let c(j) = -j**2 + 2. Let h be c(0). Suppose 1 = h*w - n, 4*n - 8 = w - 5*w. Suppose 2*f = -0 + 10. Put w, f, 3 in descending order.
f, 3, w
Let p = -1 + 1. Let o = 93 + -93.4. Put o, p, 2/7 in increasing order.
o, p, 2/7
Let m = -49/4 + 11. Let d = 15 - 20. Put d, m, -1 in decreasing order.
-1, m, d
Let g = 0.1 + 0. Sort -2/21, g, -4.
-4, -2/21, g
Let j = -0.07 - 0.03. Let f = -14/15 + 8/15. Let p = -8/5 + 19/15. Sort j, f, p in descending order.
j, p, f
Let u = -26000/17 - -1531. Let f = -138/119 + u. Put -3/8, -5/4, f in descending order.
f, -3/8, -5/4
Let q(p) = p**3 - 10*p**2 + 9*p - 8. Let x be q(9). Let o = x - -6. Sort o, -0.5, 7 in descending order.
7, -0.5, o
Let u(m) = -m - 11. Let x be u(-8). Let y be 0*x*3/(-9). Sort -1, y, -3 in ascending order.
-3, -1, y
Suppose g = -2*j + 23, -2*j = 4*g + 2*j - 80. Suppose -g = -p - 5*x, -p - 5*x + 13 = -2*p. Sort p, -5, 4 in ascending order.
-5, p, 4
Let a be 12/48 + (-1)/2. Sort 2/5, -2/23, a in descending order.
2/5, -2/23, a
Let m(c) = -c + 2. Let t be m(-1). Sort t, 2/7, 1 in decreasing order.
t, 1, 2/7
Suppose 15 - 7 = -2*u, -3*u - 4 = 2*i. Put 0, -4, i in descending order.
i, 0, -4
Let h = -34.12 - -34. Sort 1/4, h, -1.
-1, h, 1/4
Let w be 2*30/8*(-6 + 4). Sort -4, w, 5, -1 in descending order.
5, -1, -4, w
Let z(t) = 6*t**2 - 11*t - 3. Let l(b) = -5*b**2 + 10*b + 4. Let g(f) = -5*l(f) - 4*z(f). Let k be g(7). Put -2, 5, k in decreasing order.
5, k, -2
Let n be (9 + 3)/((-9)/6). Put 3, n, 5 in descending order.
5, 3, n
Let o(x) = -x**2 - 10*x - 17. Let g be o(-7). Sort -1, g, 1 in descending order.
g, 1, -1
Suppose 0 = 2*m - m. Put -5, m, 5 in ascending order.
-5, m, 5
Let b(c) = 2*c**2 + c. Let l be b(1). Sort 1, 0, l, -6.
-6, 0, 1, l
Let p = 0.9 - 1. Let x = 4 - 4.03. Let r = -2.03 - x. Sort r, 5, p in decreasing order.
5, p, r
Let x = 202 - 1413/7. Sort x, 2/9, -0.18, 4 in increasing order.
-0.18, x, 2/9, 4
Let c = 2 - 5. Put 10, -1/7, c, -3/5 in increasing order.
c, -3/5, -1/7, 10
Let b = -2 + 1. Let r be (-9)/(1/4 + -1). Suppose -2*i - r = 2*k, -3*k - 5*i - 8 = 14. Put -1/4, k, b in descending order.
-1/4, b, k
Let z = 1.8 + -1.89. Put z, 2/5, 4/9 in ascending order.
z, 2/5, 4/9
Suppose 0 - 3 = -b. Suppose 0 = -4*y - 7 - 9. Sort 1, b, y in decreasing order.
b, 1, y
Suppose -4*d + 5*d = 5. Suppose 3*f - 4*f = -d. Sort 0, 3, f.
0, 3, f
Suppose -8*x - 24 = -4*x. Let l be x/(-8)*-2 - -2. Let w be 2 - (0 - (-72)/39). Put 3, l, w in descending order.
3, l, w
Let z = -0.33 - -0.13. Sort 1, z, 13 in descending order.
13, 1, z
Let q be (0 - 0)*5/(-10). Suppose q = -2*t - 4. Sort t, -5, -3 in descending order.
t, -3, -5
Suppose 9*t + 6 - 42 = 0. Let j(v) = 5*v + 5 - 3*v + 7. Let k be j(-9). Sort k, -2, t.
k, -2, t
Let i = 16 - 19. Let o(b) = -b - 1. Let f be o(1). Sort f, i, 0.3 in decreasing order.
0.3, f, i
Let a = -87 - -87.1. Put -1/99, a, -1 in decreasing order.
a, -1/99, -1
Let g = -101 + 97. Sort -2, 4, 1, g in increasing order.
g, -2, 1, 4
Let h = -128 - -128. Put 1, h, -2, -4 in ascending order.
-4, -2, h, 1
Let s = 0 - 0.2. Let o = 145/3 + -48. Put 3, o, s in decreasing order.
3, o, s
Let x(p) = 4*p**2 + 5*p. Let w = -1 + 3. Let f(b) = -3*b**2 - 4*b + 1. Let y(t) = w*x(t) + 3*f(t). Let k be y(-3). Sort 5, k, 2/7.
k, 2/7, 5
Let y be (8/(-6))/((-12)/(-18)). Let m = -1 - -2. Sort y, m, -4 in descending order.
m, y, -4
Let r = 1 + -1. Let n(u) = u**3 + u**2 - u + 4. Let v be n(r). Suppose 0 = v*m - 2*s + 12, 3*m + m = -s - 12. Sort -1, 2, m in descending order.
2, -1, m
Let k = -69 - -68.9. Sort k, 5, 0.11, 1 in increasing order.
k, 0.11, 1, 5
Let r = 10 - 9. Let p = r + 3. Let t(s) = 3*s**3 + s**2 - 1. Let b be t(-1). Sort p, b, -0.4.
b, -0.4, p
Let d(r) = -r**2 + 8*r - 7. Let u be d(6). Let q = u + -4. Suppose -o - 5*z - 15 = 0, -14 - 19 = 5*o + 4*z. Sort 3, q, o in decreasing order.
3, q, o
Let s = 293/207 + -30/23. Put -7, s, -3 in descending order.
s, -3, -7
Suppose -8 = 2*w, -2*o - 2*w + 6*w + 26 = 0. Suppose -6*j + 5*l - 2 = -5*j, 0 = -o*l. Sort j, 4, -3.
-3, j, 4
Let f(d) be the first derivative of -d**2 + 3*d - 4. Let u be f(-3). Suppose -4*c - u = 3. Sort 0.5, c, 0.4.
c, 0.4, 0.5
Let w(f) = f**2 - 6*f - 3. Let x be w(6). Let z = 132 + -130. Put 0, x, z in ascending order.
x, 0, z
Let g = 49 + -19. Let x = g + -36. Sort x, -1, -3.
x, -3, -1