7 - 0.13. Let i = 1 + t. Sort k, i, -2/9 in decreasing order.
k, -2/9, i
Let m = -1 + 2. Let t = 10 - 10.4. Sort 4, m, t in decreasing order.
4, m, t
Let l = -253/2 - -123. Sort 0.1, 2/9, l in decreasing order.
2/9, 0.1, l
Let g(r) = r**3 + 7*r**2 + r + 7. Let k be g(-7). Put -0.03, k, -3 in descending order.
k, -0.03, -3
Let f = 2.5 + -3. Let y = -89/5 + 351/20. Let v = -337/8 + 42. Sort f, v, y in increasing order.
f, y, v
Suppose 0 = 3*u - 2*i - 10, 2*u + 1 = -i - 4. Let z = -2.5 + 3. Let h = 3 - 0. Put z, h, u in ascending order.
u, z, h
Let i = 1.9 + 0.4. Let a = 1.9 - i. Put -5, 0.06, a in decreasing order.
0.06, a, -5
Let p be (1*6)/((-6)/20). Let x = p + 29. Suppose -x = 5*v + 1. Put 2, -5, v in increasing order.
-5, v, 2
Let x = -6 + 3. Suppose 0*t = -3*t. Suppose h = -t*h. Put x, h, 4 in decreasing order.
4, h, x
Let p(q) = 5*q**2 + 6*q - 1. Let a(g) = -14*g**2 - 18*g + 4. Let r(o) = 4*a(o) + 11*p(o). Let k be r(-6). Sort -0.3, k, 4 in descending order.
k, 4, -0.3
Let c = 29 + -28. Suppose -3*b - 162 = -b. Let w = 1051/13 + b. Put -2/3, w, c in descending order.
c, w, -2/3
Let f = 18 - 18. Put -4, f, -1 in increasing order.
-4, -1, f
Let g be 1 - 1 - 3/4. Let k = -18 - -29. Let o = -7 + k. Put -1, g, o in ascending order.
-1, g, o
Let c = 2.61 + 0.39. Sort c, 0.03, -1/9 in descending order.
c, 0.03, -1/9
Let k = -0.14 - 0.36. Put -2/5, 0.2, k in decreasing order.
0.2, -2/5, k
Let h = -2 + -4. Let y(i) = -3*i + 16. Let z be y(4). Sort h, -2, z.
h, -2, z
Let w = 0.3 - -3.7. Put -2/9, w, -53 in increasing order.
-53, -2/9, w
Let u = 10 - 7. Sort 2, u, -5 in decreasing order.
u, 2, -5
Let o = -9 + 18. Let h = o + -10. Sort -2/3, 0.2, h in increasing order.
h, -2/3, 0.2
Let u = 4 + 1. Suppose 5 = -d - 3*d - u*z, 0 = d - z - 10. Put 2, d, 1 in decreasing order.
d, 2, 1
Suppose -3*b - 4*c - c + 10 = 0, 4*b + 6 = 3*c. Suppose -3*o - o + 16 = 0. Sort -3, b, o in descending order.
o, b, -3
Let v = 0.22 + -0.22. Sort -2/15, v, -2/9 in increasing order.
-2/9, -2/15, v
Let r be (-6)/27 + 7*(-2)/18. Let m be (1 - 1) + 4*1. Sort r, m, 2.
r, 2, m
Let x(n) = n**3 + 4*n**2 - 3*n + 7. Let q be x(-5). Let j = -4 - -1. Let m(i) = -i**2 - 4*i. Let t be m(j). Put q, t, 5 in descending order.
5, t, q
Suppose 16 = p - 3*r - 2*r, -5*r = 20. Let t be ((-2)/p + 0)*-2. Suppose 4*w + 18 = 2. Sort w, -3, t in descending order.
t, -3, w
Let u = -3/667 - 6553/26013. Let p = u - 14/13. Let c = -0.6 - -1. Put -4, p, c in ascending order.
-4, p, c
Let v = -2 - -3. Let q = 1.5 + -1. Let o = -0.03 - 0.37. Put v, q, o in decreasing order.
v, q, o
Let n = 14 + -3. Suppose -5*r - 2 + 10 = -2*d, -3*d - 4*r + n = 0. Put d, -4, 5 in ascending order.
-4, d, 5
Suppose -4*h + 3*h = 3*h. Put h, 4, -0.11 in descending order.
4, h, -0.11
Let j = -1.3 - 1.7. Put j, 2/15, 1 in ascending order.
j, 2/15, 1
Suppose -17 - 3 = 4*m. Sort m, 5, 1 in descending order.
5, 1, m
Suppose -15*b = -11*b - 28. Put b, 0.5, -2/7 in decreasing order.
b, 0.5, -2/7
Let n = -0.26 - -0.09. Let t = 0.03 - n. Put 2, 0.4, t in descending order.
2, 0.4, t
Suppose -5*h - q + 35 = -6*q, 3*h - 4*q - 23 = 0. Sort -2, 9, h in decreasing order.
9, h, -2
Suppose -5*z + 68 = -37. Let t be z/(-6) + 3/(-6). Sort t, 5, -1 in decreasing order.
5, -1, t
Suppose -m = -6*m. Let l be (-196)/106 - (-2 + 0). Let f = l + -162/371. Put f, m, 3/7 in decreasing order.
3/7, m, f
Let u = 12.9 - 13. Put u, 4, 2/3 in decreasing order.
4, 2/3, u
Let n(x) = -x + 12. Let b be n(8). Let a(q) = -2*q + 1. Let s be a(-2). Suppose 0*j = j - s. Sort j, b, -3.
-3, b, j
Suppose -t - 3*t - 4 = 2*o, -3*t = -9. Sort -1/6, -3/5, o.
o, -3/5, -1/6
Let r be ((-3)/12)/(12/18). Put -4, r, 1, -6 in increasing order.
-6, -4, r, 1
Let v = -0.28 - 0.52. Sort 2, v, -0.1, 1 in ascending order.
v, -0.1, 1, 2
Let y = 5 + -4. Let k = 1 - y. Put 5, -5, k in decreasing order.
5, k, -5
Let n = -18 - -21. Sort n, 3/4, -2.
-2, 3/4, n
Let r be (-2)/(-12) + (-14)/12. Let q be -3*(0/1 + r). Let p be (-4)/2 + q - -1. Put p, -5, 0 in increasing order.
-5, 0, p
Suppose -2*m = -5*a + 3*a + 4, 0 = 5*m + 25. Suppose -2*o - 15 = -7. Suppose 2*k = k. Put o, k, a in descending order.
k, a, o
Let t = -62 + 307/5. Suppose 0 = -28*q + 15*q. Sort -1, t, q in increasing order.
-1, t, q
Suppose 4*a + 5 = -7. Sort -4, a, 2.
-4, a, 2
Suppose -4*b = -4*m + 16, -5*b - 1 = 4*m - 8. Sort m, -4, 2, -1 in ascending order.
-4, -1, 2, m
Let i = -9 + 5. Suppose 0 = 4*j + 5*r - 39, 4*j - 3*r = r + 12. Suppose -k - 2*o + j = -4*o, -2*k + 14 = -5*o. Put i, k, 4 in increasing order.
i, k, 4
Let y = -9 + 14. Suppose -4*q + 4*l + 7 = -y, 0 = -3*l - 9. Let f be -3 - (-2 - q/(-1)). Put -4, f, 3 in ascending order.
-4, f, 3
Let l = 1 + -0.9. Let s = 0 + -0.2. Let z = 0.1 + s. Put l, -2/9, z in descending order.
l, z, -2/9
Suppose -5 = 3*f - 2*f. Sort f, -8, 3.
-8, f, 3
Suppose 2*w = -1 - 1, c = -w - 6. Sort 2, c, -3 in increasing order.
c, -3, 2
Suppose -20 - 7 = -g + 3*l, -5*l - 33 = -g. Let a be 14/g + (-2)/(-9). Suppose -8 = -5*i - 28. Sort i, -3, a.
i, -3, a
Suppose 0 = -0*t - 4*t + 4. Let i be t/(-1) - (-5 - 0). Sort -1, i, -3 in decreasing order.
i, -1, -3
Let b = -90 + 89. Put 0.02, 4, b, -0.2 in decreasing order.
4, 0.02, -0.2, b
Suppose -4*w = -2*w - 12. Let s be 15/(-10)*(-16)/w. Let f(z) = z**3 + 4*z**2 - 7*z - 5. Let n be f(-5). Sort -1, s, n in decreasing order.
n, s, -1
Let m be (-8)/30*(-5)/(-2). Let d(s) = 2*s + 4. Let p be d(3). Suppose -2*i = p - 0. Put 5, i, m in increasing order.
i, m, 5
Let l be (-8)/(-3) - 1/(-3). Let a = l - 3. Suppose a = 4*n - 2*n + 8. Put n, -3, 2 in descending order.
2, -3, n
Suppose 14 = -m - 2*g - 2*g, -3*m = 5*g + 21. Suppose -x = -2 - 2. Sort x, 3, m in increasing order.
m, 3, x
Let r = -0.014 + -0.486. Put -2, r, 3, 0.3 in decreasing order.
3, 0.3, r, -2
Let t = 1834/9 + -204. Let f be -2*1 - 21/(-12). Sort t, f, -0.5 in decreasing order.
t, f, -0.5
Let y = -0.48 - -0.18. Sort 0.2, y, -1/3, 3 in decreasing order.
3, 0.2, y, -1/3
Let z = 0.1 - -0.1. Let t = 14 + -13. Put z, -5, t in increasing order.
-5, z, t
Suppose 2*w + 0 + 2 = 0. Sort -5, w, 3, 5 in decreasing order.
5, 3, w, -5
Let q = 1 + -1. Let x(d) = d**3 + 9*d**2 - d - 4. Suppose -2*w = 0, -w + 18 = -2*z - 0*w. Let n be x(z). Put 3, q, n in ascending order.
q, 3, n
Let u(g) = g - 3. Let t be u(6). Let n(k) = -k**3 - 2*k**2 + 5*k + 3. Let w be n(-3). Put 5, w, t in increasing order.
w, t, 5
Let w = -0.01 - -3.01. Let f = -0.8 - 4.2. Sort w, f, -1/6 in descending order.
w, -1/6, f
Let z be 16/28*1/(-2). Sort -3/4, -4, z, -4/5 in decreasing order.
z, -3/4, -4/5, -4
Let m = -89 + 85. Sort -0.2, m, 0, 5 in decreasing order.
5, 0, -0.2, m
Let h = 3.7 + -0.7. Put 2, 4, h in descending order.
4, h, 2
Suppose 5*z = 17 + 8. Put -4, -2, z in descending order.
z, -2, -4
Let m = -2.04 + 0.04. Let g = -93/35 + 20/7. Sort 5, g, m in increasing order.
m, g, 5
Let j be -1 + 1 + 3 + 3. Suppose 4*f + j = 2*v + 26, -25 = -v - 5*f. Sort 4, -5, v in decreasing order.
4, v, -5
Let m = -0.86 - 2.14. Let r = 82/7 - 12. Sort 4, m, r in descending order.
4, r, m
Let a = -7 - -10. Suppose -3 = 4*k + 5*b - 1, 4*k - 4*b + 20 = 0. Sort k, 1, a.
k, 1, a
Let k = 67 + -69. Sort k, -0.2, 0.2, -4 in decreasing order.
0.2, -0.2, k, -4
Let b be (2 + -1)/(8/(-12) - -1). Sort 0, 5, -7, b in descending order.
5, b, 0, -7
Let m = -33 + 32. Put m, -2, 5 in ascending order.
-2, m, 5
Suppose 6*n - 12 = 3*n. Put 0, -5, n in decreasing order.
n, 0, -5
Let o = 0.3 - 0.5. Sort o, 0.1, -3 in descending order.
0.1, o, -3
Let y = -0.006 - -0.006. Put y, -1, 0.3, -3 in decreasing order.
0.3, y, -1, -3
Suppose 2*f - 11 = 2*x - x, 0 = 4*x + 4. Put 19, f, -1, 0 in ascending order.
-1, 0, f, 19
Let v be -1 + 2*4/(-8). Sort 6, 5, v in increasing order.
v, 5, 6
Let s(d) = -4 - d - 1 - 1 + 0. Let x be s(-5). Let n = -0.1 + 0.2. Put n, x, -0.1 in ascending order.
x, -0.1, n
Let p(y) = y**3 + 2*y**2 - 1. Let h be p(1). Let f = h + -3. Sort 3, f, -2 in descending order.
3, f, -2
Let c = -3 - -5. Suppose -10*j - 9*j + 95 = 0. Sort j, 4, c in descending order.
j, 4, c
Let l = -9 + 5. Let q = -0.2 + 1.8. Let t = q - 1.8. Sort 3, l, t.
l, t, 3
Suppose 11 = -5*d + 6. Let l be 2 + d - (8 - 8). Sort 0, l, 4 in increasing order.
0, l, 4
Suppose 2*q + 29 = -5. Let 