ppose -o + 2*r = 0, -2*r - 20 = 3*o + 2*r. Put c, o, -7, -3 in increasing order.
-7, o, -3, c
Let a(v) = -3*v + 21. Let l be a(4). Let b(y) = -y + 4. Let j be b(l). Suppose 11 = 5*f + x, 3*x - 6 = -4*f + 5*x. Put j, f, -4 in descending order.
f, -4, j
Let w = -7462 + 7455. Sort 5, -4, 2, -1, w in ascending order.
w, -4, -1, 2, 5
Let s = -7825 - -7829. Sort -4, 5, s, 5121, -2.
-4, -2, s, 5, 5121
Suppose 5*r + 22 = 2. Suppose 0 = 4*c + 3*p + 252 - 0, c = -4*p - 50. Let m = 65 + c. Sort m, -3, r, 0 in descending order.
0, m, -3, r
Let t(p) = 44*p**2 - 485*p + 6. Let i be t(11). Put 1, i, 165 in descending order.
165, 1, i
Let c be ((-2)/7*-5)/(3/(-21)). Put 1, 4, c, -2, -7 in decreasing order.
4, 1, -2, -7, c
Let x be (235/(-20))/((-5)/(-4)). Let t = -86/15 - x. Let s be ((-32)/72)/((-40)/30). Sort -5, s, t in descending order.
t, s, -5
Suppose 10 + 3 = 1610*v - 1597*v. Suppose 0 = -4*w - 19 - 5. Sort -3, w, v, 0.
w, -3, 0, v
Let x be (4/9)/((-396)/1782). Let p = 4 + 1. Put 3, 0, p, x in ascending order.
x, 0, 3, p
Let b be (14 - (4 + -2))*(-3)/6. Suppose r + 27 = -3*i - 2*i, 4*r + 2*i = -18. Sort r, b, -8 in increasing order.
-8, b, r
Let x = 0.05 - 5.05. Suppose 10 = -5*n, -11 = -3*c - 6*n + 7*n. Let k = -0.044 + -0.156. Sort x, k, c in decreasing order.
c, k, x
Suppose -28*t - 148 = -64. Let v be ((-1)/(-3))/(2/(-12)). Sort t, 3, 11, v in increasing order.
t, v, 3, 11
Let v = 0.135 - -4.865. Let y = -0.0602 + 2.0602. Sort y, v, 48, -0.4 in decreasing order.
48, v, y, -0.4
Let g(h) = -h**3 - 32*h**2 + 37*h + 133. Let b be g(-33). Suppose 0 = -11*j + 17*j - 18. Sort b, -7, j in ascending order.
-7, b, j
Let y = -8048/5 - -1609. Sort y, 0.1, 0.2, -0.001, 5.
y, -0.001, 0.1, 0.2, 5
Let g be 7 + ((-92)/22 - 8/(-44)). Sort g, -891, 5 in increasing order.
-891, g, 5
Let u be 3/(-2) + 3/6. Let a = -110489 - -110493. Put a, u, 3 in increasing order.
u, 3, a
Let s = 1.86 - -1.14. Let u = -70 + 486/7. Sort u, -3, -7, s in descending order.
s, u, -3, -7
Let u be (-80)/(-120)*(156/27 + (-12)/(-54)). Suppose 2 = -5*o - 8. Sort 52, o, u.
o, u, 52
Let d = 7 + -6. Let j be 12/18 - d/(-3). Suppose -136*n - 121 = -147*n. Sort -2, j, n, 0 in descending order.
n, j, 0, -2
Suppose -5*s - 10 = 0, 7*k - 5*k - 2*s - 8 = 0. Let w be 1/(-3 - 32/(-10)). Let c = w + -9. Put -9, k, c in decreasing order.
k, c, -9
Let c = -486013/6 + 162005/2. Let n = -4.97 - 0.03. Sort n, 4/5, c in increasing order.
n, c, 4/5
Let j(r) = 42*r - 23. Let l be j(5). Let p = -182 + l. Sort 6, 4, -4, p.
-4, 4, p, 6
Suppose 0 = -872*t + 897*t + 1400. Put t, 0.3, 10 in decreasing order.
10, 0.3, t
Let t = -0.177 + 0.307. Let c = 0.1 + -0.2. Sort t, -3, c, 0.2 in descending order.
0.2, t, c, -3
Let d = -54/329 + 1/47. Let s = -8.83 + 0.63. Let b = -10.2 - s. Sort 1/5, d, 1/10, b in ascending order.
b, d, 1/10, 1/5
Let p = 331 - 315. Let r(c) = -c**2 - 4*c - 4. Let o be r(-4). Put 5, p, o in decreasing order.
p, 5, o
Let u = 346/15 + -356/15. Put 275, -0.1, u, 2 in decreasing order.
275, 2, -0.1, u
Suppose -4*m + 46 = 14. Suppose m = -f - 2*x - 2, -5*f - 2 = -2*x. Suppose -3*d - 11 = o + 2, -o = 4*d + 16. Sort o, -27, f in descending order.
f, o, -27
Let z = -1358.489 + 1340.5. Let y = 0.189 + z. Let v = y + 18. Sort -0.2, v, 2/9 in ascending order.
-0.2, v, 2/9
Let n = 21653/9 + -2406. Put n, -5, -1/2 in increasing order.
-5, -1/2, n
Let l be 3374/385*(-4)/136. Let c = l + -9/85. Let m = -24/5 - -43/10. Put c, 2/9, m in ascending order.
m, c, 2/9
Let x = 5436 + -5438. Suppose -5*w = v + 11, 4*v + 3 = -2*w - 5. Put 3, x, v, 4 in increasing order.
x, v, 3, 4
Suppose 4*i = -d - 3, -2*d + 28*i = 24*i - 6. Put d, 6, 0, 2 in increasing order.
0, d, 2, 6
Let t = 100 - 105. Sort t, 0, -2, 3.
t, -2, 0, 3
Suppose 36 = b + 41. Suppose 9 = 12*l - 39. Put 5, l, b, -4 in ascending order.
b, -4, l, 5
Let f = 0.2988 - 0.2988. Put -2.3, f, -15 in descending order.
f, -2.3, -15
Suppose 0 = 8*k + q - 36, -3*q - 12 = -4*k + 20. Sort -10, -4, -6, -3, k in ascending order.
-10, -6, -4, -3, k
Let z = 1318 + -1317.9. Sort z, 0.3, -1/4.
-1/4, z, 0.3
Let w = 1.5 - -315.5. Let r = w - 320. Sort r, 5, 2/3 in descending order.
5, 2/3, r
Let u(p) = p**3 - 4*p**2 - 2*p - 10. Let l be u(5). Let g = 780.078 - 778. Let b = -0.078 + g. Put l, -1/6, b, -2/7 in ascending order.
-2/7, -1/6, b, l
Let l = 569 - 256. Let w = -309 + l. Suppose -g + 0 - 14 = 0. Sort w, 2, g in descending order.
w, 2, g
Let o(b) = b**3 - 6*b**2 - 9*b + 11. Let m be o(7). Suppose n + 12 = -z, z + z = 5*n + 39. Let k be 60/(-9)*n/6. Put k, m, 3 in decreasing order.
k, 3, m
Let p(x) = x**3 - 35*x**2 - 2*x + 60. Let a be p(35). Let u be ((-1)/4)/(a/(-120)). Suppose -4*l = -0*l - 20. Sort u, l, -15.
-15, u, l
Let i = 0.58 - 0.18. Let u = -11 - -10.6. Let n be 6/(10/4 + -1). Sort n, i, 0.5, u in increasing order.
u, i, 0.5, n
Let s = 22 - 33. Let f = s - -6. Let o = -4103.13 + 4103.63. Put o, -1, f in increasing order.
f, -1, o
Let y = 5 + -3. Let b = -122343 - -122344. Sort y, -1, b, -5 in descending order.
y, b, -1, -5
Let w = 101989 + -102001. Let k = 58 - 349/6. Put w, -1/9, k in decreasing order.
-1/9, k, w
Let w = -156.8 - -163.8. Let t = -0.3 + 0.3. Put t, w, -1 in descending order.
w, t, -1
Let l be 14/(-7) + 1/(-1). Let o(h) = -h**3 - 3*h**2 + 2. Let p be o(-3). Let d be 5 - 0 - (-5 + 4 - -8). Put d, l, -4, p in decreasing order.
p, d, l, -4
Let h be 9/(-10) - ((-26)/20 - 348/(-290)). Sort -0.007, 0.1, 4, h in descending order.
4, 0.1, -0.007, h
Suppose 0 = -2*m - 6, -3*h - 81*m = -76*m - 9. Sort -5, -3, -4, h.
-5, -4, -3, h
Let q(j) = 2*j**2 + 94*j - 518. Let c be q(5). Sort 46, 5, 0, -1, c in decreasing order.
46, 5, c, 0, -1
Let s = -0.66 + 0.6. Let q = 1.21 - -0.39. Let r = -1.6 + q. Put r, s, 1, 1/5 in descending order.
1, 1/5, r, s
Suppose -4*x + 7*x = -2*p + 16, 28 = 4*x + p. Suppose -4*g = -0*g - x. Let n be (12 - (23 + -5)) + 33/3. Sort -4, 0, g, n in descending order.
n, g, 0, -4
Let g = 4963 - 5288. Put g, -2/7, -4, 1/5, -5 in ascending order.
g, -5, -4, -2/7, 1/5
Let j be (-1 - -1) + 1 + 2. Suppose -3*g + 9*g = 0. Let d(x) = x**3 + 4*x**2 + 8*x + 116. Let u be d(-6). Put g, u, -1, j in descending order.
j, g, -1, u
Let g = 2 + 0. Let d(m) = -m**3 + 6*m**2 - 8*m + 13. Suppose 4*j - 3 - 6 = -5*b, -2*b + 2*j + 18 = 0. Let s be d(b). Sort -11, s, 5, g in descending order.
5, g, s, -11
Let d = -179 + 183. Sort -4/17, d, 2/51, 1/3, -4/9 in descending order.
d, 1/3, 2/51, -4/17, -4/9
Let s = -355 - -334. Let g be (-36)/s - (-12)/42. Sort 26, g, 1 in decreasing order.
26, g, 1
Let r be 29/3 - 14/21. Let k = -11 + r. Let y be -3 - (k - (2 + -2)). Put -3, 4, y in decreasing order.
4, y, -3
Let c = -37 - -113. Let o = -71 + c. Let y = -2 + 3. Put 4, o, y, -6 in increasing order.
-6, y, 4, o
Let r = -2881 + 2880.8. Sort -5, -3/4, 2/5, -6, r in increasing order.
-6, -5, -3/4, r, 2/5
Suppose z + 10 = 29. Suppose -z*n = -20*n. Suppose -7*l + 5*l + 10 = 0. Put n, 2, -1, l in ascending order.
-1, n, 2, l
Let t = 13418 + -13422. Put 3/2, t, 18 in ascending order.
t, 3/2, 18
Let z = -1865.2 - -2059. Let a = -194 + z. Put a, 0.4, -1, -2 in descending order.
0.4, a, -1, -2
Let a be 116/10 - 4/(-10). Let u be 5 + (6 - 15 - -5). Let n be (-93)/a - u/4. Put -5, n, -2 in ascending order.
n, -5, -2
Let c = -758 + 762. Suppose 0 = 5*l + 3*t + 29, -9*l + c*t = -5*l + 36. Let f be (-2)/8 + 2/8. Sort l, -5, 5, f.
l, -5, f, 5
Let o be (-341)/33 + (-2)/(-6). Suppose 2*h - 1 = 5*j, -3*h - 2*j + 7 = -4*j. Sort h, 4, -1, o.
o, -1, h, 4
Let o = -5048 - -5037. Sort -4, -6, o, 3, 5 in increasing order.
o, -6, -4, 3, 5
Let z = 282 + -3664/13. Let f = -9253 + 9255. Let t = -0.5 + 0. Sort 1, t, f, z in decreasing order.
f, 1, z, t
Let m be (7 - 10) + (4 - 0). Let t be -2 + 1 - ((-40)/(-4) + -10). Put 14, -2, m, t in ascending order.
-2, t, m, 14
Let x = -2121 - -2123. Sort x, -104, 3 in decreasing order.
3, x, -104
Let p = 30 - 29.7. Let b = -426/445 - -14/89. Sort -4, b, p, 3/8 in ascending order.
-4, b, p, 3/8
Let x = -17.37 - -20.5. Let t = 0.13 - x. Put t, 2, 16/5 in ascending order.
t, 2, 16/5
Let z = -58 + 54. Let i = 172 + -166. Put i, 0, z in increasing order.
z, 0, i
Let p(j) = -j**2 + 15*j - 2. Let u(x) = -2*x**2 + 44*x - 8. Let i(a) = -11*p(a) + 4*u(a). Let s be i(1). 