Let p = b + 8. Put -4, 5, p in descending order.
5, p, -4
Let o be (-4 + -1)/((-13)/13). Suppose 4*m - 3*j + 20 = 0, -5*m + 0*m + 3*j = 22. Sort m, o, -5 in descending order.
o, m, -5
Suppose -6*q = -q + 5*k, 0 = -5*q + 3*k - 16. Sort 1, q, 4 in descending order.
4, 1, q
Suppose 17 + 3 = 4*x. Let i = 2 + -8. Let l = -3 - i. Sort l, -5, x in ascending order.
-5, l, x
Let g be (144/820)/(308/1010). Let f = -2/451 + g. Put 0.1, f, -2 in increasing order.
-2, 0.1, f
Let h = -8 - -10. Suppose -1 = -u - 4. Put h, 4, u in descending order.
4, h, u
Let j = -11 - -16. Let h = -2.5 + -0.5. Sort j, h, -1/2.
h, -1/2, j
Let u = -11.8 - -0.8. Sort u, 5, 3 in descending order.
5, 3, u
Let l = 5.2 - 1. Let m = 0.8 + l. Let x = 191/3 + -63. Sort -4, x, m.
-4, x, m
Let w(j) = j**2 - 7*j - 5. Let q be w(8). Let k(c) = c**2 - 5*c + 6. Let z be k(4). Let f(h) = -3*h + 3. Let i be f(z). Sort i, 5, q in descending order.
5, q, i
Let b be 36/(-8) + 2/(-4). Let h be (-2 - (3 - -7))/(-2). Sort h, b, -3.
b, -3, h
Suppose -3*g + 3 - 6 = 0. Suppose 4*r = -4 + 20. Let k(u) = u**3 - 3*u**2 - 3*u - 3. Let d be k(r). Put 5, g, d in decreasing order.
5, d, g
Let o = 11 - 16. Put 9, -2, o in increasing order.
o, -2, 9
Let a be ((-18)/15)/((-14)/315). Put a, 2, -2/3 in ascending order.
-2/3, 2, a
Let g(s) = s**2 + 5*s + 4. Let v be g(-5). Sort 1, v, -4, 0 in decreasing order.
v, 1, 0, -4
Suppose 0 = -2*s + 30 - 8. Sort 0.2, 0.4, s in decreasing order.
s, 0.4, 0.2
Let d = 1.2 - -1.4. Let l = 2.4 + d. Sort l, 3/8, 4 in increasing order.
3/8, 4, l
Suppose c - 5 = -l, l + 0 - 1 = 0. Put 0, -4, c in increasing order.
-4, 0, c
Let g = -13 + 18. Sort g, -17, -0.3 in decreasing order.
g, -0.3, -17
Let h = -2/149 + -135/1043. Let z(x) = 67*x**3 + 2*x**2 - x. Let b be z(1). Let y be b/42 + (-6)/21. Put -1/3, h, y in descending order.
y, h, -1/3
Let s be (-1)/(1/(-19)) + -3. Suppose 3*f + o - 3*o - s = 0, -4*o = f + 18. Sort f, 0, -1 in ascending order.
-1, 0, f
Let o = -61/15 - -1309/60. Let a = 18 - o. Sort 1, -4/3, a in decreasing order.
1, a, -4/3
Let y(g) = g - 1. Let v be y(-6). Let h be ((-180)/(-42))/((-1)/v). Let a = -152/5 + h. Sort a, 3/8, 2/5 in ascending order.
a, 3/8, 2/5
Let m be ((-2)/(-5))/(3/15). Let c be ((-8)/10)/(m/5). Sort 5, c, 1 in descending order.
5, 1, c
Suppose 2*b = -2*b + t - 9, 5*b = 4*t - 3. Let m = -58 + 53. Put 5, b, m in descending order.
5, b, m
Suppose 0 = -3*d - d - 16. Let c(s) = s**2 - s - 2. Let z be c(0). Suppose 0 = 2*p - 0*p - 10. Sort d, p, z in decreasing order.
p, z, d
Let b = -11.1 + 7.1. Let k = 371/470 - -1/94. Put 3/2, b, k in increasing order.
b, k, 3/2
Let f = -5 + 3. Let o be (-5 + 5)/(4 + -1). Let k(i) = -i**3 - i**2 + 3. Let u be k(0). Sort f, u, o in decreasing order.
u, o, f
Suppose 2*f - 10 = 3*p, 7*f - 25 = 2*f - p. Suppose -5*l + 20 = -f*a, -l - 13 = -3*l + 3*a. Sort 0, -3, l in descending order.
0, l, -3
Let d(x) = -5*x - 1. Let f be d(-2). Let y(o) = 2*o**3 + f + 6*o**2 - 8*o**3 + 7*o**3 + 8*o + o**2. Let w be y(-6). Sort 3, w, 5 in decreasing order.
5, 3, w
Let g be 16/((0 + -1)/12). Let p = g - -1346/7. Sort p, 5, 2 in ascending order.
p, 2, 5
Suppose 10 = -0*a - 2*a. Sort -2, a, 10 in descending order.
10, -2, a
Suppose f - 6*f - 5 = 0. Sort f, -0.4, 2/3 in descending order.
2/3, -0.4, f
Let j = -2 - -12. Let x = -15 + j. Let f be (-3)/2 - (-2 - 0). Put 2/3, f, x in increasing order.
x, f, 2/3
Suppose 29 = 5*i - 3*t + 5, -9 = 3*t. Suppose -10 = -i*v - 4*w - 31, -5*v - w - 18 = 0. Let o = 1 - 5. Put o, v, -5 in decreasing order.
v, o, -5
Let m be 18/12*2/(-3). Suppose 8 = -2*h + 16. Sort m, -2, h.
-2, m, h
Let n = 1.7 - -3.3. Sort n, 2/13, -2 in ascending order.
-2, 2/13, n
Suppose u = -5, 4*u - 3*u = -5*y - 25. Put -2, 16, y in descending order.
16, -2, y
Let v = -97 + 63. Let f = 40 - v. Let q = f - 368/5. Put 5, q, 2 in increasing order.
q, 2, 5
Suppose -11 + 7 = -c. Suppose -3 = c*d - 19. Sort d, -5, -4 in ascending order.
-5, -4, d
Let u = -13 - -18. Let o = -0.06 - 0.04. Let b = o - -0.1. Put b, -3/4, u in decreasing order.
u, b, -3/4
Suppose z = -0*z - 5. Sort -11, z, -3 in descending order.
-3, z, -11
Let f be 1*2*(4 - 9). Let v = -11 - f. Sort v, -5, -0.5 in increasing order.
-5, v, -0.5
Let r = -0.3 - -0.3. Let h = 0 + r. Sort 1/2, h, -5 in descending order.
1/2, h, -5
Let c be 16/10 + 9/(-15). Put c, -4, -1, 5 in increasing order.
-4, -1, c, 5
Let h = 13 + -14. Put -0.2, h, 2 in ascending order.
h, -0.2, 2
Let a be -4 + 1 + 8 - 3. Put a, -4, -5 in decreasing order.
a, -4, -5
Let c = -9/8 - -3/8. Sort -0.1, c, 3, -3/7.
c, -3/7, -0.1, 3
Let f = 3 - 8. Let n = 13 + -8. Suppose 0 = 2*a + 5*y - 33, y = -3*a + n + 12. Sort f, -4, a in descending order.
a, -4, f
Let n = 0.1 - -0.9. Let p(b) be the third derivative of -b**5/60 + b**4/8 + b**3/3 - 4*b**2. Let x be p(3). Sort x, n, 0.
0, n, x
Suppose -2 = -2*u + 8. Put 0, u, 1 in decreasing order.
u, 1, 0
Let q(m) = m**2 + 8*m - 8. Suppose 0 = 2*x - x + o + 12, 0 = -3*x - 2*o - 33. Let u be q(x). Suppose 0*n - 8 = 2*n. Put u, n, 0 in increasing order.
n, 0, u
Let d be 2/((-4)/(-6)) + -5. Sort d, 0, -3 in decreasing order.
0, d, -3
Let y(r) = -4*r**2 + 1. Let j be y(1). Let u(m) = -m**3 - 3*m**2 + 2. Let p be u(-2). Sort 0.3, p, j in ascending order.
j, p, 0.3
Let a(g) = g**3 - 5*g**2 + 2*g - 10. Let x be a(5). Let p = 1 + 1. Suppose -p*l + 1 = 5. Put x, 2, l in ascending order.
l, x, 2
Let b = 3.8 - -1.2. Let r = 1.05 - 0.05. Suppose 2*m = 5*n - 26, -5*n + 2*n + 21 = -3*m. Sort n, r, b.
r, n, b
Let p = -0.24 - -6.74. Let h = 2.5 - p. Sort -2/9, 0.02, h in ascending order.
h, -2/9, 0.02
Let o = -130 - -385/3. Let a = -39 - -28. Let m = a - -7. Sort o, m, 3.
m, o, 3
Let l = 27 + -32. Sort 0.5, l, -0.01 in increasing order.
l, -0.01, 0.5
Let j be 2/(-6) + 2/(-6). Sort j, -1/6, 0.2.
j, -1/6, 0.2
Let c = 15 - 17. Sort -11, c, 5 in decreasing order.
5, c, -11
Let f = -1.7 + 2. Sort -3, 2/7, f in decreasing order.
f, 2/7, -3
Let j be (-93)/31 - (-1)/(-1). Suppose 6*l = 3*l + 18. Suppose l = z + 2. Sort -1, z, j in increasing order.
j, -1, z
Let m = 6 + -5. Sort 8, -1, m in decreasing order.
8, m, -1
Let r(f) = f**3 + 6*f**2 - 10*f - 13. Let l be r(-7). Sort 5, l, 0.
0, 5, l
Let z = 16 - 11. Suppose 5*w + 2*m + 2 - z = 0, 4*w = 4*m + 8. Let f(i) = 3*i + 4. Let t be f(-3). Put -4, t, w in ascending order.
t, -4, w
Let g(r) = r + 13. Let x be g(-17). Sort 3, -3, x.
x, -3, 3
Let y be (-5 + 3)/(-2 - -6). Sort -0.3, y, -2 in descending order.
-0.3, y, -2
Let b = -0.3 - -0.4. Let g be (1 - (-46)/(-6))*(-24)/16. Put 3, b, g in descending order.
g, 3, b
Let j(t) = -t**3 - 6*t**2 - 3*t + 1. Let u be j(-5). Let v = -14 - u. Put 5, v, -0.2 in descending order.
5, -0.2, v
Let m be (-125)/(-2)*(-24)/(-5830). Let b = 4/53 - m. Sort -0.2, -1/2, b in ascending order.
-1/2, -0.2, b
Let i = 25 - 28. Sort i, -5, -2 in increasing order.
-5, i, -2
Let w = -1 + 23. Suppose -5*b + w = 2. Suppose 2*t - 5*p + 16 = 0, 3*p = 3*t - 2*t + 9. Put 1, t, b in descending order.
b, 1, t
Let s be (-1)/(1*5/25). Suppose 0 = -4*a - 2*o - 18, 11 = -5*a - 5*o - 19. Let m = -17 - -16. Sort a, m, s in ascending order.
s, a, m
Let x be 4/54*(-11 + 8). Put 0.1, x, 0.01 in decreasing order.
0.1, 0.01, x
Let x be (-3)/(-9)*-2 - -1. Let o(t) = t**2 - 6*t - 21. Let p be o(8). Sort p, x, -3 in descending order.
x, -3, p
Let b = -0.07 - -5.07. Let i = -1.5 - -1.8. Put b, -5, i in decreasing order.
b, i, -5
Let l(c) = -5*c**2 - c - 1. Let i be l(-1). Suppose 8 = -2*r - 2*r. Put r, i, 1 in decreasing order.
1, r, i
Let t = 1 - 1. Suppose 0 = -2*f + 2 + 2. Put t, f, 5 in descending order.
5, f, t
Let f be 18/(-27) - (-13)/(-3). Sort f, -4, 4 in decreasing order.
4, -4, f
Let g = -28 - -28. Put 4, 3, g, 0.1 in decreasing order.
4, 3, 0.1, g
Suppose 0 = 3*g + 1 + 8. Put 3, -7, g in decreasing order.
3, g, -7
Let x = 3 - 2.98. Let v = -0.22 + x. Let p = -6 + 3. Sort p, 3, v.
p, v, 3
Let u be (-4)/(-10) - 6546/(-200). Let q = u - -178/25. Let i = 40 - q. Put i, -1, -1/3 in increasing order.
-1, -1/3, i
Let y = 8 + -8.3. Put 0.3, y, -0.05 in decreasing order.
0.3, -0.05, y
Let c(s) = -s**2 - 7*s + 12. Let g be c(-8). Let j(u) = -u**2 - 4*u + 7. Let d be j(-6). Sort d, g, -1 in descending order.
g, -1, d
Let w(d) = -2*d + 2 - 6 - 3. L