. Put d, 1, 7 in descending order.
7, d, 1
Let s be (1 + -3)*15/(-6). Let k = -22 - -18. Put k, s, -7 in increasing order.
-7, k, s
Let n be ((-75)/(-11))/(-1) + 7. Put 0.126, 2/7, n in descending order.
2/7, n, 0.126
Let f be (-5)/(-2)*96/(-80). Let i be (f + 52/8)*-6. Let a be (18 + i)*1*-1. Sort -4, a, -1 in decreasing order.
a, -1, -4
Let g(p) = 23*p - 119. Let o be g(5). Sort 1, 1/13, o, 0 in descending order.
1, 1/13, 0, o
Let p(o) = o + 11. Let a(r) = -r**2 - 13*r - 7. Let y be a(-12). Suppose -y*k = -1 + 41. Let d be p(k). Sort 1, 5, d in descending order.
5, d, 1
Let z be 1 - -3 - (4 - 1). Sort -5, z, 5, 17 in increasing order.
-5, z, 5, 17
Let j = -0.48 + 0.38. Suppose 2*u = -4*y, -4*u - 2*y + 6 = -0. Let l be (-14)/(-21)*(-3)/u. Put -0.2, j, l in decreasing order.
j, -0.2, l
Let d = 36 + -28. Let n be (-3)/6*4 - (2 - d). Sort -2, 0, -5, n in decreasing order.
n, 0, -2, -5
Let x(y) = -y - 4. Let v be x(0). Sort -5, 2, 0, v in descending order.
2, 0, v, -5
Let y = -3 - -4. Let u(c) = -24*c - 740. Let r be u(-31). Let d be (2/(-6))/(2/(-12)). Put y, d, r in descending order.
r, d, y
Let m = 10/3 + -47/15. Put -2.4, -2, m, -3 in descending order.
m, -2, -2.4, -3
Let u = -11 - -14. Let s(d) = -2*d**3 - d**2 + 5*d + 4. Let v be s(-2). Sort -0.1, u, v, -0.5 in descending order.
v, u, -0.1, -0.5
Let r be 6*(0 - (-11)/(-33)). Suppose 7*m = 4*m + 51. Sort m, r, -0.2 in decreasing order.
m, -0.2, r
Suppose o = 4*o + 42. Let t be (-3055)/(-455) + (-1)/(o/4). Sort 4, 5/4, t in decreasing order.
t, 4, 5/4
Let h = -1784 - -1220. Let o be h/(-2652) - 4/26. Let n = -73/85 + o. Sort n, 12, 0.4.
n, 0.4, 12
Let j(x) = -5*x - 93. Let c be j(-19). Put -1, 4, c, 0 in descending order.
4, c, 0, -1
Let q = 1459 + -1456. Let z(a) = -4*a - 5. Let k(m) = -m - 1. Let i(t) = -3*k(t) + z(t). Let s be i(3). Put 5, s, q in ascending order.
s, q, 5
Let z be ((-4)/90)/((-1)/9). Let x = 17 + -30. Let w = x + 9. Put z, -3, w in descending order.
z, -3, w
Let l = -250 + 250. Sort 0.17, -0.5, -4/7, l in decreasing order.
0.17, l, -0.5, -4/7
Let g = -0.039 - 0.05. Let d = g + 0.489. Sort 0.5, 1, 4, d in descending order.
4, 1, 0.5, d
Let m be (-1190994)/(-55827) + 1/3. Let h = m + -2/6203. Let w = h - 21. Put 4, w, -3/7 in decreasing order.
4, w, -3/7
Suppose -5*s - 4*r + 7 = 0, 2*s - 7 = -2*r - r. Sort s, -5, -48, -2 in ascending order.
-48, -5, -2, s
Let x = -1218.1 + 1218. Sort 4, x, -2, 0.1.
-2, x, 0.1, 4
Let r be 2/(-22) + (-42)/(-462). Let v be (-4)/(-6) - (-4)/(-6). Suppose h + 2*a + 1 = v, 6 = h - r*h - 5*a. Sort h, 0, 3 in decreasing order.
3, h, 0
Let i = -1.64 - -160.64. Let u = -151.1 + i. Let d = -8 + u. Sort -5, 0, d.
-5, d, 0
Let b(d) = -d**3 + 7*d**2 + d + 13. Let l be b(7). Suppose 0*a - l = 5*a. Put a, -1/2, 3 in descending order.
3, -1/2, a
Let u = 0 + 0. Let b(z) = 33*z + 2472. Let t be b(-75). Sort 1, t, u, 3 in increasing order.
t, u, 1, 3
Let d = 59 + -55. Suppose 0 = -4*z + 5*h - 12, 2*h = 5*z + 5*h - 22. Put -4, d, z in ascending order.
-4, z, d
Let l be (1 + 0)/(1 - 0). Let w = -2.5 - -2. Let k = w + -1.5. Sort -3, k, l in increasing order.
-3, k, l
Let x be (-5)/((-6)/9*-9). Let i = 11 - 9. Let s = i - 12/7. Put x, s, 1 in ascending order.
x, s, 1
Let n be (-1)/(10/6*(-99)/(-330)). Suppose 28 = -3*r - r. Put r, -1, -3, n in ascending order.
r, -3, n, -1
Suppose 5*p - 40 = -0*p. Let t be (5/(-25))/((-2)/20). Sort -2, t, p.
-2, t, p
Let y = 9/19 - 121/95. Put -2.4, 0.2, y, -3 in decreasing order.
0.2, y, -2.4, -3
Let d be (-4)/10 + 9/10. Let s be (-4)/16*2 + (11 - (3 + 6)). Sort s, d, 0.14, -4 in decreasing order.
s, d, 0.14, -4
Let o(v) = -v**3 + 3*v**2 - 2*v + 3. Let f be o(2). Suppose -8*r = -f*r + 45. Let s = r + 13. Put -2, s, 1 in decreasing order.
s, 1, -2
Let d = -0.502 + 0.202. Sort -4, 4, d, 5.8 in increasing order.
-4, d, 4, 5.8
Let b = -623 + 625. Let j(d) be the second derivative of d**3/6 - d**2 + d. Let y be j(b). Sort y, 1, 2.
y, 1, 2
Let f = 0 + -0.5. Let z = 0.2 - 5.2. Let m = -5.01 - z. Put f, m, -2 in increasing order.
-2, f, m
Let m = -7 + 6.731. Sort m, 3, 1/4 in decreasing order.
3, 1/4, m
Let p = 2 - -1. Let m be (2 - (5 - p))/1. Suppose -5*r + m*r = -10. Sort 1/2, 2/11, r in decreasing order.
r, 1/2, 2/11
Let i(r) = 2*r + 80. Let t be i(-41). Sort t, 9, 1 in descending order.
9, 1, t
Let n(k) = -2*k + 35. Let h be n(15). Suppose 0 = -2*v + 3*s, -2*s + 0 = -3*v - 5. Put v, -9, h in increasing order.
-9, v, h
Let z(v) = 2*v**2 - 9*v - 17. Let t be z(6). Put 20, 3, t in ascending order.
t, 3, 20
Suppose -2*q - 3*m = 12, -5*q + 4*m + 10 = -6. Let u(z) = -10*z - 8. Let s be u(-2). Sort q, s, 4 in increasing order.
q, 4, s
Let r = 41.2 + -40.2. Put r, 2, 3, 0 in descending order.
3, 2, r, 0
Let v = -2.032 + -0.968. Sort v, -9, -1/5, 2 in descending order.
2, -1/5, v, -9
Suppose 2*g = 6*g + 2*b - 14, 4*b = -4. Suppose 4*x + 9*k - 4*k - 7 = 0, -2*x + 5*k + 11 = 0. Let h = x - 4. Sort g, h, -2.
-2, h, g
Let n = 699 + -703. Sort -3, n, 7, 5.
n, -3, 5, 7
Let a = -8 + 0.4. Let l = 8 + a. Let r = -2.06 - -0.06. Sort -2/9, r, l in decreasing order.
l, -2/9, r
Let r = 203 + -417/2. Suppose p - 5 = -3*t, 0*p - 6 = -2*p - 4*t. Sort r, p, -5.
r, -5, p
Let k(f) = -f**3 + f**2 + 6*f - 4 + 7 - 3*f**2 + 3. Let y be k(-3). Let o be (1 - (0 + y))/2. Put -2, 5, o in increasing order.
-2, o, 5
Let d = 266 - 264. Let o = -1 + 0. Sort 0, d, o in increasing order.
o, 0, d
Let g = -551/8 - -69. Let n = -20.19 + 0.19. Let i = n - -16. Put g, 3, i in descending order.
3, g, i
Suppose 2*o = 185 - 195. Put o, 5, 0 in ascending order.
o, 0, 5
Let f be (-24)/32 + 2/(-8). Let m(w) = w**3 - 3*w**2 - 5*w - 4. Let r(x) = x. Let t(n) = m(n) + 3*r(n). Let c be t(4). Sort 5, f, c in descending order.
5, c, f
Let y be (8 - 9)/(0 + -1). Suppose p + 12 = 5*t, 2*p = 5*t + 3*p - 18. Suppose 5*o + 11 = 2*b - 4*b, 3 = o + t*b. Sort 2, y, o.
o, y, 2
Let l = -0.1 + 0.1. Let g = -1787 + 1787.04. Sort l, 1, g in increasing order.
l, g, 1
Let r be (1*-2)/22 - 0. Suppose 0 = -2*h + m + 5, 0 = -4*h - 0*m - 3*m + 5. Suppose 6 = -5*b - 0*k - 4*k, k = h*b + 5. Sort b, r, 2/5 in increasing order.
b, r, 2/5
Suppose 0 = t - 14 + 12. Suppose t*l = -6, v + 0*l + 2*l + 8 = 0. Suppose s + 10 = -0*s + 4*w, -2*w + 4 = -s. Put 4, v, s in decreasing order.
4, s, v
Let u = 147.7 + -148.7. Sort 1/6, 2, u, 5.
u, 1/6, 2, 5
Let r(w) = -w**3 - 14*w**2 - 12*w + 18. Let n be r(-13). Suppose 0 = -2*z + 4*z. Suppose z = 2*l - l. Sort n, -1, l.
-1, l, n
Let m(d) = d**2 - 8*d + 4. Let p be m(8). Let o(t) = -t**2 - 4*t + 5. Suppose 12 - 24 = 3*k. Let y be o(k). Sort p, 3, y in increasing order.
3, p, y
Suppose -h + 3 + 6 = -2*u, 5*u - 60 = -3*h. Let c be 1*12/h*-1. Sort 3, c, 5.
c, 3, 5
Let l = 0.24 - 0.2. Let o be (-11)/(-36 - -14) + (-2)/(-4) + -1. Put o, l, 0.4 in ascending order.
o, l, 0.4
Let y(p) = -p**3 - 4*p**2 - 3*p - 7. Suppose 9*h = 6*h + 60. Suppose -3*m + h = -8*m. Let k be y(m). Put k, 4, 3/2 in descending order.
k, 4, 3/2
Let i(h) = -h**3 - 9*h**2 - 2*h - 6. Let c be i(-9). Suppose c - 21 = -3*b. Suppose -5 = x - 7. Sort b, x, 0 in increasing order.
0, x, b
Let s = 0 + 10. Let r = 10 - s. Suppose 3*t - 11 = -4*i, 7*t - 2*t - 15 = -5*i. Sort r, t, 3 in decreasing order.
3, t, r
Let k(b) = -b**3 - 5*b**2 + 5*b - 8. Let q be k(-6). Suppose 7*d = 2*d. Suppose -4*j + 0 = -4, 2*c - 5*j = -15. Put q, d, c in ascending order.
c, q, d
Let d = -562 + 564. Sort 0, d, -5 in increasing order.
-5, 0, d
Let v(q) = q**3 + 8*q**2 + 7*q. Let k be ((-1)/2)/(10/140). Let x be v(k). Let y(h) = -h**2 - h - 2. Let c be y(-3). Sort c, -5, x.
c, -5, x
Suppose 20*a + 75 = 25*a. Let i = a - 41. Put i, -1, -2 in descending order.
-1, -2, i
Let g = -92.6 + 95.6. Sort g, 2, 2/7, 11.
2/7, 2, g, 11
Let g = 22.4 + -22. Suppose -14 = -4*i - 18. Sort g, -4, i.
-4, i, g
Suppose -5*i - 15 = 4*v, -2*v = 3*v + 25. Let m be 4/((i - 6)/5). Sort m, 5, 6 in increasing order.
m, 5, 6
Let u = 41 + 8. Let o be (-17)/42 + (-21)/u. Put 2, o, 3 in increasing order.
o, 2, 3
Let d = -6 + 9. Let i = 3153 - 3156. Put 5, i, -4, d in descending order.
5, d, i, -4
Let n = 333.29 + -328. Let b = -0.29 + n. Sort b, -1/5, 0 in ascending order.
-1/5, 0, b
Let x = -2.4 - -2.36. Put x, -2, -0.11 in decreasing order.
x, -0.11, -2
Let d = 283/2 + -