 = -688 + 667. Sort 3/4, -3/2, a, -5, 13 in descending order.
13, 3/4, -3/2, a, -5
Let g(u) = -733*u + 736. Let c be g(1). Put -0.1, c, 78, -7 in decreasing order.
78, c, -0.1, -7
Let n(a) = -a**2 - 10*a + 143. Let f be n(-18). Put f, -3, -135 in increasing order.
-135, -3, f
Let b = 64.4 + -56. Let k = 2.6 + b. Let i = 8 - k. Put 1/3, -0.05, i in descending order.
1/3, -0.05, i
Let t = 55 + -69.2. Let x = t + 3.2. Let y = 11.3 + x. Sort 2, -4, y, 0.2.
-4, 0.2, y, 2
Let b be ((-24)/30)/((-9 - (-88)/10)/1). Suppose 0 = 3*h - 5*g - 7 + 1, 4*h + 2*g = 8. Let f be (0*(-1)/2)/(-2). Put h, 3, f, b in decreasing order.
b, 3, h, f
Suppose 3*d + m + 3 = 0, 3*d - 343*m = -338*m - 21. Put d, 15, -12 in descending order.
15, d, -12
Let a(n) = 5*n**2 + 43*n + 70. Let f be a(-2). Sort -7, f, -1, 27, 1 in increasing order.
-7, -1, 1, f, 27
Let x(k) = -5*k**3 + 5*k**2 - 7*k + 2. Let u be x(1). Let v = 166 - 168. Sort v, u, 3 in descending order.
3, v, u
Let j be (-3)/(5 - 2)*(10 - (-352)/(-33)). Sort 38, -0.06, 1, 3, j in decreasing order.
38, 3, 1, j, -0.06
Let v be (4 + 3)*(29 + 2). Let g = -217 + v. Sort -3, -12, g in descending order.
g, -3, -12
Let z = 8960 + -8973. Sort 1, -1, -18, z in descending order.
1, -1, z, -18
Suppose -48*l + 115 = -29. Sort l, 0, -2, -5, 5 in descending order.
5, l, 0, -2, -5
Suppose -5*d + 180 = 4*y, 2*y - 33 = 3*d + 35. Let i = y + -44. Let q be (0 + 1)/(i - -3). Put -2, q, 2 in increasing order.
-2, q, 2
Let k = -11.457 + 11.4. Let s = 2.943 - k. Let p(u) = -u**3 - 4*u**2 + 6*u + 2. Let v be p(-5). Put -0.11, s, v in descending order.
s, -0.11, v
Let w(u) be the first derivative of u**3/3 - 41*u**2/2 + 236*u + 159. Let p be w(34). Let q(o) = 4*o - 3. Let a be q(2). Sort a, p, 4 in descending order.
a, 4, p
Let f = -16.865 - -16.905. Sort -7, 0.4, 12, f.
-7, f, 0.4, 12
Let b = -2253 + 2253. Put -0.06, b, 1/7 in decreasing order.
1/7, b, -0.06
Let c(p) = 13*p**2 + 15*p - 73. Let u be c(5). Put 3, 5, u, 1 in ascending order.
1, 3, 5, u
Let l = 4883.9 + -4884. Sort -0.4, -17, 31, 9, l in descending order.
31, 9, l, -0.4, -17
Let c(k) = k**3 - 11*k**2 - 11*k - 6. Let m be c(12). Let r = 4 - m. Let v be (-16)/14*91/(-52). Put v, r, -35 in decreasing order.
v, r, -35
Let h = 234/35 - 32/5. Let q be 2/6*(-6 + 150/40). Sort h, -4/3, 0.1, q in increasing order.
-4/3, q, 0.1, h
Let l = -234/25 + 219/25. Put 2/13, l, 6.3, 1 in increasing order.
l, 2/13, 1, 6.3
Suppose -5*l = -15, 4*l - 5 = -2*w + 13. Suppose 5*k + 0*k + 2*g - 13 = 0, -5*g = -w*k + 14. Let a be (-1 - (-4)/k)/(4/156). Put -4, a, -3 in descending order.
a, -3, -4
Let k = -0.088 + 0.1296. Let d = -0.0416 + k. Put -59, -3, d in descending order.
d, -3, -59
Suppose 172*a - 147*a = 75. Let t = -291 + 186. Put a, 0, t, 1 in descending order.
a, 1, 0, t
Suppose 2*p - 6*r = -7*r + 850, -4*p = 4*r - 1692. Let v = p - 431. Sort 10, v, 4, -1.
v, -1, 4, 10
Suppose -9*d = 1045 + 602. Put 5, -4, d in increasing order.
d, -4, 5
Suppose 544*c - 85 = 527*c. Sort c, -5, 13371 in increasing order.
-5, c, 13371
Suppose j - 6*s = -5*s + 21, 3*j - 65 = 4*s. Let d = -14 + j. Let u be (3124/40)/(-11) + 1/10. Put d, 4, u, 2 in decreasing order.
d, 4, 2, u
Let f = 11 + -8. Suppose -4*b + f*b = 2. Suppose 69*m = 224*m + 2170. Sort 5, b, m in descending order.
5, b, m
Let l = 132548 + -132551. Let o = 7 + -4. Let w = o + -3.4. Sort l, 6, w in increasing order.
l, w, 6
Suppose -10*p + 840 = 4*p. Let z = p - 61. Let h(t) = 2*t**3 + 12*t**2 + 3. Let f be h(-6). Sort -3, z, f, 0.
-3, z, 0, f
Let d = 33 + -135/4. Sort -0.07, -0.048, d, 1 in descending order.
1, -0.048, -0.07, d
Suppose 0 = -4*n - 9 - 7. Let d be (-225)/(-21) + n/(-14). Let q = 38554 + -38550. Sort q, 1/5, -5, d in descending order.
d, q, 1/5, -5
Let n be -2*(-3 + 2) - 4. Let g be (-2)/3*27/(-3). Suppose -5*q + 44 = g*q. Sort -9, n, q in increasing order.
-9, n, q
Suppose j - 2 = -5*g - 5, 3*g = -2*j - 6. Let k be (-147)/(-42) + 9/(-2). Suppose -2*x + 3*x = 2. Put j, k, x in increasing order.
j, k, x
Let y = -1355 + 1355. Sort -1, 4, 6, y.
-1, y, 4, 6
Let z = -0.1 - -0.2. Let g = -82652.7 - -82653. Let q be (-2)/10*5/(-2). Put -2/11, q, g, z in decreasing order.
q, g, z, -2/11
Suppose -5 = -17*u + 12*u. Let j(b) = -9*b**3 + 3*b + 2. Let w be j(-1). Suppose 0 = 4*n + w*n. Put n, 12, u in decreasing order.
12, u, n
Let r be (198/11 - 5)/(-1). Sort -71, 0, r.
-71, r, 0
Suppose -25*u - 2*p + 1 = -26*u, 2*u - 7 = -5*p. Put 4, 12, -33, -1, u in decreasing order.
12, 4, u, -1, -33
Suppose 5*p - b - 228 = p - 202, 0 = -3*b + 30. Suppose -2*n - 3*n = 0. Sort p, -4, 1, n in increasing order.
-4, n, 1, p
Let v = -0.9105 + 1.0105. Sort v, 2, 2/9, 1/7, 15.
v, 1/7, 2/9, 2, 15
Let z = 7 - 3. Suppose z*o - 10 - 2 = 0. Let q = -4517 + 4515. Sort o, 4, 1, q.
q, 1, o, 4
Let t(x) = x**2 + 23*x - 80. Let g be t(-24). Let q(y) = y**3 + 8*y**2 - 52*y - 46. Let z be q(-12). Sort -1, g, z in increasing order.
g, -1, z
Let x = 6937 + -6941. Let n be -5 - 0 - (-42)/9. Sort 2/19, n, 5, x in descending order.
5, 2/19, n, x
Suppose 540 - 670 = -13*v. Put v, 5, 4, 0 in increasing order.
0, 4, 5, v
Let t = -1.8792 + -0.1178. Let l = t - 0.003. Put -0.05, l, -5/6 in ascending order.
l, -5/6, -0.05
Let d = -415 - -732. Let z = -369 + d. Sort 2/3, -0.2, z in decreasing order.
2/3, -0.2, z
Suppose -29 = -6*a + 19. Let y = -286 - -287. Put y, -2, a in decreasing order.
a, y, -2
Suppose -7*j = 18*j + 1625. Suppose -5*h = -h - 216. Let a = h + j. Sort a, 3, 2, -2 in increasing order.
a, -2, 2, 3
Let q = 7 + -6. Let z = 43929 + -43933. Sort 2/3, q, z, -17 in ascending order.
-17, z, 2/3, q
Let r = -7412/11 - -674. Sort 1/5, 9, r, 5 in ascending order.
r, 1/5, 5, 9
Suppose i = 2*d + 7, 3*d + 9 = 6*i - 4*i. Let r = 23 + -26. Sort r, 0, d, 2 in ascending order.
d, r, 0, 2
Let z = -0.98 + 3.98. Sort 0.484, z, -1.
-1, 0.484, z
Let a(f) = 14*f + 86. Let h be a(-6). Let w(n) = 5*n - 76. Let d be w(16). Sort 7, d, h.
h, d, 7
Let n = 29455 + -29048. Put 2/7, n, 1/5 in ascending order.
1/5, 2/7, n
Suppose -3*y = -13 - 2. Let d be ((-42)/161)/(-3) + (-300)/805. Let n be (-55)/(-100) + 3/60*5. Sort d, n, y in decreasing order.
y, n, d
Let u be (9/(-27))/((-2)/(-108)). Let j be (9/(-15) + 0)*(10 - 5). Put u, 4, j, 1 in descending order.
4, 1, j, u
Let j be (0 + 20/(-8))*76/665. Let p = 818 + -28628/35. Sort p, -0.2, -0.4, j in descending order.
p, -0.2, j, -0.4
Suppose 2*h = -4*c + 4*h + 248, -3*h = -5*c + 312. Suppose -c = -7*f + 143. Let v = f + -22. Put -2, -1, 3, v in decreasing order.
v, 3, -1, -2
Let a = -7082 - -7006. Sort -5, 3, a.
a, -5, 3
Let m = -5586.812 + 5587. Sort m, 5, -0.1, -1/2 in increasing order.
-1/2, -0.1, m, 5
Let n be ((-18)/(-54))/((-16)/72 + (-1)/(-9)). Let x(f) = f**3 - 3*f + 2. Let i be x(2). Sort n, 2, 1, i in increasing order.
n, 1, 2, i
Let d = 269/117 - 27/13. Let i = -17.3 - -17. Sort -2, i, 0.1, d in decreasing order.
d, 0.1, i, -2
Suppose -4*f - 2661 = 5*s, 4*s + 2*f = -0*s - 2130. Let x = -3203/6 - s. Sort 2/17, x, -3/4 in decreasing order.
2/17, -3/4, x
Let a(x) = 4*x**2 + 2*x. Let r be a(-2). Let b = -13 + r. Let w(o) = 2*o - 12. Let u be w(6). Sort b, -6, u in ascending order.
-6, b, u
Let l = 249.712 + -249. Let h = l + -0.212. Let u = 0 + 1. Sort 3, h, u, 5 in decreasing order.
5, 3, u, h
Let g = -9/16 + 49/144. Suppose 0 = 5*y + 3*p + 6, y + 2*p = 5*p - 12. Put -0.8, 0.7, y, g in ascending order.
y, -0.8, g, 0.7
Let n = -20918.08 + 20918. Let c = 0.09 + -0.1. Sort -2, c, n in decreasing order.
c, n, -2
Let y = 1 + -14. Suppose -3*s + 4*m = -3, -2*s + 18 = -6*s - 2*m. Suppose 57 - 67 = -4*d + 5*p, 0 = -4*d - p + 22. Put y, d, s in descending order.
d, s, y
Let v be (71/(-142))/(2/(-12)). Suppose -3 - 1 = -g, -u - 2*g = -5. Put -6, v, u in increasing order.
-6, u, v
Let h = -458.7 + 523. Let n = 73.3 - h. Put n, -1/3, 8 in ascending order.
-1/3, 8, n
Let u = -1.54 - -1.24. Let y = -863/1981 + 2/283. Put y, -3/2, u, 3 in increasing order.
-3/2, y, u, 3
Let c be (-13)/((-455)/15) - 1*7360/7. Sort 0.5, -1/3, c, -0.3.
c, -1/3, -0.3, 0.5
Let v = -44 - -47.9. Let j = v + -4.8. Let s be (2 + -1)*2/14. Put s, -0.5, -5, j in decreasing order.
s, -0.5, j, -5
Let h be (-36)/(-48) + -1*1. Let y = -106458/13 + 21071651/2574. Let d = y - -25/9. Sort -3, 0, h, 