 Put -0.1, h, n in descending order.
-0.1, n, h
Let f = 13 - 10. Let g = -0.6 - -0.6. Sort g, 1/5, f.
g, 1/5, f
Suppose 0 = -4*k + 4 - 0. Let j = 0.4 - 0.4. Let b = 42.6 + -43. Put b, j, k in descending order.
k, j, b
Let q = 112 - 66. Let w be q/(-12) - 7/42. Sort 0, w, 5 in increasing order.
w, 0, 5
Let d = 0.3 - -0.7. Suppose -18 = -4*s + 14. Let g be (-34)/s + (-1 - -5). Sort -3, g, d in decreasing order.
d, g, -3
Let x = -1/42 + -9/14. Let z = 1 + -1. Put z, 0.4, x in increasing order.
x, z, 0.4
Let x = 0.7 + -1.2. Let s = x - -1. Let f be 1 - (0 - -2) - -2. Sort s, f, -1.
-1, s, f
Let h = -5.45 + 0.45. Let y = -2/23 + 79/115. Let m = -37/3 - -12. Put y, m, h in increasing order.
h, m, y
Let l = 0.16 - -0.08. Let r = l - -2.76. Sort r, 2, 5 in decreasing order.
5, r, 2
Let d = 658 - 657.9. Let c = -0.2 + -0.3. Sort -2, d, c in decreasing order.
d, c, -2
Suppose 6*s - s - 10 = 0. Let b be s*(-9)/(-12)*2. Suppose -13 = -3*m - q, b*m = -3*q - 0 + 15. Put 3, 1, m in decreasing order.
m, 3, 1
Let p = -3.5 + 3. Let w be 111/(-84) - (-6)/8. Sort w, p, -1 in decreasing order.
p, w, -1
Let s = 9 - 8. Suppose 5*r - 30 = -5. Suppose 0 = -r*a - 4*c + 10, -2*c - 8 = -4*a - 6*c. Sort s, -4, a in decreasing order.
a, s, -4
Let m = -1.13 - -1.2. Let a = 0.85 + -0.48. Let p = a - m. Put 2/13, -4, p in descending order.
p, 2/13, -4
Let c(u) = u. Let p be c(-1). Let r be 6/(-28)*-6 + p. Sort -3/7, r, -0.1 in ascending order.
-3/7, -0.1, r
Let v = -4 + 2. Let r be 1/(-2) + 22/4. Suppose 0 = 3*j - g - 0*g - 12, r*g - 12 = -3*j. Put j, v, -5 in ascending order.
-5, v, j
Let v be ((-8)/3)/(28/42). Sort 5, -3, v in decreasing order.
5, -3, v
Let b(o) = -4*o - 16. Let r be b(-4). Let h = -11 + 6. Let g be 18/(-5) - (-2)/h. Sort r, g, 2.
g, r, 2
Suppose 3*x + 12 = -3*t, -5*x = t + 2*t + 18. Let s = 4 - 8. Sort -2, s, x in decreasing order.
-2, x, s
Let u = 28 + -28. Put 5, u, 0.3 in decreasing order.
5, 0.3, u
Let y be (-2)/((2 - 2) + 3/(-6)). Suppose -7*h + 2*h - 10 = 0. Put 9, y, h in ascending order.
h, y, 9
Let b be 4/26 + ((-210)/(-702))/(-7). Put b, -0.1, -4 in ascending order.
-4, -0.1, b
Let a be (-1 - 0) + (-813)/(-18). Let w = a - 44. Put -5, -0.3, w in ascending order.
-5, -0.3, w
Let q be -1 - -2*(-4 + 12). Let p = 14 - q. Put p, 3, 4 in increasing order.
p, 3, 4
Suppose 0 = -3*q + w - 6, -w - 12 = -5*w. Let c = q - -4. Put c, -2, 1 in ascending order.
-2, 1, c
Let r be (-5)/1*8/(-10). Put -1, r, -5 in descending order.
r, -1, -5
Suppose -9*p = -3*p. Sort p, 1, -1, -4.
-4, -1, p, 1
Suppose -2*j - 5*z - 21 = -j, 3*j = z + 17. Sort j, -1, -4.
-4, -1, j
Suppose 3*h + 0*h + 5 = -2*s, -4*h + s = 25. Sort -8, h, 4.
-8, h, 4
Let i = 3/5 + -17/20. Suppose 0*f + 2*f - 5*h = 27, -f + 15 = -3*h. Let v be (-1)/((-3)/f*10). Sort v, i, -4/7 in decreasing order.
v, i, -4/7
Suppose 2*h + 118 = 3*t - 154, -10 = 5*t. Let o = h + 1669/12. Sort o, -0.1, -2/13 in ascending order.
-2/13, -0.1, o
Let b(r) be the first derivative of r**4/4 + 4*r**3/3 - 5*r**2/2 + 2*r - 1. Let o be b(-5). Let p(y) = 2*y**2 + 14*y + 17. Let x be p(-6). Sort 4, x, o.
o, 4, x
Let c = 14.9 - 15. Sort 1/2, 1/7, c.
c, 1/7, 1/2
Let c = -26 + 11. Let a = c - -16. Sort -4, a, -8.
-8, -4, a
Let i = -9 + 9. Let c be -5 + 5 + (i - -3). Suppose -l = -c*v + 6, -3*v - 3*l = -0*v + 6. Sort -5, v, 5 in descending order.
5, v, -5
Suppose 5 = b - 6*b. Let t = -21 - -20.5. Sort t, b, -1/4 in descending order.
-1/4, t, b
Let n be 11/22 - 11/2. Sort 4, 0.2, n in decreasing order.
4, 0.2, n
Let l(v) = 2*v**2 - 3*v + 2. Let x be l(2). Suppose 0 = 5*t - 2*o + 27, -3*t + 5*o = -x*t. Sort t, 5, -1 in descending order.
5, -1, t
Let p = -1.6 - -1.5. Let h = -0.067 - -3.027. Let z = -0.04 - h. Sort -0.2, z, p.
z, -0.2, p
Let x = 3 + -5/2. Let f(d) = -d + 4. Let w be f(0). Let v(s) = -s + 7. Let g be v(8). Sort x, w, g.
g, x, w
Let l = 42.4 + -50. Let z = l - -8. Sort 0, z, -0.4 in descending order.
z, 0, -0.4
Let f = 0.1227 - 5.1527. Let g = f - -0.03. Put g, -5/4, 2/3 in descending order.
2/3, -5/4, g
Let s = 29 + -141/5. Let r = 3/10 - -1/30. Sort r, -3, s in decreasing order.
s, r, -3
Let q be 2 + 1 + -5 + 3. Put -1, 3, q in increasing order.
-1, q, 3
Let x(v) = v**2 - 8*v. Let r be x(8). Suppose -s - 4*s - 5 = r. Put 5, s, 2 in decreasing order.
5, 2, s
Let x be (1 + (-1)/2)*2. Let q = -11.6 - -11.59. Sort q, 5, x.
q, x, 5
Let q = 20.4 + -27. Let n = q - -6. Let d = n + 1. Put 1/2, d, 5 in ascending order.
d, 1/2, 5
Let o(y) = y**2 - 3*y - 3. Let k be o(3). Suppose 5*i = 5*a + 35, 3*a - 5 = -2*a - 3*i. Let b be 0/1 - 9/9. Put b, k, a in descending order.
b, a, k
Let q(v) = v**3 + 4*v**2 + 5*v + 3. Let f be q(-3). Let t be 4/(-10) + (-21)/(-15). Put f, 6, t in descending order.
6, t, f
Let d = 0.8 + -3.8. Let y = 0.5 - -4.5. Sort 3/5, y, d.
d, 3/5, y
Let n = -1 - -13. Let f = n - 15. Put f, 0.03, -5 in increasing order.
-5, f, 0.03
Suppose 5*s + 2 = -3*v + 4, -v = 2*s - 2. Let i(l) = -l**2 + l + 1. Let q be i(3). Put v, q, 5 in ascending order.
v, q, 5
Let o(l) = -l - 2. Let c be o(-5). Put c, 1/2, -1/6 in decreasing order.
c, 1/2, -1/6
Let b be 3 + (0 - (1 + -1)). Suppose b*u + 4*c + 10 = 5*u, -5*c = -u + 17. Sort -4, u, 3 in decreasing order.
3, u, -4
Let y be 10/15*3/2. Let l = y - -3. Suppose n + n + 2*c - 2 = 0, 4*c + 5 = -n. Sort n, 0, l in descending order.
l, n, 0
Let c(x) be the third derivative of x**5/60 - 3*x**4/8 - x**3/2 + 6*x**2. Let t be c(9). Sort t, 1, 2 in decreasing order.
2, 1, t
Suppose 2*o = 3*r - 9 - 13, 35 = 5*r - 3*o. Suppose 0 = -v + 2*c + 6, 3*c - 3 = -v + 4*c. Suppose -3 = -g - v*g. Sort 2, g, r in decreasing order.
r, g, 2
Let p = -0.35 - -0.31. Let w = -17.64 - -18. Let a = p - w. Sort a, 0, 2 in increasing order.
a, 0, 2
Let r = 12398647/95165 + -1/13595. Let l = r - 130. Let o = 356 - 355.8. Sort l, o, 2/3 in ascending order.
o, l, 2/3
Let j = -1 - -4.6. Let z = 1.4 + j. Put 0.2, -0.01, z in decreasing order.
z, 0.2, -0.01
Suppose 3 = 2*q + 1. Let i = 4.5 + -5. Sort 0.4, i, q.
i, 0.4, q
Let f = 2.85 + 0.35. Let s = -0.7 + -2.3. Let y = f + s. Put -2/7, -5, y in ascending order.
-5, -2/7, y
Suppose f + 1 + 0 = 0. Let l be -1*1 - (-8 - -2 - 0). Sort -2, l, f.
-2, f, l
Let h = 252 - 255. Let g = 0.5 - 0.3. Let q = 0.4 - g. Sort q, -0.1, h in descending order.
q, -0.1, h
Let l(v) = 2*v - 1. Let a be l(9). Let i = -13 + a. Suppose 0 = -m + 2*m - 2*d + 1, -11 = m + 3*d. Sort i, m, -2 in ascending order.
m, -2, i
Let n = -17 - -14. Sort n, 0.4, -0.4 in decreasing order.
0.4, -0.4, n
Let f = 0.4 - -3. Let q = 0.2 + f. Let p = q - -0.4. Put 0.5, p, -0.2 in ascending order.
-0.2, 0.5, p
Suppose -52 = -4*r - 4*g - 40, -2*g = -3*r - 16. Suppose -2*i - 1 - 1 = 0. Let q = 1 + i. Sort r, q, 4.
r, q, 4
Let h = -3 - -5. Let w = 0.01 + -4.01. Put 4, h, w in decreasing order.
4, h, w
Suppose 0 = 4*a - 0*b + b - 12, -5*a = -3*b - 32. Sort -1, -3, a in decreasing order.
a, -1, -3
Let u = -23 - -25. Sort 4, -1/7, u in decreasing order.
4, u, -1/7
Let q(s) = -3*s**2 + 3*s + 2. Let f be q(-1). Let h be 10/(-6)*(-4)/5. Sort h, -3, f in ascending order.
f, -3, h
Suppose 1 + 9 = -2*q. Let f be 69/(-36) + -1 + 3. Let y = f - 5/12. Sort y, -1, q in descending order.
y, -1, q
Let k = -0.11 - -5.11. Let m = 41/15 + -12/5. Sort m, k, -3 in descending order.
k, m, -3
Let d = 3 + -5. Let p = -0.2 - -0.1. Sort d, p, -4 in decreasing order.
p, d, -4
Let w(u) = -u**3 - u**2 + u - 1. Let v be w(-2). Let x(l) = -l**2 - 19*l - 23. Let r be x(-18). Sort r, v, 5 in increasing order.
r, v, 5
Let c = -3.94 - 0.06. Let d = c + 4.2. Let t = -1 - -6. Sort d, t, 1/7 in increasing order.
1/7, d, t
Let o be 1*8/4 - 0. Put o, 1, 4/5 in increasing order.
4/5, 1, o
Let y(x) = -x**2 + x + 1. Let d be y(2). Let l be (33 + (-2)/d)*-1. Let c = -386/11 - l. Sort c, 2/5, -2.
-2, c, 2/5
Let a be (1 - (1 - 3))*11/55. Let v = -0.2 - -0.7. Put -4, v, a in decreasing order.
a, v, -4
Let v = 27 - 72. Let i be v/(-50) - 2/5. Let r = -4 + 2. Sort r, i, -1 in descending order.
i, -1, r
Let b(x) = -x**3 - 4. Let r be b(0). Sort r, 0.2, 0 in decreasing order.
0.2, 0, r
Let b(w) = 75*w + 7. Let j be b(3). Let a = -2554/11 + j. Sort -0.3, a, -4 in descending order.
a, -0.3, -4
Let z = 191 + -319. Let o be z/(-9) + 4/(-18). Suppose 0 = 6*r - 4*r + 8, 5*v