 + 0)*-14. Let u = 73/2 + c. Put u, -1, -1/4 in descending order.
u, -1/4, -1
Let u = 28 + -25. Put -0.5, u, 1 in increasing order.
-0.5, 1, u
Let v = -6 - -4. Let i = 80 + -77. Put 2, i, v in increasing order.
v, 2, i
Let s = -67 - -65. Sort 0.4, s, 2, -1 in increasing order.
s, -1, 0.4, 2
Let x(m) = -3 - m**3 + 3*m + 4*m**2 + 4 - m**2. Let s be x(4). Suppose -2*v - 3*r - 6 = 0, -v + 4*v - 1 = -2*r. Sort 1, s, v in decreasing order.
v, 1, s
Let b be (-6 - -5)/((-2)/2). Put 2, 0, b in descending order.
2, b, 0
Let k be 4 + ((-1184)/456)/(2/3). Let h = -0.1 - 0.4. Sort k, -2, h.
-2, h, k
Let z be 5/((7/21)/((-1)/(-3))). Put -2, 0, z in decreasing order.
z, 0, -2
Let o = 1.6 + -0.9. Let x = 0.3 + o. Put 0.2, x, 0.5 in decreasing order.
x, 0.5, 0.2
Suppose 2*t = -2*t + 8. Suppose -t*h = h - 6. Sort h, 0, -4.
-4, 0, h
Suppose -3*x - 2*l = 3*l - 5, -24 = -4*x + 2*l. Suppose t + 12 = x*t. Suppose 0 = s + 4, -2*q + 4*s = t*q - 16. Sort q, 2, 5 in ascending order.
q, 2, 5
Let j(o) = o - 1. Let k be j(5). Let m be (2/4)/((-8)/(-32)). Suppose -2*q = -3*z + 6, 0*q + m*z = -3*q + 17. Sort k, q, 2 in ascending order.
2, q, k
Let m = 21 + -12. Suppose 5*g = -m - 1. Put -1, 5, g in ascending order.
g, -1, 5
Let v = -0.8 + 0.5. Let n be (-56)/9 + 2 + (-4)/(-18). Suppose 3*i + 2 + 7 = 2*j, 4*j - 4*i = 12. Put j, n, v in descending order.
j, v, n
Let u(d) = d**3 - 11*d**2 - 12*d. Let x be u(12). Sort 5, x, -2.
-2, x, 5
Let t = 7 + -3. Let k(g) = -g**3 - g**2 + 9. Let o be k(0). Suppose 4*a = a - o. Put a, t, 3 in ascending order.
a, 3, t
Let b = 0.25 + -0.1. Let s = b + -0.05. Put s, -2, -0.1 in descending order.
s, -0.1, -2
Suppose -4*w = -4*j - 7*w - 3, 5*j + 2 = -2*w. Let b = -3 + -1. Put 1, b, j in descending order.
1, j, b
Let q be ((-6)/4 - 0)*2. Suppose -m = -0*m + 5. Sort 1, m, q in descending order.
1, q, m
Let i be (-9)/2 - (-3)/6. Let p be 0/4 + (-2 - -2). Suppose p*r + 5 = r. Sort r, -3, i in descending order.
r, -3, i
Let v be (-23)/5 - (1 + 3/(-5)). Put 4, 12, 0, v in descending order.
12, 4, 0, v
Let i = 55 - 52. Sort -5, -1, i in decreasing order.
i, -1, -5
Suppose 0 = l - 3. Suppose 2 = -4*h - 6. Let x = -141 - -138. Sort l, h, x.
x, h, l
Let z(g) = -g**2 + 1. Let b be z(1). Suppose 4*i - 6 = 5*y, 2*y + 3*y - i + 9 = 0. Sort y, 5, b.
y, b, 5
Suppose -4 - 10 = 7*t. Let s be (-4)/14 + 32/14. Suppose -4*u = -s*v - 2, -2*v = 2*v - 3*u - 11. Sort t, v, 0 in ascending order.
t, 0, v
Let n(g) = -4*g**3 + g**2 + g - 1. Let z be n(1). Let i = -6/7 + 32/21. Sort z, 3/2, i.
z, i, 3/2
Let d = -2 - 0. Let c = -13 - -12. Let t = d - c. Sort -0.1, t, -3/5 in ascending order.
t, -3/5, -0.1
Let o = 4 - 4.04. Let f = -0.36 + o. Let h = 0.3 + -0.8. Put f, h, 5 in descending order.
5, f, h
Suppose 5*s + 30 = -0. Let w(x) = -x**3 - 15*x**2 - x - 13. Let u be w(-15). Let i be (-11)/u + (-9)/s. Sort 2, i, 3.
i, 2, 3
Suppose -4*z = d - 0 + 2, 2*z = 3*d + 6. Sort -1/5, 4/3, z, 4.
-1/5, z, 4/3, 4
Suppose -h - 2*k = -5, -2*k + 19 = -5*h - k. Let u = -1 - 1. Sort u, 2, h.
h, u, 2
Let t be ((-6)/(-5))/(1/30). Suppose 4*o = o + q - 17, -4*q = -4*o - t. Suppose -2*u = -4*n + 8, -2*n + 2*u = 4*u + 8. Sort 3, n, o.
o, n, 3
Let q(p) = -2*p**2 + 2*p + 1. Let d be q(2). Let f = 2 + d. Suppose 4*x + x + 16 = 3*j, -4*x + 5*j = 18. Sort x, -5, f in decreasing order.
f, x, -5
Let j = 161/704 + -3/64. Let x = -0.0467 - -1.0467. Put j, x, 0 in ascending order.
0, j, x
Let t be ((-63)/(-28))/((-42)/16). Sort t, -1, -5.
-5, -1, t
Let g be (-3)/(-1) - (-2 - -4). Let l = g + -6. Let s = 0 - -3. Put 1, s, l in decreasing order.
s, 1, l
Suppose -4*u = 7*c - 2*c, 4*c + 9 = -5*u. Suppose -j - r = -2, 5*r = -3*j + 9 + 7. Put c, j, 5 in descending order.
5, c, j
Let o(w) = -2*w - 1. Let v be o(-3). Let l = 13.22 - 13. Let x = l - -1.78. Sort v, -2/3, x in descending order.
v, x, -2/3
Let a = 0.67 - 2.68. Let d = -0.01 - a. Put d, -2, 1 in increasing order.
-2, 1, d
Suppose -2*z - 2*u = 2*u - 16, 0 = -z - u + 4. Sort -1, z, 2 in increasing order.
-1, z, 2
Let t(a) = -3*a + 16. Let n be t(7). Let v = -4.8 + 6. Let i = v + -0.2. Sort i, -1/6, n.
n, -1/6, i
Let f = 0 + 2. Let h = 2 - f. Let m = -0.9 + 1. Sort 1, m, h in descending order.
1, m, h
Suppose 0 = 10*k - 8*k + 6. Sort 3, -4, 5, k in increasing order.
-4, k, 3, 5
Suppose 0 = -2*b + 5*b. Let r = 4 - b. Let n = 3 - r. Sort n, -2, 4.
-2, n, 4
Let s(p) = -1 - p - 6 + 1. Let x be s(-8). Let w be (x + -3)*(1 + 0). Sort 0.4, 2/19, w in decreasing order.
0.4, 2/19, w
Let a be (-6)/(-15)*1/(-2). Let v = 3.4 - 3.8. Sort -0.1, v, a in descending order.
-0.1, a, v
Let u = 5.7 - 0.7. Let q = -0.25 - -3.25. Sort q, -2, u in ascending order.
-2, q, u
Suppose h + 2*y = 9, 5*h - 4*y - 1 = 2. Suppose 15 = -h*k + 3. Put k, 3, 0 in decreasing order.
3, 0, k
Let d = 5 + -11. Let g = d - -6. Sort 0.4, g, -2.
-2, g, 0.4
Let a = -0.13 - 0.27. Sort 1/4, a, 0.06.
a, 0.06, 1/4
Let l be -1 + 26/12 + -2. Let i be 17944/(-50) - 3/15. Let h = i + 359. Put h, 0.2, l in decreasing order.
0.2, h, l
Let n = 6 - 6. Let c(r) = 2 - r + n - 3*r**2 - 1. Let a be c(1). Sort a, -2, -4 in decreasing order.
-2, a, -4
Let x(d) = -d**3 + 3*d**2 + d - 2. Let g be x(2). Let m be (-4)/(-16) - 10/8. Sort -2, g, m in decreasing order.
g, m, -2
Let x = -3 + 6. Put x, -3/7, 3/4 in decreasing order.
x, 3/4, -3/7
Let j = -66.2 + 66. Put 1, -0.3, j, -4 in descending order.
1, j, -0.3, -4
Let m = -12 + 14. Let q be (-12)/(-20)*(-5)/m. Put -5, -2/7, q in decreasing order.
-2/7, q, -5
Suppose -5*h - 5*c + 130 = 0, -3 = 5*c + 7. Let v be 7/h + 14/8. Let n(s) = -s**3 - 3*s**2 + 3*s - 1. Let l be n(-4). Put l, v, 4 in descending order.
4, l, v
Let p = -4 - -6. Let m = 26 - 14. Suppose 0 = 5*o - 2*c - 2*c - m, 5*c = -2*o + 18. Put p, o, 5 in ascending order.
p, o, 5
Suppose 5*c + 0 = 2*r - 10, -5*c = -4*r. Let q(v) = v**2 + 5*v + 9. Let x be q(c). Put 3, x, 1 in decreasing order.
x, 3, 1
Let d = 32/57 - -2/19. Let u = 2/169 + 670/507. Put d, u, -4 in ascending order.
-4, d, u
Let o be 0 + 2/8*(-1 + 5). Sort 5, -4, 9, o.
-4, o, 5, 9
Let x = 0.3 + -0.6. Let y = x - -1.3. Sort -1/3, -0.2, y.
-1/3, -0.2, y
Let v = -48.09 + 48. Put 0.3, -0.4, v in decreasing order.
0.3, v, -0.4
Suppose -4*q + 12 = -4. Let h(o) = o**3 + 7*o**2 + 3. Let k be h(-7). Suppose 0*b + 22 = -b - 4*i, 5*b - k*i - 5 = 0. Put b, q, 2 in descending order.
q, 2, b
Suppose -9 = -x - 4*g, -g + 12 + 9 = 4*x. Suppose 17 + 8 = x*m. Let d = -1 - 0. Put m, d, -4 in increasing order.
-4, d, m
Let i = -17 + 16. Let p(u) = -2 + 1 + 0 - u. Let o be p(i). Put o, -5, -4 in descending order.
o, -4, -5
Let b(o) = o**3 + 7*o**2 + 6*o + 6. Let m be b(-6). Suppose -5*a = m + 4. Put 5, a, 2 in descending order.
5, 2, a
Suppose -q - 3 = -7. Let g(a) = -a**3 - 6*a**2 - 6*a - 4. Let x be g(-5). Put -2, q, x in descending order.
q, x, -2
Suppose -h - r - 11 = 0, 7*r = -3*h + 3*r - 32. Put 2, h, -5 in increasing order.
h, -5, 2
Let f = 6 + -10. Let c = -4 - f. Sort 3, c, 14.
c, 3, 14
Suppose 0 = 5*m + 2 - 12. Sort 6, m, -5 in ascending order.
-5, m, 6
Let q = -64 - -94. Sort q, -0.4, -1 in decreasing order.
q, -0.4, -1
Let j = 18 - 18. Sort j, -5, -8 in ascending order.
-8, -5, j
Let r be (-1)/3*-3 + 3. Let q = -7 - -10. Sort r, q, -1 in decreasing order.
r, q, -1
Let c be ((-3)/12)/((-22)/(-16)). Suppose -5*b + 59 = -41. Let r be (b/(-8))/((-2)/(-4)). Put r, c, -3 in decreasing order.
c, -3, r
Let r(q) = -q**3 + 2*q**2 + 6*q - 8. Let v be r(3). Let d be 4*(1/4 - -1). Put d, -4, v in ascending order.
-4, v, d
Let m = -19/18 + 8/9. Put -0.2, -5, m in increasing order.
-5, -0.2, m
Let t be (-6)/(-27) + ((-420)/(-54) - 4). Put t, -2, -1, 1 in ascending order.
-2, -1, 1, t
Suppose 5*q = -1 + 6. Put -3, 0, q, 4 in increasing order.
-3, 0, q, 4
Suppose -5*t = 4*z + 17, -4*z - t = -3 - 0. Let k(c) = c + z*c + 0*c - 2*c. Let r be k(3). Put -1, r, -4 in descending order.
r, -1, -4
Let w = -0.6 - -0.1. Let b = -2.5 - w. Let g be (-11)/(-12) - (-2 - -3). Sort 0.1, b, g.
b, g, 0.1
Let x be 2/(-2) - 22/(-12). Let z be (((-45)/4)/(-5))/((-12)/(-32)). Put x, z, 0.3 in descending order.
z, x, 0.3
Let v be (-1 + 12/9)/(-1). Sort -3/2, 0.4, v in ascending order.
-3/2, v, 0.4
Suppose -4*c = -22 + 10. Suppose 0 = -5*g - 5*w + 5, 7*g = 2*g + 3*w - 11. Sort 2, g, c in ascending