.
n, 4, 5
Let v = -4.695 + -0.005. Let g = 5 + v. Sort 3, g, 2 in decreasing order.
3, 2, g
Suppose 5*t = -5*d - 12 - 3, 4*d = 8. Suppose 0 = -5*z + 3*j + 18, 3*z - 5*j + j = 13. Put z, t, 1 in ascending order.
t, 1, z
Let j = 18 + -16. Put 5, -1, j in ascending order.
-1, j, 5
Let j(q) = q**3 - 5*q**2 + 2*q - 8. Let s be j(5). Put -9, s, 5 in ascending order.
-9, s, 5
Suppose -3 = 2*d + 13. Let k be ((-9)/(-2))/(4/d). Put 3, 5, k in increasing order.
k, 3, 5
Suppose 13*i + i + 70 = 0. Sort 2, i, -4 in increasing order.
i, -4, 2
Let l = 30 - 26. Put 6, 0, l in decreasing order.
6, l, 0
Suppose -3*c = -19 + 7. Suppose 3*b = m + 5, -2*m + 12 = 6*b - b. Suppose b*q + 0*q + 4 = 0. Sort 1, c, q in descending order.
c, 1, q
Let n = 62 + -65. Let r = 6 - 6.4. Sort r, 0, n in decreasing order.
0, r, n
Let y be ((-2)/3)/(6/36). Suppose 4*g - 5*c - 36 = 0, g - 7*c - 9 = -4*c. Let h = y + g. Put 3, -5, h in decreasing order.
h, 3, -5
Suppose -32 = -4*p - 0. Put -5, p, 5 in ascending order.
-5, 5, p
Let c be (-2)/7 - 39/(-14). Let r be (-4 + 1)*16/264. Sort 0, c, r.
r, 0, c
Let o = -11 + 15. Let c = 14 - o. Let r be (-1)/((0 - 2)/c). Put r, -5, -4 in decreasing order.
r, -4, -5
Suppose 4*k + 3 = 2*s - 5, -k + 3 = -3*s. Put -5, -13, 3, k in descending order.
3, k, -5, -13
Let c = -38 - -36. Let b = -9 - -8.8. Sort c, b, -1 in descending order.
b, -1, c
Let g be (-2)/(6/3)*4. Sort 0, 2, g in increasing order.
g, 0, 2
Suppose -d - 5 + 2 = 0. Suppose 4*l + 12 = l. Put l, 2, d in decreasing order.
2, d, l
Suppose 2*d - 5*d = -24. Let m(l) = l**3 + 8 - 4 + 8*l**2 + 1 - 2*l**3. Let s be m(d). Put -1, -4, s in ascending order.
-4, -1, s
Suppose -28 + 10 = -3*d + 3*h, -2*d + 20 = -4*h. Put -3, -1, d, 3 in increasing order.
-3, -1, d, 3
Let t = 0.17 - -4.83. Let v = t + -5.1. Put v, -2/13, 4 in increasing order.
-2/13, v, 4
Suppose 0 = -h + 5, -b - 2*h + 18 = 2*h. Let g be 1/5 + b/10. Sort 3, g, 1 in descending order.
3, 1, g
Let g = 173/35 - 29/5. Let m = 38 - 191/5. Sort g, m, 0.5 in descending order.
0.5, m, g
Let i(r) = r - 8. Let a be i(15). Let u(b) = b**2 - 7*b + 9. Let d be u(a). Put -3, d, -5 in ascending order.
-5, -3, d
Let z be (-3)/9*-3 + 1. Suppose 3*p + 0 = 9. Let f be (-4)/5*(z + p). Put 1, f, -3 in ascending order.
f, -3, 1
Let q be 15/4 - (-7)/28. Suppose -3*l = 1 + 2. Sort l, q, -4 in decreasing order.
q, l, -4
Let o = 121 + -124. Let q = -20 - -34. Suppose 4*r - 3 = 5, 2*r - q = -2*n. Put o, 1, n in increasing order.
o, 1, n
Let v(m) = m**3 - m**2 + m. Let q be v(1). Let k(d) = d**3 + 6*d**2 + 4*d - 7. Let x be k(-5). Let l be 2/(-2) + (-1)/(-1). Sort q, l, x in descending order.
q, l, x
Let l = 29 - 18. Let c = l + -7.6. Let m = c - 3. Put m, -5, 3/7 in ascending order.
-5, m, 3/7
Let t(b) = 2*b**2 + 15*b + 6. Let d be t(-7). Put d, -4, 2 in decreasing order.
2, d, -4
Let u = -4 + 7. Suppose -5*l + 59 = -66. Suppose 3*b - 5 = 2*b - 3*s, -s - l = -5*b. Sort -5, b, u in increasing order.
-5, u, b
Let y = 186 - 1300/7. Sort 1/2, y, 0.2 in decreasing order.
1/2, y, 0.2
Suppose 30 = 2*d - 6. Suppose 0 = 4*o - 5*y + d, -3*o = -y - y + 10. Put o, 0, 3 in decreasing order.
3, 0, o
Let t = 8 - 5. Suppose 5*g - 4*h - 5 - 3 = 0, -2 = -t*g + h. Suppose -2*q + 2 + 3 = -k, -3*q + 4*k = -5. Put g, -4, q in decreasing order.
q, g, -4
Let p = 1.7 - -0.3. Let w = -1.4 - -2. Let v = -0.2 + w. Sort v, 5, p in descending order.
5, p, v
Suppose -3*x = -10*x - 21. Put x, 0, -5, 5 in descending order.
5, 0, x, -5
Let o = 4 - 1. Let c = 6 - 4. Let m = c - 5. Sort -4, m, o in increasing order.
-4, m, o
Suppose -4*k = -7*k + 15. Suppose 2*j = 10, k*q + 3*j = j. Let r = -3 - q. Put r, -3, 4 in decreasing order.
4, r, -3
Suppose -4*t = -4 - 4. Let q = 437.01 + -435. Let g = 0.01 - q. Sort 1, g, t.
g, 1, t
Let k = 22.6 - 23. Put 1/8, k, -0.3 in ascending order.
k, -0.3, 1/8
Let i = 0.05 - -2.95. Let g = i + 5. Let w = 12 - g. Sort -1, -1/3, w.
-1, -1/3, w
Let k(h) = -3*h + 3. Let r be k(2). Let u(z) = z**3 - 3*z**2 - 6*z + 6. Let o be u(4). Let n be ((-6)/(-15))/(16/40). Put n, o, r in increasing order.
r, o, n
Let k = 34 + -32. Sort -5, 15, k in increasing order.
-5, k, 15
Let r(k) be the second derivative of k**3/6 - 4*k**2 + 5*k. Let i be r(8). Put -1/6, i, -0.2 in decreasing order.
i, -1/6, -0.2
Let f = 3 - 5. Let u = 19.3 - 19. Sort u, f, 3 in ascending order.
f, u, 3
Suppose 95 = 3*s - 4*s - 2*k, -5*k = -3*s - 340. Let u be (-1)/3 - 161/s. Sort u, -1/3, -0.1 in descending order.
u, -0.1, -1/3
Let v be 2/(-9) + 38/9. Suppose -4*q + 20 = -5*h, 3*q = v*h + q + 10. Sort h, 5, -4 in ascending order.
-4, h, 5
Let d be (-5 - 0)*-7*1. Suppose 0*l + d = 5*l + 5*h, 4*l - 13 = -h. Suppose 4*s - 20 = -4*r, 15 = s + l*s + r. Sort 4, 3, s in ascending order.
3, 4, s
Let a be (0/4 - -2)/14. Sort a, -0.3, 1/6 in increasing order.
-0.3, a, 1/6
Let c(m) = -4*m + 24. Let z be c(7). Put -3, z, 2, 3 in ascending order.
z, -3, 2, 3
Let m = 47 - 50. Suppose -i + 16 = 3*i. Put m, i, 3 in increasing order.
m, 3, i
Suppose -5 = d + 3*h - 1, -h - 2 = 0. Sort 1, d, -1.
-1, 1, d
Let m = 13 + -4. Suppose -m*u = -8*u - 2. Put 4, 0, u in increasing order.
0, u, 4
Suppose 6*q - 3*q + 6 = 0. Let f be (10/(-6))/(q/(-6)). Suppose 0 = h - 2. Sort -2, f, h.
f, -2, h
Let f = -2.1 - -2. Let q = 3 - 6. Let z(v) = v + 6. Let c be z(-7). Sort q, c, f in descending order.
f, c, q
Let t be 9*(-1 - -2) + (13 - 18). Let l(z) = 2*z + 1. Let x be l(-2). Put t, x, -7 in ascending order.
-7, x, t
Suppose -46*i - 25 = -41*i. Put i, -4, -2 in decreasing order.
-2, -4, i
Let b = 19 + -18.9. Put 3, 2, b in ascending order.
b, 2, 3
Let p = 1 - -1. Suppose 6 = 2*a - 2*t, 2*t = 2*a - 3*t - 21. Sort -5, p, a in decreasing order.
p, a, -5
Let i be ((-20)/8 - -4)*2. Suppose i = 5*b - 2. Sort 4, b, 2 in decreasing order.
4, 2, b
Let w = 2/97 - 111/679. Sort 0.2, -2/9, 5, w.
-2/9, w, 0.2, 5
Let n(s) = -s**3 + 7*s**2 + 3*s - 7. Let f be n(7). Suppose 0 = 4*p + 2*c + f, -p + 3*p = 4*c + 18. Put 2, p, -5 in increasing order.
-5, p, 2
Suppose -y - 2*y = 6. Let w = y - 0. Let p = w - -3. Put 5, -5, p in descending order.
5, p, -5
Let n = -603 + 429. Let q = n - -182.3. Let z = 8 - q. Sort 0.1, z, -3 in decreasing order.
0.1, z, -3
Let k = -27 - -35. Sort 3, 1, k in increasing order.
1, 3, k
Let c = -0.6 + -0.5. Let z = 1.2 + c. Sort 0.04, -5, z.
-5, 0.04, z
Let f(z) = -2*z - 2. Let g be f(-2). Suppose n - 1 - 4 = 0. Sort g, n, -1 in decreasing order.
n, g, -1
Let n = -9 - -12. Sort 2, 5, n.
2, n, 5
Suppose 0 = -3*y - 9, -4*y - 24 = -3*k - y. Put k, -5, 1 in ascending order.
-5, 1, k
Let r be (-2)/(-7) + 855/(-28). Let u = -30 - r. Let p = 38 + -35. Sort u, p, -3/4 in descending order.
p, u, -3/4
Let o = 0.6 - 1. Let n = 8 - 29. Let g = n - -19. Put -4, o, g in decreasing order.
o, g, -4
Suppose 0*p + 30 = -2*p + 3*z, 3*p - z = -45. Let k = p + 11. Let v = 1 + -1.4. Sort v, -5, k in decreasing order.
v, k, -5
Let r be 4*(-2)/(24/15). Let i be (16/20)/((-2)/r). Suppose -5*z + 2 = -3*z. Put 3, i, z in increasing order.
z, i, 3
Let f(r) = -r - 8. Let b(p) = 2*p + 17. Let i(s) = 4*b(s) + 9*f(s). Suppose -12 - 18 = 5*h. Let t be i(h). Put -2/19, 0, t in decreasing order.
t, 0, -2/19
Suppose 30 = n - 6*n. Let s be (-4)/(-33)*9/n. Sort -0.2, s, -3 in descending order.
s, -0.2, -3
Suppose -3*z + r = -2*z, z + 5*r = 18. Let x = -10 + 5. Sort x, -3, z in decreasing order.
z, -3, x
Let p = -84 + 82. Sort 3, -4, -1, p.
-4, p, -1, 3
Let j = 103 - 313/3. Put j, -0.07, 0 in descending order.
0, -0.07, j
Let x(k) = -k - 14. Let s be x(-10). Let i be ((-1)/(-2))/(1/(-4)). Let w be -5 + 1/(-1)*i. Sort s, w, 1 in descending order.
1, w, s
Let d = 6 + -6.3. Let c = -0.1 + d. Put c, -4, 5 in ascending order.
-4, c, 5
Let t = 13.8 - 12. Let o = -0.6 - t. Let d = o - -0.4. Sort -0.5, d, -1/7.
d, -0.5, -1/7
Let s = 39 + -14. Let i = -22 + s. Sort i, 1, -9 in decreasing order.
i, 1, -9
Let p = -16.4 + 0.4. Let g = -15.8 - p. Sort g, -0.05, 2 in ascending order.
-0.05, g, 2
Let x be 2*1/10*1. Let z = 64 + -46. Suppose 4*g + 2 = z. Put g, x, -0.4 in decreasing order.
g, x, -0.4
Let a be (-6)/(((-30)/4)/(-5)). Suppose -8*x + 7*x = u + 10, 2*x - 4*u - 10 = 0. Sort 1, x, a in descending order.
1, a, x
Suppose -3*y + 20 = y. Suppose 0 = 7*g - y*g + 4. Sort 1/4,