5 in descending order.
t, 0.5, -0.22, -3
Let q(w) = -17*w + 24. Let b be q(3). Suppose 87 = 15*j + 27. Put -5, j, b in decreasing order.
j, -5, b
Suppose 5*c - 4*i + 20 = 0, i + 8 = -2*c - i. Let w = 42832 + -42832. Put 2, 5, c, w in ascending order.
c, w, 2, 5
Let b(m) = -m**3 - 4*m**2 + 6*m + 1. Let w be b(-5). Let s be (13 + -3)*(-606)/303. Put w, s, -2, 0 in increasing order.
s, w, -2, 0
Suppose 0 = -74*w + 78*w + 4*x, -x + 4*x = 5*w. Sort -108, -1, w.
-108, -1, w
Let j = 12 + -7. Let u(m) = m + 22. Let i be u(-7). Suppose 6*a - 11*a = -i. Sort j, 1, a, -6 in ascending order.
-6, 1, a, j
Let c be 0 + -2*3/(-14). Let l be ((-215)/(-25) + -2)/((-9)/(-1308)). Let y = l - 959. Put c, 0.3, y in ascending order.
y, 0.3, c
Let o(k) = -k**3 + 3*k**2 + 11. Let r be o(5). Let c be (-572)/r - 2/(-6). Suppose -60*n + c = -65*n. Put n, 4, 5 in descending order.
5, 4, n
Let h = -0.3909 + 0.4109. Sort 0.5, 0, h, -15.
-15, 0, h, 0.5
Let u(x) = x**2 - 5*x - 5. Let z be u(7). Suppose 0 = -3*j + 6, -t + j - z = -4*j. Let g be 8/28*(t - -6). Sort 2/15, 0.5, g.
2/15, 0.5, g
Let m = -1579/8 - -197. Let a = -230 + 231. Put a, 2/3, -1, m in descending order.
a, 2/3, m, -1
Let c = -3338 + 3341. Put 0, 97, c, -2, -4 in increasing order.
-4, -2, 0, c, 97
Suppose 0 = 55*z - 353 - 276 + 189. Put -3, 52, z in increasing order.
-3, z, 52
Let r(s) = -2*s**2 - 14*s - 4. Let b be r(-8). Suppose 3*m + 5 - 5 = 0. Let l be ((28/6)/(-7))/(2 - m). Sort -3/2, 3, b, l in increasing order.
b, -3/2, l, 3
Let h be (12/4 + 0)*10/2. Let s be (-1)/(-2)*3/(h/170). Suppose 9 = -y + 7. Put s, y, -5 in descending order.
s, y, -5
Suppose -16084*r + 16036*r = 0. Let a be 0 + 2 + (0 - 1). Sort a, -4, r, 3 in decreasing order.
3, a, r, -4
Let i = 132 - 21. Let o = i + -110. Put o, -2, -4 in descending order.
o, -2, -4
Let b(y) = -75*y - 397. Let i be b(-5). Sort i, -5, -1, 3, 4.
i, -5, -1, 3, 4
Let k be (-1 + -4)*(-2)/10*4. Let n = -935 - -4493/5. Let g = n + 37. Put -8, k, g, -1 in ascending order.
-8, -1, g, k
Suppose 0 = 17*b - 9*b - 21*b + 234. Sort b, -2, -4.
-4, -2, b
Suppose -24 + 42 = 7*r - 10. Let x = 4 - 3. Sort x, r, 3, -5 in descending order.
r, 3, x, -5
Suppose -360*l + 160 = -352*l. Let v be (-1)/(-5 + 11/2). Sort v, -5, l.
-5, v, l
Let a = 131.4678 + -0.1678. Let v = 137 - a. Let o = 5.5 - v. Put -2/13, o, 1, -2/11 in increasing order.
o, -2/11, -2/13, 1
Let t = -4 - -1. Let f be (705/30 - 21)*(-3)/(-15)*-3. Sort 0.5, t, -14, f in decreasing order.
0.5, f, t, -14
Let c be ((-434)/93)/(35/30). Sort 2, 11, 31, c.
c, 2, 11, 31
Let p be 27/54 - 38/4. Let r be -10 - 0 - 3*12/p. Let x be 0/3 + (2 - -1). Put 0, r, x, -2 in decreasing order.
x, 0, -2, r
Let o = -4 - -9. Let h(u) = 1553*u + 1561. Let s be h(-1). Put s, o, -9 in descending order.
s, o, -9
Let q = 0.021 + -41.021. Let v = 41.06 + q. Let z = v + -12.06. Sort 2/7, 4, z, 0 in decreasing order.
4, 2/7, 0, z
Let u(d) = -d**3 - 7*d**2 - d - 1. Let w be u(-7). Let a(g) = -w*g**2 + g**3 + 1 - 20*g + 19*g + 0*g**2. Let r be a(6). Sort -0.3, r, 4 in increasing order.
r, -0.3, 4
Let u(t) = 6*t**2 - 427*t - 366. Let h be u(72). Put -26, 0, h in descending order.
0, h, -26
Suppose 11*s + 7 = 62. Put s, 15, -3, 0 in descending order.
15, s, 0, -3
Suppose -2*o - 52 = -62. Suppose -6*h - 43 = -h + 4*j, -o*h - 5*j = 45. Let z(w) = w**3 + 6*w**2 - 7*w - 15. Let f be z(h). Put 2, 3, 0, f in ascending order.
f, 0, 2, 3
Let s = -486.5 - -486. Let n = 15 - 10. Put n, -4, s, 6 in increasing order.
-4, s, n, 6
Suppose -12*g - 28*g - 58*g = -2646. Put g, -14, 4 in decreasing order.
g, 4, -14
Let a be (-4)/(-10) + (-135)/25. Let p = -175 - -173. Let q(z) = -7*z - 11. Let g be q(p). Sort g, 5, a, 2 in increasing order.
a, 2, g, 5
Let k be (-1 + -3 - (-2)/1) + 2. Put k, -2, -30 in decreasing order.
k, -2, -30
Let k be (4 - 5)*0/1. Suppose k = -3*h - 0*h + 5*g - 32, -g = h. Put 20, h, 1 in descending order.
20, 1, h
Let b = 70 - 69. Let k be (-154)/33 + b/(-3). Let r be (8/(-16))/((2 - 4)/(-4)). Sort r, -3, -4, k in descending order.
r, -3, -4, k
Suppose -7 = -0*w + w. Let j = -25477 - -25481. Sort w, 5, j in descending order.
5, j, w
Let r = 1.71 - 0.71. Let c = -0.0569 + 2.0569. Sort -0.042, c, r, 0.5 in descending order.
c, r, 0.5, -0.042
Suppose 6*y + 10 = 7*y. Suppose y*p + 19 = 29*p. Put 34, p, -3 in descending order.
34, p, -3
Let v = 1427 + -1431. Sort -1/3, 1.2, v, 0.41 in descending order.
1.2, 0.41, -1/3, v
Let z(b) = -b**2 - 3*b + 3. Let m be z(1). Sort -8, m, -26, 5 in descending order.
5, m, -8, -26
Let w = -4.5 + 6.5. Let g = w + 18. Let v = g + -19.92. Sort 0.5, v, -1 in decreasing order.
0.5, v, -1
Let m be ((-5)/25)/((-3)/285). Suppose -2*f - 6 = 2*o, -3*f + 8*f + m = -o. Suppose q = -5*g + 17 - 16, -q - 4 = 0. Put g, f, -1 in descending order.
g, -1, f
Let s be ((-38)/4)/((-2)/(-36)). Let b = s - -171. Sort -2, 3/10, b, -2/7 in decreasing order.
3/10, b, -2/7, -2
Let n = 16.6 + -17. Let y = 362 - 365. Let k = -0.4 + 0.3. Sort y, n, k, 3 in decreasing order.
3, k, n, y
Let j = 32.18 + -32. Let z = j - 0.48. Let o = -50 - -99/2. Put -5, z, -4, o in increasing order.
-5, -4, o, z
Let j be 5*2 + (-3146)/242. Put 3, j, 1, -2 in ascending order.
j, -2, 1, 3
Suppose y - 4*d - 15 = -7*d, 25 = 4*y + 5*d. Suppose -38 = 29*b + 107. Sort 15, b, y in ascending order.
b, y, 15
Let v = 514 - 447.2. Let i = v - 68. Sort i, 3, -2 in decreasing order.
3, i, -2
Let l = 0.366 + -0.639. Let c = l - -0.373. Let n = 0 + -5. Sort -3, -0.4, c, n in descending order.
c, -0.4, -3, n
Let p(s) = -s**3 - 3*s**2 - 37*s - 74. Let l be p(-2). Let b = 3 + 1. Sort b, -1, l, -5 in ascending order.
-5, l, -1, b
Let p = -479 - -721. Let j = -6188 - -6185. Put j, 2, p, -4 in descending order.
p, 2, j, -4
Let n be -3*7 - (-457 - -441). Let k(s) = -s**3 - 2*s**2. Let z be k(-1). Sort 57, 2, z, n in ascending order.
n, z, 2, 57
Suppose 2*s + f = 5*f + 198, f = -2*s + 178. Suppose s + 19 = 2*c. Let w = 59 - c. Put w, -4, -2 in ascending order.
-4, -2, w
Suppose -2*r - 9 = -3*b - r, -1 = -5*b - 3*r. Let k = 701/2220 + -27/148. Put k, 0.18, b in ascending order.
k, 0.18, b
Let m = 1.5 - 2. Let f be (-3)/234*(-180)/(-24). Let t = 11/13 + f. Sort t, m, -9 in ascending order.
-9, m, t
Suppose -3*l + 8*l + 195 = -5*w, -3*w - l - 107 = 0. Let a = w - -19. Let h = 1.71 - -0.29. Put 5, a, h in ascending order.
a, h, 5
Let s be (10/(-12))/((-29)/(-174)). Suppose -5*u + 100 - 5 = 0. Put u, 4, s in increasing order.
s, 4, u
Suppose -3*s + 1 = 4*c - 18, 5*s = 25. Sort 1/4, 0.4, c, -0.5, -19 in decreasing order.
c, 0.4, 1/4, -0.5, -19
Suppose -3*m + 5*c + 17 = -4*m, 2 = 2*m + c. Suppose -6 = -m*x, 3*u + 28 = 7*u + 4*x. Let v = -13.85 - -13.75. Put v, 0.029, u in descending order.
u, 0.029, v
Let z(j) = -4*j**2 + j - 8. Let c be z(-9). Let v = c + 231. Let f = v + 101. Sort -4, 5, f in increasing order.
f, -4, 5
Suppose 0 = -2*v + 2*u - 34, -v = 5*u + 5 - 0. Sort v, 0.5, 2/9, 0 in ascending order.
v, 0, 2/9, 0.5
Let s = -25 + 20. Suppose 0 = 2*c - 4*u - 6, 2*c = 3*u - 0 + 4. Let p = -868 + 869. Put p, -3, c, s in descending order.
p, c, -3, s
Let t = -1.032 + -1.968. Sort t, -1/4, 2/5 in increasing order.
t, -1/4, 2/5
Let i = -0.10708 + 0.30708. Put -3, -1/2, 10, i, 6 in ascending order.
-3, -1/2, i, 6, 10
Let o be 6/1275*17 + (-308)/100. Put -1/5, o, 145 in descending order.
145, -1/5, o
Let l = -73.01 + 73.08. Put -45, l, -1/12, -1/4 in increasing order.
-45, -1/4, -1/12, l
Suppose 3*v = 23*v + 20. Suppose x = -8*x + 72. Let d be (-3)/(-6)*x/12*9. Sort v, d, 6.
v, d, 6
Suppose -3*y + 3*i = -3, -6*y + 4*y = 2*i - 14. Suppose 0 = -5*g + 3*a, y*g - 2*a = -7*a + 37. Suppose -16 + 24 = 2*o. Sort g, -2, -3, o in descending order.
o, g, -2, -3
Suppose -3*a - 2*a - 10 = 3*b, 0 = -3*a + b - 20. Let s(u) = 59*u + 108. Let z be s(-9). Let v = -426 - z. Sort v, a, -4, 0 in ascending order.
a, -4, v, 0
Let x = 15.3 - 204.3. Let q = x + 187. Sort -3/10, 2, q.
q, -3/10, 2
Let b = -2 + 4. Let v = b + -7. Let w = 756 + -760. Sort -2, v, 1.3, w in decreasing order.
1.3, -2, w, v
Let d be ((-4)/34 - 3555/(-2907)) + -1. Let p = 1.821 - -0.039. Let o = p + 0.14. Sort 1, d, o in descending order.
o, 1, d
Suppose -6*u - 6 = -4*u. Let w = -5173 + 5177. Sort -26, u, w, 2.
-26, u, 2, w
Let u = 175.4 + 17.6. 