h be y(6). Let v be (2/(-3))/((-2)/h). Sort -3, d, v in increasing order.
-3, v, d
Suppose -5*q - 3 = 2*g + 2, -3*g + 27 = -4*q. Sort q, -1, -5.
-5, q, -1
Suppose -q - 6 = -2*z, -3*q - 2*q + 20 = 0. Let a(v) = -v**2 + 8*v - 6. Let c be a(7). Sort c, 0, z.
0, c, z
Let p = 17.1 - -3.9. Let k = -22 + p. Put 2/19, k, -3 in descending order.
2/19, k, -3
Let a be 12/(-14)*(3 + -10). Let t be a/18 - (-14)/(-18). Sort -0.4, t, -2 in decreasing order.
-0.4, t, -2
Let j = -0.216 + 0.016. Put 0.12, 1, j, -0.3 in decreasing order.
1, 0.12, j, -0.3
Let p be (-7)/(-14)*(-2 + 2 + -4). Sort p, -1, 4 in decreasing order.
4, -1, p
Let c = -15.6 - -16. Put -2, -3/5, c in ascending order.
-2, -3/5, c
Suppose 16 = r + f, 5*r + 4*f + 28 = 104. Let i = r - 8. Put 0, -1, i in descending order.
i, 0, -1
Suppose -6*i + 10 = -i. Suppose -8*y + 9*y + i = 0. Suppose 2*a + 1 = -9. Put -1, y, a in descending order.
-1, y, a
Let n be (2/3)/(-3 + (-116)/(-36)). Sort -5, -7, n in decreasing order.
n, -5, -7
Let f = -0.01 - 0.79. Let z = f + 0.9. Let i = 0.3 - z. Put i, -0.4, 2 in decreasing order.
2, i, -0.4
Let k = -4.9 + 0.9. Let s = -0.056 + 3.056. Put k, 2/3, s in descending order.
s, 2/3, k
Let p(v) = v**3 - 8*v**2 - 9*v - 4. Let u be p(9). Let g = -1 - -1. Let o = g + -0.3. Put 1/2, o, u in ascending order.
u, o, 1/2
Let q be 12 + ((-48)/(-4))/(-3). Sort -3, q, 1.
-3, 1, q
Suppose 0*j = j. Suppose 5*x - 5*o + 110 = 0, -5*x = 5*o - j*o + 70. Let z be (24/x)/(7/(-3)). Put 4, 0.2, z in ascending order.
0.2, z, 4
Suppose 0 = 5*q - 9 - 6. Suppose -3*x + q*l - 6 = -x, -l + 12 = -4*x. Put x, 3, 0 in decreasing order.
3, 0, x
Let v be (-4 - (0 - 1))*(16 - 15). Sort -0.5, -2/11, v, 6.
v, -0.5, -2/11, 6
Suppose 2*a = -3*a - 75. Let i be 2/(6/a*1). Put -4, 1, i in ascending order.
i, -4, 1
Suppose -2*n - 2*n = 0. Let h be n + -1*2 + 4. Suppose 5*f + 0*f + 10 = 0. Put f, h, 1 in descending order.
h, 1, f
Let g(v) = -3*v - 14. Let n be g(-6). Sort -1, n, 2 in descending order.
n, 2, -1
Let y = -1 + 1. Let u = y - -3. Let b = 3 - 8. Put u, b, 4 in decreasing order.
4, u, b
Let k = -12 - -4. Let o be k/(-28) + 0/1. Sort -3, -5, o in descending order.
o, -3, -5
Suppose -34*n + 37*n - 3 = 0. Sort -3, n, -5, -4.
-5, -4, -3, n
Suppose 12*v = 1 + 23. Let y be (-2)/(-2)*(1 - 0). Put y, 4, v in decreasing order.
4, v, y
Let c = -2.3 - -2.7. Let z be (-4)/10 - 42/(-80). Let s = -5.08 - -0.08. Put s, z, c in descending order.
c, z, s
Let d = 6/55 + 56/495. Put 8, 0, d in decreasing order.
8, d, 0
Let q = -20 - -20.11. Let z = q - -0.09. Let a = z - -3.8. Sort -3, -0.5, a in decreasing order.
a, -0.5, -3
Let m = 2 + -2. Let k = 0.5 + m. Let l = 110 - 772/7. Sort k, l, 3 in ascending order.
l, k, 3
Suppose -2*u + 4*u - 6 = 0. Put -2, 1, u in descending order.
u, 1, -2
Let x(a) = -a**3 + 7*a**2 + 8*a - 1. Let i be x(8). Let d = -3 - 1. Put d, i, -0.2 in descending order.
-0.2, i, d
Let h = 1.96 - -0.04. Let w = -2 + h. Let t = 0.04 - -0.06. Sort 1, t, w in descending order.
1, t, w
Let y = -0.3 + 0.2. Sort y, -0.4, 2 in descending order.
2, y, -0.4
Let o = 58.4 + -58. Put o, 15, -1 in descending order.
15, o, -1
Let q = -0.39 - 0.01. Sort 1, q, -2/11, -12.
-12, q, -2/11, 1
Suppose -2*g - 2*g = -16. Let z(v) = 2*v**2 + 8*v - 22. Let y be z(-6). Let u be -2*-5*(-2)/4. Sort y, g, u.
u, y, g
Suppose 0 = -2*g - 3*z - 11, -g - 2*g - 19 = 5*z. Suppose 0 = -2*q - 3*q + 20. Put g, -5, q in descending order.
q, g, -5
Let u = 7 - 1. Let g = -20.4 - -14. Let y = u + g. Sort 0.1, -5, y in decreasing order.
0.1, y, -5
Let v = 61 - 119/2. Let r be ((-9)/(-9))/((-7)/(-2)). Put v, r, 5 in descending order.
5, v, r
Let i = 15 - 17. Suppose 0 = k - 4 + 2. Suppose 5*l = k*l + 15. Sort l, i, -1 in ascending order.
i, -1, l
Let w = 7 - 3. Let j = -5/107 + -413/321. Sort 0, j, w in ascending order.
j, 0, w
Let r = -496 + 471.9. Let a = r + 24. Let j be 11/(-15) + (-4)/(-10). Sort 1/2, a, j in decreasing order.
1/2, a, j
Let u = -24 + 26. Sort 1, u, 4 in decreasing order.
4, u, 1
Let p = 6 - 3. Let a = 39 + -39.4. Put p, a, 0.2 in ascending order.
a, 0.2, p
Let n = -21.2 + 21. Put -14, -6, n in increasing order.
-14, -6, n
Suppose 5*r - 7 = 3*m, -3*m + m - r + 4 = 0. Suppose 2 = t - 0. Suppose t*d - 6 = -5*q + 21, -2*q + 4*d + 6 = 0. Put m, 2, q in increasing order.
m, 2, q
Suppose -2*i + 2*m - m = -9, -3*i = 5*m - 20. Let g be ((1 - 3) + i)/7. Sort -5, 0.3, g.
-5, 0.3, g
Let n = -6 - -5.7. Put 1, -0.2, n, -0.04 in descending order.
1, -0.04, -0.2, n
Let b(j) = j**3 + 8*j**2 + j + 2. Let y be b(-8). Let l be (-2)/3 + 4/(252/33). Sort y, 2/17, l.
y, l, 2/17
Let w = 1/8 + 29/24. Put 0.4, w, -1/7 in descending order.
w, 0.4, -1/7
Let r(a) = 2*a**3 + 3*a**2 - 2*a - 4. Let i be r(-2). Put -1, 1, i, 0.2 in decreasing order.
1, 0.2, -1, i
Suppose 0 = -0*q - 2*q - 4. Let g = -5 - -5.4. Put g, -5, q in increasing order.
-5, q, g
Suppose -10 = 2*v - 18. Sort 12, v, 1 in descending order.
12, v, 1
Suppose 0 = k - 0*q - 4*q + 20, -5*k + 3*q = 15. Sort -0.3, -18, k in increasing order.
-18, -0.3, k
Let t = -1.959 - 0.041. Put t, 0.1, 3, 2 in ascending order.
t, 0.1, 2, 3
Let w(l) = 5*l - 83. Let p be w(17). Let z be -2*2/4*-1. Let c be 2/(2*z) - 1. Put c, 5, p in increasing order.
c, p, 5
Suppose 9*v - 4*v = -20. Sort -3, 1, 3, v.
v, -3, 1, 3
Let z = 0.6 - -8.4. Let p = -13 + z. Sort p, -0.1, 2 in descending order.
2, -0.1, p
Suppose 5*z + 25 = 5*r, -3*r = -2*z + z + 1. Put 3, 4, -2, z in descending order.
4, 3, -2, z
Suppose 6*d - 2*d + 5*p + 33 = 0, -3*d = -3*p + 18. Let k be (d - -15)*(-2)/(-8). Sort -1, 1, k in decreasing order.
k, 1, -1
Suppose -4*n = -5*k + 40, k + 5*n = 6*k - 45. Suppose 3*g - 2*d = 2*d + 6, 6 = 3*g + d. Sort -4, g, k in descending order.
k, g, -4
Let x = -5594/11 - -508. Put 4, 1/5, x in descending order.
4, 1/5, x
Let k be 6/(-9) + 0 + 1. Let w = -8/35 + 142/315. Sort k, -2/15, w in descending order.
k, w, -2/15
Let x(n) = -n - 3. Let w be x(-6). Let r(k) = -k**2 - 4*k + 1. Let p be r(-5). Let i = p + w. Sort i, 0, 3.
i, 0, 3
Suppose 24 = 9*k - 15*k. Sort k, -3, -5, -1.
-5, k, -3, -1
Suppose 5*g + 2*j - 5*j = 1, 0 = 5*g + 5*j - 25. Put 1, g, -1, 4 in decreasing order.
4, g, 1, -1
Suppose -n + 5*x = -25, n + 24 = 5*n - x. Put n, -1, -3, -4 in decreasing order.
n, -1, -3, -4
Let r = 16/25 - 244/225. Put -1, 2/11, -2/5, r in decreasing order.
2/11, -2/5, r, -1
Suppose -n = n. Let d be n/(-1)*(-1)/2. Let x be (36/(-45))/((-1)/(-5)). Sort 3, x, d in increasing order.
x, d, 3
Suppose h = -0*r - 2*r - 1, 12 = -4*h. Put -7/4, -0.1, r in increasing order.
-7/4, -0.1, r
Let i = -4678/13 - -360. Sort -0.1, 3/2, 5, i in descending order.
5, 3/2, i, -0.1
Let p = 18 - 37. Let i be p/(-4) - (-4)/16. Put 0, -2, i in ascending order.
-2, 0, i
Let r = 16 - 20. Let q = -2771/13 - -213. Let v be 6/(-14)*-1*1. Put v, q, r in descending order.
v, q, r
Let p(o) = -o**3 - 7*o**2 - 6*o. Let a(b) = b**2 - 7*b + 6. Let x be a(4). Let q be p(x). Suppose q = -0*i - i. Sort 5, i, 2 in descending order.
5, 2, i
Suppose 150 - 1140 = -3*y. Let g be (3/4)/((-9)/y). Let u = -27 - g. Sort u, 1/6, 1.
1/6, u, 1
Let u = -489/4 - -123. Sort -2, u, -3.
-3, -2, u
Let w = 14 + -17. Put 3, w, -1 in decreasing order.
3, -1, w
Let w(p) = -p**3 - 7*p**2 - 5*p + 6. Let i be w(-6). Suppose 0 = -4*m - 4*u - 24, -m - 5*u - 26 = 3*m. Put 5, m, i in descending order.
5, i, m
Suppose -3 = -4*d - 3*o + 7, 2*d = 4*o + 16. Let m(v) = -v**2 + 0*v**2 + 2*v**2 + 6*v - d. Let q be m(-7). Sort q, 2, 4 in decreasing order.
4, q, 2
Let u be (-3)/2 - (-21)/14. Let x = -6 - -4. Put x, u, 2 in decreasing order.
2, u, x
Let r(a) = -3*a**2 + 23*a + 8. Let m be r(8). Let n = 0.06 - -0.34. Sort m, n, -3 in increasing order.
-3, m, n
Let o = 0.5 + -0.9. Suppose 13 = 3*c - 2. Let j = -1.1 + 1. Sort o, c, j.
o, j, c
Suppose -14 = -2*u + 2*m, 0*u + 5*u - 3*m = 35. Let l be (-9 + u)/(1 - 5). Put -4/3, l, -2 in increasing order.
-2, -4/3, l
Suppose b + 14 = 2*b - 3*y, 2*b + 3*y + 8 = 0. Let d = 15.3 - 16.3. Sort d, b, 3.
d, b, 3
Let t = 39 + -38.9. Sort -5, 1/6, -1/22, t in ascending order.
-5, -1/22, t, 1/6
Let y(v) = v**3 - 7*v**2 - 9*v + 2. Let u be y(8). Let n be (-10)/40 + u/8. Put 0, n, 2 in descending order.
2, 0, n
Suppose 4*q = -x - 17, -3*x + 8*x = 5*q - 35. Let z be (