-42). Let n(s) = 6*s - 54. Let d be n(9). Sort c, -1, d in increasing order.
-1, d, c
Suppose 519 + 9 = 48*q. Suppose -7 = 5*k + 13. Put 4, q, 0, k in increasing order.
k, 0, 4, q
Let r be 72/(-5)*(-50)/15. Suppose -r = 4*n - 68. Suppose n - 25 = -4*t. Put -2/3, t, -6 in decreasing order.
t, -2/3, -6
Let z(s) = -s**2 - s + 51. Let j(l) = 9*l**3 - l**2 + 2*l - 2. Let g be j(1). Let a be z(g). Sort 4, -0.1, a.
a, -0.1, 4
Suppose -5*s + 176*i = 175*i - 36, -4*i - 4 = 0. Put -2, -4, s, -5, -13 in decreasing order.
s, -2, -4, -5, -13
Let q = 5.7 - 0.7. Let z = 492 - 495.336. Let s = 0.336 + z. Sort s, q, 0.
s, 0, q
Suppose 876 = 7*a + 904. Sort 5, a, 2, -9, 0.
-9, a, 0, 2, 5
Let d be 1*((-42)/(-9) - 40/64*8). Sort 4, -2/5, 5, d.
-2/5, d, 4, 5
Let s be (-2)/1*(-1)/(-4). Let i = -2864/495 - -306/55. Put i, s, 2/5 in descending order.
2/5, i, s
Suppose -223 + 55 - 288 = 6*n. Sort n, -3, -2 in ascending order.
n, -3, -2
Let i be (-6)/(-2)*((-532)/(-42) - 12). Suppose 9*a = 5*a + r - 12, i*a = -3*r - 6. Sort 38, a, -1 in descending order.
38, -1, a
Suppose 3*x + 24 - 28 = -r, 0 = -5*r - 4*x - 2. Put r, -0.3, -3/4, 0.6, 0.3 in increasing order.
r, -3/4, -0.3, 0.3, 0.6
Let l be (-2)/2*0/(-1). Let m(h) = 2*h**3 - 8*h**2 + 129*h - 366. Let n be m(3). Sort -50, n, l in increasing order.
-50, l, n
Suppose -2*g + 44 = 20*g. Let u(z) = -z**2 + 5*z - 9. Let c be u(g). Let m = -3 - -1. Put m, c, -5 in descending order.
m, c, -5
Let r = -2414/5 - -481. Let j = -2668 - -2667.6. Sort j, 0, r in increasing order.
r, j, 0
Let l = 112 + -112. Suppose -4 = 5*v + 1. Sort 3, l, v, 5 in descending order.
5, 3, l, v
Let a = -1 - -1. Let t = -0.2 + a. Let n = -554.278 - -547.278. Sort t, n, 4 in increasing order.
n, t, 4
Let g be 7/(63/72) - (7 - 1). Let d(j) = j**3 + 3*j**2 + 20. Let w be d(-4). Let q = -6 - -1. Put q, w, g in descending order.
w, g, q
Suppose 755*c - 766*c - 88 = 0. Put 27, c, -1 in decreasing order.
27, -1, c
Suppose -47*u - 272 + 37 = 0. Sort -22, -1, 0, u in ascending order.
-22, u, -1, 0
Suppose -u - 12 = -3*i, -i + 14 = 5*u - 2*u. Let y = -1.81 + 1.367. Let b = -0.057 + y. Sort b, 1/42, u.
b, 1/42, u
Let g(i) = -i**3 + 8*i**2 + 6*i + 39. Let d be g(9). Suppose d*a = 6*a - 24. Put a, 1, 2, -5 in increasing order.
-5, a, 1, 2
Let d = 57 - 62. Let q = -5 + 10. Suppose -q*h + 3 = 8. Put h, d, 4 in decreasing order.
4, h, d
Let j = 4040.8 + -4041. Sort 0.13, -0.5, -2/9, j, -1/6.
-0.5, -2/9, j, -1/6, 0.13
Let a = -6778 + 6778. Let n = -2 + 6. Put n, a, -4, -16 in descending order.
n, a, -4, -16
Suppose 5*q = 2*n + 1247, -4*q + 1241 = -2*n - 5*q. Let u be (3/(-2)*1)/(n/92). Sort -0.04, 3, u.
-0.04, u, 3
Let d = 45.2 + -42. Let w = d + 32.8. Let j = -36.5 + w. Sort j, 0.3, 1/3 in decreasing order.
1/3, 0.3, j
Let f = 15980 - 15971. Sort f, 4, 3, 0, -4 in decreasing order.
f, 4, 3, 0, -4
Suppose 24 = b + 2*b - 2*v, -5*b + 3*v + 41 = 0. Suppose -2*r - 16 = 4*i + 10, 5*i + b = 2*r. Put i, -15, 19 in ascending order.
-15, i, 19
Suppose -5*l - 5*t = -t - 16, l + t - 4 = 0. Let j be -35*10/(-90) - ((-4)/36 + 0). Put 2, l, j in decreasing order.
j, 2, l
Let p(l) = l**2 - 3*l - 2. Let g be p(4). Suppose -4*f + 5*q = 7, -g*q + 9 = 3*f - q. Suppose 131*b + 867 = -443. Sort b, 4, -5, f.
b, -5, f, 4
Suppose 14*b - 35 = -b + 8*b. Sort -0.3, b, -1/10, 0, 3/2 in increasing order.
-0.3, -1/10, 0, 3/2, b
Let j = -0.072 + -1.288. Let g = j - -97.36. Let q = g + -95.9. Put 0, -1, q in decreasing order.
q, 0, -1
Let j(x) = -161*x + 801. Let s be j(5). Put s, 274, 2 in decreasing order.
274, 2, s
Let u = 3323 + -3322.9. Sort u, -7/2, 2/13, 3, -0.3 in decreasing order.
3, 2/13, u, -0.3, -7/2
Suppose -12*z + 33*z = -42*z. Put -4, -1, z in increasing order.
-4, -1, z
Suppose -19366 = -62*c + 11*c - 99844. Sort -1, c, -2, 3 in descending order.
3, -1, -2, c
Let s = 51 + -47. Suppose s*t + 36 = 8*b - 6*b, -2*b = -3*t - 26. Let u be t/10 - 2/(-6)*7. Sort -3, u, -2/11, 4/5.
-3, -2/11, 4/5, u
Let j be ((-2)/(-4))/(2/40). Let b be (-8)/12 - j/3. Let s = 37714 - 37714.5. Put b, s, -1.7 in descending order.
s, -1.7, b
Let i(g) = 2*g**3 + g**2 + 67*g - 4. Let t be i(0). Sort 2, t, 4, -282, -2.
-282, t, -2, 2, 4
Let h = 5134 + -5143. Put h, -2, -215 in descending order.
-2, h, -215
Let h = 6900 + -6901.7. Sort 32, h, -4.
-4, h, 32
Let u(b) = 536*b - 1130. Let t be u(2). Put -2, -1, -3, t, 3 in descending order.
3, -1, -2, -3, t
Suppose 0 = -22*x + 865 - 953. Put 3/7, 0.1, 1, 0, x in descending order.
1, 3/7, 0.1, 0, x
Let i = 1536.97 + -1537. Sort -1/4, -5, 0, 1/6, i in descending order.
1/6, 0, i, -1/4, -5
Suppose -5*c = -2*l - 14 + 127, -4*c - 3*l - 72 = 0. Suppose -8*b + 3*b - 20 = 0. Let g be 6/7 + ((-2660)/(-98) - 31). Put g, b, c in ascending order.
c, b, g
Let f be ((-456)/(-266))/((-6)/28). Put f, 3, 133 in decreasing order.
133, 3, f
Suppose 36 = w - 4*h, 0 = -93*h + 90*h - 15. Put 1, w, -25, -2, -5 in decreasing order.
w, 1, -2, -5, -25
Let q = -16168 + 16224. Sort -26, q, 0 in decreasing order.
q, 0, -26
Suppose -125*k = -150*k + 125. Sort -5, 516, k, -4 in descending order.
516, k, -4, -5
Let a = -388 + 388.03. Let r = -38 - -35. Sort -5, r, a, -0.2 in increasing order.
-5, r, -0.2, a
Let f be ((-63)/126)/((-15)/(-12)). Sort 6, f, 27, -5 in increasing order.
-5, f, 6, 27
Suppose 0 = -29*c - 143*c + 516. Sort 1, 5, 7, 0, c in increasing order.
0, 1, c, 5, 7
Let u = -2498 + 2506. Put u, 3, 86 in increasing order.
3, u, 86
Let z = 168.5 - 142.5. Sort -1/2, -0.4, 0.5, z in ascending order.
-1/2, -0.4, 0.5, z
Let r = 23097 - 23145. Sort -5, -4, 4, -3, r in descending order.
4, -3, -4, -5, r
Let k(y) = 2*y + 29. Let d be k(-13). Suppose 2*n + 1 = o, -4*o + n + d = -8. Let w = -1 - -1. Sort -3, o, -1, w in decreasing order.
o, w, -1, -3
Suppose -3*o - i = -7*o + 3, 2*o + i - 3 = 0. Let t be o - -1 - (-10)/(120/(-28)). Let m = 6 - 10. Sort -2/17, m, t in ascending order.
m, t, -2/17
Let w(n) = -n - 10. Let r be w(-7). Let j be (2 - 3)*(4/(-1))/(-16)*0. Let x be 3/2*8/(-6). Sort x, r, j in ascending order.
r, x, j
Let n be (10 + 517/(-22))/((-1)/(-34)). Let x = n - -468. Put 11, x, 4 in increasing order.
4, x, 11
Let c = -1 + 1. Suppose 802 - 811 = -9*n. Let h(u) = u**3 - 5*u**2 + 6*u - 5. Let y be h(3). Sort n, y, c.
y, c, n
Suppose 13*h - 9 = 16*h - 3*s, 0 = 4*s - 20. Suppose 0 = 3*f - 12, h*n - 2*f + 40 = -f. Sort -1/3, n, 1.
n, -1/3, 1
Suppose 21 - 1 = -1613*f + 1608*f. Sort 5, f, -8 in increasing order.
-8, f, 5
Let q = 0.24359 + 0.05641. Sort -6, q, -2/21, -3 in ascending order.
-6, -3, -2/21, q
Let l = 0.0285 + 350.9715. Let n = l + -339. Put 0.3, -0.1, n, 0 in ascending order.
-0.1, 0, 0.3, n
Let b = -33814 - -101440/3. Let k = 1 + -0.5. Sort 14, b, -2/13, k in increasing order.
b, -2/13, k, 14
Suppose 0 = -85*y + 195 + 315. Sort -2, y, -16, 5 in increasing order.
-16, -2, 5, y
Let s = -858 - -853. Sort 2, s, -3, 3.
s, -3, 2, 3
Let q = 391 + -389. Suppose 2*l = q*s + 2, 0 = 2*l + 4*s + 4 - 18. Sort 31, 1/4, l in ascending order.
1/4, l, 31
Suppose 159*u - 2 = 5*m + 155*u, 2*u - 10 = -2*m. Sort -2, 198, 5, m in decreasing order.
198, 5, m, -2
Let m = -70 + 76. Let b be -2 + m - (-3)/(-3 + 6). Put -1, 2, -3, b in increasing order.
-3, -1, 2, b
Suppose 385*s - 344 = 19*s + 754. Suppose -i - 5*m - 28 = 2*i, 2*i = 5*m + 23. Sort 16, s, 4, i in descending order.
16, 4, s, i
Let m be 4/(-14)*(7 + -6). Let z = -6085.7 - -6085.75. Sort 0, 5, m, z.
m, 0, z, 5
Let i = -61.7625 + -1.2375. Sort i, 3/2, -1, -4, 0.2 in increasing order.
i, -4, -1, 0.2, 3/2
Let o = 93 + -464/5. Let z = -7.3 + 5. Let t = z + 2.4. Sort 3, o, t in increasing order.
t, o, 3
Let r(h) = h**3 - 3*h - 549. Let u be r(0). Let s = -544 - u. Sort 1/2, s, 2/19 in ascending order.
2/19, 1/2, s
Let r = -9243 + 9250. Sort r, 39, 0 in decreasing order.
39, r, 0
Suppose -a - 12 = -3*m, 5*a - 4 = 2*a - m. Let d(n) = 675*n + 609. Let j be d(-1). Sort j, a, -3, -4.
j, -4, -3, a
Let p(f) = -2*f - 33. Let j be p(-6). Let l be 59*(j/12 - -2). Let b = 2069/140 - l. Sort -2/7, b, -2/5 in ascending order.
-2/5, -2/7, b
Let k = -1.881 - 0.119. Let x = -3.223 + 0.433. Let n = -0.21 + x. Put n, k, -0.02 in increasing order.
n, k, -0.02
Let p = 57 + -4. Let u = 18981/10 - 3795/2. Sort p, 1/2, u in decreasing order.
p, u, 1/2
Let z = -35 -