be k(-9). Put -4, -3, s in decreasing order.
s, -3, -4
Suppose 0 = -3*x - 3. Let z be x*(-3)/42*-2. Sort z, -2/9, 0.1 in ascending order.
-2/9, z, 0.1
Let h(x) = x**2 - 5*x - 8. Let b be h(6). Let k be (1/(-3))/(b/228). Let d be k/90 - (-2)/(-10). Sort -1, -2/3, d.
-1, -2/3, d
Let a be (-74)/340 + 58/493. Put 1, a, -4 in descending order.
1, a, -4
Suppose 5*q = 3*q + 10. Suppose -q*n = -9 + 29. Put -5, -2, n in increasing order.
-5, n, -2
Let l be (10/(-4))/(-1)*3/(-15). Put -3/2, l, 2, -5 in ascending order.
-5, -3/2, l, 2
Let l = -14313/41 - -349. Put 4, -0.1, l in decreasing order.
4, l, -0.1
Let g = -3.9 - -4. Let v = g - 1.1. Put v, -0.3, -0.4 in ascending order.
v, -0.4, -0.3
Let b = 10 + -21/2. Let v = 6 - -2. Let f = -4 + v. Put -1, b, f in increasing order.
-1, b, f
Let m be -2 - 1*(0 + -5). Suppose 4 = -x + m. Sort 1, 5, x in increasing order.
x, 1, 5
Let a = -0.1 + -0.9. Sort 0.03, 0.1, a in increasing order.
a, 0.03, 0.1
Let p = -7 + 15/2. Let r = -7 - -11/2. Sort r, 2, p.
r, p, 2
Let b(c) = -2*c - 3. Let z be b(5). Let r = z + 9. Let d be (6 - 4)/(r/(-6)). Put -0.5, 2/19, d in descending order.
d, 2/19, -0.5
Let j be (1 + 3 + -6)*-1. Let l be (-14)/j - (-7 - -3). Sort l, -1/7, 0 in increasing order.
l, -1/7, 0
Suppose -20 = 4*c, 5*c = s - 11 - 15. Let z be s*4 - (0 - 0). Let a(w) = -16*w + 21. Let q be a(1). Put -1, q, z in descending order.
q, z, -1
Let h = -1.8 + 2.3. Sort h, 4, -0.3 in descending order.
4, h, -0.3
Let v = 4 + -3.5. Let d = -5.5 + v. Sort 1/4, 0.4, d in descending order.
0.4, 1/4, d
Let a = 249 + -3239/13. Sort 2/9, -5/6, a, -4 in decreasing order.
2/9, a, -5/6, -4
Let h(i) = i**3 - 2*i**2 - i - 2. Let k be h(3). Let v be ((-6)/k - -2)*6. Let b be 3 + -3 + (-3 + 2)*2. Sort v, b, -1 in decreasing order.
v, -1, b
Let c(o) = -o**2 - o + 3. Let n be c(0). Suppose 5*i = -0*i + 25. Suppose -4*d + 6 = -5*y, i*y - 14 = d - 2*d. Put y, 0, n in descending order.
n, y, 0
Let l = 4.95 + 0.05. Let x = 8 - l. Put 0.3, x, 0.1 in descending order.
x, 0.3, 0.1
Let w = 7 - 13. Let d be (-2)/(-1) - (-4)/w. Let g = 6/5 - 23/15. Put g, -4, d in ascending order.
-4, g, d
Let z = -185.9 + 186. Suppose -3 = k + 2*k. Put -0.3, k, z in descending order.
z, -0.3, k
Suppose 0 = -4*b + 6*b - 0*b. Let u = -0.4 - 1.6. Sort b, 4, u.
u, b, 4
Let s = 13 - 13.2. Let v = -0.4 - -0.7. Sort v, -5, s in descending order.
v, s, -5
Let z = 6 + -13/2. Let k = 181/5 + 411/20. Let m = 57 - k. Put z, 1, m in decreasing order.
1, m, z
Let a = -2 + 2. Let v = 0.6 - -0.2. Sort v, -3/7, a in descending order.
v, a, -3/7
Let s be ((-10)/(-4))/((-4)/(-8)). Let d be (-2 - (6 - 4)) + 0. Let x be 3 + (1 + 1 - 1). Put s, x, d in ascending order.
d, x, s
Let t(i) = i**3 - i**2 - i - 1. Let a(z) = -2*z**3 - 2. Let h(j) = -a(j) - 3*t(j). Let p be h(4). Let g be -1 - ((-4)/p)/1. Sort -2, 0, g in decreasing order.
g, 0, -2
Let n = 0.5 - -0.5. Let x = -3 + n. Sort x, -2/5, 2/5.
x, -2/5, 2/5
Let t be (-18)/(-4) + (2 - (-9)/(-6)). Sort t, 15, -1 in descending order.
15, t, -1
Let q = 7 - 5. Let x be 3/q + (-4)/(-8). Suppose x*d + 2 = 6. Sort 5, 3, d in ascending order.
d, 3, 5
Let d be (1 - 0/1) + -3 + 1. Let x(m) = m. Let f be x(-2). Let y = f + d. Sort y, 0, -4 in descending order.
0, y, -4
Let w = 0.05 - 5.05. Let m = -78 + 392/5. Sort w, -0.4, m in decreasing order.
m, -0.4, w
Let f(g) = g**3 - 10*g**2 + g - 8. Let y be (1*-1)/((-5)/50). Let l be f(y). Suppose -l*t = -9 - 1. Put t, 0, 2 in descending order.
t, 2, 0
Let n = -117 - -122. Sort -4, -7, n in decreasing order.
n, -4, -7
Suppose -3*u = -4 + 7. Let i be 2/(6/3) - u. Sort -3, -0.1, i in ascending order.
-3, -0.1, i
Suppose -7*x = -12*x - 5. Sort x, 2, -2 in decreasing order.
2, x, -2
Let q = 0.17 + -0.37. Let a = -13 - -29. Suppose 0 = -4*c + 3*b - 0*b - 19, -5*c = 4*b + a. Put q, c, 2 in increasing order.
c, q, 2
Let c = -267/5 + 53. Let g = -2 + 2.2. Sort g, 2/15, c in decreasing order.
g, 2/15, c
Let d = 5 - 2. Suppose 4*v + 5 + d = l, 4*l - 21 = 5*v. Let m(r) = -r**2 + 5*r - 2. Let y be m(5). Put -3, l, y in decreasing order.
l, y, -3
Let k = -5.5 - 0.5. Let h = 6.4 + k. Let j be (0/((-4)/(-2)))/(-2). Put j, -0.5, h in increasing order.
-0.5, j, h
Let g = 285.95 - 295. Let k = g + 9. Put 1/9, 1/10, k in ascending order.
k, 1/10, 1/9
Let o = 7.5 - 5. Let c = -2 + o. Let k = c + 3.5. Put -0.4, 1/3, k in decreasing order.
k, 1/3, -0.4
Let c = -0.23 - -0.13. Let j = 0.1 - c. Suppose k = -1 - 0. Sort -2/11, k, j in descending order.
j, -2/11, k
Let t(p) = p**3 - 2*p**2 - 2*p + 1. Let c be t(2). Sort c, 1/10, -1 in ascending order.
c, -1, 1/10
Let k be 6/(-9)*3/7. Let h = -3.3 + -1.7. Suppose -5*u + 4*v + 0 - 12 = 0, 5*u - 2*v + 6 = 0. Put h, k, u in increasing order.
h, k, u
Let n be ((-3)/(-6))/((-2)/(-20)). Let a = 1 - 0. Let h = a + 2. Put 2/11, h, n in decreasing order.
n, h, 2/11
Let d = 5218583/61304 + -10/7663. Let g = d + -85. Put -0.3, 0.04, g in decreasing order.
g, 0.04, -0.3
Let g(u) be the second derivative of -u**3/6 - 7*u**2/2 + 2*u. Let p be g(-4). Put 3, -1, p in descending order.
3, -1, p
Let c be 2/(-5)*20/(-8). Suppose 6*s - 3*s - 33 = 0. Suppose 0 = 5*w + 5*k - s - 4, 0 = -k + 1. Sort -2, w, c in ascending order.
-2, c, w
Let v be ((-30)/5)/((-3)/(-4)). Let w be -1 + (-2)/(v/6). Put w, -2/13, -5 in decreasing order.
w, -2/13, -5
Let u(b) = b**2 - 4*b - 2. Let o be u(5). Suppose o*s - 3 = -4*v, s = 6*s + 4*v - 13. Put -3, -2, s in increasing order.
-3, -2, s
Suppose -4*n = 4*d - 12, -d + 3 = -6*n + 2*n. Suppose 2*s - d*s = -5. Sort s, -2, 1 in descending order.
s, 1, -2
Suppose -5*g - 74 = -49. Let u(k) = k**2 - 2*k - 3. Let b be u(3). Let z = b - 4. Put g, z, -3 in increasing order.
g, z, -3
Let q be (-8)/(-3)*1/(-12). Suppose -x = -h - 3*h + 12, 0 = 2*h - x - 8. Sort -1/2, h, q in decreasing order.
h, q, -1/2
Let i = 7 + -6.7. Let r = 0.7 + i. Sort -0.2, r, -3 in increasing order.
-3, -0.2, r
Suppose 0 = -b + 5*j - 1, -3*b + j = -4*j + 13. Let c be 1*(b + 3 - -3). Put c, -1, -2 in descending order.
c, -1, -2
Let v be -2 + -2 + 3 + -4. Let i(x) = 0*x**2 + x**2 + 1 - 5*x - 3. Let b be i(5). Sort b, v, 1 in increasing order.
v, b, 1
Suppose 3*w = 2*w - 9. Sort 3, -3, w in increasing order.
w, -3, 3
Let a = -902/21 - -128/3. Let d = -0.81 - 0.29. Let l = -0.6 - d. Put a, l, 0.3 in decreasing order.
l, 0.3, a
Suppose 4*i + 24 = -4*g, -2*g = 2*g - 2*i + 6. Put 4, -5, g in decreasing order.
4, g, -5
Let h = -84 + 83. Let g = 1 + -1. Put h, 1, g in descending order.
1, g, h
Let i = 12.6 - 13. Let n = 4 - 7. Let a = -0.5 + -4.5. Sort i, a, n in increasing order.
a, n, i
Suppose 0 = -3*x + c - 5, 2*x - 5 = 3*x - c. Put -4, x, -0.11 in decreasing order.
x, -0.11, -4
Let q be (-1 + 0)/(-5 - -6). Let h be 3/(-6) - q/18. Put 0, h, 0.3 in descending order.
0.3, 0, h
Let m be (0 - 3/4)/(5/(-120)). Sort m, -2, 1.
-2, 1, m
Let d = 3.1 - 3. Let x = 0.31 - -3.69. Put x, d, -5 in descending order.
x, d, -5
Let v = -0.02 + -0.08. Sort -6/5, 0.2, v in descending order.
0.2, v, -6/5
Suppose -r + 5 = 4. Let j = r + -6. Let c = j - -1. Sort -5, c, -2 in decreasing order.
-2, c, -5
Let w = 76 - 73. Put 4, w, 5, 9 in descending order.
9, 5, 4, w
Let f = 0.94 + -0.44. Let b = -5.3 - -5. Sort f, b, 4 in increasing order.
b, f, 4
Let u be 16/(-12) + (-2)/3. Suppose -z - z = -10. Put u, z, 4 in descending order.
z, 4, u
Suppose b = 2*a + 9, 0*b = 5*b - a - 18. Let i be (25/100)/(-1*14/8). Sort i, 4, b in increasing order.
i, b, 4
Let i = -134 + 137. Sort i, 4, -4 in decreasing order.
4, i, -4
Let d(n) = 2*n. Let f be d(-3). Suppose 5*x = -i - 8, i + 2 = -i - 3*x. Put i, 4, f in ascending order.
f, i, 4
Let g = 0.02 - -4.98. Let l = g + -1. Let c be 1/(-7)*(1 + -5). Sort l, -1/2, c in descending order.
l, c, -1/2
Let j(a) = 3*a - 3. Let c be j(7). Suppose 5*u - f = -c, -2*f + 0*f = -u. Suppose 3 = -2*g + t, 2*t = -5*g - 0*t + 6. Put -2, g, u in decreasing order.
g, -2, u
Let v = 0.11 + -0.04. Let s = v + -0.02. Let h = s - 0.05. Put h, -1/3, -4/5 in decreasing order.
h, -1/3, -4/5
Let p = -35 - -50. Let b = 7 - p. Let w = b - -5. Put -3/8, w, -4 in descending order.
-3/8, w, -4
Let j = -3.2 - -3. Let g = j + 0.4. Put g, 3/2, 0 in ascending order.
0, g, 3/2
Let v be (-2)/33*(-12 - -3). Put -2, v, 3/5 in ascending order.