decreasing order.
m, g, -5
Let t = 50 + -47. Let c = 7 + -1. Let k = 3 - c. Sort k, t, -2 in increasing order.
k, -2, t
Let a be 22/18 - (-4)/(-18). Suppose 2*d - 14*d - 72 = 0. Sort a, d, -0.5 in ascending order.
d, -0.5, a
Let c = 3 - 15/4. Let f = 0 + 0.1. Put f, c, 1 in increasing order.
c, f, 1
Let s = -0.3 - -2.3. Let q = -65 - -63. Sort q, s, -0.1 in descending order.
s, -0.1, q
Let m(x) = -x**2 - 9*x - 10. Let b be m(-8). Put b, 2, -3 in decreasing order.
2, b, -3
Let k = -1 + -4. Let o be 2*(-2)/(-8)*0. Let i be 2/9 + 11/(-9). Put o, i, k in decreasing order.
o, i, k
Let n = 36 + -36. Let v(k) be the first derivative of k**4/4 + 5*k**3/3 + 2*k**2 - k - 2. Let y be v(-4). Put -3, y, n in decreasing order.
n, y, -3
Let a = -0.017 + 0.417. Suppose 30 = 5*s - f, 24 = 3*s + s + 4*f. Sort -5, s, a.
-5, a, s
Let x = 0.1 + 0.3. Let f = 64/341 + -2/341. Sort 1, f, x in increasing order.
f, x, 1
Let h = 7/20 - -3/20. Put h, 0.4, -5/2 in descending order.
h, 0.4, -5/2
Let g be 1 + 0 + (-8)/3. Let l = -12342864/115 - -107330. Let a = -8/23 + l. Sort a, g, 4 in descending order.
4, a, g
Suppose -3*u - 4*q = -32, 23 - 87 = -5*u - 4*q. Suppose -3*l - 14 = 2*z, -2*l - 2*z = 2*l + u. Sort l, 2, 4 in descending order.
4, 2, l
Let h = 1.11 - 0.11. Sort -1, -5, h in decreasing order.
h, -1, -5
Suppose 0 = -5*l + 24 + 1. Put -4, 2, l in ascending order.
-4, 2, l
Let m(b) = -2*b + 2. Let a be m(2). Let w(r) = r - 1. Let h be w(-4). Let z = h - a. Sort z, -5, 0 in decreasing order.
0, z, -5
Let w be (-2 - -4)/(2/7). Let x be 22/140*(-28)/w. Let s = -3/7 - x. Put 5, 4, s in descending order.
5, 4, s
Suppose -3*y = 5*v + 13, 5*v + 1 = -5*y - 14. Let z = 139 + -144. Sort v, 5, z in ascending order.
z, v, 5
Let l = 3.012 - 0.012. Put -6.8, -2/7, l in descending order.
l, -2/7, -6.8
Let r = -1 - 0. Let x be (-9)/6 - 2/(-4). Let o = 4 + x. Sort r, -4, o.
-4, r, o
Let w = -10 - -12. Put 0.5, -5, w in decreasing order.
w, 0.5, -5
Suppose -4*s = -7*s + 15. Put s, 3, -2 in increasing order.
-2, 3, s
Let m be (0 - 1)/((-1)/(-3)). Suppose 0 = 2*y + 5*k - 15, -6 = -5*y - 2*k - 0*k. Let o be 3 + y + 14/(-2). Sort m, o, 0 in descending order.
0, m, o
Let d = 17 - 49/3. Let u be (-239)/3 - (-4)/(-12). Let m = -882/11 - u. Sort d, -1/5, m.
-1/5, m, d
Suppose -4*d = 2 - 6. Let k be ((-325)/52 + 1/4)*1. Sort d, k, 4 in descending order.
4, d, k
Let k = 2/7 + -13/21. Let z = -507/5 - -101. Let p = -3 - -2.5. Sort k, p, z.
p, z, k
Suppose 5*m + t = -16, -3*t + 8 = -5*m - 4. Suppose 3*c + 8 = -5*x - 1, -c + 5 = -x. Let v = c + m. Sort 1, v, -2 in decreasing order.
1, v, -2
Let n = -0.2 - -0.2. Let i(y) = y**2 - 12*y + 1. Let m be i(12). Let u = 127/4 + -32. Put m, u, n in increasing order.
u, n, m
Let o = 2 - 6. Let b = o + 1. Sort 3, b, 1 in increasing order.
b, 1, 3
Suppose -p - 25 = -6*p. Suppose -5 = -p*x, -7*x + 2*x + 9 = 2*f. Put f, -0.3, -0.2 in ascending order.
-0.3, -0.2, f
Let z be 25/4 - (-2)/(-8). Let d be (4/12)/((-2)/z). Let v(l) = l**2 + l - 1. Let j be v(d). Put 2, j, -2 in decreasing order.
2, j, -2
Suppose -2*h + 6 = -0*h + 4*n, -h = -4*n - 15. Let k = 3 - h. Sort -1, -3, k in ascending order.
k, -3, -1
Let w = -0.93 - -1.14. Put w, 1/4, -1/3 in descending order.
1/4, w, -1/3
Let r = -101 + 91. Sort -0.5, r, -3 in ascending order.
r, -3, -0.5
Let g = 24 + -22. Sort -5, 3, g in increasing order.
-5, g, 3
Let b = 10.84 - 11. Let d = 0.06 + b. Put 3/4, d, -4 in increasing order.
-4, d, 3/4
Suppose -5*q = -2*t + 10, t + 2 = q + 7. Let z(f) be the first derivative of f**3/3 - 5*f**2/2 - 4*f - 1. Let p be z(t). Sort -2, p, -3.
p, -3, -2
Let x(o) = -o**2 + 7*o - 1. Let r be x(6). Put -4/5, -1, r in increasing order.
-1, -4/5, r
Let d = 21 - 20. Let o = 0.2 + 0.3. Put -4, d, o in decreasing order.
d, o, -4
Let r(i) be the first derivative of -i**2/2 + 2*i + 1. Let s be r(4). Sort s, 1, 0 in decreasing order.
1, 0, s
Let z = 103 + -106. Let r be (9/6)/((-3)/(-8)). Sort z, 1, r in descending order.
r, 1, z
Let r = -64 + 66. Sort 5, r, -21 in increasing order.
-21, r, 5
Let o(v) = v**3 + 8*v**2 + 7*v - 5. Let j be o(-7). Put j, 5, -1 in ascending order.
j, -1, 5
Let h(b) = -b**3 + 9*b**2 - 13*b - 3. Let w be h(7). Sort -5, w, -2 in ascending order.
-5, -2, w
Let c = 59 + -409/7. Sort 6, c, -2/5, 4.
-2/5, c, 4, 6
Let h be 1/(2 + (-27)/15). Suppose 4*u + 2*l = -3*l - 16, 5*l = -3*u - 17. Sort h, 3, u in increasing order.
u, 3, h
Let z be 22/(-6) - 2/(-3). Let h = z - -4. Let x(r) = -r**3 - 5*r**2 - 6*r - 8. Let q be x(-4). Put -1, q, h in descending order.
h, q, -1
Let c be (2/(-8))/(15/(-36))*-5. Sort c, 5, -2, 3 in decreasing order.
5, 3, -2, c
Let c(q) = q**3 + 12*q**2 + 11*q + 12. Let u be c(-11). Let x = u + -10. Suppose 0 = 3*s + 11 - 2. Put 4, x, s in decreasing order.
4, x, s
Suppose 3*q - 2 = 5*g + 1, g - 9 = -q. Let v = 7 - q. Let p = -4 + 1. Put v, 0, p in descending order.
v, 0, p
Let p = -293/5 + 59. Let q = -9.2 + 6.2. Sort p, q, 1/2 in decreasing order.
1/2, p, q
Let z(h) = h - 14. Let v be z(11). Let f = 3 + 3. Let i be 2/5*(-3)/f. Sort -1/8, v, i in ascending order.
v, i, -1/8
Suppose -1 - 7 = -2*i. Suppose -5*g = a - i, -4 = -2*g - a + 3*a. Sort -2, g, 3 in increasing order.
-2, g, 3
Let l = 0 - -2. Let t(r) = -r**3 + 3*r - 2. Let s be t(2). Suppose 2*g - 2 = 2*h - 8, 0 = -2*g - 6. Sort l, h, s in decreasing order.
l, h, s
Let d = -3 - -4. Let b be (2/d)/(7/(-14)). Put 5, -3, b in decreasing order.
5, -3, b
Suppose 0 = -3*q - 2*c - 3*c + 23, 2*c = -4*q + 12. Let r be 10*q/2*1. Sort r, 0, -5 in ascending order.
-5, 0, r
Let y be -1*(25/15)/((-1)/(-3)). Put y, -4, 3 in increasing order.
y, -4, 3
Suppose 1 = -2*y + 7. Let i be y*-1*(-5)/15. Sort i, -1, -5 in decreasing order.
i, -1, -5
Let u = -11 - -6. Let k = 1 + u. Let p be 26/(-4) - (-3)/2. Put k, -1/6, p in increasing order.
p, k, -1/6
Let q = 108 - 108. Sort 1, q, -5, -2/163 in increasing order.
-5, -2/163, q, 1
Let z = -0.2 - 2.8. Let t = -47 - -48. Sort t, 2, z in ascending order.
z, t, 2
Let v = -0.1 - -0.1. Let j = -0.5 - v. Let k = 0.45 + 0.05. Put 5, k, j in decreasing order.
5, k, j
Let g = 0.04 - 0.04. Let k be 5/(-6) + 3/6. Sort g, 0.1, k in decreasing order.
0.1, g, k
Let n = 2.96 + 0.04. Let l = 1 + n. Let a = -0.6 - -1.6. Sort l, a, -2/11 in decreasing order.
l, a, -2/11
Suppose 5*a = 14 + 1. Suppose -20 = -3*t - g, -g + a*g - 25 = -3*t. Let j be (-23)/t + (-6)/15. Put -4, -1, j in decreasing order.
-1, -4, j
Let t(z) = -z**2 - 5*z + 5. Let n be t(-5). Let q = 11 + -7. Suppose 5*r + 14 = -6. Sort q, r, n in decreasing order.
n, q, r
Suppose 0*o - 12 = -2*o - 4*i, -18 = -4*o - 2*i. Sort -5, o, -4 in decreasing order.
o, -4, -5
Let s = 3.35 - 0.35. Sort s, -2/9, 0.5.
-2/9, 0.5, s
Suppose 0 = -2*p, 3*v + p - 6 = 3. Suppose 15 = -v*b - 0. Sort -4, 9, b in ascending order.
b, -4, 9
Let l(v) = v + 10. Let z be l(-8). Put 6, z, -3 in descending order.
6, z, -3
Let f = 14 + -9. Let u = 0 + 0.5. Sort -3, f, u in decreasing order.
f, u, -3
Let q be 4/(-22) - 240/(-110). Put 0, 1, q in ascending order.
0, 1, q
Let j(w) = -w**2 - 6*w + 4. Let p be j(-6). Put p, -5, 1 in descending order.
p, 1, -5
Let i = 0.2 - -0.08. Let p = i + -1.58. Let z = p + 1. Sort z, 2/9, 0.4 in decreasing order.
0.4, 2/9, z
Let w = -9 - -9. Let v = -2 + w. Sort -3, v, -5 in decreasing order.
v, -3, -5
Suppose -46 = -4*t + 3*q - 0*q, -28 = -2*t + 4*q. Sort 3, t, -4 in ascending order.
-4, 3, t
Let h = 10 + -5. Let v = h + -7. Put -0.5, 0.5, v in ascending order.
v, -0.5, 0.5
Let u = -6 - -7. Let b = -6 + 3. Put u, 5, b in increasing order.
b, u, 5
Let w = -0.4 - -0.8. Sort 2/7, w, 0 in ascending order.
0, 2/7, w
Let g(f) = 6*f**3 + 2*f**2 - f. Let y be g(1). Suppose 4*k = -2*o + 14, 4*k - o - 4*o = 35. Let x = y - k. Put x, 5, 4 in ascending order.
x, 4, 5
Let a = -7 + 3. Let y = 0 + a. Let z = -5 - y. Put 0.5, -3, z in increasing order.
-3, z, 0.5
Let b(r) = -r**3 + 13*r**2 - 14*r + 25. Let j be b(12). Let q = -3 + 5. Sort q, -2/9, j in increasing order.
-2/9, j, q
Suppose 0 = -12*n + 3*n - 45. Sort -57, n, 0 in decreasing order.
0, n, -57
Let u = -5 + 4. Let i be (12/(-5))/(-4)*5. Suppose -i = -3*r + 3. Put r, 1/3, u in decreasing order.
r, 1/3, u
Let c = -10/23 - -37/138. Put 0, -1/8, c in increasing order.
c, -1/8, 0
Le