6 + -316. Put d, s, -0.3 in descending order.
s, d, -0.3
Suppose 5*b + 26 = i, i + 2*b = -i - 8. Sort -2, i, -5 in descending order.
i, -2, -5
Let s be (6/4)/(1/(-2)). Let a be ((-1)/s)/((-2)/6). Sort a, -2, 2.
-2, a, 2
Let z be ((-51)/(-4))/((-3)/(-8)). Suppose -2*o + 6 = 2*g, 0 = 2*g - o - 4*o - z. Suppose g*d - 20 = 3*d. Put -2, d, -5 in decreasing order.
d, -2, -5
Suppose 2*q - 5*l + 21 = 0, 0*l + 2*l = -2*q. Sort 2/7, q, 1 in ascending order.
q, 2/7, 1
Suppose 0 = -4*h - 5*b - 23, -2*h = -4*b + 24 - 6. Put -5, h, 3 in increasing order.
h, -5, 3
Let h be 5 + ((-155)/30)/1. Let d = 0.3 + -0.5. Put d, 2/3, h in decreasing order.
2/3, h, d
Let y = 12 + -4. Let w be (4/y)/((-2)/(-12)). Put w, 4, 0 in decreasing order.
4, w, 0
Let m be (-12 - -2)/(2 + -1). Put -4, m, 0 in decreasing order.
0, -4, m
Let l be (-1)/(-4)*-2*-8. Let i(c) = 3*c**3 - c**2 + 2*c - 1. Let y be i(1). Suppose -2*g - y*g - 15 = 0. Put g, 3, l in descending order.
l, 3, g
Suppose -4*m + 6*q + 8 = 5*q, -q = 3*m - 13. Let n = -4 + m. Put 4, n, 0 in descending order.
4, 0, n
Suppose -v + 2 = -1. Let p = v + -13. Let q = p - -5. Sort -4, q, 1 in decreasing order.
1, -4, q
Let d = 53 - 30. Let x = 25 - d. Let b = -7 + 5. Sort x, b, -3.
-3, b, x
Let u = 267 + -1339/5. Let z = 7 - 3. Sort z, 3, u in decreasing order.
z, 3, u
Let b = -8.88 + -0.12. Let u = -12 - b. Put 3, 1, u in decreasing order.
3, 1, u
Suppose 2*m + 4*d = 3 + 1, -4*d = 4. Put 0, m, 1 in descending order.
m, 1, 0
Let c = 185/1428 - 1/84. Let f = 256.4 - 256. Put f, -4, c in ascending order.
-4, c, f
Let a = -343/6 + 57. Sort -13, a, -4 in descending order.
a, -4, -13
Let g = -91 - -96. Sort -2, -4, 1, g in descending order.
g, 1, -2, -4
Let r = 0.18 - 0.19. Sort -2, r, -3 in decreasing order.
r, -2, -3
Let k be -1 + 12 + -6 + -2. Suppose z + 5 + 0 = 4*q, 3*z = -2*q - 15. Sort q, k, 5.
q, k, 5
Let o = 2 - 6. Let b be 5/4 - (-3)/(-12). Let a be 2*3/4*-2. Sort b, o, a in descending order.
b, a, o
Let h = 18 + -16. Put 5, 3, 4, h in increasing order.
h, 3, 4, 5
Let k = -32.79 + 33. Let s = k - 0.2. Put s, 1/2, -1/7 in increasing order.
-1/7, s, 1/2
Let n be (1 - 7) + (-35)/(-7). Sort -0.2, 9, n in increasing order.
n, -0.2, 9
Suppose -4*l = -4 - 4. Suppose 11 = 2*y - 1. Let s(k) = -k**3 + 6*k**2 - k + 7. Let p be s(y). Sort p, 0, l in descending order.
l, p, 0
Let q = 19.19 + -0.19. Let c = q - 17. Put 0, c, -2/3 in descending order.
c, 0, -2/3
Let p(y) = y**3 - 11*y**2 - 10*y - 17. Let l be p(12). Sort 4, l, -3 in descending order.
l, 4, -3
Let o = 11 + -8. Let c(q) = -q**2 + 2. Suppose 0 = -5*f + 2 + 8. Let n be c(f). Sort o, 2, n in descending order.
o, 2, n
Let v be ((-9)/(-9))/((-2)/12). Let l = 6 + v. Put 2, 4, l in decreasing order.
4, 2, l
Let a = 3 - 6. Let k = -3 - a. Sort 1, -3, k in descending order.
1, k, -3
Let m = -29 - -33. Sort -2, m, -5, 10 in descending order.
10, m, -2, -5
Let o = -45.9 - -46. Sort o, -0.3, -13.
-13, -0.3, o
Let k = -36 - -35. Suppose -22 = -4*m + 2. Suppose 9 + m = 5*a. Put 2/9, a, k in ascending order.
k, 2/9, a
Let d = -6 - -5. Put 0, -4, d in ascending order.
-4, d, 0
Suppose 2*j - 7 = 5*m, -3*j - 2*m + 18 = -7*m. Let b = 16 - j. Put -3, b, -4 in descending order.
b, -3, -4
Let d = 21 + -35. Let b = d + 10. Sort b, -3, -2 in descending order.
-2, -3, b
Let q be 95/38*2/(-4). Sort 0.3, q, -5 in ascending order.
-5, q, 0.3
Let a = 278/3 + -94. Put a, -0.02, -5 in descending order.
-0.02, a, -5
Suppose 2*w - 2 = 4. Put -4, w, -2 in ascending order.
-4, -2, w
Let g = -5.3 + 0.3. Sort 3, -1/4, g, -3 in increasing order.
g, -3, -1/4, 3
Suppose -4*j + 1 = -3*a - 152, -3*a = j - 27. Sort -2, 3, j in ascending order.
-2, 3, j
Let t(q) = q**3 + 6*q**2 + 9*q - 1. Let o be t(-4). Put 3, -2, o in ascending order.
o, -2, 3
Suppose -o + 0*o = -3*x - 15, 0 = -2*o + 5*x + 25. Sort -2, o, -1, 2 in decreasing order.
2, o, -1, -2
Suppose -4*m - 5 = m. Put m, 6, -4 in ascending order.
-4, m, 6
Let s = -3 + 7. Let c = -1.25 - -0.25. Sort s, c, 0.2 in increasing order.
c, 0.2, s
Suppose 5*s - 5 = -y, -2*y - 1 = -y - s. Suppose 0 = -4*b + 3*h - 56, -2*h + 2 = 2*b + 16. Let m = b - -6. Put -3, m, y in ascending order.
m, -3, y
Let h = -2 + 0. Let f = h + 1.9. Let g(o) = -o**3 + o**2 + 2*o - 2. Let x be g(2). Sort f, 4, x.
x, f, 4
Let r = 23 - -94. Let f = 937/8 - r. Put 0.4, f, -2 in decreasing order.
0.4, f, -2
Let a = 8 + 17. Suppose -5*l + a = 0, g + 2*l = 11 - 0. Let i = 4 + g. Put -2, 4, i in descending order.
i, 4, -2
Let y = -803/1330 + 1/266. Put -3/4, y, 5, -2 in decreasing order.
5, y, -3/4, -2
Let p be (-6)/((-3 - -1) + 0). Let n = -8 - -4. Let t = n + p. Put -3, t, 2 in decreasing order.
2, t, -3
Suppose 5*u - 33 = 4*c, -4*c + 2 = 3*u - u. Let z be (-4)/2 + (11 - 0). Sort -4, c, z in ascending order.
-4, c, z
Let w = 376 - 383.92. Let i = w - 0.08. Let p = 6 + i. Sort 3, p, -1/3 in descending order.
3, -1/3, p
Let t be ((-2)/2)/1 + -2. Let z = -7.82 - 0.18. Let o = z + 7.9. Sort 4/9, t, o in ascending order.
t, o, 4/9
Let u = 0 + 0.1. Let c = -0.2 + 0.2. Let z = 1 - 0.5. Sort c, u, z.
c, u, z
Suppose 0 = -4*h - 6 - 6. Let t be 0/(-2 + 0/h). Put 4, 2, t in decreasing order.
4, 2, t
Suppose 5*f - 2*f + 12 = 0. Let s be f + 1/(-1) + 0. Suppose 0 = 5*g + 5, -3*g = -3*m + 6 + 6. Sort s, -3, m in decreasing order.
m, -3, s
Let f = -0.7 + 0.4. Let x = 58 - 53. Sort 0.5, f, x.
f, 0.5, x
Let a = -625 - -1279/2. Let f = 14 - a. Put -0.1, 2/11, f in descending order.
2/11, -0.1, f
Let r be (1/4)/(27/(-24)). Let o = 1.1 + -0.1. Let p = o + -0.9. Put 0.2, p, r in ascending order.
r, p, 0.2
Let f = 0.02 - 0.32. Let q be 1/(-6) - 2/4. Sort f, q, -4.
-4, q, f
Suppose 0 = -3*d - 15. Let w be (20/550)/(1/d). Sort -2/15, -0.4, w in increasing order.
-0.4, w, -2/15
Let w be 10/65 - (-626)/(-13). Let r be w/18 - (-2)/3. Sort r, 0, 5 in descending order.
5, 0, r
Let o = 86 - 82. Put o, 17, -4 in increasing order.
-4, o, 17
Let i = 583/1008 + -1/144. Let t be 86/(-3)*(-3)/(-4). Let a = -20 - t. Put i, a, -2/7 in decreasing order.
a, i, -2/7
Let d(c) = -c + 6. Let b be d(6). Suppose -v + 2 = 2*a - 4*a, 2*a = -3*v - 2. Sort b, 4, a in ascending order.
a, b, 4
Let o = 6 + -17. Let n = o + 6. Put n, -1, 1 in descending order.
1, -1, n
Let z(a) = a**2 + 8*a + 5. Let b be z(-8). Put -5, 0, b in increasing order.
-5, 0, b
Let t = -6 + 9. Let v = -11.6 + 1.6. Let o = v - -7. Put -0.3, t, o in descending order.
t, -0.3, o
Let g(t) = t**2 + 7*t - 1. Let l be g(-7). Let v = -4 - l. Let a be (6*1)/v - 1. Sort 2, 3, a in ascending order.
a, 2, 3
Suppose y + 5*y - 6 = 0. Sort y, -0.3, 5.
-0.3, y, 5
Let k = -9 + 11. Let y = k + -2. Let v = -3 - y. Put v, 2/5, -0.2 in descending order.
2/5, -0.2, v
Let z = -6/7 - -16/35. Let p be 6/(-20) + (-6)/(-15). Sort z, p, 0.4 in increasing order.
z, p, 0.4
Let n = 4 - 1. Sort 2/5, 0, n in decreasing order.
n, 2/5, 0
Let t be -1*(1/2 - 0). Let u be ((-1)/((-9)/2))/(-2). Put 1, u, t in increasing order.
t, u, 1
Suppose -3*k - 16 = 3*a - 43, -2*k + 5*a = 3. Put 0.5, 0.4, k in ascending order.
0.4, 0.5, k
Let b be (0 + -6)*20/(-6). Suppose 4*r = b, -5*r = -4*o - r - 32. Let a be -2 + 2 + -3 + 2. Sort 3, o, a in increasing order.
o, a, 3
Let j(g) = g - 2. Let t be j(4). Suppose -2 = 2*f + 3*v + 4, v + t = 2*f. Let z be -1*2/4*2. Sort z, -5, f in ascending order.
-5, z, f
Let w(l) = -l**2 + 9*l + 2. Let m be w(9). Suppose 3*k + 13 = -4*z, -12 = -m*z - z + 5*k. Sort 9, z, -3 in descending order.
9, z, -3
Let u be (15/35)/(1/7). Suppose 3*a = a + u*b + 1, -6 = 2*b. Put -2, -5, a in increasing order.
-5, a, -2
Let a = -56 + 54. Put -10, a, 2 in decreasing order.
2, a, -10
Let f = -0.7 - -6.7. Let t = -6.2 + f. Put 2/13, -5, t in ascending order.
-5, t, 2/13
Suppose 0 = f + 3*f. Let m(b) = -b**2 - 3*b + 2. Let c be m(-2). Suppose p + p + c = 0. Sort f, p, 5 in descending order.
5, f, p
Let j = -25.6 - -24. Let d = 0.6 + j. Sort d, -2, -6.
-6, -2, d
Let r be (8*-1)/(1 - 0). Let u(m) = 2*m + 12. Let x be u(r). Put -2, 4, x in decreasing order.
4, -2, x
Let v = 6 - 3. Let u(r) = 3*r - 6. Let o be u(v). Let p = 0 + -4. Sort -3, p, o in ascending order.
p, -3, o
Let m = 0.2 + -0.1. Let b = 14.6 - 15. Let a = b - m. Put -5/2, 2/3, a in descending order.
2/3, a, -5/2
Let p(i) = -i**2 - 20*i - 20. Le