p(f) = -2*f + 5. Let t be p(4). Put o, t, 2/9 in descending order.
2/9, t, o
Let k(w) = w - 1. Let u be k(7). Let d be 128/96*u/(-4). Sort -9, d, 8 in descending order.
8, d, -9
Let i = 23 + -25. Let b be (11 - 5) + (i - 1). Suppose 2*d + j = 10, 3*d + j + 6 = 23. Sort b, 2, d in descending order.
d, b, 2
Suppose -v + 7 = -2*m, -3*v = 3*m - v. Suppose -3 = 2*r - 13. Suppose 5*c + 17 = 2*c + n, 0 = r*c + n + 15. Put m, 2, c in increasing order.
c, m, 2
Let i be 0/(2 + 2/(-2)). Suppose 3 = -i*z - z. Let l be (4 + 6/z)*2. Put l, -2, 5 in increasing order.
-2, l, 5
Suppose -10 = 3*d - 2*n, -d + 12 = -3*d - 4*n. Suppose x - 8 = -x. Suppose -x*k = -k. Sort -7, k, d in decreasing order.
k, d, -7
Let a = -8 + 11. Let q be 1 - (3 - (a - -2)). Suppose -3*b = 3*r - 4*r + 14, -3*b = -5*r + 22. Put b, q, -2 in ascending order.
b, -2, q
Let y = -0.23 - -5.23. Let o = 111 + -98.6. Let d = -12 + o. Sort y, d, -2 in decreasing order.
y, d, -2
Let y be 21/5 + (-1)/5. Let z be (-20)/(-6) + 2/(-6). Suppose 0 = z*c - 4*c + y. Put 1/2, c, -0.9 in descending order.
c, 1/2, -0.9
Let y be (805/(-77) + 10)*6/(-15). Sort -1, y, -0.5 in descending order.
y, -0.5, -1
Let q be 63/(-42)*(-1)/((-1)/2). Let r(l) = -4*l. Let o be r(-1). Sort q, 0, o in descending order.
o, 0, q
Let u(o) = -6*o - 93. Let s be u(-15). Sort -4, -38, s, 3.
-38, -4, s, 3
Suppose -d = 3*a - 2, -3*a - a = -2*d + 14. Suppose -3*k + 9 = 0, -18 = t + k - 4. Put 4, t, a in increasing order.
t, a, 4
Suppose 14*k = -11 - 45. Sort 2, k, 3.
k, 2, 3
Suppose -o - 4 = -1. Let c = 3/119 + 351/238. Sort 1/2, o, c, 2 in decreasing order.
2, c, 1/2, o
Suppose -w = -10 + 53. Let c = w - -43. Put -3, c, 4 in increasing order.
-3, c, 4
Suppose 2 = 3*m - m. Let h be (8/(-24))/(-4*3/108). Put 0, h, 2, m in ascending order.
0, m, 2, h
Let y = -221 - -231. Let u(r) = 5*r + 5. Let i be u(4). Suppose 0 = 4*t - 9*t - i. Put y, t, 4 in descending order.
y, 4, t
Suppose 5*z = 48 + 2. Suppose 193*n + 20 = 197*n. Put n, -6, z in descending order.
z, n, -6
Let t = 102/19 + -695/133. Let q = 4.7 + -5. Put -3/7, q, t in descending order.
t, q, -3/7
Let j = -543 - -548. Sort -7, j, -4, 9 in decreasing order.
9, j, -4, -7
Let c = 7.3 + -8. Let q = -0.3 - c. Put 1, -0.2, 5, q in increasing order.
-0.2, q, 1, 5
Suppose 8*y - 92 = 4*y. Let o = y + -21. Let t be 0 + 2 - 7 - -1. Sort t, o, 3 in decreasing order.
3, o, t
Let s = -12562 + 954685/76. Let z = s - -2/19. Let l = -1.2 - -0.2. Sort -1/3, l, z in increasing order.
l, -1/3, z
Suppose -58*z + 57*z = -3. Put -2, -7, z in increasing order.
-7, -2, z
Let c(r) = -9*r**2 - 12*r - 3. Let x be c(-2). Sort x, -2, -1 in ascending order.
x, -2, -1
Let n = -3.56 + 2.56. Sort n, -0.2, -2/13, 5 in descending order.
5, -2/13, -0.2, n
Let a(j) = -j**2 - 18*j - 22. Let f = -44 - -27. Let d be a(f). Let i be (d + 4 + 1)*1. Sort 7, i, -2 in decreasing order.
7, i, -2
Let x = -99/4 - -97/4. Put 4, -122, x, 0.5 in ascending order.
-122, x, 0.5, 4
Let v(a) = -a**3 + 31*a**2 - 31*a + 28. Let f be v(30). Sort -5, f, 88 in decreasing order.
88, f, -5
Suppose 395*b - 393*b - 12 = 0. Put b, -11, -1 in ascending order.
-11, -1, b
Let a = -245 - -245.5. Sort 27, -3, a in decreasing order.
27, a, -3
Suppose l - 7 = 2*k, -4*k + 28 = 5*l + 7. Suppose 397 - 385 = -4*n + 3*h, 20 = -n + 5*h. Sort l, -15, n in ascending order.
-15, n, l
Let a be 5 + (0 - -1) + -3. Let b = a + -3. Let w be (-1034)/(-198) + ((-30)/27)/5. Put w, 7, b in descending order.
7, w, b
Let t = 344/355 - 12/71. Sort t, -0.052, 3, 2/3 in descending order.
3, t, 2/3, -0.052
Let g = -4 - -4.3. Let q be (24/32)/(182/(-184) + 1). Let f = q + -275/4. Put 5, f, g in descending order.
5, g, f
Let j = 2 - 6. Let h(b) = 33 + 4*b**2 - 2*b - 319*b**3 + 10*b**2 + 318*b**3. Let f be h(14). Put j, f, 0 in descending order.
f, 0, j
Let z = -0.029 + 16.529. Let h = 17 - z. Put -0.2, 4, h in increasing order.
-0.2, h, 4
Let v be (1 - 8) + 2850/418. Sort 0.016, v, 4.
v, 0.016, 4
Let m = -1859 + 63211/34. Let i = 22549 + -3833237/170. Let c = i - m. Sort c, -0.3, -3 in increasing order.
-3, -0.3, c
Suppose -q + 2*g - 4*g + 5 = 0, g - 5 = 0. Put 1, q, -9 in decreasing order.
1, q, -9
Suppose b = 5 + 1. Let u = b - 10. Suppose -3*o = -0 - 3. Sort u, 0, o.
u, 0, o
Let j be (-7)/(-91)*0 - -2. Let h = -0.5 - -2.5. Let l = h + -1.5. Sort 5, j, l in decreasing order.
5, j, l
Let u = 189 - 185. Sort -1, 1, u, -2.
-2, -1, 1, u
Let w(b) = -b**2 + 9*b + 55. Let i be w(13). Put i, -4, -19 in increasing order.
-19, -4, i
Let u = -39 + 41. Let r be (-228)/(-65)*12/128. Let x = r - 7/40. Sort u, 3, x in descending order.
3, u, x
Let y = 0.3497 - 0.0497. Sort -0.21, -4, y.
-4, -0.21, y
Suppose -28*r + 9 = -47. Let f = 3 - 4. Put f, -4, r, 4 in descending order.
4, r, f, -4
Suppose p = 3*w + 3, p + 4*w - 12 - 19 = 0. Let o = -31 + p. Sort 2, 4, o, -4.
o, -4, 2, 4
Let z(g) = 82 + g**2 - 80 - g - 7*g**2 + g**3. Let u(h) = -h**3 - 7*h**2 + 6. Let k be u(-7). Let a be z(k). Put a, 4, 0 in increasing order.
a, 0, 4
Let i be ((-18)/8)/((-1)/(-4)). Let v be 2/6 + 6/i. Let o = v + 2/3. Sort -3, o, 0.3 in increasing order.
-3, 0.3, o
Let x = -7 + 2. Suppose -f - 99 = -10*f. Suppose -6*b + 2*b = -4*r + 8, r - f = -2*b. Put -4, x, r in decreasing order.
r, -4, x
Let b = -14.8 + 10.5. Let v = b + 3.9. Sort v, -0.2, 0.1, -4 in ascending order.
-4, v, -0.2, 0.1
Suppose 38*o - 75 = 33*o. Let q = -16 + o. Sort 3, 0, q in decreasing order.
3, 0, q
Suppose 0 = -2*z + 7*z + 2*l + 20, 5*z = -l - 20. Put -0.5, -1, -0.6, z in descending order.
-0.5, -0.6, -1, z
Let n = -2.71 + 2.597. Let m = n + -0.087. Sort m, -3, -2, 5 in descending order.
5, m, -2, -3
Let k(o) = -o**3 + 2*o**2 + 119. Let i be k(0). Let f be -2 + 2 - (-14)/i. Put -17, f, 0 in descending order.
f, 0, -17
Let g = 1.276 - 0.876. Sort 1/2, g, -5, 12/11 in decreasing order.
12/11, 1/2, g, -5
Let m(n) = -6*n + 2. Suppose 0*r + 2*r = -6. Let s be m(r). Suppose 2*t = -i, 2*t + 4 = 3*i + s. Sort t, -0.2, -5 in increasing order.
-5, -0.2, t
Suppose 0*v + 80 = 4*v. Let w = 25 - v. Suppose 0 = -w*f - p + 35, 0 = -3*f - p - 3*p + 21. Sort f, 1, -4 in increasing order.
-4, 1, f
Let w(r) = -2*r + 29. Let d be w(12). Let p be ((-1)/d)/(16/(-20) - 0). Put 0.3, 2, p, -4 in ascending order.
-4, p, 0.3, 2
Let z(n) = -n**2 - 13*n + 67. Let m be z(4). Let d(t) = t**3 - 6*t**2 - 7*t + 2. Let o be d(7). Put 3, 5, o, m in ascending order.
m, o, 3, 5
Let q(v) = 0*v - 13 - 3*v + 2*v + 4*v. Let r be q(6). Suppose -2 = -2*j, -3*i - 4*j - 5 = -0*j. Sort r, i, -1.
i, -1, r
Let t be (-2 - (3 + -1))/(-1). Suppose d - 44 = 11*m, d + m = 4*d - 4. Put t, -11, d in ascending order.
-11, d, t
Let z = -55 - -50. Let c be 4/(-16) - ((-45)/(-4))/z. Sort -4, 11, c in decreasing order.
11, c, -4
Let f = 173 + -159. Let d = 11 + -10. Sort f, d, 2/5, 1/4 in increasing order.
1/4, 2/5, d, f
Let z = -1218 - -1212. Put -2/11, z, 17 in decreasing order.
17, -2/11, z
Let m = 158 + -1740/11. Let h(t) = -t**2 + 5*t + 2. Let q = 1 + 5. Let k be h(q). Put 0.1, k, m in decreasing order.
0.1, m, k
Let n = 389.5 - 390. Sort 75, 2/13, n.
n, 2/13, 75
Let l = 1 + 2. Suppose -2*r = w - 3, w + l*w = -r + 12. Suppose -2*j = -r*j + 2. Sort 1, j, 0 in decreasing order.
1, 0, j
Suppose -2*q - 2 + 10 = 0. Suppose 15 - 27 = -q*z. Sort z, -3, -9.
-9, -3, z
Let h = 280037/60 + -4667. Let r = h - 1/30. Put -1, 9/5, r in ascending order.
-1, r, 9/5
Let i be 3/(-18)*3*-46. Suppose i*x = 15*x - 32. Let t = -71/35 + 10/7. Put t, -1, x in decreasing order.
t, -1, x
Let s = 127.2 - 139. Let d = -9 - s. Let k = d + -5.8. Sort 3, 5, k in increasing order.
k, 3, 5
Suppose -2*p + 29 = -3*a, -2*p + 5*a + 11 = 8*a. Sort -13, p, -2 in ascending order.
-13, -2, p
Let h = 181/2028 - 1/169. Sort 0.5, -12, h, -5 in descending order.
0.5, h, -5, -12
Suppose 2*b - 5*d + 8 - 23 = 0, 4*d = 3*b - 26. Suppose -j = -5*q + 2*j + b, -5*j = 0. Sort 3, q, -4, -3 in descending order.
3, q, -3, -4
Let q be (-1)/(-1*(0 + -1)) - 10. Let r(v) = v**3 + 12*v**2 + 9*v - 19. Let p be r(q). Put -3, -2, 0, p in increasing order.
-3, -2, 0, p
Let p = 1.63 - -0.37. Let x = 11 - 10. Let j = p - x. Sort j, -4/3, -0.2 in descending order.
j, -0.2, -4/3
Let l be 13/(-52) + 30/(-8). Sort l, 2, 4 in increasing order.
l, 2, 4
Let j = 1/45 + -10