pose -128*h = -124*h + 16. Put h, -3, l, -1 in decreasing order.
-1, -3, h, l
Let i = -2605421 - -346516913/133. Let z = i + 214/7. Put -0.3, -3, z in decreasing order.
z, -0.3, -3
Let x(b) = 9*b + 214. Let w be x(-24). Sort 2/15, 2, w, 0.4 in ascending order.
w, 2/15, 0.4, 2
Suppose 14 = 2*l - 4*t, -3*t = -4*l + l + 18. Sort -92, l, 1 in decreasing order.
l, 1, -92
Let t be 1 - -5*(5 - 2 - 4). Suppose 5*s + 4*v = -27, -3 = 4*v - 11. Sort -1, t, -3, s in ascending order.
s, t, -3, -1
Let l = 827 + -822. Sort l, 12, 2 in increasing order.
2, l, 12
Let v = 2.9 + -3. Let h = 1013 - 2027/2. Sort 2/7, v, -1/6, h in decreasing order.
2/7, v, -1/6, h
Let n = 941 + -1042. Sort n, 2, -4 in decreasing order.
2, -4, n
Let p = -6 - -11. Let w(v) = v**2 - v - 8 + 10*v + 21. Let l be w(-7). Put 4, p, l in decreasing order.
p, 4, l
Let m = 0.01 + 16.99. Let d = m - -14. Let l = 23 - d. Sort -3, -1, l in increasing order.
l, -3, -1
Let f = -60 - -64. Suppose -3*y = f*b - 1 - 30, -2*b + 8 = 0. Suppose 0 = 5*o + 2*g - 3*g + 9, -2*g = 4*o + 10. Sort -1, o, y in decreasing order.
y, -1, o
Let h = -1035.08 + 1035. Sort 2, -15, h.
-15, h, 2
Let t = 0.2 - 0.22. Let k(v) = v**3 - 4*v**2 + 5. Let u be k(4). Let i(a) = a**2 - 5*a + 2. Let o be i(5). Sort u, o, t in decreasing order.
u, o, t
Let y = -146.5 + 146. Put -5, y, 0.23 in ascending order.
-5, y, 0.23
Let d = 11.9 + 58.1. Let m = d + -70.5. Put -5, 0.2, 0, m in decreasing order.
0.2, 0, m, -5
Let x be (-216)/22 + 1040/104. Sort -4, x, 0.2, -145 in increasing order.
-145, -4, x, 0.2
Suppose -2*q - 1 = -3*a + 4, 4*q + 2 = -2*a. Put a, 1/8, 2/9 in decreasing order.
a, 2/9, 1/8
Let w = 207.8 + -208. Let c = 0.3 - 0.4. Let i = w + c. Sort 3, -0.01, i in ascending order.
i, -0.01, 3
Let y be (1/4*6)/(6/218). Let j = 56 - y. Sort -1/6, j, 20 in increasing order.
-1/6, j, 20
Suppose -4*a - 94 = -2*t + 102, -3*a + 4*t = 157. Sort -5, -2, a, -1 in ascending order.
a, -5, -2, -1
Let s(o) = 7*o - 9*o + 3*o - 5 + o**2 + 0*o**2. Let i be s(2). Put 4, -1, i in descending order.
4, i, -1
Suppose 5*a = 7*a - 4. Let j be -8*3/(-6) + 0. Suppose 4*s + j = 24. Put -3, s, a in descending order.
s, a, -3
Let z be (2 + -1 - -3)/(104/(-78)). Put z, -4, -6, 3 in ascending order.
-6, -4, z, 3
Let z = -55 - -50. Suppose -3*y - b = -3*b - 2, -2*y = b - 6. Put z, y, 4 in ascending order.
z, y, 4
Let d = -284 + 291. Put -5, d, -3 in descending order.
d, -3, -5
Let l = -350 + 346. Sort l, -2, 17, 5 in ascending order.
l, -2, 5, 17
Suppose -192 = 4*h - 4*k, 5*h - 2*h + 3*k = -168. Let w = h - -56. Let q = -2 + 0. Sort 2, q, w.
q, 2, w
Let f = 47 - 38. Let j be ((-30)/9)/(6/f). Sort -2, 2, 11, j in ascending order.
j, -2, 2, 11
Suppose -40*d - 244 = -44. Sort -0.3, -0.07, -3/4, d in descending order.
-0.07, -0.3, -3/4, d
Let k be (15/20)/((27/(-8))/3). Sort 6, k, 5, -0.4 in increasing order.
k, -0.4, 5, 6
Let v(u) = u**3 - 8*u**2 + 8*u + 26. Let f be v(6). Put f, 5, -4, -3 in increasing order.
-4, -3, f, 5
Suppose 5*j - 5 = -2*d + d, -4*j = d - 5. Let h = -17 - -9. Let m = 4 + h. Sort j, m, -5.
-5, m, j
Let l be (-8)/20 - (-13)/(-5). Let u be 2/((l + 52/16)*2). Sort u, 0.3, 2, -0.4 in ascending order.
-0.4, 0.3, 2, u
Let t = 40 + -39.88. Let a = -0.02 + t. Sort -3, a, -0.1 in ascending order.
-3, -0.1, a
Let l be 22/88 + (-25)/(-4). Sort 0, l, 3.
0, 3, l
Suppose 2*j - 4 = -0*j. Suppose 5*a + 22 = 2. Let m be (-1)/(-3)*(-2 + -1). Sort m, a, j.
a, m, j
Suppose 0 = -0*r + r - 0*r. Put 2, 1, r in descending order.
2, 1, r
Let r be 26/(-117)*-5*(-6)/(-50). Put 9, 0.2, r, -4 in descending order.
9, 0.2, r, -4
Suppose 3 = -3*q + 4*g, -4*g + 2 = 14. Put -1, q, 0.24 in descending order.
0.24, -1, q
Let h be 450/175*(-2 - -9). Put h, 1, -5 in descending order.
h, 1, -5
Let q be (-3)/((-24)/8)*-1. Sort q, -78, 2, 4 in decreasing order.
4, 2, q, -78
Suppose 0 = l + 3*r - 4 - 3, 2*r - 28 = -3*l. Suppose -5*m - 16 = 3*u + l, 4*m - u = -31. Let g be (-56)/(-24)*2/m. Sort 2, g, 1 in increasing order.
g, 1, 2
Let u be 1*4 - (-13 + 14). Let h(n) = -n + 7. Let q be h(5). Suppose 0 = u*b - q*b + 4*v - 13, 0 = -b - v + 7. Sort 4, b, 3.
3, 4, b
Suppose 5*f + 7 = 97. Let l be (-5)/15 - 1006/f. Let v = l + 56. Put v, 4, 1 in decreasing order.
4, 1, v
Let g = 71 - 69. Suppose 0 = 3*i - 6. Suppose i*s = 4*s - 8. Sort g, s, 5 in ascending order.
g, s, 5
Let u(r) = -r**2 + 54*r - 471. Let j be u(11). Put -20, -8, j in decreasing order.
j, -8, -20
Suppose -5*w - 32 = 4*p, -3*p - 2 = 4*w + 22. Let s be -1 + -2 + 1 + 3. Sort 0, p, 3, s.
p, 0, s, 3
Let i = -4.8 + -11.2. Let g = i + 20. Put 4/7, -0.2, g in descending order.
g, 4/7, -0.2
Suppose 0 = -4*v - 2*n + 6, 3*v - 15*n - 3 = -16*n. Sort -12, 5, v in decreasing order.
5, v, -12
Suppose 29 - 68 = 3*c. Sort -4, 3/8, c.
c, -4, 3/8
Let o = 2 - 2.2. Let p = 0.712 + -3.712. Sort p, o, 3.
p, o, 3
Let u(a) be the third derivative of a**5/60 + 3*a**4/8 - 2*a**3/3 + 31*a**2. Let h be u(-9). Sort 1, h, -5 in decreasing order.
1, h, -5
Let z = -366 + 115. Sort 2, 1, z, 4 in descending order.
4, 2, 1, z
Let x = 4 + -13. Suppose 4*p - 54 - 50 = 0. Suppose 3*f = q + 4*q - p, 4*q + 5*f - 6 = 0. Put q, x, 1 in ascending order.
x, 1, q
Let m(v) = v**3 - 3*v**2 + 5*v - 14. Let r be m(4). Sort 1, 2, r.
1, 2, r
Suppose 8*r - 19 = -3. Suppose s - 5*m + 15 = -16, -r*m + 22 = -2*s. Put 0.2, s, -0.3 in descending order.
0.2, -0.3, s
Let y be (0 - 2*-1)/(-15). Let t = -3823/4 + 956. Put y, t, -5/3 in descending order.
t, y, -5/3
Let h = 13 - 11. Let o = -145/8 + 135/8. Put -4, o, h in increasing order.
-4, o, h
Let r = 9.4 + -6. Let b = -8.4 + r. Sort -1, 1, b in descending order.
1, -1, b
Suppose 10*z = 947 - 927. Sort 0, z, -35, 4 in increasing order.
-35, 0, z, 4
Let p be 3 - 8 - 0/1. Suppose -2*r + 8 = 3*r - i, -3*i + 10 = 2*r. Sort p, r, -6 in decreasing order.
r, p, -6
Let c = 78 + -75.8. Sort 4, -1, c.
-1, c, 4
Let w = 10 - 9.2. Let q = 1.1 - w. Sort q, -1, 2 in decreasing order.
2, q, -1
Let n(m) = 3*m**2 - m. Let b be n(-4). Let t = b + -48. Sort -9, t, -2, 5 in descending order.
5, t, -2, -9
Let m(c) = c**2 + 6*c + 3. Let d = -2 - 4. Let g be m(d). Put g, 0, 4 in increasing order.
0, g, 4
Let f(o) = -3*o - 58. Let k be f(-18). Put -5, 5, k in ascending order.
-5, k, 5
Let b = -5 + 3. Let q = -4 - 0. Let c = -0.8437 - -0.6437. Sort q, c, b in increasing order.
q, b, c
Let s = 3826.4 - 3826. Let o = 33 - 13. Put s, 0.1, o in decreasing order.
o, s, 0.1
Let z = 0.2 + -0.2. Let a = -104 + 89. Let b be (2 - (-21)/a - 2) + 2. Put b, -4, z in descending order.
b, z, -4
Let x(c) = -4*c + 10. Let i be x(4). Let r be 39/(-65)*2/i. Put r, -5, 0, 0.3 in descending order.
0.3, r, 0, -5
Let t = 12 + -6. Suppose 0*l + t*l = 0. Sort l, -0.4, 7/2.
-0.4, l, 7/2
Let u = 6/113 - 131/339. Put u, -1, -3/20 in increasing order.
-1, u, -3/20
Let u = 42 + -50. Sort u, 16, -2 in descending order.
16, -2, u
Suppose -5*c = 11*c. Let w = -5 + -3. Suppose 8*o + 8 = 4*o. Put o, c, w in decreasing order.
c, o, w
Let s = 8 + 1. Let n = -0.25 + -6.75. Let k = s + n. Sort k, -4, 4.
-4, k, 4
Let n(b) = b**3 + b**2 + 2. Let a be n(-2). Let d = 45.019 + 0.081. Let y = d - 45. Put y, a, 1 in increasing order.
a, y, 1
Let h = -0.624 + 0.124. Put h, 0.1, -0.03, 0.3 in decreasing order.
0.3, 0.1, -0.03, h
Let n = 559 - 556. Sort n, -0.3, -4, -0.04 in decreasing order.
n, -0.04, -0.3, -4
Let v be (4/(-16))/(2/8). Let f = -4 - -8. Sort v, f, 0.
v, 0, f
Suppose 86 = -4*j - 5*v - 52, 0 = -4*v + 8. Suppose -2*m = 2, 5*m + 61 = -u + 2*m. Let i = u - j. Put 0, i, -2 in descending order.
0, -2, i
Let l = -100 + 43. Let v be (-152)/l*3/2. Suppose -2 = -v*f - 10. Sort -1, 3, f in descending order.
3, -1, f
Let k(u) = -u**2 - 9*u - 5. Let v be k(-2). Put 56, v, 3 in decreasing order.
56, v, 3
Suppose -5*l + 410 = 4*i - 10*l, 0 = -5*i - l + 527. Let w be 16756/(-160) + (-2)/5. Let x = i + w. Sort 5, x, -0.5 in ascending order.
-0.5, x, 5
Let g be (-52)/(-156) + 1/15. Sort -1, 1/7, g, -5 in increasing order.
-5, -1, 1/7, g
Let k(t) = 23*t + 117. Let v be k(-5). Sort v, -2, -7 in decreasing order.
v, -2, -7
Suppose 499*z + 6 = 501*z. Suppose 3*t = -t. Sort t, z, 5 in increasing order.
t, z, 5
Let j = 1 - 2. Let c = -326 - -334. Let o = c + j. Put -1, o, 2 in decreasing order.
o, 2, -1
Le