= m + -15.3. Let s = 17 + -20. Sort 0, x, s in ascending order.
s, x, 0
Let b = -0.14 + -12.86. Let k = b + 11.7. Let l = -227.3 + 227. Sort l, k, 4, 3.
k, l, 3, 4
Let r = 0 + 0. Suppose -20*m - 95 + 335 = 0. Suppose 0*o = -12*o - m. Sort o, r, -2, 3.
-2, o, r, 3
Let n = 17 - 28. Let c = 6 + n. Let o = -0.1078 - 0.1922. Put c, o, -0.4 in decreasing order.
o, -0.4, c
Let k be 0 - 8 - ((-2470)/228 + 2/(-12)). Suppose -4*g + 3 = -1. Sort 4, g, -1, k in decreasing order.
4, k, g, -1
Suppose 0 = -83*c + 174*c - 86*c - 25. Sort -5, c, -14, 12, -0.4 in descending order.
12, c, -0.4, -5, -14
Let o = 79 - 75. Suppose -4*h - 120 = -0*h. Let b be (-13)/20 - 12/h. Put o, 2/7, -10, b in increasing order.
-10, b, 2/7, o
Let o = 32095/2 + -16048. Put 1/153, -1, o, 4 in increasing order.
-1, o, 1/153, 4
Let v be 2/3*66/11 + -6. Let y = -103 - -102.4. Put 1, -1/8, v, y in ascending order.
v, y, -1/8, 1
Let g be (3/5)/(2382/31760). Sort g, -66, 1 in descending order.
g, 1, -66
Suppose o + 4*o = 150. Let p be o/(-8) + (-2)/8. Let k be (-5)/(217/(-93) + 9/6). Put k, -3, p in decreasing order.
k, -3, p
Suppose -2*y - c = -18, -y + 4*c = -0*y. Suppose 0 = -2*s - o + y, 2*o + 3*o - 16 = -2*s. Sort s, 0, 8, -3.
-3, 0, s, 8
Let l be -8 + -5 + 51/3. Sort 204, -2, l.
-2, l, 204
Let u = 223 + -224. Let t be u - 12/(-3)*5/4. Sort -2, 3, -4, t.
-4, -2, 3, t
Let x be 86/95 + 6 + 340/(-50). Let k = 1237 - 1233. Let r = -0.3 - -0.2. Put x, 5, r, k in increasing order.
r, x, k, 5
Let l = -0.03 + -0.37. Let g = 314.12 - 314.12. Put g, l, 4, 6 in decreasing order.
6, 4, g, l
Let z be -1*1 + 9/10. Let l = 58.91 + -56. Let y = l + -6.91. Put y, -5, -6, z in decreasing order.
z, y, -5, -6
Suppose -3*t + 101 = 3*d + 113, -3*t - 4*d = 19. Put t, 2, 1, 2.9, -2/5 in descending order.
t, 2.9, 2, 1, -2/5
Let p(c) = -33*c + 19. Let w be p(5). Let o = -144 - w. Sort -2, o, -5.
-5, -2, o
Let v be 1*(-1 - 12/(-10))*(-5)/3. Put -4, v, 0.4, 111/2 in descending order.
111/2, 0.4, v, -4
Let g be (-3)/(4/((-16)/9)). Let v be (-29)/2*666/9. Let l = 1073 + v. Put l, 9/8, 0.4, g in descending order.
g, 9/8, 0.4, l
Let n = -313340 - -335587082/1071. Let l = -4/63 + n. Sort l, 0.2, -11, 3/4.
-11, l, 0.2, 3/4
Let f = -5020 - -5016. Sort 1/6, f, -52.
-52, f, 1/6
Let w = -0.2 - 0.13. Let f = w + 0.34. Sort -3/4, f, -2/15 in ascending order.
-3/4, -2/15, f
Suppose 3*j - 2*s = 2*s + 9, 4*j - 3*s - 12 = 0. Suppose i + 0*l = 4*l - 6, -i = 2*l. Let u = 4 + i. Sort 4, j, u, -3.
-3, u, j, 4
Let g = -3 - -1. Let r(t) = 75*t - 126*t - 147 + 72*t. Let o be r(8). Put 0, 1, g, o in descending order.
o, 1, 0, g
Let v = -18/1321 - -1375/3963. Put -10, v, 3, -1/4 in descending order.
3, v, -1/4, -10
Let v = -3547 + 3532. Sort -3, v, 20 in decreasing order.
20, -3, v
Suppose -8 = -2*w - 4*m, -m = w + 2*m - 6. Let c be 108/(-18) - (6 + (3 - 32)). Sort 3, c, 1, w in descending order.
c, 3, 1, w
Let p be ((-3)/49)/(-50 + (-16054)/(-322)). Let r be ((-1)/(-36))/((-1)/2). Put p, 1, r in ascending order.
r, p, 1
Let c(h) = h**2 - 20*h + 4. Let g = -14 - -34. Let l be c(g). Let d be 0 + ((-24)/231 - l/(-14)). Put -5, d, -1 in increasing order.
-5, -1, d
Let r = 18582.1 - 18582. Let a(f) = f - 4. Let d be a(8). Sort 0, r, d, 5 in decreasing order.
5, d, r, 0
Let r be (-2 + 42)*(-8)/(-3 + -61). Sort 11, r, -3 in descending order.
11, r, -3
Let x be (-832)/96 - (-1)/(-6)*2. Let v(g) = -g - 9. Let r be v(-10). Let p be (-8)/48 - r/(-6). Put x, 4, p in descending order.
4, p, x
Suppose 6511*q - 938 = 6497*q. Let c be (-2)/6 - (-3)/9 - -2. Put q, 5, c in ascending order.
c, 5, q
Let w = 86 - 77. Suppose 0 = -4*i - 3*y + 11, i - w = -0*y - 2*y. Let a be (-1)/((-3)/6) + -1 + i. Sort a, 16, -1.
-1, a, 16
Let u be (1/(-1))/((-2)/(-4)). Suppose 52*m - 53 - 103 = 0. Let d(t) = t**2 + 13*t - 10. Let c be d(-14). Sort u, m, c, 2 in ascending order.
u, 2, m, c
Let n be (-18)/14*(-15 + (-137)/(-9)). Sort -0.2, n, -1/4, 2/55, 5.
n, -1/4, -0.2, 2/55, 5
Let m be (-2 - (-10 + 2)) + -13 + (1 - -3). Sort m, -1, 147.
m, -1, 147
Let m be (-243)/(-135)*(52/24 + -3). Sort 0, -5, m, -7/5 in decreasing order.
0, -7/5, m, -5
Let h be (-185)/(-259) + 3 + (-61)/7. Suppose -4 = 2*l - 14. Sort 3, l, h in increasing order.
h, 3, l
Let s(f) = -f - 7. Let o be s(-6). Suppose 0 = 4*h + 3*a + 56, -5*h - 81*a + 89*a = 23. Let m be (-1 - 0) + 2 - 0. Sort 5, o, m, h in increasing order.
h, o, m, 5
Let l = 40.66 + -257.66. Sort 3/5, l, 4.
l, 3/5, 4
Suppose -105 = -0*m - 5*m. Suppose -7*a - 3 + 17 = 0. Suppose 28 = 6*f - a. Sort f, m, -2 in ascending order.
-2, f, m
Let u = -7930 - -7930. Let i be (-1)/(-2)*(-4)/(-15). Sort 0.04, i, 0.3, u in increasing order.
u, 0.04, i, 0.3
Let z = 0.41 - -5.99. Let m = 24.6 + -30. Let w = m + z. Sort 0.4, w, 2 in descending order.
2, w, 0.4
Let j = -16507 + 16505. Put j, -296, 5 in descending order.
5, j, -296
Let t = 1906.2 + -1724. Let l = t - 182. Sort 1/2, -0.4, 1, l in ascending order.
-0.4, l, 1/2, 1
Let v(f) = 33*f**2 + 193*f - 26. Let i be v(-6). Put i, 0, -5, -69, -1 in descending order.
i, 0, -1, -5, -69
Let j(l) = -l + 0*l - 6 + 2 + l**2 + 7*l**2. Let c be j(2). Let g = -28 + c. Sort g, 1, -3 in ascending order.
-3, g, 1
Suppose -5*h - 258 = -2*w, 6*h + 197 = w - 107. Sort h, -5, 22.
h, -5, 22
Let y(g) = -524*g - 1577. Let d be y(-3). Put 13, 3/7, 0.3, d, -4 in descending order.
13, 3/7, 0.3, -4, d
Let w be -3*(4/(-28)*3 + (-410)/(-630)). Let f = 50 - 47. Sort -11/4, w, f, -3 in decreasing order.
f, w, -11/4, -3
Let v = 3621 - 3596. Put -11, 5, v in decreasing order.
v, 5, -11
Let y = 2767 - 2762. Put -4, -5, -2, y, -88 in ascending order.
-88, -5, -4, -2, y
Let y be (2/(-12))/(142/(-1704)). Sort 15, 5, 20, y.
y, 5, 15, 20
Let m = -83 - -85. Suppose -m*v = 4, -4*i = -2*v + 5*v + 18. Let n = -0.26 - -0.23. Put i, n, 1/5 in decreasing order.
1/5, n, i
Let h be (-22)/(-4) + -8 + 3. Let a = 0.0773 - 0.0643. Put h, 1/12, -2, a in ascending order.
-2, a, 1/12, h
Let j = 14/13 + -128/143. Let q = -0.09 - 0.01. Suppose 27*m = -60*m - 261. Put m, j, q in ascending order.
m, q, j
Let t = -186.2 - -187.3. Let q = 18 - 23. Sort t, q, -0.1.
q, -0.1, t
Let u = -4126 - -4128. Put 2.8, -1/8, 1, -2/5, u in increasing order.
-2/5, -1/8, 1, u, 2.8
Let o = 94 + -93. Suppose 0 = c - 1. Suppose -k + c = -o. Sort k, 2/9, -5 in ascending order.
-5, 2/9, k
Suppose -6 + 3 = 3*m. Let n be -4*m/4*-4. Let t be (-42)/(-56)*16/6. Put n, t, -3 in descending order.
t, -3, n
Let i = -1357 + 1357.5. Sort -4, 2.1, i, -0.05 in ascending order.
-4, -0.05, i, 2.1
Let u be 3/15 + 1518/(-690). Put 5, 2, 4, -3, u in ascending order.
-3, u, 2, 4, 5
Let g(x) = -18*x + 1067. Let w be g(61). Suppose 2*r - 32 = -4*t, -5*t + 2*r + 2*r + 14 = 0. Suppose -4*l - t - 14 = 0. Put w, l, 3 in increasing order.
w, l, 3
Let l be -12*9/198 + (-1569)/(-33). Sort 0, l, 2.
0, 2, l
Suppose -2*u - 3*a - 22 = 0, 5*u = -4*a - 0*a - 41. Let s = -8 - -5. Let r = 18 + -14. Put r, u, s in increasing order.
u, s, r
Let f = -18.5 + 10.1. Let q = f - -8.433. Let h = q + -5.033. Sort -2/13, h, 1.
h, -2/13, 1
Suppose 16*g + g + 34 = 0. Let q = -13 - -11. Let m be ((-7)/(-21))/(q/(-6)). Sort g, 5, m in ascending order.
g, m, 5
Suppose -2*i - i = 159. Let m(l) = 3*l**2 - 146*l - 197. Let v be m(50). Sort 0, i, v, 1.
i, 0, 1, v
Let j(t) = -14*t - 459. Let f be j(-33). Put 4, f, -8, -1, 0 in decreasing order.
4, f, 0, -1, -8
Let m = 59 - 59. Let r be 669/276*12/(-153). Let x = -5/69 - r. Sort x, m, -5 in descending order.
x, m, -5
Suppose -2*a = -3*a. Let m(b) = b**2 - 44*b + 119. Let g be m(41). Let r be 2*g/(-10)*(-90)/72. Put r, 4, a, -2 in ascending order.
-2, r, a, 4
Let d(f) = -f**2 - 42*f - 162. Let m(n) = -42*n + 4. Let v be m(1). Let w be d(v). Sort 5, -5, w in decreasing order.
5, -5, w
Let m be ((-40)/(-6))/(1/3). Let x be (7 + -5)/(m/1). Let a = 558 + -558. Sort 2/11, x, a, 4 in increasing order.
a, x, 2/11, 4
Suppose 0 = -3*p - 220*d + 217*d + 21, 4*p = d - 12. Let k be 4/(1 - (-9)/(-15)). Put p, 0, 4, k in decreasing order.
k, 4, 0, p
Suppose 0 = -62*u + 63*u + 6. Let l be 15/(-20)*32/u. Let q be -1 - (l + (-4 - -16)/(-2)). Put -3, q, 7 in descending order.
7, q, -3
Let y(n) = 4*n**2 + 9*n + 7. Let v(a) = 9*a**2 + 19*a + 13. Let m(r) = 2*v(r) - 5*y(r). Let p be m(-3). Put -5, p, 