6 + -53. Let x = 3 + p. Sort -2, x, 5 in descending order.
5, -2, x
Let i(v) = -24*v - 334. Let n be i(-14). Suppose -k - 3*k = 0. Sort 1, n, k in ascending order.
k, 1, n
Let d = -10 - -9.55. Let i = d - -6.25. Let x = -2.8 + i. Sort 0.5, 1, x in descending order.
x, 1, 0.5
Let d = 316 + -315. Put d, -0.3, -20 in increasing order.
-20, -0.3, d
Let m = -983 + 982.18. Sort -3, -1, m in ascending order.
-3, -1, m
Let x = -595.2 - -595. Let z be 2/(4/6) + 1. Put x, -2, z in ascending order.
-2, x, z
Let k = 0.01 + 0. Let h = -3.4 - -5.4. Put -0.3, k, h in descending order.
h, k, -0.3
Let d be (7 + 49/(-21))*(-18)/(-21). Sort 9, -5, 5, d in ascending order.
-5, d, 5, 9
Let f = -4.045 - -1.045. Sort f, -2/9, -14, -2/3 in descending order.
-2/9, -2/3, f, -14
Let c = -256 + 261. Sort -5, -1, c, 1 in increasing order.
-5, -1, 1, c
Let d(b) = -2*b - 9. Suppose 2*s + 9 + 5 = 0. Let m be d(s). Let i = 1017.4 + -1017. Put i, -5, m in increasing order.
-5, i, m
Suppose -21*d + 22*d = 0. Let x(r) = -2*r. Let z be x(2). Sort 0.1, d, 19, z in increasing order.
z, d, 0.1, 19
Suppose -12*n = -8*n - 20. Let v(j) = -2*j - n - 2 + 8 - j**3 + 4*j**2. Let x be v(2). Sort x, -0.9, -5/3.
-5/3, -0.9, x
Suppose -5*o = a + 7 - 24, o - 2*a = 10. Suppose 3*j - o - 7 = 2*v, -v + 12 = 2*j. Sort 4, v, 0, -1 in descending order.
4, v, 0, -1
Suppose 5*b + 1 = -4*z - 21, -5*b - 16 = 2*z. Let m be ((-1)/4)/(11/8 + b). Let v = 59/105 - 2/15. Put m, -4, v in decreasing order.
v, m, -4
Let g be (6/10)/((-45)/(-150)). Sort 5, 0, g, -20.
-20, 0, g, 5
Let j be (-54)/(-4)*-2 - -3. Let q be (15/(-20))/(2/j). Let h be 8/(-84)*q/6. Sort h, 3, 0 in ascending order.
h, 0, 3
Let r be ((-18)/(-15))/(3/(-10)). Let f be 18*((-5)/10 - 0). Let a = r - f. Put 4, -3, a in decreasing order.
a, 4, -3
Let v = 3.1 - 3. Let x = -1137 - -1133. Sort x, 3, v, -0.1 in ascending order.
x, -0.1, v, 3
Let b = -60 + 155. Suppose -21*z + b = -16*z. Sort 5, -1, z in descending order.
z, 5, -1
Suppose a - 2*a + g = 1, 0 = -2*g - 6. Suppose -10 = -5*w - 5*c, -2*c = -59*w + 63*w - 10. Sort -2, a, 4, w in descending order.
4, w, -2, a
Let a = 11 - 21/2. Let x be (-6)/10 + 14/40. Sort a, -5, x in descending order.
a, x, -5
Suppose 35*l + 33 = 40*l + 2*t, -l = -4*t + 11. Sort 0, l, -2, 1 in increasing order.
-2, 0, 1, l
Let w(v) = v**3 - 16*v**2 - 15*v - 28. Let o be w(17). Suppose 0 = -h - 7*d + o*d - 1, -4*h + 5*d - 13 = 0. Put 1, -1, h, 5 in descending order.
5, 1, -1, h
Let n be 3/4*4 - (8 + 0). Put -3, -2, n in descending order.
-2, -3, n
Let s = -1 - 0. Let i = 4851/2 + -2428. Put s, i, -5, -2/7 in increasing order.
-5, i, s, -2/7
Let j(l) = -6*l - 11. Let x be j(-1). Sort x, 1, 0.2 in ascending order.
x, 0.2, 1
Let d = -0.8 + -3.2. Let c = -40/3 - -13. Let b be -1 - (1 - 0)*36/(-63). Put b, c, d in descending order.
c, b, d
Suppose 4*y - 92 = -12*n + 14*n, 0 = -y - 2*n + 28. Sort -1, y, 0, 2 in descending order.
y, 2, 0, -1
Let o be (-12)/4*20/(-12). Let l = -52 - -56. Put o, 0, 2, l in decreasing order.
o, l, 2, 0
Suppose -24*u = -27*u + 12. Suppose 4 = -3*s - u*d + 55, 5*d - 28 = -s. Put 4, 2, s in decreasing order.
s, 4, 2
Let d = 57 + -30. Let h = -30 + d. Let x = 4.96 + 0.04. Sort 1, x, h in increasing order.
h, 1, x
Let g = 74/3 + -25. Let o = -83.795 + 84. Let b = 0.095 + o. Sort 3/2, b, g in ascending order.
g, b, 3/2
Suppose 5*c + 15 = 10*c. Let b = 22 + -16. Let i = b + -6. Sort i, -2, c in ascending order.
-2, i, c
Let t = -281 - -294.6. Put -0.1, 0, -2/7, t in decreasing order.
t, 0, -0.1, -2/7
Let z be 5/(450/(-36)) + (-44)/(-10). Suppose 3*f + 59 = 2*b, -4*f + 9*f + 3*b = -130. Sort f, z, -2 in descending order.
z, -2, f
Let y = 13 + -13.26. Let d = y + 0.3. Sort 0.5, 3/8, d in ascending order.
d, 3/8, 0.5
Let j = 5 + -2. Let m(b) = 2*b**3 + b**2 - 13*b + 4. Let x be m(4). Let f = x + -99. Sort f, j, -4.
-4, f, j
Let s be ((-70)/(-15))/(64/1056). Sort -2, 0, s in descending order.
s, 0, -2
Let h be 31/(-11) - (336/(-88) - -4). Put 2, h, -4/5 in descending order.
2, -4/5, h
Suppose 3*x = 2*v + 17, 17*x = 12*x - 15. Put 0, -5, -2, v in increasing order.
v, -5, -2, 0
Let h = 555 - 2219/4. Put h, 1.7, -1/7 in descending order.
1.7, h, -1/7
Let z(n) = -n**2 + 6*n - 5. Let g be z(4). Let u = 42 + -41. Let x be (-1 - u) + 1 + -1. Put 5, g, x in ascending order.
x, g, 5
Let f(p) = 2*p + 2. Let v be f(-2). Let o be ((264/(-77))/4)/(9/(-147)). Sort v, o, 0 in increasing order.
v, 0, o
Let m = 10 - 6. Suppose m = 4*l - 4. Let n be (-148)/(-28) + 4/(-14). Sort -5, n, l in descending order.
n, l, -5
Let i(c) = c - 10. Let a be i(12). Suppose 0*q - a = -q. Let o = -7 + 7. Sort o, q, -5 in decreasing order.
q, o, -5
Suppose -5*s - 7 = 4*j, 9*s - 14*s = 3*j + 4. Sort -2, -4, 18, s in decreasing order.
18, s, -2, -4
Let q = 79 + -111. Put -2/3, q, -4 in descending order.
-2/3, -4, q
Let x be 3/4*16/(-24). Let f = 0 + x. Let n = 2.8 - 3. Sort f, -1/9, n in descending order.
-1/9, n, f
Let n = -24 - -21. Let v = n + -12. Let r = v - -15. Put -0.2, r, 0.2 in ascending order.
-0.2, r, 0.2
Let g = 514 - 518. Put 9, -1, 0, g in increasing order.
g, -1, 0, 9
Let a be (2/(-4))/(7/(-14)). Suppose 0 = 3*f + 4*q + 8, 3*f - 4*f - 3*q - a = 0. Suppose 3*s - 3*o = 6, 2*o + 3*o = -4*s + 17. Put s, 4, f in decreasing order.
4, s, f
Suppose 0 = -3*f + 3*v, 22*f - 19*f = -5*v. Put -1, -2, f in descending order.
f, -1, -2
Let u = -9.4 + 9.7. Sort -2/3, -3, 3, u in decreasing order.
3, u, -2/3, -3
Suppose -y = -z - 8, 0 = -2*y - 5*z - 13 - 6. Suppose y*a = 15, a - 6 - 1 = 2*b. Let c be (-68)/(-60) - (-8)/(-60). Sort b, c, -5.
-5, b, c
Let a be 408/136*10/(-6). Suppose 0 = -2*w + 4 - 2. Sort w, -1, a in ascending order.
a, -1, w
Let k = -245 - -2696/11. Put 2, 1/35, k in increasing order.
1/35, k, 2
Suppose 0 = -109*k - 11*k - 480. Put -2, 3, k, -13 in descending order.
3, -2, k, -13
Let j be (-30)/(-18)*2/(-20). Sort -4, -3, j in decreasing order.
j, -3, -4
Let d = -0.381 - 2.619. Let j = 0.036 + -28.036. Put 2, d, j in decreasing order.
2, d, j
Suppose -116 = 19*u - 59. Let g(l) = l + 3. Let k(y) = -y**2 - 3*y - 2. Let a be k(-3). Let x be g(a). Sort x, 2, u in decreasing order.
2, x, u
Suppose 8 + 8 = -8*v. Sort 7, v, 1 in increasing order.
v, 1, 7
Let t = 228.2 - 235. Sort t, 1, -0.5.
t, -0.5, 1
Suppose -57 = -24*o - 9. Sort o, -23, 0 in decreasing order.
o, 0, -23
Let f = -171 - -174. Sort -1, 0, f, 1.
-1, 0, 1, f
Let s = -1414.6 - -1415. Sort -0.05, s, 1/3.
-0.05, 1/3, s
Let c = -2/99 - 95/198. Sort c, 0.3, 6 in ascending order.
c, 0.3, 6
Let z be 11/(-4) - 2/8. Let j be (0*(80/150 - (-1)/(-3)))/(-1). Put -2, j, z, -1 in decreasing order.
j, -1, -2, z
Let l be 78/27 - 5/(-90)*2. Let k be 2 - (1 - -1 - 1). Suppose 2*q - k = -5. Put 4, q, l in increasing order.
q, l, 4
Suppose r = -0*r + 1. Suppose -878*a + 869*a = -27. Let o(x) = -x**3 + 10*x**2 - x + 9. Let k be o(10). Sort k, a, r.
k, r, a
Let k = -3/2 + 23/14. Let r = 246 + -243. Put 1, k, r in ascending order.
k, 1, r
Suppose 0 = 4*x + 18*v - 20*v - 84, 2*x - 38 = 3*v. Put 3, x, 1 in increasing order.
1, 3, x
Let k(q) = q + 3*q**2 - 6*q - 9*q**2 - 3 - q**3. Let r be k(-5). Let j be (2 + -3)*(38 - 34). Put r, j, 2 in decreasing order.
2, r, j
Let b(h) = -9*h - 19. Let d(l) = l - 13. Let y be d(6). Let n be b(y). Let i be (n/(-33))/(2/3). Sort i, -5, -3 in increasing order.
-5, -3, i
Let z = 5/2 - 11/4. Let o = -512 - -517. Sort -0.5, o, z, 3.
-0.5, z, 3, o
Let y = -15.2 + 15.7. Sort y, -2/189, -2/3.
-2/3, -2/189, y
Let r = -20.16 - -20. Let b = r + 0.15. Sort -4, b, -3 in descending order.
b, -3, -4
Suppose 0 = 3*m - 5*m - 6. Let b be (-6)/(-8)*12/m. Suppose -2841*q + 38 = -2822*q. Put 0, q, b in decreasing order.
q, 0, b
Let r(f) = -f + 6. Let t be r(11). Let o = 3.8 - 3.9. Suppose -3*w - 3 + 0 = 0. Put o, w, t in decreasing order.
o, w, t
Suppose 8*c = 24*c + 80. Let g = -1 - -4. Let l = 0.1 + 6.9. Put l, g, c in descending order.
l, g, c
Let h = -0.828 + 0.528. Let l = 3.97 + 0.03. Sort l, 0.04, h, -0.1 in increasing order.
h, -0.1, 0.04, l
Let p = 0.2021 - -6.7979. Sort -2, p, -0.2 in decreasing order.
p, -0.2, -2
Let d = 6.711 + -0.111. Let w = d + -2.6. Sort 2, 2/3, w.
2/3, 2, w
Let h = -23 - -30. Let g = -7.3 + h. Put g, -0.1, 3, -2/21 in descending order.
3, -2/21, 