3/3 + 593*z**2. Let p = 3 + -2. Let b be m(p). Sort 4, 11, b in ascending order.
b, 4, 11
Suppose -85*z + 425 = 13260. Put -9, z, 2 in increasing order.
z, -9, 2
Suppose 1 = l - 2*l. Suppose 0 = -3*c + 5*y + 115, 0 = -2*c - c + 3*y + 111. Let m = c + -30. Put l, 1/4, 5/3, m in decreasing order.
m, 5/3, 1/4, l
Let q = 38257 - 38262. Suppose -1 = s + 2*g - 0, 0 = -s + 2*g + 11. Put 1/4, 0.35, s, q in increasing order.
q, 1/4, 0.35, s
Let w = -129.61 - -61.92. Let h = w - -68. Let n = h + -0.71. Sort 1/2, 5/2, n.
n, 1/2, 5/2
Suppose 0 = -4*h + 4*n - 1820 - 64, 3*h - 2*n = -1418. Let j = h - -472. Sort j, 5, -1, 2 in descending order.
5, 2, -1, j
Let i = 125 - 28. Let k = 111 - i. Let l(t) = -2*t**2 + 2*t + 1. Let h be l(-1). Put h, k, 0, -5 in decreasing order.
k, 0, h, -5
Let q = 0.09 - 0.19. Let l = -26807 + 26806.7. Put l, -1, -17, q in descending order.
q, l, -1, -17
Let n(b) = 12*b - 57. Let g be n(5). Let p be 24/(-33) - (-9)/(-33). Sort g, 0, -7, p in ascending order.
-7, p, 0, g
Let v = 7.9 + -27.9. Let g = v + 18. Put 1/10, 3, g, -1/4 in descending order.
3, 1/10, -1/4, g
Let o = 56 + -148. Let j = o - -95. Let f = -389/6 - -64. Sort -5, j, f in descending order.
j, f, -5
Let y = 0.1 + -0.05. Let q = -0.25 - y. Let u = -8.91 - -7.91. Sort 13, u, q in descending order.
13, q, u
Let w = -354 + 175. Let o = 179.4 + w. Sort -0.4, 20, o.
-0.4, o, 20
Let z = 0.32 - 4.95. Let m = z + 4.23. Put -34/7, -0.5, m in decreasing order.
m, -0.5, -34/7
Suppose 39*r - 30*r = -1323. Let g = r - -152. Put 1, 4, g in ascending order.
1, 4, g
Suppose 3417 = 39*h + 3261. Put h, 0.4, 5/4, -5/74 in decreasing order.
h, 5/4, 0.4, -5/74
Let m = 33 + -36. Let o(j) = j**2 + 7*j - 298. Let n be o(-21). Sort m, -1, -5, n in decreasing order.
-1, m, n, -5
Let u = -16.964 + 17.01. Let j = -0.308 - 0.238. Let y = j + u. Put -2/7, -1, y in descending order.
-2/7, y, -1
Suppose 6*j - j = -3*w + 33, -24 = -3*w - 2*j. Put 37, 2, -5, 4, w in descending order.
37, w, 4, 2, -5
Let j be 10742/328 + (-3)/(-12). Put 2, j, -20 in descending order.
j, 2, -20
Let c = 0.009 + 1.191. Let p = c + 15.8. Sort p, -1, 1, 3 in descending order.
p, 3, 1, -1
Let b = 313 + -174. Let z = 116 - b. Sort -1, z, 1 in increasing order.
z, -1, 1
Let r = 17337.07 - 17337. Suppose -2 = 3*i - 5. Sort r, 2, -2/3, i in ascending order.
-2/3, r, i, 2
Let z = -3521/13 - -271. Let r be (5 - (-2 - -3)) + 0. Let m = r + -3. Put z, 11, m, 4/7 in ascending order.
z, 4/7, m, 11
Let s = -13 - -9. Let b(p) = 48*p + 1603. Let u be b(-34). Put -2, s, u in ascending order.
u, s, -2
Suppose 52 = 4*f - 0*f. Suppose -2*m = -4*s - 14, -4*m + 2*s + 28 = 6. Suppose u - f = 5*j, 8 = -m*u + u. Sort j, -2, 6, 2/19.
j, -2, 2/19, 6
Let q = 11.327 - 8.327. Sort -5, 2/3, -0.2, 10/13, q in decreasing order.
q, 10/13, 2/3, -0.2, -5
Let o = -5322 + 5341. Sort -5, -1, o, 5 in ascending order.
-5, -1, 5, o
Let m = -1928 - -190874/99. Suppose 4*k = 10*x - 12 + 42, -20 = 2*x + 2*k. Put -0.6, m, x in decreasing order.
m, -0.6, x
Let c = -22701 + 22746.995. Let m = 46 - c. Put 4, -3, m, -2 in descending order.
4, m, -2, -3
Let j(b) = b**2 + 92*b - 1974. Let n be j(18). Let h be (3/2)/((-1)/2). Sort h, n, 1, 0 in ascending order.
h, 0, 1, n
Let b = 14 - 13.93. Let l = -0.08 - 0.02. Let d = -1778.9 - -1779. Sort 1, d, b, l in ascending order.
l, b, d, 1
Let j = 14.17359 - 0.17359. Sort j, 3/83, 2, 4 in decreasing order.
j, 4, 2, 3/83
Let d = 144 - 138. Suppose 12*t = 28*t. Put 5, t, d in ascending order.
t, 5, d
Suppose -z = -10 + 5. Let w be 1/(-1) + (-11)/(-9). Let l be (-1663)/(-16630) + 58/20 + 1. Sort w, z, l in decreasing order.
z, l, w
Let t be 12*2/12*2. Sort t, -19, -3, 19 in decreasing order.
19, t, -3, -19
Let b = 1 + -4. Let l = 5/1061 + -3427/276921. Let m = 532/1305 + l. Put b, 2/9, m, -1/4 in descending order.
m, 2/9, -1/4, b
Let s be (0/(8 + -3))/(-3). Suppose s = 4*c - 137 + 33. Suppose -20*x = -c*x + 6. Sort 3, 4, x, 0 in descending order.
4, 3, x, 0
Suppose 62 = -10*d - 238. Let o = -25 - d. Suppose o*y - 3*y + 2 = 4*r, 4 = 2*r - 4*y. Sort 3, r, 5 in decreasing order.
5, 3, r
Let v = 34.052 + -0.052. Let b = v - 7. Let g = 0.22 - 1.22. Sort g, -2, b in decreasing order.
b, g, -2
Let j be -6*2*16/(-24). Let c(n) = n + 16. Let i be c(-14). Let x be i*-1 - (-29 + 24). Sort j, 2, x.
2, x, j
Let i(t) = 3 - 66*t + 8 + 65*t. Let g be i(-7). Suppose 2*m + d = g, -3*d = 3*m - d - 27. Sort 0, 5, m, -4 in descending order.
m, 5, 0, -4
Let g(m) = m + 1. Let w(c) = 35*c - 3. Let l(r) = -6*g(r) - w(r). Let s be l(-7). Let q = -4830/17 + s. Put 2/7, q, 0.4 in decreasing order.
0.4, 2/7, q
Let o(y) = -16*y + 599. Let m be o(32). Let v be 140/84*(-12)/(-10). Sort m, v, 0 in ascending order.
0, v, m
Suppose -2*j + 25 = 1. Put 6, j, -2, -3 in increasing order.
-3, -2, 6, j
Let x be -7 + 4*30/12. Let c(i) = -6*i - 1. Let m be c(6). Put 0, x, m in decreasing order.
x, 0, m
Let x be -2 + 2 + 0 - (29 + -32). Sort -3, -4, 2, x, -5 in ascending order.
-5, -4, -3, 2, x
Let o be -7*444/518*3/(18/(-4)). Sort -90, -1, o, 1 in descending order.
o, 1, -1, -90
Let b = 1427/996 + -4/249. Let i = b + -5/4. Let u = 0.06 - -2.94. Put -3/2, i, u in decreasing order.
u, i, -3/2
Let s = 6 + -17/3. Sort 4, s, -1/4 in increasing order.
-1/4, s, 4
Suppose -6*s - 14 + 33 = 7. Put -5, 4, -394, s in descending order.
4, s, -5, -394
Let o = -292.139 + 292. Let r = o - -0.139. Sort 0.13, -3, r, 5 in descending order.
5, 0.13, r, -3
Let y = 11 - -20. Let g(o) = -o**3 + 30*o**2 + 33*o - 68. Let n be g(y). Put n, 2, -4 in increasing order.
n, -4, 2
Let m be (-15)/(-17) + -1 - (-6)/51. Let c(z) = -z**3 + 6*z**2 - 5*z + 6. Let b be c(5). Sort 5, m, b, 3 in decreasing order.
b, 5, 3, m
Let l = 10902 + -10914. Put -3, 3, -17, l in descending order.
3, -3, l, -17
Suppose -8*r - 20 = -12*r. Let f = 44 + r. Let t = f + -54. Sort -13, t, 3 in descending order.
3, t, -13
Let f = -171 - -183. Let s be ((-6)/f)/((0 - 0) + -2). Put -10, 0, s, 5/2 in increasing order.
-10, 0, s, 5/2
Let p = -12 + 11.6. Let r be (-172)/336 - 4/(-48). Put 1/4, p, 3.2, r in descending order.
3.2, 1/4, p, r
Let y be (-10)/2 + 5 + -48. Let f = 51 + y. Put f, -4, -21 in decreasing order.
f, -4, -21
Let x = -13315 + 1078516/81. Put 2/11, 12, x in increasing order.
x, 2/11, 12
Let f(k) = k**3 + 7*k**2 + k + 12. Let o be f(-7). Suppose -o*w = 2 - 22. Let g be -4 + w - -2 - 4. Put -5, -3, g in ascending order.
-5, -3, g
Let y = -414/7 - -59. Suppose -14*w + 12*w - 24 = 0. Let s be ((-1)/w)/((-50)/30)*1. Put s, -3, y in decreasing order.
s, y, -3
Suppose 33 = 4*m + 49. Suppose 0 = -12*h - 129 + 189. Sort m, -2, h, 13 in increasing order.
m, -2, h, 13
Let m = -5.1 - -16.9. Let l = m + -11.7. Put l, 5, -6 in decreasing order.
5, l, -6
Let l = -0.975 - -0.9648. Let r = -0.5102 - l. Sort 23, 7, -2/7, r in decreasing order.
23, 7, -2/7, r
Suppose -4*b - 2*b = -30. Let v be (b - 9)*(0 - 1). Suppose v = -2*i + 6. Put -1, -2, i in descending order.
i, -1, -2
Let p = -10154 - -14631. Let d = 44731/10 - p. Let m = -1073/270 - d. Put -4/9, m, 0 in decreasing order.
0, m, -4/9
Let f = -66 + 68. Suppose f*k - 2*n + 6 = 32, k + n - 3 = 0. Suppose 1 = 3*v - 14. Sort k, v, -2 in descending order.
k, v, -2
Let s = 17.4 - 17. Let j(p) = -11*p**3 - p**2 + p. Let n be j(1). Let t = 3198 - 3194. Sort n, t, s.
n, s, t
Let t = -0.96 + 0.26. Let j = 15.7 + t. Let m = j + 5. Sort m, -1, 0.5 in decreasing order.
m, 0.5, -1
Suppose 0 = 2*z + 5*c - 587, 5*c = c + 4. Let t = z + -275. Sort t, 4, -2 in decreasing order.
t, 4, -2
Let t = 1.57 + -3.41. Let r = t + 1.84. Sort 1.1, r, -5.
-5, r, 1.1
Let r be (2 + -1)/(3/105). Let d = -4093 - -4097. Put -4, r, d, 3 in increasing order.
-4, 3, d, r
Let a = 61/868 - 617/2604. Let c = -10/9 - -7/9. Sort -0.3, -11/6, a, c in descending order.
a, -0.3, c, -11/6
Let n be 1/(-3) - (1 + 20/(-15)). Let y(x) = -x**3 + 13*x**2 - 13*x + 11. Let v be y(11). Let l be 3*(v/(-132) + (-2)/(-4)). Sort l, 2, n.
l, n, 2
Suppose 4*k - 6*v - 6 = -12*v, 2*v - 2 = 0. Put k, -2, -5, 4, -110 in descending order.
4, k, -2, -5, -110
Suppose 26*r + 4 = 27*r. Let h = 63 - 57. Sort -5, h, r.
-5, r, h
Suppose 12 = -2*h + 2*k, 24 = -3*h + 7*k - 2*k. Let x = -870500 + 870510. Put h, 2, -31, x in descending order.
x, 2, h, -3