= -3, -16 = 4*o. Sort 0.2, k, x in ascending order.
0.2, k, x
Let s = -8 + 6. Let a = s + 2. Let f = a + -5. Put 0.2, -4, f in ascending order.
f, -4, 0.2
Let a be 2/(-6) - 56/(-6). Let r = 15 - a. Suppose -6 = -r*v + 3*v. Put v, -3, 1 in ascending order.
-3, 1, v
Suppose 0*g = -g, 3*g + 6 = 2*a. Suppose l - a*l + 4 = 0. Let y = -9/8 + 21/8. Put y, -1, l in decreasing order.
l, y, -1
Let x = 73 + -78.1. Let r = x - -1.1. Let i = -56 - -59. Put r, -5, i in descending order.
i, r, -5
Suppose -36 = 3*l - 7*l. Let t = l - 5. Let o = 0.06 + 4.94. Put o, 1/5, t in descending order.
o, t, 1/5
Let c = -3/11 - 5/22. Let n = 0 - 2. Let p = 6 + n. Put c, 0.1, p in increasing order.
c, 0.1, p
Let b(m) = m**3 - 5*m**2 + 4*m - 3. Let l be b(4). Let s be 1/4*-2*2. Put 0, s, l in decreasing order.
0, s, l
Let x(r) = r**2 + 8*r + 6. Let h be x(-8). Let q be 20/35*3/h. Sort 5, q, 1/8.
1/8, q, 5
Let w be ((-28)/2)/(6/(-3)). Suppose 3*d = w*d + 8. Sort 0, d, 5 in ascending order.
d, 0, 5
Suppose 0 = 5*k - h + 14, 0*k + 11 = -3*k - 2*h. Suppose 0*n = n + 5*d - 30, 4*n - 5*d = -5. Suppose 7 = n*x - 8. Put x, 0, k in decreasing order.
x, 0, k
Suppose 9 = -4*c - i - 10, -3*c + 3*i - 18 = 0. Sort -0.1, c, 0.5 in descending order.
0.5, -0.1, c
Let a = 1.7 - 1.9. Put 1, a, -2 in decreasing order.
1, a, -2
Let k = -12 - -6. Let m(n) = -2*n - 9. Let v be m(k). Sort v, 0, 4 in increasing order.
0, v, 4
Let n be (2/6)/(25/(-15)). Sort 3, n, -7 in ascending order.
-7, n, 3
Let c be 4/(-10)*-10*1. Suppose -6 = 4*o - 42. Let r(p) = -p**3 + 10*p**2 - 9*p - 5. Let z be r(o). Put 5, c, z in decreasing order.
5, c, z
Let l(j) = -j + 1. Let u be l(3). Let s = -15 + 10. Let v(i) = -2*i - 6. Let w be v(-5). Sort u, w, s in decreasing order.
w, u, s
Let o(u) be the first derivative of -u**4/4 + 4*u**3/3 - 4*u - 1. Let j be (-16)/(-56) + (-38)/(-14). Let s be o(j). Put s, -1, 2 in decreasing order.
s, 2, -1
Let m(x) = -x**3 + 4*x**2 + 1. Let a be m(4). Sort 2, a, 3, -2.
-2, a, 2, 3
Let u = 2.015 - 2. Let r = u - 5.415. Let j = 5 + r. Put -4, 0, j in ascending order.
-4, j, 0
Let l = -35.6 - -36. Put -1, 4, l in descending order.
4, l, -1
Let t = -0.008 + -3.992. Sort -7/4, t, 2 in descending order.
2, -7/4, t
Let v be 3/(-15) + 4/(20/11). Sort v, 3, 4.
v, 3, 4
Suppose -z = -4*t - 3*z + 4, -5*t + 2*z + 23 = 0. Suppose 2*k = k + 4*w + 16, 0 = 5*k + 5*w - 5. Sort k, -5, t in decreasing order.
k, t, -5
Let w = -17/14 + 3/2. Put -1/5, -2, w, 1 in ascending order.
-2, -1/5, w, 1
Let b = 1910/9 + -212. Put b, -5, -1/4 in decreasing order.
b, -1/4, -5
Let f = 8 - 4. Sort -1/8, -14, f, -1 in descending order.
f, -1/8, -1, -14
Let u(l) = l + 8. Let o be u(-6). Let k = -13 - -18. Suppose -2*c - 17 = 5*g - 4*c, 37 = -k*g - 3*c. Put o, g, 0 in descending order.
o, 0, g
Let y = -42 - -78. Let j = y - 35.62. Let i = j - -0.02. Sort -1/5, -1/4, i in descending order.
i, -1/5, -1/4
Let m = -7.03 - -0.03. Let u = m + 6.9. Let c be (-4)/(-3) - (-2)/3. Put u, c, 0 in decreasing order.
c, 0, u
Let n(d) = -3*d**3 - 13*d**2 + 3*d + 5. Let t(w) = 2*w**3 + 7*w**2 - w - 3. Let j(x) = -3*n(x) - 5*t(x). Let o be j(3). Put o, 4, 0 in increasing order.
o, 0, 4
Let g = -134/3 + 45. Sort 2/13, 0.5, 3, g in descending order.
3, 0.5, g, 2/13
Let t = 16 + -15. Let n = 2 - 3. Sort t, n, -2.
-2, n, t
Let b = 59 - 41. Let m = 16 - b. Let w = -0.2 - -0.7. Sort m, -2/15, w in descending order.
w, -2/15, m
Let q = 0.8 + -0.9. Let k = -55 - -60.04. Let o = k + -0.04. Sort o, 0.3, q in ascending order.
q, 0.3, o
Let w = 191.6 - 192. Sort w, 1/5, -3.
-3, w, 1/5
Suppose f - 27 = -2*q, -5*q + 3*f = -15 - 80. Suppose 3*b = 12, -3*b + q = -3*l - l. Put -5, l, 3 in increasing order.
-5, l, 3
Let a = 1/57 + -20/57. Let y = 4 - 4. Sort -3, y, a in increasing order.
-3, a, y
Let z(c) = -3*c**3 - 9*c**2 + c - 15. Let y(i) = i**3 - i**2 + 1. Let u(h) = -4*y(h) - z(h). Let f be u(13). Put -1, 0, f in ascending order.
f, -1, 0
Suppose 0 = 4*c - 0*c + 16, -3*h + 20 = -2*c. Let n(v) = -v - 1. Let p be n(-1). Let b = p - h. Put b, 1, 2 in increasing order.
b, 1, 2
Let t be (0/4 - (4 - 1)) + 8. Suppose z + 2*w + 3 = 0, 0 = -5*z + 2*w + 3*w + 30. Sort 2, z, t in descending order.
t, z, 2
Suppose -2*a - 13 = -5*d - 0*a, -3*d = 2*a - 11. Sort 0, -1, d in ascending order.
-1, 0, d
Let k = -6 - -9. Let m be -6*(-1 - k/(-18)). Let g be (-2)/6*3/2. Sort g, m, -0.4 in descending order.
m, -0.4, g
Let n(y) = y - 2. Let d be n(-2). Suppose 3*f - 7*f = -100. Suppose 6*w - 3*w - h = 2, 5*w = -4*h - f. Sort d, w, -2.
d, -2, w
Suppose 4*l = -9 - 3. Put l, -5, 0 in decreasing order.
0, l, -5
Let g(m) = -2*m - 2. Let x be g(-2). Let j be ((-2)/8)/(11/44). Put 1, x, j in descending order.
x, 1, j
Let t be (-3 + (1 - 1))/(3*-1). Sort t, -7/3, -0.3 in ascending order.
-7/3, -0.3, t
Let f = -224021/101 + 2218. Let j = 591/505 - f. Put 0.1, j, -0.5 in ascending order.
-0.5, 0.1, j
Let n be ((-2)/(-6)*-1)/((-1)/(-3)). Sort n, 1, 5 in ascending order.
n, 1, 5
Suppose -6*x + 7 = -11. Sort -2, x, -1.
-2, -1, x
Let f be 4/(3/(12/8)). Suppose 2*a + f = -4. Sort 0, a, 2.
a, 0, 2
Let x = 1 + 1. Let t be -11 + (-6)/(-3 - -6). Let n = 10 + t. Sort -1, x, n in decreasing order.
x, -1, n
Suppose 4*k - 16 = 2*u, -2*k - 2 = 3*u - 10. Let a be ((-3)/(-9))/(5/(-75)). Put -4, k, a in descending order.
k, -4, a
Let p be 4/3*(-6 + 3). Let y = p + 1. Suppose -20 = 4*b - 0*b. Put y, b, -1 in increasing order.
b, y, -1
Let m = -0.3 + 1.3. Let l = -51 + 55. Sort l, m, 3/7.
3/7, m, l
Let v = -8 + 4. Let s = 12 - 10. Suppose 2 = -4*l + 3*y + 17, -2*l + s*y + 8 = 0. Sort -5, l, v in descending order.
l, v, -5
Let p be 2/(-2)*(-4)/1. Let o(f) = -f - 7. Let w be o(-6). Sort p, w, -3 in ascending order.
-3, w, p
Suppose 0 = -5*i - 17 - 3. Suppose 2*l = -l + 3. Put i, -3, l in increasing order.
i, -3, l
Let t = -62 - -52. Put t, 1/3, 2/3 in descending order.
2/3, 1/3, t
Let x = 58 - 53. Let q = -0.021 + -4.879. Let d = x + q. Put -3, -5, d in ascending order.
-5, -3, d
Let o = 1 - -4. Let u be (-6)/4*40/(-45). Sort u, o, 3 in decreasing order.
o, 3, u
Let i(r) = r**2 + r - 2. Let b be i(-4). Let t(h) = -h**3 + 10*h**2 - h + 7. Let z be t(b). Put 2, z, 0 in decreasing order.
2, 0, z
Suppose 0 = 3*r - 5*a + 85, -r - 1 = 5*a - 6. Let c be (r/16)/(-3 - -2). Put 0.3, 4, c in ascending order.
0.3, c, 4
Suppose -2*l = -l. Let v(m) = -m + 7. Let h be v(10). Sort 5, l, h.
h, l, 5
Suppose -10 = -2*v - 0*v. Let i be (v/10)/((-2)/(-4)). Suppose -f + 2*f + i = 0. Sort f, -2, -5.
-5, -2, f
Let r be -2 + 4 + -2 - -3. Let d = 0 - 0. Suppose d = 5*g - 6*g - r*b + 10, -b - 14 = -4*g. Sort 0, g, -3 in decreasing order.
g, 0, -3
Let d(g) = g. Let s be d(-4). Let c = 20 - 35.5. Let p = 15 + c. Put 4, p, s in descending order.
4, p, s
Let d = -2.88 + 0.88. Sort 19, 0, d.
d, 0, 19
Let i = 7.9 + -2.9. Put 0, i, -2 in increasing order.
-2, 0, i
Let f(n) = -3 - 2 + 3 - 3*n. Let s(a) = 4*a + 3. Let m(l) = -5*f(l) - 4*s(l). Let t be m(-2). Put 5, t, 2 in increasing order.
t, 2, 5
Suppose 2*n = 7*n - 15. Let g(k) = k**3 + 8*k**2 + 3*k - 9. Let t be g(-7). Suppose 0 = 3*c - 2*h - t, -3*h + 14 = c + 3*c. Sort c, n, 2 in increasing order.
2, n, c
Let j = 3 + -4. Suppose -5*i + 3*f = -3*i + 27, 59 = -5*i - f. Let x = -17 - i. Sort x, j, -4 in descending order.
j, -4, x
Suppose 0 = 4*o + 3*o - 21. Suppose -2*h + 6 = 3*s, -14 = -5*s - h - h. Let m = -2 + s. Put o, 1, m in descending order.
o, m, 1
Suppose 0 = 4*f + 4*r + 28, 0 + 1 = -4*f + 5*r. Let a = 320/3 - 107. Sort a, f, -0.1 in descending order.
-0.1, a, f
Let a(m) = -m + 4. Let y be a(7). Let b be (3 - 0) + -2 + 2. Sort y, -4, b in increasing order.
-4, y, b
Let c(q) = -q**2 - 13*q - 15. Suppose 0 = -2*x - 12 - 10. Let h be c(x). Let t be 0/h - (1 + 1). Put t, 2, 0 in ascending order.
t, 0, 2
Suppose 1 = i - 3. Let m = i + -9. Suppose -1 + 5 = 4*s. Sort s, 3, m in ascending order.
m, s, 3
Let w(v) = v**2 - 3*v + 7. Let c be w(3). Suppose -5*k - c - 8 = 0. Sort k, 0, -2 in decreasing order.
0, -2, k
Let q(t) = t - 4. Let u be q(4). Let j(c) = c**3 + 15*c**2 + 13*c - 11. Let o be j(-14). Sort u, o, 2 in decreasing order.
o, 2, u
Let d(b) = -b**2 - 9*b - 12. Let x be d(-8). Let a be 0*(-1)/(x/(-2)). Let i(k) = -k**3 + 6*k**2 - 7*k + 6. Let h be i(5). Sort -5, h, a in in