 -2 = -4*z - 5*v, -z - v = -r*v. Put 5, z, d in descending order.
5, d, z
Let i(u) = -u**3 - 3*u**2 + 6*u + 10. Let f be i(-4). Let r = 8 - 3. Put f, r, 1 in decreasing order.
r, f, 1
Let l = 1.91 - -0.09. Let o = l + -4. Put o, -0.05, 4 in decreasing order.
4, -0.05, o
Let d be ((-5)/(-9))/((-15)/(-18)). Put d, -4, 0 in increasing order.
-4, 0, d
Let r(j) = -j**3 + 4*j**2 - 2*j - 1. Suppose 0 = 2*y - 9 + 1. Suppose -m + y*t - 2 = -1, t - 1 = 0. Let z be r(m). Sort -5, z, 5 in decreasing order.
5, z, -5
Let h = -3 + 1. Let n be h/(-6) - 1/(-3). Sort -4/7, 1, n in decreasing order.
1, n, -4/7
Suppose c + c - 10 = 0. Let g be 1 + (2 - (6 + -2)). Let q be -3 - (2 + 0 + g). Put 0, q, c in ascending order.
q, 0, c
Let k(v) = 2*v - 1. Let c be k(2). Let a = 208 + -208. Sort a, -3, c in increasing order.
-3, a, c
Let z(q) = -q**2 - 10*q - 5. Let j be (1 + -2 - -10)*-1. Let g be z(j). Let t = -6.5 - -6. Put g, -3/4, t in descending order.
g, t, -3/4
Suppose -5*p + 1 + 4 = 5*b, 0 = -3*b - 2*p + 5. Suppose 0 = 2*y + 2*y. Sort y, b, 5 in increasing order.
y, b, 5
Let j be 2/14 + 400/(-56). Let f = j - -10. Let i be (6/(-4))/(6/(-16)). Sort f, i, -1 in ascending order.
-1, f, i
Suppose 5*y - 39 = -2*d - 16, -5*y - 1 = -4*d. Let a be 8/28 + 72/(-105). Sort d, -0.07, a.
a, -0.07, d
Let s = -0.1 - -0.2. Let q = -0.1 - s. Let k be ((-5)/9)/(62/12 + -6). Sort q, k, 0.3 in decreasing order.
k, 0.3, q
Suppose 7*g = 3*g + 4*d - 28, -2*d = 5*g + 35. Let n(m) = m**2 + 9*m + 9. Let h be n(g). Sort -1, h, 4.
h, -1, 4
Suppose 2*a - d = a - 39, 2*a + 3*d + 93 = 0. Let o be (1/(-2))/(7/a). Sort o, -4, 0 in descending order.
o, 0, -4
Let h = -1 - -3/2. Sort 2/3, -0.4, h in ascending order.
-0.4, h, 2/3
Let h = -4 + 8. Let d = 3 - h. Let f(o) = o**3 + 5*o**2 - o - 7. Let t be f(-5). Put -4, t, d in descending order.
d, t, -4
Suppose 0 = -0*b + b - 5. Sort 0, -5, b in increasing order.
-5, 0, b
Let u = 0.3 - 0.7. Let z = -1.81 + 1.8. Sort z, -0.5, u in ascending order.
-0.5, u, z
Let n = 0 + 2. Suppose -g = -n - 2. Suppose 4*d = -g + 16. Sort d, -3, -1 in decreasing order.
d, -1, -3
Let s = -21 - -20. Let q = 0.03 + -0.03. Sort s, 1, q in descending order.
1, q, s
Let h = -124 + 138. Sort 2, -3, h in increasing order.
-3, 2, h
Let s(x) = -x**3 + 8*x**2 - 5*x - 14. Let h be s(7). Put 5, -0.1, 0.6, h in descending order.
5, 0.6, h, -0.1
Let n = -57.6 - -64. Let a = -6 + n. Put -0.5, a, -4 in decreasing order.
a, -0.5, -4
Suppose -4*m - 5 = -2*c - 1, -17 = 3*m - 5*c. Suppose 0 = -x + 2 - 4. Suppose 5*z + 7 + 8 = -5*u, u + 4*z + 3 = 0. Sort u, m, x in decreasing order.
m, x, u
Suppose -v + 5*w + 11 = 3*v, w + 7 = 2*v. Suppose 2*s - s = 0, v*l = -s. Suppose l = -3*z + 2 + 7. Put z, 0, 4 in ascending order.
0, z, 4
Let n be ((-4)/1)/4 + 5. Sort n, -1, -5.
-5, -1, n
Let o = -1/40 - -21/40. Let s = 2 - 2. Sort s, 2/5, o.
s, 2/5, o
Let z(k) = k**3 - 21*k**2 + k - 19. Let w be z(21). Suppose 0 = -g - 3*t - 13, -g + 6*t = t - 19. Put 4, g, w in decreasing order.
4, w, g
Let n(m) = m**2 - 3*m + 3. Let s be n(3). Let x = s - 5. Put -3, 0, x in ascending order.
-3, x, 0
Suppose -4 = y, -c - c - 24 = 3*y. Let w be 5/1*c/(-5). Let p = 6 - w. Sort p, 5, 4 in descending order.
5, 4, p
Let j(t) = -t**2 + 10*t + 10. Let y be j(11). Let s = 0 + -5. Put y, s, 5 in ascending order.
s, y, 5
Suppose -4*b = -5*f - 47, -2*b + f + 9 = -10. Suppose 2*t + 6 = -t - 3*a, 4*a = 4*t + b. Sort 1/6, 5, t in decreasing order.
5, 1/6, t
Suppose -12 = x + 2*r + 3*r, 0 = -2*x + r - 2. Let a be -1*(-4 - -2 - -5). Sort x, a, 3 in increasing order.
a, x, 3
Let b be -2 - -4 - (-3 + 3). Suppose -o - o = b. Let u(d) = -d**3 - d + 2. Let z be u(0). Sort -5, o, z.
-5, o, z
Let m(i) = -i**2 + 5*i. Let n be m(5). Sort n, 0.2, -0.4 in decreasing order.
0.2, n, -0.4
Suppose 15 = -3*l - 3*v, -4*v + v = 5*l + 19. Put -1, 2, 5, l in descending order.
5, 2, -1, l
Let d = 29 - 25. Put 2/19, d, -2 in increasing order.
-2, 2/19, d
Let x be (10/(-25))/(4/8). Sort x, -1, -2/11, -3 in decreasing order.
-2/11, x, -1, -3
Let u be 4*((-2)/(-20))/(22/165). Sort 5, 1, 2, u in increasing order.
1, 2, u, 5
Let k = 0.31 + 16.69. Let j = 24 - k. Let a = 6 - j. Sort 3, a, 5 in descending order.
5, 3, a
Suppose -k - 13 = 3*r, -2*k + 4*r + 10 = -4. Let x be (-1)/(-4) + (-50)/8. Let w(m) = m**3 + 7*m**2 + 7*m + 1. Let z be w(x). Put 4, z, k in descending order.
4, k, z
Let o = 11 + -6. Let h = o - 7. Let u be (-8)/(-14)*2/(-4). Sort 0, h, u in decreasing order.
0, u, h
Let v = 13 - 17. Sort 5, v, -3 in ascending order.
v, -3, 5
Suppose 0 = 3*u + 6 - 30. Suppose 0*a - u = 4*a. Put 0, a, -5 in decreasing order.
0, a, -5
Let b be (-21)/7 - 1*-3. Suppose 0 = d - 4*d + 15. Let t = b + d. Put -5, t, 0.1 in increasing order.
-5, 0.1, t
Let z = 2.67 + -2.8. Let v = z + 0.53. Sort -4, v, -2/5.
-4, -2/5, v
Let t = -1 + -5. Let k = -2 - t. Suppose -g = o - 2*g, g - 5 = 2*o. Put o, 1, k in decreasing order.
k, 1, o
Let r = 22 - 16. Let m = r + -10. Put -4/5, m, -3 in descending order.
-4/5, -3, m
Let w(f) = -f**3 + 9*f**2 - 12*f + 8. Let i be w(8). Put i, -4, 4 in increasing order.
i, -4, 4
Let b(w) = w**3 + 8*w**2 - 3. Let h be b(-8). Let u = 3 + -7. Sort 3, u, h in ascending order.
u, h, 3
Let t be 2 - (-2)/9 - 36/162. Sort -36, -5, t.
-36, -5, t
Let h(v) = -v**2 - 6*v. Suppose 24 = -2*w - 2*w. Let p be h(w). Put -5, -3, p in decreasing order.
p, -3, -5
Let k = 30 + -20. Suppose 2 = -4*d - k. Sort d, 2, -2.
d, -2, 2
Suppose -1 = 2*k + 5. Sort 0, k, 4.
k, 0, 4
Let g = 0 + 2. Suppose 0 = 3*l - g*l + 5. Suppose -u - 20 = 5*n, -2*u - 12 = 3*n + 2*u. Put l, n, 2 in descending order.
2, n, l
Let k = 11 - 10. Let o be ((-2)/4)/((-2)/4). Let i be (-40)/(-18) - (3 - o). Sort i, -0.4, k in decreasing order.
k, i, -0.4
Let y(f) = f**2 - 9*f. Let r be y(9). Suppose 0 = -m + 5*m + 8. Sort r, m, 4 in decreasing order.
4, r, m
Suppose 5*q = z - 0 - 6, 5*q = -z - 14. Let a = -3 + 2. Let j = a - q. Sort -1, -2, j in ascending order.
-2, -1, j
Let m be 3 + (-7 - (-2)/(-2)). Put -4, 5, m in decreasing order.
5, -4, m
Let r(c) = c + 8. Let q be r(-5). Suppose 0 = 5*i - 3*k + 12 + 2, -k = 4*i + 18. Let v = i + q. Sort 2, -5, v in increasing order.
-5, v, 2
Let t = 0 + -0.09. Let r = 357.91 + -354. Let c = r - t. Put c, 2/7, 0.5 in ascending order.
2/7, 0.5, c
Let a = -21.8 + 22. Sort 1/3, 1/7, a in decreasing order.
1/3, a, 1/7
Let v be 2*(6/5 + (-8)/40). Put 1, v, -21 in decreasing order.
v, 1, -21
Suppose -11 = 4*h + 1. Let v(g) = 6*g**2 + 3*g - 1. Let y(w) = -7*w**2 - 4*w + 1. Let l(s) = -5*v(s) - 4*y(s). Let c be l(2). Put h, c, 3 in increasing order.
c, h, 3
Let l = 19 + -16. Let i(b) = -b - 6. Let t = -6 - 0. Let x be i(t). Put x, 5, l in decreasing order.
5, l, x
Let i be 80/6 + (-2)/6. Suppose -v + 5 = s, 0*v + i = 5*v + s. Sort -1, v, 5.
-1, v, 5
Suppose -4*m = m. Sort 3, -4, m.
-4, m, 3
Let d = 2411/8 - 301. Let g = -2.92 - 0.08. Sort 0.3, d, g in increasing order.
g, 0.3, d
Let o(v) = v**2 - 3*v - 1. Let w be o(3). Let m = -20 - -22. Suppose -7*p = m*h - 3*p - 18, -3*h + 6 = -p. Sort w, -4, h.
-4, w, h
Let w(x) = x**3 + 7*x**2 - x - 10. Let f be w(-7). Suppose -40*q - 12 = -37*q. Put f, 3, q in ascending order.
q, f, 3
Suppose 4*y + 3*f = 26, -3*y + 7*f - 4*f + 9 = 0. Sort y, -1, -2.
-2, -1, y
Let n = 72 + -70. Let s(v) = 2*v + 1. Let t be s(2). Sort t, 0, n in increasing order.
0, n, t
Let m be (30/(-4))/((-9)/15). Let n = 71/6 - m. Put 4, 6/11, n in increasing order.
n, 6/11, 4
Let n be (-6)/9*(-9)/2. Sort 2, -1, n in decreasing order.
n, 2, -1
Suppose 0*y = 4*y. Suppose -3*p - p - 8 = y. Suppose -c = -1 + 4. Put -1, c, p in decreasing order.
-1, p, c
Suppose -5*w - 2 = -3*w, 0 = 4*r - 4*w - 16. Suppose -4*t + 3*i + 2*i - r = 0, 4*i = 2*t + 6. Sort t, -3, 1.
-3, 1, t
Let r = -4 + 6. Let z = r + -5. Put z, -1, 4 in increasing order.
z, -1, 4
Let l be (-2)/1 - -4 - -3. Suppose -g - c = 4, 0 = -0*g + l*g + 3*c + 10. Let v be ((0 - 0) + g)*1. Sort 4, v, 0 in increasing order.
0, v, 4
Let b be 2 - (-2 - 1 - -3). Suppose 0 = b*o - 0*o - 2. Let y be (-26)/6 + 1 - -3. Sort y, 3/5, o.
y, 3/5, o
Let i = 3.5 + -4. Let j = -0.2 - -0.25. Let t = -0.25 + j. Sort i, 2, t in decreasing order.
2, t, i
Let p be (-406)/(-126) - 4/18. Let w(r) = r**3 + 3*r**2 - 4*r**3 + 2*r**3 -