 = 4*t + o + 20, -2*t - 10 = o + 3*o. Suppose -3*j + 34 - 28 = 0. Suppose 0*w = j*w - 20. Sort w, -1, t in decreasing order.
w, -1, t
Let r = 347 - 224. Let m = -124 + r. Sort 0.1, m, 1 in decreasing order.
1, 0.1, m
Let b = 1617 - 1676. Let j = -1 - -6. Put -4, j, b in decreasing order.
j, -4, b
Let o = -2/287 + -29/41. Let q be (-22)/(-20) + (-6)/10. Sort 0.2, o, q in increasing order.
o, 0.2, q
Let y = -2638 + 2637. Put -15, 9, y, -5 in ascending order.
-15, -5, y, 9
Suppose -x - 7*c + 2*c = -1, 4*x - 5*c - 4 = 0. Let n be -2 + (-1)/(-21)*5091 + x. Let u = 241 - n. Sort 5, 2, u in decreasing order.
5, 2, u
Let s = -0.04 + -0.26. Let n = s - 2.7. Let m = 77062 - 77061. Sort n, m, -12, -1/5 in ascending order.
-12, n, -1/5, m
Suppose 68*x = -111 + 49 - 278. Sort x, -57, 4 in decreasing order.
4, x, -57
Let i be (-1)/(-6)*(82 - 100) + 1022. Put -4, -2, -1, i in decreasing order.
i, -1, -2, -4
Suppose -11*q = 5*m - 12*q + 20, -8 = m - q. Let y = -3 + 3. Let v be y*27/18*1/m. Sort -0.2, 5, v in increasing order.
-0.2, v, 5
Let t = 10885 - 11768. Sort t, -9, -4 in ascending order.
t, -9, -4
Let q be (2/(-4))/(2/36). Suppose -r - 3*b + 10 = 0, -16 = 6*r - 8*r - 5*b. Let p = -68 - -68. Sort q, 4, p, r in ascending order.
q, r, p, 4
Let v = -479.1 - -479. Sort 2/5, -2/9, v in increasing order.
-2/9, v, 2/5
Suppose 17 = 3*f - g, g + 18 = 2*f - 3*g. Suppose f*r + 89 = 94. Let x be (-175)/15 - -7 - (r - 5). Put 4, x, 20 in decreasing order.
20, 4, x
Let k be (-384)/(-320) - 6/5. Put 7, -3, 22, k in ascending order.
-3, k, 7, 22
Suppose 0 = 81*d - 77*d - 4*j - 32, 3*d - 18 = 2*j. Suppose 43 = -4*g + 3*g. Sort g, -2, d.
g, -2, d
Let a be (-3)/((-9)/(-6)) + 7. Suppose -t + 2*d - 12 = 3*t, 4*d - 21 = a*t. Suppose 32*p + 649 = -48*p + 21*p. Put t, p, 5, 1 in descending order.
5, 1, t, p
Let y = 5655.5 - 5656. Sort 0.5, -0.1, y, 3, -3 in descending order.
3, 0.5, -0.1, y, -3
Let f = -53.8 - -45.8. Sort -0.3, 0, 2/9, 2/5, f in ascending order.
f, -0.3, 0, 2/9, 2/5
Let f = -73 - -226. Let l = -67 + f. Sort l, 2/9, 4 in decreasing order.
l, 4, 2/9
Suppose 4*x + 154 = 2*t, 17*x - 2*t - 41 = 18*x. Put 51, x, 4 in ascending order.
x, 4, 51
Let r = -23326 + 23323. Suppose 0 = -f - 3*k + 6, 4*f = -k + 2 - 0. Put f, -31, r, -6 in increasing order.
-31, -6, r, f
Let g = 85 + -85. Suppose -10*i = -g*i. Sort -5, -4, i, -2 in increasing order.
-5, -4, -2, i
Let n be ((-14)/(-4) + -6)*28/(-65). Let z = 72/91 - n. Suppose 0 = t + 3, 2 + 2 = -2*o - 4*t. Put o, z, 0.1, -1 in descending order.
o, 0.1, z, -1
Suppose 217 = 97*r - 66*r. Suppose 2*a = -a - 9. Put a, 5, r, 2 in descending order.
r, 5, 2, a
Let l = -445 - -447. Suppose -9 = -5*n + p, -5*p + 3*p - 6 = l*n. Put n, 0, -236 in decreasing order.
n, 0, -236
Let h = 244 + -240. Suppose 16 = -4*n - h. Let r be 4/(-16) + (-21)/(-4). Sort 4, n, 2, r in ascending order.
n, 2, 4, r
Suppose 12 = 42*f - 38*f. Suppose -2*a - 28 = -4*n, 5*n = f*a + 33 + 4. Let d be a/(-20) - 4/(-30). Put -13, 2/11, d, 4 in decreasing order.
4, d, 2/11, -13
Let h = 169 + -164. Let d be (-26)/(-42) + -2*h/35. Sort -10, 4/9, d in decreasing order.
4/9, d, -10
Let v = -6702 - -6702. Sort 9, v, -4, 13.
-4, v, 9, 13
Let i = 420.4 - 420.2. Put -2, i, 1, -0.02 in decreasing order.
1, i, -0.02, -2
Let a be 1*(-4)/(-2) + -11. Suppose -2*l + 118 = 2*h, 5*l - 285 - 34 = 3*h. Let t = -59 + l. Sort 5, t, a in ascending order.
a, t, 5
Let o be (-1884)/10 + (6 - 7). Let i = 189 + o. Put 25, 0.5, i in increasing order.
i, 0.5, 25
Let x = -108 + 109. Let f = -280.9 + 281. Put x, f, 4/11 in descending order.
x, 4/11, f
Let m = 20/89 + -456/445. Put m, -82, -1/8 in descending order.
-1/8, m, -82
Let b = -11907 - -11909. Sort b, 4, -12, -139 in descending order.
4, b, -12, -139
Let l = -741.4 + 741.9. Sort l, 27, -7, -1/3 in decreasing order.
27, l, -1/3, -7
Let h = 20 + -10. Let w = -10.5 + h. Let i = -2784 - -8354/3. Sort i, w, 1.
w, i, 1
Suppose 2*n + 2*q = 820 - 844, -2*n = 5*q + 45. Sort 2, 1, -1, n, 71 in decreasing order.
71, 2, 1, -1, n
Let h = -428 + 432. Let w = -25.4 + 25. Sort w, h, -13.
-13, w, h
Let i(a) = 12*a**2 + a + 5. Suppose -18*j = -14*j. Suppose j = -3*g - 4*g - 14. Let x be i(g). Sort 0, x, -4 in descending order.
x, 0, -4
Let o = 17895 + -17896. Put 9, -82, 2/11, o, 0.3 in decreasing order.
9, 0.3, 2/11, o, -82
Suppose -5*q = 8*c - 3*c + 25, 0 = -q + 3*c + 11. Sort q, 85, 0.1, 1, -1/4 in ascending order.
q, -1/4, 0.1, 1, 85
Let z = -12450 - -12358. Put 0, z, -3, 11, -5 in decreasing order.
11, 0, -3, -5, z
Suppose -83*i + 457 = -45*i - 227. Sort i, -2, 12, -1.
-2, -1, 12, i
Let v = 1 - 0. Let z be (3/(-6))/((-9)/(-1944)*-3). Put z, 0.2, 2/17, v in descending order.
z, v, 0.2, 2/17
Let q(g) = 5*g**3 + 2*g**2 + g. Let p be q(-1). Let s = 5994.7 + -5995. Sort s, p, 0.04 in decreasing order.
0.04, s, p
Let s = -3248 - -3246. Let g(p) = p**3 + 3*p**2 - 7*p - 10. Let q be g(-4). Put -1, -5, q, s in ascending order.
-5, s, -1, q
Let s = -0.8255 - -0.4255. Sort 0.4, s, -5, -38/5, 1/2.
-38/5, -5, s, 0.4, 1/2
Suppose 6*y + 42 = 13*y. Let r(j) = -j**3 + 8*j**2 - 2. Let b be r(8). Put b, -1, y, 0 in ascending order.
b, -1, 0, y
Let w = 1.29 + -1.19. Let o = 1132/7 + -162. Let d = 71.2 - 71. Put 3, o, w, d in ascending order.
o, w, d, 3
Let k = -35913 - -35909. Put 12, -2, 2, k, 5 in decreasing order.
12, 5, 2, -2, k
Suppose -2*r - t = 5, -r + 5*t + 145 = 142. Let l = 19 + -19. Put r, l, -135 in descending order.
l, r, -135
Suppose -3*t = -18, 2*t + 5 = -33*a + 32*a. Sort 4, a, -3, 5, 2 in descending order.
5, 4, 2, -3, a
Suppose 3*b + 4*m + 39 = -25, b + 5*m + 36 = 0. Let o = 39 + -352/9. Let f = 6.6 - 6.1. Sort b, f, o, -2 in increasing order.
b, -2, o, f
Let a = -10.27 + 7.27. Let p(q) = -q**3 - 4*q**2 - q. Let o be p(-4). Suppose 2*c = -k + 4*k + 17, 4*k - o*c = -24. Sort a, k, -2, 0.07 in descending order.
0.07, -2, a, k
Let l = -27127 + 27126. Put -2/23, -75, l, 2, -0.5 in descending order.
2, -2/23, -0.5, l, -75
Let p = 14.3 + 15. Let y = -27.2 + p. Put 2, -1/3, 0.5, y in descending order.
y, 2, 0.5, -1/3
Let r = 89868 + -89906. Let o be (-6)/(-5)*(-10)/3. Sort -1, o, r in descending order.
-1, o, r
Let j = 1044.2 + -1044. Sort j, 1/30, -28 in descending order.
j, 1/30, -28
Let k(l) = 527*l + 432. Let b be k(-1). Sort 3, b, -2 in increasing order.
b, -2, 3
Suppose -26*n - 16 + 276 = 0. Let v(j) = -j**3 + 7*j**2 + 29*j - 2. Let u be v(n). Sort -4, 1, -5, u.
u, -5, -4, 1
Let h = -21512 - -21511. Put -3/5, -4, -3, h, 3 in increasing order.
-4, -3, h, -3/5, 3
Let f(a) = 7*a - 130. Let s(v) = 11*v - 168. Let i be s(17). Let n be f(i). Sort -1, n, 20 in decreasing order.
20, n, -1
Let y be 11/(363/60) - 2. Let d be ((-21)/14)/(3/(-30)*-1). Let o be (-12)/(-10)*((-110)/d + -4). Sort -1, o, y.
-1, y, o
Let a = 64877.5 + -64877. Let t be 1*-2 + 16/10. Put t, 0.4, 2, a in decreasing order.
2, a, 0.4, t
Let r(y) = 3 - 4*y**2 + 27*y - y**2 - 2*y**2 + 7 + 3*y**2. Let c be r(7). Sort 2, 1/3, c, -1/11 in decreasing order.
c, 2, 1/3, -1/11
Let h = 46 + -41. Suppose 0 = -4*s - 3*x + 44, 33 = -2*s + h*s + 3*x. Suppose n + s = 7. Sort n, 14, 3 in descending order.
14, 3, n
Let l = 23 + -22.91. Suppose u - 7 + 62 = 0. Let y = 55 + u. Sort l, y, 0.5 in ascending order.
y, l, 0.5
Let x = 11/650 + 617/1950. Put 84, -6, -4, x, 1/4 in ascending order.
-6, -4, 1/4, x, 84
Let i = -251 - -404. Suppose 149*k - i*k = 168. Put k, -4, 2 in descending order.
2, -4, k
Let r(x) be the third derivative of -2*x**4/3 + 179*x**3/6 + 29*x**2 + 2*x. Let f be r(11). Put -1, f, 10, -5 in ascending order.
-5, -1, f, 10
Let i = 9.4 - 10. Suppose -5*n = 5 - 25. Suppose n*x - 9 = -5*x. Sort i, x, -0.4 in descending order.
x, -0.4, i
Suppose -227*v + 279*v = 208. Sort 33/47, 3, v.
33/47, 3, v
Let s be 9/(-3)*(1 + 0). Suppose 5*o + 3*l = -1042, l + 1 - 2 = 0. Put o, s, -4 in decreasing order.
s, -4, o
Let i be ((1/6)/(1 - 0))/(6370/114660). Put 5, 19, i, -15, 2 in descending order.
19, 5, i, 2, -15
Let s be (42/56)/((-1)/(-4)). Let q = -844 + 833. Put s, 2, q in increasing order.
q, 2, s
Let f be (-12)/(-8)*4/3. Suppose v + 3*o + 438 = 8*o, 5*o = -2*v - 936. Let n = v - -457. Put f, n, 7 in ascending order.
n, f, 7
Let g = 0.06 - -6.94. Let q = -19.52 + 22.52. Sort g, q, -1/4 in descending ord