easing order.
13, h, -5
Suppose 7*d = -5*b + 6*d + 30, -25 = 5*d. Put 2, 1, b, -5 in decreasing order.
b, 2, 1, -5
Suppose -5*t = 13 + 12. Let r be 22/(-8) + (-2)/8. Let l be (4 - 1) + r + (0 - 2). Sort -1, l, t in decreasing order.
-1, l, t
Let d = -0.1714 - -0.0714. Put d, -2, -107, 0.3 in decreasing order.
0.3, d, -2, -107
Let t be (3 + -7 + 2)/58. Put 9/4, t, -0.5 in decreasing order.
9/4, t, -0.5
Suppose 7*v + 25 = 2*v. Suppose 83 = -2*i + 83. Sort v, i, 6 in decreasing order.
6, i, v
Let y = 12 - 21. Suppose 6*o - 5*o = 27. Let c be 63/o - 1/3. Put y, -5, c in decreasing order.
c, -5, y
Let c = -739 + 740. Sort 69/4, c, 0.
0, c, 69/4
Let v be (4/7)/2 + 1236/84. Suppose -l + 0*l - v = -s, 2*s - 21 = 5*l. Let o(m) = m**3 + 5*m**2 + 3*m - 5. Let d be o(-4). Sort s, d, -3 in decreasing order.
s, d, -3
Let i = -0.117 + -0.183. Sort 2/13, 4, i, 0.5 in decreasing order.
4, 0.5, 2/13, i
Let i(r) = 3*r**2 - 26*r + 37. Let n be i(9). Sort 0, n, 4 in descending order.
n, 4, 0
Let c be 1 + -7 + (-27)/(-4). Sort 0.3, -5, c, 2/17.
-5, 2/17, 0.3, c
Let k be 2/4*-2 + 3. Let c(u) = u**2 - 17*u - 3. Let d be c(17). Suppose v = -4*s + 20, 5*v + 6 = 4*s - 14. Put k, v, d in descending order.
k, v, d
Let z = 3.4 - 57.4. Let d = 59 + z. Sort -4, -0.5, d, -1 in ascending order.
-4, -1, -0.5, d
Let v be 2*(98/4)/(-7). Let d be (17/(-4))/(v/(-28)). Let l = d - -19. Sort -2, 11, l in descending order.
11, l, -2
Let h = -1.606 - -1.506. Sort 4, -0.3, -37, h in descending order.
4, h, -0.3, -37
Let c = -3543 - -3547. Let t be (2 - 3) + (-15)/(-7). Sort t, c, -0.5.
-0.5, t, c
Let j = -45/17 + 889/323. Sort 8, 0.5, 3/4, j in decreasing order.
8, 3/4, 0.5, j
Suppose 0 - 6 = m + 3*o, 3*m - 3*o = 6. Suppose 0 = -2*c + 97*l - 94*l - 7, 2 = -c + l. Sort -3, m, -5, c in ascending order.
-5, -3, m, c
Let u = 254 - 254.2. Sort -2, u, -15/13.
-2, -15/13, u
Let h be 99/(-27) + (-6)/18. Sort h, 2, 35 in increasing order.
h, 2, 35
Let u be (-6)/21 - (-9)/7. Suppose -2*c + 5*h = 2*h - 447, 0 = -4*c + 3*h + 879. Let y be (c/39)/(-3) - (-1 - 1). Put u, y, 0.4 in ascending order.
y, 0.4, u
Let m(d) = 3*d - 32. Let c be m(11). Suppose 4*u = 3*a - 4, -2*u + 2*a - 3 = c. Put u, 0, -1, 5 in descending order.
5, u, 0, -1
Let g = 5 + -5. Let d = -13 + 7. Let i be 60/(-24)*d/(-5). Sort i, g, 5 in increasing order.
i, g, 5
Suppose h - 9 = -0. Let y = h - 5. Suppose -3*x + 1 = -3*a + y, -3*a + 1 = -2*x. Put a, 3, 5 in decreasing order.
5, 3, a
Suppose 5*q - 2 = 2*o + 5, 0 = -q - 5*o - 4. Let b(c) = 2*c**3 + c**2 - 1. Let x be b(q). Let a = x + -7. Sort 1, 5, a.
a, 1, 5
Let j = -34.12 - -0.12. Let t = -38 - j. Sort 2/15, -0.4, t.
t, -0.4, 2/15
Let d = -288 - -284. Put -31, d, -3 in descending order.
-3, d, -31
Let j = 11973/226 - -2535333/2938. Let r = 915 - j. Let y = r - -14/13. Sort y, 3, 2/9 in increasing order.
y, 2/9, 3
Suppose 2*c = -2*c - 3*a + 9, 4*a + 20 = 0. Suppose -3*l + 2*y + 4 = 0, -6*l + y = -11*l + 24. Put c, -4, l, -5 in descending order.
c, l, -4, -5
Suppose 5*c - 9*c = 68. Suppose 0 = y, 2*o = o - 2*y - 1. Sort o, -4, c.
c, -4, o
Let r be (-6)/15 + 828/(-30). Sort 4, r, 2, 3 in decreasing order.
4, 3, 2, r
Let o(f) = -f - 5. Suppose -5*a + 20 = 5. Let s be o(a). Let p(d) = d**3 + 7*d**2 - 9*d - 6. Let t be p(s). Sort -6, t, -1 in ascending order.
-6, -1, t
Let y = 3 - 5. Suppose 0*s + 120 = -4*s. Let m be 40/s - (-1)/3. Put y, m, 3 in decreasing order.
3, m, y
Let n be 2/13 + 4*(-4)/104. Suppose -2*b - 6 = -2*l, b - 1 + 0 = n. Sort 5, 3, 1, l.
1, 3, l, 5
Let c = -417.3 + 417. Put c, 0.4, 0.5, 18 in increasing order.
c, 0.4, 0.5, 18
Let f = 207 + -207. Let b = -6 - -5.4. Sort f, b, -2/11.
b, -2/11, f
Suppose 12 = u + 5*y - 6, -3*u + 111 = -4*y. Put 6, u, 5, -5 in increasing order.
-5, 5, 6, u
Suppose 62*u - 4*s = 60*u - 10, -s + 5 = 2*u. Sort -6, u, 8 in decreasing order.
8, u, -6
Let p = 0.088 - 0.068. Let l = -3 - -2.6. Sort -1, l, p in decreasing order.
p, l, -1
Let v = 13 + -8. Suppose 3*o + 3*g - 12 = 0, 2*o - 2*g + 5 = o. Let y be (-2)/(o - (-5)/(-10)). Sort v, -2, y in decreasing order.
v, -2, y
Let r = 22 - 22.2. Let z = -11.5 + 12. Sort r, z, -19 in ascending order.
-19, r, z
Let s(h) = -2*h - 5. Let f be s(-4). Let z = 625 - 625. Put -12, f, z in descending order.
f, z, -12
Suppose -3*y + 4*w = -41, -5*y + 2*w = 5*w - 107. Suppose -6 = -2*a, -k - 2*a = -3 - 6. Sort k, y, -3 in decreasing order.
y, k, -3
Suppose 8*x = -32 + 32. Put -55, 2, x in descending order.
2, x, -55
Let d = -78 + 74. Sort 3, d, 1/3, 4.
d, 1/3, 3, 4
Let y(v) = v**3 - 6*v**2 + 6*v - 9. Let g be y(5). Suppose 4*m = 2*s - 28, 0*m + 35 = 5*s - 3*m. Let z = 11 + -14. Sort g, s, z in ascending order.
g, z, s
Let k = -350 + 347. Sort k, 5, 15.
k, 5, 15
Let b = 191 - 409.5. Let u = b + 218. Suppose 3 = t - 1. Sort -4, t, u in decreasing order.
t, u, -4
Let v be 10/(-8) - 6/(-8). Let j be (8 + 4)*6/9. Let t(a) = -a**2 + 9*a - 2. Let l be t(j). Sort l, 0.3, v.
v, 0.3, l
Let m = -1.36 - 1.64. Let j(f) = f + 10. Let i be j(-8). Sort m, i, -11 in descending order.
i, m, -11
Let o = -3 - -2.8. Suppose 0 = 2*n - 8, 2*n - 18 + 6 = -b. Suppose b - 21 = 4*c - 5*z, 2*z = -3*c - 7. Put o, 1/6, c in descending order.
1/6, o, c
Let z be 4*1976/128 - 2/(-8). Sort z, -1, 5, -4 in ascending order.
-4, -1, 5, z
Suppose 2*b - 2 = 5*i + 6, 0 = -3*i. Suppose -15 = -4*k + f, -4*k + f + b*f = 5. Put k, 2, -1, 19 in increasing order.
-1, 2, k, 19
Let i be 6/(-27) + (2681/36 - 4). Let r = i + -71. Sort r, -4/3, 0.6, 0.2 in ascending order.
-4/3, r, 0.2, 0.6
Let k = -489 - -489.5. Put 2/17, k, -36 in descending order.
k, 2/17, -36
Let n(k) = 22*k - 160. Let r be n(7). Sort 1, 4, 2, r.
r, 1, 2, 4
Let w(t) = t**3 + 8*t**2 + 11*t - 15. Let o be w(-4). Let j = -8 - -16. Suppose -2*i + q + 3*q = j, -4*i = 2*q + 16. Sort i, 3, o in descending order.
o, 3, i
Let o = -7.54 + -35.76. Let n = o + 43. Put -2, n, -4 in descending order.
n, -2, -4
Let r be ((-9)/(-27))/((-1)/3). Sort r, 0, -3, 14 in ascending order.
-3, r, 0, 14
Let o be ((-12)/27)/((-10)/(-15)). Put 4, o, 14 in ascending order.
o, 4, 14
Let r = -0.2588 + 0.5588. Let g = -0.44 - -0.04. Let m = g - -4.4. Sort r, -1, m in descending order.
m, r, -1
Let t = 1198 + -1191. Put t, -7, 3, -5 in descending order.
t, 3, -5, -7
Suppose 7*a - 434 = -77. Let u = -53 + a. Sort -1/9, u, 1/5.
u, -1/9, 1/5
Let z = 49 + -48.46. Let x = -0.01 + 0.05. Let w = x - z. Sort w, 4/3, 0 in decreasing order.
4/3, 0, w
Let y = -442/3 + 147. Let a = -0.8 - 0.2. Let j = 1.1 + a. Put y, j, 1/5 in decreasing order.
1/5, j, y
Let y = -0.6 - -0.5. Let o = -32.575 + 0.475. Let u = -32 - o. Put y, u, -5 in descending order.
u, y, -5
Let r = -6449/3 - -2150. Suppose 3*p - 11 = -2. Put p, 1, -0.5, r in increasing order.
-0.5, r, 1, p
Let t = -17.2 - -17.059. Let s = t + 0.641. Sort -5, s, -3, -5/3 in decreasing order.
s, -5/3, -3, -5
Let y = 0.1 - 0.3. Let q = -427 - -427. Put 1/8, q, y in decreasing order.
1/8, q, y
Let w = 20.2 + -20. Let b = 3.2 - w. Let d(n) = n**3 + 3*n**2 + n - 1. Let k be d(-3). Sort 2, k, b in descending order.
b, 2, k
Let j = 4.502 + 0.498. Put j, -2/7, 0.5, -0.2 in descending order.
j, 0.5, -0.2, -2/7
Let k = -0.24 + 0.13. Let y = 5.11 + k. Let x = -17.48 - -17.08. Sort y, -5, x in increasing order.
-5, x, y
Let k = 2079 + -2084. Sort k, 0, 7 in descending order.
7, 0, k
Suppose 11 = -m + 3*s, -s + 1 + 0 = -3*m. Put 12, -1, m, -3 in descending order.
12, m, -1, -3
Let w(v) = -v**3 - 10*v**2 + 5. Let y be w(-10). Let x(b) = -b**3 + 6*b**2 - 6*b + 6. Let j be x(y). Let o = 3/8 - 13/56. Put j, 0, o in ascending order.
0, o, j
Let p be -1 + (5 + -3 - -2). Let i be 66/(-44)*3/((-9)/8). Put 8, p, i in decreasing order.
8, i, p
Let a be (-2)/(-8)*-4*11. Sort a, 4, 13 in descending order.
13, 4, a
Suppose 2 = -c - 0*c - t, -2*c - 4*t - 14 = 0. Suppose 2*i - 6*i = 0, 0 = 4*g - 5*i + 48. Let u be 1/((-3)/g*-2). Sort c, -1, u in increasing order.
u, -1, c
Suppose 2*m = 6, -m - m - 96 = -2*u. Sort u, 0, 3 in descending order.
u, 3, 0
Let v be (1/(-2))/(46/(-92)). Put 19, v, 3 in decreasing order.
19, 3, v
Let p(c) be the first derivative of c**3/3 + 7*c**2/2 - 16*c - 11. Let m be p(-8). Let a be 3 - 5 - 2*-1. Put a, m, 4 in increasing order.
m, a, 4
Suppose -5*x = 0, -5*x + 8 = 4*o - 6*x. 