 m = -52 + 47. Put 2/3, 0.1, m in descending order.
2/3, 0.1, m
Let f = 57 + -61. Sort 0.5, -0.3, f, 1 in descending order.
1, 0.5, -0.3, f
Let r be (-1)/(-4)*-2*2. Let z be -1 - 23*(0 - r). Let q be 64/z*6/4. Put -2, q, 0 in decreasing order.
0, -2, q
Let j be (-54)/14 + (-3)/21. Let z be 3/(-2) + (-18)/j. Sort z, -1, 2.
-1, 2, z
Let k = 1 - -2. Let n = 59/29 + 3852/145. Let b = n - 29. Put k, b, 0.4 in descending order.
k, 0.4, b
Let b = -5/288 + -3/32. Let d = -15 + 19. Sort 5, d, b in ascending order.
b, d, 5
Let y = 2 + -1. Let b = 3 - y. Suppose 0 = -a + b. Sort -5, 1, a in descending order.
a, 1, -5
Suppose 0 = f + 4*f + 70. Let n be 12/(-6) - f/6. Sort n, 0.3, -1 in decreasing order.
n, 0.3, -1
Let g = -14 - -9. Let q be 3/27 + 6/27. Put 1/5, g, q in increasing order.
g, 1/5, q
Let u = -11 + 9. Sort u, 5, -3 in decreasing order.
5, u, -3
Let q be 42/9 + (-14)/21. Suppose 2 = -4*w + k - 21, -4*w = -q*k + 32. Sort 3, -1, w in decreasing order.
3, -1, w
Let n(s) = 3*s - 3. Let h be n(2). Suppose -1 = -h*u + 5. Suppose 0 = -2*k - 2*k - 20. Sort k, u, 1 in increasing order.
k, 1, u
Suppose 0*k = -3*k + 3. Let c = -2 - k. Let r(a) = a**2 - a - 1. Let b be r(-1). Sort -2, b, c in decreasing order.
b, -2, c
Let g = 0 + 1. Suppose 4*b - 6 = 6. Put -5, b, g in descending order.
b, g, -5
Let z = -8 - -8.2. Let m = 0.4 + -0.1. Let f = m - z. Sort 4/5, f, -2/7 in decreasing order.
4/5, f, -2/7
Let o(w) = -w**3 + 7*w**2 - 8*w + 8. Let l be o(6). Suppose -5 + 1 = -4*v. Put l, -1, v in increasing order.
l, -1, v
Let l(x) = -x**3 - 6*x**2 - 5*x + 5. Let u be l(-5). Sort -2, u, 3 in descending order.
u, 3, -2
Let f(z) = z - 3. Let l be f(9). Suppose -k - k + l = 0. Let h(n) = 3*n - 4. Let w be h(3). Sort k, -0.1, w in decreasing order.
w, k, -0.1
Suppose 0 = 2*r + 4*n - 26, 0*n + 2*n = 2*r - 14. Put 0, r, -3, -8 in increasing order.
-8, -3, 0, r
Let h = -15 + 14. Put h, 2, -3 in descending order.
2, h, -3
Let j = -29 + 16. Let b = 18 + j. Let u = -5 + b. Put u, 0.2, 1 in decreasing order.
1, 0.2, u
Suppose 0 = 2*g - 2 - 4. Put -5, 0, g in increasing order.
-5, 0, g
Suppose -3*l + 2*l = 16. Let p = -12 - l. Sort 5, 3, p in increasing order.
3, p, 5
Let p = -210 - -845/4. Sort -4, -0.5, p in ascending order.
-4, -0.5, p
Let y(q) = 2*q + 7. Let v be y(-5). Suppose 0 = 5*a + 2*n + 34 - 6, -3*a = -5*n - 8. Sort v, 3, a in decreasing order.
3, v, a
Suppose -32 = -3*b - b. Suppose -3*i + b*i = 0. Put 5, i, -2 in increasing order.
-2, i, 5
Let p be (-3)/4 + 2/(-8). Let z be 1 + -7 + p/(-1). Let h be 135/(-36) + 4 + (-9)/(-12). Sort h, z, -1 in decreasing order.
h, -1, z
Let t be 2 + 0 + 1 + -1. Suppose 4*v + 3*c = 8, 0*v + 2*v - t = -2*c. Let h = -1 + 0. Sort 0.5, h, v in descending order.
v, 0.5, h
Suppose -3*v - v + 16 = 0. Suppose 3 = -c + 4*o, -v*c - o - 9 = -c. Let y = -8 - c. Put -2, y, 4 in decreasing order.
4, -2, y
Let l = -6 - -6. Suppose -4*d + 6 - 18 = 0. Sort l, d, 4 in descending order.
4, l, d
Let u = -18 - -17.5. Put 1/3, u, -4 in decreasing order.
1/3, u, -4
Let z(w) = w**3. Let i be z(0). Let d be 0/1 - i - 3. Suppose -m + 0 = 4, 4*l - 12 = 3*m. Sort 3, l, d in ascending order.
d, l, 3
Let g = -0.04 - -0.04. Let v = g - 0.1. Let x = v + 0.6. Put 0, x, -1/6 in decreasing order.
x, 0, -1/6
Let l = -3.4 - -3.9. Sort 0, l, 0.2.
0, 0.2, l
Let h = -5 + 5. Let k(l) = 1 - 2*l**3 + 5*l**3 + l**2 + h*l - l. Let b be k(1). Sort -2, b, -5.
-5, -2, b
Let h = -8.06 - -0.06. Let j = h - -8.4. Put j, -1/3, -3 in ascending order.
-3, -1/3, j
Let r = -4 - -4.4. Let h be (32/(-40))/((-2)/(0 + 10)). Let o = 3 + -5. Put r, o, h in decreasing order.
h, r, o
Let z = -3 + 6. Suppose -5*b - 5 = 0, -3*b - 16 = 5*k + 2. Let q be 6/k + -3 + 0. Put -2, q, z in descending order.
z, -2, q
Suppose h + 2 = 4*q, -8 - 4 = -4*q - 4*h. Let m(g) = -g + 4. Let c be m(3). Suppose 3*j + 7 = c. Put -5, j, q in decreasing order.
q, j, -5
Let h = 3.6 - 3.3. Sort h, 0.1, 5 in ascending order.
0.1, h, 5
Let n(c) be the first derivative of c**4/4 - c**3 - 3*c**2/2 + c + 3. Let f be n(4). Sort -1, 2, f.
-1, 2, f
Let t(i) = i**3 + i**2. Let x be t(-1). Sort x, 0.1, -1, -1/11 in ascending order.
-1, -1/11, x, 0.1
Let c(h) = -h + 0 + h**3 + 1 - 5*h**3 + 3*h**3. Let r be c(1). Sort 1/2, r, -0.2.
r, -0.2, 1/2
Let j(w) = -w**2 + 23*w - 3. Let v be j(23). Sort -4, v, -0.045 in descending order.
-0.045, v, -4
Let j(t) = t**3 + 4*t**2 - 7*t - 7. Let r be j(-5). Suppose -5*d + 2*d = -r*k - 3, -4*d - 12 = 0. Sort 3, 4, k.
k, 3, 4
Let m be 1/(-3)*(5 + -1). Let z = -2537/9 - -282. Put 0, z, m in decreasing order.
z, 0, m
Suppose -2*b - 2 = 2. Let l be b/2*(1 - 40). Let q = l - 81/2. Put q, 3, -1/3 in increasing order.
q, -1/3, 3
Suppose 4*t - 15 - 53 = 0. Let c = -19 + t. Suppose 3*i - 5 = 7. Sort i, c, 0.
c, 0, i
Suppose -t + u = 3 + 1, u = -1. Put t, -1, 85 in decreasing order.
85, -1, t
Let i(q) = -q + 12. Let n be i(14). Let l be 10/(-2)*(-1 - 0). Sort l, n, -1.
n, -1, l
Let u = 2.97 + 0.03. Let r = -6 + u. Let m = r + 3.2. Sort -1, 3, m.
-1, m, 3
Suppose 0 = 5*r + i - 19, -2*i + 3 = 2*r + 3*i. Let o be (-2)/(-3) + (-2)/(-6). Sort 5, o, r in decreasing order.
5, r, o
Let x = -9 + 14. Suppose 3*a = -3*t - 3, 0*t - 21 = x*a + t. Let o = 6 - 8. Sort a, o, 0 in decreasing order.
0, o, a
Suppose -5*u + 0*n + 2 = 4*n, -5*u + 3*n = -16. Let o be 5/((-25)/10)*-1. Suppose 3*q + s = -o*q, -q = -4*s. Put -4, u, q in descending order.
u, q, -4
Suppose -6*l - 20 = 82. Let y = 1 + -1. Put l, -1, y in decreasing order.
y, -1, l
Suppose q - 4 = 0, -2*z = 3*z - q - 16. Let h be 21/52 + z/(-16). Sort 2/7, -3, h.
-3, h, 2/7
Let l = -7 - -11. Suppose 20 = -2*p + 3*v + v, -p - v = 1. Put 1, p, l in decreasing order.
l, 1, p
Let h(a) = 4*a - 34. Let o be h(6). Sort o, 3, -1 in descending order.
3, -1, o
Let r = -17.83 + 18. Let h = 0.17 - r. Let n be 0 - 2 - (-24)/13. Sort n, h, 1/5 in ascending order.
n, h, 1/5
Let m(i) = i. Let x be m(1). Let u be 2/(-6) + (-24)/9. Let v(y) = y**2. Let w be v(0). Put u, x, w in descending order.
x, w, u
Suppose 2*f = -2*f - 4. Let p(z) = -z**2 - 4*z + 1. Let l be p(-4). Suppose -l = -u - 0. Put -3, f, u in ascending order.
-3, f, u
Let s = 6.1 + 2.4. Let g = s + -11. Let d = 3 + g. Put 2/9, d, 0 in descending order.
d, 2/9, 0
Suppose 0 = -4*g - g + 5. Sort 0, g, 4 in ascending order.
0, g, 4
Let s = 39.3 + -46.06. Let i = 0.24 - s. Sort 0.4, -0.2, i in descending order.
i, 0.4, -0.2
Let n(q) = q**3 + 2*q**2 - 3*q + 2. Let j be n(-3). Let f be 8/j*3/12. Sort -0.5, 0, f in increasing order.
-0.5, 0, f
Let j = 0.9 - -3.1. Let w = -1 - j. Let u = 0.05 + -3.05. Sort u, w, 2 in ascending order.
w, u, 2
Let d = -2.8 - -1.8. Sort 1/4, d, 2 in descending order.
2, 1/4, d
Let n = -23 - -26. Let w be (-2)/6 - (-1)/3. Sort -8, w, n in decreasing order.
n, w, -8
Let f = -0.07 - 4.93. Let g = f + 10. Put 4, -1, g in increasing order.
-1, 4, g
Let z(l) = -l**3 - 3*l**2 - l + 2*l**2 + 2*l**3. Suppose 2*j + 2 = 2*t - 0, -2 = -2*t - 2*j. Let u be z(t). Put -5, 4, u in descending order.
4, u, -5
Let i = -35 + 29. Sort i, -0.4, 0.2 in decreasing order.
0.2, -0.4, i
Let j = 53 - 48. Sort -4/7, j, -3 in decreasing order.
j, -4/7, -3
Let j be 63/14 + (-4 - (-1 - -1)). Put -3/5, 0.3, j in decreasing order.
j, 0.3, -3/5
Let f = 16.1 + -16. Let p = -0.34 - 0.06. Put 2, p, f in descending order.
2, f, p
Let h(r) = r - 4. Let p be h(3). Sort 5, p, -2 in increasing order.
-2, p, 5
Let a = -33 + 33. Sort 2, 10, a in ascending order.
a, 2, 10
Suppose 25 = -3*p - 11. Let z = -25/2 - p. Sort z, -4, -12 in increasing order.
-12, -4, z
Let h = 19.04 + -18. Let z = 0.04 - h. Sort -2/3, z, -3/2 in decreasing order.
-2/3, z, -3/2
Suppose 5*z + 73 = 18. Sort 1, -3, z in descending order.
1, -3, z
Let o = -3.89 - 0.11. Let t = 7.13 + -0.13. Let g = 6 - t. Put o, g, 4 in ascending order.
o, g, 4
Let g = 4 - 12. Let j = g + 9. Sort -4, j, -0.2 in descending order.
j, -0.2, -4
Suppose -13*m + 20*m = 63. Sort m, 3, 5.
3, 5, m
Let n = 0.66 - -13.34. Sort 2, -1, n in decreasing order.
n, 2, -1
Let r = -3 + 7. Sort 0.4, -4, -5/4, r in ascending order.
-4, -5/4, 0.4, r
Let p = -32.5 + 32. Sort 2, 0.4, 3, p in descending order.
3, 2, 0.4, p
Suppose 6*j + 7 = -17. Sort j, -11, 1 in descending order.
1, j, -11
Let a be 1 + -1 + 3 