 - 4 = -2*n + 4. Put n, 2, 1 in descending order.
n, 2, 1
Let z = -0.45 + 0.75. Sort 0.2, -0.1, -0.2, z.
-0.2, -0.1, 0.2, z
Let u = 0.5 + -4.5. Let r = -3.815 - 0.085. Let c = u - r. Sort c, 0, 5.
c, 0, 5
Let i(w) = -w + 36. Let b be i(30). Sort 10, 3, b.
3, b, 10
Let m(x) = -2*x**2 + 5*x - 3. Let d be m(1). Sort 1/6, 4, d, 1/7 in ascending order.
d, 1/7, 1/6, 4
Let x = -155/3 - -605/12. Put -1/4, x, -0.2 in descending order.
-0.2, -1/4, x
Let o = 0.1 + 0.1. Suppose -5*c - 4*c = 9. Sort c, 1/7, o.
c, 1/7, o
Suppose -3*g - 9 = -0. Sort -5, 2, g.
-5, g, 2
Suppose 5 + 5 = 2*z - 2*g, 0 = 3*z + 4*g - 8. Put -1, z, 3 in ascending order.
-1, 3, z
Let s(b) = -b**2 - 8*b + 13. Let p be s(-9). Let j be -3*(-2 - -1) - 0. Sort -3, j, p in increasing order.
-3, j, p
Let g = -4 + 0. Let u = -23 - -22.9. Sort u, g, 0.3.
g, u, 0.3
Let p(m) = -m**3 - 9*m**2 + 14*m + 41. Let u be p(-10). Sort -6, 4, 6, u in ascending order.
-6, u, 4, 6
Let h be -3 + 2 - (1 - (0 - 0)). Suppose -f + 3*f + 18 = -2*u, -3*f + u = 11. Sort f, h, 6.
f, h, 6
Let q = 5 - 5.1. Put q, -4, 4 in decreasing order.
4, q, -4
Let k = 14.1 - 14. Let i be (-4)/22 - 12/176. Put k, 5/3, i in ascending order.
i, k, 5/3
Let t be 7/3 + 6/9. Sort -1, -5, t.
-5, -1, t
Let m = -5.1 - -9.1. Let b = 2 + -1.8. Sort -4, b, m.
-4, b, m
Let o = 0 + 0. Put 8, o, 2 in descending order.
8, 2, o
Let j = -3.6 - -4. Let s = -26 + 22. Sort 2/9, j, s in increasing order.
s, 2/9, j
Let o = -7 + 4. Let w(z) = -z**3 + z**2 - z. Let s(x) = 5*x**3 - x**2 + 8*x - 6. Let m(y) = -s(y) - 6*w(y). Let p be m(5). Sort p, 2, o in decreasing order.
2, o, p
Let o be -4 + 182/40 + 1/5. Sort o, -5, -0.32 in ascending order.
-5, -0.32, o
Let b = 42/55 + 2/55. Let t(g) = g**2 + 7*g. Let d be t(-7). Let o be (1 - 8/10)*-2. Put b, d, o in increasing order.
o, d, b
Let d = 10 + 4. Let t = d - 14.1. Sort 1/3, 0.4, t in ascending order.
t, 1/3, 0.4
Suppose -h = 2*s - 24, s + 3*h - 2 = -0*s. Suppose f - 6*c + s = -2*c, c = 2*f. Sort f, 5, -4.
-4, f, 5
Let s = -3 + 2. Suppose h = -h + 4*u + 16, 0 = -h - u + 2. Sort 2, s, h in increasing order.
s, 2, h
Let g = 9 + -5. Let z be (3/(-5))/(1 - 0). Let k = -0.8 + -2.2. Sort k, g, z in increasing order.
k, z, g
Suppose 29 = 4*a + 17. Let b = 0 - -2. Put a, b, -2 in descending order.
a, b, -2
Suppose -5 = -5*z - 5*c, -14 + 48 = 4*z - 2*c. Let o be (-28)/z + 12/18. Suppose 0*a = -3*a + 6. Sort a, o, -3 in descending order.
a, -3, o
Suppose 4*k = 12, -4*f - 15 = -f - 4*k. Suppose 2*v - 2*i + 3*i = 9, 2*v - i = 11. Put v, f, 3 in descending order.
v, 3, f
Let s = 7 - 3. Let a = 41 - 58. Let l = a + 18. Sort l, -0.5, s in descending order.
s, l, -0.5
Let w = -121 + 125. Suppose 2*x + 2*o + 2*o = 2, 5*o = 3*x + 8. Sort 0, x, w in increasing order.
x, 0, w
Let u = 8 + -10. Put u, -1/11, 3/7 in decreasing order.
3/7, -1/11, u
Let v = -1.3 - -1. Let s be 2/(-7) + (-128)/(-252). Sort s, v, -0.5 in descending order.
s, v, -0.5
Let m(z) = -z**2 - 6*z - 9. Let q be m(-5). Put 5/6, 2, q, -5 in increasing order.
-5, q, 5/6, 2
Suppose -3*n = 2*y - 3, 5*n + 3*y = 7 - 1. Suppose n = -0*k - k. Suppose -2*h = 4*p - 10, -5*p + 35 = -h - h. Sort k, p, 0 in descending order.
p, 0, k
Let b = -331/12 - -568/21. Let k = b + 2/7. Put k, -3, 1/6 in decreasing order.
1/6, k, -3
Suppose 3*c = p - 19, -p = -4*c - 4*p - 34. Sort 3, c, 2.
c, 2, 3
Let r = -1155/13 - -89. Let t = 179 + -1609/9. Sort t, -4, r in descending order.
t, r, -4
Let c(b) = -2*b - 12. Let l be c(-6). Sort l, 3, 5 in descending order.
5, 3, l
Let n be 3 + (-4)/((-12)/9). Let o be n + (-1 + 1 - 1). Suppose t - 2*t = -2. Sort -3, t, o in descending order.
o, t, -3
Let d = 0.8 + -0.3. Sort 4, -1/2, d in descending order.
4, d, -1/2
Let h(d) = -d**2 - 1. Let k be h(1). Let u = k - -2. Suppose 7 + 1 = v - 3*m, -15 = -4*v - 5*m. Sort u, v, 2.
u, 2, v
Let i(o) = o + 3. Let q be i(-5). Let a be 3*2/(-33) + 140/44. Sort q, a, 6 in ascending order.
q, a, 6
Let a = -20 + 13. Let i = -9 - a. Put 4, 0.1, i in increasing order.
i, 0.1, 4
Let b = 62 - 59. Sort 7, 0.5, b, 2 in ascending order.
0.5, 2, b, 7
Let v be -22 + 19 + 1*-4. Put v, 3, -2 in ascending order.
v, -2, 3
Let m be (-4)/(-3) - 6/18. Sort 4, m, 2, -1.
-1, m, 2, 4
Let h be (-484)/690 + (-1)/3. Let c = 10/23 + h. Let a = -33 + 36. Put -2/9, a, c in descending order.
a, -2/9, c
Let x = -155/261 - 15/29. Put -5, x, -2/9, -2 in ascending order.
-5, -2, x, -2/9
Let q = 10 - 12. Let n = -6 - q. Put n, 2, -0.12 in descending order.
2, -0.12, n
Let s be (-40)/30*(2/(-4) - -2). Sort 5, s, -1, 1 in increasing order.
s, -1, 1, 5
Let h = -3 - -1. Let b be 3 - 4 - (-7)/6. Sort b, h, 1/8 in descending order.
b, 1/8, h
Let h = 1 - 0. Let q(j) = 10*j. Let o be q(h). Let i(a) = -a + 6. Let s be i(o). Sort -0.1, s, -2/19.
s, -2/19, -0.1
Let k = 376 + -371. Suppose 2*p - 2 = l + 3*l, -5*l = -5*p - 10. Sort l, -4, k in descending order.
k, l, -4
Suppose -30 = -2*r - 3*r. Suppose r = 3*g - i - 0*i, 5*g - 5*i = 0. Let m be 1 - -1 - (-3 + (-15)/(-6)). Put g, -1/2, m in descending order.
g, m, -1/2
Suppose -14 = -5*r + 6. Suppose r*t - 3*n = 5, n + 13 = -4*t - 2*n. Sort 5, t, 2.
t, 2, 5
Let c be 1*-2 + 10 + -8. Sort -2, -4, 4, c.
-4, -2, c, 4
Let q = -7 - -20. Let z = q + -14. Sort -0.5, 1/9, z in ascending order.
z, -0.5, 1/9
Suppose 4*x + o + 9 + 4 = 0, 5*o = -5*x - 35. Let s = 12 - 8. Put x, s, -0.2 in decreasing order.
s, -0.2, x
Let m(o) = o**3 + 12*o**2 - o + 13. Let a be m(-12). Suppose -4*r = r - a. Put -4, 3, r in descending order.
r, 3, -4
Let i(q) = q**2 + 7*q - 15. Let r be i(-9). Suppose 0 = -2*s - 0*s + 5*z - 28, 4*s = 4*z - 32. Sort 4, r, s in descending order.
4, r, s
Let f = -0.44 - -0.34. Let t = 0.01 - 5.01. Let j = t + 4.7. Put j, 0.5, f in increasing order.
j, f, 0.5
Let j = 4 + -4.45. Let i = 0.05 - j. Let c be (-1)/(-1*(-2)/10). Sort c, 0.2, i in descending order.
i, 0.2, c
Let r(u) = 3*u**3 - u - 1. Let q be r(-1). Let x = -4 - q. Let z be 4/6 - 4/6. Sort 2, z, x.
x, z, 2
Let n = -7 + 12. Sort n, 3, 1.
1, 3, n
Let a = -26/7 - -111/28. Sort -2, a, -3/4, 1 in decreasing order.
1, a, -3/4, -2
Let o = 0.17 - 0.07. Sort 1/5, 1, o.
o, 1/5, 1
Let p = 7 - 4. Suppose 3*v + p*g = 15, g - 16 = -3*g. Suppose 0 = j + 4 + v. Put -1, j, 1 in descending order.
1, -1, j
Suppose 4*x - 6 = -3*n + n, -3*x - 23 = -4*n. Put -5, -3, x in descending order.
x, -3, -5
Let m = 1.9 + -1.7. Put 1/3, m, -2/9 in increasing order.
-2/9, m, 1/3
Let k be (0 - 1)*11/((-88)/(-24)). Sort 1, -0.8, k, -2/17 in decreasing order.
1, -2/17, -0.8, k
Let m(o) = o + 11. Let i be m(-12). Sort 1, 9, i in decreasing order.
9, 1, i
Let o be 38/3 + 4/12. Suppose 5*b + 21 = -4*n, n - 3*b - o - 3 = 0. Put -5, -1, n in ascending order.
-5, -1, n
Suppose 3*r + 0*r + 5*f + 16 = 0, 0 = f + 5. Let c = 2 - -3. Suppose 6*v = 3*v. Put r, c, v in decreasing order.
c, r, v
Let l = 34 - 40. Put -3, l, 0.1 in ascending order.
l, -3, 0.1
Let t = 38 + -35. Let w = -23/100 + -1/50. Put t, 0.1, w in decreasing order.
t, 0.1, w
Let j = 4 - 6. Let d be 2 - (-1 + j) - 3. Suppose 0*l - d*l + 29 = 5*z, -3*l + 3*z = 9. Put -3, l, -5 in decreasing order.
l, -3, -5
Let k = -16 + 18. Sort 0.1, k, -4 in descending order.
k, 0.1, -4
Let h = -5 + 4.5. Let t = 5.7 - 6. Put -2, h, t in descending order.
t, h, -2
Suppose 2*l - q + 1 = 4, -6 = l - 3*q. Put l, -3, 0, -5 in descending order.
l, 0, -3, -5
Let l(b) = -b**3 - 6*b**2 - 6*b - 4. Let m be l(-5). Let g = -0.7 - 1.9. Let i = g - -3. Put m, 4, i in descending order.
4, m, i
Let a = 16 - 14. Suppose 18 = -p + 3*p. Let n = p + -4. Put -4, n, a in descending order.
n, a, -4
Let l = -2.365 - -0.365. Let y = -4.25 + -0.35. Let j = 5 + y. Sort l, j, -1/3 in increasing order.
l, -1/3, j
Let r be (-114)/(-9) - (-2)/(-3). Suppose r = -4*d + d - 3*b, -5*d + 5*b = -30. Put d, 3, -3 in descending order.
3, d, -3
Let i = -11 + 16. Let f(b) be the third derivative of -b**4/24 + b**3/2 + 4*b**2. Let g be f(3). Put i, -0.3, g in ascending order.
-0.3, g, i
Let r = -24 + 25. Put r, -2/5, -2/11 in decreasing order.
r, -2/11, -2/5
Let v = -0.01 - 0.19. Sort v, -2, -0.5 in increasing order.
-2, -0.5, v
Let o be 13/(-13) - 4/(-3). Let w be (-200)/48 - 2/(-12). Sort 0.1, o, w in ascending order.
w, 0.1, o
Let f = -187 - -1306/7. Put f, -0.4, 4 in decreas