11). Sort y, j, -3, 4 in decreasing order.
4, -3, j, y
Let w = 903 + -906. Put w, -5, 65 in descending order.
65, w, -5
Let s be 8/16*10/25*5. Put -9, s, 2, 0 in decreasing order.
2, s, 0, -9
Suppose 8 = 4*h + 3*l + 2*l, -2*h = 4*l - 10. Put 3, 2, 0, h in increasing order.
h, 0, 2, 3
Let k(t) = -2*t**3 + t**2 - t + 5. Let v be k(0). Put 7, -1, -2, v in decreasing order.
7, v, -1, -2
Let b(f) = -f + 32. Let q be b(13). Suppose 0 = -5*n + 4*u - q, 0 = 4*n - u + 15 - 2. Sort n, 0, -0.06 in decreasing order.
0, -0.06, n
Let v = -5.17 + 7.17. Put v, -2/7, 2/17 in descending order.
v, 2/17, -2/7
Let a = 0.08 + -10.08. Let i = -9 - a. Let n = 0.8 - i. Put n, 5, -1/4 in decreasing order.
5, n, -1/4
Let n = -11.3 + 11.54. Let f = -4 - -4.16. Let u = n + f. Sort 0.7, -5, u.
-5, u, 0.7
Let b be -4 + 15 - 2/1. Let c be (1/3)/((-3)/b). Suppose 2*j = -5*j - 21. Put j, -5, c in decreasing order.
c, j, -5
Let h = -20 - -27. Let q(p) = -p**3 + 6*p**2 + 6*p + 5. Let m be q(h). Put 3, -4, -10, m in decreasing order.
3, m, -4, -10
Let q = -37 + 23. Let f = q - -14.5. Sort f, 6, 0.3 in decreasing order.
6, f, 0.3
Suppose 10 = -2*f, i + f + 16 = 7. Sort -15, 3, -1, i in ascending order.
-15, i, -1, 3
Let x = -0.45 - -0.05. Let r = -86 + 92.1. Let q = r + -1.1. Put q, -2/7, x in ascending order.
x, -2/7, q
Let h = -303 - -325. Put -4, h, 15 in decreasing order.
h, 15, -4
Let r = 34/11 + -137/55. Let g = 26 - 25.9. Put -2/9, -1/5, r, g in ascending order.
-2/9, -1/5, g, r
Suppose 3*i - 2*i = 3*v - 18, -5*i + 10 = 5*v. Suppose -a - o - 4 = 4, 0 = 3*a - 2*o + 19. Sort v, a, 2 in decreasing order.
v, 2, a
Suppose 2*j = -s - 70, 4*s + 6*j + 268 = j. Let c = -63 - s. Put -6, -3, c in descending order.
c, -3, -6
Suppose -6*n + 7 - 43 = 0. Put n, -4, 7 in decreasing order.
7, -4, n
Let h = -831 + 836. Put 1, h, -30, -11 in decreasing order.
h, 1, -11, -30
Let x be ((-6)/4)/((-45)/4). Suppose 0 = 3*i - a + 13, 2*a - 3 = i + 3*a. Sort 11, -1/10, x, i in increasing order.
i, -1/10, x, 11
Let t = 38 - 151/4. Let m(p) = -6*p + 15. Let k(i) = -7*i + 14. Let c(u) = 5*k(u) - 6*m(u). Let s be c(23). Sort -4, t, s in decreasing order.
s, t, -4
Let h = -105.3 - -42. Let o = 63 + h. Sort 1/3, 4/3, o, 2 in increasing order.
o, 1/3, 4/3, 2
Let i(x) = x**2 - 3*x - 4. Let p be i(-6). Suppose m = -4*m + p. Suppose 2*v - m = 5*n, -2*n + 25 = 3*n + 5*v. Sort n, 2, -5 in descending order.
2, n, -5
Let i = 312 + -308. Sort 0, 11, -1/2, i.
-1/2, 0, i, 11
Suppose 3*g - 2*g = -a - 3, a = 3*g - 7. Suppose -n + 5*j = 27, 8*n + 21 = 5*n - 5*j. Sort n, a, 5, 1 in increasing order.
n, a, 1, 5
Let k = 120.6 - 91. Let y = k + -28. Let q = -0.4 - y. Put -3/7, 3/2, q in increasing order.
q, -3/7, 3/2
Let x(r) = r**2 - 5*r - 2. Let q be x(6). Let t(h) = h**2 + 6*h - 24. Let f be t(13). Let y = -227 + f. Put q, 3, y in increasing order.
y, 3, q
Let j be 3/9*-7*-3. Let y be -3*(8/30)/(11/(-55)). Let a = 0 - y. Put a, 1, j in increasing order.
a, 1, j
Let a = -609 - -608. Put a, 3, -3 in increasing order.
-3, a, 3
Suppose 15*u - 24 = 23*u. Put u, 6, -2 in ascending order.
u, -2, 6
Let j be 15/((-225)/20) + (-1)/(-3). Put j, -3, 5, 2 in decreasing order.
5, 2, j, -3
Let k(u) = u**2 + 2*u + 5. Let g be k(-3). Let t be (g/10)/(-5 - (-69)/15). Put 0, t, 1, -1 in increasing order.
t, -1, 0, 1
Suppose -4*u + 12 = 4. Let o(i) = i**3 + 2*i**2 - 3*i - 8. Let f be o(-2). Put -5, u, f in decreasing order.
u, f, -5
Let c = -968/171 + 50/9. Let f = -2144 - -2148. Sort -2, c, f in decreasing order.
f, c, -2
Let k = -40.41 + 0.41. Let o = k + 39.9. Let u = -0.29 + 0.3. Sort u, 0.1, o in ascending order.
o, u, 0.1
Let k = -171 + 176. Sort k, 9, 3, 1.
1, 3, k, 9
Let b be ((-60)/(-16) + -2)*(-2)/(-7). Put 2, b, -0.048 in decreasing order.
2, b, -0.048
Let j(y) = -y**3 + 8*y - 3 + 0*y**2 - 3*y - 7*y**2 + 2*y**2. Let h be j(-6). Let k = 10 - h. Sort -4, k, 4.
-4, 4, k
Let n be 2/5 - 39/(-15). Suppose -4*z - 12 = -i, 2*i - 15 = 5*z + 7*i. Sort n, 4, 6, z in decreasing order.
6, 4, n, z
Let y be (-28)/(-40) + 3/(-45)*3. Put y, 0.3, -0.15, 3/5 in ascending order.
-0.15, 0.3, y, 3/5
Let t be 2 - 0 - 11/(528/108). Sort 8, 2/7, t.
t, 2/7, 8
Let k = -536 + 540. Put k, 21, 1 in descending order.
21, k, 1
Suppose -5*q + 2*q - 75 = 0. Let g = q - -5. Let w be 27/(-12) + (-5)/g. Put w, 4, -4 in decreasing order.
4, w, -4
Let u be 28/140 + 4/10. Sort u, -0.1, 2/7.
-0.1, 2/7, u
Let p = 0.508 + 32.392. Let x = -33 + p. Sort -54, -2/13, x in descending order.
x, -2/13, -54
Let w = -37.7 + 38. Let l = -0.7 - -1.2. Sort -2/11, l, w.
-2/11, w, l
Let j = -3 - -2. Let x(y) = -y**2 - 19*y - 58. Let d be x(-8). Sort d, j, 0 in decreasing order.
d, 0, j
Let t = -213.2 - -194. Let k = 4.8 - t. Let v = k - 24. Put -5, 3, v in increasing order.
-5, v, 3
Let g = 172 + -171. Put 0, 5, -2, g in ascending order.
-2, 0, g, 5
Suppose 3*y + 75 = 8*y. Let u = 19 - y. Suppose 0 = -u*a + 12 + 8. Put a, -2, -1 in increasing order.
-2, -1, a
Let s(d) = d**3 + 5*d**2 - 6*d + 6. Let r be s(-6). Let g = r + -1. Put g, 4, -2 in ascending order.
-2, 4, g
Let r = 0 + 1. Let h(w) = -2*w**2 - 15*w + 13. Suppose -2*x = 5*i + 41, -3*x + i - 19 = -0*x. Let b be h(x). Put r, -3, b in descending order.
b, r, -3
Let a = 7.06 + -6.46. Sort 5/7, a, -4.
-4, a, 5/7
Let x = -180 - -177. Put x, -18, -1 in ascending order.
-18, x, -1
Let c(z) = 6*z**2 - 4*z**2 - z**2 + 3 + 2*z. Let m be c(-2). Let g = -397 - -397. Sort m, g, -3 in increasing order.
-3, g, m
Let s(l) = 27*l**2 + 430*l - 37. Let u be s(-16). Let h = 3 - 1. Suppose -h*n + b = -b + 6, -2*n - 10 = -3*b. Sort n, u, 0.
u, 0, n
Let j(n) = n**2 + 10*n + 2. Let r be j(-10). Suppose -r*p = -7*p + 55. Suppose 3*y = p - 5. Put 3, y, 0 in descending order.
3, y, 0
Let g be (-1092)/(-42) + (-1 + -1)*-1. Sort g, 4, -4, -1 in descending order.
g, 4, -1, -4
Let u(c) = -36*c - 305. Let f be u(-3). Put f, 5, -5 in descending order.
5, -5, f
Let c(w) = w**2 + 14*w - 2. Let q be c(-14). Let d = 211 + -204. Sort -0.2, d, q in decreasing order.
d, -0.2, q
Let g = -0.0494 - -0.2494. Put 64, 2, 2/5, g in increasing order.
g, 2/5, 2, 64
Let m = 17 - 17. Let c = -15 - -8. Let p = c + 10. Put -2/7, m, p in decreasing order.
p, m, -2/7
Let z = 113 + -114. Sort z, -5, -5/8 in descending order.
-5/8, z, -5
Let z = 257 + -256. Put -3, 12, z, -1 in increasing order.
-3, -1, z, 12
Let t = -3 + 3.4. Let w be (-5)/(-6) - 2/6. Let q be (2/30)/(72/(-216)). Sort q, t, w.
q, t, w
Let z(n) = -2*n**3 - 9*n**2 + 2*n - 17. Let i be z(-5). Put i, 6, 0, -1 in descending order.
6, 0, -1, i
Let b = 814/35 - 117/5. Put 0.4, b, 13 in ascending order.
b, 0.4, 13
Suppose -6 - 4 = -2*c. Sort -10, 11, c.
-10, c, 11
Let q be 8 + 2 + 10/(-2). Suppose 5*m - 11 = t - 31, 0 = -2*m + t - q. Let w = -22 + 24. Sort m, 0, w in descending order.
w, 0, m
Let n(i) = -3*i**2 - i. Let s be n(1). Let p be 1014/s + (-8)/16. Let t = p - -1274/5. Put t, 1, 3 in decreasing order.
3, 1, t
Let a be (-4)/10 + 128/220. Let u = 69 - 50. Let k = -56/3 + u. Sort k, -0.4, a.
-0.4, a, k
Suppose 19 = 4*l - 4*y - 69, -26 = -3*l - 5*y. Put l, 2, -5 in decreasing order.
l, 2, -5
Suppose -4*t = 7*f - 3*f - 4, 2*f = 5*t + 23. Sort t, -1, 3, 0.
t, -1, 0, 3
Let f = -387/14 - -57/2. Put -0.3, f, -13, -4 in descending order.
f, -0.3, -4, -13
Let u(w) = w**3 + 6*w**2 + 5*w + 8. Let m be u(-4). Put 5, 1, m in descending order.
m, 5, 1
Let k be 8/6*(-22 + 7). Put 1, k, -1, 0 in ascending order.
k, -1, 0, 1
Let d = -14 + 13.7. Sort 0.4, -2/7, d in decreasing order.
0.4, -2/7, d
Let q be (-5)/(-6) + 1/(-6). Suppose -11*a = -19*a + 40. Sort q, a, 3.
q, 3, a
Let k = -1539 + 1539. Let m(t) = -t**2 + 2*t + 5. Let b be m(4). Put 16, k, b in increasing order.
b, k, 16
Let z = 51 + -461/9. Put z, 1.9, -2 in descending order.
1.9, z, -2
Let j = 532.8 + -535. Sort j, -2, -1.
j, -2, -1
Let g = -5.333 + 0.033. Let m = g + -1.7. Let c = m - -2. Put 0, -0.2, c in descending order.
0, -0.2, c
Let o = -2 - -1.7. Let p = -2 + -2.2. Let h = p - -4. Sort h, o, 0 in decreasing order.
0, h, o
Let n(o) = -3*o - 76. Let y be n(-27). Sort -4, 2, y, -11.
-11, -4, 2, y
Let t = 37/84 + -4/21. Let i be (-6)/(-18)*36/32. Put 0.56, i, t in increasing order.
t, i, 0.56
Suppose u = 4*b + 14, 0 = 5*b + 28 - 3. Let h = -92 + 89. Let v = -9 + 13