+ 0*s - 16 = 2*y. Put y, 2, d in increasing order.
d, y, 2
Let z(m) = -2*m. Let w be z(2). Let x(r) = r + 7. Let f be x(w). Sort -3, f, -2/21 in decreasing order.
f, -2/21, -3
Suppose 7*o - 18 = o. Let v = 4 - 2. Put v, 1, o in ascending order.
1, v, o
Suppose -c - 2 - 2 = 2*l, 0 = 4*l - c + 20. Let s be l/18*(-3)/(-6). Sort s, 4, -4 in decreasing order.
4, s, -4
Let u = 0.21 + 0.79. Let j = 10 - 15. Sort u, j, 2 in descending order.
2, u, j
Suppose 2*b = 5*r, 0 = -6*b + 8*b + r. Let d(h) = h**3 - 2*h**2 - h - 3. Let x be d(3). Sort x, b, 2.
b, 2, x
Let f = 70 - 48. Suppose 0 = 2*z + 4*c - f, -2*z - 4*c + 32 = 2*z. Suppose -y = y - v - 1, z = 5*v. Sort -0.3, y, 5 in ascending order.
-0.3, y, 5
Let s = 48 + -52. Put 6, s, -5, -3 in descending order.
6, -3, s, -5
Let b = -65 + 70. Let v be (-2)/6 - 76/(-12). Sort b, v, -1.
-1, b, v
Suppose -2*k - 29 - 15 = 5*t, 3*t + k = -27. Let u be 11/(-4) + 1/(-4). Let g be (-8)/u*(-15)/t. Put 0, 2, g in descending order.
g, 2, 0
Let d be ((-1)/2)/(18/27). Let q = 0.1 - 2.1. Let h = -7 - -7. Sort h, q, d.
q, d, h
Let s(v) = v + 2. Suppose 5*m = 3*m - 6. Let z be s(m). Let h = 11 + -6. Put 1/8, h, z in descending order.
h, 1/8, z
Let a = 21 - 15. Let l = a + -6.2. Put 1/2, 2/3, l in descending order.
2/3, 1/2, l
Let u(v) = v**2 + 8*v + 9. Let d be u(-6). Suppose 0 = 2*n + g + 3*g - 16, -g = -4*n + 23. Let w be ((-12)/18)/((-4)/n). Put d, w, -4 in increasing order.
-4, d, w
Let a be 26/4*(9 + -7). Suppose a = 5*f - 12. Let v be 2 + -1 + f/(-2). Sort -0.2, 4, v in descending order.
4, -0.2, v
Let p(l) = -l - 6. Let i be p(-8). Suppose 0 = 3*n + 4*b + 1, 2*n + 4*b = -i + 4. Sort n, -1/7, 0.7 in increasing order.
n, -1/7, 0.7
Let j(p) = p**2 - 6*p - 9. Let m be j(7). Sort m, 2, 3 in descending order.
3, 2, m
Let s(f) = f - 5. Let p be s(0). Sort p, -3, 5.
p, -3, 5
Let g = -6.4 - -6. Let c = g + 0.2. Let p = 31 + -34. Put p, 5, c in descending order.
5, c, p
Suppose -g - f = -0*g - 11, 2 = g + 4*f. Suppose 0*j = 5*h + 2*j + 18, -g = 3*h + 2*j. Sort 3, h, 2 in descending order.
3, 2, h
Let q = -8 - -9. Let t(p) = 2*p - 6. Let f be t(6). Put f, 4, q in descending order.
f, 4, q
Let r = 12 + -14. Sort r, 0.4, -0.4 in increasing order.
r, -0.4, 0.4
Let p be (-4)/10*(111/42 + -3). Sort -1/3, 2/11, 4, p in ascending order.
-1/3, p, 2/11, 4
Let w be (-1)/4 + 42/8. Suppose -3*i = -0 + 12. Let p be 3*3*i/(-9). Sort -1, p, w in increasing order.
-1, p, w
Let x be ((-2)/6)/((-4)/(-12)). Sort -3, -3/4, x in increasing order.
-3, x, -3/4
Suppose 5*y = 3*y. Let u = 323 + -319. Put u, y, 3 in increasing order.
y, 3, u
Suppose 0 = -13*w + 11*w. Put -1, w, 4 in descending order.
4, w, -1
Let v = 5506/17 - 324. Sort -6/11, v, -3.
-3, -6/11, v
Suppose s + 2*o - 5 = 0, 0 = s - 2*s - 3*o + 7. Let r = -12/391 - -2/17. Let z = 0.06 + -0.36. Put z, s, r in increasing order.
z, r, s
Suppose x + 2*x = 6. Suppose 14 = x*k + 3*u + 5, 3*k = -2*u + 1. Sort 8, k, 4 in increasing order.
k, 4, 8
Let r(l) = -2*l - 6. Let h be r(-5). Let k = -17 - -14. Sort h, k, 0 in ascending order.
k, 0, h
Let y be (-22)/5 + 4/10. Let w = -88 - -87. Suppose 2*x - 2*q = -4, 0 = x - 3*x + 5*q - 4. Put x, y, w in descending order.
w, x, y
Let d be (-2)/14 - 45/(-70). Sort d, -8, 1/6 in ascending order.
-8, 1/6, d
Let l be (-6)/(-9)*(-6)/44. Put -2/9, -2/3, l, -0.4 in ascending order.
-2/3, -0.4, -2/9, l
Let o = 3 - 4. Let d be 2 + 1 + -1 - o. Suppose -5*v = s - 2*v - 1, -v = d*s - 3. Sort -3, s, 3 in descending order.
3, s, -3
Let m = -1 + 2. Let f = -6 + m. Let x = 0.1 - 0.3. Sort x, f, 2/7.
f, x, 2/7
Let n = -16 - -11. Suppose -r + 2*p + 7 = 0, 0 = r + p + 5 - 0. Sort 4, r, n in descending order.
4, r, n
Let o be (0 - -1*2) + 2. Suppose -2*k = -4*k + o. Suppose -3*h = k*b - 13, 3*b + h - 13 = -2*b. Sort b, 1, -4 in ascending order.
-4, 1, b
Let q = -0.88 + 0.08. Let f = -4.8 - q. Put f, 1/5, -3/4 in decreasing order.
1/5, -3/4, f
Let r(s) = s**2 + 2*s + 1. Let g be r(2). Let o = 6 - g. Let c be ((2 - 9) + 2)*-1. Put -5, o, c in ascending order.
-5, o, c
Let l = -14 - -15. Put l, -2, 0.2 in descending order.
l, 0.2, -2
Suppose 8 = -6*h + 4*h. Let t = -0.3 + 0.2. Put h, -1, t in descending order.
t, -1, h
Suppose 0*y + 3*y - 12 = 0. Put 5, -3, y, -4 in descending order.
5, y, -3, -4
Let d = 85 - 85. Sort d, 4, 1.
d, 1, 4
Suppose -5*o - 5*d = 10, 2 = 5*o + d - 0. Suppose -3*u + 12 = -0. Suppose 1 - u = b. Sort o, -1, b.
b, -1, o
Let a(v) = -v**2 - 7*v - 5. Suppose -36 = 5*u - u + 4*j, -12 = 3*j. Let g be a(u). Put -2/9, 4, g in decreasing order.
g, 4, -2/9
Let s = 0.9 + -0.7. Let h = 0.6 - 0.3. Let y = h + s. Put -1/3, 5, y in increasing order.
-1/3, y, 5
Let f be 20/(-8)*12/10. Suppose -5*x = -4*q + 7*q - 29, -4*q + 3*x = 0. Put f, -1, q in increasing order.
f, -1, q
Suppose r = -0*r. Sort 2, -2, r.
-2, r, 2
Let r = -13.3 + 13.5. Sort r, 0.3, 0, -1.
-1, 0, r, 0.3
Let o = 2.1 - 1.8. Let j = 3.2 + -3. Let g = 2.92 - -0.08. Sort o, g, j in ascending order.
j, o, g
Suppose -k + 3*f = -11, 0 = -4*k - 12*f + 7*f + 10. Put -5, 2, k in decreasing order.
k, 2, -5
Let g = 0.17 - 3.17. Put g, -2, 0.2 in ascending order.
g, -2, 0.2
Let c = 315 - 4093/13. Let s = 19/130 + c. Sort s, -2/13, -2/9 in descending order.
s, -2/13, -2/9
Suppose 5*w = -2*i + 2, -4 + 0 = 2*w + 2*i. Suppose -5*c = -h + 10, 1 = -w*c - 1. Suppose 2*g = 2*a + 10, 19 = a - 0*g + h*g. Sort 5, a, -3 in increasing order.
-3, a, 5
Let n be (-153)/(-34) - 2/4. Let r = 5.12 + -0.12. Sort r, 0.2, n in increasing order.
0.2, n, r
Let v(b) = b**3 - 5*b**2 - 5*b - 3. Let k be v(6). Put k, 2, 0 in ascending order.
0, 2, k
Let d = -0.7 - 5.6. Let l = d + 6. Sort -1/3, l, 1/3 in ascending order.
-1/3, l, 1/3
Let n(z) = -4 - 3*z**2 + 3 + z**3 + 2*z**2. Let j be n(2). Suppose -3*m = -2*m - j. Put 5, -3, m in descending order.
5, m, -3
Let b = 538/5 - 108. Put 2/15, b, -4/7 in increasing order.
-4/7, b, 2/15
Suppose -5*b + 17 = 2*q, -12 = 4*q + 4. Suppose b*d + 7 = -8. Suppose -z - 3*z = -3*s + 5, -25 = 5*z. Sort 0, d, s in ascending order.
s, d, 0
Let z = 12.2 + -17.1. Let t = z + 5. Sort -5, 0.4, t in ascending order.
-5, t, 0.4
Let s(w) = -w**2 - 8*w. Let t be s(-6). Let q be (1/3)/((-28)/t). Let d = 0.4 + -0.6. Sort q, d, -0.3 in increasing order.
-0.3, d, q
Let q be 70/(-21) - (2 + (-12)/9). Sort q, -19, 3 in increasing order.
-19, q, 3
Let r = 6/37 - 5/259. Put -3, r, -0.3 in descending order.
r, -0.3, -3
Let c(s) = -s. Let l be c(-2). Suppose 2*a = -3*g - 3, l*g - 2*a = -3*g - 21. Let p be 1/g*(4 - 4). Sort -2, p, 1 in increasing order.
-2, p, 1
Suppose 45 = 4*o + 1. Sort 5, 2, o in ascending order.
2, 5, o
Let y = -65.3 - -65. Sort 1, y, -2/3, 12 in decreasing order.
12, 1, y, -2/3
Let r = -0.333 + 0.033. Sort 4, r, 1 in descending order.
4, 1, r
Let v be (0 - 2)*(-2)/10. Put v, 0, -2/9 in descending order.
v, 0, -2/9
Let x be 20/4 - (0 - -16). Sort -1, -5, x, -3 in increasing order.
x, -5, -3, -1
Let m be (-5)/3 + (2 - 1). Let t(c) = c**2 + 6*c + 2. Let f be t(-3). Put -3, f, m in decreasing order.
m, -3, f
Let f(a) = a - 9. Let k be f(14). Sort k, -3, -5 in decreasing order.
k, -3, -5
Let g = 12.13 - 0.43. Let y = g - 12. Sort y, 0.2, -7.
-7, y, 0.2
Let w = -5.8 - -6. Let v(i) = -i**2 - 6*i - 4. Let s be v(-4). Sort -1, w, s in decreasing order.
s, w, -1
Let g be (0 + -1)*(-10 + -5). Suppose -5 = -x - g. Let y(j) = j**2 + 11*j + 6. Let n be y(x). Sort 5, n, -2 in descending order.
5, -2, n
Let m = -5 - -1. Sort m, 1, 5, 0 in increasing order.
m, 0, 1, 5
Let y be (2/6)/((-12)/8). Let c = -0.28 + -5.62. Let v = -6 - c. Sort v, y, -3/7 in decreasing order.
v, y, -3/7
Let g = -34/279 + 1/93. Put 2, 1, g, -0.1 in decreasing order.
2, 1, -0.1, g
Let u = -34 + 21.5. Let f = -1.5 + u. Let i = f + 9. Sort -0.4, 0, i.
i, -0.4, 0
Let x = 95 - 100. Sort 3, -1, 4, x in descending order.
4, 3, -1, x
Suppose -i = -3*i - 2*p - 8, 2*p = -5*i - 5. Put i, 3, -17 in decreasing order.
3, i, -17
Suppose 0 = k - 2*b - 4, -b - 20 = -5*k - 3*b. Suppose 0*f = 4*a + 5*f + 25, -3 = 3*f. Sort k, 1, a in decreasing order.
k, 1, a
Suppose -z = 1 - 4. Let l = 2 - 0. Suppose -l*j = -z*j - 2. Put j, 0, -5 in descending order.
0, j, -5
Let t be (1/1)/((-1)/(-1)). Let g be 3/(1/(-1)*(-2 + 1)). Put g, -4, t in increasing order.
-4, t, g
Suppose 