 decreasing order.
u, 1, -1, -11
Let g = -241617/23 + 10505. Put 4, -0.1, g in increasing order.
-0.1, g, 4
Suppose 9*a - 21 = 15. Suppose -2*z = -4 - 4. Suppose 0 = 4*i + 4*l + 40, -z*i + 2*i - a*l - 30 = 0. Put 0, i, -28 in decreasing order.
0, i, -28
Suppose 0 = -3*s + 3*j, -4*j + 15 = j. Let u = -14007 + 14012. Sort u, -13, -4, s in ascending order.
-13, -4, s, u
Let c be 7/(-42)*(-24)/80. Put 2, -10, c in ascending order.
-10, c, 2
Suppose -24 = 28*d + 60. Sort -345, d, 4 in increasing order.
-345, d, 4
Let y = -11966 - -12003. Put y, -1, 0, 2, -0.01 in decreasing order.
y, 2, 0, -0.01, -1
Let i be -3*(-16)/7*(-21)/9. Let a be ((-3)/7)/(i/56). Put -1/8, 5, a in descending order.
5, a, -1/8
Let z = 11/3 - 7/2. Let p = 9 - 9.5. Let m = 3203/2 - 1601. Put p, z, m in increasing order.
p, z, m
Let r = -8 - -2. Let y = 51296.9 + -51297. Put r, -1/4, y in ascending order.
r, -1/4, y
Let j = 17/4 + -15/4. Let t = 61/66 + 9/22. Let k = -5.36925 + 5.31925. Sort t, j, -0.5, k in decreasing order.
t, j, k, -0.5
Let r = 1070 - 1065. Let v be 60/8*36/(-15). Sort r, v, -8.
v, -8, r
Suppose -8*q = 36 - 12. Let s be (3/(-12))/(1/8). Put 1, s, q, 2 in ascending order.
q, s, 1, 2
Let r = -1.2 + 0.2. Let g = -6544 - -32714/5. Put g, -5, r in descending order.
r, g, -5
Let h = 12836/9 - 1426. Let s = -1/10678 - -1398863/480510. Let i = -28/9 + s. Put i, h, -3, 3/4 in increasing order.
-3, i, h, 3/4
Suppose -i = 219*j - 214*j - 8, -4*i = -j - 11. Sort i, -15, 6 in descending order.
6, i, -15
Let o = 10.89 - -1.21. Let c = o + -12. Put -1/11, c, -0.5 in descending order.
c, -1/11, -0.5
Suppose 2*n + 2*n = -3*o - 35, 5*o + n = -30. Suppose 259*v - 121*v = 115*v. Sort o, 2, v, -10 in ascending order.
-10, o, v, 2
Let a be (-41)/(-44) + 6/(-33). Suppose -2*y - 6*g + 8 = -2*g, -2 = -2*g. Sort y, -41, a, -5.
-41, -5, a, y
Let x = 234 + -238. Let a be (x - (-10)/8) + 3. Let b = 0.2 - 1.2. Sort b, a, -2/13, 0.1 in increasing order.
b, -2/13, 0.1, a
Let y = 10.5 - 11. Let f = -47.2 - 3.8. Let h = f - -51.3. Put h, 4, y in decreasing order.
4, h, y
Suppose 4 = -4*i, 5*o = 10*i - 6*i + 4. Let z(h) = -h**3 - 6*h**2 - 2*h + 3. Let m be z(-6). Suppose 2*v = -v - m. Sort 6, v, o in descending order.
6, o, v
Let h = -0.08167 - 3.91833. Sort h, 0.03, -1/2, 0.5, -2/3 in descending order.
0.5, 0.03, -1/2, -2/3, h
Suppose -8*t - 13 = -21. Sort t, 3, -19, -1 in ascending order.
-19, -1, t, 3
Let s = 10869 + -10867. Put s, -4, 4, -1, 5 in descending order.
5, 4, s, -1, -4
Let p = -91 - -457/5. Suppose h - 51 = 18*h. Sort p, -2, h, -5 in decreasing order.
p, -2, h, -5
Let t = 1.4 - -0.6. Let j = -15 + 15.2. Let a = 40166 + -40166.5. Sort t, j, -6/11, a.
-6/11, a, j, t
Let r = 145 - 157. Let u be (r/(-8))/((-2)/4). Put u, 28, -5 in decreasing order.
28, u, -5
Let h be 16/(-6) + (-2)/(-3). Let m(v) = v**2 - 18*v - 112. Let x be m(23). Suppose -c = 4*c. Put h, x, c in descending order.
x, c, h
Let v(t) = -80*t. Let f be v(-1). Let p be ((-3)/12)/((-70)/f). Put p, 0, 5 in descending order.
5, p, 0
Let q = -7887 + 8133. Sort 1, -3, q.
-3, 1, q
Let p = -0.0039 + 0.9039. Put p, 2, -3/10, 0.1, 5 in decreasing order.
5, 2, p, 0.1, -3/10
Suppose 15*x + 441 = -174. Sort 1/2, x, -1 in decreasing order.
1/2, -1, x
Suppose 303*r - 9 = 305*r - o, r + 3*o = 13. Sort -1/3, -0.25, -0.5, r, -1/10.
r, -0.5, -1/3, -0.25, -1/10
Let p be ((-16)/10)/(8/20) + 12/3. Sort 1, 2, -10, -2, p in decreasing order.
2, 1, p, -2, -10
Suppose -2*u - 2 = 0, 3*u + 11 = 122*r - 118*r. Put -3, r, -4, -89 in decreasing order.
r, -3, -4, -89
Suppose 3*k + 11*r - 3 = 8*r, 3*k - 5 = -r. Sort 3, -3, -110, k in decreasing order.
3, k, -3, -110
Let t be (3/12*-2)/((-31)/(-62)). Sort 5, -42, t, 6.
-42, t, 5, 6
Suppose -3*s + 3*o = 3, 4*s + s + o + 5 = 0. Let k be (s - 36)/(-6 - -5). Let l = k + -39. Sort 0, l, 1 in descending order.
1, 0, l
Let z = 3174 - 3209. Sort 3, 5, 2, -3, z in decreasing order.
5, 3, 2, -3, z
Let j(p) = p**2 - 16*p - 2. Let z be j(16). Let n(r) = -4*r**3 - 2*r + 2. Let w be n(z). Let u = w - 33. Put -1, 0, u in increasing order.
-1, 0, u
Let s = 0.1984 - 0.3084. Sort -0.1, 0.19, 1, 3, s.
s, -0.1, 0.19, 1, 3
Let h = -6.6577 - 0.3423. Put 0.2, h, -0.4 in decreasing order.
0.2, -0.4, h
Suppose -2*m = 22*m - 12*m + 24. Sort 3, m, 7, 4 in descending order.
7, 4, 3, m
Let v = -7455 - -6939.1. Let f = v + 516. Sort 4/9, f, 0.26.
f, 0.26, 4/9
Let s be (0/2)/((-6)/3) - (6 + -11). Suppose 4*c + 2 + 50 = 0. Sort 3, s, c.
c, 3, s
Let i = -2149 + 1225. Let u = i + 920. Let a be 2 + 0 - (-8)/(-6). Put 8, u, a in increasing order.
u, a, 8
Let k = -316.8 + 316.72. Let i = 19 + -24. Put 1, k, i, 0.2 in decreasing order.
1, 0.2, k, i
Let v = 307.9278 + 0.0722. Let z = -332 + v. Put -1, 0.1, z, 5 in descending order.
5, 0.1, -1, z
Let k = 15736 + -15737. Put -1785, k, -5, 5 in decreasing order.
5, k, -5, -1785
Let f be (3/5)/((-36)/(-60)). Let w(k) = k**3 + 3*k**2 - 5*k - 8. Let q be w(-4). Sort q, 0, -1, f in increasing order.
q, -1, 0, f
Let c = 5.355 + -5.015. Sort 3, -0.1, 12, c in increasing order.
-0.1, c, 3, 12
Let s = 39.9 + 39.6. Let k = s - 45.5. Sort -2, 2/7, -2/5, k in descending order.
k, 2/7, -2/5, -2
Suppose y + 4 = -1, 5*a + y - 5 = 0. Suppose -5*f + 60 = 4*k, 7*f - 63 = 4*f + 3*k. Let r(o) = o**2 - 18*o + 28. Let z be r(f). Sort a, 3, z in ascending order.
z, a, 3
Let n be (-27)/(-5) + 4/(-10). Let y = -712 - -722. Let o be (26 - 10 - y) + (-1 - 4). Sort -4, o, n in descending order.
n, o, -4
Let t = -16.3666 + 16.0666. Let u(v) = 2*v**2 - 3*v + 1. Let l be u(2). Put l, -2/11, t, -0.5 in descending order.
l, -2/11, t, -0.5
Let h = 48.14 - 45. Let k = -5.34 - -6.2. Let p = k + h. Put p, 2.2, -1/3 in descending order.
p, 2.2, -1/3
Let m(q) = q**2 + 12*q + 8. Let w be m(-11). Let g be ((-10)/9)/5 - (-5621)/63. Suppose 9*j - 145 = g. Sort 5, j, w in decreasing order.
j, 5, w
Let w = 74.4 - 120.3. Let p = -0.0017 - 45.9983. Let k = p - w. Sort 0, -5/6, -2/3, k in descending order.
0, k, -2/3, -5/6
Let d = 8262 - 8259. Sort 4, d, -4, 0, 5.
-4, 0, d, 4, 5
Suppose -1 = z, -3*n = -22*z + 24*z + 14. Let j(o) = o**2 - 4*o - 5. Let y be j(5). Put n, -64, y in decreasing order.
y, n, -64
Suppose 0 = -5*x - 5*l, 3*x + 0*l + 10 = -5*l. Sort 0, 6, -11, x, -4.
-11, -4, 0, x, 6
Suppose 0 = f + 3. Let b be -1*(-8)/(-20) + (1071260/100)/29. Sort b, -2, f in ascending order.
f, -2, b
Let p be ((-37)/(-15) - (-6)/(-9)) + (-20)/10. Sort 1/42, -0.5, -3, 3/4, p in descending order.
3/4, 1/42, p, -0.5, -3
Let y = -849.399 - -849. Let o = y + 0.199. Put o, 2.8, 0.6, 2/11 in increasing order.
o, 2/11, 0.6, 2.8
Let v be (-31)/(-22) + (-30)/20 - 25/(-33). Sort 0.05, 0.41, v.
0.05, 0.41, v
Let h = -174.1 - -169.089. Let m = h - -0.011. Let k = m + 4.8. Sort k, -1, -5 in descending order.
k, -1, -5
Suppose 0 = h - 3 + 4. Suppose 524*b - 516*b = -16. Sort h, 8, b in decreasing order.
8, h, b
Let z(w) = 68*w. Let d be z(3). Let p = 1633/8 - d. Sort 4/5, 2/5, 1, p.
p, 2/5, 4/5, 1
Let r = 5 - 3. Suppose -3*v = r + 4. Let g = 13980 + -13986. Put 4, v, -1, g in increasing order.
g, v, -1, 4
Let h be (-43)/(-3) + (-28)/(-42). Let z be 25/15 + (2 - h/9). Suppose -4 = -4*c + z*c. Put c, -1, 3, -2 in decreasing order.
3, c, -1, -2
Let i = 34.32 + -34.22. Sort -2/5, -3, 0.28, i, 27.
-3, -2/5, i, 0.28, 27
Suppose 169*y = -3137 - 43507. Sort -21, -2, y in ascending order.
y, -21, -2
Suppose v + 10 = -4*a - v, -3*v + 1 = -2*a. Let l = 28 + -27. Suppose 4*i + 3*b = -l, -i + 3*i - b - 7 = 0. Sort 3, i, a in descending order.
3, i, a
Let w = 20846/9 - 2316. Sort 314, -2/15, w in descending order.
314, w, -2/15
Let q(r) = -r**2 + 10*r + 538. Let f be q(29). Sort -3, f, 6 in increasing order.
f, -3, 6
Suppose -64 = 2*l - 54. Let v = 142 + -123. Sort v, 0.3, l in ascending order.
l, 0.3, v
Suppose -4*q + 121*w = 117*w + 1300, 3*q + 971 = w. Sort 3, q, 2, -1 in increasing order.
q, -1, 2, 3
Let a = -80/351 - -2/351. Let k be ((-6)/5)/((-3)/10). Suppose 0*r - r - k*n + 7 = 0, 3*r + 3*n = 12. Put r, 4, -1/7, a in increasing order.
a, -1/7, r, 4
Suppose -2*v + 14 = 4*k, 2*v - k - 21 = 8. Suppose -v*m + 2*m = -44. Sort m, -0.2, -5.
-5, -0.2, m
Suppose 0 = 11*v + 2743 - 2710. Put 8, v, 5, 38 in ascending order.
v, 5, 8, 38
Let v = 404 - 364. Suppose c + 1 = j 