-3*k + 1. Put k, 3, -5 in ascending order.
-5, 3, k
Let i = 6 + -6.5. Let u = -3 + 4. Let n = i + u. Sort -1, n, 2 in descending order.
2, n, -1
Let w be (-7)/(-9) - (-4)/(-6). Let s = 907/7 + -130. Sort -4/7, w, s in decreasing order.
w, s, -4/7
Let u be (-2)/46*6/(-1). Let w = -19/161 + u. Let l = -3 - -5. Put w, l, -0.2 in descending order.
l, w, -0.2
Let b = -30/361 - 47442/2527. Let g = -134/7 - b. Let a = -2/175 - -37/175. Sort g, -5, a in decreasing order.
a, g, -5
Let y = -76 + 74. Sort 0, -5, -1, y in decreasing order.
0, -1, y, -5
Let a be -2 - (5 + 8/(-4)). Sort 0.2, -0.062, a.
a, -0.062, 0.2
Let h be ((-17)/(-6))/17*-3. Let i = -0.9 + 1. Sort h, 0.4, i.
h, i, 0.4
Let k = -55 - -53.9. Put 1, -1/5, k in descending order.
1, -1/5, k
Let y(q) = q**3 + 8*q**2 + 9*q + 14. Let n be y(-7). Sort -5, n, 4 in decreasing order.
4, n, -5
Suppose -3*a - 2*a = -30. Suppose -q - q = -a. Let t = 0 + -0.1. Sort q, 4, t in descending order.
4, q, t
Let l = 12 - 12. Put 5, l, 3 in decreasing order.
5, 3, l
Let c be (0 - -1) + (-10)/8. Let i = 3.7 - -0.3. Sort 0.4, i, c in descending order.
i, 0.4, c
Let n = 15 + -11. Let c = n + -2. Sort c, 1/3, -4 in increasing order.
-4, 1/3, c
Let w be 3 + ((-352)/28)/4. Put w, -1/2, -0.2 in descending order.
w, -0.2, -1/2
Let q = -0.35 - 3.65. Sort q, -3, 0.5.
q, -3, 0.5
Let a = -23 + 39. Let n = 13 - a. Put n, -4, 0.3 in ascending order.
-4, n, 0.3
Let u = 10 - 10. Sort u, -3, 4 in increasing order.
-3, u, 4
Let f = 171 - 173. Sort f, -1, 1.
f, -1, 1
Let u be (-1)/(-1) - (1 + -3). Suppose 5 - u = h. Suppose -18 = 5*q + h. Sort 5, -5, q in descending order.
5, q, -5
Let a(q) = -q**3 + 2*q**2 - q. Let u be ((-2)/4)/(1/(-4)). Let l be a(u). Let p = l - -3. Sort -5, p, -2.
-5, -2, p
Let m = 18.4 - 18. Sort 4, -5, m.
-5, m, 4
Let v = 0 + 1. Let n be ((-6)/(-4))/3*6. Suppose -9 = n*a - 0. Put v, 0, a in ascending order.
a, 0, v
Let k = 0.119 - 0.049. Put k, 1/2, 4 in decreasing order.
4, 1/2, k
Let h be 0/((4 + -1)/3). Sort 1, -4, h in increasing order.
-4, h, 1
Let d = 3 + -3. Let z(m) = d - 4 + 5*m + 5 - m. Let q be z(1). Put q, 3, -1 in descending order.
q, 3, -1
Let g be (1 - 2/12)*(-10)/(-75). Put 2/5, g, 1 in ascending order.
g, 2/5, 1
Suppose -5*i - 5 = 25. Let v be (i/(-6))/((-2)/142). Let u = v + 499/7. Put u, 2/11, -1 in increasing order.
-1, 2/11, u
Let b = -28 - -30. Let q = -0.4 + -0.1. Sort q, b, 0.5 in descending order.
b, 0.5, q
Let t(s) = s**3 + 7*s**2 + 8*s - 5. Let c be t(-5). Suppose i = -2*i + 6. Sort c, -5, i in decreasing order.
c, i, -5
Let w = -21 + 13. Let r = -13 - w. Suppose u - 15 = -4*z, -z + 5*u = -0*z - 9. Sort -4, r, z in increasing order.
r, -4, z
Suppose -a - 2*a = 0. Suppose -o - 2 = -2*o. Suppose 3*y + 3 = -o*c + 8, -5*c - 25 = 0. Sort a, y, -3 in decreasing order.
y, a, -3
Suppose -2*r - 7 = -k, 4*r + 5*k = 3*r + 24. Suppose 0*f - 2*f + 8 = 0. Sort -4, f, r in ascending order.
-4, r, f
Let v = -0.019 - 0.081. Sort 0.4, v, -0.038.
v, -0.038, 0.4
Suppose 3*r = -r. Let y = -2 - 3. Sort y, r, 2.
y, r, 2
Suppose -o - 3*o + 6 = 2*n, -4*o - n = -7. Sort -3, o, -2, 5 in decreasing order.
5, o, -2, -3
Let m = -29 - -65. Let l be m/(-20) + 2/(-10). Let p = 3 - 4. Put p, l, -4 in decreasing order.
p, l, -4
Let s = -0.052 - -0.552. Put 4, s, 5 in increasing order.
s, 4, 5
Let b = 37 - 32. Put b, -3, 2 in descending order.
b, 2, -3
Let w = 4 + -7. Let r be ((-4)/(-10))/((-63)/(-315)). Sort r, 4, w in ascending order.
w, r, 4
Let p be 3/(-9) + (-29)/(-33). Let a = 0.03 + 3.97. Sort a, -2, p in increasing order.
-2, p, a
Let r(j) = 4 - 2 + 2*j**3 + 5*j - 4*j - j**3. Let k be r(0). Suppose 0 = -2*v + 4*y - 2, -y = -4*v + 9 + 8. Put -2, k, v in descending order.
v, k, -2
Let x be 230/(-6) + 5 - (-1)/3. Sort x, -1, 3 in descending order.
3, -1, x
Let u(t) = t - 1. Let v be u(1). Let z be (-6)/(-27) + (-16)/(-9). Let s = z - 1. Sort 4, v, s.
v, s, 4
Suppose -5*n - 22 = 2*u, 3*u = -u + 3*n - 18. Suppose -3*h = 48 - 123. Suppose -4*w - h = 5*m, -w = m + 4*w + 5. Sort u, 0, m.
u, m, 0
Let a = -18 - -12. Put -2, a, -5 in ascending order.
a, -5, -2
Let y = -405/4 + 101. Put -3, 5, y, 2 in ascending order.
-3, y, 2, 5
Let m be (18/8 - 2)*-2. Sort 6, m, -6 in decreasing order.
6, m, -6
Let z = -18 + 16. Sort -2/7, 2/19, z, 0.6.
z, -2/7, 2/19, 0.6
Let j be ((-1)/(-3))/((-12)/36). Sort j, -22, 4, -5 in ascending order.
-22, -5, j, 4
Let g = 3.4 - -0.6. Let v = -0.6 - -0.9. Let y = 0.8 - v. Put g, -1, y in descending order.
g, y, -1
Let u = 7 + -10. Let x be -3 + (-2 - 9/u). Put -3, 4, x in decreasing order.
4, x, -3
Suppose 0 = -8*v + 3*v - 25. Put 5, 0, v in ascending order.
v, 0, 5
Let s be 9 - (2 + -3 + 0). Suppose v - 4*y = 4 + 3, -2*v = 4*y + s. Let u = 0 + 4. Put u, v, 5 in increasing order.
v, u, 5
Let w = -5 + 0. Sort -0.1, 2, w in descending order.
2, -0.1, w
Let c = -4/15 - -1/10. Put c, -0.5, 3, -1 in descending order.
3, c, -0.5, -1
Let m = -263/195 - -1/65. Sort 1/3, -4, 5, m in increasing order.
-4, m, 1/3, 5
Let u(b) = -b**2 + 8*b - 6. Let k be u(6). Let p be 0 + 0*2/k. Sort 5, 1, p.
p, 1, 5
Let y(n) = n**3 - 4*n**2 + 3*n + 1. Let b be y(3). Suppose 15 = -5*i - 0*r + 5*r, -4*i + 3*r = 12. Put i, -5, b in increasing order.
-5, i, b
Let z be (-3)/(-18)*2 - 1. Let n = 11 - 11.1. Let x = n - -3.1. Sort x, z, 0.5.
z, 0.5, x
Let k = -2.5 - -3. Suppose x - 5*x - 4 = 0. Let q = -6 - -5.7. Put x, k, q in descending order.
k, q, x
Let c(w) = 4*w**2 + w - 4. Let h be c(-2). Let x be (1/1)/(2/h). Sort 0, x, -1 in decreasing order.
x, 0, -1
Let x = 938/9 + -104. Let w = -0.5 - 0.1. Let v = w - 4.4. Put -1/4, x, v in increasing order.
v, -1/4, x
Suppose 0 = -c - 2*z + 14, 5*c - 4*z = -5*z + 25. Suppose 4*d - 25 = -d. Sort 9, c, d in ascending order.
c, d, 9
Let o = 1 + -1.02. Let u = -4.98 - -5. Let c = o + u. Sort c, -0.4, -5 in ascending order.
-5, -0.4, c
Let n be -3 + (10/(-1))/5. Put n, 2/5, 4 in decreasing order.
4, 2/5, n
Let c = 11.5 + -12. Let y = 19 + -19.9. Let k = c - y. Put k, 0.1, 0.3 in increasing order.
0.1, 0.3, k
Let w = -0.8 + 1.1. Sort w, -1/11, -1/4 in increasing order.
-1/4, -1/11, w
Suppose -5*a + 3 = -12. Sort -2/15, a, 0.5 in increasing order.
-2/15, 0.5, a
Let p = 12 + -5. Suppose 3*z + 8 = p*z. Sort z, -1, -3 in ascending order.
-3, -1, z
Let w = 15.97 + -16. Sort w, -4, 5 in ascending order.
-4, w, 5
Let n be 5/((-5)/(-2))*-2. Put n, 0.5, 0.4 in decreasing order.
0.5, 0.4, n
Let r(g) = 2*g - 39. Let a be r(22). Sort 13, a, 1.
1, a, 13
Let l = 14 + -10. Let m(j) = j**2 - 4*j - 77. Let s be m(11). Put 13, l, s in descending order.
13, l, s
Let g = -0.7 - -0.1. Let n = 0.9 + g. Sort 3, n, 2/3 in descending order.
3, 2/3, n
Let p be ((-33)/(-3))/((-2)/(-6)). Suppose 5*g - 5 = -5*q, 10 = -5*g + q + p. Put g, 2, -4 in ascending order.
-4, 2, g
Let z(f) = f**3 + 3*f**2 - 3*f - 1. Let g be z(-3). Suppose 2*o = -3*d + 8, 0 = 5*d - 3*o - g + 1. Suppose 0 = -y + 5 - 0. Sort d, y, -2 in descending order.
y, d, -2
Let c = 14/1823 + 329879/10938. Let b = c + -30. Sort -5, b, -0.3.
-5, -0.3, b
Let q = 2/357 - 752/6783. Sort -0.2, 0, q in descending order.
0, q, -0.2
Let w = -19.991 - 0.009. Let t = 25 + w. Put t, -2/7, 0.1 in increasing order.
-2/7, 0.1, t
Let q(d) = -d + 5. Let x be q(8). Put -4, -1, x in descending order.
-1, x, -4
Suppose -4*d = -z - 14, -7*d = -4*z - 3*d - 20. Suppose -3*l - 25 = -37. Sort z, -15, l.
-15, z, l
Suppose 2*m + m + 3 = 0. Put m, -3, -7 in descending order.
m, -3, -7
Let k = 2.5 + 3.5. Sort -2/11, k, 3 in increasing order.
-2/11, 3, k
Let z be 0 + 2 - (23 - 8). Put -1, z, -3 in decreasing order.
-1, -3, z
Let l be 0/(2/2 - 4). Suppose -3*x = 4*a - 2*x + 23, l = 2*a + x + 13. Sort 3, -5/3, a in descending order.
3, -5/3, a
Let n(x) = x - 7. Let a be n(9). Let d(i) = -2*i + 1. Let y be d(a). Put 5, -5, y in descending order.
5, y, -5
Let z = -7.36 + 2.36. Let h = 1.3 - 0.3. Let q = 3.2 + -3. Put z, h, q in increasing order.
z, q, h
Suppose -3 = 6*m + 27. Put m, 0, 2, 5 in decreasing order.
5, 2, 0, m
Let k = 0.172 + -0.152. Let b = -2.5 + 0.5. Sort k, -1, b in ascending order.
b, -1, k
Let c = -3 + 2.7. Let l = 0.3 - 0.4. Let h = c - l. Sort 2/9, h, 0.1 in decreasing order.
2/9, 0.1, h
Let b(t) = -t**2 + 6*t - 3. Let h be b(5). Let q be (-250)/(-20) - 6/4. Sup