= 2*k, 0 = 2*b - 4*k + 2. Put b, 3, 0.2 in increasing order.
0.2, 3, b
Let l = -8 - -4. Let m = -7 - -7. Put -5, l, m in decreasing order.
m, l, -5
Let b = 54/245 + -1/49. Let n(j) = j**2 + 2*j + 1. Let r be n(-1). Let a = 3 - 4. Sort b, a, r in increasing order.
a, r, b
Let p(s) = 3*s + 7. Let f be p(-4). Let j be ((-1)/(-3))/((-1)/(-3)). Sort f, -2, j in descending order.
j, -2, f
Let i be (-24)/(-14) + (-6)/(-21). Let z(a) = a. Let o be z(4). Suppose -16 - o = 5*p. Sort p, i, 0.
p, 0, i
Suppose 1 = -2*i - 3. Sort i, 3, 8.
i, 3, 8
Let i = -1 - -3. Sort i, -5, -9, 0.
-9, -5, 0, i
Let o = -1 + -3. Let i be (-2)/1 + (-6 - (-6 - -3)). Put o, i, 0 in decreasing order.
0, o, i
Suppose 5*s = -0*s. Suppose -4*k + s*q = 5*q - 9, -q = 5*k + 15. Sort k, -6, 4 in increasing order.
-6, k, 4
Let v(q) be the third derivative of -q**6/120 + q**5/60 + q**4/24 + 2*q**3/3 - q**2. Let a be v(0). Sort a, -5, -4 in descending order.
a, -4, -5
Let a = -5.04 - -5. Let i = a - 5.96. Let d = i - -5.7. Put -2, d, 2/5 in ascending order.
-2, d, 2/5
Let m = 2 - 2. Sort -1, 5, m in increasing order.
-1, m, 5
Let n = 1.72 + 0.28. Let q = -3.58 + 0.38. Let h = q - 0.8. Put h, n, 4 in decreasing order.
4, n, h
Let m = 7 + -11. Let c be (-1)/(-2)*8/(-1). Let h = c - -6. Put -2, h, m in descending order.
h, -2, m
Let n be (-8)/(-15) + 1/(-5). Let q(x) = x - 5. Let v be q(7). Suppose o + 4 = -p, -v*o + 5*o - 5*p = 28. Sort -0.3, n, o.
-0.3, n, o
Let x = -12 - -17. Let v = 34.2 + -34. Put -1/2, x, v in descending order.
x, v, -1/2
Let f = -39/245 - 2/49. Put f, -1/2, -5 in increasing order.
-5, -1/2, f
Let o = -39/2 - -20. Let m = 1.3 - 1. Put -4/5, m, o in decreasing order.
o, m, -4/5
Let w = 6/13 - 17/65. Let u = 7 + -3. Put w, 0.3, u in increasing order.
w, 0.3, u
Let o(w) = -w - 7. Let g be o(-8). Sort -4, 2, g, -5.
-5, -4, g, 2
Let o be (1 + -4)/(18/8). Let i = 56 - 394/7. Put -5, i, o in increasing order.
-5, o, i
Suppose -m - 2*g = 3*g + 11, 2*m - 17 = 3*g. Let x be (-7)/(-21) + m/6. Let h = 0 + -5. Put 3, h, x in ascending order.
h, x, 3
Let p be (1/2)/(6/36). Put -0.5, p, 0.5, -3 in descending order.
p, 0.5, -0.5, -3
Suppose 0*y - y = 0. Sort -3, 3, y in decreasing order.
3, y, -3
Let n(q) = -6*q. Let j be n(1). Let c be 26/(-7) - j/(-21). Let f(w) = -w**3 + 17*w**2 + w - 12. Let b be f(17). Put 0, c, b in descending order.
b, 0, c
Let c be (2/(-4))/(2*(-2)/8). Put -5, c, 8, 5 in descending order.
8, 5, c, -5
Let g = 1.3 + -2.4. Let s = g - -1. Let c = -0.05 + -0.35. Sort -1/3, c, s in ascending order.
c, -1/3, s
Let w be ((-22)/(-55))/(12/(-262)). Let i = w - -47/5. Sort -0.4, -4, i in ascending order.
-4, -0.4, i
Let i = -4.932 - 0.068. Put 2, -6, i, -5/4 in descending order.
2, -5/4, i, -6
Suppose -3 - 1 = -y. Suppose -4 = 2*r - 0*r. Sort -1, y, r in descending order.
y, -1, r
Let b = -9 - -11. Suppose -4 = -2*g - 4*d, -b*g = d + 2*d - 5. Let y = -4 - -7. Put -5, y, g in decreasing order.
g, y, -5
Let g = 10 + -11. Let i = -17 - -12. Sort -4, i, g.
i, -4, g
Let x(r) = r**3 - 3*r**2 + 2. Let q be x(3). Sort 3, q, -3 in decreasing order.
3, q, -3
Let g = 8 - 6. Put 1/5, -1, g in increasing order.
-1, 1/5, g
Let k = -15 + 6. Let l be (-1)/k + (-1)/3. Let j = 3.95 + 0.05. Put l, j, -2 in descending order.
j, l, -2
Let d = -23.9 - -22. Let q = d - -0.9. Put q, 4, 9 in increasing order.
q, 4, 9
Suppose 0*m - 15 = -5*m, 2*y = 2*m - 6. Let c(f) = -f**2 + 11*f - 9. Let g be c(10). Sort g, y, 3.
y, g, 3
Let k = 0.6 - 1. Let h = 257/2 + -129. Sort k, 1, h in descending order.
1, k, h
Let p be (-33)/(-2)*(-4)/(-6). Let d = p - 15. Let a(z) = -z**3 - 3*z**2 + 3*z + 1. Let u be a(d). Sort -1, -2, u in descending order.
u, -1, -2
Let f be 4/(-6) + 30/(-9). Suppose -3*k - 13 = q, 2*q + 5 = 3*k + 24. Put 0, k, f in increasing order.
k, f, 0
Let s = -120 - -125. Sort s, 7, -3, 1 in increasing order.
-3, 1, s, 7
Let d(u) = -2*u + 1. Suppose -2*y = 3*s + 5, 5*s = -4*y + 4*s - 15. Let t be d(y). Let o be (-3)/(-2)*(-12)/t. Put -1, o, -5 in descending order.
-1, o, -5
Suppose -3*t = -2*t - 2*f - 5, 0 = 4*t + 2*f - 10. Let m = 11 + -15. Put 0, m, t in descending order.
t, 0, m
Let u = -2 - -3. Let w be (-3)/3 - (-10)/6. Put u, 2, w in descending order.
2, u, w
Suppose 2*p - 2 = -8. Suppose 0*h - 5*h = 5*v + 30, 21 = 4*h - 5*v. Put p, h, 1 in descending order.
1, h, p
Let x = -1.9 + -0.1. Let q = 11.8 - 10. Let h = x + q. Sort -2, h, -1/9 in decreasing order.
-1/9, h, -2
Let a(i) be the first derivative of -i**4/4 - 5*i**3/3 - i + 2. Let l be a(-5). Let h = -5 + 10. Sort l, -3, h in ascending order.
-3, l, h
Let k = -109 - -109.57. Let b = k + -0.07. Sort -2, -4, b in ascending order.
-4, -2, b
Let g = 73 - 62. Sort -0.3, 5, g, 0.
-0.3, 0, 5, g
Suppose -5*y = -5, 2*s - 2*y - 2 = -4. Put -3, 1, s in descending order.
1, s, -3
Let c = -9 + 8.91. Sort 0, c, -1/3, -1 in decreasing order.
0, c, -1/3, -1
Suppose 3*r + 2 = 4*r. Suppose 0 = 3*l - t + 2*t - 20, 0 = -4*l - 5*t + 45. Let i = 2 - l. Sort r, -1, i.
i, -1, r
Suppose -5*q + 45 = -0*q. Put 0.3, q, -4 in increasing order.
-4, 0.3, q
Suppose 0 = -5*f + 3*h - 0 - 2, -f - 5*h = -22. Suppose 2*d - 10 = 3*d. Let c be ((-8)/d)/((-6)/10). Sort -0.1, f, c in increasing order.
c, -0.1, f
Let p be 3 - (-4 - (-295)/45). Sort p, -9, 2/7, -3 in decreasing order.
p, 2/7, -3, -9
Suppose -4*w - 2 - 36 = -2*z, -4*w - 35 = -z. Let c(d) = d**2 + 6*d + 6. Let p be c(-5). Put -5, p, w in ascending order.
w, -5, p
Suppose -2*i + 5 = -3*i. Sort -2, i, 1.
i, -2, 1
Suppose -2 = -2*u, 4*l + l + 8 = -2*u. Sort 1, l, -1 in descending order.
1, -1, l
Let p be 202/(-14)*13/1. Let y = -188 - p. Sort 0.5, -3, y.
-3, y, 0.5
Let c = -1 + 1. Let g = 0 - c. Let q be 6/9 + ((-35)/12)/7. Put 2/13, q, g in descending order.
q, 2/13, g
Let g(s) = -7*s**2 + 3*s + 2. Let v be g(-1). Sort 0, v, -4, -5.
v, -5, -4, 0
Let l = 12 + -8. Suppose -2*g - 2*c = -c - 5, 4*g - 3*c - 5 = 0. Put g, l, 0.1 in descending order.
l, g, 0.1
Let y(p) = p + 14. Let f be y(-16). Put -4, -5, f in ascending order.
-5, -4, f
Let w be 1/1*-1*2. Let k be 1*(-2)/w + 0. Suppose 5*q - 8 = 12, 4*x + 5*q - 4 = 0. Sort 3, k, x.
x, k, 3
Suppose -u + 165 = -5*z, -u - 33 - 132 = 5*z. Let j = z - -65/2. Sort j, -0.4, 3 in increasing order.
j, -0.4, 3
Let u = -3 - -2. Suppose 4*s + 16 = 0, 4*p - 4*s + 7 = 31. Sort p, u, -3 in increasing order.
-3, u, p
Let b(k) = k**3 - 5*k**2 - k + 4. Let a be b(5). Let c be -4 + 1 + 3 + a. Sort -5, c, 0.5 in descending order.
0.5, c, -5
Suppose -4*s + 52 = 4. Suppose -3*h + 7 = -2*t, 8*h - s = 3*h + 3*t. Let x(c) = c**3 + 7*c**2 - 9*c - 4. Let j be x(-8). Put 0, j, h in increasing order.
0, h, j
Let k = 1.4 - -6.6. Let v = k - 6. Suppose 3*o + 0*o + 6 = 0. Put o, v, -0.2 in descending order.
v, -0.2, o
Suppose 35*n - 6 = 36*n. Suppose -4 - 2 = 3*l. Put n, l, -1 in increasing order.
n, l, -1
Let k be (80/8)/(0 + 2). Sort k, 7/2, -0.5 in decreasing order.
k, 7/2, -0.5
Let w(x) = -3*x**3. Let s be w(-1). Suppose s*t - 4 = t. Suppose -5 = -5*c - 2*m, -5*c + 3*m - 8 - 12 = 0. Sort t, -5, c in decreasing order.
t, c, -5
Let j = -4 - -4. Put 2/9, 0.02, j in ascending order.
j, 0.02, 2/9
Let w = -4.89 + -0.11. Let b be (-174)/(-390) + (-6)/10. Put b, w, 0 in decreasing order.
0, b, w
Let i = 1.517 - 1.5. Let k = 5.283 + i. Let u = k + -5. Sort 0.4, u, -2 in ascending order.
-2, u, 0.4
Let n = 2/73 - 152/219. Sort n, -0.2, 2, 4.
n, -0.2, 2, 4
Let r = 33 - 23. Suppose 0 = -5*m + 565 + 135. Let u be m/(-225) - (-4)/r. Sort 1, u, -0.2 in descending order.
1, -0.2, u
Let r = -1/155 - -317/1085. Let m = -102 - -1225/12. Put m, 5, r in ascending order.
m, r, 5
Suppose 2*k - 7*k = -20. Put -2, k, -5 in descending order.
k, -2, -5
Let x be 2/12*(-8 - -4)*9. Sort x, -1, 5 in descending order.
5, -1, x
Suppose -3*u + 5 + 1 = 0. Suppose -3*s + 4*z = -8, -3*z = -4*s - 7*z - 36. Sort 8, u, s in increasing order.
s, u, 8
Suppose -7 = -t - 2*q, 5*t - 4*t + 13 = 2*q. Let s be t/(1*9/(-6)). Put -3, 1, s in ascending order.
-3, 1, s
Let n(b) = 4*b - 1. Let v be n(1). Suppose 0 = 3*t - 5*y - 3, t - 5 = -3*y + 6*y. Let o be (0/(-2) - -2) + -5. Sort t, v, o in decreasing order.
v, o, t
Let b = 119/4 - 30. Let q be ((-4)/3)/((-6)/3). Put q, -5, b in descending order.
q, b, -5
Let j be (1 - -1)/((-8)/(-12)). 