 = 2*f**2 + f - 5. Let i be v(2). Let h = -0.2 - -0.6. Put i, h, 1/10 in ascending order.
1/10, h, i
Suppose 5*q = -2*a - 13, -4*q = 2*a + 15 - 3. Put -2, q, 25 in decreasing order.
25, q, -2
Let x = 2 + 1. Let f = 2.7 - x. Put -0.1, -4, f in ascending order.
-4, f, -0.1
Let a be (1/(-2))/(3/(-72)). Suppose i - 4*d = 14, 4*i + 1 - a = d. Put -2, 4, i in increasing order.
-2, i, 4
Let s be (-1 - 5/(-3))*(-153)/34. Put 4, 2, s in descending order.
4, 2, s
Let b be 2/(-11) - 40/22. Put 27, 1, b, -5 in increasing order.
-5, b, 1, 27
Let c be (-4 - -2) + 24/16. Sort c, 2, -0.4, 0.
c, -0.4, 0, 2
Let r be (8/(-14))/(((-24)/(-28))/(-1)). Sort -0.1, 2/7, 1, r in ascending order.
-0.1, 2/7, r, 1
Let z = 3 - 1. Let c be ((-2)/78)/(3/(-18)). Let a = 0.6 + 4.4. Sort a, z, c in descending order.
a, z, c
Let c be (-18)/30 + 31/10. Let a = 30 - 30.4. Sort a, 7, c in increasing order.
a, c, 7
Let d = 0.047 + -1.247. Sort -2/5, 1/3, d, -3 in increasing order.
-3, d, -2/5, 1/3
Let w = 39205/21 + -194335/63. Let n = w + 1219. Let o = -8/9 + n. Sort 2/9, -0.5, o in descending order.
o, 2/9, -0.5
Suppose 14 = -2*t + 6. Sort 0.5, 3, t in increasing order.
t, 0.5, 3
Let x = 40.8 - 41. Put 2, x, -4 in ascending order.
-4, x, 2
Let l = -10.7 + 6.7. Put l, 2, 4, -3/4 in descending order.
4, 2, -3/4, l
Let x = 0.26 + 11.74. Let a = -14 + x. Let m(i) = 2*i - 6. Let c be m(4). Put a, c, -4 in ascending order.
-4, a, c
Let n(b) = b - 9. Let q be n(4). Let m(j) = -j - 13. Let s be m(-7). Let l = -9 - s. Put l, 4, q in descending order.
4, l, q
Let m = -37 + 19. Let a be m/(-4)*(-16)/(-12). Sort 4, a, 3.
3, 4, a
Let k(f) = 2*f - 20. Let y be k(11). Sort y, 4, 1 in decreasing order.
4, y, 1
Let y be -2*(1 + 1)/4. Suppose 0*r + 4 = r. Sort r, y, -4 in ascending order.
-4, y, r
Suppose 3*c - 5*c - 2 = 0. Let g be 2/((-5)/(5/(-2))). Suppose -2*k + 5 + 1 = 0. Put g, c, k in descending order.
k, g, c
Let i(b) = b - 7. Let p = -13 + 16. Let v be i(p). Sort v, 3, -1 in decreasing order.
3, -1, v
Let h = 74 - 71. Suppose -50 = -3*z + n, z - 4*z + 3*n = -60. Let u be (z/h)/(0 + 1). Put u, -0.2, -1 in increasing order.
-1, -0.2, u
Let m = 3.1 - 3. Let v = 1.2 + 3.8. Sort -3, m, v in ascending order.
-3, m, v
Suppose -c + 5*z = -20, 4*c - 3*z + 8*z - 5 = 0. Let n be 2 - (3 + -10 + 2). Let y = -6 + n. Sort -4, y, c.
-4, y, c
Let p(v) = -v**2 + 7*v. Let o be p(7). Put 5, o, 4 in descending order.
5, 4, o
Let r(f) = f + 1. Let o be r(2). Suppose -o*m = -1 + 13. Sort 2, m, -3 in decreasing order.
2, -3, m
Let k(j) = -j**3 + 3*j**2 - j. Let o be k(2). Put o, 4, 0 in descending order.
4, o, 0
Suppose 2*o = -0*o + 10. Suppose 0 = 2*s - 1 + o. Sort 1, s, -1.
s, -1, 1
Let l be (-1)/4*-2*-8. Let s be ((-24)/16)/(-1 - 1/(-4)). Let k be 1 + -2 - 1*2. Put k, l, s in decreasing order.
s, k, l
Let a(w) = w**3 + 7*w**2 + 3*w + 7. Let j be a(-7). Put j, 0, 5 in ascending order.
j, 0, 5
Suppose 0 = -0*j + 3*j - 5*t - 35, -29 = -5*j + t. Let k(c) = -c**3 + 3*c**2 + 4*c + 3. Let w be k(4). Sort w, j, -3 in ascending order.
-3, w, j
Let l = 65 + -52.8. Let h = l + -12. Put 0.4, h, -1/3 in ascending order.
-1/3, h, 0.4
Suppose s + 30 = 6*s. Suppose -s = -5*x + 4. Put 1, x, -2 in ascending order.
-2, 1, x
Let y(i) = i + 3. Let l be y(8). Put 0, l, 2 in ascending order.
0, 2, l
Let d = -0.048 - 1.952. Sort -34/7, -1, d in increasing order.
-34/7, d, -1
Let f(j) = -9*j**3 - 4*j**2 + 5*j. Let b(z) = -8*z**3 - 3*z**2 + 4*z. Let l(p) = -5*b(p) + 4*f(p). Let a be l(-1). Sort -2, 4, a.
a, -2, 4
Let a = -19894/1311 + 784/57. Let n = a + 2/23. Put -1, 0.1, n in increasing order.
n, -1, 0.1
Let r = 64 + -62. Put 3, r, 4, -0.3 in decreasing order.
4, 3, r, -0.3
Let t be -6 + 4/(-2) + 5. Let l(s) = -2*s - 5. Let d be l(-5). Put d, t, 1 in decreasing order.
d, 1, t
Let l = 0.4 - 2.4. Put -3, l, -0.1 in descending order.
-0.1, l, -3
Let z be (0 + 0)/(2 - 1). Suppose 0 = -z*s - 3*s + 30. Let c = 10 - s. Put -1, c, -3 in descending order.
c, -1, -3
Let q = -6.9 + 1.9. Sort q, 0, -1/8 in increasing order.
q, -1/8, 0
Suppose -6*s = 75 - 195. Sort -5, s, 1, 3 in decreasing order.
s, 3, 1, -5
Let n = 2 + -4. Suppose -4*m + 8 = -2*m. Sort m, n, 1.
n, 1, m
Suppose -c = -4*c - 3. Let v(r) = r**2 - 3. Let n be v(5). Suppose 4*g + 7*w - n = 4*w, 6 = 4*g - 5*w. Put g, 1, c in decreasing order.
g, 1, c
Let y be (-12)/(-30) - 26/(-10). Let h = -4 - -4. Let w be 2 - (2 + 1 + -2). Sort w, y, h in decreasing order.
y, w, h
Let z be (-1)/4 - 6/8. Let j = z - -3. Suppose -2*n + 5*v = -6, j*v = 4*n - 0*v - 12. Sort 5, n, -2 in decreasing order.
5, n, -2
Let o = -0.264 + 8.144. Let c = -0.12 - o. Let r = -3 - c. Sort -3, r, -1/3 in decreasing order.
r, -1/3, -3
Let u(x) = x**3 - 8*x**2 + 2*x - 17. Let s be u(8). Put -2/5, -5, s in decreasing order.
-2/5, s, -5
Let p = -59/3 + 19. Let q = -0.1 - -0.6. Sort q, -1/4, p.
p, -1/4, q
Let b = -0.6 + 0.7. Let o = 3.9 + b. Let l = -0.8 - 2.2. Sort o, 0.1, l in descending order.
o, 0.1, l
Let d = 2/265 + -1333/1060. Let x = 1.4 + -1.6. Sort d, -4, x in increasing order.
-4, d, x
Let h(i) = -i - 1. Let p be h(3). Let w be 2 + -2 + (0 - 1). Put p, 1, w in descending order.
1, w, p
Let b = 1 + -3. Suppose -2*d + 4*q + 5 = 3*q, 25 = d + 4*q. Sort d, b, 1 in increasing order.
b, 1, d
Suppose -8*i + 9*i = 2*l - 2, -3*i = -2*l - 6. Sort -30, i, -1 in descending order.
i, -1, -30
Let w = -52 + 16. Let j = w - -143/4. Put j, 0, 2/11 in increasing order.
j, 0, 2/11
Let p = 27 + -27. Sort -3, p, 0.3 in increasing order.
-3, p, 0.3
Let w be -2*1/12*-3. Put 1/4, w, 1, 3/2 in decreasing order.
3/2, 1, w, 1/4
Suppose 0*g + 6 = 3*g. Let u = -7 + g. Suppose 0 = -x + p - 2, 0*p + p = -5*x + 2. Sort 5, x, u.
u, x, 5
Let u be ((-48)/(-4040))/((-2)/20). Let w = -296/909 + u. Let l = 0.2 - 0.6. Sort 1, w, l.
w, l, 1
Let w(u) = -u**3 - u**2 - 1. Let n be w(-2). Suppose -4 = 2*t - 3*t. Suppose 5*a = -4*z - 45, -2*a - z - 5 = -2*z. Sort n, t, a in descending order.
t, n, a
Let d(i) = i**3 - i**2 + i - 7. Let s be d(0). Let x(h) = -h - 7. Let v be x(s). Let y be (-6)/((-30)/25*(-10)/8). Sort 1, v, y in ascending order.
y, v, 1
Let u = 24 + -27. Put u, 5, 4, -6 in decreasing order.
5, 4, u, -6
Suppose 2*a = 3*s + 18, a + 15 = 2*a - 3*s. Sort -1, a, 0.
-1, 0, a
Let d = -2 + 3. Let m = d - -2. Sort 0, m, 1.
0, 1, m
Let t = 4801/18564 - 44/221. Let s = 1/12 + t. Put s, 2, 3 in decreasing order.
3, 2, s
Let a = -0.037 + -0.063. Let p = 35 + -247/7. Put a, p, -0.5 in decreasing order.
a, p, -0.5
Let y = -12 + 4. Let j = 4 + y. Sort 2, -5, j in ascending order.
-5, j, 2
Let p(q) = q + 7. Let h be p(-5). Suppose -h*c + 12 = 2*c. Let w(z) = -3*z + 9. Let r be w(4). Sort c, 2, r in decreasing order.
c, 2, r
Let n = 6 + -4. Suppose -2*i + j + 2 = 0, 3*i - 3*j + 0*j = 3. Suppose -12 = -c + 4*c. Put c, n, i in descending order.
n, i, c
Let t(k) = 3 + k**2 - 5 + 10*k + 6. Let x be t(-10). Put 1, 5, x in decreasing order.
5, x, 1
Let o = -6.28 - -6. Let j = o - 0.02. Let s = -0.1 + -0.1. Sort 0.1, j, s.
j, s, 0.1
Let x be 405/(-6)*(-8)/10. Let k be (-438)/(-8) - (0 + 1). Let o = k - x. Put -0.4, -1, o in descending order.
o, -0.4, -1
Let t = -67 + 67.14. Put t, -2, 3 in descending order.
3, t, -2
Let a = 30 - 31. Let d = a - -5. Let z be 0 + 5*(0 - 1). Sort z, d, 3 in decreasing order.
d, 3, z
Let i = -17 - -16.97. Sort -4, 1/2, i.
-4, i, 1/2
Let b = -4 + 3. Let m = 4 - 4. Suppose m = -z - 3*z - 16. Sort z, b, 0 in decreasing order.
0, b, z
Let c = -345 + 4487/13. Put 3, c, -0.1 in decreasing order.
3, c, -0.1
Let u be 75/(-216) - (-2)/9. Let v = -0.4 + 0.3. Put v, u, -1 in increasing order.
-1, u, v
Let p be 133/35 - 4/(-20)*-4. Sort -3, 1, -2, p.
-3, -2, 1, p
Suppose -2*n - 6 = -4*n, -4*t = 4*n - 60. Suppose -2*x = -0*x + t. Let p be (-10)/66 + (-2)/x. Put p, -4, -5 in descending order.
p, -4, -5
Suppose -r + 6 - 15 = 0. Let q be -2 - (2 + (-294)/r). Let z = -328/9 - q. Sort -0.5, -0.1, z.
-0.5, -0.1, z
Let c = -0.42 - 0.58. Put c, 5, -4 in descending order.
5, c, -4
Let q(m) = m**3 + 6*m**2 - 6*m + 4. Let z be q(-7). Let u(b) = -b**2 - 2*b + 1. Let f be u(z). Put f, 3, -3 in decreasing order.
3, f, -3
Let y = 2 - 3. Let k = -1.5 - -2. Let b = y + k. Put 0.4, b, 1 in descending order.
1, 0.4, b
Let w = -3 - -5. Suppose -h = w*h. Let f be