. Suppose 0 = -13*y + 7*y - 24. Let a be f(y). Let l be (4 - a)*-1*0. Sort l, -2, -5 in decreasing order.
l, -2, -5
Let s = 1533 - 1535. Put s, -11, 4 in decreasing order.
4, s, -11
Let l = 0.09 - -0.05. Let s = l - -1.86. Sort -1/2, s, 1/2, -0.1.
-1/2, -0.1, 1/2, s
Let v be ((-8)/42)/(6/(-9)). Let h = -53.71 + 0.71. Let g = -52.6 - h. Sort g, -3/2, v in decreasing order.
g, v, -3/2
Let g(u) = 2*u**2 - 36*u - 36. Let l be g(19). Put 4, l, -21 in decreasing order.
4, l, -21
Let d = 940.1 - 940. Sort d, 3, -2, -0.11 in decreasing order.
3, d, -0.11, -2
Let f = -11549/18 - -641. Let q = f - -4/9. Sort 1, q, -2/11 in decreasing order.
1, q, -2/11
Let l = 1 + -2. Let p be 2 - -22 - -3 - -4. Suppose -p*w = -33*w - 4. Sort l, 1, w in decreasing order.
1, l, w
Let i = 2.98142 - -0.01858. Let p = 3.4 + -3. Put i, 1/2, p, -5/2 in increasing order.
-5/2, p, 1/2, i
Let j(w) = 2*w**2 + 17*w - 54. Let g be j(-11). Sort 5, -0.7, 0.3, g in ascending order.
-0.7, 0.3, g, 5
Let p = -319 - -324. Sort -4, p, -1, -5 in ascending order.
-5, -4, -1, p
Suppose 2*o = -d + 1 + 13, 2*o + 3*d - 6 = 0. Put o, -5, 4 in increasing order.
-5, 4, o
Suppose -5*y + 3*u = -37, -u - 16 = -4*y - 2*u. Let f = -28 - -32. Put y, 3, -15, f in decreasing order.
y, f, 3, -15
Let m = 0.24 - -25.76. Let t = m - 25.8. Let u be 2*(-4)/(-6)*-3. Sort t, u, -1/2.
u, -1/2, t
Suppose -2 - 2 = 5*n - t, 2*n - 1 = 3*t. Let b(r) = -2*r**3 - 44*r**2 + r + 26. Let i be b(-22). Put -2, 5, i, n in descending order.
5, i, n, -2
Let f(y) = 13*y - 139. Let q be f(11). Suppose -4*d + 7*d = -48. Suppose 0 = 6*g - 3*g + 12. Sort g, q, d.
d, g, q
Suppose 0 = -r + 7*m - 3*m - 20, 4*m - 20 = 0. Put 4, -2, -5, r in descending order.
4, r, -2, -5
Suppose 9*c = 18 - 63. Sort -15, c, -1 in ascending order.
-15, c, -1
Let m = -2/1031 + -2004/29899. Put 1, m, 2 in descending order.
2, 1, m
Let u = -7.06 + 7. Let w = 0.04 - u. Let i = 78 + -77. Sort i, -4, w in increasing order.
-4, w, i
Let f = 1605.9 + -1606. Put -2/117, 3, f in ascending order.
f, -2/117, 3
Let k = 2187/19 - 115. Let b = 1.0569 + -1.3569. Sort k, 0.03, b in descending order.
k, 0.03, b
Suppose 5*c = 5*b - 80, -3*c + 6 = 2*b - 1. Sort 5, b, -3, 2.
-3, 2, 5, b
Let m = -957/40 + 119/5. Let l = 1/18 - -7/36. Sort m, -2/7, l in decreasing order.
l, m, -2/7
Let x = -13 + 8. Let h = 459 - 312. Let d be (-3 - 0)*(-28)/h. Put d, x, 1/2 in descending order.
d, 1/2, x
Suppose -k - 2 = 0, -4*s + 2*k = 4*k + 8. Let r(g) = -3 + 0*g + 5 - 5*g. Let x be r(0). Put x, s, 3 in ascending order.
s, x, 3
Suppose 41*q = 39*q. Let z = -125 - -129. Sort z, q, 3/4, -2.
-2, q, 3/4, z
Let q = 196 + -586/3. Put 1, 1.1, q in decreasing order.
1.1, 1, q
Let m(j) = -14*j - 321. Let o be m(-23). Sort o, -8, 3, -6.
-8, -6, o, 3
Let z = 10.1 - 12.1. Let b = -0.07 - -0.57. Sort b, -0.3, z.
z, -0.3, b
Let s be 6/21 - (-14)/(-49). Sort 2, 4, 8, s in descending order.
8, 4, 2, s
Let k be 4*1/(-1) + -11. Let b be (-51)/k + 6/10 - 2. Let p = 4 + -7. Put 3, b, p in descending order.
3, b, p
Let a = -1356/7 - -194. Let n = 17 - 67/4. Sort -1, a, n, 2/11 in decreasing order.
a, n, 2/11, -1
Suppose -2 = 4*b - 3*b. Suppose -3*j = -5*m + 18, -j - 44 = -m - 40. Put b, -14, j in decreasing order.
j, b, -14
Let s = -7.94 + 8. Let a be 15/(-18) + 17 + -16. Sort a, 3, 0, s in decreasing order.
3, a, s, 0
Let g = -198.3 - -198. Put -1, 0.2, 0.46, g in descending order.
0.46, 0.2, g, -1
Let z = 241 + -240.97. Sort 0.08, z, 2/11 in decreasing order.
2/11, 0.08, z
Suppose 0 = 5*h + 2 - 12. Suppose 3*g - 7 = -2*k - 2*k, -5*g = -h*k - 3. Sort 2, -1, g.
-1, g, 2
Let h = 102.094 - 102. Sort 0.1, h, 0.4 in decreasing order.
0.4, 0.1, h
Let s be (-6)/(-3) + 2*2. Let u = s - 9. Suppose -5*k = 5*p, -19*p - 2*k + 4 = -18*p. Put -1, p, u in descending order.
-1, u, p
Suppose 3*s - 20 + 5 = 0. Suppose -s*a - 3 - 52 = 0. Sort a, -1, 4 in increasing order.
a, -1, 4
Suppose -a - 2*x = 7 - 0, 0 = 5*a - 4*x - 7. Let j = 8 - 3. Let c(v) = -v**3 + 7*v**2 - 6*v + 4. Let i be c(6). Sort a, j, i.
a, i, j
Suppose -21*y = -22*y - 2. Let k be (y + 5 + -2)/3. Sort -5, k, 5 in descending order.
5, k, -5
Let d(x) = x**2 + 7*x - 27. Let t be d(3). Sort 0, t, 25 in ascending order.
0, t, 25
Let n = 499 + -499.5. Sort 0.4, 0.011, n.
n, 0.011, 0.4
Let q = 2.35 + -2.33. Sort 1/5, -0.08, q.
-0.08, q, 1/5
Suppose -24*p = 35*p + 59. Sort 10, 7, p in ascending order.
p, 7, 10
Let i be -1*((-44)/14 - (-2)/14). Suppose -20 = -2*v + i*v - 5*d, -d - 17 = 4*v. Sort 0, -1, 0.4, v in decreasing order.
0.4, 0, -1, v
Let y(c) = 16*c - 238. Let g be y(15). Put g, -195, 4 in descending order.
4, g, -195
Let z(a) = a**3 - 17*a**2 + 1. Let f be z(17). Let u be -2*(-2)/3*-3. Let y be (4/(-6))/(u/30). Sort 3, f, y in descending order.
y, 3, f
Let a be 2*(1/(-2))/(-1). Suppose 0 = 5*f - 175 + 200. Sort 7, a, f in decreasing order.
7, a, f
Let i(m) = -3*m - 24. Let l be i(-10). Suppose 0 = -2*d + 6 + 2. Suppose 2*s = d*s - l. Sort 0, -1/5, s in increasing order.
-1/5, 0, s
Let s be 2/4 + 72/16. Suppose -50 = 4*x + x - s*v, -2*x = -v + 22. Sort 5, x, -2 in ascending order.
x, -2, 5
Let d = -1 + 2. Let b = -1.4 + d. Let s = -17 - -16.5. Put 2/3, b, s in increasing order.
s, b, 2/3
Let i = 240.1 + -244.1. Let x = 0 - -2. Sort i, -5, x in descending order.
x, i, -5
Let b = 198 - 5738/29. Let v = b + -7/261. Sort v, -0.4, -0.2.
-0.4, -0.2, v
Let s = 0.016 - 0.016. Sort 0.24, -3/8, s.
-3/8, s, 0.24
Let b(q) = q - 3. Let t be b(5). Suppose -15 = -t*v - 3*v. Suppose 2*g + v*g = -10. Put 2/3, 3, g in increasing order.
g, 2/3, 3
Suppose -2 = 2*f - 3*f + d, -3*d - 8 = -4*f. Let z be 0 + -1 + -3 + 6. Suppose z*o + 5 - 2 = -y, 5*y + 3 = 2*o. Sort o, -3, f.
-3, o, f
Let y be 6*(-4)/3 + (0 - -3). Let i be ((-24)/30)/(3/(-45)*-3). Sort y, 2, i, 4 in descending order.
4, 2, i, y
Let f(x) = 58*x - 459. Let h be f(8). Sort 2, 7, 31, h in ascending order.
2, h, 7, 31
Let f be 30/(-4)*(200/24 - 9). Sort 1, -1/6, -4, f in ascending order.
-4, -1/6, 1, f
Let j be (513/114)/(3/(-10)). Sort j, -1, -24.
-24, j, -1
Let o be (3/(-4))/(11/(-264)). Sort 0, o, -1 in decreasing order.
o, 0, -1
Let a be (10/(-12))/(22/231). Let z = 65/3 - 21. Sort -1, a, z in increasing order.
a, -1, z
Let z = -5 + 4.9. Suppose -14 = -12*v + 19*v. Sort v, 0.4, 4, z in ascending order.
v, z, 0.4, 4
Let r = 210 + -215. Sort 0.4, 2/17, r, 1/3 in descending order.
0.4, 1/3, 2/17, r
Suppose s - 5*a = -9, 4*a = -2*s - a - 3. Suppose 28 = 2*x - 5*w + w, -3*x - w = -7. Suppose 3*m + 5*j + 5 = 0, -2*m + 4*j + 4 = m. Sort s, m, x.
s, m, x
Let j = -795 + 794. Put -14, 1, j in ascending order.
-14, j, 1
Let y be -8*1/6*6. Put 3, y, 4, 5 in decreasing order.
5, 4, 3, y
Let n be (-16)/(-10) - (-4)/10. Suppose 9 = n*o + o. Let z = 420 - 420.2. Put z, o, 0.1 in increasing order.
z, 0.1, o
Let i = 1.5 - 1.8. Sort i, 1/4, -1, -2 in decreasing order.
1/4, i, -1, -2
Let p = -0.18 - -0.12. Let a = p - 2.94. Put 1, a, -3/4 in ascending order.
a, -3/4, 1
Let y(q) = -2*q**2 + 37*q + 12. Let k be y(19). Put -3, 4, k in decreasing order.
4, -3, k
Suppose b - 8 = -2. Suppose -7 = 2*w - 4*w - a, 0 = -w - 3*a + b. Put 4, w, -11 in increasing order.
-11, w, 4
Let x = -5 + -1. Let w be 6/9 - 2/x. Let y = 39/61 - 73/305. Sort y, w, -1.
-1, y, w
Let i be (-4)/(-18)*(1 + -4). Let x be (-134)/312 - 1/(-4). Let r = 2/13 - x. Sort i, 5, r in increasing order.
i, r, 5
Let f(i) = -i**3 - 8*i**2 - 4*i + 17. Let d be f(-7). Sort -5, 2/15, 0.06, d in ascending order.
-5, d, 0.06, 2/15
Let s be 3/(-6)*(-2 + 2)/(-1). Let l = 3.5 + -3.4. Sort l, 0.06, s in ascending order.
s, 0.06, l
Let y = -5.17 - -0.17. Let p be ((-47)/83)/(42/10). Let f = p - 2/249. Sort f, y, -2.
y, -2, f
Let h(l) = -l**3 + 10*l**2 + 11*l + 4. Let t be h(11). Let u = t + -7. Let m = 3 - 7. Put -5, m, u in ascending order.
-5, m, u
Let x = -5.3 - -4.3. Let j = -23 - -16.6. Let d = j + 6. Sort x, 4/5, d in decreasing order.
4/5, d, x
Let m(y) = y**3 + y**2 + y. Let n be m(-1). Let u be n*((4 - 2) + -2). Suppose -125 + 107 = -r - 5*h, -18 = 3*r - 3*h. Sort -4, u, r in ascending order.
-4, r, u
Let t = 46 - 44. Suppose t*p = -15 + 15. Put p, -5, -1 in ascending order.
-5, -1, p
Let t = -55 - -53. Put 0, -5, t, -1/3 in increasing order.
-5, t, -1/3, 0
Let g = -34 + 22. Let r = 