Suppose 0 = -2*a + 7*a + f, -2*o - 3*a = 3. Sort z, o, 5/3 in decreasing order.
5/3, o, z
Suppose 0 = 4*u - v, 0 = 5*u + 3*v - 0*v + 17. Let b = 2 - 0. Let z be (u/2)/(b/(-4)). Sort 3, 5, z.
z, 3, 5
Let n = 0.26 - 0.06. Let d = 10 - 15. Put 1/2, n, d in ascending order.
d, n, 1/2
Let u be (-6)/(-2 + (-3)/(-6)). Let l = u - 4. Sort l, -4, 2 in descending order.
2, l, -4
Let s = -0.3 - -0.4. Let o be 8/(-6)*5*1/4. Sort s, -2, o in ascending order.
-2, o, s
Let c = 17 + -14. Put 1, 8, c in decreasing order.
8, c, 1
Let o = -20.6 - -29. Let g = -8 + o. Put g, 2/13, 0 in decreasing order.
g, 2/13, 0
Suppose 3*y + 35 - 9 = -5*c, -5*y + 3*c = -2. Put 6, 2, y, -1 in ascending order.
y, -1, 2, 6
Let b(a) = a**3 + 16*a**2 + 14*a - 16. Let y be b(-15). Put 2, y, 1 in ascending order.
y, 1, 2
Let d = 0.2 + 6.8. Let f = d + -6. Sort 4, f, -1 in decreasing order.
4, f, -1
Let c = -7 + 8. Let x be -1 - -6*6/9. Let o = 6.5 + -7. Put c, o, x in descending order.
x, c, o
Let r = 3 - 7. Let t = 8.2 + -7.2. Put r, 5, t in ascending order.
r, t, 5
Let h(x) = 1 + 2*x**2 - 3*x + x - x. Let u be h(2). Suppose -4*a = 2*d + 1 + 27, 2*d + 3*a + 23 = 0. Sort d, 5, u in increasing order.
d, u, 5
Let q(l) = -l + 9. Let x be q(9). Sort x, 5, -3.
-3, x, 5
Suppose 2 = 5*y - 4*y. Suppose 0 = -4*u - 8. Sort -3, y, u.
-3, u, y
Let p = 0.5 - 0.2. Suppose -2*u = l - 3, 0 = 2*l - 0 + 2. Let a be (u/21)/((-9)/(-21)). Sort -1, p, a in ascending order.
-1, a, p
Suppose -2*c + a + 2 = 0, 2 = 2*c - 0*a + a. Let l be 1/2*2*c. Sort -5, l, 0 in ascending order.
-5, 0, l
Let f(b) = -b**2 - 3*b - 3. Let m be (-1)/(-2)*2*-3. Let l be f(m). Sort l, -0.2, 0.06.
l, -0.2, 0.06
Let r = -62 + 87. Suppose i + 25 = 5*v - 4*i, 0 = 5*v - 4*i - r. Let j(f) = f - 2. Let a be j(-1). Put a, v, 4 in decreasing order.
v, 4, a
Suppose -k + 0*k = 0. Sort 18, k, -1.
-1, k, 18
Let h = 2 - 0. Let m = h + -5. Let b = 393 + -5893/15. Sort m, -1, b in increasing order.
m, -1, b
Let b(m) = -m - 1. Let d be b(4). Let i(p) be the first derivative of p**2/2 - 3. Let k be i(0). Put 3, k, d in decreasing order.
3, k, d
Let u = 2 + 0. Suppose -3*j + l - 12 = -4, j + 5*l - 24 = 0. Let f = 3 + -6. Sort f, u, j in ascending order.
f, j, u
Let i = 0.27 - -0.13. Put i, -1/2, -1 in ascending order.
-1, -1/2, i
Let h be (4/3)/(16/36). Suppose -7 + 19 = -3*c + 3*m, 3*m = -2*c - h. Sort -2, c, 5 in descending order.
5, -2, c
Let x = -0.2 + 0.7. Let j = 8.04 + -8. Let g = -0.06 - j. Sort x, 0.3, g in ascending order.
g, 0.3, x
Let w(h) = -h - 2*h + h + h + 4. Let i be w(6). Put i, -0.2, -4 in increasing order.
-4, i, -0.2
Let f = 15 - 15.9. Let z = 1.1 - f. Put -2, 1, z in increasing order.
-2, 1, z
Let s = 11 - 10.85. Let r = s - -0.35. Sort -2/7, r, -5.
-5, -2/7, r
Let i = -0.64 - -0.44. Sort 3, 4, i, 0.4 in ascending order.
i, 0.4, 3, 4
Let x be (-122)/(-18) - 4/(-18). Let o(k) = 3*k + 7. Let u be o(-6). Let z = u + x. Put z, -1, 2 in descending order.
2, -1, z
Let u = -11.16 - -0.16. Let c = -11.5 - u. Put 0.2, c, -0.2 in ascending order.
c, -0.2, 0.2
Let w = 1/46 - -35/506. Sort -0.5, w, 2 in descending order.
2, w, -0.5
Let l = 0.31 + 2.69. Sort -2, l, 1/6, -2/11 in decreasing order.
l, 1/6, -2/11, -2
Let w = -2.91 + -0.09. Sort -0.4, w, -1 in increasing order.
w, -1, -0.4
Let r(x) = x**2 - 3*x + 4. Let n be r(3). Let c(i) = i - 6. Let l be c(n). Sort l, -3, -1.
-3, l, -1
Suppose 0 = -a - a + 18. Let f be 34/a - 4/(-18). Suppose -f + 12 = -4*i. Put -5, i, -3 in descending order.
i, -3, -5
Let j(s) = -7*s + 1. Let q be j(1). Let b be (q/10)/((-1)/5). Sort 2, -4, b.
-4, 2, b
Let c = 2.5 + -2.2. Let w = -1 - -0.7. Sort w, c, 3 in decreasing order.
3, c, w
Let f be -4*3*1/(-12). Suppose 8*o = -4*x + 3*o + 23, o + 3 = 3*x. Put -8, f, x in increasing order.
-8, f, x
Let x = 44 - 40. Suppose -4*n + n - 2*i = -14, -2*n + 2*i + 6 = 0. Suppose -2*f + f = -3*v - 16, n*v = -5*f - 15. Sort -3, f, x in descending order.
x, f, -3
Let g be (-16)/6*3/2. Put 2, g, -2 in increasing order.
g, -2, 2
Let s = 6 + -11. Suppose -k - c + 1 = 0, 4*k + 3*c - 4 = -0. Suppose 4*z - 3*q - k = 0, q + q = 5*z - 10. Sort s, z, 3 in decreasing order.
z, 3, s
Let z be ((-2)/24)/(-8*(-10)/240). Let u = 1 - 3. Sort 2, u, z in descending order.
2, z, u
Let t = 2 - 3. Let p = -2.5 - 0.5. Let g = 1 + p. Put g, 5, t in ascending order.
g, t, 5
Let b be 1 - (-7 + 5) - 15. Sort -3, b, -2 in decreasing order.
-2, -3, b
Let z be (1 + 0)/((-2)/102). Let d be -1 + (2/(-2) - -1). Let s be d + (-3)/(171/z). Put 0.2, s, -1 in decreasing order.
0.2, s, -1
Let j be 2/(-7) - 26/7. Let b(z) = -z + 1. Let t be b(-4). Let g be 10/t + -2 + 0. Sort -1, j, g in descending order.
g, -1, j
Let r = -7/3 - -2. Let d(w) = w - 7. Let p be d(2). Sort p, r, -3 in ascending order.
p, -3, r
Suppose -65 = 2*x + 3*x. Sort 1, 2/7, x.
x, 2/7, 1
Let g be (-52)/14 + 4/(-14). Suppose 4*i + z - 3 = -0*z, i - 4*z = -12. Suppose 12 = -0*x + 3*x. Sort g, i, x in ascending order.
g, i, x
Let q = -0.4 - 5.6. Let o = -9.5 - 1.5. Let b = o - q. Put b, 3, 5 in descending order.
5, 3, b
Let y = 13 + -7. Let j = -5 + y. Let a be (-1 - -2)*(-1)/5. Sort j, 0.3, a in decreasing order.
j, 0.3, a
Let i be (3 - 2) + 42/3. Let j be (8/(-12))/(2/i). Let p(n) = -n**3 + n**2 + n + 4. Let y be p(0). Put j, y, 3 in increasing order.
j, 3, y
Let j = -8 + 10. Let l be (-2)/3*9/j. Put 7, l, 4 in ascending order.
l, 4, 7
Suppose -4*l + 5*u = -3 - 24, -3*l + 5*u = -24. Let p(h) = h**2 - 4*h. Let g be p(l). Put 0.5, g, 0.1 in increasing order.
g, 0.1, 0.5
Let z = 4 - 1. Suppose n + 4*n - 45 = 0. Suppose 3*p + 43 - n = -5*x, x - 2*p = 1. Put 2, z, x in decreasing order.
z, 2, x
Let u = -1.1 - -1.11. Let f = 19/2 + -10. Put f, -2, u in increasing order.
-2, f, u
Let d = 0 - -1. Sort 3, -1, d in decreasing order.
3, d, -1
Let i = 10 + -8. Sort 4, -8, i in ascending order.
-8, i, 4
Suppose 0 = -3*z - q + 2, -3*z + 4*q = 9 - 1. Suppose 6*a - 5*a = z. Let j be 12/(-10)*(-20)/6. Sort a, j, -3 in increasing order.
-3, a, j
Let c = 71/15 + -22/5. Let a = -46 + 277/6. Put 0.5, a, c in decreasing order.
0.5, c, a
Let r(g) = -g + 5. Let h be r(7). Let m be (h + 10/4)*-2. Put 5, 0, m in ascending order.
m, 0, 5
Suppose 0*f = -4*f - 12. Let z = 4 - 4. Let i be (z - 1) + 36/30. Put 2/9, i, f in decreasing order.
2/9, i, f
Let r = -3 + 2. Let l = 326 - 317. Sort -5, l, r in decreasing order.
l, r, -5
Suppose 0 = 3*v + 5*v - 8. Sort 4, 16, v, -3.
-3, v, 4, 16
Let i(j) = -j**2 - 6*j + 5. Let a be i(-7). Let y = a - -7. Let h = -99/2 + 895/18. Sort h, y, -2 in ascending order.
-2, h, y
Let u = 4842.04 + -4714. Let m = u - 126. Let i = m + -0.04. Put -5, i, 1/5 in increasing order.
-5, 1/5, i
Let l(v) = -v - 12. Let g be l(-7). Sort 3, g, -4.
g, -4, 3
Let o be (1 - 5/10)/(2/(-12)). Let t = 0.1 + -0.3. Let w = t - -0.1. Put o, -1/3, w in increasing order.
o, -1/3, w
Let z(h) = 2*h + 1. Let q(k) = 2*k + 1. Let d(c) = 4*q(c) - 5*z(c). Let o be d(-2). Sort -1, o, -2/3 in increasing order.
-1, -2/3, o
Let l = -19 + 13. Let o be ((-2)/(-24))/(3/l). Put o, -3/4, 1/4 in increasing order.
-3/4, o, 1/4
Let m be (-2)/(2 - 62)*4. Sort m, 3/7, -5 in increasing order.
-5, m, 3/7
Suppose -3*z - 2 = 7. Sort 1, z, 5 in decreasing order.
5, 1, z
Let y be (-152)/(-36) + (-2)/9. Let r be (y - 5) + (-1 - -1). Sort 5, r, 4 in increasing order.
r, 4, 5
Let x(k) = -k**3 - 13*k**2 - k - 10. Let v be x(-13). Sort -1, 4, v.
-1, v, 4
Let m be ((-2)/(-6))/((-1)/(-6)). Suppose 3*o - 16 = -o. Sort o, m, -3.
-3, m, o
Let y(i) = 8 - i - 10*i - 7. Let z be y(1). Put z, -2, 2 in increasing order.
z, -2, 2
Suppose h = 4*h + 15. Let c = -1/28 - 3/14. Put c, h, 1/3 in ascending order.
h, c, 1/3
Let w = -5 + 2. Let m = 0.32 + -0.02. Let q = 0.4 - m. Sort -0.1, q, w in descending order.
q, -0.1, w
Let b = 0.02 - -0.48. Let z = b + -1. Let c = 0.2 - 0.1. Put c, 0, z in decreasing order.
c, 0, z
Suppose -2*h = -0 + 4. Put 6, h, -4, 1 in ascending order.
-4, h, 1, 6
Let i be (-1)/((-3)/1 + (0 - -2)). Put i, 2, 3, -3 in descending order.
3, 2, i, -3
Let w be (-6)/3 - 9/(-4). Suppose 5*s = 4*s - 2. Let m = 68.1 + -68. Sort m, w, s in increasing order.
s, m, w
Let w = 13 + -16. Sort 3, 6, w.
w, 3, 6
Let r = -0.5 - 0. Let t = -1.8 - -1.9. Put -4, t, r in decreasing order.
t, r, -4
Suppose -1