 0 = a*o - 4*o. Suppose 5*s - 3*m - 70 = 0, 4*m = 4*s - 0*m - 64. Put s, 5, o in decreasing order.
s, 5, o
Let h be 6/9 - (-5)/(-3). Sort h, -3, -5, 2 in decreasing order.
2, h, -3, -5
Let z = -1.4 - 2.6. Let j = -7/9 - -17/18. Put -0.04, z, j in decreasing order.
j, -0.04, z
Let j = 0.1 - 0.35. Let w = 50.95 + -51. Let m = j - w. Put -1/4, m, 0 in decreasing order.
0, m, -1/4
Let r = 0.01 - -6.99. Let b = r + -4. Let o = 11 - 16. Sort b, -1, o.
o, -1, b
Let z = 1/604 + 8429/16308. Let c be (-2)/(-10) + 208/(-1890). Let q = c - z. Sort -2/25, q, -0.4 in ascending order.
q, -0.4, -2/25
Let x be (10/4 - 3)/2. Suppose -3*f + 0*f = -147. Let h = -293/6 + f. Sort x, 2/15, h in increasing order.
x, 2/15, h
Let k = 17 + -21. Let n = 4 - 9. Let m = -1 - -1. Put m, k, n in descending order.
m, k, n
Suppose 0 = -t + 3*t + 8. Put -21, -3, t in descending order.
-3, t, -21
Let s be 3 - ((-2)/25 - (-67)/25). Put -121, -3, s, -0.5 in descending order.
s, -0.5, -3, -121
Let c = 21 + -20. Let n be ((-3)/(9/(-15)))/c. Sort n, 3, 0.
0, 3, n
Let z = 0 + 0.2. Let f = 0.8 - 0.727. Let o = f + -0.273. Put o, 0, z in ascending order.
o, 0, z
Let s = 0 - -26. Let l = -9.9 + 30.9. Let d = l - s. Put -22, d, 1 in decreasing order.
1, d, -22
Let r = -35 - -33.7. Let p = 6.7 + -7. Let y be 4/(-8) + (-5)/(-6). Sort y, r, p in ascending order.
r, p, y
Let r be (-290)/(-4) + 9/(-18). Let w = -218/3 + r. Let v = 25/6 - 9/2. Sort w, v, 0.3 in ascending order.
w, v, 0.3
Let y = 813 + -822. Suppose 5*u + 4*q = -25, u + 2*q = -3*u - 20. Put u, y, 5 in ascending order.
y, u, 5
Let n = -0.114 + -1.886. Sort n, -1/6, -1/4 in ascending order.
n, -1/4, -1/6
Let h(f) = f**3 - 2*f**2 - 7. Let o be h(3). Sort 7, 7/6, 2/3, o in decreasing order.
7, o, 7/6, 2/3
Suppose 5 + 0 = 5*x. Suppose -4*k - 8 = -4. Let y be k + (3 - (-2 - 0)). Sort x, y, 3 in descending order.
y, 3, x
Suppose 12*a = -3*a - 840. Sort -2, 3, a.
a, -2, 3
Let p = 189 - 185.04. Let s = 0.34 - 0.3. Let v = p + s. Put v, 3, 5/4 in descending order.
v, 3, 5/4
Let a = 11.73 + -12.13. Sort 3/2, a, 3/365 in descending order.
3/2, 3/365, a
Let f = -19.2 - -1.2. Let g = f - -20. Sort g, -2, -0.2.
-2, -0.2, g
Let s = 257.5 - 257.3. Put 0.07, 23, s, -0.1 in increasing order.
-0.1, 0.07, s, 23
Let m = -5 - -8. Let j(z) = -4*z + 41. Let q be j(11). Sort m, -4, 0, q.
-4, q, 0, m
Let t = 2.5 - 0.1. Let h = t - 2.29. Let i = -4.11 + h. Put i, 5, 0.2 in decreasing order.
5, 0.2, i
Let j be 2/(-4) + 55/10. Suppose -18 = -175*w + 193*w. Let t be 1/4 - 39/12. Put w, j, t in decreasing order.
j, w, t
Suppose -13*b - 1 = -53. Sort 16, 0, b.
0, b, 16
Let a = -358 + 356. Sort 2, 4, -1, a in ascending order.
a, -1, 2, 4
Let p = -568.8 - -569. Put 2, 0.02, 2/7, p in increasing order.
0.02, p, 2/7, 2
Suppose -3*c = 4*p + 11, 0 = 3*p - c - 0 + 18. Let x = p - -10. Put x, -4, -2 in decreasing order.
x, -2, -4
Let y = 3/130 + -8/65. Sort -2/15, y, -0.3.
-0.3, -2/15, y
Let j be (-14)/(-4)*468/273. Sort -16, j, 0.
-16, 0, j
Let z be (-3 + 6/(-10))*(-91)/(-21). Sort z, -0.3, -3 in descending order.
-0.3, -3, z
Let u = -0.6 - -0.3. Let a = -0.2 + u. Let y(f) = 3*f**2 - 217*f - 217. Let w be y(-1). Sort 3/2, a, w in descending order.
w, 3/2, a
Let x be (-22)/165 - 74/(-105). Put x, -2, -46/3, -3/8 in ascending order.
-46/3, -2, -3/8, x
Suppose 0 = -3*q - 20 + 8. Let s be (14/(-6) - -2) + 140/(-21). Sort s, q, 2, 5 in decreasing order.
5, 2, q, s
Let i = -1019 - -1018.9. Put 6, 0.4, i in decreasing order.
6, 0.4, i
Let q = 28.5 - 5.5. Let n = q - 20.94. Let z = 0.06 - n. Sort z, 1, 1/4.
z, 1/4, 1
Let v(j) = -2*j**3 + j. Let u be v(1). Let x = 385 + -390. Put u, x, -3, 4 in increasing order.
x, -3, u, 4
Suppose 2*j + 0 = -4. Suppose -3*v - 3*o - 18 = 0, -4*v - v + 2*o = -5. Let g be (1/(-1))/(v/(-3)). Sort j, g, 2.
g, j, 2
Suppose 0 = -j + 3*p - 1, 0*j - 5*p + 4 = -2*j. Sort -14, j, -4 in descending order.
-4, j, -14
Suppose -5*g + 212 = 172. Let t be 4/g - ((-9)/6)/(-3). Sort 3, t, 5, -1 in ascending order.
-1, t, 3, 5
Let k = 180 - 896/5. Let n = 401900/1743 + -1614/7. Let o = -755/996 + n. Sort k, o, 1/11 in decreasing order.
k, 1/11, o
Let k be (2/5)/(1128/470). Let o = -67405/6 - -11180. Let v = o + 54. Sort k, 0, v.
v, 0, k
Suppose -24*h + 25*h = 5*o + 6, 5*h - 6 = o. Put 1, 68, -5, o in ascending order.
-5, o, 1, 68
Suppose 2 = 6*h + 26. Let f(v) = v - 6. Let r(i) = i - 1. Let y(g) = -f(g) - r(g). Let l be y(5). Sort h, l, 4 in descending order.
4, l, h
Let u be ((-1)/(-5) - (-354)/105) + -4. Let c = -3 + 3.3. Let l = c - 0.7. Sort u, l, -1 in increasing order.
-1, u, l
Suppose 0 = -3*b + 5*t - 9, -2*b - 11 = -3*b - 3*t. Let f be -5*((-48)/20)/4*1. Suppose -3*r - 3 = -18. Sort f, r, b.
b, f, r
Let p be 120/(-400) - (-126)/20. Suppose -t - 2*t = 6. Sort p, 3, t in increasing order.
t, 3, p
Suppose 25*g + 23 = -52. Put -13, g, 4, 1 in descending order.
4, 1, g, -13
Let i = 4 - 3. Let l(g) = -g**3 + 9*g**2 - 7*g - 7. Let k be l(7). Let n be k/18 + 1/(-3). Sort i, 4, n.
i, n, 4
Suppose -2*z = -5*z - 6, 1 = 3*y - 2*z. Sort -5, 1, y, 4.
-5, y, 1, 4
Let u = 16.7 + -0.7. Let x = 13 - u. Sort 0.3, -1/4, x in increasing order.
x, -1/4, 0.3
Suppose 0 = 2*j - 5*z + 34, 2*j + 27 - 1 = z. Let l(k) = -2*k**2 + 6*k + 33. Let s be l(6). Let m be (-63)/140 + s/j. Put 2, 1, m in descending order.
2, 1, m
Let x = 0.321 - 2.021. Sort 0.2, x, 3/7 in ascending order.
x, 0.2, 3/7
Let c = 8/2981 - 14929/8943. Let i be (-3)/93*(-1 + -1). Sort i, 0.5, c.
c, i, 0.5
Let v(o) be the first derivative of -o**3/3 + 3*o**2/2 - 4*o + 1. Let p be v(5). Let s be 1 - 8/p - 2. Put -5, s, -0.4 in increasing order.
-5, s, -0.4
Let u(o) = -5 + 11 - 2*o**3 + 3*o**3 - 2*o**3 - 3*o**2. Let j be u(-3). Suppose 2*v - 4*t = -0*v + 6, -t - j = -5*v. Sort v, 6, -2.
-2, v, 6
Let r be (6/16)/((-35)/(-3108)). Let s = r + -65/2. Sort s, -0.4, 1 in decreasing order.
1, s, -0.4
Let k = -2.937 - -0.037. Let z = -16.9 - k. Let a = z + 13.8. Sort a, -4, 0.3 in descending order.
0.3, a, -4
Let j = -263 + 262.5. Sort -3, -5, j, -1/9 in increasing order.
-5, -3, j, -1/9
Let s be (6/8)/(7/28). Let v = 177 - 176.7. Sort v, -5, s, -2/3 in decreasing order.
s, v, -2/3, -5
Let i be 10/(-2)*(-2 + 16)/14. Let k = 9 - 6. Put i, k, 1 in ascending order.
i, 1, k
Suppose 8*w - 24 = 4*w. Suppose w = 7*i - 4*i. Suppose 12 = -4*v - 4*j, -5*v - 10 - 11 = 2*j. Sort 4, v, i in ascending order.
v, i, 4
Let d = 1340 - 1334. Sort 0, 12, 3, d in descending order.
12, d, 3, 0
Let f be -5*(-4 - -5) + (8 - 4). Put -5, f, 4, -2 in increasing order.
-5, -2, f, 4
Let z = 288.4 + -288. Sort z, 0.5, 5/6 in decreasing order.
5/6, 0.5, z
Let k = -0.02 - -4.02. Let x(c) = c**2 + 8*c + 10. Let o be x(-5). Let p be o/((-45)/39) - 4. Put -2, k, p in decreasing order.
k, p, -2
Let h = -6 + 4. Let q be ((-2)/(-3)*6)/(-3). Sort q, -2/49, h.
h, q, -2/49
Let b = 7.12 - 5.42. Sort b, 0, -3/4 in decreasing order.
b, 0, -3/4
Let k be ((-22)/6)/(33/198). Sort -3/2, -2/13, k in decreasing order.
-2/13, -3/2, k
Let o be (-1)/3 - (-2)/(-3). Let m be 40/(-70) + (-6)/14. Let p be 29/(-9) - ((-2)/(-9))/m. Sort p, 4, o in decreasing order.
4, o, p
Let t = -117 + 113. Sort 4, 3, t in descending order.
4, 3, t
Let b be 1/(-2)*1 - -1. Let y = -41/140 - -5/28. Let v = -2/105 - y. Sort v, 1/5, b.
v, 1/5, b
Let z = 4 - 3. Let c = -10 - -13. Suppose 4*t - c = 5. Sort z, t, 3 in decreasing order.
3, t, z
Let b = 14.05 - 14.2. Sort 2/7, b, 1, 0 in decreasing order.
1, 2/7, 0, b
Suppose 0 = -5*c + 5*w, c + 4*c = -w. Suppose 5*j + 1 + 4 = v, 0 = j + 5*v + 27. Sort -5, c, -10, j in ascending order.
-10, -5, j, c
Let g(h) = -25*h - 201. Let p be g(-9). Put p, 5, -3 in increasing order.
-3, 5, p
Let m(u) = 3*u + 68. Let r be m(-21). Sort 24, r, 8 in increasing order.
r, 8, 24
Let x = 538 - 539. Sort x, -10, 0 in ascending order.
-10, x, 0
Let g(o) = 3*o**2 - 2*o + 1. Let b(q) = -q**2 - q + 1. Let y(i) = 4*b(i) + g(i). Let d be y(-7). Suppose 3*w = -2*w + 20. Sort d, w, -5.
-5, d, w
Let a = -0.06 - -0.46. Let q = 17.3 - 13.3. Let j = -3 + -1. Sort q, j, a in ascending order.
j, a, q
Let o(c) = -c**2 - 3*c + 25. Let m be o(-7). Suppose 0*g = g - 5. Put -2, g, m in ascending order.
m, -2, g
Let y = -290 + 289. Let z = -8 + 11. Sort z, -6, y in descending order.
z, y, -6
L