Sort 6, -4, 1, a in descending order.
6, a, 1, -4
Let m be (-3 - -2)/((-2)/4). Suppose 3*j = -m*d + 9, -5*j - 2*d + 15 = 3*d. Suppose -3*b + 7 = -n, -3*b = -7*n + 4*n - 15. Put b, j, 0 in descending order.
j, b, 0
Suppose 0 = 2*j - 10, 4*w + 3*j - 6 - 9 = 0. Suppose 0 = 5*b - 25, -59 = -4*t + 5*b + 8. Suppose 0 = 2*v - 5*f + t, -3*v - f + 0 - 9 = 0. Sort w, -5, v.
-5, v, w
Let t = -4 - -4. Sort 8, -5, t in ascending order.
-5, t, 8
Let g = -46.92 - -49. Let y = -0.08 + g. Sort -0.3, 4, y in descending order.
4, y, -0.3
Suppose -2*g = -5*x + 22, -x - 2 + 8 = -2*g. Suppose 3*t = 7*t. Suppose f + 0*f = t. Sort x, f, 2 in decreasing order.
x, 2, f
Let q(i) = 27*i - 4. Let d be q(-4). Let a be d/(-20) + (-2)/(-5). Let g = a + -9. Put 0, 4, g in increasing order.
g, 0, 4
Let i = 3.024 + -0.024. Let y = 76 - 382/5. Sort y, i, -2/3 in increasing order.
-2/3, y, i
Let u = 21 + -17. Let v be (-1)/(-4) + (-351)/60. Let n = -31/5 - v. Sort -2, n, u.
-2, n, u
Let r = -14 + 9. Let z(j) = -j + 3. Suppose 0 = 2*g - 0*g - 6. Let l be z(g). Put r, l, -3 in decreasing order.
l, -3, r
Let q = -19 - -27. Let t = 3 - q. Sort t, 2, -2 in increasing order.
t, -2, 2
Let y(p) = p**2 + 3*p - 8. Let k(t) = -t**2 - 3*t + 7. Let v(c) = 7*k(c) + 6*y(c). Let m be v(-2). Sort 2, m, 5 in ascending order.
2, m, 5
Let z be 2/(-4) - 14/(-4). Let l be (-1 - 0)*z/(-5). Sort -3, l, -4 in descending order.
l, -3, -4
Let h be -2*6*(7/(-4))/(-7). Let g(b) = b + 4. Let c be g(-5). Sort c, h, 1 in descending order.
1, c, h
Let f(m) = -m**2 - 3*m - 5. Let g be f(0). Sort -2, g, 2, 1 in decreasing order.
2, 1, -2, g
Let w = 7.6 + -4.6. Sort 0.02, w, -3 in increasing order.
-3, 0.02, w
Let k be (-2)/((-12)/(-9))*-14. Let q = -12 + k. Let l be (-4)/(-6)*q/6. Put 2, l, -2 in decreasing order.
2, l, -2
Let l be (-6)/24 + 9/4. Sort -4, -1, l in ascending order.
-4, -1, l
Let z = -15 + 15.5. Let y = 9 - 11. Sort -1, y, z.
y, -1, z
Let d = -11 - -6. Let r be (-4)/(-6) - (0 - -1). Let b = 165 - 493/3. Sort r, b, d in descending order.
b, r, d
Suppose 4*v - 2*v - 8 = 0. Suppose -v*n = -n + 5*x - 11, -5*n - 5*x + 15 = 0. Let s = 0.35 + -0.05. Sort -3, n, s.
-3, s, n
Let b(d) = d**3 - 9*d**2 + 7*d + 8. Let a be b(8). Suppose 5*k = -a*k + 5. Let p be -2 + k - 3/(-3). Sort 1, 2, p in increasing order.
p, 1, 2
Let m = -3.5 - -1.5. Let c = 3 - m. Sort -0.3, c, 0 in ascending order.
-0.3, 0, c
Let k = 39 - 38.9. Sort k, 2, 1 in decreasing order.
2, 1, k
Let x(s) = -s**3 - 2*s - 2. Let l be x(-1). Let f = -1 + 2. Suppose 0 = -3*z - f - 2. Sort l, z, -4.
-4, z, l
Let d = -3/23 + 73/207. Let q = 1/19 - 47/171. Put d, q, -3 in descending order.
d, q, -3
Let z = 1 - 0.6. Let w be 2/13 - (-18)/52. Let o be 6/70 + 8/(-28). Put o, w, z in ascending order.
o, z, w
Suppose 5*d - 14 = 3*t + 1, 3*d = -2*t - 10. Let y = -2 + 5. Suppose -5*b = -y*h - 25, 4*b - 2*b + 2*h = 10. Sort -3, d, b in descending order.
b, d, -3
Let t = -76 - -76.37. Let s = t - -0.03. Let a = 7 - 3. Put a, s, 1 in increasing order.
s, 1, a
Suppose 5*h - h + 18 = -3*s, -2*s = h + 12. Let p = -4 - s. Let j be (1/(-1))/(5/(-25)). Put p, j, -5 in descending order.
j, p, -5
Let b(t) = 8*t. Let v be b(-1). Put v, -2/7, -3 in decreasing order.
-2/7, -3, v
Let a = 4 + -7. Let f be (8/(-54))/(84/126). Sort f, 0.4, a in ascending order.
a, f, 0.4
Let j be (-10)/14 - (-4)/(-14). Let y(m) = m. Let d be y(7). Let c = -11 + d. Sort j, -3, c in descending order.
j, -3, c
Let s(d) = -d**3 + 6*d**2 - 5*d. Let v be s(4). Suppose 2*z - v + 4 = 0. Let o be (3/2)/(z/(-8)). Sort o, 3, 5 in decreasing order.
5, 3, o
Let a(s) be the third derivative of -s**6/120 + s**5/10 - s**4/6 - s**3 - s**2. Let x be a(5). Sort 5, -3, x in decreasing order.
5, x, -3
Let s be 2 - (1 - 1)*-1. Let g = -7.93 - -8. Let u = -0.03 - g. Sort s, u, 4 in descending order.
4, s, u
Suppose 4*a - 2*a = 2. Suppose -w + 3*f - 2 = -a, 5*w = 5*f + 5. Let x be -7 - ((-12)/3 - -2). Sort w, 3, x in descending order.
3, w, x
Let k be (-1 + 2/10)/1. Let a = 6 + -1. Sort a, k, -0.5 in ascending order.
k, -0.5, a
Let u = 0.33 - 2.33. Sort 2/3, 1, u in descending order.
1, 2/3, u
Let r = 111 - 99. Sort r, 0, -2, -0.1.
-2, -0.1, 0, r
Suppose 3 = -2*f - 7. Sort f, 2/9, 0.5, 1/3 in descending order.
0.5, 1/3, 2/9, f
Let p = -5 + 10. Sort p, -4/5, 0.2, 1 in descending order.
p, 1, 0.2, -4/5
Let q be 0 + (-1)/(1 - -25). Let b = -57/130 - q. Let g = 2/33 + -13/33. Sort -4/3, b, g.
-4/3, b, g
Let y be ((-3)/6)/((-1)/2). Let u be 0/y - (-10)/2. Let t(x) = x + 5. Let w be t(-6). Put w, u, -4 in decreasing order.
u, w, -4
Let j = -12 + -5. Let g = j - -12. Let s(t) = -t**2 + 3*t + 20. Let q be s(6). Put q, -1, g in descending order.
q, -1, g
Let k be 6 + (0 + -2)*(-1 + 3). Sort 5, k, 10.
k, 5, 10
Let i = 82 + -86. Put -0.3, i, 2, -1/2 in decreasing order.
2, -0.3, -1/2, i
Let l = 21 - 16. Put -2, 2, l in decreasing order.
l, 2, -2
Let t be (3/22)/(18/(-8)). Let k be -1*1 + (-116)/(-99). Let y = k + t. Put y, -0.3, -5 in increasing order.
-5, -0.3, y
Let x(z) = -z**3 + z + 4. Let c be x(0). Suppose 0 = -2*m - 2*m + c*b + 16, -m - 16 = 4*b. Sort -2, -3, m in decreasing order.
m, -2, -3
Suppose 3*w - 5*v = 2*w - 24, 2*w - 3*v + 20 = 0. Let c = -8 - -11. Put -1, c, w in increasing order.
w, -1, c
Suppose n = -3*n. Suppose n = -4*z + 8*z. Sort 2, 3, z in ascending order.
z, 2, 3
Let b = -0.1 - -0.1. Let c(m) = -4*m - 1. Let q be c(-1). Put b, q, -1/6 in descending order.
q, b, -1/6
Let u = 18 - 14. Sort 1, u, 0.1 in decreasing order.
u, 1, 0.1
Let u = -51/2 + 25. Let s = 0.06 + 0.24. Put u, -1/11, s in descending order.
s, -1/11, u
Let j = -6 + 8. Let m be 4 - 4/12*-3. Sort m, 4, j in increasing order.
j, 4, m
Let z = 3.3 + -0.3. Let i = z + -5. Sort 0.2, 0.04, i.
i, 0.04, 0.2
Let q(j) = 2*j - 44. Let r be q(20). Sort 0, -2, r, 5 in descending order.
5, 0, -2, r
Let n = -0.02 + -1.98. Let c = 2 + n. Let s = c + -2. Sort -3/8, s, 0.5.
s, -3/8, 0.5
Let h(a) = -a**2 + 4*a + 13. Let b be h(6). Let y = -2 - 3. Put y, -2, b in descending order.
b, -2, y
Let x be (-2 + 1)*(-1 + 2). Let h = -4.06 - -3.76. Put x, 0, h in ascending order.
x, h, 0
Let t = 0.53 + -2.53. Sort 0.2, -3, t, 0.3 in decreasing order.
0.3, 0.2, t, -3
Suppose 0 = 3*m - 8*m - 3*y + 16, -4*y + 14 = 3*m. Put 5, m, 3 in descending order.
5, 3, m
Let i = 1 - 0.8. Let p = -38 - -37. Sort -3/5, i, p.
p, -3/5, i
Let k = -22 + 21. Put -5, k, -3, 0 in decreasing order.
0, k, -3, -5
Let h = 0.34 + -0.64. Put -1/6, h, 0.3 in decreasing order.
0.3, -1/6, h
Let x = 1.5 + -1. Let y = -113/3 + 38. Put y, -0.3, x in descending order.
x, y, -0.3
Let i(d) = -d - 4. Let w be i(-6). Suppose -3*g + 28 = -4*m - 0*m, -5*g - 2*m + 12 = 0. Put -4, w, g in descending order.
g, w, -4
Let v = 9 - 4. Put 4, v, -4 in descending order.
v, 4, -4
Let k = 686.14 - 694. Let p = k - 0.14. Sort 3, 2, p in decreasing order.
3, 2, p
Let k = 2 - 5. Let b = -6.3 + 6. Let z = 127 + -637/5. Put z, b, k in descending order.
b, z, k
Suppose 2*b = 4*d + 4, 2*d + 0*d - 5*b - 14 = 0. Sort -2/9, d, -1/10.
d, -2/9, -1/10
Let y = 2.16 + -0.21. Let m = y + 0.05. Put m, 1, 0.2 in increasing order.
0.2, 1, m
Let z be (-6 - (-92)/12)*(0 + -3). Put z, 2, -4 in descending order.
2, -4, z
Suppose 6 + 14 = 4*d. Suppose t + 2*g = -d, 5*t + g - 3*g = 23. Let n = -8 + 3. Sort n, -4, t in descending order.
t, -4, n
Let d = 0.1 + -0.3. Let b = -17 + 16.5. Put b, -1, d in ascending order.
-1, b, d
Suppose -2*w + 3*u + 15 = 0, -2*u - 7 - 3 = -2*w. Suppose -4*q + 2*h = 2, 0 = -3*q - q + 3*h - 1. Put 3, q, w in decreasing order.
3, w, q
Let z(s) = -s**2 + 5*s - 15. Let v be z(4). Put 2, 1, v, -1 in decreasing order.
2, 1, -1, v
Suppose 3*o - 5*o = -4*m - 36, 0 = -m - 5. Suppose 4*t + c = -o, 2*c = 2*t - t + 2. Let w be (-5)/(-3)*(-6)/t. Put w, 2, -2 in decreasing order.
w, 2, -2
Let l = 121 - 121. Sort l, -0.3, 2/3 in descending order.
2/3, l, -0.3
Suppose -4*p + b - 12 = -0*b, -5*p - 5*b - 15 = 0. Let v be (2/(-4))/((-7)/(-28)). Sort v, 5, p.
p, v, 5
Let q(v) = -2*v**3 + 3*v**2 + 5*v + 2. Let f(x) = -3*x**3 + 6*x**2 + 9*x + 3. Let m(r) = -3*f(r) + 5*q(r). Let h be m(-2). Sort -3, h, -1 in descending order.
h, -1, -3
Let o = -138 - -136. Sort o, 0.1, 0.4.
o, 0.1, 0.4
Let o(t) = t - 30. Let g be o(28). Put g, 1, 3 in in