Sort m, -0.5, i in ascending order.
i, -0.5, m
Let x = -1605 - -1606. Sort 5, -1, -15, x in descending order.
5, x, -1, -15
Let o(n) = -6*n. Let a be o(2). Let h(s) = 15*s**3 - 10*s + 10. Let j be h(1). Suppose 4*k + 4 = 3*b - j, 4*b = -k. Sort a, k, -1 in increasing order.
a, k, -1
Let x(p) = 4*p**2 - 42*p + 108. Let h be x(5). Sort -24, -3, 4, 17, h in decreasing order.
17, 4, h, -3, -24
Let u = 9 + 28. Sort -7, u, 4 in decreasing order.
u, 4, -7
Let b = 972 + -694. Let u = b + -253. Sort u, 5, -1.
-1, 5, u
Let u be (-50)/275 - 238/(-462). Put 3.31, 0, u, 3, -4 in descending order.
3.31, 3, u, 0, -4
Let f = -8336 + 8626. Put -3, -8, f, 3 in descending order.
f, 3, -3, -8
Suppose -25 = 5*j - n, -4*j + 7*j + 3*n = -15. Let c = 40 + -35. Suppose 0*w + 2*w = c*w. Sort w, j, -6.
-6, j, w
Suppose 3*j = -5*s - 4, j - 84*s = -87*s. Put -97, j, 3 in decreasing order.
3, j, -97
Let r = -200 + 199.9616. Let d = r - 0.3616. Put 23, d, 3 in increasing order.
d, 3, 23
Let c = 31513 + -31513. Sort 2/5, c, -1/5, -50, 4.
-50, -1/5, c, 2/5, 4
Let d = -544 + 542. Let t(f) = -6*f - 8. Let u be t(-2). Suppose 0 = 4*y + u, 0 = -5*l + 4*y - 18 + 2. Sort l, d, 3.
l, d, 3
Suppose 72*n - 45*n = 45*n - 36. Sort -362, -2, n in decreasing order.
n, -2, -362
Let z = 53.8 - 368.8. Let i = -317 - z. Sort 2, 2/11, i, -0.2.
i, -0.2, 2/11, 2
Let n = 154 + -143. Let d be 3 + 2 + (-22)/4. Let k = 1 - 0.5. Put d, n, k in descending order.
n, k, d
Let r = -8.597 - -14.597. Put 8, -60, 0.5, r in ascending order.
-60, 0.5, r, 8
Let j = -39/94 + 539/846. Sort j, 1, -3.7, -3, 5.
-3.7, -3, j, 1, 5
Let d = -1637 + 1629. Suppose -x + 3*x - 10 = 0. Put x, d, -4 in increasing order.
d, -4, x
Let z be (2783/66)/11 + (-24)/18. Put -15, 5, z, 0.4 in decreasing order.
5, z, 0.4, -15
Suppose -4*j + 20*j = 44*j - 84. Let o(t) = -t**2 + 8*t - 7. Let k be 2/(-6) - 25/(-3). Let l be o(k). Sort -1, 0, j, l in ascending order.
l, -1, 0, j
Suppose -3*j - 5*u = -3*u, 2*j - 5*u - 19 = 0. Suppose 8 - 4 = 5*l + 4*i, -3*l = 3*i. Put j, -1, l, -15 in decreasing order.
l, j, -1, -15
Let q = 5832 - 5828. Put -2, -3/85, q, -0.5 in increasing order.
-2, -0.5, -3/85, q
Let r = -833/5 + 166. Let f = 1448 + -4339/3. Sort r, -0.1, f, 0 in descending order.
f, 0, -0.1, r
Let g be 3/9 + (-8)/6. Let u be (-170)/(-35) - g/7. Let r = 9 - u. Sort r, -3, 7 in ascending order.
-3, r, 7
Let l = -1.68 - 51.32. Let t = l + 53. Let b = -6 + 4. Sort 0.4, b, t in ascending order.
b, t, 0.4
Let y(q) = q**2 - 25*q + 1152. Let p be y(79). Sort p, 2, -2/13 in descending order.
p, 2, -2/13
Let a = 362 + -357. Suppose 0 = -x - 4, 2*c + 2*x - 4*x - 10 = 0. Let n be (-4)/2 - c*-1. Sort 3, a, n in decreasing order.
a, 3, n
Let n(q) = 53*q - 3007. Let u be n(58). Suppose -4 - 2 = 3*g. Sort 0.1, u, -4, g in descending order.
u, 0.1, g, -4
Let n = 93.1 - 56.1. Sort 0.03, -1/10, n in ascending order.
-1/10, 0.03, n
Suppose -j + 0*j + 3*v = 8, 3*v = 9. Let l be ((-2)/(-3))/(j/3). Suppose -6*k - 5 + 5 = -15*k. Put k, 0.5, l in ascending order.
k, 0.5, l
Let o = 1519/30 + -254/5. Let j = -302/15 + 20. Put o, 1/2, j in descending order.
1/2, j, o
Let z = -0.365 - -0.055. Let w = 0.173 + 0.537. Let m = w + z. Sort -2/15, 14, m in descending order.
14, m, -2/15
Let j = -1266 + 1266.4. Sort 9, 3/26, j in ascending order.
3/26, j, 9
Let l be (0 + 2)*(-7)/((-28)/8). Suppose -22 = -4*c + 2*x + x, -c = x - 2. Suppose 3*n + 2 = 2*m - c, n + 2*m = -10. Put n, l, 3 in decreasing order.
l, 3, n
Suppose -u + 11*r + 2 = 14*r, -5*u + 2*r = -10. Sort -3, 3, 17, u in descending order.
17, 3, u, -3
Let o be 1698/(5/50*-4*-5). Let x = o - 832. Sort -3, -0.5, 0, x.
-3, -0.5, 0, x
Suppose -227 = -139*f - 88. Sort f, -11, 244.
-11, f, 244
Let z(l) = -9*l**2 - 71*l + 11. Let h be z(-8). Let m = 21 - 15. Suppose -15 + m = h*o. Put 1, -4, o, 5 in ascending order.
-4, o, 1, 5
Let c be ((-24)/9 + -1 + 3)*45/6. Suppose 0 = 4*q - q + 2*u + 3, -4*q = -5*u - 19. Put q, c, 0.05 in ascending order.
c, 0.05, q
Let p = 17738 - 17741. Sort -2/19, 0.5, 0.07, p, -2/5.
p, -2/5, -2/19, 0.07, 0.5
Let w = 31 - 33. Suppose 0 = 5*z + y - 3*y + 26, 0 = -2*z - 4*y + 4. Sort w, 0, z in ascending order.
z, w, 0
Let f = 160 - 161. Let z(r) = r**3 - 62*r**2 - 4*r + 223. Let k be z(62). Put k, 1, f in increasing order.
k, f, 1
Suppose 3*z = -3*i + 81, -i + 10 = 3*z - 13. Let s = 19 - i. Put -4, -1/4, s in ascending order.
s, -4, -1/4
Suppose -5*r - 7*m - 1 = -3*m, 2*m + 1 = -3*r. Let n be (19 + 5)*r - (-2 + 0). Sort -1, -4, n in descending order.
-1, -4, n
Suppose 19*w - 16*w - 6 = 0. Let g = 0.1531 - 0.3531. Put g, 1/5, -0.8, w in increasing order.
-0.8, g, 1/5, w
Let m = -0.46268 + -0.03732. Put -15, m, -31, -3, 2 in ascending order.
-31, -15, -3, m, 2
Let t be 1*15 + 9 + -5. Suppose -7*a = d - 8*a - 4, 3*d + 4*a = -23. Sort t, d, 3.
d, 3, t
Let x(d) = d**3 - 4*d**2 - 23*d + 1. Let i be x(0). Sort -20, -3, -123, i, -4 in decreasing order.
i, -3, -4, -20, -123
Let r = 2970.98 + -2971. Put 10, -4, r, -1/2 in descending order.
10, r, -1/2, -4
Suppose 0 = 33*d - 3*d - 450. Let i be (-50)/10 - (-2 + 1). Suppose 2*j = -5*n + 8, 2*j + 2*n = 3*n - 4. Sort d, i, j in decreasing order.
d, j, i
Let k = 12902 - 12902.6. Put -1.7, 0.5, k, -3 in ascending order.
-3, -1.7, k, 0.5
Suppose -2*g - 4*i + 2 = 8, 2*g = -i - 6. Suppose 228 = 90*k - 132. Sort -5, k, g, -4 in increasing order.
-5, -4, g, k
Let x = 13.602 + -13.902. Let p = 28 - 41. Sort 0.5, p, -3, x in decreasing order.
0.5, x, -3, p
Let l = -413 - -416. Suppose 0 = -h + 3*z - 0*z - 11, 3*z = l*h + 21. Put -167, 1, h in ascending order.
-167, h, 1
Suppose 4*l + q + 0*q = -17, -4*l + 4*q - 32 = 0. Let r be (l*(-3)/45)/(-1). Put r, 5, -2/11, -0.2 in decreasing order.
5, -2/11, -0.2, r
Suppose 13*u - 12*u = 4, 0 = 4*x - u + 20. Put -55, x, -2, 1 in descending order.
1, -2, x, -55
Let d(p) = -2*p. Let o be d(-1). Let b = -20659 - -61976/3. Sort b, 0.5, o, 5 in descending order.
5, o, 0.5, b
Let n(o) = o**2 - 11*o + 21. Let a be n(8). Let l(t) = t**3 + 6*t**2 - 9*t - 9. Let k be l(-7). Suppose 19 = -3*d - k. Put a, -5, d in decreasing order.
a, -5, d
Let b be (4/6 + 44/6)/(53 + -67). Let n = 0.18 - 0.58. Let o = 9/40 - 1/40. Put n, b, o in decreasing order.
o, n, b
Let j be 4 + (-3 - (1 - 0)). Suppose -14*o + 20 = 132. Let s = -2 + 3. Put j, s, o, -4 in decreasing order.
s, j, -4, o
Let c be (-12)/11 + (1 - (19 + -19)). Put -1.1, c, 0.4, -3/7 in ascending order.
-1.1, -3/7, c, 0.4
Suppose -135*k = 20*k + 310. Let a = 0.6 - 0.2. Put a, k, -0.13 in descending order.
a, -0.13, k
Suppose b + 6 = 5*l, b + 20 = 19. Sort l, -66, -1, -5 in descending order.
l, -1, -5, -66
Let q be (12 - 2)*18/10. Suppose -9*a + q + 9 = 0. Suppose -l = -5 + 3. Sort -2, l, a, 7 in ascending order.
-2, l, a, 7
Let v = 25446 + -25432. Sort -16, v, -2.
-16, -2, v
Suppose 24 = -3*m, -132*m + 238 = x - 133*m. Put 1, -2/11, x in decreasing order.
x, 1, -2/11
Let o be (3528/343)/(310/665) - 8/124. Suppose 5*q + 5 = -0. Sort 2, o, q.
q, 2, o
Suppose 3*i - 3 + 0 = 0, 0 = 3*s + 4*i - 13. Suppose -5*h + 16 = -h + 2*k, 21 = s*h - 3*k. Sort -21, -3, h, 3 in ascending order.
-21, -3, 3, h
Suppose 4*h + 3*w - 6 = 4*w, 4*w = 3*h + 2. Suppose -15*a + 3*a + 636 = 0. Suppose 3*v + 11*l - 16*l = a, -2*l - 8 = 0. Put -4, v, h in descending order.
v, h, -4
Let y = 13.615 + -13.615. Put 7, y, -16, 0.4 in decreasing order.
7, 0.4, y, -16
Let w be -4*(-1 - 2)/((-396)/120*-5). Put -8, 1/20, w in descending order.
w, 1/20, -8
Let b be 30/120 + 51/(-12). Sort b, -3, 363, -1 in descending order.
363, -1, -3, b
Suppose j + 23 - 79 = 0. Suppose -12*z + 28 + j = 0. Let o be -5 - ((-20)/(-14) - 3/z). Put 0, o, -2 in increasing order.
o, -2, 0
Let d(f) = 3*f**3 - 4*f**2 - 2*f + 2. Let i be d(0). Let c be ((-36)/(-84))/(i/(-2)). Sort 5, c, 0.07 in decreasing order.
5, 0.07, c
Let c = 68/3 - 281/12. Suppose 6*t = -26 - 4. Put 8, -0.2, c, t in descending order.
8, -0.2, c, t
Let a(k) = 10*k**2 + 3*k + 2. Let v be a(2). Let m be (-49)/(-14)*v/14. Let p be (-1 - 5)/(18/m). Sort -2, p, 2 in ascending order.
p, -2, 2
Let c be 6*10/(-60)*-1. Put 0, 3, c, 6, 2 in increasing order.
0, c, 2, 3, 6
Let x be 4/(-3) + (-20)/(-6). Suppose 0 = -x*r - r - t + 18, 3*r - t - 18 = 0. Suppose -r*f = 15 - 3. Sort 1, -3, f.
-3, f,