.
s, m, 1/3
Let y = -7 + 5. Let c be (-236)/(-24) - 3/(-18). Let s = c + -7. Sort s, -1, y in decreasing order.
s, -1, y
Let y = 13 - 11. Let c be 7/3 + (-4)/(-6). Put 0, y, c in descending order.
c, y, 0
Let h = -0.96 - 0.04. Let x = 4 + h. Put -3, 1, x in descending order.
x, 1, -3
Let n = 4.7 - 4.9. Sort -5, 5, n, -0.3.
-5, -0.3, n, 5
Let k be (-1 + 0)/((-3)/(-15)). Sort 1, k, 0 in increasing order.
k, 0, 1
Let b be 55/(-25) - (-1 + -1). Put b, -3, -4 in decreasing order.
b, -3, -4
Suppose 5*i - 17 = -2*s, -i - 13 = -2*s - 2*i. Let w be (6/9)/(s/(-27)). Put -4, -1, w in decreasing order.
-1, w, -4
Let x = -22 + 18. Put -1, x, -1/2, 10 in decreasing order.
10, -1/2, -1, x
Let f = 28 + -13. Suppose 0 = -5*i - 0*i + f. Let x(t) = -t**2 - 6*t - 2. Let l be x(-6). Put i, -4, l in increasing order.
-4, l, i
Let y = -3 + 5. Suppose 12 = y*z + s, -2*z = 2*z - 5*s - 10. Put 0, 1, z in descending order.
z, 1, 0
Let w be 2/(-13) + -4 + 216/52. Sort w, 5, 6 in increasing order.
w, 5, 6
Suppose -2*r + 1 = -h, 1 = -r + h + 2. Let u = r + 1. Sort -4, -1, u in increasing order.
-4, -1, u
Suppose -5*i - 20 = 5*y, y = 3*y - 5*i - 6. Let u(h) = -2*h**2. Let r be u(1). Let v be 7/(-2) - r/4. Put 4, v, y in ascending order.
v, y, 4
Let z be 2/(-8) - 5/(-4). Let u(s) = s + 23. Let j be u(-18). Put z, -2, j in decreasing order.
j, z, -2
Let g = -0.2 + 0.21. Let k = g + 0.39. Sort 6/7, -3, k in descending order.
6/7, k, -3
Suppose 2*s + 30 = -3*d + 12, 2*s + d = -14. Let n be (s/5)/((-6)/20). Suppose 0 = 4*x - 3*x + 3*h - 9, 5*x - 12 = -n*h. Put x, -3, -4 in increasing order.
-4, -3, x
Suppose -4*i + 3 = 2*p + 9, 0 = -4*p + 2*i - 42. Let r be 2/(-4) - p/42. Put 1, r, -0.1 in ascending order.
r, -0.1, 1
Let q be (10/25)/(2/20). Suppose q*l + 5*o = 2*o - 43, 2*o = -10. Let p be l - -5 - 16/(-9). Sort p, -0.1, -0.5 in descending order.
-0.1, p, -0.5
Let a(o) = o**3 + 9*o**2 + 3. Let t be (-20)/(-30) + (-29)/3. Let k be a(t). Suppose k = -n + 1. Put -5, n, 4 in descending order.
4, n, -5
Let t = -10 - -9. Sort 6, -2/5, t.
t, -2/5, 6
Let p(b) = b**2 + 12*b + 13. Let u be p(-11). Sort -4, -1, -3, u in ascending order.
-4, -3, -1, u
Suppose 0 = 3*p - 12, 2*u + 5*p - 15 = 7. Put u, 0.5, 3, -1 in ascending order.
-1, 0.5, u, 3
Let m = -2 + 11/5. Sort m, -2/11, 4.
-2/11, m, 4
Let f = -0.1 + 0.2. Suppose 5 + 3 = 4*k. Let d be k + -3 - 8/(-10). Sort f, 6/5, d in ascending order.
d, f, 6/5
Let i = 69/77 + -5/7. Suppose 3*x + 10 = d, 2*x - 1 + 16 = -d. Let u be (-16)/5 + (-1)/x. Put u, -2, i in descending order.
i, -2, u
Let o(t) = -t**2 - 8*t - 5. Let i be o(-8). Sort i, 3, 4 in descending order.
4, 3, i
Let a = 53 + -58. Put -2, a, 5, 2 in decreasing order.
5, 2, -2, a
Suppose -b + r = -10, 11*b - 5 = 6*b - 4*r. Put -5, b, -1 in decreasing order.
b, -1, -5
Suppose 39*y - 20 = 35*y. Put -5, 0, y, -3 in ascending order.
-5, -3, 0, y
Let t(n) be the first derivative of -n**2/2 - 2*n - 4. Let f be t(-3). Put f, 5, 2 in decreasing order.
5, 2, f
Suppose -15*j + 20 = -11*j. Let g = 0 - -1.6. Let q = -0.4 - g. Sort -0.5, q, j.
q, -0.5, j
Let v be 0 + 4 + -10 - -3. Let c be v*(4/12)/1. Sort -4, c, 1 in ascending order.
-4, c, 1
Suppose 3*y + 20 = 5*c + 8*y, -c + 3 = 2*y. Sort 0, 6, c.
0, c, 6
Let o = 8 - 6. Let t be 23/7 + o/(-7). Sort 3/7, t, -0.4 in descending order.
t, 3/7, -0.4
Let v = -2 - -4. Let x = 1 - 2. Put v, x, 1/6 in descending order.
v, 1/6, x
Let o(j) = -j**3 - j**2 + j + 1. Let x be o(-1). Let g be (2 + x)/((-20)/(-6)). Sort g, -6, 2 in increasing order.
-6, g, 2
Suppose -5*a + 4*b = -25, -4*a + b = -17 - 3. Let n = -7 + 11. Suppose -u = n*u - 5. Sort -3, a, u.
-3, u, a
Suppose 2*q - 8 = 4*q. Sort -5, q, 1.
-5, q, 1
Let n be 15/(-12)*(-5 - -1). Put -3, -1/8, n in decreasing order.
n, -1/8, -3
Suppose -5*h = 2*i - 28, 4*i - 20 = -0*i - h. Let m = 10 + i. Suppose 5*d = -4*o + m, d - 4*o - 1 = -3. Put -5, -1, d in ascending order.
-5, -1, d
Let n be (-135)/(-105)*4/6. Sort -0.4, 0.5, n.
-0.4, 0.5, n
Let m(n) = 0 - 7*n - 2*n**2 - 2 + 4 + 3*n**2. Let i be m(6). Sort 0, i, -2 in ascending order.
i, -2, 0
Let v = 30 + -16. Let x = -14.3 + v. Put x, 4/7, -0.05 in increasing order.
x, -0.05, 4/7
Let n be 6/(-21) - (-32)/14. Let f be ((-4)/(-16) - n) + 2. Put f, -3/8, -3 in increasing order.
-3, -3/8, f
Suppose -2*z - 4 = -2*h, -6 = -0*z - z + 5*h. Let f(k) = 3*k + 1. Let c be f(1). Sort c, 5, z in increasing order.
z, c, 5
Let g = 0.49 + -0.09. Put 1, 3, 2/19, g in increasing order.
2/19, g, 1, 3
Suppose 4*q = -3*w + 9, 0 + 6 = 2*w + 5*q. Let l = -7 + w. Let k(h) = 2*h + 22. Let f be k(-9). Sort l, f, 1 in descending order.
f, 1, l
Let x = -0.09 - 3.91. Sort -4/5, -3, x in descending order.
-4/5, -3, x
Suppose 0 = 5*g - 10 - 10. Suppose 4*n - 36 = -0*n. Suppose -g*j = -n*j. Put 4, j, -5 in increasing order.
-5, j, 4
Let s(p) = -p**3 + 2*p**2 + 3*p - 4. Let l be s(2). Put 1, l, 5 in ascending order.
1, l, 5
Let v be (1/(-1) + 2)*0. Put 0.2, -4, v in decreasing order.
0.2, v, -4
Suppose -35 = -5*s - d + 5*d, -s + d = -8. Put s, 1, 4 in descending order.
4, s, 1
Let r be 2/4*32/(-112). Put r, -0.4, 0.1 in descending order.
0.1, r, -0.4
Let z = 1.3 - 2.5. Let y = -1.6 - z. Sort 2/9, y, -5 in ascending order.
-5, y, 2/9
Let r(n) = 2*n - 6. Let u be r(4). Suppose -3*o - 1 = -u*o. Put o, 4, 3 in descending order.
4, 3, o
Let m = -17 - -22.5. Let y = m + -0.5. Let u be (-3)/((-135)/5)*-3. Sort u, -2, y in descending order.
y, u, -2
Let p = -49 + 52. Sort 5, p, 2, 0 in decreasing order.
5, p, 2, 0
Suppose 5*m - 7 = -u - 2, 20 = 5*m + 4*u. Put 5, -4, m, 3 in decreasing order.
5, 3, m, -4
Let o = 4 + -4.3. Let n = -1 + 4. Let b = n + -3.4. Put b, -1/6, o in decreasing order.
-1/6, o, b
Let t = 779954923607/124228635 - 789723/135769. Let m = -18817/3 + t. Let c = m + -2/61. Put -1/3, 0.4, c in descending order.
0.4, c, -1/3
Let m = 22.9 - 22. Let b = m + 5.1. Let x = 2 - b. Sort x, 0.2, -3 in increasing order.
x, -3, 0.2
Suppose 0*z = 5*z - d - 6, 3*z - 22 = -4*d. Sort 1, -3, z, 5 in decreasing order.
5, z, 1, -3
Let w = 2 + -2.5. Let m = 3.4 + -3. Sort w, m, -1 in increasing order.
-1, w, m
Let g = 5 + -4. Let k be -3 + 4/(g - 3). Put k, 4, 1 in ascending order.
k, 1, 4
Let d be (9/(-5 + 2))/(-1). Suppose 5*i + d = 18. Let u = 8 - 6. Put i, u, 1 in descending order.
i, u, 1
Suppose -3*f - 234 = -2715. Let g = f + -26467/32. Let i = 11/32 + g. Sort i, -0.3, -0.2.
-0.3, -0.2, i
Let b = 3 + -1. Suppose -5 = 2*d + b*r - 3, 5*r - 7 = d. Sort d, -3, 0.1 in decreasing order.
0.1, d, -3
Let z = 20 - 15. Let i be 10/z - 3/1. Sort i, 2, 3 in ascending order.
i, 2, 3
Let s = 1 - -11. Let l = 17 - s. Let z = 1 - l. Sort 5, z, 0.
z, 0, 5
Suppose -3*h + 5*x = -7, -4*x + 0*x = -h. Let l(i) = -7*i + 0*i**3 + 8*i**2 + h*i**3 - 2 - 5*i**3. Let o be l(7). Put o, -1, 2 in descending order.
2, -1, o
Suppose 0 = -240*s + 238*s + 6. Let t(v) = -v - 10. Let b be t(-8). Sort b, 5, s in ascending order.
b, s, 5
Suppose v + 7 = -3*h, -3*h - 18 = 5*v + 5. Let d be 5/20*v/(-6). Put d, 4, -5 in increasing order.
-5, d, 4
Suppose 0 = l - 7 + 3. Suppose -35 = 5*o - 5*p, -l*o + 3*p = -0*p + 23. Sort -3, 1/3, o in descending order.
1/3, o, -3
Let d be (33/(-55))/(0 - (-2)/5). Let u = -3 + 5. Sort u, 0.2, d in descending order.
u, 0.2, d
Suppose -15*j = -11*j - 12. Suppose -j*y = y + 12. Sort 0, y, -1 in increasing order.
y, -1, 0
Let q = -60 - -62. Put q, -0.11, 2/15 in descending order.
q, 2/15, -0.11
Let b be (1 + 2/(-4))*-2. Let n = 23 - 23. Suppose 6*t - 5 - 19 = n. Sort t, 2, b in descending order.
t, 2, b
Let z = 16 + -29/2. Sort z, 2/25, 0, -2/11 in descending order.
z, 2/25, 0, -2/11
Suppose -3*c + 4*q = 29, 5 + 0 = 5*c + 4*q. Sort -9, 3, 0, c in ascending order.
-9, c, 0, 3
Let h(m) = 6*m - 41. Let n be h(7). Let j(b) = -b**3 + b**2 + 2. Let a be j(0). Put a, -3, n in increasing order.
-3, n, a
Suppose 0 = 5*l + 10 + 5. Suppose 72 = -2*k + 68. Sort k, l, 5 in ascending order.
l, k, 5
Suppose 35 - 10 = -5*v. Sort 5, v, 8 in increasing order.
v, 5, 8
Let a = -24 - -36. Sort 3, 5, a, -5 in descending order.
a, 5, 3, -5
Suppose 2*g = 22 + 8. Let v be (1/g)/(20/(-50)). Sort -0.8, -2, v in increasing order.
-2, -0.8, v
Let z(q) = q**3 - 4*q**2 + 5*q - 4. Let c be z(3). Suppose s + 0 - c = 0. Suppose 3*v + 17 = 5*