 = t + -4. Sort -1, -4, z.
-4, -1, z
Let l = -0.38 + 0.58. Put 0, -2/13, l in descending order.
l, 0, -2/13
Let p = -2.9 - 0.1. Put 0.4, 2, p in increasing order.
p, 0.4, 2
Let z = -0.3 + -1.7. Let p = 509/10 + -51. Put 2/11, p, z in descending order.
2/11, p, z
Let h = -0.3 + -4.7. Sort -1/4, 2, h in increasing order.
h, -1/4, 2
Let n be (-4 - -6)/(4/2). Let i be ((-2)/(-5))/(2*-1). Put -3, i, n in descending order.
n, i, -3
Let g = -0.3 + 0.3. Let c = -19 + 19.1. Let u = c + 0.1. Put 1, g, u in decreasing order.
1, u, g
Let p be -2 + (7/5 - -1). Let b be -2 + (-168)/(-27) - 4. Put -0.3, b, p in descending order.
p, b, -0.3
Let v be 4/(-6) - (-2)/6. Let h be ((-3)/(-12))/((-3)/9). Sort -4, v, h in ascending order.
-4, h, v
Let g = -91 + 96. Sort 4, g, 3, 0.
0, 3, 4, g
Let o(p) = 6*p - 2. Let u be o(5). Suppose -4*i + 0*n = -3*n - u, i + 8 = -3*n. Sort -1, 2, i in decreasing order.
i, 2, -1
Let r = 4 + -1. Let a = -2.6 + -1.4. Suppose -2 = 5*l + 3. Sort a, l, r in decreasing order.
r, l, a
Suppose 5*l = -2*g + 4, 0 = -2*g + 3*g + 3. Let u = 190 - 186. Put u, l, 0 in ascending order.
0, l, u
Let r = -6 - -2. Let s = 0.04 - -0.96. Sort s, r, 2/7.
r, 2/7, s
Let y = -1/133 + 275/1197. Sort 1, -1, y.
-1, y, 1
Let k(h) be the third derivative of -h**5/60 - 5*h**4/24 + 5*h**3/6 + 4*h**2. Let m be k(-6). Put 0, m, -5 in increasing order.
-5, m, 0
Suppose 10 = 3*y - 8. Let k = y - 6. Put -1, k, 4 in descending order.
4, k, -1
Let r be (-1 - 13/(-11))*1. Let y(l) = -l**3 + 6*l**2 + 6*l + 10. Let g be y(7). Suppose -g + 8 = c. Put -4, r, c in decreasing order.
c, r, -4
Let g = 98 - 97. Suppose -2 = 4*s - 3*s. Sort g, 5, s in decreasing order.
5, g, s
Let o = 6 - 4. Let j be 3*(1 - o/(-3)). Let u = 3 - j. Put 4, -1, u in ascending order.
u, -1, 4
Let x = -2 - -4. Suppose 0 = -4*n - 6 + 18. Let z be -3 + 6 - (-4 + 2). Put x, n, z in decreasing order.
z, n, x
Let v = -1.9 + 0.2. Let c = -1.4 - v. Put c, 6, -5 in ascending order.
-5, c, 6
Let o = 2 - 5. Let m = -1 + o. Sort m, -2, 2 in increasing order.
m, -2, 2
Let r(b) = 2*b - 4. Let d(q) = -6*q + 12. Let c(g) = 3*d(g) + 8*r(g). Let z be c(5). Let v = z - -3. Put v, 4, 0.3 in increasing order.
v, 0.3, 4
Suppose -28 = -6*f + 2*f + 4*r, 3*r = -12. Suppose 2 = 2*x, -2*j + 7*j + 3*x - 28 = 0. Put j, f, -5 in ascending order.
-5, f, j
Suppose -2*b + 24 = -5*l, 5*l + 14 = -0*b - 3*b. Suppose i + b*i = -9. Sort i, -2, 0 in descending order.
0, -2, i
Let h(q) = 3*q**2 - 2*q - 1. Let x be h(-1). Put 5, 8, x in descending order.
8, 5, x
Suppose -3*h + 4*g + 1 = 0, 2*g + 8 = 3*h + h. Suppose -2*u + 14 = h*t, -t = 3*t. Let l = u + -6. Sort 3, l, -3 in ascending order.
-3, l, 3
Let c be ((-2)/4)/((-5)/(-10)). Put c, 3, 0 in decreasing order.
3, 0, c
Suppose -5*i + 2*n = -5 - 30, 2*i = -2*n. Let k = -7 + 9. Let b be k*(64/(-20) + 3). Sort i, 1/4, b.
b, 1/4, i
Suppose -4*d - 7 - 9 = 0, 4*p + 12 = -d. Let s = -1 + 2. Sort p, 3, s.
p, s, 3
Let s be (2/6*3)/(-1). Let d be 1*(-1 - 0)*s. Suppose 0 = 5*j - 16 - 4. Sort 0, j, d in increasing order.
0, d, j
Let c = 11 + -13. Sort c, -1, -4.
-4, c, -1
Let t(u) = -3*u - 14. Let j(h) = -h + 1. Let n(r) = -4*j(r) + t(r). Let a be n(13). Suppose -z - 37 + 10 = 5*m, -23 = -z + 5*m. Sort a, 3, z.
a, z, 3
Suppose -11 = -3*u + 34. Let w be (-4)/((-2)/(1 - 0)). Suppose 0 = i - w*z + 3*z - 7, 0 = -5*z + u. Sort 5, 1/4, i.
1/4, i, 5
Let p be 4/(-6)*2/4. Suppose b + 6 = 3*b. Suppose -w - 18 = -3*y, b*y + y - 14 = -2*w. Sort -0.1, p, w.
w, p, -0.1
Let g be -1 - 1*(1 - 0). Let p(c) = -c - 3. Let o be p(-3). Suppose o = 5*k - 2*k + 12. Sort k, g, 0 in descending order.
0, g, k
Let a = 1.91 + -2.11. Let k = -0.3 - -0.34. Put k, 3, a in ascending order.
a, k, 3
Suppose -4*f + 0*f + 16 = 0. Let m = -2/87 - -101/609. Put m, f, 1/8 in ascending order.
1/8, m, f
Let r be (-2)/(-4) + (-18)/(-4). Let i = 8 + -12. Put i, 2, r in ascending order.
i, 2, r
Let s(a) = a**2 + 3*a - 1. Let w be s(-4). Let x = 2 - w. Sort x, -4, -5.
-5, -4, x
Suppose 0 = 2*q - 3*q + 4. Suppose 0*g = g + q*d + 4, -4*g - 3 = 3*d. Let p = 5 + -6. Sort 2, g, p in descending order.
2, g, p
Let h = -69.24 - -67. Let r = h - 0.46. Let u = -0.3 + r. Put -2/3, u, 2/3 in ascending order.
u, -2/3, 2/3
Suppose -3*q = 2*q + 15. Sort q, -0.4, 9.
q, -0.4, 9
Let x = -2 - -6. Let b = x + -3.5. Let z = b - 4.5. Put z, -2/7, 2 in decreasing order.
2, -2/7, z
Suppose 3 + 2 = -5*u. Suppose -3*f + 0*f + 6 = 0. Put u, f, -4 in decreasing order.
f, u, -4
Let o = -108 - -42. Let a = o - -62.9. Let q = a + 3. Put 1/4, q, 1 in ascending order.
q, 1/4, 1
Suppose -8*l + 2 = 18. Sort l, -4, -5, 2 in ascending order.
-5, -4, l, 2
Let c be (3 - (-4 - -2)) + -9. Put -2, 0, 5, c in descending order.
5, 0, -2, c
Suppose 5*m - 8 + 3 = -5*h, -2*m + 2 = 3*h. Sort 3, m, -3 in descending order.
3, m, -3
Suppose 2 + 8 = 2*r. Suppose -16 = -4*z - 4*k, r*z + 7 + 0 = 4*k. Sort -1, z, -5 in decreasing order.
z, -1, -5
Let t = 11 - 8. Let b = 7 + -4. Suppose 4*w = -b - 17. Sort -3, w, t in increasing order.
w, -3, t
Suppose 0*l = -2*l + 12. Let q = -26 + 46. Suppose -a = -l*a + q. Sort a, 5, 0 in increasing order.
0, a, 5
Let z(g) = -3*g - 2. Let l(n) = 4*n + 1. Let h(j) = 2*l(j) + 3*z(j). Let o be h(-8). Sort o, -2/5, -2 in increasing order.
-2, -2/5, o
Let h = 15 + -11. Let z = 1/5 - 7/10. Put h, 0.3, z in descending order.
h, 0.3, z
Let s = 0.4 + -0.4. Let g = s - -0.8. Let d = -1 + g. Sort d, 5, -0.1 in ascending order.
d, -0.1, 5
Let r(u) be the first derivative of u**4/4 - 5*u**3/3 - 7*u**2/2 + 3*u - 1. Let b be r(6). Let i be 1/5 - (-4 - 22/(-10)). Sort b, i, 1 in decreasing order.
i, 1, b
Let v = 12 - 7. Let b(d) = 4*d**2 + d + 2. Let m be b(-2). Suppose 17*s = 13*s + m. Sort s, v, 2 in decreasing order.
v, s, 2
Let k = 0.28 - 3.28. Sort 4, k, 1 in decreasing order.
4, 1, k
Let j = 3 - 1. Let b = 0 + j. Sort 5, -0.5, b in increasing order.
-0.5, b, 5
Let i(h) = h**2 - 8*h - 10. Let n be i(9). Sort -5, 3, 4, n in descending order.
4, 3, n, -5
Let p be 2/(-3)*6/10. Let u(j) = j + 10. Suppose -2 = c + 2*i, 5*i = -0*c - 2*c. Let f be u(c). Sort f, -5, p in descending order.
f, p, -5
Let z(a) = 2*a - 6. Let g be z(4). Suppose 2*x - 8 = -4*m, -3*m + 4*x - 4 = 12. Sort m, g, -3 in descending order.
g, m, -3
Suppose -16*g + 6*g = 0. Suppose i - 28 = 5*k, -3*k - i + 16 = -6*k. Let f = -9 - k. Sort f, g, -1 in decreasing order.
g, -1, f
Let a = 58 - 57.5. Put a, 5, 0.1, -5 in increasing order.
-5, 0.1, a, 5
Let k = 1 + -0.9. Suppose o - 1 = -g, 0 = -2*g + 5*g - 2*o - 23. Let l be (1 - 1)/(-3 + g). Sort -1/6, k, l in descending order.
k, l, -1/6
Let b be (20/75)/(2/3). Sort b, -2/5, 2 in increasing order.
-2/5, b, 2
Let i = 2.6 + -2.1. Let n = 3 + 0. Let f = 3.2 - n. Put f, -0.1, i in ascending order.
-0.1, f, i
Let v = -3 - -5. Let h = 2 - v. Let p = 0.4 + 0.6. Put p, 4, h in descending order.
4, p, h
Let q = -34 - -69/2. Let g = 0.5 + -0.3. Put q, -3, g in decreasing order.
q, g, -3
Let d be (4/(-10))/((-2)/20). Let u = -2.29 + -0.11. Let f = -0.6 + u. Sort d, f, -0.3 in descending order.
d, -0.3, f
Let i = -30.546 + 0.146. Let r = i - -35. Let l = r - 5. Put l, -4, -2/15 in decreasing order.
-2/15, l, -4
Let s = 0.15 - -0.85. Put -2/11, 5, s in decreasing order.
5, s, -2/11
Let b = -11 - -7. Let q = -28 + 25. Let o = q - b. Sort 2, o, -0.2.
-0.2, o, 2
Let z be (-4)/26 - 164/(-52). Let d be (-7)/(-21)*2/z. Sort d, 1/4, -0.4 in descending order.
1/4, d, -0.4
Let d = 3.82 - 1.82. Let w = 2.5 + -4. Let p = w - -2. Sort p, d, 1/5.
1/5, p, d
Let d(t) = t**2 - t - 3. Suppose 4*g + 4*f = 2*f + 26, 3*f = 15. Let q be d(g). Suppose 2*i = -3*c + 9, -i = 2*c + 3 - q. Sort -3, 5, c.
-3, c, 5
Suppose -5*t = -3*i + 12, i = t - i + 8. Sort 5, 3, t.
t, 3, 5
Let c be 0/((-2 - -1) + 3). Put 0.4, c, 1 in descending order.
1, 0.4, c
Suppose 4*c + 12 = 0, 3*p = c + c - 9. Let g = -9 - p. Let u = g + 6. Put -4, u, -1 in decreasing order.
u, -1, -4
Suppose -16*j - 4 = -20*j. Put 4/5, -1, -0.3, j in descending order.
j, 4/5, -0.3, -1
Suppose 2*l = -3*a - 12, 2*a + 3 = -l - 5. Let y = -1.85 - -0.85. Put -0.1, l, y in descending order.
l, -0.1, y
Let b(z) = 2*z**2 - 24*z + 26. Let x be b(11). Sort -11, 3, x, 1 in descending order.
x, 3, 1, -11
Let s be (4/6)/(3/9). Let f be 4/2*(-3)/s. Suppose