 l be w(-6). Let u = l + -20. Sort -1, 1, u in ascending order.
u, -1, 1
Let y = -129/77 - -20/11. Put -1, -0.1, y in ascending order.
-1, -0.1, y
Let b = -196/767 + 6/59. Sort -0.2, b, -5.
-5, -0.2, b
Let z = 3 - 2. Suppose 0 = -f + 97 - 101. Sort z, 0.5, f in ascending order.
f, 0.5, z
Let c = -20 + 21.2. Let k = c + -1.27. Put 1/7, 0.3, k in ascending order.
k, 1/7, 0.3
Suppose 3*a + 0*a = 3*k + 153, -4*a + 3*k + 207 = 0. Let s be a/7 - (-18)/63. Sort 2, s, 1 in descending order.
s, 2, 1
Let y = 99 - 55. Let x = -40.2 + y. Let w = 4 - x. Put w, 3, -1 in decreasing order.
3, w, -1
Let a be -12*-3*3/36. Suppose -a*f = z - 11 + 1, -4 = -f. Sort 4, 1, z in ascending order.
z, 1, 4
Let j be (-6)/18 + (-10)/(-66). Put 2, j, -0.08 in decreasing order.
2, -0.08, j
Suppose 2*u + 4*a = 14 + 6, u - 3*a + 10 = 0. Let h = 0 - 3. Put h, u, 4 in increasing order.
h, u, 4
Suppose -9 + 1 = -v. Sort v, -1, -3, 4 in descending order.
v, 4, -1, -3
Let p = -0.1 - -0.1. Let v = 0.12 + -4.12. Sort p, 0.3, v in descending order.
0.3, p, v
Let x(s) = s**2 + 2*s - 2. Let m be x(-4). Let w be ((-9)/m + 1)*-10. Put -5, w, 4 in increasing order.
-5, 4, w
Let d(s) = -s + 4. Let r be d(3). Suppose -5*u = 2*a + 5, 3*a + 3*u + 11 + r = 0. Suppose 4*l - 9 = 2*i - 1, 4*i = -4*l + 20. Put -1, a, i in increasing order.
a, -1, i
Let x = 0.4 + -0.1. Let i = 0.05 + 0.23. Let p = -1.72 - i. Sort x, -0.5, p in ascending order.
p, -0.5, x
Let u(p) = -p - 2. Let h be u(-4). Let d be (-14)/(-5) + h/10. Sort -3, d, -6.
-6, -3, d
Suppose 0 = 2*z - 3*n - 21, -4*z = z + 3*n - 42. Suppose -p + 0 = h + 5, 3*h - z = 3*p. Put p, -2, -1 in descending order.
-1, -2, p
Let s = 13 + -3. Let d be (-44)/10 + 4/s. Put -0.1, d, -1/7 in descending order.
-0.1, -1/7, d
Let c = -7 - -10. Suppose -j + 5 = 2*v, v = -c*j - 1 - 9. Suppose -6 = 6*b - 3*b. Sort -4, j, b in decreasing order.
b, -4, j
Let q = -16.1 - -16.1. Let d = -10 - -6. Put q, -0.2, d in descending order.
q, -0.2, d
Suppose -k = b - 4, 2*k - 1 = b + 1. Sort 4, k, 5 in increasing order.
k, 4, 5
Let m be ((-2)/(-5))/(2/(-10)). Let w be m + (2892/(-63))/(-4). Let f = 28/3 - w. Sort f, 0.1, 3 in decreasing order.
3, 0.1, f
Let s = 34.2 + -35. Put 1/4, -0.3, s in increasing order.
s, -0.3, 1/4
Let t = 4.5 + -6.5. Sort -0.3, 0, t in increasing order.
t, -0.3, 0
Let p = -0.7 + 0.4. Let q = p + 0.8. Let z = -68.8 - -69. Sort -4, z, q in descending order.
q, z, -4
Let h = -137 - -136.5. Put 5, -3, 3, h in increasing order.
-3, h, 3, 5
Let o = 0 - -2. Let p = 7 + -3. Let j = 3.6 - p. Put 1, o, j in decreasing order.
o, 1, j
Let n(b) = -b + 1. Let l be n(6). Suppose -a + 14 = -3*a. Let w = 4 + a. Sort w, 1/12, l in descending order.
1/12, w, l
Let r(p) = -p - 8. Let h be r(-6). Suppose 0 = 5*f - 5*y - 15, -y = -2*f + 4. Put h, 4, f in decreasing order.
4, f, h
Suppose 5*u - 25 = -0*u. Sort 2, -38, 4, u in decreasing order.
u, 4, 2, -38
Let k(q) = 3*q - 18. Let r be k(0). Put -2, -3, r, -5 in decreasing order.
-2, -3, -5, r
Suppose -5*c + 0*c = -5. Let k be (5 + -5)/(2*c). Suppose 1 = -4*v + 5. Sort v, k, 2.
k, v, 2
Let d = 0.295 + 0.105. Put 3, -0.2, 0.3, d in ascending order.
-0.2, 0.3, d, 3
Let b be (-2)/15 + 2120/150. Let h be (-306)/315 + 8/b. Put 2, h, -3 in increasing order.
-3, h, 2
Let z be 33/(-22)*8/(-6). Sort -8, 1, z in increasing order.
-8, 1, z
Let u(r) = 2*r**3 - 4*r**2 + 4*r - 3. Let q = 1 + 1. Let v be u(q). Put 4, 2, v in increasing order.
2, 4, v
Suppose 0 = -3*f - 25 + 16. Sort -2, f, 0 in descending order.
0, -2, f
Let c(z) = z**3 - 7*z**2 + 6*z - 4. Let a be c(6). Let o = -2 - a. Suppose -4*t + 2*t - 17 = -3*n, -5*t - 8 = 4*n. Sort o, n, -1 in descending order.
n, o, -1
Suppose 3*o - 4*o = -4. Let i = -4 + 3. Sort i, 2, o in ascending order.
i, 2, o
Let z = -1 + 1. Sort -5, z, 1.
-5, z, 1
Let s(r) = r - 2. Let j be s(4). Sort j, 3, -5.
-5, j, 3
Suppose 0 = 3*q - q + 6. Let l(r) = -r**3 + 14*r**2 - 14*r + 19. Let p be l(13). Sort q, p, -5 in decreasing order.
p, q, -5
Let v be (5/3)/(2/(-6)). Let a = 2 - 9. Let z be 2*(-3 + 2) - a. Sort z, v, -1.
v, -1, z
Let h = 3.1 + -0.1. Sort -3, h, 2 in decreasing order.
h, 2, -3
Let a = 11 + -13. Let r be (-12)/(-52)*a/3. Put -9, 1, r in descending order.
1, r, -9
Let u = -0.16 - -0.01. Let l = 0.15 - u. Suppose 4*r - 10 = 2*p, -2*r - 20 = -5*p - r. Sort -1, l, p.
-1, l, p
Let d(n) = -n + 1. Let m be d(-4). Put -3, 36, m in increasing order.
-3, m, 36
Suppose 0 = z + 2, -2*f + z - 13 = f. Sort 1, f, 3 in descending order.
3, 1, f
Suppose -3*a - s + 5*s = 0, -a = -3*s + 5. Sort -1, a, -5.
-5, -1, a
Suppose 5*s + 24 = -3*s. Let i be (-4)/(-6) - 2/(-6). Put i, -4, s in decreasing order.
i, s, -4
Let x(a) = -a**2 + a + 4. Let s be x(3). Suppose -2*u = -5*u - 15. Sort u, 7, s.
u, s, 7
Let f = 0.69 + -0.09. Let k = f + -5.6. Put -1/5, k, -2 in decreasing order.
-1/5, -2, k
Let u(g) be the third derivative of 0 - 1/60*g**5 + g**3 + 0*g - 1/6*g**4 - g**2. Let l be u(-5). Put l, -4, -1 in increasing order.
-4, -1, l
Let a = 93 - 93.3. Sort 1, a, -8/5 in decreasing order.
1, a, -8/5
Let j = 155 - 154.7. Put j, -0.19, -5 in decreasing order.
j, -0.19, -5
Suppose -2*h - x + 1 = -6*x, -6 = -h - 3*x. Suppose 4*n - h = n. Sort n, -5, -3 in increasing order.
-5, -3, n
Let o = -71 + 147/2. Suppose 4*j = -j + 15. Suppose -h = j*h. Put 0.2, h, o in decreasing order.
o, 0.2, h
Let b = 30 + -30.1. Put -3/5, 2/5, b, 0 in increasing order.
-3/5, b, 0, 2/5
Let u be -2*(1 + (-9)/(-6)). Let s = 16 + -17. Put u, 2, s in increasing order.
u, s, 2
Let o(u) = -u**3 - 7*u**2 + 2*u + 18. Let n be o(-7). Sort 1, n, -3, 5 in decreasing order.
5, n, 1, -3
Let h be 3 + (6/(-9))/((-2)/6). Sort 1, 0, h, 0.2.
0, 0.2, 1, h
Let m = -178 - -182. Put -4, m, -5, -2 in decreasing order.
m, -2, -4, -5
Let l = 0.2 - -0.2. Let c = 2 + -1.7. Let f = c - 2.3. Sort -1, l, f in decreasing order.
l, -1, f
Let j be ((-6)/5)/(2/(-5)). Let g(t) = t**2 - 5*t + 3. Let m be g(j). Sort m, 0, -2.
m, -2, 0
Let m = -18 - -18. Put 0.3, m, -0.01 in increasing order.
-0.01, m, 0.3
Let d = 0.03 + 0.57. Let k = -2.6 + d. Let f = 0.01 - 1.01. Put f, k, -2/11 in decreasing order.
-2/11, f, k
Let k = 17 - 26. Let c = 7 + k. Let h = -5 - c. Put 4, h, 1 in descending order.
4, 1, h
Suppose -12*x + 13*x = 3. Sort x, 0, -5 in decreasing order.
x, 0, -5
Let s(g) = -g**2 + 8*g + 3. Let l(u) = -u**2 + 7*u + 3. Let w(p) = -5*l(p) + 4*s(p). Let f be w(3). Let c be (2/8)/(3/(-12)). Sort 4, c, f in decreasing order.
4, c, f
Let b = 9 - 6. Suppose 0 = 4*k - 6*k - 2. Sort b, 0, k.
k, 0, b
Suppose 30*s = 27*s + 24. Sort 3, 0, s, 2.
0, 2, 3, s
Let n(z) = z**2 + 12*z - 4. Let s be n(-12). Let u = 5 - 7. Put s, u, 4 in decreasing order.
4, u, s
Suppose 3*m - 3 = -3*g - 15, 0 = 3*m + 9. Let u be 4/(((-4)/2)/g). Sort -2, 4, u in descending order.
4, u, -2
Let c(i) = i + 17. Let p be c(-14). Put 1, p, -2, -3 in descending order.
p, 1, -2, -3
Suppose 3*v - 2*v = -7. Let a = v - -7. Sort 4, a, -5 in increasing order.
-5, a, 4
Suppose -13 = s - 9. Suppose -3 = 3*w + 3. Sort 5, s, w.
s, w, 5
Let p = 43 + -43.4. Sort p, 3/2, -2/3.
-2/3, p, 3/2
Let y = 4.989 - -0.011. Sort 2/9, y, -2, -1 in decreasing order.
y, 2/9, -1, -2
Suppose -2*h = -2*s + 2*h - 28, 0 = -3*s - 4*h + 8. Put s, 5, -5, -10 in descending order.
5, s, -5, -10
Let t = -7.5 + 9. Sort -2/11, -0.2, t, 0.3.
-0.2, -2/11, 0.3, t
Let r = 11 + -10. Sort -5, r, 0.
-5, 0, r
Let y be (-10)/5 + (-11)/(-9) + 1. Put y, 3, 2/7 in descending order.
3, 2/7, y
Suppose -4*v - 12 = -0*v. Let n be (((-9)/4)/v)/3. Let y be ((-2)/(-4) - 0)*0. Put -2/3, n, y in decreasing order.
n, y, -2/3
Let x be (-72)/30 - 6/(-15). Sort 1, x, 4.
x, 1, 4
Let q(a) = 3*a - 14. Let z be q(6). Sort 3, z, 0 in descending order.
z, 3, 0
Let n(v) = -4*v + 1. Let w be n(1). Let p = w - 0. Put p, 0, -4 in increasing order.
-4, p, 0
Let b be (-4)/702*-66 - (-2)/(-9). Put b, 3, 2/3 in ascending order.
b, 2/3, 3
Suppose 4 = 2*o - 0. Suppose -10 = -0*f - o*f. Suppose 0 = 4*v - f*z - 49, -4*z = -4*v - 3*z + 29. Sort -1, -4, v.
-4, -1, v
Let g be 2 + (-6)/6 + 4/(-2). Put g, -4, -5 in decreasing order.
g, -4, -5
Let i = 1 - -4. Sort 2/5, 0, i, 4.
0, 2/5, 4, i
Let w be 3*1*(-2 - -3). Suppose 0 = 4*q + 5*s - 19, -2*s = -2*q - 0*s + 14. Suppose -q = z + z. Sort -2, z, w.
