e 10 = 6*d - 4*d. Sort -1, -10, d in decreasing order.
d, -1, -10
Let i be 0 + (15 - (0 + 2)). Suppose 0 = 3*k - 4*d + 14, -4*k - 2*d + i = -d. Suppose 5*u + k*g = 20, 0 = u + g + 1 - 5. Sort -3, u, -2 in decreasing order.
u, -2, -3
Let z be 4/(-46) + -2 + 2. Let f = 92/657 - -6/73. Sort f, z, 1 in descending order.
1, f, z
Suppose -2 = k - 2*k. Let f = 3 + k. Suppose f*d - 26 = 4. Sort -4, 3, d in decreasing order.
d, 3, -4
Suppose -12*p = -6*p + 12. Let s = 2 - 5. Sort s, -5, p in ascending order.
-5, s, p
Let i = 23 + -22. Suppose u + 0*u - i = -n, -3*u + n = 13. Sort u, -2, 4.
u, -2, 4
Let k = 2/35 + 31/70. Sort 0.2, k, 3.
0.2, k, 3
Let p = -1.2 - -1.3. Put -0.5, -5, p in ascending order.
-5, -0.5, p
Suppose -5*x + 4*r = -3*x - 4, 2*x - 5*r = 3. Let z = -48 - -51. Sort z, -4, x in increasing order.
-4, z, x
Let t = 6 - 1. Suppose 3*h - 12 = -0*h. Suppose 0 = 2*c + h*d - 12, -3*d = c - 5*d - 2. Put -1, t, c in increasing order.
-1, c, t
Suppose -3*u = -5*u + 12. Sort 0, u, -5 in descending order.
u, 0, -5
Let s = 19 - 24. Sort s, 1, -3.
s, -3, 1
Suppose k = -2 + 1. Let o be 2 + (-1 - -2) - -2. Sort k, o, -3 in ascending order.
-3, k, o
Let l = -2 - -0.9. Put -3/7, -2/13, l in decreasing order.
-2/13, -3/7, l
Suppose 3*m = -2*r + 19, r - 3*m = -m - 8. Suppose -12 + 0 = -3*z. Suppose -c - 2*k = -k - 4, -c - 2*k + z = 0. Put r, -1, c in ascending order.
-1, r, c
Suppose -12 - 5 = -q. Let w = q - 14. Put w, -3, -5 in decreasing order.
w, -3, -5
Let f = 0.4 - -2.6. Let q be 38/(-128) + (-3)/(-12). Let w = q - 107/448. Sort 5, f, w in descending order.
5, f, w
Suppose 3*s + 2*b = -s - 8, -5*s = -5*b + 40. Let t = 3424/9 - 380. Put -0.3, t, s in increasing order.
s, -0.3, t
Suppose -26 = l - 5*b, -2*b - 9 = -l - 4*b. Let t = l - -4. Sort 2, t, 1.
1, 2, t
Let j = 80 + -80.1. Put 2/9, 1, j in decreasing order.
1, 2/9, j
Let c = 103/3 + -34. Let o = -4.3 - -0.3. Let f = o - -4.4. Put c, f, -5 in decreasing order.
f, c, -5
Let s(r) = -r**3 + 17*r**2 + 17*r + 17. Let v be s(18). Sort 0, 5, 3, v.
v, 0, 3, 5
Let l be -3 - (-1 + (-6)/3). Sort 1, 2, l in descending order.
2, 1, l
Let z = 22 - 22.3. Let a = z - -0.7. Sort a, -3, 0.3 in increasing order.
-3, 0.3, a
Let g = 0.06 - 5.06. Put g, 3, -1/4 in ascending order.
g, -1/4, 3
Let m = 5 - 6. Let c = -1.16 - m. Let z = -0.04 + c. Put 0, -2/13, z in ascending order.
z, -2/13, 0
Let p = -64/475 + 6/25. Sort 9/2, p, -0.1, -2/7.
-2/7, -0.1, p, 9/2
Let b = -4.961 - 0.039. Sort -4, b, -2/3 in decreasing order.
-2/3, -4, b
Let b(s) = 2*s - 2. Let x be b(-3). Let u be (-8)/(-9) - x/(-12). Let p = 10 - 6. Put p, u, -0.5 in descending order.
p, u, -0.5
Suppose c + 7 = -2*k - 0, 0 = 3*k + 4*c + 23. Put -13, -3, k in descending order.
k, -3, -13
Suppose 3 = h, 0 = -3*x + 5*h - 3*h + 6. Let v = 8 + -6. Suppose -x*z - v = 6. Sort 1, z, -4 in ascending order.
-4, z, 1
Suppose -3*m - 3 = 9. Let d = -10 + 14. Put 2, d, m in ascending order.
m, 2, d
Let d(m) = -m**2 + m + 42. Let p be d(7). Let x(v) = -v**2 + 6*v - 7. Let g be x(5). Let o be (g/3)/((-6)/9). Sort p, o, -2 in ascending order.
-2, p, o
Let h be -10*(14/10 + 2/(-5)). Put 4, -2, h in increasing order.
h, -2, 4
Let r = 2/215 + 189/2795. Sort r, -4, -5 in increasing order.
-5, -4, r
Let l = 11 + 11. Let q = -21 + l. Suppose 3*n + 8 = n. Sort q, -3, n in descending order.
q, -3, n
Let w be (-5)/(-10)*1*2. Suppose 4 = -3*m + w. Let n be m + 2 + 4 + -2. Sort -2, 0, n in decreasing order.
n, 0, -2
Let p(f) = -f - 7. Let a be p(-7). Put a, 1, 9 in descending order.
9, 1, a
Suppose 3*h = -2*h + 15. Let x(j) = j**3 - 6*j**2 - j + 3. Let l be x(6). Put h, l, 1 in descending order.
h, 1, l
Suppose 5*b + 23 = c, -2*b - 15 = -c - 4. Let n(i) = i**2 + 6*i + 6. Let g be n(b). Put g, 2, -5 in descending order.
2, g, -5
Let j(z) = -z**2 - 2*z + 11. Let f be j(-5). Put 0.1, f, -18 in descending order.
0.1, f, -18
Let t = 73/130 + 1/26. Sort t, 4/3, -0.4.
-0.4, t, 4/3
Let c = 5.4 - -1.6. Let n = c - 6. Put -1/4, n, 1/5 in descending order.
n, 1/5, -1/4
Let v = -59.5 + 60. Sort 0.2, 0, v, -1.
-1, 0, 0.2, v
Let a be 2/4 - (-2)/(-12). Let v = 8 - 8.3. Let t = v + 1.3. Sort -3, a, t in descending order.
t, a, -3
Let q = -1.2 - -1. Let u = 13 + -9. Sort -1, q, u.
-1, q, u
Let z(g) = -g - 1. Let x = 9 + -14. Let v be z(x). Sort -2, v, 2 in descending order.
v, 2, -2
Let j = 0.31 - -0.07. Let q = j - -0.02. Sort q, 4, -1/9 in increasing order.
-1/9, q, 4
Suppose 0 = -4*a + 2*d + 8, 2*d + 4 = -3*a + 6*d. Put -5, 0, a in decreasing order.
a, 0, -5
Let s be (-30)/120 + (-2)/(-8). Sort 5, 6, s in increasing order.
s, 5, 6
Let v be 0 + -1 + -1 + 1. Suppose 5*p - 3 = -23. Put v, 5, p in descending order.
5, v, p
Let h = 2 + -1.5. Let y = 4.94 - -0.06. Sort h, y, 2/11 in descending order.
y, h, 2/11
Suppose 3*v - 1 + 2 = 2*a, 3 = -4*a + v. Sort a, 4, -5 in ascending order.
-5, a, 4
Let z be ((-3)/63*3)/(-1). Suppose -1 = f + 3. Put z, f, -5 in increasing order.
-5, f, z
Let c(d) = -6*d + 1. Suppose u = -r + 5, 5*u + r - 17 = -2*r. Let f be c(u). Suppose 0 = 2*g + 4*m - 8, 0 = -2*g + 4*m - 16. Sort 5, g, f.
f, g, 5
Let a be -1 - 20/8 - -3. Sort -0.1, a, -2 in descending order.
-0.1, a, -2
Let s = 5 - 3. Let x = -5 + 5.08. Let j = x - 3.08. Put s, j, 5 in decreasing order.
5, s, j
Let q be 8/(-6) - 8/(-48)*20. Sort 1, q, 9.
1, q, 9
Suppose 0 = 3*f + 6 - 0. Suppose 4*r = -h - 17, 6*h + 19 = 3*h - 4*r. Let v = 0.33 + 0.07. Sort h, f, v in ascending order.
f, h, v
Suppose 3*v - 10 + 4 = 0. Suppose -3*k - 3 = -v*k. Sort 0, -0.2, k in descending order.
0, -0.2, k
Suppose 0*p - 2*t = -p + 11, -5*p = 5*t + 20. Let g be 33/12 - 2/(-8). Sort g, -4, p in ascending order.
-4, p, g
Let g = -5.021 - -0.021. Sort -0.2, g, 0.5, -19 in decreasing order.
0.5, -0.2, g, -19
Let t = -3.02 - -3. Let n = -5.08 + t. Let j = 0.1 + n. Put 3, j, -2/17 in ascending order.
j, -2/17, 3
Let j = 4 - 2. Let y(i) = 2*i**3 + 18*i**2 - 2*i - 21. Let l be y(-9). Suppose 3*o - 4*v - 7 = 0, 2*o + 0*o + 4*v + 2 = 0. Sort o, j, l in descending order.
j, o, l
Suppose -17*k = -51 - 0. Sort 5, k, -3, 2.
-3, 2, k, 5
Let h = 0.1 - -0.4. Let m = h + -3.9. Let i = -3 - m. Put i, -0.4, -2/17 in ascending order.
-0.4, -2/17, i
Let i(s) = -s**2 + 6*s + 1. Let m be i(4). Let f = m - 11. Let a be (f - 1) + 6 + 0. Sort a, -5, -1/4.
-5, -1/4, a
Let d(r) = r**3 + 3*r**2 - 6*r - 6. Let b be d(-4). Put -3, b, -2 in descending order.
b, -2, -3
Let s be 1/3 + 10/6. Let a be 2/(-7) - 195/(-21). Let q = 12 - a. Put s, q, 5 in descending order.
5, q, s
Suppose 4*o + 5*i + 2 = 2*i, 2*o - 3*i = 8. Suppose 4 = 4*w + 16. Let p = w + o. Sort 1, 3, p in descending order.
3, 1, p
Let h = 14 - 16. Put h, -0.4, 2 in descending order.
2, -0.4, h
Let h(b) = -b**3 + b**2 + b + 2. Let q be h(2). Suppose 6*s - 2*s = q. Sort -1, s, -2 in descending order.
s, -1, -2
Let y = 38/35 + -4/5. Sort 3, -2/55, y, -0.1 in decreasing order.
3, y, -2/55, -0.1
Let u = -40 + 46. Let x be (4/6)/((-2)/u). Let w = -4 + 6. Sort w, x, 4 in ascending order.
x, w, 4
Let i = -49 + 46. Sort i, 4, 3, -4 in decreasing order.
4, 3, i, -4
Let u = -49 + 48. Put -4, 2, u, -5 in descending order.
2, u, -4, -5
Let n = -7 + 6. Let k be ((-2)/(-11))/(-2 + 1). Sort 4/7, k, n in descending order.
4/7, k, n
Let v be ((-6)/(-36))/(2/8). Let u = -0.1 - -0.2. Let d = u + 0.1. Put -0.4, v, d in increasing order.
-0.4, d, v
Let w(b) = -b - 7. Let i be w(-2). Suppose -4*q - q = -z - 11, 3*q = 4*z + 10. Put 5, i, q in ascending order.
i, q, 5
Let m(j) = -8*j - 5 - 5*j**2 - 1 + 3*j**2 + 3*j**2. Let h be m(9). Put -4, -5, h in decreasing order.
h, -4, -5
Let z be 2 - 2 - (-3 + 3). Let l be -21*(4/(-3))/2. Let b = -10 + l. Sort -5, z, b.
-5, z, b
Let u be 4 + (-1 - (4 - 6)). Sort 0, u, 15 in descending order.
15, u, 0
Let t = -129 + 517/4. Put 3, -9, 1, t in decreasing order.
3, 1, t, -9
Suppose -3 = 4*w - 7. Sort w, 3, 2.
w, 2, 3
Let g be (-1)/(-2) - 3/(-2). Suppose 11 = -3*p + g*k, 4*p = 4*k - 1 - 11. Sort 2, p, -3.
p, -3, 2
Let y = -3.9 + 3.5. Let q be (-2)/(-9) - 32/63. Sort q, -0.1, y in ascending order.
y, q, -0.1
Let g = 0.03 - -4.97. Suppose 4*t + 4*k = t + 31, 4*t - 46 = -3*k. Suppose 0 = -3*b - t - 2. Sort b, -0.5, g.
b, -0.5, g
Suppose -5*z + 3 = -27. Let g be 27/z + 2/4. Sort -1/5, -2, g in descendi