pose 23*v - 46*v - 345 = 0. Sort -14, 0, v in increasing order.
v, -14, 0
Suppose -4 = d - 0*d. Let x be (2 - (-3 - -3))*16. Let u = x + -31. Put u, -2, d in ascending order.
d, -2, u
Let z = 280 + -285. Sort 5, -4, z in increasing order.
z, -4, 5
Suppose -14 = 2*n + 4*y, 16*y = -3*n + 13*y - 21. Sort n, -5, -52 in descending order.
-5, n, -52
Let i = 6 + -2. Suppose 2*c = -c + 4*t - 5, 2*t = i*c + 20. Put -3, c, 1 in decreasing order.
1, -3, c
Suppose -8*l + 2*l = 7*l. Put 0.5, -2.1, l in descending order.
0.5, l, -2.1
Let g = 3.4 + -0.4. Let m be ((-1)/9*1)/((-72)/5040). Let a = 67/9 - m. Sort g, a, 4 in decreasing order.
4, g, a
Suppose -114 = -11*j + 5*j. Let m = 1.44 - 24.14. Let r = m + 23. Put -3, r, j in descending order.
j, r, -3
Let a be 3 + (8*1 - (-15 + 22)). Let h(i) = i + 1. Let u be h(-4). Put u, a, 2, -4 in decreasing order.
a, 2, u, -4
Let z(y) = y**3 + 27*y**2 + 5*y + 135. Let x be z(-27). Put 4, x, 5, -2/15 in descending order.
5, 4, x, -2/15
Let v(i) = -i**3 - 6*i**2 - 6*i - 7. Let m be v(-5). Let s = 2819 + -2819.1. Put -2/7, m, s in ascending order.
m, -2/7, s
Let h be 17 - (-11 + -4 + 9 - -12). Let s be (4/(-14))/((-1)/7). Put 0, 1, s, h in decreasing order.
h, s, 1, 0
Let p(q) = -q**2 + q + 3. Let t be 2 + 0/3 + -3 + 1. Let u be p(t). Sort 2, u, 5 in descending order.
5, u, 2
Let v(q) be the third derivative of -q**5/6 + q**4/12 + 30*q**2. Let x be v(1). Sort x, 5, -3.
x, -3, 5
Let i = 2 + -2. Let b be (2 - -1)/((-9)/3). Let x be 1/b - (-17)/5 - 2. Sort -0.5, x, i in ascending order.
-0.5, i, x
Let s = 0 + 0.2. Let o = 6.963 - 0.063. Let h = o - 7. Put h, s, -2 in descending order.
s, h, -2
Let z = -19.0963 - -0.0963. Put z, -2/3, -5, -2 in descending order.
-2/3, -2, -5, z
Let j = -11.4 + 11.49. Sort j, -5, 0.5 in ascending order.
-5, j, 0.5
Let d(z) = 131*z**2 + 6*z + 4. Let g be d(-1). Sort -5, g, -4 in decreasing order.
g, -4, -5
Suppose -4*y = -2*y. Let h = 872 - 869. Sort h, y, -1.
-1, y, h
Suppose 23*j = 21*j + 14. Suppose -j*q + 6*q = -3. Let m(x) = x**2 - x. Let u be m(2). Put u, q, 5 in descending order.
5, q, u
Suppose 2*o + 13 = a, 5*a - 6*o - 41 = -8*o. Put a, -1, 5 in increasing order.
-1, 5, a
Let d be (1/(-2))/((-12)/(-144)). Put d, -4, -1 in decreasing order.
-1, -4, d
Let s be 18/10 - 2 - (-180)/2025. Put 2, s, 40 in ascending order.
s, 2, 40
Let t = -96 + 102. Suppose 2*p = 5*p - 36. Let v be 6/p*(-9 - 1). Sort v, 3, t in descending order.
t, 3, v
Let s be (-9)/(252/(-8)) - (-52)/14. Let d = -48 - -51. Sort 0, d, s in increasing order.
0, d, s
Let p = -2182 + 2177. Sort -3, p, 3, -4.
p, -4, -3, 3
Let v = -21 + 24. Let g(p) = -p. Let l be g(-11). Suppose -l - 1 = 3*w. Sort -8, v, w in decreasing order.
v, w, -8
Let h = 46.6 - 47. Let z = -1 + 1.2. Let t = -0.3 + z. Put t, -5, h in descending order.
t, h, -5
Suppose 4*y - 113 = -101. Suppose 0 = -y*n + 4*n + 4. Suppose 5*d = -0*d - 15. Sort n, d, -1 in descending order.
-1, d, n
Let r = 80 - 142. Let i = r + 60. Sort 0.2, -1/3, 0.1, i.
i, -1/3, 0.1, 0.2
Let q(p) = p - 16. Let l be q(15). Let u be -1 - 1/(l/(-2)). Sort 0.2, u, 0.1 in decreasing order.
0.2, 0.1, u
Let o = 5419 + -5414. Let h be -4*1*6/8. Sort 14, o, h in ascending order.
h, o, 14
Let v be ((-21)/12)/((-7)/28). Suppose v*w - 46 = 3*w + s, 23 = 3*w + 5*s. Sort -3, w, -1.
-3, -1, w
Let z = -54 + 54.2. Let l = 5 + -5.01. Sort z, l, 1 in ascending order.
l, z, 1
Suppose 2*b = -2*b - 2*j - 10, -3*j = 5*b + 13. Put b, -6, 5 in decreasing order.
5, b, -6
Let g = -0.1 - 0.4. Let x = -0.089 - -0.069. Put g, 1/4, x in decreasing order.
1/4, x, g
Suppose 5*j = -2*s - 725 + 743, -4*j - s = -12. Sort 10, -3, j, 14 in descending order.
14, 10, j, -3
Let b be (-1 - 1) + (-2835)/(-1300). Let a = 1/52 + b. Sort 0, a, 4, 5 in decreasing order.
5, 4, a, 0
Suppose 2*t = 2*a + 6, -2*t = a - 5*t + 9. Let c = 4 + -3.6. Let f = 4 + -9. Sort c, f, a in ascending order.
f, a, c
Suppose -2*o + 5 = 5*l, -o + 14 = 3*l - 2*o. Let p be (1 + (-13)/5)*(-55)/22. Put 11, l, p in decreasing order.
11, p, l
Let l(v) = v**3 - 3*v**2 + 2*v + 2. Let s be l(2). Let z be (0 - 1)*(11 - s). Let h = -4 + z. Sort h, -1, 3 in increasing order.
h, -1, 3
Let s = 3.2 + -3. Let b = 59 - 9. Let t = b - 148/3. Put s, 0.3, t in ascending order.
s, 0.3, t
Let i = 0.1 - 0.5. Sort -3, 1/5, i in increasing order.
-3, i, 1/5
Let v = -0.01 - -0.11. Let x be 2/(-4)*(0 + -6). Suppose -2*s + 0 = 3*y + x, -20 = 5*s - 5*y. Sort v, 2/5, s.
s, v, 2/5
Let j(k) = k**3 - 2*k**2 - 7*k + 3. Let t be j(4). Let m = 9 - 6. Put m, t, -2 in decreasing order.
t, m, -2
Suppose -35*t = -37*t + 4*r - 6, -2*r - 17 = 3*t. Sort t, -4, 5, -21 in decreasing order.
5, -4, t, -21
Let i = 259 - 258. Let l(d) = -d**3 + 19*d**2 - 17*d + 3. Let b be l(18). Put -3, i, 5, b in decreasing order.
b, 5, i, -3
Let y = -47 + 46.79. Let s = 0.11 + y. Let n = 1014/5 - 203. Sort n, 0.3, s.
n, s, 0.3
Let f be 1/(-3) - (-16)/(-60). Let i = 142/801 - -4/89. Sort f, i, 3/7.
f, i, 3/7
Let q be -3*(-2)/42 - 769/(-7). Sort 2, q, -2 in increasing order.
-2, 2, q
Let s = 494 + -777. Put 0.4, 0, s in increasing order.
s, 0, 0.4
Suppose 2*b = 4 + 4. Sort -115, 1, b in decreasing order.
b, 1, -115
Let g(c) = 9*c - 2. Let l be g(4). Let r be (-11 - (-3 - 13))*(0 + 1). Sort -1, 1, r, l in ascending order.
-1, 1, r, l
Let y = -0.9 - 1.1. Suppose 20 = -4*j, -j - 11 = 2*o - 0*j. Sort -4, o, y in decreasing order.
y, o, -4
Let s = 15.2 - 15. Let c(z) = -z**3 - z. Let k be c(-1). Let n = -4 + k. Sort 1/4, s, n.
n, s, 1/4
Let b be 133 + -14 + 4/2. Let n = b + -1333/11. Put 1/4, 5, n, 4 in descending order.
5, 4, 1/4, n
Let r be (-184251)/(-9828) + 1/(-2). Let k = -2/819 - r. Let z = k + 18. Sort z, -2, 0.3 in increasing order.
-2, z, 0.3
Let u(m) = -m**3 + 7*m**2 - 6*m. Let r be u(6). Suppose -t + 14 = -r. Let b = t - 10. Put 3, b, -10 in increasing order.
-10, 3, b
Let y(s) = -s**3 - 14*s**2 - 24*s + 6. Let p be y(-12). Put p, -2, -1, 5 in decreasing order.
p, 5, -1, -2
Let k(r) = r**2 + 5*r - 1. Let x be k(-4). Let c be (1 + 1)/(-3*8/36). Put c, x, 2 in decreasing order.
2, c, x
Suppose 4*o - 90 = -l, 2*l - 6*l - o = -330. Suppose -46 + 182 = -3*t - 5*w, -w + l = -2*t. Let p = t - -41. Sort 4, -3, p in descending order.
4, p, -3
Let y = -16 + 9. Let l = 42 - 32. Let d = l + y. Sort d, -5, -1.
-5, -1, d
Let k(h) = -h**3 - 8*h**2 - 10*h - 23. Let w be k(-7). Sort 1, w, -5, 0.
-5, w, 0, 1
Suppose -2*r + 4 = -0. Suppose -5*f = 4*s + 3 + 42, f - 19 = 2*s. Let j be (-76)/95 - (-22)/s. Sort -6, r, j in descending order.
r, j, -6
Let n(l) = l - 11. Let p be n(8). Let a(w) = 17*w + 8. Let k(y) = 9*y + 4. Let j(z) = -6*a(z) + 11*k(z). Let i be j(p). Put i, 0, -4 in decreasing order.
i, 0, -4
Let i be 0 + -2 - (-51 - (2 - 5)). Let g = -47 + i. Sort 1, g, -3, -4 in descending order.
1, g, -3, -4
Suppose -17*z - 9 = -20*z. Suppose -3*g - z*b + 6 = -2*g, 3*g + 5*b = 10. Suppose -4*n + 28 = -g*i + i, 3*n - 21 = -i. Sort 5, 0, n.
0, 5, n
Let y = 57 + -18.5. Let z = y - 38. Sort z, 1/4, -0.1 in descending order.
z, 1/4, -0.1
Let x = 524 + -523.92. Put 5, x, 2/5 in ascending order.
x, 2/5, 5
Let d = 14 - 10. Suppose 6*p - d = 14. Sort -5, p, -1, -3 in decreasing order.
p, -1, -3, -5
Let s = 711.95 + -712. Sort -0.8, s, 2, -2 in decreasing order.
2, s, -0.8, -2
Let t be (0 + 2)*(-5)/2. Let m be ((-4)/(-5))/((-18)/(-180)). Let h = 10 - m. Put -2, h, t in increasing order.
t, -2, h
Let l = 4.3 - 2.3. Let i = l - 26. Let b = -21 - i. Put 0.2, 0, b in decreasing order.
b, 0.2, 0
Let f = -30 - -49. Let i = f + -19.3. Sort i, -2/19, -3, 2/9 in descending order.
2/9, -2/19, i, -3
Let z(t) = -3*t - 15. Let d be z(-5). Suppose d*i + 2 = i + g, 5*i + 2 = g. Sort -2, 5, i.
-2, i, 5
Let z be (0 + -2 - (-16)/4) + 3. Put z, -3, -1, 3 in descending order.
z, 3, -1, -3
Let d = 4573 - 4572. Suppose -j - 4*h - 24 = 4*j, 0 = j + 3*h + 7. Put -1, j, -5, d in descending order.
d, -1, j, -5
Let f be (-22)/(-4)*8/(-4). Let h = -8 - f. Let d(n) = -148*n + 445. Let t be d(3). Put t, h, 4 in increasing order.
t, h, 4
Let g = -75.825 + 0.825. Sort g, 1/2, -3 in decreasing order.
1/2, -3, g
Let k = 24.41 - 24.91. Put -3, 0.4, 2/21, k in increasing order.
-3, k, 2/21, 0.4
Let r be 7 - -2 - (561/22 - 14). Suppose -3*a + 10 = 2*a. Suppose 0 = i - 2*i 