 - x. Sort k, -2/9, 0.
-2/9, 0, k
Let m be 10/(-5) - (-5)/1. Let y = 31 - 35. Put y, 2, m in descending order.
m, 2, y
Let v be (-22)/(-7) - 1 - 2. Let u = 92 - 89. Put -0.4, u, v in increasing order.
-0.4, v, u
Suppose o - 5*t + 15 = -o, -2*t = -3*o - 17. Sort 1, o, 2 in decreasing order.
2, 1, o
Let j be (2 - 8/3)*3. Let l = 20 + -12. Let z be l/3*3/(-2). Sort z, j, -3 in descending order.
j, -3, z
Suppose -5*x - 80 = -x. Let d be (-9)/6*x/6. Put -2, 3, d in descending order.
d, 3, -2
Suppose -12 - 58 = -5*q. Let j be (-4)/(-14) - 4/q. Sort -2, j, -0.1 in descending order.
j, -0.1, -2
Let o = 2 + -7. Let k = 25 + -9. Suppose 41 - 6 = 5*v - 5*d, 0 = 4*d + k. Sort o, v, -1 in decreasing order.
v, -1, o
Let z = -2 - -4. Let v = z - 5. Let n = v + 3.5. Sort -1/3, 0.1, n in descending order.
n, 0.1, -1/3
Let n(u) = -u**3 - 12*u**2 + 7*u + 80. Let v be n(-12). Let a = 0.2 + -0.4. Sort -1/4, a, v.
v, -1/4, a
Let b(o) = 2*o**2 + 59*o + 27. Let q be b(-29). Suppose -3*x + 0 = 6, 0 = 2*v + 3*x + 6. Suppose 3*p + v*p + 3 = 0. Put q, 1, p in descending order.
1, p, q
Let d = 1.983 - -0.017. Sort -0.3, 0.03, d, 0.2 in decreasing order.
d, 0.2, 0.03, -0.3
Let g be (2/(-11))/((-72)/(-12)). Let o = g - -71/165. Let i(a) = a**2 - 5. Let x be i(0). Put x, 0, o in increasing order.
x, 0, o
Suppose 3*w + 3*q + 23 - 2 = 0, -4*w = 3*q + 26. Sort w, 2, -4 in ascending order.
w, -4, 2
Let x = -9.82 - -10. Let j = x - 0.08. Put -5, j, 0.4 in descending order.
0.4, j, -5
Let w(s) = s**2 + 10*s - 2. Let q be w(-10). Suppose 0 = -5*j - 2*m + 21, 4*j - 3*m = 3. Sort q, j, 4 in descending order.
4, j, q
Let a be (4 + 16)/(-4) - -1. Sort 2, -1, 0, a in increasing order.
a, -1, 0, 2
Let f = 4 - 2. Let y = 0.05 + 0.95. Put y, f, 0.5 in increasing order.
0.5, y, f
Let f be (-30)/2*(-2)/5. Let q be f/3*(2 - 3). Sort 4, q, -4 in descending order.
4, q, -4
Let m be 3/6 + -2 + (-56)/(-48). Put -3, 0.4, m, 0.5 in decreasing order.
0.5, 0.4, m, -3
Let s(k) = k**2 + 2*k. Let y be -1*3*(-2)/(-6). Let d be s(y). Suppose -8 + 0 = 4*j. Sort j, d, 5.
j, d, 5
Let o be (2 + -1)/(1/(-34)). Put o, 0, 3, -4 in decreasing order.
3, 0, -4, o
Suppose -37 = 4*b + 5*y, -b - 45 + 17 = 5*y. Suppose 3*r - 2*r - 8 = -3*s, 0 = -2*s - 3*r + 3. Put b, s, -4 in descending order.
s, b, -4
Let z = -8 + 4. Let w(i) = i**3 - 10*i**2 + i - 5. Let q be w(10). Put q, z, -2 in increasing order.
z, -2, q
Suppose -4*d + 0 - 24 = 0. Let g be (-1 + -5)/(d/4). Suppose 10 = -4*u + 3*i - i, -5*i + 11 = g*u. Sort u, 4, -3 in descending order.
4, u, -3
Let r = 6.6 + -2.6. Sort 0.5, -3, 5, r in descending order.
5, r, 0.5, -3
Suppose -2*t - 42 = -5*t. Let h be (t/(-35))/(1/10). Put 3, 1, h in decreasing order.
3, 1, h
Let g = -29/21 + 5/7. Let r = -191/22 - -17/2. Sort g, r, 1.
g, r, 1
Let l = 6 + -12. Let g = -142 + 140. Let o be 12/9 + (-4)/(-6). Put g, o, l in ascending order.
l, g, o
Let t = 56 + -54. Let a = -3 - -3.5. Sort a, t, 4.
a, t, 4
Let j be 4/3*(-3)/(-22). Let t = -6.7 - -7. Let m = 0.2 - t. Sort m, j, 4.
m, j, 4
Let p = -5 + 3. Let q(a) = -a**3 - 3*a**2 + 4*a + 2. Let k be (2/(-1))/((-2)/(-4)). Let v be q(k). Sort p, v, -1 in descending order.
v, -1, p
Let a = 2 - 1. Let f be (-3)/1*a/(-3). Let s = -0.3 + 2.3. Sort f, s, -1.
-1, f, s
Let b(i) = 2*i + 9. Let p be b(-4). Sort 5, p, -1 in decreasing order.
5, p, -1
Let k = -9.3 + 8. Let o = -0.7 + k. Let g be 0/1 + 6/15. Sort o, 1, g.
o, g, 1
Let q = -8 + 10. Sort q, 1, -2 in increasing order.
-2, 1, q
Suppose 0 = 5*h - 6*h - 1. Let d be 0 + (2 - h - 2). Sort 5, -4, d in increasing order.
-4, d, 5
Let h = 41 - 453/11. Let y = -18 - -18.5. Sort y, -2, h in ascending order.
-2, h, y
Let m be -2 - 3*4/(-6). Suppose m = -3*f - f + 40. Suppose 0*d = -2*d + f. Sort d, 1, -4.
-4, 1, d
Suppose 4*k = 4*f + 2*k, k + 4 = -2*f. Put 1, -5, f in ascending order.
-5, f, 1
Let c = -7 - -8. Let d be 2 - (c - 3/(-9)). Sort 2, d, 2/25 in decreasing order.
2, d, 2/25
Suppose -10 = 7*m - 2*m. Let k(l) = l**2 - 2. Let y be k(m). Suppose z + y = -1. Sort 1, z, 3.
z, 1, 3
Suppose -z + 5 = -3*s + 2*s, -3*s - 6 = 0. Let i = 15 - 19. Suppose 5*m = 2*m + 12. Put z, i, m in descending order.
m, z, i
Suppose x + 0*x + 4 = 0. Sort -1, 1, x.
x, -1, 1
Let n = -667 + 6005/9. Let m = -0.3 + 0.1. Let h = -325/6 + 54. Sort h, n, m.
m, h, n
Let j = -3.029 - -0.029. Put -1/2, 5, j, 0.08 in decreasing order.
5, 0.08, -1/2, j
Let f(c) = c**3 - 22*c**2 - c + 25. Let z be f(22). Sort z, 1/6, 4.
1/6, z, 4
Let u = -31 + 26. Put u, 0.3, 1/8 in increasing order.
u, 1/8, 0.3
Let m = 3 - 3.05. Let n be 0 + (-7)/14*1/4. Sort m, 1/2, n.
n, m, 1/2
Let f = 389 - 5833/15. Let l(p) = p**2 + 5. Let x be l(0). Suppose 2*g = 3*d + x, -3*g - 10 = 2*g. Put f, -2/5, d in descending order.
f, -2/5, d
Let i = -61.7 + 62. Sort 0.5, -5, i, 2.
-5, i, 0.5, 2
Let l = 6 + -5.7. Let c = 8 + -8. Sort c, -2/13, l in decreasing order.
l, c, -2/13
Suppose -3*c + 3 = n + 1, 5*c - 4*n - 9 = 0. Let d = -214.9 + 215. Put 2, d, c in descending order.
2, c, d
Let x be (-2)/(4 - (-54)/(-12)). Let y(i) = -i**2 + 4*i + 7. Let b be y(6). Put 5, b, x in decreasing order.
5, x, b
Let k(v) = v. Let b be k(2). Suppose 4*l = -b - 2. Put l, 0.1, -1/6 in descending order.
0.1, -1/6, l
Let s(j) = 2*j**2 + 5*j + 4. Let t be s(-3). Put -5, 3, t in decreasing order.
t, 3, -5
Let s(c) = -c**2 - 9*c - 6. Let m be s(-3). Sort m, 2, -5 in decreasing order.
m, 2, -5
Let q = -35.5 - -9.5. Sort q, -5, 2/17, 1 in descending order.
1, 2/17, -5, q
Let d(h) = -h**3 + 5*h**2 + 6*h - 2. Let v be d(4). Sort -5/6, -1/11, v in increasing order.
-5/6, -1/11, v
Let u = -21 + 19. Let o be (-132)/32 + u/(-16). Let l(f) = -f**2 - 5*f - 3. Let w be l(-4). Sort o, -5, w in decreasing order.
w, o, -5
Let h be (22/(-77))/((-16)/14). Sort 4, h, 0.3 in decreasing order.
4, 0.3, h
Let y be 14/6 + (-1)/3. Let s be (y/(-15))/((-1)/(-5)). Sort 0.1, s, 4.
s, 0.1, 4
Let v = -11 - -15. Sort v, 1, -2 in increasing order.
-2, 1, v
Suppose 0 = 3*t + t - 3*j - 50, 2*j = 4*t - 52. Suppose 5*w = f - 2 - 20, -f = -3*w - t. Put 5, 0, w in decreasing order.
5, 0, w
Let w = 1 - 0.6. Suppose -6*d = -2*d. Sort w, -1, d.
-1, d, w
Let i = 12 + -20. Let h = 8.1 + i. Let c = -5.11 + 0.11. Put 5, c, h in descending order.
5, h, c
Suppose 3*b = 6*b. Suppose -3*y - 2*y = -5. Sort b, 2/7, y in decreasing order.
y, 2/7, b
Let a = -2 + 1.8. Let p = -5 - -9. Suppose -p*o = -o. Put 1, o, a in descending order.
1, o, a
Let i(o) = 0 - 7 - 3 + 2*o. Let h be i(7). Let m = -0.09 - 0.01. Sort m, -4, h in descending order.
h, m, -4
Suppose 3*b + 10 = -4*j + 5*b, 2*j = -4*b - 30. Let i be 3/9 + 10/24. Let f = -0.4 + 4.4. Put i, f, j in decreasing order.
f, i, j
Let y be ((-16)/(-10))/((-2)/(-5)). Suppose 5*a + y = -11. Let z be 12/(-6) - (-8)/2. Put z, -5, a in increasing order.
-5, a, z
Let u(s) = s**2 + 4*s + 2. Let f be u(-3). Let n be 4 - 0 - 0/f. Sort 1, n, -4.
-4, 1, n
Let w be 3/(-2) - (4 + (-36)/8). Put 5, w, 12 in decreasing order.
12, 5, w
Suppose g = v + 2, 0 = -4*g + 3*v + 2 + 5. Put 3, g, -2 in decreasing order.
3, g, -2
Let g(r) = -r + 3. Let o be g(-1). Sort o, 0.5, -0.5.
-0.5, 0.5, o
Suppose -l = -2*k + 4*l + 18, 5*k = -2*l + 16. Suppose 0 = k*d - 1 + 5. Let j = 5 + -10. Sort d, 3, j.
j, d, 3
Let m = -9.9 - -5.2. Let c = m + 5. Let n = 4.3 - c. Put -0.4, 2/11, n in descending order.
n, 2/11, -0.4
Let d = -0.7 + 0.1. Let z = 0.5 + d. Sort 0.3, 4, z in descending order.
4, 0.3, z
Let q = 20 - 6. Let c = q - 9. Put 1/3, -5, c in ascending order.
-5, 1/3, c
Let z(u) = -u**2 + 6*u + 4. Let j be z(7). Suppose 6*b = 3*b + 6. Sort 3, b, j in descending order.
3, b, j
Suppose 5*r - 5 = -0*r. Let s be 5/(-2)*16/8. Sort s, r, 2 in ascending order.
s, r, 2
Let u = -15 + 19. Sort u, 1, 6 in ascending order.
1, u, 6
Let f = 0.5 + -1. Sort -1, 2, f, 0.3.
-1, f, 0.3, 2
Let t be 5/((-26)/65 - 7/(-5)). Sort 4, t, -2 in descending order.
t, 4, -2
Let y = -0.123 - 0.177. Put -5, -4, y in ascending order.
-5, -4, y
Let y = -4 + 1. Let z = 1703/7 + -243. Sort y, z, 1.
y, z, 1
Suppose -5*w + 22 = 3*f, 5*w - 30 = -4*f - f. Let z(k) = -k**3 - k + 17. Let g be z(0). Let p = 12 - g. Sort f, -3, p.
p, -3, f
Suppose -l - 17 = 5*s - 0*l, -2*l = -s + 1. Sort 12, 3, s.
s, 3, 12
Let r = -619/9 - -69. Put r, -0.5, -3 in descending