-2*s - 5. Let v be m(-4). Put -4, -1, v in decreasing order.
v, -1, -4
Let u = -0.129 + 3.009. Let z = u + 0.12. Sort 2/9, 0.1, z.
0.1, 2/9, z
Let h(m) = -m**3 + 5*m**2 - 4*m - 1. Let b be h(3). Let t be 11/3 + -3 + (-50)/(-15). Put t, b, 0 in increasing order.
0, t, b
Suppose k = -2*k - 3. Suppose 0 = 5*p + 2*i - 16, -p + 3*i = p - 14. Suppose 0*u - 2*a + 4 = -3*u, 0 = 2*u + 3*a + 20. Sort k, u, p.
u, k, p
Let z = -146/413 - -4/59. Put 0.13, z, 0.5 in descending order.
0.5, 0.13, z
Let d be (20/(-70))/((-1)/2). Put d, 1, -0.5, -4 in ascending order.
-4, -0.5, d, 1
Let z = -1.9 - -2.9. Let w = -0.04 + -1.96. Sort z, w, 0.2 in ascending order.
w, 0.2, z
Let x = -40 - -40.5. Sort 3/7, 5, x, 3.
3/7, x, 3, 5
Let k = -0.9 - -1.4. Put k, 0.07, -0.3 in descending order.
k, 0.07, -0.3
Let x = 0.3 + -0.2. Let f = -3.9 - x. Let a(u) = -u**2 + 7*u - 3. Let v be a(6). Sort -1, v, f.
f, -1, v
Let w = -3.33 - -2.83. Let b = -0.2 + 0.6. Sort -2, b, w in decreasing order.
b, w, -2
Let j = -11 + 9. Let h(q) = q**2 + 6*q + 3. Let s be h(j). Sort s, -4, 2 in descending order.
2, -4, s
Suppose -5*g - f = -1 + 24, -2*g = -4*f + 18. Suppose -4 = -w - 4*l + 4, 4*w = -5*l + 10. Put w, g, 3 in decreasing order.
3, w, g
Let a be (-2)/(-6) + 8/(-288). Let u = -5/9 + a. Put u, -2, -0.4 in ascending order.
-2, -0.4, u
Let r(z) = -z**2 - 4*z - 4. Let g be r(-3). Put -3, -5, g in decreasing order.
g, -3, -5
Let n = 6.8 + 0.2. Let m = n - 2. Suppose 0 = -3*h + 2*h - 4. Sort m, -2/5, h.
h, -2/5, m
Let t = 1 - 7. Let k = 1 + t. Sort 4, k, -4.
k, -4, 4
Let g = 3 + -4. Let l = -10 - -12. Sort g, l, 0.2 in increasing order.
g, 0.2, l
Let d(v) = -5 - 1 + v**2 + 3 - 7*v - 1. Let w be d(7). Let h = -0.9 + 1. Sort 2/11, h, w in ascending order.
w, h, 2/11
Suppose -30 = -5*l - 5. Let v be -3*(2 + -3) + -16. Let t = -10 - v. Sort l, t, 0 in increasing order.
0, t, l
Let f be 1 - ((-11)/(-2) + -4). Sort f, 2, 1/7, 0.4 in decreasing order.
2, 0.4, 1/7, f
Let i = 128 + -144. Sort -4, 5, 2, i in decreasing order.
5, 2, -4, i
Let s = 8 - 4. Sort 0, -3, s in descending order.
s, 0, -3
Suppose -2*q - 12 = -2. Put 1, q, -7 in ascending order.
-7, q, 1
Let x = 108 + -107.6. Put -1, 60, x in descending order.
60, x, -1
Let f = -1 + 0.4. Let u = f + 3.6. Sort 0.1, u, 1/7.
0.1, 1/7, u
Let g = -2032346 + 10074967/5. Let u = g + 17479. Let f = 126 - u. Put -5, -4, f in decreasing order.
f, -4, -5
Let z(u) = -2*u - 35. Let b be z(-17). Let w(k) = k - 9. Let g be w(10). Put g, 3, b in descending order.
3, g, b
Suppose 0 = r + 4*r - 10. Suppose 4*i + 0*b + b = -19, -5*b = -5. Put i, 0, r in increasing order.
i, 0, r
Let y(b) = -b**3 - 3*b**2 + 5*b + 3. Let m be y(-4). Let r = -31/2 - -17. Put m, r, 4 in decreasing order.
4, r, m
Let m = -740 + 468. Let n = -1356/5 - m. Let s = -0.2 - -0.4. Put s, n, 5 in decreasing order.
5, n, s
Let l(q) = q**2 + q - 1. Let u be l(-2). Let b be (-3)/(-9)*4/(8/(-6)). Put 4, u, b in ascending order.
b, u, 4
Let d = 3.5 + -3. Let a = -0.7 + d. Let j = 37/12 - 23/6. Put -2, j, a in ascending order.
-2, j, a
Let m = -6/11 + 8/11. Sort m, -2, 2/5, -0.4.
-2, -0.4, m, 2/5
Let y(s) = s**2 + 9*s + 15. Let v be y(-7). Sort 0.5, v, -12.
-12, 0.5, v
Let q = 5 + -3. Let n = 10 + -5. Let h(o) = -o + 8. Let a be h(4). Sort a, n, q in ascending order.
q, a, n
Suppose 0 = -2*w + 6*w - 16. Suppose 2*t - 4*o + 16 = 0, 5*t = o + w*o - 25. Let h be (7 - t/(-1))*1. Sort h, -4, 0 in decreasing order.
h, 0, -4
Let q = 52 + -56. Sort 2, q, -0.2, 4/7 in descending order.
2, 4/7, -0.2, q
Let u = 0.07 - -0.13. Sort -0.1, u, -2/11 in descending order.
u, -0.1, -2/11
Let s be (-272)/51 - 1/(-3). Put s, -7, -2 in increasing order.
-7, s, -2
Let z = 13 + -7. Let h = z - 10. Sort h, 1, 0.
h, 0, 1
Let p = -4/47 + -113/329. Let f = 79 + -631/8. Let h = 2/77 + -397/462. Put f, p, h in increasing order.
h, p, f
Suppose -2*h + 5 = 9. Put -5/2, 3, h in ascending order.
-5/2, h, 3
Let r = -75 + 58. Put 0.2, 3, -0.3, r in increasing order.
r, -0.3, 0.2, 3
Let h = -49 + 73. Suppose -n + 0*l + 4*l + h = 0, -l + 15 = 5*n. Sort n, -4, -5.
-5, -4, n
Let b(c) = 5*c - 31. Let p be b(7). Sort p, -5, 5 in decreasing order.
5, p, -5
Let c = 14 + -9. Suppose 0 = -0*n + n - c. Put -4, n, 4 in descending order.
n, 4, -4
Let p be 0 - (-1 + (-2 - -2)). Let n = 53 + -45. Put n, -1, p in decreasing order.
n, p, -1
Let g be 6/4*60/(-36). Let y = -0.21 - -0.71. Put -1, g, y in descending order.
y, -1, g
Let r = -43/10 - -9/2. Let v = r - 12/35. Sort -1, 0.5, v in descending order.
0.5, v, -1
Suppose 0 = -4*f + 4 + 4. Suppose w - 4*h - 22 = 0, f = -2*w - h + 1. Put 0, -5, w in decreasing order.
w, 0, -5
Let t be -1 + (-3)/(-2) - (-7)/2. Suppose -4*i + 4*g = -12, 3*i - 13 = -5*g + 12. Put i, t, 0 in descending order.
i, t, 0
Let g = -0.3 - -0.23. Sort g, 3, 0.3.
g, 0.3, 3
Suppose 4 = 3*i - 5*l, 0*i = -3*i + 2*l - 2. Sort 3, i, 5.
i, 3, 5
Let m = 18 + -14. Let k = -7 + 2. Put k, m, 1 in ascending order.
k, 1, m
Let t be 1 - 3 - (13 + -6 + -5). Sort t, 1/3, -2, -1 in decreasing order.
1/3, -1, -2, t
Let o(b) = -b - 4. Let w be o(-6). Suppose -2*t + 13 - 5 = 0. Put t, 1, w in increasing order.
1, w, t
Let a(m) = m**3 - 10*m**2 + 9*m. Let q be a(9). Suppose q*w = w - 5. Put -1, w, -2 in descending order.
w, -1, -2
Let h = -135 - -135. Sort -5, -1, h, -13 in decreasing order.
h, -1, -5, -13
Suppose -2*m - 2 = -3*m. Suppose -4 = m*y - 14. Let r = 4 + -3. Sort -1, r, y.
-1, r, y
Let p = -0.03 - 0. Let w = p - -5.03. Put w, -0.4, -2 in descending order.
w, -0.4, -2
Let y be (3/(-15))/(5/(-50)). Let t(n) = -5*n**3 + n**2 - n + 1. Let q be t(1). Sort q, y, -5 in descending order.
y, q, -5
Let y = 629689 - 10710733/17. Let h = y - -354. Put -1/2, 1, h in increasing order.
-1/2, h, 1
Suppose 5*t + 3*s - 11 = 0, -5*s = -0*t - 5*t + 35. Suppose -3*v + t*v - 10 = 4*u, 4*u + 22 = 3*v. Put 2, v, -5 in ascending order.
-5, 2, v
Let g = -0.09 + -0.41. Let s = 3 + -7. Put 0.5, s, g in ascending order.
s, g, 0.5
Let l = -3.4 - -1.2. Let p = -0.8 + l. Let b = p + 0. Put b, -0.4, 2 in decreasing order.
2, -0.4, b
Let u(t) = -t**2 + 5*t - 3. Let q be u(3). Suppose 0 = m - 5*k + 14, -k = -q*m + k - 3. Let i = -2 + m. Put i, -4, 4 in decreasing order.
4, i, -4
Suppose 0 = 6*x - 2*x - 4. Let c = 7 - 10. Let g be 3 - (3 - c - -2). Sort x, 0, g.
g, 0, x
Let b be 160/(-18) + 8/(-72). Sort b, -3, 0 in increasing order.
b, -3, 0
Let o = 15 + -10. Suppose -o*k = -4*i - 0*i, 5*k = 3*i. Sort k, -5, 2 in increasing order.
-5, k, 2
Let z = 20 + -11. Let d = -11 + z. Sort d, -0.3, -1/7 in decreasing order.
-1/7, -0.3, d
Let d = -3.01 + 0.01. Let g = -240473/8 - -29961. Let r = g - -98. Put d, r, -2/7 in decreasing order.
r, -2/7, d
Let o(g) = 4*g - 5. Let i be o(3). Suppose 5 = 4*k - i. Put 2/9, -0.4, k in decreasing order.
k, 2/9, -0.4
Suppose 0 = 4*l + 5*z - 16, -2*l - 3*l + 3 = 2*z. Sort l, 2, -4, 6.
-4, l, 2, 6
Let t = -0.145 + 5.145. Sort t, -1, -3 in ascending order.
-3, -1, t
Let n = 29 + -31. Let w = 1 - 1. Let g = 0 - w. Sort g, -1, n.
n, -1, g
Suppose -2*c = -3*v + 3*c + 9, -15 = 5*c. Let y be (-1)/(v/5)*-2. Let h(p) = -p - 3. Let o be h(-4). Put -3, y, o in increasing order.
y, -3, o
Let r = 17.24 - 17.3. Sort r, -3, -1/2, -0.4.
-3, -1/2, -0.4, r
Let c = -0.45 + 0.5. Let u = c + -0.25. Put u, 1, -5 in descending order.
1, u, -5
Let b = 0.6 + -0.1. Let r be (112/35)/(2/5). Let u be r/(-15) + (-1)/(-5). Sort b, -0.3, u in decreasing order.
b, -0.3, u
Let x(i) = -i**2 - 2 + 0*i**2 - 6*i + 10*i. Let c be x(4). Let z be (-63)/(-12) + 2/(-8). Sort c, z, 3 in decreasing order.
z, 3, c
Let w = -0.3 - 0.2. Let o(q) be the first derivative of -q**3/3 + q**2/2 + 4*q + 1. Let j be o(0). Sort -2/9, j, w.
w, -2/9, j
Let t be 16/(-9) - (0 + -2). Let g = -4 + 4.5. Put g, t, 4 in descending order.
4, g, t
Let m(f) = -f + 3. Let i be m(4). Suppose 4*b + 4 = 2*s, 8 = -3*b - s - 0. Put i, -5, b in decreasing order.
i, b, -5
Suppose -s + 53 = 15. Put s, 1, -3, 2 in decreasing order.
s, 2, 1, -3
Suppose -11 = -3*l + x - 1, -4*l = 2*x. Sort l, -5, 3.
-5, l, 3
Let o = -1.997 + -0.003. Sort 0.4, o, 0, 1 in descending order.
1, 0.4, 0, o
Let q(y) = y - 10. Let g be q(-11). Sort 0, 1, g in decreasing order.
1, 0, g
Suppose 1 = 5*v - 6*v. Sort -2/7, 0, v in increasing order.
v, 