Let u(t) = -t**3 - 5*t**2 - 5*t - 2. Let p be u(-4). Sort -3, f, p in decreasing order.
p, f, -3
Suppose -1 = 3*o + 8. Sort 0, o, -6 in increasing order.
-6, o, 0
Let o = -0.03 - -0.23. Sort -3, 1/3, o.
-3, o, 1/3
Let h = 0 - 3. Let y(w) = 2*w**2 + w - 1. Let i be y(h). Let a be (-10)/i*4/(-10). Put 0.5, -2/3, a in descending order.
0.5, a, -2/3
Let x be 2/(-24)*-105*8/2. Sort x, 3, -2.
-2, 3, x
Let h = 507/5 - 102. Sort 1/7, 0, -1/3, h in descending order.
1/7, 0, -1/3, h
Let m = 604/4755 - -2/317. Put m, -1/2, -5 in ascending order.
-5, -1/2, m
Let v = 37 - 149/4. Put 1, v, -2/9 in descending order.
1, -2/9, v
Let h = 6 - 32/5. Suppose 4*q = -4*p - 4, 4*p = -2*q - 3*q - 1. Sort q, h, -1/3 in descending order.
q, -1/3, h
Suppose 9*u - 4*u = -2*m - 22, -5*u - 19 = -m. Sort m, -2, 1 in increasing order.
-2, m, 1
Suppose 3*u = -u. Suppose u = -0*k - 5*k + 25. Sort -2, 2, k.
-2, 2, k
Suppose -5*t = 3 - 38. Put t, -5, 0 in decreasing order.
t, 0, -5
Let x be 8*(0 + (-4)/8). Sort 4, -3, x in ascending order.
x, -3, 4
Let i = -0.068 + 0.177. Let q = 1.851 + i. Let f = q - -0.04. Sort 3, f, 0.1 in increasing order.
0.1, f, 3
Suppose -15 = -57*c + 54*c. Sort -8, c, -2 in decreasing order.
c, -2, -8
Let t = 0.76 + -0.7. Let l = t - -1.94. Sort 0.1, -1, l in decreasing order.
l, 0.1, -1
Suppose -y - 4*g = -4, 3*y - 5*g - 10 = -32. Put -1, 4, 3, y in decreasing order.
4, 3, -1, y
Suppose 2*n + 4 = 3*n. Suppose p = -3*o - 19, 2*p + 21 = 3*p - 5*o. Sort 3, n, p in increasing order.
p, 3, n
Let m = 73 - 76. Put 4, m, 3 in ascending order.
m, 3, 4
Let v = -57 - -51. Put -1, v, 3, 2 in decreasing order.
3, 2, -1, v
Suppose 4 - 24 = 4*h. Sort h, 1, 0.
h, 0, 1
Let t = 0 - 1. Let f(a) = -a**2 + 24*a + 23. Let c be f(25). Put c, t, 1 in increasing order.
c, t, 1
Suppose -2*g - 8 = -g. Let w = g - -6. Sort -0.3, w, -2/7 in descending order.
-2/7, -0.3, w
Let b be 6 + -1 + -1 + 0. Let d = 33 + -38. Sort b, -4, d in ascending order.
d, -4, b
Let t(s) = -2*s + 11. Let d be t(7). Sort d, 1, 3 in decreasing order.
3, 1, d
Let h be 1 + -1 - (-4)/14. Let v be 2 + (-2 + 3)*-4. Let b be (v + 0 - 2)*-1. Sort -0.5, b, h.
-0.5, h, b
Suppose -2*v - 5 - 3 = 0. Sort -1, v, 5.
v, -1, 5
Let k = -3 + 0. Let g = 6 + k. Suppose 8 = g*d + 2. Put d, 3, -5 in ascending order.
-5, d, 3
Let x = -38.9 + 39. Put 3/2, x, -1 in increasing order.
-1, x, 3/2
Let i be (3/7)/(18/(-12)). Sort i, 2, -0.1 in increasing order.
i, -0.1, 2
Let p be 3/(-6) - 21/(-66). Let l = -9 - -9. Put p, -0.03, l in decreasing order.
l, -0.03, p
Let g(k) = -k**2 - 4*k + 5. Let t be g(-4). Sort 4, -3, t.
-3, 4, t
Let a = -2.98 - 0.02. Let c = 3.7 + -2.1. Let k = c - 2. Sort k, a, 1/7 in descending order.
1/7, k, a
Let n(s) = -s**2 - 5*s + 4. Let z be n(-6). Let a be z + 4 + (-18)/8. Put a, -2/7, 2 in decreasing order.
2, a, -2/7
Let t be 12/(-18) + 4/6. Suppose r = i + 10, -r - i = -t*i. Put r, -5, 1/3 in ascending order.
-5, 1/3, r
Let o = -2 - 5. Sort 0.2, 0, o in ascending order.
o, 0, 0.2
Let r = 5 - 13/2. Sort 0, r, -8 in decreasing order.
0, r, -8
Let i(y) = -y + 2. Let c be i(-2). Let m(n) be the first derivative of n**4/4 - n**3 + n**2/2 - 3. Let d be m(3). Sort 0, d, c.
0, d, c
Suppose i - 2*i - 4 = 0. Put -5, -1, i in descending order.
-1, i, -5
Let c(r) = -r**3 - 4*r**2 + 6*r + 7. Let f be c(-5). Suppose -x + 2*o = 5*o - 2, 5*o = -f*x + 2. Sort 5, 0, x in ascending order.
x, 0, 5
Let z = -0.397 + -0.103. Sort z, -4, -0.3 in decreasing order.
-0.3, z, -4
Let i = -6169187/783990 - -4569/562. Let y = 6/155 - i. Let k = 6/17 + -1/51. Sort 0.1, k, y in increasing order.
y, 0.1, k
Let l = 19 - 13. Suppose -l = -w - 2*w. Let r be (-5)/(-1 - (w - 4)). Put r, -4, -2 in decreasing order.
-2, -4, r
Let y be (2*1)/((-4)/(-2)). Suppose -12 = 2*h + h. Let z = h - y. Sort z, 0.4, -2.
z, -2, 0.4
Let n = 0.05 + -18.05. Let b = -18.5 - n. Let c = 2 - 7. Put b, -3/8, c in increasing order.
c, b, -3/8
Let n = -1 + 5. Put 1, -0.1, n in decreasing order.
n, 1, -0.1
Let k(q) = q + 8. Let g be k(-6). Sort 3, g, 1.
1, g, 3
Suppose 0 = -3*d - 4 + 19. Suppose 0 = i - 2. Suppose -i*c = c + 3. Sort c, d, -2 in descending order.
d, c, -2
Suppose 6 = -j + 2*n - 2, -2*j + n = 4. Put -2, j, 2, -5 in increasing order.
-5, -2, j, 2
Suppose 0 = 4*k - 4 + 12. Suppose -1 = -n + 1. Sort 3, k, n in ascending order.
k, n, 3
Let g = 117 - 237/2. Let w = -77/3 + 26. Sort w, g, 1 in descending order.
1, w, g
Let v = -1353/340 - -77/17. Let n = v - 7/40. Let h = -176/15 - -34/3. Sort n, 4, h in descending order.
4, n, h
Let b be 38/(-95) - (-164)/10. Let j = -18 + b. Let f = -12 - -7. Sort 4, f, j.
f, j, 4
Let t = 46 - 41. Let z = 10 - 4. Sort z, -2/13, t in descending order.
z, t, -2/13
Suppose 3*u - 3 = -5*s + 18, -4*u + 3*s - 1 = 0. Let f = -2 + 6. Let m = f - 7. Sort u, m, -4.
-4, m, u
Let j = 77 - 61. Put 1, -3, j in increasing order.
-3, 1, j
Let o(k) = -k**3 + 4*k**2 + k + 5. Let y be o(4). Let h be (-2)/3*y/6. Let r be (2 - -1)*(-1 + 2). Sort h, 1, r in increasing order.
h, 1, r
Let i = -5 - -9. Let t(s) = s**2 - 6*s + 5. Let d be t(i). Let a be d/14 - 4/14. Sort -2/9, a, 1 in decreasing order.
1, -2/9, a
Let b = -306 + 309. Let p(q) = -2*q**3 - 2*q**2 - q. Let i be p(-1). Sort 5, i, b in descending order.
5, b, i
Let x = 1/39 - -10/117. Let q = -2 - 1. Let c be (q/15)/((-6)/10). Sort -0.1, x, c.
-0.1, x, c
Let g = 26 - 17. Let k be (g/(-3) - -3)/2. Put k, 2, 4 in decreasing order.
4, 2, k
Let n = 3 + -5. Let o = n - -1. Suppose -4*b + 14 = -3*s, -4*b - 3*s + s = -24. Sort b, o, -3 in increasing order.
-3, o, b
Let l = 28 - 26. Put 5, l, 4, -2 in increasing order.
-2, l, 4, 5
Let h = -13.8 + 2.8. Let v = h - -8. Let i = 0.2 - 1.2. Sort -2, i, v in increasing order.
v, -2, i
Let g = -1.8 + 2. Let v = 62 + -62. Let c = -2.6 - -3. Put c, g, v in decreasing order.
c, g, v
Let h be (-12)/18 + 19/(-3). Let g(c) = -4*c**2 + 1. Let d be g(-1). Sort h, d, -4 in decreasing order.
d, -4, h
Let w = -3 - -15. Let h be (-18)/(-12)*2/w. Sort 3, 0, h in descending order.
3, h, 0
Let l be 3 + -1 + 40/(-22). Suppose 4*f = -f + 15. Let u be 3 - -50*f/(-48). Put u, l, -4 in descending order.
l, u, -4
Let i = -32 - -27. Put i, 0, -3, 4 in decreasing order.
4, 0, -3, i
Let r = 11452/23 + -498. Sort -4, r, 5 in ascending order.
-4, r, 5
Let i = 32 + -14. Let x be 12/i - 2/(-3). Put -2, x, 1 in ascending order.
-2, 1, x
Let q be ((-2)/20)/((-3)/(-6)). Suppose -2*w + 2*g - 8 = 0, w + 0 = -4*g - 9. Let u = 3 - 4. Put w, u, q in increasing order.
w, u, q
Let j = -25 + 29. Put 3, j, -2 in descending order.
j, 3, -2
Suppose y + 0 = 5. Suppose -1 + 6 = d - h, 5*d + 11 = -4*h. Sort y, -2, d in ascending order.
-2, d, y
Suppose 26 = 3*p + 14. Suppose 0 = -2*q - 5*u + 17, 5*q = 2*q - 4*u + 8. Put q, -5, p in decreasing order.
p, q, -5
Let k = -7.3 - -7. Let j = 42.1 - 44. Let h = -2.1 - j. Sort k, -2, h in descending order.
h, k, -2
Let z be (-10)/(-15)*3/(-2). Let w = 3 - z. Put -3, -2, w in descending order.
w, -2, -3
Suppose -n - x = 0, 3*n - 2*x + 6 = -19. Sort n, -6, -3.
-6, n, -3
Suppose m + 3*i = 8*i + 28, -2*i = 10. Suppose -5*a + 6 = 4*d + 1, 5*a + 30 = m*d. Let c(h) = 3*h + 1. Let u be c(1). Put -4, a, u in decreasing order.
u, a, -4
Let w(m) be the first derivative of -m**2/2 - m - 3. Let l be w(-4). Suppose -t + 5*t = 20. Sort l, t, -2 in descending order.
t, l, -2
Suppose 2*v + 8 = 3*h + 20, 0 = -5*v + h + 4. Let c = v + 2. Let a = -2 - c. Sort a, 2, 3 in increasing order.
a, 2, 3
Let o be (-5)/2 - (-2)/(-4). Let d be 2*((-1)/(-2) + 1). Put d, 0.3, o in ascending order.
o, 0.3, d
Suppose 4*h - 5*n = 11, 0 = -4*h - 4*n + 27 - 7. Let j be ((-2)/4)/(91/(-52)). Let c = -3 + -2. Sort c, h, j.
c, j, h
Let c(q) = -q**2 - 12*q - 6. Let g be c(-12). Suppose -44 = -r - 3*r. Let w = r + g. Put 4, 0, w in ascending order.
0, 4, w
Suppose -t - 1 = 2*y - 4*y, -y - 4*t = -14. Put -3, y, 12 in increasing order.
-3, y, 12
Let a be ((-1)/(-1))/(5/(-1)). Put 1/5, 0, a in ascending order.
a, 0, 1/5
Let z(x) = x**3 - x**2 + 2*x - 1. Let a be z(1). Let j = 0 - 0.2. Put j, a, 2/15 in descending order.
a, 2/15, j
Let r be 2/11 - (-316)/(-44). Sort 3, -5, -4, r in descending order.
3, -4, -5, r
Let c(j) = -j**3 + 5*j**2 - j + 8. Let t be c(5). Put -4, 5, t, 11 in decreasing order.
