3*p + z - 6 = 0. Put -3, -1, p in decreasing order.
p, -1, -3
Let n = -1 - -12. Let k = n + -15. Sort k, 1, 0.4 in decreasing order.
1, 0.4, k
Let v be (1 - 2) + -1 + 0. Let f = 12 + -11. Sort 5, v, f in increasing order.
v, f, 5
Suppose -3*v + l - 8 + 3 = 0, 3*v = 4*l - 11. Put -16, v, 3 in ascending order.
-16, v, 3
Let l = 0.09 + -2.09. Let z = -4.9 - -5. Let s = -6 - -8. Sort s, l, z in descending order.
s, z, l
Suppose -a + 5*a + 19 = 3*k, 5*a + 23 = 4*k. Let i be 21/6*(-10)/a. Put -5, i, 2 in descending order.
i, 2, -5
Let p = 4 - 4.02. Let h = 0.02 + p. Suppose 0*l + 12 = 2*l. Sort 2/15, l, h in ascending order.
h, 2/15, l
Let j = 112 + -111. Put 3, -1, j, -2 in decreasing order.
3, j, -1, -2
Let h = 0.035 - 0.035. Let r = 3 - 2.8. Put h, r, 8 in ascending order.
h, r, 8
Let t = -0.19 - 7.11. Let j = t - -7. Put 3, j, -0.5 in ascending order.
-0.5, j, 3
Let h = 4 - -1. Suppose 3 + 29 = 16*p. Sort p, h, -3.
-3, p, h
Let h be (6/(-15))/((-2)/10). Suppose k - h = 3. Sort k, 3, -3.
-3, 3, k
Let b(t) = -3*t**2 - 14*t + 5. Let i be b(-5). Sort 5, 2, 1, i in increasing order.
i, 1, 2, 5
Suppose 0 = -4*r + 6 + 6. Suppose 3*o + 0*x = -x - 8, -x = -r*o - 10. Suppose -3 = -n + 4*w, -3*n + 0*n = -3*w + 9. Sort n, -4, o.
n, -4, o
Suppose -4*v + 3 = -1. Let p(m) = m**3 + 2*m**2 - 3*m + 1. Let q be p(-3). Let b be (-2)/2 + 0/q. Sort -4, b, v in decreasing order.
v, b, -4
Suppose j = -2*j - 3. Let i be (j/3)/(12/18). Sort -1, i, 0 in ascending order.
-1, i, 0
Let h = 30 - 29.8. Sort -0.11, 0.5, h.
-0.11, h, 0.5
Let l be (-7)/(-49) - (-82)/14. Let a be 196/(-120) + l/4. Let s be 1*-2 + 40/19. Put a, s, 2/15 in descending order.
2/15, s, a
Suppose 0 = -2*x - 4 + 2. Sort x, -5, -2.
-5, -2, x
Let w(m) = -m**2 + 6. Let g be w(0). Let v(x) = -x. Let y be v(g). Let j be (-1)/(-2)*(y - 2). Put -5, 2, j in increasing order.
-5, j, 2
Let s = -63 + 59. Sort s, 3, -1 in increasing order.
s, -1, 3
Let m = 18.4 + -18. Put -2/3, 7, m in ascending order.
-2/3, m, 7
Let y = -67 - -66. Sort y, -2/7, -2.
-2, y, -2/7
Let d(l) = l**3 - 2*l**2 - 2*l + 3. Let x = 4 - 2. Let w be d(x). Suppose 0 = 4*h - 5*h. Sort 1, h, w in decreasing order.
1, h, w
Let z = 0.46 + -0.4. Let c = 0.66 - z. Let s = 3.6 - c. Put s, 0.1, 5 in descending order.
5, s, 0.1
Let q = 8 + -11. Sort 1, -2, q in descending order.
1, -2, q
Suppose -5*g = 5*l + 10, 6*l - l + 3*g + 8 = 0. Let y be -1*(-6)/((-4)/(-2)). Sort -2, y, l.
-2, l, y
Let a = -14.6 + 15.6. Sort 1/7, a, -2/7.
-2/7, 1/7, a
Let g = 0 - -2. Let j = -0.43 - -4.43. Let k = -5.09 - -0.09. Sort g, k, j in descending order.
j, g, k
Let t = -86966 - -955249/11. Let r = -125 - t. Sort 0, 5, r in decreasing order.
5, r, 0
Suppose 0 = 4*k - 12 - 4. Suppose -3*s = -s - 36. Let l be (-4)/s + 32/(-18). Sort k, 5, l in decreasing order.
5, k, l
Suppose -2*o - 16 = 5*m, -2*m + 4*o + 0*o - 16 = 0. Sort m, 0, -1, 11.
m, -1, 0, 11
Let i = 4 + 6. Suppose f = -f + i. Let r = 5 - f. Put r, -2, 0.5 in descending order.
0.5, r, -2
Let y = 14 - 9. Let z = -12 - -18. Let o be (-27)/z - 3/6. Put o, -4, y in ascending order.
o, -4, y
Let k = 9 + -7. Let l = 1 - k. Let t = 0 + 0.1. Sort 0.3, l, t in ascending order.
l, t, 0.3
Let h = -4 - -7. Let t = -3 + h. Let x be -3 - (t/1 + -2). Sort x, -0.3, 2 in increasing order.
x, -0.3, 2
Suppose -5*j + 7 = -2*k - 9, 0 = 3*k - 5*j + 14. Sort k, -2, 4 in descending order.
4, k, -2
Let m(f) = -f**3 + f**2 + 3*f + 3. Let p be m(-2). Let w(o) = 13 + 3*o**2 - 4*o - p - 4*o**2. Let z be w(-4). Sort 3, z, -1.
-1, 3, z
Let g(p) = -p - 3. Let x be g(-5). Let l be x/3 - (-15)/(-9). Put l, -2, -5 in increasing order.
-5, -2, l
Let n = 11.7 + -12.1. Suppose -w = -2*u - 2, -3*u - 20 = 5*w + 2*u. Put n, w, 2/3 in decreasing order.
2/3, n, w
Let s be 40/(-30)*(1 + 2). Sort s, -5, 5, -13 in descending order.
5, s, -5, -13
Suppose 0 = -4*p + 4. Let a = -6.5 + 7. Put a, p, 5 in descending order.
5, p, a
Let p(u) = -u - 9. Let z be p(-6). Suppose 3*g = -4*b - 15, -5*b + 20 = -b - 4*g. Put z, b, 2 in descending order.
2, b, z
Let w = 33 - 35. Sort w, 2, 0.3 in decreasing order.
2, 0.3, w
Let m = 14 + -22. Let o = -26 + 15. Let p = m - o. Put -0.4, p, 1 in decreasing order.
p, 1, -0.4
Let q be (-8)/(-298)*(-6)/24. Let s = q + 301/447. Sort -1/7, s, -2 in descending order.
s, -1/7, -2
Let u be (9/27)/(2/(-12)). Let z be ((-4)/u)/((-2)/(-3)). Put -4, z, -5 in decreasing order.
z, -4, -5
Let a = -6 - -5.3. Let s = -0.6 - -0.9. Let r = s + a. Put -3/7, r, -1/5 in increasing order.
-3/7, r, -1/5
Suppose 5*y + 13 + 6 = 2*q, 3*y + 2*q = -21. Let p be 26/(-7) + (-4)/14. Let x be (y/20)/(9/p). Put -5, x, 4 in ascending order.
-5, x, 4
Let d be 88/14 - (-10)/(-35). Let q = d - 2. Let m(i) = i**2 - 2*i + 1. Let w be m(2). Sort q, w, 0.
0, w, q
Suppose -6*f + f = -100. Suppose -5*m = -m - f. Suppose m*q = -o + 10, 5*q + 1 = -2*o + 6. Sort -4/3, q, -0.1.
-4/3, -0.1, q
Suppose -3*q - 9 = -3*x, -4*x + q + 3 = -9. Suppose z = x*g - 9, -2*z = 2*g + g. Sort g, -5, 4 in descending order.
4, g, -5
Let s = -10.9 + -1.1. Let a = -7 - s. Put 0.1, 0.3, a in ascending order.
0.1, 0.3, a
Let k be 9/12 + 185/100 + -2. Sort k, 1, -4/3, 0.3.
-4/3, 0.3, k, 1
Let f = 38 - 38. Put f, 0.4, -4, 3/5 in decreasing order.
3/5, 0.4, f, -4
Let d = -5.5 - 1.5. Sort -0.1, d, -1/2 in descending order.
-0.1, -1/2, d
Let s = 2.3 + -2. Let l(x) = -3*x**3 - x**2 - 2*x + 2. Let g be l(1). Sort -2/5, g, s.
g, -2/5, s
Let d = -1.8 - 0.2. Let f = 41 - 368/9. Let g(k) = k**3 + 5*k**2 - 5*k + 1. Let m be g(-6). Sort d, f, m in increasing order.
m, d, f
Suppose 0 = -4*y + 2*y + 136. Let l be (-3)/9 + y/42. Let m = l + -11/7. Sort m, 0.4, 0.2.
m, 0.2, 0.4
Suppose 0 = s + s + 2*z + 4, 3*s - z + 14 = 0. Suppose -2*v = -5*y, 7*v = 2*v - 4*y. Sort v, 3, s.
s, v, 3
Let r = -11 + 3. Let o = 3.029 - 0.029. Let i = o + r. Sort 4, 0.5, i in decreasing order.
4, 0.5, i
Let s be (-6)/10 + (-20)/(-25). Sort 5, -4/5, s in descending order.
5, s, -4/5
Let l = 0.7 + -2.7. Put 2, 1, l in decreasing order.
2, 1, l
Suppose 0*k - k - 28 = 5*z, -40 = 5*k + 5*z. Let y(r) = 2*r - 7. Suppose 3*f - 8*f + 30 = 0. Let v be y(f). Sort v, 4, k in decreasing order.
v, 4, k
Let j(k) = -k**3 - 9*k**2 - 8*k - 3. Let o be j(-8). Let t = 0.9 + -0.5. Put 1/2, o, t in increasing order.
o, t, 1/2
Let x = 6 - 44/7. Sort -4/3, 0.9, -4, x in increasing order.
-4, -4/3, x, 0.9
Let z = -0.23 - 0.97. Let s = -0.3 - -0.1. Let j = s - z. Put j, -0.5, -4 in descending order.
j, -0.5, -4
Let p(r) = 4*r**2 - r. Let t be p(-1). Suppose -n - 4*x = -8, -2*n - 8 = -3*n + 4*x. Suppose 3*y = n*y + 5. Put y, -4, t in descending order.
t, y, -4
Let y = 6.4 - 6. Let b be (-8)/(-24) - 119/(-3). Let x be (-3)/15 - 12/b. Sort x, y, 5 in ascending order.
x, y, 5
Let c = 0.2 + 0.3. Let z = 79 - 31. Let j be 4/14 + z/(-21). Put -0.2, c, j in descending order.
c, -0.2, j
Let g = -8 + 13. Suppose -i = 2*i - x - 7, -i - g*x + 13 = 0. Suppose 4*p = 0, i*w + 2 = -p - 4. Sort 3, w, -5 in decreasing order.
3, w, -5
Let j be (-4)/8*(3 - (18 - -1)). Sort j, -3, 3, 4.
-3, 3, 4, j
Let x be (-6)/16*(-36)/135. Put x, -2/7, -4/3 in decreasing order.
x, -2/7, -4/3
Let p(t) = t**3 + 4*t**2 + 2*t + 2. Let d be p(-3). Suppose 2*y + 11 = 5*r, -r + d*y + 5 = 4*r. Let v(j) = -j. Let s be v(-1). Sort r, -2, s.
-2, s, r
Let f = -16 + 16. Let k = -11 - -13.5. Let l = k - 0.5. Put f, 4, l in decreasing order.
4, l, f
Let b = 36 - 33. Sort 4, 5, 1, b in ascending order.
1, b, 4, 5
Let r = 0.01 + -0.11. Let w = 3 + -3. Let o be -2 + 2/(-4)*w. Sort o, r, -3.
-3, o, r
Let n = 0.1 - -0.2. Let u = 0.3 - n. Sort -0.1, -0.3, u in increasing order.
-0.3, -0.1, u
Let c(m) = -m**2 + 2*m + 7. Let d be c(3). Put -3, -17, 3, d in increasing order.
-17, -3, 3, d
Let h = 18/7 - 76/35. Sort -1/8, -2, -3, h in decreasing order.
h, -1/8, -2, -3
Let k = 0 - 0.2. Put -0.4, 4, k in decreasing order.
4, k, -0.4
Let q be (-4 + 8/6)/(-2). Let b(j) = -j**2 + 3*j + 2. Let u be b(3). Let z be -1 - (2 + -4)*u. Sort z, q, -1 in decreasing order.
z, q, -1
Suppose -r - 3*s - 17 = -0*s, -5*r - 5*s = 65. Let u = r - -15. Put u, -3, 5 in decreasing order.
5, u, -3
Let z be 0*(2 - 3/2). Let u be -3 + z/(-2) + 10. Put -2, u, -3 in descending order.
u, -2, -3
Suppose -2*o = -3*l - 5, 2*o - 3*o - l = -5. Suppose -o*y