. Let f = 8/17 + 1/34. Sort 0, t, f.
0, f, t
Suppose 0 = -7*a + 4*a + 6. Suppose -3 = -5*z + a*z. Sort 1/3, z, 2 in decreasing order.
2, z, 1/3
Suppose r = -0*z - z + 6, -3*r = 2*z - 14. Sort -5, 1, r.
-5, 1, r
Let r be 10*-2*(-3)/12. Suppose -r*u = -3*u - 6. Let y = 0 - 1. Put y, 5, u in ascending order.
y, u, 5
Suppose -i = -5*y - 15, -4*i - 43 = 5*y - 3. Let j(k) = -k - 2. Let u(r) = 4*r + 6. Let s be u(-3). Let a be j(s). Sort y, 0, a in increasing order.
y, 0, a
Let c = -1 + 4. Let m = 3 - c. Put -4, 3, m in descending order.
3, m, -4
Let i = 0 + -6. Let j = -6.5 - i. Let q = j + 0.3. Sort -5, 1/2, q in descending order.
1/2, q, -5
Let g = 108 + -538/5. Sort 1/6, g, 0.3, -0.5 in increasing order.
-0.5, 1/6, 0.3, g
Let p = 0.4 - -9.6. Let c = p + -14. Let x = -11 - -16. Sort -0.4, c, x in increasing order.
c, -0.4, x
Suppose 2*a - 20 = -5*u, 0*a = -3*u - 2*a + 12. Suppose -4*z = o - 12, -6*o + 4*o - 12 = -4*z. Suppose o = u*v + 12. Sort 4, v, -1 in ascending order.
v, -1, 4
Suppose -15 = 4*g - 4*n + 3*n, g - n = 0. Let x = -13 + 8. Let f = 2 + x. Put f, g, -4 in descending order.
f, -4, g
Suppose 33 = 5*h + 8. Suppose h*f = -16 - 9. Sort -5/4, f, -1 in decreasing order.
-1, -5/4, f
Suppose -3*j + 2*j - 3 = 0. Let h = -15 - -11. Let v = -66 - -66.4. Sort j, v, h in ascending order.
h, j, v
Let h = 54 - 163/3. Let j = 3 + -8. Sort j, 0.5, h in increasing order.
j, h, 0.5
Let a = -32 + 27. Put a, -1, 5, 2 in increasing order.
a, -1, 2, 5
Suppose -2*f + 6*f = 5*w - 2, -4*w + f + 6 = 0. Suppose 3*j + 2*j = 20. Suppose -11 = 3*k + n, 2*k - j*n = -6 - 20. Put k, w, 0.3 in descending order.
w, 0.3, k
Let s(z) = -z**3 + 2*z. Let t be s(-2). Suppose -k + 5 = -2*v, -t*v + 13 = -8*v + 5*k. Let p = 1 - v. Sort p, 0, 1.
0, 1, p
Let i = -0.028 + -3.072. Let n = 0.9 - i. Let m be (-14)/(-105) + (-1 - -1). Sort m, -3, n.
-3, m, n
Let n(y) = -y**2 - 10*y - 12. Let p be n(-9). Sort p, 11, -5 in descending order.
11, p, -5
Suppose 0*i = 4*i + 5*z - 17, z - 4 = -i. Let u be -1 + (-2)/(4/6). Sort u, i, 4.
u, i, 4
Let y = -23 + 24. Sort y, -1, -10 in descending order.
y, -1, -10
Suppose u - 3 + 1 = -2*d, 0 = -2*u - 2*d + 14. Suppose 3*k + u = k. Let g be k*2/(-4) + -2. Sort 5, 0, g in descending order.
5, g, 0
Let u = -19.2 - -19.7. Put 2/19, -1/2, -4, u in descending order.
u, 2/19, -1/2, -4
Suppose 4*s - 1 - 7 = 0. Let m = -0.8 - 2.2. Put -0.4, s, m in decreasing order.
s, -0.4, m
Suppose 0 = p - 5. Suppose -11 = 2*s + 5*h, 0*s - 3*h - p = 2*s. Let i be 6*1*s/(-3). Sort 1, i, -1 in increasing order.
i, -1, 1
Suppose v + 19 = -5*h, 0 = 4*h - 5*v - 11 + 32. Put h, 8, -3 in increasing order.
h, -3, 8
Let z(s) = -s**2 - 4*s - 1. Let p be z(-4). Let x(w) = 4*w**2 + 2*w + 1. Let u be x(p). Let v = -4 + 9. Sort -3, u, v in descending order.
v, u, -3
Suppose -m - 6 = 2*h, -m - 4*h = 2*m + 14. Sort -0.2, 6/7, m in decreasing order.
6/7, -0.2, m
Let z be -1 - (6/(-7) + 0). Let a be (-90)/24*(-4)/(-10). Put z, -0.2, a in descending order.
z, -0.2, a
Let d(n) = -n**2 + 5*n + 4. Let v be d(5). Let b = 0.9 - 1.4. Sort b, v, 0 in descending order.
v, 0, b
Let p = 4 + -6. Suppose -3*t + 5 = -2*r + 19, -5*r + 26 = -3*t. Suppose 2*x + l = -4*l + 9, -x + 6 = r*l. Sort p, 1, x in descending order.
x, 1, p
Suppose 4 + 0 = 2*g. Suppose 2*p + g = -2. Put -3, p, -4 in decreasing order.
p, -3, -4
Let n be (2 - 0)*(-361)/38. Sort 1, -1/6, n in increasing order.
n, -1/6, 1
Let t be (3/(-2))/(98/(-28)). Suppose -4*d + 15 = d. Put -5/3, d, t in decreasing order.
d, t, -5/3
Let a(j) = -j**3 - 5*j**2 - j - 6. Let h be a(-5). Sort 18, h, -4 in increasing order.
-4, h, 18
Let o(i) = i - 7. Let x be o(10). Suppose x*j - 36 = -j. Suppose j = 2*k - 5*k. Sort k, 5, -4 in increasing order.
-4, k, 5
Let o = -352309/12 + 29523. Let p = -1735/6 + o. Let q = p - -126. Put -2/15, -0.1, q in descending order.
q, -0.1, -2/15
Suppose -h = 21 - 25. Suppose 4*m - 1 + 3 = 2*r, 3 = 3*r - 4*m. Let z be (-1)/4 - 21/(-4). Put r, h, z in decreasing order.
z, h, r
Let y(a) = a - 2. Suppose q + 0*q = -6. Let j be y(q). Sort -4, -3, j in descending order.
-3, -4, j
Let y be (-33)/(-5) + (-14)/(-35). Sort -4, -1, y, -5 in increasing order.
-5, -4, -1, y
Let i(f) = -f**3 - 7*f**2. Let s be i(-7). Suppose s*p + 5*u = -p + 26, -3*u = 4*p - 19. Put p, 0, -5 in increasing order.
-5, 0, p
Let n(q) = -4*q - 17. Let x be n(-3). Sort x, -2, 2, 15 in increasing order.
x, -2, 2, 15
Let r = 980/9 + -109. Sort r, -0.1, -0.5 in increasing order.
-0.5, r, -0.1
Let y be (2/4)/(11/22). Let f = 3 + 2. Sort 2, y, f.
y, 2, f
Let r = -3 - -9. Let d = r + -5. Sort 0, d, 2 in ascending order.
0, d, 2
Let c = -0.1 - 0.9. Let v = 5 - 0. Sort c, v, -0.01 in increasing order.
c, -0.01, v
Suppose 0 = 4*b + b. Suppose b = -f + 5 - 6. Put -2, f, 0 in ascending order.
-2, f, 0
Let v be (-2)/4*2*2. Put v, -1, 7 in increasing order.
v, -1, 7
Let y = 6 + -7. Put 1, y, -5 in descending order.
1, y, -5
Let m(t) = t**2 - 2*t - 2. Let y be m(0). Put -1, y, 9 in increasing order.
y, -1, 9
Let q be (-9)/6 - (-39)/6. Suppose q*f = 2*f - 9. Put -4, -0.1, f in descending order.
-0.1, f, -4
Let l(v) = v**3 - 6*v**2 + 5*v. Let s be l(5). Put -5, 2, s, 3 in decreasing order.
3, 2, s, -5
Let x = 6 - 4. Suppose -f = -1 + x. Sort 3, f, 5 in increasing order.
f, 3, 5
Let v = 10 + -15. Sort 5, 0, v in ascending order.
v, 0, 5
Suppose -4*g + 24 = -6*g. Let t be g/55 - (-14)/35. Sort 0.2, t, 0.5 in ascending order.
t, 0.2, 0.5
Let a be ((-2)/(-1))/(-6 + 2). Let l = -0.3 - -0.2. Sort l, 0.5, a in increasing order.
a, l, 0.5
Let b = -6 + 6.1. Let h = 10.77 + -11. Let n = -0.07 + h. Sort b, -3/4, n in increasing order.
-3/4, n, b
Let i = 0.36 - 3.96. Let b = 0.4 - i. Let u be (2 - 57/27)/1. Sort u, b, 4/3 in ascending order.
u, 4/3, b
Let t(r) = r**3 - 3*r**2 - 7*r + 5. Let j be t(4). Let x = j + 12. Let k(c) = c**3 - 4*c**2 - 2*c + 3. Let n be k(4). Sort 3, x, n in ascending order.
n, 3, x
Let j(m) = -m**3 + m**2 + 5*m + 3. Let t be j(3). Put t, 4, 2 in decreasing order.
4, 2, t
Suppose -5 + 2 = -3*u. Let t(n) = -n**2 + 4*n - 1. Let o be t(2). Suppose l = -l - 2*b - 16, -l = o*b + 14. Put l, -1, u in ascending order.
l, -1, u
Let u = 0 + 1. Suppose -m + 2*r + 6 = 0, -2*m + 9 = 3*m - 3*r. Let b = -2 - m. Put u, b, -4 in descending order.
u, b, -4
Let v be -10*1/(-2)*3. Suppose -v = g - 4*s, -6 = -7*g + 4*g - 5*s. Put g, 3, 0 in ascending order.
g, 0, 3
Let s = -596423 + 217098135/364. Let m = s + -1/52. Sort 4, m, -0.2.
-0.2, m, 4
Let o = 0.94 - -0.06. Suppose -10 = -0*u + 2*u. Sort -1/2, o, u in decreasing order.
o, -1/2, u
Let a be (-6)/4 + (-4)/8. Let t = 1 - a. Sort -3, t, -1 in decreasing order.
t, -1, -3
Let g = 1.5 - 2. Let s = -0.1 + g. Let w = -0.1 - s. Put -4, w, -0.2 in decreasing order.
w, -0.2, -4
Let c = -4 - -7. Let d(q) = -q**3 - 4*q**2 + 7*q + 11. Let r be d(-5). Sort -4, r, c.
-4, r, c
Let j = -45 - -36. Sort j, -3, 3 in descending order.
3, -3, j
Let d = -0.13 - 6.17. Let v = d - -6. Put v, 0.5, 0.3 in ascending order.
v, 0.3, 0.5
Let b = 1 - 0. Let r = b - 2. Sort 0.2, -4/7, r in decreasing order.
0.2, -4/7, r
Let s(k) = 4*k - 9. Let u be s(2). Suppose -4*r - 20 = -5*p + 4, 2*p = 4*r + 12. Sort p, u, 3 in ascending order.
u, 3, p
Let g be (-3)/4 - (-1)/1. Let m be 1/3*(-9)/6. Sort m, g, 0.4 in descending order.
0.4, g, m
Let k(n) = -n**2 - 4*n + 7. Let u be k(-6). Let g = -1.7 + 9.7. Let x = g + -11. Put x, -3/7, u in ascending order.
u, x, -3/7
Suppose 0*w + 3*o = 4*w + 31, 5*w = 2*o - 30. Sort -5, 3, w.
-5, w, 3
Let x be 3/4*2*-38. Let c = 225/4 + x. Suppose 9*q - 36 = 9. Sort c, q, -5/3 in descending order.
q, c, -5/3
Suppose z = -4*c + 4*z + 7, 5*c - 3*z - 5 = 0. Sort -3, 2, c, 11.
-3, c, 2, 11
Let b = 19 - 15. Put b, -4/5, 0.4 in descending order.
b, 0.4, -4/5
Let o = 19 - 10. Suppose 5*l = -o - 6. Let s be 1/(-3)*l - -1. Sort s, -3, 0 in descending order.
s, 0, -3
Let z = 10 - 10. Let q = z - -0.3. Sort 0.5, -2/17, q in decreasing order.
0.5, q, -2/17
Let o = -2.36 + 2.18. Put o, 1, 0 in descending order.
1, 0, o
Let v = 15.7 + 2.3. Let c = v + -13. Suppose 4*y - 5*y - 3 = 0. Sort 0.5, y, c.
y, 0.5, c
Suppose 2*t - 16 = 5*b - 8*b, -2*b - 1 = -t. Suppose 6 = -4*h - t*a, -4*h - 2 = 3*a - 0. Put -5, h, -4 in decreasing order.
h, -4, -5
Let g(v)