t l be (1*(0 - 3))/(-5). Put 3, -8, l in decreasing order.
3, l, -8
Let o = 74 + -739/10. Put 2, 2/3, o, 0.2 in descending order.
2, 2/3, 0.2, o
Let t = -0.48 + 2.78. Let p = t + -2. Let w be 4/6 + 1/(-15). Sort w, -4, p.
-4, p, w
Let j be (-2)/(-6) + (-13)/57. Suppose 0 = 3*y - 2*l, 2*y = -0*y - 2*l + 10. Let i = 0.2 - 0.1. Put j, y, i in descending order.
y, j, i
Suppose 0 = -n - 3*x + 7, -5*x = -15. Let t be -3 - -2*n/(-4). Let s be 2/(16/(-6) - t). Sort -4, s, -1 in ascending order.
-4, s, -1
Let c(u) = 3*u + 28. Let j be c(-10). Let a be 4/10 + (-7)/5. Sort 5, a, j in ascending order.
j, a, 5
Let c = -7 + 2. Sort c, 1, -1 in descending order.
1, -1, c
Let m = 181 - 181. Let j(f) = f - 2. Let l = -6 - -10. Let k be j(l). Put 5, m, k in ascending order.
m, k, 5
Suppose 5*y + 16 = -2*a, -a = -5*y - 4 - 3. Let s be (-12)/(-5) + 6/(-15). Sort s, 4, a in descending order.
4, s, a
Suppose -12 = -6*i + 3*i. Sort i, -9, -1, -5.
-9, -5, -1, i
Let j be ((-2)/(-10))/((-56)/(-70)). Let p = -14 - -9. Sort j, p, -0.4 in descending order.
j, -0.4, p
Let s(t) = -t**3 + 5*t**2 + 8*t + 5. Let m be s(6). Let k = m - 13. Put 3, 5, k in increasing order.
3, k, 5
Let k(f) = -f**3 + 4*f**2 - 1. Let w = 5 + -1. Let i be k(w). Sort i, 4, -7 in ascending order.
-7, i, 4
Let r = 1.3 - 1. Suppose 0 = 7*o - 4 - 24. Let k be ((-4)/(-2) + -2)/(-2). Put o, r, k in decreasing order.
o, r, k
Suppose 4*y = -3*m + 3, -4*y - 7 = -0*y + m. Suppose 3 = w + 1. Suppose -3*s - w*s + 20 = 0. Sort s, y, -2 in descending order.
s, -2, y
Let m(p) = 2*p - 4. Let o be m(1). Sort 17, -4, o in decreasing order.
17, o, -4
Suppose 2*g + 3 + 3 = -5*x, x + 3*g + 9 = 0. Suppose w - u = -10, 5*w + 30 = -u + 2*u. Sort w, x, -1.
w, -1, x
Let u = 2.8 - 3. Let k(c) = -c**3 + 19*c**2 - 19*c + 15. Let p be k(18). Sort 2, p, u.
p, u, 2
Let b = 5 - 4.94. Let n = 0.24 + b. Let i = 3 - 3.4. Put i, -1/3, n in decreasing order.
n, -1/3, i
Let j(y) = y**2 + 16*y - 15. Let l be j(-17). Put -1, l, 4 in increasing order.
-1, l, 4
Let p = -132 - -130. Put 0, 3, p, 5 in decreasing order.
5, 3, 0, p
Let j = 6.2 + -2.2. Put 0, -3, -1/4, j in decreasing order.
j, 0, -1/4, -3
Suppose 0 = -z - y - 1, -y = -5*z + 4*y - 45. Let n = 0.9 - -0.1. Let j = n - 0. Put -2, j, z in ascending order.
z, -2, j
Let g be (1 + (-5)/3)*3. Let o = -41 - -41.3. Sort g, 3/8, o.
g, o, 3/8
Let q = 6 - 8. Sort 3/4, q, 14 in decreasing order.
14, 3/4, q
Let u(s) = s + 8. Let b be u(-9). Let r be 8/16 - 9/(-2). Sort b, r, 4 in increasing order.
b, 4, r
Let b = -2 - -4. Sort 1, 1/5, b.
1/5, 1, b
Let z be 2 + -8 - 24/(-4). Put z, 4, -1 in decreasing order.
4, z, -1
Let z be -7*(-1)/(7/2). Sort z, 1, 6 in ascending order.
1, z, 6
Let b = 4.32 - 0.32. Sort 0, 3, 2/9, b in descending order.
b, 3, 2/9, 0
Suppose -7*n + 11 = -3. Suppose 4*y + 4 + 0 = 5*k, 4*y - 2*k = 8. Put 3, y, n in decreasing order.
y, 3, n
Suppose 0 = -6*q + q - 5. Suppose -v + 5 = -4*l + 23, l = 2*v + 1. Put l, q, -5 in ascending order.
-5, q, l
Suppose -2*a + 0 - 6 = 0. Let l = 5 + a. Sort l, -3, 0 in decreasing order.
l, 0, -3
Let d be (-2)/(-1) - (-3 - -2). Let y(a) = -2*a + 4. Let l be y(-4). Suppose -d = 5*m + l. Sort m, 3, -5 in descending order.
3, m, -5
Suppose 5*g + 15 = -10. Suppose k - 4 = 0, 77 = 5*o - 2*k + 5*k. Suppose -3*h - 2*u - 5 = 11, -h + o = -3*u. Put -1, g, h in descending order.
-1, h, g
Let s be (2 - 8) + (12 - 9). Sort -38, 2, s in descending order.
2, s, -38
Suppose q + 4 = v + 10, 4*q = -3*v + 10. Let h = -0.1 + -0.3. Sort -1/3, v, h.
v, h, -1/3
Suppose -4*y - 6 = 2. Let f(d) = -d**2 - 5*d - 3. Let s be f(-5). Let u = s - 2. Sort 0, y, u in descending order.
0, y, u
Let m = -0.29 - -0.49. Let n = -673/8 + 84. Put 0, m, n in increasing order.
n, 0, m
Let x be ((-4)/6)/((-7)/42). Put 5, x, 2 in descending order.
5, x, 2
Let s = -8.5 + 9. Let b = -4.9 - -5. Sort s, -0.4, b in descending order.
s, b, -0.4
Suppose 4*t + 2*d + 12 = 0, -3*d = -2*t - 2 - 4. Let z(i) = i**2 - 12*i - 11. Let w be z(13). Sort t, -5, w in decreasing order.
w, t, -5
Let i be (-221)/(-85) - 3/1. Put i, -47, 2 in descending order.
2, i, -47
Let n be 2*(-3 - 2/(-1)). Suppose 0 = 2*f + 10, -3*c - 5*f + 5 - 30 = 0. Let s = 0 + c. Put 1, n, s in descending order.
1, s, n
Suppose 0 = -g + 5*q - 18, 2*g - 4*q = 5*g - 22. Suppose 4 = -0*a + g*a, 0 = 3*m - a + 2. Put m, 4, -5 in decreasing order.
4, m, -5
Let v = -10.24 - -0.24. Let g = v - -15. Let d = 14/15 + -73/30. Sort g, -0.3, d in ascending order.
d, -0.3, g
Let v = -6 - -5. Let z = v - 0. Let c = -0.08 + -0.02. Sort -5, c, z in descending order.
c, z, -5
Let g = -45 - -50. Sort -0.4, g, 0.4 in decreasing order.
g, 0.4, -0.4
Let i = -20 + 20.5. Put 0.2, 1/6, i in descending order.
i, 0.2, 1/6
Let m(n) = n**3 - 5*n**2 + 6*n - 5. Let s be m(4). Suppose -3*d = s*y - 15, -2*y - 25 = -5*d - 0*y. Put -4, d, 1 in ascending order.
-4, 1, d
Suppose -u + 27 = 3*p, 2*p - p - u - 5 = 0. Sort -1, p, -5, 4 in decreasing order.
p, 4, -1, -5
Suppose -20 = 5*y - 5*q, -y = -3*y + q - 4. Let s = 2 - y. Sort -1/10, -1/2, s.
-1/2, -1/10, s
Let u(t) = -t + 1. Let d be u(2). Let f(w) = w**2 + 5*w + 2. Let m be f(-3). Put m, d, -2 in decreasing order.
d, -2, m
Let d = -1 + 0. Let j = -9 + 4.6. Let t = j + 4. Sort 5/3, t, d in descending order.
5/3, t, d
Let p = 2101/1257 - 2/419. Sort -1/2, p, -3 in decreasing order.
p, -1/2, -3
Let x be 10/15 + 14/6. Let f be 2/(-15)*(0 - x). Sort -2/9, f, -2/15 in descending order.
f, -2/15, -2/9
Let q be 12/(-10)*110/33. Sort -2, 5, q.
q, -2, 5
Let a = -7 + 6.7. Let y = 1.06 - 0.06. Let t = 1 + y. Sort t, a, 5.
a, t, 5
Let r = -4 - -2. Let c = 0 - r. Let s = 549/4 + -138. Put 2/11, s, c in ascending order.
s, 2/11, c
Let i = -1 - 0. Let f be -2*1*(-6)/4. Let t = -147.2 - -147. Put i, f, t in ascending order.
i, t, f
Let a(t) = 10*t - 10. Let j be a(2). Sort -2, 1, j, -1 in descending order.
j, 1, -1, -2
Let g = -9 - -6.8. Let u = 2 + g. Sort -1/2, 1, u in descending order.
1, u, -1/2
Let y = -44 - -27. Let l = y - -16.7. Put l, -5, 1 in descending order.
1, l, -5
Let j = -2.62 + 0.12. Let a = -2 - j. Put -1/6, 2, a in decreasing order.
2, a, -1/6
Let p(y) = y + 13. Let r be p(-11). Suppose -5*j - 10 = b, -j + 2*b = -r + 4. Sort j, 4, 1.
j, 1, 4
Let n = -27 + 34. Let u(d) = -d**3 + 9*d**2 - 7*d - 7. Let a be u(8). Put n, a, -2/3 in descending order.
n, a, -2/3
Let v be 0 - (-5)/(25/20). Put 0.3, v, 43 in ascending order.
0.3, v, 43
Suppose -r = 3*r + 8. Sort -5, r, 5.
-5, r, 5
Suppose n - 3*c - 10 = -4, 0 = 2*c + 4. Suppose 2*s = -3*b + 14, s + 5*b - 11 - 10 = n. Sort 4, -5, s in descending order.
4, s, -5
Let b = 623/4 - 155. Sort b, -2/7, 1/2, -0.03 in ascending order.
-2/7, -0.03, 1/2, b
Let i(h) = -h**3 + h. Let p be i(-2). Suppose 4*a + 10 = p*a. Sort -1/3, a, 1/5 in ascending order.
-1/3, 1/5, a
Let w be (1/(-2))/(1/(-6)). Let u be -1 - (2*w - 2). Suppose v - 2 = -v. Sort -3, u, v.
u, -3, v
Let h be ((-3)/18)/((-2)/12). Put h, -2, -8 in ascending order.
-8, -2, h
Let b = 39 + -11. Let f be (-3)/(-1) + (-88)/b. Put -3, f, 0.1 in decreasing order.
0.1, f, -3
Let b = -1.96 + -0.04. Let i = 10.15 - 0.15. Let n = i + -8. Put 0, n, b in descending order.
n, 0, b
Suppose 12*x - 14*x = -6. Put 2, x, 4 in increasing order.
2, x, 4
Let j(h) = h**3 + 6*h**2 - 8*h - 5. Let t be j(-7). Let s be t/(-13) + (-8)/(-26). Put 0.3, -1, s in decreasing order.
0.3, s, -1
Suppose 2 = 3*m - 4. Sort 0, -2, -4, m in descending order.
m, 0, -2, -4
Let f = -10 - -9.6. Let x be (2 - 0 - -13) + -2. Sort f, 0, x in descending order.
x, 0, f
Let d(v) = -v**3 + 3*v. Let q be d(-2). Sort 1, -4, q, 0 in ascending order.
-4, 0, 1, q
Suppose 3*d - 3*r = -5*r + 4, 1 = 2*d + r. Sort 4, -3, d.
-3, d, 4
Let t = 0.27 + -5.27. Put t, -0.4, 5 in decreasing order.
5, -0.4, t
Suppose 2*j + 13 = 3*l, 2*l + 7*j = 3*j - 18. Sort l, 3, -3, -11 in ascending order.
-11, -3, l, 3
Let j(v) = v**3 - 5*v**2 - 2*v + 5. Let t be j(5). Let x(z) = -z + 13. Let o be x(17). Sort 3, o, t in ascending order.
t, o, 3
Let s = 1.23 - -1.69. Let b = 0.08 + s. Sort b, -1/2, 1/7 in decreasing order.
b, 1/7, -1/2
Let y = 14 + -13.5. Sort -3, y, -11.
-11, -3, y
Let g = -59/5 - -12. Let k = -0.024 - -5.124. Let j = k + -0.1. Sort -5, j, g in increasing order.
-5, g, j
Let k be (2 -