+ (-2)/4)*n. Put 4, x, c in descending order.
4, x, c
Suppose 0 = -2*s - 0 - 8. Let w = 0.6 + -0.1. Put w, -0.1, s in ascending order.
s, -0.1, w
Let l = -2.6927 + 138.6627. Let z = -141 + l. Let u = z + 0.03. Put u, 3, -0.2 in decreasing order.
3, -0.2, u
Let v = 12 - -8. Suppose -5*o = c + 30, 10 + v = -3*c - 3*o. Let h be c/(-13)*-3 - -1. Put -0.5, 0, h in decreasing order.
0, h, -0.5
Suppose -5*r = -8*r. Let w be 1/(-4) + (-75)/20. Put w, r, 3 in descending order.
3, r, w
Let y = -10.3 - -11. Let z = 4.3 + y. Sort z, -0.4, 3 in descending order.
z, 3, -0.4
Let g = 85/21 + -33/7. Sort -4, 4, g in decreasing order.
4, g, -4
Let l = -20 + 20.1. Sort l, 2, 5 in ascending order.
l, 2, 5
Suppose 0 = -5*d + d - 56. Let a = 9 + d. Let o be (-6)/9*(-1 + a). Sort o, -4, -3 in descending order.
o, -3, -4
Let j be (4/4 - 1)*-1. Suppose j = -2*u + 4*f - 22, f - 27 = 5*u - 2*f. Put 1, u, -4 in decreasing order.
1, u, -4
Let u(o) = -o**2 - 8*o - 9. Let a be u(-6). Suppose -m = -4*m + a. Let q be 8/(-6) + (m - 0). Sort q, -5, -3 in increasing order.
-5, -3, q
Suppose 3*x = 2*x - 2*i + 9, -3 = x - i. Let q = 16.4 - 16. Sort x, q, 4.
q, x, 4
Let j = -4.6 - -0.6. Let o = 6 + j. Let t = 7.3 - 7. Put -0.5, o, t in increasing order.
-0.5, t, o
Let r = -323/3 + 108. Let u = -2 + 5. Put -1, r, u in decreasing order.
u, r, -1
Let x = -262 + 266. Suppose 0 = -3*a - 2*i + 22, -a + 0*i + 11 = -3*i. Sort 1, a, x in ascending order.
1, x, a
Let u = -0.34 - -0.84. Let a = -0.2 - -0.3. Put u, -1/11, a in ascending order.
-1/11, a, u
Let p = 17 + -35/2. Suppose -7 = -5*i - 22. Let y(b) = -2*b - 1. Let c be y(i). Put -5, p, c in ascending order.
-5, p, c
Suppose -5*v = -2*v + 9, -z + 19 = -5*v. Let j be (-90)/12*z/(-6). Let i = j + -8. Put i, -1, -5 in decreasing order.
-1, i, -5
Let f = 0.1 - -0.4. Let w = -2.5 + f. Let x = 2.1 + w. Sort -0.4, x, -2 in decreasing order.
x, -0.4, -2
Suppose -5*d = 5*n + 20, 6 + 2 = -2*n + d. Let h(j) = -j**2 - 4*j + 2. Let g be h(n). Suppose u + g = -0*u. Sort -4, u, 3.
-4, u, 3
Let c = -0.09 + 0.49. Let x be (4/6)/(3/9). Put c, x, 1/2 in increasing order.
c, 1/2, x
Let g = 7 - 6. Let t(k) = k - 12. Let u be t(10). Let l be u*((-3)/6 + 1). Sort l, g, 3.
l, g, 3
Let o(f) = f**2 - 1. Let a be o(2). Suppose -4*r - 8 = a*b, -3 = 2*b - 4*b - r. Suppose 4*y = -b*s + 4, 3*s - 11 = -2*y + y. Sort y, 3, 0.2.
y, 0.2, 3
Let h = -0.021 + 0.021. Put 0.1, h, -1, -5 in increasing order.
-5, -1, h, 0.1
Let n = 4 + -8. Let v(t) = 5 + 0*t - 2*t + 3*t. Let p be v(n). Sort -2, p, 2 in descending order.
2, p, -2
Let z be (-2 - -1)/(2/6). Sort 5, z, -4.
-4, z, 5
Let q = 11 - 10. Suppose -2*g = -1 - q. Sort 0, 2, g in decreasing order.
2, g, 0
Suppose 5*w - 4 = 16. Put w, 0, 0.05 in descending order.
w, 0.05, 0
Let v be ((-123)/(-9))/(434/(-12)). Let p = v - 6/31. Sort 0.1, p, -2/3 in decreasing order.
0.1, p, -2/3
Let g = -16 + 17.4. Let u = g - 1. Let r = -1/66 + 101/132. Sort 0, r, u in decreasing order.
r, u, 0
Let b = -3.4 - -3.8. Sort 7/4, b, 4/5 in ascending order.
b, 4/5, 7/4
Let x be (-9 + 4)*(-1)/5. Let z = -0.7 - -0.4. Put 2/7, x, z in decreasing order.
x, 2/7, z
Let r = -0.06 - 1.94. Let q = 0.5 + -0.3. Put r, -3, q in decreasing order.
q, r, -3
Suppose -3*q - 13 = 2*s, 0 = 3*q - 0*q + 3*s + 15. Sort 3, q, 10, -1 in increasing order.
q, -1, 3, 10
Suppose -2*a + 15 = a. Let n = -11.4 + 11. Put n, -4/7, a in descending order.
a, n, -4/7
Let g(w) = -3*w**2 - 2*w - 1. Let u be g(-1). Suppose 1 - 15 = -2*x. Let b(n) = n**2 - 9*n + 10. Let c be b(x). Put 5, c, u in increasing order.
c, u, 5
Let y(v) = 0 - v + 0*v - 4 + 7*v**2 + v**3. Let m be y(-7). Suppose m*j - 3 = 3. Sort 0, j, -2 in ascending order.
-2, 0, j
Let z = -0.144 + -1.856. Sort 0.11, 4, z.
z, 0.11, 4
Let h be (0 - -18) + (9 - 6). Suppose -6*d = -3*d - h. Put d, -4, 1 in ascending order.
-4, 1, d
Let h = -11 - -15. Sort -2, h, -3 in descending order.
h, -2, -3
Let v(d) = d + 2. Let s be v(-6). Let w = -15 + 27. Suppose 0*p + w = 3*p, 2*n - 3*p = -4. Put n, 2, s in decreasing order.
n, 2, s
Let l = -20 + 22. Put -4, l, 8 in decreasing order.
8, l, -4
Suppose 10 + 30 = 5*f. Suppose 0*u = 4*u - f. Put u, -5, 1 in decreasing order.
u, 1, -5
Suppose 4*f = -f - 25. Sort 5, 2, f in ascending order.
f, 2, 5
Let d = -529 - -533. Let j = -2 + 2. Put 0.5, j, d in ascending order.
j, 0.5, d
Let p(o) = -o**3 + 6*o**2 - 1. Let k be p(6). Let m(v) = -v**2 - 3*v - 2. Let f be m(-2). Suppose 0 = -4*l - f - 12. Sort 3, l, k in ascending order.
l, k, 3
Let g = -43 - -44.1. Sort 1, g, -0.2 in decreasing order.
g, 1, -0.2
Suppose 15*t = 14*t - 5. Sort t, -1, -2.
t, -2, -1
Let g = 245 - 3187/13. Sort g, 2/9, -0.3.
-0.3, g, 2/9
Let r(i) = i**3 + 2 + 5*i**2 - 2*i**3 - i**2. Let n be r(4). Suppose 8 = -0*z - n*z. Sort z, -3, 3 in descending order.
3, -3, z
Let w = -8 - -13. Sort -2, 0, w in descending order.
w, 0, -2
Suppose 2*d = 4*i - 19 + 7, 3*i = -2*d + 23. Suppose -4*x - 22 = 5*h - 6*x, 3*h + 3*x + 9 = 0. Sort d, 3, h in descending order.
d, 3, h
Let n = 115 - 1263/11. Sort 4, n, 2.
n, 2, 4
Let x = -17.1 + 16.7. Sort 4/11, 1/7, x in ascending order.
x, 1/7, 4/11
Let p(k) = -k**2 + 5*k - 3. Let t be p(4). Let m(v) = -2*v + 2. Let z be m(t). Put -1, 2, z in decreasing order.
2, z, -1
Let p(l) = -l**3 - 2*l**2 - 4*l - 3. Let a be p(-2). Suppose a*v = 24 + 6. Let r be (v/9)/(2/9). Sort r, 0, -5 in increasing order.
-5, 0, r
Let f(y) = 11*y**2 - 6*y. Let k be f(-5). Let i = -3963/13 + k. Let r = -52 + 158/3. Sort i, r, -3.
-3, i, r
Suppose -o = -f - 2*f - 15, 5 = -f. Put 5, -13, o, -2 in descending order.
5, o, -2, -13
Suppose -j + 5*n = -2, -3 - 5 = -4*j - n. Sort -13, j, 4 in ascending order.
-13, j, 4
Suppose -5*t - 32 = -12. Sort 0, 5, t in descending order.
5, 0, t
Let d = 3.4 + -3.5. Put 2, d, -2 in increasing order.
-2, d, 2
Let a(c) = c**2 + 17*c + 18. Let s be a(-16). Sort -3, 9, s.
-3, s, 9
Let f = 0.68 - 0.48. Put 0.15, f, -1, 3 in decreasing order.
3, f, 0.15, -1
Let x(y) = 4*y**2 - y**3 - 2*y**2 - 3*y**2 + 4 + 2*y**2. Let i be x(0). Let h(s) = -s**3 + 7*s**2 + s - 9. Let l be h(7). Put 2, l, i in decreasing order.
i, 2, l
Suppose 2*k - 12 = -k. Suppose 10 = -5*b + 7*b. Let z = -5 + 0. Put z, k, b in descending order.
b, k, z
Let z = -0.6 + 0.4. Put 5, z, -2 in ascending order.
-2, z, 5
Suppose -23*y + 22*y = -30. Sort 3, y, 0.
0, 3, y
Let u = -0.29 - 1.71. Sort u, 5, 1/4, -4.
-4, u, 1/4, 5
Let l(k) be the third derivative of -k**5/60 + k**4/4 - k**3/2 + k**2. Let n be l(5). Let h be (1*-1)/(-3 - -4). Sort -4, h, n in ascending order.
-4, h, n
Suppose -3*k + 3*d + 2*d + 9 = 0, -2*k - 1 = -d. Let r be 1 - (0/3 + 16). Let f be (5/r)/(14/(-6)). Sort -4, k, f in descending order.
f, k, -4
Suppose 0 = -j - 4, 0 = 4*t - j - 19 - 5. Let g be (-3)/(-5) - (-7)/t. Put -4, g, -3 in decreasing order.
g, -3, -4
Let s(v) = v**2 + 5*v - 2*v**2 - v. Let d be s(5). Put d, -0.5, -3 in descending order.
-0.5, -3, d
Suppose -10*o - 15 = 45. Let c be 2/(-4) - (-14)/4. Let k = c + o. Put 1, -5, k in increasing order.
-5, k, 1
Let i be 2 + (-3)/3 + 2. Suppose i + 9 = 5*z - j, 5*j = -10. Sort -3, 1, z.
-3, 1, z
Suppose 0 = -2*i + 4*i - 4. Suppose -5*j + 5*u = 21 - 66, 0 = 4*j - i*u - 26. Suppose -j*a - 20 = a. Sort -5, -3, a in descending order.
-3, a, -5
Let y = 5.5 + -1.5. Let d = 0.2 + -0.4. Sort y, d, 1.
d, 1, y
Let i = 1.4 - -5.6. Let z = -16.9 - -17. Put 0, i, z in descending order.
i, z, 0
Let w = -8 + 12. Put 0.2, 5, w in descending order.
5, w, 0.2
Suppose -4*w = -15 - 5. Let t = 0.092 + -5.092. Sort t, 3, w in descending order.
w, 3, t
Let j = -3/53 - 38/265. Put -5, j, 0 in increasing order.
-5, j, 0
Let l = -33.7 - -34. Sort l, 4, 1/4 in decreasing order.
4, l, 1/4
Suppose s = -2 + 5. Suppose 3*q - 1 = q + 3*w, -q - s*w + 5 = 0. Let l = 8 - 13. Sort q, -2, l in decreasing order.
q, -2, l
Suppose s = -3*c - 30, 0 = -c - c + 4*s - 6. Let u(o) = -o - 10. Let h be u(c). Put 3, h, 1 in descending order.
3, 1, h
Let a = -1 - -1. Suppose s = -4*i - 2, 1 = -32*i + 35*i + 2*s. Sort i, a, 2 in descending order.
2, a, i
Suppose -38 = -5*c - 13. Suppose -1 = 2*i - c. Let d = 10 - 7. Put d, 5, i in ascending order.
i, d, 5
Suppose 4 = -2*c + d, -3*d = c - 4*d. Sort -3, 4, c in descending order.
4, -3, c
Let i be (-2)/7 + 80/3