-1. Sort m, 1, p.
p, m, 1
Let o be 4/26 - (-206)/13. Suppose 0*y - 4*y = o. Let u(z) = z**3 + z**2 + z - 5. Let l be u(0). Sort 1, l, y in decreasing order.
1, y, l
Let h = -120 - -122. Sort 0.57, h, 1/4 in descending order.
h, 0.57, 1/4
Suppose -2*r - 25 = -5*i - 10, r = 3*i - 9. Sort -5, 1/3, 6, i in decreasing order.
6, i, 1/3, -5
Let y = 5.5 - 5. Sort y, -0.03, 5.
-0.03, y, 5
Let r = 6 + -6. Put 1, -10, r in decreasing order.
1, r, -10
Let z be 22/(-5) + 44/110. Put 6, z, 2, 5 in decreasing order.
6, 5, 2, z
Let l(i) = 34*i + 39. Let h be l(-1). Let w(x) = -x**3 - 1. Let u be w(-1). Suppose y - 2 = -u*y. Sort h, 0, y in descending order.
h, y, 0
Suppose 2 = -3*j - 7, 3*d + 2*j + 6 = 0. Let o(k) = -k**3 - 6*k**2 - 5. Let f be o(-6). Put -4, d, f in increasing order.
f, -4, d
Let x = -4 + 2. Let m(g) = 2*g - 21. Let p be m(15). Suppose -p = -3*q + d + 2*d, 9 = 3*q - d. Put 1, q, x in ascending order.
x, 1, q
Let n be (2/(-28))/(4/(-24)). Let u be (-2637)/(-2)*(-4)/(-26). Let o = u + -203. Sort n, 2/11, o in decreasing order.
n, 2/11, o
Suppose -4*f + 4 = 4*k, -3*f + 4*k + 13 + 4 = 0. Suppose -3*o + 5*c - 26 = 0, 0 = -5*o + o - f*c + 4. Let j be 1*2*4/(-8). Sort j, 1, o.
o, j, 1
Suppose -4 = 2*o - 0. Let f be (2 + 2)/(-2) + 3. Let m = 4 - f. Sort o, m, 0 in decreasing order.
m, 0, o
Let k = 0.96 + -0.06. Let c = 1 - k. Let x = c + 0. Sort 1, -4, x in decreasing order.
1, x, -4
Suppose 2*q = 6*q - 124. Let n = q + -22. Let b(t) = -t**3 + 10*t**2 - 10*t + 10. Let g be b(n). Put g, 0, -5 in decreasing order.
g, 0, -5
Let b = 1813/12708 - 4/1059. Let x = -8/9 + b. Put 4, -0.1, x in descending order.
4, -0.1, x
Let n be (4 - 0)*3/(-6). Let h(j) = 3*j**2 + 1. Let o be h(1). Put 2, n, o in ascending order.
n, 2, o
Let s = 1 - 4. Let n be (s - -5)*(0 - -1). Put -1, n, 0 in descending order.
n, 0, -1
Let v = -37 - -37.2. Sort 0.1, v, -0.4 in increasing order.
-0.4, 0.1, v
Let r be -1 + 1 - -1*4. Let c = r - 0. Let a be (-3)/(-9) - (-1 - -3) - -1. Put a, -0.2, c in decreasing order.
c, -0.2, a
Let n(j) = -j**2 - 5*j. Let r be n(-5). Let w be -5 + 4 - (0 - 31). Let k be -1 + -1 - w/(-6). Put k, r, -1 in descending order.
k, r, -1
Let i = 0 - -3. Let q = -10 - -13. Suppose q*r - 14 = 2*m - 2*r, -4*m - i*r = -24. Put -3, m, 1/4 in descending order.
m, 1/4, -3
Let l = -44 + 43. Let h = 3 - -4. Let q be 16/h - (5 - 3). Sort 0.1, q, l in increasing order.
l, 0.1, q
Let o = 1 + -3. Let z be (-2 + (-5)/o)*10. Suppose -3*s - 18 = -3*y - 8*s, 0 = -5*y + z*s - 10. Sort 3, -0.4, y in decreasing order.
3, y, -0.4
Suppose 3*i - 37 = -5*y, -y + 2*i - 2 = 1. Put -2, y, 1 in descending order.
y, 1, -2
Let w(b) = -b**3 - 4*b**2 - b + 2. Let d be w(-3). Put -1/4, d, -0.5 in descending order.
-1/4, -0.5, d
Suppose -2*n = 3*q + 18 - 1, 0 = -q - 5*n - 23. Let y = 23 - 5. Suppose -5*r - 16 = 5*a - r, 2*r = -5*a - y. Sort a, q, 3 in descending order.
3, q, a
Let n = -3 + -9. Put -3, 4, 2, n in increasing order.
n, -3, 2, 4
Let m(n) = -n**2 - 6*n - 2. Let v be m(-6). Let a be (-12)/(-18) - v/24. Put 5, a, 4 in increasing order.
a, 4, 5
Let x = -2.8 - -4.8. Sort 3, x, -1/6 in increasing order.
-1/6, x, 3
Suppose 25 = -3*j - 6*m + 4*m, 3*m + 5 = 2*j. Sort -4.2, j, 1/6 in decreasing order.
1/6, -4.2, j
Let q = -6 + 6.7. Let i = 0.5 - q. Let r = 0 - i. Sort r, -0.1, 1 in descending order.
1, r, -0.1
Suppose -3*r - 2*s = 1, 5*r = s + 6 + 1. Let v be ((-1)/3)/(r/4). Put -3, -2, v in descending order.
v, -2, -3
Let u = 1.4 - 1.6. Let y = 4.7 - -0.3. Put u, -5, y in decreasing order.
y, u, -5
Let r = -0.6 + 0.1. Let l = 12 + -15. Sort r, l, -5 in ascending order.
-5, l, r
Suppose -2*p = n - 1 - 6, -2*n - 34 = -4*p. Suppose p*q - 4 = 2. Sort q, -5, 0 in increasing order.
-5, 0, q
Let l be (-2)/(-81) - 6/(-9). Let t = -2/81 + l. Put 0.4, t, 4 in descending order.
4, t, 0.4
Let l(t) = -t**3 - 5*t**2 - t - 7. Let z be l(-5). Sort -23, 1, z.
-23, z, 1
Suppose -5*m + 25 = 5*h, -2 = -4*m + 5*h - 0. Sort -1, 1, m in ascending order.
-1, 1, m
Let r = 3 - 2. Sort 2/9, -5, -0.5, r in ascending order.
-5, -0.5, 2/9, r
Let p = -14.5 + 10. Let t = -4 - p. Sort t, -1, -2/11 in increasing order.
-1, -2/11, t
Let j(v) = v**2 + 8*v - 5. Let y be j(-9). Let p be (-21)/(-6) + y/8. Sort 0, 3, p in decreasing order.
p, 3, 0
Let q = -4 - -10. Suppose 2*p - 12 = -4*h + 8, 4*h - 4*p - 8 = 0. Suppose -5*y = -f - 5, h*f + 4*y = q*f + 10. Sort 2, 3, f.
f, 2, 3
Suppose -s = -0*s + 2. Let q be (0/2 + -2)/s. Let w = -2 - -2. Sort w, -1, q in increasing order.
-1, w, q
Let y = -8.22 - -0.22. Let x = -7 - y. Sort -0.3, -3, x in decreasing order.
x, -0.3, -3
Let u be 0 - (2 + 2 + -4). Let a be 2/4*u + -1. Put 4, -5, a in decreasing order.
4, a, -5
Suppose h - 4 = -1. Let u(l) = -2*l**2 - 23*l - 26. Let b be u(-10). Put h, b, -4 in descending order.
b, h, -4
Let c be 8/2 - (-2 + -6 + 13). Sort -6, -3, c, 1.
-6, -3, c, 1
Let c be ((-9)/(-30))/(27/(-4)). Sort c, -3, 2.
-3, c, 2
Let l = 87 - 88. Sort -5, 1, 5, l in decreasing order.
5, 1, l, -5
Let m be 3/24*(-6)/(-2). Let w = -12 + 17. Sort w, m, 2/5 in increasing order.
m, 2/5, w
Let j(i) = i**3 + 4*i**2 - 1. Let w be j(-4). Let c be 175/80*4 + (-4)/(-16). Sort 2, w, c in increasing order.
w, 2, c
Let q = 1 - 1. Let a = -10 + 10.12. Let r = 0.18 + a. Put r, q, -1/6 in decreasing order.
r, q, -1/6
Let h = 41 - 39. Let p = -2 - -7. Let a = -63/20 - -11/4. Put h, p, a in increasing order.
a, h, p
Let m be 0*(3 - 1)/(-4). Suppose 3*l - 59 = -5*z - 0*l, l = -2*z + 24. Let b = z - 18. Sort m, b, 2 in ascending order.
b, m, 2
Let t(q) = 113*q - q**3 + 5 + 6*q**2 - 113*q. Let u be -1 + (0 - 1 - -8). Let i be t(u). Sort i, -3, -4.
-4, -3, i
Let a = 586/69 - 180/23. Suppose 0*g - 3*g = 0. Put g, a, -3/2 in increasing order.
-3/2, g, a
Suppose 0 = 9*f - 15*f - 6. Let o = 6 + -2. Sort o, f, -5 in ascending order.
-5, f, o
Let x(z) = -z**3 + 6*z**2 - 6*z + 2. Let u be x(5). Let v be ((-1)/(-2))/(2/16). Let l be (-1)/((-10)/v - -2). Sort -0.2, u, l in decreasing order.
l, -0.2, u
Suppose -6*m - 2 = 46. Sort 1/2, m, 0.3.
m, 0.3, 1/2
Let z(m) = -m**3 - 5*m**2 + 7*m + 10. Let d be z(-6). Suppose -2*i = -7*i - 10. Put d, 5, i in increasing order.
i, d, 5
Suppose n = -2 - 3. Suppose -3*u = z - 8 - 6, 3*z + u - 26 = 0. Suppose z = -7*i + 3*i. Sort -1, i, n in descending order.
-1, i, n
Suppose -19*l + 10*l - 45 = 0. Sort l, 5, 4, 3 in descending order.
5, 4, 3, l
Let g = 38 - 37. Let b = 5.1 + -1.1. Sort -5, b, g in ascending order.
-5, g, b
Let o = 105 + -100. Sort o, 3, 8 in increasing order.
3, o, 8
Suppose -f = 4*z - 8, 3 = f - 1. Put -0.5, z, -1 in ascending order.
-1, -0.5, z
Let k = 40 - 42. Let q = 0.04 - -4.96. Sort -0.5, k, q.
k, -0.5, q
Let p = -0.06 - -1.06. Let v = p + -2. Sort -2, -1/3, v.
-2, v, -1/3
Suppose 3*h - 2*c = 3, h + 18 = 2*h + 5*c. Sort 5, h, -8 in ascending order.
-8, h, 5
Suppose -5*v = -4*x - v + 28, -3*x - 3*v = 9. Suppose 2*j - 1 = -5*p, -4*j + 13 = -j - 4*p. Put -1, j, x in decreasing order.
j, x, -1
Let l = 2/3 + -7/15. Suppose 7 = 2*c - s - 2, -2*s - 3 = c. Suppose 3*r = -9, c*t + 3*r + 12 = -r. Sort -2/7, t, l in increasing order.
-2/7, t, l
Let i = 11 + -21/2. Sort 5, -0.06, i in increasing order.
-0.06, i, 5
Let g(t) = t + 3. Let v be g(-10). Let p = v - -9. Sort p, -2, 3.
-2, p, 3
Suppose l + 5*c - 26 = 0, -5*c = -3*l - 4 - 18. Put 4, -5, l in ascending order.
-5, l, 4
Let p = 1 + 1. Suppose -4*c - 3 + 7 = 0. Let z be c/(((-3)/p)/(-3)). Put -4, -2, z in decreasing order.
z, -2, -4
Let n = -6.9 - -7. Let u = 7 - 10. Sort -1/4, n, u.
u, -1/4, n
Let i be (-2)/8 - (-3 + 2). Let f be (0 - 7/(-14))*1/2. Put i, 0.4, f in descending order.
i, 0.4, f
Let w(k) = k + 10. Let s be w(-6). Suppose 2*b - s = b. Suppose 12 = 3*z - 9*z. Put b, -1, z in ascending order.
z, -1, b
Suppose 2*s = s + 1. Suppose -5*w + 10 = -o + s, 0 = 2*o - 2. Suppose -4*f + 2*x = -0*x + 12, 0 = -f - 3*x - 10. Put -2, w, f in decreasing order.
w, -2, f
Let t = 11 - 8. Let v = -2 + 2.2. Let z = -0.1 - 0. Put v, z, t in ascending order.
z, v, t
Let g = 2.921 - -0.079. Put 5, g, -6/7, 0.5 in descending order.
5, g, 0.5, -6/7
Suppose -2*i + i - 2 = j, -2*i = 5*j + 19. Let s(b) = -b**2 - 6*b. Let v be s(j). Put -3, 3, v in descending order.
v, 3, -3
Suppose -7*r + 5 = -2*r. Suppose -11 = 3*