et i(t) = -2*t**3 - 5*t**2 + 8. Let q be i(-3). Sort q, 4, 1 in descending order.
q, 4, 1
Suppose -3*j - 19 = -7. Sort j, 4, 0 in decreasing order.
4, 0, j
Let r = -3.4 + 3.97. Let n = 0.52 + r. Let y = n - 0.09. Sort -1/2, y, 2/3 in descending order.
y, 2/3, -1/2
Let h be (-4)/6 - (-20)/84. Let u = -5.4 - -5. Put 4, u, h in decreasing order.
4, u, h
Let f = -0.24 - 0.06. Let m be -2 + (-1 - (-45)/13). Let y = m + -31/39. Put y, f, -2 in decreasing order.
f, y, -2
Suppose -2*h = -0 - 4. Suppose h*y = 5 + 3. Sort -1, -5, y in descending order.
y, -1, -5
Let r be 6 + -2 + 2/2. Let i be -7 + 9 + -1 + -4. Put i, 3, r in decreasing order.
r, 3, i
Let h be (-9)/(-11) + (-8)/(-44). Let d be ((-5)/10)/((-1)/h). Let a = -5 + 5.4. Sort d, a, -5 in decreasing order.
d, a, -5
Suppose 0 = n - 2*n + 4. Suppose 2 = -5*q - 3. Let c be ((-2)/6)/((-10)/90). Put q, c, n in increasing order.
q, c, n
Let z = 21 - 64/3. Put -5, z, -10 in increasing order.
-10, -5, z
Let u(l) = l**2 + 3*l + 3. Let t be u(-3). Let y = 5 - t. Suppose -7*z = -3*z + 12. Sort 1, y, z in descending order.
y, 1, z
Let m be 5 - -2*12/(-6). Put -1, -3, -5, m in decreasing order.
m, -1, -3, -5
Suppose -2*r - 3*k + 3 = -4*r, -2*k = 3*r - 15. Let i be (-8)/10 + (-176)/55. Sort 2, r, i in descending order.
r, 2, i
Let a = 0.88 + -1.74. Let y = 0.16 + a. Let v = y - 0.3. Put v, -2, 0.3 in increasing order.
-2, v, 0.3
Let h = 0 + 0.2. Let l = -169 - -171. Put l, -0.13, h in descending order.
l, h, -0.13
Let x = -20 - -18. Sort 5, -3, x.
-3, x, 5
Let o = 7 + -3. Suppose -p = -o*p. Put 4, p, -1 in ascending order.
-1, p, 4
Let a be ((-2)/8)/(1/(-4)). Let t be a + -1 - (4 - 4). Let i(q) = -q**3 + 2*q - 1. Let n be i(-2). Put n, t, -5 in descending order.
n, t, -5
Let v = -31 - -27. Put -5, v, 3 in increasing order.
-5, v, 3
Suppose -l + 2*p = -9, -l - 2*p + 0*p - 11 = 0. Let w be 3/12*-3*4. Sort l, 0, w in decreasing order.
0, l, w
Let n = 7 - 11. Let x be (n/(-10))/(2/20). Put 2, x, 3 in increasing order.
2, 3, x
Let s(h) = h + 10. Let r be s(-7). Put 0.4, r, 1/4 in ascending order.
1/4, 0.4, r
Let d = -5.818 + -0.082. Let n = d + 0.9. Sort 4, 2/7, n.
n, 2/7, 4
Let x = -13 - -9. Suppose 7*v - 6 = 4*v. Suppose 10 = -c - 4*c. Sort x, c, v in ascending order.
x, c, v
Let u(f) = -f**2 + 8*f - 8. Let m = -7 - -14. Let a be u(m). Sort a, 0.5, -3 in decreasing order.
0.5, a, -3
Let l = 329 - 330. Let v be (2/4)/(2/(-8)). Let c = 8 - 11. Put l, v, c in ascending order.
c, v, l
Let s = -8392 - -42547/5. Let i = 17 + 100. Let y = i - s. Put 0, -0.5, y in decreasing order.
0, y, -0.5
Let i be (-28)/(-16) - 2/(-8). Suppose -x = -i*x + 5. Put -2, -5, x in increasing order.
-5, -2, x
Let b = -0.05 + 15.05. Let g = 10 - b. Sort g, 0.3, -3.
g, -3, 0.3
Suppose 3 = -5*j + 4*m - 3, 4*j + 3*m = 20. Let o = -8.3 - 1.7. Let z = 11 + o. Put j, 2/11, z in decreasing order.
j, z, 2/11
Let m be -2 + 2 - (-6)/2. Let c(r) = r**2 + 7*r + 6. Let s be c(-6). Put s, -2, m in decreasing order.
m, s, -2
Suppose -k = -4*p + 4*k, -2*k - 28 = 4*p. Sort p, 2, 58.
p, 2, 58
Suppose 0 = u - 2*u + 3. Let x be 5/2*(-2 - -4). Sort x, -2, u in ascending order.
-2, u, x
Let h = -21 + 16. Sort 4, 5, 1, h in increasing order.
h, 1, 4, 5
Let g(w) = -w - 1. Let b be g(3). Put 2, 4, 3, b in decreasing order.
4, 3, 2, b
Let k = -2 + 4. Let f = -1.5 + k. Sort f, 0, 4 in increasing order.
0, f, 4
Let y = 2.1 + 0.9. Let p = y + -3. Put 6/11, p, 1/6 in descending order.
6/11, 1/6, p
Suppose -2*q + 2*u + 7 = -1, 4 = 2*u. Let r be 3/(q/4) - 3. Put r, 1, -2 in decreasing order.
1, r, -2
Let c = -209/9 + 23. Sort -3/7, 0.3, c, 2/3.
-3/7, c, 0.3, 2/3
Suppose 4 = 2*t + 12. Sort 1, 7, t in ascending order.
t, 1, 7
Let q = -0.4 - 1.6. Let b = 2 + q. Put -2/7, -5, b in increasing order.
-5, -2/7, b
Let l = 1 - 0.9. Put -5, l, -1 in ascending order.
-5, -1, l
Suppose -b + 6*b = -25. Let f(o) = -4*o**3 - o**2 + o - 1. Let d be f(-2). Suppose -z = 4*z - d. Sort b, z, -2 in decreasing order.
z, -2, b
Let w be (-8*4/12)/(8/(-12)). Sort w, -3, -5 in decreasing order.
w, -3, -5
Let t be (3/6*14)/1. Put t, 5, -2 in decreasing order.
t, 5, -2
Suppose 3*n + 15 = 3. Put -0.2, -0.08, n in descending order.
-0.08, -0.2, n
Let d be -1 + -1 - (-488)/248. Let c = -88/155 + d. Put 0, 5, c in ascending order.
c, 0, 5
Let o be (8/(-12))/(2/(-3)). Let h be (o - 3) + 1*3. Let j be -7*h + -5 + 7. Put -2, j, -1 in increasing order.
j, -2, -1
Let r = -3 - -7. Sort -1, r, -5, -11 in ascending order.
-11, -5, -1, r
Let u = -1.66 + -0.34. Sort -0.5, u, 1, 2.
u, -0.5, 1, 2
Let f be (-10)/15 + 7*(-2)/(-3). Put -1, f, -5, -18 in ascending order.
-18, -5, -1, f
Let n(k) = k**3 - 6*k**2 - k + 10. Let l be n(6). Sort -4, l, 5 in decreasing order.
5, l, -4
Let l(a) = -a**2 - 7*a - 4. Let b be l(-6). Sort 4, b, -1.
-1, b, 4
Let l = -0.06 + 3.06. Sort -3, -1, l.
-3, -1, l
Suppose l = -11 + 15. Put l, -3, 14 in descending order.
14, l, -3
Let p = -0.6 - -0.5. Put 2/5, 0.3, p, 2 in descending order.
2, 2/5, 0.3, p
Let o = -0.2 - 0.3. Let a = -3.5 + o. Let k = -0.3 - -0.4. Sort -3, a, k in increasing order.
a, -3, k
Let k be (-1)/(-2) - 5/6. Let l = -23 - -13. Let j = l + 14. Sort 0.2, k, j.
k, 0.2, j
Let t = -4 + 5. Let p = 0 + t. Sort 2, p, -5 in descending order.
2, p, -5
Let t = -0.37 + -0.03. Suppose 2*r - 2*b = 0, -2*b - 2*b - 5 = -3*r. Let n be 15/114*8/10. Sort r, t, n.
r, t, n
Suppose 53*g = 57*g. Sort g, -40, -3 in ascending order.
-40, -3, g
Let o(h) = h**3 + 4*h**2 + 1. Let v be o(-4). Let y be 7/(14/4) - 7. Let p(c) = c**2 + 8*c + 6. Let u be p(-7). Put u, y, v in descending order.
v, u, y
Suppose -7*g = -8*g - 2. Let z(t) = -t - 1. Let i be z(-3). Sort 0, i, g in descending order.
i, 0, g
Let z(j) = j**3 + j**2 - j - 1. Let n(p) = 2*p**3 + 3*p**2 - 3*p - 1. Let f(q) = 3*n(q) - 5*z(q). Let k be f(-5). Sort 5, k, -2 in ascending order.
k, -2, 5
Let b = 0.07 + 0.33. Let x = 6227/15 + -415. Sort x, -3, b.
-3, x, b
Let c = 0 + 0. Sort 2, -1, 3, c in descending order.
3, 2, c, -1
Let p = 0 - -3. Let n = -4.06 - -0.06. Sort n, p, 2.
n, 2, p
Let p = 27/2 + -15. Suppose 4*u + 20 = 2*i, -4*i + 0*i + 2*u = -10. Suppose -s - 4*l - 3 = i, 2*l + 12 = -4*s + 4*l. Sort s, p, -1 in decreasing order.
-1, p, s
Let c(i) = -i**2 + 11*i + 4. Let h be c(11). Put 7, -2, h in descending order.
7, h, -2
Let p = 34 - 22. Suppose 3*z - p = 18. Put 1, 0, z in descending order.
z, 1, 0
Suppose 4*l + 1 = 5. Suppose 2*z - 4*z + 5*g + 10 = 0, -2*z - 2*g - 18 = 0. Let k = 9 + -4. Sort l, k, z in ascending order.
z, l, k
Let u be ((2/2)/(-4))/1. Let i = -4 + 2.9. Let n = i - -1.6. Sort n, u, -4/9 in descending order.
n, u, -4/9
Suppose -3*m = -m - 8. Let j be 2 - 0 - m - -7. Let o(k) = -4*k**2. Let t be o(-1). Put j, 1, t in descending order.
j, 1, t
Let j = -92/5 + 18. Sort 0, j, 1.
j, 0, 1
Let l(k) = k**2 - 5*k + 5. Let q be l(2). Put 5, -3, q, 3 in increasing order.
-3, q, 3, 5
Let q be -1*((-4)/(-12) + 0). Sort -5, 1/2, 5, q in ascending order.
-5, q, 1/2, 5
Let x(c) = -2*c**2. Let s be x(-1). Let w(u) = -u + 8. Let t be w(6). Sort t, s, -1 in ascending order.
s, -1, t
Suppose 8 = -5*t - 12. Let v = -131/45 + 25/9. Put v, t, 1/5 in descending order.
1/5, v, t
Suppose 2 = 3*c - c. Let o be 3/(-6)*0*c. Put -3, 1/5, o in decreasing order.
1/5, o, -3
Let u = -0.4 + 0.5. Put u, -2/7, -9 in decreasing order.
u, -2/7, -9
Suppose -3*v - v = 5*a - 82, 4*a - 59 = -v. Sort 3, a, 5 in descending order.
a, 5, 3
Let y = -4 + 4.5. Let m = -1 + 6. Suppose -m*h + 9 = -3*w - 4*h, 2*w - 8 = -4*h. Sort y, w, -4 in increasing order.
-4, w, y
Let r = 2 - 5. Let z be 9/(-2) - (-6)/(-12). Put r, 16, z in descending order.
16, r, z
Let p be (-6)/(-14) - (-15)/(-35). Suppose 2*r - 4*r - 6 = p. Suppose -x - 2*x + 6 = 0. Sort 0, x, r in descending order.
x, 0, r
Suppose 25 = -5*d, 92 = -3*t + 3*d + 35. Let r = t - -20. Put -8, 1, r in increasing order.
-8, r, 1
Let r = 6 + -4. Put -1/3, r, 5 in decreasing order.
5, r, -1/3
Let d = -0.22 + -0.14. Let g = d + -0.04. Sort 2/19, -2, g in descending order.
2/19, g, -2
Let o = -10 + 7. Sort -2, o, -1 in descending order.
-1, -2, o
Let p = -3 + 2.5. Let i = 1.53 + -1.6. Let k = i - 0.03. Sort k, 3, p in decreasing order.
3, k, p
Let h = 0.1 - -0.2. Let c = 3.07 + -0.07. Sort h, -5, c in decreasing