Let q = 173/110 + 3/110. Sort -0.2, -4, q, 1 in increasing order.
-4, -0.2, 1, q
Let s = 13 + -51/4. Put 0, s, 1 in decreasing order.
1, s, 0
Let u = 4 + -3.93. Let b = -0.47 + u. Put 0.3, -2, b in decreasing order.
0.3, b, -2
Suppose -2607 + 498 = -3*v. Let l = v - 56241/80. Let m = -153/560 + l. Put m, -2/11, -0.3 in descending order.
-2/11, m, -0.3
Let a = 25312 + -177882/7. Let i = 100 + a. Sort 3, i, 1/3 in descending order.
3, 1/3, i
Suppose 0 = -21*u + 20*u + 3. Let z = 0.3 + -0.1. Sort u, 0.1, z in descending order.
u, z, 0.1
Let i = -56.49 - -56. Let s = i + -0.01. Sort -1/3, -4, s.
-4, s, -1/3
Let f be (2 - 10/4)*-4. Let l(z) = z**2 + 10*z - 8. Let q be l(-8). Let k be f/4 + q/16. Sort 1, k, -5 in decreasing order.
1, k, -5
Let y be -3 + 183/30 - 4/(-10). Put 0.3, 0.5, y in ascending order.
0.3, 0.5, y
Suppose 2*n + 19 = 3*o, -2*n + 7 - 2 = 5*o. Sort -5/6, n, -1/9 in decreasing order.
-1/9, -5/6, n
Suppose 0*y = -4*y - 36. Let m be (-3)/y + 14/(-6). Put m, -3, -0.3 in increasing order.
-3, m, -0.3
Suppose 2 = 2*h - 0. Let j = -7.9 - -5. Let t = -3 - j. Sort -0.3, t, h in descending order.
h, t, -0.3
Let b be (3/9)/((-2)/9). Put 2, b, 0.2 in descending order.
2, 0.2, b
Suppose -h - 1 = r, 2*r = -5*h - 3 - 8. Sort -3/8, 0.4, h in decreasing order.
0.4, -3/8, h
Let c = -0.1 - 0. Let x = c - 0.9. Let f = -78 + 82. Sort f, x, 0.2 in decreasing order.
f, 0.2, x
Let u = -6 - -5.6. Let g(r) = r**2 + 7*r + 3. Let p be g(-4). Let y be (0 + 2)*p/24. Sort y, u, -5 in decreasing order.
u, y, -5
Suppose 2*d - 4*d = 2. Sort 0, d, -0.3, 4 in decreasing order.
4, 0, -0.3, d
Let r = -15 + 14.7. Sort 0.3, -2/17, r, -1 in descending order.
0.3, -2/17, r, -1
Suppose -6*f - 4*a = -f - 5, 0 = -3*f - 3*a + 3. Put 0, -1, f, -5 in descending order.
f, 0, -1, -5
Let v be ((-20)/4)/(-1) + -2. Put v, 5, -3 in decreasing order.
5, v, -3
Suppose -5*t = 4*l + l - 5, -5*t = 3*l - 9. Suppose 0 = -3*w + 9 - t. Let b be (4 + -10)/((-3)/w). Sort -1, b, 1.
-1, 1, b
Let c(p) = -p + 4. Let h be c(0). Suppose -h - 16 = 4*t. Put -4, t, -1 in decreasing order.
-1, -4, t
Suppose 0 = -2*b + 7*b - 10. Let k be b*1/(-6) - -1. Suppose 2*v = -3*m - 7, 0 = 5*v - v + 8. Sort k, -5/3, m.
-5/3, m, k
Let y = 2.1 + -2. Let u = -0.2 - y. Put 3, u, 2/7 in decreasing order.
3, 2/7, u
Let c = 2 + -1. Let j = 0.7 - 0.1. Let o = c - j. Sort 3, -3, o in descending order.
3, o, -3
Let u(z) = 2*z + 8. Let j(d) = 3*d + 17. Let g(f) = 3*j(f) - 5*u(f). Let t be g(15). Sort 3, t, 2 in descending order.
3, 2, t
Let d = 89 - 92. Put -17, 3, d in descending order.
3, d, -17
Let a = -39 + 42.2. Let y = -1.2 + a. Sort y, 0.5, 0.3 in increasing order.
0.3, 0.5, y
Let n = -0.89 + 14.89. Put 2, n, 0.1 in descending order.
n, 2, 0.1
Suppose -d - 10 = 4*f - 0*f, -2*d - 2*f = -10. Let q(x) = 7*x - 11. Let m be q(1). Put d, m, -2 in descending order.
d, -2, m
Suppose 14 - 9 = -k. Put -0.5, 15, k, 5 in decreasing order.
15, 5, -0.5, k
Let c(m) = -m - 9. Let o be c(-8). Let g = -0.24 + -1.46. Let t = -0.7 - g. Put o, t, 3 in decreasing order.
3, t, o
Suppose 0 = -5*d + 6*d - 8. Suppose 7 + d = 5*z. Let v(h) = h**2 - 6*h + 6. Let w be v(4). Sort w, z, -5 in decreasing order.
z, w, -5
Let g(x) = x - 2. Let z be g(-3). Let d be (-1)/(-5) - (-18)/10. Sort z, d, -4 in increasing order.
z, -4, d
Let r be 3/18*3*4. Suppose 2*v + r*v = -8. Let h = v - -1. Sort -2, h, 2.
-2, h, 2
Let n be 2/(-1) - (-3)/3. Let w = 0 + n. Sort 5, w, -2 in increasing order.
-2, w, 5
Suppose -4*h - 5*o + 10*o + 24 = 0, 4*o + 16 = 0. Suppose -4*f + 2*c = -10, 3*c + 14 + 1 = f. Put h, f, 4 in ascending order.
f, h, 4
Let l = -104/35 - -18/7. Put 3, 1, l in decreasing order.
3, 1, l
Suppose 3 = m - 0*m. Suppose m*o - 2*o = -1. Put 0.1, o, 1 in increasing order.
o, 0.1, 1
Let f be (-22)/4 + 6/4. Let s be 2/(-5) + 18/(-30). Let i = 9 - 4. Sort s, i, f in decreasing order.
i, s, f
Let y = 14/3 + -143/30. Put 0.1, y, 1/3 in descending order.
1/3, 0.1, y
Let g(k) = k + 3. Let h be g(-3). Suppose -3*x - x + 20 = 4*u, -5*x = 2*u - 25. Suppose -2*r = z + 2*z + 22, 4*z + 16 = 0. Put r, h, x in ascending order.
r, h, x
Let v = -0.09 - 0.33. Let g = v - -0.22. Sort -7, 0.3, g in decreasing order.
0.3, g, -7
Let m = 7 - -1. Let y = 2 - m. Let h = y - -9. Sort 0.3, -0.3, h in ascending order.
-0.3, 0.3, h
Suppose 2 = -u + 5. Let i = 1 - 3. Put 2, u, i in increasing order.
i, 2, u
Let x = -0.06 + -5.94. Let s = x - -10. Let g = s + -6. Sort -4, 4, g in decreasing order.
4, g, -4
Let b = -14/3 + 1. Let z = b + 86/21. Let h = -0.02 - 2.98. Sort 2/3, h, z in decreasing order.
2/3, z, h
Let l(v) = -v**2 + 7*v - 4. Let i be l(6). Suppose -15 = -3*x - 3. Suppose -2*o = -3*f - 6, 5*f - 2 - 10 = -x*o. Sort o, i, 4 in increasing order.
i, o, 4
Let t be (3/6)/(2/4). Suppose 3*z = -4*k - 12, 4*z - 3*k + 2 = 11. Put -5, z, t in ascending order.
-5, z, t
Let f be (108/(-21) - (-4)/28) + 4. Put f, 26, 3 in decreasing order.
26, 3, f
Suppose 2 = -v - 3. Suppose -5*z = -o - 14, -o - 16 = 3*o. Suppose 3*a - 4 = i, 0 = 3*a - 5*i - 22 + 2. Sort v, z, a.
v, a, z
Let l = -0.104 - 0.196. Sort -43, 2/13, l, 1.
-43, l, 2/13, 1
Let t be (-4)/8 + (-9)/(-2). Suppose 4*m - 4 = t. Sort m, -4, 4.
-4, m, 4
Let l be 3/(-6) + (-3559)/(-18). Let h = l + -197. Sort -1/9, h, -3/8 in descending order.
h, -1/9, -3/8
Let p be 14/21 + (-2)/3. Sort 15, 5, p in increasing order.
p, 5, 15
Suppose -3*b - 3 + 2 = c, -4*b - 1 = c. Let q be (-2)/(b + -1) + 1. Suppose -q*n = -4*r - 19, -14 = -r + 2*n - 5*n. Sort r, -2, 2 in descending order.
2, r, -2
Let r(i) = -5*i. Let v be r(1). Put -1, 5, v in descending order.
5, -1, v
Let f(b) = -b**2 + 6*b - 5. Let o be f(5). Suppose -5*z + o*s + 9 = -2*s, -4*z = 2*s. Let u = -1 - -3. Put z, u, 4 in descending order.
4, u, z
Let k be (-1031)/(-6617) - (2 - 2). Let i = k + -1/509. Let d be (4/(-14))/((-3)/3). Sort d, -0.4, i in ascending order.
-0.4, i, d
Let m = 7 - 12. Let x = 92 - 94. Suppose -2 - 3 = 5*v. Sort v, m, x in decreasing order.
v, x, m
Let o(h) = 26*h. Let v be o(-1). Let b = v - -61. Let k be ((-18)/40)/((-42)/b). Sort k, 1/2, -0.3 in descending order.
1/2, k, -0.3
Suppose 7*k + 4*k = 11. Put 4, k, -5 in ascending order.
-5, k, 4
Let g(s) = -8*s + 4. Let b be g(1). Sort 0, b, 10 in decreasing order.
10, 0, b
Let x = -0.3 + -1.7. Let z be (-1)/5 - (-4)/10. Sort -3/4, z, x in descending order.
z, -3/4, x
Suppose -5*h + 20 = 5*b, -3*b - 10 = -8*b. Let j be (-3)/(-2*(-4)/(-16)). Sort 0, j, h in ascending order.
0, h, j
Let q = 4 + -2. Let s = 130 + -126. Suppose s*h = -18 + q. Sort 5, h, -3 in increasing order.
h, -3, 5
Let h = -4.6 - -0.6. Sort -3, 4, h in descending order.
4, -3, h
Let a = 202 - 188. Sort 1, 4, a in descending order.
a, 4, 1
Let u = -3 + 3. Let c be (1/3)/(1/6). Suppose -4*y - 8 = 4. Put y, c, u in descending order.
c, u, y
Let u = -2 + 1.9. Let n = -0.24 + -0.06. Let f = n - u. Sort -2/3, -1, f in decreasing order.
f, -2/3, -1
Let s = -3 + -1. Let f = 20.2 + -19.7. Put f, s, -0.5 in decreasing order.
f, -0.5, s
Let d = 2 + -6. Let o be 10/d + (-6)/(-2). Sort -2/11, 3, o in descending order.
3, o, -2/11
Suppose b = -2*b + 9. Suppose 0 = -5*k - w - 0 + 5, -b*w - 5 = 5*k. Let m = 7 - 3. Sort m, -2, k in increasing order.
-2, k, m
Let f = 7164528730165582/867 - 8263586641128. Let p = -1023868 - f. Let z = 2/289 + p. Put -5, z, 2/3 in increasing order.
-5, z, 2/3
Let y = -5.1 - -17.1. Let q = 3.3 - 0.3. Put y, -5, q in decreasing order.
y, q, -5
Suppose -6 = 4*w + 3*x, 3*x - 5 = w + 4. Let u be -1 - (-3 - 0/w). Let r(y) = -y**3 + 3*y + 3. Let o be r(-2). Put u, 4, o in descending order.
o, 4, u
Let f be 7/(-35) - ((-218)/90 + 2). Let h = -0.02 + 0.12. Let k = -1/392 - -797/5096. Sort h, k, f.
h, k, f
Let h = 35 + -40. Put -0.4, 0.2, h, 2/9 in decreasing order.
2/9, 0.2, -0.4, h
Suppose -b + 5*h = 0, -23 - 1 = -5*b + h. Put b, 3, 2 in descending order.
b, 3, 2
Let n = 7.9 - 8.3. Sort n, 23, 1.
n, 1, 23
Let l be (-14 + 11)*(1 - (-4)/(-6)). Put -4, l, 1 in decreasing order.
1, l, -4
Suppose 8 = 4*u - 3*l, -3*u = -0*u + 2*l - 23. Suppose -k + x = 2*x - 1, -3*k = -u*x - 11. Suppose 4 = -k*d - 0. Sort -5, 1, d in descending order.
1, d, -5
Let i = -22/39 - 4/39. Sort -5, i, -3 in decreasing order.
i, -3, -5
Let p = -170/129 + -2/129. Sort -0.