ecreasing order.
4, z, -0.6
Let l = -0.061 + 36.061. Let i = l - 41. Sort -2, 0.3, i in increasing order.
i, -2, 0.3
Let l(x) be the third derivative of x**2 - 1/6*x**3 + 0*x - 1/6*x**4 + 0. Let k be l(1). Sort 9, -3, k in increasing order.
k, -3, 9
Suppose v = -4*u + 15, -3*v = 4*u - 11 + 6. Sort -70, -3/5, u in decreasing order.
u, -3/5, -70
Let m be 231/(-14)*(2 - 16/12). Put m, -3, 2, 1 in ascending order.
m, -3, 1, 2
Suppose -10*z = 29 - 79. Let y be 0 - ((4 - 3) + 6). Let n = 16 + y. Put -5, z, n in decreasing order.
n, z, -5
Let t = -362 + 360. Put t, 1, 3, 5 in ascending order.
t, 1, 3, 5
Let j = -481.1 + 480. Let d = -5.2 + 4. Let l = d - j. Put -3/8, 0.04, l in descending order.
0.04, l, -3/8
Let h(l) = l**3 + 8*l**2 + 12*l + 5. Let r be h(-5). Let d = -16 + r. Suppose o = d*o. Sort o, -1, 2 in decreasing order.
2, o, -1
Suppose -o + 2 = 0, -o + 8 = 2*n - 0. Let v(k) = k**3 + 4*k**2 - 4*k - 6. Let i be v(-5). Sort n, i, -5 in decreasing order.
n, -5, i
Let l(a) = -a**3 + 11*a**2 - 2*a + 25. Let v be l(11). Suppose 4*q - 4*u + 3*u = 8, -q + 2 = v*u. Let g(n) = -2*n**2 - n. Let k be g(1). Sort k, -4, q.
-4, k, q
Suppose 0 = -n - 4*n + 25. Let z be 4*(-1)/(-4) - 3. Sort -4, z, n in descending order.
n, z, -4
Let y(x) = -x**3 + 6*x**2 - 5. Let p be y(6). Let b = 2 + 0. Suppose 2 + b = u. Put 0, p, u in increasing order.
p, 0, u
Let p be 1/(((-1)/4)/(-1)). Let k = 21536/5 - 4307. Sort p, -3, k, 1 in ascending order.
-3, k, 1, p
Let s = -42.061 + 0.061. Let c = -50 - s. Sort 2/5, c, -5, 5.
c, -5, 2/5, 5
Suppose 0 = -61*t + 316 - 133. Let z(o) = -5*o + 5. Let m be z(7). Put m, t, 0 in descending order.
t, 0, m
Suppose c - 2*k = 4, 0 = 2*c - 0*k + 5*k - 8. Suppose 2*h - 8 = c*h. Let f = 2 + h. Sort 2, -3, f in descending order.
2, f, -3
Suppose 5*j - 21 = -m - 0*m, -5*m - 2*j = -13. Put 7, m, 6 in decreasing order.
7, 6, m
Let f be -1*(1 + 1)/(2/(-4)). Suppose 5*q - 17 = -x, -3*q + 1 = 5*x + f. Put 0, 3/4, 1/5, x in ascending order.
x, 0, 1/5, 3/4
Let d be 23/7 + (-4)/14. Let n = -487 - -486. Let j = 0 + 7. Sort j, n, d in descending order.
j, d, n
Let v = -1.0973 + 0.0973. Sort 18, v, 0.07, 0 in descending order.
18, 0.07, 0, v
Let b(t) = 63 - 63 - 4*t + 3*t. Let v be b(3). Sort v, 3, -1, 5 in ascending order.
v, -1, 3, 5
Suppose -1 = -4*d + o, -14*d + 16*d = -5*o - 27. Let q = 1 + -1. Sort d, q, 3, 4.
d, q, 3, 4
Let s = -10 + -24. Let d = s - -30.94. Let b = 0.06 + d. Sort 2/15, b, -5 in decreasing order.
2/15, b, -5
Let y = -0.82 + 3.02. Put -0.5, 5/2, y in descending order.
5/2, y, -0.5
Let z = -5.61 + 6. Let y = z + -0.89. Sort 0.07, 1, y, 3/4 in decreasing order.
1, 3/4, 0.07, y
Let b be 11 - (-1 - (0 + -2)). Suppose -15 = -3*t - 3*v, -35 = 2*t - 4*v - 33. Sort -4, t, b in decreasing order.
b, t, -4
Let f = 0.342 - -0.658. Sort -12, f, -1 in ascending order.
-12, -1, f
Let k = -0.057 - -1.057. Put k, -2, -6 in descending order.
k, -2, -6
Let u = -21.16 + 21.46. Sort 28, u, -11/5 in decreasing order.
28, u, -11/5
Let g = -1877.8 - -1878. Sort 6/11, 4, g in ascending order.
g, 6/11, 4
Let d = 2.144 - 4.144. Suppose z - 6 = -z. Sort 10, d, z in decreasing order.
10, z, d
Let b be 0/(-2) + (0 - 3)*-4. Let h be 4/b*(-1 - 2)*-5. Put -1, -5, -3, h in increasing order.
-5, -3, -1, h
Let v = 38 + -37. Let b = -1.5 + v. Suppose 0 = -2*m + 2*a, 5*m - 2*a + 21 = -4*a. Put -2, b, m in ascending order.
m, -2, b
Let z = 0.1822 + -2.7822. Sort z, 1, -3.
-3, z, 1
Suppose 0 = -a - 4*a. Suppose 5*o + 5 = 3*n - 5, -5*o - n - 10 = a. Let f be (-2)/8 + o/(-8). Sort 4, f, 5 in increasing order.
f, 4, 5
Let n = 128.4 - 128.6. Sort 13, 3, -2/9, n in increasing order.
-2/9, n, 3, 13
Suppose d = 29 - 10. Let k = d + -173/9. Sort -0.3, k, 2, 4 in descending order.
4, 2, k, -0.3
Suppose 52 + 8 = 6*b. Suppose 4*f - 5*l = -b, -f = 2*f - 3*l + 9. Sort f, 6, 4, 0 in descending order.
6, 4, 0, f
Let y be ((-4)/12)/((-9)/(135/(-10))). Sort 1, -1.2, y, 3 in decreasing order.
3, 1, y, -1.2
Let x be (-2)/5 + (-3132)/45. Let o = x + 70. Sort -5, -8, 2, o.
-8, -5, o, 2
Suppose u = -8*o + 4*o - 17, 5*o - u + 10 = 0. Let g = -3449 - -3445. Put g, -1, 16, o in increasing order.
g, o, -1, 16
Let l(g) = g**3 - 5*g**2 + g - 2. Let c be l(5). Let h = -0.4 + 20.6. Let w = -20 + h. Put c, w, 2/7 in ascending order.
w, 2/7, c
Let b = 0.41 - 0.21. Let v(j) = j - 3. Suppose 7*q - 4*q = 0. Let g be v(q). Put b, -0.5, g in ascending order.
g, -0.5, b
Let w = 254 - 1017/4. Put 2, w, 3/5, 4 in ascending order.
w, 3/5, 2, 4
Let s(d) = d**2 - 5*d - 85. Let i be s(12). Sort 166, 2/3, -2/11, i.
i, -2/11, 2/3, 166
Suppose 5*x + 9 = -1. Put 13, 2, x in descending order.
13, 2, x
Let c be -1 - (-6)/(-3 - -6). Suppose -a = 3 + 1. Put 4, 0, a, c in decreasing order.
4, c, 0, a
Suppose 0*g - g + 3 = 0, -2*z = 3*g + 3. Put z, -3, 2, -2 in decreasing order.
2, -2, -3, z
Let i = 104118531 + -585250259674/5621. Let y = -1/511 + i. Suppose 0 = -j - 2870 + 2868. Sort 2/3, j, y in increasing order.
j, y, 2/3
Let z(r) = r**2 + 26*r - 121. Let m be z(-30). Sort -2/19, m, -3.
-3, m, -2/19
Let x(c) = 4*c - 1. Suppose -7*r + 20 = -3*r. Suppose -5*f = r*o - 10, f = o + 3 + 1. Let n be x(o). Put n, -4, 3 in ascending order.
n, -4, 3
Let v = -45.98682 - 0.03318. Let t = 46 + v. Put -0.4, -0.1, t in descending order.
t, -0.1, -0.4
Let k = 894 + -912. Sort k, 3, -1.
k, -1, 3
Let h(w) = -w**3 - 35*w**2 + 76*w + 77. Let f be h(-37). Put -2, f, 1, 31 in increasing order.
-2, 1, f, 31
Let n be (1*5/(-20))/(-5 + 6). Sort 2, -3, n in decreasing order.
2, n, -3
Let i = -7.96 - 0.04. Let f = 82.9 + -74.8. Let v = i + f. Put 2, v, 1/6 in descending order.
2, 1/6, v
Let x = 215.4 - 215. Sort x, -0.2, -1/6 in ascending order.
-0.2, -1/6, x
Let a be (3 - 2 - 46)/1. Let n = -181/4 - a. Let c be (-1)/(-4) + 1/(-4). Sort n, c, -3.
-3, n, c
Suppose -2 - 5 = 7*h. Sort h, 1, -37 in increasing order.
-37, h, 1
Let b = 237 - 242. Sort 3, b, -1, 4.
b, -1, 3, 4
Suppose -59*z = -66*z - 21. Let o be 2/(-7) - (-46)/14. Sort o, z, 4 in ascending order.
z, o, 4
Suppose 0 = 3*n - 3. Suppose n = -4*c - 15. Let r be (-1)/((-10)/c - 3). Sort r, -3, 1 in descending order.
r, 1, -3
Let t = 4.1 - 3.3. Let s = t + -1. Let v = -0.3 - 0.2. Put 0, v, s in descending order.
0, s, v
Let z = -7 + 10. Suppose -2*t + 15 = z*t. Let o = 24.4 - 24.1. Put 3/2, o, t in descending order.
t, 3/2, o
Let a(u) = u**3 + 2*u**2 - 14*u - 30. Let r be a(-3). Let n be 74/14 - 2/7. Put n, r, 2, -2 in descending order.
n, r, 2, -2
Suppose 3*o + 12 + 0 = 0. Let z(y) = 63*y - 820. Let w be z(13). Sort 32, w, o.
o, w, 32
Let g = 32 + -45. Let i = g - -8. Let n = 0.79 - 0.39. Sort n, i, -1 in decreasing order.
n, -1, i
Let n = -625 - -627. Let z be (-2)/(-3)*36/(-8). Put -0.2, 0, z, n in descending order.
n, 0, -0.2, z
Suppose -7*c + 43*c = -24*c. Put -1, c, -133, 3 in descending order.
3, c, -1, -133
Let w = 35 + 74. Let v = -109.3 + w. Put v, 0.3, 0.44 in descending order.
0.44, 0.3, v
Let z be (-2095)/3150 - (-4)/18. Let p = z - -9/14. Put 4, p, 1/3, 2/11 in decreasing order.
4, 1/3, p, 2/11
Let z be -12*4/4*1. Let d be (-2)/(10*4/z). Sort -3, d, 13.
-3, d, 13
Let p be 1 + (1049/698)/((-15)/10). Let v = p - 21983/2094. Sort v, 0.5, -2/7 in ascending order.
v, -2/7, 0.5
Suppose 0*n = -5*j - n - 25, 0 = 5*j - 4*n. Let s = 13 - 10. Let h = 0 - s. Put -1, h, j in decreasing order.
-1, h, j
Let l be 4 + 6 + (-353 - 2). Sort 0.2, l, 0 in ascending order.
l, 0, 0.2
Suppose -9*o - 6 + 42 = 0. Sort 5, -4, o in descending order.
5, o, -4
Suppose -b - 8 = b + 5*k, 3*b + k = -12. Sort 8, 5, b, -5 in descending order.
8, 5, b, -5
Let r be -4 - (-10)/((-2)/(-1)). Suppose y = -2*d + r, 0 = 8*y - 4*y + 4*d - 12. Sort 2, -2, y in descending order.
y, 2, -2
Let n = -134 + 56. Put n, 1, 0.2, 2 in ascending order.
n, 0.2, 1, 2
Let y be (-4)/(-4)*13 + 6 + -10. Sort 2, y, -1.
-1, 2, y
Let k = 0 - -4. Let x(u) = 5*u - 9. Let m be x(5). Let v = m + -16. Sort -2, v, k in increasing order.
-2, v, k
Suppose -6*h - 5 = 5*j - 2*h, -5*j = h + 5. Sort 3, -5, j in ascending order.
-5, j, 3
Let v be 1/(-4) - 15/(-21 + 6). Let t be (3 - 3) + (-2)/(-7). Sort -23, v, t.
-23, t, v
Let v = -37/8 - -645/136. Put 1, 5/4, v, -0.1 in increasing order.
-0.1, v, 1, 5/4
Suppose -6 = -3*w, 4*j - 3*w - 8 = 2. Suppose 