. Let x be b(6). Put 230, -5, x in decreasing order.
230, x, -5
Let d = 2 + -34.82. Let w = -33 - d. Sort w, -1, -1/5 in ascending order.
-1, -1/5, w
Let n = -2 + 2. Let t(i) = 13*i + 184. Let o be t(-14). Suppose 0 = -5*k - v + 6 + 2, 16 = 4*k + 4*v. Sort k, o, n in decreasing order.
o, k, n
Suppose 0 = 4*h - 16, -2*r - 5*h + 0 = -38. Put 4, 2.2, 0, r in descending order.
r, 4, 2.2, 0
Let a = -1/175 - -233/10150. Let t = -119/174 + a. Let c be 4/38 + 4*195/(-190). Sort c, t, 0.5 in decreasing order.
0.5, t, c
Suppose 8*a + 6*a + 70 = 0. Sort -4, 5, a.
a, -4, 5
Suppose 2*q + 40 = -x + 12, 3*q + 4*x + 47 = 0. Let k(g) = g**3 - 9*g**2 + 2*g - 16. Let r be k(9). Sort q, r, 5 in decreasing order.
5, r, q
Let t(c) = 6*c + 56. Let u(s) = 18*s + 166. Let k(y) = -14*t(y) + 5*u(y). Let o be k(-16). Put -2, o, 3 in descending order.
3, -2, o
Let m be (5 + -5)/(5 - (3 + 0)). Let t be (-20)/(-9) - 2/9. Let h = 2 + t. Sort 3, h, m in descending order.
h, 3, m
Let y = 31 + -19. Suppose -4*k + y = -4*m, 2*k = 4*k + 3*m - 16. Let n = 0.5 + -0.1. Sort n, -0.2, k in increasing order.
-0.2, n, k
Suppose -4*h = 4*l - 64, 68 = 5*l + 2*h - 27. Let k = l + -25. Put k, -1, 2 in descending order.
2, -1, k
Let k = -76 - -73. Let x be ((-6)/(-4))/(k/(-6)). Let d(f) = 5*f**3 - f. Let z be d(1). Put 18, z, x in decreasing order.
18, z, x
Suppose -16 = 4*p - 32. Suppose o - 4*s = -16, -4*o + 4 = -3*o + s. Suppose -p*x + o*x = 12. Sort x, 2, -1 in ascending order.
x, -1, 2
Let o(g) = -4*g**3 + 2*g**2 - g. Let p(q) = 2*q - 13. Let b be p(7). Let a be o(b). Let y be 1*6*5/10. Put a, y, -1 in decreasing order.
y, -1, a
Let r = 771.5 - 772. Put 0.08, r, -0.33 in ascending order.
r, -0.33, 0.08
Let f = 35 + -34. Suppose 6*u + 0*u - 18 = 0. Put -5, u, -1, f in decreasing order.
u, f, -1, -5
Let x be 94*1/18 - 6/27. Sort -0.3, -76, -0.1, x in decreasing order.
x, -0.1, -0.3, -76
Let t = 944 + -941. Sort t, 25/8, -1/8, -4/3 in descending order.
25/8, t, -1/8, -4/3
Let p be -10*24/1980*(-2 - 1). Put p, 4, 0.2 in decreasing order.
4, p, 0.2
Let b = 25 + -23. Let c = 3 - 4. Let k = 8 - 3. Put k, c, b in descending order.
k, b, c
Let p(y) = -3*y**3 - 2*y**2 + 1. Let k be p(-1). Let c be k/4 - (-207)/6. Let o be 25/c - (-4)/(-14). Sort o, 5, -0.4 in increasing order.
-0.4, o, 5
Suppose -6*j = -3*j - 3. Suppose 0 = 3*q + 2 + j. Sort 4, q, -4 in increasing order.
-4, q, 4
Let i = 1385 + -1335. Put i, 0, 3 in ascending order.
0, 3, i
Let r = 14 + -4. Let p(s) = -s**3 + 6*s**2 - 8*s + 10. Let c be p(4). Let m be (-6)/c + 147/195. Put 2/11, r, m in descending order.
r, 2/11, m
Suppose -9 = -2*l + 3*q, -18 + 3 = 3*l + 5*q. Suppose -k + l*r + 8 = 4*r, -3*k - 9 = r. Sort k, -2/5, 4 in descending order.
4, -2/5, k
Let j = 7.38 + -7. Let v = -0.78 + j. Sort -7, 3, v in descending order.
3, v, -7
Let b(o) = -2*o + 6. Let q be b(-3). Suppose 10*n - 10 = q*n. Let p be 10/(-25) - 3/5. Put n, -3, p in increasing order.
n, -3, p
Suppose -i = -4*c + 2, 2*i + 6 = 3*c - i. Let p be (-91)/(-21) + 4/6. Suppose -3*s = -2*r - 16, c = -p*r + 3*s + s - 33. Put r, -4, -7 in decreasing order.
-4, r, -7
Let g = 140.18 + 1.82. Let i = 144 - g. Sort -0.3, -0.2, i.
-0.3, -0.2, i
Let a = -55 + 51. Put a, -20, -3 in descending order.
-3, a, -20
Suppose -k + 3*g = -3*k - 15, 0 = 5*k + 4*g + 34. Let b be (0 + 0)/(8 + k). Sort -4, -1, b, 5 in increasing order.
-4, -1, b, 5
Suppose 2*r - 3*f = 7*r + 30, -r = -3*f - 12. Let o = -733 - -733. Put 2, o, r in decreasing order.
2, o, r
Suppose -z - 4*z + 11 = 2*h, z - h = 5. Suppose -l - z = -2. Let w = -1636 + 1642. Put w, 2, l in descending order.
w, 2, l
Suppose 5*c = -3*w - 8, 4*c = -2*w + 7*w - 36. Let m = -109 + 113. Put m, 0, c in ascending order.
c, 0, m
Suppose 3*m = -0*m - 15. Let r = -8.4 - -8.47. Sort m, 1, -3/7, r.
m, -3/7, r, 1
Let x = 10.13 - 8.33. Sort x, -2, 0, 3/4.
-2, 0, 3/4, x
Let h = -0.05 + -1.95. Let a = -0.037 + -0.463. Sort 8, h, a.
h, a, 8
Let o(v) = v**2 + 2*v + 21. Let c be o(0). Suppose c = 4*d - d. Suppose -4*u + 0*b - 10 = 2*b, u - b + d = 0. Put u, 4, 2 in decreasing order.
4, 2, u
Suppose -12*c + 10 = -2*c. Let o(n) = -10*n + 14. Let d be o(c). Let b(h) = -3*h**2 - h - 1. Let p be b(-1). Put d, p, 2 in descending order.
d, 2, p
Let m = -11 - -15. Suppose -10 = 4*w + 8 - 10. Put m, w, -4, 2 in descending order.
m, 2, w, -4
Let f(t) = -4*t**3 + t - 1. Let h be f(1). Let o = 16 + -14. Put -0.3, h, o in ascending order.
h, -0.3, o
Let l be 7 + -8 + (1 - 4/(-8)). Let u = 10 + -15. Put l, 7, -3, u in ascending order.
u, -3, l, 7
Let v(a) = -a**2 - 24*a + 3. Let n be v(-24). Put 12, 2, n in decreasing order.
12, n, 2
Let x be (-8)/(-20) + (-23)/(-5). Suppose -10*t + x = -11*t. Put t, 4, 3, -4 in descending order.
4, 3, -4, t
Let q(j) = 4*j - 39. Let o be q(11). Suppose -5*p = -5*b, o*p + 12 = -3*b + 4. Put -4, b, 2, 0 in descending order.
2, 0, b, -4
Suppose -3*h = -2*k + k + 7, 5*k = -4*h - 41. Suppose 24 = 3*g + 3. Suppose -g*v + 32 = -3*v. Sort v, 1, h in descending order.
v, 1, h
Let a(l) = 4*l - 1. Let u be a(2). Let v = u + -3. Suppose -r + 3*k = 17, -5*r + r - 36 = -4*k. Put r, v, 8 in descending order.
8, v, r
Let q = -9.45 + 9.45. Sort q, -4, -5, 3 in increasing order.
-5, -4, q, 3
Let t(z) = z**2 - 7*z + 15. Let b be t(7). Suppose 11*n = 6*n - b. Suppose 5*v + 18 = -4*w, 2*w + 7 - 1 = -v. Put n, 2, w in descending order.
2, w, n
Let r = -1245 - -1271. Sort r, -9, 0 in increasing order.
-9, 0, r
Let t be 10/(-2) - ((-24)/3 - -4). Let w(d) = -3*d**3 - d**2 - d + 1. Let f be w(1). Sort 4, t, 3, f in ascending order.
f, t, 3, 4
Suppose -32 = 3*p - 38. Sort -17, -4, -1, p in descending order.
p, -1, -4, -17
Suppose 14*h - 25*h + 22 = 0. Suppose 0 = -0*x + 3*x - 57. Let l = 53 + -56. Put h, x, l in ascending order.
l, h, x
Let l be (1 + -4)/(-4 + 33/6). Suppose -3*h = h. Let q = -5 - h. Sort l, 5, q in decreasing order.
5, l, q
Suppose 39*h + 256 + 1148 = 0. Put 1, h, -2 in decreasing order.
1, -2, h
Let m be -7*(3 - (-3 - -4) - 1). Sort -5, m, -10.
-10, m, -5
Let q = 0.34 + -0.04. Let b = -0.67 + -1.33. Sort 4, b, q in descending order.
4, q, b
Let r = 1.2609 - -0.1391. Sort r, 0.02, -4 in descending order.
r, 0.02, -4
Let z = 282 - 292. Put 3, z, 5, -2 in descending order.
5, 3, -2, z
Let r = 4.6 + 0.6. Let f = r - 1.2. Let d = -1 + f. Put d, 0.2, -1 in descending order.
d, 0.2, -1
Let y = -0.05 - -26.05. Let r = y + -24.5. Let n = 2.5 - r. Put 1/9, n, 2 in descending order.
2, n, 1/9
Let h = -21.4 + -2.6. Let f = 28 + h. Put f, 5, -0.1 in descending order.
5, f, -0.1
Let m(d) = 37*d - 185. Let q be m(5). Sort -6, 9, 1, q in descending order.
9, 1, q, -6
Suppose d - 2*j + 14 = 3*d, -2*d - 5*j + 26 = 0. Suppose -2*k - 10 = -2*n - d*n, -23 = -2*n - 3*k. Put -1, 2/17, n in decreasing order.
n, 2/17, -1
Let o = -628 + 628. Sort -4, -5, o, 8.
-5, -4, o, 8
Let k = -150 - -94. Let m = 63 + k. Let b = -3 - -1. Sort 0.3, m, b in decreasing order.
m, 0.3, b
Let v = -20.18 - -20.3. Let r = -22 + 22.52. Let x = v - r. Sort 0, 4, x.
x, 0, 4
Suppose 338 - 340 = -k. Put 5, -1, k in decreasing order.
5, k, -1
Suppose 4*h - 2*b = 46, -6*b = -3*h - b + 45. Put h, 3, 5 in decreasing order.
h, 5, 3
Let z = 1 - -4. Suppose -f - 2 + 6 = 0, 3*g + 16 = 4*f. Sort z, g, -1 in descending order.
z, g, -1
Suppose 2*l + 18 = -24. Let r(p) = -p - 17. Let j be r(l). Sort 3, 0.2, j in descending order.
j, 3, 0.2
Let j = -175930849/451 - -390091. Let i = -10/41 + j. Put -2/7, -2/17, i in decreasing order.
i, -2/17, -2/7
Suppose -3*f = 2*v + f - 20, -5*v + f = 5. Let z be (-3 + 7/2)*0. Suppose 3*l + 0 - 3 = z. Put v, 6, l in decreasing order.
6, l, v
Suppose -20 = 4*m, 5*w - 5*m = -2*m - 5. Let x be (-3)/3*20/w. Suppose z + 4 = 3*o - 3*z, 5*z + x = 0. Sort 3, o, -5 in ascending order.
-5, o, 3
Let x = 52/49 - 38/49. Suppose 3*v - 42 - 69 = 0. Let b = 110/3 - v. Put x, 0.5, b in descending order.
0.5, x, b
Suppose 0*j - 2*j + g + 47 = 0, -2*g + 98 = 4*j. Let o = j + -6. Suppose o = 2*n - 4*y, -7*n + 2*y + 6 = -3*n. Sort n, 2, 5.
n, 2, 5
Let l be 16/7 - (-158)/(-553). Suppose -9 = 4*z - 4*k + 11, 0 = -3*z + k - 11. Let g be (-14)/6 + 1/3. Put z, l, g in decreasing order.
l, g, z
Let u be (0 - 1)/((-1)/(-2)). Suppose 0 = 3*p - 3 - 0. Put p, u, -3 in decreasing order.
p, u, -3
Sup