 2*t + 1. Let x be f(2). Sort -5, x, -3 in increasing order.
-5, -3, x
Let a(h) = h**3 + 2*h**2 - h + 1. Let k be a(1). Sort -1, 5, k in decreasing order.
5, k, -1
Let j = 51/2 + -353/14. Let t = 332/287 - 24/41. Put j, 0.01, t in decreasing order.
t, j, 0.01
Let c(m) = m + 2. Suppose 13*x - 16*x = 18. Let s be c(x). Put s, -2, -5 in decreasing order.
-2, s, -5
Let z = -48 - -50. Sort -0.01, 0.5, z in descending order.
z, 0.5, -0.01
Let y = -16 + 22. Suppose -3*p + y*k = 2*k + 26, -p + 4*k - 22 = 0. Let f be 7/5 + 4/(-10). Sort p, f, 0 in descending order.
f, 0, p
Let p(j) = -j**3 - j**2 + 3*j + 6. Let g be p(-4). Let l be (9/g)/(6/(-8)). Suppose 2*v = 1 - 3. Sort v, -2, l in increasing order.
-2, v, l
Let g(d) = 14*d - 68. Let j be g(5). Sort 3, 23, j in increasing order.
j, 3, 23
Let c = 2 - 6.1. Let m = c - -0.1. Put -0.1, -1, m in decreasing order.
-0.1, -1, m
Let k be (-4)/6 - (-24)/18. Put -1, k, -4 in decreasing order.
k, -1, -4
Let j(z) = 8 - 7 + 8*z**2 - 2*z**2 + z**3. Let a be j(-6). Let d be (a - (0 - 0))*-3. Put -1, 4, d in descending order.
4, -1, d
Let k be (-34)/9 - 4*-1. Sort 5, k, 2 in increasing order.
k, 2, 5
Suppose 0 = -2*p + 8, 2*p = m - 5 - 0. Suppose -9*w = -m*w - 12. Put w, 5, 9 in increasing order.
w, 5, 9
Suppose 5*s - v = 2*v + 77, 0 = 5*s + 4*v - 49. Let b = s - 16. Let x be (4/2)/2*2. Sort x, -5, b.
-5, b, x
Let v = 0.1 + -0.3. Let i = -4.2 - v. Sort -1/6, -0.2, i in increasing order.
i, -0.2, -1/6
Let h = -7 + 12. Put -2, -1, h in increasing order.
-2, -1, h
Let o = 3 + -3. Suppose 4*h + 14 = 3*h - 3*f, o = -h - f - 6. Put -5, h, -1 in decreasing order.
-1, h, -5
Let f be (-35)/45 + (-2)/9. Put 0.5, -2/11, f in increasing order.
f, -2/11, 0.5
Let v = 25 + -20. Sort -4, v, 2, -2.
-4, -2, 2, v
Let k(y) = 6*y - 31. Let v be k(4). Sort v, -2, 2 in descending order.
2, -2, v
Suppose -4*h + 7 - 27 = 2*a, 0 = -a - 3*h - 15. Suppose a = -3*w - u + 25, -5*w - 9 = -3*u - 46. Suppose 4*v + w = 2*v. Sort 1, v, 4 in descending order.
4, 1, v
Let h be 7/2 - (-2)/(-4). Let q = 933/7 + -133. Let m = 0.35 - 0.05. Sort m, h, q in descending order.
h, m, q
Let o = -24 + 21. Sort -2/5, o, 5.
o, -2/5, 5
Let i = -31 + 33. Sort 2/11, i, 2/15.
2/15, 2/11, i
Let f = 4.4 + -1.4. Let m = 2 - f. Put 3, m, 1 in increasing order.
m, 1, 3
Suppose 2*m - 6 = -m. Suppose m*k = 5*k - 3. Sort -2, k, 5 in descending order.
5, k, -2
Let f be (-676)/154 + 0/1. Let t = -42/11 - f. Let s = -249 - -248.7. Put s, 5, t in decreasing order.
5, t, s
Let h = -0.1 + -0.4. Let s = 0.4 - -0.1. Put s, 0.2, h in descending order.
s, 0.2, h
Let q = 0.899 + -4.969. Let n = -4 - q. Sort -5, n, 2.
-5, n, 2
Suppose 2*s + 3*s - 35 = -3*j, -2*s + 5*j = 17. Let n be -1 + 2 + (-2 + -2)/4. Put 2, n, s in decreasing order.
s, 2, n
Suppose -22*z + 12 = -26*z. Let w(i) = 0*i**3 + 2 - 7*i**2 + 0 + 5*i + i**3. Let v be w(6). Put 2, z, v in increasing order.
v, z, 2
Let w = 8 + -7.7. Let c = -0.008 + 5.008. Sort c, w, -0.9.
-0.9, w, c
Suppose 35*h = 30*h - 5. Sort h, -5, -4, -2.
-5, -4, -2, h
Suppose -5*l - 20 = -9*l. Let a = -4 + 3. Let o be 1 - a/2*2. Put -4, l, o in decreasing order.
l, o, -4
Suppose 4*u + 4 = -4. Sort u, 2, 4.
u, 2, 4
Let u(z) = -z**3 + 2*z + 1. Let k be u(2). Let s(n) = n - 4. Let g be s(5). Sort g, -4, k in ascending order.
-4, k, g
Let l = 11.922 + 0.078. Sort l, -2/5, 2/3.
-2/5, 2/3, l
Let d be (40/(-12))/(6/(-5)) + -3. Sort d, 0.5, -2/47 in ascending order.
d, -2/47, 0.5
Let d(z) = -3*z + 1. Let j be d(1). Suppose 3*t + 1 = 4. Let a = j - t. Put 5, a, 3 in decreasing order.
5, 3, a
Let h be (2/(-7))/((-3)/21). Let m be 10/4*8/20. Suppose -a - 3 = m. Put 5, h, a in ascending order.
a, h, 5
Let m = 6 - 9. Let y = -0.96 + -0.04. Sort y, 2/9, m in increasing order.
m, y, 2/9
Let x = -0.11 - 4.89. Sort -0.1, 40, -4, x in descending order.
40, -0.1, -4, x
Let z(n) = n - 8. Let r be z(11). Let c = r - 7. Put -5, 0, c in descending order.
0, c, -5
Let h = -2 + 2. Let c = -1 + h. Let i = 2 + c. Put i, 5, 2 in ascending order.
i, 2, 5
Let n = -1.73 - -0.73. Sort n, 3/4, -0.5 in ascending order.
n, -0.5, 3/4
Suppose 5*a = -66 + 26. Sort -4, a, 4 in descending order.
4, -4, a
Suppose 5*b - 3*b + 6 = 0. Sort 2, b, 6, -1 in descending order.
6, 2, -1, b
Let w(j) = -j + 2. Let o be w(-3). Let y = 3.3 - 0.3. Put o, y, -0.3 in decreasing order.
o, y, -0.3
Suppose 20 = 13*r - 8*r. Sort -1, 3, -3, r in increasing order.
-3, -1, 3, r
Let c be 6/(-27) + 4/180. Put 2, -0.1, c in ascending order.
c, -0.1, 2
Suppose 5*s + 5*a = -25, -2*a + 4*a - 10 = 3*s. Put -7, s, -1 in decreasing order.
-1, s, -7
Let w be 1 + 3/(-7) + -1. Let c be (-2)/(9 + -5 + -2). Sort c, -2, w in descending order.
w, c, -2
Let u = 3 - 6. Suppose 0 = -2*y + 4*y + 10. Let b be (2 - (3 - 7))/2. Put u, b, y in increasing order.
y, u, b
Suppose 3*q + 3*u + 3 - 15 = 0, 4*u - 8 = -2*q. Sort 5, -4, 1, q in decreasing order.
5, q, 1, -4
Let g be 2*(-2)/(-32) - 5/40. Suppose 3*k - k - 5*m = 23, 0 = -2*k - 3*m - 1. Let r = -7 + k. Put -4, g, r in descending order.
g, r, -4
Let f = 2 + -3. Let q = f + 2. Sort 0, q, 2.
0, q, 2
Let r = 9.2 + -5.2. Sort 0.5, r, -0.5.
-0.5, 0.5, r
Let r = 54 + -54.3. Put 5, r, 0, 1/2 in ascending order.
r, 0, 1/2, 5
Let z = -92 - -97. Put 4, 16, z in decreasing order.
16, z, 4
Let j be -10*(-4)/(-16)*-2. Let y = 0 - 1. Put y, j, 3 in ascending order.
y, 3, j
Let f = 0.487 + -0.5. Let j = f + -2.287. Let h = -0.7 + j. Sort 3, h, 0.5 in ascending order.
h, 0.5, 3
Suppose 4*h = 10 + 2. Suppose -3*q = q. Sort h, q, 2 in ascending order.
q, 2, h
Let v be (-126)/112*4/6. Sort 0.3, v, 2/5 in decreasing order.
2/5, 0.3, v
Suppose 2*m - 1 = -0*m - l, 2*l + 25 = 5*m. Sort 6, 2, m in descending order.
6, m, 2
Suppose m + 6 = 5. Put 0, m, -5 in descending order.
0, m, -5
Let c = 0.03 - 3.03. Let n = 6 + c. Put -3/7, -2/9, n in decreasing order.
n, -2/9, -3/7
Let v = -3 + 3. Suppose 4*f - 6 - 2 = 0. Put f, v, 2/11 in descending order.
f, 2/11, v
Let i = -0.969 + -0.031. Sort 3, 1, i, -1/2.
i, -1/2, 1, 3
Let m = 0.013 + -0.513. Put -2, 2/9, m, -3 in ascending order.
-3, -2, m, 2/9
Let s = 0.09 - -0.61. Let x = s + -1.3. Let w = x + 0.4. Sort -2, -0.4, w.
-2, -0.4, w
Let w be (4 - -2)/(-2) + 1. Sort 2, 5, w in increasing order.
w, 2, 5
Let y = 6 - 3. Sort y, 2, -2 in decreasing order.
y, 2, -2
Let k = 4 + -3.82. Let b = k - -0.02. Let a = 15.6 + -16. Put b, -3, a in decreasing order.
b, a, -3
Suppose -3*g = 33 - 33. Sort g, -2, 10 in decreasing order.
10, g, -2
Suppose 1 = 2*a - 19. Let i(v) = v**2 - 11*v + 9. Let t be i(a). Sort 5, -4, t in ascending order.
-4, t, 5
Let r = -0.05 + -2.95. Let v = -11 - -10.2. Let z = v + 0.5. Sort -2/3, z, r in increasing order.
r, -2/3, z
Suppose 0 = -2*l - 4*q, -3*q - q = -2*l - 16. Sort -3, l, -5 in increasing order.
-5, l, -3
Suppose -2*n = -0 + 2. Put -1/5, -31, 4, n in ascending order.
-31, n, -1/5, 4
Let d = 24 + -24. Sort -4, d, -1 in decreasing order.
d, -1, -4
Let f = -1/11 - -16/55. Let n = 3.6 - -1.4. Let z be 3/(2*-1 - -1). Put f, z, n in descending order.
n, f, z
Let k = -11 + 9. Sort k, -0.9, -0.4, 0.3 in increasing order.
k, -0.9, -0.4, 0.3
Suppose 6*a - 2*a + 20 = 0. Suppose 5*n + 1 = 6. Suppose -h = -4, h - 3 - n = b. Sort -4, b, a in descending order.
b, -4, a
Let n(o) = -4*o + 1. Let s be n(3). Let p = s - -15. Suppose 0 = -4*t + f - 19, -4*f + 6 = t - 3*t. Sort 2, t, p in descending order.
p, 2, t
Let f be (4/3)/(3/9). Suppose f*p + 174 = 22. Let g = p + 496/13. Sort g, -1/2, -0.3 in ascending order.
-1/2, -0.3, g
Let u = -0.8 + 0.84. Let w = 3.04 - u. Put 0.1, w, 2/5 in ascending order.
0.1, 2/5, w
Suppose 0 = -3*i - 1 - 5. Let u be i/4 - 27/6. Suppose k = -k. Sort k, 1, u in decreasing order.
1, k, u
Let r = 5.03 - 1.03. Sort -0.1, -2, 3, r in ascending order.
-2, -0.1, 3, r
Let k be (-3)/(-1)*8/12. Suppose k*o = -o. Suppose o*m + 5*m = -10. Sort 0, m, 4 in descending order.
4, 0, m
Let k = -58 + 60. Put k, -1, -3, 4 in decreasing order.
4, k, -1, -3
Let u = -7 + 4. Let r(j) = -j**3 + 5*j**2 - 4*j + 1. Suppose 5 = 2*k - 3. Let m be r(k). Sort -1, m, u.
u, -1, m
Let z = -2 + 2.2. Let r = 4/29 + -37/58. Put z, r, 3/2 in decreasing order.
3/2, z, r
Let k = 2213/178 + 6/89. Let t = k + -12. Let l = 0 - -5. Put l, -5, t in increasing order.
-5,