ecreasing order.
i, s, j
Suppose 0 = -5*n - 3*u - 12, -2*n + u = -3 - 1. Suppose -2*o + 8 + n = 2*t, 5*o = 5*t + 20. Let m be (-13)/(-11) - (-3 + o). Put -4, 4, m in descending order.
4, m, -4
Let x(t) = 0*t**3 - 71 + 7*t + 64 - t**3 + 5*t**2. Let a = 2 + 4. Let y be x(a). Put 5, y, 4 in decreasing order.
5, 4, y
Let w = 63 - 73. Sort -1, 4, w, -4 in decreasing order.
4, -1, -4, w
Let g be 8/1 - (-65)/(-8). Put -4, 2/5, 0.2, g in descending order.
2/5, 0.2, g, -4
Let i = -2.51 + -0.39. Let p = 3.25 - i. Let z = 0.15 - p. Sort z, -2, -2/9.
z, -2, -2/9
Let f(k) = k**2 - 5*k + 4. Let l be f(4). Let g be 3/((-9)/6) + l. Let c = -131 - -133. Put c, g, -5 in ascending order.
-5, g, c
Let p be (18/(-2 - 1))/1. Let d = 5 + p. Sort -2, 5, d in descending order.
5, d, -2
Let c = -4.43 - 0.29. Let y = 0.28 - c. Put -5, y, -1 in descending order.
y, -1, -5
Let y = 1.11 - 1.1. Let w = y + -3.01. Let a = w - -2.8. Sort 1/4, a, -1/6 in ascending order.
a, -1/6, 1/4
Let o = 4.6 + -5. Let a = 0 + o. Let m be (-2970)/(-72) + -27 - 15. Put m, -4, a in decreasing order.
a, m, -4
Let v(f) = 5*f - 16. Let b be v(4). Sort 0, b, 6 in ascending order.
0, b, 6
Let b = -2575 + 2575. Let v be (1/(-4))/((-5)/(-4)). Sort 4, -22, b, v in decreasing order.
4, b, v, -22
Let x = 30 - 45.5. Let i = x - -14. Let t = i - -6.5. Sort -6, t, -0.1 in descending order.
t, -0.1, -6
Let k be 3/3 + 39*(-7)/63. Let z be 1 - (-2)/(3 + -1). Sort 4, z, k in decreasing order.
4, z, k
Let l be 0*((-10)/(-5))/(-2). Suppose l = -5*s + 1 - 16. Let n = -1428/11 + 130. Sort n, s, 5 in increasing order.
s, n, 5
Let u = 361.2 - 361. Sort -7, u, -0.03 in descending order.
u, -0.03, -7
Let u be ((-1501)/171 - -9)*3/(-2). Sort -19, u, -12.
-19, -12, u
Suppose -6*x + 15 = -x. Suppose -110 = -5*d + 2*k, 0*k + 4*k = 0. Let t = d - 18. Sort 1, x, t in decreasing order.
t, x, 1
Let r = 68 - 614/9. Sort 1/4, r, -2/55 in descending order.
1/4, -2/55, r
Let x = 116.5 + -115. Sort 0.2, x, -3 in decreasing order.
x, 0.2, -3
Let s be 30/135 - (-1)/(-45). Let f = 280/2299 + -2/121. Sort s, f, 0 in decreasing order.
s, f, 0
Suppose -13*n + 12*n + 15*n = 0. Sort n, 1, 9.
n, 1, 9
Let g = -57 - -33. Let z = g + 23.7. Let i = 0.3 + 0.2. Put i, z, -4 in descending order.
i, z, -4
Let n = -18 + 19. Let u be (0 - n)/((-6)/18). Suppose u*r - 2*r = 0. Sort r, -2, 1 in increasing order.
-2, r, 1
Let m be 2/4 + 36/(-40). Suppose -24 = -4*b + 2*y, -2*b - 3*y = -3*b + 1. Let s be (4 - 3)/b*-2. Sort m, 0, s.
m, s, 0
Suppose 25 = a - 5*v, 2*a = v - 4*v - 2. Suppose -n + 6 = 9. Sort -2, a, n.
n, -2, a
Let t = 0.1907 + 2.8093. Let s = 16.78 + 0.22. Let d = 98 - 684/7. Put t, s, d in increasing order.
d, t, s
Let m be 0 + 1 + -7 + -4. Let v be (2 + -1)/(65/m). Let r = -18 - -71/4. Put v, 1/7, r in descending order.
1/7, v, r
Let c = -7 - -1. Let h be -2 + 5 - (c + -1). Suppose -h = -2*j - 2. Sort j, -2, -7.
-7, -2, j
Let l be (-9)/45 - 8/10. Put -5, l, 475 in ascending order.
-5, l, 475
Suppose 5*y + 30 = 2*y. Let t be (-8 - y) + (-1)/(-1). Let w be -6 + 4 - 8/(-2). Put t, 4, w in descending order.
4, t, w
Let g = -0.22 - -0.14. Let q = -0.09 - g. Let t = -7 + 4. Put t, 4/3, q in ascending order.
t, q, 4/3
Let b be (2 - 17)*2/(-5). Suppose -3*s - 3*d + 18 = 0, -2*d + b = -s - 3*s. Let n be (-11)/3 + (-7)/3 + 2. Sort s, n, 4 in decreasing order.
4, s, n
Suppose -2*c + 18 = u - 7*c, 0 = u - 2*c - 9. Sort u, -4, 1, 94 in descending order.
94, u, 1, -4
Let v be 2/13 + ((-1875)/(-234) - 8). Put 0.4, 2/15, v in ascending order.
2/15, v, 0.4
Let l be ((-6)/(-5))/(3 - 4763/1595). Put -2, -4, l in decreasing order.
l, -2, -4
Let w = 30 + -34. Let x = 7 - 4. Let z = w - x. Put z, 4, -1 in descending order.
4, -1, z
Let y = 135 - 140. Suppose -4*h - 4 = 2*o, 0*h + 3*h = -9. Put -4, o, y in decreasing order.
o, -4, y
Let o = 77 - 79. Let p be 2/7 + (o - 0)/14. Sort 3, -0.1, 1, p in decreasing order.
3, 1, p, -0.1
Let u = -1.9555 + -0.0445. Put 1/8, u, -4, -2/3 in decreasing order.
1/8, -2/3, u, -4
Let z be (3 - 7 - -2)/2. Let i be z - 1 - (-4 + (12 - 6)). Sort i, 4, -3 in increasing order.
i, -3, 4
Let m(z) = 9*z - 133. Let i be m(15). Put 1, -5, i, 15 in descending order.
15, i, 1, -5
Let r = 25 + -23. Suppose -r*i + 0 - 8 = 0. Sort 7, -2, i in ascending order.
i, -2, 7
Let k = 122 - 208. Let i = 89 + k. Sort i, -4, 1/2, -3.
-4, -3, 1/2, i
Suppose -5*x + 13 = -c, 2*x - 5*c + 13 = 3*x. Let d = -0.56 + 0.06. Sort d, x, 0.07 in descending order.
x, 0.07, d
Suppose 0 = 2*q - 5338 + 5328. Let u = -3 - -4. Put -5, u, q in decreasing order.
q, u, -5
Let n be 17/(-68) - (-10)/8. Put 5, n, 12 in descending order.
12, 5, n
Let z = -5.2 + 0.2. Let x = z + 9. Suppose 0 = b - 4*r + 5 + 4, r = 3. Put 5, b, x in decreasing order.
5, x, b
Let j = 3 + 9. Let h = j + -7. Let y(v) = -2*v**3 - 3*v**2 + 3*v + 2. Let l be y(-2). Sort l, -0.2, h in ascending order.
-0.2, l, h
Let k = -1138/3 + 380. Sort 0.4, k, 1/83 in increasing order.
1/83, 0.4, k
Let b(t) = -t - 1. Let p be b(-5). Suppose -6 = -g - 3, -2*d + 42 = p*g. Sort 4, -4, d in decreasing order.
d, 4, -4
Let p = 0.166 + 82.834. Let b = p - 93. Sort b, -0.1, 1/5, 1/8 in descending order.
1/5, 1/8, -0.1, b
Suppose -12 - 59 = 5*k + i, -k = 5*i + 19. Let c be (-34)/(-119) - 10/k. Put 2, c, -3 in increasing order.
-3, c, 2
Suppose -5*g + r = 24, -41 + 13 = 5*g + 3*r. Sort g, 15, 1, -1 in descending order.
15, 1, -1, g
Let w = 15 - 12. Suppose 5*r + 5*i = -15, -r = -6*r + i + w. Let a(t) = -2*t + 2. Let k be a(3). Sort 3, r, k in descending order.
3, r, k
Let k = -5.1 - -5.3. Let u be 7 + -7 + 3 + -2 + 0. Put -1/18, k, u in decreasing order.
u, k, -1/18
Suppose 0 = 2*f - 9 - 11. Suppose 2*p - f = -3*p. Put 11, p, -5 in ascending order.
-5, p, 11
Let t = -33 - -32.3. Let h = -0.2 - -1.1. Let j = h + t. Put j, -1/5, 2/3 in increasing order.
-1/5, j, 2/3
Suppose -3 - 17 = -5*z. Suppose 0 = -0*r - 3*r + 6, 0 = -z*p + 2*r - 20. Let v(u) = 2*u**3 - 20*u**2 + 159. Let i be v(9). Sort -5, p, i in increasing order.
-5, p, i
Let n be 354/(-826) + (-1)/(-7). Let k be -6*1*1/2. Sort n, k, 1, 5 in descending order.
5, 1, n, k
Suppose 0*d - 4*h + 18 = -d, -5*d + 2*h = 0. Let b be (d - 0) + 2 - 2. Let q be ((-1)/(-3))/((-5)/15) - -2. Sort -2, q, b in increasing order.
-2, q, b
Let g be 1*-2*(-5)/(70/(-49)). Sort -1, 13, g in descending order.
13, -1, g
Let q be (-11)/88 + 51/24. Suppose -2*x - 4 = 0, 0*x + x - 8 = -2*n. Put q, n, -3, 3 in descending order.
n, 3, q, -3
Let w(p) = p**3 - 3*p**2 + 4*p - 2. Let j be w(2). Let k(a) = 2*a - 175*a**2 + 91*a**2 + 2 + 85*a**2. Let i be k(-1). Sort i, j, 4.
i, j, 4
Let z be (-2)/(28/(-3) + 9). Put -3, z, 0 in decreasing order.
z, 0, -3
Suppose -5*y - 11 = -3*n, 3*y - 8*y + 5*n = 5. Put -4/9, 213, y in descending order.
213, -4/9, y
Suppose 0 = 5*z - 4*o - 53, 2*z = 2*o + 140 - 118. Let w(n) = n + 4. Let c be w(-5). Sort z, c, -3 in decreasing order.
z, c, -3
Let w = -6.9152 + -0.0848. Sort -5, w, -1, 1/2 in ascending order.
w, -5, -1, 1/2
Let r be (-4)/(-26) + 1 + (-4352)/(-104). Suppose 36*o = r*o. Sort -3, -1, -5, o in decreasing order.
o, -1, -3, -5
Let l = 63 - 63.1. Sort l, -3/2, 2/9 in increasing order.
-3/2, l, 2/9
Suppose 0 = -31*i + 33*i. Sort -4, -1/28, i, 2 in descending order.
2, i, -1/28, -4
Suppose -51*m + 25 - 127 = 0. Let x(v) = -10*v + 4. Let g be x(3). Sort -3, m, g in ascending order.
g, -3, m
Suppose -32 = 4*v - 260. Suppose x + 2*x = -v. Let y = -17 - x. Sort 4, -4, y.
-4, y, 4
Suppose -3*t + 32 = -4. Let r = t - 10. Suppose 4*c + 4 = -4*o, 0*o - 4*o = -2*c - r. Put 2/17, c, -5 in descending order.
2/17, c, -5
Let s(i) = -10*i - 63. Let j be s(0). Put -2, -4, j, 0 in descending order.
0, -2, -4, j
Let w = -83 - -76. Let j = -12.1 + 1.1. Let q = j - w. Sort 0.4, q, -1 in increasing order.
q, -1, 0.4
Let j = -1.569 + 0.069. Let d = j + 1.5. Sort -7, -0.1, -0.3, d in increasing order.
-7, -0.3, -0.1, d
Suppose 0 = 2*c + 8 - 6, -3*c = -4*t + 15. Sort t, -6, 1, -1 in decreasing order.
t, 1, -1, -6
Suppose 0 = 2*m - 0*m + j + 12, -5*m - 2*j = 32. Let o be (-1)/(2*(-4)/m). Let t be (2*o/(-2))/2. Sort -0.2, t, 4/3 in decreasing order.
4/3, t, -0.2
Let k(c) = 2*c + 33. Let z be k(-18). Put -1, 23, z in increasing order.
z, -1, 23
Let r be ((-47)/15 + 3)/(18/(-27)). Sort 