 5*p. Let i = -56 + 56.1. Sort p, -2/3, i in decreasing order.
p, i, -2/3
Let l be 14/(-8) + 6/(-24). Let m be ((-16)/48)/(l/(-6)). Put -2, m, -4 in decreasing order.
m, -2, -4
Suppose 32*h - 17*h = -705. Sort 0, h, -4, 4.
h, -4, 0, 4
Suppose -4*s - 17 = -5*g, -4*g - 7 = -s - 25. Put -2/3, s, -2/9, 1.6 in increasing order.
-2/3, -2/9, 1.6, s
Suppose a + 28 = -5*d, -17*a + 12*a = -3*d. Suppose -4*x - 11 = -0*g + g, 0 = -3*x - g - 7. Sort d, -3, -20, x in descending order.
-3, x, d, -20
Suppose -5*f = 0, -5 = -x + f - 2. Let b(v) = -27*v**3 + 2*v**2 - 1. Let z be b(1). Let o = z + 30. Sort o, -1, x.
-1, x, o
Let x(l) = -l**3 - 2*l - 190. Let g be x(0). Let r = g - -195. Let z = 5 - 2. Put -4, r, z in decreasing order.
r, z, -4
Suppose -16 = t + u, 5*t + u = 2*t - 54. Let b be -19 + 19 - (-2)/t. Suppose -r = 2*r + 4*m - 3, -9 = r - 2*m. Put b, r, 1/3 in decreasing order.
1/3, b, r
Suppose 3*i + 8 = -4*n, 3*n - 50 = i - 30. Sort 5, 3, 8, i in ascending order.
i, 3, 5, 8
Suppose 0 = -167*r + 156*r + 33. Put -16, r, 4 in increasing order.
-16, r, 4
Let b(v) = 2*v**2 - 8*v + 7. Let g be b(3). Put -5, 15, g in descending order.
15, g, -5
Let i be (2/(-3 + 1))/(304 + -305). Put i, 0.4, -2/17, 1/6 in descending order.
i, 0.4, 1/6, -2/17
Let x be (-1287)/(-36) - (-6)/(-8). Let d = 886 + -884. Sort d, 5, x.
d, 5, x
Suppose 3*h - 4*h + 4 = 0. Let u = -988 + 988.4. Sort u, -0.1, 9, h.
-0.1, u, h, 9
Let p = 2 - 3. Suppose 44*z = -17*z + 1159. Sort p, z, 4, 0.1 in increasing order.
p, 0.1, 4, z
Let q be 6/(-4) + (-3)/(-6). Let f(m) = -6*m**2 - 5*m - 5. Let v be f(-3). Let i be -10*(v/10 + 4). Sort 5, q, i.
q, i, 5
Let c(t) = t**2 - 6*t - 2. Let h be c(6). Let x be (8 - 10)/(2/(-7)). Suppose -3*o = -x*o - 16. Sort 3, h, o in ascending order.
o, h, 3
Let p = 71 + -161. Let s = -633/7 - p. Put 0, -1, s in decreasing order.
0, s, -1
Let w = 1.3 - -0.8. Let b = w + -3.1. Let n be 1 + 0 + (-6 - -7). Sort -3, n, b in decreasing order.
n, b, -3
Let f = 97.31 + -98. Let y = 1.69 + f. Let v = -2 + 5. Put 2/3, y, v in descending order.
v, y, 2/3
Let w = 799 + -804. Sort 2/7, w, 3 in ascending order.
w, 2/7, 3
Let k(n) = 3*n - 22. Let f be k(6). Let l be 3 + f/2 - 0. Sort -1, l, 13 in decreasing order.
13, l, -1
Let j = 8.4 + -6.4. Put j, 0, 6 in ascending order.
0, j, 6
Let s(u) = 8*u - 269. Let y be s(34). Put y, -3, -1, 58 in increasing order.
-3, -1, y, 58
Let y = 207 - 223.7. Let v = y - -16.8. Sort 0.5, 2/139, 5/2, v in descending order.
5/2, 0.5, v, 2/139
Let a = 0.078 - -61.922. Let l = -64 + a. Sort 0, l, -2/5.
l, -2/5, 0
Let l be (-90)/120 - 149/4. Sort l, 1, 0, -1 in descending order.
1, 0, -1, l
Let p = 53/5 - 207/20. Let y = -46/35 - -5/7. Let w = 177 + -2299/13. Put p, y, w in decreasing order.
p, w, y
Let h = -0.21 - -0.12. Let b = 0.11 - h. Let q = b - 0.6. Put 0.4, -0.2, q in descending order.
0.4, -0.2, q
Let a be ((-18)/(-12))/((-6)/(-40)). Let w = a + -5. Let l = -1 - -3. Put w, -2, l in increasing order.
-2, l, w
Let j = -250 - -997/4. Sort 0, -0.8, j, 3 in increasing order.
-0.8, j, 0, 3
Let i(p) = p**3 + 10*p**2 - 5. Let q be i(-9). Let o be q/(-3) - 44/(-33). Let s be 10/4*o/20. Put s, 2/5, 1/9 in decreasing order.
2/5, 1/9, s
Let u be (-1)/2 + ((-327)/6 - -2). Sort 1/6, -2, 0.2, u in decreasing order.
0.2, 1/6, -2, u
Let b = 957 + -954. Sort b, 3/4, 3/5, -1 in descending order.
b, 3/4, 3/5, -1
Let z = -14674122609/3443 - -4262017. Let s = 4/313 - z. Put -1, 4, s in decreasing order.
4, s, -1
Let a(b) = 2*b**2 + 3*b + 5. Let t be a(-2). Let x(m) = -m**2 + 4*m + 18. Let y be x(t). Put -2, -11, y in decreasing order.
-2, y, -11
Let r(w) = -w - 5. Let i be r(-6). Suppose 0 = 5*q - 6 + 31, -4*c = 4*q + 8. Let p be (-14 + (3 - 0))/c - -3. Sort 0.3, p, i in ascending order.
p, 0.3, i
Let p = -414 - -419. Sort 14, -8, -4, p in descending order.
14, p, -4, -8
Let z = 0.0834 + 0.2166. Sort 3/4, -0.6, z, 0.4 in decreasing order.
3/4, 0.4, z, -0.6
Suppose -3*w + 27 = -12*w. Let r be 6/(1/(-2) + 2). Sort 1, r, w in decreasing order.
r, 1, w
Let r = -6 + 10. Let d(l) = 2*l**3 + 41*l**2 + 17*l + 2. Let x(h) = -h**3 - 21*h**2 - 8*h - 1. Let n(u) = 6*d(u) + 11*x(u). Let g be n(-14). Sort r, 2, g.
g, 2, r
Let q = -8.72 + 6.5. Let v = -2.3 - q. Let b = v + 0.04. Sort -1, b, 2/13.
-1, b, 2/13
Let q = 1903/9 - 211. Sort 3, 4, q.
q, 3, 4
Let o = 6.0235 - 0.0235. Let r = 22 - 22.1. Sort -4, r, o.
-4, r, o
Let z = 171.5 + -172. Sort -0.06, -1, z in ascending order.
-1, z, -0.06
Let t be (-1)/(-3 - (-1 + 1)). Let x = 1.26 - 54.26. Let q = 52 + x. Put t, q, -4 in increasing order.
-4, q, t
Let a = -494 - -493.9. Put 0.05, -0.5, a, 0 in increasing order.
-0.5, a, 0, 0.05
Suppose 0*r - 2*r - 4*v + 24 = 0, -v - 22 = -3*r. Suppose 8*c - r = -0. Let t = c - 1. Sort t, -5, 3 in decreasing order.
3, t, -5
Suppose 29*q + 5*o + 27 = 27*q, -3*q + 5*o = -22. Let k(t) = -3*t + 1. Let x be k(3). Sort 5, q, x, -3 in decreasing order.
5, q, -3, x
Let u = -1 + 1.5. Sort u, -1/2, 5 in ascending order.
-1/2, u, 5
Let m = 0.392 + -0.022. Let c = -0.2 + 0.07. Let o = m - c. Put -2, -4, o in increasing order.
-4, -2, o
Let i(f) = 2*f**3 - 4*f**2 + 2*f + 1. Let c be i(2). Let g be 4 - (3 + -4)/(-1). Suppose 4*q = 2*x + 10, 4*x - g*q + 9 = 2*x. Put x, -4, c in descending order.
c, x, -4
Let l = 22 - 20. Suppose 3 = l*w - k + 7, 3*w + 15 = -3*k. Let x = -6 - -5. Sort x, w, -5 in decreasing order.
x, w, -5
Let r = -0.081 + -0.499. Let t = -0.98 - r. Sort 1/5, -4, t in descending order.
1/5, t, -4
Suppose 3*b + 126 = 7*b + l, b = 4*l + 23. Let m = 29 - b. Put -3, m, 1, -6 in decreasing order.
1, m, -3, -6
Let b = 141 - 141. Suppose 2*i = -4*j + 9 - 3, 3*j + 4*i = 2. Suppose -2*k - 12 = k. Put j, k, b in ascending order.
k, b, j
Let y = 1153 + -1153.5. Sort -4/5, 9, y in increasing order.
-4/5, y, 9
Suppose -3*z = 4*w + 9, w = -z - 2*z. Suppose -u + 3 = -z. Sort 5, u, 2 in descending order.
5, u, 2
Let n = -217285557/8978 - -24202. Let a = 4704481/80802 + n. Let r = 58 - a. Sort -0.3, -1, r in increasing order.
-1, -0.3, r
Let l = -39.7 - -39.67. Let f be 1/1 + (-20)/12. Put l, f, 1/6, 2 in increasing order.
f, l, 1/6, 2
Let n = -2/23 + -28/207. Sort -1/4, n, 2 in increasing order.
-1/4, n, 2
Let r be -8 - 50*(-6)/36. Put r, -1, 60 in decreasing order.
60, r, -1
Let s = -1716 + 1713. Put 5, s, -5, 38 in increasing order.
-5, s, 5, 38
Let t = 100 + -88. Sort -7, 3, t in ascending order.
-7, 3, t
Suppose -2*m + 126 = -5*r, 0*m + 189 = 3*m + 3*r. Let y be ((-9)/m)/((-12)/(-14)). Put -0.5, y, 9 in decreasing order.
9, y, -0.5
Suppose 24 = 24*w - 19*w + d, 0 = -5*w - 5*d + 20. Let n = 5 + -3. Put w, n, 4 in descending order.
w, 4, n
Let z = -231 - -1619/7. Let g = 5.6 - 6. Put g, 0.05, z, -1/4 in increasing order.
g, -1/4, 0.05, z
Let l(z) = 3*z**2 - 60*z + 112. Let k be l(2). Put 11, 6, -5, k in decreasing order.
11, 6, k, -5
Let s = -731 + 727.01. Let k = -0.01 + s. Suppose -n = 5 - 7. Sort k, 3, n.
k, n, 3
Let c = -27 + 29. Let y be (7 + 1 + -2)/c. Sort -1, -2, y in decreasing order.
y, -1, -2
Let i be ((-1)/2 + 1)*(-5)/((-85)/(-34)). Suppose -4 - 5 = -3*t. Put t, i, -2, 0 in ascending order.
-2, i, 0, t
Suppose 70*w - 12 = 67*w. Let a(y) = y**2 - 5*y - 1. Let p be a(3). Let d = p - -2. Sort w, 3, d in descending order.
w, 3, d
Suppose 5*r = 7*d - 3*d + 65079, d - 4 = 0. Let k = 364485/28 - r. Let n = k + 10/7. Sort 1/7, 1/5, n in ascending order.
n, 1/7, 1/5
Let q = 3.26 + -3.86. Let j = 32.6 + -29. Let m = j + q. Put -4, m, -0.18 in decreasing order.
m, -0.18, -4
Let k be 11*10*3/330. Sort 2, -24, k, -1 in increasing order.
-24, -1, k, 2
Let y = 39 + -36. Suppose -4*d - c - 10 = -d, 2*c = 4. Sort y, d, 5 in decreasing order.
5, y, d
Suppose 2*v = -4*o + 5*o - 3, 5*o = -4*v + 15. Put v, -1, 13 in decreasing order.
13, v, -1
Let i = 81 - 569/7. Let y = -102 + 110.4. Let m = -8 + y. Sort 5, m, i in descending order.
5, m, i
Let w = 11 - 18. Suppose -9*d + 4*d + 15 = 0. Suppose 5*j + 18*x - 17*x = -17, 12 = -6*x. Sort d, w, j.
w, j, d
Let b be (1/4)/((-21)/(-12)). Sort -0.4, b, -2/13 in descending order.
b, -2/13, -0.4
Let v be (-50)/126 + 16/56. Let c = 45.4 + -51. Let k = -2.6 - c. Put -0.3, k, v in increasing order.
-0.3, v, k
Suppose 0 = 2*b - 85 - 55. Put 0, b, -4 in ascending order.
-4, 0, b