 in descending order.
y, 0.2, 1/8, -9
Let u = -0.04 - -0.44. Let l(x) = x + 2. Let z be l(4). Suppose 0 = j + 1 - z. Sort j, 2, u in ascending order.
u, 2, j
Let g be ((-75)/(-63))/(-5) - (-1)/3. Let u(j) = -j + 4. Let o be u(3). Put 4, o, g in descending order.
4, o, g
Let r = -0.3 - -0.2. Suppose -2*j + 21 = s + 5, -55 = -4*s + j. Let z = 10 - s. Sort r, -2/15, z in descending order.
r, -2/15, z
Let k(j) = j**3 - 10*j**2 + j - 11. Let l be k(10). Let c = 1 - 0. Let x = c + -1. Sort 4, x, l in ascending order.
l, x, 4
Let j be 5/(1 + -11)*-1. Put -0.2, 2, j in increasing order.
-0.2, j, 2
Let n be (0 + 0 + 2)*2. Suppose -2*h = 6 + n. Let j = 0.5 - 0.3. Put h, -4, j in descending order.
j, -4, h
Let h = 26 + -26.2. Put 0, -1/2, 0.2, h in descending order.
0.2, 0, h, -1/2
Let l be ((-21)/14)/(1/26). Let n = l + 35. Suppose 0 = -2*k + 4*k + 5*u - 20, 0 = -k - 5*u + 20. Sort 1, k, n in descending order.
1, k, n
Let o = 0 - -1. Suppose j - 4*j = -p - 20, 5*j - 40 = 5*p. Suppose -3*z = -z + j. Put o, 2, z in descending order.
2, o, z
Let y(q) = -q**3 - 10*q**2 - 9*q + 3. Let g be y(-9). Suppose 2*c + c = -3*k - 18, k - g*c - 14 = 0. Sort -5, k, -2 in ascending order.
-5, -2, k
Let a be (-49)/98 + (2/(-1))/8. Put a, 2/7, -5 in decreasing order.
2/7, a, -5
Let t = 411/10 + -41. Let j = -3.8 + 0.8. Let s = j + 4. Sort t, s, 2/15 in descending order.
s, 2/15, t
Let r be (-1)/(-1) - 7/21*-6. Sort r, -2, -4, 5.
-4, -2, r, 5
Let d(n) = 2*n - 10. Let k be d(7). Suppose -7*g + 18 = 4*u - 5*g, -g = -5. Suppose -m + 4 = u. Put m, k, 1 in decreasing order.
k, m, 1
Suppose 0*w - 2*w + 2 = -3*v, 0 = 4*w + v + 24. Sort 0.1, 0.2, w in decreasing order.
0.2, 0.1, w
Suppose 3*r = 3*k + 6 - 3, 0 = 2*k + 2*r + 2. Sort k, 1, -31 in ascending order.
-31, k, 1
Let y(h) = h**3 + 5. Let p be y(0). Suppose -o + 2*n + 8 = -3, p*o = 3*n + 20. Suppose 1 = -d - 1. Put 2, d, o in descending order.
2, o, d
Suppose -15 = -3*z - 4*t, 4*z - 9 - 1 = -2*t. Sort z, 0, -3 in ascending order.
-3, 0, z
Let t(d) = -d + 5. Let v be t(5). Suppose -20*x + 12 = -18*x. Put v, x, -2 in ascending order.
-2, v, x
Let y be -4*12/(-2*1). Let r(b) = 3*b**2 - b - 2. Let k be r(-1). Suppose 0 = -5*x - q + y, k*x + 1 = -3*q + 8. Sort x, -0.4, 1 in increasing order.
-0.4, 1, x
Let y = -5.5 - -9.5. Put y, -3, 0.3, -2 in descending order.
y, 0.3, -2, -3
Suppose -4*l + 2 = -3*l. Let r = l - 2. Sort 3, -4, r.
-4, r, 3
Suppose 3*k + 2*k = -5*c, 0 = -5*c + 5*k - 40. Suppose 0 = -5*o - 2*z - 3, 0 = -o - 2*z - 0*z + 1. Sort c, -5, o in increasing order.
-5, c, o
Suppose 3*c + a - 9 = 7, -5*a = -5. Sort -6, c, -3, 2 in decreasing order.
c, 2, -3, -6
Let c = -5 + 7. Sort -2, c, 4 in decreasing order.
4, c, -2
Let j = 6 + 3. Suppose -4*k - 3*b - j = 0, -5*b = -k + 21 - 6. Suppose v - 2*o + 6 = 0, v - 1 + 3 = -2*o. Put v, k, 2 in decreasing order.
2, k, v
Let b = 15 - 11. Let s = b - 9. Sort 2/9, -0.4, s in ascending order.
s, -0.4, 2/9
Suppose 0 = 2*s - 3*t - 3, -5 = -2*s - s + 4*t. Sort s, -3, 4, -4 in decreasing order.
4, s, -3, -4
Let x = -665/9 + 74. Suppose h = -h + 10. Sort 0.3, h, x in decreasing order.
h, 0.3, x
Let k be 2 + -2 - (-13 + -1). Let o be (1/(-1))/((-1)/(-2)). Let i be k/(-6) - (0 + o). Sort 4, 3, i.
i, 3, 4
Let b = 4034 - 11957/3. Let h = b - 49. Put h, 4/9, -4 in descending order.
4/9, h, -4
Suppose -4*l + 4*a + 12 = 0, -3*a - 2*a - 1 = 2*l. Suppose 3*x = -l*x + 15. Let d = x + -1. Sort d, -1, -2 in decreasing order.
d, -1, -2
Let g be 70/21*12/10. Sort 2/17, g, 2 in ascending order.
2/17, 2, g
Suppose 5*g + i - 6 = 0, -8*g + 2*i - 1 = -7*g. Put 0, g, -9 in decreasing order.
g, 0, -9
Let a = -0.039 - -0.239. Sort 2, a, -5 in ascending order.
-5, a, 2
Let b be (-40)/140 - (-4)/14. Sort b, -3, 1 in ascending order.
-3, b, 1
Let x = 10 - 5. Suppose x*m + 2*r - 17 = 0, -2 = r + 2. Put -1, m, 3 in descending order.
m, 3, -1
Let q = 0 + 4. Let d be ((-27)/18)/((-2)/q). Sort d, -3, 4 in decreasing order.
4, d, -3
Suppose 17 = -3*o + 20. Put -3, -31, o, 5 in decreasing order.
5, o, -3, -31
Let s = 39 - 43. Let t = 0.06 - 0.12. Put t, -5, s in increasing order.
-5, s, t
Let d = 5.03 + -5. Let b = 0.53 - d. Let s = 0.7 + -0.4. Sort b, -0.1, s in decreasing order.
b, s, -0.1
Let u(p) = -p - 10. Suppose 11 = -5*m - 29. Let d be u(m). Let w(c) = c - 6. Let i be w(5). Put -5, i, d in ascending order.
-5, d, i
Let r = -2.5 - -2.8. Let t(v) = -v**3 + 5*v**2 + 7*v - 4. Let k be t(6). Sort r, k, -5 in descending order.
k, r, -5
Let z = 15/2 - 9. Sort z, -0.3, 1 in descending order.
1, -0.3, z
Let g = -0.1 + -0.4. Let k be -4*3/(6/(-4)). Suppose 3*l + 9 = 2*r - r, 2*l - k = -4*r. Sort -0.2, g, r.
g, -0.2, r
Let n = -3 + 5. Let q be (0 - 1/2)*0. Sort -1, q, n in ascending order.
-1, q, n
Suppose -x = -5*x + 8. Sort -2/3, -2/9, -5, x in decreasing order.
x, -2/9, -2/3, -5
Suppose 0 = m - 2 + 3. Let y(c) = -c. Let i be y(m). Put -1, -4, i in decreasing order.
i, -1, -4
Let k = -0.06 - 0.04. Let w(f) = f**3 - 5*f**2 - 6*f + 3. Let n be w(6). Suppose -4*u + 5*g = n*g + 2, 4*g = -u + 13. Sort u, k, 4 in decreasing order.
4, u, k
Let c = 55.4 + -55. Put -2/5, c, 1, -6/11 in ascending order.
-6/11, -2/5, c, 1
Let n be (-15)/700*-8*(-10)/(-4). Put -3, 9, -0.2, n in decreasing order.
9, n, -0.2, -3
Let r be 62/(-31) + 3/1 + 0. Put 1/2, r, 0.4 in descending order.
r, 1/2, 0.4
Let h(b) = -b - 2. Let o be h(-11). Suppose -o*u - 3 = -6*u. Put u, -3, -2 in ascending order.
-3, -2, u
Let v(h) = -h**2 - 10*h - 2. Let y be v(-10). Let j(q) = -q**3 + 16*q**2 + 16*q + 21. Let s be j(17). Sort s, y, -6 in increasing order.
-6, y, s
Suppose 4*m - 3*m = 0. Let p = 10 - 5. Sort p, m, -3 in descending order.
p, m, -3
Let b = 11 + -12. Let u be 6/b - (-2 - 0). Put 1, u, 0 in descending order.
1, 0, u
Let q(a) = a - 9. Let b be q(4). Let m be (12/5 - 2)*b. Suppose v + 0 = -3*p - 1, -5*p - 3*v = 3. Put m, p, 5 in descending order.
5, p, m
Let z be 6/35*(-3 - 2). Sort z, 2/3, 2 in increasing order.
z, 2/3, 2
Suppose -4*l - 5 = a, 0 = -0*l - 2*l + 5*a - 19. Let b = 2 + l. Let m(z) = -z + 2. Let r be m(b). Put -3, -1, r in increasing order.
-3, -1, r
Let y = 48 + -47.7. Let n(c) = c + 1. Let d = -4 + 2. Let i be n(d). Put i, y, -0.2 in descending order.
y, -0.2, i
Let s = 12.035 - 0.035. Put -1/5, s, -4 in decreasing order.
s, -1/5, -4
Let u = 35 - 31. Let j = 7 - 2. Sort j, -1, u in increasing order.
-1, u, j
Let n = 600/13 - 46. Suppose p = -4*p + 60. Let t be 8/p + (-11)/12. Sort n, t, 3 in decreasing order.
3, n, t
Let j = 0.3 - -0.7. Let p = -3 - -0.8. Let i = -1.8 + p. Sort j, 0, i in descending order.
j, 0, i
Let a be (-1*6/4)/(48/(-160)). Sort a, 1, 7, -3.
-3, 1, a, 7
Let i = -64 - -48. Sort i, 0.1, 4 in increasing order.
i, 0.1, 4
Let o = 0.6 + -5.6. Suppose r = 4*r - 13*r. Put r, -0.1, o in ascending order.
o, -0.1, r
Let h = 39 - 43. Sort 4, h, -8, 1 in decreasing order.
4, 1, h, -8
Let c = 0.13 + 0.07. Suppose 1 = -2*g + 9. Sort -5, c, g.
-5, c, g
Let a = -86 - -86.2. Sort a, -5, -4, -0.2.
-5, -4, -0.2, a
Let x be ((-1)/2)/(4/16). Put -5, x, -3 in increasing order.
-5, -3, x
Let r be 8/(-12)*(-3)/2. Put -1, 1/8, r in increasing order.
-1, 1/8, r
Let o be (6/9)/((-2)/3). Let s be (o/(-2))/((-1)/2). Let t be 3 + s - (-15)/(-8). Put 1, t, -2/3 in ascending order.
-2/3, t, 1
Let i = 1 - -3. Let j = 2 + 1. Let b be j/6*(-4)/2. Sort b, 2, i.
b, 2, i
Let h = 3 - 2. Let n(w) = -9*w + 1. Let f be n(3). Let z be f/8 + 2/1. Sort 0.3, h, z in ascending order.
z, 0.3, h
Suppose -3*s + 5*g + 15 = -0, -3*s - 4*g = -15. Suppose 4*y = 2*r - 30, -3*r - s = -4*r. Sort y, 0.4, 0.5 in ascending order.
y, 0.4, 0.5
Let a(v) = -142*v - 2. Let c be a(1). Let w be (c/54)/(2/(-3)). Put w, 2, 1 in ascending order.
1, 2, w
Let q be ((-16)/(-24))/(2/(-3)). Sort q, -9, -4 in ascending order.
-9, -4, q
Let l = 2 + -2. Suppose 2*z - 5*z - 3*p = -21, -5*z - p + 15 = 0. Sort z, -2, l.
-2, l, z
Let k(w) = w**2 + 7*w - 4. Let h be k(-8). Suppose -z - 3 = -h*z. Let j be (6/2 - 1)/(-2). Sort j, z, -3 in ascending order.
-3, j, z
Let b(c) = 5*c - 6. Let n be b(3). Suppose 3*j = 6*j - n. Put -4, j, 0 in ascending order.
-4, 0, j
Suppose 0 = k + 3*k - 4. Let x(i) = i**2 - 6*i - 11. Let z be x(7). Sort k, z, 7 in descending order.
7, k, z
Suppose l - 127 = -128. Put -