k(1). Suppose -2*o + x = o. Let b = 6 - o. Sort -4, b, 5.
-4, b, 5
Let w = -9.2 + -0.8. Let s = -6 + 12. Let z = s + w. Sort 5, z, 4 in ascending order.
z, 4, 5
Let h be -4 - (4 - (2 + 4)). Put h, -4, -5 in increasing order.
-5, -4, h
Let s = 0.03 - 0.43. Let m = 3.1 + -3. Sort -2, m, s in increasing order.
-2, s, m
Suppose 2*v = -5*z + 6*v + 1, -z = -2*v + 1. Put -1, z, -4 in decreasing order.
z, -1, -4
Suppose -h = 4*l + 14, -2*l + 0*h = -3*h. Put 10, l, -1 in decreasing order.
10, -1, l
Let j be 21/(-6) + 9/(-6) + 2. Put 1, -5, -4, j in descending order.
1, j, -4, -5
Suppose 5 = 2*l - 5. Sort l, 0.6, 3.
0.6, 3, l
Let q = 20 + -22. Suppose -3*l = 3*d + 45, -d - 3*l - 2*l - 27 = 0. Let r be (8/d)/((-1)/3). Sort r, -3, q in descending order.
r, q, -3
Suppose -15 = -5*q, v + 3*v - 5*q + 7 = 0. Put 1, v, 7 in descending order.
7, v, 1
Let k be -2 + -2 + 3 + 0. Put k, 5, 2 in ascending order.
k, 2, 5
Suppose 3*f = 4*j + 10, 5*f + 2*j - 9 = j. Let s = 8 + -13. Put 3, f, s in increasing order.
s, f, 3
Let w = -2 + -1. Let v = w + 4. Put 0.2, -2/5, v in descending order.
v, 0.2, -2/5
Let d = -5 + 4. Suppose 0 = 2*j + 17 - 3. Let i = j + 2. Sort i, -4, d in decreasing order.
d, -4, i
Let y be (2/6)/(-5 - -6). Sort -1/5, y, -2 in decreasing order.
y, -1/5, -2
Suppose 2*t + t - 12 = 0. Let q(n) = -n**2 + 4*n + 3. Let m be q(t). Sort m, -1, 5.
-1, m, 5
Let x = -5 + 10. Suppose -m + 6*m = -5. Let o be ((-2)/2)/(m/3). Put 1, x, o in ascending order.
1, o, x
Let t be ((-1)/4)/(1/(-4)). Suppose -4 + t = 3*x. Sort -3, x, 0 in descending order.
0, x, -3
Suppose 0 = 11*c - 12*c + 7. Sort 1, -3, c.
-3, 1, c
Suppose 0 = 2*u - 3*r - r - 10, 4*r + 19 = -u. Let v be 3/1 - 14/5. Put v, u, 2 in ascending order.
u, v, 2
Suppose -30 + 2 = -2*b. Suppose -4*s + 12 = -5*v, 5*v = 3*s - 0*s - b. Sort -3, 0, s.
-3, s, 0
Let a = 5 + -5.1. Sort a, 0.1, 0.4 in ascending order.
a, 0.1, 0.4
Let p = -4 + -10. Let a = -100/7 - p. Suppose -3*y - 2 = -2*y + 3*j, -4*j + 4 = 3*y. Sort a, y, 1 in decreasing order.
y, 1, a
Let g = -18 - -36. Let r be 3*3/g*6. Sort -1, r, 5 in increasing order.
-1, r, 5
Let u = 6 + -9. Let h(s) = -s**3 - 2*s**2 - s - 2. Let r be h(-2). Sort r, u, -5.
-5, u, r
Suppose 3*t + 16 = -29. Let c be (1/3)/(5/t). Put 2, -4, c in increasing order.
-4, c, 2
Let z be -3*(-3 + 4 + -2). Sort 5, -5, z in increasing order.
-5, z, 5
Suppose 5*s = -5*s + 170. Sort -4, -5, s.
-5, -4, s
Let s = 1 + 0. Let b = -17 - -25. Let r = 7.7 - b. Put 0.3, s, r in decreasing order.
s, 0.3, r
Let h = 63 - 67. Sort h, 2, 5 in ascending order.
h, 2, 5
Let n = 0.124 + -3.094. Let c = n + -0.03. Let u = -6 - c. Put 4, u, -4 in ascending order.
-4, u, 4
Suppose -4*v + 4 = 4*i - 24, 0 = -5*v - 4*i + 33. Sort -4, v, 0, 2 in decreasing order.
v, 2, 0, -4
Let t be -2 + 3 + (-2)/3. Let m = -0.08 + 4.08. Put 1/2, t, m in ascending order.
t, 1/2, m
Let i be 114/22 - 2/11. Put i, -7, 1 in decreasing order.
i, 1, -7
Let p = 0.14 - -0.06. Sort -1/11, p, -4.
-4, -1/11, p
Let f(m) = -5*m**3 + 3*m**2 - 5*m - 5. Let u(q) = -q**3 + q**2 - q - 1. Let k(p) = f(p) - 6*u(p). Let r be k(3). Put r, 2, -4 in increasing order.
-4, 2, r
Let f(x) = x**3 + x**2 - 21*x - 5. Let d be f(-5). Put 1/17, -1/3, d, 3/7 in descending order.
3/7, 1/17, d, -1/3
Suppose 3*i + i - 11 = y, i - y = 5. Suppose 0 = -3*h + b + 22, -4*b = -i*h - b + 24. Let z = h + -5. Sort 0, z, -2 in descending order.
z, 0, -2
Let w be (2 - (1 + -1)) + -5. Let z = -24 + 20. Put z, 1, w in ascending order.
z, w, 1
Let u = 34 + -34. Sort u, -2, -0.1 in ascending order.
-2, -0.1, u
Let p(x) = -x**3 - 7*x**2 - 7*x - 3. Let i be p(-6). Suppose b + 18 = 5*h, 0 = 3*h - i - 9. Let k = 1 - 4. Sort k, b, -0.1.
k, -0.1, b
Let l = -33 + 30. Let b be 1 + (l/3 - -1). Put 0, b, -3 in decreasing order.
b, 0, -3
Let f = -4.35 - -0.35. Sort 1/18, f, 0.3 in increasing order.
f, 1/18, 0.3
Suppose w + 4 = 0, -5*t + 0 = 3*w - 3. Suppose -g = -4*r - 2*g - 9, -4*r = -2*g + 18. Put t, 0, r in decreasing order.
t, 0, r
Let k(t) = 2*t - 1. Let q be k(-1). Let p(g) = g**3 + 10*g**2 + 9*g + 5. Let c be p(-9). Let n = c + 0. Sort q, n, -5 in decreasing order.
n, q, -5
Let z be (-3 + 1)*1/3. Sort 0, z, -0.5.
z, -0.5, 0
Suppose v - 11 = -4*v + 3*m, -7 = v + 4*m. Sort v, 5, -1 in decreasing order.
5, v, -1
Let d = 7 - 12.4. Let h = d + 0.4. Let j = 4 + -6. Sort h, 0.4, j.
h, j, 0.4
Let j be -9 - ((-8)/2)/4. Let r be j*(20/(-16) - -2). Sort -2, r, 0 in descending order.
0, -2, r
Let s(c) = c**3 - 12*c**2 + 2*c - 25. Let p be s(12). Put 0.2, 16, p in ascending order.
p, 0.2, 16
Suppose 87 = 5*b + 92. Put 3, 6, b in increasing order.
b, 3, 6
Let z = -9 - -10. Suppose -p + z = -2. Sort 2, p, -1 in increasing order.
-1, 2, p
Suppose -3*o = 2*x - 1, 4*x = -2*o - 4 + 18. Let w be (-2)/(2*9/18). Sort o, w, -5 in increasing order.
-5, o, w
Let s = -1 + 4. Let t = -8 + s. Let j = 6.5 + -7. Put j, t, -2 in descending order.
j, -2, t
Let c = 3.145 - 0.145. Put -2/11, -0.4, c in ascending order.
-0.4, -2/11, c
Let c = -0.3 - -0.1. Let x be 1/(2 - 7/3). Let f be (-3*1/x)/(-3). Put f, c, -5 in ascending order.
-5, f, c
Let j = -1 - -1.5. Put -4, 3, j in descending order.
3, j, -4
Suppose 0 = -6*c + 5*c + 1. Sort -2, c, 0.
-2, 0, c
Let p = 16 + -15. Sort 4, p, 0.1.
0.1, p, 4
Let i = 1.11 - 1.2. Let l = -0.19 - i. Put -3/11, l, -5 in ascending order.
-5, -3/11, l
Let a be (2 + 0 - 3)*-7. Suppose 40 - a = 5*m + 2*r, 3*r = -4*m + 32. Sort -4, m, 3 in ascending order.
-4, 3, m
Suppose -5*k = -h - 9, -5*h + 2*k - 31 = -9. Sort h, 3, 5.
h, 3, 5
Let a be 1*(-3 - 1) - -2. Let o(g) = 0*g + 3 + 0*g + 3*g. Let j be o(a). Put 0, 1, j in descending order.
1, 0, j
Let z = -9265/27 + 343. Sort -4/3, z, -1, -4.
-4, -4/3, -1, z
Let g = 3 - 3.3. Let z = -11 - -11.3. Sort -1, z, g in increasing order.
-1, g, z
Let y = -0.7 + 1. Let v = -0.5 + 0.3. Sort v, y, -0.5 in descending order.
y, v, -0.5
Let f be 6*(-4)/(-18)*(5 - 8). Sort -7, -5, f in descending order.
f, -5, -7
Let o = 10 - 9.7. Suppose -4 = w - 9. Sort w, o, 0.1 in increasing order.
0.1, o, w
Let g = -11 - -8. Let a = 0.28 - 0.28. Let o(w) = w**2 - 4*w - 7. Let q be o(6). Sort a, q, g in descending order.
q, a, g
Let r = -13/3 - -43/9. Put -1, -5, 0, r in decreasing order.
r, 0, -1, -5
Let q be (-4)/(2/(-2 - -3)). Let i(s) = -s**2 - 6*s. Let p be i(-5). Sort q, p, -5 in ascending order.
-5, q, p
Let z = 1 - 4. Let g(c) = c**3 - 8*c**2 + 7*c + 1. Let k be g(7). Suppose -u + 3*p = -2*p - 4, 5*u + p + 6 = 0. Put z, k, u in decreasing order.
k, u, z
Let q = 0.37 - 0.4. Let p = -3.03 - q. Let y = -1.4 - 0.6. Sort y, -4, p in decreasing order.
y, p, -4
Let u = -2 - -2. Sort u, -4, -7.
-7, -4, u
Let l = -0.07 + 3.07. Let b = l - 5. Let p = 3 - b. Put p, 3/7, 2/3 in descending order.
p, 2/3, 3/7
Suppose -4*f - 7 = 3*k - 6*f, -3*k + 5*f - 13 = 0. Let c(p) = -2*p - 31. Let o be c(-13). Put o, k, -3 in descending order.
k, -3, o
Let l = -42 - -40. Put l, 2/7, -5 in ascending order.
-5, l, 2/7
Suppose 3*q = 5*t + 13, -t - 1 - 2 = -q. Let v be (t/(-3))/(15/9). Let j = -1/90 - 167/1170. Put v, j, -2 in decreasing order.
v, j, -2
Let j be 12*8/21 + (-3)/(-7). Sort -2, j, -4, 2 in descending order.
j, 2, -2, -4
Let x(h) = -h**3 - 6*h**2 + 6*h - 9. Let a be x(-7). Suppose -c = -6*c + 3*q - 45, -5*q = -3*c - 43. Let y be (-13)/3 + (-2)/c. Sort 0, a, y.
y, a, 0
Suppose 0 = 4*z - z + 33. Let t = -15 - z. Suppose y + 3*o = 2*o, 0 = -y + 5*o + 24. Sort 1, t, y in decreasing order.
y, 1, t
Suppose 4*t = -4 + 16. Let n = t - 8. Sort n, -1, -4 in ascending order.
n, -4, -1
Let f be (-24)/(-9) - (-2 - (1 + -6)). Sort 4/5, f, 0.
f, 0, 4/5
Let a = -181/6 + 30. Sort 5/2, 1/3, a in descending order.
5/2, 1/3, a
Suppose 4*s + 2 = 4*j - 3*j, 2*j + 9 = -5*s. Put 0, s, 5, -5 in ascending order.
-5, s, 0, 5
Let f(a) = a + 1. Let n be f(-1). Let p(w) = -w**2 - w - 4. Let m be p(0). Let x = 0 - m. Sort n, x, 2.
n, 2, x
Let x be 0*2/(-6) - (-4 - -1). Suppose -5*v + 2*y = 2, -5*y = 16 + 4. Sort -3, v, x in descending order.
x, v, -3
Let d(i) = 3*i - 9. Let w(f) = -16*f + 46. Let p(a) = 11*d(a) + 2*w(a). Let h be p(11). Put h, 12, -5 in increasing order.
-5, h, 12
Let f be (-10)/(-4)*(-20)/10. Put 2/15, f, -1/4 in descending order.
2/15, -1/4, f
Let u(v) = v**3 + 4*v**2 - 3*v + 12. Let i be 