). Put t, -2, n in decreasing order.
t, n, -2
Suppose 2*o + 2 - 7 = -w, 5*w = -o + 25. Suppose 2*s + 2 = -0. Let a be -1 + (s - 6/(-1)). Put 3, a, w in decreasing order.
w, a, 3
Let l = 4 + -4.3. Let q = 60 - 303/5. Put q, -1/3, l in decreasing order.
l, -1/3, q
Suppose -9 = -5*f + 2*p + p, -p + 2 = 0. Suppose -h = -2*h - f. Put 1, h, -1 in descending order.
1, -1, h
Let r(v) = -v**2 + 4*v + 1. Let n be r(4). Sort 22, 5, n.
n, 5, 22
Let r = -2 + 0. Suppose -5*f + 3*w + 15 + 7 = 0, -f + 18 = -4*w. Sort -1, f, r.
r, -1, f
Let s = -12 - -15. Put s, 0, 2, 15 in decreasing order.
15, s, 2, 0
Let z = 79 + -39. Suppose c + 4*c = z. Suppose c = -3*n - n. Put n, 3, -3 in descending order.
3, n, -3
Suppose -c - 6*a = -a, 0 = 4*c + 4*a + 16. Sort c, 4, -2 in decreasing order.
4, -2, c
Let f = 40 + -37. Sort -2/7, 0.1, f in decreasing order.
f, 0.1, -2/7
Let m = 7 - 6. Let r = 11 - 7. Suppose -u - r*u = 0. Sort -4, u, m in increasing order.
-4, u, m
Suppose 0 = 2*t - 2 - 8. Put 6, t, -2, -4 in decreasing order.
6, t, -2, -4
Let y = -20/3 + 7. Let d = -503743/1467 - -2435/163. Let b = 328 + d. Put 2, y, b in decreasing order.
2, y, b
Let w = 0.2 + -0.4. Let j = 0 - w. Let y(g) = -g - 2. Let n be y(0). Sort j, 2, n in descending order.
2, j, n
Let t = 10 - 14. Suppose -1 = -2*p + 7. Let r = 6 - 4. Sort p, r, t in decreasing order.
p, r, t
Let f = 13 + -13. Let i = 0.1 + f. Put 3, -1/3, i in increasing order.
-1/3, i, 3
Let s be (-116)/14 - (-4)/14. Let q = 4 + s. Suppose 4*a - 6 = 14. Sort 3, a, q in ascending order.
q, 3, a
Let m = 3 + -2.98. Let q = m + 0.38. Put q, -1/3, -3 in descending order.
q, -1/3, -3
Let g = -249/8 - -31. Let s = -0.4 - 4.6. Let f(v) = -v**3 + 3*v**2 + v + 1. Let d be f(3). Sort s, g, d.
s, g, d
Let c(n) = -n - 8. Let f be c(-6). Suppose 2*p - 5 - 1 = 0. Let s = -3 + p. Sort 5, f, s in decreasing order.
5, s, f
Let s = 3 + -4. Let q = 11 - 6. Sort q, s, 3.
s, 3, q
Let h(r) = -5*r**3 - r - 1. Let y be h(-1). Let f = -2 + 1.8. Let b = -6 + 6. Put f, b, y in ascending order.
f, b, y
Let j = 7 - 7.4. Let i = -0.7 - -3.7. Put 2/11, i, j in decreasing order.
i, 2/11, j
Let o(t) = 3*t**2. Let a be o(1). Let k be a/((-3)/2) + 0. Let l(v) = v**3 - 7*v**2 + 3. Let s be l(7). Put s, 2, k in ascending order.
k, 2, s
Suppose 4*j - 16 = 2*b, -b - 3*j + 19 = b. Suppose -3*n = -b*g + 11, 2*n - 11 = 3*n + 3*g. Suppose 8 = -m + 3*m. Put n, m, 2 in decreasing order.
m, 2, n
Suppose -y - 4 = 5*p - 17, -4*p + 5*y = 7. Suppose 2*l + 2*l = -4*j + 8, 0 = -2*l + j - 2. Put p, l, -0.1 in descending order.
p, l, -0.1
Let v(m) = m**2 - 2*m - 3. Suppose -4 = 2*d - 10. Let k be v(d). Let q = 0.3 + -0.4. Put q, 0.4, k in decreasing order.
0.4, k, q
Let r = -17 - -17.3. Put -2, r, 2 in descending order.
2, r, -2
Let k = -2 - -2.5. Suppose y - 3*y = 10. Sort k, y, 0 in descending order.
k, 0, y
Suppose 3*i - 7*m + 3*m = 2, 3*i - 3*m = 0. Let l be (-1)/(-2) + 218/(-412). Let b = l - -263/1957. Sort b, 0, i in descending order.
b, 0, i
Let m be (1/2)/((-1)/(-84)). Let i be -2*(m/4)/(-3). Let r(z) = z**2 - 8*z + 2. Let u be r(i). Put u, 4, 5 in decreasing order.
5, 4, u
Let n = 3 - 0. Let y be (-3)/18 + (-2)/(-12). Let b(j) = -2*j - 2. Let h be b(0). Put y, h, n in descending order.
n, y, h
Suppose 0*x + 4*x + 4 = 4*s, -5*s = -2*x - 5. Sort 3, 5, x in decreasing order.
5, 3, x
Let s(q) = q**3 - 21*q**2 + 40*q - 36. Let l be s(19). Put -29, l, -5 in descending order.
l, -5, -29
Let f = 8 - 12. Let o(r) = r. Let p be o(2). Sort -3, f, p in increasing order.
f, -3, p
Let s = -0.3 - 0.1. Let d = -0.1 + s. Put 0, d, -2 in increasing order.
-2, d, 0
Let h be (-2)/3 - 4/(-6). Let d = 1 - -3. Suppose -d = -2*i + 2. Put h, -1, i in decreasing order.
i, h, -1
Let y be 12/(-12)*2/(-14). Sort 0.2, 3/2, y in descending order.
3/2, 0.2, y
Let g = 268.98 - 273. Let t = 0.02 + g. Let n = 6 + t. Sort n, -0.5, 5 in descending order.
5, n, -0.5
Let j = -16 - -16. Put -4, j, -1, -9 in ascending order.
-9, -4, -1, j
Let y = 2499/4 - 645. Let n = 551/28 + y. Let r = -0.2 - 0.3. Put n, -2/3, r in descending order.
r, n, -2/3
Let v(t) = -t**3 + 5*t**2 + 5*t + 7. Suppose -3*w - 8 = 1. Let b be w/15 + (-31)/(-5). Let y be v(b). Sort 0, y, -1.
-1, 0, y
Let c = -44/9 + 46/9. Let a = -6/19 - 8/95. Sort c, a, -1/2 in decreasing order.
c, a, -1/2
Suppose -9*t - 36 = -0*t. Sort t, 2, 5, 6 in decreasing order.
6, 5, 2, t
Let h be 8 + (-1614)/180 - (-1 + 0). Sort 3, -1, h.
-1, h, 3
Let f = -0.55 + 0.05. Let m be 1/5 + 9/5. Suppose -14 = -4*d - m. Sort d, f, -4 in decreasing order.
d, f, -4
Let y = 0.097 + 0.103. Sort -2, y, 3 in descending order.
3, y, -2
Let d be ((12/9)/2)/(21/(-9)). Let v = -0.3 - -0.4. Let f = v + 0. Sort d, f, 1 in decreasing order.
1, f, d
Let d be (-2)/(-2)*(-16)/(-4). Suppose 0 = 5*l + 2 + 18. Put l, 1, d in ascending order.
l, 1, d
Let g = 3 - 6. Sort g, 2/7, 4.
g, 2/7, 4
Suppose -21*k + 6 = -18*k. Sort k, -10, 5, -5.
-10, -5, k, 5
Let w = 0.7 - 1. Let c = -4.3 - w. Let f = -8.3 - -8. Sort 2/3, f, c in decreasing order.
2/3, f, c
Let r(s) = -s + 1. Let u(q) = -q**2 + 2*q + 4. Let t(h) = -3*r(h) + u(h). Let k be t(5). Let v = -17.3 + 17. Sort 5, v, k in increasing order.
v, k, 5
Let y(x) = -x + 1. Let t be y(-3). Suppose -3*h = 2*m + 1, 0 = -2*h + 5*h - 3*m - 9. Let l be -2 - (-3 - 0) - 1. Put h, l, t in ascending order.
l, h, t
Let l = -47/2 + 23. Sort 0.1, -1, l in ascending order.
-1, l, 0.1
Suppose -3*z + 3*m - 14 = 7, -5*z = 5*m + 15. Put 0, z, 2 in ascending order.
z, 0, 2
Let z = -2 - -4. Suppose -3*b - 2 = 2*b - 2*j, -2*j = -z. Let u be 12/54 + (-38)/9. Sort 4, b, u in descending order.
4, b, u
Suppose 5*p + 0*p + 30 = -z, z + 20 = -3*p. Let i be (8 + p)*(0 - 1). Sort 5, 4, i in descending order.
5, 4, i
Let l = -3.2 - -3.4. Suppose -2*f + 9 - 1 = 0. Suppose -f*s = d + 16, -2*s - 2*d = -1 + 9. Sort -2/7, s, l in increasing order.
s, -2/7, l
Let d = 18 + -28. Let g be (6/15)/(2/d). Let y be (-172)/(-36) - ((-58)/18 + 3). Put y, -5, g in ascending order.
-5, g, y
Let u = 6.5 - 1.5. Put u, -2, -1 in decreasing order.
u, -1, -2
Let k = -11.14 - -0.14. Let x = k - -7. Let f = -0.3 + 0.3. Sort f, 2/3, x in ascending order.
x, f, 2/3
Let p(x) = x**3 - 7*x**2 - 2. Let c be p(7). Put c, -1, -4, -5 in increasing order.
-5, -4, c, -1
Let r(x) = -x + 13. Let d be r(9). Suppose 5*q + d*y - 13 = 5, 0 = 5*q + 5*y - 20. Put 3, 4, q in decreasing order.
4, 3, q
Let m = -1.23 - 0.37. Sort m, -0.3, -2 in descending order.
-0.3, m, -2
Suppose -c - 3 + 1 = 0. Put -1, c, 3 in decreasing order.
3, -1, c
Suppose 5*p + 30 = 10. Let r be 1*(-1)/((-2)/(-4)). Sort p, r, -5 in descending order.
r, p, -5
Suppose -12*s + 11*s = 12. Sort -2/21, s, -5 in ascending order.
s, -5, -2/21
Let l(m) = -m - 1. Let q be l(3). Let v = 0 - -0.1. Let p = v + 0.9. Sort -0.3, q, p in descending order.
p, -0.3, q
Suppose 0 = 5*r - 4*r - 2. Suppose 3*y - 2*b - 3 = 4*y, 4*y + r*b = 0. Sort 3, y, -0.02 in decreasing order.
3, y, -0.02
Suppose 0*b + b = -o + 7, b + 2*o - 9 = 0. Suppose 0 = b*l - 10. Let c be 18/(-6) - 2/l. Sort 0, -5, c.
-5, c, 0
Let x = 5 + -5. Suppose 0*q + 5*q - 15 = x. Let h = 0 + q. Sort -1, -3, h in increasing order.
-3, -1, h
Let w = -42 - -335/8. Let s = -67 + 67. Put w, s, -3/5 in decreasing order.
s, w, -3/5
Let a = 2 + 0. Let n = -50.4 - -50. Sort a, n, -0.3 in descending order.
a, -0.3, n
Let k be 4*1 - (-310)/(-80). Let a = -1 + -3. Sort 2/15, a, k in ascending order.
a, k, 2/15
Suppose 0*m = -m + 3. Put m, -2, 5 in ascending order.
-2, m, 5
Suppose -4*q = q. Suppose -3*x + 90 = 2*x. Suppose 0*i - x = -2*i - 2*z, -11 = i - 3*z. Sort -3, q, i.
-3, q, i
Let g = -6.7 - -6.2. Sort 0.04, -1, g.
-1, g, 0.04
Suppose -4*j - j = 5. Let d be 0/(4/2) + -3. Let s = 0 + 2. Put s, j, d in ascending order.
d, j, s
Let t be (-1 - 2) + -2 + 3. Sort 0, 1, 3, t.
t, 0, 1, 3
Suppose -4*k - 5 - 11 = 0. Put 4, -3, k in increasing order.
k, -3, 4
Let m = 11 + -15. Let l be (m/(-6))/((-2)/(-15)). Put 0, l, 1 in descending order.
l, 1, 0
Suppose -r - 9 = -3*p - 2, 4*r - 8 = 3*p. Sort p, -1/4, -0.2, -2 in decreasing order.
p, -0.2, -1/4, -2
Let l = -0.04 - -0.24. Sort -3, l, -0.1, 9.
-3, -0.1, l, 9
Let w = 938/5 - 187. Sort 8/5, w, 0.1 in increasing order.
0.1, w, 8/5
Let r be 6*3/3 + (-4)/1. Put r, 0.1, 0.06 i