+ 64 = -0*m. Let q be m/9 - (0 + -2). Let s = -9 - -7. Sort q, 0, s in descending order.
q, 0, s
Let u = -1043 + 1072. Put 4, u, -3 in descending order.
u, 4, -3
Suppose 0 = 5*j - 5*o, 22*o - 18*o + 20 = -j. Sort -23, -8, j in decreasing order.
j, -8, -23
Let z = -39.6 + 39.531. Sort 3, -1/7, z, -0.2.
-0.2, -1/7, z, 3
Let h be (75/(-6) + 4)*-2. Let p = h - 20. Put p, -4, -2 in decreasing order.
-2, p, -4
Let h = 4.5 - 43. Let b = -39 - h. Put -7, 3, -0.2, b in ascending order.
-7, b, -0.2, 3
Suppose 2*k - 11 = 6*k + f, k - 5*f + 8 = 0. Put 0, -67, k, 2 in descending order.
2, 0, k, -67
Let n(k) = -284*k - 282. Let x be n(-1). Let t be (-2)/5 - (-27)/5. Sort t, x, -5, -2 in increasing order.
-5, -2, x, t
Suppose -g + 34 = 40. Sort 1, 0.2, -3, g in increasing order.
g, -3, 0.2, 1
Let b(m) = 56*m + 670. Let w be b(-12). Let r = 10 - 7. Put -1, w, r in increasing order.
w, -1, r
Let h = 0.08 + 0.02. Suppose 2*m + 4*z = -0*m + 10, -16 = -4*m - 4*z. Let n be (((-4)/(-24))/(1/m))/(-2). Sort n, h, -5 in ascending order.
-5, n, h
Let g = 88.77 + -89. Let r = -0.298 + -0.032. Let z = r - g. Put z, 1/10, -2/3 in descending order.
1/10, z, -2/3
Suppose -3 = -2*p - 1. Let n = 2408 - 2412. Put p, 12, n in decreasing order.
12, p, n
Let u(n) = -3*n - 16. Let c be u(4). Let d = c + 27. Put d, 4, 9 in decreasing order.
9, 4, d
Suppose -85 + 95 = -5*v. Sort -3, -35, v in increasing order.
-35, -3, v
Let t be (-12)/420*65 + 1/(-7). Sort t, 11, 10 in descending order.
11, 10, t
Let d(b) = -b**3 + 14*b**2 + b - 25. Let t be d(14). Sort -7, -4, 5, t.
t, -7, -4, 5
Suppose j + 3 = 4. Suppose -10*r + 15*r - 45 = 5*w, 0 = 5*w - 3*r + 37. Put j, 2, w in increasing order.
w, j, 2
Let z = -101 - -110. Suppose -t + 6 = -d, t - d = 3*d - z. Put 1, t, -5 in decreasing order.
t, 1, -5
Let h = 91.855 - -0.145. Let y = h + -74.8. Let r = 17 - y. Sort -0.3, -2, r in decreasing order.
r, -0.3, -2
Let w = 433 - 431. Sort 24, 1, 9, w in descending order.
24, 9, w, 1
Let w be (2 - 50/15)*3/14. Put -4, 0, 5/3, w in decreasing order.
5/3, 0, w, -4
Let x = -17 - 2. Let y = x + 6. Let v = -14 - y. Sort v, 1, 1.2 in ascending order.
v, 1, 1.2
Suppose 73*j + 561 = 22*j. Put -4, -10, j in decreasing order.
-4, -10, j
Suppose 40 = -11*h + 3*h. Sort h, -0.2, 2/11, -0.07 in descending order.
2/11, -0.07, -0.2, h
Let d be -4 - 11*(-152)/240 - 3. Put 1, 2/3, d in increasing order.
d, 2/3, 1
Suppose -15 = -12*j + 7*j. Let y(b) = j - 5*b**2 - 9*b - b**2 + 7*b**2. Let f be y(9). Sort f, -5, 4.
-5, f, 4
Suppose 0*g = l + 3*g - 5, 0 = -l + 4*g - 16. Put 2, -1, l, 1 in ascending order.
l, -1, 1, 2
Suppose 2*b = -3*r + 38, -b + 5 = -2*r - 0*r. Suppose -b = -3*j - 22. Sort j, -5, -1 in descending order.
-1, j, -5
Suppose 9 = 3*x - 12. Suppose -2*m = -4*i - 18, -i + 5 = 5*m - x. Let s = -0.1 + 0.2. Sort m, s, 1.
s, 1, m
Let u(t) = t - 4. Let w = 10 + -5. Suppose -5*i + 19 = w*c - 1, -4*c = i - 16. Let s be u(i). Put -1, 5, s in decreasing order.
5, -1, s
Let u = -7.997 - -8. Let c = 2.097 + u. Let m = -1.8 + c. Sort -26, m, -3.
-26, -3, m
Let t = 0.268 + 0.232. Sort -0.08, -1, -3, t.
-3, -1, -0.08, t
Let a(n) = n**2 + 18*n + 35. Let u be a(-16). Sort 1, u, -8 in decreasing order.
u, 1, -8
Let m = 32/39 - 2/13. Let q(j) = -j**2 + 17*j - 29. Let x be q(15). Suppose 5*a - v + 3*v = -28, -v + 4 = -2*a. Sort a, m, x in decreasing order.
x, m, a
Let f(c) = -14*c**3 - c**2 + c - 15. Let l(n) = -5*n**3 - 5. Let r(z) = -4*f(z) + 11*l(z). Let x be r(-5). Sort -4, x, 2, 4.
-4, x, 2, 4
Let z be -8*(-6)/(-60) + 2/5. Sort -52, -5/2, 2/3, z in decreasing order.
2/3, z, -5/2, -52
Let d be 2 - ((-1 - 1 - 1) + 3). Let j be (-1)/d - 1 - 55/(-10). Put -2, 13, j in decreasing order.
13, j, -2
Let d be (-1 + 1)*2/(-4). Suppose -3*u - 2*m = -4, -2*m = 5*u - 6 - 2. Let x be u + 5 + (0 - -2). Put -3, x, d in increasing order.
-3, d, x
Suppose -q + 2 = 2*y - 0, 0 = 4*y - 2*q - 12. Let f(z) = 24*z - 1. Let v be f(1). Sort 3, v, -4, y in decreasing order.
v, 3, y, -4
Let n(a) = 2*a**2 + 51*a + 286. Let l be n(-8). Suppose 4 = -3*y - 2*o, 7*o - 13 = 5*y + 4*o. Let x be y/(-4) - 2/4. Put 2, l, x in descending order.
l, 2, x
Suppose k - 13 = -5*n, 11*k - 1 = -n + 10*k. Let b be (-1)/4 + 2/8. Sort 4, b, -4, n in descending order.
4, n, b, -4
Let r(a) = a + 4. Let n be r(-3). Suppose 5*p - 2*z = 2*z + n, -4*p = -3*z. Sort -5, p, -13 in descending order.
p, -5, -13
Let w be 1 - (5/1 - 1). Let v be 0 + -3 + 5 - (1 + 0). Let b be -1*1*-1*-1. Put b, v, w in decreasing order.
v, b, w
Let y(d) = d + 9. Let f be y(-6). Suppose -g = -0 + 5. Put f, 2, g in ascending order.
g, 2, f
Let q(w) = 2*w**2 - 92*w - 95. Let u be q(47). Sort u, 3, 66 in decreasing order.
66, 3, u
Suppose -5*u - 33 = q - u, q = 4*u - 49. Let w be (20/8)/(9/18) + -5. Sort 4, -4, q, w in increasing order.
q, -4, w, 4
Let w(p) = p**2 + 52*p - 286. Let q be w(5). Let c(d) = 5*d - 1. Let m be c(2). Sort m, -3, q in descending order.
m, q, -3
Let f be ((-15)/(-10))/((-12)/(-32)). Suppose 5*v = f*d - 17, 2*d - 2 = v - 1. Put 2, 1, v, 0 in decreasing order.
2, 1, 0, v
Let n = -133 - -133. Sort n, 1, -3, -4 in decreasing order.
1, n, -3, -4
Suppose w + 5*v + 4 = 0, -1 = -3*w - w - 3*v. Let s be (-36)/5 - 7/(-35). Put w, 4, s in decreasing order.
4, w, s
Suppose 0*w + w + 4 = 0, 0 = -r + 3*w + 15. Sort 3/8, r, 0.2, -3.
-3, 0.2, 3/8, r
Let f be -2*(-4)/(-28) + 144/308. Put 3, f, -13 in decreasing order.
3, f, -13
Suppose m - 7 = 8. Let j = m + -14. Sort j, -4, 4.
-4, j, 4
Let y = 0.309 + 0.191. Sort y, 10, 3 in ascending order.
y, 3, 10
Let t = -631/7 - -90. Sort 3/4, 5, t, -1 in decreasing order.
5, 3/4, t, -1
Let s = 9232/13 - 710. Sort -0.5, -0.17, 1, s in increasing order.
-0.5, -0.17, s, 1
Let a = -6 + 10. Let m be 5/1*a/(-10). Suppose -13*p + 9*p + 4 = 0. Sort 4, p, m in increasing order.
m, p, 4
Suppose 0 = 5*o - p, 0 = -0*o + o - 5*p - 24. Let z(l) = 4*l**2 + 1. Let k be z(o). Put 7, -2/11, k, 0.5 in increasing order.
-2/11, 0.5, k, 7
Suppose 3*g = -3*j + 6, -g - 15*j + 6 = -13*j. Sort 5, -3, g, -4 in increasing order.
-4, -3, g, 5
Suppose -15 = -h - 4*h. Let x = h - 1. Suppose 2*r + x*f = 3*r - 1, 5*f = 3*r - 1. Put 0, r, 4 in increasing order.
r, 0, 4
Suppose 4*o = -5*w - 30, 4*o - 12*w + 24 = -14*w. Let b(v) = 3*v + 7. Let s(l) = l + 1. Let i(n) = -b(n) + 4*s(n). Let t be i(6). Sort 0, o, t.
o, 0, t
Let y = 233 - 237. Let z = -13 + 8.8. Let q = z - y. Put 0.05, q, 0.5 in ascending order.
q, 0.05, 0.5
Suppose 0 = -p - d - 3, 0 = -5*p + d - 33. Suppose -c + 2*j - 1 = 0, c - 2*c - j + 8 = 0. Sort p, -5, c in ascending order.
p, -5, c
Suppose 4*q - r = -7, 0*q - q = r - 2. Let f be (0 - 0)/(1 - 0). Suppose 0 = -2*b + 5*w - f*w + 12, b - 2*w - 6 = 0. Sort -2, b, q in descending order.
b, q, -2
Suppose 14*i + 12 = 11*i. Let k be (-1)/(i + 4 - -1). Sort 4, -3, k, 2.
-3, k, 2, 4
Suppose -53*a = 63 + 96. Sort -6.3, 5, a, 0.2.
-6.3, a, 0.2, 5
Let b be 0 - 2*(-1)/2. Suppose 0 = 2*m + 2, 3*n + 0*m = -2*m - 2. Sort b, n, -2 in ascending order.
-2, n, b
Let a = 6743/13 + -519. Sort 0.2, a, 0 in ascending order.
a, 0, 0.2
Let j(x) = 5*x - 21. Let t be j(8). Suppose 4*n - 3*b = -t, 5 = 3*n + 2*b - 2. Suppose -2*u + 6*u = 12. Put u, n, 0 in decreasing order.
u, 0, n
Let l = -0.349 - -0.549. Let z be 63/15*(-1)/3. Sort z, l, -5/6 in increasing order.
z, -5/6, l
Let v = 3.9 + 0.1. Suppose -2*h = 4 - 10. Let s be -4*h/(-18)*-6. Sort v, -5, s.
-5, s, v
Let h = -1.371 - -1.271. Sort -4, h, -2.4, 1 in decreasing order.
1, h, -2.4, -4
Let b = -529 - -528. Sort -24, b, 2 in descending order.
2, b, -24
Let x = -298 - -299. Put x, 0, 4, 6/5 in descending order.
4, 6/5, x, 0
Let h(f) = -6*f**2 - 2*f + 3. Let m be h(-3). Let o be (2/6)/(5/m). Let g be (-3 - o)*3/6. Put g, 5, -4 in decreasing order.
5, g, -4
Let i be 3/(-6)*(-1 - 3). Suppose i = 4*j + 6. Let l = -8 + 12. Sort -2, j, l in decreasing order.
l, j, -2
Let o = -1 - -4. Let s = -60 + 60.076. Let b = s + 0.424. Sort -5, b, o in descending order.
o, b, -5
Let t = 3 + -6. Let q be ((9 + -18)/(-18))/(2/(-8)). Sort -1, 4, t, q.
t, q, -1, 4
Let g(r) = 3*r**2 - 2*r - 3. Let n be g(-2). Let u(a) = a**2 - 13*a + 4. Let v be u(n). Let q be (-1 - -4) + 1*-7. Put q, 2, v in decreasing order.
v, 2, q
Let g = -1/80 - 31/80. Put -0.3, 159, g in ascen