2 in descending order.
2, u, z
Let z = 11861 + -11865. Let q be (-1 + 4)/(0 + -1). Let w = -3 - -5. Sort q, w, z in ascending order.
z, q, w
Suppose 0 = -2*y + 2*c + 4, -5*y - 2*c + 16 = -8. Suppose 8 - y = -s. Sort 0, 2, s in descending order.
2, 0, s
Let w = -1432 + 1433. Let s = -0.03 + 0.13. Sort 0.2, s, -2/3, w in decreasing order.
w, 0.2, s, -2/3
Suppose 0 = 2*l + 4*k + 10, -l + 3*k = 2*l + 15. Let b be -8*((-6)/(-4) + -2). Suppose -b*f + 8 = 4*f. Sort f, l, -1 in descending order.
f, -1, l
Suppose -23*k = 2*k + 125. Let g be 0 - -2 - (0 + 0). Put k, -1, g in descending order.
g, -1, k
Suppose 22*u - 27*u = 25. Let p be (-19)/24 - 4/(-6). Put -2/11, p, u in descending order.
p, -2/11, u
Suppose 0*f + f = -3*c + 6, -5*f + 18 = 3*c. Let n = 471 - 473. Sort -6, f, n in decreasing order.
f, n, -6
Let q = 0.19 - -0.31. Let x(d) = d**2 - 10*d + 1. Let w be x(10). Put -2/13, q, 0.7, w in descending order.
w, 0.7, q, -2/13
Let w be -3 + (0 - 18/(-8)). Let j be (4/(-10))/((-4)/(-15)). Put -5, j, w, -2 in decreasing order.
w, j, -2, -5
Let b = -365 + 370. Let m be 1*(0 - (0 - -1)). Let u be 0 - (-2 + 2)/1. Put b, u, m in increasing order.
m, u, b
Let y = 164 - 290. Let a = 132 + y. Let x be (-1)/(-3) - 12/9. Put -0.3, x, a in ascending order.
x, -0.3, a
Let w = 22.4 + -26.4. Put -1/3, w, 34 in descending order.
34, -1/3, w
Suppose 4 = 4*h, h - 4*h = -5*c - 18. Sort 144, c, 1.
c, 1, 144
Suppose -159 + 47 = 2*c. Let p be (-18)/(-8)*c/(-21). Sort 3, 2, 0, p in ascending order.
0, 2, 3, p
Suppose -2*a = -10, 5*a - 14 = w + 11. Let i be (10/(-30))/((-1)/6). Sort i, -11, w in ascending order.
-11, w, i
Let v = -0.269 - -0.469. Sort 0.5, v, -0.07 in increasing order.
-0.07, v, 0.5
Let m = 6 + -3. Suppose 27 = m*b + 39. Sort -5, 2, b, 4.
-5, b, 2, 4
Suppose -14*q + 25 + 3 = 0. Put -1/3, q, 0.2, -15 in ascending order.
-15, -1/3, 0.2, q
Let j = -24 + 23. Let x be 84/4 - 3/j. Let i = -24 + x. Put -5, -0.2, i in decreasing order.
i, -0.2, -5
Let c = -580 + 281. Sort 0.5, 0.2, c in ascending order.
c, 0.2, 0.5
Let f(r) be the first derivative of 1/2*r**2 + 4*r - 1. Let v be f(0). Sort v, -3, -1.
-3, -1, v
Let o = -62 - -64. Let x be ((-2)/o - 96/(-84))*1. Sort x, -17, 1, 2/9 in descending order.
1, 2/9, x, -17
Suppose 3*z + 5*p = -42, -2*p = z - 4*z - 21. Let x = -168 - -1174/7. Sort z, x, -3.
z, -3, x
Let j(z) = -6*z**3 + 2*z**2 - 6*z + 2. Let b be j(2). Let x = b + 27. Sort x, -0.1, 1/2.
x, -0.1, 1/2
Let j be 3/(-12) - (-30)/(-8). Let d(g) = 5*g - 7. Let h(s) = 3*s - 3. Let k(f) = -2*d(f) + 5*h(f). Let y be k(1). Put j, y, -3 in decreasing order.
y, -3, j
Let h be (-1)/(-2)*(16 - 14). Put -2, h, -4, 7 in increasing order.
-4, -2, h, 7
Let p = -142 + 158. Suppose 4*c + 6 = 7*c, -l + p = 5*c. Sort l, -3, -5 in decreasing order.
l, -3, -5
Let w = 18 + -31. Let p = 771 + -788. Let c = p - w. Put 1/3, c, -12 in decreasing order.
1/3, c, -12
Let y = -37 + 41. Let i = y - 1. Sort i, 0.5, 0.1 in ascending order.
0.1, 0.5, i
Let s = 23 + -22. Let z = 98 - 95. Let y be (6 + 0)*(-2)/1. Put z, y, s in ascending order.
y, s, z
Let w(j) = -7*j - 9. Let u be w(-7). Let i = u - -4. Let g be 3 - (2 + 36/i). Sort -3, -2, g in descending order.
g, -2, -3
Suppose -28*r + 60 = -33*r. Let u = 19 + -9. Let w = u + r. Put w, -1/3, 2/5 in descending order.
2/5, -1/3, w
Let t = 1394 - 1533. Sort 1/4, -2/9, t.
t, -2/9, 1/4
Let q be 2/(-2) - (-94)/18. Let z = 260098 - 25749338/99. Let t = z - q. Sort -0.4, t, 4 in decreasing order.
4, -0.4, t
Let x(w) = 11*w + 3. Let h be x(2). Suppose -b - 22 = -h. Put 1, 9, b in increasing order.
1, b, 9
Let c = 2.9869 - -0.0131. Let q = 12.1 - 2.1. Put q, 1/4, c, 2/3 in descending order.
q, c, 2/3, 1/4
Suppose 2*o = 2*m - 3*o + 28, 3*m - 5*o + 32 = 0. Sort m, 2, -3, -5.
-5, m, -3, 2
Let f = -5872/11 + 536. Sort -0.3, f, 1/2, 2/21.
-0.3, 2/21, 1/2, f
Let b = 304 + -1517/5. Sort b, -9, -1/4.
-9, -1/4, b
Let n be 10/(-2)*18/45. Sort n, 17, -1.
n, -1, 17
Let y be 14/(-2 - 0)*-1. Suppose -5*q + y = 2. Let o be q/(-4) - 231/(-44). Put 2, -1, o in decreasing order.
o, 2, -1
Let j = 5.6 - 2.6. Sort j, 37/3, 1/4 in ascending order.
1/4, j, 37/3
Let l(d) = -d**3 + 48*d**2 - 90*d - 96. Let w be l(46). Sort w, 3, 1 in increasing order.
w, 1, 3
Let m = -753 + 758. Put m, 3, 2, -2 in decreasing order.
m, 3, 2, -2
Let f = 3/1168 - 441/1168. Put 0, 0.05, 4, f in descending order.
4, 0.05, 0, f
Let n = -19 + 19. Suppose n = 4*m - o - 10, -10 = -m + 5*o + 2. Let y = -6 - -1. Sort m, 2/3, y in decreasing order.
m, 2/3, y
Suppose -2*u - u - a + 18 = 0, 3*a - 29 = -4*u. Suppose -2*t = -g + 6, -g - u*t - 7 = 22. Let z = 0.0386 + -0.3386. Sort z, g, -0.2.
g, z, -0.2
Let t = 39.4 - 0.4. Let f = -42.4 + t. Let a = f + 2.9. Sort -0.4, a, -3 in descending order.
-0.4, a, -3
Suppose -90*y + 1038 = 138. Put 3, y, -1, -2 in decreasing order.
y, 3, -1, -2
Let r(t) = -t**2 + 4*t + 5. Let k be r(5). Suppose f + k*q - 9 = -3*q, 0 = -4*f - 3*q + 27. Suppose -2*l = -0*l - f. Put -3, l, 4 in descending order.
4, l, -3
Let k be 8/(-4)*-2 - 42/8. Sort k, -0.1, -2, -0.4 in ascending order.
-2, k, -0.4, -0.1
Let y = -17.6 - -1.8. Let r = 15.7 + y. Sort r, 2/17, -4, 0.1 in increasing order.
-4, r, 0.1, 2/17
Let o(b) = -5*b**3 + 2*b - 1. Let a be o(1). Let k(r) = r**2 - 9*r - 3. Let y be k(9). Sort a, -5, y in increasing order.
-5, a, y
Let q be ((-8)/20)/((-6)/(-5)). Suppose 3 = -3*l + 4*l. Suppose l = 5*c + 13. Put -3, q, c in ascending order.
-3, c, q
Let c(w) = -18*w - 181. Let i be c(-11). Sort 4, i, 19.
4, i, 19
Let d(j) = -j**3 + j + 8. Suppose 7*l - 2*l = 0. Let z be d(l). Put z, -1, 1 in descending order.
z, 1, -1
Let f be (-7 + 2)/(80/64). Sort f, 1, -179.
-179, f, 1
Let a(l) be the third derivative of l**4/8 + 5*l**3/6 + 14*l**2. Let v be a(-3). Put 4, -3, v in descending order.
4, -3, v
Suppose -2*f + 24*f = -8602. Sort f, 3, -5 in increasing order.
f, -5, 3
Let b = -36 + 19. Let i = b - -19. Sort 0, 4, i in ascending order.
0, i, 4
Let o be (-3 + -1)/2 + 6. Suppose -5 = 3*l - 5*l + p, 2*l + p = -1. Put o, -1, l, 2 in increasing order.
-1, l, 2, o
Let t = -70 - -14. Let n = -39 - t. Let i = 15.5 - n. Sort i, -2, 5 in increasing order.
-2, i, 5
Let s = 25 - 21. Suppose -5 - 3 = s*r. Suppose 3*j = -3*l, 3*l - 4 = 4*j + 24. Put r, l, -1 in decreasing order.
l, -1, r
Let p(s) = 6*s**2 - s. Let g be p(-1). Suppose 15*t + 15 = 10*t. Suppose 0 = -2*z + b + 12, 5 = -3*z - b + 18. Sort t, g, z in ascending order.
t, z, g
Let y be ((-10)/(-8))/((-1)/(-4)). Let x(s) = 2*s**3 + 6*s**2 - 28*s - 41. Let d be x(-5). Sort -2/7, d, -0.3, y in ascending order.
d, -0.3, -2/7, y
Suppose -4*g = 2*v + 2, 2*v - 4*v + 3*g - 9 = 0. Let n be (-5)/(-2) + v/2. Suppose -2*j + 0 = 4*y + 6, 0 = -4*j + 4*y - 12. Put -4, n, j in ascending order.
-4, j, n
Suppose -20 = -11*p + p. Suppose 2*b + p = -2*l, b - 4*b - 4*l = 3. Let c = 5 - 14. Sort b, c, 0 in descending order.
0, b, c
Let k = 6.8 + -5. Let y = 2.06 - k. Let z = y + -0.76. Put 2/17, 0.4, z in descending order.
0.4, 2/17, z
Suppose i + 2*k + 8 = 0, 5 = 2*i - 7*i - 3*k. Let q be 1 - 14/(-6) - i. Let n be -11 + 14 - (-65)/(-21). Sort -0.3, n, q in ascending order.
-0.3, n, q
Let a = 1.346 + 1.654. Let u = 0.5 + 0.1. Sort a, u, 0.4 in ascending order.
0.4, u, a
Let a = -0.106 + 3.106. Let d = -16 - -16.1. Put 1/4, -0.1, d, a in decreasing order.
a, 1/4, d, -0.1
Suppose 5*w - 4*w = 0. Let u = -0.1 + -0.1. Put u, -3, w in increasing order.
-3, u, w
Let d = 205 + -1841/9. Let z = -1 - 2. Put d, z, -11 in ascending order.
-11, z, d
Let p = 1873 + -1870. Put -3, p, -24, 0 in ascending order.
-24, -3, 0, p
Suppose -4*i - 22 - 18 = 5*x, 3*i + 23 = -2*x. Put 52, x, 2 in descending order.
52, 2, x
Let m(u) = -u**2 - u + 93. Let j be m(9). Let i(a) = -a**3 + 4*a**2 - 5*a + 2. Let o be i(3). Sort o, 2, j.
o, 2, j
Let g(k) = -k**2 - 5*k + 3. Let i be -1 - 0 - (-2 + 6). Let c be g(i). Suppose -c*z - 2*z + 10 = 0. Sort z, -3, 15 in decreasing order.
15, z, -3
Let g = 27 - 31. Let l be 0 + (0 - 0) + 1. Suppose 9 = 5*k - a - l, -2*k = -a - 7. Sort g, k, -1 in descending order.
k, -1, g
Suppose 0 = 4*z - 2*z + 4*a - 4, -z = -3*a - 12. Suppose j = 4*x - j - z, 0 = -2*x + 3*j + 9. Let b = -18 - -11. Sort b, x, 5 in ascending order.
b, x, 5
Let u = 3 - 4. Let l(t) = t**2