et r = 3 - 1. Sort r, 5, 14/15, 2/7 in descending order.
5, r, 14/15, 2/7
Let h(c) = 9*c**2 - 7*c - 1. Let x be h(1). Sort 0, x, -6, -3.
-6, -3, 0, x
Let g(y) = y**2 + 8*y - 2. Let s be g(-8). Let t be s*2/4 - -2. Suppose -3*p + 2 = -t. Put p, -3, -5 in decreasing order.
p, -3, -5
Suppose 0 = -3*t - 2*p - 6, -2*p - 7 + 1 = -3*t. Suppose 18 = 8*z - 5*z. Let n be (((-32)/z)/(-8))/(1/3). Sort -2, t, n.
-2, t, n
Let o be 3 + -7 - 8/(-1). Let x = -187 - -194. Sort o, x, -2, 5 in decreasing order.
x, 5, o, -2
Suppose 0 = -10*l - 8*l + 54. Suppose -4*d + l*z = -4, -z = 5*d + 3*z + 26. Sort 1, d, -5 in descending order.
1, d, -5
Let m = 413/2 + -827/4. Let c be (1 + 0)/((-2)/(-86)). Sort c, m, -3, 5 in ascending order.
-3, m, 5, c
Let p = -1329/5 + 265. Let g = -18 - -21. Let h = g + -4. Sort h, 5, p.
h, p, 5
Let k = 9 + -14. Sort k, 9, 2 in descending order.
9, 2, k
Let p = -0.18 + 0.15. Let t = -0.17 + p. Sort -9, -5, t in decreasing order.
t, -5, -9
Suppose -6*s + 9 = -39. Suppose -4 = s*o - 9*o. Let r(i) = i - 3. Let c be r(0). Sort 5, c, o in decreasing order.
5, o, c
Suppose -23 = -5*l - 3*j, 0*l + 2*j + 22 = 2*l. Let m = -53 - -5. Let o be 128/m - (-2)/3. Put l, 2, o in descending order.
l, 2, o
Let z = -0.7 - -2.7. Let m = z + -1.7. Sort m, 4, 1/10.
1/10, m, 4
Let b = -0.012 - 4.988. Sort b, 3, -0.4, -4/5 in ascending order.
b, -4/5, -0.4, 3
Let r be (32/20)/(4/10). Sort -3, 3, -2, r.
-3, -2, 3, r
Suppose 6*r - 6 = -42. Sort -1, -11, r in ascending order.
-11, r, -1
Let z = 78 + -80. Let t = 0.89 - -0.06. Let n = 0.9 - t. Sort n, 0.2, z in increasing order.
z, n, 0.2
Let s = -0.9096 + -0.0904. Put 2/7, 0.49, s, -4/7 in decreasing order.
0.49, 2/7, -4/7, s
Let q = -57 - -57. Suppose 18*b - 22*b - 4 = q. Put 1, b, 0 in decreasing order.
1, 0, b
Let f(i) = -5*i**3 - 2*i - 2. Let b be f(-1). Let o = -7 - -2. Sort o, 0, b in decreasing order.
b, 0, o
Let w = -751 - -1101. Put -3, -4, 4, w in increasing order.
-4, -3, 4, w
Suppose -s = v - 0*s - 3, -2*s + 6 = -5*v. Suppose 2*n - 2*q = -8 + 2, v = -3*n - 3*q - 15. Let o be (-11)/(-33)*-5*3. Put 1, n, o in decreasing order.
1, n, o
Let q = -0.1 + -2.9. Let w = 0.3 - -4.7. Let n = -860 + 860. Put n, q, w in ascending order.
q, n, w
Let n be 1 + 0 + -1 + 2. Suppose n*h = h - 2. Sort h, -1, -0.2.
h, -1, -0.2
Let w = 2.9424 + 0.0856. Let p = -0.028 + w. Sort 0.2, -1/5, p, -4/9.
-4/9, -1/5, 0.2, p
Let o(b) = 9*b + 600. Let m be o(-67). Sort m, -2, 95 in ascending order.
m, -2, 95
Suppose t - 1 = -0*t. Let u be 1/(1*(-1)/4). Sort t, -2, u, 4 in decreasing order.
4, t, -2, u
Let b = -95/2 - -37. Let u = -82279/10 + 8239. Let k = b + u. Sort -2/15, -0.5, k in ascending order.
-0.5, -2/15, k
Let s = 1 + -3. Let k be (s - 9/(-6))*-2. Suppose p - 6*p - 2*z = -13, -4*p = -z - 13. Put -5, p, k in ascending order.
-5, k, p
Let m = 13 - 13. Suppose m = -0*w + w, 2*w + 3 = -x. Let n(p) = p**3 - 6*p**2 + 8*p + 5. Let v be n(4). Put v, x, 9 in descending order.
9, v, x
Let v = -21 + 24. Suppose v*j + 2 = -2*g - 8, -2*j = g + 5. Let m be 0 + 4 - 2/2. Sort m, -1, j in descending order.
m, j, -1
Let r be 16/10 + 4/10. Let k(w) = -6*w - 8. Let d be k(-2). Sort d, r, 7.
r, d, 7
Let v be (-52)/(-143) + 74/(-22). Put v, -1, 163 in increasing order.
v, -1, 163
Let d = -0.5 + -4.5. Let z = -81 - -80.776. Let t = 0.124 + z. Sort -2/3, d, t.
d, -2/3, t
Let f = -1.15 + 1. Let q = f + 0.15. Put q, -2, -0.5 in decreasing order.
q, -0.5, -2
Suppose 0 = 5*h - 2*m - 3, 2*h - 6 = -2*h - 2*m. Sort 2, 5, h.
h, 2, 5
Let j = -42.917 + 0.817. Let r = j + 42. Let f = 3 + 0. Put f, -0.09, r in descending order.
f, -0.09, r
Let g = 3.37 + -3.67. Sort -5, g, 5.3 in descending order.
5.3, g, -5
Let k be 3398/306 + 8/(-36). Suppose -4*u + 3*x - 47 = 0, -3*u + 4*x = -2*u + 15. Let s = k + u. Sort -0.5, s, -1 in ascending order.
-1, -0.5, s
Let y = 1069073049/952 - 1122976. Let t = 2/119 - y. Sort 1, -1, t in descending order.
1, t, -1
Suppose 2*g + 66*w - 1 = 65*w, 4*g = 4*w - 28. Suppose 0 = 4*m - 5*l + 65, 5 = l - 0*l. Let y be (-1)/(-4)*-2*m. Put y, g, -0.2 in ascending order.
g, -0.2, y
Let u be 20*(-12)/(-32)*(-8)/(-6). Suppose r = 5*o + u, r + 6 - 4 = -o. Put 15, 3, o, -3 in descending order.
15, 3, o, -3
Suppose 0 = -5*a - 0*a + 4*x + 2, 4*x + 14 = -a. Let p = 0 - -5. Suppose p = -2*j - 3*j. Sort 4, a, j in descending order.
4, j, a
Suppose 4*a - 27 = -g, 2*a - 46 = -3*g - 3*a. Suppose 4*b - 13 = g. Suppose -b*i + z - 9 - 11 = 0, -2*i - z = 1. Sort i, -2, 0.
i, -2, 0
Let m = 65 - 65.29. Let y = m + -4.71. Sort y, -0.4, -1/13 in increasing order.
y, -0.4, -1/13
Suppose 0 = 14*t + 14*t + 56. Put -27, 1, t, 4 in ascending order.
-27, t, 1, 4
Suppose 2*k - 5*k = -3*r + 3, 5*r = 2*k + 17. Sort -5, k, -3 in decreasing order.
k, -3, -5
Let f = -3221/95 + 169/5. Sort -1/3, f, -5, 1 in ascending order.
-5, -1/3, f, 1
Let t = -0.2 - 2.8. Sort t, 1/5, -1/2, -13 in ascending order.
-13, t, -1/2, 1/5
Let q be 0*(4 + 1/(6/(-21))). Let t be (-8)/(0 - 4) - (q + 8). Sort t, 5, -1 in increasing order.
t, -1, 5
Let h = 23 - 26. Suppose 0 = 2*k - 8, -3*r + 6*k - 2*k - 31 = 0. Put r, h, 5 in ascending order.
r, h, 5
Let d = -27.1 + 30.1. Sort -2, d, 0.08 in ascending order.
-2, 0.08, d
Let d = -0.00959 + 1.00959. Let y = 9 + -5. Sort 3, y, d in descending order.
y, 3, d
Let m = -5/9 - -29/36. Let s = -198 + 343. Let o = s + -146. Put -3, m, o in descending order.
m, o, -3
Let s be (58/145)/(2/(-4)). Put -0.4, s, 0.02 in increasing order.
s, -0.4, 0.02
Suppose 0 = 5*t - 13 - 57. Let y = t - 9. Let b be 4/y + (4 - 4). Sort b, -0.2, 4.
-0.2, b, 4
Let n = -3 + 6. Let q be (-6)/((-9)/n) + 8. Suppose 2*k - u + 7 = 0, 5*k + 0*u + q = 4*u. Put 2, k, -3 in ascending order.
k, -3, 2
Let k(n) = 3*n**2 + 22*n + 12. Let y be k(-7). Let z = -10 + 14. Put y, 0, 3, z in descending order.
y, z, 3, 0
Let k(u) = 3*u**2 + 4*u - 3. Let t be k(0). Sort t, -2, 3.
t, -2, 3
Let m be (0 - 1)/(0 - 1). Suppose -27 = 4*f + m. Sort f, -2, 1, -4 in ascending order.
f, -4, -2, 1
Let v = 3.79 - 3.29. Put -0.2, -1, -4, v in decreasing order.
v, -0.2, -1, -4
Let h = -4.216 - -0.216. Put 0.1, -14, h, 0.4 in descending order.
0.4, 0.1, h, -14
Suppose 0*t + 3*t = 0. Let u = -9 - -6. Put 5, u, 4, t in descending order.
5, 4, t, u
Suppose 0 = 3*d + 4*v + 7, 2*d = -2*d - 3*v. Let a be d - 28/6 - -2. Put -0.3, a, 0.3, 0 in descending order.
a, 0.3, 0, -0.3
Let r = -13 + 6. Suppose 22*s = 27*s - 10. Sort -0.1, 1, r, s in ascending order.
r, -0.1, 1, s
Suppose -5*w - 25 = 0, 2*c - 6*c = w + 25. Let b = -677.5 + 677. Sort 6, -3/4, c, b in increasing order.
c, -3/4, b, 6
Let s = -3227 - -3229. Suppose -5*k - 6 = -1. Let z be (0 + 0 + k)*3. Sort s, -5, z in increasing order.
-5, z, s
Suppose -6 = -a + 2*u, 5*u = -2*a + 1 + 20. Let r be ((-936)/(-135) - a) + (-2)/(-5). Let k = -2 + 1.9. Put 3, r, k in decreasing order.
3, k, r
Let c = -1 - -5. Let f = -976 - -3909/4. Sort f, -0.2, c in descending order.
c, f, -0.2
Suppose -2*l = 2*l + 80. Let i = l - -40. Let g be i/18 - (-12)/54. Sort g, 5, 2/3.
2/3, g, 5
Let d be (-23305)/10443 + 21/9. Sort -1/7, 3/2, d, 0.5 in ascending order.
-1/7, d, 0.5, 3/2
Let y = 87.973 - 88. Let c = y + -1.973. Sort -0.1, -4, -5, c in ascending order.
-5, -4, c, -0.1
Let a be ((2 - 5) + 2)*0. Suppose a = 4*w - 5 + 21. Let r = -1861/78 + 308/13. Put -5, r, w in descending order.
r, w, -5
Let i = 24 - 22. Suppose y = -2*q + 6, -8*q = -i*y - 3*q + 12. Put 3, y, 1/3 in descending order.
y, 3, 1/3
Let q = 2.61 - 3.11. Sort q, 3, 0.11.
q, 0.11, 3
Let z(t) = -3*t + 26. Let p be z(10). Suppose -5*y + 7 = 5*m - 18, -4*y + 10 = 2*m. Sort 4, p, m, 3.
p, 3, 4, m
Suppose d + 3*f - 9 = 5*f, -3*f = 3*d. Let y be 5/2*12/15. Sort -5, -3, y, d in descending order.
d, y, -3, -5
Let y = -19 - 6. Let h = y - -22. Sort -2/11, 3, h in descending order.
3, -2/11, h
Let c be 14/(-3) + (2 - -7) + -5. Let n be (-11)/(-3) + (-32)/(-24). Put n, c, 4, -0.3 in ascending order.
c, -0.3, 4, n
Let m = -23 + 33. Let k(a) = -4*a - 5. Let j be k(-4). Let r = m - j. Put 2, -5, r in increasing order.
-5, r, 2
Let f = -13.2 + -2.5. Let z = -16 - f. Let o be -1 + 1 + (-4)/(-14). Sort 0.2, z, o in ascending order.
z, 0.2, o
Let c = -44 + 45. Sort c, -4/5, -3, 0.4 in ascending order.
-3, -4/5, 0.4, c
Suppose -8*l = 91 -