 = -4*t - 0. Let h be (-13)/52 - t/4. Sort k, 2, h, 1 in increasing order.
h, k, 1, 2
Let r = 825 + -2473/3. Let c be 25/(-20) + (-3)/4. Let k = -1 + c. Put 2, k, r in descending order.
2, r, k
Let d = -427477 - -427477. Let j(c) = 3*c**2 - c + 1. Let z be j(1). Put -4, d, z, 2 in descending order.
z, 2, d, -4
Suppose 1694*m = 1686*m + 40. Put 2269, m, 4 in descending order.
2269, m, 4
Let i(v) = -v**3 + v**2 - v + 6. Let p be i(0). Suppose m - p = -2*m. Suppose -64*x + 864 + 32 = 0. Put 0, -5, x, m in ascending order.
-5, 0, m, x
Let j = 2077 + -2080. Suppose -2*x - 5*o = 11, -5*x - 5*o - 9 = -2*x. Sort x, 30, j in decreasing order.
30, x, j
Let i = 4279 + -4195. Sort -1/4, i, 2, -2/3 in decreasing order.
i, 2, -1/4, -2/3
Suppose 19 = -m + 2*b, 2*m - b = -460 + 443. Put 5, 26, -3, m in ascending order.
m, -3, 5, 26
Let j = -0.8 - -3.8. Let k = 33 - 19. Let l = 36.6 - 37. Put j, k, 3/4, l in decreasing order.
k, j, 3/4, l
Suppose 31*p = 16 + 15. Sort 128, p, -2, 4 in descending order.
128, 4, p, -2
Let o = -5607 + 5607.11. Put o, -5, -0.2, 0.1 in increasing order.
-5, -0.2, 0.1, o
Let w be (-8 + (-68)/(-10))/(6/20). Put 5, 12, 11, w in decreasing order.
12, 11, 5, w
Let a = -6491 + 6487. Put a, 0.2, -1, 2/201, -2/13 in ascending order.
a, -1, -2/13, 2/201, 0.2
Let s = -0.6023 + 1.3023. Sort 0.012, 0, s, 1, -2/5 in increasing order.
-2/5, 0, 0.012, s, 1
Let w be (0/(-6))/(0 + 1). Suppose 5*g + 100 = 75. Let i = -14 - -12. Sort -4, i, w, g in descending order.
w, i, -4, g
Suppose -20 = 41*p - 37*p. Let l(t) = 2*t - 7. Suppose c - 15 = -2*c. Let m be l(c). Sort -1, p, m, -2 in ascending order.
p, -2, -1, m
Let w = 984965001/35 + -28139609. Let f = w - 2248. Put f, -0.2, 1/5 in increasing order.
-0.2, f, 1/5
Let x(m) = -2*m**3 + 12*m**2 + 17*m - 23. Let h be x(7). Sort -0.4, h, -0.5, 2/9, 0.593 in descending order.
0.593, 2/9, -0.4, -0.5, h
Let i = -17 - -22. Let w = 11.935 + -0.035. Let k = 12.1 - w. Sort 4, k, -5, i in decreasing order.
i, 4, k, -5
Suppose 5144*a = -2*b + 5147*a + 11, 0 = 2*a + 10. Suppose 7 = 3*q + 7. Let l = -3 - 2. Sort q, l, 5, b in decreasing order.
5, q, b, l
Suppose 5 = -2*s - 1. Let a = 7587 - 7588. Put s, 0.2, -0.3, a in decreasing order.
0.2, -0.3, a, s
Let k(p) = -3*p - 114. Let f be k(16). Let a = f + 163. Sort -2, a, -1 in increasing order.
-2, -1, a
Let r = 38 - 31. Let y(f) = f**3 - 7*f**2 + f - 5. Let s be y(r). Suppose -s*h - 3*j - 14 = 0, 3*h + 0*j - 3*j + 21 = 0. Sort h, -2, -0.2.
h, -2, -0.2
Let p = 29343 + -29338. Sort 0.2, p, -16/7, -45 in descending order.
p, 0.2, -16/7, -45
Suppose 0 = 2*x - 5*u - 5, -20*x + 19*x = 5*u + 50. Sort x, 4, 53 in descending order.
53, 4, x
Suppose -202 = -3*d + b - 194, -3*d - 3*b + 36 = 0. Suppose 2*s + 2*j = -58, 0 = -s - 4*s - 2*j - 142. Sort 2, d, -1, s.
s, -1, 2, d
Let x = 263144 - 263144.3. Let k be (-123)/(-189) - (-4)/(-18). Put -2/5, 0.2, k, x in decreasing order.
k, 0.2, x, -2/5
Let v = -23168 + 23159. Sort v, -1, 94, -2, 5 in ascending order.
v, -2, -1, 5, 94
Let u = -166 - -300. Suppose u*j + 12 = 122*j. Sort 8, 2, j, 1 in descending order.
8, 2, 1, j
Let z be 6667/472 - (-1 - -15). Sort -0.2, z, 0.3 in increasing order.
-0.2, z, 0.3
Let l(f) = 110*f - 4623. Let m be l(42). Put m, -2, 0 in descending order.
0, -2, m
Let k = 2065.6 + -2066. Let v = -10 + 9. Let y be 16/(-6) + v/3. Put -0.08, y, k in decreasing order.
-0.08, k, y
Suppose 2*r = -0*r - 10. Let q = 67 + -68.1. Let p = q - -1.6. Sort p, r, -8.
-8, r, p
Suppose v = 3*s + 17, 14*v + 4*s = 10*v + 4. Put -6, v, -1, -58 in increasing order.
-58, -6, -1, v
Let b = -1293.6 + 1294. Sort b, -3/2, -0.3, -23, -2/7 in increasing order.
-23, -3/2, -0.3, -2/7, b
Let n(h) = h**2 - h. Let s(g) = -9*g - 11. Let c(k) = n(k) + s(k). Let j be c(11). Sort j, -0.4, 0.4, 1.
-0.4, j, 0.4, 1
Let q = 85.016248 + -0.002248. Let l = -85 + q. Let k = l - 2.014. Sort 0, -21, -5, k in decreasing order.
0, k, -5, -21
Suppose 4*r + 25 = -4*v + 301, 0 = 2*v - 4*r - 162. Sort v, -2/3, -11 in increasing order.
-11, -2/3, v
Let d be (-31)/5 + (10 - (2 - (-3 - -1))). Put -0.1, 3/7, -2/7, d, -0.8 in decreasing order.
3/7, -0.1, d, -2/7, -0.8
Let l = 10732 - 10646. Put -0.05, -5, 3/5, l in ascending order.
-5, -0.05, 3/5, l
Suppose 1842 + 2613 = -15*d. Let w = d + 285. Put -4, -5, w in ascending order.
w, -5, -4
Let v = -51 - -49.98. Let y = v + 0.92. Put -3, y, 3, -0.02 in decreasing order.
3, -0.02, y, -3
Let i = -74 + 76.87. Let q = 3 - i. Let j = q - -0.17. Sort j, -2/13, -0.2.
-0.2, -2/13, j
Let h = -3.934 + 4.264. Sort -2, 12, h.
-2, h, 12
Let u = 3.683 + 1.317. Put -3/17, u, -12 in ascending order.
-12, -3/17, u
Let d = -0.05 - -0.45. Let c = 18.92 - -0.28. Let m = -20.1 + c. Sort m, 0, d, 4/7 in decreasing order.
4/7, d, 0, m
Let d = -285.5 - -282.5. Suppose -7*x + 4 = -8*x. Let v(s) = -s**2 - 2*s + 3. Let g be v(-4). Put x, -2, d, g in decreasing order.
-2, d, x, g
Let y be -3 - (-3)/(-6)*(-54)/(-9). Sort y, 2/11, 1/3, -13 in decreasing order.
1/3, 2/11, y, -13
Let p be -1*5 - (2 - 2). Let t = 843 + -839. Let u be (t - 0) + (-5 - -17 - 6). Put p, u, 0, 2 in decreasing order.
u, 2, 0, p
Suppose -108*i + 53*i + 54*i = 0. Suppose -4*a - 17 = -r, 4*r + a + 29 = 7*r. Put i, r, -4 in increasing order.
-4, i, r
Let z(l) = l - 8. Let d be z(4). Let x be -1 - (-25)/15 - (-87)/(-9). Let k = 15 + x. Put d, -5, 4, k in decreasing order.
k, 4, d, -5
Let t = 2323.67 + -2323.8. Put -0.2, -3, t, 66 in decreasing order.
66, t, -0.2, -3
Let c = -1983 + 1988. Put -94, 2/7, c in ascending order.
-94, 2/7, c
Let d(k) = -2*k**2 - 3 + k**2 - 1 - 1. Let q be d(-5). Let r = -28 - q. Put 3, -1/7, r in decreasing order.
3, r, -1/7
Let r = -0.09 - -0.29. Let b(t) be the third derivative of -t**5/20 - t**4/6 + 32*t**2. Let i be b(-2). Put 1/8, 2, i, r in increasing order.
i, 1/8, r, 2
Let g = 364.283 + 0.717. Let r = 365 - g. Let s = 10 - 7. Sort 2, -3, r, s in decreasing order.
s, 2, r, -3
Let i be 8085/1575 + 62/(-240) + 7/56. Sort i, -1, 7, -42.
-42, -1, i, 7
Let p be 16/28*1 - (-785)/35. Suppose -252 = 11*q + p. Put -4, -1, q in decreasing order.
-1, -4, q
Suppose -2*q + 247 = -161. Suppose -3*g + q = 210. Sort 9, g, 2.
g, 2, 9
Suppose -4*a + 3*a - 4*d = 11, -4*a + 12 = 2*d. Suppose -4*m - 19 = 3*h, -h + 2*h + 2*m + 9 = 0. Let r = -217 + 213. Sort r, a, h in descending order.
a, h, r
Let c = 2.71 + 26.59. Let v = 29.157 - c. Let y = 1.143 + v. Sort 0.5, 3, y.
0.5, y, 3
Let i = -0.0873 - -0.1073. Let b = 0.65 + 0.35. Sort i, b, 0.4, -4 in ascending order.
-4, i, 0.4, b
Suppose -3*n = -5*n - 10. Let a = -3 - n. Let r = -1804 + 1807. Put -4, a, r in ascending order.
-4, a, r
Let d = -116 + 119.9. Let h = d - 4.3. Put -4, 3, -2/31, h in ascending order.
-4, h, -2/31, 3
Let c = 0.2 - 0.1. Let r = 70895/6 - 11816. Put 3, r, c in descending order.
3, c, r
Let j = -3 + 3. Suppose 3*a + 270 = -j. Put -1/4, -0.1, a in increasing order.
a, -1/4, -0.1
Let p = 1592 - 1046. Let o = p + -542. Put -3/4, -14/9, o in descending order.
o, -3/4, -14/9
Let k(g) = 132*g - 2290. Let q be k(18). Sort -5, -0.5, q.
-5, -0.5, q
Let m be (-42)/(-4)*(-36)/(-63) - (-10 - -14). Put m, 2966, 1, 3 in increasing order.
1, m, 3, 2966
Let t be -2*(-2)/(-12)*-3. Let j = 194881/5 - 38977. Put -0.007, t, 0.2, j in decreasing order.
t, 0.2, -0.007, j
Suppose -5291 + 5315 = -8*q. Sort q, -1, -850 in decreasing order.
-1, q, -850
Let q = -3629 + 3633. Let g be ((-9)/(-6))/(1/(-2)). Let z be (-6 + 12/q)/(g + 4). Put z, -5, 7 in descending order.
7, z, -5
Let c = -0.1304 + 0.0904. Sort c, 2/15, -74/13 in descending order.
2/15, c, -74/13
Let x(n) = -58*n + 5804. Let g be x(100). Sort -1124, g, 1 in descending order.
g, 1, -1124
Let v = -0.9066 + 0.7066. Sort v, 0.12, 0.1, 0 in descending order.
0.12, 0.1, 0, v
Let g = -36 - -31. Let a = 102 - 99. Suppose -a = -232*m + 233*m. Put m, 0, -4, g in descending order.
0, m, -4, g
Let b be (1/(1/2))/((-7749)/861). Let d = 4.8 + 0.2. Put 4, 15, d, b in ascending order.
b, 4, d, 15
Let p = -1822 - -1822. Put 10, p, -1, 5, -5 in decreasing order.
10, 5, p, -1, -5
Let z(k) = -2*k + 64. Let p be z(-2). Let l = -0.19 + 0.69. Sort -5, l, p in ascending order.
-5, l, p
Let i(b) = 3*b + 37. Let u be i(-11). Suppose -2*l - 2*t = -0*l + u, 4*l + t + 8 = 0. Put -35, 