 Let y = d + -2. Suppose -3*h = -5*a - 27, -3*a + 3 + 0 = 3*h. Sort h, -2, y.
-2, y, h
Suppose -2*z - 9 = z. Let o be 1*z/(-3)*-3. Put 1, o, -5 in descending order.
1, o, -5
Suppose o - 1 = -2*a, -2*a + 5*a = o - 11. Suppose 0 = o*w + y + 19, 3*y = 3*w + 6*y + 21. Let t = 0 - -1. Put t, w, -2 in decreasing order.
t, -2, w
Suppose 2*k = -d + 7, -5*k = -3*d - 0*k + 10. Let p = -179 - -178. Put 3, p, d in descending order.
d, 3, p
Let m(u) = 5*u + 22. Let p be m(-5). Put 2/9, p, -0.3, -2/3 in ascending order.
p, -2/3, -0.3, 2/9
Suppose -5*w + 21 = -4*a, 3*w = -a + 5 - 6. Sort 5, 0, 2, w in descending order.
5, 2, w, 0
Let b = 72 + -575/8. Suppose 4 = 3*g - 2. Put b, g, -0.5 in descending order.
g, b, -0.5
Let b = 0 - 1. Let o = -0.7 - b. Sort -1/3, o, 1 in decreasing order.
1, o, -1/3
Let b(u) be the first derivative of -u**2/2 - u - 7. Let k be b(-1). Sort 1, -3, k in ascending order.
-3, k, 1
Let y be (-11)/(-44) - 23/(-4). Suppose -y*f + 11*f = 25. Put f, -1, -8 in decreasing order.
f, -1, -8
Let r be (-80)/42 - (-1 + -1). Let n = 1/179 - -349/1611. Put n, 2/15, r in ascending order.
r, 2/15, n
Let n(y) = 3*y**2 + 29*y - 9. Let u be n(-10). Put u, 5, -18 in descending order.
5, u, -18
Suppose 3*j + 5*g + 50 + 8 = 0, 3*g = -5*j - 70. Let u(q) = -q - 11. Let b be u(j). Sort b, 3, -3 in decreasing order.
3, b, -3
Let m be 414/(-115) + 3/5. Suppose -4*l - 3*b = 14, 3*l + 2*b + 5 = -5. Sort -1, m, l in descending order.
-1, l, m
Suppose 1027*j - 1036*j = 9. Suppose i - 6 = -2*i. Suppose 4*k + i*w = 18, k - w + 13 = 4*k. Sort j, k, -3 in descending order.
k, j, -3
Let v = -40 - -36. Sort v, 3, 2, -1 in descending order.
3, 2, -1, v
Let w = -0.009 + 0.209. Let i = 0.34 + -0.3. Let v = -0.26 - i. Sort v, w, 3 in ascending order.
v, w, 3
Let d = 3.08 - 0.08. Let l = -12 - -58/5. Sort d, l, 0.1 in decreasing order.
d, 0.1, l
Let c = -146/3 - -50. Let h be (-3)/(-22)*24/18. Sort c, 2, h in decreasing order.
2, c, h
Let y = 6 + -1. Let b be (-4)/10 - (-7)/y. Suppose 3*j - 3 = j + i, 4*i = 3*j - 12. Sort j, -4, b in increasing order.
-4, j, b
Let y = -1 - -13. Let x be ((-2)/8)/(y/40). Sort 3/5, -5, x.
-5, x, 3/5
Suppose 0*c - 10 = -2*c. Put 3, 0, c in descending order.
c, 3, 0
Let x(b) = b**2 - 1. Let s be x(-2). Let j(n) = -2*n**2 - 27*n + 6. Let k be j(-14). Put -1, s, k in ascending order.
k, -1, s
Let k = -9 + -5. Put 2/5, k, -0.4 in decreasing order.
2/5, -0.4, k
Let j(q) = q**2 + 5*q - 7. Let w be j(-5). Let c = w + 7. Suppose 5*p = -2*a - 17, a + 2*p + 7 = -c*a. Sort 0.3, a, 1 in decreasing order.
1, 0.3, a
Let b be 40/56 - (-4)/14. Sort 2, b, -3.
-3, b, 2
Let h(y) = -y**3 - 17*y**2 + 17*y - 17. Let r be h(-18). Sort 4, r, 8 in ascending order.
r, 4, 8
Suppose 3*h = 3*a - 12, 3*a - 4*a - 3*h = 12. Put a, 5, 3 in increasing order.
a, 3, 5
Let h = -3 + 3.6. Let s = -0.9 + h. Sort s, -2, 1.
-2, s, 1
Let d = 8 + -5. Let g = -6 + d. Let b = g - -2. Sort -3/5, b, 1 in decreasing order.
1, -3/5, b
Let v be (1 - 2)*(1 - (10 - 4)). Sort v, 3, -16, -2 in increasing order.
-16, -2, 3, v
Let b = 12 + -21. Let u = 14 + b. Let y = 40 - 45. Put 1, y, u in increasing order.
y, 1, u
Let t = 5 + -4. Let z(c) = 1 + 0*c**3 + 2 - 4*c**3 - 3*c**2 + 3*c**3. Let i be z(-3). Put t, i, 0 in descending order.
i, t, 0
Let z be -5*2/((-2)/(-1)). Let f be (-6)/(-4)*(-32)/(-12). Sort -2, z, f in descending order.
f, -2, z
Let p be (-2 + -1)/((-3)/5). Suppose p*u = -7 - 8. Suppose 5*y - 10 = -0*y, 6 = 2*w + 4*y. Sort 4, u, w in decreasing order.
4, w, u
Let v = 8 + -6. Let a = 91 - 98. Sort 4, a, v in increasing order.
a, v, 4
Let y = -5 + 9. Suppose -y = 4*p + 12. Sort 4, 4/5, p in ascending order.
p, 4/5, 4
Let i be (-5)/15 - (-38)/6. Suppose v - 15 = i*v. Let q(h) = -h**3 + 2*h**2 + 3*h - 1. Let j be q(2). Sort j, v, 4.
v, 4, j
Let r = 3 + -8. Sort 9, r, 1/3 in descending order.
9, 1/3, r
Let z = 1 + 4. Let d be 2/12 + 42/(-36). Sort d, -2, z in ascending order.
-2, d, z
Suppose -5*k = -13 - 12. Put k, -18, 2 in increasing order.
-18, 2, k
Let x be ((-6)/4)/(10 - (-1339)/(-130)). Suppose -5*k - 8 = -r, 3*r - 2 = -2*k - 12. Sort r, x, -1 in decreasing order.
x, -1, r
Let v = -8 + 31/4. Sort -0.1, 0.3, v in decreasing order.
0.3, -0.1, v
Suppose -2*v = z + 2*z + 5, z - 10 = -3*v. Put 1, 12, v in descending order.
12, v, 1
Suppose f + 4 - 3 = 0. Suppose 2*w + 3*w = 0. Sort 2, w, f in decreasing order.
2, w, f
Suppose 2*c - 3*p + 2*p = -3, 0 = -3*c + p - 5. Let a = 0.44 - 0. Let x = 0.04 - a. Put c, -3, x in decreasing order.
x, c, -3
Let j be (-7)/20 - (-42)/70. Sort 1/3, -3, j in increasing order.
-3, j, 1/3
Suppose -5*m + 2*m = -2*z - 10, -5*z - 2 = 4*m. Sort -1, -3, z, 0.5 in increasing order.
-3, z, -1, 0.5
Suppose -5*t + 13 = 3. Let u be (-3 + 6)/(3/t). Suppose 0 = 3*k + 4*j + 29 - 6, 4*k - 2*j - 6 = 0. Put k, -2, u in descending order.
u, k, -2
Suppose -2*o = -4*y, 3*o = -4*y - 22 + 12. Put 1, y, 104 in descending order.
104, 1, y
Suppose -4*n - 331 = -315. Sort 3, -15, n, 1 in descending order.
3, 1, n, -15
Let j be (-36)/26*3 + -1. Let f = -5 - j. Let r = 12 + -11.7. Put r, -2, f in ascending order.
-2, f, r
Let x be 1 + (3 - (-58)/(-14)). Let b be 4/12 - (-19)/(-63). Let j = x + b. Put 0.5, -2/11, j in ascending order.
-2/11, j, 0.5
Let q = 0.3 - -0.7. Let s = -0.8 + q. Let t = 67 - 67. Sort t, -2/11, s.
-2/11, t, s
Let d = 26 - 28. Sort 3, -3, d in descending order.
3, d, -3
Suppose z = 5*o + 10, 0 = -3*z + 2*o - 1 + 5. Let g = -4 + 4.5. Sort z, g, 0.4 in descending order.
g, 0.4, z
Let x = 831/7 + -119. Let t = 40 + -43. Sort t, -1, x.
t, -1, x
Let b = -3 + 2.7. Let d = -0.2 - b. Let t = -1 - 1. Sort t, d, -0.5.
t, -0.5, d
Let w(u) = u**3 - 3*u**2 + 3*u - 1. Let c be w(2). Let s be -3*(1 - 2)/c. Sort 1, s, 4 in descending order.
4, s, 1
Suppose 3*c - c + 6 = 0. Suppose 43*d + 4 = 44*d. Let b = 1 + -1. Put b, c, d in decreasing order.
d, b, c
Let t be 37/(-12) - -2 - -1. Let d = -0.17 + 0.17. Let v = -3.03 + 0.03. Put d, v, t in descending order.
d, t, v
Let y = -54 + 51. Sort -6, 5, y in increasing order.
-6, y, 5
Let n = 0 - 3. Let a = 0.4 - 0. Let d = -0.1 + a. Put d, -5/6, n in increasing order.
n, -5/6, d
Let x = 0.9 + -0.6. Suppose 2*l + 4*d = 20, -l + 4*d - 6 - 2 = 0. Put x, 3, l in increasing order.
x, 3, l
Let n = -0.3 - -0.5. Let d be 4 - 4 - (-2)/9. Put d, n, -2/9 in decreasing order.
d, n, -2/9
Let j = -2.85 - 1.13. Let d = -0.02 + j. Sort d, 0.1, 2/9.
d, 0.1, 2/9
Suppose -7*g + 2*g = -20. Suppose -25 = 3*x + 2*x, -g*x = 3*o + 8. Put -5, 5, o in decreasing order.
5, o, -5
Let s = -27 - -27.4. Sort s, 4, -4/3 in decreasing order.
4, s, -4/3
Let p = 2 + 3. Suppose 0 = -p*a + 6*a - 3. Suppose -6 = v + v. Sort v, a, -2.
v, -2, a
Let x = -65 + 60. Sort -2, -6, x.
-6, x, -2
Let k = 925/4 - 233. Let p = k - -1. Let d = 2 + -1.5. Sort -1, p, d in descending order.
d, p, -1
Suppose -4 = -5*x + 31. Suppose u - l = 2, -4*l = 4*u + 17 + x. Put u, -5, 3 in ascending order.
-5, u, 3
Suppose -2*d + 4*d = 4*u + 14, 3*d - 13 = -2*u. Put u, 0.2, 3 in descending order.
3, 0.2, u
Let t be (-350)/(-20)*(-3 - -1). Let u = t + 317/9. Sort 2/3, -5, u in decreasing order.
2/3, u, -5
Let p = -48 + 52. Put 2, p, 3 in descending order.
p, 3, 2
Let j be 2/(-8)*(0 - -4). Sort j, 0.1, 1.
j, 0.1, 1
Suppose -3 = -m - 2*m. Let s be (m + -1 - 0)/1. Sort s, 0.5, -4/5.
-4/5, s, 0.5
Let l be -7 + 8 + -2*2. Put 2, l, 5 in descending order.
5, 2, l
Let r = -15 - -2. Let b = r - -9. Sort b, 0, 4.
b, 0, 4
Let i be -2*(-1 + 0)/2. Let d be (-2 - i)*(-2)/3. Let x = -13 - -11. Sort d, 0, x in increasing order.
x, 0, d
Let p be (((-4)/(-8))/1)/3. Let x(q) = q - 1. Let g be x(4). Put p, -3/4, g in decreasing order.
g, p, -3/4
Let a(k) = k - 3. Let f be a(3). Suppose -5*l - 45 = -5*g, 0 = 2*l + l - 2*g + 23. Sort l, f, -0.3.
l, -0.3, f
Let b = -6 - -6.3. Let m = 4.7 + b. Let z be (0 - -1) + -8 + 2. Put m, z, 2 in decreasing order.
m, 2, z
Let u = -50.4 - -50. Put -0.5, u, -1, -3 in decreasing order.
u, -0.5, -1, -3
Let j = -32 + 19. Let t = 7 + j. Let a = t - -6.4. Sort a, -0.4, -5 in ascending order.
-5, -0.4, a
Let m = -194/247 - -12/19. Put -1/4, -0.3, m in increasing order.
-0.3, -1/4, m
Suppose -13*s + 2 = -11*s. Put -4, -1, s in decreasing order.
s, -1, -4
Suppose -3*m + 3*p = -3, -m - 3*p - 3 =