21)/k - 2)*d. Put 1, 0.1, u in decreasing order.
1, u, 0.1
Suppose 2*p = o - 5, 0*o = -3*p - o + 5. Suppose -5*n - 1 + 6 = p. Sort n, 2, -2.
-2, n, 2
Let j = -29.8 - -36. Let z = j + -7. Let i = 0.8 + z. Put i, -2, 4 in decreasing order.
4, i, -2
Let u be 0 + 2 + 24/(-10). Let h = -227/345 + -1/115. Sort u, -2/21, h in decreasing order.
-2/21, u, h
Let g be 64/(-12) + 4/12. Put g, -2, 3 in descending order.
3, -2, g
Suppose 0 = -6*g - 14 - 4. Let i = -7 - g. Put i, 4, -1 in descending order.
4, -1, i
Let x be (-4 + 3)*(2 - (3 - -2)). Sort 1, x, -1 in ascending order.
-1, 1, x
Suppose -3*i + 16 = 4*h, 4*i - 4*h + 2*h = 14. Suppose i*w + 3 = 11. Sort w, 0, -1 in descending order.
w, 0, -1
Let r = -162 - -160. Let v be (3 - -1)*(-6)/8. Sort v, r, 7.
v, r, 7
Let i be (4/(-10))/((-8)/(-80)). Let w = i - -7. Put w, -1, 4 in decreasing order.
4, w, -1
Let b be (-1 - (-2 + -3)) + 1. Let f be -2 - (-3 - (-2 - 2)). Sort f, 2, b.
f, 2, b
Let m = 6 + -1. Suppose -k = 2*u - 6, 2*k + 5*u - 6 - 5 = 0. Put 0.2, k, m in descending order.
k, m, 0.2
Suppose 4*k + 3*n + 14 = -0*n, -2*k - 8 = 2*n. Sort 0, k, -8 in descending order.
0, k, -8
Suppose 0 = -2*g + 2*s + 8, 0*g + 3*g - s - 22 = 0. Let p(l) = l**2 - 9*l + 3. Let v be p(g). Sort -8, -2, v in descending order.
v, -2, -8
Let j be (-2162)/(-4) - 1/2. Suppose 4*x + x = j. Let w = 1402/13 - x. Put 5, w, 0.5 in descending order.
5, 0.5, w
Let r be (-1 - 1) + 3 + -4. Let s be (-30)/(-9) - (-1)/r. Suppose 0 = -s*u - u. Put 2/7, u, -0.5 in ascending order.
-0.5, u, 2/7
Suppose -3*r - 3 = 2*k, 4*k - 18 = 2*k + 4*r. Sort -3, k, -5, 0 in decreasing order.
k, 0, -3, -5
Let w be ((-1 - 2) + 2)/(-5). Put w, 0, 3 in decreasing order.
3, w, 0
Let t(u) = u. Let g be t(0). Suppose -4*q - 66 = -46. Sort g, 5, q in descending order.
5, g, q
Suppose 3*s + 15 = -2*s. Put s, 5, 0, 6 in descending order.
6, 5, 0, s
Let r = 70 + -66. Put -5, r, -4 in decreasing order.
r, -4, -5
Let g(a) = a**2 + 11*a + 16. Let r be g(-9). Put 0, r, 2 in decreasing order.
2, 0, r
Suppose 4*n - 11 - 13 = 0. Let o be (-58)/12 + (-1)/n. Suppose 3*z + 27 = -3*h, 4*h + 5*z + 18 + 23 = 0. Put 4, h, o in decreasing order.
4, h, o
Let r = 4 - 5. Let k be (-325)/546 + r/(-6). Let d = 1/64 - 35/192. Put -0.4, d, k in ascending order.
k, -0.4, d
Let s be (-4)/(-20) + (-24)/20. Sort s, 2, 1/6.
s, 1/6, 2
Let i = 0 - -1. Suppose 0 = -2*t - 3*t + 10. Suppose -5*z + 17 = 2. Put t, i, z in descending order.
z, t, i
Let j = -7 + 4. Sort j, 2/3, -12/7 in decreasing order.
2/3, -12/7, j
Let h(y) = y**3 - 8*y**2 + 5*y - 2. Let w(d) = d**3 - 8*d**2 + 6*d - 3. Let n(b) = -7*h(b) + 6*w(b). Let p be n(8). Put 0, p, 2 in decreasing order.
p, 2, 0
Suppose 0 = -5*g + 66 - 26. Let z = g - 4. Let c = 81.1 + -81. Sort c, z, 3/4 in decreasing order.
z, 3/4, c
Let v = 9 - 11. Sort 0.3, v, 5 in ascending order.
v, 0.3, 5
Let w(q) = q + 8. Let b be w(0). Let l(k) = k**3 - 11*k**2 + 10*k - 4. Let y be l(10). Put 0, y, b in descending order.
b, 0, y
Let l = -37 - -31. Sort 4, 0.1, -0.4, l in decreasing order.
4, 0.1, -0.4, l
Let n be (-4 - (-2 - -1)) + 3. Let m = n + 3. Sort 4, m, -4.
-4, m, 4
Let m = 0.2 + 0. Let d = -1.2 + m. Let v = 1 - -1. Sort v, d, 0 in ascending order.
d, 0, v
Let w(n) = -n - 3. Let s be w(-4). Suppose -11*b = -8*b - 15. Suppose -3*o + 3 = b*k + 2, -3*k - 3*o = 3. Sort s, k, 5 in decreasing order.
5, k, s
Let h = 25 - 25. Let z = 6 - 11. Let i = z - h. Sort 4, 1, i in increasing order.
i, 1, 4
Let t be 0/(-1) - 1*(-7 + 8). Put t, 2, -22 in decreasing order.
2, t, -22
Let p = 0.2 + -0.2. Sort p, -5, 4 in ascending order.
-5, p, 4
Let k be (-2)/3*(-1 + -2). Let n = 14 - 9. Let f be 3/(-2 - -1*3). Sort n, f, k in decreasing order.
n, f, k
Suppose -4*u + c + 17 = 0, 2*u = c - 5*c + 22. Sort 4, -4, u in ascending order.
-4, 4, u
Let q(l) = l + 9. Suppose -5*o = -0*o + 25. Let x be q(o). Put 3, x, 5 in descending order.
5, x, 3
Suppose 4*y + 4 = b + 3*y, -b + 3*y + 10 = 0. Put 0.3, 1/5, -3, b in ascending order.
-3, 1/5, 0.3, b
Let l = -17 - -22.1. Let t = -1.1 + l. Let q be 1/(-2)*2/4. Sort q, -5, t.
-5, q, t
Let j = -16 - -20. Put j, -5, -5/4 in increasing order.
-5, -5/4, j
Suppose -4*z - 2*x = -6*z + 4, 0 = 3*z + 5*x - 22. Let s = z + -6. Sort -3, s, 3.
-3, s, 3
Let q be (5*2/5)/(-2). Sort 3, q, -4 in increasing order.
-4, q, 3
Let q = 3 - 0. Let s be (-3)/(q/3) - -3. Put 1, s, -2 in descending order.
1, s, -2
Let g = 8 + -4. Let z be -3*3/(27/(-12)). Suppose 5*m + 3*t = -1, -z*t - 7 = 1. Sort g, -3, m in descending order.
g, m, -3
Let p be (-14)/(-4) - 1/(-2). Suppose -2 = -p*r + 2*r. Let u be (r + 2 - 1) + -3. Sort 1, u, -5 in increasing order.
-5, u, 1
Let f = 8 - 3. Let u = 3 - f. Let k = u + 2.4. Sort 2, k, -0.2 in descending order.
2, k, -0.2
Let b = 7 - 3. Suppose 3*h + b*x - 8 = -0*h, 2*h + 3*x - 6 = 0. Let r(z) = -z**2 + 5*z + 5. Let p be r(5). Sort -3, p, h in decreasing order.
p, h, -3
Let d = 0.16 - -0.24. Sort -2/5, d, -2.
-2, -2/5, d
Suppose -4*p - 4 = 4, -2*f + p = -8. Suppose -a = -6*a + 5*l - 20, -f*a + 2*l = 12. Suppose h - 2 = -h. Sort a, h, 5.
a, h, 5
Let r = -2 + 5. Let k = 0.991 - -0.009. Put -2/3, r, k in decreasing order.
r, k, -2/3
Let u = -62 + 61.92. Put u, -4, -1/2 in ascending order.
-4, -1/2, u
Let g = 2 + 3. Let m be 2/(-5) + 238/70. Put m, g, 2 in ascending order.
2, m, g
Let h = 16 - 14.9. Let b = -1.5 + h. Sort b, -1/6, 2/11.
b, -1/6, 2/11
Let s(i) = i**2 - 12*i + 10. Let u be s(11). Suppose 0*o - 3*y = -3*o + 3, -y = 5*o - 35. Sort 1, u, o in decreasing order.
o, 1, u
Let d(c) = c**2 + 11*c - 8. Let r be d(-12). Put -4, 13, r in ascending order.
-4, r, 13
Let u = 51 - 46. Sort -16, u, 2 in decreasing order.
u, 2, -16
Suppose c = -0*c + 5. Let v(d) = 2*d**2 + 32*d + 124. Let y be v(-7). Let k = -7 + 10. Put c, k, y in ascending order.
y, k, c
Suppose -5*h + 5*p + 25 = 0, 4*h + 0 = -2*p + 2. Let i be 10/4*(2 + -4). Sort i, 1, h in descending order.
h, 1, i
Let h = -0.04 + -0.06. Let y = -5.05 + 0.05. Let b = -7 - y. Put -3, h, b in descending order.
h, b, -3
Suppose 8*v - 13*v - 45 = 0. Sort -2, 2, 3, v.
v, -2, 2, 3
Let v = 11 + -7. Let j be -2 + 2 + (1 - 1). Suppose j = -v*d - 0*d. Sort 4/5, 4, d.
d, 4/5, 4
Let r = 2.6 + -2.5. Put r, -4/11, -2 in descending order.
r, -4/11, -2
Let f be ((-12)/20)/(1/(-15)). Let o = f + -2. Suppose -10 = -2*y + o*y. Put -5, 5, y in increasing order.
-5, y, 5
Let o(s) = s**3 - 2*s**2 - 2*s. Let x be o(2). Let z = -5 - -7. Suppose 4*h - z = 10. Put -2, h, x in increasing order.
x, -2, h
Let a = -38 + 37.5. Let i be (-4)/14 + 8/126. Sort i, -0.1, a.
a, i, -0.1
Let a(z) = -z**2 - 1. Let n be a(1). Suppose 18 = -5*l + 43. Put l, n, 4 in ascending order.
n, 4, l
Let t = 2.8 + -3. Let k = 920/9 - 102. Put t, -4, k in descending order.
k, t, -4
Let x(v) = v**3 - 3*v**2 - 4*v - 3. Let t be x(4). Let a be 7 + t - (1 - 1). Sort 2, a, 0 in ascending order.
0, 2, a
Suppose 0 = -5*m + 5*q - 15, 4*q = 2*m - m - 3. Let u(o) = 4*o**2. Let i be u(1). Sort -0.3, m, i in decreasing order.
i, -0.3, m
Let l = -16 - -17. Sort l, 0, 4 in ascending order.
0, l, 4
Let u = 3.9 + -3.7. Let q = 0 + -1.5. Let z = 2 + q. Put z, 3, u in decreasing order.
3, z, u
Let l = 3 - 1. Let u = 7 + -17. Let t be u/(-25) - 0/2. Sort -2/17, t, l in ascending order.
-2/17, t, l
Suppose 2*l - 7*l = -20, -3*l + 21 = 3*y. Suppose y*f + 8 = 8*f + o, -4*o = f + 6. Sort f, 5, -2 in increasing order.
-2, f, 5
Suppose 4 - 5 = i. Let o = 7 + -2. Put o, i, -2 in ascending order.
-2, i, o
Suppose -5*o = -0*o + 45. Let m = o - -4. Suppose -5*g + 5*u = 15, -4*g + 23 = 5*u - 2*u. Put m, -1, g in increasing order.
m, -1, g
Suppose 10*m + 4*m = m. Suppose -5 = 5*q + 10. Sort q, -4, m in descending order.
m, q, -4
Suppose 0*c = 2*c - 8. Suppose c*t = 5*r - 13, -6*t = -t + r - 20. Suppose -5*b + t*b - 10 = 0. Put -0.4, 0.2, b in descending order.
0.2, -0.4, b
Let d be 3*(2 + 0)/(-2). Let w = -32.1 + 32. Sort -2, d, w in decreasing order.
w, -2, d
Let l = 88.8 - 97. Let g = 8 + l. Suppose -3*u + 7*u = -8. Put g, 4, u in decreasing order.
4, g, u
Let u = 25.6 - 12.6. Sort -0.3, 3/5, u, 0.3.
-0.3, 0.3, 3/5, u
Suppose 33 = -31*i + 20*i. Let m(h) = h**3 - h**2 + 3. Let w be m(0). Sort 1, w, i in decreasing order.
w, 1, i
Suppose -5*j - 1 = -4*j. Put j, 21/5, 