2. Let n be v(-3). Let o(u) = -u**3 + 15*u**2 - 2*u + 35. Let j be o(15). Put n, j, -4 in descending order.
j, n, -4
Let x = 14 - 16. Let l = -1353/7 - -193. Sort l, -3, x in decreasing order.
l, x, -3
Suppose -4*t = -2*t + 5*q, 2*q + 4 = 0. Sort 3, t, 1 in decreasing order.
t, 3, 1
Let z be ((-4)/6)/((-19)/114). Sort -1, z, 0 in increasing order.
-1, 0, z
Let x(t) = -t**3 + 5*t**2 + 3. Let d be x(5). Let b = d + -6. Put -4, 1, b in decreasing order.
1, b, -4
Let g = -2.9 + -1.1. Let k = 13 + -12. Sort k, -3/2, g in decreasing order.
k, -3/2, g
Let z = -0.21 - -4.21. Put 1, z, 5 in increasing order.
1, z, 5
Suppose 5*u = d + 47, -2*u + 4*d = -d - 5. Suppose -5*f = -u - 15. Suppose -3*z = z - 16. Sort f, z, 3 in descending order.
f, z, 3
Let b be (-3)/12 + (-27)/(-12). Sort -2, b, 4.
-2, b, 4
Let q(l) = l**2 - l - 1. Let h be q(0). Let k = -10 + 12. Sort k, 0, h in decreasing order.
k, 0, h
Let a be (-4)/(-10)*5 - (-1 - 5). Sort -5, a, 0, -4 in decreasing order.
a, 0, -4, -5
Suppose h + 20 = -d - 3*d, -4*h = -d + 12. Let r = h + 5. Let k be 4/(-6)*(r + -4). Put k, 5, 3 in increasing order.
k, 3, 5
Let n = 9 - 6. Let v = 2.1 - 2. Let c = 0.3 - v. Sort n, c, 0 in increasing order.
0, c, n
Let b = 0.03 + -0.33. Let v = -2.11 - 0.09. Let d = v + 2.4. Sort -4, d, b in increasing order.
-4, b, d
Let u = -3/8 + 17/88. Suppose -2*l - 4*f = -12, l - 3*f + 2 = -l. Sort -0.1, l, u in descending order.
l, -0.1, u
Let d be 17/(-26) + 7/14. Sort -2, 2/11, d.
-2, d, 2/11
Suppose -5*n = 346 - 141. Sort n, -0.1, -3 in decreasing order.
-0.1, -3, n
Let b = -2.3 - 11.7. Let p = 10 + b. Let j be 4/(-15) + 6/9. Sort 0.1, p, j in descending order.
j, 0.1, p
Let i = 0.09 + -3.69. Let m = i - -0.6. Put 1/4, m, 1 in descending order.
1, 1/4, m
Let v = 63 - 65. Put 3, v, 2, -1 in ascending order.
v, -1, 2, 3
Let i = -6/11 + 8/11. Suppose -o - 15 = 5*p, 0 = -3*o - p + 3*p + 23. Let n = -3 - -5. Put i, o, n in increasing order.
i, n, o
Suppose 5 = 5*v, -v = -5*q + v + 3. Sort q, 3, 0 in ascending order.
0, q, 3
Suppose -4*x - 1 = -3*p + 1, 3 = -3*p + 3*x. Let o = p + 2. Put o, 2, 4 in decreasing order.
4, 2, o
Let u be 42/(-15) + 2 - -1. Sort 4, -0.1, -0.5, u in descending order.
4, u, -0.1, -0.5
Let r = -0.1 - -0.6. Suppose -1 = -n + 3. Suppose 0*x + w + 8 = -2*x, 2*x = 5*w + 4. Sort n, x, r in ascending order.
x, r, n
Let h be 143/39 - (-1)/3. Sort 3, h, -7 in decreasing order.
h, 3, -7
Let c = 1.95 - -0.05. Let d = c - 2.1. Let w = 0.021 - 0.421. Sort d, w, -4 in decreasing order.
d, w, -4
Let v = -6.7 + 1.7. Put 0.3, v, 2 in descending order.
2, 0.3, v
Let o = 9 + -16. Let w = o - -9. Sort w, 0, -2/7 in ascending order.
-2/7, 0, w
Let p be 3/6*-2 - 1. Suppose -5*f + 3*b = 40, -4 = -4*f - 5*b + 1. Sort f, p, 3.
f, p, 3
Let k = -0.6 - -1. Let y(d) = -d + 7. Let l be y(6). Let b be -1*(-1 - (-4)/l). Put k, b, 2/9 in decreasing order.
k, 2/9, b
Let a = -10.7 + 15.7. Put 0.5, a, -6 in descending order.
a, 0.5, -6
Let n(k) = -k**3 - 3*k**2 + 5*k - 2. Let g(l) = 2*l**3 + 6*l**2 - 9*l + 4. Let i(w) = -3*g(w) - 5*n(w). Let j be i(-4). Sort j, -1, 3.
-1, 3, j
Let t = 5.2 - 1.2. Sort t, 0, -0.2, -3 in descending order.
t, 0, -0.2, -3
Let w = 0.85 - 0.35. Put 3, 0, w in decreasing order.
3, w, 0
Let j(u) = u + 9. Let m be j(-8). Let n = -4 + m. Sort n, 1, 5 in descending order.
5, 1, n
Let l = -1/68 + 211/476. Put l, -0.01, -2, -4 in descending order.
l, -0.01, -2, -4
Suppose 0 = -4*b + 4*o, 3*b - 2*b - 12 = -3*o. Sort 1, b, -2 in decreasing order.
b, 1, -2
Let l be (17 + -19)*6/4. Put 9, 4, l in decreasing order.
9, 4, l
Let i = 0.3 + 0.7. Let g = -10 - -10. Sort i, g, 1/3.
g, 1/3, i
Let g = 4 - 1. Let o = -0.07 + -0.43. Put 1/3, g, o in ascending order.
o, 1/3, g
Let z = 1 + -1. Suppose z = 5*q - 3*u + 5, 0 = -3*q - 5*u - 27 - 10. Let k = -9 + 12. Put k, 4, q in ascending order.
q, k, 4
Let r be ((-1)/((-6)/9))/4. Let x = 4 + -8. Sort 2, r, x in descending order.
2, r, x
Suppose t - 5 = 2*t. Let m(y) be the second derivative of y**3/6 + 3*y**2/2 + 7*y. Let f be m(t). Sort f, -4, 2 in ascending order.
-4, f, 2
Let u = -28 + 83/3. Let p = -16.24 - -16. Let s = p - -0.04. Put u, 0, s in increasing order.
u, s, 0
Let t = -95/2 - -46. Let g be (-1)/22*8/2. Sort -1, t, g in increasing order.
t, -1, g
Let a = -0.01 + -0.04. Let q = 0.05 + a. Sort -2/3, q, -0.5.
-2/3, -0.5, q
Suppose x - 6 = -x. Let r be 2 + (0 - (x - 0)). Let a = 1883/9 - 209. Put a, r, -3 in ascending order.
-3, r, a
Let c = 1 + -5. Let s = c + 2. Let m be 5*2/(-6) - -2. Sort m, 5, s in descending order.
5, m, s
Let f(y) = -y**2 + 16*y - 18. Let z be f(15). Sort -14, -2, z.
-14, z, -2
Let r be 28/(-49) + 22/14. Suppose 5*o - r = 9. Sort 5, -5, o.
-5, o, 5
Let m = 4.86 - 0.86. Put 8, 1, m in decreasing order.
8, m, 1
Suppose -4*x - 2*h - 6 = 0, 3*x - 4*h = 6*x - 8. Put x, -2, -3 in increasing order.
x, -3, -2
Let q = 0.07 - -0.23. Put -1/5, 40, -0.4, q in decreasing order.
40, q, -1/5, -0.4
Let p(l) = 3*l + 18. Let r be p(-5). Let j(w) = 2*w - 5. Let m be j(5). Put r, m, 0 in decreasing order.
m, r, 0
Let x = 0.48 + -6.68. Let z = 6 + x. Sort z, -3, -2/11 in descending order.
-2/11, z, -3
Let w(n) = -n - 4. Let h(v) = -31*v + 0 + 3 + 33*v. Let i be h(-4). Let b be w(i). Sort b, 2, 5.
b, 2, 5
Let r = -10 + 6. Suppose -b = 9 - 10. Put 0, r, b in descending order.
b, 0, r
Let l(j) = -j - 5. Let w be l(-6). Suppose -23 = -3*q - 29. Put q, -5, w in decreasing order.
w, q, -5
Let g(v) = -v**2 + v + 7. Let f be g(-3). Sort 3, 0, 2, f.
f, 0, 2, 3
Let h be -4*(-6)/3 - 3. Suppose x - 6*x + 10 = 0. Sort h, 0, x in increasing order.
0, x, h
Let k = -26 - -51. Let c = -151/6 + k. Sort 5, c, 4.
c, 4, 5
Let d = -173 - -169.92. Let b = 0.08 + d. Sort b, 0.3, 4.
b, 0.3, 4
Let o(d) = -d**2 + 3*d. Let z be o(4). Sort 0, 1, z.
z, 0, 1
Suppose 0 = 6*l - 9*l + 12. Let s(m) = m + 1. Let k be s(2). Sort l, 8, k in ascending order.
k, l, 8
Let r be 2/2*(6 + -1). Put -5, -3, r in descending order.
r, -3, -5
Let w = 3 + -2. Let x = 0.03 + 4.77. Let a = 5 - x. Sort a, -0.1, w.
-0.1, a, w
Let j be (-4)/(-3) - (-4)/(-12). Sort 5, -2, j in decreasing order.
5, j, -2
Suppose -2 = -3*q + 7. Let j(b) = -b**2 + 6*b + 9. Let k be j(7). Let o be 32/4*k/4. Sort q, o, -5 in descending order.
o, q, -5
Let h be (-4)/22 - 668/(-44). Suppose -o - h = 2*o. Sort o, 4, 2.
o, 2, 4
Suppose -a = 2*a - 3. Suppose -2*q = 3 - a. Sort q, -5, -2 in decreasing order.
q, -2, -5
Let p be 7*(48/28)/6. Put 5, p, 14 in increasing order.
p, 5, 14
Let f = 0.063 + -0.263. Sort 9, f, 2/15, 4 in decreasing order.
9, 4, 2/15, f
Let h = -6 - -11. Suppose -h*a = -a. Put -4, 4, a in decreasing order.
4, a, -4
Let b = -2 - 6. Let t = b + 7.6. Let k(u) = -u**2 + 6*u - 4. Let x be k(6). Put t, -2/7, x in decreasing order.
-2/7, t, x
Suppose -42 = -4*a - 5*l, -19 = -3*a - l + 7. Let k = 13 - a. Sort k, 0, 4 in increasing order.
0, 4, k
Let w = 0.078 + 0.222. Sort -3, -1, 3, w in increasing order.
-3, -1, w, 3
Let m = -0.25 + 0.15. Let c = m - 7.9. Sort c, 5, 0.3.
c, 0.3, 5
Let l(n) = n**2 + n + 5. Let q be l(0). Let s = -20/13 - -314/221. Put s, 0, q in decreasing order.
q, 0, s
Let y be (2 - 4) + -5 + 2. Put y, -9, 1 in increasing order.
-9, y, 1
Let p = 16 - 19. Let u = -162 - -1460/9. Put 4, u, p in decreasing order.
4, u, p
Suppose -f - 3 = -4. Suppose -f = -3*z + p + 11, 3*p - 6 = -5*z. Suppose -5 = -3*b - 17. Put z, -1/5, b in decreasing order.
z, -1/5, b
Suppose -33 = -7*f - 5. Put 1, f, 0, -4 in descending order.
f, 1, 0, -4
Suppose -3*s - 3*c + 21 = -18, 0 = -3*s + 3*c + 33. Suppose -a = t - 18, a + 87 = 5*t + 3*a. Let x = t - s. Sort 0, -4, x in decreasing order.
x, 0, -4
Let q be (-3)/(-5) - 56/(-40). Suppose -3*u - 5*f - 25 + 0 = 0, 0 = 3*u + f + 17. Sort q, u, 3.
u, q, 3
Let n be (-14)/8 - (-5)/20. Sort n, 2, 6 in ascending order.
n, 2, 6
Suppose 0 = -2*c - 0*c + 6. Suppose y - c*f = -4*y, 1 = -3*y + 2*f. Sort 4, -1, y in descending order.
4, y, -1
Let d be 0 + 0 + 2/2. Let c = d - -3. Sort 0, c, -1 in decreasing order.
c, 0, -1
Let s be (-33)/(-216) + 8/36. Let q = 3.95 + 0.05. Let a be (-111)/(-132) - 9/12. Sort q, a, s in ascending order.
a, s, q
Let n = -15.93 + 16. Let z = n - -1.93. Let c be ((-3)/30)/((-1)/6). Sort c, 0.1, z in descending order.
z, c, 0.1
Let q = 1