Put 6, r, -2 in decreasing order.
6, r, -2
Let t = 15.7 - 16. Put 5, t, -4 in decreasing order.
5, t, -4
Suppose -17 = -4*n - 45. Let j = -6 - n. Suppose 4*w - 3*s = 32, -3*w - 1 = s + 3*s. Sort j, w, -2.
-2, j, w
Suppose 2*c = 95 - 85. Put -5, c, -4, 3 in decreasing order.
c, 3, -4, -5
Let n be ((-15)/10)/((-6)/(-8)). Put n, 0, -8 in increasing order.
-8, n, 0
Suppose 0*k - 5*a - 21 = -k, 3*k + 27 = -3*a. Suppose w + 0*w = 1. Put k, -5, w in ascending order.
-5, k, w
Suppose -14 = 2*d + 2*s, 2*s = 2*d - 3*s - 21. Let t = 37 + -52. Let n = t + 16. Sort 5, n, d.
d, n, 5
Let l = 0.1 + -1.1. Put 2, 2/13, l in descending order.
2, 2/13, l
Suppose 0 = 2*n - 4*n + 8. Let l(g) = g**3 + 6*g**2 + 5*g + 3. Suppose -4*k - 10 = 10. Let s be l(k). Put 5, n, s in ascending order.
s, n, 5
Let i = -5 - -2. Let b be ((-2)/3)/((-1)/i). Let v(f) = -3*f - 1. Let u be v(-1). Sort b, u, -1 in descending order.
u, -1, b
Let h be (0 - (2 + -1))*0. Suppose 3*g = -5*l - 23, -2*g - 1 = 1. Let n(x) = x**3 - 5*x**2 - x + 3. Let p be n(5). Put h, p, l in descending order.
h, p, l
Let q = -66 - -93. Let n = 8315/4 + -2106. Let t = q + n. Sort t, -4, 6 in increasing order.
-4, t, 6
Let y be 6/(-21) + 76/(-28). Let a be 1 - 1 - (-1 - -5). Sort a, y, -5 in ascending order.
-5, a, y
Suppose 2 + 6 = -3*o + v, 3*v - 6 = 0. Put 1, -1, o, 3 in descending order.
3, 1, -1, o
Suppose 4*w = w + 12. Suppose 0 = w*l - 6*l - 2. Suppose -2 + 0 = g. Sort g, 2, l in decreasing order.
2, l, g
Let n be 1/((-3)/9) + 10. Suppose n = -2*s - l + 20, 22 = 4*s - 2*l. Put s, -1, 5 in descending order.
s, 5, -1
Let c = 11 - 13. Sort c, -5, 1 in decreasing order.
1, c, -5
Suppose 2*z + 6 = 5*n, -2*z = -3*n + n. Sort n, -8, 5.
-8, n, 5
Let m(d) = -d**3 + 6*d**2 - 5*d + 3. Let f be m(5). Suppose f*z - 4*x = -12, 16 = -5*z + z + 3*x. Let y = 7 - 2. Sort z, y, 4 in ascending order.
z, 4, y
Suppose 4*x - 1 = -13. Let s = -17 - -21. Put s, 3, x in increasing order.
x, 3, s
Let r = 28 - 113/4. Let i = -2 - 3. Suppose -5*k - 27 = -4*a - 0*k, -3*k - 3 = 2*a. Put r, a, i in increasing order.
i, r, a
Let p = -32 + 29. Suppose 2*j + 15 = 3*f + 5*j, -f - 5*j = -5. Let r be (0 - -1)/(-1) + 4. Put f, r, p in increasing order.
p, r, f
Suppose -v + 15 = -5*r - 3*v, 2*v = -4*r - 12. Sort -2/5, 0, r.
r, -2/5, 0
Suppose 3*a = 4*z + 2 - 6, -5*a = -5*z. Let b be (-2)/(-39)*(z - 7). Sort -0.9, -3, b in descending order.
b, -0.9, -3
Let h be 2/(-9) - 232/(-72). Suppose -y = -h*d + 3, 2*d - y - 2 = 4*y. Sort d, 3, -4.
-4, d, 3
Let q = -1.6 + 2. Suppose 0*i - 4*i = 0. Put q, -0.1, i in ascending order.
-0.1, i, q
Let h = -54 - -62. Put 1/2, 0.2, h, -3 in increasing order.
-3, 0.2, 1/2, h
Suppose -5*y + 0*k + 2*k - 9 = 0, -y = -5*k - 12. Let s = 0 + y. Suppose -2*o = -2*q + 10, -8*o - 15 = -3*o. Sort q, 1, s.
s, 1, q
Let i be (-30)/(-225) - 41/(-30). Put i, -0.2, -1, -4 in decreasing order.
i, -0.2, -1, -4
Let q be 23/30 + 27/(-45). Let m = 3 + 0. Sort m, q, 0.2 in descending order.
m, 0.2, q
Let b be (-10)/8 - 2/(-8). Suppose 27 = 5*r + 7. Sort -3, b, r in ascending order.
-3, b, r
Suppose 3*z = -3*l, 0 = -2*l + 5*z + 8 - 1. Suppose -4 - 4 = 4*k. Sort 3, k, l.
k, l, 3
Let t = -7 - -9. Suppose -4*u + q = -55, -u + 4*q = u - 10. Suppose 3*c + 2*c - u = 0. Sort -5, c, t in decreasing order.
c, t, -5
Let u = 24 + -24.5. Put 0, u, 4 in descending order.
4, 0, u
Let r = -67 + 66. Put 1, 1/2, 5, r in descending order.
5, 1, 1/2, r
Let u(y) = 3*y - 13. Let f be u(4). Let l = 6 + -3. Suppose -l*k = -3 - 0. Put k, 2, f in ascending order.
f, k, 2
Let o = 4 + -6. Let x = -7 + 4. Put x, 4, o in increasing order.
x, o, 4
Let c = -99 + 92. Put -3, c, 5 in decreasing order.
5, -3, c
Suppose 4*j - 8 = -4*p, 0 = 2*p + 3*j + j. Let q be (-21)/(-56) + (-13)/(-8). Sort p, -5, q.
-5, q, p
Let t(d) = -d**3 - 7*d**2 + 3. Let u be t(-7). Suppose -u*i + 3 = -3*n, -3*i + 9 + 2 = -n. Sort -1, i, 2 in descending order.
i, 2, -1
Suppose -t - 6 = 4. Sort -1, t, -3 in increasing order.
t, -3, -1
Let k = 0.4 + 0.1. Let q = 6 + -1. Let u be 8/30*(-6)/((-180)/(-25)). Sort k, u, q in increasing order.
u, k, q
Let d(f) = -f**3 + f - 1. Let s be d(-2). Suppose z = 5*w - 11, -z + w = z - s. Let v = -2.6 + 3. Sort -0.2, z, v in ascending order.
-0.2, v, z
Let k = 31 + -32. Put 3, 7, k in increasing order.
k, 3, 7
Let r = 0 - -3. Let g = -1 - -1. Let w = 0 - g. Put 4, r, w in descending order.
4, r, w
Let m = -10 + 5. Let o = -10 - m. Let v = -1.7 + 2. Sort v, 0.1, o.
o, 0.1, v
Let i = -6 - -10. Let y(w) = w**3 + 9*w**2 + 17*w - 7. Let a be y(-6). Sort i, 2, a in decreasing order.
i, 2, a
Let f(j) = -j**3 - 5*j**2 - 4*j - 2. Let p be f(-4). Let u = -3/10 - -4/5. Sort p, u, 0 in decreasing order.
u, 0, p
Let l(i) be the third derivative of i**6/120 + i**5/15 + i**4/8 - 2*i**3/3 - 3*i**2. Let z be l(-3). Let k = -0.2 - -1.2. Sort z, -5, k in decreasing order.
k, z, -5
Let i = 59 - 50. Put i, -5, -4 in descending order.
i, -4, -5
Let g = 161 - 159. Put -0.07, 4, -3, g in ascending order.
-3, -0.07, g, 4
Let x = 0.1 - 0. Suppose -4*j - 6 = -l, 0 = -2*l + 5*j + 5 + 4. Sort l, x, 0.2.
x, 0.2, l
Let b(z) = 6*z - 1. Let s be b(2). Let a = 7 - s. Suppose 5*i = 3*i. Put -5, i, a in decreasing order.
i, a, -5
Let a = -33.3 - -33. Sort a, -6, -4, 0.1 in increasing order.
-6, -4, a, 0.1
Let r be (-6)/18*(13/1 - -2). Let d = 0 + 0. Sort r, d, 5.
r, d, 5
Suppose 0 = 8*d - 3*d. Put d, 6, 3 in descending order.
6, 3, d
Suppose 3 = -3*q - 3. Let c(a) = -a**2 - 10*a + 3. Let s be c(-10). Sort s, q, 0.
q, 0, s
Let a(y) = y**3 - 5*y**2 - 7*y + 9. Let s be a(6). Suppose -10*r - 8 = -2*r. Put 5, r, s in ascending order.
r, s, 5
Let l = -33 + 33. Sort -15, 3, l in decreasing order.
3, l, -15
Let z = -3 - -3. Let v = -23/2 - -13. Sort 0.3, z, v.
z, 0.3, v
Suppose 8*v = 4*v - 20. Let x = 3.83 + -2.83. Let r = -0.35 - 0.05. Sort x, r, v in decreasing order.
x, r, v
Suppose 7*q - 4 + 11 = 0. Put 6, 5, q in ascending order.
q, 5, 6
Let d be 1*(4 - 1 - 2). Let g = 2 - d. Sort 4, 2, g in decreasing order.
4, 2, g
Suppose -2*n + n = 0. Let k = 0 + 1. Let l = -1.2 + k. Put 1/4, l, n in decreasing order.
1/4, n, l
Let n = -9.5 + 15. Let u = -0.5 + n. Let l(c) = c**2 - 5. Let y be l(0). Put u, y, 1/8 in decreasing order.
u, 1/8, y
Suppose 9*r = 10*r - 15. Let f = -13 + r. Sort f, 3, 5 in increasing order.
f, 3, 5
Let r = -96326 - -16760669/174. Let w = r + -1/58. Let i = -13 + 12.98. Sort 0.5, i, w in decreasing order.
0.5, i, w
Let s be (-4)/10 - (-6)/(-10). Let x be s/(-2)*(-1 - -1). Let m = -13 - -8. Put m, x, -3 in descending order.
x, -3, m
Suppose 26*g = 19*g. Put -23, g, 2, 1 in descending order.
2, 1, g, -23
Let x be 4/(-2) - (3 + -1 + -5). Sort x, 5, -12 in increasing order.
-12, x, 5
Suppose 0*x - x + 6 = v, -3*x = 2*v - 17. Let f be -1*8/(-1 + 3). Put f, v, 5 in ascending order.
f, v, 5
Suppose -3*p - 4*b + 43 - 13 = 0, -4*p - b = -53. Put 0, -5, p in descending order.
p, 0, -5
Suppose 12 = t + 2*t. Put -1, -2, t in descending order.
t, -1, -2
Let b be 4/6*(-27)/6. Put b, 5, 8, 3 in increasing order.
b, 3, 5, 8
Suppose -9*v - 193 - 104 = 0. Put v, -4/5, -1/6 in decreasing order.
-1/6, -4/5, v
Let c = -2 + 2. Let a(z) = 9*z**3 + z - 1. Let v be a(1). Suppose -2*n - n = -v. Sort n, -2, c.
-2, c, n
Let k = -151 - -151. Sort -4, 7, k in decreasing order.
7, k, -4
Suppose 5*g - 5 = 5. Suppose -g*h - h + 2*m - 9 = 0, 0 = -2*m. Let y = 17 + -16. Sort y, h, -2.
h, -2, y
Let a = 480/143 - 46/13. Sort 0.6, 0.2, a, 0.4.
a, 0.2, 0.4, 0.6
Let y = 6.25 - 6. Let q = y + -0.05. Suppose 3 = -2*t - 3*a, 3*a = -2*t - a - 4. Put 2/11, q, t in ascending order.
t, 2/11, q
Let k(t) = -t - 8. Let m be k(-7). Let r(l) = l**3 - 10*l**2 - 10*l - 7. Let u be r(11). Sort m, u, 2 in decreasing order.
u, 2, m
Let b = 2 + -1. Let j(p) = p**2 + 4*p - 2. Let i be j(-5). Suppose f - i*f = 0. Put -5, b, f in ascending order.
-5, f, b
Let o = -12.09 + 0.09. Let n = 12.5 + o. Put 0, n, 0.2 in decreasing order.
n, 0.2, 0
Let t = 2/171 - -283/171. Put -0.3, t, 1/3 in increasing order.
-0.3, 1/3, t
Let w be 1/(((-20)/8)/(-5)). Sort 6, -1, w in descending order.
6, w, -1
Suppose -5*s + 3*r - 3 = 0, r - 4 = 2*s - 3*r. Sort -4, -5, s in decreasing order.
s, -4, -5
Let j(w) = w**2 - 6*w + 7. Let p be j(3). Sort p, 3, -3, -5.
-5, 