 = -327 + 325. Suppose t = 2*t. Suppose 5 = -z - t*z. Sort b, z, -3.
z, -3, b
Suppose 155 = -44*p + 507. Put -5, -95, p, -3 in descending order.
p, -3, -5, -95
Suppose -3*k = m + 29 - 7, 4*m + 4*k = -56. Let c = 39 + -35. Suppose 2*v = 4*g - 0*g + 12, v + c*g = -18. Sort v, m, 5 in descending order.
5, v, m
Suppose 0 = 34835*w - 34868*w - 66. Sort -1, w, 1, 0, 4.
w, -1, 0, 1, 4
Let b be (-1)/((-2)/(-4)) - -2. Let c be 1551/235 + -4 + 66/15 + -6. Put b, 3, c in decreasing order.
3, c, b
Let s = 7504.76 - 7501. Put s, 0.3, 6 in ascending order.
0.3, s, 6
Suppose 0 = -351*o + 332*o - 38. Sort o, -3, 5, 0, 15 in decreasing order.
15, 5, 0, o, -3
Let w(j) = -3*j - 4. Let m be w(-3). Let r(p) = -5 - 38761*p - p**2 + 19383*p + 19384*p. Let x be r(m). Sort -30, x, -4.
-30, -4, x
Let o = -781 - -777. Let r be o/40*(10 - 8). Put 2/7, r, -1/3 in descending order.
2/7, r, -1/3
Let h be 6*((-1)/3)/1. Let s(k) = -189*k + 548. Let y be s(3). Sort 5, y, h, -5 in ascending order.
y, -5, h, 5
Let z = -375.3 - -384.3. Put -1.4, 2/3, z in descending order.
z, 2/3, -1.4
Suppose -j + 9 = 2*u, -3*u + 4*u - 4*j = -9. Suppose 5*l + 3*a = a + u, 0 = a + 1. Let r(v) = 1587*v - 2. Let n be r(0). Sort 3, n, l in decreasing order.
3, l, n
Let i(b) be the first derivative of 8*b**3 + 0*b + 0*b**2 - 30 - 1/4*b**4. Let r be i(24). Sort -0.2, -0.3, 0.5, r in ascending order.
-0.3, -0.2, r, 0.5
Let z = -137 + 139. Suppose 6 + 2 = -z*a. Put 2, -131, a in descending order.
2, a, -131
Suppose -r + 27 = -4*r. Suppose -33 = -15*h + 10*h + 2. Sort r, -4, h.
r, -4, h
Let o be -20 + ((-26500)/(-24))/53. Sort 0.2, -5, o, 2.
-5, 0.2, o, 2
Let j = 0.05255 + -0.06255. Sort 0, 0.1, 0.15, j in increasing order.
j, 0, 0.1, 0.15
Suppose 4*f - 2*w = -1100, 4*f - 28*w + 1090 = -31*w. Sort f, 1, 4 in decreasing order.
4, 1, f
Let n = -99.7 + 93. Let s = n + 7. Let l(a) = a + 24. Let c be l(-20). Put c, s, 3 in decreasing order.
c, 3, s
Let k be (3 + 3)*(9 - (-232)/(-24)). Sort k, -3, 41.
k, -3, 41
Let y = -23417.982 + 23418. Put 0.6, y, -1, -2 in decreasing order.
0.6, y, -1, -2
Let n be 2/4*(-5 + 5). Let c be 3*(n + (2 - 1) + 0). Suppose 3*m - 2*p - 16 = 1, -c*p = -2*m + 13. Sort 7, m, -1 in descending order.
7, m, -1
Let r = 311.14 - 308. Let f = r - 0.14. Put f, -1/47, -0.1 in decreasing order.
f, -1/47, -0.1
Let n = -24.46 + 22.66. Put n, -4, 0.5 in decreasing order.
0.5, n, -4
Let j be -3 - (-2 + (-3 + 0 - -3)). Let g be 0/(2 + 5 + 5/j). Sort g, -5, -2, -1.
-5, -2, -1, g
Suppose -m - 4*x - 2 - 6 = 0, 4*m + 5*x - 1 = 0. Suppose 4*l + 5*r + 3 = 0, l + 2*l + 10 = m*r. Put 13, 1, -1, l in descending order.
13, 1, -1, l
Let w be 2/(-4)*2 + 4. Let y(l) = l**3 + 7*l**2 + 8*l - 6. Let x be y(-5). Sort w, x, -4.
-4, w, x
Let k = 50.4 + -51.163. Let l = -0.237 + k. Sort 0.06, l, -0.5, 1/4 in descending order.
1/4, 0.06, -0.5, l
Let y = 17057.9 + -17058. Put y, -1247, -1/3 in decreasing order.
y, -1/3, -1247
Suppose -6*b - 5*t = -4*b - 12, -5*t = 3*b - 13. Let d(l) = 23*l - 23. Let x be d(b). Let r be 2/(-4)*(-4)/14. Put -1, x, r in increasing order.
-1, x, r
Let h be (5/6 - 2) + 67/(-134). Put -2/19, -2, 7, h in decreasing order.
7, -2/19, h, -2
Suppose 25*w - 2 + 127 = 0. Put 118, -4, 1, w in descending order.
118, 1, -4, w
Suppose 5*k - 25 = l - 20, 4*k - 4 = -3*l. Sort l, 2, 27 in descending order.
27, 2, l
Let b = 671.6 - 671.19. Sort b, 3, -1, -2 in decreasing order.
3, b, -1, -2
Suppose -4*w = -4*a - 8, a + 11 = 6*a - 2*w. Let i(g) = 4*g**2 - 1. Let m be i(-1). Put m, a, -12, -4 in descending order.
a, m, -4, -12
Let z = 103.38 + -102. Let o = -1.08 + z. Let i = 47/6 + -25/3. Sort o, i, -3.
-3, i, o
Suppose -215*x - n = -216*x - 2, 2*n = 3*x. Put x, -1, 1, 0, -7 in descending order.
x, 1, 0, -1, -7
Let j = 5 - 4.859. Let z = -0.201 + j. Sort z, 0, 1, 0.09.
z, 0, 0.09, 1
Let x = -211 - -38. Let d = x - -178. Put -3, d, 1/10 in ascending order.
-3, 1/10, d
Let j be ((-4 - 66/(-15))*-2)/((-16)/40). Sort 3, 5, 229, j in decreasing order.
229, 5, 3, j
Let j = 33 - 43. Let t = 88 + -438/5. Sort 0.2, t, j in ascending order.
j, 0.2, t
Let z = 149 - 147. Let w = -21 - -25. Let i = 1915/9 + -213. Put w, z, i, -1 in increasing order.
-1, i, z, w
Let x = 4027 - 4015. Sort 0, 3, x, 5 in ascending order.
0, 3, 5, x
Let d = 64 + -63.8. Let t be 3/4*1/5. Let i(m) = -8*m**3 - 26*m**2 - 2*m + 7. Let n be i(-3). Sort n, d, t in descending order.
d, t, n
Let k(j) = -j**3 - 27*j**2 + 28*j + 4. Let u be k(-28). Sort 0, 6, u, -108 in decreasing order.
6, u, 0, -108
Suppose -y - 4*g = 19, -3*g + 12 - 27 = 0. Sort 7, 0, 2, y, -1 in descending order.
7, 2, y, 0, -1
Let b = -85 - 318. Let d = 385 + b. Put d, -1/2, 2 in decreasing order.
2, -1/2, d
Suppose 4*s - t = 116, 4*t - 72 = -2*s + t. Put 1, 3, -5, 0, s in ascending order.
-5, 0, 1, 3, s
Let r = 19225 - 19221. Put r, 0.15, 2/11 in decreasing order.
r, 2/11, 0.15
Let j = 0.4 + -0.3. Let q(y) = -12*y + 177. Let o be q(20). Let f be (6/5 - 1)/(21/o). Sort -1/22, j, f in decreasing order.
j, -1/22, f
Let u(b) = -b**2 + 14*b - 38. Let f be u(3). Suppose -4*r = 5*a - 4, -2*r + 2*a - 2 = -4*r. Sort r, f, -4.
f, -4, r
Let o(s) = 3*s - 13. Let m be o(5). Let u be 391/(-357) - m/(-21). Sort -18, 0, u in ascending order.
-18, u, 0
Let n(r) = -6*r**2 - 141*r - 72. Let h be n(-23). Sort 12, 4, h, 2/9, 0.5.
h, 2/9, 0.5, 4, 12
Let i(o) = -118*o + 947. Let t be i(8). Sort -5, t, 4, -3, -7 in decreasing order.
4, t, -3, -5, -7
Let n = 0.24 + 0.06. Let d = 13.2 - 26. Let i = -14 - d. Put 0.1, i, n in decreasing order.
n, 0.1, i
Let m = -5178 - -5177.5. Suppose 9 = 4*x + 13. Let n be x*((-1)/(-4) - 0). Sort 3, m, n in decreasing order.
3, n, m
Suppose -2*o - 2*p = -0*p + 36, -p = 4*o + 57. Let m be (o/(-3) - 1)*(-24)/(-20). Sort m, -4, 5, -8 in descending order.
5, m, -4, -8
Let j = 100 - 105. Let p = 28 + -24. Let b = p + -6. Sort b, j, 0 in ascending order.
j, b, 0
Let m = 6.9 + -7. Let h = -0.052172 - -13.052172. Sort 0.07, m, h in increasing order.
m, 0.07, h
Suppose 755 + 520 = 3*s. Let l = s - 416. Sort -3/4, 1/3, l in descending order.
l, 1/3, -3/4
Let k = 189.65 + -181. Let x = k - -2.35. Put x, -1, -1/2, 0.1 in increasing order.
-1, -1/2, 0.1, x
Suppose 17*w - 80 = 22. Suppose 12 = -w*m - 12. Sort -5, 5, m, 1.
-5, m, 1, 5
Suppose 4 = 2*q, -5*n = q + 3*q + 332. Let j be n/170 + 27/5. Let k(x) = x + 6. Let u be k(-6). Sort j, -11, u, 2 in descending order.
j, 2, u, -11
Suppose -7 = -60*r + 20 + 33. Sort 5, 313, r.
r, 5, 313
Let f be 12*1 + (38 + -29 - 15). Sort f, -85, 3, -1, 5 in descending order.
f, 5, 3, -1, -85
Let i = 107/2 - 55. Let z(d) = d - 5. Let y be z(9). Let x = y - 8. Put -3, i, -2/13, x in decreasing order.
-2/13, i, -3, x
Suppose -7*y = -5*n - 3*y + 3026, 0 = -3*n + 4*y + 1814. Suppose -3*i - 594 = -n. Sort -4, i, -3, 6 in decreasing order.
6, i, -3, -4
Suppose -67*z + z - 45*z + 555 = 0. Put -3, 9, z, 10, -4 in ascending order.
-4, -3, z, 9, 10
Let c = 212.751 - -0.249. Let r = 222 - c. Sort r, 5, -2/11.
-2/11, 5, r
Suppose -6*d + 15 = 4*m - 3*d, 3 = 3*d. Suppose -m = 21*s - 22*s. Let f be (5/2)/(1/(-2)). Sort f, s, 5.
f, s, 5
Let l = 0.5 + -0.7. Let m = -6.03399 + 0.03399. Sort l, -0.5, m in decreasing order.
l, -0.5, m
Suppose 0 = 4495*t - 4486*t - 45. Let u(d) = 11*d - 4. Let n be u(0). Let i = -7 + 5. Sort n, -11, t, i in ascending order.
-11, n, i, t
Let k = -5426.9 - -5427. Put 2/15, k, 1, 1.5 in descending order.
1.5, 1, 2/15, k
Let q = -591.591 - -592. Let p = q - 0.109. Put -6, -0.1, 0.1, p in descending order.
p, 0.1, -0.1, -6
Suppose 148*y + 56*y = 612. Sort 7, 0.3, y, -5, 5/27 in descending order.
7, y, 0.3, 5/27, -5
Let z be -1*6 + (6 - 2). Let n = -1.85 + 2.25. Sort n, z, 2, 3.
z, n, 2, 3
Let p be (-14)/49 + 368/14. Let i be 4/26 - ((-269)/p + 9). Sort 1/5, -2, i, -4 in descending order.
i, 1/5, -2, -4
Let p be 489/(-326) - ((-22)/4)/1. Let f = 4 - 6. Put 2, -6, p, f in decreasing order.
p, 2, f, -6
Let w = 16249 - 16248.89. Put w, -1/5, 2/55 in ascending order.
-1/5, 2/55, w
Let k = -2323 - -18583/8. Sort -2/5, -14, k.
-14, -2/5, k
Let j(x) = -x + 21. Let g be j(21). Suppose g = -5*d - 77 - 48. Let r be 1/((2/(-10))/((-40)/d)). Sort 2/5, r, 5.
r, 2/5, 5
Suppose -3*b + 98 = -16. Suppose 2*v = -4*a + b, 2*a - 37 - 39 = -4*v. Let x = -15 + v. 