m = 1.4 + -0.4. Let d = 2.04 - 0.04. Let l = m - d. Sort -5, l, -4 in decreasing order.
l, -4, -5
Let v be -3 + -1 + (-247)/(-57). Put -25, v, -0.4 in ascending order.
-25, -0.4, v
Let a be (-10)/6*18/(-5). Suppose 0 = 3*i - a*i + 4*q + 6, 3*i = -2*q + 6. Sort i, 3, 4 in ascending order.
i, 3, 4
Let t be 591/(-10)*(-15)/18. Let o = -49 + t. Let r = 2 - 5. Sort 5, r, o in increasing order.
r, o, 5
Let i be (-6)/20*46/69. Sort -5/6, i, -3/2 in descending order.
i, -5/6, -3/2
Suppose 2 = -4*y - 18. Let s(l) = -l**3 - l**2 + 2*l - 1. Let h be s(1). Suppose 4*q - 10 = -26. Sort q, h, y in decreasing order.
h, q, y
Suppose 2*a = 5*r - 27, -r - 2*a + 7 = -4*a. Suppose 4*j + 3 = r*j. Suppose 0 = -2*o - k - 1, j*o + 3*k = -o - 7. Sort -3, 1, o.
-3, 1, o
Let w = 6 + -4. Suppose -w*j = -4*j - 4. Let m = -4 - j. Sort -1, m, 2.
m, -1, 2
Let n = -3.5 + 3. Sort 8, n, -4.
-4, n, 8
Let t = 0.9 - 0.5. Put t, 0, -1 in decreasing order.
t, 0, -1
Let v be (-88)/(-14) - (-2)/(-7). Let a be 1/17*v/3. Let g be 1/6 - 2/(-12). Sort g, 5, a in ascending order.
a, g, 5
Let q = -1 + -4. Let c = q - -8. Let n = -17 + 12. Sort n, c, 0.5 in descending order.
c, 0.5, n
Let r = 3 + 2. Let c = -75 - -77. Sort r, c, -4/5.
-4/5, c, r
Let t(r) = -6*r - 1. Let n be -1 + -2 + (-2)/(-1). Let z be t(n). Let j be (9/6)/(2/4). Sort -4, z, j in descending order.
z, j, -4
Suppose 2*q + 13 - 7 = 0. Sort -2, q, -5, -1 in increasing order.
-5, q, -2, -1
Let f(g) = 3*g - 5. Suppose -2*p - 1 = -11. Let d be f(p). Let m = 5 + -2. Sort 0, m, d in descending order.
d, m, 0
Let g = -1.1 - 0.2. Let j = g + -1.7. Let z = -4.7 - -5. Sort z, j, 3/5 in ascending order.
j, z, 3/5
Let m be ((-2)/14)/(-5 - 27/(-6)). Sort 1, 4/5, m, -5.
-5, m, 4/5, 1
Let d be 104/(-273) - 2/(-3). Sort -2, -3/2, d.
-2, -3/2, d
Suppose -29 = x + 5*n, x + 2*n = 3*x - 2. Suppose 3*w = i - w + 7, 2*i + 4*w = -2. Sort 4, i, x in increasing order.
x, i, 4
Let g = 0.01 - -0.07. Let c = -0.48 + g. Sort 4, c, -1/3 in ascending order.
c, -1/3, 4
Let u(x) = -x**3 - 8*x**2 - 6*x. Let r be u(-7). Let t = 24 - 13. Let n = t + r. Put -5, -4, n in ascending order.
-5, -4, n
Let f(t) = -t - 10. Let n be f(-14). Sort -2, 3, n in decreasing order.
n, 3, -2
Suppose 5*g - 7*g = -28. Let k = g + -10. Sort -4, k, -0.2 in decreasing order.
k, -0.2, -4
Suppose 12*a - 16*a = 16. Put a, 5, 3, -1 in ascending order.
a, -1, 3, 5
Let n = 23 - 24. Put n, 1/2, 4, -4 in ascending order.
-4, n, 1/2, 4
Suppose -2*a + 3*a = 7. Let n(w) = -w**2 + 6*w + 4. Let k be n(a). Put k, 4/7, 2 in descending order.
2, 4/7, k
Suppose -3*z + 0 = -3. Suppose 0*p - 5*p - 4*p = 0. Sort p, -2, z.
-2, p, z
Suppose 3*d = -0*d - 12. Let j = -2 - d. Let r(c) = c**2 + 5*c + 3. Let k be r(-3). Put 3, k, j in decreasing order.
3, j, k
Let t be (48/40)/(-2*(-6)/40). Put 1, 2, 3, t in ascending order.
1, 2, 3, t
Let g(c) be the first derivative of 3*c**4/4 + c**2 - c - 4. Let t be g(1). Sort 2, t, -3 in increasing order.
-3, 2, t
Let h = -275 - -277. Let d = -0.01 - -2.01. Let l = d - 2.2. Put l, h, 5 in descending order.
5, h, l
Let g be (10 + -8)*(1 + 1). Suppose g*s - 12 = s. Sort s, 0, 2 in decreasing order.
s, 2, 0
Let x = 3 - -1. Sort x, -0.5, -2 in descending order.
x, -0.5, -2
Let o(m) = m**3 + 9*m**2 - 2*m - 13. Let z be o(-9). Put -1, z, 2 in increasing order.
-1, 2, z
Let l be 1 + (-20)/(-2) + -3. Let p be l/3 + 2/6. Suppose 0*c = p*c + 6. Sort 5, c, 2 in descending order.
5, 2, c
Let x = -7 + 12. Suppose 0 = 3*s - x*c + 6 + 12, c - 3 = 0. Suppose -2 = -a + 3. Sort s, -4, a.
-4, s, a
Suppose t - 3*t = 6. Let x(r) = -r**3 + r - 1. Let s be x(0). Let j(y) = y**3 + y**2 - y. Let g be j(s). Put 5, g, t in descending order.
5, g, t
Let q = -0.08 - -8.08. Let r = -8.2 + q. Sort -5, r, 2.
-5, r, 2
Let s(x) = x**2 - 3*x - 8. Let i be s(6). Suppose 2*o - i = -0*o. Sort 4, -2, o in descending order.
o, 4, -2
Let y = -8 - -5. Put -4, -1, y in descending order.
-1, y, -4
Let j = 14 + -23. Let l be 34/(-40) + j/(-15). Put -0.3, -2, l in descending order.
l, -0.3, -2
Let s be (-4)/(-18) - (-2)/(-9). Suppose 42*p + 27 = 33*p. Let x be 84/(-16) - 1/(-4). Sort s, p, x.
x, p, s
Let i be ((-2)/(-3))/(8/(-12)). Let y be (-144)/(-30) - (-2)/10. Put y, i, -3 in ascending order.
-3, i, y
Let f = 177 - 1237/7. Let k = 5.98 + 0.02. Let s = -8 + k. Put 0.4, s, f in ascending order.
s, f, 0.4
Let s(y) = y**3 - 3*y**2 + 1. Let g be s(3). Let r = 101 - 106. Sort -2, g, r in decreasing order.
g, -2, r
Let z = 113.7 - 114. Sort 0.2, z, -3/2.
-3/2, z, 0.2
Suppose -4 = -5*n + n. Let f be (n - 2)/((-2)/4). Suppose 0 = f*r + 2*r + 16. Sort 0, 5, r.
r, 0, 5
Let w = -8 + 10. Suppose w*d - 13 = -0*d + p, 12 = -2*d - 4*p. Sort -3, d, 2 in descending order.
d, 2, -3
Let r = -56 + 55.9. Sort 4, -0.5, r, -5.
-5, -0.5, r, 4
Let s be (-1)/(-5) - 26/5. Put -0.2, s, 3 in increasing order.
s, -0.2, 3
Let y = 17 + -21. Put y, 1/5, 8 in ascending order.
y, 1/5, 8
Let b = -1.939 - 0.061. Put b, -2/9, 4, 0 in descending order.
4, 0, -2/9, b
Suppose 4*w - 4 = -8, n = w + 2. Let p(i) = -i**2 + 3*i - 2. Let m be p(3). Let f = m + n. Sort -2, f, 1 in decreasing order.
1, f, -2
Let q be (-1 - 1 - 4)/(-2). Sort q, -0.7, 1 in descending order.
q, 1, -0.7
Suppose -4*q + 3*q = 3. Let a = -437/102 + 25/6. Put q, 2/3, a in decreasing order.
2/3, a, q
Suppose 5*x - 28 = 3*t + 10, -4*x + 40 = -4*t. Let j be (-8)/t*(-21)/98. Sort 0.4, 5, j in descending order.
5, 0.4, j
Let r = 11 + -8. Sort 15, -1, r in descending order.
15, r, -1
Suppose 0 = -0*a + 4*a. Let m = -4 + 7. Suppose -2 + m = x. Sort 3, x, a.
a, x, 3
Suppose -3*q + 1 = -4*v - 2, 0 = 5*v. Let w = -0.3 + 0.4. Sort w, q, -5 in ascending order.
-5, w, q
Suppose a - 3*a = -4*x - 22, -x + 4*a - 16 = 0. Let f = 0.08 - 0.28. Sort f, x, 0.2 in increasing order.
x, f, 0.2
Let o = -3.6 + 3.7. Suppose -c + 4*f + 17 = 2*c, -f = -5*c. Sort o, c, -5 in descending order.
o, c, -5
Let x(b) = b**3 - 4*b**2 + 2*b - 5. Let c be x(4). Let r be (-111)/21 + (-8)/(-28). Put c, 1/7, r in descending order.
c, 1/7, r
Suppose -2*w + 0*w + 8 = 0. Let m = -0.5 - 4.5. Sort 2/9, w, m.
m, 2/9, w
Let k = -4093/13 + 315. Sort k, -0.1, 1/7 in ascending order.
-0.1, 1/7, k
Let c = -6 - -6. Put c, 5, 4 in descending order.
5, 4, c
Suppose 3*j = -0*d + 3*d + 18, -3*j - 4*d + 11 = 0. Suppose q = 2*q + 3*k - j, 3*q = -3*k + 15. Sort q, 3, 4.
3, 4, q
Suppose -1 = 5*o - 21. Let d be 12/o - (-2 - 0). Let r(l) = 2*l**3 + 2*l**2 - 2*l. Let f be r(-2). Put 4, d, f in descending order.
d, 4, f
Let u = 3.95 + 0.05. Sort -4/5, u, 9 in descending order.
9, u, -4/5
Let f = -10 + 9.2. Let g = f + 0.3. Let y = 0.8 + g. Sort -1/2, y, -1.
-1, -1/2, y
Suppose -3*r - 15 = 3*t, 0*r - 6 = 2*t + r. Let z = -2.9 + 2.4. Sort t, 3, z.
t, z, 3
Let b(z) = -2*z + 6. Let j be b(3). Sort 5, 4, j, 2 in increasing order.
j, 2, 4, 5
Let l = -82 + 78.7. Let r = l + 3. Sort r, 2, -1 in decreasing order.
2, r, -1
Suppose 2*z - y - 4 = 0, 2*y - 4 = z - 3. Put z, 22, -0.2 in decreasing order.
22, z, -0.2
Let u be ((-5)/(-10))/(1/22). Let r = 7 - u. Suppose 15 = t + 2*t, 2*o = -2*t + 14. Sort o, 4, r.
r, o, 4
Suppose 0 = 4*j + 4*y - 16, 27 = -2*j + 7*j - 2*y. Let b be (-94)/18 - (-4)/18. Sort j, -4, b.
b, -4, j
Let g = -0.06 + -0.14. Let q = 0.002 - 2.902. Let w = -3 - q. Put g, -4, w in descending order.
w, g, -4
Suppose -4*n + m = 4*m - 18, 5*m - 25 = -5*n. Suppose n*j = 3*t - 2*j + 22, 4*t + 5*j = -6. Sort t, 5, 2 in descending order.
5, 2, t
Let u(b) = -b**3 - 9*b**2 - b + 2. Let g be u(-9). Sort -4, 5, g.
-4, 5, g
Let n be 3 + (4 - (-21)/(-3)). Sort n, 1, -5.
-5, n, 1
Let i = -14 - -35. Suppose -5*j + 1 = i. Let o = -20 - -23. Put o, -3, j in ascending order.
j, -3, o
Let w(c) = -c**2 + 8*c - 12. Let o be w(5). Suppose 14 - 2 = -o*r. Sort -0.4, r, 1 in descending order.
1, -0.4, r
Let a = 4 + 0. Sort -1, a, 5 in increasing order.
-1, a, 5
Suppose -3 - 9 = -3*s. Suppose 2*q + 101 = 105. Put q, 1, s in decreasing order.
s, q, 1
Let n = -7 - -51/7. Sort 2/3, -5, n, -0.07 in increasing order.
-5, -0.07, n, 2/3
Let j = -0.5 - -0.58. Let w = j + -0.5. Let k = w + 0.02. Sort -2, 3, k in descending order.
3, k, -2
Let q = 0.2 + -0.11. Let s = -0.79 + q. Let n = -1 - s. Sort 3, n, -5 in decreasing order.
3, n, -5
Let k be (2/(-1))/(-7 - -1). Put -0.2, 