 u, 1 in decreasing order.
1, 1/7, u
Let c = -23 - -25. Put -3, 6, c, 1 in increasing order.
-3, 1, c, 6
Let f(b) = -b**3 + 5*b**2 - 3*b - 5. Let u be f(4). Put -3, 1, u in descending order.
1, u, -3
Let a(p) = 2*p - 10. Let s be a(7). Let r be 1 + 2/(-2) + -1. Sort r, 2, s in decreasing order.
s, 2, r
Suppose 0 = 3*i + s + 1, -3*i - 4*s - 1 + 15 = 0. Let z = -6 - i. Suppose 2*g - 5 = -3. Put g, z, 2 in decreasing order.
2, g, z
Let v be 1/2*4/(-10). Let y = 0.41 - 0.01. Let r = 0 - y. Sort -5, v, r in descending order.
v, r, -5
Suppose 0*u = -5*m + u, -5*u = 0. Put 3, m, 4, 2 in ascending order.
m, 2, 3, 4
Suppose -3*w + 9 = 2*d, -3*w - w = -5*d + 11. Sort w, 0, -2, 5 in ascending order.
-2, 0, w, 5
Suppose 4*z - 28 = -0*z. Suppose 3*x = -a + 7, -4*a + 5 + z = -4*x. Suppose -25 = p + a*p. Put 1, 2, p in descending order.
2, 1, p
Let c = 1/6 - -1/6. Suppose 5 = m - 45. Let o = m - 551/11. Put o, -4, c in descending order.
c, o, -4
Suppose 8*p = 13*p + 35. Sort -1, p, 4 in decreasing order.
4, -1, p
Suppose 2*f - t = -2*f + 21, 0 = -2*f + 4*t + 28. Put 8, f, 3 in increasing order.
3, f, 8
Let s = -0.235 + -3.765. Let j = 2.6 + -2. Sort s, j, 0.5.
s, 0.5, j
Suppose -4 = -4*k - 20. Let x(l) = -2*l - 25. Let v be x(-10). Put v, -2, k in increasing order.
v, k, -2
Suppose -2*p - 12 = 2*d, p + d = -d - 9. Put p, 1, 5, 3 in decreasing order.
5, 3, 1, p
Let p = 4 - 10. Let i be (2/p)/(4/3). Put 3, -2/3, i in decreasing order.
3, i, -2/3
Suppose 2*i - 3*g - 26 = g, -g = -i + 8. Let z = 0 + 2. Let b be -2 - (0 - 2 - 0). Sort i, b, z in ascending order.
b, z, i
Suppose 0 = -6*r + 3*r - 15. Let d = -0.2 + 1.2. Let p = -1.92 - 0.08. Put d, p, r in decreasing order.
d, p, r
Let j = 0.1 - 0.1. Let x = 280100/117 - 2394. Let r = 244/585 - x. Sort j, 0.1, r.
j, 0.1, r
Let w = 49/2 + -26. Let n = 167.2 - 167. Put 2/3, w, n in descending order.
2/3, n, w
Let s be ((-2)/(-4))/((-1)/24). Let h = s - -8. Let o be h/22 - (-2)/11. Put o, -1, -3 in decreasing order.
o, -1, -3
Let i = 6 - 7. Let f = -0.1 - -0.1. Let x = 0.4 + f. Sort x, i, 1/8 in increasing order.
i, 1/8, x
Let s = 1/10 - -3/20. Let c = -97 - -100. Put s, 1, c in ascending order.
s, 1, c
Let f be -3 - 14 - (-1 + 1). Let m = 20 + f. Sort m, -4, -0.3 in decreasing order.
m, -0.3, -4
Suppose 10*t - 7*t = 57. Suppose y - a = 5*y - 18, 3*y - t = 2*a. Let h(b) = 5*b**3 - b**2 + 1. Let r be h(-1). Sort 2, y, r.
r, 2, y
Let v be (-1 - -1)*2/(-4). Sort 2, -4, v.
-4, v, 2
Let v be ((0/6)/(0 + 2))/(-2). Put -4, v, 2, -6 in descending order.
2, v, -4, -6
Let z(t) = t**3 - 3*t + 2. Let x be z(2). Suppose g + 10 = -2*c - c, x*g - c = -1. Let y = -82 - -82. Put y, g, -3 in descending order.
y, g, -3
Let b = 133 - 135. Sort -5, -3, b in decreasing order.
b, -3, -5
Suppose a + 4 = 2*r - 4*r, 2*r + 8 = 0. Let z be (3/a)/((-1)/(-8)). Sort z, -1, 0 in descending order.
z, 0, -1
Let b(q) = q**2 + 7*q + 8. Let v be b(-6). Let i = -6 - -6. Sort 5, i, v.
i, v, 5
Let m(j) = -j**3 + 17*j**2 + 2*j - 28. Let o be m(17). Sort 0.4, 1/2, o, 3.
0.4, 1/2, 3, o
Let g = 2.9 + -1.9. Sort -5, -0.4, g in descending order.
g, -0.4, -5
Suppose 3*z - 17 = -5*o - 0*o, 3*o - 2*z = -5. Let a = -1 + o. Suppose -2 = -2*p - 10. Put a, p, -1 in descending order.
a, -1, p
Let l = 19/15 + -8/5. Sort -1, 4, l, 3 in increasing order.
-1, l, 3, 4
Suppose -3*m = -4*d - 28 + 7, -3*d + 3*m = 18. Sort 0, d, 11 in decreasing order.
11, 0, d
Let l(x) = -x**2 - 9*x - 10. Let s be l(-7). Suppose 0 = -s*k + k + 4*b + 15, -k - 5*b = 14. Let m = k - 1. Sort -2, m, 2.
-2, m, 2
Let k = -126 - -122. Sort k, 0, 0.11, 2 in descending order.
2, 0.11, 0, k
Suppose -10 = j - 2*j. Suppose -4*d - j = d. Sort -3, 5, d in decreasing order.
5, d, -3
Suppose 3*g = -11 - 1. Let z(y) = -y. Let d be z(5). Sort g, 0, d in decreasing order.
0, g, d
Let o = -22 - -24. Sort 4, 3, o in descending order.
4, 3, o
Let b = 1 - 4. Let r = b + 3. Let d = -0.5 + 0. Sort r, d, -3.
-3, d, r
Let y(v) = 4*v**2. Let n be y(1). Let q(a) = -a**3 + 5*a**2 - a + 3. Let h be q(5). Put n, -1, h in descending order.
n, -1, h
Let d be (7/(-3) - -3)*6. Suppose -3*g + 5*q - 6 = 0, 0*g + 3*g = -2*q + 15. Put -3, g, d in decreasing order.
d, g, -3
Suppose -3*b + 8*b + 10 = 0. Let r(f) = f**3 - 5*f**2 + 3*f + 4. Let l be r(4). Sort 3, b, l.
b, l, 3
Let m be (-2 - -1)/(3/(-6)). Sort -5, m, 1 in ascending order.
-5, 1, m
Let h be 7/5 - 1 - (-24)/15. Put h, -19, 2/7 in increasing order.
-19, 2/7, h
Let o = -17 + 17.8. Sort o, -4, -3 in descending order.
o, -3, -4
Let l = -3 - -5. Suppose -l*q = -q - 3. Put -5, q, -2 in descending order.
q, -2, -5
Let y(d) = -3*d - 3. Let z be y(-2). Suppose -5 = 2*l - z*l. Let f = -3 - -4. Put -5, l, f in ascending order.
-5, f, l
Let s be 2/3 - (-1)/3. Let i be (-1)/3*2*-1. Sort i, s, 4.
i, s, 4
Let h(c) = -c**3 - 17*c**2 + 17*c - 18. Let v be h(-18). Put v, -2/13, 0.2 in decreasing order.
0.2, v, -2/13
Let n = 0.3 + -0.6. Let j = -1 + 0.6. Let q = 0.9 + j. Sort 1/3, n, q in decreasing order.
q, 1/3, n
Suppose 20 = 5*n - 4*o, 2*n - 20 = -0*n + 4*o. Sort 2, -1, -5, n in descending order.
2, n, -1, -5
Suppose 2 = 4*d - 5*d. Sort 2, d, 3, 0.
d, 0, 2, 3
Let a = 9.2 - 5.2. Put 0.01, -2/3, a in decreasing order.
a, 0.01, -2/3
Let b = -0.08 - 10.92. Let f = 11 + b. Sort 4, f, -1/8.
-1/8, f, 4
Suppose -7*n = -8*n + 21. Suppose 5 = -3*d - 5*r - 0, n = d - 4*r. Sort d, 3, 0.
0, 3, d
Let d = -0.1 + -0.1. Put -2/9, -0.5, d in increasing order.
-0.5, -2/9, d
Let d(u) = u**2 + u + 9. Let r be d(0). Let p(f) = -f**2 - f - 6. Let j be p(0). Let c = j + r. Sort -5, 0, c.
-5, 0, c
Let g = -207.7 + 208. Let v = 4.93 - -0.07. Sort -0.5, v, g.
-0.5, g, v
Let h = -9 + 9.2. Sort h, 2, -0.4.
-0.4, h, 2
Suppose 5*n + t + 3*t = -17, 4*n + 5*t = -19. Put 4, n, 3 in increasing order.
n, 3, 4
Let a = -0.2 + -0.2. Let d = -0.2 + 0.8. Let n = a + d. Put -1, n, -0.5 in descending order.
n, -0.5, -1
Suppose 1 = -5*d + 4*d - 2*q, -2*d - 3 = 3*q. Let w = 9 + -5. Suppose -22*n = -18*n - 8. Sort n, d, w.
d, n, w
Suppose -u - 2 = -3. Let x be (u*2)/(1 + -3). Let y = x + 4. Sort y, 5, -3 in ascending order.
-3, y, 5
Let h = -37 - -37.4. Let r = -0.6 - -3.1. Let n = r - 3. Put n, h, -2/3 in descending order.
h, n, -2/3
Let w = -6.3 + 6. Let b = 1.4 - 1. Let y = w + b. Put 2/13, y, -0.4 in descending order.
2/13, y, -0.4
Suppose 0 = -5*y + 3*k - 6*k, -5*y = -5*k. Sort -5, -8, y in increasing order.
-8, -5, y
Suppose 2 = -3*h + 11. Sort 2, h, 0 in decreasing order.
h, 2, 0
Let x = 34 + -19. Put -1, 4, x in descending order.
x, 4, -1
Suppose 2*l = l - 2*a - 7, 4*l - 3*a - 16 = 0. Let o = 171/1027 + -1/79. Sort l, -5, o in decreasing order.
l, o, -5
Suppose 15 = -5*q - 10. Sort -2, 3, q in decreasing order.
3, -2, q
Suppose 2*j = 4*j + 14. Let l(i) = i + 4. Let u be l(j). Sort -1, 5, u in ascending order.
u, -1, 5
Let x = -4 + 4. Suppose -5*u + g = -4, -2*u + 3*g - 3 = -2*g. Suppose -2*j = 2, 2*j = -4*q - u - 9. Sort q, 5, x in decreasing order.
5, x, q
Suppose 5*i - 31 = 2*c - 5, -5*c + 2*i = 44. Let t be (1 + 4/c)*2. Let m(p) = -p - 2. Let z be m(3). Sort t, -1, z in increasing order.
z, -1, t
Let z be (-76)/12 - (-2)/6. Let b = 10 + z. Put -2/7, -1/5, b in descending order.
b, -1/5, -2/7
Let q = -22 + 21.89. Let u = 4.11 + q. Let w = 0.3 + -0.2. Sort w, u, 1 in descending order.
u, 1, w
Let u = 1 + -1.4. Let z = -110 + 107. Sort 0, u, z in decreasing order.
0, u, z
Let w(y) = 1 - 9*y + 4 + 1 - 7. Let c be w(1). Put -3, c, -5 in ascending order.
c, -5, -3
Let p = -6.94 - 0.06. Let a = 30 - 41. Let n = p - a. Sort n, -3, 1 in decreasing order.
n, 1, -3
Suppose 1 = 2*g - 3*p, 0*p - p - 33 = 4*g. Put 1, g, 5 in ascending order.
g, 1, 5
Let x be (-2)/(-13) + (-1296)/312. Sort -14, 4, x in increasing order.
-14, x, 4
Suppose 5 - 10 = l. Sort l, 0, 1 in ascending order.
l, 0, 1
Let k be (2 - 1/3) + -1. Let d be (-86)/(-30) - (-4 - -7). Put k, d, -1/9 in ascending order.
d, -1/9, k
Let s = -12 - -17. Sort -1, 0.2, s in decreasing order.
s, 0.2, -1
Let v = -0.3 - -0.2. Let s = -11.38 + 11. Let o = 0.18 + s. Put -2, o, v in decreasing order.
v, o, -2
Let a = 0.27 - -0.03. Let m = 537 + -4831/9. Let f = 0 - 0.1. Sort a, m, f.
f, m, a
Let r(l) = -l + 8. Let k be r(8). Suppose 0 = -2*t + 3*t - 4. Put k, -5, t in descending orde