= -1042*c. Let d be c/4 + (-17)/4 + 5. Let w = -4 + 8. Sort d, w, 15 in descending order.
15, w, d
Let p be ((-6)/8)/(3 - 45/30). Let m = 166.95 + -167. Sort m, p, 2/9 in decreasing order.
2/9, m, p
Let j = -0.020537 - -24.020537. Let l = -3.01 - -3. Let t = l + -0.29. Sort t, j, -1/4.
t, -1/4, j
Let i(b) = -107*b - 2225. Let g be i(-23). Sort g, 2, 1.
1, 2, g
Let c = -35 - -35. Let r = -5.069 + 0.069. Sort 7, c, r.
r, c, 7
Suppose 9*m - 28 = 53 - 45. Put -0.5, -1/121, 0.7, m, 1/3 in decreasing order.
m, 0.7, 1/3, -1/121, -0.5
Let b(s) = 27*s + 1804. Let y be b(-67). Sort -313, y, -1 in descending order.
-1, y, -313
Let d = -0.3495 - 4.6505. Put -1, 2, d, -0.071, -3/8 in decreasing order.
2, -0.071, -3/8, -1, d
Let w(r) = -132*r**3 - r**2 + r + 2. Let h be w(-1). Let g = h - 132. Put -15, 2, g, 5 in descending order.
5, 2, g, -15
Suppose h = -5 + 9. Suppose -3 = -h*g + 5*z, 0*g + 18 = -g + 5*z. Let r = g - 10. Sort -4, r, 0, 4 in decreasing order.
4, 0, r, -4
Let a be 68/442 + 509/(-13). Let z = -1.5 + 1.5. Put z, a, 2 in increasing order.
a, z, 2
Suppose 5*m - 2*f = 28, 2*m + 2*f + 2*f = -8. Let a be (3/(-2))/(m/(-8)). Let s = 7.99 - 8. Sort s, 1, a, 5 in descending order.
5, a, 1, s
Let u = 507.3 + 126.7. Let x = -633.6 + u. Suppose y + 0*y = -2*q + 7, -4*y + 5*q - 24 = 0. Sort -4/3, y, 2/7, x in decreasing order.
x, 2/7, y, -4/3
Let k be (-1 + 1)/(0 - -2). Let q = 83 + 24. Suppose -q*o + 104*o - 3 = 0. Sort o, k, 4 in ascending order.
o, k, 4
Let n = 129.9 + 3.1. Let w = 246 - n. Let y = w + -116. Put 4/3, 0.2, y in decreasing order.
4/3, 0.2, y
Let q = 55 - 55.046. Let h be ((-276)/8)/(1/6). Let j = -205 - h. Put 2/21, j, q in ascending order.
q, 2/21, j
Let m = 554.1185 - 0.1185. Let w = 554 - m. Put -1/2, 3, w, -0.05 in ascending order.
-1/2, -0.05, w, 3
Suppose -2*i = -2*k - 54, -2*k = k + 6. Let z = i + 30. Sort z, -2, -5 in ascending order.
-5, -2, z
Let d(c) = -c**3 - 7*c**2 - 3*c + 20. Let s be d(-6). Suppose s*o = 4 - 0. Put -0.2, 4, 2.7, o in ascending order.
-0.2, o, 2.7, 4
Let w = 763 - 769.9. Let i = w + 7.2. Sort 3, -0.81, i, -1/9 in ascending order.
-0.81, -1/9, i, 3
Suppose 5*i = -5, 34*m + 3*i = 31*m - 15. Put 0, 5, 3, 1, m in increasing order.
m, 0, 1, 3, 5
Let r = 397 + -397. Let m be ((-8)/12)/(4/6). Suppose -36 = 3*p + p. Sort m, -2, p, r.
p, -2, m, r
Suppose -3*u = -12*u - 27. Let k(i) = -3*i**3 - i**2. Let s be k(1). Let y = -1 + 2. Put -2, s, y, u in ascending order.
s, u, -2, y
Let k be 6 + (-8 - (-34)/16). Let n = 0.15 + -0.05. Put 0.5, 3, k, n in decreasing order.
3, 0.5, k, n
Suppose -5*g + 3 = -2. Let p = -28/13123 + -25681319/183722. Let l = p - -279/2. Sort g, l, 0, -0.1 in descending order.
g, 0, -0.1, l
Let d(w) = -3*w**2 + 7*w - 10. Let o be d(3). Let v be 8/(-16)*o/52. Let r = 5 + -9. Sort v, -1/8, r in increasing order.
r, -1/8, v
Let r = -1389.6 + 1390. Put 0.3, -0.03, r, -0.04 in decreasing order.
r, 0.3, -0.03, -0.04
Let x(s) = 39*s**2 - 18*s**2 - 22*s**2 - 10*s + 1. Let u be x(-10). Put 23, u, 0 in ascending order.
0, u, 23
Let u(l) = 12*l - 3. Let m be u(2). Let b be 10/7 + 12/m - 2. Let p(x) = 5*x - 31. Let c be p(7). Put -5, c, -3, b in ascending order.
-5, -3, b, c
Suppose 7*y - 6 = -20. Suppose -5*h = -4*a - 12, 0 = -a - 0*a - 2*h + 10. Let i be -3 + (a + 0 - -1). Put y, i, 5 in increasing order.
y, i, 5
Let h = 4930.1 + -4930. Put -0.05, h, 1, 14 in decreasing order.
14, 1, h, -0.05
Let u = -17743 - -17751. Sort u, 18, 1/9 in decreasing order.
18, u, 1/9
Let y = 325 - 323. Suppose -y = -p + 2*z - 4*z, -4*z - 2 = 5*p. Put p, -7, 8 in decreasing order.
8, p, -7
Let z = -8992 + 8967. Sort -5, z, -2, 2 in increasing order.
z, -5, -2, 2
Let o be 4*(15/(-4))/5. Let f(r) = -43*r - 561. Let a be f(-13). Put 0, a, 1, o in descending order.
1, 0, a, o
Suppose -23*h - 31 = 5*w - 19*h, -2*w - 5*h = 9. Sort -9, -2, w, -11 in decreasing order.
-2, w, -9, -11
Suppose -2*f - 2*k + 116 = 0, 0 = 5*f - f - k - 237. Suppose -3*n - f = -56. Sort n, 22, -4.
-4, n, 22
Let u = 11173.8 + -11173.76. Let h = 938/5 - 187. Put u, -10, h, 1/6 in increasing order.
-10, u, 1/6, h
Let d be 2290/687*(1 - (-1 + (-32)/(-10))). Let w = 21 + -16. Let p be (2 + w/(-2))*-4. Sort p, 3, d.
d, p, 3
Let h = -94694 + 94695. Let m = -1 + -2. Put h, 2, 20, m in ascending order.
m, h, 2, 20
Let o = 58 - 53. Suppose -29 = a - 5*k, 9*k - 6*k - 57 = o*a. Sort a, 2, -1 in decreasing order.
2, -1, a
Let k = -451 + 449. Let t(i) = 5*i**2 - 3*i + 3. Let p be t(1). Sort p, -17, -5, k in increasing order.
-17, -5, k, p
Let b = 584.2 - 588.2. Put 0.14, -3, 0, b, -1 in ascending order.
b, -3, -1, 0, 0.14
Let u = -0.84657 - 0.11343. Sort -0.1, 0, u in decreasing order.
0, -0.1, u
Let t = 2.791 - 6.791. Let m = 0.189 - 0.15. Let b = -46.039 + m. Sort b, 1/4, t in descending order.
1/4, t, b
Let j = -70 + 27. Let m = -39 - j. Suppose 5*y + 3*q + 6 = 0, -18 = -0*y + 3*y - 3*q. Put m, -2/11, y, 2 in decreasing order.
m, 2, -2/11, y
Let p be (8/(-100))/((-2)/(-40)). Put -5, 8, p in decreasing order.
8, p, -5
Suppose 224 = -29*y + 282. Put 0.4, 5, y, 10/7, -1/5 in ascending order.
-1/5, 0.4, 10/7, y, 5
Let f = 5907 + -5932. Sort 10, 2, -1, -3, f in increasing order.
f, -3, -1, 2, 10
Let f = -0.2 + -0.1. Suppose -63*c + 62*c = -7. Suppose 409 = -c*s + 374. Put f, s, -2/3, -3 in decreasing order.
f, -2/3, -3, s
Suppose -6*d + 3*w + 7 = -10*d, d - 3*w = 17. Suppose -90 = -d*h - 88. Sort -4, -59, 2, h in ascending order.
-59, -4, h, 2
Let v = 4855 - 4860. Sort -28, 4, -3, 0, v in decreasing order.
4, 0, -3, v, -28
Suppose -82*k = -68*k - 14. Sort 174, k, -3 in descending order.
174, k, -3
Let y(p) = 2*p + 10. Let g be 2/((-16)/50) + (-7)/(-28). Let n be y(g). Let m be 0 + (-12)/15 + n + 3. Put 3, -1, m, -0.3 in ascending order.
-1, -0.3, m, 3
Let u be (1 - 13) + 366 + -346. Let f be (-1)/((1/(-1))/5). Sort -3, u, -1, f in decreasing order.
u, f, -1, -3
Let g be 1*(-14)/77 - (-194)/(-22). Let d be 82/(-78) - (8 + 0 + g). Sort d, -1/4, -0.5 in increasing order.
-0.5, -1/4, d
Suppose 10 = -6*y - 2*g - 14, -2*y - 5*g - 8 = 0. Sort -78, -1/12, y in descending order.
-1/12, y, -78
Let z = 152 + -155. Let m(h) = -2*h**2 - 12*h - 6. Let o be m(-5). Let w = 1 - 0.6. Put 3, z, o, w in decreasing order.
o, 3, w, z
Let q = 191.339 + -188.339. Let v = -427/10188 + 4/283. Put v, 0.3, q in increasing order.
v, 0.3, q
Let b be 1/23*(-4)/(1 + -21). Sort 4, 0.4, -0.3, b.
-0.3, b, 0.4, 4
Suppose -27*j = 199*j - 1046 - 1892. Put -6, 60, j in descending order.
60, j, -6
Suppose 2 + 4 = n. Let l = 9456 - 9457. Sort l, -3, 5, n.
-3, l, 5, n
Let g = 16.039 - 0.139. Let y = -15.7 + g. Let f = 1.4 - 1.3. Put f, -2, y, -4 in increasing order.
-4, -2, f, y
Let l = -10.2 + 11. Let a = 2749 + -2748.8. Put l, -0.3, a in ascending order.
-0.3, a, l
Suppose -2*o - 3 - 5 = 0, 2*l - 36 = 5*o. Suppose 4 = l*f - 6*f. Sort f, -56, 1 in ascending order.
-56, 1, f
Let w = -8424 + 25271/3. Sort 0.1, -0.5, -3, w, 5.
-3, -0.5, w, 0.1, 5
Let i be (-4)/(-12) - (-40)/6. Suppose -3*w - j - 16 = -2*j, -w + 4*j = 20. Sort i, w, 5 in descending order.
i, 5, w
Let f be (-1)/3*6/(-8). Suppose 34 - 74 = -4*m. Suppose 0 = o + 3*n + 7, 2*o = -4*n + 4 - m. Put o, 4, f in decreasing order.
o, 4, f
Let k = 1525 + -1523. Sort -1, k, -5, 94.
-5, -1, k, 94
Let z be 30/4 + 188/(-8) + 23. Let k(x) = -x**2 - 6*x - 2. Let a be k(-5). Suppose -v + 9 = -5*u, -a*v - 12 = -z*v - 4*u. Put 0, v, -17 in decreasing order.
v, 0, -17
Suppose n - 2*n + 3 = 0. Let s = -1481 - -1481. Sort n, 0.2, s in increasing order.
s, 0.2, n
Let c = 0.1882 + -309.7882. Let u = 310 + c. Put -0.1, 0, u in descending order.
u, 0, -0.1
Suppose -6*f = -4*c - 2*f, 2*f = 4*c - 4. Let s = -10.86 - -5.86. Sort c, 2/9, s, 5.
s, 2/9, c, 5
Let d be -1 + -1 + 1 - (-26)/(-2). Let x be (-2)/((-13 - d)*2/(-2)). Suppose 0 = -x*a + 6, 18 = 5*k + 2*a + 2. Sort k, -2, -4.
-4, -2, k
Suppose 0 = -2*t + 3*r + 190 + 222, 4*r + 416 = 2*t. Let f be (-5)/(t/(-4))*12. Let h = -11.8 - -11.6. Sort f, h, -3, 5 in decreasing order.
5, f, h, -3
Let o = -133.86 + 134.06. Let i = -1.71 - -1.6. Let u = -0.81 - i. Sort -2, o, u.
-2, u, o
Let j(b) = -83*b + 418. Let k be j(5). Sort 1.1, k, -51 in decreasing order.
k, 1.1, -51
Suppose 0 = -2*b + b + 11. Suppose -4*y - 6*g = -2*g + 4, 0 