creasing order.
-9, m, 3
Suppose 41 + 25 = 6*n. Let m(o) = -o**2 + 12*o - 14. Let t be m(n). Sort 4, -5, -2, t in descending order.
4, -2, t, -5
Suppose 2*r - x + 13 = 0, 5*r = 2*x - 16 - 16. Let l be (r/30)/((-6)/10). Sort l, 2/15, 1, -0.4 in descending order.
1, l, 2/15, -0.4
Suppose -4*u + 6*u = -2*u. Suppose -3*k = -2*f - 1, f - k - 9 = -2*f. Sort f, u, -3 in increasing order.
-3, u, f
Let h be ((-5)/(-10))/((-3)/6) - -5. Suppose 2*g = h*j + 2, -2*j + 4*g + 8 = -0*g. Sort j, -4, -3.
-4, -3, j
Suppose 2*n + 23 = -0*n - 3*p, 0 = 3*n + 5*p + 36. Let t be (-8)/(-36) + 2204/126. Let j = 18 - t. Put n, 0, j in decreasing order.
j, 0, n
Let f(n) = n**3 + 10*n**2 - 11*n - 1. Let k be f(-11). Let r be (3 - -1) + 3 + -4. Sort r, 0, k, -3 in descending order.
r, 0, k, -3
Let p = -121.9 + 122. Suppose -5*t + 5 = -0*t. Sort p, t, 4 in increasing order.
p, t, 4
Let k = -0.222 + 0.152. Let f = -9 - -8. Put f, -0.2, k in descending order.
k, -0.2, f
Let g = 12 - 15. Let y = -250.1 + 250. Put y, g, -1.4 in descending order.
y, -1.4, g
Let c = -1.9 - -2.3. Let y = 3 - c. Let f = -0.4 - y. Put 0, 0.2, f in descending order.
0.2, 0, f
Let c = 3706 + -25896/7. Let d = -66 - -66.1. Sort 0.5, 2/3, c, d in descending order.
c, 2/3, 0.5, d
Let q = -3 - -6. Suppose -o = 3*i - 2, q*o - 2*i = -3*i - 10. Let f be ((-15)/12)/(-1)*-4. Put 0, f, o in decreasing order.
0, o, f
Let d be (-4 + (-102)/(-24))*2*6. Let p(s) = s**2 - 7*s + 9. Let g be p(6). Suppose -5*t + 10*t - 20 = 0, g*l = -4*t + 13. Put 0, d, l in decreasing order.
d, 0, l
Let f be (3/6)/((-9)/(-2)). Let h = f + 11/9. Let r = 1 - 1.5. Put r, 1/7, h in descending order.
h, 1/7, r
Let p(k) = -32*k**2 + 10*k - 9. Let j be p(2). Put -5, j, 2, -2 in descending order.
2, -2, -5, j
Let y = 148 - 139. Suppose 5*b - 40 = 2*m, -2*b = -b + 3*m + 9. Let z = y - b. Sort z, 6, 4 in descending order.
6, 4, z
Let k be 8/28 + (-880)/(-154) + -1. Suppose -4*n = n + 30. Let y be (-2)/n + (-4)/3. Sort -2, y, k.
-2, y, k
Let l = 718 - 717.7. Let v = -12 - -13. Sort l, -6, v.
-6, l, v
Let n = -13.85 + 14.19. Put 0.4, n, -4 in increasing order.
-4, n, 0.4
Let b(d) = d**3 + 9*d**2 - 36*d + 13. Let j be b(-12). Sort 5, 4, 0, j in ascending order.
0, 4, 5, j
Suppose -4*s - 42 = u + 3, -4*u = -2*s. Put 8, s, 0 in descending order.
8, 0, s
Let o be (-2)/(-9) + 374/99. Put -28, o, -2, -4 in descending order.
o, -2, -4, -28
Let p(i) = -4*i**2 + i - 199. Let h be p(0). Put h, -2, -4 in decreasing order.
-2, -4, h
Suppose -3*w = l + 6, 5*l + 30 = -9*w + 4*w. Sort l, -2, 2, -3 in increasing order.
l, -3, -2, 2
Let c be ((-9)/(-18))/((-9)/(-6)). Let y = -1 - -4. Let x be 5/(-11)*12/30. Sort c, x, y in ascending order.
x, c, y
Let z = -35 + 32. Suppose 4*c = t - 12, 27*t + 2*c = 25*t + 4. Sort 5, z, t in descending order.
5, t, z
Let a(y) = y**3 - 5*y**2 + 8*y - 6. Let r be a(2). Sort r, 4, 156 in descending order.
156, 4, r
Let u(j) = -j**3 - 13*j**2 - j - 4. Let k be u(-13). Suppose 0 = -k*q + 5 + 13. Suppose -2*g = -b - q, 0*b - 4*b - g = -1. Put b, -2, -4 in descending order.
b, -2, -4
Let o = 120 - 118. Suppose 0 = 3*c + 24 - 6. Let i = -1 - c. Sort o, -5, i in ascending order.
-5, o, i
Let y(b) = -6*b**2 - 23*b - 49. Let s be y(-2). Let i = -2 - 2. Sort s, -2, -3, i in ascending order.
s, i, -3, -2
Let w be -5 - (84/(-7) + 5). Sort 4, -1, -4, w in increasing order.
-4, -1, w, 4
Suppose 3*d = -10 - 5. Let m(i) = 32*i + 156. Let p be m(-5). Put 4, p, d in decreasing order.
4, p, d
Let j be 87/58*(-8)/(-6). Let x be (j - (3 + 2 + -3))/(-1). Put 0.5, 22, x in ascending order.
x, 0.5, 22
Suppose 426 = -33*y + 558. Sort -70, -1, y in ascending order.
-70, -1, y
Let k = -493 + 492. Let f = -12 - -17. Let x be (7 + -7)*(-1)/2. Sort f, x, k in descending order.
f, x, k
Suppose -j + 5 = g, 18 - 8 = -j + 4*g. Sort j, 13, -3.
-3, j, 13
Suppose y - 20 = -4*y. Suppose 26*r - 6 = 28*r. Let x be (r/(-45))/(7/42). Sort x, y, -5 in decreasing order.
y, x, -5
Suppose -j - 5 = 4*j, 3*t - 5*j = 5. Suppose l + 2*l = 3. Let g = 1 + l. Sort g, 1, t in ascending order.
t, 1, g
Let a = 0.09 + -0.19. Let m = -0.2 - -0.5. Let k = -845/6 + 140. Sort m, k, a in increasing order.
k, a, m
Let q = -3 - 0. Suppose 5*r = 4*u - 11, -3*u = -5*u - 4*r + 12. Let w = -3 + 4. Sort w, q, u.
q, w, u
Let s = 5.04 - 0.04. Let u = 688 + -687.9. Sort u, s, -4 in decreasing order.
s, u, -4
Let y be ((-2)/(-6))/((8/36)/(-2)). Suppose -p = -3*c - 5, c - 3*p + 8 = -c. Put c, -5, y, 5 in ascending order.
-5, y, c, 5
Let r = 325 - 359. Put r, 6, -4 in decreasing order.
6, -4, r
Let d = -1 + 1. Let b = 0.369 - -0.631. Sort -1, b, d, 3 in decreasing order.
3, b, d, -1
Let m(x) = 10*x. Let o be m(0). Sort -3, o, 2, 1 in increasing order.
-3, o, 1, 2
Let i = -3913/2136 - 1/712. Sort i, -3, 1/3 in descending order.
1/3, i, -3
Let b = 6 + -3. Suppose h = 2*r + 395, 135 + 73 = -r - b*h. Let k = r - -1595/8. Put -2, k, -13 in descending order.
k, -2, -13
Let j = 120 + -136. Suppose g - 5*g + 4 = 0. Sort -1, j, -2, g in increasing order.
j, -2, -1, g
Let m be 4/(-28)*(6 - -1 - 2). Let d = -2.13 + 1.83. Sort m, 3, d in decreasing order.
3, d, m
Let z be ((-2)/(-3))/((-2)/(-3)). Suppose -2*r - 3*f + z = -21, -r + 4*f = 11. Let s(y) = 3*y**3 + y. Let m be s(-1). Sort m, r, -5 in ascending order.
-5, m, r
Let k be 147/168*(5 + 3). Let t be (3/(-9))/(1/(-9)). Put t, -7, k in descending order.
k, t, -7
Suppose 5*i - v - 1 = 0, -2*v + 0 = 3*i - 11. Sort i, -24, -5, -2.
-24, -5, -2, i
Let a = -147 - -122. Let d be 1/(a/(-10)) + -1. Let k = -66/7 - -507/56. Put 8/7, d, k in descending order.
8/7, k, d
Let v = 602087 - 9027268/15. Let l = v + -269. Let j = -91 - -275/3. Sort j, -2, l in increasing order.
-2, l, j
Let k = -73 - -133. Let c = -41 + k. Suppose 2*v = 4*v + l + 17, -3*v + 5*l = c. Sort v, 0.1, 2 in decreasing order.
2, 0.1, v
Let h = 10 - 6. Let n(o) = -9*o**2 + 5*o. Let b be n(1). Let j be 10/(-3) - 1/(-3). Sort j, b, h in descending order.
h, j, b
Suppose -3*n - 18 = -l, l = 6*l - 15. Sort -7, 1, n, -3 in decreasing order.
1, -3, n, -7
Let f = -873.2 - -873. Sort -3/8, f, -8/23 in descending order.
f, -8/23, -3/8
Let y = 194.79 - 195. Let c = -0.1 + -0.15. Let p = c - y. Put 2/3, p, -0.3 in ascending order.
-0.3, p, 2/3
Let y(b) = -b - 1. Let w(u) = 2*u + 1. Let z(v) = -w(v) - 3*y(v). Let g be z(-3). Put 9, -3, g in decreasing order.
9, g, -3
Let x(n) = 16*n - 219. Let r be x(14). Sort -10, -3, -2, r.
-10, -3, -2, r
Let l = 1 - 1. Let w(z) = 59*z - 1123. Let d be w(19). Sort l, d, 2 in descending order.
2, l, d
Let j = -0.4 + 0.9. Let c be 3/10 + (-235)/450. Put c, 1, j in decreasing order.
1, j, c
Suppose 12*v - 5 = 7*v. Suppose -x - 1 + 0 = 0, 2*l + 4*x - 2 = 0. Sort l, v, -1.
-1, v, l
Suppose -d + 25 = 4*d. Sort 1, d, 4, 2 in decreasing order.
d, 4, 2, 1
Let u be 6 - 4 - (-1 + -2). Suppose 0 = u*g, g + 2 = -3*i + i. Put 5, -2, i in descending order.
5, i, -2
Let u = -0.7 + -2.8. Let l = -15 + 14.5. Let s = l - u. Put -1, s, -2 in increasing order.
-2, -1, s
Let r = 1 + 0. Let i = 3126.4 + -3126. Sort 0.26, r, i in ascending order.
0.26, i, r
Let a(b) = 3*b - 43. Let i be a(0). Let t = i - -35. Put 3, 4, t in ascending order.
t, 3, 4
Let z = 735 + -736. Sort 5, -5, z in descending order.
5, z, -5
Suppose 2*a - 6*a = -2*b - 26, 3*a - 5*b = 37. Let f(r) = -r**3 - 2*r**2 - 2*r - 4. Let k be f(-3). Let v = k + -14. Put a, v, -2 in increasing order.
v, -2, a
Let c be ((-2)/(-4) - -4)*6. Suppose 9*d - c + 9 = 0. Sort d, 3, -3 in descending order.
3, d, -3
Suppose 0*a - 3*h - 17 = a, 31 = -3*a - 4*h. Sort a, 2, 33, -1.
a, -1, 2, 33
Let o be (42/(-28))/(21/70). Put -2, 5, o, 2 in ascending order.
o, -2, 2, 5
Suppose 0 = 2*w - 92 + 4. Let g be 33/w*(-1)/(-3). Put g, 0.18, 3 in ascending order.
0.18, g, 3
Let m = 48.1 - 53.1. Sort -2/9, -0.8, 3, m.
m, -0.8, -2/9, 3
Let g = 0.283 + 0.027. Let u = -0.21 + g. Put 2, -10, u, -0.5 in increasing order.
-10, -0.5, u, 2
Let u = -3213/4 - -806. Sort u, -2/9, -2/7, -4.
-4, -2/7, -2/9, u
Let w(v) = 26*v + 11. Let q be w(-2). Let j = q + 37. Sort j, 0, 10.
j, 0, 10
Let r = -170/1273 - -16/67. Let l = 10.95 + -7.95. Sort 5/4, l, r, -1/7 in descending order.
l, 5/4, r, -1/7
Suppose -4*g + 0*g = -2*d - 2, -4*g + 9 = -d. Suppose -d = j - 2*j. Let i = 2 - 1. Put