 = m + -134. Put v, 4, 1 in decreasing order.
4, 1, v
Suppose w + 6 = 0, -2*x + 312*w = 316*w + 24. Let k(n) = n + 1. Let v be k(-5). Put x, -5, -2, v in decreasing order.
x, -2, v, -5
Let b = -0.37 + 2.87. Let h = b + -2.2. Sort h, -3, 1.
-3, h, 1
Let q = -40 + 51. Suppose 2*x - q = -1. Put -2, 1, x in decreasing order.
x, 1, -2
Let j = -0.2 - -0.3. Let t = 442 + -295. Let y be t/(-28) - 3/((-6)/10). Put y, 1, j in decreasing order.
1, j, y
Let l = 0.0649 - -4.9351. Sort l, -1/48, 3/5 in increasing order.
-1/48, 3/5, l
Let q = -0.1 - -0.1. Let b be 76/133 + 11/(-7). Sort b, 0.3, q in descending order.
0.3, q, b
Suppose -2*l + 1 + 5 = 0. Put -2, 8, l in descending order.
8, l, -2
Let w = -0.8 + 0.6. Let i = -0.3 + -14.7. Let a = i - -13. Sort -1, w, a.
a, -1, w
Suppose 0 = 3*v - 0*v - 24. Suppose 0*c - 4*c = v. Let b = -2 + c. Put -2, b, 3 in decreasing order.
3, -2, b
Let a = -4 - -8. Suppose -3*b + b + a = 0. Let r = 8 + -4. Sort -1, r, b in decreasing order.
r, b, -1
Let j = -8 - -5. Suppose -2*b + 134 = 3*k, 0*k + k - 22 = 5*b. Let o = 47 - k. Put 4, o, j in descending order.
o, 4, j
Let b = -1646 - -1641. Suppose -5*j + 65 = 5*h, -3*j = h - 32 - 1. Put -2, j, 4, b in ascending order.
b, -2, 4, j
Let j = -70 - -43. Let d = -27.4 - j. Sort 5, d, -4 in decreasing order.
5, d, -4
Let c be (2/25)/((-48)/80). Sort 0.4, 4, c in descending order.
4, 0.4, c
Let x be ((-4)/26)/1 + (-84)/(-546). Let t be -2 + 1 - 2/(-2). Suppose 3*l - 7 + 19 = t. Sort l, 5, x.
l, x, 5
Suppose 20 - 4 = 4*d. Let p(q) = -q**2 - 7*q + 2. Let v be p(-7). Let n be (v/d)/(3/(-12)). Sort 2, -3, n.
-3, n, 2
Let z = -86 + 91. Suppose 44 = -z*v + 69. Sort -9, v, -3.
-9, -3, v
Let x = 28 - 31. Let f(p) = p**2 + 7*p + 4. Let d be f(-7). Sort d, 5, x in descending order.
5, d, x
Let i = 89.21 - 90. Let r = 0.25 + i. Let x = 0.24 + r. Sort x, -3/5, 3 in descending order.
3, x, -3/5
Let b(r) = 4*r**3 - 37*r**2 - 28*r - 16. Let w be b(10). Sort 2, w, -52, -1 in increasing order.
-52, -1, 2, w
Let d = 3.5 - 2. Let m = d - 5.5. Let v = -4 - m. Sort 2/7, -0.1, v.
-0.1, v, 2/7
Let p(m) = m**3 + m + 2. Let w be p(-1). Suppose w = u - 8*u + 105. Suppose -2*c + 6*c + 25 = 5*n, -4*c - 5*n - u = 0. Put -1/4, c, -0.1 in increasing order.
c, -1/4, -0.1
Suppose 3*f - 9 - 6 = -3*p, -2*f - 8 = 0. Sort 2, 0, p, -1 in descending order.
p, 2, 0, -1
Let q(u) = -4*u - 48. Let o be q(-12). Let z(i) = -i**3 - 4*i**2 + 5*i - 5. Let b be z(-5). Sort o, -1, b in decreasing order.
o, -1, b
Let m = -72 + 90. Suppose 2*p = -5*l + m, p - l - 14 = -3*p. Suppose -2*x - 3*x - 15 = 0. Sort p, -4/3, x in ascending order.
x, -4/3, p
Suppose m - 32 = -36. Sort 4, -1, -5, m.
-5, m, -1, 4
Suppose -4*a = -4*m, -2*a - 14 = -5*m - 4*a. Sort m, 12, -2, -3 in ascending order.
-3, -2, m, 12
Let x be (377/58 - (-1 + 5))*-2. Put x, 3, -3 in increasing order.
x, -3, 3
Let c = 1687 - 1686.6. Sort c, 0, -2/3, 0.3 in descending order.
c, 0.3, 0, -2/3
Let i be (-8)/13*2/(-8). Let z be ((-4)/1)/((-36)/27). Let y = 5047/17 + -297. Sort y, i, z.
y, i, z
Let b = 0.184 + 0.016. Sort -2, b, -15 in ascending order.
-15, -2, b
Let q be 10/12 - 70/60. Put -5, 0, 4, q in increasing order.
-5, q, 0, 4
Let p = 10 - 10.9. Let c = 8 + -7.6. Let t = p + c. Sort 2/3, -1/6, t in increasing order.
t, -1/6, 2/3
Let l = -34.64 - -0.64. Let b = l - -34. Put 13, b, -1/3 in descending order.
13, b, -1/3
Let m be 1 - (0/1 - 2). Suppose -m*f = -0 + 9. Let c(w) = 3*w**2 - 33*w + 26. Let q be c(10). Put 0, q, f in descending order.
0, f, q
Suppose -3 = s - 2*s. Suppose 7 = -v - 2*q, -3*v = -s*q + q - 19. Let j(o) = -2*o + 1. Let m be j(v). Put m, 2, 6 in decreasing order.
6, 2, m
Suppose -4*v = 854 + 3634. Let r be v/15 - (-1)/(-1). Let x = r + 76. Sort 3/4, x, 1/10.
1/10, x, 3/4
Suppose -2*b + 2*v = 24, 2*b + 5*v = b + 12. Let g be 1/(((-4)/6)/(-9 + 7)). Put -1, b, g in decreasing order.
g, -1, b
Let r(z) = z**2 - 7*z - 225. Let l be r(-12). Let u be ((-1)/2)/(2/(-16)). Put u, -5, l, 7 in decreasing order.
7, u, l, -5
Let i(a) = a**2 + a - 9. Let p(v) = -v**3 + v**2 + 2. Let o be p(2). Let m = o + -2. Let r be i(m). Put r, -2, -4 in decreasing order.
r, -2, -4
Let z = 119 - 114. Put z, 4, 131 in increasing order.
4, z, 131
Let y be (1 + -3 + 0)*(-14 - -12). Put 99, y, 0 in decreasing order.
99, y, 0
Let v = 20 - 10. Let p = -9.7 + v. Let q = 7.038 + -0.038. Put 1/6, p, q in ascending order.
1/6, p, q
Suppose -4*r = 4, 4*x - 2*r = x + 8. Suppose 5*c - x + 2 = 0. Put c, -2, 3, -1 in decreasing order.
3, c, -1, -2
Let a(m) = 8*m - 53. Let r be a(7). Put 7, -5, r in decreasing order.
7, r, -5
Let u = 20 + 0. Suppose -2*v = -6*v + u. Sort -2, -3, -4, v in decreasing order.
v, -2, -3, -4
Suppose 2*r - 15 = 3*g + 2*g, 4*r + 4*g = 16. Let u = 3277 - 3277. Put r, -4, u, 7 in increasing order.
-4, u, r, 7
Let m = 0.3 - 0.2. Let d = 65 + -45. Let j be (-30)/7 - d/(-70). Sort j, m, -0.4 in descending order.
m, -0.4, j
Let y = -2 - -4. Let m = -10 + y. Let o be ((-6)/9)/(m/60). Sort 4, -2, o in ascending order.
-2, 4, o
Suppose 0 = 23*u + 25*u - 43*u. Put u, 4, -4, 2 in descending order.
4, 2, u, -4
Let n(m) = 3*m + 54. Let r be n(-17). Let a = -4 + 9. Let q(k) = k**3 - 4*k**2 - k + 2. Let z be q(4). Put r, a, z in ascending order.
z, r, a
Suppose 13*c + 1069 = 1082. Suppose -90 = -3*w - 0*w. Suppose -i - 11 = -n - 4, 4*i - 3*n = -w. Sort -2, c, i.
i, -2, c
Let n = 12 - 7. Suppose y + 64 = 4*p, 5*y = -4*p + 49 - 9. Suppose -10*i + 15 = -p*i. Sort 0.1, i, n.
i, 0.1, n
Let q be 1/(2/(-10)*1). Let i = -35 + 40. Suppose -23 = -i*s + 5*l - 3, 0 = 2*s + 4*l - 2. Sort q, 1, s.
q, 1, s
Suppose -5*a = -2*p - 30, 5*p + 9 = 18*a - 22*a. Sort a, -3, 27 in ascending order.
-3, a, 27
Suppose -94 = -29*v + 51. Put -20, -1, v in descending order.
v, -1, -20
Let m = 0.612 - -0.048. Let s = 0.16 - m. Put 5, 4, s in descending order.
5, 4, s
Let a = -11195 + 11193. Suppose -f = f - 2. Let c be 3*(f/(-3) - 0). Sort a, 12, c.
a, c, 12
Let t = 50 + -148/3. Let b = -3578 - -3576. Sort 17, b, t in descending order.
17, t, b
Let l(o) = -o**3 - 4*o**2 - 5*o - 4. Let a be l(-3). Let g(b) = -b**2 + 9*b - 15. Let c be g(4). Put a, -7, -5, c in decreasing order.
c, a, -5, -7
Let f = -816 + 816.2. Sort -2/3, -5, 4/9, f in descending order.
4/9, f, -2/3, -5
Let k be 1/7 - (-1026)/(-126). Let f be 26/k - (-3)/12. Put 0, f, 2 in decreasing order.
2, 0, f
Let t = -28.4 + 28.38. Sort 2, t, 0.3, 4/5 in decreasing order.
2, 4/5, 0.3, t
Let t(i) = 7*i**2 - 9*i - 1. Let q(u) = 4*u**2 - 4*u. Let s(m) = 5*q(m) - 3*t(m). Let f be s(6). Sort -2, -3, f.
-3, -2, f
Let v = 0.02 + -0.1. Let d = v - 15.92. Let b = d - -15.5. Put b, 4, -3/2 in ascending order.
-3/2, b, 4
Let d = 160/3 + -53. Put 4, -0.4, 0.1, d in decreasing order.
4, d, 0.1, -0.4
Let l be (1*(-21)/7)/7. Put -3/2, 1/5, l, 0.4 in increasing order.
-3/2, l, 1/5, 0.4
Let t = -902 + 912. Sort -3, 7, t in decreasing order.
t, 7, -3
Let a(f) = f**2 - 3*f - 2. Let d be a(4). Let g(x) = -70*x + 275. Let k be g(4). Sort 0, d, k in decreasing order.
d, 0, k
Let b = 1.1 - 0.6. Let x = -1790 - -6829/4. Let t = 84 + x. Put 6, t, b in descending order.
6, t, b
Let s be (8/6*-3)/(-16 + 15). Put -4, s, 0, -2 in ascending order.
-4, -2, 0, s
Suppose z = -16 + 8. Suppose -3*u - 4*f - 33 = 0, -3*u - 2*u - 2*f - 41 = 0. Let n be (u - z)/(2/(-10)). Sort 6, n, -1.
n, -1, 6
Let o = 10 - 4. Suppose o*m - 4 = 2. Let z be -1*m*0/(-11). Sort z, 3, -2.
-2, z, 3
Let z = 2 - -1. Suppose 0 = z*j - 4*b - 29, 9 = j + 5*b - 7. Suppose h = -4*x - 0 + 11, -4*h + j = 5*x. Put -3, x, -1 in decreasing order.
x, -1, -3
Let c be 2*-2 - 4/((-60)/65). Suppose 5*b = 11 + 4. Sort c, -2/19, b, 1/8.
-2/19, 1/8, c, b
Let w = -1/422 - 209/844. Sort -2, 1.2, w, -1.
-2, -1, w, 1.2
Let r(s) = s**2 + 10*s + 22. Let z be r(-16). Put -5, 4, z in ascending order.
-5, 4, z
Let k = 3059 + -24473/8. Sort 1/3, 13, 0.1, k in descending order.
13, 1/3, 0.1, k
Suppose 16*d = 5*d + 242. Suppose -d*x + 16*x + 30 = 0. Sort 3, x, 0, -4.
-4, 0, 3, x
Let i = -61.64 - -61. Let v = i - -0.84. Sort -0.2, v, 5.
-0.2, v, 5
Suppose 11 = -3*s + 6*s - 2*k, 14 = 2*s - 3*k. Suppose 7 = a + s. Let v be (-4)/12 - 22/a. Sort -2/7, v, -5 in increasing order.
-5, v, -2/7
Let g(d) = d**3 - 6*d**2 + 15. Let a be g(7). Suppose 12 = 