.
v, -2, m
Suppose -5*q - 25 + 5 = 0. Sort 3, q, -7, 0 in decreasing order.
3, 0, q, -7
Let z be 9/(-108)*(-3)/(-5)*-4. Let g = 0.14 + -0.04. Put -2, g, z in ascending order.
-2, g, z
Let k(i) = -i**3 + 4*i**2 + 2*i - 4. Let o be k(4). Suppose -41 = -5*p - o*f, 3*p - 5*f + 4 = -1. Let u be 2/(-4)*(1 - p). Put -5, -1, u in decreasing order.
u, -1, -5
Suppose -7*t + 3*t = -20. Let b(w) = -w**2 + 2*w + 20. Let y be b(6). Put y, 3, t in ascending order.
y, 3, t
Let r = 1847/21 + -88. Let q = 3/14 + r. Put q, -2/9, -0.4 in descending order.
q, -2/9, -0.4
Let x = 3 - -2. Let o(g) = g**2 - 6*g + 4. Let m be o(x). Put -2, m, 5 in decreasing order.
5, m, -2
Let g be ((-4)/(-40))/(-1 + 3/5). Sort 0, 0.2, g, 0.1 in increasing order.
g, 0, 0.1, 0.2
Let k be (-20)/6 + 2/(4/4). Put k, -4, 1/10, 0.17 in ascending order.
-4, k, 1/10, 0.17
Suppose 6*g - 15 = 3. Sort g, -2, 9 in increasing order.
-2, g, 9
Let j = -0.55 + -0.15. Let p = j - -0.2. Sort p, -3/4, 3 in increasing order.
-3/4, p, 3
Let i = -4.7 + 5. Sort 5, 2/9, -2/7, i in ascending order.
-2/7, 2/9, i, 5
Let i be 0 + (19 - -1)/(-4) + 2. Sort i, 0, -5.
-5, i, 0
Suppose 3*f + 16 = -f. Let w(a) = a**2 + 5*a + 3. Let r be w(f). Sort r, 2, 1 in descending order.
2, 1, r
Suppose 5*f + 60 = 2*q, 3*q - f = 2*f + 90. Let p be ((-12)/(-5))/(9/q). Let i = 4 - p. Put 1, 0.4, i in decreasing order.
1, 0.4, i
Let j(x) = -x**2 - 7*x + 2. Let h be j(-6). Let d be (3/(-9))/((-2)/18). Let u = d - h. Sort u, 1, -3.
u, -3, 1
Let b = 19/14 - 13/14. Let r = 0.04 + -0.84. Let c = r - -0.5. Sort b, c, 2 in increasing order.
c, b, 2
Let o(j) = -j**3 + 12*j**2 - j + 7. Let d = 30 - 18. Let c be o(d). Put -4, c, 1 in descending order.
1, -4, c
Suppose -v = -0*v + 4. Suppose -10 = 2*m + 5*a, -4*m - 2 + 26 = -a. Sort 2, v, m.
v, 2, m
Let c = 13 - 10. Suppose -c*t + 3 = 3*o, 0 = -4*t - 0*o + o - 11. Sort 2, 3, t.
t, 2, 3
Suppose 5 + 45 = -5*j - 4*x, -5*x = -2*j - 20. Let s(n) = 2*n + 12. Let q be s(-9). Let b = j - q. Put -3/5, 0.5, b in ascending order.
b, -3/5, 0.5
Let f = -0.65 - -0.35. Put -1, f, -0.1 in descending order.
-0.1, f, -1
Let m(r) = r. Let t(h) = -6*h - 1. Let x(v) = -5*m(v) - t(v). Let o be x(2). Sort 1/6, o, -2/11 in increasing order.
-2/11, 1/6, o
Let s = 48 + -34. Suppose -x + s = -5*g, g - 4*g = 2*x - 2. Put -6, x, -5 in ascending order.
-6, -5, x
Let d = -0.08 - 2.22. Let r = 2.1 + d. Sort 0, 4, r in descending order.
4, 0, r
Let i be ((-6)/(-2))/((-9)/(-12)). Sort i, 0, -4, -5 in decreasing order.
i, 0, -4, -5
Let z = 25 + -61. Let g be z/(-2)*1/3. Suppose -g*i = -5*i + 5. Sort i, 4, -2/9 in descending order.
4, -2/9, i
Let q be 1*(-4 + 6/3). Let z(a) = a**3 - 5*a**2 - a + 6. Let g be z(5). Put q, 0, g in decreasing order.
g, 0, q
Let b be (12/20)/(2/10). Sort 0, -2, b.
-2, 0, b
Let p = 3.89 + 0.11. Let m(l) = -l - 7. Let t(z) = -z - 6. Let f(b) = 6*m(b) - 5*t(b). Let a be f(-10). Sort p, a, -5 in decreasing order.
p, a, -5
Let v = 72 + -213. Let j = -1553/11 - v. Sort j, 5, -5.
-5, j, 5
Let r be (-4)/12*(-6)/9. Let o be (5 - 1)/2*1. Suppose 0*p - o*p = -3*q + 21, -3*p + 2*q = 19. Sort 0.1, p, r in decreasing order.
r, 0.1, p
Let f = -12 + 15. Let b = f + -3. Put 1/6, -0.4, b in decreasing order.
1/6, b, -0.4
Suppose 0 = -5*f + 4 + 21. Let i = -12 + 6. Sort f, 2, i.
i, 2, f
Let b = -16 - -18. Suppose 0*k = i - b*k + 7, -4*i - 4*k + 20 = 0. Put 4, i, -1 in decreasing order.
4, i, -1
Let p(g) = 6*g + 2*g**2 - g**2 + 1 + 7 - 5. Let m be p(-5). Put m, -3, 4 in decreasing order.
4, m, -3
Suppose -6*y + 3*y = -4*j - 11, -2*j + 2 = 0. Let i(p) = -4*p - 25. Let q be i(-4). Put q, -4, y in increasing order.
q, -4, y
Let y = -72.1 - -72. Sort y, -0.4, 0.
-0.4, y, 0
Let z(i) = i**2 + 5*i + 3. Let n be z(-3). Suppose 5*u - 5 = 20. Sort u, n, 4.
n, 4, u
Let t = -0.7 + 1. Let g = -0.3 + -0.1. Let j = 0 - 0. Sort g, j, t in descending order.
t, j, g
Suppose -11 - 11 = z + 4*l, 4*z + l = -13. Let p be (z + 1)/(7/7). Put -5, p, 0 in increasing order.
-5, p, 0
Let c(m) = -m**2 - 9*m + 2. Let k be c(-9). Let i = k + 2. Put i, -4, 2 in descending order.
i, 2, -4
Suppose 2*o = -3*o - 15. Let z(v) = -v**2 - 5*v. Let c be z(-4). Sort c, o, -5.
-5, o, c
Let m = 2 - 1.5. Let q(c) = -7*c**2 - 15*c + 2. Let i(b) = -6*b**2 - 14*b + 1. Let z(t) = 6*i(t) - 5*q(t). Let j be z(-8). Put j, m, 5 in descending order.
5, j, m
Let n = 0.2 - 0.3. Let u = -63 - -58.1. Let r = u + n. Sort r, 0.2, -1/3.
r, -1/3, 0.2
Let j = 0 - 1. Let n(v) = -v + 5. Let a be n(2). Sort 2, a, j in descending order.
a, 2, j
Let n = 19995/13 - 1539. Put -2, n, 5 in decreasing order.
5, n, -2
Let l = -181 - -181. Sort 76, l, -1/2, -2/11 in increasing order.
-1/2, -2/11, l, 76
Let a be (1*5)/(4 - 3). Suppose 12 = -12*g + 6*g. Sort a, g, 3 in descending order.
a, 3, g
Let d = -1517/15 - -101. Sort 4, -2, d in descending order.
4, d, -2
Let o be (-6)/4 - 135/(-30). Sort o, 5, -1, 0 in increasing order.
-1, 0, o, 5
Let q = -7 - -2. Put 5, 2, 0, q in decreasing order.
5, 2, 0, q
Let r = 0.03 + 3.97. Let m = 6.3 + -6. Let a be ((-6)/9)/((-4)/18). Put r, a, m in descending order.
r, a, m
Let y be ((-35)/14)/((-2)/4). Sort 3, y, 4 in descending order.
y, 4, 3
Suppose 0 = 2*f + 7 + 1. Let t = -23 + 22. Put 0, f, t in descending order.
0, t, f
Let b = -1.01 + 1. Let w = 1241.99 + -1237. Let j = w - b. Sort -0.2, -2/9, j.
-2/9, -0.2, j
Let i = -15.9 - -16. Sort 0.17, -0.1, i in descending order.
0.17, i, -0.1
Let w = 74 - 73. Sort 1/5, 4, w, 0.08 in ascending order.
0.08, 1/5, w, 4
Let i(g) = -9*g - 6. Let d be i(-3). Let z = d + -87/4. Sort 1/4, 2, z in ascending order.
z, 1/4, 2
Let u be (1/2)/((-1)/(-18)). Suppose w + 4*m + 13 = 0, 5*w - 5*m + 2 = -13. Let r = w + u. Sort r, 3, -2 in decreasing order.
r, 3, -2
Let s = 7 + -2. Sort -4, s, -5 in decreasing order.
s, -4, -5
Let a = 15/8 + -17/8. Put 1/7, -0.1, 1, a in descending order.
1, 1/7, -0.1, a
Suppose -w + 0*w + 4 = 3*s, -5*w - 12 = -s. Suppose 4*c - 2*y = -0*c - 20, -3*y = 2*c - 6. Suppose 5*b = 2*b - 3. Sort w, b, c.
c, w, b
Let p = 21.8 - 12.1. Let l = p + -10. Sort 1/6, 1, l in ascending order.
l, 1/6, 1
Let a be 5/(-9)*(-6)/15. Let s = -5 + 1. Sort -0.2, s, a in descending order.
a, -0.2, s
Let y(u) = 2*u - 11. Suppose -5*s + 16 = -24. Let i be y(s). Put 0, i, -3 in decreasing order.
i, 0, -3
Let l = -370 - -4822/13. Sort 0.5, -1, l in descending order.
l, 0.5, -1
Suppose 5*f = 12 + 3. Let a(p) = -3 - p**3 + 0*p**3 + 4*p - p**2 + f*p**2. Let m be a(3). Sort m, -3, -4 in decreasing order.
m, -3, -4
Let i = 121 + -121. Sort i, 6, -0.5 in descending order.
6, i, -0.5
Let m be (-11)/12 + (16/12)/2. Put m, -5, 3, -6 in decreasing order.
3, m, -5, -6
Suppose 0 = 5*s + 2*n + 17, -3*n + 2*n + 2 = -s. Let l = 7 + -3. Put s, 0, l in increasing order.
s, 0, l
Suppose p + 4 = -3*t - 1, -5*t = -2*p + 12. Sort 2, -1, p in increasing order.
-1, p, 2
Let a = -1.3 + -10.7. Let l = -5 - a. Let f = -5 + l. Put -1/3, f, 0.2 in descending order.
f, 0.2, -1/3
Suppose 2 = -2*s + 12. Put 0, s, 4 in ascending order.
0, 4, s
Let y = -0.5 + 0.1. Suppose 3 = -3*d + 6. Let r be -2 + 3 + 0/d. Put y, 0.3, r in descending order.
r, 0.3, y
Let p = -43 + 43. Sort p, 3, 4 in decreasing order.
4, 3, p
Let y = 11 - 8. Let m(a) = -a**3 + 2*a**2 + 3. Let t be m(y). Let s be (-2)/(t/(-3) - 1). Put 2, 3, s in decreasing order.
3, 2, s
Let v be 5/(-2)*(-12)/10. Suppose v*c + 1 = 2*c. Suppose 6*d = w + 9*d + 4, d + 23 = 4*w. Sort c, w, 2.
c, 2, w
Suppose -3*k + 8 = 2. Sort k, -4, -2.
-4, -2, k
Let s = -0.26 - -0.02. Let c = -0.17 - s. Let a = 0.2 - 0.6. Sort 1/3, c, a in decreasing order.
1/3, c, a
Let j = 19 - 12. Let l = -6.7 + j. Let g = -1 - -0.6. Sort g, l, -1/10 in ascending order.
g, -1/10, l
Suppose 3*w + 10 = 8*w. Suppose -3*l - 3*d = -21, 0*l - 2*l - 4*d = -20. Put w, 3, l in descending order.
l, 3, w
Let d be 4 + (5 - 2 - 6). Let k(y) = -3*y + 1. Let u be k(d). Put u, -5, -2/7 in decreasing order.
-2/7, u, -5
Suppose -12 = -i + 4*g, -4*i + 4*g + 0*g + 24 = 0. Suppose -i*m = -5*m + 4. Sort -3, m, 1.
-3, 1, m
Let l(b) = b**2 - 5*b - 6. Suppose -2*q = 3*q - 30. Let w be l(q). Suppose -4*k + 12 = -w*k. Sort k, 0.4, 4.
0.4, k, 4
Let l = -0.55 - -0.85. Let w = 0 - 1. Sort w, l, 0.1 in increasing order.
w, 0.1, l
Let d = 55 - 54. Sort d, -4, -2 in 