*t - 5*x, -4*t - 3*x + 45 = -t. Suppose -2*m + 2*o + 0 = 4, -o = 4*m + t. Suppose 5*i + 6 = -14. Put m, i, 0 in decreasing order.
0, m, i
Let c = -4 + 6. Let o(w) = w**2 - 5*w + 6. Let p be o(4). Suppose -4*x + 5*l = 30, 3*x = x - 4*l - p. Sort 3, x, c.
x, c, 3
Let n be (-7)/3 + 6/(-9). Let s be (-1)/n + (-14)/6. Let d be ((-108)/20 - -6)*5. Put 1, s, d in increasing order.
s, 1, d
Let k = 2 - 1. Suppose -4*s = k + 7. Put s, 5, -1 in decreasing order.
5, -1, s
Suppose -5*c + 8 = 4*l, -2*l + 7*l = -2*c + 10. Suppose -l*s + 1 + 1 = 0. Suppose 2*o - s = t, 2 + 1 = t. Put -4, o, 4 in descending order.
4, o, -4
Let y = 1.54 - 1.64. Put y, -1, 1, 2 in decreasing order.
2, 1, y, -1
Let x = 37 - 38. Put x, 2, -2 in descending order.
2, x, -2
Let d = -4 + 8. Sort 3, 1, d in increasing order.
1, 3, d
Let m be 93/18 + 1/(-6). Suppose 6*k = k + m. Let i = 13 - 18. Sort k, 4, i in increasing order.
i, k, 4
Let j be 4/10 - (-1 - 136/160). Sort 5, -0.3, j in increasing order.
-0.3, j, 5
Let x be 2/4 - (-9)/(-10). Sort 0.2, x, 1 in increasing order.
x, 0.2, 1
Let n = 0 - 5. Let g = 0.1 + -2.1. Let h = -0.6 - -0.8. Sort n, g, h in decreasing order.
h, g, n
Let c be ((-12)/(-8))/(15/(-4)). Sort 0, 0.3, c, -3 in descending order.
0.3, 0, c, -3
Let n be ((-1)/(-5))/((-4)/5). Let u be (6/(-21))/(5/(-7)). Sort n, 4, u in descending order.
4, u, n
Suppose -3*j - 10 = 2. Sort 3, -1, 5, j in descending order.
5, 3, -1, j
Suppose n + 0*n - 5*v = 11, -5*n - 11 = -3*v. Let s = -3 - -1. Sort s, n, -5 in descending order.
s, n, -5
Suppose v + 0*v = -2*f - 8, f - 3*v = -11. Let u(l) = 0 + 6 - 2 + l - 2. Let o be u(-5). Sort f, o, -2.
f, o, -2
Let l = -39 - -38. Suppose -g = -c - 3, -g + 0*c + 4*c - 3 = 0. Let i(z) = -z + 6. Let d be i(g). Sort 3, d, l.
l, d, 3
Suppose 3*h - h = -3*k + 16, -3*k - 4*h + 14 = 0. Sort k, -2, -4 in ascending order.
-4, -2, k
Let f = -36 - -248/7. Sort f, 0, 0.05 in increasing order.
f, 0, 0.05
Let x = 117/2 + -58. Let k = -2.6 - -0.6. Let q = 3 - k. Sort x, q, -3 in descending order.
q, x, -3
Suppose 2*p - 3*a = -a + 8, 3*a = 2*p - 12. Let l = 0 - -0.1. Sort p, -2, l.
-2, p, l
Let t = 3.4 - 0.4. Sort t, -4, 2.
-4, 2, t
Let o = 8 + -9.2. Let y = o + 0.2. Let c = 2 + y. Put c, 4, -1/2 in decreasing order.
4, c, -1/2
Let v be ((-5)/15)/(2/6). Put v, -4, 5 in decreasing order.
5, v, -4
Suppose 3*c = -k + 3, -k - 1 = -4*c + 3. Let o(x) = 5*x - 3. Let d be o(4). Suppose -5*t = -0*v + 4*v + d, -4*t = 2*v + 10. Sort c, v, -1 in decreasing order.
c, -1, v
Suppose 4*g + j + 1 = 0, g + 4 = -10*j + 6*j. Sort g, -3, 3 in ascending order.
-3, g, 3
Suppose -5 = z - 4*q, -4*z = 2*q - 13 - 3. Suppose 4*i + 0*v - 12 = -3*v, 0 = -3*i + z*v - 12. Let h(c) = -3*c**2 + c. Let t be h(1). Sort 1, t, i.
t, i, 1
Let f = 92/3 - 31. Let v = 1 + f. Let o = 3 - 2. Sort 2, v, o in descending order.
2, o, v
Suppose 7*r - 8 = 6*r. Sort 2, -1, r.
-1, 2, r
Suppose 0 = 5*r + u - 4, -r = r - 4*u - 6. Suppose 3*t + 29 = -4*p, -8*p + 3*p = 25. Put r, t, 3 in descending order.
3, r, t
Let o(m) = m**3 - m**2 - m - 1. Let j be o(0). Suppose -4*c + 0*c = 64. Let n be 4/(-14) - c/7. Put n, j, 5 in descending order.
5, n, j
Let o be 1/(-5) - 48/60. Sort 4, 1, -5, o.
-5, o, 1, 4
Let w = -19 - -53. Put w, 1, 0.4 in increasing order.
0.4, 1, w
Let z = 5 - 2. Let r be ((-16)/49)/((-60)/(-3598)). Let y = r + 138/7. Put -2/23, z, y in decreasing order.
z, y, -2/23
Let h be ((-2)/2)/(2/(-3) + 2). Put 3/13, h, 1/4 in ascending order.
h, 3/13, 1/4
Let r(f) = 3*f + 10. Let i(b) = 4*b + 11. Let l(k) = 2*i(k) - 3*r(k). Let t be l(-11). Put t, -4, 7 in ascending order.
-4, t, 7
Let s(h) = h**3 - 19*h**2 + 16*h + 34. Let o be s(18). Put o, -13, -0.2 in descending order.
-0.2, o, -13
Let p = 6 + -4. Let n = 45 + -9. Let l be 48/n*6/(-4). Sort p, l, 3 in ascending order.
l, p, 3
Let h be (-1 + -3)*(-6)/(-8). Let p(y) = -3*y + 4. Let z be p(3). Sort z, 3, h in ascending order.
z, h, 3
Let i = -261/184 + 24/23. Put i, 1/9, -3 in increasing order.
-3, i, 1/9
Suppose -2*u = -2*f + 3*u - 11, -3*u = 3*f + 6. Let k = -143 + 141. Sort f, k, -1.
f, k, -1
Suppose 14 = -6*q - 4. Sort -1, -5, q, 7.
-5, q, -1, 7
Let u be 11/4 + (-12)/6. Sort -5, u, 0.1.
-5, 0.1, u
Suppose -5*i - 5*m = 25, 3*i - 2*m = -0 + 5. Sort 0, i, -3.
-3, i, 0
Let h(t) = -t**2 + 9*t. Let n(g) = -g**2 + 8*g. Let f(w) = 2*h(w) - 3*n(w). Let v be f(6). Let m be (-11 + 3)/(2 + -5 + 1). Sort m, 3, v in ascending order.
v, 3, m
Let f = 16 + -16. Sort 0.2, f, -0.5 in decreasing order.
0.2, f, -0.5
Let o = -3.7 + 3.3. Sort o, 3, 5/4, 2.2 in increasing order.
o, 5/4, 2.2, 3
Let m(c) = c**2 - 12*c + 18. Let s be m(12). Let d = s + -19. Put d, -2, -4 in decreasing order.
d, -2, -4
Let n = 73.3 + -10.3. Let h = n - 63.47. Let c = h + -0.03. Sort -4, -0.1, c.
-4, c, -0.1
Suppose -3*j = -3*d + 9, -1 = -5*d + 4*d + 2*j. Suppose -d*a = -3*a. Sort 3, -3, a.
-3, a, 3
Let o be (-44)/66*-1*(-2)/4. Put 0.4, o, 3, -3/2 in decreasing order.
3, 0.4, o, -3/2
Let p = 4 + -7. Let h be (2/(-5))/((-3)/45) - 1. Sort h, p, 3 in decreasing order.
h, 3, p
Let p(r) = -8*r - 5. Let g be p(-1). Sort -0.1, -8/7, g.
-8/7, -0.1, g
Let j = -135 - -134. Sort j, 4, 5.
j, 4, 5
Suppose 3 = 2*z - 1. Suppose -z*j + 7 = g - 4, -2*g - j = -7. Let k be g*(5 + 1) + -1. Sort 1, k, -5.
-5, 1, k
Let o = -6 + 4. Let g be o/(-6) + 21/(-9). Put g, -3, 1 in increasing order.
-3, g, 1
Let d = -106 + 106.02. Put 0.4, d, -1, -4 in descending order.
0.4, d, -1, -4
Let t = 0.05 + 0.35. Let o = -0.002 - -0.602. Put -4, o, t in increasing order.
-4, t, o
Suppose 7*m - 33 = -5. Let r = -4 + 1. Let x = 12 - 7. Sort m, r, x in increasing order.
r, m, x
Let t = 1 + -1.4. Let f be (8/102)/(7/3 - 3). Sort f, -3, t in descending order.
f, t, -3
Let q = 0.5 + -1.5. Put 2, 2/21, q in descending order.
2, 2/21, q
Let y(a) = a**2 - 4*a - 15. Let r be y(6). Sort r, 1, 29 in descending order.
29, 1, r
Let c = -3 - -2.4. Sort 2, 0.1, c in descending order.
2, 0.1, c
Let g be 1/6 - 2/(-4). Let b(y) = -y**2 + 13*y - 45. Let c be b(7). Sort 3, c, g in descending order.
3, g, c
Let y = 6 - 7. Let g = 1 - y. Sort 3, 3/5, g in descending order.
3, g, 3/5
Suppose 4*i - 6 = 2*i. Put -3, 1, i in decreasing order.
i, 1, -3
Let j = 2.4 - 2.5. Sort -2/3, -4, j in increasing order.
-4, -2/3, j
Suppose 3*o = 5*f - 3, 6*f - o = 5*f - 1. Sort f, 1, 7, 0.
0, 1, f, 7
Let q = -16 + 16. Put q, 4, -5 in ascending order.
-5, q, 4
Let z(w) = w**3 + 12*w**2 + 10*w - 7. Let k be z(-11). Put -7, -2, k in descending order.
k, -2, -7
Suppose 0 = -x - 3*x - 12. Let r = 3 - -1. Suppose 2*t - 4*d = -10, -3*t - 4*d + 30 = -t. Put r, x, t in descending order.
t, r, x
Let v = -14.9 - 2.1. Let s = v - -16.8. Sort -4/3, 2/3, s in increasing order.
-4/3, s, 2/3
Let t = 41 + -20. Let a = t - 30. Let l be (-6)/a + (-2)/6. Put l, 2, -0.1 in increasing order.
-0.1, l, 2
Suppose 2*a + 3*a + 40 = 0. Let z = a + 12. Sort -3, z, 3 in decreasing order.
z, 3, -3
Suppose -8*v + 4*v = -20. Put -0.1, -2/3, v in decreasing order.
v, -0.1, -2/3
Suppose 3 = 7*i + 31. Put -5, 5, i, 3 in descending order.
5, 3, i, -5
Let s be ((-4)/(-16) - 1) + (-82)/(-88). Let m = -4.91 + -0.09. Put m, s, 1/5 in ascending order.
m, s, 1/5
Let q = -0.3 + -0.7. Let g = -16 - -18. Let k = g + q. Put 0, k, -4/5 in increasing order.
-4/5, 0, k
Let c be (-16)/6*18/(-4). Let n = 10 - c. Sort 2/11, n, -4 in descending order.
2/11, n, -4
Let m = 0.12 + -0.62. Let a = -175/2 + 86. Sort a, 1/4, m in ascending order.
a, m, 1/4
Let x(k) = -k**3 + k**2 + 3*k - 3. Let s be x(2). Sort s, 8, -4 in decreasing order.
8, s, -4
Let j(u) be the second derivative of u**3/3 + 3*u**2 + u. Let p be j(-4). Put p, 0, -1 in increasing order.
p, -1, 0
Let n = -0.016 + 0.116. Sort -17, n, 5 in ascending order.
-17, n, 5
Let w = -112 - -113. Put -5, -3, w, -2 in descending order.
w, -2, -3, -5
Let j(y) = 2*y + 4. Let z be j(-3). Let b be (z - (-8)/3)*-3. Put b, 5, -5 in descending order.
5, b, -5
Let g = -0.33 + 0.33. Put -1, g, 4 in ascending order.
-1, g, 4
Suppose -22 = -4*p - 2*l, 12 = 5*l - 3. Let b = 0 - p. Let w be b/16*1*-3. Sort 0.5, w, -2/9 in increasing order.
-2/9, 0.5, w
Let y = -29 + 38. Put 3, y, 0.5, -5 in decreasing order.
y, 3, 0.5, -5
Let u = -1.7 - 0.3. Sort u, -3/10, -5 in decreasing order.
-3/10, 