
Suppose -7*x = -5*x - 14. Suppose x*k = 11*k. Suppose o + 0*o + 1 = k. Put o, 2, 1 in decreasing order.
2, 1, o
Let u = 11 + -3. Suppose -u - 4 = 4*v. Let y be 12 + -9 + 8/(-2). Sort -5, v, y in increasing order.
-5, v, y
Suppose -n - 3 = 2*n. Let l = n - 0. Let i(a) = -a**2 - 5*a + 3. Let f be i(-6). Put 6, l, f in decreasing order.
6, l, f
Suppose -g = -4*g - 9. Suppose 4*u - 5 = u - 2*n, 5*n = -2*u - 4. Sort u, 1, g.
g, 1, u
Let c = 23.057 - 0.057. Let a = 27 - c. Put 0, a, 1/4 in descending order.
a, 1/4, 0
Let d = -114 + 162. Let c = 48.2 - d. Let z = -1 - -0.8. Put c, z, -0.1 in decreasing order.
c, -0.1, z
Let h be 3 + -5 + 74/12. Let i = -13/3 + h. Put i, -3, -5, -3/4 in decreasing order.
i, -3/4, -3, -5
Let q = -54 - -55. Suppose -j = -q - 6. Sort -2, j, 3/4.
-2, 3/4, j
Let q = 145.03 - 145. Let p = 3 - 3.1. Sort 1/3, p, q in descending order.
1/3, q, p
Let u = 65 + -38. Let h = u + -32. Let b = -0.8 + 0.9. Put -4, b, h in descending order.
b, -4, h
Let t(a) = 11*a + 48. Let i be t(-4). Sort 5, -1, i, 2 in ascending order.
-1, 2, i, 5
Let i = -0.6 - -0.1. Let q(d) = -40*d + 323. Let r be q(8). Put -1/3, r, i, -1/5 in increasing order.
i, -1/3, -1/5, r
Let x(b) = b**3 - 16*b**2 - 15*b - 21. Let h be x(17). Let y(v) = v**3 - h*v**2 - 7 + 9*v**2 + v - 5*v**2. Let g be y(9). Sort -5, -3, g in descending order.
g, -3, -5
Let s = -0.882 + 0.482. Put -5/2, -3, s, 1 in ascending order.
-3, -5/2, s, 1
Suppose -5*p - 160 = 2*m, -3*p - 4*m = 10 + 100. Let n = p - -211/7. Put -3/7, -0.4, n in increasing order.
-3/7, -0.4, n
Let z = 27.5 + -32. Let g = -1.9 - -0.4. Let y = z - g. Sort -0.5, 0.2, y.
y, -0.5, 0.2
Let y be (7 - 3)/(4 - 600/148). Let z = -65 - y. Sort -2, -2/7, z.
-2, -2/7, z
Let k = -0.234 + -0.166. Let z = -0.23 - -0.33. Sort k, -1/2, z, -1/7 in decreasing order.
z, -1/7, k, -1/2
Let a = 1.2 - 1. Let v = 3.59 - 3.29. Sort 3, a, -3/5, v in ascending order.
-3/5, a, v, 3
Let c(l) = -2*l**3 + 2*l**2 - 1. Let v be c(-1). Let a be 6/(-2)*(-2)/v. Sort 1, a, -2 in descending order.
a, 1, -2
Suppose 4 = -2*r - b + 7, 0 = 2*r + 4*b - 12. Let v be (6/(-4))/((-9)/18). Sort 4, v, r.
r, v, 4
Suppose -2*c + 5*c - 6 = 0. Let a(x) = -x**3 - x**2 + x - 1. Let s be a(-2). Suppose -4*b - s = -4*j + 31, -j - 1 = c*b. Sort -3, j, 1 in decreasing order.
j, 1, -3
Let j be (-20)/(-2)*((-52)/(-8) + -3). Suppose j*k + 50 = 10*k. Let c(s) = -s**2 + 4*s + 1. Let y be c(4). Put k, -1, y in increasing order.
k, -1, y
Let u = 90 - 60. Let w be (-16)/u - (-6)/(-9)*-1. Sort -3, 0.1, w, 3 in descending order.
3, w, 0.1, -3
Let x = -15 - -11. Suppose 0*s - s = 0. Put s, x, 11 in decreasing order.
11, s, x
Let z be -6*(9 + 133/(-14)). Suppose 4 = -2*u - 2*u. Sort z, 1, u in descending order.
z, 1, u
Let x = 5.02 + -5. Let t = 5.02 - x. Let c = 4.2 + -4.1. Put c, -2, t in decreasing order.
t, c, -2
Let l(w) = 2*w - 17. Suppose -2*v - 11 - 11 = -3*q, 5*q + 4*v = 22. Let o be l(q). Let p be -4 - (-1 - 0/(-2)). Sort -11, o, p in increasing order.
-11, o, p
Let r(a) = -2*a + 10. Let y be r(6). Sort -5, 2, y, 3 in increasing order.
-5, y, 2, 3
Let t = -1133/6 + 189. Let h = -0.07 - 0.23. Let z = -0.8 - h. Sort 3, t, z.
z, t, 3
Let g(k) = -k - 5. Let j be g(-5). Let u be (-1 - -4) + j + -2. Let l = -3 + 5. Sort 2/3, l, u in decreasing order.
l, u, 2/3
Suppose -a + 3*v + 4 = 2*v, 6 = 2*v. Suppose -3*j = -133 - 50. Let t = j + -66. Sort t, 5, a in increasing order.
t, 5, a
Suppose m = 2*m - 4*w + 5, 2*m + 10 = 4*w. Let v(f) = -3*f + 9. Let r(d) = -d + 4. Let j(o) = 5*r(o) - 2*v(o). Let a be j(3). Sort a, -2, m in ascending order.
m, -2, a
Let n = 17/11 - 169/88. Put -0.07, n, -3, -2/3 in decreasing order.
-0.07, n, -2/3, -3
Let q = -599.2 - -599. Sort q, 40, -2 in decreasing order.
40, q, -2
Let g = 38 - 37. Let t be (-10)/12 + 1 + 0/(-2). Sort -2, t, g in increasing order.
-2, t, g
Let u be 33 + 12/2*(-1)/2. Suppose u = k - 7*k. Sort 2, k, 5.
k, 2, 5
Suppose 0*w + 5*w = -35. Let f = -35 + 36. Put f, w, 2 in increasing order.
w, f, 2
Let r(p) = -p**3 - 4*p**2 - 4*p - 2. Let t be r(-3). Let c(h) = -4 + 11 - 2 - h. Let f be c(6). Put -5, f, t in increasing order.
-5, f, t
Suppose 5*x + 85 = -0*x. Let n be (-545)/(-25) + (-2)/(-10). Let c = n + x. Put -3, -5, c in decreasing order.
c, -3, -5
Suppose 2*b + 3*z = -2 + 4, -4*b = z + 16. Let c(u) = 15*u + 46. Let f be c(-3). Sort b, 7, f in descending order.
7, f, b
Let y be (-3 + (-7 - -11))*2. Sort y, -3, -22.
-22, -3, y
Let k be (-24)/60 + 8/(-5). Let i = 30 + -41. Sort i, 3, k in ascending order.
i, k, 3
Suppose -4*t = -4*c - 2*t + 530, 2*t = -c + 120. Let a = c - 126. Let u(p) = p**2 - 8*p + 2. Let l be u(7). Put a, 2, l in decreasing order.
a, 2, l
Let y = -13 - -26. Let x = y + -15. Suppose 0 = -5*g - 20, -4 + 45 = 5*l - 4*g. Put l, 2, x in descending order.
l, 2, x
Let i = 0.4 + -0.1. Let l be (-5)/10*1 + 0. Put l, i, 0 in increasing order.
l, 0, i
Let m be (21/98)/(-1)*(-4)/3. Let v = -0.1 + 0.3. Sort m, -3/5, v in decreasing order.
m, v, -3/5
Let s(b) = -11*b + 4. Let o be s(1). Let k = -8 - o. Put 1, k, -5 in increasing order.
-5, k, 1
Let h(j) = -17*j - 486. Let u be h(-29). Sort u, -0.9, -4 in decreasing order.
u, -0.9, -4
Let c = 78 - 389/5. Put c, -4, 8/13 in increasing order.
-4, c, 8/13
Let x = 94 + -107. Sort -1/7, -2/19, x, -4/7 in ascending order.
x, -4/7, -1/7, -2/19
Let k be 9/12 - (-325)/(-572). Let i = 6 - 1. Sort k, -2, i, 0.3.
-2, k, 0.3, i
Let n = -0.84 + 1.44. Sort n, 2/19, 13 in increasing order.
2/19, n, 13
Let t = 11.363 + -0.063. Sort t, 0.1, -2 in ascending order.
-2, 0.1, t
Let q(o) = 4*o - 11. Let w be q(8). Let l = 23 - w. Let d = -4 - -3. Sort 1/4, l, d in increasing order.
d, 1/4, l
Let q(c) = 10*c + 261. Let g be q(-26). Put g, -68, -3 in decreasing order.
g, -3, -68
Let d = -484.43 + 484. Put d, -5, -4 in ascending order.
-5, -4, d
Let x = -6 + 17/3. Let c = -1.7 + -1.3. Let f = 1.93 + -1.63. Sort c, f, x.
c, x, f
Let w = -54 - -63.6. Let g = w - -37.4. Put 0.5, g, -5/3 in descending order.
g, 0.5, -5/3
Let y be (1 + 2)/(9/12). Suppose 0*u - u - 10 = -2*s, 3*s + u = 10. Suppose -m + 9 = -2*r + 2, 16 = s*m - 5*r. Sort m, y, -2.
-2, m, y
Suppose 2*g + 0*g + 3 = -5*q, g - 2*q - 3 = 0. Let b be 8/(-28)*2 + 540/(-35). Put b, g, 5 in decreasing order.
5, g, b
Let b = -10 + 14. Suppose -5*a + 9 = -4*x, 0 = -4*a - 9 - 3. Let t(d) = d + 3. Let c be t(x). Sort b, c, 3 in increasing order.
c, 3, b
Let b = -2.3 + 2.7. Let m = 48 - 51.95. Let k = -0.05 + m. Put 1/2, k, b in descending order.
1/2, b, k
Let d = -79 - -74. Sort -1/4, d, -2/3 in increasing order.
d, -2/3, -1/4
Let b be (-2 - -1)/(4 - 1). Let r = -1.0779 + 1.3779. Sort r, 1, b.
b, r, 1
Let m(c) = 86*c - 176. Let g be m(2). Sort -3, 1, 10, g.
g, -3, 1, 10
Suppose p - 2*q = -3, 2*p - 7*p - q + 18 = 0. Let v = -4.7 + 5. Let h = -5 - -4. Put p, v, h in descending order.
p, v, h
Let f(c) = 2*c - 7. Let n be f(4). Let g be 0/((-10)/(-4 - n)). Put 5, -3, g in descending order.
5, g, -3
Suppose 0 = 287*h - 271*h + 160. Let t = 13 + -9. Let k = t - 8. Sort h, -1/6, k.
h, k, -1/6
Let o(b) = 6*b - 85. Let s be o(14). Put 46, 2, s in decreasing order.
46, 2, s
Suppose 0 = -3*p + 3*n, 9*n + 12 = 2*p + 10*n. Put 1, -3, p, 16 in descending order.
16, p, 1, -3
Let l = 118/3 + -39. Let m be (-308)/(-55) + (-6 - (4 - 5)). Sort l, -2, m in ascending order.
-2, l, m
Let f = 11/6 + -5/3. Let j = -53 + 54. Let b be j - (58/18 + (-6)/27). Sort b, -1/3, f in decreasing order.
f, -1/3, b
Suppose -4*g = -9*g - n + 23, 0 = 2*g - 4*n - 18. Sort g, -3, -2, 3.
-3, -2, 3, g
Let i = -6/8273 + 16588/57911. Let l = 14 + -22. Let b = -11 - l. Put b, -0.1, i in decreasing order.
i, -0.1, b
Suppose 8 = y - 3*o, -2*o = y - 3 - 0. Suppose 0*m - 5*i = 2*m + 20, 0 = -m + i + 4. Let c be 6 - (4 - (m - -1)). Put -4, y, c in descending order.
y, c, -4
Let z(n) = -n**2 + 9*n. Let b be z(9). Let d = b + 6. Let v = 2 - 6. Sort v, d, 1 in increasing order.
v, 1, d
Let w = 3 - -1. Let v be (w/40)/((-4)/(-5)). Let t = 11 - 11.3. Put t, v, -4 in ascending order.
-4, t, v
Let j = -118 - -122. Sort j, -2, -1/7 in increasing order.
-2, -1/7, j
Suppose 76 = -g - 3*o, 5*g + 7*o = 2*o - 340. Sort g, -2, 4.
g, -2, 4
Let y(i) = i**3 - 6*i**2 - 6*i - 9. Let x be y(7). Sort x, 0, 8.
x, 0, 8
Let u be