i, -2/11, 1 in descending order.
1, i, -2/11, -0.3
Let p = -895/8 + 112. Sort -1, 2/9, p in increasing order.
-1, p, 2/9
Let k = 0 + -1. Put 0, -5, k in decreasing order.
0, k, -5
Let y = -0.2 + 0.4. Let c = -3.6 - -7.9. Let p = 0.7 + c. Put -1/3, p, y in ascending order.
-1/3, y, p
Let m = -2/597 - 991/1194. Let c = 0.5 + -1. Let f = -417 + 416. Put f, c, m in increasing order.
f, m, c
Suppose -6*q + q - 10 = 3*l, -6 = -q + l. Let x = q + -2. Put -5, 5, x in ascending order.
-5, x, 5
Let i = 34 + -30. Let c = 1 + -0.8. Suppose 0 = 5*z - 6 + 1. Sort i, z, c.
c, z, i
Suppose 3*c - 2 - 4 = 0. Sort c, 4, 5 in ascending order.
c, 4, 5
Let k = -13 + 47. Suppose -3*l + 4*i = 2*l - 14, k = 5*l + i. Let g be l/39 - 19/39. Put 1/5, -0.5, g in decreasing order.
1/5, g, -0.5
Let j be -1 - ((-3)/4 + -2). Let t = 3/4 + j. Sort 1/5, 1, t.
1/5, 1, t
Let s = 54 - 54.5. Sort 0.1, -0.1, s, -5 in increasing order.
-5, s, -0.1, 0.1
Let g(x) = -x**3 + 2*x**2 + 5*x - 5. Let z be g(3). Let u = 7/264 - 5/24. Put -4, u, z in ascending order.
-4, u, z
Let l be ((-2)/3)/((-4)/6). Let i = 1/6 - -1/3. Let g be (-1*(-1)/(-3))/1. Sort g, i, l in decreasing order.
l, i, g
Let w = -22 + 21. Let v = 5 - 2. Put 1, v, w in descending order.
v, 1, w
Let i(f) = -f**2 - 8*f - 3. Let d be i(-6). Suppose d - 3 = 2*g. Sort -2, 5, g in decreasing order.
5, g, -2
Let g be (3 - 0) + 1510/(-162). Let d = g + 58097/567. Let t = 96 - d. Put 2/3, t, 3 in ascending order.
t, 2/3, 3
Let j = 148 - 1926/13. Let i = -2.1 - -12.1. Let t = i + -7. Sort t, 1, j in decreasing order.
t, 1, j
Let x be (12/(-15))/((-2)/10). Let h = x - 3. Let i be h + -2 - (-6)/9. Put i, -2, 5 in decreasing order.
5, i, -2
Let y be 4/(2 + -2 - -2). Suppose -s + 6 - 4 = 0, -4*s - y = -5*g. Let q be (4/(-8))/(2/8). Put g, 0, q in decreasing order.
g, 0, q
Let n = 27 - 26. Sort -0.5, -3, n in ascending order.
-3, -0.5, n
Let c = -57 + 50. Sort 3, c, 5, 4 in ascending order.
c, 3, 4, 5
Let v = 2/107 - -101/321. Put 3, v, 1/5 in decreasing order.
3, v, 1/5
Let m = 6 + -4. Let b = -4.9 + 0.9. Let f = -1.12 + 0.12. Put b, m, f in decreasing order.
m, f, b
Let x = 0.3 + -0.4. Let c = -4.6 - x. Let m = 4 + c. Put m, 0.5, -1 in increasing order.
-1, m, 0.5
Suppose 0 = -5*x + 2*l - 9, l = 4*l + 9. Let i(t) = -t**3 + 3*t**2 + 4*t + 5. Let k be i(4). Sort 1, k, x.
x, 1, k
Let g = -6 - -5.4. Let c = g + 0.9. Let f = c - 0.5. Put f, 0, -0.5 in descending order.
0, f, -0.5
Suppose -v + 4 + 2 = 0. Suppose -4*f - 40 = -5*k, 2*k = v*k - 4*f - 36. Suppose 138 = -14*m + 166. Sort -5, k, m.
-5, m, k
Suppose 4*q = -3*c - 23, 4*c - 4 = q - 3. Put -1, q, 1, 2 in decreasing order.
2, 1, -1, q
Let v(c) = -2*c + 2. Let w be v(5). Suppose 75*g + 24 = 79*g. Let j = w + g. Sort -1/7, 6, j in descending order.
6, -1/7, j
Let x be (5 + -4)*(1 - -1). Let p be 3/1 + 2*-3. Put 3, x, p in ascending order.
p, x, 3
Suppose 3*t + 17 = -7. Let d(b) = -b**3 - 7*b**2 + 8*b + 5. Let q be d(t). Suppose 0 = 4*y + y. Put 2, q, y in descending order.
q, 2, y
Let k = 159 + -156.89. Let l = k - 0.11. Sort -3, l, -0.1 in decreasing order.
l, -0.1, -3
Let w = 2 + 6. Let x = -3 + w. Sort x, -0.5, -3.
-3, -0.5, x
Let s be 1 + -1 + 7/7. Suppose -g + 1 = 5. Sort s, 4, g in decreasing order.
4, s, g
Let z = 38.1 - 38. Sort z, 2, 0.3, -0.5 in decreasing order.
2, 0.3, z, -0.5
Let a be ((-2)/(-5))/(26/(-10)). Let y = 37 + -42. Put 0.7, a, y in decreasing order.
0.7, a, y
Let k = 33 - 28. Sort -4, k, -5, 5/2 in descending order.
k, 5/2, -4, -5
Let d be -2 - (-4)/2 - 10/(-2). Sort -5, -7, d in decreasing order.
d, -5, -7
Let p = -2 - -2.4. Sort 0.2, 2, 2/7, p in increasing order.
0.2, 2/7, p, 2
Suppose -4*m - 5 - 1 = 2*h, -4*h + 5*m = -14. Let u be (h/2)/((-2)/4). Let n = -3.08 - -0.08. Put n, u, 2 in ascending order.
n, u, 2
Let c = 15 + -17. Sort 2/7, -5, c in descending order.
2/7, c, -5
Suppose 0 = 5*k + 2*t - 5, -2*k + t + 31 = -4*t. Suppose j + j = 5*f + 17, -f + 3*j = -7. Suppose 0 = 4*v + v + 10. Sort f, v, k in increasing order.
f, v, k
Let m = 4 + -3. Let l = -0.9 + 4.5. Let v = -4 + l. Sort v, m, 3/4 in increasing order.
v, 3/4, m
Suppose 3*v - 5 + 2 = -3*d, 0 = -2*v + 3*d - 8. Sort 4/7, v, 0, 3 in descending order.
3, 4/7, 0, v
Let q = -1.9 + 1.6. Put 0, q, 2/7 in decreasing order.
2/7, 0, q
Let u be (-84)/(-18) + 2/(-3). Suppose 6*d + 5 = 11*d. Put d, -11, u in decreasing order.
u, d, -11
Let w = -19 + 18. Suppose 4 - 14 = 5*y. Put w, y, 5 in descending order.
5, w, y
Let h(c) = c**3 - 2*c**2 - c - 2. Let j be h(3). Suppose j*d + 2*z + 2 = 3*d, -2*z = 2*d. Sort d, -4, 3 in ascending order.
-4, d, 3
Let g(v) = -4*v. Let q be g(-2). Let w = q + -4. Let l be (-14)/4 - (-3)/(-6). Sort w, 2, l.
l, 2, w
Suppose 0 = 4*q - 5*r - 10 + 37, 4*q + 5*r = 3. Let o(w) = w - 11. Suppose -d + 30 = 3*s + 9, 0 = -5*s + 20. Let g be o(d). Sort 2, q, g in increasing order.
q, g, 2
Let y(l) = 11*l - 1. Let i be y(1). Let q be 24/(-63) + i/(-35). Put q, -1/4, -3 in decreasing order.
-1/4, q, -3
Suppose -6*w = -3*w + 2*r + 28, -2*r + 52 = -5*w. Put 2/7, -1, w in descending order.
2/7, -1, w
Suppose 3*b + 2*b - 14 = -v, 3*b - 12 = 3*v. Put 3, 5, v, -2 in increasing order.
-2, v, 3, 5
Let c = 3.1 + -3. Let j = c + 0.1. Let u = j - -0.3. Put 0.2, -2, u in decreasing order.
u, 0.2, -2
Let i = 0.79 - 0.19. Let g = -4.6 + i. Put g, 1, -1/4 in decreasing order.
1, -1/4, g
Let m = -1 + 0. Let c = 1 - 1. Sort 2, c, m in decreasing order.
2, c, m
Let b = 0 + -1. Suppose 8*k - 3*k - 25 = 0. Sort -3, k, b in ascending order.
-3, b, k
Let c = 4 - -20. Let v be (-4)/c*(-18)/2. Sort v, 2, 4 in descending order.
4, 2, v
Suppose 0 = -0*o - 3*o - 12. Sort 2, 10, o in decreasing order.
10, 2, o
Let l = 5 - 4.6. Let k = -7.99 - 0.01. Let j = k - -5. Sort -2, l, j in ascending order.
j, -2, l
Suppose -25 = -2*w + 9. Let f = -18 + w. Sort 0, 3, f.
f, 0, 3
Let p(w) = -5*w**3. Let u be p(-1). Let k(c) = c**2 + 6*c + 5. Let d be k(-6). Suppose 0 = -u*m - 5*y + d, 8 = 3*y - 7*y. Sort 1/8, -0.2, m.
-0.2, 1/8, m
Suppose 4*i + 2*k = k, k - 5 = i. Let u(s) = -s**3 + 6*s**2 - 6*s. Let r be u(5). Put r, i, -2 in descending order.
i, -2, r
Suppose 0*b - q = -5*b + 18, 4*b = -2*q + 20. Let l be -9 + (32/10 - 8/(-10)). Put b, l, -2 in decreasing order.
b, -2, l
Let d = 92 - 96. Sort d, -1/3, -3, -3/2.
d, -3, -3/2, -1/3
Let m = -1 - -4. Put m, -7, 0 in ascending order.
-7, 0, m
Let d = -109 + 111.95. Let w = 0.05 + d. Sort 2, 4/9, w.
4/9, 2, w
Let h = 22.8 - 22.8. Sort -3, -2/5, h in ascending order.
-3, -2/5, h
Let g be (2/(-8))/((-3)/12). Let a be (4 - -4)/2 - 4. Sort a, -5, g in decreasing order.
g, a, -5
Let u(r) be the first derivative of -r**3/6 + r**2 + 3*r + 2. Let z(m) be the first derivative of u(m). Let i be z(3). Sort -4, i, -3 in descending order.
i, -3, -4
Let c(g) = -15*g - 17. Let m(n) = 7*n + 8. Let o(y) = 6*c(y) + 13*m(y). Let u(h) = -h**3 - 7*h**2 - 4*h + 8. Let f be u(-6). Let w be o(f). Sort w, 0, -5.
-5, w, 0
Let q(b) = b**2 - 4*b - 12. Let t be q(6). Put 5, -4, t, -1 in decreasing order.
5, t, -1, -4
Let j = 7 + -5. Let p = 1 + j. Put 0, 5, p in descending order.
5, p, 0
Suppose 19 = 5*p + 4. Suppose 3*n - 2 = -t, 2*t - 2*n - 15 = 3*n. Suppose 4*z + 10 = t*d, -5*d + 7 = 5*z - 3. Put p, z, -4 in increasing order.
-4, z, p
Let i = -4 + 6. Suppose -5*s - 14 = -3*m, 5*s - 3 = 2*s - 2*m. Let u be (s/(-3))/((-6)/12). Sort 1, i, u in decreasing order.
i, 1, u
Let r(l) = 14*l + 5. Let m be r(0). Put -14, m, 2 in increasing order.
-14, 2, m
Suppose -3*d - 8 = 31. Let w be (-1)/2*(-52)/d. Sort w, -1, 5 in decreasing order.
5, -1, w
Let v be -1 - 1 - -3*20/15. Put v, -2, 5 in increasing order.
-2, v, 5
Suppose -290*w = -288*w - 2. Put 15, 2, w, 3 in descending order.
15, 3, 2, w
Suppose 3*n = 4*n - 3*g - 9, -5*n = 5*g + 15. Let j(u) = 2*u**2 - u + 2. Let s be j(0). Let t be -7 - 3*2/(-3). Sort t, s, n in descending order.
s, n, t
Let i = -9 - -3. Let n = 9 + i. Suppose -3*c + 1 = -2*c. Sort n, c, -3 in decreasing order.
n, c, -3
Let w be ((-30)/(-40))/(1 + (-65)/8). Sort -4, 2, w, 5.
-4, w, 2, 5
Suppose 0 = 6*p - 20 - 4. Sort -3, p, 5 in decreasing order.
5, p, -3
Let u be (-7)/3 - (-2)/(-3). Suppose -2*a - 28 = -5*f, -2 = 3*a + f + 6. Let w = 2 + -1. Sort a, u, w in ascending order.
a, u, w
Suppose -12 + 28 