 -3*s - 24. Let d = -8.8 - -27.3. Let j = d + -18. Put z, -0.07, j in descending order.
z, j, -0.07
Let o be (64/20 + -2)/(4/10). Let j be 4 - ((0 - -4 - 6) + 1). Sort o, j, 1 in decreasing order.
j, o, 1
Suppose -315*p = -220*p. Put -3, -192, p in ascending order.
-192, -3, p
Let x = 14081 - 14086. Let r = -0.8 - -1. Put 0.05, 5, x, r in decreasing order.
5, r, 0.05, x
Let j be ((-828)/(-72))/(3 + 30/(-12)). Sort -5, 5, j.
-5, 5, j
Let x(d) = -2*d**3 - 8*d**2 - 8*d - 94. Let q be x(-5). Sort 3, q, 0, -5, -14.
-14, -5, q, 0, 3
Let s = 43.76 + -50.36. Put 0.07, 0.4, s in descending order.
0.4, 0.07, s
Let b = -234 - -249. Suppose -5*g + 25 = -3*v, 4*v + b = 3*g - 11. Sort 4, 3, g, -4 in descending order.
4, 3, g, -4
Suppose 2*w - 3*w - 2 = 0. Let d = 2288 + -2291. Sort d, w, 10, 5 in descending order.
10, 5, w, d
Suppose 13*i - 9174 = -9811. Put 1/2, 4, -4, i, -2/9 in increasing order.
i, -4, -2/9, 1/2, 4
Let q = -2130.56 + 2130.6. Let i = 3 + 21. Put i, q, -3 in increasing order.
-3, q, i
Let u = 2 - 1. Suppose 2*m + 180 - 8 = -17*b, 5*m = -b - 98. Sort b, u, 0, 9 in ascending order.
b, 0, u, 9
Let b(c) = -c + 1. Let a be b(1). Let r(z) = 17*z - 44. Let n be r(4). Let y = n + -21. Sort -4, y, a in descending order.
y, a, -4
Let z(r) = -3*r**3 + 9*r**2 + 4*r - 2. Let v be z(4). Let u be 1 + (140/v - (-1 + -2)). Let b be ((-12)/(-3) - 3)/(-1). Sort u, b, 2, 3/4 in descending order.
2, 3/4, u, b
Let w = -3.582 - -0.582. Sort 273, w, 1/6 in ascending order.
w, 1/6, 273
Let k(v) = 27 + 22 - v - 41. Let t be k(3). Let r = t - 6. Put 1, -5, 0, r in increasing order.
-5, r, 0, 1
Let r be 11 - (29 + (-5 - 10)). Put 32, r, 5 in descending order.
32, 5, r
Let m = 4.4 + -0.4. Let b = 142 + -141.734. Let y = 0.134 + b. Sort m, y, 1, 0.1.
0.1, y, 1, m
Let v be (48 - 2)*9/6. Suppose 0 = 3*l - 60 + v. Sort l, 5, 1, 0 in decreasing order.
5, 1, 0, l
Suppose -39 = 5*k + 2*d, 25 = -332*k + 334*k - 5*d. Sort 5, -2, k, 14, 2 in ascending order.
k, -2, 2, 5, 14
Let x be (-76)/152*(-1)/(2194/2). Sort x, -5, 1 in decreasing order.
1, x, -5
Let g = 320 - 308. Suppose g = -4*v - 4*m - 0, -3*v - 39 = -3*m. Let f(r) = 2*r + 9. Let s be f(-7). Sort s, v, 5, -2 in decreasing order.
5, -2, s, v
Let r(b) = -b**2 + 22*b - 10. Let n be r(21). Suppose -n + 29 = -6*f. Let o = -2 + 2.4. Put o, f, -1.1, -4 in descending order.
o, -1.1, f, -4
Let r be (-28)/((-560)/(-30)) - (2 - (-9)/(-3)). Put -0.6, 34, -4, r in increasing order.
-4, -0.6, r, 34
Suppose 12 + 0 = -d + 3*x, -3*x + 9 = -2*d. Suppose -6 = -2*y, 15*y = -5*u + 14*y + 133. Sort d, -2, u.
-2, d, u
Suppose -5*i - i + 30 = 0. Suppose -1044 = -44*t + 32*t. Sort 0, i, t in decreasing order.
t, i, 0
Let c = -2365 - -2362. Sort 4, -1/54, c in descending order.
4, -1/54, c
Let u = -816 + 815.9. Sort 2/5, 0.3, 3.84, 1, u in descending order.
3.84, 1, 2/5, 0.3, u
Let n = 22.8 + -2.4. Let u = n + -20.8. Sort -12/7, -0.2, u.
-12/7, u, -0.2
Let i be ((-8)/3 - -1)*-3. Let z = -9 + 51. Suppose -20 = z*v - 38*v. Sort v, i, 6.
v, i, 6
Let y = 50.4 - 50. Let x be 6/34*6/9. Let a(r) = r**3 + 7*r**2 - 29*r + 8. Let m be a(-10). Sort m, y, x, 0.
m, 0, x, y
Let o be ((-3)/5)/(24/20 - 1). Let x(w) = -2*w**3 - 18*w**2 + 18*w - 22. Let n be x(-10). Sort o, -4, -6, n in descending order.
n, o, -4, -6
Let g be (-1212)/3232 - 1*(-2)/8. Sort 4, -5/6, 1/3, -1, g in increasing order.
-1, -5/6, g, 1/3, 4
Let d = -8 + 3. Let v be ((-223)/5 - 7) + 2/(-5). Sort d, 0, -2, v in descending order.
0, -2, d, v
Let m = 20 - 75. Let b = 53 + m. Let k be ((6/27)/b)/1. Sort k, -1, -5/6 in decreasing order.
k, -5/6, -1
Let w be 3 - 71/7 - 22/(-154). Put 1, -1, w, 5, 3 in ascending order.
w, -1, 1, 3, 5
Let j = 262 - 263. Suppose 0 = 5*a + 746 + 1229. Sort a, 2, j in ascending order.
a, j, 2
Let a be (-540)/81*(-18)/5. Suppose -x - a = -5*h + 2, 5*x + 10 = h. Sort x, -1/5, 42 in decreasing order.
42, -1/5, x
Suppose -10*r + 20620 = 20530. Put -5, r, -1/6, -2 in descending order.
r, -1/6, -2, -5
Let s = 0.48 - 0.08. Let c = -1704.15 + 1704. Put 0, s, c in descending order.
s, 0, c
Suppose -21 = 3*s - 2*g, 2*s + 5*g - 2 = g. Suppose -5883*c + 296*c = 59*c + 169380. Sort c, 4, -3, s.
c, s, -3, 4
Let l = 16.91 + -17.21. Suppose 2*j + 12 = 5*j. Let f be ((-30)/4)/(6/(-8)). Put j, l, 2/17, f in ascending order.
l, 2/17, j, f
Let x = 0.4395 + -0.1395. Sort 5, x, 1, 20 in decreasing order.
20, 5, 1, x
Let p be ((-4)/(-6))/(2*(-2)/18). Let a be (-4)/6 - p/(-9). Let w be (3 - (-4 + 4)) + 0. Put w, 4, a in increasing order.
a, w, 4
Let y = 127.077 - 127. Let g = -24.923 - y. Let f = g - -24. Sort f, 0.3, 0.7 in ascending order.
f, 0.3, 0.7
Let i be 1 + (882/(-290))/3. Let h be (-8927)/553 - (2 + -18). Put 0.1, h, i in ascending order.
h, i, 0.1
Suppose -29 = -19*p + 9. Let h be (-1092)/(-44) - 10/(-55). Sort -1, p, 0, h.
-1, 0, p, h
Let x(n) = 80*n + 230. Let d be x(-3). Suppose 6*r + 2*r = -8. Suppose -m = 1 - 3. Sort m, r, -3, d in decreasing order.
m, r, -3, d
Let l = -0.045 + 0.135. Let c = 1.59 - l. Put -4, c, 0.5 in decreasing order.
c, 0.5, -4
Suppose -r + 18 = 3*j, -4*j - 30 = 2*r - 9*j. Sort 0.3, 2.6, 0.2, r, -0.1.
-0.1, r, 0.2, 0.3, 2.6
Suppose 24 + 72 = 24*g. Sort -10, 0, g, -2, -4.
-10, -4, -2, 0, g
Suppose -12*x + 90 = -13*x + 16*x. Let c(a) be the first derivative of -a**2 + 14*a - 1. Let f be c(x). Put f, 5, 7, -2 in decreasing order.
7, 5, f, -2
Let k be 92/(-14) - (16 + -21). Let q = 3452/7 + -495. Let m = q - k. Sort m, -0.04, -4, -0.3 in descending order.
-0.04, m, -0.3, -4
Let a = 3.7934 - 3.7344. Let t = -452/35 + 66/5. Let q = -37 - -37.2. Sort t, a, q in descending order.
t, q, a
Suppose 0 = -2*p - h - 5, 5*h - 11 = -3*p + 5*p. Put 1, p, 25, 5 in decreasing order.
25, 5, 1, p
Suppose 2*x - 4*h = -8, x = 4*h - 31 + 19. Suppose x*c + 0*c = 0, -3*c + 5 = -5*s. Let l = 8 - 6. Sort l, s, -1/7, -5.
-5, s, -1/7, l
Let z = -1258 - -1271.79. Let d = -14.7 + z. Let g = -0.41 - d. Sort g, -1, 0.2 in decreasing order.
g, 0.2, -1
Let w be 161/(-23) - (-7 + 2 + 2). Let s be ((w - 5) + 10)*3. Let c be 4/6 + 2/6. Sort c, s, -1 in descending order.
s, c, -1
Let g = 260 - -265. Let j = g - 524. Sort 0, -2/9, j in decreasing order.
j, 0, -2/9
Suppose -7*m + 93 = 16. Suppose -6 = m*d - 17*d. Sort d, -1, 2 in decreasing order.
2, d, -1
Let c = 30 + -28. Let y(o) = -9*o - 9. Let r be y(-3). Suppose 8*m = -m - r. Put m, 3, c in descending order.
3, c, m
Let z = 12 + -7. Suppose 0 = -z*w - 0*w - 15. Let d be 48/(42/7) - (2 + 2). Sort d, w, 21.
w, d, 21
Let o = 51 + -50.5. Let c = 0.9538 - -0.0462. Sort o, 2/9, c, 0.3.
2/9, 0.3, o, c
Let j(m) = 1930*m - 9645. Let y be j(5). Put y, 37/6, 12 in decreasing order.
12, 37/6, y
Suppose 398*p - 624 = 86*p. Suppose -5*c - 16 - 9 = 0. Sort c, 5, p, -7 in descending order.
5, p, c, -7
Let t(x) = -4*x**2 + 63*x + 17. Let z be t(16). Suppose f + 39 = -2*f - 3*o, 4*o - 39 = 3*f. Let k = -10 - f. Put z, k, -10 in decreasing order.
k, z, -10
Let b(n) = -n**2 + 8*n + 7. Let l be b(9). Let f = -43 + 42.61. Let o = 5.39 + f. Sort l, -2/7, o in ascending order.
l, -2/7, o
Let z = 20743/176460 - -1/10380. Sort 145, -0.1, z in increasing order.
-0.1, z, 145
Suppose -880 = -20*b - 980. Put 4, b, 17531 in increasing order.
b, 4, 17531
Let n = -12 - -3. Let s(g) = 39*g**3 + g**2 - g - 1. Let u be s(1). Suppose 0 = 6*z + 68 - u. Put 3, z, n in decreasing order.
3, z, n
Let x = 30.148 - 28.848. Let f = -413 + 7023/17. Sort x, -1, f in decreasing order.
x, f, -1
Let r be 6/(-9)*(-6)/(-28). Let s = 104 - 106. Sort s, r, 0, -11 in decreasing order.
0, r, s, -11
Suppose -c = -t - 4, 2*c - 5*c - 2*t + 27 = 0. Sort c, 5, 3, -1 in descending order.
c, 5, 3, -1
Suppose 5*j + 14 + 76 = 0. Let m = 117 + -151. Let q(u) = 2*u**2 + 68*u - 3. Let l be q(m). Put j, -1, l in decreasing order.
-1, l, j
Let u = 139/10 + -67/5. Let a = 864583/6248 + -2/781. Let f = a + -138. Put f, -4, -0.2, u in increasing order.
-4, -0.2, f, u
Let a = -1171/2 + 2341/4. Sort a, -4, -165, -2 in decreasing order.
a, -2, -4, -165
Let x = -33 - -9. Suppose 24*f = 3*f. Sort x, -3, f in increasing order.
x, -3, f
Let v be (-7 + (-5)/((-1200)/1730))*(-4)/(-5). Sort -1/4, 3/4, -0.34, -13, v in decreasing order.
3/4, v, -1/4, -0.34, -13
Let k = -0.143 - 22.157. Let r = 22.6 + k. Put -5/4, -2/