4, 1 in decreasing order.
4, 1, r
Let t = -0.81 + 0.51. Put -1/2, -4, 0.4, t in ascending order.
-4, -1/2, t, 0.4
Let s(z) = z - 1. Let p(g) = -2*g + 2. Let t(q) = 2*p(q) + 3*s(q). Let h be t(-3). Put 2, 0, h in descending order.
h, 2, 0
Let u = -63 - -66. Sort 2, u, 0, 6 in increasing order.
0, 2, u, 6
Suppose 2 = y + 5*z, -2*z + 6*z - 8 = -4*y. Let v(n) = 3*n - 3. Let t be v(2). Sort y, t, 5 in increasing order.
y, t, 5
Let u = -10 + 21. Sort u, 0, 5.
0, 5, u
Let l = -0.05 + 1.05. Let g = l + -4. Let w = 0.4 - 0.2. Sort w, g, 0 in increasing order.
g, 0, w
Let i = 17 - 18. Put i, 3, -3 in descending order.
3, i, -3
Let h = 64 - 67. Let r(f) = -f + 6. Let q be r(5). Sort q, 5, h in decreasing order.
5, q, h
Let c = 0.3 - -0.16. Let u = -0.5 + c. Let x = -3.96 + u. Sort x, -2, -1 in increasing order.
x, -2, -1
Let k = -2 + 3. Let n be 2/(-7)*(0 + k). Let x = 35 + -34. Put n, x, -0.5 in descending order.
x, n, -0.5
Let n be (-2)/(-18)*-3*3. Let r = 6 + -11. Put n, 6, r in ascending order.
r, n, 6
Let g be (-1 - 1)*(-1 - 0). Suppose -2 = -2*s + g. Suppose -x - s*w - 2 = 2, -4*w + 6 = -5*x. Sort x, 5, 2.
x, 2, 5
Let q(i) = -i**3 - 5*i**2 - i - 2. Let r be q(-5). Suppose -4*p = -3*a - 21, r*p = 4*a - 2 + 23. Sort 4, -2, a.
a, -2, 4
Let j = -7 - 12. Let s = 15 + j. Put s, 2/13, 2 in increasing order.
s, 2/13, 2
Let i be 2*(3 + -2) - 0. Suppose i*s + 2*z = 22, -5*s + 17 = -4*s - 2*z. Suppose -5*l - w + 27 = 0, 2*w + 2*w - s = -l. Put 0, l, 2 in ascending order.
0, 2, l
Suppose 0*v = v. Let u = 10 - 18. Let o = u - -3. Sort v, 3, o in decreasing order.
3, v, o
Suppose 0*q + 5*q = 0. Put -1, -5, q in descending order.
q, -1, -5
Let q be 0*(-4)/(-16)*1. Let g be 2/18*(1 - 3). Let b = 9 - 10. Put g, q, b in descending order.
q, g, b
Let q = 41/36 - 8/9. Put -4, q, -2 in decreasing order.
q, -2, -4
Let a = 9 - 4. Let r = 6 - a. Put -0.2, 2, r in descending order.
2, r, -0.2
Let t = 0.18 - -1.82. Sort 3, -0.2, t in decreasing order.
3, t, -0.2
Let z = -30 - -91/3. Suppose -3*u + 33 = 6. Let a = -5 + u. Sort a, z, 0.1 in decreasing order.
a, z, 0.1
Let s = 14.71 + 0.29. Let n = s + -16. Sort -2/3, -0.4, n in descending order.
-0.4, -2/3, n
Let j = 21 + -25. Sort j, 3, 0.
j, 0, 3
Let i(q) = -q**3 + 11*q**2 - q - 1. Let h be i(11). Let t be h/8*8/(-30). Sort -1, 1, t.
-1, t, 1
Let k be 0 + (-72)/21 + (-12)/(-4). Sort k, 2/23, 4/7 in decreasing order.
4/7, 2/23, k
Let j(z) = -z - 13. Let g be j(-9). Sort -5, -1, g in descending order.
-1, g, -5
Suppose -z - z + 6 = 0. Suppose 7*a = z*a + 8. Sort 1, 0, a in decreasing order.
a, 1, 0
Let m(n) = 2*n + 7. Let z be m(-6). Let f = 4 - 3.9. Let o = -0.2 + f. Sort o, -1, z.
z, -1, o
Suppose 6*a - 5 = 13. Put 5, a, 0, -1 in descending order.
5, a, 0, -1
Let o = -37 - -37.07. Put o, 2/7, 1 in descending order.
1, 2/7, o
Let y = -0.51 + 0.41. Sort 1/5, -3, 2, y in descending order.
2, 1/5, y, -3
Let r = 49/141 + -4219/15792. Let z = -1/16 - r. Sort -0.2, -5, z.
-5, -0.2, z
Let w = -79 + 633/8. Put w, 2, -5 in increasing order.
-5, w, 2
Let h = -2 - -2. Suppose -12*o + 8*o - 12 = h. Sort -2, o, -5 in descending order.
-2, o, -5
Let q be 1112/(-120) - (-2)/(-5). Let z = -10 - q. Put 0.2, 2, z in increasing order.
z, 0.2, 2
Let y = -0.5 + 0.9. Let l = y - -0.2. Let r = l - 0.5. Sort -2, 0.4, r.
-2, r, 0.4
Let a be 36/8*(-8)/(-6). Suppose -2 + a = -c. Let v(r) = -r**3 - 5*r**2 - r - 4. Let d be v(-5). Sort -1, c, d.
c, -1, d
Let x = 5 + -6. Let m = 2 - x. Put -0.1, 0.4, m in descending order.
m, 0.4, -0.1
Let s = -5 - -4.5. Let m = 2546/13 - 196. Sort m, -4, s in descending order.
m, s, -4
Let b = -13 - -16. Let v be 4 - 1 - 6/b. Suppose 9*h = 4*h - 5. Put h, v, -5 in ascending order.
-5, h, v
Suppose -5*v + 3 - 13 = -5*s, -2*v = s - 14. Suppose 4*q - 15 = -5*r, 0 = 3*q - s - 9. Put r, -3, 3 in descending order.
3, r, -3
Suppose 0 = 5*u - 3*u - 4. Suppose 4*z = 3*w + w + 8, 4*z - 2*w = -u. Let l be (-1)/(1/(-5)) + z. Sort 3, -4, l in decreasing order.
3, l, -4
Let x = -15 - -15. Sort 2/3, x, -12 in descending order.
2/3, x, -12
Let n = 9 + -4. Put -3, -4, n in increasing order.
-4, -3, n
Let y = -15 + 89/6. Put -0.3, y, -12 in descending order.
y, -0.3, -12
Suppose -2*q - 2 = 4*x, 2*q + 5*x = -2*q + 5. Suppose 5*p + 13 = 4*h + 35, 0 = 2*h - 3*p + 12. Let a = h - -2. Sort q, a, 4 in descending order.
q, 4, a
Let r = -0.82 + 5.82. Sort 1/6, r, -0.1, 1/5 in decreasing order.
r, 1/5, 1/6, -0.1
Let w = 1.1 + -1. Let i = 27 + -79/3. Put w, i, 0.4 in decreasing order.
i, 0.4, w
Let g be (-3 - -1)/(2/(-4)). Let o(r) = r**3 + 11*r**2 + r + 5. Let j be o(-11). Let m = 9 + j. Put g, 5, m in descending order.
5, g, m
Let v = -2/1175 - -27069/25850. Let n = -6/11 + v. Sort -4/5, 3, n in decreasing order.
3, n, -4/5
Let s(a) = -a**3 + 9*a**2 + a + 7. Let c be s(9). Let g be c/(-4)*(-1)/1. Sort -1, -3, g in decreasing order.
g, -1, -3
Let g(b) = -b - 32. Let v(c) = -c - 21. Let q(i) = 5*g(i) - 7*v(i). Let z be q(9). Put -4, z, -3 in increasing order.
-4, -3, z
Let v = -4 - -2. Let b = -2.5 - -2. Let d = 0 + b. Sort v, d, -1 in decreasing order.
d, -1, v
Let a = 1 - 1. Let b = a + -3. Let g(v) = -v**2 + 7*v + 13. Let x be g(9). Sort x, 2, b in ascending order.
x, b, 2
Suppose -3*y = -o - 0 + 4, o - 5*y = 4. Suppose -2*j = -3*j + o. Suppose v = -5*n + 1, 4*v - 3 = -j*n + v. Sort 2, n, -4.
-4, n, 2
Let v = 6514574/39585 - 2/5655. Let r = v + -165. Let m be ((-8)/(-4))/(-8 + -2). Put r, m, 5/2 in increasing order.
r, m, 5/2
Suppose 513 = -3*z - 3*l, z + 2*l + 169 = 3*l. Let r = z + 80. Let u be 5/(r/(-4)) - 0. Put 2/3, u, -0.2 in descending order.
2/3, u, -0.2
Let u be 66/(-21) - (-1)/7. Let b be (-3)/5 - 2/5. Put u, -4, b in increasing order.
-4, u, b
Suppose 0*i + 4*n = 4*i - 40, -n = -5*i + 30. Suppose -2*j - 5*l = -6*j + 12, 4*j - 2*l = 0. Put 2, i, j in decreasing order.
i, 2, j
Let s(u) = u**2 + u - 3. Let o be s(-3). Let t(a) = a**2 + 2*a - 2. Let n be t(-3). Let d = 6 - n. Sort d, 0, o in descending order.
d, o, 0
Let v be (-1*5)/(3/(-3)). Suppose 0 = x + 1 + 2. Let h(l) = 14*l + 256. Let q be h(-18). Sort x, q, v in decreasing order.
v, q, x
Let y = 0 + -0.3. Let k be (1 - 6)/(6 + -2 - 3). Let d = -4.7 + 5. Sort d, y, k in ascending order.
k, y, d
Let k = 78 - 81. Suppose -4*o = -2*t + 26, 4*t - 28 = -0*t + 2*o. Put -5, t, k in descending order.
t, k, -5
Let v = -54 - -57. Let r = 3/7 - 1/35. Put v, 0.2, r in decreasing order.
v, r, 0.2
Let n = -130 - -135. Sort 3/5, n, 6 in descending order.
6, n, 3/5
Let u = -8 + 7. Put u, 10, 4 in descending order.
10, 4, u
Let b = -3 + 5. Suppose -4*s - 31 = 3*l, 0*s - s + b*l + 6 = 0. Suppose -4*g + o = 15, -g + o + 0*o = 0. Sort s, 4, g.
g, s, 4
Suppose -a - 26 = 5*q, 3*a - 2*a + 16 = -3*q. Let l be 2/((-5)/(50/4)). Let o(u) = u + 7. Let i be o(l). Put i, q, -3 in descending order.
i, -3, q
Suppose -b + 4*b = 3. Suppose 5*c + b = -4. Let p = -12 - -7. Sort c, 4, p.
p, c, 4
Let u be 0/(-23) - (-2)/32. Put -3, -0.5, u, 0.4 in descending order.
0.4, u, -0.5, -3
Let r be 8/(-6)*(-27)/(-6). Let t be 4/r - (-39)/(-9). Let x be t*(-1)/(10/(-4)). Put -2/13, 3, x in increasing order.
x, -2/13, 3
Let h = 9 - 11. Sort 3, -1, h in descending order.
3, -1, h
Suppose b + 6 = 2*o, -5*o + 4*b - 2*b = -17. Suppose -2*u + 2*k + 10 = 0, -o*k - 37 + 12 = 2*u. Put -5, 1, u in descending order.
1, u, -5
Let v = 500 - 6504/13. Let o = -7/65 - v. Sort o, 3/4, -2.
-2, o, 3/4
Let o be (-36)/27 - (-1)/1. Sort -0.1, -5, o in decreasing order.
-0.1, o, -5
Let x = -0.98 - 23.02. Put x, -0.1, -3 in descending order.
-0.1, -3, x
Let s(v) = 2*v + 22. Let j be s(-11). Let i = 2 - 1. Sort j, 3, i in descending order.
3, i, j
Suppose -4*c - 5 = c. Sort 4, 5, c in increasing order.
c, 4, 5
Let d(n) = -n - 7. Let c be d(-2). Put 4, 2, c in ascending order.
c, 2, 4
Let c(w) = -5*w**3 + w**2 + w. Let f be 1 + 0 + 4/(-2). Let q be c(f). Suppose 0 = -j - 0*j + 1, 0 = q*n - j - 19. Sort 2, 0.4, n in increasing order.
0.4, 2, n
Let w = -0.7 + 0.4. Sort 4, 5, w.
w, 4, 5
Let m be 50/(-20)*(-4)/95. Put 1/13, m, 0.3 in descending order.
0.3, m, 1/13
Let y = -8 + 6. Let k be (-38)/42 - y - 1. Let c be 2/1 - (-2 - -9). Sort -4, k, c in decreasing order.
k, -4, c
Let d be 2 + 4 + 0 - -2. Let q = 6 - d. Sort q, -1, -0.08 in ascending order.