 in increasing order.
v, -4, h
Let w(f) = f**3 + f**2. Let k be w(1). Sort -5, -2, k.
-5, -2, k
Suppose 5*m - 17 = -o, -3*m + 3 + 9 = 0. Let t = 0.1 - -0.4. Sort 1/4, o, t in descending order.
t, 1/4, o
Let s = -3 + 2.95. Let f = s + 0.05. Let a = -0.1 - 0.3. Sort f, 0.2, a in ascending order.
a, f, 0.2
Let f = 5/8 + -49/104. Let q = 0 + -2. Let s be 4/14 + q/14. Sort -1/2, f, s in descending order.
f, s, -1/2
Let k be ((-20)/(-30))/((-3)/2*2). Put k, -0.2, 4, 3 in descending order.
4, 3, -0.2, k
Let y(s) = 2*s + 1. Let h be y(-2). Let g be (1*h/6)/(-2). Let u = -1 - -1.4. Sort u, 3/5, g in ascending order.
g, u, 3/5
Let h = -12 - -10. Let r = 4 - 2. Put h, r, 4 in ascending order.
h, r, 4
Suppose 7*i - 55 = -6. Sort -5, i, -2 in decreasing order.
i, -2, -5
Let a = -4.89 + -0.11. Put 6/11, 0.7, -4, a in descending order.
0.7, 6/11, -4, a
Let x = 9 + -4. Put x, -2, -1/3 in ascending order.
-2, -1/3, x
Let a(n) = -n + 29. Let r be a(25). Put 5, -5, 2, r in increasing order.
-5, 2, r, 5
Suppose 2*q - 5*w - 28 = 0, 3*q = 7*q + 5*w + 4. Sort q, 0, 1 in increasing order.
0, 1, q
Let g = 0.19 + 0.37. Let o = g - -3.14. Let w = 4 - o. Sort -5, -1/2, w in ascending order.
-5, -1/2, w
Let n = -48 - -46. Let q = -10 - -14. Suppose q*l - g + 6*g = -24, -4*l + 2*g + 4 = 0. Put l, -5, n in increasing order.
-5, n, l
Let y(o) = -3*o**3 - 2*o**2 + 2*o - 1. Let s be y(1). Suppose 0 = -d - 4*a - 15, -5*d + a = 4 - 13. Sort s, d, -1.
s, -1, d
Let v = -19 + 13. Let n = v + 7. Put 2, -4, n in decreasing order.
2, n, -4
Let o = 4 - 7. Let f = -12565/17 - -739. Sort o, f, 1.
o, f, 1
Let w be (-1 - 9/(-6))*2. Suppose -2*f + 3*s + 2 = 0, w + 1 = 2*f + s. Let h(b) = b**2 + 5*b. Let y be h(-5). Sort y, f, -1 in descending order.
f, y, -1
Let r = -2.03 - -0.03. Let w(s) = -s**3 + 2*s**2 + 2*s + 1. Let d be w(-1). Let m be d + -2*(-32)/(-34). Put m, r, -1 in ascending order.
r, -1, m
Let t be ((-4)/(-12))/(2/(-6)). Suppose -k - 4 = -3*y, -8 - 6 = -2*k - 5*y. Let a be k/10 + 144/(-45). Put t, 1, a in descending order.
1, t, a
Let o = 5 - 2. Let p = o + 1. Sort p, -5, -2 in increasing order.
-5, -2, p
Suppose -2 = -3*t + 3*y - 11, 2*t + 5*y - 29 = 0. Let l be (t/3)/((-2)/(-6)). Suppose 3*s + s - 4*g = 0, 3*g + 1 = l*s. Sort s, 5, 4 in descending order.
5, 4, s
Suppose 2*b + 0*b = 3*m + 17, -b = -4*m - 11. Sort 3, b, 5, -2.
-2, 3, 5, b
Suppose 4*t - 4 = -20. Suppose 6 - 31 = -5*k. Put k, -5, t in ascending order.
-5, t, k
Let k be ((-3)/2)/((-2)/(-16)*-3). Sort 0, 9, -1, k in descending order.
9, k, 0, -1
Let w = -7 + 4. Let f = w - -5. Let i = -1.9 - 0.1. Put 1/7, i, f in ascending order.
i, 1/7, f
Let a be -2 - ((-3)/(-6) - (-1)/2). Put -1, a, -2 in ascending order.
a, -2, -1
Let d(l) = l**3 + 5*l**2 - 8*l - 3. Let o be d(-6). Put o, -3, -5 in descending order.
o, -3, -5
Let d = -65.98 - -65. Let k = 0.12 + -0.1. Let z = d - k. Put -2, 1/5, z in descending order.
1/5, z, -2
Let v = -2.9 + 3. Let q be 2/(8/6)*(-22)/11. Put q, -0.4, v in decreasing order.
v, -0.4, q
Let v be ((-6)/(-4))/(1/(-4)). Put 5, v, 4 in descending order.
5, 4, v
Let v = -4 - -3. Let c(r) = -2*r**2 + 2*r + 1. Let k be (-8)/(-2)*1/2. Let x be c(k). Sort 2, x, v in increasing order.
x, v, 2
Let n(f) = f**3 - 11*f**2 + 11*f - 5. Let m be n(10). Suppose -m*l = -0 - 5. Put l, -5, 2 in decreasing order.
2, l, -5
Suppose -2*f = -2*f - 2*f. Put f, 5, 4 in ascending order.
f, 4, 5
Suppose -5*k + 2 = -h + 2*h, -3*k = -h + 2. Suppose -3*t + 30 = h*t. Let m be (-2)/4*t/15. Sort m, -4, -0.1.
-4, m, -0.1
Let s = 109 + -4579/42. Put -3/7, 0.5, s in ascending order.
-3/7, s, 0.5
Let s = 0.51 - -3.49. Let j = -53/518 + -3/74. Sort j, -5, s.
-5, j, s
Let n(s) = -s**2 + 8. Let m be n(-4). Sort -3, m, 4, 3 in increasing order.
m, -3, 3, 4
Let n = 0 + -0.2. Sort n, 5, 0 in decreasing order.
5, 0, n
Let d(r) = -r**3 - 8*r**2 + 9*r + 5. Let t be d(-9). Put t, -6, -5 in descending order.
t, -5, -6
Let j(p) = -p - 7. Let z be j(-3). Sort -1, 6, z.
z, -1, 6
Let u = 3 + 3. Let m = u + -11. Put m, 0.3, 0.5 in descending order.
0.5, 0.3, m
Let y = 31.07 - 33.1. Let q = y + 0.23. Put 0.5, 1, q in descending order.
1, 0.5, q
Let h(w) = -w + 3. Let l be h(6). Put -2, 5, l in descending order.
5, -2, l
Let b be (-1 + (-141)/(-6))/(-14). Let d = -6/7 - b. Suppose 0 = q - 3*v - 10, 3*q + v - 10 = -0*v. Sort d, 5, q in ascending order.
d, q, 5
Suppose -81*d + 20 = -77*d. Let g = 1 + -1. Put g, 2, d in descending order.
d, 2, g
Suppose -f + 3 = 3*z, -2*f + 5 + 1 = 0. Suppose l - 30 = -11*t + 6*t, z = 5*l. Suppose -u - t = 2*u. Put -3, -4, u in decreasing order.
u, -3, -4
Let g = -2.1 + 2.5. Sort -0.3, -6/7, g in decreasing order.
g, -0.3, -6/7
Let u be 3*(1 - (-20)/(-12)). Put 0, u, -4 in ascending order.
-4, u, 0
Let r = 57.7 - 58. Sort r, 0, 0.1, -4 in decreasing order.
0.1, 0, r, -4
Let s = 3.4 + -3.4. Sort 16, s, 2 in ascending order.
s, 2, 16
Let g be (2 - 1)*(0 - -5). Suppose -19 = -5*f + 4*d, 2*d = -0*f + g*f - 17. Suppose -v = -f*v. Put 4, v, -3 in decreasing order.
4, v, -3
Let b = -17/6 - -8/3. Sort -1/3, 3, -8, b in descending order.
3, b, -1/3, -8
Let h(r) = r - 7. Suppose 0 = 2*m - 5*t - 10, -2*m + 2*t = -t - 10. Let g be h(m). Put 0, -1, g in ascending order.
g, -1, 0
Let m(v) = v**2 + 4*v + 4. Let y be m(-4). Let k(f) be the first derivative of f**3/3 + 5*f**2/2 + 3*f + 5. Let a be k(-4). Sort y, -2/11, a.
a, -2/11, y
Let h = -84 + 70. Put -5, -1, 2, h in descending order.
2, -1, -5, h
Suppose -2*c = -r - 1, -2*c + r = -3*c - 1. Suppose c = -k - k. Sort 0.1, k, 2.
k, 0.1, 2
Let o(q) = 9*q**2 - 55*q. Let w be o(6). Sort w, -2, 5 in descending order.
5, -2, w
Let j = -1 + -6. Put j, -2/3, -1 in increasing order.
j, -1, -2/3
Suppose 2 = h + 3*r, 3*h + h - 3*r = -22. Let l = -0.61 + 0.21. Sort h, l, -1/2 in ascending order.
h, -1/2, l
Let q = 1.2 - 0.2. Let m = q + -1.1. Let v = -0.39 - -0.09. Sort m, v, -4 in ascending order.
-4, v, m
Let x = 1/10 - -3/10. Let t(a) = -a**3 + 5*a**2 - 3*a - 3. Let k be t(4). Sort k, x, 1/3 in decreasing order.
k, x, 1/3
Let y = -75/266 - 1/266. Put 0, y, 1/2, 4 in descending order.
4, 1/2, 0, y
Let f be -2 - ((0 - 0) + -5). Suppose 0 = 4*m - 16, f*m - 20 = -4*d - m. Let p be ((-3)/6)/(d - 2). Sort -0.3, p, -1/2 in ascending order.
-1/2, -0.3, p
Let w be 8/18*3/2. Sort 3, 0.8, w in descending order.
3, 0.8, w
Suppose 0 = -k - 4*k. Suppose 2*g + k*g + q = 1, -2*g - 11 = -3*q. Put -2, -3, g in ascending order.
-3, -2, g
Let t(r) be the second derivative of r**3/6 - 3*r**2/2 + 2*r. Let k be t(5). Put k, 0.1, -0.4 in decreasing order.
k, 0.1, -0.4
Let k(y) = 2*y - 2. Let w be k(5). Let j = 3 - w. Put -4, j, -3 in descending order.
-3, -4, j
Let u = 1.4 - 1.5. Put 5, -9, u, -2 in increasing order.
-9, -2, u, 5
Let c be 32/3*(-33)/(-22). Suppose -c = 8*s + 16. Put 0.9, 0.5, s in decreasing order.
0.9, 0.5, s
Suppose -33 = -2*o + 5. Suppose -4 + o = i. Let p = i + -10. Sort p, -1, -2/5 in descending order.
p, -2/5, -1
Let l = -100 + 809/8. Put 0.4, l, 0 in increasing order.
0, 0.4, l
Suppose -2*q + 6 = -8. Put -1, 1, q in decreasing order.
q, 1, -1
Let r be (-1)/(-1) + (-1 - 3). Suppose 1 - 25 = -8*h. Sort r, h, -1 in decreasing order.
h, -1, r
Let k = 0.03 + 0.17. Let p = -0.5 - -6.5. Let t = 10 - p. Sort t, k, 2 in descending order.
t, 2, k
Let f be ((-172)/(-85) + (1 - 3))*-5. Sort -3, f, 10 in increasing order.
-3, f, 10
Let l = 5 - 0. Suppose -n + 13 = 3*c, 2*n + 17 + 12 = 5*c. Let d be n/(-13) - (-216)/117. Put -3, d, l in descending order.
l, d, -3
Let u be -3 + 0 - (0 - 0). Suppose 4*x - 10 = 2*d, x + 4*d + d - 19 = 0. Put x, -9, u in descending order.
x, u, -9
Let q(b) = -b**3 + 14*b**2 - 14*b + 17. Let i be q(13). Sort -4, 0, i.
-4, 0, i
Let s = -9 + -4. Let t = 13.6 + s. Put 4/5, t, -0.5 in ascending order.
-0.5, t, 4/5
Let x(f) = -f + 4. Let w be x(2). Put w, -3, 3 in descending order.
3, w, -3
Suppose c = -2*c. Let p be (1/2)/((-5)/30). Sort 4, c, p in decreasing order.
4, c, p
Let h(p) = -4*p**3. Let z be h(1). Put -1, 0, z in descending order.
0, -1, z
Suppose 11 = y + 9. Sort y, -5, 4.
-5, y, 4
Let g = 6.01 - 0.01. Let u = 5 - g. Let p = 0.38 + 0.02. Put p, u, 4 in descending order.
4, p, u
Let z = 24 + -27. Let p(t) = -t - 10. Let i be p(-8). Let r(q) = 5*q**2. Let d be r(-1). So