 -8
Let u be (-3 - -1) + -3*13/(-21). Put 2, -2, u in increasing order.
-2, u, 2
Let q(d) = 2*d + 3. Let i be q(-2). Suppose -k - 5*t - 4 = 0, -3*k = k - 2*t + 38. Sort i, -5, k in increasing order.
k, -5, i
Let n be (-1)/((-2)/4) - -70. Suppose -5*o = -2*o - n. Suppose -o = -4*m - 4. Sort 0.3, -0.4, m in descending order.
m, 0.3, -0.4
Suppose -4*u + 31 = 3*v + 13, -3*u + 1 = -4*v. Sort -3, 4, u.
-3, u, 4
Let k be 2/1 + (-7 - (-2)/2). Let f be (-3)/4 - (-2)/(-8). Put k, -5, f in ascending order.
-5, k, f
Let s = -10 + 14. Sort -1, s, 1 in ascending order.
-1, 1, s
Let d = 231 - 1159/5. Put 0.5, 1/3, 0.4, d in descending order.
0.5, 0.4, 1/3, d
Let g = 3 + -6. Let c = -125 - -872/7. Sort g, c, -4/5.
g, -4/5, c
Let k(m) = -m**3 + 3*m**2 - 2. Let p = 12 - 9. Let t be k(p). Sort 5, 6, t in increasing order.
t, 5, 6
Let g(m) be the first derivative of -m**2/2 - 2. Let l(i) = -4*i + 1. Let b(r) = 7*g(r) - 2*l(r). Let s be b(2). Put 3, s, -4 in descending order.
3, s, -4
Let z = 5.8 - 5. Let g = 0.8 - 0. Let y = g - z. Put y, 2/11, -5 in ascending order.
-5, y, 2/11
Let g be (0 - 0)*1/2. Suppose g*z + 8 = 4*z. Sort 1, 2/5, z in increasing order.
2/5, 1, z
Let y be 8/(-12) + -1 - (-4)/24. Let u = 6.89 + 0.11. Sort 2, y, u in descending order.
u, 2, y
Let r = 9 + -28/3. Let w = -2.1 + 2. Let f = 0.1 - 0.1. Put r, w, f in descending order.
f, w, r
Let o = 5 + 0. Let r(t) = -t + 31. Let v be r(9). Let y be (-99)/v*(-2)/3. Sort -4, o, y in descending order.
o, y, -4
Let g be ((-10)/4)/((-70)/56). Let t = 0.2 + -0.5. Let n = -10 + 5. Sort t, n, g in ascending order.
n, t, g
Let v = 2.8 + -2.7. Sort -3, 2, v in decreasing order.
2, v, -3
Let o = 3.039 - 0.039. Let x = 1.5 - 1. Sort 5, o, x in descending order.
5, o, x
Let a be -3 - (1 - (-9)/(-6)). Let d = -4.4 - 0.6. Put d, -1, a in descending order.
-1, a, d
Let g = 89 + -72. Sort 0.2, g, -0.3 in descending order.
g, 0.2, -0.3
Let v be (-3 - (-1 + 2))/2. Let c = 11 - 17. Let o = c + 5.7. Put -1/4, v, o in ascending order.
v, o, -1/4
Suppose -2*s + 2 = 10. Let b(m) = -m**3 - 6*m**2 - m - 3. Let p be b(-6). Let r = p + -1. Put -1, s, r in increasing order.
s, -1, r
Let l = 42.3 + -42. Sort -1, -7, l in ascending order.
-7, -1, l
Let d = -0.04 - -2.04. Let h = -1 - -2.1. Let u = h - 1. Put d, u, -5 in descending order.
d, u, -5
Let t be 6/8 + 35/(-20). Let q(c) = c**3 + c**2 + 2*c - 2. Let j be q(2). Suppose 4*a + j = 2. Sort t, a, 1 in ascending order.
a, t, 1
Let j(h) = -h**3 - 7*h**2 + 2. Let s be j(-7). Let o be (1 + 3)/(2*-1). Let d be 2/o + (-1 - -7). Put s, d, 3 in increasing order.
s, 3, d
Let f = 25/3 + -181/21. Sort 2/13, f, -0.1 in decreasing order.
2/13, -0.1, f
Let z = 9 + -5. Let s = 5 - z. Put -1/3, s, 0.4 in decreasing order.
s, 0.4, -1/3
Let w be 2/(-9) + (-372)/27. Sort w, 0, 1, 4 in descending order.
4, 1, 0, w
Let l be (3 - 12/3)*2. Let s be -2*(l + 50/28). Put s, -1/2, -2 in ascending order.
-2, -1/2, s
Let r = -0.6 - -4.6. Sort -2, -3, r.
-3, -2, r
Suppose -11*o + 10*o = -3. Suppose 4*d - 7 = -o. Sort -1, d, 3 in decreasing order.
3, d, -1
Suppose c = -2*a + 5, 4*c + 4*a = 6*c - 10. Let x = -2 + -1. Let r = 2.9 + x. Sort 0, r, c.
r, 0, c
Let q(l) = -l**3 + 8*l**2 - l + 4. Let u be q(8). Let n be (-55)/45 + u/(-18). Sort 5, -5, n in descending order.
5, n, -5
Suppose 23 = -3*v - 0*v + 2*h, -v = -2*h + 13. Let x(j) = 5*j**2 - j. Let z be x(1). Put z, v, -2 in descending order.
z, -2, v
Let w = -3.02 - -0.02. Let z = -8 - -16. Let d = 7.6 - z. Sort w, -1, d.
w, -1, d
Let n be ((-5)/4)/((-6)/(-24)). Sort -1, 0, n, 5.
n, -1, 0, 5
Let o(h) = -h**2 - 6*h. Let x be o(-6). Suppose x = -5*j + 2*v + 17, 0*j - 2*j - v = -14. Suppose -5*r + 19 = 44. Put r, 3, j in decreasing order.
j, 3, r
Let r(t) = -t**3 + 5*t**2 - 5*t + 6. Let b be r(4). Let j = 21 - 20. Put j, b, -4 in decreasing order.
b, j, -4
Let z(j) = j**3 - 5*j**2 + 5*j - 3. Let x be z(4). Let t be x/5 - 0/4. Let l = -9/20 + t. Sort 3/7, l, 0.3 in increasing order.
l, 0.3, 3/7
Let u = -3.1 - -3. Suppose 4*g = -g + 20. Suppose 0 = -g*x - 3*d + 4, 0 = -5*x - d - 3*d + 4. Put u, -1/3, x in descending order.
x, u, -1/3
Let g be (2/6)/(2/(-12)). Put 2, -5, g, 59 in decreasing order.
59, 2, g, -5
Let m = -0.3 + -0.2. Let q = -7 - -5. Put -5, q, m in increasing order.
-5, q, m
Let g be (5/2)/(-1) + 1. Let u be -8 + 8 - (-1)/(-1). Let l = -3 + u. Put g, 0.2, l in descending order.
0.2, g, l
Suppose -3*i + 14 = 2. Suppose -y - i*y = -25. Put -1, -3, y in descending order.
y, -1, -3
Suppose 5*l - 2*t - 3*t + 10 = 0, -4*t - 8 = 0. Let f be (14/(-35))/(2/(-20)). Suppose -f*i + w + 4 = 0, -16 = -4*w - 0*w. Put l, i, 4 in ascending order.
l, i, 4
Let o(d) = 2*d**3 + d**2 - d - 1. Let p be o(-1). Let i = -0.37 + 0.77. Sort i, -0.4, p in descending order.
i, -0.4, p
Let k = -4 + 9. Put -1/5, -5, k in decreasing order.
k, -1/5, -5
Let f = -23.6 - -21. Let w = 6.5 + f. Let z = w - 4. Sort 5, z, 5/4 in ascending order.
z, 5/4, 5
Let t = -497/4080 + 1/240. Let i = -2.37 + -0.63. Sort i, t, 0.4 in descending order.
0.4, t, i
Suppose -5*r = 1 - 6. Let i(l) = l**2 - 3*l - 4. Let x be i(4). Let g(p) = p. Let j be g(3). Put x, r, j in decreasing order.
j, r, x
Let m be (-208)/40 + 5 - 18/10. Suppose 0 = -0*y - 3*y - 18. Let v = y - -9. Sort m, -4, v.
-4, m, v
Let u(z) = -z**3 - 6*z**2 + 7*z + 2. Let t be u(-7). Suppose -2*f + 4 = -0. Let y be 1 - -1 - 3 - f. Put y, t, 0 in ascending order.
y, 0, t
Let z = 7 - 6.6. Let w be (-3)/((4/3)/4). Let f be (1 + (2 - 1))/w. Sort z, f, -1 in decreasing order.
z, f, -1
Suppose 20 = -2*f - 2*f. Sort 1/2, f, -0.4 in decreasing order.
1/2, -0.4, f
Let n be -2 - ((-8)/(-4))/2. Sort n, 1, 5, 4 in increasing order.
n, 1, 4, 5
Suppose u - 3 = 4*u. Let n = 11 + -14. Put -5, n, u in ascending order.
-5, n, u
Let o = 0.01 + 0.39. Let j = 12 - 11.7. Sort 0, j, o in decreasing order.
o, j, 0
Suppose -3*w + 29 = -0*w - 2*r, 5*w - 40 = -5*r. Let y = -4 + w. Let z = 0.23 - 0.03. Put y, 1, z in decreasing order.
y, 1, z
Suppose -20 - 10 = -2*m. Suppose t = -4*k - m, 2*t - 2*k - 10 = 10. Put t, -4, 0.02 in increasing order.
-4, 0.02, t
Let w = -1 - -1.25. Let m = 0.65 - w. Put m, -3, -4 in ascending order.
-4, -3, m
Suppose -2*i - i + 20 = 5*z, -3*i = 3*z - 12. Let l = -8 - -12. Let j = 1 - l. Sort z, j, 0.3 in decreasing order.
z, 0.3, j
Let p = 2.5 + -3. Let n = p + 3.5. Let k = n + -3. Sort 1, k, -4 in increasing order.
-4, k, 1
Let q = -1 - -17. Suppose -2*l - a = 1 - 0, -3*l + 2*a + q = 0. Put l, -1, 5 in descending order.
5, l, -1
Let x be ((-3)/2)/((-6)/8). Suppose 0 = 4*h + 2*t - 2, 0*t + 5 = t. Suppose 0 = 2*f + 4*q, -2*q + q = -3*f. Sort x, h, f in ascending order.
h, f, x
Let b = 0.5 + -0.4. Let v = 5 - 7. Put 0.5, b, v in ascending order.
v, b, 0.5
Let k = 0.03 - -0.07. Let i = 3.2 + -0.2. Put k, i, -3 in descending order.
i, k, -3
Let k = 11.7 - 10. Let b = 2.2 - k. Put -1/8, b, -3/2 in descending order.
b, -1/8, -3/2
Let k = 3.06 - 0.06. Let h = k + -2.9. Sort h, -0.3, -0.09.
-0.3, -0.09, h
Let p = -3.8 - -2.2. Let t = p - 2.4. Sort 10, 0, t in descending order.
10, 0, t
Suppose -4*g + 5 = -7. Suppose g = 5*p - 17. Sort 3, p, 1 in ascending order.
1, 3, p
Let a(m) = -m**2 + 7*m - 6. Let y be a(6). Suppose -12 = -y*x + 4*x. Suppose 7*z = f + 2*z - 5, -5*f = -z + 23. Sort x, -2, f.
f, x, -2
Suppose -89*t + 87*t - 10 = 0. Put 16, t, 5, -4 in descending order.
16, 5, -4, t
Suppose 0 = -s + 4*b - 17, -s - 4*b + 14 = s. Suppose 2 = 5*m - u, -4 = 3*m - 2*u - 1. Let v = m - s. Sort -1, v, 0 in descending order.
v, 0, -1
Let f be 1/((-4)/(-6)*3). Let p(c) = -c**2 - 13*c - 32. Let v be p(-9). Put -16, f, v in increasing order.
-16, f, v
Let k(h) = h**3 - 2*h**2 - 2*h - 1. Let n be k(3). Suppose -4*f - 8 = 4. Put f, n, -4 in increasing order.
-4, f, n
Let y = 1.1 + 0.9. Sort -4, y, -5.
-5, -4, y
Let c = 8 - 6. Let p = 3 - c. Put p, -3, -1 in descending order.
p, -1, -3
Let l(y) = -y**3 - y**2 + y. Let i be l(-2). Let z be (-1)/((6/i)/18). Let t = z - -10. Put -1, t, 2 in increasing order.
-1, 2, t
Let l(n) = -2*n + 1. Let y be l(0). Suppose -5*c - 5*h = 4 + 6, 4*h + 16 = 0. Suppose 0 = -q + 2 + 1. Sort c, y, q in descending order.
q, c, y
Suppose 0 = -2*m + 19 - 1. Put 0.4, m, 2/15 in descending order.
m, 0.4, 2/15
Let t(s) = -4*s + 2