. Let s be y(-68). Put 0, -5, s in increasing order.
s, -5, 0
Let w = 141 + -96. Let f = -106340 - -106345. Put -2, 3, w, f in decreasing order.
w, f, 3, -2
Suppose -5*y - 77 = -4*l - 31, 4*y = 5*l - 44. Put 13, l, -2 in descending order.
13, l, -2
Suppose 1 = h - 0. Let o(j) = 2*j**2 - 394*j + 3739. Let l be o(187). Let q(g) = g**3 + 8*g**2 + g + 10. Let f be q(-8). Put h, 0, f, l in descending order.
f, h, 0, l
Let w be 3/(-21) - 137/805. Let v = w + -2/23. Let r = -584 + 2921/5. Put v, -4, r in decreasing order.
r, v, -4
Let a = 30.8 - -0.2. Let o = a + -31.06. Let w = 86 + -86.1. Sort -3, w, o, 5.
-3, w, o, 5
Let p = -13.682 - -2.682. Sort p, -22, 0.1, 3, 5 in descending order.
5, 3, 0.1, p, -22
Let b = -20313 + 20432. Put b, -1/2, -3/5 in decreasing order.
b, -1/2, -3/5
Let m be 47/2 - (-6)/12. Suppose 5*f = -2*u + 32, -5*f + m = -4*f - 4*u. Suppose 0 = -s + 3*p - f, 4*s - 3*p - 5 = -1. Sort s, -3, -5 in ascending order.
-5, -3, s
Let k(g) = 3*g + 22. Suppose 9 = -42*o + 41*o. Let x be k(o). Sort -3, -22, x, 4 in increasing order.
-22, x, -3, 4
Suppose -146 = 21*k + 64. Sort -4, -51, -3, -1, k in descending order.
-1, -3, -4, k, -51
Let j(r) = r + 14. Suppose -22*k + 18*k = 60. Let u be j(k). Let b be 3/(-2)*(1 + 1). Sort 3, 2, u, b in decreasing order.
3, 2, u, b
Suppose 0 = 2*q - 2*p + 58, 25 = -q - 3*p + 8*p. Put 1, q, 8 in ascending order.
q, 1, 8
Let u be (-4)/(-14) - 263/(-280). Let p = -13/8 + u. Let h = -74147 + 74151. Put p, 0.06, h, -0.1 in decreasing order.
h, 0.06, -0.1, p
Suppose -2*x = x + 5*d - 10, -5*x - 45 = -4*d. Let y(j) = -j**2 + 7*j - 4. Let q be y(5). Let p be (-2*(-3)/q)/(3/(-9)). Put p, x, 5 in decreasing order.
5, p, x
Let y be 0 + -8 - (-9)/3. Let v = 4425 + -4422. Put y, v, 35 in decreasing order.
35, v, y
Let o = 4.29 + -1.14. Let s = o + -0.15. Let r = -104 - -103. Sort s, 0.4, r in ascending order.
r, 0.4, s
Let m = 21652 + -37176482/1717. Sort -0.3, m, 3 in descending order.
3, m, -0.3
Let v be (0 + (11/(-2) - -6))*0. Suppose 16*d + v*d = -80. Let k(g) = g**2 + 6*g + 1. Let m be k(-5). Put d, m, -1 in decreasing order.
-1, m, d
Let i = 13/11 - 139/99. Let k(o) = -35*o - 1. Let x be k(1). Let t be 6/x - 7/(-18). Sort t, i, -0.06 in decreasing order.
t, -0.06, i
Suppose 15*w - 5*l = 11*w - 100, -w - 8 = 3*l. Let h be (-6 - (-2 - 7))*(1 - 0). Sort -3, w, h in decreasing order.
h, -3, w
Let k = -44.84 - -44.86. Let q = 0 - -0.1. Sort -0.4, k, q in ascending order.
-0.4, k, q
Let s be 2/(1 - (1 - -3)). Let j = -4.5 - -4.3. Sort -2, j, s in decreasing order.
j, s, -2
Let k = 22763 - 22750. Put 4/7, 5, 0.4, k in ascending order.
0.4, 4/7, 5, k
Let c = -1134 + 751. Let t = -382 - c. Sort -0.2, t, 27 in increasing order.
-0.2, t, 27
Let d = -135 - -1216/9. Let u = 273.9 - 274. Let t be (-1)/(5/5) + (-12 - -8). Sort u, d, t in descending order.
d, u, t
Let o(p) = -31*p - 3312. Let q be o(-107). Suppose 5*i - s = -10 - 0, -5*s = 3*i + 34. Put i, q, -4, 33 in decreasing order.
33, q, i, -4
Let b(g) = g. Let o be b(0). Suppose 5*c - 23 - 7 = o. Let f(a) = -2*a**3 + 46*a**2 + 10*a - 233. Let x be f(23). Sort 0, c, x, 5 in increasing order.
x, 0, 5, c
Let s = 7.7 + -8.1. Suppose -w + 5 = 0, 3*x + 8*w - 5*w - 30 = 0. Sort x, 3/7, s, -3/5 in descending order.
x, 3/7, s, -3/5
Suppose -87 = 16*x - 519. Let f be (7 - 1)*(-8 - (-217)/x). Suppose -s + 3*s - 4 = 0. Sort f, s, 5, -2/5 in descending order.
5, s, f, -2/5
Let i = 3589 - 3580.237. Let q = i + -8.8. Let w = -0.263 + q. Put -2/5, -2/3, -3, w in decreasing order.
w, -2/5, -2/3, -3
Let x = 4621 + -4619. Let u = -0.41 + -0.59. Sort u, x, 0.3, -1/6 in descending order.
x, 0.3, -1/6, u
Suppose 0*v + v = 0. Let b be (2/(-6))/((-56)/126). Let s = -8860 - -8862. Put b, v, s, 0.1 in decreasing order.
s, b, 0.1, v
Let u be (-8)/(-10) + -1 + 2808/90. Let a = 33 - u. Suppose a*q - 4*s = -0*q - 28, 2*q + 13 = s. Put q, -1, 3 in descending order.
3, -1, q
Let d be (-4098851)/(-551) - 4/(-58). Put -1, d, -3 in increasing order.
-3, -1, d
Let y = 2 - 2.1. Let a = 0.1 + y. Let l = -75414 + 75389. Sort -2, -1/4, l, a.
l, -2, -1/4, a
Let w = 1253 - 1253. Put w, 48, -1 in decreasing order.
48, w, -1
Let a(l) = 3*l**2 - 91*l + 337. Let o be a(26). Suppose 2*g + 4 = -2*y - g, -6 = 3*y - 3*g. Put y, o, 10, 4 in decreasing order.
10, 4, o, y
Suppose -b - 1 = -4. Let g be (0 - 2)*(-49)/(-14) + 5. Suppose -2*p + 1551 = 1549. Put 5, b, g, p in decreasing order.
5, b, p, g
Let z = 5 + -10. Let s be 70/245 + ((-6)/48 - 94/(-112)). Sort s, 4, z in descending order.
4, s, z
Let t = 33942.8 + -33943. Sort t, -0.1, -0.019.
t, -0.1, -0.019
Suppose 2202 - 1938 = -11*y. Put 0.2, -14, y, -1 in ascending order.
y, -14, -1, 0.2
Let n(w) = 11*w**3 - w**2 - 297*w - 296. Let v be n(-1). Let f = 2 + -1. Sort f, v, 2, -5.
v, -5, f, 2
Let u be (-4 - 530/(-140))*(-8)/6. Let v = -31 + 30. Sort -0.4, -0.3, u, v in decreasing order.
u, -0.3, -0.4, v
Let c(j) = 88*j**2 + 10*j + 8. Let k be c(-1). Suppose -87*i - 40 = -k*i. Sort -0.3, -1, i in decreasing order.
-0.3, -1, i
Let p be 3/(1/((-4)/(-6))). Suppose i - 3 = p. Suppose 14*z + 554 - 279 = 275. Sort i, z, -3, -7 in ascending order.
-7, -3, z, i
Let i = -306 - -305.656. Let d = i - -0.194. Sort 2/5, 2/3, 3/2, d in descending order.
3/2, 2/3, 2/5, d
Let r = -17937 + 17937. Let v = -45/196 + -1/49. Let k be 5/(-10)*(-4)/18. Put 3, r, k, v in increasing order.
v, r, k, 3
Let w = -4.525 + -2.475. Put 0.3, 4/5, w, 5 in ascending order.
w, 0.3, 4/5, 5
Let o = -5548 + 5572. Put o, -5, -3, 5 in ascending order.
-5, -3, 5, o
Suppose 0 = -3*b + 2*p - 4, 2*b - p - 6 = -4*p. Let c(z) = 40*z - 2. Let k be c(b). Let a = 0.6 + -0.2. Put 0.2, 1/2, a, k in decreasing order.
1/2, a, 0.2, k
Let g be 2/(-3)*1/2*(-160 + 163). Let d be (-1)/(1/(6/2)). Sort 3, g, d.
d, g, 3
Let w = 43.4 - 99. Let j = w - -41.6. Sort -2/7, j, -9 in descending order.
-2/7, -9, j
Let i be ((-20)/(-50))/((-2)/10). Let u be (4 - 1)/(-3) - 0. Let r = 9 + -14. Sort u, i, r in decreasing order.
u, i, r
Let n = 521.8 + -526.8. Let z = -0.6 + 0.4. Put z, 5/6, n in descending order.
5/6, z, n
Suppose -323*o + 196 = -337*o. Put -2, o, 52 in descending order.
52, -2, o
Let o(q) = 1475*q + 73754. Let y be o(-50). Let k = 0 + 3. Suppose 0*l + k*l = 6. Sort y, 5, -7, l in decreasing order.
5, y, l, -7
Let c = -1.02 - -1.03. Sort c, -4, -0.06.
-4, -0.06, c
Let y = 2/197 - 556/15957. Sort y, -19, 2 in ascending order.
-19, y, 2
Let s be -1 + ((-16)/(-5) - 6) - 1/5. Let w = 2 + -2. Suppose 0 = v - w - 2. Sort v, s, -1, 4 in descending order.
4, v, -1, s
Let x = 425/1112 + -1/139. Let a = -7444/5 - -1489. Sort 0.4, a, 1, x in descending order.
1, 0.4, x, a
Let p = 0.475 - 0.46. Let x = p + 0.485. Let s = x - 3.5. Put -6, -0.4, s in decreasing order.
-0.4, s, -6
Let i(n) = 43*n**2 - 9*n - 8. Let r be i(-1). Suppose u - c = r, -3*u = -2*c + c - 132. Let o be (-11)/(-4) - (-11)/u. Sort o, 4, -7/3 in ascending order.
-7/3, o, 4
Let w = -2408 - -2103. Sort -5, -2, w.
w, -5, -2
Let u(c) = -c**2 - 36*c - 285. Let h be u(-12). Suppose 5*x = 4*g + 38, x + 5*g + 3 = -1. Sort h, x, 0.2 in decreasing order.
x, h, 0.2
Suppose 7*b = -132 + 202. Let p be (-2)/b*1*(-8)/4. Let d = 0.1 - 0.2. Sort d, -4, p, -5 in ascending order.
-5, -4, d, p
Let i be (-61)/(-3) - (-4)/(-12). Let p be 1/(1 + i/(-24)). Let j(t) = t**2 - 7*t. Let o be j(p). Sort -0.5, -4, o in ascending order.
o, -4, -0.5
Let r = -112 - -115. Let h = -357 - -357. Suppose -2*c = c - 3. Sort c, r, -7, h.
-7, h, c, r
Let l = 255 - 276. Let m be (-6 + 0)*(14/l)/(-2). Sort -1, m, 0 in increasing order.
m, -1, 0
Let b = -5147/15 - -343. Let q = 117 - 118. Let o be 19/(-30) - q/(-6). Sort b, o, -5, -3.
-5, -3, o, b
Let a be (-22)/((-1)/(1/2)). Suppose g = -4*i + 17, -g - i = i - a. Let p(k) = -k**3 - 8*k**2 - 6*k. Let d be p(-3). Sort g, 2, d, 4.
d, 2, 4, g
Let k be 6/(-36) + (-7)/6 + 1. Let w = -59 + 36. Let s = -23.4 - w. Sort k, 1/5, s.
s, k, 1/5
Let w = -2709 - -2805. Put 4, -3, w in decreasing order.
w, 4, -3
Suppose -3*p - 3*x + 22 = -53, 0 = 5*p - 3*x - 125. Suppose a + 6 = n - 21, 0 = -5*n - 2*a + 149. Suppose 2*o + n = p. Sort -1, 4, 6, o in decreasing order.
6, 4, -1, o
Let b = 2816 + -2816.038. Sort -1, b, -0.4, 75 in ascending order.
-1, -0.4, b, 75
Let y be 14/(-21) 