 = -3*z + 5. Sort d, 4, z.
d, 4, z
Let f(o) = -o - 15. Suppose -10 = 5*n + 55. Let i be f(n). Suppose 0*t = 4*t - 4*k - 28, 0 = 3*t + 4*k + 7. Sort t, i, -7 in descending order.
t, i, -7
Let k = -3768/217 + 525/31. Sort -4/9, 9/2, k, -3 in increasing order.
-3, -4/9, k, 9/2
Let q = -9.551 - 0.149. Let k = 13 + q. Let g = k + -3.4. Put g, 0.3, 0.07, 5 in decreasing order.
5, 0.3, 0.07, g
Let p(c) = c**3 - 12*c**2 + 11*c + 4. Suppose 2*h = -b + 27, 3*h + b - 28 = 10. Let v be p(h). Suppose 9 = -v*q + 13. Sort -1, -6, 4, q.
-6, -1, q, 4
Suppose -r = -3*r - 92. Suppose -40 = -3*m - 190. Let j = r - m. Put -4, -1, 3, j in descending order.
j, 3, -1, -4
Let i(x) = 7 - x**3 - 30 + 0*x**3 - 6*x**2 - 3*x + 13. Let y be i(-6). Suppose -y + 13 = o. Put o, 0.8, 0.5 in decreasing order.
o, 0.8, 0.5
Let x = 26418 - 26435. Sort -6, -4, 4, x, -1.
x, -6, -4, -1, 4
Let u = 0.1 + 0.4. Suppose 0 = 5*o + 2*k + 137, -12*o = -10*o - 7*k + 86. Sort u, 0, o in increasing order.
o, 0, u
Let z = -0.219 - 7.781. Let q = 7.828 + z. Put q, -0.4, -2/13 in ascending order.
-0.4, q, -2/13
Let y = -799.4 + 799.3. Sort y, -4, 1, -33 in descending order.
1, y, -4, -33
Let u = -95170/7 + 13596. Put 2, -1, -1.2, 2/5, u in increasing order.
-1.2, -1, u, 2/5, 2
Suppose 22 = 1295*c - 1317*c. Sort -10, -1/5, 0, c, -5 in decreasing order.
0, -1/5, c, -5, -10
Let v = 2.347 + -2.287. Let p be (2/4)/(4/8). Sort -1/2, v, p in ascending order.
-1/2, v, p
Suppose 12579 - 12563 = 16*a. Sort -54, 4, -4, a in increasing order.
-54, -4, a, 4
Let n = -1 + 1.1. Let t = 5493 + -5493.5. Put n, -3, t, -1.1 in decreasing order.
n, t, -1.1, -3
Let j be 19/((-228)/66)*(0 + 2). Let s = -0.062 + -0.138. Sort 3/4, j, s, 1 in descending order.
1, 3/4, s, j
Let q be 7*1*2338/(-167). Put 0.1, q, -4, -1/7, 2/7 in decreasing order.
2/7, 0.1, -1/7, -4, q
Suppose 1993*a - 1999*a - 42 = 0. Let r = 2 - 7. Suppose -12 = 2*i - 5*i. Put a, r, i in decreasing order.
i, r, a
Let b be (-10)/45 + (-295)/9. Let y = b - -34. Sort y, -5, -1, -12 in decreasing order.
y, -1, -5, -12
Let t = -125.353 + -0.647. Let b = t - -130. Put -2/13, b, -15 in descending order.
b, -2/13, -15
Suppose 18 = 5*r + 63. Let n be (-33)/(-1) - (-56 + 89). Put r, -5, n in increasing order.
r, -5, n
Let d(z) = -z**3 - 6*z**2 - 5*z - 1. Let x be d(-5). Let g be (2/(-18))/(178/(-1780)). Sort 0.5, x, g.
x, 0.5, g
Let c = 309.05 + -308.75. Sort -2, 2, -50, c in ascending order.
-50, -2, c, 2
Let u be 16*((-10)/(-126) + (-132)/594). Sort 4/7, 0, u in descending order.
4/7, 0, u
Let w = 3881/5 - 773. Let g = 17822.6 + -17823. Sort 4, w, g in descending order.
4, w, g
Let m = 1/13304 - 984501/66520. Put 2, 0, 0.1, m, 0.01 in descending order.
2, 0.1, 0.01, 0, m
Let g(k) = -k**3 - 8*k**2 - 7*k - 10. Let v be g(-7). Let m = -2 - v. Let o = -10 + m. Sort o, 6, 5 in descending order.
6, 5, o
Suppose -116*c - 54*c - 7425 = 325*c. Let y be (1/3)/((-2)/(-18)). Suppose y*g - 10 = -2*g. Put g, 5, c, 1 in descending order.
5, g, 1, c
Let p be (2/(248/39))/(3/24). Let g = 2200/899 - p. Put -1/5, g, 1, 0 in descending order.
1, 0, g, -1/5
Let p = -29 + 24. Let r be (-2)/15 - (-30 - 13427/(-435)). Sort 3, -8, p, r in descending order.
3, r, p, -8
Let l = -33.59 - 0.41. Let f = 353 - 391. Let g = f - l. Sort g, 0.2, -1/7.
g, -1/7, 0.2
Suppose 2*g + 2 = 3*g. Suppose 4*y = g*y + 6. Let l = -686 + 686.5. Sort y, 6, l, 2/5 in ascending order.
2/5, l, y, 6
Suppose 18*t + 2688 = -46*t. Sort -2, -8, -3, 0, t in increasing order.
t, -8, -3, -2, 0
Let i = -4256.9 - -4257. Put -1671, i, 0.2 in descending order.
0.2, i, -1671
Suppose 2505*q - 2499*q = 0. Sort q, -3, 5, 90.
-3, q, 5, 90
Let m = -308725 - -2778523/9. Let w = 382 - 183. Let j = -602/3 + w. Sort m, 8, j, 2 in decreasing order.
8, 2, m, j
Let p(s) = -s**3 - 6*s**2 - 14*s - 30. Let v be p(-4). Let c be (21 - 18)*(-2 - v/9). Sort -1/7, 5, c.
c, -1/7, 5
Let f = -10370 + 10375. Put 10, f, -2, 8 in descending order.
10, 8, f, -2
Let z(b) be the first derivative of -b**4/4 + 7*b**3/3 - 4*b**2 + 10*b - 68. Let i be z(6). Sort i, 0, -41.
-41, i, 0
Let f = -15.6 - 2.6. Let u = f - -57.2. Sort -1/4, u, -0.1 in ascending order.
-1/4, -0.1, u
Let h(t) = -t**2 + 5*t - 2. Let u be h(5). Let v be 6/(-7)*u/6. Let k = -1210 - -1213. Put -0.5, k, 15, v in decreasing order.
15, k, v, -0.5
Let a = 7 - 7. Let y(d) = d**3 + 6*d**2 - 20*d - 30. Let w be y(-8). Suppose 3*h - 14 + w = a. Put 0, h, 1 in descending order.
h, 1, 0
Let r be (-1368)/(-399)*(-7)/(-4). Sort -5, r, 1, 21, 4.
-5, 1, 4, r, 21
Let l(w) = 23*w - 158. Let f be l(7). Suppose -f*h = -4*h + 2. Sort -1, 4, h, 3 in decreasing order.
4, 3, h, -1
Let m = 2.14 + -12.84. Let u = 10.6 + m. Sort u, 2/7, -5, -0.3 in ascending order.
-5, -0.3, u, 2/7
Let c(l) = -201 + l**2 - 217 + 485 + 27*l - 7*l. Let i be c(-4). Let g(s) = -s. Let u be g(-1). Put u, i, -2, -6 in decreasing order.
i, u, -2, -6
Let y(o) be the first derivative of o**3/3 - 3*o**2/2 - 10*o + 8. Let h be y(6). Suppose 2*u - h = -0. Put u, 3, -3 in increasing order.
-3, 3, u
Let a(f) = -f + 12. Let y be a(7). Suppose 2*z + 4*l = 0, l + l - 2 = 0. Let s be (-1)/z*17/((-51)/(-66)). Put y, -4, s in increasing order.
-4, y, s
Let r(l) = l - 8. Let h be r(8). Suppose c + 19 = -5. Let m be c/(-9)*3/2. Put m, 3, h in ascending order.
h, 3, m
Let b be (-8)/(-3) - (4 + (-40)/12). Suppose 0 = k - 2*i - 3, b*k = k + i. Sort 9, k, -2, 0 in descending order.
9, 0, -2, k
Let w(s) = -s + 14. Let c be w(-5). Suppose 0 = c*p - 14*p + 25. Let b = -10 - -13. Sort p, b, 4.
p, b, 4
Let o = -3207 - -3202. Let n = 10 + -10.1. Sort -0.3, o, n in descending order.
n, -0.3, o
Suppose 0 = 29*i - 43*i + 966. Suppose -45*w - i = 66. Suppose 0 = 5*c - 3*l, 3*l + 2*l - 34 = -3*c. Put c, -6, w, -4 in descending order.
c, w, -4, -6
Let h = 21.372 - 21.872. Sort 7, -3, 282, h in decreasing order.
282, 7, h, -3
Let j be 73/8 + (-16)/(128/72). Put 5, 2/55, j, -3 in descending order.
5, j, 2/55, -3
Let f = -164.44 - -164.54. Sort 4/3, -0.5, 5, -1, f in increasing order.
-1, -0.5, f, 4/3, 5
Let y be 14314/18 + (-30)/135. Suppose 21*f = 339 + y. Suppose 0 = f*q - 58*q + 32. Put 0, -4, q in decreasing order.
q, 0, -4
Let t = -93 - -100. Suppose 38 - t = -5*i + 4*y, -y = 5*i + 11. Sort i, 1, -2, -5 in descending order.
1, -2, i, -5
Let j be (102 - 119) + (-112)/(-4). Sort j, -22, -2 in decreasing order.
j, -2, -22
Let z(h) = h. Let y be z(-6). Let n = 384 + -376. Let j be (n - 11)*10/y. Sort j, -5, 16.
-5, j, 16
Let f be -1 + (-1)/(-2)*0. Let g = 175100 - 175093. Sort 9, f, g.
f, g, 9
Let m(c) = -c**2 - 5*c - 5. Let u be m(-5). Let p be -2*(-5)/(-10) + 3*(-3)/(-9). Sort -10, p, u, 1 in decreasing order.
1, p, u, -10
Let y(t) = 2*t**3 + 224*t**2 - 454*t + 227. Let d be y(-114). Sort -92, d, -2 in increasing order.
-92, -2, d
Let t = 0.32695 + -0.02695. Suppose 0*f + 2*f - 10 = 0. Sort f, -0.28, 2, t in descending order.
f, 2, t, -0.28
Let o(r) = 35*r - 231. Let m be o(8). Suppose 12*t = -m + 109. Sort -0.03, -2/5, t, -0.5 in decreasing order.
t, -0.03, -2/5, -0.5
Let c = 42.2465 + -0.0465. Let k = c + 0.8. Put 2, k, 0.3 in decreasing order.
k, 2, 0.3
Suppose q + 524 = 3*c, 64*q = 61*q + 3*c - 1614. Sort 3, q, 2, -3, -1 in descending order.
3, 2, -1, -3, q
Let b = -117 + 137. Suppose b*o + 6 = 23*o. Suppose 5*u = 2*z - 12, 5*u = z - 4*z - 7. Sort -2, o, z in descending order.
o, z, -2
Let k be ((-31)/(-4))/((-1)/4). Let t = k + 34. Let a be ((-1)/2)/((-39)/(-78)). Sort 0, a, -3, t in ascending order.
-3, a, 0, t
Suppose -22 = 4*a + 4*z + 22, -19 = 4*a - z. Let m be (-2)/(-5) - 12/30. Suppose 4*s = 2*y - 0*s + 12, m = s - 1. Put a, 5, y, -2 in ascending order.
a, y, -2, 5
Let y(h) = -h**3 + 8*h**2 - 6*h - 4. Let m be y(7). Let a = 0.474 + 215.126. Let x = -216 + a. Sort m, x, -0.5, 1/3 in ascending order.
-0.5, x, 1/3, m
Suppose -23*b + 38*b = 45. Suppose y + 8 = 2. Let g be y/(-4)*(-3)/18. Put -1, -2/5, g, b in descending order.
b, g, -2/5, -1
Let s = 58239/291245 + 2/58249. Sort s, -12, 5, 2/7, -0.5 in ascending order.
-12, -0.5, s, 2/7, 5
Let b = -17670 - -17667. Put 13, b, -0.15, -0.5 in descending order.
13, -0.15, -0.5, b
Suppose -s + 5 = 0, -3*x - x = 2*s + 18. Let k = -2476/3 - -825. Sort -1, k, x, -0.4.
x, -1, -0.4, k
Let j be 9/(-6)*284/(-213). Sort 5