 = 6*k. Sort 2, 1, k in increasing order.
k, 1, 2
Let h be 8 - 81/18 - 3. Sort -0.8, 1, h in decreasing order.
1, h, -0.8
Suppose 10 = g - 17. Suppose -24 + g = -3*o. Let l be (-2)/7 - (-12)/(-7). Sort l, 0, o.
l, o, 0
Let w(g) = g**2 - 3*g + 3. Suppose n - 5 + 1 = k, 8 = 2*n - 4*k. Let c be w(n). Suppose 4*d = c*d + 6. Sort 5, d, -4.
-4, d, 5
Let m = -114.4 - -114. Put -0.03, -2, 5, m in increasing order.
-2, m, -0.03, 5
Suppose 4*l - l = 9, z + 3*l - 5 = 0. Suppose -3*f = -8*f + 4*v + 49, 5*f - 3*v = 48. Put 4, z, f in descending order.
f, 4, z
Let b be (-3 - -4)*(-5)/(-1). Suppose 0 = t - 12 - 1. Suppose -3*m + a - t = -a, m + 5 = a. Put 11, m, b in decreasing order.
11, b, m
Let w = 10 + -18. Let g be ((-36)/w)/(-9)*10. Put g, -1/2, -4 in ascending order.
g, -4, -1/2
Let h = -6.3 + 6. Let o = -11 + 24. Let j = -18 + o. Put j, 1/11, h in descending order.
1/11, h, j
Let j = -29 - -52. Let s = 22 - j. Put s, 2, 4/5 in decreasing order.
2, 4/5, s
Suppose -n + 61 = -5*k, 5*n - 213 = 5*k - 3*k. Let j = -40 + n. Let x = 4 + -6. Sort j, x, 2.
x, j, 2
Let s = 8111/3246 + 2/1623. Put -2, 12, s, -1/5 in descending order.
12, s, -1/5, -2
Let a(p) = 8*p + 120. Let w be a(-15). Sort -15, 5, -3/5, w in descending order.
5, w, -3/5, -15
Suppose 315 = -8*z + 283. Put z, -1/6, -0.2, 20 in descending order.
20, -1/6, -0.2, z
Let u = -637 + 636. Put u, -3, -11 in descending order.
u, -3, -11
Let t = 223 - 223. Put -55, t, 4 in decreasing order.
4, t, -55
Let i = 432 - 438. Let z(y) = y - 6. Let f be z(11). Put i, 3, f, 1 in increasing order.
i, 1, 3, f
Let q = -388 - -773/2. Put q, 3/2, 0.25, 0.1 in increasing order.
q, 0.1, 0.25, 3/2
Suppose b - 3*y - 14 = 0, 5*b - 21 = 2*b + 2*y. Suppose 5*j = 0, -b*d + 40 = -4*j + 3*j. Sort 0, 5, d, 3 in descending order.
d, 5, 3, 0
Let n be (-4)/(-14)*(-86)/344. Put 1/2, 3, n, 0.6 in increasing order.
n, 1/2, 0.6, 3
Suppose 0 = 13*l + 9 - 61. Suppose -2*c = -19 + 9. Sort 2, c, 1, l in increasing order.
1, 2, l, c
Suppose 0*b - 3*b - 4*j - 4 = 0, 4*b - j - 20 = 0. Sort b, 18, -4, -5 in descending order.
18, b, -4, -5
Let c = 792 - 789. Put -1/5, c, 5, 0.13 in increasing order.
-1/5, 0.13, c, 5
Let h = 1.38 + -20.18. Let x = -36 - -17. Let k = x - h. Put k, 1, 1/2 in ascending order.
k, 1/2, 1
Let o(a) = 2*a**2 + 3*a - 5. Let g be o(-4). Let y be g/(2/2) + (-10 - -11). Sort -1, y, -5.
-5, -1, y
Let b(u) = -u + 2. Let m be b(4). Sort -38, m, 2 in decreasing order.
2, m, -38
Let p = -6.7 + 6.6. Suppose -2*b + b + 2 = 0. Suppose b*i - 4 = -14. Sort -2/11, i, p in increasing order.
i, -2/11, p
Suppose 2*x - 5*b - 35 = -2*x, 2*x - 2*b = 16. Let p = 1 + 1. Suppose -p*y - z = 13 + 6, -2*y - 3*z - 25 = 0. Put 0, y, x in decreasing order.
x, 0, y
Let c(u) be the third derivative of -u**5/60 - 3*u**4/4 - 31*u**3/6 - 11*u**2. Let y be c(-16). Sort 0.5, -2/3, y in descending order.
y, 0.5, -2/3
Let f = -21 - 4. Let g = -48 - f. Let p = 24 + g. Sort p, 2/5, 0 in descending order.
p, 2/5, 0
Let y be 65/(-5)*(0 - -1). Let j be (-20)/2*2/4. Sort j, 4, y.
y, j, 4
Let y(v) = -v**3 + 3*v**2 + 5*v + 1. Let c be y(4). Let n be 11/(-2) - 9/(-18). Let a(f) = -f**3 - 6*f**2 - 7*f - 6. Let m be a(n). Sort m, c, -2.
-2, m, c
Let k = 401 + -397. Let a = -0.1 + -0.9. Put k, a, -6 in descending order.
k, a, -6
Let r(h) = h**2 + h - 22. Let f be r(-5). Sort f, -4, -15 in decreasing order.
f, -4, -15
Let o be -11 + 0 + -7 + 8. Let u = 0.4 - 0.4. Sort u, o, -5 in decreasing order.
u, -5, o
Let l = 233 - 232.5. Let w = 2.63 - -0.27. Let y = -3 + w. Sort y, l, -0.5.
-0.5, y, l
Let t = -33 + 92. Let h = t + -59. Sort h, -3, 2, -4 in decreasing order.
2, h, -3, -4
Let h = -314 + 433. Put 0, 2, h in ascending order.
0, 2, h
Let f = -518 - -460.6. Let v = 57 + f. Let z = 3 - 3.3. Put z, v, 0.4 in ascending order.
v, z, 0.4
Let f(y) = -y**3 - 57*y**2 - 6*y - 342. Let m be f(-57). Put 4, m, 240 in decreasing order.
240, 4, m
Suppose -2*z - 30 = -5*t - 5, 0 = -4*z. Sort t, -4, 6, 2 in increasing order.
-4, 2, t, 6
Let x = 975 - 975.2. Put x, -0.59, 5, 1 in increasing order.
-0.59, x, 1, 5
Let x be (-2 - -2*2) + (3 - 12). Suppose -2*q + 8 = -q. Let c = 10 - q. Sort 3, c, x in increasing order.
x, c, 3
Let o = 65 - 64.979. Let d = o - 0.021. Sort -1/4, -4, -3/2, d in increasing order.
-4, -3/2, -1/4, d
Let k = -15 - -12. Let z = 2 + k. Sort z, 3, 2 in decreasing order.
3, 2, z
Suppose 3*y + 26 = 5. Let z be 3/7 - 25/y. Suppose g = -5*a - 51, 4*g + 82 = 2*g - 5*a. Sort 3, g, z.
g, 3, z
Let x = -2 - -11. Suppose -3*l - 17 = -2*k - 2*k, -5*k = 2*l - 27. Let q be 15/(-15)*(0 + (1 - l)). Sort 4, x, q in descending order.
x, 4, q
Let d be -39 + 30 + -2 + 12. Put d, -23, -1 in decreasing order.
d, -1, -23
Let a be (0 - -1)*1/(2/6). Let s be ((-7)/((-14)/(-20)))/(-2). Put s, a, -2 in increasing order.
-2, a, s
Suppose -8 = 3*f - 4*p, -174*p + 177*p = -2*f + 6. Sort f, -510, -1 in increasing order.
-510, -1, f
Let d be 14/(-105) + 2/15. Let q = -2 + d. Sort q, 4, 0.
q, 0, 4
Let k be (-770)/(-110) - (0 - -11). Sort k, -3, 60.
k, -3, 60
Let o be 2 + 60/(-6 + 4). Let u be -3*1/(-7)*o/(-48). Sort 16, u, 1 in decreasing order.
16, 1, u
Suppose 0 = a + 2. Sort a, 7, 0.4, -3 in descending order.
7, 0.4, a, -3
Let v(h) = -h**2 + 13*h - 25. Let w be v(5). Suppose -w = 14*j + j. Sort 3, 1, j, 0 in decreasing order.
3, 1, 0, j
Let a be ((-75)/(-10) - 7)/(6/8). Sort a, 0.1, 1, -1/3.
-1/3, 0.1, a, 1
Let h = 4 + -2. Let s = h + 1. Sort s, -4, -0.1.
-4, -0.1, s
Let x be -2*(-1)/2 + 48. Let s = x + -34. Let g = s - 11. Sort g, -3, 0.
-3, 0, g
Let i = 180 + -183. Let d be 7 + 3/(9/(-6)). Put -1, d, 0, i in decreasing order.
d, 0, -1, i
Let m = 0.5 - -0.6. Sort m, -0.3, 1/6 in descending order.
m, 1/6, -0.3
Let o(l) = 2*l + 8. Let a be o(-3). Put 0, -1, a in increasing order.
-1, 0, a
Let f = 1.66 + -1.76. Put 0.4, -1, f, -13 in decreasing order.
0.4, f, -1, -13
Let h = 4.03 - 4. Let m = -330 + 330.93. Let k = h - m. Put 0.4, -0.1, k in descending order.
0.4, -0.1, k
Let q = -32 + 43. Let b = -12 + q. Let x be (-3 - -2) + (-22)/(-18). Put b, x, 0 in decreasing order.
x, 0, b
Let q = -69 + 68.6. Let y be (-4)/6*(-228)/32. Let o = -5 + y. Put -1, o, q in ascending order.
-1, q, o
Let h = 168.52 - 168. Let y = -0.58 + h. Sort y, -2/23, 0.04 in descending order.
0.04, y, -2/23
Let m = -78.26 + 78.2. Put 4/5, 1, 0.3, m in ascending order.
m, 0.3, 4/5, 1
Let k be (-276)/(2*1) + (-36)/(-9). Let b = k - -400/3. Let x(t) = 4*t**3 + t**2 + t - 1. Let v be x(1). Put v, 2/17, b in decreasing order.
v, 2/17, b
Suppose -6 = -4*a + 42. Let t be 21/a + (-2)/(-8). Let v(r) = -4*r**3 - r**2 + 1. Let s be v(1). Sort s, -2, t in ascending order.
s, -2, t
Let g(p) = -5*p + 6. Let y(q) = -3*q + 6. Let j(h) = -2*g(h) + 3*y(h). Let k = -3 + -1. Let n be j(k). Sort 0, -5, n in increasing order.
-5, 0, n
Suppose 7*n - 12*n = -20. Let x be 4 - (n + -9 + 3). Suppose 0 = m + m + x. Put m, 1, 3 in ascending order.
m, 1, 3
Let j = 0.0324 - -4.9676. Put j, -4/9, -1 in ascending order.
-1, -4/9, j
Let v = -34 - -80. Put -5, -0.5, 3, v in descending order.
v, 3, -0.5, -5
Let w be 74/(-286) + -3*(-16)/264. Put 3, -1, w, -4 in ascending order.
-4, -1, w, 3
Let q(i) = i**3 - 9*i**2 + i - 8. Let r be q(9). Let h be r/(-2) + (3 + 0 - 3). Let k = 11 + -3. Put h, 4, k in increasing order.
h, 4, k
Let j = 268.7 + -293. Let b = j + 24. Let d = -3.964 - 0.036. Sort d, -1/2, b in ascending order.
d, -1/2, b
Suppose -3*l = 3, 4*s - 3*l - 7 = 2*s. Sort s, -3, 3 in descending order.
3, s, -3
Let a be (1*-5)/(1*-1). Let x = -1.3 + -21.7. Let u = -28 - x. Sort -2, a, u.
u, -2, a
Suppose q - 4 = -3*k - 0, -2*k + 31 = -5*q. Let l be (40/(-3))/(-10) + 7/(-3). Let g(o) = o**3 - 3*o**2 - 2*o - 3. Let p be g(4). Sort k, p, l.
l, k, p
Suppose -4*x - 12 = -4*b, -9 = -5*b + 4*x + 7. Sort 5, b, -1, -130 in increasing order.
-130, -1, b, 5
Let u(w) = 2*w**2 + 16*w - 41. Let l be u(-10). Put l, 164, 5 in decreasing order.
164, 5, l
Suppose 4*h - 12 = 3*q, -5*h - 12 = -0*q + 3*q. Let p be (-10)/(-8) - 1/4. Let t be (2/p)/(0 + -2). Sort h, 5, t in descending order.
5, h, t
Let l = -41 + 21. Put 1, 2, l in decreasing order.
2, 1, l
Let c = -351.5 - -258. Let a = -94 - c. Sort 2, 0.08, a in ascending order.
a, 0.08, 2
Let h = -26.4 + 26.7. Let u = 2 +