ut -3, -2, a in descending order.
a, -2, -3
Let j(b) = -b - 5. Suppose 0 = -11*w + 6*w. Let s be j(w). Put -4, 1, s in decreasing order.
1, -4, s
Suppose 5*q - 12 = 3. Let g be ((-2)/(-2) - q)*4. Let h be (g/(-6))/((-2)/(-6)). Sort -4, -5, h in descending order.
h, -4, -5
Let d = 5.6 + -1.6. Sort 2/3, d, 3/7 in decreasing order.
d, 2/3, 3/7
Let t be (-55)/(-10) - 1/2. Sort 3, -4, t in descending order.
t, 3, -4
Let m = -2 - -2.4. Let b = m - -0.1. Sort b, 4, -1/7 in decreasing order.
4, b, -1/7
Suppose -10 = p - 5. Let q be (-3 - 0)*(-7)/3. Suppose -1 + q = -2*w. Sort 3, p, w.
p, w, 3
Suppose -13 = -2*l + 5*i, -i - 12 = 3*i. Let b be 5*(l + -2 - -2). Sort 0, b, -4 in descending order.
0, -4, b
Let a = 0.66 + -5.7. Let d = a + 0.04. Let c be (1/(-3))/(-1)*3. Sort c, -0.5, d.
d, -0.5, c
Let a = -2 + 1.9. Let f be (-438)/(-138)*1/18. Let c = f + -3/46. Put c, -5, a in increasing order.
-5, a, c
Let i(p) be the first derivative of p**4/4 + p**3 + p**2 + p + 1. Let y be i(-2). Let s = -2 - -5. Put -0.5, y, s in ascending order.
-0.5, y, s
Suppose h - 2*l = -12, l - 2*l = -5*h - 24. Put 5, -5, h in decreasing order.
5, h, -5
Let s(k) = k - 1. Let d be s(7). Suppose d = 3*r + 3. Suppose 2*j + 8 = -3*a + 1, -2*j - a + 3 = 0. Put r, -4, j in decreasing order.
j, r, -4
Let t(m) = m**2 + 12*m + 1. Let i be t(-12). Suppose 5*b + 4*p - 1 = 2*b, -2*p = 10. Suppose b = -2*h + 3. Put h, 2, i in decreasing order.
2, i, h
Let k = 3.96 + 0.04. Let t = k - 3.7. Let f = -8 - -8. Put -3, f, t in ascending order.
-3, f, t
Let x = -3 - -2.8. Let d = x - -0.6. Let r = -0.6 - d. Sort 3, 1, r in increasing order.
r, 1, 3
Let q = 0.9 - 0.3. Let p = q + -0.59. Let t = 2.01 - p. Put t, 5, 4 in descending order.
5, 4, t
Let a(h) = -h - 1. Let o be a(3). Put o, 4, 1 in descending order.
4, 1, o
Let q = 4.4 - 4.6. Sort 4, -0.1, q.
q, -0.1, 4
Suppose 4*y = c - 7, 0 = 3*c + c + 5*y + 35. Sort -2, c, 3 in descending order.
3, -2, c
Let b be 2/6 + (-12)/9. Let m = b - -4. Let x = 0.04 + 1.96. Put m, x, -3/2 in decreasing order.
m, x, -3/2
Let l be 1/4 + (-35)/(-20). Let r be l/(-3)*(-24)/64. Let g = 256 + -3330/13. Put r, 0.2, g in decreasing order.
r, 0.2, g
Let y(s) = 2*s - 5. Let k be y(4). Suppose 11 = k*t - 1. Suppose 0 = -2*u - 2, -4*l + 3*l - 2*u + 3 = 0. Sort t, l, -2 in descending order.
l, t, -2
Let f = 22 + 33. Put 3/7, f, 2/15 in increasing order.
2/15, 3/7, f
Let a = 0.98 - 0.58. Sort 0.55, a, 1/3 in ascending order.
1/3, a, 0.55
Let r = 0.2 - 0.2. Let g = 0 - r. Put -1/2, g, 2/11 in ascending order.
-1/2, g, 2/11
Let c = -18.1 - -17. Let y = c - -6.1. Suppose 2*x + 2*q + q = 13, -5*x + 16 = 2*q. Put 2/5, x, y in increasing order.
2/5, x, y
Suppose 0*r = -4*r + 4. Let j = -167 + 165. Sort j, 2/3, r.
j, 2/3, r
Let y = 0 - 4. Let d = 19 - 17. Let u be (-3 + d + 1)/1. Sort -2, u, y in ascending order.
y, -2, u
Suppose 32 + 4 = -4*q - 4*l, 4*l - 90 = 5*q. Let z be (-4)/q + (-148)/28. Let j be 8*1/z + 2. Sort -2, j, -2/3 in increasing order.
-2, -2/3, j
Suppose 0*f - f = -5. Let u = -1 - -1. Put u, f, -5 in increasing order.
-5, u, f
Suppose 2*q - 10 + 4 = 0. Suppose 4*s = 4*a + 36, s = -2*a - 2*s + 2. Sort q, -4, a.
a, -4, q
Let n = 404 + -399. Let s(h) = h**2. Let g be s(1). Sort n, 4, g in descending order.
n, 4, g
Let j = -2 + 5. Let i = 11 - 10. Sort j, i, -1 in ascending order.
-1, i, j
Let z = -17 - -10. Let d = z - -4. Sort d, 0.4, 1 in ascending order.
d, 0.4, 1
Let c be 102/36 - 1*3. Let z = 0.2 + 0.8. Let k = -56.9 - -57. Put k, c, z in ascending order.
c, k, z
Let b = 2 - 3. Let f(x) = 5*x**3 - x**2 - x + 1. Let m be f(1). Suppose 0*k = m*k - 16. Sort b, 0, k in ascending order.
b, 0, k
Let v(i) = i**2 + 5*i + 4. Let d be v(-4). Let k be -1 + 1*5 + (-135)/27. Put 2, d, k in increasing order.
k, d, 2
Let j = -170/117 + 16/13. Let f be 12/(-9)*(-12)/(-584). Let x = -184/1387 - f. Sort j, x, 1 in increasing order.
j, x, 1
Let l be (8/10)/((-28)/230). Let i = l + 7. Let m(o) = 2*o + 7. Let g be m(-5). Sort 0.5, i, g in descending order.
0.5, i, g
Suppose 2*m = 3*m - 5*c - 16, 0 = 3*c + 6. Sort m, 3, 0 in decreasing order.
m, 3, 0
Let p be 48/20*(-5)/(-2). Let y be 2 + -6 + p/2. Put -5, 0, y in descending order.
0, y, -5
Suppose 2*w - 12 = 4*m - 38, 5*w - m + 56 = 0. Let i = 12 + -14. Sort w, 2, i in descending order.
2, i, w
Let z = -4 - 1. Put z, -2, -18 in descending order.
-2, z, -18
Let l = -143/817 + 3/43. Let o(w) = w + 2. Let y be o(0). Sort y, l, -2/11 in descending order.
y, l, -2/11
Suppose -5*o = 5*t + 5 + 10, t + 5 = -2*o. Let q(r) = -r**2 - 2*r. Let b be q(-3). Put -4, b, o in increasing order.
-4, b, o
Let d be (-1)/(-3) - (-154)/33. Sort 7, 3, 2, d.
2, 3, d, 7
Let t = -42 + 46. Sort t, -3, -1.
-3, -1, t
Let i = 1.7 + -2. Let y = -1.2 + 0.8. Put -1, i, y in decreasing order.
i, y, -1
Suppose 0 = -5*n - 49 + 4. Suppose 2*o + 5*s + 81 = 6*o, -5*o = 5*s - 45. Let c = o + n. Sort -4, -5, c.
-5, -4, c
Let j(q) = q + 14. Let l be j(-11). Suppose 5*t + l = -22. Sort t, -1, 0 in increasing order.
t, -1, 0
Suppose 0 = 5*w - w - 16. Let x = w + -1. Sort x, -1, -3 in decreasing order.
x, -1, -3
Suppose -o + 0*o = -5*p - 23, 0 = -5*o - 4*p - 30. Let j be (o/(-20))/((-4)/(-15)). Let v be (1 - 2/(-2)) + -2. Put v, 2, j in decreasing order.
2, j, v
Suppose 9 + 21 = -3*q - 5*c, 5*c = -4*q - 40. Sort q, -2, 0 in descending order.
0, -2, q
Suppose 0*h + 6 = -2*h. Suppose z - 2*z = 0. Let c be z/((-2)/1) + -2. Sort 1, c, h.
h, c, 1
Let f(z) = -z**3 - 12*z**2 + 12*z - 8. Let q be f(-13). Suppose d = q*d + 20. Sort d, 4, 0.3 in ascending order.
d, 0.3, 4
Suppose -3*k + 4 = -3*i - 23, 0 = -4*k - 4*i - 4. Let w = 6 - k. Put -4, 0, w in ascending order.
-4, 0, w
Let s be (-1)/2 - 5/(-2). Suppose s = -k - 0. Let w be -3*(3*-1)/(-3). Put w, 1, k in descending order.
1, k, w
Let c = -4 - -8. Let f be 3/9 + 78/(-126). Put f, c, -1 in decreasing order.
c, f, -1
Let v = 0.1 + 0. Let j = -4 + 2. Let u be -4 + (-7)/(7/j). Sort v, -5, u.
-5, u, v
Let p(q) = -q**3 + 2*q**2 - 1. Let y(g) = g + 2. Let i be y(-1). Let f be p(i). Let v(x) = x**2 + x + 3. Let k be v(0). Put 0.5, k, f in descending order.
k, 0.5, f
Suppose -40*g + 42*g + 2 = 0. Sort 1, g, 0 in increasing order.
g, 0, 1
Let j be 2/6 - (-5)/(-60). Put 0.5, -0.5, j in ascending order.
-0.5, j, 0.5
Let w be 1 + ((-3)/1 - 1). Let u = -17/4 - -39/4. Let j = u + -31/6. Sort j, 2/13, w in ascending order.
w, 2/13, j
Let m = 35 + -30. Sort -1, m, 2/23, -0.2 in decreasing order.
m, 2/23, -0.2, -1
Let j = 11.42 - 1.54. Let y = j - -0.12. Let l = 14 - y. Put -4, l, 0 in decreasing order.
l, 0, -4
Let n = -4.4 + 6.4. Put n, 2/7, 3/8, -2/11 in descending order.
n, 3/8, 2/7, -2/11
Let u be 1*(-9 + 1 + 2). Let j = u - -10. Put -5, j, 1 in increasing order.
-5, 1, j
Suppose 5*c - 29 = q, 3*c - 27 + 12 = 0. Sort 3, -3, 5, q.
q, -3, 3, 5
Let g = 217/387 - 5/43. Put g, 1/7, -1/5 in increasing order.
-1/5, 1/7, g
Let f = 162 + -161.62. Put f, 3, -1 in ascending order.
-1, f, 3
Let v = 2.022 + -0.022. Sort v, 3, -0.06, -5.
-5, -0.06, v, 3
Suppose q + 3*q = 2*k + 4, -q = 0. Sort 1, k, 3 in descending order.
3, 1, k
Let p be ((-40)/150)/(1/5). Sort -4, -5, p in decreasing order.
p, -4, -5
Let a = -0.38 + 0.08. Suppose -5*g + 0*q + 2*q - 3 = 0, -2*g + q = 1. Sort 0.3, g, a in increasing order.
g, a, 0.3
Let y = -5 + 4. Put 5, -1/2, y in decreasing order.
5, -1/2, y
Let j = -2.7 - -4. Let n = j - -1.7. Put 2, -0.1, n in descending order.
n, 2, -0.1
Let l = 11 + -12. Sort 0, l, -37 in decreasing order.
0, l, -37
Let d be ((-6)/9)/((-1)/(-18)). Let w be (1 + 1)/((-6)/d). Sort 2, 0.4, w in ascending order.
0.4, 2, w
Suppose 5*j + 2*k - 29 = 0, -2*j + 2*k = -5 - 1. Suppose -j*w + 8 = -4*d, 3*w + 4*d = w - 8. Let z be (w + -10)*1/2. Sort z, -4, 1/5.
z, -4, 1/5
Let n = 1.7 - 1.6. Let d = n + -3.1. Let l = -52 - -466/9. Sort d, l, -2 in increasing order.
d, -2, l
Let i(n) = -n - 1. Let q be i(-6). Suppose -q*x + x - 2*c = 6, 0 = -3*x + 2*c + 13. Suppose 1 + 7 = -4*f. Put 2, f, x in decreasing order.
2, x, f
Let g be 4 + 1*(-1)/1. Suppose -3*w + j - 8 = 1, -w - 3 = -j. Suppose 4*n + 28 = 5*p, 0 = -5*n - p + 2*p - 14. Sort w, n, g in increasing order.
w, n, g
Let z = -4.9 + -0.1. Sort z, -2, 5 in decreasing order.
5, -2, z
Let x be (-4)/(-6) - 4/6. Let