 Let s = o - 70. Let c = -33/2 + 16. Sort c, 0.4, s in descending order.
s, 0.4, c
Let v be (-247)/26*(-2)/1. Suppose -13 = 3*f - v. Put f, 7, -1, 3 in decreasing order.
7, 3, f, -1
Suppose -4*p + 4*c = 0, 2*p + 7 = 5*c + 13. Sort p, 14, -5, -4 in decreasing order.
14, p, -4, -5
Let x be (258/172)/((-2)/4). Sort -67, -5, x in ascending order.
-67, -5, x
Suppose -28*j + 48 = -12*j. Sort 7, 29, j in descending order.
29, 7, j
Suppose 5*j + 2 = -3*r, 29 - 9 = 2*j - 4*r. Put -1/4, j, -1, 2/13 in ascending order.
-1, -1/4, 2/13, j
Let b be ((-2)/10)/(5 + -4). Let s = -2/15 + b. Let i = -3.4 - -0.4. Put 0, i, s in descending order.
0, s, i
Let h be -7 - (-5 - -10) - -8. Put 5, h, -20 in descending order.
5, h, -20
Let u(h) = -4*h - 67. Let b be u(-17). Sort -47, b, 5.
-47, b, 5
Suppose 3*g + 26*h - 28*h = -10, -1 = h. Sort -2, g, -41, -3 in ascending order.
-41, g, -3, -2
Let g = -2 + 2.04. Let t = -8.137 - -0.037. Let c = 8.4 + t. Put -2, g, c in increasing order.
-2, g, c
Let i be (3 + 0)/(-1 - -2). Let x be i + -22 + (-2)/1. Let b = x + 18. Put 5, -2, b in decreasing order.
5, -2, b
Let i = -66 + 71. Suppose -6*z = -4 - 2. Sort -4, i, z.
-4, z, i
Let d(a) = -2*a - 14. Let y be d(10). Let g = -40 - y. Sort g, 3, -0.2 in descending order.
3, -0.2, g
Let q = -0.22983 + -0.17017. Let k be ((-46)/(-3))/(1/(-3)). Sort q, k, 0 in increasing order.
k, q, 0
Suppose -17*d + 11 = 45. Let u = 35 - 42. Put d, u, -5 in descending order.
d, -5, u
Let q = -1/23 - -59/299. Let i = -0.08 + 2.08. Sort q, i, 1/7.
1/7, q, i
Let o(n) = -n**3 + 2*n**2 + 11*n - 20. Let w be o(3). Let r(k) = 0*k**3 - k - 2 + 7 + 4*k**2 - k**3. Let a be r(w). Sort -2, a, -4.
-4, -2, a
Let x(r) = 2*r**3 + 2*r**2 - 2*r - 3. Let y be x(-2). Let b = y - -9. Let t = b + -5. Put t, -2, -3/4 in descending order.
-3/4, -2, t
Suppose 0 = -5*y - 4*s - 194, -2*s = -y - 49 + 13. Sort 1/12, 3/2, y in decreasing order.
3/2, 1/12, y
Let p be 25/6 + (-6)/36. Let k be (5 + 0)*(8/p + -3). Put 4, -4, k in increasing order.
k, -4, 4
Let n(u) = u**3 + 13*u**2 - 88*u + 39. Let g be n(-18). Sort -100, g, -3, 0.
-100, -3, 0, g
Let u(j) = -j**3 - 21*j**2 + 22*j. Let m be u(-22). Suppose m = 3*l + 61 - 76. Sort l, -16, -0.5.
-16, -0.5, l
Let w = -12.956 + -0.044. Let a = -12.9 - w. Put a, 4, -2 in ascending order.
-2, a, 4
Suppose -5*d = 4*r - r + 5, 3*d + 4*r = 8. Put -16, d, -5 in increasing order.
-16, -5, d
Let c = 369 - 338.2. Let v = -31 + c. Sort -5, 1/2, 0.2, v in increasing order.
-5, v, 0.2, 1/2
Let l = 474 - 477. Let f = 0 - -2. Put l, f, -1 in descending order.
f, -1, l
Suppose 6*x - 2*x = 12. Suppose -x*i + 132 = -i. Let f be 12/i + (-26)/22. Sort -0.5, f, 0.1.
f, -0.5, 0.1
Suppose -12 = -v + 3*v. Suppose -4*c - 16 = 5*i, -1 = -i - 5. Sort 2, c, v in ascending order.
v, c, 2
Let s be (13/(-39))/((-64)/18). Let n = s + -47/160. Put n, 0, 0.1 in ascending order.
n, 0, 0.1
Suppose -2*o - 9*o + 66 = 0. Sort -5, -3, o in increasing order.
-5, -3, o
Let k be (-12)/16 + 7/(-28). Put k, 6, 34 in increasing order.
k, 6, 34
Let q be (-7)/(-42)*(-27)/(-12). Put 1, -2/15, 0.4, q in ascending order.
-2/15, q, 0.4, 1
Let x = 433 + -1731/4. Put 6, x, 3, -0.2 in decreasing order.
6, 3, x, -0.2
Let k = -17 - -12. Let s = 0.135 - 203.135. Let d = 205 + s. Sort k, d, 3 in decreasing order.
3, d, k
Suppose 0*m = -5*x - 2*m + 20, -4*x - 5*m + 16 = 0. Let v = 132 + -132. Sort v, -5, x in decreasing order.
x, v, -5
Let z be 5/(-3)*(17 - -10). Let a be 11/4 - (z/20 - -3). Let y be (-7)/(-5) + 4/(-10). Put y, a, -2 in decreasing order.
a, y, -2
Suppose 1 - 4 = -g. Suppose -g*i = -11*i. Put i, 1/4, -41 in descending order.
1/4, i, -41
Let t = -4.2 - 24.8. Let i = t - -20. Let p = -8 - i. Sort p, -2, -1 in descending order.
p, -1, -2
Let x be (-2 - 1/1)/(3/4). Let k be 2/(-5 + 33/6). Put -1, 1, k, x in increasing order.
x, -1, 1, k
Let w = 13 - 13. Let y = 1.728 + 0.272. Put 3/2, y, w in ascending order.
w, 3/2, y
Suppose -390 + 420 = 6*d. Let w = 0.06 - -3.94. Put w, d, 1 in ascending order.
1, w, d
Suppose 0 = -2*a - 59 + 5. Let f = 23 + a. Sort 8, f, 1 in decreasing order.
8, 1, f
Suppose 0 = -4*n + 8 + 8. Suppose 4*r = -2*g + 20, -8*g + 15 = -n*g + 3*r. Suppose 5*k - 28 = 3*p, 4*p - k = -g*k - 9. Sort 2, -5, p in ascending order.
-5, p, 2
Let y = 60 + -60. Let n = -1.2 + 7.2. Let u be 1/(-2) - 0/2. Sort u, n, y.
u, y, n
Let c = 294 + -303. Put -3, -2, c in decreasing order.
-2, -3, c
Let g = -28 + 24. Let k = g + -1. Suppose 0 = 4*p + h - 8, -4*h = -4*p + p + 25. Sort p, 1/2, k in increasing order.
k, 1/2, p
Suppose -2*c + 22 - 38 = 0. Let t be ((-2)/(-1) + -6)*1. Sort t, -1, -2, c in descending order.
-1, -2, t, c
Let q = 56.7 - 56. Let f = q - 0.3. Sort f, -2, -6, 1 in increasing order.
-6, -2, f, 1
Let t be ((-33)/6)/(2/4). Let u be (-10)/195 - 158/(-39). Sort t, -1, u in increasing order.
t, -1, u
Suppose -35*c - 46 = -58*c. Sort -7/4, c, -4/13.
-7/4, -4/13, c
Let i = -4.2 - -3.1. Let n = i + 1.2. Put n, 2/7, 1 in descending order.
1, 2/7, n
Let p be 4 + 0 - (-10 - -11). Let u(x) = -2*x - 37. Let n be u(-16). Sort n, 12, 1, p in descending order.
12, p, 1, n
Let q(g) = 2*g**2 + 8*g - 10. Let y be q(-5). Put y, -11, -5, -1 in descending order.
y, -1, -5, -11
Suppose 0 = 3*p - 9*p + 240. Suppose -p = 5*t - 35. Sort -5, t, 2, -7 in ascending order.
-7, -5, t, 2
Suppose -7*y + 4*s - 89 = -8*y, -225 = -3*y + 2*s. Let q = y - 76. Sort 5, 0, q, -1 in ascending order.
-1, 0, q, 5
Let r = 84 - 427/5. Let f = -0.26 - 0.14. Let o(d) = -2*d - 1. Let q be o(2). Put r, q, f in descending order.
f, r, q
Suppose -4*t - 26 = 5*o, -5*o + 1 + 9 = -5*t. Suppose -8*s = -13*s + 15. Let z be 3 - 12/4*(-2)/s. Sort -2, t, z.
t, -2, z
Let g be (-143)/(-351) - (2/(-6))/(-1). Sort g, 4/3, -4/7, 0.1 in ascending order.
-4/7, g, 0.1, 4/3
Let k = 171 + -171. Sort -18, 5, 0.1, k in decreasing order.
5, 0.1, k, -18
Let t = -0.2 - -0.2. Let k = -1.24 + 1.64. Let y = -5 - 0. Sort k, t, y.
y, t, k
Let n be (-9 - 40/1) + -3. Sort -3, 2, n in descending order.
2, -3, n
Suppose 5*q + 8*b = 5*b + 17, 0 = -3*q + 5*b + 17. Put q, -4, -2 in decreasing order.
q, -2, -4
Let z = -404 - -397. Let j be ((-2)/(-12) - 0)*-1. Sort j, z, -4/5.
z, -4/5, j
Let f be 2*6/4*-6. Let x(y) = y**3 + 17*y**2 - 17*y + 11. Let w be x(f). Put w, -2, 4, -5 in increasing order.
w, -5, -2, 4
Let v = -814 - -800. Sort v, 1/6, 3, 4/3 in decreasing order.
3, 4/3, 1/6, v
Suppose 3*d = 3*p - 3, -6 = -d - 1. Suppose -7*v = -5*v - 40. Let x be (-2 + 6)*(-2)/v. Put x, p, 0.1 in decreasing order.
p, 0.1, x
Let m = 0 - 4. Suppose -3*t - 2*t + 12 = 4*y, -2*t - 9 = -3*y. Sort -5, 4, m, y in ascending order.
-5, m, y, 4
Let i be ((-92)/207*(-18)/(-4))/(-56). Sort 2, -5, i in decreasing order.
2, i, -5
Let f = -18.1 - -17.1. Put -0.3, 0, f in ascending order.
f, -0.3, 0
Let p(z) = -z**2 + 7*z - 5. Let j be p(4). Let c(s) = -3 - 55*s - 4*s**2 + 5*s**2 + 49*s. Let a be c(j). Sort -5, 3, a.
-5, 3, a
Let o be 32/(-144)*-2*9. Let l be (-1)/(o + (3 - 0) + -3). Suppose 20 = 5*q - 5*m, -m + 0*m = 2*q + 7. Sort l, q, 0 in decreasing order.
0, l, q
Suppose -6*m = 476 - 470. Sort 1, m, -5, 12 in increasing order.
-5, m, 1, 12
Let d = 1.4 + -1.51. Suppose 4*z = 2*i - 24, -24*i + z - 5 = -29*i. Sort 0.5, i, d.
d, 0.5, i
Let n = 851 + -854. Sort 0, 8, 2, n in descending order.
8, 2, 0, n
Suppose 4*y = 3*q - 8, -2 = 2*q + y - 0*y. Let x = 3.01 + 0.19. Let b = -3.6 + x. Sort -1, q, b.
-1, b, q
Let q = -0.057 + -0.143. Let l(f) = f + 2 + 2 - 3 - 4. Let c be l(0). Sort q, c, -1/4 in increasing order.
c, -1/4, q
Let f be (-24)/7 - 66/(-154). Sort 6, f, -6, 0.
-6, f, 0, 6
Let k = 16 - 8. Let i be -1*(-2)/k*245. Let q = i - 61. Sort q, 3, -0.1 in ascending order.
-0.1, q, 3
Let j be (-10 + (-336)/(-36))/((-2)/(-6)). Suppose 5*c + p + 10 = 2*p, 0 = 3*c - p + 8. Sort j, 2, c in descending order.
2, c, j
Let m = 11 + -7. Suppose 2*s - 11 = -5*w - 0*w, 0 = 4*w - s - 14. Put w, -2, m in increasing order.
-2, w, m
Suppose -5*n + 14 = -2*a - 7, 4*n + 3*a - 26 = 0. Sort n, 2, -57, -5.
-57, -5, 2, n
Let c = -4 - -18/5. Sort -3/2, c, 0 in decreasing order.
0, c, -3/2
Let r = -596 + 597. Sort -2/9, r, 7 in descending order.
7, r, -2/9
Suppose 3*g - 4*o = -14, -4*g - 4*o - 6 = -3*o. Put 2, g, 3 in ascending order.
g, 2, 3
Let v