et t = -931.5 + 932. Put -0.4, t, 128 in descending order.
128, t, -0.4
Let z be (44 - 8)*(-2)/(-3)*1. Suppose 27*t - z*t = 39. Sort 1, t, -2, 3 in decreasing order.
t, 3, 1, -2
Let w = 448 + -441. Suppose 0*k - 4*k = -j - 23, 5*k - 25 = 0. Sort -2, w, j.
j, -2, w
Suppose 0 = -3*p - 15, -5*p = -v + 8 + 14. Let i be (28/6)/(3/9). Sort i, v, 4 in decreasing order.
i, 4, v
Let t(c) = 61*c + 490. Let i be t(-8). Let w be (-38)/(-6) + 2/3. Let l(z) = -z**2 + 6*z + 3. Let b be l(w). Put i, b, 1 in increasing order.
b, 1, i
Suppose -42*g + 36*g - 30 = 0. Suppose -4*l + 6 + 2 = 0. Sort 5, l, 1, g in ascending order.
g, 1, l, 5
Let b be (-2)/(-4) - 20/(400/(-30)). Suppose 12 = -4*c, 0 = -t - 0*t - 5*c - 20. Let u be (-22)/(-4) + 2/(-4). Sort t, u, b.
t, b, u
Let w be 0/18 - 2*2. Let k = -132/355 + -2/71. Sort k, 1, -2, w in ascending order.
w, -2, k, 1
Let m(n) = 3*n - 46. Let g be m(18). Let f be ((-4)/6 - g/(-9))*-1. Sort 0.2, -3, -0.3, f in descending order.
0.2, f, -0.3, -3
Suppose 16 = -2*p - 4*l, 4*p - 4*l + 0 = 4. Let i = 8 - 5. Let h = i + -8. Put p, h, 0 in increasing order.
h, p, 0
Let r = 23 + -21. Let l = -1.9 + r. Let u be 1/3 - (-8)/(-6). Put -5, l, u in increasing order.
-5, u, l
Let y = -15.9623 + -0.0377. Sort y, -6, 1 in decreasing order.
1, -6, y
Let v be 0 + -1 - (-2 - 2). Suppose -5*p - 3 = -23. Sort -1, v, -10, p in descending order.
p, v, -1, -10
Let z = 203 - 207. Put z, 3, -15, -3 in increasing order.
-15, z, -3, 3
Suppose -15*n = 2 - 32. Sort 6, n, -3, -2 in ascending order.
-3, -2, n, 6
Let l = -4 + 4.4. Let x = 46.27 - 0.27. Let q = x - 43. Sort 1, l, q.
l, 1, q
Let t = -253/4 - -64. Let j = -23 - -22.4. Sort -0.2, j, t.
j, -0.2, t
Let j be -3 - (-10 + 3/1). Suppose -j*m = 2*m - 12. Suppose -9 = -k - m*k. Sort -3, 0, k in decreasing order.
k, 0, -3
Let k be (3/(-11))/((-18)/(-12)). Let h = -148.7 - -146.7. Sort k, h, 7, -1/3.
h, -1/3, k, 7
Let q(x) = -x**2 + 9*x + 72. Let g be q(14). Let s = 0.6 + -0.4. Let m = 2/15 + 1/30. Sort s, g, m in descending order.
g, s, m
Let z be (-6)/(1/12*-2). Suppose -u - 2*u = -z. Let a = 11 - u. Sort a, -5, 3 in decreasing order.
3, a, -5
Suppose 4*v + 6 + 14 = 0. Let n(b) = 16 - 10 + 0*b + b. Let p be n(v). Sort 5, 3, p in descending order.
5, 3, p
Let g(n) = 6*n + 37. Let v be g(9). Let l = v - 96. Put 7, l, 2 in ascending order.
l, 2, 7
Suppose -a - 6 = -2*v, -14 = -3*v + 1. Suppose 0 = -a*f - y - 4, 7*f = 3*f + 5*y - 28. Put f, 1, -5, 3 in decreasing order.
3, 1, f, -5
Let i be (-82)/288 - 37/(-592). Put 0, i, 2/3, -0.1 in descending order.
2/3, 0, -0.1, i
Suppose -2*v = -3*i - 3 + 16, 0 = v + 2*i - 11. Let z(a) = 10*a**3 - 2*a - 1. Let k be z(-1). Let x = k + 6. Put v, 0, x in decreasing order.
v, 0, x
Let s(r) = r**3 + 7*r**2 + 7*r + 9. Let m be (-80)/14 + 10/(-35). Let a be s(m). Suppose -3 - 7 = 5*u. Sort u, a, 4 in decreasing order.
4, a, u
Let t(w) = w**2 + 50*w + 455. Let f be t(-12). Put 9, 1, 5, f in ascending order.
f, 1, 5, 9
Let i = 1431 + -1432. Let n(t) = -t**3 + 5*t**2 + 8*t - 8. Let o be n(6). Sort o, 3, i.
i, 3, o
Let x = -2.4 + 2.7. Suppose -15 = 3*u + 2*f - 5*f, 0 = 4*u - 2*f + 20. Let b = 1.1 - 1. Sort u, b, x in decreasing order.
x, b, u
Suppose 3*p - 13 = -w, -4*w + 2*p = -0*p + 18. Suppose 0 = -2*m + 5*z - 15, -3 = 4*m - 2*m - z. Sort m, -3, w in descending order.
m, w, -3
Let s = 2 + -5. Let x be 0/(2*(s + 2)). Suppose -40 = 7*i - 17*i. Sort x, i, 1.
x, 1, i
Let s be (-3)/9*15/3. Let y = -462557/22 - -41583/2. Let h = 234 + y. Sort -2, s, h in descending order.
h, s, -2
Let q(g) = -4*g**2 - 20*g + 18. Let f be q(-6). Put -2, -9, f in ascending order.
-9, f, -2
Let l(o) = 2*o**3 + 2*o**2 + 15. Let x be l(0). Sort x, 4, 3, 0.
0, 3, 4, x
Let t = -13 - -21. Let z = t + -7. Let o(c) = c**2 + 5*c. Let r be o(-4). Put r, -3, z in decreasing order.
z, -3, r
Let m be (-306)/(-72) + (-3)/(-4). Suppose -5*g + 5*v + 50 = 0, -2*v + 58 = m*g + 15. Sort 3, g, -1.
-1, 3, g
Let i = 0.1629 - 0.2449. Put i, 8, 2/3 in decreasing order.
8, 2/3, i
Let k(n) = 2*n**2 - 1. Let s be k(-1). Let c be 9/3 + (s - 1). Let y(p) = p**3 - 13*p**2 - 4. Let d be y(13). Sort 0.5, c, d in increasing order.
d, 0.5, c
Suppose -4*z - 1390 = -0*g + 2*g, 0 = 2*z - 2*g + 680. Let y be z/(-60) + 3/(-4). Put -1, y, -5 in decreasing order.
y, -1, -5
Suppose -n = -3*n + 4*b + 64, 0 = -3*n - b + 124. Suppose w - n = -3*w. Put -5, 3, w, -2 in descending order.
w, 3, -2, -5
Let j = -84.03 - -84. Let d be (3/(-6))/((-3)/(-24)). Put j, 0, d in decreasing order.
0, j, d
Let o(u) = -u**3 - 4*u**2 - 3*u - 7. Let m be o(-4). Let r(k) = k + 5. Let s be r(-4). Sort s, -3, m in descending order.
m, s, -3
Let j be (-5)/(-1)*(-6 + (-28)/(-4)). Sort -2, -4, j, 1 in increasing order.
-4, -2, 1, j
Let v be 4 + -1 - 1/1. Let k be ((-18)/15)/((-9)/(-60)). Let x = 3 + k. Put v, x, 3 in increasing order.
x, v, 3
Suppose 3*c + 4 - 1 = 0. Let o be 6/8*c/(-3). Let h be 6 - 6 - (-2)/(-10). Sort o, -1/2, h in increasing order.
-1/2, h, o
Suppose -2112 = -613*p + 607*p. Put p, -1, 3 in decreasing order.
p, 3, -1
Let v be 4 + 2/((-40)/65). Put -1.6, v, -2/5, -2/7 in increasing order.
-1.6, -2/5, -2/7, v
Let x be ((2 - 1)*-1)/4. Let q = -2023.3 + 2023. Put q, -2, x in increasing order.
-2, q, x
Let x(t) = -2*t - 13. Let l be x(-7). Let d be 7 - ((-8)/10)/((-52)/130). Sort -6, 0, l, d.
-6, 0, l, d
Suppose -501*w = -507*w - 42. Put -10, 2, w, 0 in descending order.
2, 0, w, -10
Let d = -9 + 9. Let h = -82 + 81.7. Sort d, h, -1 in descending order.
d, h, -1
Let x(n) be the third derivative of 3*n**5/20 + n**4/24 + 8*n**2. Let y be x(-1). Sort 2/9, y, 5, 4 in descending order.
y, 5, 4, 2/9
Let a = 1 - 24. Let i = 25 + a. Sort 1, -3, 4, i in descending order.
4, i, 1, -3
Let t(r) = -15*r - 138. Let d be t(-8). Sort -1, d, 1 in increasing order.
d, -1, 1
Let h be 4*12/(-96)*-30. Sort 42, h, -4.
-4, h, 42
Suppose -y + 4*l = -15, 4*y - 4*l = 9*y + 21. Sort y, -2, 2/15.
-2, y, 2/15
Let o = 333 - 333. Put -218, -5, o in descending order.
o, -5, -218
Let g = 5.1 - 5.57. Let l = 0.57 + g. Let f be 0 + (-1 - (-6 + 3)). Put l, f, -7 in ascending order.
-7, l, f
Let p(d) = -d**3 - 6*d**2 - 3*d + 10. Suppose 57 = -12*j - 3. Let o be p(j). Let h(u) = -u**3 - 2*u**2 + 1. Let k be h(1). Put k, 4, o in increasing order.
k, o, 4
Let k = -3 - -6. Suppose -2*a = -k*a. Let i = 144 - 144.1. Put i, a, 2/7 in increasing order.
i, a, 2/7
Let t be (2 - 17/3) + 4. Let y = -188/9 + 1313/63. Sort t, y, -2/3, 2/5 in descending order.
2/5, t, y, -2/3
Let c be (1 + 56/(-32))/(0 - 3). Sort -0.05, 0.05, c in descending order.
c, 0.05, -0.05
Suppose j - 2*s + 3*s = 6, -8 = -2*s. Let f be 10*1/j + -3. Let m(t) = -t**3 - 6*t**2 - t - 6. Let o be m(-6). Sort o, f, -4 in decreasing order.
f, o, -4
Let g(b) = b + 11. Let z be g(-8). Let v be ((-6)/7)/((-4)/14). Let k = v - 1. Sort 1, z, k.
1, k, z
Let h = -134 - -135. Put 0, -9, h in ascending order.
-9, 0, h
Suppose -5*h + 323 = -2*s + 6*s, -3*s + 6 = 0. Let q = h - 65. Sort q, 4, 1.
q, 1, 4
Let v = 0.06 + -3.06. Let j be ((-66)/14)/3 - -1. Let f = -2386 + 2387. Sort v, f, j in decreasing order.
f, j, v
Suppose 0 = -5*i + 2*z + 2*z + 59, 4*i - 45 = z. Suppose a - 5 = 2*a. Sort a, 5, -0.4, i.
a, -0.4, 5, i
Let l = -8 - 7. Let x be ((-4)/10)/(4/l). Sort 0.3, x, 4 in increasing order.
0.3, x, 4
Suppose -n = -2*z, -n - 2*n + 4*z = 0. Suppose 20 = -4*y, -h + 3*h - 5*y - 15 = n. Sort h, -1, 3, -4 in descending order.
3, -1, -4, h
Suppose 4*b = 8 + 8. Sort -4, 17, 1, b in descending order.
17, b, 1, -4
Let c = 12 - 24. Let f(i) = i**2 + 11*i - 4. Let y be f(c). Suppose 2*l = -y + 4. Put l, -1, -4 in descending order.
-1, l, -4
Suppose -2*b + 4*m + 2 = 0, -5*m = -b - 3*b + 4. Let r = 9 - 4. Put 4, r, -1, b in descending order.
r, 4, b, -1
Let c(z) = z**2 + 12*z - 100. Let g be c(6). Sort g, -3, 1 in descending order.
g, 1, -3
Let i = -2293/20 - -373/4. Let v = -21 - i. Let y be ((-3)/(-1))/(-8 + 3). Sort y, v, -3 in decreasing order.
v, y, -3
Let l be -6 - (-5 + 33/(-11)). Sort 0, -3, l, 4.
-3, 0, l, 4
Let c be (-231)/(-35) + 3/(-5). Let v be (2/c)/(2/6). Sort 5, v, -16.
-16, v, 5
Let a(g) = -g**2 - 6*g - 7. Let o be a(-5). Suppose 5*b - 44 = -2*h, -2*h - 3*h - 55 = -4*b. Let y be 154/33*(-30)/245. Put b, y, o in decreasing order.
b, 