ending order.
q, 0, -4
Let p = 15.4 + -10. Let z = -5 + p. Let h = -0.053 - 0.047. Sort -3/8, h, z in ascending order.
-3/8, h, z
Let s(o) = -o**2 + 5*o - 1. Let h be s(4). Suppose -2*p = -5*m + 2, -p + 0*m + h*m = 2. Put 0, p, -2 in decreasing order.
p, 0, -2
Suppose -16*g = -6*g - 40. Let n(s) = s. Let z be n(2). Sort -3, z, g in decreasing order.
g, z, -3
Suppose 2*p - 4 = 3*m, -5*p - 5*m + 10 = -25. Suppose -3*d = -4*x + 11, 4*x + 2 = -2. Put 2, p, d in descending order.
p, 2, d
Suppose 0*n - 3 = -n. Let u = 6 - n. Suppose 0 = -x - 5*d + 14, u*x - d - 14 = -x. Sort -2, x, 5 in ascending order.
-2, x, 5
Let n(x) = x**3 - 3*x**2 - 3*x + 1. Let a be n(4). Let b be (-9)/(-2)*8/(-12). Let h be -1*(2 + -3 + 0). Sort b, a, h in decreasing order.
a, h, b
Let y be 8/24 - (0 + (-39)/(-9)). Put -21, -1, y in descending order.
-1, y, -21
Let b = 5 + -5.08. Let x = -0.22 + b. Let m = -0.1 - -0.6. Put m, x, 3 in decreasing order.
3, m, x
Let y = 1 - 1. Let l = 10 + -4. Let f = -10 + l. Put f, y, 5 in decreasing order.
5, y, f
Let i = 104 - 109. Put -16, -1, i in decreasing order.
-1, i, -16
Suppose 6*t - 66 = 8*t. Put t, 5, 0, -2 in ascending order.
t, -2, 0, 5
Suppose n = -0*n - 3*h - 4, -3*h = 5*n - 4. Suppose 0 = u - n*u + 1. Sort -10, -5, u in decreasing order.
u, -5, -10
Let j = 2 - -4. Let x = -9 + j. Sort -1, -3/5, x in ascending order.
x, -1, -3/5
Let k(i) = -i**3 - i**2 + i + 2. Let w be k(0). Let t be ((-3)/9)/(((-30)/4)/(-5)). Sort w, 3, t in decreasing order.
3, w, t
Let u = -662/1561 + -1/223. Suppose 2*j - 4*j + 24 = 0. Let d = 7 - j. Sort -2, u, d in increasing order.
d, -2, u
Let h(j) = -j**3 - 3*j**2 - 2*j - 1. Let w be h(-2). Let t = -183/5 + 186/5. Put 0.5, w, t in ascending order.
w, 0.5, t
Let z(q) = -q**3 - 2*q**2 - 3*q - 1. Let v be z(-2). Let k = -6 - -1. Sort 4, k, v in descending order.
v, 4, k
Suppose -2 + 6 = 2*t. Sort 16, -2, t in increasing order.
-2, t, 16
Let v(h) = -h**2 - 5*h + 9. Let r be v(-7). Put r, 3, 4 in increasing order.
r, 3, 4
Suppose -4*y = -2*y + 2*p, 0 = 3*p + 9. Let f = 8 - 4. Let j be ((1 - 3)*1)/(-18). Sort f, j, y in increasing order.
j, y, f
Let w = 10 + -7. Sort 1, w, -3, -4 in ascending order.
-4, -3, 1, w
Suppose -2 - 2 = -2*r - m, 5*r = 3*m - 12. Let q(h) = -h**2 - 6*h - 6. Let a be q(-5). Put a, r, 5 in ascending order.
a, r, 5
Let d = 9 - 9. Suppose d*b + 2 = 2*b. Sort 3, -4, b in increasing order.
-4, b, 3
Let r = -254/329 + -4/47. Put r, 2, 9 in decreasing order.
9, 2, r
Let a(m) = m**3 - 9*m**2 - 12*m + 15. Let r be a(10). Let u = r - -6. Suppose 3*y + u - 6 = -4*x, -3*y = 2*x + 5. Sort -4, 3, y in descending order.
3, -4, y
Suppose 5*g + 2 = -8. Suppose -3*j + 1 = 16. Sort -1, g, j in ascending order.
j, g, -1
Let f = -43.5 + 43. Put f, -5, -3, 3 in decreasing order.
3, f, -3, -5
Let m = 90/17 - 1024/187. Let s = 8 - 17. Let p be (8/(-6))/((-3)/s). Put m, 5, p in increasing order.
p, m, 5
Let k(a) = 4*a - 24. Let v(z) = -z + 8. Let p(h) = -2*k(h) - 7*v(h). Let y be p(-7). Let w be ((-3)/(-18) + 0)*y. Sort 0.2, w, -2 in decreasing order.
0.2, w, -2
Let b = -6 + 7. Let z be 9 + -8 - b*5. Sort z, -3, 5 in descending order.
5, -3, z
Let k = -11.87 - -12. Let v = 1.13 - k. Sort -1/4, -0.2, v in ascending order.
-1/4, -0.2, v
Let k be 0*(0 + -1) + 6. Suppose -6*c + 8 + 40 = 0. Let j = k - c. Put 2, j, 4 in ascending order.
j, 2, 4
Let j(y) = 2*y**2 - 3*y. Suppose -7*f + 6*f + 2 = 0. Let l be j(f). Let t(g) = -g**3 + 3*g**2 + 4*g + 4. Let d be t(4). Sort d, 5, l in increasing order.
l, d, 5
Let d(b) = b**3 - 6*b**2 - 6*b - 3. Suppose 2*z - k - 9 = -6*k, -5*z = 3*k - 32. Let r be d(z). Put 2, r, -4 in ascending order.
-4, 2, r
Let m = -0.04 - 3.96. Sort -0.3, 1, m, 1/12 in decreasing order.
1, 1/12, -0.3, m
Let c = -5 + 6. Let v = 11 + -12. Sort v, c, 5.
v, c, 5
Let a = -0.06 + 2.06. Let v = a - 4. Let t = 0.265 + 0.035. Sort v, t, -3.
-3, v, t
Let h = 8 - 14. Let i be 4/h*-3*2. Let l(a) = a**2 - 2*a - 3. Let r be l(i). Put 3/2, r, 0.4 in decreasing order.
r, 3/2, 0.4
Let i = 1.12 - 0.12. Let h = 0 + 0.5. Put i, h, 2/7 in decreasing order.
i, h, 2/7
Suppose -3*l + 6 = -0. Let u be (15 - 0/2) + 2. Suppose -8*w + 3*w + 2*x = u, -5*w - 16 = -x. Put 5, l, w in descending order.
5, l, w
Let i = -0.1 - -0.2. Let d = i - 0. Sort -2/9, 4, d.
-2/9, d, 4
Let w = 60 + -39. Let v be 4/(-14) - 57/w. Put 2, v, -4 in decreasing order.
2, v, -4
Suppose 0 = 5*d - r, d - 2*r - 8 = -d. Suppose -4*h - 12 = 4*m, 5*m + 15 + 5 = 0. Suppose v - 5 = -h. Sort v, d, 5 in ascending order.
d, v, 5
Let h(p) = -p - 3. Let n be h(-6). Suppose 8*z + 25 = 3*z. Sort n, 5, z.
z, n, 5
Let f = -118 + 120. Sort 1, 0, f.
0, 1, f
Suppose -5 = -4*r + 43. Suppose 0 = -5*x + 2*x - 5*y + 22, 3*x = -3*y + r. Sort 1, 4, x in decreasing order.
4, 1, x
Let t be -4*1/(-16)*4. Sort t, 0, 4 in ascending order.
0, t, 4
Let n = -7 - -11. Put 5, n, -5 in decreasing order.
5, n, -5
Let i = 48 - 74. Let u = -28 - i. Sort 1/2, -2/3, u in ascending order.
u, -2/3, 1/2
Let c be -1 - 2/(-3)*9/6. Suppose -3*u + 5 = 2*u. Let s = u + 0. Put c, s, -1 in descending order.
s, c, -1
Suppose -2*v = 4*u - 124, -4*u + 4*v - 13 + 149 = 0. Sort -1, u, -3 in increasing order.
-3, -1, u
Let n = -28 - -33. Sort 0, -5, n in descending order.
n, 0, -5
Let p = 89 + -84. Sort -3, 4, p.
-3, 4, p
Let p be 2/6 + 4/(-20). Sort 1/2, 3/7, p in decreasing order.
1/2, 3/7, p
Let b = -100 + 103. Let f = 11 - 6. Sort 0, b, f in increasing order.
0, b, f
Suppose -6*m - 97 = -103. Let k(d) = d - 3. Let y be k(6). Sort y, m, 0.
0, m, y
Let o be (-14)/(-4) - (-1)/(-2). Let h = 3 - o. Sort h, 2, -3.
-3, h, 2
Let y(l) = -l - 7. Let j be y(-4). Put -5, j, -1 in increasing order.
-5, j, -1
Let u be (-4 - -3)/(3/(12/(-22))). Sort u, -1/7, 2/5.
-1/7, u, 2/5
Let g = 8.97 + -9. Let f = -0.53 - g. Sort -5, 3, f in increasing order.
-5, f, 3
Let k = 4.2 + -4.1. Sort k, -0.4, 3/8 in increasing order.
-0.4, k, 3/8
Let p = 9 - 15. Suppose -2*r - 1 = -0*r - v, 0 = 4*r + 5*v - 19. Sort 3, r, p in decreasing order.
3, r, p
Let f be 4/18 - 14/(-18). Let m = -5 - -4. Let d = m - -5. Sort -1, d, f in decreasing order.
d, f, -1
Let j = 18 - 19. Sort j, -0.4, -0.2.
j, -0.4, -0.2
Suppose -10 = -2*r + a + a, -r - 2*a - 1 = 0. Suppose -u + 2*i = 17, -14*u + 5*i - 38 = -12*u. Put r, u, -3 in decreasing order.
r, -3, u
Let j = 10 - 14. Let a be (-1 - 0)/(1/23). Let w be a/5 + 20/(-50). Put j, w, 1 in ascending order.
w, j, 1
Let j = 7.5 + -7. Let p = -0.3 - -0.4. Let a = 0.8 + 0.2. Sort a, p, j in increasing order.
p, j, a
Let l be -1 + 10/(3 + -1). Suppose -2*k = -l*k + 6. Let u be 0/(k/6*2). Put u, -1, 1 in ascending order.
-1, u, 1
Suppose -5*v - 4*u - 11 = 0, v + 5*u + 15 + 4 = 0. Let p be (2 + 0)*v - 0. Sort p, 5, -1 in descending order.
5, p, -1
Let q be (4/38)/(-1 - 0). Let p be 1*3*(-9)/45. Let m = 2.9 - 2.6. Put p, m, q in decreasing order.
m, q, p
Let h(d) = -d**2 - 12*d. Let i(p) = 4*p + 4. Let o be i(-4). Let v be h(o). Sort 5, -1, v in decreasing order.
5, v, -1
Suppose m - 4 - 5 = 0. Let n be -8*m/(-6)*1. Let s = n - 47/4. Sort 2, 2/11, s.
2/11, s, 2
Let l = 6.1 - 6.4. Let x = 0.04 + 1.96. Put l, -0.2, x in descending order.
x, -0.2, l
Let b be (0 - -1) + -2 + 2. Let j be (2/(-4))/(6/(-24)). Sort j, b, -4.
-4, b, j
Let w = 7 + 2. Suppose 2*a = -y - w, 3*y + a + 5 = 2*y. Sort -2/21, 2/9, y in descending order.
2/9, -2/21, y
Let t = -0.62 - -0.22. Put 5, -0.3, t in increasing order.
t, -0.3, 5
Suppose 0 = -0*h - 3*h + 2*j - 120, -80 = 2*h + 3*j. Let l be 7/4*h/(-28). Let b = -0.2 - -0.2. Sort l, b, 4.
b, l, 4
Let n = -5.4 + -0.6. Let o = n - -3. Let x = o + 3.2. Sort x, -0.1, 1.
-0.1, x, 1
Let k be 1 + 24 + (-2)/1. Let c = 38 - k. Suppose -2*m - 3*m = c, 0 = -5*t + 4*m - 13. Sort 1, t, -1 in increasing order.
t, -1, 1
Let b = 3 + -6. Let l = -64.8 + 65. Put l, b, 1 in increasing order.
b, l, 1
Suppose -7*v + 3*v = -16. Let z = 27 + -57/2. Sort v, 3/7, z in descending order.
v, 3/7, z
Let m(v) = 0 - 7*v + 8*v + 5. Let w be m(-7). Let g be (-3 - -2 - w) + -3. Put g, 1, -5 in decreasing order.
1, g, -5
Let r = 0.8 - 1. Let x = 0.2 + r. Let u = 7 + -6.7. Put x, 0.1, u in increasing order.
x, 0.1, u
Let d(v) = v**2 - 8*v + 6. Let y be d(7). Put -1/8, -0.2, y in decreasing order.
-1/8, -0.2, y
Let z = 39 - 