, 3 in descending order.
u, 3, v
Let f(p) = p**3 + 17*p**2 + p - 24. Let g(m) = 2*m**3 + 17*m**2 + m - 25. Let l(b) = 3*f(b) - 2*g(b). Let d be l(17). Put 2, d, 5 in descending order.
5, 2, d
Suppose 4*l - 13 + 5 = 0. Suppose 0 = j - 4*j - 9. Put j, -10, l in descending order.
l, j, -10
Let x = -11 + 5. Suppose 0 = 4*n - m + 84, 3*m = n + 11 - 1. Let u = n + 24. Sort x, -1, u in decreasing order.
u, -1, x
Let d be (-6)/9*(-4 + -2). Let w be (d/(-3))/(-4)*9. Let m = 107/2 + -1181/22. Sort 0.4, w, m.
m, 0.4, w
Let h(y) = -6*y**3 + 9*y + 7. Let f be h(-2). Let l be (-1)/((2/3)/(-2)). Sort f, 4, l in increasing order.
l, 4, f
Let q = 48 - 50. Let h = 99 - 95. Put -0.2, h, q in descending order.
h, -0.2, q
Let j(d) = -d**3 + d**2 + d + 2. Let c be j(2). Suppose 7*i = -28 - c. Sort 3, -1, i.
i, -1, 3
Let j = 762 - 759. Suppose 5*u = 3*z + 15, -u - 6*z = -4*z - 16. Put u, j, -2, 5 in decreasing order.
u, 5, j, -2
Suppose -d = -3*w - 0 + 7, -d = 5*w - 17. Suppose -i - 5*s = -2, w*s = 2*i - 1 - 3. Suppose 0 = l + 6 - 2, 2*l + 11 = -t. Put t, i, -2 in increasing order.
t, -2, i
Let u(g) = g**2 - 2*g - 5. Let t be u(4). Let w be t*(30/9 + -3). Let l(y) = -6*y + 1. Let s be l(w). Sort s, 4, -0.1 in increasing order.
s, -0.1, 4
Let k(v) = 3*v**2 - 22*v - 22. Let n be k(8). Put -3, -2, 3, n in decreasing order.
3, -2, -3, n
Let o(y) = 3*y**3 + 2*y**2 - 2*y - 2. Let w be o(-2). Let r = 21 + w. Let k = r + -2. Sort -5, k, -2 in decreasing order.
k, -2, -5
Let b be 6/4*(-24)/27. Let y = 317 - 318. Sort b, y, -2/11 in decreasing order.
-2/11, y, b
Let m = 5.5 - -19. Let p = m - 25. Put p, 0.2, -2 in descending order.
0.2, p, -2
Let d be (-4)/(-10)*5 - -18. Let g be (-285)/d - (-3)/12. Let s = -18 - g. Put 0, s, -2 in ascending order.
s, -2, 0
Let a(c) = -c**3 - c**2 + 3*c - 1. Let q be (-5 + 4)*(-1 - 1). Let f be a(q). Let w = -179 - -175. Put f, 1, w in descending order.
1, w, f
Let h(o) = 2*o**2 - o**2 + 1 + 2*o + 2*o + 0*o. Let t be h(-6). Suppose -4*s = 3 + t. Put 1, s, 0 in ascending order.
s, 0, 1
Let t(y) = -y**2 + 12*y - 16. Let i be 1/3 + ((-44)/(-3) - 4). Let x be t(i). Suppose 3*a - 3 = 0, 4*b - 8*a + 4*a + 20 = 0. Put x, b, 8 in ascending order.
x, b, 8
Let m = -0.0392 - -2.0392. Let f = 5 - 5. Suppose 2*k + 4 = -f. Sort k, m, -2/5 in ascending order.
k, -2/5, m
Let r = -5 + 9. Suppose 5*a - a + 4 = 0. Suppose -55 = -3*i - 46. Sort a, i, r in ascending order.
a, i, r
Let c be ((-63)/(-35))/((-9)/(-105)). Suppose -5*k - 3*g + c = 0, -2*k + 3*g - 4*g + 8 = 0. Sort 2, k, -14 in increasing order.
-14, 2, k
Suppose 28*a = 24*a - 4. Sort 5, a, -19, 0 in descending order.
5, 0, a, -19
Let n(s) = 5*s**3 - 29*s**2 - 5*s - 5. Let p be n(6). Sort p, -5, -0.13, -4/5 in descending order.
p, -0.13, -4/5, -5
Let d = 8.052 + 0.948. Sort d, 0.6, -2/3 in increasing order.
-2/3, 0.6, d
Let t(c) = 3*c. Let n be t(1). Let x be (0/(-1))/(12/(-6)). Sort n, -5, x in ascending order.
-5, x, n
Suppose 9 + 11 = -5*l. Sort 0.5, 1, -0.63, l in decreasing order.
1, 0.5, -0.63, l
Let k(m) = 4*m**2 - 16*m + 4. Let s be k(4). Put -7, -4, 7, s in descending order.
7, s, -4, -7
Let d be (-10)/6 - -1*1. Suppose 126*q - 5*n = 128*q + 41, 0 = -q - n - 10. Sort q, -0.3, d, 0.23.
q, d, -0.3, 0.23
Let k be (1 - (-7)/(-9)) + 40/225. Let g = 13/20 - k. Sort -1/2, 3, g, -3 in descending order.
3, g, -1/2, -3
Let x(q) = q**3 - 3*q**2 + 6*q - 3. Let o = 4 - 2. Let n be x(o). Sort n, -0.1, 0.5, -1/9 in descending order.
n, 0.5, -0.1, -1/9
Let p be 1098/42 + -2 + (-39)/(-21). Let u = p + -26. Put u, -5, 8 in descending order.
8, u, -5
Let g = -0.1 + 0.36. Let x = g + -0.46. Sort x, 2/31, -2/7.
-2/7, x, 2/31
Suppose -5*d = -3*y + 15, 3*y - 4*d = -0*d + 12. Suppose r - s - 8 = 0, y*r = r - 4*s - 23. Sort -3, r, -2 in descending order.
r, -2, -3
Suppose 0 = -2*b - 3 - 3. Suppose 0 = -17*n + 22*n - 3*d - 30, 5*d = 2*n - 31. Sort -1, -4, n, b.
-4, b, -1, n
Let w(x) = 3 - 2 + 2*x**2 - x**2. Let c be w(2). Suppose 3*h + 3 = 4*v, -6*h + 2*v = -4*h. Put c, h, 1 in descending order.
c, h, 1
Let y = -9 + 14. Let t be -1*4 + 129 + -122. Put -1, 1, t, y in decreasing order.
y, t, 1, -1
Let h(c) = c**3 - 20*c**2 + 19*c + 1. Let y be h(19). Suppose 0 = -j + 2*j - 2. Sort y, -2, j.
-2, y, j
Suppose -1 = 5*a + 9. Let o = 52 - 52. Sort o, a, -4.
-4, a, o
Suppose 0 = -3*u - 5*y + 25, -2*u + 4 = -7*y + 4*y. Suppose -4*g + 12 = 4*f, 2*g + 2049 = -5*f + 2070. Put g, u, 1, 4 in descending order.
u, 4, 1, g
Let n(s) = -7*s - 3. Let y be n(-2). Suppose -y*w + 16*w = 0. Suppose w = 3*l - 3. Put -1, l, 0 in decreasing order.
l, 0, -1
Let m = 588 + -592. Put m, 22, -3, -6 in increasing order.
-6, m, -3, 22
Let y be (-2)/(-3) - (224/12)/(-14). Sort 13, y, -3, -2 in ascending order.
-3, -2, y, 13
Let s be 3/1 - 2*(0 - -1). Let v = -2.7 - -7.7. Put 5/2, s, v in decreasing order.
v, 5/2, s
Suppose 29 = 7*h + 8. Suppose h*u - f - 8 = 0, 5*u - 3*f = -2*f + 16. Sort u, -32, -1 in ascending order.
-32, -1, u
Let k = 3 - 6. Let u(y) = 19*y - 39. Let p be u(3). Let r be 1/k - 3/p. Put 1/6, 7, r in decreasing order.
7, 1/6, r
Let p = 29 - -2. Let h = -27 + p. Sort h, -1, -0.1 in decreasing order.
h, -0.1, -1
Let n = -0.13 - -0.43. Let a = 2.53 - 2.4. Let v = a + -0.13. Sort n, 4, v in increasing order.
v, n, 4
Let v be (-4)/(-14) + 20/(-315). Suppose -b + 11 = -4*a, -3*a - 10 = -4*b - 4*a. Let q = -90 - -90.5. Sort v, q, b in ascending order.
v, q, b
Let o = 0.06 - 1.06. Let i = -138/11 - -1264/99. Let j = 785/28 - 111/4. Put j, i, o in ascending order.
o, i, j
Let q = 390.2 - 390. Put -3, 2, q, 3 in descending order.
3, 2, q, -3
Suppose 4 = 7*o - 31. Let l(x) = 5*x - 30. Let h be l(o). Let a(r) = -r**2 + 6*r - 6. Let p be a(5). Put 5, p, h in descending order.
5, p, h
Suppose -27*y = 150 - 15. Suppose 2*d = 3*l - 5*l, 3*l = 3*d + 24. Put 3, y, -2, l in descending order.
l, 3, -2, y
Suppose 3*d = 2*b - 5, 2*b = -9*d + 7*d - 20. Let r(g) = 11*g + 56. Let q be r(b). Put 5, q, 0 in decreasing order.
5, q, 0
Suppose -7*q = -2*q - 5. Let g(x) = -x - x**3 + q - x**2 - 1. Let h be g(-1). Sort -1/6, h, -5.
-5, -1/6, h
Suppose 18 = -120*m + 126*m. Let x(w) = w + 2. Let f be x(-2). Sort f, m, -8.
-8, f, m
Let i be -8 + (-1190)/(-56) + -13. Sort i, 2/11, 1/5, -2/29.
-2/29, 2/11, 1/5, i
Let i(v) = 2 + 4*v - v + 22*v**3 - 24*v**3. Let z be i(-1). Let j be (-78)/(-18) - (-2)/(-6). Put j, -0.3, z in descending order.
j, z, -0.3
Suppose 0 = p - 3, -2*u - 2*p = 3*u - 46. Let j = 8 - u. Suppose -l + 2 = 5. Sort 2, j, l in descending order.
2, j, l
Let d = 499.7 + -503. Sort d, 1, 4, -2/17.
d, -2/17, 1, 4
Suppose -5*d + 25 = -5*t - 2*d, 0 = 4*t + 5*d - 17. Suppose 0 = 9*i - 2*i - 7. Sort t, -8, i.
-8, t, i
Let j = -122.3 - -113.3. Sort -2/11, j, -11.
-11, j, -2/11
Let u(n) = -n**3 + 18*n**2 + 39*n + 24. Let g be u(20). Sort 2, 46, g in descending order.
46, g, 2
Let x = -28 - -106. Let a be (-4)/(-1) - x/24. Put a, -0.2, -5/3 in increasing order.
-5/3, -0.2, a
Let t = -4/13 + 72/65. Let g = 127 - 1399/11. Sort t, g, -9 in increasing order.
-9, g, t
Suppose 5*a = -1 - 9. Put 3, a, 0, -1 in ascending order.
a, -1, 0, 3
Let k = -0.8 + -0.2. Let g be (-1 - (0 - 2)) + -1. Suppose 37*w - 22 = 52. Put g, k, w in decreasing order.
w, g, k
Let j(b) = 12*b + 4. Let c be j(-1). Let q(d) = d**2 + 7*d - 10. Let z be q(c). Sort z, -1, -3, 1.
-3, z, -1, 1
Let i be (-26)/(-6) - (-1)/(-8 - -5). Sort -4, 2, i in ascending order.
-4, 2, i
Suppose o + 17 = -3*p, -2*p + 3*o - 16 = -12. Put p, 9, 2, 5 in descending order.
9, 5, 2, p
Let x = 6 + -12. Suppose 148*s - 317 = 32*s + 147. Sort x, -2, -4, s.
x, -4, -2, s
Suppose 5*z + 4*s = 75, 2*z - s - 13 = 4. Sort 12, -3, z in decreasing order.
12, z, -3
Let c = -14.2 - -14. Let w(u) = -u - 6. Let q be w(-3). Sort q, c, 0.4, 2 in increasing order.
q, c, 0.4, 2
Suppose 0 = -2*d + 1 + 53. Suppose 0 = 3*x + 5*t - d, 4 - 39 = -5*x - 5*t. Let h(s) = 2*s**2 - 2*s - 1. Let f be h(-1). Sort -3, f, x in descending order.
x, f, -3
Let f = 0.1 + 0.8. Let d = 57 + -26. Let g = d + -33. Sort g, f, 0.5 in increasing order.
g, 0.5, f
Let j = -179.6 + 180. Put 2/141, j, -2/3 in decreasing order.
j, 2/141, -2/3
Suppose 0 = -3*k + 3*m + 3, -k + 2*m = -m + 3. Suppose -y + k*y + 90 = 0. Let g be (-6)/y - (-1)/(-3). Sort -4, 1, g in descending 