et l be b + 12*(-80)/330. Put l, -0.03, 4, 0.2 in ascending order.
-0.03, l, 0.2, 4
Let n = 133 + -135. Suppose 0 = 3*a - 3*s - 6, -4*s + 35 - 11 = 4*a. Sort n, a, -3, 3 in decreasing order.
a, 3, n, -3
Let q(c) = 3*c**3 + 3*c**2 - 5*c + 3. Let w be q(1). Put 15, w, 3, -9, -3 in increasing order.
-9, -3, 3, w, 15
Let x be (-4)/(-18)*(-6)/(-14). Let k = 1.1 + -1. Let n = -705178 + 705177.5. Put 0.5, n, k, x in ascending order.
n, x, k, 0.5
Suppose 0 = -b - 3*u + u + 1, -3*b = -2*u + 5. Suppose -53 = -5*d - i, -2*d - 2*i = -19 + 1. Let k be (-1)/5 - 216/45. Sort d, 5, b, k in descending order.
d, 5, b, k
Let m = 475828/153 - 3110. Put 5, -3, m, 1, 1/6 in increasing order.
-3, m, 1/6, 1, 5
Let z be 19/4 - (-20 + 0)/(-4). Let v(i) = -8*i + 166. Let b be v(21). Put z, 2, 0.04, b in ascending order.
b, z, 0.04, 2
Let x(b) = 51*b + 717. Let v be x(-14). Put v, -162, -5 in ascending order.
-162, -5, v
Let u be (-8)/1 - 48/(-16)*(-35)/15. Put 2, u, 0.2, 1/3 in increasing order.
u, 0.2, 1/3, 2
Let l be (-3)/(-4) + 2/8. Let x be l + ((-9)/(-18))/(1/(-2)). Suppose 5*z = 4*t - 0*z + 41, -2*t = z + 3. Put 1, t, 15, x in ascending order.
t, x, 1, 15
Suppose 0 = u - 2*d + 44, 0*u + 37 = -u - 5*d. Let p = -40 - u. Suppose -p*k + 13 = 3*j, j + 7 = -k + 6*k. Put j, -3, 21 in ascending order.
-3, j, 21
Suppose 4*o + 74 = 58. Put o, 35/9, 3, 5 in ascending order.
o, 3, 35/9, 5
Let d(g) = 3*g**2 + 61*g + 21. Suppose 6*u + 520 = -20*u. Let z be d(u). Suppose 3*m = f - 8, 2*f - m = -2*f + 10. Sort 11, -5, f, z.
-5, z, f, 11
Let s = 2784/35 - 561/7. Sort -4, 15, -3, 6, s.
-4, -3, s, 6, 15
Let r = 9 + -1. Suppose -14*t + 3*b = -13*t - 15, 0 = 3*t + 5*b + 25. Sort 1, t, r in ascending order.
t, 1, r
Let i = -2794 - -2801. Put -65, i, 1 in decreasing order.
i, 1, -65
Let q = -0.0776 + 0.9996. Let b = 0.422 - q. Put 0, b, -8 in decreasing order.
0, b, -8
Suppose 5*l + 3*o + 11 = 0, -75*l - o = -70*l + 17. Sort 22, 4, 3, l in ascending order.
l, 3, 4, 22
Let x = -2107.5 + 2107. Put -2/19, -81, x in decreasing order.
-2/19, x, -81
Let y = 5601/4 + -16771/12. Sort 0.1, y, 2, 0.4 in ascending order.
0.1, 0.4, 2, y
Suppose -4*p + 16 = -3616*c + 3620*c, 0 = -4*c + p - 19. Put -9, c, -4 in decreasing order.
c, -4, -9
Suppose 2*d - 2*o + 28 = 40, 17 = 4*d + 3*o. Put -0.3, d, 19 in descending order.
19, d, -0.3
Suppose -5*h + 10 + 20 = 0. Suppose 5*u - 44 - 1 = -5*j, 3*u = 3*j + 3. Let m = 44.32 - 43.82. Sort u, h, m.
m, u, h
Let b be ((-85)/25 + 3)*-40. Let o = 8 - b. Let n = -173 - -175. Put 1, -2, o, n in decreasing order.
n, 1, -2, o
Let a = -13303 - -13559. Sort a, -0.3, 1/6 in increasing order.
-0.3, 1/6, a
Let o(n) = -n**2 + 7*n. Let i be o(5). Suppose -i*s = -9*s - 3. Let d = 5667 - 5666. Sort d, 4, s in decreasing order.
4, s, d
Suppose -108 = -7*h - 2*h. Suppose 5*t + 2*i = -28, -4*i + 27 = -5*t - 7. Let k be t/(-8) - (-156)/48. Sort h, 1, k, -2 in decreasing order.
h, k, 1, -2
Let s = 25259.2 + -25259. Put 0.2983, 0.5, -3, s in decreasing order.
0.5, 0.2983, s, -3
Let a = -3 - -3. Suppose 0 = 2*s - 5*z + 3, 4*s + 9 = 3*s + 5*z. Suppose 3*x - s*x + 54 = -r, 3*x + 3*r = 54. Sort a, x, 1 in descending order.
x, 1, a
Suppose -32 - 1 = 21*x + 12*x. Put -0.3, x, -0.112, 9, 3/4 in descending order.
9, 3/4, -0.112, -0.3, x
Let h = 0.25 + 0.05. Let m be (9 - 0) + -5 - 327. Let j = m - -327. Put h, -2/11, j in descending order.
j, h, -2/11
Let v = 461/4 - 114. Let l = 466 - 461. Let f be (4 - 6) + 56/12 + -2. Put v, f, l in decreasing order.
l, v, f
Let g be 3 + 14/(-4) + 18/4. Suppose -g = -29*c - 4. Sort 2, 17, -1, c in decreasing order.
17, 2, c, -1
Let h = 17626 - 17627.8. Sort -3, -1/3, h, 0.3, 22 in decreasing order.
22, 0.3, -1/3, h, -3
Let g be (-12)/(-8)*4/(-6). Let t(p) = -4*p**3 - 45*p**2 + 105*p + 100. Let s be t(-13). Put s, 0, g in ascending order.
s, g, 0
Suppose -12*b + 8*b = -32. Suppose 0 = -b*c - 5*c + 13. Put -74, -4, c in descending order.
c, -4, -74
Let r(w) = w**2 + 3*w - 1. Let q be r(-2). Let d be (-2 - q) + 30/(-18). Let k(b) = 6*b - 27. Let x be k(6). Sort 1, d, -1/7, x.
d, -1/7, 1, x
Let y be 2763/39 - 750/(-4875). Put -6, 11, y in descending order.
y, 11, -6
Let w = 0.948 + -0.928. Sort 0.5, -14, -2/7, w.
-14, -2/7, w, 0.5
Let a = -84 - -87. Sort a, -19, 14.
-19, a, 14
Suppose 0 = 2*l, -2*c + 0*c + l + 16 = 0. Let h be -4 - (-4 - (0 + 0)) - -4. Suppose 9 = -5*d + h. Sort d, 5, c in decreasing order.
c, 5, d
Suppose -11*s = -9*s - 24. Suppose -2*u = i + 6, -7*u = -3*u + 3*i + s. Suppose 0 = -9*n + 9. Put n, u, 0 in ascending order.
u, 0, n
Let j be ((-46)/31)/(756/48). Let x = j - 2/1953. Put -2/9, 0.1, 5, x in ascending order.
-2/9, x, 0.1, 5
Let y = -5348 + 5343. Put 0.1, -2864, y in decreasing order.
0.1, y, -2864
Let z = 6669 + -6670. Let o = -60 + 58. Suppose -22 = 2*g - 4*g. Put g, o, z in descending order.
g, z, o
Suppose 0 = -63*g + 577 + 1691. Suppose y = -2*y - 66. Let i = y + g. Sort i, -3, -1 in increasing order.
-3, -1, i
Let q(o) = -o + 1. Let b(a) = -4*a + 1. Let h(m) = b(m) - 3*q(m). Let i be h(0). Suppose -1152*k - 1592 = -6200. Sort 5, i, k in descending order.
5, k, i
Let c(t) = -6*t**2 + 101*t + 123. Let o be c(18). Sort -6, o, 0, 1.
-6, o, 0, 1
Suppose 5*t - 60 = 10*t. Let q be 4/t + (-7)/42. Sort -2/17, -1, q.
-1, q, -2/17
Let u = -1.72 + 191.72. Let l = 190.059 - u. Sort -3, l, 5, 2 in increasing order.
-3, l, 2, 5
Suppose 0 = -5*v + 5*m + 55, 3*v - m = -2*m + 49. Let u be (6/(-9))/((-8)/(-60)). Sort v, u, 3 in ascending order.
u, 3, v
Suppose -5*u = 4*a - 13, -2*a - u - 10 = -3. Put a, -3, 1, -14 in descending order.
1, -3, a, -14
Suppose 7*l + 65 = 3*i, -5*i + 14 = 5*l + 39. Put i, 1, 8, -4, 38 in decreasing order.
38, 8, i, 1, -4
Suppose 51*z - x + 4 = 54*z, 2*z - 4*x = -16. Sort 0.4, z, -6.89.
-6.89, z, 0.4
Suppose 190 - 27 = 163*q. Sort -10, q, -87 in descending order.
q, -10, -87
Let x = 2144 + -2140. Let d(q) = q**2 + 5*q - 3. Let t be d(-5). Let n = -3 - t. Sort x, 2, n.
n, 2, x
Suppose -p - 6 = 6. Let x = -13 - p. Suppose -13*r + 18*r = -20. Put x, r, -5 in increasing order.
-5, r, x
Let h = 1 + 2. Let x be 88/(-180) + 101/(-909). Sort -2, h, x in decreasing order.
h, x, -2
Let s = 12.6109 - 12.591. Sort -3, 3, s in ascending order.
-3, s, 3
Suppose 165*p - 88 = 173*p. Let v be ((-82)/4)/(p + (-910)/(-84)). Sort v, -1/11, 0.2 in descending order.
v, 0.2, -1/11
Let v(l) = -2*l - 27. Let j be v(-13). Suppose -o - 3 = 0, -4*k - 4 = -96*o + 100*o. Put j, k, -5, -3 in descending order.
k, j, -3, -5
Let o be (-3 - 9)*30/40*(-1)/(-3). Let r = 0 - 0.2. Let d = 0.8 - r. Sort o, -2, d in decreasing order.
d, -2, o
Let i(x) = -x**3 + 27*x**2 + 26*x + 64. Let j(q) = q**3 + 19*q**2 - 46*q - 56. Let m be j(-21). Let p be i(m). Sort p, -1, -5.
-5, -1, p
Suppose -56*d - 46*d - 1295 = -65*d. Put d, 5, -71 in increasing order.
-71, d, 5
Let o = 11 + -4. Let b be (1/(-3))/(2299/(-285) - -8). Suppose -2*r - o = -f, 5 = -5*r + r + b*f. Sort 0.1, r, 4, -0.7.
r, -0.7, 0.1, 4
Let s = -1.55 - -4.56. Let n = s + -0.01. Let p = -447 - -446. Sort p, n, 2 in increasing order.
p, 2, n
Let z = 67 - 73. Let g = 70 + -68. Let s be g/4*(3 - 1). Sort -3, s, z in increasing order.
z, -3, s
Let i = -103 - -314. Let b = i + -210.5. Sort b, -0.4, 1.7 in ascending order.
-0.4, b, 1.7
Let u = 355 - 1769/5. Let h be (3 - 30/4)*(-3)/45. Let y be (5/(-10))/((-10)/12). Sort -2, y, u, h in ascending order.
-2, h, y, u
Suppose -76*n + 6 = -160*n + 85*n. Let x = 9 - -16. Put 1, n, x in descending order.
x, n, 1
Let u = -5073 + 5077. Sort -3, -2, 1, u, 19.
-3, -2, 1, u, 19
Let n be 117/(-12) + 1 + (-1)/4. Let d = 3.13 - 0.13. Put d, n, 3/7 in ascending order.
n, 3/7, d
Suppose 2*y - 58*b - 6 = -59*b, 0 = -y + 3*b + 3. Let l be (2/2)/((-3)/(-75)). Sort y, 4, l in decreasing order.
l, 4, y
Let d = 11987/6 - 1998. Put d, -4, -0.3, -5 in decreasing order.
d, -0.3, -4, -5
Let v = -67/88 + -153/88. Sort 0, v, 4/5, 2/13 in ascending order.
v, 0, 2/13, 4/5
Let q be (-4)/(-6) - (-38)/(-48). Let m = -26.2 - -39.2. Let t = m - 14. Sort 2, q, -0.1, t in descending order.
2, -0.1, q, t
Let k be 68 - (-2 - -1) - (-63 + 63). Suppose k = -36*v - 3. Let s(d) = d**3 - d + 1. Let j be s(-2). Sort -11, j, v.
-11, j, v
Let g(b) = -9*b**2 - b + 6. Let k be g(-3). Let o = 8 + 41. Let j 