 f = 969 - 686. Let i = 285 - f. Let u = -5.4 - -0.4. Put i, 2/13, 4, u in descending order.
4, i, 2/13, u
Let g = 0.36 + -0.06. Let p = -51963.5 - -51963. Sort -1, -0.1, p, g in descending order.
g, -0.1, p, -1
Suppose -580*k + 64 = -584*k. Sort k, -4, 5, -3.
k, -4, -3, 5
Suppose 3*q + 4*r - 20 = -29, -2*q + 4*r - 6 = 0. Suppose 3*j - 2 + 1 = -k, -4*j + 5*k + 14 = 0. Sort -17, j, q, 5 in ascending order.
-17, q, j, 5
Let j = -3.07604 + 0.07604. Suppose 20 = -4*u + 5*m - 2*m, -2*m + 6 = u. Sort 4, u, 0, j in ascending order.
j, u, 0, 4
Let b be 58/(-72) + (-14 + 308/21)/1. Put -0.1, -2/13, 0.3, -2/21, b in ascending order.
-2/13, b, -0.1, -2/21, 0.3
Let v = 215 - 200. Suppose v*i = 17*i + 8, 24 = -2*c + i. Put 5, c, 1 in ascending order.
c, 1, 5
Suppose a + 3*y = 3*a - 7, 2*a - 8 = 4*y. Let h = 6672 + -6672. Put -5, a, h in increasing order.
-5, h, a
Let z(q) = -2*q + 7. Let u be z(5). Suppose y - 5*s - 17 = 0, 0*y + 2 = 2*y - 2*s. Let h be ((-3)/(y/(-10)))/(2 - 4). Put u, -2, 3, h in descending order.
h, 3, -2, u
Suppose -422 + 1654 = -44*k. Put k, -17, 0, -1 in descending order.
0, -1, -17, k
Let p = -86.802 + 1.002. Let r = p - -86. Let j be (6/(-45))/(1/5). Sort -0.03, r, j in descending order.
r, -0.03, j
Let h = -1.9 - -9.7. Let z = h + -7.5. Suppose i + 4*u + 5 = 2*i, 0 = 2*i + u + 8. Put -2/9, z, i in ascending order.
i, -2/9, z
Let w(h) = 3 + 0*h**2 + 2*h**3 - 4 - h**2 - h. Let l = -4989 + 4988. Let i be w(l). Sort -5, 5, 2, i.
-5, i, 2, 5
Suppose 0 = 2*u - 78 + 80. Sort -4, u, -5 in ascending order.
-5, -4, u
Let j be ((-8)/4 - -5)*1. Suppose -3*g + 1 = 4*i, -j*i - 16 = -2*g + 2*i. Suppose 2*m - 8 + 1 = w, 2*w - 3*m + 10 = 0. Sort g, w, -4 in ascending order.
-4, w, g
Suppose 6*h - 32*v = 9*h + 33, -219 = 3*h + v. Sort 0, -3, -1, h in descending order.
0, -1, -3, h
Let f be (18 + -20)*1/2. Let h be f/(-6) + (-5)/(-30)*-139. Put 2, -4, 0, h in decreasing order.
2, 0, -4, h
Let m = -32 - -28. Let d = -51 + 54. Let y be (1/(-3))/((-1)/(-3)). Sort -3, d, m, y in decreasing order.
d, y, -3, m
Suppose -11 = b + 5*p, -2*p - 23 = -b - 6. Suppose b*w - 56 = w. Put -2, -4, w, 4 in decreasing order.
w, 4, -2, -4
Let a = -2.006 + 152.006. Put a, 0.2, 0.3 in decreasing order.
a, 0.3, 0.2
Let y be 95/6 - (1 + (-7)/6). Suppose -3*q = 3*p, -2*p - y = -4*q + 2*p. Sort -5, 0, q, 5 in ascending order.
-5, 0, q, 5
Suppose 4*g - 4*x = -24, -4*x = 4*g + 25 - 9. Suppose 1 = 5*q - 2*p, -5*q + 8 = -3*q + 3*p. Put -17, g, q in ascending order.
-17, g, q
Suppose 0 = -218*o - 718 + 64. Sort 11, 19, -5, -1, o in descending order.
19, 11, -1, o, -5
Let h = -4211.2 - -4211. Sort 1, 3, h, -0.5, -20.
-20, -0.5, h, 1, 3
Let b(v) = -v**2 + 26*v - 43. Let t be b(24). Put t, 6/5, -0.048 in decreasing order.
t, 6/5, -0.048
Let g be (-9)/(-21) - 9/21. Suppose 2*z + 11 + 5 = 3*o, -2*o + 17 = 5*z. Let s(y) = y**3 - 7*y**2 + 7*y - 7. Let x be s(o). Put x, g, 2/13 in decreasing order.
2/13, g, x
Let i(f) = -f**3 - 4*f**2 + 6*f + 3. Let m be i(-5). Let l(w) = -6*w**2 + 140*w - 44. Let x be l(23). Put 3, m, -20, x in descending order.
3, x, m, -20
Suppose 0 = l + l - 4. Let y be ((-16)/2 - -7)*3. Let c be 31/8 - y/24. Sort l, c, 3.
l, 3, c
Let z be ((-252)/(-48) - 3)*8/(-6) - -1027. Sort -5, 5, z in increasing order.
-5, 5, z
Let a = -3171.7 + 3172. Put -12.1, 1/8, a in descending order.
a, 1/8, -12.1
Let o = 100.95 - 100.95. Sort -2/3, -11, 1, o, -0.1 in increasing order.
-11, -2/3, -0.1, o, 1
Let k = -271/184 + 31/23. Put -5, -11/5, 0.05, 2, k in descending order.
2, 0.05, k, -11/5, -5
Let q be (12/70)/((-17)/(-119)). Sort -656, -0.3, 3, q in descending order.
3, q, -0.3, -656
Let b = -11728 + 11723. Sort -4, -191, b, -2 in increasing order.
-191, b, -4, -2
Let h = -44 - -46. Suppose 125 = 7*u - 2*u. Suppose d + u = 6*d. Sort -0.4, h, d in ascending order.
-0.4, h, d
Suppose 0 = 43*z - 2107 - 731. Suppose -5*y = k + 76, -z = 4*y + 5*k - 1. Sort 2, -5, y in increasing order.
y, -5, 2
Let q = 0.257 + 124.743. Let b = 128 - q. Sort 14, 2, -5, b in decreasing order.
14, b, 2, -5
Let v = 2 + -2. Let b(c) = -c**3 - 12*c**2 - 17*c + 5. Let q be b(-10). Let d be 8 + (-2)/((-10)/q). Put 2, d, v in increasing order.
v, 2, d
Suppose 3*x + 2*b = -79, 7 - 13 = 3*b. Let l be -1 + (-5)/(x/15). Suppose 20 = -3*z - z. Put l, z, 4 in descending order.
4, l, z
Suppose -9*z - 16 = -2*s - 5*z, -s - 2*z + 28 = 0. Let b be 8/s + 10/(-15). Sort b, -0.2, -7, 0.5 in increasing order.
-7, b, -0.2, 0.5
Let v = 158 + -159.3. Let c = v + 1.3. Sort 5/3, c, -1/9, 2/7 in increasing order.
-1/9, c, 2/7, 5/3
Suppose -44*k - 117 = 3*k + 306. Sort -3, k, -5, -53 in ascending order.
-53, k, -5, -3
Suppose z = w + 4, z = -4*w - 12 - 4. Let f be (0 + 2/w)/(8/(-240)). Put 3, f, 0.5, 0.4 in increasing order.
0.4, 0.5, 3, f
Suppose -103*t + 116*t = -12168. Put 1, 0.2, t in increasing order.
t, 0.2, 1
Let l(t) = 5*t + 7. Suppose -6*y = 16 + 56. Let g be l(y). Let x = g + 54. Sort 16, 3, x in decreasing order.
16, 3, x
Let b = -211.0456 + 0.0456. Let q = 216 + b. Let x = 20 + -23. Put 0, q, x in decreasing order.
q, 0, x
Let q = 231.95 + -232.85. Put 3/4, 0.5, 0, -0.2, q in descending order.
3/4, 0.5, 0, -0.2, q
Let i(k) be the first derivative of 2*k**3/3 - k**2 - 6*k - 7. Let n be i(4). Let z = n + -16. Sort -4, z, -5, 11.
-5, -4, z, 11
Let s be 2/11 - (-18)/22. Suppose 4*r = -2*a - 14, -5*a + 3*r = 3 + 6. Let h be ((-5)/(-3))/(1/a). Put 11, s, h in decreasing order.
11, s, h
Let j = 0.03 - 0.33. Let g = 63 + -316/5. Let x be (2 - -3) + -2 + 56/(-24). Sort j, g, x in decreasing order.
x, g, j
Suppose 3*t - 5*a + 73 = 0, -t + 72 = a + 91. Put t, 2/19, 2, 4 in decreasing order.
4, 2, 2/19, t
Let p be (8400/392)/(51/(-21)). Sort 0.2, p, -3/7 in descending order.
0.2, -3/7, p
Let p be (1/(-1))/(6/2). Let q = -403 - -201. Let x = 199 + q. Sort p, -4, x, 2/9 in decreasing order.
2/9, p, x, -4
Let w = 5.8 - 6. Put -2/5903, -0.5, w in increasing order.
-0.5, w, -2/5903
Suppose 699 = -168*w + 492*w - 3837. Let k = -1.97 + -0.03. Put w, k, 4, -3 in increasing order.
-3, k, 4, w
Let n = -1322/35 - -263/7. Put -0.1, n, -1/4, -3 in ascending order.
-3, -1/4, n, -0.1
Let r(v) = 3*v + 3*v - 42 - 3*v + 4*v. Let j be r(6). Let w = 2 - j. Sort 4, -0.2, w in descending order.
4, w, -0.2
Let c be (-2888)/(-11191)*3/(-8). Put c, 10, 0.4, -5 in decreasing order.
10, 0.4, c, -5
Let d = -203 + 285. Let q = d + -82.2. Let g = 2.8 + 8.2. Put q, g, 0.4 in ascending order.
q, 0.4, g
Let f = -12.681 - -17.681. Sort f, -0.5, 2, 0.4, 0.09.
-0.5, 0.09, 0.4, 2, f
Let t = 3506 - 3487. Sort t, 4, -1, -5, -8 in ascending order.
-8, -5, -1, 4, t
Let n = -4.049 + 0.049. Let d = n + -14. Let j = d + 17.7. Sort j, 0.4, -1/5.
j, -1/5, 0.4
Suppose 5*c = 8 + 2. Let g = 20 + -29. Let b be g/21 + 114/21. Put -2, c, b in increasing order.
-2, c, b
Let w = 2422.7 - 2422. Sort -0.01, -13, w in decreasing order.
w, -0.01, -13
Let s be (213 + -212)*(-1 - -7). Sort s, -3, 3, 0.
-3, 0, 3, s
Let g = -2/24449 - -97806/122245. Let h(x) = -1 + 0*x**2 + x**2 - 5*x + 1 - 1. Let d be h(5). Sort g, d, 0.3, 6/13 in increasing order.
d, 0.3, 6/13, g
Let n(i) = -i**2 - 67*i + 575. Let o be n(8). Sort -0.5, 68, o in decreasing order.
68, -0.5, o
Let j = 118 + -477/4. Let c = 7143 - 7140. Put j, 5, 1, c in increasing order.
j, 1, c, 5
Let j = -43/52 - -14/13. Let r be (-32)/368 + (-2240)/(-3542). Sort r, -0.5, 2, j in descending order.
2, r, j, -0.5
Suppose 14 = -3*l - 1. Suppose -32 = 3*d - 7*d. Suppose -d*z + 3*z = 0. Put l, 2, z in descending order.
2, z, l
Let l be 50/70*(-288)/60. Let d = -6.9 - -1.9. Sort d, l, -0.4, 0.4.
d, l, -0.4, 0.4
Let v be (132/(-144))/((-172)/(-16)). Let o = 967377029/903 + -1071292. Let g = v - o. Sort 2/21, g, 0.3 in descending order.
0.3, 2/21, g
Let n = -0.2 + -0.04. Let o = 165.757 - 161.757. Sort -1/3, n, o in ascending order.
-1/3, n, o
Let b = -18237/28 + 1789/7. Let d = b + 396. Let g = -0.2 - -0.3. Put d, 2/5, g in ascending order.
g, d, 2/5
Let t = 1.86 - 1.96. Let a = 76 - 71. Suppose -2*v = -3*v + a. Put t, -1, 0.2, v in decreasing order.
v, 0.2, t, -1
Let y = 154 - 151. Let l be y/12 + 34/(-72). Sort -4, 1/17, -0.1, l.
-4, l, -0.1, 1/17
Let h(o) = 514*o - 6173. Let u be h(12). Sort 2896, u, 1 in decreasing order.
2896, 1, u
Suppose 