 Put o, 1, -1, -8 in decreasing order.
1, -1, o, -8
Suppose 3*s = 2*s + 3. Let j = -817/9 - -91. Sort j, s, -3 in decreasing order.
s, j, -3
Suppose 4*a - 6 = a, -28 = 5*c - 4*a. Sort c, 0, 4 in decreasing order.
4, 0, c
Let p = 2237/8 + -280. Let y = 8 + -5. Sort y, 0, p in decreasing order.
y, 0, p
Let t(g) = 2*g. Let v be t(1). Suppose -v*a - 15 = a. Put 0, a, -3 in decreasing order.
0, -3, a
Suppose 4*f = -2*c, 4*c + 2*f + f + 5 = 0. Put 10, c, -3 in descending order.
10, c, -3
Let n = 3.6 - 4.2. Sort 4/5, n, -1 in ascending order.
-1, n, 4/5
Let f = 35 + -31. Sort 2, f, -4.
-4, 2, f
Let z be (-7)/3 + 4/6. Let w = -32 - -34. Sort z, -4, w in increasing order.
-4, z, w
Suppose -z + 17 = 5*y, 4*y + 13 = 5*z + 5*y. Suppose z*u - 1 = 3*u. Sort -4, 3, u in decreasing order.
3, u, -4
Let k = 0.7 + -0.71. Let z = k - 4.99. Let p = 87 + -265/3. Sort p, z, -2 in increasing order.
z, -2, p
Suppose -2*y = 5 + 7. Let h be (-2)/y - (-1)/(-3). Sort -5, 2, h in ascending order.
-5, h, 2
Suppose 95 = -12*q - 25. Sort -4, -1, 1, q in decreasing order.
1, -1, -4, q
Let b = 0.9 + -1. Let j be -2 - 25/(-9) - 1. Let t be 2 + 38/(-12) + 2. Sort t, b, j in decreasing order.
t, b, j
Suppose 3*s + 4*n + 11 = 23, -2*s + 4*n - 12 = 0. Sort s, -2, 2, -3.
-3, -2, s, 2
Let n = 36.5 + -36. Let q = 0.1 - 0.2. Let t = q + -0.1. Sort 0.2, t, n in descending order.
n, 0.2, t
Let h = -5 - -6. Let f = h + -0.7. Let w = -1.7 - f. Sort 1/12, -4, w in descending order.
1/12, w, -4
Suppose 26 = 5*m - x, 13 = 5*m - 2*x - 14. Put -1, -8, m in ascending order.
-8, -1, m
Let o(v) = 3*v - 2. Let b be o(-1). Sort 3, -3, 5, b.
b, -3, 3, 5
Suppose 2*s = 5*i - i + 10, 5*s - 4*i - 13 = 0. Sort 2, -2, 5, s in descending order.
5, 2, s, -2
Let y = 0.45 - -0.05. Put y, -6, 2 in decreasing order.
2, y, -6
Suppose -5*u + 4 = -w, -4 = 3*u - u + w. Put -1, u, 4 in increasing order.
-1, u, 4
Suppose 0 = -0*w + w. Let a be 85/(-45) + 2 + w. Sort 5, a, -0.1 in descending order.
5, a, -0.1
Suppose 3*h = -3*b - 21, 5*h + 4 + 7 = 3*b. Let j = h - -1. Sort -1, 0, j.
j, -1, 0
Let t = -44/5 - -9. Sort 0.1, t, -1/5, -4 in decreasing order.
t, 0.1, -1/5, -4
Let z be 13 + (-1 + -2 - 0). Suppose b + 7 = v, -3*v + 6 = -2*b - z. Let n be (-1)/2 + b/2. Put 5, n, 0 in ascending order.
n, 0, 5
Suppose r + 37 - 40 = 0. Let s(g) = -g. Let m be s(-1). Sort m, r, 5 in ascending order.
m, r, 5
Suppose 0*j + 3*o + 24 = 3*j, -j + 4*o = -17. Let b be 35/(-2)*(j + -7). Suppose h - 5 = 3*h + l, -5*l = -5*h - b. Put -3, 5, h in increasing order.
h, -3, 5
Let q(s) = 11*s - 6. Let x be q(1). Let r(a) = a**2 - a + 4. Let f be r(0). Suppose -f*o = -o - 3, 2*o + 1 = t. Sort t, x, -1/5 in increasing order.
-1/5, t, x
Suppose -15*j + 22*j - 7 = 0. Sort j, -17, 3 in decreasing order.
3, j, -17
Let m(y) = -y**2 + 7*y + 8. Let r be m(8). Let g be (-60)/(-14) - (-12)/(-42). Put g, -4, r in decreasing order.
g, r, -4
Let t = -43.2 + 43. Suppose 3*u = -5*l + 3, -2*u + 0*l = 4*l - 4. Put u, -0.4, t in increasing order.
u, -0.4, t
Let v = 1 + 1. Suppose 0*i - 4*r = -i, 2*i + 3*r = 11. Suppose 2*t - 2*x = -2 - v, 0 = t + x - i. Sort 2, -1, t in decreasing order.
2, t, -1
Let q(v) = -v**3 - 3*v**2 + 6*v + 6. Suppose -r - 1 = 3. Let a be q(r). Sort -3, a, -4.
-4, -3, a
Let r be ((-2)/(-8))/(6/72). Let n be r + 0 - (0 + 2). Suppose 2*d = -2*d - 8. Put d, 0, n in increasing order.
d, 0, n
Suppose 0 = 3*x + 3*m + 12, 0*x - 5 = 2*x + 5*m. Put 4, x, 3 in decreasing order.
4, 3, x
Let c be 16/(-30) + (-3)/(-15). Let o = 18 + -18.5. Let u = -0.27 + -0.03. Put u, c, o in descending order.
u, c, o
Let n = -0.3 + -0.2. Let r be -1*(2 - 2 - -6). Let v be (r/4)/(1/2). Sort v, -0.2, n.
v, n, -0.2
Let q = 2 + -1. Let x = -19 + 12. Let f(c) = -c**3 - 7*c**2 - c - 4. Let h be f(x). Put q, -1, h in decreasing order.
h, q, -1
Let i be 3/((-3)/1) - 0. Sort i, -5, -2 in decreasing order.
i, -2, -5
Let i = -22.01 + 0.01. Let x = -21.5 - i. Put -0.4, x, 0.2 in increasing order.
-0.4, 0.2, x
Let q = 10 - 9.8. Sort -2, q, -3 in decreasing order.
q, -2, -3
Let g be ((-2)/(-3))/((-20)/45). Sort g, -3, -1.
-3, g, -1
Suppose 23 = 3*q - 5*h, -h - h = 8. Sort q, 5, -5 in descending order.
5, q, -5
Let n(d) = d**2 + d - 5. Let b be n(-4). Let x = b + -3. Put 3, -5, x in increasing order.
-5, 3, x
Suppose -3*b = -7*b - 16. Let d(n) = 2*n. Let q be d(-1). Sort q, b, -3.
b, -3, q
Let a = -6 - -9. Let g = -7/11 - -16/77. Sort a, g, -7 in increasing order.
-7, g, a
Suppose -3*t - 5*c - 4 = 0, -29 = t - 3*t + 3*c. Suppose -5*a = -4*g - 10*a + t, -g + 2*a = 8. Let h = -2 - -1. Sort -2/13, h, g in increasing order.
g, h, -2/13
Let t(n) = -n - 9. Let z be t(-6). Let k(s) = s - 2. Let c be k(2). Let f be 1*1/2*c. Sort z, f, 2 in decreasing order.
2, f, z
Let i(o) = o**2 - 3*o - 2. Let l be i(2). Suppose -3*c + 0*c = 0. Sort -1, l, c.
l, -1, c
Let c = 5.01 - 5. Let s = c + 0.39. Let v = -12 - -8. Sort -2, s, v in ascending order.
v, -2, s
Let n = 0.46 - 0.06. Let i = 0.5 + -5.5. Put i, n, -3 in decreasing order.
n, -3, i
Let l(r) = -r**3 + r + 19. Let f be l(0). Let o = f - 13. Sort 0, o, 1.
0, 1, o
Let x = 32 + -29. Put 0, -1, x in decreasing order.
x, 0, -1
Suppose 5*p - 9*p + d = 40, 0 = 5*p + 4*d + 50. Sort p, 2, 3.
p, 2, 3
Let p = -18 + 17.9. Let k = p - 0.1. Sort k, 0, -2 in decreasing order.
0, k, -2
Let y be (462/(-1380))/((-12)/(-10)). Let d = y - -2/69. Let h = 6.7 + -7. Sort h, d, 3/7.
h, d, 3/7
Suppose v + 5 = 0, -4*j - v - 19 = 2*v. Put 4, j, 2 in increasing order.
j, 2, 4
Let q = -2 - 3. Let i be 1 + 2/(2 + 0). Let n be i/2 + 2 + 0. Sort n, -2, q in ascending order.
q, -2, n
Let z = 80 - 80.7. Put z, 1, -4 in descending order.
1, z, -4
Suppose 5*z + 9 = 4*a - 68, -5*z = 4*a + 93. Let b = 13 + z. Put -2, b, -5 in ascending order.
-5, b, -2
Let z = 1147/38 + 44/19. Let k = z - 31. Sort k, 0.3, -1.
-1, 0.3, k
Let i = 38 - 38. Put 5/3, i, -2 in descending order.
5/3, i, -2
Suppose -4*a = -4*o + 4, -2*a = -5*o - a + 5. Let x be o/(-3) + (-28)/(-12). Let p = x + -1. Sort 3, -1, p.
-1, p, 3
Let t = 61 + -66. Put 2, t, -2, -9 in decreasing order.
2, -2, t, -9
Let o be -2*(-6)/(-14)*2/(-6). Sort o, -0.5, -8, -3 in descending order.
o, -0.5, -3, -8
Suppose 0 = -x - k + 4 + 16, 0 = -5*x + 5*k + 150. Suppose -z - 4*z = -x. Let i be -3*1/((-3)/(-2)). Put 2, z, i in decreasing order.
z, 2, i
Let f be 87/(-27) + (-4)/(-18). Let s(z) = z**3 - 5*z**2 + 4*z. Let i be s(4). Let n = -2 + i. Sort f, 3, n in decreasing order.
3, n, f
Let k(p) = p**2 - 5*p. Let o(i) = i - 1. Let g(b) = -k(b) - 3*o(b). Let u be g(4). Sort -3, 4, u in ascending order.
u, -3, 4
Let y = 0.4 - -0.6. Let r = y - -3. Let w = 1.2 - 1. Put -0.1, r, w in ascending order.
-0.1, w, r
Let f be (-5)/10*(-21 - -3). Suppose f = 3*u - n, -2*n - 3 = -n. Put 5, u, 3 in ascending order.
u, 3, 5
Let r be (-5 - -2)*2/(-6). Suppose -3*z - 5 = -2*u, 5*z = 2*u - 7 - 0. Suppose -3 = f + 2. Sort z, f, r in increasing order.
f, z, r
Let o = -5.6 + -1.4. Let l = 9 + o. Put l, -5, 3 in increasing order.
-5, l, 3
Let l = -0.12 + 3.12. Let m = 19 - 19.1. Sort -2/3, m, l.
-2/3, m, l
Let l = 7.88 + -8.9. Let j = l - -0.02. Let g = -0.6 - j. Sort g, -4, -4/5 in descending order.
g, -4/5, -4
Let k be 0 - ((-2)/(-4) + 3/(-6)). Sort 3, -3, k, 2 in descending order.
3, 2, k, -3
Let l(v) = v**3 + 6*v**2 + 7*v + 10. Let g be l(-5). Let n be 8/2 + -2 - g. Put 4, n, -5 in ascending order.
-5, n, 4
Let n = 0.4 + 2.6. Let g = 3.1 - n. Let c = 205/882 - 1/98. Sort g, c, -2 in decreasing order.
c, g, -2
Let z(l) = -l**3 - 19*l**2 - 18*l - 1. Let w be z(-18). Sort 1, 2, -3, w in descending order.
2, 1, w, -3
Suppose -4*p - 2 = -10. Put p, 4, -3 in decreasing order.
4, p, -3
Let q = -1 - 0. Let c be (1 + 8)/18 - (-2)/(-5). Sort c, q, 3/4 in decreasing order.
3/4, c, q
Let d = -168 - -675/4. Suppose 0 = 5*f - 4*m - 22, -2*m = f + 2 + 2. Let p = -3 + f. Sort 1, d, p.
p, d, 1
Let s be (1 - 2)/(2/(-6)). Let a = s - 7. Let h = a - -2. Put 5, -5, h in increasing order.
-5, h, 5
Let i be -5*(6/5)/(-3). Suppose 5*f + 32 = v, -3*f - 9 = v - 25. Suppose -4*x - v = -2*x - 4*j, 3 = j. Sort i, 0, x in descending order.
i, 0, x
Let f = 5 - 4. Let h = -0.04 - -1.04. Let s = h - 0.9. Sort -3, s, f in descending order.
f, s, -3
Suppose -v + 9 = 2*v. Suppose g + 2 = v*g