*2 - v - 3. Let o be s(0). Put o, -8, 3 in descending order.
3, o, -8
Suppose 0 = -2*i - 27 + 17. Suppose 2*f = f. Put i, f, 5 in increasing order.
i, f, 5
Suppose -2*x - 7 - 5 = 0. Let m be 2/(-4) + (-17)/2. Let k = m - x. Put -0.2, 0.1, k in descending order.
0.1, -0.2, k
Let a be (-1)/2*12/10. Let u = -0.4 - -0.4. Let o = u + 0.5. Sort 5, o, a in descending order.
5, o, a
Let t = -15 + 14. Put 3, 4, t in descending order.
4, 3, t
Let c(w) = -4*w + 22. Let b be c(5). Sort 1, b, 3, -2 in ascending order.
-2, 1, b, 3
Suppose -4*l - 5*o + 7 = -2*l, -l + 5 = 4*o. Put 0, -4, l in increasing order.
-4, 0, l
Let n be 56/(-12) + (-1)/3. Let y(z) = -z**2 - 4*z + 7. Let b be y(n). Suppose t - b = 2*t, t = 5*h - 17. Sort -5, h, 5 in descending order.
5, h, -5
Suppose 5*v - 2 = 2*q + 18, -5*v - 15 = 5*q. Sort -0.2, v, 1/6.
-0.2, 1/6, v
Let v(i) = -i**3 - 6*i**2 - 6*i - 3. Let b(f) = 4*f**2 + 2*f - 1. Let s be b(1). Suppose n - 20 = s*n. Let t be v(n). Sort -4, t, -5 in ascending order.
-5, -4, t
Let s be (-16)/(-112) + 1/(-7). Let m be (-3)/2*(-2)/(-1). Sort m, 5, s.
m, s, 5
Suppose 3*k + 7 = -5. Let r = 4 - 7. Let l(f) = -f**3 - 2*f**2 + 4*f. Let q be l(r). Put 5, k, q in ascending order.
k, q, 5
Let x = -7 - -4. Let n = -0.2 - -0.6. Put x, n, -2 in increasing order.
x, -2, n
Let z = -98 + 97. Put 32, 2/13, z in decreasing order.
32, 2/13, z
Suppose -3*c - c + 12 = 0. Sort 5, 1, c.
1, c, 5
Suppose -7*y + 2*y + 100 = 0. Let w be (-1 + 1)*(-10)/y. Sort 5, 2, w in decreasing order.
5, 2, w
Let r = -0.27 - 16.73. Let j = -15 - r. Sort -0.4, j, 0 in increasing order.
-0.4, 0, j
Let g(d) = 0*d + 0*d**2 - 3*d**2 - d. Let t be g(1). Let f = 6 + -5.6. Sort f, t, 0 in descending order.
f, 0, t
Suppose 0 = -5*f - 5*i + 20 + 15, i + 17 = 5*f. Sort -2, 11, -4, f.
-4, -2, f, 11
Suppose -8*y - 7 = -7*y. Sort -3, y, -5.
y, -5, -3
Let y = -60 + 54. Let j = -0.27 - 0.03. Sort j, 1, y.
y, j, 1
Let c(w) = -w**3 - w - 2. Let p be c(0). Let u be 1/(-14) - p/(-4). Sort 1, -3, u.
-3, u, 1
Let x = 61/92 - -2/23. Put x, 0.04, 0.5 in ascending order.
0.04, 0.5, x
Suppose 5*t - 39 = 3*m - 0*t, -4*m + 4*t - 44 = 0. Let o(b) = b**2 + 10*b + 12. Let z be o(m). Put z, -1, -5 in ascending order.
-5, z, -1
Let l = -11 - -11.03. Sort 5, l, 3 in increasing order.
l, 3, 5
Let i = -0.142 + 0.082. Sort -2/9, -0.4, i, -10 in descending order.
i, -2/9, -0.4, -10
Let l = 7 - 7. Let d = 0.3 - 0.1. Put l, -1, d in decreasing order.
d, l, -1
Let q be ((-2)/6)/(4/24). Put 0, -6, 2, q in increasing order.
-6, q, 0, 2
Let h = 17 + -15. Let p be (-6)/(0 + 6/(-15)). Suppose u - p = -2*u. Sort 0, h, u in increasing order.
0, h, u
Suppose l + 4*j + 23 = 0, -j - 4*j - 13 = -4*l. Let c be ((-9)/l)/(-3)*-1. Let p = -6 - -4. Put c, 5, p in ascending order.
p, c, 5
Let r be (-142)/(-12) + (-4)/(-24). Suppose 15*j + r = 12*j. Suppose -6*f + f = 0. Put -3, f, j in decreasing order.
f, -3, j
Suppose 4*r + r = 20. Suppose -3*p - r*q = -20, 2*p - 11 = -4*q + 9. Sort 1, p, 4 in decreasing order.
4, 1, p
Let o = 8.6 + 0. Let n = -9 + o. Put -7, 1/10, n in increasing order.
-7, n, 1/10
Let p = -0.8 - -5.8. Sort 0.8, 0.3, p in decreasing order.
p, 0.8, 0.3
Suppose 2 = 3*l - 3*i + 5, -5 = -l - 5*i. Put l, 7, -2 in increasing order.
-2, l, 7
Let f = 31.2 - 30. Let s = -1.6 + f. Put -1/2, 0.3, s in descending order.
0.3, s, -1/2
Let o be (-1 + 1)/(0 - -1). Suppose 15*q - 3 = 18*q. Sort q, 5, o in descending order.
5, o, q
Let j be (1 - 1)*2/(-2). Suppose -24 + 4 = -5*v. Suppose 0 = -3*o + 4*o + v. Sort o, j, 4.
o, j, 4
Let r be (2*-1)/(-3 - -1). Suppose q + 5 = 5*c, 4*q - 5 = -4*c - r. Let b be (9/(-6))/(c/2). Sort b, 3, -1 in ascending order.
b, -1, 3
Suppose -16 = -5*b - 51. Let u be 104/28 + (-2)/b. Suppose -4*i - 1 = -3*i. Sort 0, u, i in increasing order.
i, 0, u
Let g be 0/(4 + (-1 - 1)). Suppose -5*q + 1 = -9. Sort g, q, 4 in increasing order.
g, q, 4
Suppose -4*a = -3 + 19. Sort a, 5, 1 in decreasing order.
5, 1, a
Let a = 53 + -56. Sort a, 2/5, -2 in decreasing order.
2/5, -2, a
Let h(m) = m**3 - 4*m**2 + 5*m - 3. Let v be h(3). Sort v, 2, 5 in descending order.
5, v, 2
Let f be (2 - 0)/(-2) - -2. Let g be 2/10 - (-29)/5. Let c(k) = k**2 + 3*k - 20. Let y be c(3). Sort g, f, y in ascending order.
y, f, g
Suppose 4*p + j - 107 = 0, 0*p = 2*p - 5*j - 37. Suppose k = 5*w - 2*k + 3, 2*w + p = -5*k. Put w, 5, 0 in increasing order.
w, 0, 5
Let p(z) = z**2 + 8*z + 4. Let n(y) = -y - 8. Let l be n(0). Let w be p(l). Suppose -f = -3 + 4. Sort f, w, 2.
f, 2, w
Let u = -3 + 3.4. Let o = u - 4.4. Let p = 4.2 + o. Put p, 1, 5 in ascending order.
p, 1, 5
Suppose -5*z - 2*g = -0*g - 11, -3*z - 9 = -4*g. Let u be (3 - z)/(18/(-45)). Put u, -2/9, -0.3 in decreasing order.
-2/9, -0.3, u
Let t(r) = r - 2. Let n be t(4). Let h = -1 + 0.7. Suppose 2*m = 5*z + 6*m + 7, -9 = 3*m. Sort h, n, z in descending order.
n, z, h
Let w(k) = -k**3 - 4*k**2 - 4*k - 6. Let i be w(-3). Sort -15, 3, i in increasing order.
-15, i, 3
Suppose 4*j = 6*j + 6. Sort j, 4, -11 in increasing order.
-11, j, 4
Let u = -27.5 - -27.1. Let i = -0.3 + 0.1. Put u, 3, i in descending order.
3, i, u
Suppose -5*m - 8 - 2 = 0. Let a = 2 + 1. Sort m, a, 5 in descending order.
5, a, m
Suppose 5*l + 6*l = 209. Sort l, -1, -4.
-4, -1, l
Let u = -2/51 + 12/17. Sort u, -0.3, -0.2 in ascending order.
-0.3, -0.2, u
Let a be 10*((-5)/2 + 2). Suppose 2*v - 17 = 3*p, 10 = -2*p - 4*v + 5*v. Let n be (12/10 - 1) + (-4)/20. Sort n, p, a in descending order.
n, p, a
Suppose 0*a + 2*a = -12. Sort a, 2, 5 in decreasing order.
5, 2, a
Suppose 5*a - 3*a = -2*k, -2*k + 5*a - 35 = 0. Let x = k + 9. Suppose 3*u - 5*z = 35, -5*z - 5 = -u + x*u. Put -5, u, -4 in decreasing order.
u, -4, -5
Let s = -26524/210861 + -4/3347. Let m = s + -1/63. Sort -2, m, 0.3 in increasing order.
-2, m, 0.3
Let v be (3 - 10/4)*14. Let k = v - 11. Put k, -1, -2 in increasing order.
k, -2, -1
Let r = -3 + 2.5. Suppose -5*o + 10 + 5 = 0. Suppose o*f = f - 6. Sort f, r, 0.5.
f, r, 0.5
Let t be 168/40 + 1*-4. Sort 1/4, t, -0.06.
-0.06, t, 1/4
Let t = -1.7 + -2.3. Put 0.01, -0.5, t in descending order.
0.01, -0.5, t
Let r(w) = 2*w + 14. Let u be r(-8). Put u, 5, -3 in decreasing order.
5, u, -3
Let d = -4 + -10. Let l be ((-2)/d)/((-3)/(-6)). Sort -3, 0.5, l in ascending order.
-3, l, 0.5
Let q = 0.54 + -0.7. Let t = -0.06 - q. Sort 2/3, t, -1/3 in descending order.
2/3, t, -1/3
Let r = 11/20 - 3/10. Let f(b) = b**2 + 5*b - 6. Let g be f(-7). Let y be 2/24 + (-2)/g. Sort r, 0, y in decreasing order.
r, 0, y
Suppose -3*s - 3*w + 6 = 0, 0*s + 5*w = s - 2. Let m be (4/(-2))/s + 2. Let u = 6 + -10. Sort 4, u, m in descending order.
4, m, u
Let h(t) = -t**3 + 6*t**2 + t - 6. Let r be h(6). Suppose 5*s = -r*s - 15. Sort 1, s, -5 in descending order.
1, s, -5
Let o = -0.03 - -0.33. Let l = -5 - -5. Let g be (-1 - (-2 + l))*-5. Put o, g, -0.4 in ascending order.
g, -0.4, o
Let g(c) = -c**2 - 7*c - 3. Let v be g(-6). Let q be (-2)/8 - 13/(-12). Sort 0.2, v, q.
0.2, q, v
Suppose 0 = -0*w + 5*w + 5. Let i(t) = -4*t**3 - 1. Let g be i(-1). Put g, -4, w in descending order.
g, w, -4
Let g = -28 - -28.5. Sort 0.4, -1, g in descending order.
g, 0.4, -1
Let l = -0.82 + 0.32. Let x = -5/8 - -59/120. Put l, -1/3, x in descending order.
x, -1/3, l
Let m = 74 - 141/2. Let s = 3 - m. Sort s, -0.4, 3.
s, -0.4, 3
Let k = -9 + 2. Let i = 6 + k. Let u = -10 - -14. Sort -3, i, u in decreasing order.
u, i, -3
Suppose 3*g + 12 = -3*y, -7 + 4 = 2*g - 3*y. Put -2/17, g, 4/7, -1 in decreasing order.
4/7, -2/17, -1, g
Let t = 0.1 + -1.1. Let u be (-12)/(-8)*8/6. Let o = 0.03 + -0.43. Sort o, u, t in decreasing order.
u, o, t
Let y be ((-20)/(-12))/((-10)/(-36)). Put 2, y, -2, 1 in ascending order.
-2, 1, 2, y
Suppose -4*h + 9*h = 0. Suppose 5*g - 15 = -h*n + n, 4*g + 5*n - 41 = 0. Let x(k) = 6*k - 1. Let m be x(1). Sort -5, g, m in increasing order.
-5, g, m
Suppose 2*i - 1 = 2*g + i, 4*i - 22 = -g. Let h(o) = o**2 - o + 1. Let w be h(g). Sort -4, w, -5 in decreasing order.
w, -4, -5
Suppose -4*c + 0*c = -20. Sort -2, -5, c in descending order.
c, -2, -5
Let y be -1*5/((-5)/(-4)). Let j = 12 - 12. Sort j, y, -1 in ascending order.
y, -1, j
Let z be (-3)/(-7) - (-288)/(-280). Put -0.4, z, 2/7, -0.3 in decreasing order.
2/7, -0.3, -0.4, z
Let 