t k be f(6). Sort -5, k, s in increasing order.
-5, k, s
Let o be (0/(2/(-1)))/(-1). Let l be 2*(-1)/(-2)*3. Put l, o, 2 in increasing order.
o, 2, l
Suppose 0 = -3*k - 2 + 26. Suppose k = 5*q - q. Sort 5, -5, q.
-5, q, 5
Let f be (6/12)/(10/(-4)). Let h = 1.7 - 1.8. Sort f, 0, h.
f, h, 0
Let y(k) = -2*k**2 - 15*k + 7. Let r(o) = -o**2 - 7*o + 3. Let i(f) = 5*r(f) - 2*y(f). Let d be i(-5). Put -5, 5, d in increasing order.
-5, d, 5
Let h be (-304)/(-627) + 4/(-6). Put -0.4, h, 4, -1/6 in descending order.
4, -1/6, h, -0.4
Suppose -w = 4*a + 22, 0*w = -3*w + 5*a + 19. Put -3, -5, w in increasing order.
-5, -3, w
Let g be -3 - (6/(-9) - 14/(-21)). Sort 3, 0, g, 2 in descending order.
3, 2, 0, g
Let a be 116/(-60) + 2 + 2/(-10). Put 2/23, a, -4, 0.3 in ascending order.
-4, a, 2/23, 0.3
Let a = -6 - -11. Sort a, -3, -6, 1/4 in decreasing order.
a, 1/4, -3, -6
Let z be 108/(-42) + (-8 + 2)/(-3). Put -3, z, -0.2 in ascending order.
-3, z, -0.2
Suppose 5*b = t + 13, -3*t + 2 = -b - 1. Suppose 5*i = -4*r - 3, 2*i - b = -i. Let z = -0.03 - -0.43. Sort r, -1/5, z in ascending order.
r, -1/5, z
Let s be 188/16 - 2/(-8). Suppose -5*t + 8*t = -s. Suppose -4*d = -3*d - 5, 0 = 5*i + 4*d - 25. Put -2, i, t in ascending order.
t, -2, i
Let f = -17 - -20. Put -4, 2, f in descending order.
f, 2, -4
Let h = -2 - -3. Let d = h - 2. Let p = 348 + -4522/13. Put p, d, 4 in ascending order.
d, p, 4
Suppose 6*a = 4*a. Let v be 2 + -47 + (-7 - -4). Let f be v/9 + (-2)/(-6). Put a, -3, f in descending order.
a, -3, f
Suppose -2*z - 3*z - 10 = 0. Suppose 14 - 2 = 3*a. Suppose 2*m = 14 - a. Put 1, z, m in ascending order.
z, 1, m
Let y be 8/12 - (-19)/3. Let f = y - 6. Put -1, -5, f in decreasing order.
f, -1, -5
Let y = 0.2 - 0.1. Let i = y - 0.2. Let m = 1/41 - -37/164. Sort i, -2, m in descending order.
m, i, -2
Suppose 0 = 4*x - 2*x - 2*c + 10, 2*x = -c + 2. Put x, -4, 3, 4 in descending order.
4, 3, x, -4
Let o = 4/31 - -19/93. Sort 4, o, 1/11, -2/7 in descending order.
4, o, 1/11, -2/7
Let x = -0.4 - -0.2. Let t = -1.8 + x. Sort t, 0.4, 0.3.
t, 0.3, 0.4
Let g(w) = w**3 + 5*w**2 - 8*w - 3. Let y(x) = -2*x**3 + 2*x**2 + 2. Let b be y(2). Let c be g(b). Suppose -5*m + 29 = c. Put -1, m, 1 in increasing order.
-1, 1, m
Let x = -0.565 - 0.005. Let c = -0.07 - x. Let v = -41/12 + 11/4. Put v, c, 0 in decreasing order.
c, 0, v
Let c = -1 + 3. Suppose -5*r - c = -4*r. Sort -3, 1/5, r in descending order.
1/5, r, -3
Let p = 0.02 + 0.18. Let g be 1/(1/3) - 1. Let z(d) = -d**3 + 2*d**2 - d - 2. Let m be z(g). Put p, m, 5/2 in descending order.
5/2, p, m
Let f(x) = x**2 - 6*x - 8. Let k be f(7). Sort -7, k, -5 in descending order.
k, -5, -7
Suppose -3*h + 10 = -h. Sort 0, h, 1.
0, 1, h
Let y(x) = -3*x**3 + x**2. Let h be y(1). Let r(p) = -p**2 - 5*p - 11. Let a(w) = w. Let o(n) = 5*a(n) - r(n). Let g be o(-9). Sort 1, g, h in descending order.
g, 1, h
Let l = 102 + -919/9. Sort -1, 0.4, l, -2/5 in ascending order.
-1, -2/5, l, 0.4
Let l = -0.44 - -0.04. Let z = l + 0.5. Let b = -0.3 + -0.1. Sort b, 4, z in ascending order.
b, z, 4
Suppose -2*f - 8 + 0 = 0. Let x = -27 + 42. Suppose -2*q - x = q. Put f, -2, q in increasing order.
q, f, -2
Let r be 6/(-8) - (-1)/(-4). Sort 0, 3, r in descending order.
3, 0, r
Let c = -0.19 + -0.21. Sort -4, c, -1 in increasing order.
-4, -1, c
Suppose -t = -2*t + 2. Let c(o) = o**3 - 3*o**2 - o. Let v be c(3). Put 3, v, t in increasing order.
v, t, 3
Let u be (-3 - -2) + 4/6. Let m = 14 - 19. Sort 1/2, u, m in descending order.
1/2, u, m
Let k be 3/2*(-20)/(-6). Suppose 0*y = k*y + 25. Let j = 10 - 7. Sort 1, j, y in descending order.
j, 1, y
Let l = -10 + 10.24. Let i = -0.14 + l. Put 5, i, -0.3 in decreasing order.
5, i, -0.3
Suppose -4*d = 0, 6*d = 4*l + d + 16. Sort -2/7, l, -5, -2/25 in descending order.
-2/25, -2/7, l, -5
Let g be (0 + -1)/(5*(-2)/(-90)). Sort 2, g, -4, -3 in decreasing order.
2, -3, -4, g
Let u = 4 - 1. Let p be 4 - -1 - (9 + -9). Suppose k + 9 = -2*j, -3*k - 4*j - 26 + p = 0. Sort k, -2/5, u in ascending order.
k, -2/5, u
Suppose 4*g = -4, r - 3*g + 1 = 7. Let p = 8.9 + 0.1. Let o = -12 + p. Put o, -5, r in descending order.
r, o, -5
Let t = 0.3 + 0.2. Let f = 179 - 177. Put t, 1, f in decreasing order.
f, 1, t
Let y = 7/2 - -5. Let n = y + -7. Put -0.05, n, -0.3 in ascending order.
-0.3, -0.05, n
Let q = -5 - 0. Put q, -7, -1, 3 in descending order.
3, -1, q, -7
Let i = -0.002 - 0.098. Sort 3, 0.5, i.
i, 0.5, 3
Let l = 4 + 0. Put 9, l, -1 in increasing order.
-1, l, 9
Let o = -48 - -53. Let g = 3 - 0. Suppose 3*f - 1 = -10, -f - g = -2*h. Sort o, h, -4 in ascending order.
-4, h, o
Let w(z) = -z - 6. Let j be w(-10). Sort -1, j, 24 in ascending order.
-1, j, 24
Let j = 11 - 11. Let m be j + 1 - 28/24. Put 0.1, -1, m in ascending order.
-1, m, 0.1
Suppose -12 = -0*w - 4*w. Sort 4, -3, w.
-3, w, 4
Let i be (-10)/(-2) - (-3 + 0). Let s = i + -12. Sort 4, 0, s in decreasing order.
4, 0, s
Let w be (4/(-6))/(1/3). Let h be (-28)/8 - w/2. Suppose 4 + 10 = 7*q. Put -1, h, q in ascending order.
h, -1, q
Let j(p) = -p**2 - 4*p + 6. Let l be j(-6). Let z = -3 - l. Let q be ((-3)/3)/1 + -2. Put 2, z, q in ascending order.
q, 2, z
Let g = -3 - 2. Let r be ((-10)/(-4))/(12/24). Put g, r, 0.3 in ascending order.
g, 0.3, r
Let l = 2/103 - -305/206. Put 8, l, -2/9 in ascending order.
-2/9, l, 8
Let c(s) = s - 7. Let l be c(10). Suppose -l*a + a = -4. Put 0, a, -1 in ascending order.
-1, 0, a
Let r = -0.535 + 0.035. Sort -1/6, -9, r, -3/4 in decreasing order.
-1/6, r, -3/4, -9
Let u = 3.4 + -3. Let t = 606 + -32116/53. Let d = -100/159 - t. Put u, -3/4, d in increasing order.
-3/4, d, u
Let u be 2 - ((-56)/6)/(26/(-6)). Put 4, 1, 25, u in descending order.
25, 4, 1, u
Let y be 3/2 - 15/6. Suppose -26 - 24 = -2*f. Suppose 0 = 6*h - h + f. Sort h, 1, y in increasing order.
h, y, 1
Let k = 5 + 3. Let f = k + -7. Suppose -3 = -3*t + 3. Put t, f, -3 in decreasing order.
t, f, -3
Let b = 9 - 6. Sort b, -1/5, -2, -2/7 in decreasing order.
b, -1/5, -2/7, -2
Let o be (4 - 3)*3 - 2. Let i be (o/(-2))/((-21)/(-12)). Sort 4/7, 4/5, i in descending order.
4/5, 4/7, i
Suppose 0 = 2*s + 3*r + 15, -r - 5 = -2. Put s, -1, 5 in descending order.
5, -1, s
Let y(s) = s**3 - 3*s + 15*s**2 - 2*s - 3 - 19*s**2 + s. Let h be y(5). Sort 1, h, 4 in decreasing order.
4, h, 1
Let o = 18 - 19. Put o, -0.5, 0.2 in increasing order.
o, -0.5, 0.2
Let p = 2 - 1.3. Let a = p + -0.4. Put 2, -0.3, a in descending order.
2, a, -0.3
Let u be 10/3*(-6)/(-26). Let b = 113/130 - u. Sort b, -3, 1/6 in descending order.
1/6, b, -3
Suppose -2*o + 7*o - 41 = -4*a, -o + a + 1 = 0. Suppose 2*i + 25 = o*w, -2*i - 20 = -i - 5*w. Put -2, i, -4 in increasing order.
i, -4, -2
Let w = -25 + 21. Let m(x) = -x**2 + 6*x - 6. Let h be m(6). Let s be (h/(-3))/((-2)/3). Sort w, s, 1.
w, s, 1
Let t = -0.04 + -0.66. Let j = t - -0.8. Sort 3/5, -1/2, j.
-1/2, j, 3/5
Let f = 2 + -4. Let h = 0 - f. Sort -3/8, h, -3/4.
-3/4, -3/8, h
Let v = -2.7 - -3. Let p = -0.1 + v. Let x be 3*((-2)/(-3))/2. Sort -5, x, p in descending order.
x, p, -5
Suppose 0 = 2*n - 1 - 5. Suppose -4*p + 8*j = n*j + 10, 0 = -4*p - 3*j - 26. Put -2, p, -3 in descending order.
-2, -3, p
Let a be (-5)/(-270)*2*2. Sort 2/13, a, 0 in descending order.
2/13, a, 0
Suppose h + 12 = 3*h. Let y = 4 - h. Let m = 0 + -1. Sort 5, y, m.
y, m, 5
Let a = 4 + -3.9. Let x = 0.3 + a. Let m = -0.4 - -0.9. Sort x, m, 3 in decreasing order.
3, m, x
Let s = 0.53 - 0.4. Let k = 458.87 - 454. Let w = k + s. Sort w, -3/5, -3/4 in descending order.
w, -3/5, -3/4
Let u = 4 - -1. Suppose 2*h = 2*k + 4, -15 = -0*k + 3*k. Put u, h, 1 in decreasing order.
u, 1, h
Let s = -82 - -82. Put s, -4, -2, -7 in decreasing order.
s, -2, -4, -7
Let g = -316/1503 - 2/167. Suppose 0 = -3*r - 3*r. Sort r, -0.3, g in ascending order.
-0.3, g, r
Let m be 81/(-63) - 4/(-14). Sort 0, 2, 4, m.
m, 0, 2, 4
Let c(o) = o**3 + 13*o**2 + 13*o + 13. Let g be c(-12). Let f be 1/((g/(-5))/1). Sort -0.5, f, 2.
f, -0.5, 2
Let o be (9/(-6))/((-6)/(-16)). Let m be 3/((-1)/o*6). Put 5, m, 0 in decreasing order.
5, m, 0
Let f = 11.6 - 6.6. Sort -5, 3/8, f in decreasing order.
f, 3/8, -5
Let n be -15 + 16 + 7/(-6). Let t = 0.02 + -0.42. Put 2, n, t in descending order.
2, n, t
Let k = 0 + 1.