et d = 470 - 466.99. Let p = d - 0.01. Put -0.2, p, w in decreasing order.
p, w, -0.2
Let i = 1.972 + 0.028. Sort i, -0.3, -2/5, 0 in increasing order.
-2/5, -0.3, 0, i
Let y(x) = -x**2 + 4*x + 1. Let l be y(5). Let g be l/(-10) + (-8)/20. Suppose 11 = -2*j + 4*v + 5, g = -2*v + 2. Put j, -2, 5 in increasing order.
-2, j, 5
Let n = -138 + 140. Sort -1, 17, n, 1.
-1, 1, n, 17
Suppose 1 = m - 4*f, -3*m = 2*m - 3*f - 5. Put 2, m, 3 in descending order.
3, 2, m
Let n = -19 + 19.4. Let k = -18 + 9. Let i = k - -2. Put n, 3, i in ascending order.
i, n, 3
Let a(d) = -d + 3. Suppose v = -5*m + 3*m + 13, 0 = -2*m + v + 3. Let g(t) = 3*t - 4. Let l be g(m). Let h be a(l). Sort -1, -3, h in decreasing order.
-1, -3, h
Suppose 3*g = -4*b - 8, -5*b - 9 = -5*g + 1. Suppose g = 5*p + n + 14, 0 = 4*p - 4*n - 0*n + 16. Sort p, 2, 1 in decreasing order.
2, 1, p
Suppose -9*l = -7*l - 4. Put l, -1, -10, -5 in descending order.
l, -1, -5, -10
Let o = 3 + -3.3. Let x = -16 + 18. Put 1/5, o, x in ascending order.
o, 1/5, x
Suppose -6*d + 60 = 4*d. Sort -0.1, 5, 2, d in descending order.
d, 5, 2, -0.1
Let d = 32 - 34. Sort 1/5, d, 3 in descending order.
3, 1/5, d
Let s = -46 - -46.5. Sort -7, 3/2, s in decreasing order.
3/2, s, -7
Suppose 0*p = -3*p. Suppose p*s = 2*s + 4. Let a = -42 - -41. Put -4, a, s in decreasing order.
a, s, -4
Let d = -9.1 + 8. Let c = 12.8 - 12. Let t = d + c. Put -2, -4, t in descending order.
t, -2, -4
Let o = -1.4 - -1. Let u = 0.4 + o. Sort 0.3, u, -5 in decreasing order.
0.3, u, -5
Let c be 12/30 - 34/10. Sort c, -1, 3.
c, -1, 3
Let s = 27 + -31. Suppose -24 = -0*y + 4*y + 3*o, 3*y + 25 = -4*o. Sort y, 11, s in ascending order.
s, y, 11
Let j be (-24 + 15)*(-2)/6. Sort -1, 1, j in decreasing order.
j, 1, -1
Let h = -21 + 24. Put 2, -3, -4, h in decreasing order.
h, 2, -3, -4
Let f be -1*(-28)/(-4) + 3. Suppose 2*z - 56 = -2*z. Let m be f - -6 - 30/z. Sort 0, m, -2.
-2, m, 0
Let m be (-8)/28 - (-88)/14. Let i be 8/m*6/(-4). Let a be ((-2)/12)/(1/(-2)). Put a, 0, i in descending order.
a, 0, i
Let l(n) = n + 3. Let b be l(-2). Put 4, b, -1/4 in descending order.
4, b, -1/4
Suppose 20 = 6*w - w. Let t(i) = -i + 1. Let c be t(-2). Put w, -3, c in decreasing order.
w, c, -3
Suppose 4*c + 3 = 5*c. Put -1/8, 1/2, c in increasing order.
-1/8, 1/2, c
Let a = -43.1 + 43. Sort a, -5, -12/7 in descending order.
a, -12/7, -5
Let d be (((-2)/(-24))/(-1))/(5/(-15)). Let o be (-4)/3*19/(-4). Let l = o + -7. Put -2/11, l, d in decreasing order.
d, -2/11, l
Suppose -2*s = -5*i - 7, 0*i = i - 4*s - 13. Let a = 2 + 2. Suppose -a*h = 9 - 25. Sort 1, h, i in descending order.
h, 1, i
Let l(c) = -2*c + 5*c + c - 7 - 3*c. Let k be l(8). Let m = -6 - -3. Sort k, 4, m in descending order.
4, k, m
Let i = -5.3 + 0.3. Put -3, i, 2/3 in decreasing order.
2/3, -3, i
Let l = -72.5 + 72. Sort 49, l, 0 in ascending order.
l, 0, 49
Let l = 0.13 + -0.13. Let u be ((-1)/(-4))/(2/4). Let x = -0.6 + -0.4. Sort l, x, u.
x, l, u
Let h(y) = y**2 + 5*y. Let q be h(-4). Let l be 6/9 + 19/3. Let u be (-2)/((-7)/(l/(-2))). Put 4, q, u in descending order.
4, u, q
Let a = -1/16 + 23/112. Sort -1, -5, a in decreasing order.
a, -1, -5
Let r = -75 + 153/2. Sort -0.5, 8, r in decreasing order.
8, r, -0.5
Let z(q) = 4*q - q**2 + 8 + 4*q - 11. Let x = 21 + -14. Let p be z(x). Sort p, 2, -4 in decreasing order.
p, 2, -4
Let n(g) = -2*g + 3. Let i be n(4). Put i, -2, -1 in descending order.
-1, -2, i
Let n = -5 - -7. Suppose 3*b = 9, n*b - b = q + 7. Sort q, 3, 2 in decreasing order.
3, 2, q
Let w = -0.75 - -0.7. Let y = -0.25 - w. Suppose -4*h + 12 = -h. Put h, y, 1/4 in ascending order.
y, 1/4, h
Let q = -6 + 5.92. Let a = 90 + -94.92. Let c = a + q. Sort -2/21, -1/5, c.
c, -1/5, -2/21
Let q = 8 + -4. Suppose -5 = 2*p + 3*i + 3, q*p = -5*i - 16. Sort 0.4, p, 2 in ascending order.
p, 0.4, 2
Let i = 9 - 12. Sort 0.4, -6, i, 0.5.
-6, i, 0.4, 0.5
Let r = 8.09 - 8. Let l = 0.09 - r. Put l, -1/3, 0.5 in descending order.
0.5, l, -1/3
Suppose 20*i - 17*i + 6 = 0. Let q(a) = -a - 5. Let l be q(0). Sort 4, l, i in increasing order.
l, i, 4
Let q = 1 - -1. Let n = 3.03 + -0.03. Let w = -2 + n. Sort w, q, -1/3 in decreasing order.
q, w, -1/3
Suppose 101 = 5*t + 1. Suppose -2*m + 4 = -m + x, -5*x = -4*m - t. Suppose 2*q - 4 = 2. Put -1, m, q in ascending order.
-1, m, q
Let l = -61/42 - -20/21. Sort l, 6, 4.
l, 4, 6
Suppose -7*f - 2*m + 18 = -2*f, -3*f - 6 = -3*m. Let c = 247/5 + -50. Let q = 1.5 + -2. Put q, c, f in ascending order.
c, q, f
Let y be (14/28)/((-3)/4). Let c = -7 - -12. Sort y, -6, c.
-6, y, c
Let h(q) = 2*q + 29. Let t be h(-13). Put -5, t, 2 in descending order.
t, 2, -5
Suppose 2*h - 6 = -0. Suppose -j - 16 = -3*r, -j - 5*r + 13 = -3. Sort j, h, 5.
j, h, 5
Let r = 3 - 0. Let k = -5 - -1. Let t = 4.5 + k. Sort r, t, -1.
-1, t, r
Suppose -1 + 2 = j. Let b(l) = -l**3 - 2*l**2 + 2*l - 5. Let u be b(-3). Sort 3, j, u in descending order.
3, j, u
Let u = 0.12 + -0.02. Put u, -1/6, 2/3 in descending order.
2/3, u, -1/6
Let q = 3 - 1. Let k = 3 + q. Sort 0.1, 2/9, k in decreasing order.
k, 2/9, 0.1
Let x = 2 + 2. Let o = -0.16 + -6.74. Let j = o + 7. Sort x, j, -5.
-5, j, x
Let g = -2.4 - -3.5. Let l = g - 6.1. Put 4/5, l, -0.1 in decreasing order.
4/5, -0.1, l
Let y be 1*(3/(-3) - 1). Put 1/2, y, -4 in descending order.
1/2, y, -4
Let i = 0.05 + -0.03. Let k = i + -0.12. Sort 4, 1/4, k in descending order.
4, 1/4, k
Let y = -113 - -113. Put -1, 0.6, y in ascending order.
-1, y, 0.6
Let f = 7 - 5. Sort 5, f, 4 in descending order.
5, 4, f
Suppose -45*w = -50*w. Sort w, 10, 4, -2 in increasing order.
-2, w, 4, 10
Let w = 1 - 0.5. Let g = 0.5 + -0.3. Let k = 392 - 388. Sort g, k, w.
g, w, k
Let l be 1 - (39/(-9) - -2). Let t = l + -44/15. Sort t, 1, 4 in descending order.
4, 1, t
Let y be 6/(-9) + 3884/(-20). Let f = -195 - y. Sort 2, 1/2, f in ascending order.
f, 1/2, 2
Suppose -2*v - 25 = 3*v. Sort -1, v, -0.5 in decreasing order.
-0.5, -1, v
Let c = -65 - -62. Sort 15, -5, c in increasing order.
-5, c, 15
Let i = 9/16 - 5/16. Sort i, 5, 2/5 in decreasing order.
5, 2/5, i
Suppose 2*t = 3*q + 3*t - 4, 4*q = -3*t + 2. Suppose b + q*b = 0. Sort -2, 4, b.
-2, b, 4
Suppose 0 = 3*h - 9, -3*h + h + 6 = 4*y. Let g be (-5)/3 - (-1)/(-3). Let c = y - g. Sort c, 3, 0.
0, c, 3
Let f = 0.16 + -0.46. Put 3, f, 1/6 in decreasing order.
3, 1/6, f
Let z = -0.1 + 0.2. Let c = z + 0. Let y = -7 - -7. Sort y, c, 0.5 in decreasing order.
0.5, c, y
Let p = -79 + 84. Sort 1, -3, -20, p in ascending order.
-20, -3, 1, p
Let z(m) = -m + 4. Let u be z(2). Sort -4, u, -1.
-4, -1, u
Let l = 0.7 + -1. Suppose -4*z + 3*n = -16 - 7, -n = 2*z + 1. Suppose 5*w = -5*k + 10, k = -4*k + z*w - 25. Sort l, k, 5/6.
k, l, 5/6
Suppose -5*l + 4 = 24. Let y = -11 + 15. Suppose 3*d - d + y = 0. Sort l, 0, d in descending order.
0, d, l
Let b = -0.3 - -0.4. Let c = b + -0.2. Put 5, 0.5, c in descending order.
5, 0.5, c
Let s = -8.42 + 8.5. Sort s, 0.5, 1 in increasing order.
s, 0.5, 1
Let y = -8 - -6. Let u = y + 2. Suppose 5*n - 6 - 4 = u. Put 3, n, 1 in decreasing order.
3, n, 1
Let l = 34 - 32. Put l, 1, -1 in descending order.
l, 1, -1
Let v = 160.1 + -172. Let z = v - -12. Sort 2/33, z, -2/3 in ascending order.
-2/3, 2/33, z
Let r = -1132 - -5701/5. Let g = -379/45 + r. Let b = 93 + -92.5. Put b, g, -1/6 in decreasing order.
b, -1/6, g
Let m = 86/15 + -32/5. Let a = 2 + -2. Sort a, m, -0.3 in increasing order.
m, -0.3, a
Let o(h) = -h**3 + 4*h**2 - 2*h - 1. Let c be o(3). Suppose -6*z - 14 = 4. Sort c, -4, z in decreasing order.
c, z, -4
Let f = 0.2 + 0.3. Put f, 1, -3 in descending order.
1, f, -3
Let y(p) = p**3 - 3*p**2 + 1. Suppose 4*j = 3*j + 3. Let z be y(j). Sort 0.4, z, 5 in decreasing order.
5, z, 0.4
Let c = -52 - -99/2. Let m = -161/6 - -27. Sort 0.4, c, m.
c, m, 0.4
Let b(q) be the third derivative of q**4/24 + 13*q**3/6 + 3*q**2. Let r be b(-11). Put -0.2, r, 5 in descending order.
5, r, -0.2
Let x be 4 + (-1 - 1) + -1. Put x, 5, 0 in descending order.
5, x, 0
Let u be 1/((-2)/(-16)) - 2. Let s be 33/9 + (-4)/6. Suppose -12 = s*p - u*p. Sort -2, 2, p.
-2, 2, p
Suppose 2*t + 44 = 2*o + o, -t + 66 = 4*o. Suppose 4*f = 2*c + 2, 0*c - 5*c + o = -3*f. Sort f, 2, -1 in descending order.
f, 2, -1
Let a = 15 + -19. Put