19344. Put -1, -3, d in decreasing order.
d, -1, -3
Let p = -16.28 + 15.78. Sort 9, -5, -3, p.
-5, -3, p, 9
Let y = 1/2632 - -7891/13160. Let i = 0 + 1. Sort y, 2/11, i.
2/11, y, i
Let s be 8*1/3*6/(-4). Sort s, -1, 15 in descending order.
15, -1, s
Suppose -5*v + s + 5 = 0, 10 = 3*s - 5. Let i be 7 + -5 + (4 - v). Suppose 8*p = -g + 4*p - 14, 4*g + 8 = -i*p. Put 4, g, -3 in descending order.
4, g, -3
Suppose j = 5*s + 24, 0 = 2*s + 3*s - 5*j + 40. Let q be (-3)/(-2) + (-2)/s. Suppose 12 - 9 = 3*t. Sort 5, q, t in decreasing order.
5, q, t
Let y = 5 + 3. Let b(x) = x**2 - 6*x - 13. Let p be b(y). Put -0.5, p, 5/4 in decreasing order.
p, 5/4, -0.5
Let j(i) = i**3 + 5*i**2 + 6*i + 3. Let v be 22/(-6) + 2/(-6). Let z be j(v). Let b(g) = 15*g + 168. Let d be b(-11). Put z, d, 5 in descending order.
5, d, z
Let a be -10*(-13)/((-65)/2). Put a, -5, 7 in decreasing order.
7, a, -5
Let q = 63 + -26. Let w = -37 + q. Put w, 1, -4, -5 in increasing order.
-5, -4, w, 1
Let x(j) = j**3 + 5*j**2 - 7*j. Let z be x(-6). Let p(h) = -2*h**3 - 9*h**2 - 4*h + 4. Let t be p(-3). Let g = t + z. Put 3, 0, g in increasing order.
g, 0, 3
Let l be ((-1155)/(-6))/5 + -2. Let t = l - 36. Sort t, 1, 5/4, 4 in ascending order.
t, 1, 5/4, 4
Let j = -13.9 - -23. Let w = 4.1 - j. Let p = 23/3 - 49/6. Sort w, p, -0.1.
w, p, -0.1
Let c = -5.2 - -0.2. Let y = -3521/4 - -880. Sort c, 6, y in ascending order.
c, y, 6
Let i = 127 - 113. Let r = 19 - i. Let d = 0.4 - 0. Sort d, r, 0 in decreasing order.
r, d, 0
Let a = 34 - 34.24. Let y = a - -4.24. Sort 2/19, 1/7, y in descending order.
y, 1/7, 2/19
Let p be (3 + 1)/(-4) + 4. Suppose p*x + 84 = -x. Let b = x + 23. Put b, -1/2, 0.2 in descending order.
b, 0.2, -1/2
Let g be ((-16)/12 - -1)*6. Let l = 22 + -27. Put -1, l, g, 0 in increasing order.
l, g, -1, 0
Let i = -15.47 + 2.47. Put -0.1, -1, i in decreasing order.
-0.1, -1, i
Let w = 1125 + -1124.73. Sort -2, w, -0.1, 5 in descending order.
5, w, -0.1, -2
Suppose 2*t = -0*t - 10. Let z = -2055 + 2060. Sort 1, z, t, -2 in descending order.
z, 1, -2, t
Let b(v) = -6*v**2. Let r be b(1). Let x = 211 + -212. Sort x, r, -3 in ascending order.
r, -3, x
Let i = 406115/46 + -8827. Let c = -2/23 + i. Let m = 0.02 - -3.98. Put 0.4, c, m in decreasing order.
m, c, 0.4
Suppose 0*g = -g - 11. Sort 1, g, 2, -1 in descending order.
2, 1, -1, g
Let p = -672 + 671. Sort -4, p, 10 in decreasing order.
10, p, -4
Let g = -16 - -16.03. Let k = g + 1.97. Let a = -20 - -18. Sort a, k, -0.2 in decreasing order.
k, -0.2, a
Let f be 39/130 - (-27)/10. Suppose 3 = j + 7. Sort j, -2, f in descending order.
f, -2, j
Let s = -2.98 - 0.02. Let j = -2.5 - s. Let w = -0.06 - -0.26. Sort w, j, 5 in ascending order.
w, j, 5
Let a = 4520.99 - 4521. Let y = 2 + -12/5. Sort y, a, 0.5 in ascending order.
y, a, 0.5
Let g(q) = -5*q**2 - q - 1. Let w be g(-1). Let z = -43.6 + 44. Sort w, z, -4.
w, -4, z
Let y(z) = -z**2 - 7*z + 5. Let o be y(-7). Suppose -2*m + 3*m = -3*g + o, -m + 5 = -3*g. Let q be 3 - -1 - (1 - g). Sort 1, q, -3.
-3, 1, q
Let f = -18 + 18.3. Let p = -9 - -7. Let q = p + 0. Sort q, f, 0.4 in decreasing order.
0.4, f, q
Let r = -3 - -1. Let h = 3.85 + -5.85. Let y = h - r. Put -4, -0.04, y in decreasing order.
y, -0.04, -4
Let f = -16 - -27. Let c = f + -13. Put c, 3, 1/7, 1/8 in increasing order.
c, 1/8, 1/7, 3
Let d(m) = -m + 7. Let q be d(5). Let r(l) = -4*l - 70. Let z be r(-17). Let j be 3*-1*8/6. Sort z, j, q.
j, z, q
Let p be (5/(-3))/((-51)/153). Put -5, -12, p, -4 in descending order.
p, -4, -5, -12
Let f be 184/(-30) - (5 - 2)*-2. Put 0.5, -0.06, f, -2/7 in ascending order.
-2/7, f, -0.06, 0.5
Let j(w) = w**3 + 3*w**2 + 2*w + 3. Let i be j(-4). Let c = 22 + i. Put c, 4, 3 in decreasing order.
4, 3, c
Let g = 599 - 599. Sort -2, -7, -6, g in decreasing order.
g, -2, -6, -7
Let x be (-9)/2*44/66. Let b(l) be the first derivative of l**4/4 - 2*l**3 - 7*l**2/2 + l + 1. Let d be b(7). Sort x, 5, d.
x, d, 5
Let t(x) = -x**2 - 7*x - 6. Let k be t(-5). Let a be 0 - (k/(-2) + -2). Suppose 3*s + j + 7 - 2 = 0, 4*j + 13 = -5*s. Put 2, a, s in ascending order.
s, 2, a
Suppose 24*y - 15 = 3*i + 21*y, -4*i - 5*y + 16 = 0. Sort -2, 230, i in increasing order.
-2, i, 230
Let t = -60 - -58. Sort t, 1/4, -6 in ascending order.
-6, t, 1/4
Let h(p) = -6*p - 61. Let d be h(-12). Suppose d*m = -4*m + 30. Let y be 3*1 - 0/(-1). Put y, -3, m in decreasing order.
y, m, -3
Let l = 2387 - 2386.9. Sort 4, 16, 9, l.
l, 4, 9, 16
Suppose 5*f = 2*f + 9. Let i be 0/(((-18)/f)/(-3)). Let m = 94 + -97. Sort m, i, 0.1 in increasing order.
m, i, 0.1
Let v = 4/21 + -1/3. Let g(o) = -39 + o**2 + 3*o + 62 - 46. Let y be g(-6). Put v, y, -2/29 in decreasing order.
-2/29, v, y
Let o(t) = 164*t**3 + 4*t**2 - t - 2. Let h be o(1). Sort h, -2, -3.
-3, -2, h
Suppose v - 2*v = 4*g + 4, 0 = -v + g + 11. Suppose v*c + 8 = 4*c. Sort c, -10, 2 in increasing order.
-10, c, 2
Let d = 1090 - 1083. Put -5, d, 5, 2 in descending order.
d, 5, 2, -5
Let g(o) = -o**2 - 6*o - 6. Let h be g(-5). Let z(a) = a**2 + 8*a - 110. Let t be z(7). Put h, 6, t, 0 in increasing order.
t, h, 0, 6
Let a = -36433/15 + 2429. Let g = 0.2 - -0.8. Put a, 0.04, g, 5/3 in ascending order.
0.04, a, g, 5/3
Let m = -27 - -42. Let k be (6/(-4))/((-2)/(-8)). Let t be 1/(-1)*(k - -8). Sort 1, t, m.
t, 1, m
Let d = -0.223 - -0.423. Put -5/4, d, -0.3, 2/29 in decreasing order.
d, 2/29, -0.3, -5/4
Let u = -24.82 + 7.22. Put -1, -0.1, u in ascending order.
u, -1, -0.1
Let n = 2 + 2. Suppose -13 - 3 = -n*z. Let v be (3/2)/(6/8). Sort v, -2, z in descending order.
z, v, -2
Let q be (-4)/(-18) + 86/18. Suppose 0 = -86*p + 93*p - 14. Suppose l + 3*l - x = -16, 0 = l - 3*x + 15. Sort q, p, l in decreasing order.
q, p, l
Let x be 1*6 - (1 - 0). Suppose 0 = -d + 2*d + x. Let i(y) = -y**3 + 6*y**2 - 8*y. Let r be i(4). Sort r, d, 1 in descending order.
1, r, d
Let r = -109 - -105. Put -11, -9, r in increasing order.
-11, -9, r
Let a = -36 - -37. Let d = -3.82 + -0.18. Put d, a, -1 in increasing order.
d, -1, a
Let o = -0.09 - -3.09. Suppose 3*h + 2 = 8. Suppose -413*c - 1 = -414*c. Put o, h, c in increasing order.
c, h, o
Let l = 764 - 758. Sort 4, -1, -3, l in decreasing order.
l, 4, -1, -3
Let c be ((-7)/(-42)*-4)/((-2)/42). Sort 3, c, -5, -3 in decreasing order.
c, 3, -3, -5
Let p = 11 + -11. Suppose 5*s = -4*v + 4*s + 13, -2*v = -s - 11. Suppose -d = d - v. Put p, d, 10 in decreasing order.
10, d, p
Suppose 3*z + 0 = -2*c + 2, z + 4*c = -6. Suppose -z*g + 15 = -5*g. Let u be (0 + -1)*(-7 - g). Sort -3, 4, u in decreasing order.
4, u, -3
Suppose -w - x + 7 = 0, -w = 3*x - 87 + 78. Put 1, -25, -1, w in ascending order.
-25, -1, 1, w
Let q = 2.83 - 6.83. Sort 5, -0.5, q in descending order.
5, -0.5, q
Let b = 8 + 5. Let u = 299.2 - 299. Put b, -0.1, u in descending order.
b, u, -0.1
Let v = -4 + 1. Suppose -2*c + 5*b - 15 = 0, 3 = -4*c - b + 6. Let d be -2 + c/(1 - -2). Sort v, d, -5 in increasing order.
-5, v, d
Suppose -7 = -s + 2*o, -33*s = -28*s + 4*o + 21. Sort 0.1, 3, 30, s in descending order.
30, 3, 0.1, s
Let k = -121 - -72. Let y = k + 57. Sort 0.5, y, -2, -1/3 in descending order.
y, 0.5, -1/3, -2
Let j(d) = -14*d + 68. Let g be j(5). Sort 0, -3, g, 5.
-3, g, 0, 5
Let k = -1.24 + -18.51. Let m = 20 + k. Sort 5, 3/2, -0.2, m.
-0.2, m, 3/2, 5
Suppose 3*c + 5*s = 2, 0 = -c - 3*c + 2*s + 20. Suppose -2*b = -k + 2 + 11, 0 = b - 5*k + 29. Put -3, b, c in descending order.
c, -3, b
Let y = -0.066 - -19.166. Let n = y - 19. Put n, -7, 3 in ascending order.
-7, n, 3
Let d = -4 + 6. Let j = -12.1 + 13.44. Let m = -1.14 + j. Put d, -3, m in descending order.
d, m, -3
Let f(h) = 1 - 3*h**2 - 3*h + 10 + h**3 - 5 - 8. Let j be f(4). Put 3, j, -16, -4 in descending order.
3, j, -4, -16
Let x = -659/8 + 1981/24. Put x, -0.1, 0.3 in descending order.
0.3, x, -0.1
Let w = -504 + 503. Put 5, w, -5, -2 in ascending order.
-5, -2, w, 5
Let j = -107 + 125. Sort j, -2, -1 in descending order.
j, -1, -2
Let x(u) = u**3 + 16*u**2 + 17*u + 17. Let w be x(-15). Let h = w + 12. Suppose 0 = 2*z - 2 - 2. Put -5, z, h in increasing order.
-5, h, z
Suppose 6*g + 84 = 18*g. Let t(m) = -m**3 - 6*m**2 + 5*m - 2. Let k be t(-7). Suppose g - k = -z. Put -1, -4, z in decreasing order.
z, -1, -4
Let x = -72 + 5