= -s*f, -f + 2 = -4*d + 7. Put -3, d, c in increasing order.
-3, c, d
Let i be 2/3 - (-38)/(-30). Let n = -19 - -16. Sort i, n, -1/5 in decreasing order.
-1/5, i, n
Let s = -5 - -3. Let d = 1 + -6. Let k be d/(-10)*2/1. Sort s, k, -1 in ascending order.
s, -1, k
Let o = -8 + 3. Sort o, 8, 0 in decreasing order.
8, 0, o
Let l = 1593/11 + -145. Let p = 0 + 1. Let t = p - -1. Sort 0.3, t, l.
l, 0.3, t
Let y = -1.2 - -4.9. Let t = -4 + y. Sort -2, t, -3.
-3, -2, t
Let b = -10 + 5. Let r = 0.048 - 0.448. Sort r, b, -0.2 in decreasing order.
-0.2, r, b
Let u = -2 - -4. Suppose 4*b = -u*b + 6. Sort b, 0.1, 2/11.
0.1, 2/11, b
Let w = -52.2 - -57. Let h = 5 - w. Put -1/2, -1/3, h in ascending order.
-1/2, -1/3, h
Suppose 0*w - 4*w = 0. Let g be (-2)/4*-12*1. Let b = -5 + g. Put w, b, 5 in ascending order.
w, b, 5
Suppose 0*m - 9 = -3*m - 4*u, 4*m - 2*u = 12. Let h be m/((-5)/((-15)/9)). Sort -2, 3/4, h in decreasing order.
h, 3/4, -2
Let u = -19 - -24. Sort u, -8, -3.
-8, -3, u
Let k = -1.53 + 1.4. Let r = -0.37 + k. Put r, -3, -4 in descending order.
r, -3, -4
Suppose -1 + 5 = 4*g. Let z be 114/60 + -3 + g. Sort z, 0.1, -3 in decreasing order.
0.1, z, -3
Let i(y) = y**2 - 2*y - 1. Let z be i(-1). Let t = z - 3. Let g = -12 + 7. Put t, g, 3 in ascending order.
g, t, 3
Let s = -0.7 - -0.2. Let u = -0.05 - -0.45. Let o = 0.8 - u. Put o, 0.3, s in descending order.
o, 0.3, s
Let i = -53 - -53.4. Sort i, -0.5, -2, -1.
-2, -1, -0.5, i
Let o be 0/((-12)/(-4)) - 4. Let g = 29 + -40. Let m = -8 - g. Put m, o, 0.5 in increasing order.
o, 0.5, m
Let f = 12 - 12. Suppose -4 + f = s. Let d be ((-1)/(2/4))/2. Sort d, 0, s.
s, d, 0
Let w = -127 - -633/5. Put -0.1, w, 6 in descending order.
6, -0.1, w
Let k = 9 - 3. Let m = -11.3 - -0.3. Let s = k + m. Put -1/4, -4, s in decreasing order.
-1/4, -4, s
Let o = -156 - -151. Let f be (-1)/(-18)*(-1316)/22. Let k = f - -39/11. Put -2, o, k in decreasing order.
k, -2, o
Let u = -9.55 - -7.5. Let o = 0 - -0.05. Let m = u + o. Put 4, m, 2/13 in descending order.
4, 2/13, m
Let l(b) = b**3 - 6*b**2 + 4. Let m be l(6). Let t(x) = -x**3 + 5*x**2 - 2*x - 3. Let s be t(m). Let p = 7 + -3. Sort s, p, -5 in descending order.
s, p, -5
Suppose -2*q + 5*q = 15. Sort q, 2, 15, 1.
1, 2, q, 15
Suppose 4*y - 3*a = -195, 70 = y - 3*y - 4*a. Let s be (-20)/y - (-4)/(-18). Sort 5, -1, s in decreasing order.
5, s, -1
Suppose 0 = 5*d - 61 - 69. Let a = -79/3 + d. Put 4, a, -5 in decreasing order.
4, a, -5
Suppose 3*v = -3*f + 9, 14 = 3*f - v + 1. Sort 2, 3, -9, f.
-9, 2, 3, f
Let b = -4 - -7. Suppose -j = 2*a, -b*j + j = a. Suppose -6*n - 20 = -n. Put n, a, 3 in decreasing order.
3, a, n
Let n = 51 - 46. Sort n, -2, 4 in increasing order.
-2, 4, n
Let k = 0.02 - -0.1. Let u = 4.88 + k. Let h = u + -5.01. Put 1, -1/4, h in increasing order.
-1/4, h, 1
Suppose -3*p = 2*p. Suppose 0 = 5*u - 3*h - h - 12, 4*u - 5*h = 15. Suppose u*r = -r + 1. Sort r, p, -1 in descending order.
r, p, -1
Let g = -5.53 - -5.3. Let b = 0.4 + -0.43. Let o = g - b. Put o, 2/15, 2 in descending order.
2, 2/15, o
Suppose -2*r - 4*s = 2, -15 - 15 = -3*r + 5*s. Put -5, -2, r in descending order.
r, -2, -5
Let m = -18 - -28. Suppose 2*l - m = -3*l. Put -3, l, -4 in descending order.
l, -3, -4
Suppose -s + 3*s + 4 = 0. Put s, -6, -5 in descending order.
s, -5, -6
Let x(y) = y**2 + 4*y - 2. Let d = 10 - 15. Let a be x(d). Let c be (-1 - -4)*(-2)/6. Sort a, c, -4 in decreasing order.
a, c, -4
Let b = -7 - -9. Let v = -10 - -7.1. Let q = 3 + v. Put q, 0, b in ascending order.
0, q, b
Suppose 5*b + 14 = p, -3*p + 5*p + 17 = -5*b. Put -4, 1, b in increasing order.
-4, b, 1
Let f be ((-1)/(-5))/(-1)*1. Let d = 17.2 - 21. Let o = 4 + d. Put -4/5, o, f in increasing order.
-4/5, f, o
Let a(v) = -3*v - 19. Let r be a(-8). Put -3, -2, 0, r in descending order.
r, 0, -2, -3
Let h = 240 + -230. Suppose x + 3*x - 8 = 0. Sort h, -1, x.
-1, x, h
Let g be ((-2)/7)/(2/(-14)). Let q be -6 + -6*(-1)/g. Sort q, 3, 1 in increasing order.
q, 1, 3
Let h = -91 + 86. Put 3, h, 79 in descending order.
79, 3, h
Let d(l) = -l**3 - 2*l**2 + l + 3. Let h be d(-1). Sort -2, h, 0, -4 in increasing order.
-4, -2, 0, h
Let o = -7 - -10. Let y = o + -2. Let s = 0 + 0. Sort y, s, -0.2 in decreasing order.
y, s, -0.2
Let z = -54 - -53.99. Sort 2, -1/5, z.
-1/5, z, 2
Let t = 3 + -2. Let x = 3 + t. Let q = 4.1 - x. Sort q, 0, -0.3 in descending order.
q, 0, -0.3
Suppose 3*j + 4*o = 5, -5*j = -5*o + o - 19. Suppose n - 7 = -j. Put n, -1, -5 in increasing order.
-5, -1, n
Let n = -6 - -4. Let h = 10 - 6. Sort -4, h, n.
-4, n, h
Let h = 7.005 + -0.005. Sort 5, 0.1, -1, h.
-1, 0.1, 5, h
Let u = 158 + -153. Let m = -9 + 16. Put m, -5, u in decreasing order.
m, u, -5
Let z(o) = -2*o - 2. Let c be z(0). Suppose 0 = -3*k + 4*f - 5, 2*k + 3*f = 3*k + 10. Sort 4, k, c.
c, 4, k
Suppose -2*c = c - 9. Suppose -2 = -c*g + g. Put 4, -4, g in descending order.
4, g, -4
Let q(k) = -k - 8. Let z be q(-4). Let h = 6 + -5.5. Suppose o + 3*o - 5*r = 0, o + 2*r = 0. Sort o, h, z.
z, o, h
Let m be 6/((-48)/(-28)) + -2. Sort 2, 0.2, -2, m in descending order.
2, m, 0.2, -2
Let i(r) = r**3 - 5*r**2 - 5*r - 1. Let o be i(6). Sort 0, -3, 3, o in increasing order.
-3, 0, 3, o
Let m be 6/(-2) + ((-520)/(-15))/13. Put -4/3, m, -0.03 in decreasing order.
-0.03, m, -4/3
Let i = -41 - -29. Let c be (3 + -2)/(3/i). Sort -2, c, 0 in ascending order.
c, -2, 0
Let n = -1 - 4. Suppose 0 = 3*t - 0 + 3. Let r = 0.78 + -0.28. Sort n, r, t.
n, t, r
Let d = -203 + 197.94. Let x = 0.36 + -0.3. Let j = d + x. Sort -4, j, 2/13 in decreasing order.
2/13, -4, j
Let q(j) = -j**2 - 3. Let o be q(0). Let h be 1 + -1*(4 - 1). Let m be (28/21)/(h/3). Sort o, -1, m.
o, m, -1
Let o = -38 + 34. Let u = 6 + -4. Suppose -4*c - 4*s + 30 + 2 = 0, u*c + 5*s = 31. Sort o, c, -3.
o, -3, c
Suppose 0*w = -2*w + 10. Sort -5, 0, w in descending order.
w, 0, -5
Let r = 0.12 - 0.1. Let q = -2.98 - r. Sort q, 1/4, -4.
-4, q, 1/4
Suppose -t + 4*t = 9. Suppose -a + 5*l + 9 + t = 0, 5*a = -4*l + 2. Suppose 4*c + 6 = -2*v, 0*v + 3 = 2*c - 5*v. Put c, a, -4 in descending order.
a, c, -4
Let v = -23 - -23. Sort -4, -3, v in descending order.
v, -3, -4
Suppose -c - 2*h + 2 = 0, -4*c + 8 = -0*c + h. Put -3, c, 0 in decreasing order.
c, 0, -3
Let v = -46/137 + -23334/685. Let f = 34 + v. Suppose -2*k = -5*x + 12, x + 9 = 5*x - k. Sort f, x, -1/5 in descending order.
x, -1/5, f
Let b be (8/(-2) + 4)/(-1). Put b, 2, 4 in increasing order.
b, 2, 4
Let t(l) = 4*l + 3. Let o be t(-2). Put 2, 0, o, -1 in descending order.
2, 0, -1, o
Let x(q) = -q**2 - 2*q + 3. Let t be x(-3). Suppose t*g = -g. Sort -3, 2, g in descending order.
2, g, -3
Let s be 1/((-84)/16)*(-3)/(-2). Sort 1, s, 0.12 in descending order.
1, 0.12, s
Let d = -21.8 - -22. Let x = 6 + -4. Put 1/4, d, x in decreasing order.
x, 1/4, d
Let g(k) = 2*k**3 - 15*k**2 + 5*k + 3. Let v(z) = z**3 - 8*z**2 + 3*z + 2. Let s(q) = -3*g(q) + 5*v(q). Let r be s(5). Put 3, r, -4 in increasing order.
-4, r, 3
Let s(k) = k - 10. Let n be s(15). Suppose 2*f = -p + 3*f - 3, -4*p + 3*f - 7 = 0. Suppose 4*b - 2*b - p = 0. Sort b, n, -3 in ascending order.
-3, b, n
Suppose -2*p + 4*p - 4 = u, -2*p - 5*u = -4. Sort -2, p, 0.
-2, 0, p
Suppose 64 = -h - b, 2*h + 5*b = 3*h + 52. Let f be ((-64)/(-24))/((-4)/94). Let z = h - f. Sort 3/5, 2/7, z in decreasing order.
z, 3/5, 2/7
Let k = -3 - -2. Let m = -1.7 - -2.7. Let u = -8 + 7.7. Sort u, k, m in descending order.
m, u, k
Let u = -0.05 - 0.01. Let f = u - -1.06. Let c = 0.5 - f. Sort c, 0, 3.
c, 0, 3
Let m(a) = a + 7. Let i be m(-6). Let r(g) = 6*g**3 - g**2. Let w be r(i). Put -4, 4, w in decreasing order.
w, 4, -4
Let f(m) = m + 7. Let h be f(-3). Suppose k = 3*k - h. Suppose c + 6 = k. Sort -2, c, -3 in descending order.
-2, -3, c
Let z be (-2)/(-7) + (-231)/(-49). Sort -8/7, 0.3, z, -0.2 in decreasing order.
z, 0.3, -0.2, -8/7
Let m = -12.3 - -12.21. Sort 4, m, 2 in increasing order.
m, 2, 4
Let z(u) = 3*u. Let g be z(0). Sort 3, 1, 5, g in descending order.
5, 3, 1, g
Let p = -5.74 + 10.76. Let h = -5 + p. Let l = -1.02 + h. Put 2, -4/7, l in increasing order.
l, -4/7, 2
Let o(l) = l + 17. Let u be o(-22). Suppose 0 = 3*z - 4*d - 14, -5*d - 6 = 4. Sort u, z, -2.
u, -2, z
Let n = -0.6 - 3.4. Let a be 