 -1 - y. Sort 1, l, m.
l, 1, m
Let u be ((-1)/(-2))/((-4)/(-56)). Suppose -u - 13 = -4*b. Suppose b*x = -2*m - 12, 17 = -x + 2*m + 5. Put 1, x, 2 in ascending order.
x, 1, 2
Let m = -113 + 112.6. Sort m, 2, -4/5 in decreasing order.
2, m, -4/5
Let p = -49 + 54. Put -4, -2, p, -1 in increasing order.
-4, -2, -1, p
Let d = 147 - 146. Put d, -4, -3, -8 in decreasing order.
d, -3, -4, -8
Let t = 7 + -10. Let l be 2 - 1 - (-1)/1. Suppose 0*w + 8 = l*z - w, -z - 5 = -5*w. Sort t, -4, z.
-4, t, z
Let p = 94 + -92. Sort -1/3, -0.03, p in increasing order.
-1/3, -0.03, p
Let u = 6 + -4. Let j = 1 - u. Let w = j + 2. Sort 10, w, 0 in decreasing order.
10, w, 0
Let p = 32 - 37. Let r = -3.15 + 0.1. Let m = -3 - r. Sort m, p, 1/5 in descending order.
1/5, m, p
Let x = 3/5 - 17/20. Put -4/5, -0.5, x, -2/3 in ascending order.
-4/5, -2/3, -0.5, x
Suppose -2*w = -3*w - 5. Let i = -1.7 - -1.8. Put -3, i, w in ascending order.
w, -3, i
Let n = -0.2 + 0.2. Let x = 88.2 + -88. Put x, n, -0.1 in descending order.
x, n, -0.1
Let w = 0.5 + 0.3. Let y = 0.036 - 4.836. Let i = w + y. Put i, 5, 0.2 in decreasing order.
5, 0.2, i
Let z = 6 - 2. Let m = z - 4. Suppose m*n + 3*n = 0, -2*g - n + 6 = 0. Sort g, 5, -5.
-5, g, 5
Let f = 11.98 + 0.02. Let u = f + -7. Put u, 1/2, 1/9 in decreasing order.
u, 1/2, 1/9
Let k(y) = y**3 + 6*y**2 - 3*y - 12. Let z be k(-6). Put z, -2, 4 in decreasing order.
z, 4, -2
Suppose -i + 3 = 2*f, 4*i + 5*f - 6 = -0*i. Sort 1, 2, i.
i, 1, 2
Let r be (-2 + (-145)/(-35))*4/10. Put r, 3/4, -0.4, 1/4 in decreasing order.
r, 3/4, 1/4, -0.4
Let y = 92 - 90. Sort -3, 7, -2, y in descending order.
7, y, -2, -3
Let z be (-5)/3 + (-1)/3. Suppose 7*x - 16 = -58. Sort z, -3, x in ascending order.
x, -3, z
Suppose u + 2 - 9 = -2*n, -5*n = 3*u - 18. Sort -1, u, 0 in ascending order.
-1, 0, u
Let y be 2 - ((-1 - -1) + 1). Let a be 28/6 - (-6)/(-9). Sort -4, a, y.
-4, y, a
Let v = -0.85 + 0.05. Let w = 1 + v. Sort w, -0.5, -3/8 in descending order.
w, -3/8, -0.5
Let z = -46 + 275/6. Sort 23/3, 0.3, z.
z, 0.3, 23/3
Let r(g) = -g**3 - 7*g**2 - 5*g + 2. Suppose 4*m - 56 = -4. Let j = -19 + m. Let p be r(j). Put -2, 0, p in ascending order.
p, -2, 0
Suppose -s + 0 = 1. Let p be s/(-2) - (-15)/6. Sort -4, -5, p.
-5, -4, p
Let o = -35 + 62. Sort -2, -1, o in decreasing order.
o, -1, -2
Let f be 3 + -7 - (0 + 1). Sort 27, -1, f in descending order.
27, -1, f
Suppose 4*u - 2*b = -40, 4*u - 6*b + 42 = -3*b. Let q = 5 + u. Put 0, q, -5 in increasing order.
-5, q, 0
Let l be (-53)/17 - (-62)/527. Sort 5, 7, l, 0 in descending order.
7, 5, 0, l
Suppose -3*l - 15 = -6. Sort -1/6, l, 2, 4 in decreasing order.
4, 2, -1/6, l
Suppose -4*y + 0 = 20. Suppose -f - a = 0, -2*a = -5*a - 15. Sort f, 3, y in increasing order.
y, 3, f
Let i = -6.4 + 6. Let u be ((-1)/1)/(5/3). Put 0.5, u, i in increasing order.
u, i, 0.5
Suppose -3*z + 0*f + 3 = 3*f, -26 = 4*z - 2*f. Suppose 7*o - 2*o = 10. Sort -1, z, o in decreasing order.
o, -1, z
Let j be 0/(-1 - (-2 - 1)). Suppose z - 3 = -3*f, j = z + 4*f - 4. Sort -2, z, 3 in decreasing order.
3, z, -2
Let p = 18 + -17. Put 0, p, -2 in decreasing order.
p, 0, -2
Suppose -2*m + 2*d = 6, 0*d = -2*m - 2*d - 2. Let a be (-5 - -4)/((-1)/(-4)). Sort 2, m, a.
a, m, 2
Suppose -2*o = 5*i - 4, 10 = 5*o + 3*i - 5*i. Put o, -4, 3 in increasing order.
-4, o, 3
Let p be ((-2)/3)/(10/(-75)). Sort -3, p, 3 in descending order.
p, 3, -3
Let u(y) be the second derivative of y**4/4 + y**3/6 + 3*y. Let w be u(1). Put 5, 1, w in descending order.
5, w, 1
Let s(t) = 9*t - 1. Let w be s(1). Let k be 2/w*12/3. Suppose -q + 12 = -3*n, 3*q = -5*n - 3 - 3. Sort n, 3, k in ascending order.
n, k, 3
Let k be (-2)/5 + 22/5. Let p = 16 - 13. Sort 1, k, p in descending order.
k, p, 1
Let i = -33 - -33. Sort 0.5, i, -1/11, -0.01.
-1/11, -0.01, i, 0.5
Let d = 24 - 38. Let s = d - -10. Put -1, s, 4 in ascending order.
s, -1, 4
Let i = -4.93 - -5. Let j = i - 0.37. Let d = -0.1 + 0. Put -1, j, d in ascending order.
-1, j, d
Let f be (1/(9/(-12)))/2. Suppose 5*c = -3*g - g - 672, -381 = 3*c - 5*g. Let m = 1190/9 + c. Put m, 3, f in decreasing order.
3, m, f
Let q = 151.2 - 151. Sort 6, q, -5 in increasing order.
-5, q, 6
Let g = -11981 + 179647/15. Let h = -13/3 - g. Sort 2, h, 5 in decreasing order.
5, 2, h
Let g = 7 - 103/15. Let s = 0.5 + -0.3. Let y = -16/9 + 139/63. Put y, g, s in descending order.
y, s, g
Let c be ((-1)/(-3))/(7/63). Suppose 0 = -c*t - 2*t + 5. Put -2, -1, t in descending order.
t, -1, -2
Let m be (-2 - 45/(-21))*1. Sort m, 2, -0.1 in descending order.
2, m, -0.1
Let u(x) = 3*x**3 - x**2 + 1. Let c be u(-1). Let n(v) = -v**3 + 3*v**2 + 57*v + 13. Let i be n(-6). Sort c, i, -4 in descending order.
c, -4, i
Let y = -7 + 3. Let g be (0/2)/(2 - 3). Suppose g*x = -x. Sort x, 4, y in ascending order.
y, x, 4
Suppose 2 = 3*v - 4*v. Let f = 19 + -15. Put -0.5, v, f in increasing order.
v, -0.5, f
Suppose y - 16 = 5*y. Let g(j) = -j - 1. Let b be g(y). Put -1, -2, b in descending order.
b, -1, -2
Suppose 26 = 4*i - 2*n, 11 = 2*i + n - 0. Suppose -i*o + o = 20. Let q be 24/(-4)*(-1)/(-3). Sort q, -3, o.
o, -3, q
Let f = 7/2 + -3. Suppose -10 = -4*r - r + a, -r = -5*a - 26. Sort r, 3, f in descending order.
3, r, f
Let u(v) = v**3 - 4*v**2 - v + 4. Let z = -3 + 7. Let n be u(z). Suppose 0*p + p + 5 = 0. Put n, -3, p in descending order.
n, -3, p
Let t be ((-4)/(24/9))/((-3)/(-4)). Put t, -8, -4, 4 in descending order.
4, t, -4, -8
Let w be 6/((-14)/(-4) - 2). Suppose -18*j + 8*j - 10 = 0. Sort 1, j, w in decreasing order.
w, 1, j
Suppose -w + 4*w = -4*t - 11, -13 = 5*w + 4*t. Let p = w + 2. Let b(l) = l - 5. Let h be b(5). Sort 4, p, h in ascending order.
h, p, 4
Let y(k) = k**3 + 5*k**2 - 5*k + 7. Let g be y(-6). Suppose -13 = -2*i + g. Suppose i*z - 2*z = 0. Sort 3, z, 2 in ascending order.
z, 2, 3
Let b = -2/3 + 13/15. Let f be 16/30 - 2/(-15). Sort b, f, 2 in increasing order.
b, f, 2
Suppose 0*p - 3*p + 9 = 0. Sort p, 2, 0.1 in descending order.
p, 2, 0.1
Let w = -22 + 20. Sort w, 12, -0.4 in decreasing order.
12, -0.4, w
Let g = 1/64 + 7/64. Sort g, 5, 2/7, -2/9.
-2/9, g, 2/7, 5
Suppose -5*d - 6 + 1 = 0, 2*d - 13 = -3*c. Sort 3, c, 4, -10 in descending order.
c, 4, 3, -10
Suppose 0 = -2*u + 1 - 3. Sort -4, u, -5 in descending order.
u, -4, -5
Let n(i) = -i**3 + 2*i**2 + 2*i + 3. Suppose -3 = 5*w - 18. Let c be n(w). Let r be 45/(-39) + c + 1. Put r, -3/7, 5 in increasing order.
-3/7, r, 5
Let a = 2 + -2.1. Let s = -0.2 - a. Let i = -2/5 + 4/5. Sort -1/6, i, s.
-1/6, s, i
Suppose -i + 12 = 3*i. Let x be 4/(-10) + (-68)/(-20). Let m be (x*2)/((-3)/2). Sort i, 2, m in ascending order.
m, 2, i
Let a = -1352/3 + 451. Let j be (3/(-2))/((-9)/4). Sort j, a, 0.09 in ascending order.
0.09, a, j
Suppose -7 = -2*s - 1. Suppose 5*b = -2*h - 14 - 31, -5*b = h + 45. Let q be 1/(-3) - (-6)/b. Sort q, -2/7, s in decreasing order.
s, -2/7, q
Let l = 33 + -33.34. Let n = 0.06 - l. Let p = n + -0.5. Put -2, 1, p in descending order.
1, p, -2
Let v(w) = -w**3 + 5*w**2 + 3*w - 6. Let i be v(3). Sort -1, -2, 5, i in descending order.
i, 5, -1, -2
Suppose -2*i - 26 = -4*p - 0*i, 3*p + 2*i - 2 = 0. Suppose -3*a - 4*m + 4 = -2*a, p*a + m = -14. Let b = -13 - -14. Sort -1, a, b in ascending order.
a, -1, b
Suppose -12 = -4*p - 4*h, 5 - 1 = 2*p + 4*h. Suppose -5*a - p = -14. Put -5, 4, a in descending order.
4, a, -5
Suppose 3*o + 327 = -3*t, -o - 17 = 3*t + 82. Let w = 1484/13 + o. Sort -2/11, -1, w in descending order.
w, -2/11, -1
Suppose 0*d + 4*b = -4*d, -4*d - 4 = 3*b. Put d, 3, 5, -30 in descending order.
5, 3, d, -30
Suppose -9 = -j - 12. Sort 5, 3, j in decreasing order.
5, 3, j
Suppose -4 + 2 = -x. Let j = x + -4. Put 3, 4, j in increasing order.
j, 3, 4
Suppose -5*c = b - 2*c - 11, -2*b = -5*c. Let r be (-4 - -4)/(2 - 3). Let k = r + 4. Put -3, b, k in increasing order.
-3, k, b
Let i(g) = -g + 8. Let m be i(13). Put -4, -2, 2, m in descending order.
2, -2, -4, m
Let l = 0.81 + -3.81. Put -1/3, 4, -1.2, l in decreasing order.
4, -1/3, -1.2, l
Let i = 0.4 + -0.2. Let f be 10/(-45) + 500/(-18). Let l be (1 - (-20)/f)*-1. Put -2, l, i in descending order.
i, l, -2
Let y = -1 + 3. Put y, 0, -4, -3 in descending order.
y, 0, -3, -4
Let g(r) = -r**3 - 5*r**2 - r - 3. Let f be g(-