. Put 0, -4/7, a in increasing order.
-4/7, a, 0
Let m be (-1)/(((-2)/6)/1). Suppose -3*c + 18 = m. Suppose -7 = c*f - 32. Sort 2, f, 0 in ascending order.
0, 2, f
Suppose -2*v - 6 = 8. Let h be (6 - 3)/(-1) - -5. Let q = h + v. Sort -1, q, -2 in decreasing order.
-1, -2, q
Let o = -13/2 + 7. Let i = 10 - 8. Sort o, i, -1/4 in decreasing order.
i, o, -1/4
Let x = 31 + -28. Suppose -6*n - 9 = -y - n, 5*n = -2*y - 12. Put y, x, 5 in increasing order.
y, x, 5
Let o = -39 + 35. Put o, -5, -1 in ascending order.
-5, o, -1
Let r be (-2)/5 - (-1)/5. Put 0.03, 2/25, r in decreasing order.
2/25, 0.03, r
Suppose 0 = 5*b - 15 + 5. Let j be 6/27 + (-20)/9. Put j, b, 4 in increasing order.
j, b, 4
Let i = 43.13 - 2.23. Let w = 35 - i. Let o = w - -0.9. Put o, -1, 0.5 in decreasing order.
0.5, -1, o
Let z = 125 - 122. Put -0.2, z, -11 in ascending order.
-11, -0.2, z
Let y(a) = 8*a**3 - 12*a**2 + 6*a - 4. Let u(d) = -7*d**3 + 11*d**2 - 6*d + 4. Let g(m) = 7*u(m) + 6*y(m). Let f be g(4). Sort f, 1, -3 in decreasing order.
1, -3, f
Let f = 4/19 - -41/76. Sort 5, f, 0.3 in descending order.
5, f, 0.3
Let f(o) = 0*o + 2 + 7 - o. Let p be f(10). Sort -2, 1, p in ascending order.
-2, p, 1
Let o be (9/(-6))/((-99)/12). Put o, 4, -1/2 in ascending order.
-1/2, o, 4
Let m(k) = -3*k + 6. Let t be m(-6). Let x = t + -26. Suppose -3*w - 22 = 5*l, 0*l + 3*w + 12 = -3*l. Put -3, l, x in decreasing order.
x, -3, l
Suppose -2*l + 5*l = -12. Sort l, 3, -3 in increasing order.
l, -3, 3
Let q = -3.2 - -3.4. Let b = 5 + -3. Let m be b*-1*(-2)/(-4). Sort m, q, -3 in decreasing order.
q, m, -3
Suppose 5*i + 2 = 6*i. Put 0.5, 5, i in descending order.
5, i, 0.5
Let a = 124 - 123. Sort 47, -5, a in descending order.
47, a, -5
Suppose 2*f = -0*f - 5*l - 26, 5*f = 5*l + 5. Sort f, 5, -4.
-4, f, 5
Let y(g) = g. Let f be y(-1). Let l be 3*f/(-15)*5. Sort 2, l, 5 in descending order.
5, 2, l
Suppose -2*i = i - 9. Sort -5, 22, i in increasing order.
-5, i, 22
Let q = 0.03 + 0.01. Let c = q - 2.04. Let x be (-16)/90 + 8/20. Put c, 0.4, x in increasing order.
c, x, 0.4
Let v be (-3)/(-6)*((-3)/(-3) - 3). Sort -0.05, v, -2/15.
v, -2/15, -0.05
Suppose -c - 3*r - 15 = 0, 2*c + 52 = -2*c - 4*r. Let h = -8 - c. Let v be 2/(h/2 - -3). Sort 5, v, -5 in ascending order.
-5, v, 5
Let g = -0.07 + -0.93. Let x = 0.5 + g. Put -1/6, x, -2/13 in descending order.
-2/13, -1/6, x
Let s be 16/12*(5 + -2). Suppose 3*z - 4 - 4 = s*r, r - 3 = 2*z. Sort z, -3/7, -0.2.
z, -3/7, -0.2
Suppose 0 = -3*s - 0*s. Put 3, 2, s in decreasing order.
3, 2, s
Let j = 7 + -2. Suppose -j*z + 488 = -32. Let v = -2182/21 + z. Sort 0, v, 1/7 in ascending order.
0, v, 1/7
Let k = -11.27 - -0.27. Let d = 10.9 + k. Put 0, d, -0.5 in decreasing order.
0, d, -0.5
Let d = 17.8 + -18. Let b = d + 0. Let h = 2 - 1.5. Sort b, -4, h in descending order.
h, b, -4
Let u = 6 - 2. Sort 0.1, 3/4, u in descending order.
u, 3/4, 0.1
Let a be 6/15 + 23/(-20). Let m = 463/6 - 77. Let t = 41/5 - 497/60. Put a, m, t in descending order.
m, t, a
Suppose -2*k - 3*q = -12, k + 0 = 2*q - 8. Sort 2, k, 4 in ascending order.
k, 2, 4
Suppose 0*c = 4*c, -2*v - 5*c - 6 = 0. Suppose -2*k - 3*p + 3 = 0, -42 = -3*k + 6*p - 3*p. Let n(t) = t - 6. Let i be n(k). Put v, i, 1 in decreasing order.
i, 1, v
Suppose 3*a - 5*p + 20 = -2*a, -5*a - 3*p = -12. Let i(c) = c**3 - c**2 - c - 4. Let j be i(a). Put -0.1, j, 1 in increasing order.
j, -0.1, 1
Let a(u) = -u**2 - 15*u - 3. Let b be a(-15). Let w(g) = g**2 - 2*g - 1. Let l be w(-1). Suppose 0 = 4*y + 4*o + 24, o + 0 = -l. Put b, 5, y in ascending order.
y, b, 5
Let n(l) = -2*l**2 + 26*l + 5. Let t be n(13). Put 1, 0.4, t, -4 in descending order.
t, 1, 0.4, -4
Let l(c) = 17*c - 53. Let f be l(3). Sort -1, f, 4, 33 in descending order.
33, 4, -1, f
Let r = -0.4 - 0.5. Let t = r - -0.5. Sort -4, t, 0.1 in decreasing order.
0.1, t, -4
Suppose -11 = 2*g - 5*s - 2, -5*g - 2*s = -50. Let b(l) = l**2 - 3*l - 7. Let u be b(5). Suppose g*i = u*i - 15. Sort i, -5, 2/5 in descending order.
2/5, i, -5
Let o = 38 - 25. Suppose -o - 6 = n - 3*v, 21 = n + 5*v. Sort -5, n, 9 in ascending order.
-5, n, 9
Suppose 6*b - 36 = 3*b. Let o be 4*(-2)/b*-3. Suppose 12 = 2*g + o*g. Sort g, 2, -4.
-4, 2, g
Suppose -4*d = -2*f - 16, -2*f + 3 = -2*d + 15. Put -5, d, 3 in ascending order.
-5, d, 3
Let n be (9/((-18)/(-8)))/(-1) + 4. Sort 1, 6, n, 4.
n, 1, 4, 6
Let k = 6 - 6. Let o = 0.4 - 0.6. Let t = 0.6 + -1.6. Put t, k, o in increasing order.
t, o, k
Suppose -4*z + v + 1 = -7*z, -v = 2*z. Let k = -0.3 - -0.2. Put z, 2/21, k in ascending order.
z, k, 2/21
Let n be 3/9 + 11/3. Let a(b) = -2*b + 4. Let v be a(n). Let h(g) = -2*g**3 + g**2 - 1. Let j be h(-1). Sort -2, j, v in increasing order.
v, -2, j
Let y = 0.01 + -0.31. Put 0.1, y, 0.2, -4/7 in descending order.
0.2, 0.1, y, -4/7
Let b = -0.13 + 0.06. Let k = b - 2.93. Sort k, 3/4, 1/2 in increasing order.
k, 1/2, 3/4
Let j be (2/5)/(3/30). Let q be j/(-3)*-3 + -2. Put q, -1, -3 in descending order.
q, -1, -3
Let d = -32 - -17. Let l = -13 - d. Sort 1, 4, l in descending order.
4, l, 1
Let z = 45 + -45.06. Sort -2, -5, z, 0.4.
-5, -2, z, 0.4
Suppose -3*t + 6 = -6. Suppose -2*y + 7*y + 30 = 0. Let w be ((y - 1) + 3)*1. Sort w, t, -3 in descending order.
t, -3, w
Let o = -3 + -12. Let i = o + 20. Sort -4/7, -5, i in increasing order.
-5, -4/7, i
Let o be 3/21*-2*(1 + -8). Let w(n) = -n**2 - n. Let b be w(-1). Put o, b, 4 in ascending order.
b, o, 4
Suppose -3*d = d + 4. Let r(h) = -h**3 - h - 4. Let v be r(0). Sort -5, d, v in descending order.
d, v, -5
Suppose -2*y - 5*g = 2*y, -3*y = -3*g. Let k(w) = -w**3 + 29*w**2 - 2*w + 53. Let j be k(29). Put y, 5, j in descending order.
5, y, j
Suppose 6*a = a - 5*y + 5, y - 1 = -3*a. Sort -1, -2, a in decreasing order.
a, -1, -2
Let v be (-40)/140 + 2/14. Sort 0, v, 2/31.
v, 0, 2/31
Let k = -238/5 - -48. Put -1/5, -0.1, k in decreasing order.
k, -0.1, -1/5
Let p = 0 - -1. Let j = p + -1.4. Let f = 1 - 1.2. Sort j, 2, f in ascending order.
j, f, 2
Suppose 0 = -0*i + 3*i. Let n be (i - -1)*(-9)/(-3). Let h = 1 - 2. Sort h, n, 5 in ascending order.
h, n, 5
Let q = -17 - -15. Put -5, 4, q in increasing order.
-5, q, 4
Let l = -33 + 28. Sort -1, l, -3.
l, -3, -1
Suppose 5*q - 20 = -z, z = -0*z + 5*q - 10. Sort 4, -6, -0.3, z in ascending order.
-6, -0.3, 4, z
Let m be ((-4)/6)/((-8)/(-20)). Let d be 3 - (3 - (-2)/(-1)). Put d, -2, m in increasing order.
-2, m, d
Let m(w) = 2*w**2 + 15*w - 7. Let n be m(-8). Put 2, -4, -10, n in descending order.
2, n, -4, -10
Suppose -3*c + 2*c = -6. Suppose 0 = -4*u + 3*v + 9, 2*v + 0*v + c = 3*u. Sort 3, -5, u.
-5, u, 3
Suppose 2*a = 2*i, -3 = -2*i - 5*a + 25. Suppose -y = -i*y + 15. Sort -5, y, -2 in decreasing order.
y, -2, -5
Let z be 2*(0 + 9/(-6)). Put 3, -5/3, 0.1, z in descending order.
3, 0.1, -5/3, z
Let d(m) be the third derivative of m**5/60 + m**4/3 + 3*m**3/2 + 3*m**2. Let s be d(-7). Sort -3, s, 1 in increasing order.
-3, 1, s
Let k = 3 + -5. Put k, 1, 7 in decreasing order.
7, 1, k
Let n = 2 + -3. Let v = -1.5 - n. Let z = -0.1 - -0.3. Sort v, z, -4 in descending order.
z, v, -4
Suppose -2*o - 2*x + 13 = 5, -o - 8 = -3*x. Let m = -35 + 33. Sort o, 0, m in descending order.
o, 0, m
Let t be ((-46)/7 - -4) + 12/21. Suppose f - 2*c = -5, -f + 5*c = -3*f + 17. Sort f, 4, t in increasing order.
t, f, 4
Let u(c) = -c**2 + c + 4. Let t be u(0). Sort -2, t, -4 in descending order.
t, -2, -4
Suppose 0 = -0*d + 2*d - 8. Suppose o - 13 = -d*i, 11 = 4*o - 2*i - 5. Sort o, 4, -4 in decreasing order.
o, 4, -4
Let h be ((-2)/8)/(4/8). Sort 1/4, 0.2, h in descending order.
1/4, 0.2, h
Let m = 18 + -21. Put m, -0.5, 0.4 in descending order.
0.4, -0.5, m
Let c be (-5)/(-25) - 62/10. Let p = -3 - c. Sort p, 0, -4 in decreasing order.
p, 0, -4
Suppose 1 = -3*q + 2*q + 3*k, 0 = -5*q - 2*k + 29. Sort 2, q, -5 in increasing order.
-5, 2, q
Let x be -2 + 1 - 2*-3. Let b(a) = -a**3 + 6*a**2 + 7*a. Suppose 7*n - 3*n - 5*c = 13, 20 = 5*n - 5*c. Let m be b(n). Sort m, x, -3 in decreasing order.
x, m, -3
Suppose -3*v - 2*m + 10 = -7*v, 0 = 4*m - 20. Sort v, 1, -1 in decreasing order.
1, v, -1
Let d = -4 - -3.97. Sort 2, -5, d.
-5, d, 2
Let q be (286/(-16))/(238/(-4)). Let r = q + -1/68. Put r, -1, 0.3 in increasing order.
-1, r, 