). Sort p, 2, 1 in decreasing order.
p, 2, 1
Let s = 6 + -4. Let r be -3 - (-1 + s + -9). Put r, -3, -4 in decreasing order.
r, -3, -4
Let l = -171 + 167. Sort -5, 4, l in descending order.
4, l, -5
Let x = -27 + 15. Let k = x + 10. Sort 2, 4, k in descending order.
4, 2, k
Suppose 0 = -l - 2*u + 14, 0*u = 2*l - u - 8. Suppose 0*t = l*t. Sort t, 2, -2 in descending order.
2, t, -2
Let m be ((-1014)/10)/(-5 - -4). Let u = 101 - m. Let q = 0.01 + 1.99. Put 0.2, q, u in decreasing order.
q, 0.2, u
Let d = 0.021 + 0.379. Put -4, -5/4, d in descending order.
d, -5/4, -4
Let k be -2*3*(-2)/102. Sort k, -4, 1/2 in decreasing order.
1/2, k, -4
Suppose 0 = 4*t - 2*t - 12. Suppose -z - 25 = -t*z. Put -4, z, 0 in decreasing order.
z, 0, -4
Let d = 5 - 8. Let w be -1*3/9*d. Sort -1, -4, w.
-4, -1, w
Suppose -v + 6 = -4*n - 22, 0 = -3*v. Put -1, 0, 3, n in increasing order.
n, -1, 0, 3
Let w = 91 - 89. Let u(f) = f + 7. Let q be u(-4). Put w, 5, q in descending order.
5, q, w
Let b = -0.6 + -2.4. Let h(k) = k**3 - k + 13. Let q be h(0). Suppose -5*u + 21 = -n + 49, -2*u = -n + q. Sort -0.3, b, u in ascending order.
u, b, -0.3
Suppose 3*x = 9*n - 6*n - 3, 4*n - 2*x = 2. Sort -3, -1, 4, n in descending order.
4, n, -1, -3
Let z be (-1)/4 + 52/16. Let u = -37 - -46. Sort z, 0, u.
0, z, u
Suppose -5*z - 7 = 8. Suppose 5 + 7 = -b. Let j be ((-9)/6)/(b/(-16)). Sort z, j, 2 in descending order.
2, j, z
Let f = 2.6 + -2.1. Suppose 8 = 4*g - 24. Suppose -g = -m + 3*m. Put f, m, -2/3 in ascending order.
m, -2/3, f
Let f(i) = i - 1. Let o be f(5). Let u be 9/3*12/9. Suppose 0 = -2*g - 6, -4*x + 9 + 3 = -u*g. Put x, 5, o in increasing order.
x, o, 5
Let r be 1/(2/(-2)) + 3. Suppose l + r*l + 6 = 0. Sort 3, 1, l in increasing order.
l, 1, 3
Let u = -359/5 - -72. Let l = -9 + 37/4. Sort -3, l, u in descending order.
l, u, -3
Let b = 26 + -26. Put b, 1, 4 in descending order.
4, 1, b
Let t = 0.1 + -0.08. Let l = 1 - 1.42. Let c = t + l. Sort 3, c, 1 in decreasing order.
3, 1, c
Suppose -5*y - 17 = -k + 4*k, 0 = -y + 2*k - 6. Put y, -5, -1/77, 2/11 in decreasing order.
2/11, -1/77, y, -5
Let q = -17.956 - 0.044. Put 0.2, 1/3, -1/5, q in decreasing order.
1/3, 0.2, -1/5, q
Let x(c) = c**2 - 7*c. Let b be x(7). Sort 7, 1, b in ascending order.
b, 1, 7
Let o be 3/(9/2)*-3. Let v be 2/5 + o/5. Put v, -3, 2 in increasing order.
-3, v, 2
Let i be 4/(-6) - (-12)/9. Suppose 9 = 2*h - 5*f, -4*f = 5*h - f - 38. Let x = h + -10. Put x, 4/5, i in increasing order.
x, i, 4/5
Let p = -1.9 - -4.9. Sort 0.1, p, -3/7 in descending order.
p, 0.1, -3/7
Let o = 201.97 - 201. Let x = o + 0.03. Put 3/7, x, -2/11 in decreasing order.
x, 3/7, -2/11
Let d = -14 - -9. Suppose 9 = -2*u + 17. Put d, u, 2 in descending order.
u, 2, d
Suppose -27 = -8*j - 3. Let q be 3*(-4)/(-3) - 2. Put 1, j, q in descending order.
j, q, 1
Let j be (-9)/(-3) + -1 + -1. Let b(s) = -s**3 + 12*s**2 + 14*s - 8. Let w be b(13). Sort w, j, -2 in decreasing order.
w, j, -2
Let v be (2/2)/(2 - 6)*2. Put 1/3, v, -0.3 in increasing order.
v, -0.3, 1/3
Let f = -19/6 - -9/2. Sort 0.5, -0.2, 0, f in decreasing order.
f, 0.5, 0, -0.2
Suppose -5*c = -5 - 0. Suppose -c = -o + 3. Suppose -b = l + l + 6, -4*b + 2*l = o. Sort b, -1, 0 in descending order.
0, -1, b
Let p(r) be the second derivative of -r**4/4 - r**3/6 - r**2/2 - 2*r. Let w(y) = -y**3 + y**2 - y - 1. Let z be w(0). Let d be p(z). Sort 0, d, -1.
d, -1, 0
Let w = 4 - 5. Sort w, 4, -5.
-5, w, 4
Let v(s) = 4*s + 0*s + 7*s**2 - 5*s. Let w be v(1). Suppose -3*z - 6 = f, -w*z + 3*z = -4*f - 9. Sort 4, z, 0 in descending order.
4, 0, z
Let f = 3/7 + 1/14. Let r(m) = 7*m**3 + m**2 - m - 1. Let p be r(-1). Let y be (-2 - -3)/(2/p). Sort f, y, -0.3 in ascending order.
y, -0.3, f
Let i(r) = -r**3 + 5*r**2 - 4*r - 2. Let n be i(4). Let c = n + -1. Suppose m + 8 = 4*m + 4*j, -8 = 5*m - 4*j. Sort -8, c, m.
-8, c, m
Let g = -7 + 11. Suppose 4*a - 50 = -18. Let l = 9 - a. Sort g, -4, l in ascending order.
-4, l, g
Let o = 0 - 0.21. Let l = 0.01 + o. Sort -2/9, l, 2 in ascending order.
-2/9, l, 2
Let x(r) = -r**2 - 7*r + 8. Let f = 20 - 28. Let q be x(f). Suppose q = 5*w + 10 - 0. Put -3, 4, w in decreasing order.
4, w, -3
Suppose 4*x + 20 = -4*y, 3*x + 7 = -y - 0*y. Put x, -2, 2 in descending order.
2, x, -2
Let n(l) = l**2 - 4*l + 5. Let m be n(5). Let p = m + -12. Put 8, 3, p in increasing order.
p, 3, 8
Let j = 24 - 22. Suppose 0 = -j*m - 3*m - 15. Suppose -1 = 3*i + 5. Sort i, 3, m in descending order.
3, i, m
Let n(t) = -t**2 - 12*t - 12. Let i be n(-9). Put 0.2, i, 1, 0 in decreasing order.
i, 1, 0.2, 0
Let p = -3.5 + 2.4. Sort 1, p, 3, -4 in descending order.
3, 1, p, -4
Let l(a) = -3*a - 31. Let z(d) = -5*d - 47. Suppose 4*f = 2*f - 10. Let y(x) = f*z(x) + 8*l(x). Let i be y(9). Sort i, 3, -3 in descending order.
3, -3, i
Let r(v) = -3*v**2 + v - 1. Let z be r(1). Let h = z - -5. Let u = 0 - 5. Sort 4, u, h in decreasing order.
4, h, u
Let b(y) = y**2 + 4*y - 5. Let j be b(-5). Suppose 3*v - 12 = -0*v + 3*f, 0 = -2*v - f + 8. Put v, 5, j in descending order.
5, v, j
Let o = 24 - 24.3. Let d = 0 + -0.5. Put o, 5, d in descending order.
5, o, d
Let l(p) = -p**2 + 15*p + 35. Let f be l(17). Let x = -8 + 11. Sort -1, x, f in ascending order.
-1, f, x
Let n be (-38)/3 - 2/(-3). Sort 4, -3, n in decreasing order.
4, -3, n
Suppose 0 = -2*r + 8 + 2. Suppose 2*h + 9 = -5. Let p = h + 2. Put r, -4, p in decreasing order.
r, -4, p
Let y = 0.01 + 0.29. Let q be 2/(-8) + 7/(-28). Let f = 13 - 8. Put y, q, f in decreasing order.
f, y, q
Suppose -5*s + 5 = -15. Suppose 2*m + 3*r + 2 = 0, -2*m = 2*r - 6*r + 16. Put s, m, 5 in decreasing order.
5, s, m
Let m = -9.9 - -10.3. Let w = 23 + -255/11. Sort w, 0.1, m.
w, 0.1, m
Let i(y) = -y - 8. Let q be i(6). Sort 3, q, 5 in descending order.
5, 3, q
Let j(m) = m**2 - 9*m - 23. Let f be j(11). Suppose d + 3*d - g - 18 = 0, 5*d + g = 18. Let c = d - f. Put -3/8, 0, c in descending order.
c, 0, -3/8
Let i = -3.8 - -4. Sort i, 3/5, 0 in decreasing order.
3/5, i, 0
Let v(i) = 6*i**3 + 2*i**2 + i. Let j be v(-1). Sort 0, -4, -1, j in ascending order.
j, -4, -1, 0
Let x = 0.02 - 0.02. Let v = 13/30 + 9/10. Put x, 0.1, v in decreasing order.
v, 0.1, x
Let d(h) = h**3 + 2. Let y be d(2). Suppose -2*z = -7*z + y. Put z, -5, 3 in increasing order.
-5, z, 3
Let g be (-42)/(-12) - (-2)/(-4). Suppose 2*b - y - g = 0, 5 = 3*y - 4. Put 4, 2, b in descending order.
4, b, 2
Let d be -1 + (-3)/12*2. Let n = 1.2 - 1.5. Sort d, n, -1 in ascending order.
d, -1, n
Let q = -0.13 - 1.07. Let l = q - -1. Let a be 4*1/20*-2. Put l, -2/7, a in descending order.
l, -2/7, a
Let k = -6.1 - -1.1. Sort 2/3, k, -3, 3.
k, -3, 2/3, 3
Let o(q) = -5*q**3 + 6*q**2 - 4*q - 15. Let r(u) = -6*u**3 + 5*u**2 - 3*u - 16. Let y(d) = -5*o(d) + 4*r(d). Let w be y(9). Put -3, -1, w in increasing order.
-3, -1, w
Suppose 0 = 13*g - 18*g - 95. Put g, -1, 1 in decreasing order.
1, -1, g
Let f(n) = -3*n - 53. Let x be f(-18). Put 1/10, -6, x, -2 in descending order.
x, 1/10, -2, -6
Let q = -6 - -3. Sort 1, -2, q in ascending order.
q, -2, 1
Let k = 3.05 + -0.05. Sort 4, k, 0 in decreasing order.
4, k, 0
Suppose -2*r + 1 + 1 = 5*u, 0 = 4*r - 2*u + 20. Let s be 32/14 + r/14. Let o be (-1)/2*8/18. Sort 0.2, o, s in increasing order.
o, 0.2, s
Let m = 13 + -18. Let q = -2572/13 - -198. Put m, -2, q in descending order.
q, -2, m
Let d be (-65)/(-26)*6/(-5). Put d, 0.4, 8 in decreasing order.
8, 0.4, d
Suppose -3 = 2*u - o, -o + 10 = -5*u + 1. Suppose s - 2 = m, 5*s + 0*m = -3*m + 26. Put -5, s, u in decreasing order.
s, u, -5
Let r(x) = -x**3 - 13*x**2 + 3. Let l = -20 - -7. Let k be r(l). Sort -2, k, 1 in descending order.
k, 1, -2
Suppose -4*j + 3*o - 5 = 0, 3*o + 3 = -3*j - 6. Sort 3, j, -5.
-5, j, 3
Let n = 12 + -5. Suppose 0*w - 3*w = 5*h + 5, -3*h = w + n. Let j = 1/38 - -31/266. Sort j, w, 2/3.
j, 2/3, w
Let z = 5 - 2. Let m(a) = -a**3 - 7*a**2 - 8*a - 7. Let i be m(-6). Let d be (2 + -1)*1*1. Sort d, i, z in decreasing order.
i, z, d
Suppose 5*u - 4 = 4*z, -5*z + 20 + 4 = u. Suppose 5*w - y - 15 = -6*y, -5*w + 6 = -z*y. Sort -3, w, 5 in descending order.
5, w, -3
Let r(l) = -l**3 + 6*l**2 - 21. Let g be r(5). Sort -3, g, 1, 0.5.
-3, 0.5, 1, g
Let z = -36 - -20. Let s = z - -11. Let u = s + 2. P