Sort -8, v, m.
-8, m, v
Let n = 1 + -1.2. Let h = 4.3 - -0.7. Sort n, h, 2/17.
n, 2/17, h
Let n be ((-5)/3*18/(-15))/1. Sort n, 4, -7, -5 in ascending order.
-7, -5, n, 4
Let n = 1.13 - 0.13. Let k = n + 0. Let w = 4.99 - -0.01. Put -5/4, w, k in descending order.
w, k, -5/4
Let q = 83 - 80. Sort 0, q, -5, 6 in descending order.
6, q, 0, -5
Suppose 5*j = 7*j. Put j, 5, -2 in decreasing order.
5, j, -2
Suppose -9*d + 16 = -13*d. Put 4, d, 21, 0 in decreasing order.
21, 4, 0, d
Let f = 87/2 + -45. Put 1, -1/7, f in decreasing order.
1, -1/7, f
Let q = 8 - 4. Let r be -4 + (2 - (-3 + q)). Let c be ((-4)/30)/(r/(-9)). Sort 2, c, 0 in increasing order.
c, 0, 2
Let m = -3.5 + 3. Let h = 0.2 - 3.2. Sort h, m, 1/10 in ascending order.
h, m, 1/10
Let p be ((-4)/6)/((-6)/(-45)). Suppose -5*x - 4*w = -9*w + 5, 0 = 3*x + w + 7. Let y = x - -2. Put p, 2, y in decreasing order.
2, y, p
Let u be (-9)/8 + (-15)/(-15). Let v = 0.1 + 0.1. Put -0.3, v, u in ascending order.
-0.3, u, v
Let u be 8/36 + (-176)/(-18) + -2. Sort 1, u, -5 in descending order.
u, 1, -5
Let x be -1*1*(-6)/33. Suppose -6*b = -13*b - 7. Sort b, 0.2, x.
b, x, 0.2
Let v be (-38)/(-6) + 2/(-6). Let t(y) = 3*y - 8. Let f be t(v). Let g be (f + 0)/(-2 + 4). Sort -5, g, -1 in ascending order.
-5, -1, g
Suppose 4 = -4*t + 3*t. Sort 3, -3, t in ascending order.
t, -3, 3
Let l = 88 + -84. Suppose 2*r + 2 + 0 = 0. Sort r, l, -0.3 in increasing order.
r, -0.3, l
Suppose -4*m = -6*m + 6. Put m, 2/3, 0.5 in ascending order.
0.5, 2/3, m
Let k be (-806)/(-28) - 4/14. Let a = 393/14 - k. Sort a, -0.3, 0.
a, -0.3, 0
Suppose 23*q - 9*q = 70. Sort 4, q, -4, 2/67.
-4, 2/67, 4, q
Suppose -4*u = -7 - 13. Let p = 0 - 1. Put u, p, 3 in decreasing order.
u, 3, p
Let n = 11 + -17. Let v(p) = -p - 3. Let c be v(n). Let t = c - 0. Sort 1, t, 5.
1, t, 5
Suppose -4*z + 10 = z. Put 5, -3, z in decreasing order.
5, z, -3
Suppose 6 = 2*w + 6. Put -4, -1, 1, w in ascending order.
-4, -1, w, 1
Let r = -4 + 1. Let h = r - -1. Suppose -2*q - 2 + 6 = -2*s, -2*s + q - 1 = 0. Put 3, h, s in decreasing order.
3, s, h
Let y = 108.1 - 108. Put y, -0.01, -0.2 in descending order.
y, -0.01, -0.2
Suppose -5 + 7 = -j. Suppose -4*q + 2*w = -2, 4*w = 3*q + 7 - 1. Let i be (-4)/5 + 168/35. Sort q, j, i in increasing order.
j, q, i
Let g = 38 - 23. Suppose -7*f = -2*f + g. Suppose 3*a + r + 11 = -r, 0 = 2*a - 5*r + 20. Sort 4, a, f in decreasing order.
4, f, a
Let y = -3.92 + 4. Let z = y - 0.03. Put 0.3, 1/2, z in increasing order.
z, 0.3, 1/2
Let g(m) = -m - 2. Let n be g(-1). Put 7, n, 1 in ascending order.
n, 1, 7
Let c = 0.7 + 0.3. Let w = -0.7 + c. Let a be (0 - (-6)/3)/(20/6). Sort 2/5, a, w.
w, 2/5, a
Suppose 5*k = -5*v + 10, -2*v + v + 3*k - 6 = 0. Suppose i + 1 = -2*y, 0 = -i + y - v + 2. Sort i, -2, -5 in decreasing order.
i, -2, -5
Let q = 8.93 + -9. Let m = 0.43 - q. Put 3, m, 1/3 in decreasing order.
3, m, 1/3
Let s be 2/(-16) + 75/24. Suppose -g + 3*x = 18, 0 = -5*g + s*x - 6 - 24. Suppose -4*i = 4*n - 4, -4*n - 11 = -3*i + n. Put i, -1, g in ascending order.
g, -1, i
Suppose -2*y = f - 10, 3*y - 17 = -2*f - 0*f. Suppose -3*r = 10 + 2. Sort f, r, 5.
r, f, 5
Suppose -3*m + 6*m + 10 = 5*d, -5*d + 50 = 5*m. Let z(y) = y**2 - 11*y + 6. Let a be z(m). Let i be 2/5 + a/(-15). Put i, 5, 3 in increasing order.
i, 3, 5
Suppose c = -2*c - 9. Put c, 2, -5 in decreasing order.
2, c, -5
Let s be 1 - (20/(-14))/(-2). Let a = 0 + -0.5. Put s, -4, a in decreasing order.
s, a, -4
Suppose -4*z - 5 = -p + 1, 0 = -p + 2*z + 4. Let b be (2 - 2) + p + 0. Suppose 2*u = -2*s, -u - 8 = b*u - s. Put -3, 4, u in increasing order.
-3, u, 4
Let z = 0.089 - 0.099. Sort 0, -1/6, -7, z.
-7, -1/6, z, 0
Let q(t) = -t + 11. Let n be q(13). Sort -0.3, n, 1/4 in descending order.
1/4, -0.3, n
Suppose 2*h - 13 = 5*r + 35, 0 = -r. Suppose 0 = -3*o - o + h. Sort 3, -0.4, o in descending order.
o, 3, -0.4
Let c = -7.08 + 7. Let w = c - 0.02. Sort 0.5, 4/3, w in increasing order.
w, 0.5, 4/3
Suppose -7*z - 60 = 24. Put z, 3, -2 in increasing order.
z, -2, 3
Let v = -2 + 2.03. Let k = 0.47 + v. Sort 0.4, 0.3, k in decreasing order.
k, 0.4, 0.3
Suppose -5*w - 30 = 3*n, -5*n - 32 = 2*w - 1. Let s = 1 + -0.7. Sort 5, s, w in ascending order.
w, s, 5
Let i be ((-3)/(-2))/(3/(-4)). Let s = -2 - -7. Let p be 4 + (-98)/21 + (-4)/(-6). Sort p, s, i in decreasing order.
s, p, i
Let o = -5 + 4.7. Sort -1/3, -0.2, o in decreasing order.
-0.2, o, -1/3
Let h = -0.26 - -0.56. Sort 3, -5, h in ascending order.
-5, h, 3
Suppose 4 + 2 = 3*a. Let f = 10 + -7. Let r be 17/102 + ((-5)/(-6))/1. Put r, f, a in decreasing order.
f, a, r
Let f = 169/2 - 86. Put -0.3, f, 0.3 in increasing order.
f, -0.3, 0.3
Let c = -144/7 + 829/42. Sort 3, c, 0 in descending order.
3, 0, c
Let y = -4/7 - -5/21. Let f = -2 - -1. Sort f, y, 1/3 in decreasing order.
1/3, y, f
Let j = -10 - -7. Put 3, j, -1 in descending order.
3, -1, j
Let a = -0.12 - -5.12. Sort a, 0, -1.5 in ascending order.
-1.5, 0, a
Let i be -3*((-40)/6)/(-5). Let s be (8/10)/(2/60). Suppose -s = 5*o + 1. Sort o, i, 4.
o, i, 4
Let g = -1 + 0. Let p be -2 - (g + 2) - 0. Sort p, 0, 3 in descending order.
3, 0, p
Let x be (-2)/(-1*(-4)/(-8)). Put x, 1, -5 in descending order.
x, 1, -5
Let y = -4 + 9. Let r(v) = -7*v - 1. Let b(k) = -6*k - 1. Let m(x) = y*r(x) - 6*b(x). Let z be m(0). Put z, -4, -1 in increasing order.
-4, -1, z
Suppose -s - 3 = -2*s. Let n(w) = w**3 + 9*w**2 + 7*w - 3. Let c be n(-8). Suppose 24 = -2*j + c*q, 0*j + q = 4*j + 12. Put j, s, -1 in descending order.
s, -1, j
Let f = -175 + 174.3. Put -1, f, 0.02 in increasing order.
-1, f, 0.02
Let q be -1 + 7 + (-162)/24. Sort 0.3, 0.9, q, -5.
-5, q, 0.3, 0.9
Let x(t) = -t + 6*t**2 - 5*t**2 + 1 - 4*t. Let d be x(5). Sort 3, 2, d in increasing order.
d, 2, 3
Let a(r) = 3*r + 1. Let j be a(-1). Suppose -2*v + 47 = 2*m + 3, -2*v - 34 = -m. Let y = m + -24. Put j, 4, y in ascending order.
j, y, 4
Suppose 0*z - z = 1. Put 4, z, -9 in ascending order.
-9, z, 4
Let j be -4*-6*6/16. Let d be (-14)/j + 22/99. Sort 0.4, 0.5, d in descending order.
0.5, 0.4, d
Let p = 0 + 6. Let o be -2 - p/3 - -1. Sort 2, o, 3 in ascending order.
o, 2, 3
Let q be (2/3 - 2) + (-2)/(-6). Sort 4, -6, q, -4.
-6, -4, q, 4
Suppose u - 3 = 2*u - 2*z, 0 = 4*u - 5*z - 3. Suppose u = 2*j + 1. Let h = 1 + -2. Put j, h, 0 in ascending order.
h, 0, j
Let c be ((-75)/(-30))/(2/(-4)). Let y(i) = -i**3 - 5*i**2 + 2*i + 6. Let o be y(c). Sort -3, o, 0.02 in increasing order.
o, -3, 0.02
Let r = 0.26 - 16.26. Let d = 14 + r. Sort 2/17, d, 0.1.
d, 0.1, 2/17
Let j(u) = -u**3 + 3*u**2 + u - 1. Let c be j(2). Suppose 3*h - h + 13 = -t, -15 = c*h - t. Sort -1, -5, h in ascending order.
-5, h, -1
Let q = -35 - -34.7. Let g = 3 + -2.9. Put 3, g, q in decreasing order.
3, g, q
Let j = 7 + -8. Sort j, -2, -4 in ascending order.
-4, -2, j
Let a be 11/(-22) - (-1)/3. Sort 0.5, a, 2/9 in descending order.
0.5, 2/9, a
Let b = -21 - -16. Sort 0.5, 0.1, b in increasing order.
b, 0.1, 0.5
Let g = 8 - 5. Suppose 2*y = -g*y. Let o(f) = -f**2 - 4*f + 11. Let k be o(-6). Sort k, y, 5 in decreasing order.
5, y, k
Let x = 16 + -13. Let w = -8 - -15. Suppose -3*s - w = 5. Sort s, x, 2 in increasing order.
s, 2, x
Let o = -0.033 - 6.767. Let k = o - -9.5. Let a = -3 + k. Sort -2, 0.1, a.
-2, a, 0.1
Let h = -7 + 6.6. Let k = 0.08 - 4.08. Sort k, h, -0.1.
k, h, -0.1
Let g(c) = c + 8. Let x be g(-11). Suppose 2*o + 11 - 3 = 0. Let v = 5 + -10. Put v, x, o in decreasing order.
x, o, v
Suppose c + 6 = -1454. Let d = c - -18970/13. Let w = d + 43/39. Sort 2, w, -5.
-5, w, 2
Let c = -13 + 15. Put 3, 4, c in descending order.
4, 3, c
Let r be (-1 - -21 - -3) + 2. Let v = -25 + r. Sort 3, -5, v in increasing order.
-5, v, 3
Let j be ((-48)/20 - -2)*20/3. Sort 3/5, j, -0.1 in decreasing order.
3/5, -0.1, j
Let r = -5 + 0. Let t(q) = q. Let g be t(0). Put g, -2, r in ascending order.
r, -2, g
Let s be 19019/1452 + (-4)/6. Let w = -49/4 + s. Put 3/5, w, 0 in decreasing order.
3/5, w, 0
Let k be (-4)/((-6)/(-3)) - 6. Let c be ((-8)/7)/(k/28). Suppose 0 = 5*z - 3*j + 25, -5*z - 1 - 4 = j. Put -5, c, z in descending order.
c, z, -5
Let v be (-4)/(-798) + 4/12. Let m = v + -1/19. Let x = 0.3 - 0.5. Sort -2, m, x.
-2, x, m
Let h = -1.18 + -0.12. Let n = h 