 = 26. Sort y, 3, p in decreasing order.
p, 3, y
Let z = 4.2 - 3.9. Let j = 492/7 - 70. Sort j, z, 2.
j, z, 2
Let d = 1 - 6. Sort d, 1, 4 in ascending order.
d, 1, 4
Let n = 0.2 - -4.8. Let t be (1/4)/(9/8). Sort n, -5, t.
-5, t, n
Let g = -27.7 - -28. Put 2.2, g, -0.1 in increasing order.
-0.1, g, 2.2
Let b(q) = -2*q + 5. Let u be b(3). Let v be (-3)/(((-9)/6)/u). Put v, -0.1, 0.3 in ascending order.
v, -0.1, 0.3
Let h = 2094/11 + -25447/132. Let u = h - -8/3. Let l = -4.5 - -5. Sort u, 2/9, l in descending order.
l, u, 2/9
Let m be (-15)/(-12)*8/20. Sort m, 4/5, 0.3 in descending order.
4/5, m, 0.3
Let q = 36 - 20. Let a = q - 17. Suppose 5*d + 12 = 2*z - 0*z, 2*d = -4*z. Sort 0.3, a, d in increasing order.
d, a, 0.3
Let m = -69.17 - -70. Let s = 0.17 + m. Sort 0.03, -0.2, s.
-0.2, 0.03, s
Let b = -0.1 - 5.9. Let l = 10.04 - 0.04. Let z = b + l. Sort z, 1, -2.
-2, 1, z
Let d = 0 + -68. Let n = -139/2 - d. Put 0.3, n, 0.2 in increasing order.
n, 0.2, 0.3
Let d = -65 - -65.2. Put -2/11, 0.1, d in increasing order.
-2/11, 0.1, d
Let f = -5 + 8. Suppose f*p = 2*v + 3 - 5, 0 = 3*v + 5*p - 3. Sort 3, v, 2 in ascending order.
v, 2, 3
Let o be (-1*2)/(-2 - 29). Put o, -1/7, 1/2 in decreasing order.
1/2, o, -1/7
Let w = -0.08 + -2.92. Sort -1/3, 1/2, w in descending order.
1/2, -1/3, w
Let j(n) = -n**3 - 5*n**2 + 3*n + 2. Let a be j(-6). Suppose 5*u + a = u. Sort u, 5, -4 in descending order.
5, -4, u
Let g = -1.4 + -0.1. Let c = -1 - g. Let t = -1363/15 + 91. Put t, -0.3, c in decreasing order.
c, t, -0.3
Let h = 1 + 3. Let s = h + -4.4. Sort s, -0.5, 5 in increasing order.
-0.5, s, 5
Let c = -0.14 - -0.24. Let o be (-264)/(-45) + -3 + -3. Let x = 0.4 - 0.2. Put c, x, o in ascending order.
o, c, x
Let w be ((-27)/(-18))/(6/16). Put 0, -2, w in descending order.
w, 0, -2
Let v = -1.5 - -1.5. Sort v, -6, 0.3.
-6, v, 0.3
Let a = -17 + 10. Let u = -7.3 - a. Let x = -2/741 - -1504/8151. Sort -1, x, u in increasing order.
-1, u, x
Let d be (-3)/(3/14)*6/12. Sort 4, -1, d in ascending order.
d, -1, 4
Suppose 0*z = 3*z + 3. Sort 7, -5, z in increasing order.
-5, z, 7
Let p = 869/7 - 124. Put 0.076, 3/2, p in descending order.
3/2, p, 0.076
Let t(a) = -2*a + 14. Let v be t(8). Let x(b) = b**2 - 2*b + 1. Let w be x(4). Suppose -10 = 2*d - w*i + 4*i, -5*i = 5*d - 45. Put d, 1, v in ascending order.
v, 1, d
Let y = -45 - -52. Put y, -4, 4, 0 in descending order.
y, 4, 0, -4
Suppose -5*i + 31 = 4*a, -2*a - 3 = a - 5*i. Suppose a*o = 3*d + 22, -3*o + 4*d = 10 - 30. Suppose 3*h - 6 = -0. Put 1, o, h in ascending order.
1, h, o
Suppose 4*s = -5*h + 3, 0 = -3*s + 4*s + 5*h + 3. Suppose -s = 3*o + 1. Sort 0, o, -4 in descending order.
0, o, -4
Let l = 0 - 0. Let s(d) = 4*d**2 + 1. Let z be s(-1). Suppose -3*c - 11 = -z*p, -6 = -p + 4*c - 14. Sort -2, p, l in ascending order.
-2, l, p
Let p = 14 + -9. Sort p, -0.4, -5.
-5, -0.4, p
Let v = -50 - -46. Put v, 2/9, -2 in decreasing order.
2/9, -2, v
Let a = -2.15 + 0.15. Sort -4/7, a, -0.1 in increasing order.
a, -4/7, -0.1
Suppose 5*x = 4*x - 3. Put -1, -5, x in descending order.
-1, x, -5
Let u(f) = 4 - 2*f**2 - 3 + 0. Let j be u(-1). Suppose 4*x + 11 = 3*t, -3*x - 2*t - 30 = 3*t. Put -3, j, x in decreasing order.
j, -3, x
Let k be 1/2 + 3 + (-81)/24. Put 4, 0, k in descending order.
4, k, 0
Let u = 3 - 5. Let b = -8 + 11. Suppose -7*h = -4*h - b. Put u, h, 0 in decreasing order.
h, 0, u
Let m = -3 + 3. Suppose 0 = -3*i - r + 1, 6 = -3*i + r - 1. Sort i, m, -3 in ascending order.
-3, i, m
Let l(k) = -k**2 + 10*k - 6. Let j be l(9). Let t(g) = -g - 5. Let u be t(0). Sort 2, j, u in ascending order.
u, 2, j
Let g = 73 - 1093/15. Put -0.3, g, -1 in increasing order.
-1, -0.3, g
Let f = -7.95 + -0.05. Let y = f + 5. Let p be 0*2/(2/1). Put y, p, 3/7 in ascending order.
y, p, 3/7
Let a = -75 + 78. Put 5, 13, a in increasing order.
a, 5, 13
Let c(t) = t + 3. Let m be c(-30). Put m, -1, -5 in decreasing order.
-1, -5, m
Suppose -2*x - 4*q = -6, -5*q = -3*x - 0*q - 2. Suppose i = -3*i + 20. Sort -3, x, i.
-3, x, i
Suppose 9*r - 48 + 12 = 0. Sort -3, r, 3 in decreasing order.
r, 3, -3
Let a be ((-1)/2)/(1/(-18)). Suppose -2*z - 17 + a = 0. Put 7, -4/7, z in increasing order.
z, -4/7, 7
Let m(z) = 8 - 5*z + 5*z + z**2 + 4*z - 3. Suppose -3*n = 5*f + 2*n, 40 = -5*f + 5*n. Let a be m(f). Sort a, -4, 4.
-4, 4, a
Suppose 4*p - 3*p = 1. Put 5, 2, -1, p in descending order.
5, 2, p, -1
Suppose 0 = 3*g + d + 2, 2*g - 4*g - d = 2. Let l(t) = t + 5. Let b be l(-9). Sort g, 5, b in ascending order.
b, g, 5
Let k = 152 + -152.1. Put -1, k, 3, -0.5 in descending order.
3, k, -0.5, -1
Let m = 1.5 - 1.8. Sort m, -0.2, 5.
m, -0.2, 5
Let t = 0.3 - -0.2. Let h = -15.4 + 15. Let d = 0.8 + h. Sort d, t, 1 in descending order.
1, t, d
Suppose 1 = w - 0*c + 4*c, -4*w + 2*c + 4 = 0. Sort 13, w, 5, 4.
w, 4, 5, 13
Let b = 24.5 + -24. Sort b, 2/5, -0.1.
-0.1, 2/5, b
Let j be ((-8)/(-10))/((-4)/(-20)). Put 2, -2, j in descending order.
j, 2, -2
Let w = -19.8 - -18. Let f = w - -2. Put 4, -4, f in descending order.
4, f, -4
Let r = -38 - -36. Put -1, -5, r, 3 in descending order.
3, -1, r, -5
Let c = -3.4 + -0.6. Put -16, c, -2/17 in decreasing order.
-2/17, c, -16
Suppose n = -13*n - 28. Put -5, 3, n, -1 in increasing order.
-5, n, -1, 3
Let v be (-2)/(-4)*2 - 1. Suppose -2*j - 5*x - 2 - 12 = v, 5*j + 5*x + 20 = 0. Sort j, -3, 5 in decreasing order.
5, j, -3
Let n = 127.95 + -128. Put n, 3, 4 in descending order.
4, 3, n
Let a be 2 - (-1 - (-14388)/4220). Let s = -2/211 - a. Let t = 0.1 - -0.1. Sort t, s, -6/7 in decreasing order.
s, t, -6/7
Let z(s) = 2*s - 7. Let u be z(6). Suppose 0 = 2*b - u*b + 9. Suppose -b*m - 1 = -13. Sort m, -3, 0.
-3, 0, m
Let x = -15 + 15. Put 4, x, -0.2, -0.3 in decreasing order.
4, x, -0.2, -0.3
Let b = -16 + 17. Put b, 0, 8 in decreasing order.
8, b, 0
Let p = 23 + -23. Let z be (0 - (0 - 1))*3. Suppose p = t - 0*t + z. Put 0, -4, t in ascending order.
-4, t, 0
Suppose -2*r + 3*r = 4. Let c = -8 + r. Let k = -1 + c. Sort k, 4, 1 in decreasing order.
4, 1, k
Let o = -0.8 - 2.2. Let z = 0 - o. Let j = 1 - z. Sort 0, 5, j in decreasing order.
5, 0, j
Let h = 0.3 + -0.1. Let c be 21/(-70)*(-8)/6. Let d = 0.09 - 1.09. Put h, c, d in descending order.
c, h, d
Let x be (-31)/11 + (-16)/88. Sort -5, 0, x in ascending order.
-5, x, 0
Let s = 4 + -7. Let x be (-2)/(-13) + (-90)/78. Sort s, 3, x in descending order.
3, x, s
Let f = 15 + -11. Let q be (-15)/(-13) + f/(-26). Put 2, 0, q in increasing order.
0, q, 2
Let m = -25 - -22. Sort m, -0.5, -5 in descending order.
-0.5, m, -5
Let u(i) = 5*i + 11 + 4*i - 8*i. Let n be u(-12). Put n, -3, -2 in increasing order.
-3, -2, n
Let w be (-325)/39 + (-2)/(-6). Put -3, w, -5 in decreasing order.
-3, -5, w
Let d = 0.3 - 0.24. Sort 3, 0.5, d in increasing order.
d, 0.5, 3
Let p = 1.1 - 1. Let o be 16/154 - 2/7. Sort -1/3, p, o in ascending order.
-1/3, o, p
Let f(r) = -7*r. Let m be f(-1). Let v be (2 + 0)/(m/(-14)). Let x be v/(2 - (-1 + 1)). Put 1, 2, x in increasing order.
x, 1, 2
Let s = 11 + -7. Suppose -s*g = 4 + 4. Sort -4, g, 2 in descending order.
2, g, -4
Let s be 33/(-2)*(4 + -2). Let u = s + 65/2. Sort -0.3, 5, u.
u, -0.3, 5
Let k be (2/3)/(10/75). Sort -1, k, 3 in ascending order.
-1, 3, k
Let r = -3 + 3.2. Let i = -10.23 + 0.23. Let v = i + 13. Sort r, v, 2 in decreasing order.
v, 2, r
Let g = -0.9 - -0.9. Let x = g - -0.5. Sort -5, x, 0 in ascending order.
-5, 0, x
Let o = -3 + 6. Let j = o - 3.5. Suppose 2*h = -0*s + 3*s - 4, -15 = 5*s + h. Sort 4, j, s in decreasing order.
4, j, s
Let n = 35 - 25. Sort -2, -4, n in increasing order.
-4, -2, n
Suppose -4*h = -2*n + 10, 4*h - 3 = 5*n + 8*h. Let i(u) = -n + 0*u + 2 - u. Let j be i(6). Sort j, 0.4, -3/5 in descending order.
0.4, -3/5, j
Suppose -k = -4*b - 6*k - 28, -16 = 4*k. Put b, -4, 1/4 in descending order.
1/4, b, -4
Let z = 2 - 1. Let t = -58.4 + 58. Put -2, z, t in ascending order.
-2, t, z
Let m(o) = -o + 10. Let x(y) = -y**2 + 7*y. Let b be x(5). Let u be m(b). Put 2, u, -0.1 in ascending order.
-0.1, u, 2
Let n = 1903841/143 + -145208/13. Let m = 2142 - n. Let c = 377/231 + m. Put 1/2, 2/3, c in ascending order.
c, 1/2, 2/3
Let c = -3/4 - 1/20. Let v = 27 + -27.1. Sort c, 2, v in ascending order.
c, v, 2
Let p be (