Let x = -0.1 + 0.3. Put x, -0.2, d in increasing order.
-0.2, d, x
Let a(x) = x**3 + 5*x**2 + 3*x - 3. Let w be a(-4). Suppose -2*b - 2*c - 4 = 0, b - 3*b - 3*c = 4. Put b, w, 4 in descending order.
4, w, b
Let h be 54/10 + 2/(-5). Let y be 7 - 1/((-3 - -6)/9). Sort y, h, -8.
-8, y, h
Suppose 4*c = -h + 12 + 13, h + c = 31. Sort 5, h, -5 in descending order.
h, 5, -5
Suppose -3*j + 1 = -2. Sort -4, 0, j.
-4, 0, j
Suppose 3*u - 14 = -5*v, -2*v - u = 3*u. Let s(f) = -f**2 - 5*f - 5. Let l be s(-5). Sort -2, l, v in descending order.
v, -2, l
Let o be ((-1)/(-2))/(0 + (-1)/(-10)). Let u = 1.2 - 1. Sort u, 4/5, o in increasing order.
u, 4/5, o
Let h = -145 + 150. Put h, 2, 0.4, 4/5 in descending order.
h, 2, 4/5, 0.4
Suppose y - 2*y - 4 = 0. Let m = -0.123 - -2.123. Sort m, y, -0.2 in increasing order.
y, -0.2, m
Let n = 2 + -1. Let g(j) = -j + 4. Let l be g(6). Put l, 2/15, n in ascending order.
l, 2/15, n
Let m = 23 - 23.1. Sort 1, -0.4, m in decreasing order.
1, m, -0.4
Suppose -n + 4 = n. Suppose 0*h + h = -n. Sort h, 2, 0 in ascending order.
h, 0, 2
Let w(b) = -b**2 + 8*b - 12. Let k be w(4). Put 0, k, 1 in increasing order.
0, 1, k
Let s = -4 + 8. Sort s, -3/5, -0.1 in decreasing order.
s, -0.1, -3/5
Let u be (1 - 2)/((-36)/72). Sort 0.1, -0.5, u, 4/3.
-0.5, 0.1, 4/3, u
Let w(u) = -u**2 + 1. Let d be w(2). Put -2, d, 9 in ascending order.
d, -2, 9
Let x(l) = -l**2 + 9*l + 2. Let u be x(9). Sort u, -3, -6 in descending order.
u, -3, -6
Let v = 24.5 - 24. Sort -44, 5, v.
-44, v, 5
Let j = 1 - 2. Let z(m) = -m**3 + 3*m + 1. Let s be z(-2). Put 4, s, j in descending order.
4, s, j
Suppose 5*u = 3*u + 14. Let x be -1*2 - (-5 + u). Put 2, x, 1 in decreasing order.
2, 1, x
Suppose 5*d = 2*w + 18, 5*w - 5 + 21 = -2*d. Sort 3, d, 4.
d, 3, 4
Let i = -2 + 3. Let g = 66 + -70. Put i, 0, g in descending order.
i, 0, g
Let z = -141 - -125. Sort -0.2, z, 0.5.
z, -0.2, 0.5
Let a = -8 - -4. Suppose 0 = 4*t + 4*h + h - 4, 3*h = -t + 1. Sort a, t, 0.
a, 0, t
Let x = -10 + 14. Let y = 271/462 - 1/66. Sort x, y, 0 in decreasing order.
x, y, 0
Let c be (1 + 33/(-3))/1. Let r = -14 - c. Sort 5, r, -5 in increasing order.
-5, r, 5
Let y = 0.3 + -0.1. Suppose -5*s + 2 = 3*c - 27, -4*s = c - 19. Sort -1/3, y, s.
-1/3, y, s
Let g be (-2)/(24/(-9) + 2). Suppose -5*i = -g*h + 5*h - 79, 5*h - 55 = -3*i. Suppose -4*m - 4 = 4*y - 24, -3*m = 4*y - i. Put -1, 2, y in increasing order.
-1, y, 2
Let y = 0 + 1. Let b = -1.02 + y. Let x = -49.7 - -50. Sort x, b, -2 in decreasing order.
x, b, -2
Suppose 7 = -s + 3*j, -5*s - 7 = -j - 0. Let b be ((-16)/(-4))/(0 + s). Suppose -2*u - 12 = 2*u. Sort -1, b, u.
b, u, -1
Let q = -8 - -7. Let j be q/(-36) + 14/63. Put -1, -3, j in increasing order.
-3, -1, j
Let o(u) = -u**3 + 3*u**2 + 5*u - 3. Let w be o(4). Suppose 2*y - w = 3. Suppose 2 = -5*p + 4*p. Sort y, 4, p in increasing order.
p, y, 4
Suppose 0 = 5*p + 3*c - 98, 2*c - 34 = -2*p + 2. Suppose 0*b + 2*b + p = 3*h, -2*b - 30 = -4*h. Sort -5, 1/7, h in descending order.
h, 1/7, -5
Suppose -5*q + 28 = 2*q. Suppose -d = -3*g - 6 + 13, 0 = -3*d + g - 5. Sort 0, q, d in ascending order.
d, 0, q
Let v(n) = 3*n - 1. Let s be v(-1). Let b(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 + 3*c - 1. Let t be b(0). Sort 1, s, t in descending order.
t, 1, s
Let k = -13 + 8. Put -9, -1, k in descending order.
-1, k, -9
Suppose 0 = h + 16 - 21. Sort h, -2, -5, -6 in increasing order.
-6, -5, -2, h
Let f = -5.5 + 7. Let b = 0.4 - 1.4. Let k = b + f. Sort k, 0.2, -2 in descending order.
k, 0.2, -2
Suppose v - 25 = 6*v. Sort v, 8, 0 in descending order.
8, 0, v
Let g = 1.92 - -0.08. Sort 2/7, g, 0.1 in descending order.
g, 2/7, 0.1
Let i = -0.16 + -2.84. Put -1, i, -3/2 in decreasing order.
-1, -3/2, i
Let b(a) = -a**2 + 8*a - 11. Let c be b(5). Sort c, -3, 3.
-3, 3, c
Let r be 4/(-34) - (-7 + 804/102). Sort 6, -4, 2, r.
-4, r, 2, 6
Let i(j) = -j**3 + 5*j**2 - 3*j - 2. Let x be i(4). Let k = 5 - 1. Suppose c + 19 = -4*l, -k*c = l + 3 - 2. Sort l, x, 4.
l, x, 4
Let m = -379/20 - -96/5. Put m, -0.04, -2/5, 1/5 in decreasing order.
m, 1/5, -0.04, -2/5
Let g = 15 + -18. Sort 0, -2, g in descending order.
0, -2, g
Let g = 1377/7 - 197. Sort -5/2, g, 2.
-5/2, g, 2
Let d = 8 - 8. Put -1, 2/5, d in descending order.
2/5, d, -1
Let r = 5.07 - 0.07. Let f = 1/18446 + -1300453/184460. Let u = f - -34/5. Sort r, -2, u.
-2, u, r
Let f be ((-11)/(-3) - 3)*3. Suppose 1 = f*t - 1. Sort 5, t, -4.
-4, t, 5
Let g = 9 + -9. Put -1, -4, g in increasing order.
-4, -1, g
Let t = 13.5 + -13.2. Sort 3, 14, 0.4, t.
t, 0.4, 3, 14
Suppose -1 = -3*j - 5*p, -j + 3 + 2 = -3*p. Let y be ((-6)/15)/(1/(-10)). Sort j, y, -3 in increasing order.
-3, j, y
Suppose 0 = -2*z - 2*y - 16, -6*y + y = 0. Let x = 123 + -121. Sort x, z, 2/9 in descending order.
x, 2/9, z
Let u = -7 - -11. Suppose -u*x - 13 = 5*g + 16, -3*x - 3 = 0. Sort 1, g, -2.
g, -2, 1
Let s = 0.32 - -0.18. Let t = -0.02 - 2.98. Put -4, t, s in ascending order.
-4, t, s
Let p = 3 - 3.3. Put -5, 5, p in descending order.
5, p, -5
Let n(d) = d**2 - 11*d + 11. Let a be n(10). Sort -0.5, -0.3, a in descending order.
a, -0.3, -0.5
Let v = -62/3 + 21. Let z = -2.7 + 3. Put 1/2, z, v in descending order.
1/2, v, z
Let c = -3 + 2. Let s = 1 + c. Let r = s + 0. Sort -0.1, -1/5, r in decreasing order.
r, -0.1, -1/5
Let z = -0.031 - 1.649. Let x = z - 0.32. Let p(n) = -2*n + 3. Let g be p(3). Sort x, g, 0 in decreasing order.
0, x, g
Let o = -64.5 + 88. Let d = o + -23. Put 1/6, 0, d in increasing order.
0, 1/6, d
Let z be 0/2 - (-8)/4. Let q = -19 - -10. Let a = -8.6 - q. Sort -1/3, a, z.
-1/3, a, z
Let g = -9 + 5. Let d = 0.03 - 2.03. Let y = d - g. Put y, 4/7, -1 in descending order.
y, 4/7, -1
Let g = -3.09 - -3. Let b = g + 5.09. Put 0, 2, b in increasing order.
0, 2, b
Let p = 1 + 1. Suppose -4*z + p*s + 16 = 0, -2*z + 15 = -2*s + 5. Put -2, 0, z in decreasing order.
z, 0, -2
Let f be (-15*3/24)/((-15)/(-20)). Sort f, -1.1, 4 in ascending order.
f, -1.1, 4
Let g be (-68)/18 + (-12)/54. Sort 5, -5, g in increasing order.
-5, g, 5
Let h(t) = -6*t - 41. Let s be h(-6). Sort 0, s, 3, 4 in increasing order.
s, 0, 3, 4
Let g = 1222/7 - 174. Put -2/17, -5, g in descending order.
g, -2/17, -5
Let d = 0.064 + 3.936. Let c be 15/(-6)*(3 - 1). Sort -4, c, d in ascending order.
c, -4, d
Suppose 4*x = 3*n - 11, -2*n + 21 = 3*n - 4*x. Sort -3, 4, 2, n.
-3, 2, 4, n
Let s = 35 + -33. Sort -2, -11, s in decreasing order.
s, -2, -11
Suppose -9 = 3*w - 3*m, -2 = -4*w - m - 24. Sort -19, -1/8, -2/23, w in decreasing order.
-2/23, -1/8, w, -19
Let n = -0.052 - 0.448. Put -5, -2, n in ascending order.
-5, -2, n
Let p = -12 + 13. Sort -5, p, -2/7 in increasing order.
-5, -2/7, p
Let w be 16/22 - (4 - (3 - 0)). Sort -0.5, 5, -3, w in increasing order.
-3, -0.5, w, 5
Let i be -6 + (-1 - 0 - -2). Let u(y) = -y**2 - 28*y + 4. Let o be u(-28). Put o, 1, i in decreasing order.
o, 1, i
Let a be 1/(4/(-24)*3). Sort a, -4, -12 in decreasing order.
a, -4, -12
Let h = 101 - 101. Sort 2/7, -0.4, h, -3 in decreasing order.
2/7, h, -0.4, -3
Suppose 4*s + 7 = 5*a, -5*s - 3*a + 17 = -s. Sort 3, -1, s in decreasing order.
3, s, -1
Suppose -2*n + 2*x - 16 = 0, 3*n + 5*x - 24 = 4*n. Let k(u) = u**2 + 7*u + 12. Let o be k(n). Sort o, -12, 2 in increasing order.
-12, o, 2
Let g = -9.8 + 1.8. Put -3/7, 0.1, g in descending order.
0.1, -3/7, g
Let d be (7/14)/((-3)/10). Suppose -2*l - 3*c + 5 = 2*c, -5 = -5*c. Sort l, d, -2/13.
d, -2/13, l
Let l be 3/(6/(-4)) - -2. Suppose 0*g + 4*g = l. Suppose c - 5*c - 20 = g. Sort -2, c, 2 in decreasing order.
2, -2, c
Let a(y) = -y**3 - 2*y**2 + 4*y + 4. Let k be a(-3). Sort -1, -3, k, 0 in decreasing order.
k, 0, -1, -3
Let f = -10.4 - -10. Put -3, f, 0.3, -3/7 in descending order.
0.3, f, -3/7, -3
Let t = 0.2 + 0.6. Let y = 0.2 + t. Let u be (-1)/(-2)*(-12)/9. Sort 1/7, u, y in decreasing order.
y, 1/7, u
Let h = 30 - 26. Let r be 4/((-1)/(-2)*4). Put r, h, 3 in ascending order.
r, 3, h
Let r = -136 - -133. Put 5, 2/3, r in descending order.
5, 2/3, r
Suppose 0 = 4*x - x + 18. Suppose 0 = -5*r + r + 8. Let d be (r + 8/x)*2. Put -0.2, -0.4, d in ascending order.
-0.4, -0.2, d
Let j = -25.7 + 26. Put j, -1/2, -1 in increasing order.
-1, -1/2, j
Suppose 8 = 4*t - 5*x, -5*t - 