 order.
x, 3, -3
Let q(z) = -4*z + 26. Let l be q(7). Put 0, -1, l, 5 in decreasing order.
5, 0, -1, l
Let g(m) = -m**2 + 8*m + 13. Let t be g(9). Suppose 5*z + 11 = -4*b, 3*z = 2*b - z - 14. Suppose b + 2 = i. Put i, t, 5 in descending order.
5, t, i
Let n = 10 + -12. Sort n, 37, -5 in descending order.
37, n, -5
Suppose -2*o = -5*q + 7, -q + o + 3*o - 13 = 0. Let n = -15 - -15. Let a = n - q. Put a, 3, -0.1 in increasing order.
a, -0.1, 3
Let g = -99/235 - -1/47. Let i be (10/(-6) + 8/3)*0. Sort 6/7, g, -0.1, i in ascending order.
g, -0.1, i, 6/7
Let w(f) = f + 10. Let i be w(-12). Let u = 18 + -24. Put i, 0, u in descending order.
0, i, u
Let o = 29.966 + 0.034. Let p = -27.9 + o. Let j = p - 2.2. Sort j, -2/5, 4/9 in increasing order.
-2/5, j, 4/9
Let l be (-4)/(-2) + 170/(-34). Put 0, l, 0.21 in descending order.
0.21, 0, l
Let n(t) = 15 - 2 - 3 + 5*t + 4. Let u be n(-6). Let g = u - -13. Sort 1, g, 3 in ascending order.
g, 1, 3
Let d = -47 + 49. Suppose -2*w = d*n + 44, -74 - 6 = 5*n - 5*w. Put 2, n, -3 in descending order.
2, -3, n
Suppose 0*h + 18 = 2*h. Let v = -5 + h. Suppose 0 = 8*t - v*t. Sort -2, 4, t in increasing order.
-2, t, 4
Let x(h) = -6*h**2 - 20*h + 21. Let z be x(-4). Put 4, z, 64 in descending order.
64, z, 4
Suppose -a - 35 = 1. Let y be (a/32)/(3/(-4)). Sort -4, y, 0.4 in decreasing order.
y, 0.4, -4
Let p = 3.879 + 8.121. Let y be 12/(-15) - (-6)/9. Sort p, y, 0.5, -0.4 in descending order.
p, 0.5, y, -0.4
Let n be 116/1102 + (-772)/836. Put -1/3, n, -6/11, 1/3 in descending order.
1/3, -1/3, -6/11, n
Let f = 17 + -25. Let x = -7 - -2. Let a(d) = d**3 - 27*d**2 - 24*d - 108. Let t be a(28). Put x, f, t in increasing order.
f, x, t
Let l = 324 - 324. Sort l, -8/15, -4/5, 4 in increasing order.
-4/5, -8/15, l, 4
Let d = 4 - 8. Let g = -328 + 328. Sort g, -5, d in ascending order.
-5, d, g
Let b(w) = w**3 + 4*w**2 - 5*w + 9. Let c(h) = h**2. Let n(d) = b(d) + 4*c(d). Let u be n(-8). Sort 2, 1, u in descending order.
u, 2, 1
Suppose -h + 15 - 2 = 0. Let k = -4 + h. Let g = -13 + k. Sort 4, -3, g in decreasing order.
4, -3, g
Let b = -0.07 - 0.93. Let t = 14.2 - 18. Let u = 3.6 + t. Sort u, 0.2, b.
b, u, 0.2
Let x be 24/56*14/2. Suppose 13 = -x*i + 16. Let h = -2 - -2. Put -1, h, i in descending order.
i, h, -1
Let h(z) = -z**2 + 4*z - 2. Let s be h(2). Suppose 3*n = -a + 1, -n = a + a - s. Let g be -4*1/(-2)*-1. Sort n, -5, g in ascending order.
-5, g, n
Let q(c) = -8*c - 9. Let f be q(-1). Let y be ((-1)/2)/((-5)/30). Sort f, -2, y.
-2, f, y
Let s be (-6)/(-4)*(-12)/9. Let q(n) = -2*n + n**2 - 1 + 4 - 1 - 8. Let k be q(4). Sort k, -4, s in descending order.
k, s, -4
Suppose 0*t - t = 0, 0 = 2*y + 2*t. Put y, -5, 166 in descending order.
166, y, -5
Let p be 2 + -1 - (-15 - -23). Sort 4, p, -9 in decreasing order.
4, p, -9
Let i(y) = -y**3 - 6*y**2 + y + 11. Suppose -5*u = 3*q + 31 + 14, 3*q + 3 = 2*u. Let t be i(u). Sort t, 3, -4, 2 in descending order.
t, 3, 2, -4
Let d = 490/9 - 2432/45. Put d, 5, 4/3, -6/17 in increasing order.
-6/17, d, 4/3, 5
Let b = -27 - -29. Let x = b + -9. Sort x, -0.4, -1 in increasing order.
x, -1, -0.4
Let h = 203/3 - 67. Sort h, -2, 1/3, -12 in ascending order.
-12, -2, 1/3, h
Let k(c) = 2 + 4 - 3 + 16*c - 6. Let h be k(1). Suppose 4*d - 12 = 4*o, -o - h = 4*d - 0*o. Sort -1, d, 5.
d, -1, 5
Let d = 183 - 188. Sort -2/15, -2, d, 2/5 in decreasing order.
2/5, -2/15, -2, d
Suppose 2*x = 44*x - 126. Sort -7, x, 0, -3 in decreasing order.
x, 0, -3, -7
Suppose 3*z + 2 = -4*n, -3*n + 2 = 2*z + 4. Let c be (0 + 0 + -1)*(-3 + 9). Sort z, c, 6.
c, z, 6
Let q(t) = 4*t + 3. Let c be q(-2). Suppose m - 4*g + 20 = 5*m, 0 = m + 2*g - 5. Put -10, c, m in descending order.
m, c, -10
Let k(t) = t**3 - 3*t. Let l be k(-2). Suppose -x + 20 = 2*v + 3*x, 3*x = v + 10. Sort -13, l, v, 4 in decreasing order.
4, v, l, -13
Let j be (-84)/22 - (-12)/(-66). Sort -1, j, 83, 1 in ascending order.
j, -1, 1, 83
Let i = 0.017 + 0.983. Let x = 18/13 + -152/91. Sort -2/11, x, i in descending order.
i, -2/11, x
Let u = -4 - -8. Suppose -j + 6*j + 5*p = -45, 0 = 4*p + 8. Put j, -5, u in increasing order.
j, -5, u
Suppose 73 = 4*c - p, -p = 2*c + 3*c - 98. Let r = 21 - c. Sort 0, r, -2 in descending order.
r, 0, -2
Let o be ((-168)/(-9))/(-4) - 5/15. Let c be (-5)/(5/(-2)) - 0. Suppose 4*m = 3*s, c*m - 6*s + 2 = -4*s. Put -3, m, o in descending order.
m, -3, o
Let j(c) = 8*c**2 - 6*c - 4. Let m be j(-3). Let p = m + -91. Put 1, -13, -3, p in ascending order.
-13, p, -3, 1
Let h = 1985 - 1990. Let v = -9 - -5. Suppose 10 = 4*n - 6. Sort n, h, v in descending order.
n, v, h
Let g be (-2)/8 - (-19 - (-996)/48). Put 4, g, 71, 0 in descending order.
71, 4, 0, g
Let j = -40 - -38.1. Let a = j + 3.9. Sort -1/2, -0.2, a, 2/11.
-1/2, -0.2, 2/11, a
Let i = 1.9 - 1.86. Let d = -7.3 - -7.8. Put -0.4, i, d in decreasing order.
d, i, -0.4
Let l be 1 - (9 + (1 - 2)). Suppose -17*g - 26*g = 0. Put g, l, 5 in decreasing order.
5, g, l
Let c = -0.544 - 0.026. Let t = 0.97 + c. Put 1, 5, t, -5 in ascending order.
-5, t, 1, 5
Let j(v) = -v - 1. Let c be j(3). Let u(g) = 2*g**2 - g - 1. Let z = 4 + -2. Let x be u(z). Sort x, c, -1 in decreasing order.
x, -1, c
Let c = -2905/3 - -969. Let d be 4/10 + (-7614)/210. Let n = d - -36. Put c, 1, n in descending order.
1, c, n
Let u be (150/900)/(2/(-16)). Sort -0.3, -3/2, u, 0.7 in descending order.
0.7, -0.3, u, -3/2
Let h = 0.028 - -0.072. Sort -6, 0.13, h in descending order.
0.13, h, -6
Let w = 98 - 95. Let z be (-1)/(-1 + 6042/6081). Let c = 156 - z. Sort 1/4, w, c in descending order.
w, 1/4, c
Let m = 1196 + -1207. Sort 2, 4, -8, m in ascending order.
m, -8, 2, 4
Let r(b) = 2*b**3 - 2*b**2 - 2*b + 2. Let t be r(2). Let n = t - 6. Suppose 0*u - 5*u = n. Sort u, -2, 1 in ascending order.
-2, u, 1
Let h = -317/4 + 79. Let n(s) = -s**2 + 3*s - 5. Let o be n(4). Let u(j) = j + 10. Let z be u(o). Sort 5, z, h in ascending order.
h, z, 5
Let u = -59/64 + 27/64. Put 65, u, -0.3 in descending order.
65, -0.3, u
Let v = -27 - -28.45. Let d = 1.35 - v. Sort -0.5, 0.02, d, -2/21.
-0.5, d, -2/21, 0.02
Suppose 5*b = 3*n + 18 + 2, -5*n + 5*b = 30. Sort -6/17, -1, n in descending order.
-6/17, -1, n
Let d = 0.089 - -1.911. Let c be 1 + ((-150)/27)/2 + 2. Sort -0.1, d, c, -2/5 in descending order.
d, c, -0.1, -2/5
Let z = -74 + 124. Let d = 36 - z. Let w = -13 - d. Put -1, -3, w in decreasing order.
w, -1, -3
Let y = 166 - 166.1. Sort y, 0.1, 4, 5 in descending order.
5, 4, 0.1, y
Let i = -798 - -795. Sort 72, i, 4 in descending order.
72, 4, i
Suppose 0 = -5*y - 2*y + 21. Let x be ((-3)/2)/(15/6 - y). Sort x, -4, -0.5.
-4, -0.5, x
Let t = 16.28 - 0.28. Let u = 2.33 - -1.67. Let p = t - u. Put p, 0.5, 1/8 in increasing order.
1/8, 0.5, p
Suppose -14*l + 37 = -4*x - 9*l, -2*l = -2*x - 16. Suppose 7*o - 3*o = 0. Suppose o = v - 4*v + 15. Put v, -5, x in ascending order.
-5, x, v
Let r be (2 + 1)/((-315)/14). Suppose -41*o = -44*o - 3. Sort 0.5, 1/3, r, o.
o, r, 1/3, 0.5
Suppose 5 = s + c, 0*s - 3*c = -2*s + 15. Let o be 1 + s/(3/(-1)). Suppose 18 = -5*x - l, 3*l + 3 = -6. Sort x, o, 0.
x, o, 0
Suppose -7*h + 21 + 14 = 0. Suppose 0 = -4*y + h*m - m + 16, -16 = -4*y - 4*m. Sort -2, 5, y.
-2, y, 5
Let r = 0.085 + -0.185. Let d = -14 + 55/4. Put 2/11, 0.4, r, d in increasing order.
d, r, 2/11, 0.4
Suppose -42*t + 16*t + 1222 = 0. Sort t, -5, 5 in ascending order.
-5, 5, t
Suppose 0 = -y + l - 3, y + 2*l + 18 = -3*y. Suppose -37*n + 7*n - 102 - 48 = 0. Sort n, 5, y in decreasing order.
5, y, n
Let t(n) = n**2 + 5*n + 5. Let j be t(-2). Let g = -0.336 - -0.136. Sort 1, g, j in ascending order.
j, g, 1
Suppose -5*f + 20 = 5*w, -45*w + 5*f - 10 = -40*w. Let u = 4 - 7. Let o be (-1 - 0) + 1*(1 + 2). Sort u, w, o in ascending order.
u, w, o
Let b(q) = -5*q. Let x be b(-1). Suppose -x + 6 = -o. Let n be 3 + -1 + (-1 - 1). Sort o, 3, n in increasing order.
o, n, 3
Let i = 0.024 - 1.975. Let m = i - 0.049. Sort m, 4, 0.3, -5 in ascending order.
-5, m, 0.3, 4
Let z = 84 + -74. Sort 1, -3, 4, z.
-3, 1, 4, z
Let s be (-10)/22*(10 + 432/(-45)). Let b = -6 + 6.6. Let x = b + -1. Sort x, 1/3, s in decreasing order.
1/3, s, x
Suppose 0 = -5*h - 4*u + 75, 3 - 26 = -3*h + 2*u. Suppose h*l = 13*l + 2. Put -2, -7, l in descending order.