-0.1 in decreasing order.
w, -0.1, -2/15
Let p(h) = h**2 + 9*h - 8. Let b be p(-10). Put 5, b, 4, -5 in increasing order.
-5, b, 4, 5
Suppose -3*o + 1 = k - 2*o, 2*o - 8 = -5*k. Suppose -3*f - 25 = k*f. Sort f, 0.5, -1 in decreasing order.
0.5, -1, f
Let d = 1 - 3. Let a(q) = q**3 - 4*q**2 + q + 1. Let w be a(3). Sort -3, d, w in ascending order.
w, -3, d
Let o be (-2 - (-7)/3)/(50/225). Sort -3, -1, o in ascending order.
-3, -1, o
Let o = -20 + 17. Sort -1/6, -6, o in ascending order.
-6, o, -1/6
Suppose 0 = 2*n - 2. Suppose 0 = s - n - 3. Suppose s*t + 10 = -2, 18 = -3*m - 4*t. Sort 0, m, 3 in descending order.
3, 0, m
Let j be 4/30*(4 + -1). Let w = 32 - 24. Let s = w - 3. Put 3, j, s in ascending order.
j, 3, s
Let t be 6/(-4)*(-3 + 1). Suppose -12 = 3*d + t. Let y(n) = -n**2 - 4*n. Let l be y(-3). Sort 2, d, l in increasing order.
d, 2, l
Let u be (2/(-9))/((-4)/3). Sort -4/3, u, 2.
-4/3, u, 2
Let t = 24 - 13. Let b = 10 - t. Put 0, 5, b in descending order.
5, 0, b
Suppose 0 = -2*k - 3*p - 6, -7*p - 10 = -2*p. Let x be (4 + 30/(-6))*(1 - 0). Sort k, 3, x.
x, k, 3
Let u = -166 + 173. Put 3, -3, u in descending order.
u, 3, -3
Let n be 3 + -6 - (-6 - -2). Suppose 0 = -2*t - 4 + 2. Put t, n, 0 in descending order.
n, 0, t
Let z = -4 - -9.5. Let t = z + -5. Let y = -0.3 + 0.4. Sort y, t, 0.3 in increasing order.
y, 0.3, t
Let w be (-12)/(-3) + -1 + 2. Put w, 7, 2 in increasing order.
2, w, 7
Let z be (13/4 - 4) + 1. Put z, 1/5, -0.4, -0.5 in decreasing order.
z, 1/5, -0.4, -0.5
Let i = -71/20 - -19/5. Put -3/8, 0, i in decreasing order.
i, 0, -3/8
Let n = -0.7 + -3.3. Let r = n - -3.6. Sort r, 5/2, 0 in decreasing order.
5/2, 0, r
Suppose 5*w = -4*k + 30, -3*w - k = -6*w + 1. Let j = w + 0. Suppose -j*m + 21 = -5*c - 0*c, -c - 5 = 0. Sort 0, 4, m in increasing order.
m, 0, 4
Suppose -2*n = -4*y, 4*y - 2*y + 2*n + 6 = 0. Put -4, y, 1 in decreasing order.
1, y, -4
Suppose 26 - 6 = 5*n. Put 2, 1, -1, n in increasing order.
-1, 1, 2, n
Let z = -9 + 14. Let h = -0.3 + 0.2. Put h, 2/9, z in descending order.
z, 2/9, h
Suppose u + 21 = 6*u + b, -5*u - 3*b = -13. Suppose -3*g - u*s + 25 = -8*g, -3*s = 4*g + 27. Sort g, 1, -2 in decreasing order.
1, -2, g
Let g = 5.6 - 5.2. Sort 0.06, -0.03, g in increasing order.
-0.03, 0.06, g
Let h(i) = -i**3 - 5*i**2 + 5*i - 3. Let m be h(-6). Sort m, 6, 1 in decreasing order.
6, m, 1
Suppose -4*f + 9*f = 20. Suppose 0 = -f*s + 4 - 0. Let v(a) = a**2 + 5*a + 5. Let t be v(-5). Put s, -3, t in descending order.
t, s, -3
Suppose -4*g - 31 = v + 4*v, -2 = 2*v - g. Sort 4, 5, v in decreasing order.
5, 4, v
Let s(j) = 2*j. Let m be s(2). Suppose -u = -2*u - 2*p + 2, -2*p = m*u - 14. Suppose 0 = 5*h - k - 7, -2*k = -0*h - h + 5. Put h, u, -5 in decreasing order.
u, h, -5
Suppose -120 = 5*l + l. Sort 3, l, 0.
l, 0, 3
Let j = -6 + 1. Let t(r) = -r**2 - r - 1. Let c = -6 + 5. Let y be t(c). Sort j, -3, y in ascending order.
j, -3, y
Let s = -299/2 + 143. Let p = s + 9. Let f = -31/52 - 2/13. Sort p, f, 3/4 in ascending order.
f, 3/4, p
Let a = -9 - -12. Let y(r) = 2*r + 3. Let u be y(-3). Let l be (0 - -4)*u/18. Sort 2, a, l in ascending order.
l, 2, a
Let s(z) = -9*z - 3. Let q be s(2). Sort -5, q, 2 in ascending order.
q, -5, 2
Suppose 6*t - 20 = -8. Sort t, 3, 1.
1, t, 3
Let t = 18 + -18.2. Let g = -0.06 - -0.14. Let k = g - -0.22. Put -2/3, t, k in ascending order.
-2/3, t, k
Suppose m = -3 + 2. Put -5, 7, m in increasing order.
-5, m, 7
Let z be (16/6)/((-1)/(-3)). Let m be (-18)/z*(-61)/(-15). Let l = m - -52/5. Sort -1/3, 3/4, l in ascending order.
-1/3, 3/4, l
Let q = 6.85 + 0.15. Let t = q - 6. Let j = t + -1.2. Sort j, 0.5, 1/5 in decreasing order.
0.5, 1/5, j
Let t(y) = -2*y**3 - y**2 - 3*y + 3. Let m be t(1). Sort -5, 3, m in increasing order.
-5, m, 3
Let d = -4.2 - -9.2. Let x be 3 + -1 - 8/3. Sort d, -1/5, x in decreasing order.
d, -1/5, x
Suppose 0 = 5*x + 4*v - 31 - 7, -2*x - 3*v = -18. Let d = 16 - x. Sort -0.4, -1, d in descending order.
d, -0.4, -1
Suppose -3*f = 5*w + 40, 0*w - 3*w - 40 = 5*f. Put 3, w, 1 in decreasing order.
3, 1, w
Let w(u) = -2*u - 1. Let h be w(1). Let x = 2 - h. Let a be -10 + 10 + 1*-1. Sort a, -5, x in decreasing order.
x, a, -5
Let u be (-2 - 0/2) + 4. Let x(t) = 11*t - t**3 - t - 6*t + 5 + 3*t**2. Let a be x(4). Sort u, a, -5 in decreasing order.
a, u, -5
Let i = -44 - -47. Put -5, i, 0.4, 0.05 in decreasing order.
i, 0.4, 0.05, -5
Suppose 3*p = 3 - 9. Let h = -153 - -148. Put h, p, 0.4 in decreasing order.
0.4, p, h
Let w(a) = a**3 + 5*a**2 - a + 4. Let b be w(-5). Suppose 11 = 5*c - b. Suppose -3*m = -4*m. Put 5, c, m in descending order.
5, c, m
Let b = -2.1 - -2. Let t = b - -0.5. Suppose -2*y + 6*y + 16 = 0. Put t, y, 1/3 in increasing order.
y, 1/3, t
Let z = 68 + -69. Put z, 0, -3, 5 in decreasing order.
5, 0, z, -3
Let a = 0.4 - 0. Let s = a - 0.6. Sort s, -0.4, 5.
-0.4, s, 5
Let k be 21/(-9) + 3/9. Let b = -4 + 1. Sort b, -1, k.
b, k, -1
Let t = 32 - 27. Sort -0.2, 4, t, -0.05 in decreasing order.
t, 4, -0.05, -0.2
Suppose 4*x - 28 = -2*h - 0*h, 2*x + 4*h - 8 = 0. Suppose -3*i = -2*b + 6, -3*b - b - x = -i. Suppose 6*t = 5*t + 3. Put t, b, -4 in descending order.
t, b, -4
Suppose 16 = -v - 3*t, 3*v - 7*t + 3*t = 4. Sort 4, -0.8, 0.3, v.
v, -0.8, 0.3, 4
Suppose -3*b = w - 2, -b + 4*b - 18 = 3*w. Let l be (-270)/(-72) - (-6)/(-8). Sort -2, b, l in descending order.
l, b, -2
Let f = -132 - -131. Sort 3, f, 4, -33 in increasing order.
-33, f, 3, 4
Suppose 2 - 5 = 3*m. Let o = m + 1. Suppose -4*s = -0 + 4. Put s, 1, o in decreasing order.
1, o, s
Let d be 8/1*(-2)/(-4). Suppose d*b + 2*u + 78 = 0, -3*b - b + 2*u - 82 = 0. Let j be (-65)/b + (-2)/8. Sort -5, j, 2.
-5, 2, j
Let o = -0.5 + 4.5. Put -0.1, o, 2, -5 in descending order.
o, 2, -0.1, -5
Let g be 4/12*0 + -1. Sort -4, 4, g in ascending order.
-4, g, 4
Suppose -z + 4 = -3*z. Let w = -8 + 3. Sort 0.3, z, w in increasing order.
w, z, 0.3
Let f = -1.31 - -0.11. Let o = 1.4 + f. Put o, 3, -1/9 in decreasing order.
3, o, -1/9
Let q be (-4)/(-12)*6/20. Let v = -3.7 + 3.3. Sort v, -0.5, q.
-0.5, v, q
Let x = -22 + 32. Let t = 9.8 - x. Let j = 3 + -7. Put t, j, -2 in ascending order.
j, -2, t
Let m = -154 + 615/4. Put -3/7, 1/3, m, 3 in increasing order.
-3/7, m, 1/3, 3
Suppose -4*r = -r + 3. Let s = -36 - -50. Let v = -14 + s. Put 2/5, v, r in descending order.
2/5, v, r
Let c = -36 - -29. Put 0, c, 0.5, 4 in descending order.
4, 0.5, 0, c
Let g(j) = -4*j + 21. Let t be g(7). Put -5, t, 5 in decreasing order.
5, -5, t
Suppose 7 = m + 15. Let g be 2/m + 38/(-8). Sort 5, g, 0 in decreasing order.
5, 0, g
Let d = 11 - 9. Let r = -3.5 + 0.5. Let y = -0.06 - -4.06. Put y, r, d in decreasing order.
y, d, r
Let q = -4.956 + -0.044. Sort q, 0, 0.2.
q, 0, 0.2
Let g = -13.96 - 0.04. Let o = 16 - 7. Let b = o + g. Put b, 2/5, -2 in ascending order.
b, -2, 2/5
Let s(z) = -z**2 + 20*z - 73. Let k be s(15). Let i = 0 - -3. Let q = -4 - -1. Sort q, k, i.
q, k, i
Let p = 1/13 + 10/39. Let t be (-16)/(1 + -2 - 1). Let k = 6 - t. Sort k, p, -2/3 in decreasing order.
p, -2/3, k
Let k(h) be the second derivative of -h**3 - h**2/2 + h. Let u be k(1). Let d = u - -7. Sort -4, d, 2 in increasing order.
-4, d, 2
Suppose -2 = -3*d + 2*d. Let n = d - -1. Let v(p) = p + 9. Let u be v(-11). Sort n, u, 2 in descending order.
n, 2, u
Let u = -98 - -102. Put u, -13, -1 in descending order.
u, -1, -13
Let w be 5*(2/(-5))/(-1). Suppose 2*b - 6 = w. Let k be (-14)/(-91) + (-54)/13. Sort 3, b, k in descending order.
b, 3, k
Suppose 3*b + b + 8 = 0. Let s = -59/204 - -2/51. Put s, -0.5, b in ascending order.
b, -0.5, s
Let t be 5 - 1 - (-1)/(-6)*21. Sort t, 4, 4/7, -0.1.
-0.1, t, 4/7, 4
Let w be ((-4)/(-6) + 1)*-3. Let a(n) = n**3 - 4*n**2 - 5*n - 3. Let t be a(5). Let z be 4/(3/(0 + -3)). Sort t, z, w in decreasing order.
t, z, w
Let p = -0.41 + -0.09. Put 0.01, -3, p in decreasing order.
0.01, p, -3
Suppose a + 3 = 4*a. Suppose -2*l + a + 3 = -2*d, -2*d + 16 = 2*l. Put -3, 0, d in descending order.
d, 0, -3
Let j = 16 + -15.7. Let v = 0.7 + -0.5. Put v, 1/4, j in decreasing order.
j, 1/4, v
Let r(c) = c**2 + 6*c + 7. Let o be r(-5). Suppose -5*d + 2 - 13 = -3*l, 5*l + 5*d + 35 = 0. Sort -10, l, o in increasing order.
-10, l, o
Let l = 30.3 - 32. Let 