/(4/5). Sort 5, -1, o in decreasing order.
5, o, -1
Let x = -2 + 1. Let b be 0*(-2)/(-8)*-2. Suppose -8*g + 3*g = b. Put g, x, 5 in increasing order.
x, g, 5
Let c(y) = y**2 + 13*y + 7. Suppose 0 = 3*v - 2*v + 12. Let w be c(v). Let t = -2 - -3. Sort t, w, 5.
w, t, 5
Let z = -121/3 + 40. Let t = -8 + 10. Let u = -5 + t. Sort u, 2/9, z in decreasing order.
2/9, z, u
Suppose -8*g = -5*g. Let n be -1*(0 - g)*1. Sort -4, -3, n.
-4, -3, n
Suppose 4*b - j + 4 - 1 = 0, -4*j - 5 = b. Let h(d) = -d - 14. Let u be h(-11). Let x be 22/4 - (-1)/(-2). Put u, x, b in decreasing order.
x, b, u
Suppose t + 7 + 3 = 3*c, -4*c + 2*t = -14. Suppose -2*l + 5*j - 23 = 0, c*l + 4*j = -0*l + 23. Sort -4, l, -3 in decreasing order.
l, -3, -4
Let f be 2/7 - 19/(-7). Let b(p) = -2*p - 20. Let d be b(-9). Let i(n) = n**3 - 4*n**2 - 3*n - 8. Let z be i(5). Put z, d, f in decreasing order.
f, z, d
Let j be 4/(-10) + 56/(-10). Sort j, -3, 4/3, 4 in increasing order.
j, -3, 4/3, 4
Let i = 1 + 2. Let x = i + -4. Let b = -0.02 + 0.12. Put b, x, 1 in ascending order.
x, b, 1
Let t = -1 + 2. Let k be (105/(-14))/(1/(-2)). Let z be ((-18)/k)/(1 + -3). Put z, -2/23, t in decreasing order.
t, z, -2/23
Let y = -2.4 - -4.4. Put -4/5, y, -1 in descending order.
y, -4/5, -1
Let y be 18/9 - (0 - 0). Suppose 4*j + v - 3 = 0, -y*v - v = j + 13. Put j, -4, 4 in ascending order.
-4, j, 4
Suppose 6 - 62 = 8*m. Sort m, -4, -3 in ascending order.
m, -4, -3
Let p(t) = t**2 - t + 3. Let q be p(0). Let c(x) = 2*x - 7. Let a be c(q). Sort 2, a, -3.
-3, a, 2
Let c = -39 + 22. Sort c, -5, -3.
c, -5, -3
Suppose -6*t = -8*t + 8. Let q = 16 + -11. Put 1, q, t in ascending order.
1, t, q
Let n = 2 + -1. Put n, -2, 5 in decreasing order.
5, n, -2
Let u be ((-12)/75)/((-24)/(-20)). Put -3, u, 2/5 in decreasing order.
2/5, u, -3
Let w(c) = -c. Let z be w(-2). Suppose -b = -z - 2. Let l be ((-9)/12)/((-1)/b). Sort l, 0.3, 2/9 in decreasing order.
l, 0.3, 2/9
Suppose -2*b + 19 = 5*r - 9, 0 = 3*r - 12. Put b, -3, -1 in increasing order.
-3, -1, b
Suppose 4*i - 1 = -g + 11, g - 9 = -3*i. Suppose -7*o = o. Sort i, o, -0.04.
-0.04, o, i
Let j(o) = 2*o**2 + o + 1. Let l be j(-1). Suppose -3*v = 3*f - 0*v - 9, f = l*v. Put f, 5, -3 in ascending order.
-3, f, 5
Let v = 2389/14 - 1188/7. Let q = 10/7 - v. Sort -0.1, q, -2 in decreasing order.
q, -0.1, -2
Let d = 3 + -2. Let b = 0.1 + -1.1. Sort b, 2/3, d.
b, 2/3, d
Let n = -4.24 + 0.24. Put 0.1, 1/7, n in increasing order.
n, 0.1, 1/7
Let y be (2/8)/((-1)/(-4)). Suppose 0 = -4*s + b + 18, -4*b - 26 - 2 = -5*s. Sort y, s, -2.
-2, y, s
Let u be (-1 - (0 + 0)) + 3. Suppose u*t + 10 = -0*t. Let i be 1 + -5 - (5 + -7). Sort -3, i, t in increasing order.
t, -3, i
Let o(b) = 2*b + 9. Let t be o(-7). Let f be -1*((-48)/28)/(-4). Sort f, t, -1 in descending order.
f, -1, t
Suppose -5*g + 3*g = -2. Sort 0, g, -5, 2.
-5, 0, g, 2
Suppose -2*a + 24 = 5*p, 2*p - 4*a - 18 = -9*a. Suppose 0 = -2*s - 0*s. Put p, s, -2 in ascending order.
-2, s, p
Let h = 73.7 + -78. Let i = 0.3 + h. Let z = i - -5. Sort -2, z, 0.2.
-2, 0.2, z
Let z be (-4)/4 - (-158)/18. Let l = 892/117 - z. Put l, 3, -1/5 in ascending order.
-1/5, l, 3
Let j = -5.4 + 5.2. Sort -3, j, -2/13 in decreasing order.
-2/13, j, -3
Let d be (-2)/(-4) + 5/2. Let w(n) = 3 - d*n**2 + 9*n - 7 - 5*n**2 - n**3. Let r be w(-9). Sort -3, -1, r in ascending order.
r, -3, -1
Suppose -4*p + 23 = 3*y, 39 = 3*y + 5*p + 11. Sort -2, y, 4, -4.
-4, -2, y, 4
Let v = 0.1 - 0. Let n = -14 + 14. Sort n, 5, v.
n, v, 5
Let g(j) = -j**2 + 3*j + 4. Let s be g(4). Put s, 5, -2 in descending order.
5, s, -2
Let c be 0/(-6) - (-33 - 2). Suppose 0 = -5*f - 4*n - c, -2*f + 5*n = -14 - 5. Sort -5, 1, f in ascending order.
-5, f, 1
Let d be (-18)/(-30) + 17/5. Let a be (-2)/d + (-12)/(-8). Sort -3, 2, a in descending order.
2, a, -3
Let h = 9 - 4. Suppose u + 9 = 4*u. Let y be ((-2)/(-3))/((-5)/u). Sort h, y, 0.
y, 0, h
Suppose 62*t = 29*t - 165. Let h = 0 - -1. Put t, 14, h in decreasing order.
14, h, t
Let t = 199 - 198.7. Put t, 0.4, 2/13, -3 in decreasing order.
0.4, t, 2/13, -3
Let b be (4/(-6))/(4/6). Suppose -y + 4*y = 0. Sort -5, y, b.
-5, b, y
Let g = 0.45 - 18.45. Let c = 17 + g. Sort -1/4, 1/4, c in decreasing order.
1/4, -1/4, c
Suppose 2*c - 11*x + 8*x = -3, 4*c = 3*x - 9. Sort -11, 5, c, -5 in decreasing order.
5, c, -5, -11
Suppose 3*u = 5*u. Suppose d = -3*j - 8, u*j - 23 = 5*d - 2*j. Let a(w) = -w**2 - 5*w - 1. Let l be a(-4). Put d, 5, l in decreasing order.
5, l, d
Let l be ((-4)/(-6))/((-1)/3). Suppose -z + 7 = -f, f - 18 + 1 = -5*z. Sort l, z, 3 in decreasing order.
z, 3, l
Let z(u) = u**3 + u + 4. Suppose 4*v - 3 = -i + 10, 5*v + i = 16. Let o be (v - 3)/(-1 - -3). Let y be z(o). Sort -5, 1, y.
-5, 1, y
Let g = -36.66 - -37. Let w = g + 0.1. Let s = -0.06 - w. Sort -4, 0.1, s in increasing order.
-4, s, 0.1
Let m = 0.17 - -2.73. Let i = -2.1 - m. Put 1, -1, i in descending order.
1, -1, i
Let y = 11 + -11. Suppose 3*l = -5*i + 12 - 5, y = -4*l - i - 2. Put 4, l, -3 in increasing order.
-3, l, 4
Let b be 4/20 + (-120)/(-25). Let u(v) = -2*v - 8. Let r be u(-6). Put 1, b, r in decreasing order.
b, r, 1
Let p = 20 - 12. Let t be (-5)/(-20) - (-22)/p. Let w = 2 + -6. Sort w, t, 2 in increasing order.
w, 2, t
Suppose -2*z + 2 = -2. Suppose -4*l + z - 14 = 0. Put -1, l, -5 in increasing order.
-5, l, -1
Let j(t) = -2*t. Let b be j(2). Let f(m) = -m**3 + 3*m**2 - m. Let w be f(2). Suppose 0 = -6*p - w*p - 8. Sort b, p, -2 in ascending order.
b, -2, p
Let y be 69/(-12) + (-3)/(-4). Let f be (-6 - -1) + (-3)/(-3). Put f, y, 0 in decreasing order.
0, f, y
Let w be ((-8)/3 + 1)*3. Let x(v) = v**2 - v + 5. Let a be x(0). Suppose -5*s + 0*s - 7 = -b, 5 = a*b + 5*s. Sort 5, w, b.
w, b, 5
Let v = -26 + 44. Let j = 16 - v. Sort -1/2, j, -1 in ascending order.
j, -1, -1/2
Let t be (-8)/(-10)*(-3 + 8). Let m be (0 - -2 - (-4 - -5)) + -1. Put 1, t, m in ascending order.
m, 1, t
Let o = -18 - -14. Let h = 53/15 - 21/5. Sort h, o, -2 in ascending order.
o, -2, h
Let m(v) = 2*v + 20. Let f be m(-13). Sort -2, -1, f in descending order.
-1, -2, f
Let z(b) = -b**3 - 5*b**2 - 7*b - 4. Let w be z(-3). Put w, 3, -6 in increasing order.
-6, w, 3
Let j = 69 - 67. Let t be ((-1)/5)/((-6)/(-4)). Sort t, -3, j in descending order.
j, t, -3
Let r(h) = -h**3 + h**2 + 3*h - 2. Let q be r(2). Suppose 0 = -y - 1 - 2, -i - 5*y - 18 = 0. Sort i, q, -5 in ascending order.
-5, i, q
Let r be -1 - (33/(-15) + 2). Let q = -11 - -10.6. Sort -2, q, r.
-2, r, q
Let q = -25 - -26. Put q, 32, 1/2 in descending order.
32, q, 1/2
Let h = -23 - -9. Put h, -5, 3 in decreasing order.
3, -5, h
Let t be (-1)/9 + (-104)/36. Put 3, -5, t in decreasing order.
3, t, -5
Let q = -22 + 21. Put -0.3, q, 2/5 in descending order.
2/5, -0.3, q
Let v = -54 - -91. Suppose v = -4*z + 29. Put -3, z, -3/2 in descending order.
-3/2, z, -3
Let a be 20/(-25)*5/1. Put -5, a, -1 in decreasing order.
-1, a, -5
Let m = -11 + 15. Put -7/2, m, 0.4 in descending order.
m, 0.4, -7/2
Let k be 52/(-78) - (-10)/6. Sort k, 2, 3, -3 in increasing order.
-3, k, 2, 3
Let g be 31/4 + (-2)/(-8). Let v be 2/5 - g/20. Suppose -5*d + 2*x + 31 = 4*x, 4*d - 5*x - 5 = v. Sort d, 0.3, -1 in decreasing order.
d, 0.3, -1
Let p(a) = a - 5. Let w be p(10). Suppose 5*n = 3*n - 3*x - 23, 6 = -4*n + 2*x. Let l = 206 + -208. Sort n, w, l.
n, l, w
Let a = -0.9 + 1. Let l = 30.2 + -29.2. Put a, 4, l in ascending order.
a, l, 4
Suppose 0 = -6*c - 51 - 51. Put 1, c, -1, 0 in increasing order.
c, -1, 0, 1
Let a be -1 + (11 + -12 - 12/(-7)). Let r = -53/4 - -13. Sort a, r, -1/2.
-1/2, a, r
Let t = 5 + -5.3. Sort t, -0.4, 2/7.
-0.4, t, 2/7
Let l = -0.1 - -0.3. Let r = -18 - -13. Let p be (-2)/r*(0 + 10). Sort p, -4, l in decreasing order.
p, l, -4
Let c = -4.8 - 0.2. Let d = 3 + c. Put -2/5, -0.2, d in decreasing order.
-0.2, -2/5, d
Let m be (-3 + 5)*4/(-2). Suppose 4*i - 7 - 5 = 0. Sort -3, i, m in descending order.
i, -3, m
Let d = -57 + 54. Suppose 4 = -4*k - 4. Put 4, k, d in increasing order.
d, k, 4
Let u = 5 + -4. Let q = -2 + u. Suppose -k + x = 5*x - 23, 2*k + 4 = 2*x. Sort q, k, 5 in ascending order.
q, k, 5
Let n = 3 + -4. Sort n, -2/7, -1/6 in descending order.
-1/6, -2/7, n
Suppose -4*v - 40 = -5*j, -6*j + 3*j - 3*v - 3 = 0. 