2. Put v, t, -3 in decreasing order.
t, v, -3
Suppose 3*p = -6 - 0. Suppose 6*v - 8*v = 0. Put v, p, 2 in increasing order.
p, v, 2
Let r = 3 - 7. Suppose 3*o - 29 + 5 = 0. Suppose o*a - 12 = 5*a. Sort a, 1, r in descending order.
a, 1, r
Let i be 9/(-6)*((-24)/9)/2. Let y be (-1696)/(-56) - 2/7. Let n = y + -21. Sort -5, i, n in descending order.
n, i, -5
Let y be 2/(-6)*18/39. Let g = 55 + -45. Let n = 10.4 - g. Sort y, n, -1 in ascending order.
-1, y, n
Suppose -13*q = -729 + 430. Put 1, q, 3 in descending order.
q, 3, 1
Let o(y) = -y + 8. Let v be o(10). Let n be ((-4)/8*2 + 1)/v. Suppose 4*g = 4 + 12. Sort g, n, -4.
-4, n, g
Suppose 14 + 21 = 7*o. Put -38, -4, o, 2 in descending order.
o, 2, -4, -38
Let g be (-3)/(-6) + (-2)/4. Let o(h) = 5*h. Let d be o(-4). Let u be (-4)/(1*d)*5. Put g, 4, u in descending order.
4, u, g
Let n = -0.05 - 4.95. Let u be (508/16 - -3)*-2. Let d = u + 68. Put n, 1, d in descending order.
1, d, n
Let p be (6/5)/(6/(-20)). Suppose a + 3*o + 2 = 0, 10*o - 8*o = 9*a + 47. Put p, -2, 4, a in decreasing order.
4, -2, p, a
Suppose 6*g + 272 = 4*g. Let w be g/(-85)*(-10)/4. Sort w, 5, -5 in decreasing order.
5, w, -5
Let u = 423 + -422. Sort u, -2, 6 in increasing order.
-2, u, 6
Let v(k) be the second derivative of 5*k**4/12 + k**3/3 + k**2/2 + 3*k. Let b be v(-1). Suppose 0 = -2*g - 4*y - 6, -2*g - 2*y + 1 = 7. Sort g, -1, b.
g, -1, b
Let v(t) = t**2 + t - 9. Let l be v(4). Suppose 0 = -4*h - 3*g - l, g + 4 + 2 = h. Put h, 2, 3 in ascending order.
h, 2, 3
Let m = 3 - 15/4. Put 9, 1/4, m, -3/7 in ascending order.
m, -3/7, 1/4, 9
Suppose -2*g + 11 = -5*h, h - 9*g = -8*g - 4. Let l = -11 + 13. Put 3, l, -3, h in descending order.
3, l, h, -3
Let p be (6/18 + -3)*(0 - 3). Let n(v) = 3*v - 12. Let o be n(p). Put o, -2, 0, -1 in increasing order.
-2, -1, 0, o
Let l be (0 - -1)*(-4 + -6 - -5). Let w be (-119)/28 + 2/8. Put -3, l, w in ascending order.
l, w, -3
Let u(w) = -w**3 + w**2 + w - 1. Let d be u(1). Let s = 79 - 157/2. Let z = -6 - -5.5. Put d, z, s in descending order.
s, d, z
Suppose 0 = 5*p + x - 72, -3*x + 20 = 2*p - 1. Suppose -5*l = p - 5. Suppose 3*u - 2*d + 8 = 0, -5*u + d - 16 = -d. Put -5, l, u in ascending order.
-5, u, l
Let b = 6 - 4. Let v = 5 - 35/4. Sort v, 4, b in ascending order.
v, b, 4
Let o be 603/11 - 5/((-165)/6). Let u = -53 + o. Let k = 0 - 1. Sort k, u, 0 in decreasing order.
u, 0, k
Suppose 3*u - 14 = i + i, -3*i = 5*u - 17. Put i, -73, -2 in increasing order.
-73, -2, i
Let f = -0.0609 + -0.0191. Sort f, -2, -5 in decreasing order.
f, -2, -5
Let s(w) = 7*w - 32. Let o be s(6). Suppose 6*c - 4*c = h + 14, 2*c + o = -5*h. Sort 1, c, -5 in increasing order.
-5, 1, c
Suppose 11 = -42*x - 73. Sort x, -26, -3.
-26, -3, x
Suppose 0 = 118*g - 136*g + 90. Put g, 54, -4, 0 in decreasing order.
54, g, 0, -4
Let v = 211956/403117 - -16/2819. Let s = v - 9098/18733. Let u = s - 566/917. Put -2, u, -0.5 in decreasing order.
-0.5, u, -2
Suppose -5*k = 161 - 36. Let t = k + 124/5. Put t, -0.1, 5 in descending order.
5, -0.1, t
Let n = 1859/4 - 6353/12. Let q = -66 - n. Sort q, -7, -1/4.
-7, q, -1/4
Suppose -2*q + 4*a - 16 = 0, 22*q + 5*a = 20*q + 20. Sort q, -1, 4, -9 in decreasing order.
4, q, -1, -9
Let m = -8 - -11. Let n = 0.083 - -3.917. Let o = -1 + 1. Sort m, o, n in decreasing order.
n, m, o
Let o = 145 + -140. Let w(p) = p**3 - 11*p**2 + 9*p + 7. Let c be w(10). Sort -0.3, o, c, 0 in decreasing order.
o, 0, -0.3, c
Let d(i) = 3*i**3 + i**2. Let c be d(-1). Put -2/5, c, -4/3, -4 in increasing order.
-4, c, -4/3, -2/5
Let t = 0 + -3. Let l = 2141 - 2140. Sort 3, t, l in decreasing order.
3, l, t
Let r = -1613/4893 - 6/1631. Put 5, 8, r, 3/8 in decreasing order.
8, 5, 3/8, r
Let k(l) = l**3 + l**2 - 4*l + 5. Let u be k(-3). Put u, 4, -8, 3 in descending order.
4, 3, u, -8
Let b = -41 + 40.6. Let f = -5.4 - b. Put -1/4, -1.1, f in decreasing order.
-1/4, -1.1, f
Let b = 6 + -3. Let q be (-4)/(-14) - (2720/(-28))/10. Let o be ((-1)/(-3))/(11 - q). Sort b, o, -3 in ascending order.
-3, o, b
Let u = -35 + 79. Let l = u + -44.2. Put -4, 3/2, l in ascending order.
-4, l, 3/2
Let u = -0.099 + 4.099. Put -5/3, -4/27, u in decreasing order.
u, -4/27, -5/3
Let s be ((-52)/(-80))/(3/45564). Let t = s - 9908. Let h = 36 + t. Put h, 0.3, -2/5 in decreasing order.
0.3, h, -2/5
Let y = -0.1 + -0.3. Let p = 85.7 + -0.7. Let f = p - 85.3. Put y, 4, f in increasing order.
y, f, 4
Let y = -16 + 3. Let a = y - -21. Let g = -7.5 + a. Sort g, 16, 4 in ascending order.
g, 4, 16
Suppose 0*h = 69*h - 345. Put -5, h, 1, -10 in descending order.
h, 1, -5, -10
Let n be (-8)/6*-6 - (-26 - -32). Put n, -4, -1, -5 in increasing order.
-5, -4, -1, n
Let c = -306.7 - -71.7. Put 2, -4, c in decreasing order.
2, -4, c
Let r = -119 + 59. Let a = 83 + r. Sort -1/2, a, -5 in ascending order.
-5, -1/2, a
Let c = -7.0142 + 0.0142. Sort 0, c, 0.1 in decreasing order.
0.1, 0, c
Let s = 6.6 - 41.6. Let q = s - -35.5. Put -0.5, q, -2/7 in decreasing order.
q, -2/7, -0.5
Let f be 11/13 - (0 - -1). Let d = 287.3 - 288.3. Put d, 0.1, f in descending order.
0.1, f, d
Let z = -389 + 389. Put -0.5, -0.4, z, 8 in decreasing order.
8, z, -0.4, -0.5
Let t(j) = j**2 + 4*j + 5. Let x be t(-4). Let m be 4/26 + ((-4)/26 - -1). Put x, m, 2 in descending order.
x, 2, m
Let b = 116 + -113. Sort -23, b, 0 in increasing order.
-23, 0, b
Let b(o) = o**2 + 13*o - 44. Let w be b(-16). Put w, -3, 1, 5 in descending order.
5, w, 1, -3
Let r(p) be the third derivative of -p**4/12 - 17*p**3/6 + 36*p**2. Let h be r(5). Put -3, 2, h in decreasing order.
2, -3, h
Let p(d) = -d - 4. Let i(l) = -l**2 + 3*l + 6. Let k be i(5). Let z be p(k). Let n(g) = 8*g + 2. Let a be n(-3). Put a, 1, z in decreasing order.
1, z, a
Suppose -6*h = -2*h + 16. Let u(q) = -q**2 + 5*q - 5. Let v be u(3). Let b be -3 + (-15)/(-5) - v. Sort h, b, 2 in increasing order.
h, b, 2
Suppose 0 = l - 4*l - 3*j + 6, 2*j - 10 = -5*l. Suppose 5*n + l = -w, 2*w = n - 3*n + 4. Put 6, n, 1 in increasing order.
n, 1, 6
Let g(i) = -i**3 - 13*i**2 - i - 9. Let l be g(-13). Let v(j) = j**2 + 10*j - 15. Let k be v(-11). Sort 0, -2, l, k.
k, -2, 0, l
Let c = 19 - 14. Let k = -57 + 52. Put 7, k, 3, c in descending order.
7, c, 3, k
Let k(z) = 6*z**2 + 20*z + 3. Let y be k(-3). Suppose -5*d + 18 = -7. Suppose -4*r = -2*x + 10, -4*r + d*x + 19 = -5*r. Sort 5, y, r.
r, y, 5
Suppose -l + 3*v = 0, -2*l - 4*v - 8 = -6*l. Sort l, 1, 5, -140.
-140, 1, l, 5
Let t = -13 - -11.7. Let o = t + 1.2. Sort -10, -1, o in ascending order.
-10, -1, o
Suppose 13 = 3*i - u, u - 12 = 4*u. Suppose 0 = -0*o - i*o - 60. Let a be 25/o - 2/(-8). Put -5, 1, a in decreasing order.
1, a, -5
Let x = 2.03 + -1.83. Let q(t) = t**3 + 3*t**2 - 4*t - 2. Let p be q(-4). Let b be (-2)/(-90)*p*5. Sort x, b, 2 in decreasing order.
2, x, b
Let b be (-3)/(-2) + 1/2. Suppose 24 - 32 = b*m. Sort -1, 0, m.
m, -1, 0
Suppose -19 = 13*s - 71. Sort 11, 2, -10, s.
-10, 2, s, 11
Let b = -0.17 - -4.17. Let t = -9 - b. Let k = 12 + t. Sort 1/2, 6, k.
k, 1/2, 6
Suppose 6*h - 43*h - 296 = 0. Put h, -7, 1, -2 in decreasing order.
1, -2, -7, h
Let w be 39/(-91) - 272/(-14). Let m(y) = -y**3 + 20*y**2 - 19*y - 2. Let h be m(w). Put -1, 0, 2, h in descending order.
2, 0, -1, h
Let p(v) = -2*v**2 - 19*v - 2. Let a be p(-6). Suppose 7*f - 3*f + a = 0. Put -4, f, -1 in decreasing order.
-1, -4, f
Let f = 586 + -587.6. Put 1/2, -4, f, 0.1 in ascending order.
-4, f, 0.1, 1/2
Let f be -3*(-8 + 6/((-648)/(-858))). Sort -2/3, 0.3, f, 3.6 in decreasing order.
3.6, 0.3, f, -2/3
Suppose 0 = 2*q - 3*h + 2*h + 2, 5*h = -10. Let g = 10 + q. Suppose b - 2*a - 3 = 0, g*a - 20 = -3*b + 3*a. Sort -1, 4, b in descending order.
b, 4, -1
Let y = 0.081 + -0.381. Let f = 0.39 - -0.01. Sort 4, f, y.
y, f, 4
Suppose 5*o - 96 = -291. Let j = -36 - o. Suppose 0*r + 1 = r. Sort j, r, 0.
0, r, j
Let c be ((-4)/(-12))/(8/48) + 3. Put -4, 6, -5, c in decreasing order.
6, c, -4, -5
Let n = 2011/11 + -183. Let s be (-913)/(-33) + 2/3. Let u = s + -28. Sort u, n, 8.
n, u, 8
Suppose -5*v = -19*v - 56. Sort -2, -0.64, v, 0.1 in ascending order.
v, -2, -0.64, 0.1
Let l = 1.64 - 1.74. Sort 2, -3, l, -2 in decreasing order.
2, l, -2, -3
Let i = 703 + -710. Put 2, 15, i in increasing order.
i, 2, 15
Let