t i = x - 3. Sort -4, 1, i in decreasing order.
1, i, -4
Let i be 4/((-1)/(-3)*3). Put -0.2, -2/5, i, 0.5 in descending order.
i, 0.5, -0.2, -2/5
Let k(u) = u**3 + 4*u**2 + 4*u + 2. Let s be k(-2). Suppose 0 = 9*m - 5*m - 16. Sort m, s, -4 in ascending order.
-4, s, m
Suppose 21 = 5*d + 3*k - 9, -2*d + 12 = -2*k. Let m be d + 1/(-1 - 0). Sort 2, m, 0 in descending order.
m, 2, 0
Suppose d = 2*l - 1, -7 = 3*d + 2. Let f be -1*(-2 - l) - 3. Sort 2/15, f, 2/5.
f, 2/15, 2/5
Let b be (0 - 1) + -6 + 9. Suppose -5*u + 11 = -3*j, 6 = 4*u - 2*u - b*j. Put 4, u, 5 in increasing order.
u, 4, 5
Let i = -2.63 + 7.57. Let h = i + 0.06. Let w = 6 + -3. Sort w, h, -5.
-5, w, h
Let d be (3 - 2) + 9 + 0. Let v(f) = -10 + d - f. Let s be v(2). Put 2, s, 1 in decreasing order.
2, 1, s
Let r be 6/14 + (360/(-21))/5. Sort r, -8, 0.
-8, r, 0
Let w(z) = z**2 - 3*z. Let a be w(3). Let d = -1.4 + 3.4. Put d, a, -4 in ascending order.
-4, a, d
Let p be (-1)/1*1/63. Let g = -4782523/20097 + 6906/29. Let y = p - g. Put -2/3, y, -1 in decreasing order.
y, -2/3, -1
Suppose 0 = -c - 5*n + 17, 2*n = 3 + 3. Let u = 2 + -3. Put u, -0.4, c in descending order.
c, -0.4, u
Let b = 11/21 - 1/42. Let h = 314 - 4084/13. Let l be 6*1 + 1/(-1). Put h, l, b in decreasing order.
l, b, h
Let w(q) = -q**2 + 0*q**2 + q**3 - 3*q**2 - 5*q. Let z be w(5). Let r be (z - (-48)/27) + -2. Sort r, 5, -2/17.
r, -2/17, 5
Let h = 2.3 - 2.26. Let y = -0.36 - h. Put 4, y, -0.2 in increasing order.
y, -0.2, 4
Let d be (2 + -3)*2 - -11. Suppose 5*u - 2*u = y - d, 0 = 3*u + 3*y - 3. Put u, 1/4, -3/2 in ascending order.
u, -3/2, 1/4
Let x = 59/288 + -3/32. Put 3, x, 2/9 in decreasing order.
3, 2/9, x
Suppose -2*m + 4 = -4*s - 2, 3*s = -5*m + 28. Let k(v) = v + 1. Let q be k(-2). Sort q, m, -2 in decreasing order.
m, q, -2
Suppose -p = -4*p - 6. Let d be 0*(1 + 0/p). Let q = -47 - -48. Put -1/7, q, d in ascending order.
-1/7, d, q
Let q = -2.32 - -2.02. Let d = -61/2 - -31. Sort q, -2/7, d in descending order.
d, -2/7, q
Let d = 1 + -1. Suppose 0 = 4*g + 3*p + 8, d*g - 3*p = -4*g - 8. Put 5, -1, g in ascending order.
g, -1, 5
Let v be (-2)/(-8)*-2*3. Let m = 5.8 + -5. Let a = 0.6 - m. Sort v, 3, a in descending order.
3, a, v
Let d = 0.05 + -5.05. Suppose 7*t - 2*t = 10. Suppose 0*v = -2*v + t. Sort -2/15, v, d in decreasing order.
v, -2/15, d
Let p be (4/(-3))/(-2)*90/(-12). Sort 4, -9, p in descending order.
4, p, -9
Let n = 36 + -35. Sort -5, -3, n, 2.
-5, -3, n, 2
Let k = 3 - 3.01. Let a = 3.349 + -0.359. Let y = k - a. Sort y, 0.2, 3 in increasing order.
y, 0.2, 3
Suppose 10 = -46*d + 44*d. Let z = 63 - 38. Suppose s = u, z = s + 4*u + 10. Sort d, 0, s in decreasing order.
s, 0, d
Let j = 0 + -4. Let w = -28.5 - -28. Let v = -5.08 + 0.08. Put j, v, w in ascending order.
v, j, w
Let w be ((-5)/2)/1*58/(-145). Put 0, -2, 0.5, w in ascending order.
-2, 0, 0.5, w
Let s = -3 - -8. Suppose 2*q + s = q. Suppose 4*w - 1 - 15 = 0. Sort q, w, -3 in descending order.
w, -3, q
Let i = 171 + -1195/7. Sort 0.2, 1, i in descending order.
1, i, 0.2
Suppose -2*v = 2*o - 4, o + 2*v + 16 = 3*o. Let r(c) = -c - 1. Let t be r(-3). Let n be (t + -3)/1 - 3. Sort 2/5, n, o in ascending order.
n, 2/5, o
Let g = 3 + -1. Let z be -1 + g + (-8)/2. Put 0, z, -4 in decreasing order.
0, z, -4
Let q = 76 - 81. Put -3, q, -2 in descending order.
-2, -3, q
Let d = 5.7 - 2.7. Sort -5, 0, d in decreasing order.
d, 0, -5
Let i(m) = m**3 + 4*m**2 - 2*m. Let p = -9 + 5. Let g be i(p). Let x(c) = c - 7. Let t be x(g). Sort t, -2, -5 in increasing order.
-5, -2, t
Suppose -12*o - o = -247. Put o, 2, -5 in ascending order.
-5, 2, o
Let a(m) = m**3 - 50*m**2 - m + 55. Let b be a(50). Let n be 8*(-1)/(1 - -1). Sort b, n, -2 in decreasing order.
b, -2, n
Let z = -0.022 + 1.022. Put 0.3, -24, z in ascending order.
-24, 0.3, z
Let b = -190.4 - -191. Let d be -1 - (-1 + (-2)/5). Sort b, 0.2, d.
0.2, d, b
Suppose -2*n + 21 = 5*n. Put 2, n, 1 in ascending order.
1, 2, n
Suppose -q + 5*t - 6 = 0, -22 + 1 = -2*q - t. Let n = q + -6. Sort -1, n, -3.
-3, -1, n
Let a = -14 - -16. Put -4, 0, a in descending order.
a, 0, -4
Let k(r) = -r**3 + 5*r**2 - 2*r - 5. Let z be k(4). Sort -5, -2, z.
-5, -2, z
Let q = -0.46 + 0.26. Let m = -0.01 + 0.01. Put m, q, -0.5 in increasing order.
-0.5, q, m
Suppose t = -2*t + 3. Let o(k) = -k + 1. Let w be o(t). Suppose -5*g + 2*g = w. Sort -0.3, 2/5, g in descending order.
2/5, g, -0.3
Let m(d) = -2*d + 1. Let n be m(-1). Let l = -3.5 - -4. Let r = l - 0.1. Put r, n, 3/2 in decreasing order.
n, 3/2, r
Let t be (7 - 3) + -1 + 0. Suppose 3*r - 11 = 2*c + 2*c, 26 = 2*r + 2*c. Let h = r + -4. Sort t, h, 0 in decreasing order.
h, t, 0
Let k(m) = -4*m**3 + 2*m**2 - 2*m + 1. Let j be k(1). Let q be -1 + 16 + -1 - -2. Suppose 4*z + 2*y = -8, 2*y = -2*y + q. Sort z, j, -2 in increasing order.
z, j, -2
Let q = 5 + -10. Let k be 6*(7/(-3) - -3). Sort q, 5, k in increasing order.
q, k, 5
Let t be 19 + -22 + (-2)/(-1). Suppose 0 = 4*g + 5*o - 31, -2*g = -5*g - 3*o + 21. Put -3, t, g in increasing order.
-3, t, g
Let d = -0.1 - 0.9. Let v = -1077 - -3265/3. Let s = -10 + v. Sort d, 1, s in descending order.
s, 1, d
Suppose -2*d = -0*d - 4*f + 10, 0 = -5*d - 5*f + 35. Let s = -0.4 + -1.6. Let r = 42 + -41.8. Put r, s, d in decreasing order.
d, r, s
Suppose 0*o - 11 = 4*b - 3*o, 0 = 3*b + 4*o + 2. Let n(z) = z**2 + 5*z + 1. Let c be 2*1 - (-18)/(-3). Let r be n(c). Put b, r, 4 in decreasing order.
4, b, r
Let c(b) = -b**2 + 11*b + 2. Let l(n) = n. Let z(i) = -c(i) + 6*l(i). Let q be z(6). Let k = -856 + 857. Sort 2, q, k.
k, 2, q
Suppose 3*m + 40 = 5*c, 3*m + c + c + 68 = 0. Sort -1, -4, m in decreasing order.
-1, -4, m
Let t be 1/3*(4 + -6). Let f be 4/14 - (-360)/63. Let o be 0 - (-2)/f*-3. Sort -0.4, t, o in descending order.
-0.4, t, o
Suppose -4*v = -2*v - 56. Let d be ((-6)/v)/(6/(-8)). Let f = -26/7 + 125/28. Put f, d, -0.4 in ascending order.
-0.4, d, f
Let w be (8/4)/(52/2). Put -2/9, 0.4, w in decreasing order.
0.4, w, -2/9
Let v be 2 + -1 + (-304)/114. Sort v, -2, -1 in ascending order.
-2, v, -1
Let r be -1 + (-3 - 0/(-2)). Sort r, 1, 5 in increasing order.
r, 1, 5
Let o = -4.8 - -0.8. Let s be ((-12)/15)/((-42)/20). Let y = s - -2/7. Put o, y, -0.1 in increasing order.
o, -0.1, y
Let h = 34 - 30. Sort h, -1/7, -5, 1.
-5, -1/7, 1, h
Suppose 8*c = 13*c + 10. Sort -4, -5, c.
-5, -4, c
Let i be 24/(-44)*(-150)/(-18) - -4. Let p = 47/189 + 1/27. Sort i, 1, p in decreasing order.
1, p, i
Suppose -3*y + 8 = 2. Suppose 2*n = -y*n. Put -4, n, -3 in descending order.
n, -3, -4
Let n = -0.21 - -0.01. Let g = -11.3 + 11. Let r(f) = f**3 + 3*f**2 - 2*f + 3. Let d be r(-4). Put g, n, d in ascending order.
d, g, n
Let k(y) = y**3 - 4*y**2 - 6*y + 7. Let c be k(5). Let l be (-24)/(-20)*(-5)/c. Sort l, 5, 3/4 in descending order.
5, 3/4, l
Let w = -2.6 - -5.6. Let y be ((2 - 2)/1)/1. Let s be 1*(y + 1)*-1. Sort w, s, -4 in descending order.
w, s, -4
Let l(u) = 3*u - 30. Let n be l(10). Sort -3, -5, 3, n in descending order.
3, n, -3, -5
Let h = -34 - -37. Sort -2, h, -7 in ascending order.
-7, -2, h
Let t = 70.5 + -71. Sort -7, 3/4, t, 0.3 in ascending order.
-7, t, 0.3, 3/4
Let v = -12.6 - -12. Let o = -109/117 + 7/9. Let w(l) = -l**2 + 6*l - 4. Let z be w(4). Put v, z, o in ascending order.
v, o, z
Let x be (12/15)/((-1)/(-10)). Suppose x*c - 3*c = -95. Let k = c + 94/5. Sort -0.1, 0.1, k in decreasing order.
0.1, -0.1, k
Let r = -0.43 - -0.23. Let t = -2.96 - 0.04. Sort -1/3, r, t in increasing order.
t, -1/3, r
Suppose 0 = h - 2*j + 11, 0*h - 14 = 4*h + 2*j. Let a be 2/(-6)*36/(-6). Let v = -5 + a. Sort h, v, -4 in descending order.
v, -4, h
Let o = 2.8 - -0.2. Let k = 5 - o. Let s = k - 2.4. Sort s, 0.4, 3 in decreasing order.
3, 0.4, s
Let w be 4/(-6)*51/2. Let p = 13 + w. Put 1, p, -5 in decreasing order.
1, p, -5
Let w = 7 + 2. Let f be 30/w + 4/(-12). Put 2, 0, f in descending order.
f, 2, 0
Let d be 2/8 - 42/8. Let h(v) = 6*v - 10. Let f be h(2). Suppose -8*b = -4*b + 12. Sort f, d, b.
d, b, f
Let c = -8 - -7.7. Let r = -0.2 - c. Sort 5, r, 3/4 in increasing order.
r, 3/4, 5
Let u(p) = p**3 + p**2 - 4. Let m be u(0). Let o be ((-2)/4)/(2/(-20)). Suppose -t - z - 3 = 1, -t + z + 2 = 0. Sort o, t, m.
m, t, o
Let f(o) = -o**3 - 2*o**