uppose 0 = -2*u + 3 + o. Sort u, 2/13, -3 in decreasing order.
u, 2/13, -3
Let h be (78/(-52))/((-2)/52). Let j = -3 + h. Put -1, -2, j in decreasing order.
j, -1, -2
Let w = 0.2 + -0.3. Let b = -57.2 - 3.8. Let a = b - -57. Put w, a, -3 in increasing order.
a, -3, w
Let v(f) = -2*f - 25. Let n be v(-15). Put -10, -2/5, n in descending order.
n, -2/5, -10
Let i be (9/(-6))/(33/(-22))*-1. Put 1, i, 4, 3 in decreasing order.
4, 3, 1, i
Let q = -11 + 7. Let x be (-21)/q + 10/(-40). Suppose -j - 10 = -x. Sort 6, j, 2 in decreasing order.
6, 2, j
Suppose -5*n - 2*f + 2 - 6 = 0, -4*n + 4*f - 20 = 0. Let h = 0 - n. Suppose -v - v = 4. Sort -4, h, v.
-4, v, h
Let p(m) = m**3 - 39*m**2 - 4*m + 143. Let r be p(39). Sort 0, 4, r, -3.
r, -3, 0, 4
Let d be 312/90 - (-3)/(-3). Let x = d + -13/5. Put 5, -3, x in descending order.
5, x, -3
Let q = -67/6 + 23/2. Sort q, 0.5, -311 in increasing order.
-311, q, 0.5
Let b = -389 - -389. Put b, 1, -6, -1 in descending order.
1, b, -1, -6
Let b = 1.3 - 2.1. Let q = b + 0.78. Let p = q + 3.02. Put p, 1, -4 in increasing order.
-4, 1, p
Suppose -9*d - 14 = -11*d. Suppose -2*v = 0, 5*i = 4*v + d - 27. Sort 4, -3, i in decreasing order.
4, -3, i
Let f be ((-4)/6)/(1/(-6)). Suppose -2*m - m + 4*g + 26 = 0, 2*m - g - 9 = 0. Let h be 3/((-75)/(-10)) - m/5. Put f, -3, h in increasing order.
-3, h, f
Let a = 142.2 + -115. Let n = -33 + a. Let w = 6 + n. Sort 5, 0, w.
0, w, 5
Let k be (4/(-6))/((-4)/(-18)) - 2. Let y be ((-6)/4)/((-17)/(-4) + k). Sort y, 0, -5, 7.
-5, 0, y, 7
Let w = 1 - -7. Let n be (-5)/((-10)/w)*1. Let q = -125 - -130. Sort 3, n, q in decreasing order.
q, n, 3
Let a = 23 + -34. Let z = 39 + -41. Let s be 0 + 8/(-2)*1. Sort s, a, z in decreasing order.
z, s, a
Suppose 0 = g - 5*b + 11, -5*g = 2*b - 4*b - 14. Put -30, g, -1 in decreasing order.
g, -1, -30
Suppose 9 + 9 = 2*p. Let z = -13 + p. Sort -10, -1, z in decreasing order.
-1, z, -10
Let g = -1040.2 + 1040. Sort 1/8, g, -4.
-4, g, 1/8
Let c = -59 + -41. Let n = 499/5 + c. Let q = -10 - -6. Put n, q, -0.1 in descending order.
-0.1, n, q
Let d = 7.081 + -6.54. Let g = 0.141 - d. Sort -5, 0, 0.1, g.
-5, g, 0, 0.1
Let k = -2 + 0.9. Let x = -0.9 + k. Let h = -1.5 + 1.5. Put 2, x, h in decreasing order.
2, h, x
Let f = -9/8 - -5/8. Suppose 0 = 3*b + 3*c + 15, -b - 8 = -0*b + 2*c. Let s = 3.01 - 0.01. Put s, b, f in increasing order.
b, f, s
Let y = -516 + 512. Let t = 6 + -1. Let n = 0 - t. Put n, y, 1 in descending order.
1, y, n
Let x(a) = -a**3 + a**2 - 2*a + 1. Let d be x(1). Let o be -179 - 1/(4/(-12)). Let s = 197 + o. Put s, 2, d in decreasing order.
s, 2, d
Suppose m - 5 = -j, 4*m = -2*j + 4 + 10. Suppose -5*d + j*n = 14, 3*n + 6 = 5*n. Put 5, 0, d in decreasing order.
5, 0, d
Suppose 0 = y - 5*q + 18, -2*q + 6*q - 14 = y. Let i = -4 - -6. Suppose i*v - 8 = -2. Put y, 6, v in descending order.
6, v, y
Let c be (-4)/6 - 8/(-3). Suppose 5*z + c = 17. Sort 2/11, 1, z in increasing order.
2/11, 1, z
Let h = 262 + -257. Put -3, h, -1 in descending order.
h, -1, -3
Let p = -19041 + 209070/11. Let f = -35 - p. Put 5, 3, f in decreasing order.
5, 3, f
Let t = 0.2 + 0.8. Let i = -0.1288 - -9.1288. Put t, 2/9, 0, i in descending order.
i, t, 2/9, 0
Let d = 0.07 - -6.93. Let m = -5 + d. Let w be (-441)/14 - -31 - (9/2)/(-1). Sort 3, m, w in descending order.
w, 3, m
Let x be 36*((-25)/10 - -3). Let b be (-30)/x*(-3)/4. Put b, -2/3, 1/2 in descending order.
b, 1/2, -2/3
Let f(n) = n - 78. Let d be f(0). Let b = -54 - d. Let r be 30/4*b/36. Put r, -5, 0 in descending order.
r, 0, -5
Let d be -28*(-4 + 26/7). Suppose -2*a + 7*a + 10 = 0, 3*a = -n - d. Put n, -1, 0.4 in descending order.
0.4, -1, n
Let z = 1794 + -1789. Put -6, 14, -5, z in increasing order.
-6, -5, z, 14
Let a(j) = 2*j + 16. Let v be a(-4). Suppose 3 = g + v. Let b = -3 - -2. Sort 4, g, b in decreasing order.
4, b, g
Let p be -5 - -28*24/128. Let f = -4 - 0.6. Sort 0.3, f, 4, p in increasing order.
f, p, 0.3, 4
Let j = -4 - -9. Let y = -1 + 0. Let k = 1 - y. Put -0.3, j, k in descending order.
j, k, -0.3
Let c = 63 + -98. Let b = c + 36. Sort 3, b, 4.
b, 3, 4
Let c(k) = 19*k - 114. Let y be c(6). Sort 6, y, -4, 1 in decreasing order.
6, 1, y, -4
Suppose 3 - 21 = -9*k. Sort -3, -4, k, 1 in descending order.
k, 1, -3, -4
Suppose -k = 4*k + 5. Let t(f) = -6*f**2 + 1. Let y be t(-2). Let m = -22 - y. Sort m, k, -3 in descending order.
m, k, -3
Let a = 24 - 19. Suppose 0 = 3*w + 5*r + 5, -a*w - 6 = -3*w + 4*r. Sort 3, -5, w in decreasing order.
w, 3, -5
Let i be (616/(-56))/((-12)/9 - -1). Sort 5, -3, 3, i in increasing order.
-3, 3, 5, i
Let p = -2 - -5/2. Suppose 0*f = 4*f - 5*v, 3*f - 2*v = 7. Sort -1/2, p, 3, f in ascending order.
-1/2, p, 3, f
Let v = -0.05 - -3.05. Let n = -38/5 + 8. Sort n, 2/9, v in decreasing order.
v, n, 2/9
Let a = -69 - -74. Sort a, -3, -1, 2 in increasing order.
-3, -1, 2, a
Let n = -28 + 52. Let f(j) = -j**3 + 25*j**2 - 23*j - 29. Let y be f(n). Suppose -4*h + 12 = -8. Sort y, 1, h in decreasing order.
h, 1, y
Suppose -3 + 7 = -2*s, -3*c = 2*s + 499. Let b = c - -499/3. Let a = 28/3 - 10. Sort 0, a, b in descending order.
b, 0, a
Let y be (2*-1)/((-1)/17). Suppose -13 = 3*k - y. Let g = 1412 + -1411.5. Sort 3, g, k in decreasing order.
k, 3, g
Let x = -81 + 79. Sort x, 2, 1 in decreasing order.
2, 1, x
Suppose -q - 3*w = -3, -5*q + 2*w - 3*w = -57. Let l be q/(-15)*25/10. Suppose 5 = 5*o - 0. Put l, -3, o in increasing order.
-3, l, o
Suppose 306 = 6*i + 3*i. Suppose 11*x + i = 1. Put 4, -1, x, 1 in descending order.
4, 1, -1, x
Let a(n) = -n**2 + 3*n + 4. Let f be a(4). Let c = 6 - 4. Suppose 4*m - c*m - 5 = 3*u, -3 = -3*u. Sort m, f, -4.
-4, f, m
Let w = -2 - -2. Suppose -x - 2 + 7 = w. Let y be (10/4)/((-4)/(-64)*-8). Put -1, x, y in descending order.
x, -1, y
Suppose 255*t - 147*t = -198*t + 918. Suppose 0 = -w + 3*a - 1 - 2, w - 4*a = -4. Suppose 4*k - k = w, 2*k - 4 = -4*u. Sort -2, u, t in increasing order.
-2, u, t
Let i(y) = y + y**2 + y**3 + y**2 + 0*y**2. Let j be i(-1). Let r = -1296 + 1288. Sort j, 4, r in decreasing order.
4, j, r
Let u(h) = h**2 + 28*h - 3. Let b be u(-28). Put -2, 2, b, 0 in increasing order.
b, -2, 0, 2
Let c be 5/25*(-7 + 12). Put 0, -1, c in decreasing order.
c, 0, -1
Let l = -802 + 802.1. Let a be 48/70 + (-4)/14. Put a, 8, l in ascending order.
l, a, 8
Let o(h) = -20*h - 137. Let p be o(-7). Put -8, -23, p, -2 in descending order.
p, -2, -8, -23
Let t be (4 + -3)*(0 + 3). Suppose 2*i = -t*i - 10. Sort i, 2, 1 in decreasing order.
2, 1, i
Suppose 0 = -4*j - j - 25. Suppose 5*g = b - 14, 0*b - 4*b + 3*g = 12. Put 3, j, -4, b in decreasing order.
3, -4, j, b
Suppose 4*l - 17 = -5*i + 47, -l = -3*i + 1. Let u = 15 + 2. Let a = u - l. Sort -3, a, -4 in ascending order.
-4, -3, a
Let n(s) = s**3 + 12*s**2 - s - 16. Let z = 6 - 7. Let a be ((-12)/(-18))/(z/18). Let x be n(a). Put -3, x, 1 in increasing order.
x, -3, 1
Let o(n) = -n - 6. Let c be o(-12). Put 3, c, 2, 0 in increasing order.
0, 2, 3, c
Suppose 5*z - 10 = -5*m, -3*z = -4*m - 0*z - 27. Let d be ((-2)/(-5))/(22/(-33)). Sort 0.3, d, 0.9, m in decreasing order.
0.9, 0.3, d, m
Suppose -q = 4, 2*h - q + 0 = 12. Suppose h*n + 27 = 3*u + 6, n + 5*u - 12 = 0. Sort 6, n, -2.
n, -2, 6
Suppose -3*y + 3 = 2*b - 3, 12 = 3*y. Let s(z) = -1 - 8*z + 17*z - 8*z. Let r be s(1). Sort r, b, 5 in descending order.
5, r, b
Suppose 0 = g - 5, -5*c - 150 = -0*c + 5*g. Suppose -37*y + 81*y = 37*y + 28. Sort 3, 1, y, c.
c, 1, 3, y
Let u be (-16)/(-7) + 8/(-28). Suppose -u*w + 4*y - 10 = -4, y - 7 = -5*w. Let i(n) = 3*n - 13. Let b be i(5). Put -3, b, w in descending order.
b, w, -3
Let r be 0 + 9/(-3 + 6). Suppose 4*f = -4*v - 7 - 9, -4*f + 19 = -r*v. Let p(q) = q**3 - 13*q**2 + 12*q - 5. Let u be p(12). Put u, f, -2 in descending order.
f, -2, u
Suppose 2*g - 5*f + 12 = 5*g, 5*g + 2*f = 20. Put -2, g, -4 in decreasing order.
g, -2, -4
Let k = 33 - 31. Suppose s + 0 = k. Sort -10, s, -3 in ascending order.
-10, -3, s
Let l = 195 + -198. Sort -3/5, l, -0.1, 13 in increasing order.
l, -3/5, -0.1, 13
Let r = -0.44 + 0.86. Let s = r + 1.58. Put 3, s, -14 in descending order.
3, s, -14
Let g = 2276 - 2281. Let c be ((-8)/(-1 + -1))/5. Sort g, c, 2/21 in ascending order.
g, 2/21, c
Let a = 36 + -30. Suppo