 = -o. Sort c, 4, h in decreasing order.
c, 4, h
Let n = -209 + 204. Sort -3, -1, -7, n.
-7, n, -3, -1
Suppose -5 = -4*p - 3*n, -p - 7 = -6*p - 3*n. Let c = 299 + -299.1. Sort c, 2/9, p.
c, 2/9, p
Let h = 452.88 - 456. Sort 1/2, -2, h.
h, -2, 1/2
Let c = -0.247 - -0.147. Let n = -0.16 - 0.84. Let r = n + 3. Sort c, r, -1/9 in increasing order.
-1/9, c, r
Let d = 121.5 - 106. Let p = -31 + 16. Let x = d + p. Put 3, x, 0.3 in ascending order.
0.3, x, 3
Suppose -u + 0*u - 5*j = 0, 5*j = -3*u - 10. Put 18, 4, 5, u in descending order.
18, 5, 4, u
Let s = 469 + -471. Put 5, 36, s in ascending order.
s, 5, 36
Let y(t) = -5*t - 27. Let m be y(-7). Suppose -m - 22 = 10*f. Let k be (-9)/(-21) - (0 - -1). Sort k, 1/9, f.
f, k, 1/9
Let j be -5 - (-6)/3 - 1. Let f be j/(-3)*(0 + -3). Let g be -5 - (1/1)/1. Sort 5, f, g in descending order.
5, f, g
Let q be 7/(-3773)*-329 - (-6)/(-33). Sort 2, -924, q in descending order.
2, q, -924
Let r = 18/167 + 375/1169. Put 1, 0.1, r, -2/11 in descending order.
1, r, 0.1, -2/11
Let t(b) = -13*b + 2 + 2 + 12*b. Let g be t(2). Let x = -4 - -4. Sort x, g, 4 in decreasing order.
4, g, x
Let y be (-5 - 1)*6/(-9). Let k(w) = -w + 15. Let n be k(11). Let i(v) = 4*v - 14. Let f be i(n). Sort f, y, -2 in decreasing order.
y, f, -2
Let b = -25 - -27. Suppose 7 = -b*p + 5. Put p, 0.5, 3, -2/9 in ascending order.
p, -2/9, 0.5, 3
Let h = -100 - -96. Sort h, 3, 0, 1 in ascending order.
h, 0, 1, 3
Suppose -5*s + 2*j = -6*s - 6, 0 = -2*s - j - 6. Put 11, s, -0.1, -0.2 in decreasing order.
11, -0.1, -0.2, s
Let u = 5.6 + -3.6. Sort -0.2, -38, 0.4, u in ascending order.
-38, -0.2, 0.4, u
Let k = 17 - 9. Let s = 8 - k. Suppose -4*c = c + 20. Put c, s, 0.4 in decreasing order.
0.4, s, c
Let n = 29.74 - 30. Let l = n - 0.04. Let f be (-4)/(-18) - (-20)/(-180). Sort 2, l, f in descending order.
2, f, l
Let b = -33 - -21. Suppose -4*d + 2*d + 8 = 0. Let g be (2/d)/(10/b). Sort 0.05, g, -1.
-1, g, 0.05
Let q be (3/9)/((-1)/(-5)). Let p = -0.14 + -14.86. Let r = -12 - p. Sort r, q, -4 in descending order.
r, q, -4
Let p = 0.04 + 0.66. Let o be ((-1)/(-24)*9)/(36/24). Put o, 2, p in descending order.
2, p, o
Let p(i) = 88*i - 419. Let d be p(5). Sort -2, d, -4, -3.
-4, -3, -2, d
Let h = 54.4 - 211.4. Sort h, -5, 2/5.
h, -5, 2/5
Let a(h) = 2*h**2 - 4*h - 5. Let t be a(4). Let p = -2 + t. Let u = 6176 - 6175. Put 4, p, u in increasing order.
u, 4, p
Let x(l) = 2*l**2 - 4*l. Let h be x(-3). Let s be (12/h)/((-1)/10). Sort -3, s, 0.
s, -3, 0
Let m = -7.7 + 7. Let i = -58 + 54.3. Let a = m - i. Put 8, a, -4 in decreasing order.
8, a, -4
Let f = 12.69 + 1.81. Let b = 1.7 - 15.7. Let n = f + b. Sort n, -0.4, -2/3 in decreasing order.
n, -0.4, -2/3
Let s = 1916 - 1912. Sort 0.9, 18, s.
0.9, s, 18
Let g = 1027 + -1051. Suppose 5*v + 4 = 5*j + 14, 3*j = 0. Sort v, g, -1 in descending order.
v, -1, g
Let u = 1.4 - -0.4. Let a = -2.1 + u. Let d be -2 - 29/(-8) - 2. Sort d, a, -0.5 in ascending order.
-0.5, d, a
Let p be 6/(-10) + 336/35. Let v(r) = -r + 13. Let a be v(p). Sort -15, 1, a in decreasing order.
a, 1, -15
Suppose 6*k - 3*k = 0. Suppose -11 = -5*z - 2*o + 3*o, k = 2*z - 3*o + 6. Put -7/4, 0.3, z in decreasing order.
z, 0.3, -7/4
Let a(k) = k**3 + 12*k**2 + 12*k + 16. Let m be a(-11). Suppose m = -0*z + z. Suppose -1 = -z*g + 9. Put 3, g, 0 in decreasing order.
3, g, 0
Let f = -0.6 - -0.3. Let j = 135 + -286. Let i = 152 + j. Sort i, f, 2/17.
f, 2/17, i
Let z be ((-4)/10 + 2)*(-115)/46. Put z, 3, 1, 15 in ascending order.
z, 1, 3, 15
Let a be (7 - 1)*((-15)/6)/5. Let n be (3/a)/(3/(-6)). Let v be -1 + (-3)/((-6)/(-8)). Sort -3, n, v in descending order.
n, -3, v
Let i be -34*(-1)/3 - (-14)/21. Let m be i/(-15) - 9/(-30). Sort m, 0.2, 1/7 in descending order.
0.2, 1/7, m
Suppose 21*h - 23*h = 2*s - 34, -49 = -5*s + 4*h. Sort 4, s, 1 in descending order.
s, 4, 1
Let n = -3554 + 3554.1. Suppose 2*r + 16 = 2*s, 2*s + 0*r = -2*r. Sort s, n, 0.
0, n, s
Let j(r) = r**3 - 3*r**2 - 3*r - 3. Let g be j(4). Suppose -2*t + 2 - g = 3*d, -5*d = -4*t + 13. Let a be 9/(9/(-63)*-21). Sort a, -3, d in increasing order.
-3, d, a
Suppose -4*r + 5*n = -12, -2 - 7 = -3*r - 4*n. Suppose -b - 4 = -3*b - r*j, 4*b + 28 = 3*j. Sort 4, -3, 0, b in descending order.
4, 0, -3, b
Let g = -491/5 - -99. Let a = -2103 + 2103.1. Put g, a, -2/11 in descending order.
g, a, -2/11
Let j = 3 + -3. Let l = -0.02 + 0.32. Let q be (-96)/44 + (5 - (7 + -4)). Sort q, j, l in descending order.
l, j, q
Suppose 11*j + 8*j + 38 = 0. Put -5, j, -0.5, 6/11 in descending order.
6/11, -0.5, j, -5
Let o = 0.895 - 1.095. Sort 6, 4/9, o.
o, 4/9, 6
Suppose 4*p + 2*l = 37 + 3, l + 28 = 2*p. Let x = p - 8. Let d be 18/(-12)*(-10)/3. Sort x, 1, d.
1, x, d
Suppose 21*q + 355 = -50*q. Sort q, 0.1, 3, -0.3 in ascending order.
q, -0.3, 0.1, 3
Let k be (-1)/4*(-6)/3. Let j = -50 - -148/3. Let m be 0/(-1)*(-7)/14. Sort m, j, k in decreasing order.
k, m, j
Let x = -56711/7 - -8101. Let r = -3/59 - 79/767. Put 10, r, -4/5, x in descending order.
10, r, x, -4/5
Let z(q) = 2*q**3 + 6*q**2 + q + 4. Let c be z(-2). Put -3, 1, c, 4 in descending order.
c, 4, 1, -3
Suppose -14*s - 24 = -11*s. Let c be 3*2/(1 - -1). Let i = c + s. Sort i, -1, -3 in descending order.
-1, -3, i
Let r = -0.4 + 0.3. Let v(y) = 2*y**3 + 2*y**2 - 1. Let x be v(1). Let p be ((-24)/(-18))/(26/x). Put 1/2, p, r in decreasing order.
1/2, p, r
Let c(l) = 2*l**3 - 2*l**2 + 2*l. Let h be c(1). Suppose w + 4 = h*w. Let t = -6.4 - 0.6. Put t, -3, w in increasing order.
t, -3, w
Let n = -8 - -13. Let r be (-18)/(-24)*(-6)/(-9)*1. Put r, -0.2, n in decreasing order.
n, r, -0.2
Let k be (-1)/((-2)/(-4)) + (-15 - -13). Put -1/3, k, -1.1, 3 in decreasing order.
3, -1/3, -1.1, k
Suppose -2 - 133 = -5*p - x, -79 = -3*p - x. Put 1, 4, -1, p in descending order.
p, 4, 1, -1
Suppose 21*t - 28 = -7. Sort -3, t, -4, 4 in descending order.
4, t, -3, -4
Suppose -2 - 4 = -3*i + 2*h, -2*h = 0. Sort 3, i, 0, 4 in decreasing order.
4, 3, i, 0
Let i = -183.2 - -0.2. Let j = 187 + i. Let d be -1 + (-16)/(-6) - 1. Put -0.3, d, j in ascending order.
-0.3, d, j
Let s be 8/(-10) - 352/110. Put 4, s, -2, -14 in decreasing order.
4, -2, s, -14
Let g(v) be the first derivative of -v**3/3 - 9*v**2/2 - 13*v - 5. Let m be g(-6). Sort 1.5, -1, m, 0.3 in descending order.
m, 1.5, 0.3, -1
Let r = -17150/3 - -5787. Let z = r - 69. Put -3/5, z, 0.1, -2/7 in descending order.
z, 0.1, -2/7, -3/5
Suppose 18 = -3*q + 6. Let i = q + 5. Suppose i = 5*m - 9. Sort 3, m, -4 in decreasing order.
3, m, -4
Let m be (-18)/(10 + -4) - (2 + -1). Suppose -9 + 4 = n - 2*o, -3*n = -2*o - 5. Sort 0, n, m.
m, 0, n
Let p = -7 + 9. Let j = -189 + 184. Sort p, j, 1 in decreasing order.
p, 1, j
Let u = 4 - 1. Let y(f) = 251*f - 999. Let z be y(4). Sort -1, z, u.
-1, u, z
Let b = -1.2 - -1.6. Put b, 0.1, -4, -5 in descending order.
b, 0.1, -4, -5
Let d be (-15)/(-3) + 0 + (-153)/34. Let q = -8.03 - -8. Let t = q - 0.17. Put t, d, -4 in increasing order.
-4, t, d
Let h = -13 + 25. Let j = 11.6 - h. Let g = j + 0.1. Sort -2, 3, g in descending order.
3, g, -2
Suppose -5*p = -139 - 111. Let g be (8/p)/(2/(-10)). Let v(d) = -d**2 + 8*d - 8. Let l be v(6). Sort 0, l, g in ascending order.
g, 0, l
Suppose 2*a = 5*t - 3*t + 194, -5*a = -3*t - 493. Suppose -a = -g - 104. Put g, -3/7, -5.3 in decreasing order.
-3/7, g, -5.3
Suppose 0 = 2*b, 2*b - 2 = 3*c + 1. Let j = -2.3 - -3.6. Put j, c, 1, -4 in increasing order.
-4, c, 1, j
Let j(p) = 2*p**3 + p**2 - 3*p + 2. Let i be j(1). Suppose -17*c = -5*c + 84. Sort i, c, -1.
c, -1, i
Suppose 8*r + 79 = 55. Sort 3/22, -2, r in ascending order.
r, -2, 3/22
Let b = 2 - -2. Let k be (-28)/(-210) + (68/(-60) - 1). Put 0, k, b in ascending order.
k, 0, b
Suppose -705 = 5*b - 2*y, 5*y - 142 = 2*b + 119. Sort 3, -4, b in increasing order.
b, -4, 3
Suppose -6 = 3*f + 3*y, 2*f + 4*y = -9 + 3. Let h(n) = 2*n**2 - 2*n. Let t be h(2). Let s = 0 - t. Sort f, s, 5 in increasing order.
s, f, 5
Suppose 30 = -13*c + 19*c. Let f be (-1)/(-2)*0 + -1. Suppose 2*x = -b - 2, -2*b = -7*b + 5*x + 50. Put b, c, f in ascending order.
f, c, b
Suppose 5*n + 6 = -2*f - 27, -21 = -f + 5*n. Let q(y) = y - 2. Let p be q(3). Suppose 3*g + 1 = 4*m - 0*g, -3*g = 9. Sort p, m, f in increasing order.
f, m