4 = 6*t - t, -5*m - 2*t + 16 = 0. Put m, w, i in decreasing order.
w, m, i
Let n = 1.2 - 1.4. Sort n, 0.09, 1, 5 in decreasing order.
5, 1, 0.09, n
Let h = 3 + -3.5. Let c = -28.99 + -0.01. Let k = c + 31. Put -1, k, h in decreasing order.
k, h, -1
Let m(w) = w**2 - w + 1. Let g be m(2). Let a(t) = -t**3 + 4*t**2 - 3*t - 2. Let q be a(g). Let p = -3.6 + 4. Sort p, q, 0.2 in descending order.
p, 0.2, q
Let c be (8/30)/(-2)*(1 - -4). Put c, -0.1, -0.06 in descending order.
-0.06, -0.1, c
Let i be (-2)/4*(-2 + -1 + 3). Sort i, 1, 5 in descending order.
5, 1, i
Let w(o) = -o**3 - o**2 - 3. Let c be w(0). Let f be 5 - (-4 - 1)/(-1). Sort c, 3, f in decreasing order.
3, f, c
Let t = 5 + -7. Suppose -122 + 80 = 14*z. Sort z, t, -1 in decreasing order.
-1, t, z
Suppose -p - 6 = -3*p. Sort p, 1, -0.16 in descending order.
p, 1, -0.16
Let u(n) = 2*n - 7. Let d be u(7). Let m be d + (-2)/((-2)/(-2)). Sort -4, 3, m in descending order.
m, 3, -4
Let j = 5.06 - 5. Let u = j + 1.94. Let h be 11/(-35) - 4/14. Put u, h, -2 in ascending order.
-2, h, u
Let i(g) = g + 6. Let s be i(-8). Let l = -170 + 169. Sort l, 0, s in descending order.
0, l, s
Let n(l) = 3*l - 18. Let x be n(7). Sort 0, 4, x, 2.
0, 2, x, 4
Let s be (-1)/3*(-18)/(-39). Put s, -0.1, -2 in ascending order.
-2, s, -0.1
Let l be 6/4 - (-132)/(-72). Sort l, 0.3, -5.
-5, l, 0.3
Let h be 2*-10*(-1)/4. Let x(l) = -2*l + 1. Let n be x(-2). Let g = -4 + n. Put -4, g, h in decreasing order.
h, g, -4
Suppose 5*g + 7 = -8. Let w = -1 + 6. Suppose 3*a - 17 = 2*k, -k + w*a - 31 = 3*k. Sort g, 2, k in decreasing order.
2, g, k
Suppose 184 = -o - 119. Let f = -4547/15 - o. Put 4, f, 0.1 in ascending order.
f, 0.1, 4
Let m = 2 - 2.3. Let d = m - 4.7. Suppose -r - 3*r - 16 = 0. Put d, 3/5, r in decreasing order.
3/5, r, d
Let v(d) = -d**2 - 4*d + 1. Let q be v(-2). Suppose t + 0*t + q = 0. Let y = t + 3. Sort 0, 4/5, y in decreasing order.
4/5, 0, y
Suppose 25 = -4*j - j, -2*j = 2*p. Let o be (-2 + -2)*p/(-4). Suppose o*l - 3*l = -4. Put -1, l, 3 in decreasing order.
3, -1, l
Let y(w) = -w**2 - 6*w - 6. Let n be y(-4). Put n, 5, -3 in decreasing order.
5, n, -3
Let y = -18 - -23. Put -2, 4/3, y in descending order.
y, 4/3, -2
Let y be ((-2)/(-10))/(-3*5/15). Sort 2, y, -2, -0.3.
-2, -0.3, y, 2
Let y = -20 - -19. Sort y, 4, -2 in decreasing order.
4, y, -2
Let y = 1 - 0.8. Let g = -15 - -12. Sort y, g, -4/5.
g, -4/5, y
Suppose 0*w = 9*w - 9. Sort -1, 6, w.
-1, w, 6
Let x = -7 + -79. Let c = x - -82.1. Let d = c - -4. Sort -3, d, 2/17.
-3, d, 2/17
Let k = -7 - -29/4. Sort k, 0.3, 4, -2 in decreasing order.
4, 0.3, k, -2
Let z = 2.048 + -0.048. Sort -1, 0.3, z in decreasing order.
z, 0.3, -1
Suppose d - 2*y = 4*d, -4*y = 12. Sort d, -3, 5, -4 in decreasing order.
5, d, -3, -4
Let t(l) = -5*l + 5. Let i(u) = -6*u + 4. Let z(d) = 2*i(d) - 3*t(d). Let x be z(4). Sort -1, 0, x in descending order.
x, 0, -1
Let p = -0.046 - 3.954. Sort p, -0.5, -0.3, 16.
p, -0.5, -0.3, 16
Let s = 0.45 + -0.25. Sort 0.05, 0.5, s in descending order.
0.5, s, 0.05
Let s(o) = -2*o**2 - 4*o - 4. Suppose b = 2*v + 4, v = 2*v + 3*b + 2. Let g be s(v). Sort g, 0, 3 in ascending order.
g, 0, 3
Suppose -16 = -3*i - 55. Let z = 11 + i. Sort 4, -5, z in descending order.
4, z, -5
Let o(z) = 2*z**2 - 2*z - 3. Let x be o(0). Let l be (-1)/2*-1*6. Suppose 2*i + 10 = 2*c, 3*i + 6 = -l*c - 9. Sort x, -4, i in ascending order.
i, -4, x
Let c = 39 + -42. Put 3, -4, -2, c in descending order.
3, -2, c, -4
Let o = 2 + -1. Let s = 2 + -7. Let k = s + 5.5. Sort k, -2, o in descending order.
o, k, -2
Let d = -2.5 - -2. Put 2, 0.01, d in decreasing order.
2, 0.01, d
Let t(w) = w**3 - 6*w**2 + 8*w - 4. Let b be t(5). Suppose 0 = 4*m - b - 1. Put 1, m, -2 in increasing order.
-2, 1, m
Let a = 8 + -5. Sort -1/10, -5/3, a in increasing order.
-5/3, -1/10, a
Let q = 4 + -2. Suppose 5*x + 2 = q*t - 3, -2*t - x = -11. Suppose 6*a = 4*a - 4. Sort 4, a, t in decreasing order.
t, 4, a
Let c = 40 + -35. Sort c, 4, -3 in increasing order.
-3, 4, c
Let w be 1/((-6)/(-2) + -2). Let t = 3 - w. Sort -2, t, 3 in decreasing order.
3, t, -2
Let p(c) = c**3 - 21*c**2 - 22*c - 2. Let a be p(22). Sort -1, 11, a in descending order.
11, -1, a
Let q be (-20)/14*144/15. Let x be ((-2)/(-21))/((-23)/3333). Let a = x - q. Put 1/4, 0, a in descending order.
1/4, 0, a
Let f(k) = -k**3 + 3*k**2 + 3. Let j be f(3). Sort -3, j, 1 in ascending order.
-3, 1, j
Let o = 17 + -22. Put 2, o, 4 in increasing order.
o, 2, 4
Let w(v) = -v - 2. Let m be w(-4). Suppose 0*q + 30 = 5*q. Suppose -4*p + 4 = -2*y - q, -5*y = -25. Put 0, m, p in decreasing order.
p, m, 0
Suppose 5 = 5*a - 3*n, a - 4 = -3*a + 4*n. Put -1, a, 4 in decreasing order.
4, a, -1
Let c = -83 + 84. Sort -7, 3, c in descending order.
3, c, -7
Let c(g) = g**3 - 7*g**2 - 8*g + 5. Let z be c(8). Let r(n) = -n**2 + 1. Let i be r(0). Suppose -i = k - 2*k. Put k, 2, z in increasing order.
k, 2, z
Let p = 199/3 - 67. Sort -2/15, 0.1, p, -3 in descending order.
0.1, -2/15, p, -3
Suppose 2*g - 11 = 11. Let y = -14 + g. Sort 0.3, -4, y in descending order.
0.3, y, -4
Let c be -1 - -3 - (-1 - -2). Let v = 22 + -22. Sort c, 3, v in descending order.
3, c, v
Let i be (-24)/(-8)*1*3. Let w be 6/i + (-2)/(-6). Put w, 5, -5 in descending order.
5, w, -5
Let i be 2/(-3 - (-35)/10). Sort -2, i, 9 in increasing order.
-2, i, 9
Suppose -5 = -d - 6. Sort d, 4, -4, 5 in descending order.
5, 4, d, -4
Let l = -1.2 - -6.2. Let b = -7.62 - -8.02. Let t(k) = 5*k - 1. Let w be t(1). Put l, w, b in ascending order.
b, w, l
Let b = 4 + -5. Let d = b - -0.8. Sort d, -0.4, 2/9 in increasing order.
-0.4, d, 2/9
Let f = 43 - 43.58. Let k = -0.08 - f. Put 3/4, k, -2 in increasing order.
-2, k, 3/4
Suppose 15 = -11*d + 48. Sort d, -4, 4.
-4, d, 4
Suppose l - 4*l = 0. Suppose l = -5*j + 14 + 6. Sort -0.4, j, 1 in descending order.
j, 1, -0.4
Let b(c) = -3*c**3 - 9 + 4*c**3 - 2*c - 6*c + 5*c**2. Let m be b(-6). Put -4, m, -5 in increasing order.
-5, -4, m
Let u(p) = p**3 + 7*p**2 + 7*p. Let r be u(-6). Let q = r + 5. Suppose -2*w - 4 = -0. Sort q, w, 0 in increasing order.
w, q, 0
Let j = 2 - 9. Let v = j - -10. Let h(o) = o**3 + 6*o**2 - o - 4. Let r be h(-6). Put -1/5, v, r in ascending order.
-1/5, r, v
Let d be (6/3 - -2)/(-2). Sort 3, 0.5, d in ascending order.
d, 0.5, 3
Let i(o) = -6*o**2 + o + 2. Let d be i(-1). Sort -2, d, -4 in increasing order.
d, -4, -2
Let w = -15 - -19. Sort w, 2, -5 in ascending order.
-5, 2, w
Let b = -200 + 198.97. Let q = b + 1.1. Let x = q + 4.93. Put -4, -3, x in descending order.
x, -3, -4
Suppose 4*o - 11 = f, -2*f + 10 = 3*o - f. Sort 6, o, -2 in descending order.
6, o, -2
Suppose -4*z = 4*p, 4 = -z - 4*p - 5. Sort 7, 4, 1, z.
1, z, 4, 7
Let m(d) = -d - 1. Let v be m(-6). Suppose v = 2*j - 3. Suppose -l = -j*l. Sort l, -5, -1.
-5, -1, l
Suppose 3*y - 4 = 2*w, 9*y - 12 = 4*y - 2*w. Put -1, 7, 3, y in descending order.
7, 3, y, -1
Let j = 0.7 - -0.3. Let f = -7 - -2. Sort j, f, 0.4.
f, 0.4, j
Let p(t) = t**2 + 4*t + 4. Let w be p(-6). Suppose 5*c = -15, 2*i - i - w = 4*c. Let b = i + -1. Sort b, -5, -1.
-5, -1, b
Let k = -147 + 144. Put 2/7, 0.3, k in ascending order.
k, 2/7, 0.3
Let i(m) = -2*m**3 - 4*m**2 - 3*m. Let y be i(-2). Suppose 0 = -h + j - 4 + y, 3*j - 6 = 0. Sort -4, h, -2 in decreasing order.
h, -2, -4
Suppose z - 2*z - 4 = 0. Sort z, 1, 2, -2 in decreasing order.
2, 1, -2, z
Let v = -4 - -3. Let l = v + 0.9. Let o(j) = -j**3 + 17*j**2 - 28*j - 25. Let f be o(15). Sort f, -2/5, l in descending order.
f, l, -2/5
Let f = -5/46 - 68/115. Let i = f + -9/5. Let j = 0.3 - 0.4. Put i, j, -5 in ascending order.
-5, i, j
Let n = -2 - -7. Let m(a) = a**3 - 4*a**2 - 4*a - 7. Let y be m(n). Sort y, -4, 1.
-4, y, 1
Let b be (-6)/4*4/6. Put -3, b, -14 in decreasing order.
b, -3, -14
Let i = -3.263 - 0.037. Let c = i + -0.7. Sort 5, 2/5, c in descending order.
5, 2/5, c
Let t be (-4 - 3)*(-2 + 1). Suppose -4*b = -5*g - 8 - t, -3*b - 3*g - 9 = 0. Put b, -3, -4 in increasing order.
-4, -3, b
Let y(q) = -2*q - 16. Let r be y(-9). Sort -10, r, 4 in ascending order.
-10, r, 4
Suppose -q + 5*q = 3*m + 29, q = 3*m + 14. Suppose -3*y + 4*d + 22 = -4*y, -2*y - 16 = d. Let n = y - -1. Put -4, q, n in descending order.
q, -4, n
Let l be (1 - (