/2052). Let o be 2/7 + c/(-133). Let d be 2 + (0/(-2) - -1). Put d, o, -17 in increasing order.
-17, d, o
Let t = -1 + -9. Let q(w) = 6*w**3 - 279*w**2 - 139*w - 91. Let j be q(47). Put 5, j, t, -1 in increasing order.
t, -1, j, 5
Let n = -3221 - -3217. Put n, 1, 26, -1 in descending order.
26, 1, -1, n
Suppose -4*h + 3*h + 18 = 0. Suppose -23*j = -24*j + 3*q - 3, 2*q = 4*j + 12. Sort -5, j, h in decreasing order.
h, j, -5
Suppose 0 = -5*x - 0*x + 20, 3*x = n + 8. Suppose 3*s - 28 = -n*s. Suppose -s = -l + 3*l. Sort 5, -5, l, 1 in ascending order.
-5, l, 1, 5
Let x = -836 - -822. Put x, -4, -0.24, -2/9, -2/7 in increasing order.
x, -4, -2/7, -0.24, -2/9
Suppose 6*m = -2*w + 2, 7 = -53*m + 50*m - 5*w. Let q(u) = u - 4. Let z be q(3). Sort -8, m, z, -5.
-8, -5, z, m
Let p = -14 - -33. Let n = 14 - p. Let c = -3.2 + 2.7. Put n, 5, c, -0.13 in decreasing order.
5, -0.13, c, n
Let a be ((-8)/(-3))/(128/(-96)). Let w(v) = -2*v**2 - 18*v - 3. Let r be w(-9). Put r, 18, a, 5 in descending order.
18, 5, a, r
Let x be ((-4 - -2)/((-24)/(-18)*-3))/(-4). Sort -6, -0.34, 5, x in increasing order.
-6, -0.34, x, 5
Let b = -71 - -70.748. Let l = b - -2.252. Put -2/13, l, -0.1, 2/5 in decreasing order.
l, 2/5, -0.1, -2/13
Let s = 15 - 8. Let n be 14/(-2) + (-39 - -41). Sort 4, n, s in increasing order.
n, 4, s
Suppose 16*n - 9 = 7*n. Let b(m) = -23*m**2 - 2*m + 4. Let o be b(0). Sort o, -9, n, -4 in increasing order.
-9, -4, n, o
Let y = -91/407 + 15/37. Let a be ((-10)/42 + 1/6)*-6. Put -9/2, y, a in increasing order.
-9/2, y, a
Let c = 11646 - 11656. Sort c, 3/4, 1.6, 2 in descending order.
2, 1.6, 3/4, c
Let f = -4562 + 2565. Put f, 3, 1 in descending order.
3, 1, f
Let q be 2*(2/9 + 8261/(-198)). Let i = q + 80. Let t be (-4 - 0) + (-2)/(-1). Put -1, i, t in descending order.
-1, t, i
Let i = 328 + -315. Let a = 15.7 - i. Sort a, 5, 2/5, 3 in ascending order.
2/5, a, 3, 5
Let f(q) = 127*q + 247. Let j be f(-2). Sort -11, j, -2 in increasing order.
-11, j, -2
Let h = -3462 + 3326. Put h, -10, 2, -2 in descending order.
2, -2, -10, h
Let k = 23.1 - 0.1. Let u be ((-234)/(-117))/(3/((-6)/(-8))). Sort 4, u, k in descending order.
k, 4, u
Suppose -6*b + 4*s + 127 = 111, 5*s = -20. Put 3, 2, -2, -4, b in ascending order.
-4, -2, b, 2, 3
Suppose 41 - 17 = 8*d. Suppose -19 = -5*y - d*q, q = -y - 2*y + 9. Let i be ((-196)/(-35))/(-1) - 4/10. Put i, y, -4, 5 in descending order.
5, y, -4, i
Let c = 16124 - 16126. Put -90, 4, c, 2, -5 in ascending order.
-90, -5, c, 2, 4
Let g = -1.148 + 1.0703. Let p = g + 0.2777. Sort -5, -0.09, p in decreasing order.
p, -0.09, -5
Let l be 15/2*8/(-12). Suppose 18*y - 5 = -2 - 3. Sort l, y, -15 in decreasing order.
y, l, -15
Suppose 3*m = 1062 + 1065 - 2136. Let o = 14 - -2. Sort o, m, 1, 4 in descending order.
o, 4, 1, m
Suppose 122*a - 988 = -5*c + 126*a, -4*a = -c + 204. Let z be 21/14*c/6. Put 1, 2, z, 3 in descending order.
z, 3, 2, 1
Let x be (-1 - 0/8)/(1 + 0). Let c = 404 + -424. Put 2, x, c in descending order.
2, x, c
Let r = -46 + 49. Suppose 2*i = -5*y + 11, -7*y = i - r*y - 4. Put 0, -9, i in ascending order.
-9, 0, i
Let m(u) = 3*u + 1. Let l be m(1). Let k be -4*1/(40/(-170)*-17). Sort l, -17, k in decreasing order.
l, k, -17
Let m = -719.7 - -720. Sort 0.011, m, 1/5, -14 in increasing order.
-14, 0.011, 1/5, m
Let x(g) = -2*g**3 + 2*g**2 + g - 3. Let y be x(1). Let l = -29 - -41. Suppose -5*w + l = -w. Sort y, -3, 5, w in increasing order.
-3, y, w, 5
Let b = 30300 - 30300. Put -6, b, -2, 6, 5 in ascending order.
-6, -2, b, 5, 6
Let k = 4665 - 4661. Put k, 3, -2, 5, 49 in decreasing order.
49, 5, k, 3, -2
Let f = 16033 + -16038. Sort -6, f, 11, 1/3.
-6, f, 1/3, 11
Suppose -71*f - 691 = -123. Put -12, f, 3 in increasing order.
-12, f, 3
Let j = 42466/9 - 212321/45. Let s(p) = -p**3 - 3*p - 2. Let c be s(4). Sort j, c, 3 in ascending order.
c, j, 3
Let x = -37.86 - -37.76. Put -4, 5, x, 30, -1 in descending order.
30, 5, x, -1, -4
Let g = 231 - 230. Let k = 2.013 + -0.013. Put g, k, 2/9 in decreasing order.
k, g, 2/9
Let q be (1/13)/(500/(-1625)). Put 1/5, 0.4, q, 1 in ascending order.
q, 1/5, 0.4, 1
Suppose 4*d + 48 = 773*l - 777*l, 0 = -5*l - 3*d - 48. Sort l, -3, 13, -2, -1.
l, -3, -2, -1, 13
Suppose 3*r - 2*b = 277, -r + 96 - 13 = -3*b. Let u be ((-19)/r)/(3/(-10)). Let c = 0.01 - 0.31. Sort -2, c, u in increasing order.
-2, c, u
Let g(j) = 2*j**2 + 27*j - 29. Let y be g(-19). Let q = y - 177. Sort -29, -3, q in decreasing order.
q, -3, -29
Let l(b) = -b**3 + 27*b**2 - 48*b - 54. Let h be l(25). Put h, -30, -7, 2 in decreasing order.
2, h, -7, -30
Let x(z) = z - 4. Let k be x(0). Let q(w) = 24*w - 17. Let t be q(-5). Let f = t - -140. Sort -5, 5, f, k.
-5, k, f, 5
Suppose -9*v = -8*v - 5*a - 22, 4*a + 5 = 5*v. Sort 3, -14, v, -10.
-14, -10, v, 3
Let n(w) = -2*w**2 + 36*w - 17. Suppose -4*y = -5*c + 4*c + 5, -3*y + 3 = 0. Let j be n(c). Sort -4, j, 3 in ascending order.
-4, 3, j
Let x(t) = 291*t - 38415. Let m be x(132). Let i be (-82)/(-78) - (-1)/(-1). Sort i, m, -1/2 in descending order.
i, -1/2, m
Let u be (5 - -1)/((-2)/(-1)). Suppose -2*s - u*q + 0*q = -12, -5*s = 4*q - 37. Let v(d) = d - 9. Let o be v(s). Sort 7, o, -2.
-2, o, 7
Let d = -944.5 - -959.5. Sort d, 5, -37, 0.3.
-37, 0.3, 5, d
Let t = -5.66 + 0.93. Let i = t - -12.73. Put 5, 2, i in decreasing order.
i, 5, 2
Let t(n) = n**3 - 4*n - 3. Let v be t(-1). Suppose v = 6*q - 21*q - 75. Sort -3, 11, -4, q in decreasing order.
11, -3, -4, q
Let f = -18.363 + 15.363. Sort -1286, 3, f, 0.
-1286, f, 0, 3
Let r be 0/(1 + (-6)/2). Suppose 17*a - 257 + 308 = 0. Put r, 5, 2, a in descending order.
5, 2, r, a
Let y = 1191.1 - 1193.1. Let m = 3.5 + -3. Sort 1.2, 3/7, m, y in descending order.
1.2, m, 3/7, y
Let r(c) = -45*c + 588. Let g be r(13). Sort -66, g, 0, -4 in increasing order.
-66, -4, 0, g
Suppose 0 = -492*q + 483*q - 27. Let p = -6 - -5. Let a(f) = f**3 - 6*f**2 + 7*f - 6. Let c be a(5). Sort c, p, q in decreasing order.
c, p, q
Let i(u) = u**2 - 11*u + 28. Let z be i(8). Sort 1, -1, -5, z in descending order.
z, 1, -1, -5
Let h = 10.192 + -9.192. Put -3/4, h, 144 in increasing order.
-3/4, h, 144
Let t = -1358 + 1361. Sort t, -91, 4 in increasing order.
-91, t, 4
Let k(p) = 2993 - p - p**2 + p**3 - 2993. Let c be k(0). Sort -2, c, -3, 1 in ascending order.
-3, -2, c, 1
Let n(c) = -c**2 + 18*c + 59. Let l be n(-3). Sort l, 2, -3, -45.
-45, l, -3, 2
Let s = 2548 - 2545. Put s, -278, 5, -2 in decreasing order.
5, s, -2, -278
Let v be -6 + 16 + (3 - 12). Sort v, 4, -9, 2, 0 in decreasing order.
4, 2, v, 0, -9
Let p be ((-2)/3)/((-2)/3). Suppose 0 = -y + 5*k - 10 + 16, -3*y + 18 = 2*k. Let v be ((-8)/6 + 2)*1*y. Put -17, v, -3, p in descending order.
v, p, -3, -17
Let z = 63 + -59. Suppose -z*s + 35 = -3*p, -4*p = s - 24 + 20. Sort s, 0, -6, 4 in ascending order.
-6, 0, 4, s
Suppose -376*i - 13346 - 5974 = 268*i. Put i, 7, -38 in descending order.
7, i, -38
Let c = 401 + -147. Let w = c - 254.5. Sort 0.5, -11, w.
-11, w, 0.5
Let z = 21.819 - 21.809. Put z, 3, -32, -2 in increasing order.
-32, -2, z, 3
Let a = 8117 + -8113. Let x be ((-3)/6)/((-2)/44). Sort a, -4, 2/3, x in ascending order.
-4, 2/3, a, x
Let o = 220 + -196. Let a be (-8)/6*1*(-6)/o. Put 3, a, -1/9 in decreasing order.
3, a, -1/9
Let y be (-6)/(-18) - 2/(-6). Let b be ((-5)/(-3)*176/(-220))/(-6). Put y, b, 0.53, 0.5 in increasing order.
b, 0.5, 0.53, y
Let r = -12 + 22. Let d = 51381 + -51385. Sort d, 1/2, r in ascending order.
d, 1/2, r
Let n be (-4 - (1 - 15) - 4)*(-13)/(-507). Sort 0.2, n, 1/1157.
1/1157, n, 0.2
Let i(z) be the second derivative of z**4/12 + 2*z**3/3 - 3*z**2 + 14*z. Let j be i(-8). Let g = j - 21. Put -0.5, g, 1 in ascending order.
-0.5, 1, g
Let n be 2/(-9) + (-1135)/(-45) + -10. Let a(k) = 2*k - 1. Let y be a(-2). Let c be (2 - 1)*2 - 5. Sort y, c, n in ascending order.
y, c, n
Let u = -3 + 3.2. Let w = -0.0049 + -73.8951. Let f = 73.5 + w. Sort -5, f, 4, u.
-5, f, u, 4
Let b = -3.08 + 0.08. Let q = 22.48 - 22.78. Put q, b, -2/17, -2/21 in increasing order.
b, q, -2/17, -2/21
Let b be ((-4712)/304)/((-62)/4). Suppose -1 = -3*m + 8. Put m, b, -3, -5 in descending order.
m, b, -3, -5
Suppose -160 + 335 = 16*t - 145. Put -1, -2, 13, t in increasing order.
-2, -1, 13, 