2)/((-10)/4). Sort k, i, -1.
-1, i, k
Let a(n) = -n - n**3 - n + n**2 + 5 + n. Let s be a(0). Let d(g) = g**3 + 4*g**2 + 3*g + 1. Let x be d(-3). Sort x, s, 4 in decreasing order.
s, 4, x
Let w = 4.06 + -0.06. Let m = -3 - -3. Sort m, w, 2.
m, 2, w
Let m = -2 - -4. Let c = m + -1.6. Put 5, -0.4, c in decreasing order.
5, c, -0.4
Let j = -0.074 + -0.326. Put 0.06, j, -4/7, 1/3 in decreasing order.
1/3, 0.06, j, -4/7
Let c be (-4 - 3/3)/1. Let l(h) = -h. Let g(j) = 2*j + 4. Let x(z) = -g(z) - 3*l(z). Let i be x(6). Sort 0, i, c.
c, 0, i
Let l = 11 + -15. Let k = 743 - 742.8. Sort l, 5, k in decreasing order.
5, k, l
Suppose 2*g + 1 + 11 = 0. Let j = g + 3. Let p be 2*j*1/(-21). Put p, -2, 3 in descending order.
3, p, -2
Let q be ((-4)/16)/((-3)/132). Suppose 4*w + 0*p + q = -p, -3*w - 12 = -3*p. Sort 2/7, w, -0.1 in descending order.
2/7, -0.1, w
Suppose 0 = -5*u + 40 - 0. Suppose 0 = u*t - 3*t - 25. Put t, -3, -5 in increasing order.
-5, -3, t
Let s be 18/(-27) - (-28)/6. Let i(y) = y**2 + y - 4. Let t be i(2). Let j(h) = 2*h**3 - 3*h**2 + 1. Let w be j(2). Sort w, s, t in decreasing order.
w, s, t
Let r(p) = 6*p + 1. Let o be r(-1). Let k be (-4 - -3) + (-3)/9. Sort o, k, -3 in decreasing order.
k, -3, o
Let d = 0.12 - 9.12. Let z = d - -9. Let k be ((-2)/10)/((-6)/5). Sort k, 1/5, z.
z, k, 1/5
Let l be (-5)/(-4)*(-5 - -1). Let d = -323 - -324. Sort l, d, -1.
l, -1, d
Suppose -3*k + 2*k - 3*r + 19 = 0, -4*k - 2*r + 26 = 0. Suppose -k*l = -7*l - 6. Sort 3, 2, l.
l, 2, 3
Let p = 1/30 - -19/30. Sort p, 1, -1 in increasing order.
-1, p, 1
Let s = 2/25 + 19/75. Put 2/15, 1/5, s, 0.5 in descending order.
0.5, s, 1/5, 2/15
Suppose -q - 4*q = 2*p - 4, -q + 2*p + 8 = 0. Suppose -q*d = -4*d. Let a = 2162/9 + -240. Sort d, -0.2, a in increasing order.
-0.2, d, a
Let z(r) = -r**3 + r**2 + 3*r - 4. Let w be z(2). Put w, 0, 4, -4/3 in decreasing order.
4, 0, -4/3, w
Let y be 1*(-3)/(2/(-2)). Let b = -2 - -2.1. Let h = b - -0.4. Sort -1, y, h in descending order.
y, h, -1
Suppose 0*g + h = 5*g - 15, 0 = g - 4*h - 22. Let v be (2 + 0)*5/g. Suppose 8*f + 20 + 4 = 0. Put 0, v, f in descending order.
v, 0, f
Let g(r) = r**3 - 5*r**2 - 3*r - 12. Let l be g(6). Put l, -4, -2 in ascending order.
-4, -2, l
Let r be 1 + -2 - -4*1. Suppose 0 = -k - r*o - 1, -o + 5 = k - 0*o. Suppose d + k = -d. Put -3, d, 2 in decreasing order.
2, -3, d
Let c(o) = o**3 + o**2 + o - 3. Let z be c(0). Suppose 0*w + 5 = -5*w. Put 1, z, w in increasing order.
z, w, 1
Let z = -1120/11 + 102. Put z, 1/3, -4, 2 in descending order.
2, 1/3, z, -4
Let l(v) = -v**2 - v + 1. Let q be l(-2). Let f = 0.2 + 1.8. Let x = 2.2 - f. Sort -3, x, q in increasing order.
-3, q, x
Suppose 8 + 2 = s - 4*y, 4*y = -16. Let u be (-2)/s - (-3)/(-9). Let l = 4 - 1. Put l, -1, u in ascending order.
-1, u, l
Let w = 5 + -2. Suppose t + 2 = 3*t - w*f, -3 = -3*t - f. Suppose -3*z = -0*z - 2*l - 15, 0 = 3*z + 3*l. Sort t, z, 0 in increasing order.
0, t, z
Let a = -1825.07 + 1825. Let l = 0.5 + 0. Let w = 0.3 - l. Sort a, w, 1 in descending order.
1, a, w
Let o = 63 - 377/6. Sort -0.4, 3/7, o, 0 in increasing order.
-0.4, 0, o, 3/7
Let l(a) = -2*a - 5. Let u be l(-5). Suppose -3*z - 2*z = 0. Suppose 0*h - h + u = z. Put h, 0, 4 in descending order.
h, 4, 0
Let l = -9 - -4. Let t be 21/35 - 2/l. Let s be t/((-12)/(-34)) - 3. Put 2/5, s, -0.3 in decreasing order.
2/5, s, -0.3
Let x = 64.14 - 64. Put x, 4, -0.1 in descending order.
4, x, -0.1
Let f = -127/4 + 897/28. Let a = 0.08 - -3.92. Sort f, a, 1/2 in descending order.
a, 1/2, f
Let m(n) = -n**3 - 2*n**2 + 3*n + 2. Let h be m(-3). Let u be h/(-3) + 5/(-15). Let d be u*(2 - (-22)/(-12)). Sort -0.5, d, 1 in ascending order.
-0.5, d, 1
Let j = 2 + -1. Let i be 28/(-6) + 2/3. Let q = i - -7. Put 0, q, j in descending order.
q, j, 0
Let d be 1 - (-4 - (-21)/3). Sort d, 10, 0.
d, 0, 10
Suppose -2*b = 3*o + 23, -4*b = -2*b - o + 3. Put 4, 3, b in descending order.
4, 3, b
Suppose c = 5*l - 10, -2*l + c = 2*c - 4. Put -5, 0, -1, l in decreasing order.
l, 0, -1, -5
Let c be (-2)/(-10)*(-2 + 0). Let k = 0 + 5. Suppose 0 = 2*y - j + 11, -6*j = 5*y - 2*j - k. Put 0.1, c, y in decreasing order.
0.1, c, y
Let d = 0 + 1. Let a(n) = n**2 + 4*n. Let g be a(-3). Let q = 8 - 3. Put g, d, q in decreasing order.
q, d, g
Suppose 3*w + w - 8 = -4*g, 4*w - 5*g = 8. Put 3, 0, w in descending order.
3, w, 0
Let m(v) = 2*v**2 - 13*v + 2. Let c be m(6). Put 2, 5, c in descending order.
5, 2, c
Let o be -2*2/4*1. Put o, -3, 0 in ascending order.
-3, o, 0
Suppose 0*m - 5*s = -m - 4, -4*s + 7 = 3*m. Sort m, -1/7, -0.025, 0 in decreasing order.
m, 0, -0.025, -1/7
Let m = -10 + 10. Let v(z) = -z**3 - 3*z**2 + 2*z + 1. Let p be v(-3). Let u = 2 + p. Sort 5, u, m in increasing order.
u, m, 5
Let z(g) = -g - 8. Let o be z(-11). Suppose o*q + 12 = -5*v, 4*q - 4*v - v = 19. Sort -4, q, -1.
-4, -1, q
Suppose -4*x = -3*x + 1. Suppose -75 = 13*m - 10. Put m, x, -3 in decreasing order.
x, -3, m
Let b(n) = 3*n**3 + 4*n + 3. Let q be b(-3). Let s be (-2)/8 - q/(-24). Suppose 3*i + 5*g + 31 = 0, -3*i - 4*g = -i + 24. Put i, 3, s in decreasing order.
3, i, s
Let m = 52 + -55. Let y = 0 - 0. Put -1, y, m in decreasing order.
y, -1, m
Suppose 3 = -t + 1, 2*w = 4*t + 4. Let b = w - -7. Let n be (0 + -3)/(6/(-4)). Sort n, b, 4.
n, 4, b
Suppose 3*x - x = -18. Sort 1, -5, x, -2 in ascending order.
x, -5, -2, 1
Suppose -4*d = -10 + 2. Suppose -3*z = 0, d*z - 16 = 4*j - 0*z. Sort j, 5, 4 in ascending order.
j, 4, 5
Let c = 2 + -2.4. Sort 5, -0.2, c in descending order.
5, -0.2, c
Let s(u) = 2*u**3 + 3*u**2 + 3*u + 3. Let a be s(-2). Sort a, 1, 2 in descending order.
2, 1, a
Suppose 0*r = -3*r. Let d = -102 - -99. Sort -4, r, d.
-4, d, r
Let w(z) = 2*z + 5. Let y be w(-4). Let x be 2/(-6) + 38/y. Let l = x + 9. Sort -1, -5, l in descending order.
-1, l, -5
Let q = -24 - -23. Sort -0.3, q, 0 in ascending order.
q, -0.3, 0
Let y(l) = l**3 - 7*l**2 - 7*l - 4. Let i be y(8). Put -5, i, 0 in descending order.
i, 0, -5
Let t = -11 - -10.55. Let a = 0.05 + t. Sort 3, a, -0.02.
a, -0.02, 3
Let x = -13 - -11. Let r be x/1 + (-24)/(-10). Put -5/2, r, -5 in descending order.
r, -5/2, -5
Suppose 0 - 3 = -3*t. Sort 5, -5, t, 6.
-5, t, 5, 6
Let i(w) = -w**2 - 14*w - 32. Let p be i(-11). Suppose -2*u = -u - 2. Sort p, 0, u in descending order.
u, p, 0
Let i = 5 - 5.3. Let p(l) = -l - 2 + 2. Let r be p(2). Sort -4, r, i in increasing order.
-4, r, i
Suppose t = 3*t + 8. Let c = -11 - -15. Sort 1/4, c, t in decreasing order.
c, 1/4, t
Suppose -56 = -5*v - 2*u, 11 + 7 = 3*v - 4*u. Suppose -2*p + 31 - 1 = -4*t, p - t = v. Let c = -2 - -3. Sort 3, p, c in decreasing order.
p, 3, c
Let x = 0.2 + -0.3. Suppose h = k + 2*k - 12, 3 = 3*k + 2*h. Let i be ((-54)/(-15) - k)/1. Sort x, 5, i in decreasing order.
5, i, x
Let h be (-19)/(-5) - (1 - 18/15). Sort h, -2, 6 in increasing order.
-2, h, 6
Let k(h) = -h**3 + 10*h**2 + 11*h + 3. Let b be k(11). Suppose o - v + 24 = 4*v, -12 = -b*v. Sort o, 5, 2 in ascending order.
o, 2, 5
Suppose 0 = 4*a - 4*f - 8, -4 = -5*a + f + 26. Suppose -a = 3*p + 8. Sort p, 4, -2/5 in descending order.
4, -2/5, p
Let z = 3 - -1. Sort z, 1, -3 in decreasing order.
z, 1, -3
Let o = -1.9 - 0.1. Let x = o - -2.2. Sort 2, x, -0.5 in increasing order.
-0.5, x, 2
Let o be 1/(2*3/(-24)). Let m be 2 + o - (2 + 0). Let s = -0.6 - -1. Sort 0.1, m, s in decreasing order.
s, 0.1, m
Let f = 50 - 51. Let v = 8 - 1. Suppose n + 3*r = -v, 7 = -0*n - 2*n + r. Put n, -3, f in ascending order.
n, -3, f
Let t = 125 - 124. Put 0, t, 14 in descending order.
14, t, 0
Let p = 17 - 12. Suppose -2*q = -5*j - 9, -5 + 14 = j + p*q. Put -4, j, 3 in ascending order.
-4, j, 3
Let u be 1/(-4*(-3)/264). Let o = u - 12. Sort o, 3, 5.
3, 5, o
Let l = 0.25 - 0.1. Let f = -0.11 + l. Sort 3, -1, f in descending order.
3, f, -1
Let x(a) = -a**2 - a + 18. Let d be x(0). Let v be (-47)/(-9) - 4/d. Sort v, 3, 0 in descending order.
v, 3, 0
Let u = 30.6 + -31. Sort u, 1/5, -1 in increasing order.
-1, u, 1/5
Let f = -1084/6877 + 2/529. Sort f, -4, 0.9 in decreasing order.
0.9, f, -4
Suppose 0 = -4*b - h - 2*h - 27, 4*h + 32 = -4*b. Let d be 2 + 0/(4 + -3). Let y be 2/((-2)/6 - -1). Sort d, y, b in descending order.
y, d, b
Let a = -37 - -38. Sort 5, a, -1/5.