i = 64 - 68. Sort 2, c, i in increasing order.
i, 2, c
Suppose -3*o = -o - 6. Let a be ((-21)/(-154))/(-1*o). Let c = a + 73/154. Put -0.4, -1/2, c in descending order.
c, -0.4, -1/2
Let t be ((-16)/(-20))/(2/5). Let l be ((-27)/18)/(t/4). Sort 1, 4, l in descending order.
4, 1, l
Let p = -10 + 12. Put 3, -1, p in decreasing order.
3, p, -1
Let o be -9 - 6*4/(-6). Let s be ((-3)/(-6))/(2/4). Put s, o, 2 in ascending order.
o, s, 2
Let q = -13.07 + 13. Let y = 0.07 + q. Put 1, 0.3, y in ascending order.
y, 0.3, 1
Suppose 2*u - 4 = 6*u. Sort 2, -10, u.
-10, u, 2
Let n(u) = -u**3 - 4*u**2 + 6*u + 3. Let l be n(-5). Let c be (1/(l/12))/1. Sort -2/13, c, 4 in increasing order.
c, -2/13, 4
Let u = -0.25 - 0.05. Put u, -2, 2/51 in descending order.
2/51, u, -2
Let m = 2290 + -2290.979. Let i = 0.061 - m. Let v = i - 0.04. Put -0.2, v, 2/13 in descending order.
v, 2/13, -0.2
Let f(q) = q**2 - 2*q + 8. Let c(r) = 3*r**2 - 5*r + 23. Let k(o) = -6*c(o) + 17*f(o). Let w be k(-2). Put -3, w, 5 in ascending order.
-3, w, 5
Let f be (-1 - -1)/((-6)/(-3)). Suppose -5*v = -o - 23, -3*v + 4*v - 5 = f. Suppose 4*t + 2*b = 16, -2*t - b + 8 = -o*b. Sort t, -2, 3 in ascending order.
-2, 3, t
Let o be 2*(-2)/((-8)/(-4)). Let f = -1 - 3. Let i = f - o. Sort -3, i, 3 in decreasing order.
3, i, -3
Suppose 5*u = -0*u. Let o(s) = s**2 - 5*s - 2. Let p be o(5). Put u, -5, p in ascending order.
-5, p, u
Let v = 133/12 + -31/3. Put -0.2, 4, v, -1 in descending order.
4, v, -0.2, -1
Let c be 14/3*(-2)/(-21). Suppose 0 = 4*a - 0*w - 2*w + 14, -w = 5*a. Sort a, -2, c.
-2, a, c
Let a = -51 + 52. Sort a, -5, 4 in increasing order.
-5, a, 4
Suppose 17 = -2*h - 31. Put -3, 4, h in descending order.
4, -3, h
Suppose -12*f = -3*f - 36. Sort -8, f, 1, 0 in descending order.
f, 1, 0, -8
Let r = 0.395 - -0.005. Sort -0.3, r, 4, -5 in decreasing order.
4, r, -0.3, -5
Let d = -2 + 7. Suppose d*o - 3*p = 9, 3*o + p = -2*o - 3. Suppose 2*s - 4*h - 8 = 0, 0*h + 3*h + 20 = 5*s. Put s, o, 1 in descending order.
s, 1, o
Let i be (-1 - 0) + -3 + 4. Sort i, 2/7, -1/2.
-1/2, i, 2/7
Suppose -2*m + p - 25 = -2*p, -2*m - 2*p = 0. Sort 0, 5, -3, m in decreasing order.
5, 0, -3, m
Let j = 8 + -23. Let m = j + 19. Put 5, m, -3 in decreasing order.
5, m, -3
Let s = 14.7 - 15. Sort s, 3, -1/6 in ascending order.
s, -1/6, 3
Let d(v) = -2*v**2 - 3*v - 3. Let l = 3 + -5. Let o be d(l). Let p = -217/5 - -43. Sort o, -0.3, p.
o, p, -0.3
Suppose -d = 4*d + 15. Let w be (d/(-9))/(6/4). Let p be (-3 + 1 + 1)/(-1). Put p, w, 0.5 in descending order.
p, 0.5, w
Let w = -157 + 3299/21. Let l(k) = 4*k - 2. Let d be l(-2). Let f be ((-2)/d)/(3/(-5)). Put 4/9, f, w in decreasing order.
4/9, w, f
Let b = 4.5 - 7. Let l = 0.5 + b. Let v = l + 5. Sort -3, v, -4 in decreasing order.
v, -3, -4
Let w = 38/15 - 7/3. Put w, 4, -1/4 in descending order.
4, w, -1/4
Let l = 233/20 + -57/5. Let h = -7 - -4. Put l, -1/8, h in decreasing order.
l, -1/8, h
Let v(p) = 2*p**2 - 9*p. Let u be v(5). Sort 3, -1, u in decreasing order.
u, 3, -1
Let t(s) = s**2 + 3*s + 4. Let i be t(-1). Sort -6, i, 6 in descending order.
6, i, -6
Let n = 16 - 16.2. Let f = -6 - -7. Sort f, 0.3, n in ascending order.
n, 0.3, f
Let u = -14 - -9. Let c = -5 - u. Let f be (-14)/(-10) - (-6)/(-15). Sort c, f, 3 in ascending order.
c, f, 3
Suppose -3 = -2*u + u. Let l be -3*(-2)/u*-1. Put 1, l, 3 in decreasing order.
3, 1, l
Let k = -2.021 - 0.019. Let n = 0.04 + k. Sort 1/5, n, 3/2 in increasing order.
n, 1/5, 3/2
Let n(y) = y**3 - y - 27. Let x be n(0). Let b be (-6207)/x - (-3)/9. Let r = b - 230. Sort 0.3, r, -3 in decreasing order.
0.3, r, -3
Let b(q) = -7*q**3 + q + 1. Let r be b(-1). Let n be ((-4)/6)/(r/3). Let d be -1 + 14/10 - (-3)/(-15). Sort n, d, 2.
n, d, 2
Let n(c) = 11*c - 8. Let x be n(1). Sort x, -4, 15, -3 in descending order.
15, x, -3, -4
Let g(a) = 9*a**2 - 25*a. Let m be g(3). Sort 3, 2, m in descending order.
m, 3, 2
Let q = 3 - 2. Suppose 0 = k - 2*u + 7*u, 0 = 4*k + 4*u. Sort -3, q, k in descending order.
q, k, -3
Suppose -15*v - 1 = -16*v. Sort 0, v, 3 in increasing order.
0, v, 3
Let z be (-22)/99 - (-94)/18. Let h be 2*2 - (6 - z). Let w be (-1)/((-2)/(-16)*-2). Sort -2, h, w in decreasing order.
w, h, -2
Let r = 15 - 10. Suppose 0 = -3*x + 8*x - r. Let y = -15 - -11. Sort y, 2, x in decreasing order.
2, x, y
Let r = 2.48 - 0.08. Let n = 1 + 1. Let w = n - r. Sort w, -2, 5 in decreasing order.
5, w, -2
Let n be 1 + 1 + 36/(-14). Let q = 8.1 - 7.9. Put 2, q, n in descending order.
2, q, n
Let x be -2*(3 - 1)/1. Suppose -4*y = -4*w + w + 5, 4*y + 11 = 5*w. Sort 5, w, x in descending order.
5, w, x
Let x = 65 + -66. Let b = 7 + -3. Sort b, x, 5 in descending order.
5, b, x
Suppose -2*n + 0*n - 2 = 0. Let v(f) = -f**3 + 5*f**2 + f - 4. Let c be v(5). Suppose 4*m + c = -7. Put n, m, 5 in increasing order.
m, n, 5
Let v = -14 + 24. Suppose -4*q - 5*m = -v, -5*m = 2*q - 0*m. Put 4, -4, q in decreasing order.
q, 4, -4
Let q = -9.14 + 9. Let l = q + 5.14. Put -3, l, 0.4 in ascending order.
-3, 0.4, l
Let t = 113/440 - 3/40. Let y = -132 + 133. Sort t, y, 0.12 in descending order.
y, t, 0.12
Let t = -64 + 60. Put t, 0.5, 1, 4 in ascending order.
t, 0.5, 1, 4
Let a = 70 - 348/5. Let v be 0 + 1*2/(-6). Sort v, -4, a in decreasing order.
a, v, -4
Let x be 2/(-4)*2/(-6). Let v = -7.6 - -9. Let h = v + -1. Put -1/4, h, x in descending order.
h, x, -1/4
Let q = 34 - 35. Put 5, q, 2 in decreasing order.
5, 2, q
Suppose m + 3 = 6. Suppose 0 = 5*f - 4*f + m, -3*i - 5*f - 30 = 0. Let j be (12/(-15))/(2/i). Sort -1, j, 4 in descending order.
4, j, -1
Let k be ((-1)/4 + 6/(-12))*-4. Put 0.1, 4, k in decreasing order.
4, k, 0.1
Let y be 8/6 - 6/(-9). Let w(u) = u**3 - 9*u**2 - 9*u - 13. Let q be w(10). Sort q, 3, y in decreasing order.
3, y, q
Let u be 7 - 3/2*2. Suppose p = u*p - 6. Sort -2/9, -2, p.
-2, -2/9, p
Let h = -5 - 1. Let z = 8 + h. Let g = -2 + 1. Put z, 1/4, g in increasing order.
g, 1/4, z
Let u = 32 + -34. Put -0.17, -1/3, u in descending order.
-0.17, -1/3, u
Let t(l) = -l**2 - 8*l - 5. Let k be t(-8). Let w = k - -6. Let z = -5 + w. Sort z, 3, -3 in decreasing order.
3, -3, z
Let l = 0 - 2. Let w be l/(-8) - 17/4. Let j = 2 + 0. Put -5, j, w in ascending order.
-5, w, j
Let y = -6 + 6.5. Let m = -1 + y. Sort m, -2, 1.
-2, m, 1
Let z = 3.1 + -3.3. Sort 3, 0.4, 1, z in descending order.
3, 1, 0.4, z
Let i = -95 - -91. Sort 1, -2/5, i, -5 in increasing order.
-5, i, -2/5, 1
Suppose -8*t + 4*t - 4*c = -36, -t - 11 = -4*c. Sort t, -9/4, -0.4 in ascending order.
-9/4, -0.4, t
Let x be (2 - -2 - 2) + 2. Suppose -f - 6 = -x*f. Suppose 0 = -l - 4*s + 9, 0*l + 3 = 4*l + 5*s. Sort 3, f, l in ascending order.
l, f, 3
Let v(g) = g + 1. Let t be v(-1). Suppose -2*j - j - 7 = c, j + 3 = 0. Suppose -4*h + 20 = 5*u + 4, -2*u + 10 = -c*h. Put 5, t, u in ascending order.
t, u, 5
Let w(t) = -t**3 - 12*t**2 - 11*t + 5. Let x be w(-11). Suppose 0*k + x = -k. Sort k, 2, 0.
k, 0, 2
Suppose -3*h = -3 + 6. Suppose 0*w = 2*w - 4. Sort 3, w, h.
h, w, 3
Suppose 0 = -3*k - k + 20. Put k, -2, 15 in descending order.
15, k, -2
Let l be 538/1084 + (-4)/(-16). Let b = l + 1/271. Put 3, 2/9, b in decreasing order.
3, b, 2/9
Let w = 2.5 - -0.5. Let r = 0.1 - 0.1. Let i = w + r. Sort 1/2, i, -1/3 in increasing order.
-1/3, 1/2, i
Let x(z) = z**2 + 6*z - 9. Let p be x(-7). Sort p, 1, -4, -5 in ascending order.
-5, -4, p, 1
Let o = -6 + 11. Let m be 2*o/(-12) + 1. Sort -2, 2, m in decreasing order.
2, m, -2
Suppose -5*j = -2*j. Suppose 3*k - 7*k - 32 = j. Let x be k/12 + 16/6. Sort x, -4, 5 in ascending order.
-4, x, 5
Let q = -9 - -7. Put -5, 5, q in decreasing order.
5, q, -5
Let o(m) = -m**2 + 9*m - 6. Let d be o(8). Let b = -1 + 3. Let f = 0 - b. Put f, -5, d in decreasing order.
d, f, -5
Let o = 4.3 - 4.4. Put 1, o, 0.07 in decreasing order.
1, 0.07, o
Let g be (-5)/9*(-2)/(-5). Let v = 0.057 + 1.943. Put v, 0.5, g in descending order.
v, 0.5, g
Let v(k) = -k**2 - 4*k + 8. Let t be v(-5). Put t, 4, -2 in decreasing order.
4, t, -2
Suppose 20 = 5*f, -2*q - 6*f = -2*f - 22. Let l = 1 - q. Let w be (-2)/6*18/l. Sort 2, -1, w in decreasing order.
w, 2, -1
Let c be (0 - -2)*2*4/(-16). Put 1/2, 0, c, 2 in decreasing order.
2, 1/2, 0, c
Let h = 1/2 - 1. Let k = -16 - -17. Put