t(z) = -5*n(z) - q(z). Let m be t(12). Put -16, m, 0 in descending order.
m, 0, -16
Suppose 13 = -142*g + 137*g + s, -2*s - 13 = 3*g. Put g, 27, -1/15 in descending order.
27, -1/15, g
Let g = 5514 - 5513.8. Sort 0, -0.064, 2/7, -1/4, g.
-1/4, -0.064, 0, g, 2/7
Let j be (-194)/(-70) + 0 - (-8)/(-14). Put j, -0.06, 4 in increasing order.
-0.06, j, 4
Let i = 18 + -18. Suppose i = 3*o - 80 - 58. Sort -2, -5, o.
-5, -2, o
Let x = 5518 + -16414/3. Let q = -46 + x. Sort 1, 3, q, 0.4.
0.4, q, 1, 3
Let j(y) = -142*y + 2121. Let i be j(15). Put 4, 1/2, 1/10, -8, i in decreasing order.
4, 1/2, 1/10, -8, i
Let h = 68.1728 - 0.1728. Sort -5, h, 1, -0.3 in decreasing order.
h, 1, -0.3, -5
Suppose 0 = 2*t + 9 - 3. Let u(g) = 2*g**2 + 1. Let f be u(1). Let a be f + (-15)/(-5) + -3. Sort 4, a, -4, t in ascending order.
-4, t, a, 4
Suppose 66*q + 22 + 110 = 0. Sort -645, -4, q.
-645, -4, q
Let q = -666.55 + 679.55. Let i = -1 - 0. Put -9, q, i in decreasing order.
q, i, -9
Let x be (16/40)/(1/(-10)). Let a(q) = -q + 15. Let b be a(5). Let k be -10*(15/b)/(-3). Put k, -2, x in descending order.
k, -2, x
Let o = 1.7 + -5.7. Let u = 92 + -82.6. Let t = -10.4 + u. Put o, t, -0.4 in increasing order.
o, t, -0.4
Suppose -t = 2*o + 9, -71 = -3*t + 4*o - 38. Put 1, t, 4, 111, 0 in decreasing order.
111, 4, t, 1, 0
Let n = -1011217 + 1011222. Let s = 4 - 2. Let f be (2/(-3))/(2/12). Put n, s, f in descending order.
n, s, f
Suppose 239*y + 3017 + 90 = 0. Sort -15, 2/9, y in increasing order.
-15, y, 2/9
Let o = -250 + 246. Suppose -28 = 4*b - 4*v, 51*b - 1 = 50*b - v. Put o, b, 31, 1 in ascending order.
o, b, 1, 31
Let n(g) = -139 + 127 - 11*g + g**2 + g - 3*g - 2*g**2. Let l be n(-13). Put -2, l, 1/4, 3/4 in decreasing order.
3/4, 1/4, -2, l
Let w = 10411 + -10413. Put 27, -39, 4, w in ascending order.
-39, w, 4, 27
Let w = 6 + -20/3. Let g be 120/(-21) + 52/(-182) - (-3 - 7). Sort g, -3/19, w in decreasing order.
g, -3/19, w
Suppose 28*r = 52*r + 68*r + 184. Put r, 1, -1, -12, 5 in decreasing order.
5, 1, -1, r, -12
Suppose -14*c + 9*c = -15. Suppose 3*r = -43 + 67. Let j be (3/6)/((-1)/r)*1. Sort j, 1, c in ascending order.
j, 1, c
Let o(p) = p + 2. Let j be o(4). Let m be j + 7*(2 - 3). Put m, -35, 1 in ascending order.
-35, m, 1
Let x = -532 - -546. Suppose -5*u - 12 = -4*h - u, 2*h + x = -2*u. Put -49, h, -5 in increasing order.
-49, -5, h
Suppose 0 = -2*a + 4, 0 = -5*b - 5*a - 1126 - 1349. Let j = 494 + b. Let l = -5.12 + 0.12. Put -4, 2/11, j, l in ascending order.
l, -4, j, 2/11
Let u = 8898.3 - 8898. Sort -314, u, 5 in descending order.
5, u, -314
Let u(k) = 2*k**2 + 78*k + 213. Let b be u(-36). Put 3, -664, b, -1 in descending order.
3, -1, b, -664
Let q = 602 - 1157. Let h = -555.4 - q. Suppose 2*i - 5*u + 12 = i, -4*i - 5*u + 2 = 0. Sort 0.3, h, i in descending order.
0.3, h, i
Let g be 8/(-28) - (-7 - -7)/(-5). Put g, -3, 1339 in ascending order.
-3, g, 1339
Suppose -514*b + 259*b + 268*b = 0. Sort 27, -3, b, 42 in descending order.
42, 27, b, -3
Let o be (-72)/(-88) + (24/(-66))/(-2). Sort 456, o, 3, 2 in decreasing order.
456, 3, 2, o
Let o be -2 + 0 + (13 - 1). Suppose -6 + o = f. Suppose z = -2*z + f*r + 10, 5*r + 28 = -4*z. Put z, 5, 0 in ascending order.
z, 0, 5
Let v = 3.3 + -3.5. Let i = -2735/6 - -456. Put i, 1, v in decreasing order.
1, i, v
Suppose -3*d - d = -16. Let z be d/(-18) + (-172)/36. Let y = -5.47 - -6.47. Put y, -0.3, z in decreasing order.
y, -0.3, z
Suppose -51*c + 26 = -38*c. Suppose -w - 20 = -n, -2*w = 4*n - 0*n - 86. Sort -5, n, -3, c.
-5, -3, c, n
Let i be (4/(-3))/2*3. Let w = 426283/3 + -142095. Let j = -0.7 - 4.3. Put i, j, -4/7, w in ascending order.
j, i, w, -4/7
Let r = 72.656 - 73. Let l = -8.344 - r. Put -2, 1, l, 2/17 in decreasing order.
1, 2/17, -2, l
Suppose -o + 2*d - 5 = 2, -2*o = -d + 2. Let x = 127 + -260. Let u = 131 + x. Sort o, 4, u in ascending order.
u, o, 4
Suppose i = 5*c + 1, c = -42*i + 37*i + 5. Suppose o + 11 = -5*v, -5*v = 27 - 7. Sort c, o, 8.
c, 8, o
Let p(l) = 71*l + 3191. Let c be p(-45). Sort 1, 13, -2, -3, c.
c, -3, -2, 1, 13
Let i be (-3 + 9)*(-2)/4. Let q(f) = 2*f**3 + 16*f**2 + 3*f + 26. Let j be q(-8). Put -44, j, i, 0 in decreasing order.
j, 0, i, -44
Let w be 6/7 + -1 - (-33470)/(-126). Let o = -266 - w. Sort 4, o, -0.3, 5.
-0.3, o, 4, 5
Suppose 13*s - 44 = 21. Suppose 5*t + 25 = -z, 10 = -s*z - 3*t - 5. Suppose -5*d + 15 = -m, -2*d - 3*m = -0*m - 6. Sort d, 2, z in increasing order.
z, 2, d
Let s(t) = t**2 - 8. Let p be s(-3). Let w be 72/(-18) - ((-4 - p) + 2). Sort w, 20, 3 in increasing order.
w, 3, 20
Let n(r) = -r**3 - 11*r**2 + 28*r + 188. Let v be n(-12). Sort -1, -4018, v in decreasing order.
-1, v, -4018
Let k = 26.524 + -27. Let f = -4.476 - k. Sort -21, 2, f in decreasing order.
2, f, -21
Suppose -x = 4*q - 133, 50*q = -x + 51*q + 158. Put x, 4, -3, 2/5 in ascending order.
-3, 2/5, 4, x
Let i = -2/189 - 52/189. Let z = 4.9 - 5.3. Sort -0.15, -0.3, i, z in descending order.
-0.15, i, -0.3, z
Suppose 2 - 26 = 4*v. Suppose -2*n + a = -9, -4*a - 14062 + 14034 = 0. Put -1, 3, n, v in descending order.
3, n, -1, v
Suppose 0 = -6*w - 2158 + 2140. Sort -5, 12, w in ascending order.
-5, w, 12
Suppose -4*i + 8*i + 56 = 2*a, 0 = -9*a. Suppose -4*v = -3*v - 6. Put 0, v, i in increasing order.
i, 0, v
Suppose 0 = 11*r - 15*r - 4*l, 4*r + 3*l = 0. Suppose r = 3*t + 3*i + 6, -t - 2*i + 11 = 12. Put 5, -42, t in descending order.
5, t, -42
Let h = -38 + 113/3. Let u = -2.9 - -9.7. Let f = u - 9.8. Put f, h, 2/5 in descending order.
2/5, h, f
Let r = -3 + 14. Let j = -25100 - -25097. Sort -2, j, -5, r.
-5, j, -2, r
Let a = -3.264 - -2.98. Let h = 4.716 - a. Sort 3, -0.5, 2/9, h in ascending order.
-0.5, 2/9, 3, h
Let u = 3.2254 - 1.2254. Sort u, 0, 4, 63 in decreasing order.
63, 4, u, 0
Let s(w) = 54*w**2 + 11*w + 4. Let a be s(-4). Let f = a - 820. Sort f, -6, 15 in decreasing order.
15, f, -6
Let t = 2340.018 + -2320. Let q = 0.018 - t. Let b = q - -20.2. Put 5, -1, b in ascending order.
-1, b, 5
Let d = 0.15 - -2.85. Let g be -7 + 42/6 - ((-70)/(-20))/(-7). Sort d, 5/2, g in descending order.
d, 5/2, g
Let u = 2.89 + -2.38. Let c = u - 0.01. Put 17, -2/7, c in ascending order.
-2/7, c, 17
Let m(s) = s. Let r be m(-1). Let x = 13 + -10. Let v(j) = -2*j**3 + 125*j**2 + 65*j - 128. Let u be v(63). Sort 5, r, x, u.
u, r, x, 5
Suppose -372*t = -1050 - 492 - 1806. Let j be 2/1 + (1 - 3). Sort t, j, 2 in descending order.
t, 2, j
Let p = 1.19 - 0.19. Let r = -1793 + 16135/9. Let s = 72 + -50. Put p, r, s in increasing order.
r, p, s
Let w = -45 - -49. Suppose -4*l - w*o + 64 = 0, 2*l + 2*o = 4*l - 28. Suppose -4*k + 10 = 2*f, -3*k + 3*f - l = -0*k. Sort -9, k, 3 in increasing order.
-9, k, 3
Let w = 516 + -515.8. Put w, 13, 0.1, 0 in ascending order.
0, 0.1, w, 13
Let p be -1 + (-46)/(-16) - 2. Let h = -102819 + 102820.7. Put h, -0.2, p in decreasing order.
h, p, -0.2
Let f = -27.054 + 27.2. Let v = f - -0.154. Let b = -0.13 + 5.13. Sort v, 0.4, 0.1, b in ascending order.
0.1, v, 0.4, b
Suppose 2*s = -2*p - 2*p + 14, 8 = 2*s - 2*p. Let i(b) = -b**2 - 34*b + 1395. Let k be i(24). Sort s, k, 4.
k, 4, s
Let a = 14576 - 14577. Sort -14, 4, -4, a in decreasing order.
4, a, -4, -14
Let n = -86 + 85. Let m be 3 - n - (-1 + 7). Let s = 2.4 - -0.6. Put 4, s, m, -4 in ascending order.
-4, m, s, 4
Let c = 801 - 806. Put c, 0, -1/7, 2/13, -4 in increasing order.
c, -4, -1/7, 0, 2/13
Let g be (24/9 - 2)/(20 - 24). Put 0.5, g, 2/139 in ascending order.
g, 2/139, 0.5
Let d be (-316)/70 - 1/5 - -5. Sort d, 2/13, 13, -32.
-32, 2/13, d, 13
Suppose 3*a + 3*j = -42, -1 = -3*j - 7. Let d = 13 - 14. Let h(s) = -2*s**2 - 6*s - 7. Let o be h(-2). Sort o, d, a in increasing order.
a, o, d
Let w = -2.005717 + 0.005717. Suppose -7 = 2*p + 1. Put 6, w, p, 4 in descending order.
6, 4, w, p
Let u = -479.1 + 460. Let h = u + 18.8. Let c = -37/12 + 10/3. Sort h, c, -3/4 in decreasing order.
c, h, -3/4
Let j be ((-3)/(-46))/(867/(-68) - -12)*1. Put 4/7, 0.5, -2, -33, j in increasing order.
-33, -2, j, 0.5, 4/7
Let r = 1709 - 1710. Sort r, -14, 115 in decreasing order.
115, r, -14
Suppose -4 = -4*t, -2*n + 6*t + 6 = 4*t. Let f(j) = 5*j**2 - 57*j + 6. Let v be f(11). Sort n, -4, v in decreasing order.
n, -4, v
Suppose 41*i + 9