in increasing order.
-5, 5, l
Let p(y) = y**3 - 8*y**2 + 11*y - 15. Let o be p(6). Sort 0, 1, o in ascending order.
o, 0, 1
Suppose 3*l - 4*b + 24 = -b, 5*l = b - 24. Put l, 3, -1 in increasing order.
l, -1, 3
Suppose 8 = 3*h - 4, 4*s - 108 = 3*h. Let b be 10/2*(-4)/s. Put b, -0.5, -6/7 in increasing order.
-6/7, b, -0.5
Let t be (-2)/6 + 2/6. Let c(s) = -s**2 + 6*s + 9. Let p be c(7). Let b(r) = -r**3 - 22*r**2 - r - 23. Let x be b(-22). Put t, x, p in increasing order.
x, t, p
Let q = -21 + 18. Put -4, -6, q in increasing order.
-6, -4, q
Suppose 3*r = 5*r. Sort r, 4, -2.
-2, r, 4
Suppose 18 = -4*o - 3*i, 0 = 3*o + 3*i + 2 + 13. Sort o, -5, -1 in decreasing order.
-1, o, -5
Let k = 22 + -16. Let b = -5 + k. Put -3, -0.01, b in decreasing order.
b, -0.01, -3
Let b = 22 - 21.6. Sort 0.5, 0.04, -0.5, b in descending order.
0.5, b, 0.04, -0.5
Let w be 3/(-2)*(-22)/55. Sort w, 0.1, 3 in decreasing order.
3, w, 0.1
Let x be (4/6)/((40/(-12))/5). Sort x, -6, 0, 3 in increasing order.
-6, x, 0, 3
Let c be (-4 - 2/(-2)) + 1. Sort 2, c, -5.
-5, c, 2
Let c be (4 + -3)/((-2)/(-14)). Suppose -m = 3*x, -3*m + c*m = 4*x. Suppose 2*z = 8 - x. Sort z, 5, 1.
1, z, 5
Let g(p) = -5*p - 35. Let h be g(-7). Sort 3, 2, h in increasing order.
h, 2, 3
Suppose -6 = 5*y + 4. Suppose -5*r + 8*r = 3. Suppose 5 - 1 = q + a, 14 = 4*q + 2*a. Sort r, q, y in ascending order.
y, r, q
Suppose -3*j = -4*x - 13 - 0, -4 = x. Let i = -6 - -2. Sort i, 0, j in decreasing order.
0, j, i
Let x(v) = v**2 - 11*v - 40. Let q be x(14). Let r = 4 - 0. Suppose -2*k = -r*f - 18, 3*k + q*f = f - 8. Sort -4, k, -2 in decreasing order.
k, -2, -4
Let j(d) = d**2 + 5*d + 5. Let g be j(-4). Let u(p) = -p**3 - 7*p**2 - 8*p - 8. Let t be u(-6). Suppose 5 = -3*w - t. Sort g, w, -4 in increasing order.
-4, w, g
Suppose l + 3 = -1. Sort l, -0.12, -3.
l, -3, -0.12
Suppose 5*s + 0*n = -4*n - 20, 4*s - n = 5. Put s, -4, -2 in increasing order.
-4, -2, s
Let p = 4 + -5. Put p, 2, 4 in descending order.
4, 2, p
Suppose 3*b = 4*x + 28, b + 7 + 9 = -5*x. Suppose -b*i + 0*k + 10 = -2*k, 0 = -i + 3*k. Sort i, -3, 1.
-3, 1, i
Let u = -5 + 3. Let z(h) = h + 2. Let i be z(0). Put u, i, 4 in ascending order.
u, i, 4
Let c = -13 - -14. Let l = 18 + -18. Let y = -15 - -10. Sort c, l, y in descending order.
c, l, y
Let q be 15/(-12)*(-4 + 0). Let t(m) = m + 2. Let o be t(2). Put q, -3, o in descending order.
q, o, -3
Let s = -1.08 - -1. Let n = 14 - 15. Sort -0.5, n, s in ascending order.
n, -0.5, s
Let w be (29/4)/((-1)/4). Let a = 144/5 + w. Sort -0.03, 0.4, a.
a, -0.03, 0.4
Suppose -5*i - 5*a = 12 + 8, 2*i + 4 = 2*a. Sort -1, i, 1.
i, -1, 1
Let z = 4 - 1. Let y = 0 + 1. Let r = y - 1. Sort -3, r, z in descending order.
z, r, -3
Let l = -4.24 + 0.24. Let x = -7 + 7.06. Let u = 2.06 - x. Put u, 1, l in decreasing order.
u, 1, l
Let p = 27 + -30. Suppose 3*g + 3*o = 30, -5 = 3*g - 4*o - 0. Sort g, 4, p in ascending order.
p, 4, g
Let r be (-3)/((-3)/(-10))*1/2. Sort 0, r, -3, 4.
r, -3, 0, 4
Let l(c) = -c**3 - 6*c**2 - 5*c + 4. Let q be l(-4). Let s(t) = -t - 4. Let w be s(q). Sort 0, 1, w.
0, 1, w
Suppose -j - q + 8 = -6*j, 0 = j + 5*q - 14. Sort 2, 3, j, 4 in decreasing order.
4, 3, 2, j
Let c = -7 + 6.7. Let v(n) = 4*n**2 - n + 1. Let k be v(1). Suppose 2*l = l + k. Sort l, c, -2 in decreasing order.
l, c, -2
Let l = 33 - 37. Put -2.8, -0.3, l, -1/6 in descending order.
-1/6, -0.3, -2.8, l
Let d be (-2)/8 + (-299)/52. Sort d, 3, 1, -2 in increasing order.
d, -2, 1, 3
Let k(x) = 12*x - 97. Let b be k(8). Let d = 5 + -8. Put 3, b, d in descending order.
3, b, d
Let c be 4/22 + (-1083)/209. Sort c, -0.4, -1/8 in decreasing order.
-1/8, -0.4, c
Suppose 3*k + 4 = 7. Suppose 3 = 2*h - h. Suppose 3*w - r - 13 = 0, -21 = -3*w - 0*r - h*r. Sort 2, w, k.
k, 2, w
Suppose -2*v + 0 = p - 3, 4*v = 5*p - 15. Let q = -0.0153 - 3.9547. Let d = q - 0.03. Sort -1, d, v.
d, -1, v
Let t = 1 + 3. Suppose -k - 4*o = -14 - 3, -t*k = 5*o - 35. Suppose 5*x - k*a - 5 = 0, -2*x + 13 = -x + 5*a. Sort 2, x, 0 in decreasing order.
x, 2, 0
Suppose -3*n - 4*o = -10 - 22, -o + 13 = 2*n. Let u(h) = -h**3 - 2*h**2 + 3*h + 2. Let q be u(-2). Let g = q + 2. Put n, -5, g in increasing order.
-5, g, n
Let f = -30 - -29. Put 0, f, 1 in decreasing order.
1, 0, f
Let t be 1*(-2)/((-816)/(-683)). Let y = t + 1/136. Sort -4, -2, y in descending order.
y, -2, -4
Let z be 2/((-60)/22) - (-50)/125. Suppose 2*f - 18 = 3*t + t, -7 = 5*f + 3*t. Put f, z, -3 in decreasing order.
f, z, -3
Let r(l) = l**3 + 5*l**2 - 6*l - 3. Let i be r(-6). Let o be 1/3 - 5/i. Let p be -2*((-21)/(-6) + -2). Put o, 0, p in ascending order.
p, 0, o
Let f(x) = x**2 + 3*x + 8. Let t(v) = -v**2 - 4*v - 7. Let j(z) = 4*f(z) + 5*t(z). Let i be j(-7). Put 5, -3, i in decreasing order.
5, i, -3
Let j = 0.5 + 0.5. Let h = -1.5 + j. Put h, -3, 0.1 in ascending order.
-3, h, 0.1
Let l = 20 + -25. Put 4, l, -4/5 in descending order.
4, -4/5, l
Suppose 3*r - 2 = 4*g - 7, -r + 5*g = 9. Let f = 1 - 2. Let w be f + 2 - -4*r. Put w, 2, 1 in decreasing order.
w, 2, 1
Let b = -22 - -21.9. Sort 0.2, -2/11, b in increasing order.
-2/11, b, 0.2
Let a = -2 - -1. Suppose -6 = -3*v - 21. Let p be 2/v - 12/(-5). Sort p, -0.4, a.
a, -0.4, p
Let m = -11 + 11.1. Sort 2/11, m, -4 in ascending order.
-4, m, 2/11
Let c = 1 + 4. Let y = 13 - 14. Sort c, y, -1/3.
y, -1/3, c
Let p(r) = r**2 + 4*r - 8. Let t be p(-6). Let s(g) = g**3 - 3*g**2 - 4*g - 2. Let a be s(t). Put a, -1, -3 in increasing order.
-3, a, -1
Suppose -3*o = -9 - 75. Suppose -v + 5*q = 7, 0 = v - 5*v + 3*q - o. Let w = 10 + v. Sort 5, w, -4.
-4, w, 5
Let a = 25 + -24. Suppose k - 2 = -4. Sort a, 3, k.
k, a, 3
Let j be -1*3 - (-40)/10. Sort j, 5, 2 in increasing order.
j, 2, 5
Let z(i) = -i**2 - 8*i + 1. Let y be z(-6). Let w = 15 - y. Put 4, w, 5 in decreasing order.
5, 4, w
Let g = -0.35 + -0.05. Let q = -0.11 + -0.21. Let t = 0.08 - q. Put t, -0.3, g in ascending order.
g, -0.3, t
Let b = -7 + 4. Let a = b + 2.7. Let v be 28/(-35)*(-2)/(-8). Sort 0.1, a, v in decreasing order.
0.1, v, a
Let o(i) = -i**3 - 23*i**2 - 22*i + 15. Let n be o(-22). Put n, 0, -1 in increasing order.
-1, 0, n
Suppose -4*q + 3056 = -5*y + y, 2*y - 4*q + 1524 = 0. Let d be y/1080 - (-7)/28. Let o = d - -8/15. Sort o, 1, 1/4 in increasing order.
o, 1/4, 1
Let r = -5 - -3. Let c(i) = 4*i + 3. Let u be c(-3). Let w = u + 6. Sort -0.5, r, w in decreasing order.
-0.5, r, w
Let k = 1/11 + -3/11. Let t = -22 + 27. Suppose -2*q - 5*r + 23 = 0, -4*q + t*r = -0*q - 1. Sort q, 1, k.
k, 1, q
Let l be (-1 + -1)/(1/(-5)). Let s be 5/l + 18/4. Suppose 10 = -2*h - 3*h. Put 0, h, s in increasing order.
h, 0, s
Let t = -55 + 61. Put -3, -0.3, t in ascending order.
-3, -0.3, t
Let m = -299/4 + 75. Let x = -9 - -5. Put x, -0.3, m in increasing order.
x, -0.3, m
Let f = 0.245 + -0.045. Sort -0.1, -2, f in descending order.
f, -0.1, -2
Let c be 1*2 + (-6)/(-2). Suppose 0 = -2*h + v + 4, 4*h + h - c*v = 5. Suppose t - h = -0*t. Put t, 0, 1 in ascending order.
0, 1, t
Suppose -5*w + 7*o - 3*o = -9, -5*w + 6 = -o. Let p be 2/12 - (-1)/(-3). Put -1, p, w in decreasing order.
w, p, -1
Let w(u) = -u**3 - 6*u**2 + 7*u - 2. Let r be -3 - -2 - (-36)/(-6). Let o be w(r). Sort -5, o, 1.
-5, o, 1
Let h = 442.91 - 439. Let k = h + 0.09. Let s(c) = -c**2 + 4*c - 2. Let d be s(4). Put d, 2, k in decreasing order.
k, 2, d
Let h = 2.957 - -0.043. Put -2, -0.2, -0.5, h in increasing order.
-2, -0.5, -0.2, h
Let p = 60 + -62. Put -0.2, 4, -0.05, p in increasing order.
p, -0.2, -0.05, 4
Let u = -66 + 74. Sort -1, -4, u, 6 in descending order.
u, 6, -1, -4
Let q(o) = -o - 2. Let h be q(-4). Suppose 5*t + 7 = 27. Sort t, h, 0.
0, h, t
Let n be 4*12/440*-3. Let c = 8/11 + n. Let s(b) = b**2 - 5*b + 1. Let r be s(4). Sort c, r, -0.2 in descending order.
c, -0.2, r
Let l = 9 - 12. Sort -2, 1, l in descending order.
1, -2, l
Suppose -44 = 2*p + 2*p. Let x be 2/(-3) - p/3. Let i(j) = -j**3 + 3*j**2 - j + 3. Let r be i(x). Sort 1, -5, r in descending order.
1, r, -5
Let p be 1/(-4)*-4*0. Sort -1, 2, p in increasing order.
-1, p, 2
Suppose 3*c - 2 = -g, -3*g = -0*g + 3*c - 6. Let u(l) = l**2 - 2*l - 1. Let d be u(2). Sort 1, d, g in decreasing order.
g, 1, d
Let l be 10/3*(-18)/15. Let q(r) = -6*r - 1. Let p(c) = -5*c. Le