. Suppose l*f = -f. Put z, -2, f in ascending order.
z, -2, f
Let i be 27/5 - 4/10. Suppose -130 - 256 = 99*f + 10. Sort 29, f, i in ascending order.
f, i, 29
Let f be 1/5 + 112/(-35) + 5. Sort -6, 5, f, -5 in decreasing order.
5, f, -5, -6
Let w = 2058.4 + -2058. Put -13, 0.3, 1, w in decreasing order.
1, w, 0.3, -13
Let i be (-9)/(-12) + (-2 - -1). Let g = -4276 + 4281. Sort g, 4, i, -4 in descending order.
g, 4, i, -4
Let s = -22 + 20. Suppose -4*b + 5 = -2*b + m, 4*b - 7 = -5*m. Sort s, b, 4.
s, b, 4
Let h = 292 + -267.9. Let y = h - 24. Sort -3/4, y, 0.2 in increasing order.
-3/4, y, 0.2
Suppose -15*b - 9 = -18*b. Sort 62, b, -5 in descending order.
62, b, -5
Let n be (0 - -2) + -2 - (-36)/48. Sort 15, n, 0.03 in decreasing order.
15, n, 0.03
Suppose 0 = -3*u + 13*u + 20. Sort -1, -45, u, -5.
-45, -5, u, -1
Suppose 34*p = 29*p + 160. Sort p, 1, -1 in descending order.
p, 1, -1
Let d = -802 - -800. Put 5, 17, d in increasing order.
d, 5, 17
Let d(x) = -x**2 - x + 4. Let m be d(-3). Let b = 121 + -95. Let u = 31 - b. Sort u, m, -1 in descending order.
u, -1, m
Let h = 618 + -621. Sort h, 1, 5, -5/3 in descending order.
5, 1, -5/3, h
Let m = -99.3 + 92. Let h = -2.3 - m. Sort 1/3, h, 2/11, -3/2 in descending order.
h, 1/3, 2/11, -3/2
Let s(y) = y - 1. Let w be s(3). Suppose -7*q + 72 = 72. Suppose q = -2*p - 3*t + 11, -3*p - 7*t + 2*t = -17. Put w, p, 1 in increasing order.
1, w, p
Let v = 678 + -674. Put 0.4, 6, v, 2 in decreasing order.
6, v, 2, 0.4
Let c = -7513 + 7504. Suppose 3*v - 5*n - 26 = 0, 3*n - 20 = -4*v + 6*n. Let q = -3 - 2. Sort q, c, v in decreasing order.
v, q, c
Let m = -150 - -145.12. Let u = 0.12 - m. Suppose 0 = -4*x + 14 - 22. Sort -3, x, u in descending order.
u, x, -3
Suppose -3*t + 11 = 2*z + 2, 5*z = -2*t + 17. Let l be 3/(-2) + z + 1/(-2). Sort -4, 2, l, 4 in decreasing order.
4, 2, l, -4
Suppose 47*j - 451 - 442 = 0. Put -5, j, -3, 5 in decreasing order.
j, 5, -3, -5
Let b(t) = -4*t**2 + 7*t - 2. Let j be b(2). Let o(y) = y**3 + 9*y**2 + 9*y + 8. Let d be o(-8). Sort 2, -2, j, d.
j, -2, d, 2
Let f = -0.2468 + -0.0032. Put 0.5, -2, f, 0.05 in descending order.
0.5, 0.05, f, -2
Let o = 38.2 + -38. Let t = o + 4.8. Suppose -3*x - 3*b + 4*b = 10, 3*x = 4*b - 22. Sort t, -0.4, x in increasing order.
x, -0.4, t
Let s = -1280 + 1351. Put 5, -3, s, -2 in increasing order.
-3, -2, 5, s
Suppose 3*a - 5*a = 0, 2*y + a + 12 = 0. Sort y, 2, 1, -1 in ascending order.
y, -1, 1, 2
Let b(d) = -d**3 - 9*d**2 - 7*d + 8. Let k be b(-8). Suppose 0 = -k*t + 2*t + 10. Put t, 5, -2 in increasing order.
t, -2, 5
Let y(j) = 3*j - 7. Let v be y(5). Let x(c) = v*c + c + c**2 + 12 + c. Let p be x(-8). Put 4, 3, p in descending order.
4, 3, p
Let j = 548 - 546. Sort j, 5, 4 in increasing order.
j, 4, 5
Suppose -q = 2*q - 4*t + 47, 21 = -4*q - 3*t. Sort q, -5, 0, -3 in descending order.
0, -3, -5, q
Let g = -19 + 20. Let b be 3/(-5) + 1962/(-30). Let w = b - -395/6. Put 0.06, w, g in increasing order.
w, 0.06, g
Let u(h) = 2*h**2 + 50*h + 196. Let l be u(-20). Sort l, -175, 0, 2 in descending order.
2, 0, l, -175
Let i = -83 + 83. Put -0.3, -1, i, 4/7 in ascending order.
-1, -0.3, i, 4/7
Let m = 81 - 80. Let w be m/(-6)*-19 + -3. Sort -2/9, w, 2/3 in decreasing order.
2/3, w, -2/9
Let q(w) = 4*w. Let k be q(5). Suppose -4*p - p = k. Suppose d = -20 + 22. Put -5, d, p in descending order.
d, p, -5
Suppose 177*h - 45 = 168*h. Sort h, -1, -2, -4 in decreasing order.
h, -1, -2, -4
Suppose -27*x + 31*x + 12 = 0. Put -1, -4, 2, x in decreasing order.
2, -1, x, -4
Suppose -3*s - 4*l = 6 + 13, s + 2*l = -9. Sort 0, s, -5, 9.
-5, s, 0, 9
Let r = -235 - -119. Let m = -111 - r. Sort -2, m, -0.03.
-2, -0.03, m
Let a be -1 - ((-33)/(-22) + (-10)/4). Sort -3, a, 2, 12.
-3, a, 2, 12
Suppose -6 = 2*g, 5*g + 490 + 60 = 5*l. Sort l, 5, 1.
1, 5, l
Let q = 145 - 144. Suppose 5*x - 8 = -5*c - 3, 0 = -5*x - 3*c + 3. Sort x, q, -4 in increasing order.
-4, x, q
Suppose -3*f + 32 = 5*d - 68, -d + 3*f = -20. Sort 4, d, -4, 3.
-4, 3, 4, d
Let s = -24 + 43. Let d = s + -49. Let p = d + 29.9. Sort -2/7, p, 2/11 in descending order.
2/11, p, -2/7
Let b(i) = -i**3 - 7*i**2 + 5. Let m be b(-7). Let d be ((-8)/14)/((-4)/(-14)) - -5. Put 22, m, -5, d in increasing order.
-5, d, m, 22
Let v = -152.8 - -149.8. Let k = -5 - -8. Sort -4, -1/10, k, v.
-4, v, -1/10, k
Let h = -84 + 87. Sort h, -2, 1, -5 in decreasing order.
h, 1, -2, -5
Let h be (-7546)/126 - (-24)/27. Sort h, -1/6, -1/5 in decreasing order.
-1/6, -1/5, h
Let z be (-3)/(((-60)/(-8))/(-5)). Suppose -99*a = -102*a - 9. Put z, -1, a in decreasing order.
z, -1, a
Let g = -843 + 843.4. Put g, 4/5, 0.2, -15 in ascending order.
-15, 0.2, g, 4/5
Suppose 0 = -6*i + 20 + 28. Let s be (-29)/(-58) - 3*2/i. Sort 29, -1/7, s in ascending order.
s, -1/7, 29
Let g = 29/182 - 3/13. Put 3/2, 0, g in decreasing order.
3/2, 0, g
Let v be (-3 + 2)*(-9)/1. Sort 2, 5, v.
2, 5, v
Let a(t) = -t + 4. Let p be a(0). Let y be 2/p*4*1. Let w be 23/4 - 3 - y. Sort w, 0, 4 in descending order.
4, w, 0
Let m = 8 + -1. Let t = -3/23 + -31/115. Sort t, m, -1/3 in ascending order.
t, -1/3, m
Let p = 35.5 - 35. Sort p, 1/8, -0.47, -5 in decreasing order.
p, 1/8, -0.47, -5
Let y be (-3 - (-85)/25)/(5/(-50)). Sort 0, 4, y, 1 in descending order.
4, 1, 0, y
Let z = 1734 - 1734.2. Put z, -45, -1 in increasing order.
-45, -1, z
Let v = 3.6 - 3.12. Let a = v + -4.48. Sort -4/3, a, -5.
-5, a, -4/3
Let i = 391 + -642. Let g = i + 249.91. Let o = -0.09 - g. Sort o, -6, -2 in decreasing order.
o, -2, -6
Suppose 2*q - 8 = -2*q. Suppose a - q*a = 0. Suppose -1 - 2 = -h - g, 0 = 4*h - 3*g - 12. Put a, h, -2 in ascending order.
-2, a, h
Let a(i) = i**2 - 2*i + 1. Let l be a(0). Sort 3, 7, 0, l in decreasing order.
7, 3, l, 0
Let b(k) = -k**3 - 9*k**2 - 5*k - 9. Let c be b(-9). Let n = -40 + c. Sort -1, n, -3, 1.
n, -3, -1, 1
Suppose 0 = -9*f + 19*f - 350. Sort f, 5, 4 in increasing order.
4, 5, f
Let o(p) = -2*p + 19. Let c be o(10). Let l be c/2 + (-21)/6. Let q(i) = -i**3 + 3*i**2 + 5*i - 2. Let h be q(4). Put -11, h, l in ascending order.
-11, l, h
Let r = -2/231 + -1147/924. Put r, 2.2, 0.3, -1 in descending order.
2.2, 0.3, -1, r
Let i = -29.97 + 30. Let t = i - 3.03. Put t, -0.1, -9 in ascending order.
-9, t, -0.1
Let a = -11 - -13. Suppose 0*v - 5*v + 17 = -2*h, a*v = -h + 14. Suppose -4 = -2*g + 2*j, g + 2*j + j + 14 = 0. Sort v, g, 1.
g, 1, v
Let g = -34 - -33. Let r = 1 + 0. Let h = r + g. Sort -1/6, -1/10, h in increasing order.
-1/6, -1/10, h
Let t be 12/(-15)*10/(-4). Suppose -2*z = 6*b - t*b + 26, 4*z - 4*b + 4 = 0. Let k be 1/(2/(-12)*-2). Sort -1, z, k.
z, -1, k
Suppose 8*i + 395 - 419 = 0. Sort 6, 5, -2, i in decreasing order.
6, 5, i, -2
Suppose 0 = -5*y - 17 + 2. Suppose 0 = -19*j - 403 + 23. Sort y, 0, j in descending order.
0, y, j
Let v = -3703801/78 - -47484. Let c = 1/26 - v. Let n = -0.12 - -2.12. Put 5, n, c in descending order.
5, n, c
Let k = -11.49 - -0.99. Let c = k - -11.5. Sort c, 0.1, -0.4, 0.5 in increasing order.
-0.4, 0.1, 0.5, c
Let k = 1380 + -9640/7. Put -3, k, 0 in descending order.
k, 0, -3
Let h = -634.78 + 635. Sort 0.3, 22, h in ascending order.
h, 0.3, 22
Suppose 9*d - 972 + 81 = 0. Let b = 100 - d. Put 4, b, 25 in ascending order.
b, 4, 25
Let k = -0.03 - -0.23. Let c = 6.8 - 0.8. Sort -2/5, k, c, 2 in increasing order.
-2/5, k, 2, c
Let q = 105 + -106. Put 9, q, 3, 0 in descending order.
9, 3, 0, q
Let n(q) = 10*q**2 - q + 2. Let k be n(1). Suppose 9 = k*z + 64. Put z, 0, -2, -1 in increasing order.
z, -2, -1, 0
Let u = -2.5 - -2. Let p = 80.4 + -80. Let s = 0.8 + -1. Sort p, u, s in decreasing order.
p, s, u
Let v = -206 + 205. Put 2, 2/5, v in descending order.
2, 2/5, v
Suppose 5*u = 3*r - 2, 3*r - u - 18 = -2*r. Let b = -29 - -23. Let w be 7/(-2) - (-3)/b. Put w, 5, r in increasing order.
w, r, 5
Let r be 1323/1372 + (-10)/8. Suppose 7*b = 3*b - 2*d + 28, 16 = 4*d. Let f be ((-1)/(-2))/(b/(-30)). Sort r, 3, f in descending order.
3, r, f
Suppose -s + 3*t + 54 = -2*t, 0 = 5*t. Let p be 5 + -9 - s/(-14). Put 0.4, 0.1, p in increasing order.
p, 0.1, 0.4
Let o = -0.15 + 0.45. Let p = 0.346 + -3.346. Sort o, p, -0.4, -0.5 in descending order.
o, -0.4, -0.5, p
Suppose 4*w = -w - 2*q - 3, w - 2*q = 9. Put w, -5, -291 