 -t - k. Sort t, u, 5 in decreasing order.
5, t, u
Let r be (-7)/21 + 10/3. Suppose c + r*o = 22, 3*c = -2*c - o + 124. Suppose 0 = 3*g - 8*g - c. Sort -7, 4, g.
-7, g, 4
Suppose -13 = -4*v + 3. Let j be 5 + -4 - 5/v. Sort 1/4, -2/7, j in descending order.
1/4, j, -2/7
Let k = -467/1057 + 2/151. Let z = 38/27 + -2/27. Put 1, z, k in increasing order.
k, 1, z
Let p(t) = t**2 + 3. Let x be p(0). Sort x, 5, 4.
x, 4, 5
Let k(o) = o**3 + 7*o**2 - 8*o. Let f be k(-8). Sort 4, 1, f, 2 in decreasing order.
4, 2, 1, f
Let h = -2 + 2.4. Let d = -4 + 2. Let u = 2.1 + d. Sort -0.5, h, u.
-0.5, u, h
Let m be ((-3)/8)/(69/92). Sort -2, -8, -0.3, m in increasing order.
-8, -2, m, -0.3
Let b = -2 + -3. Let h = b + 1. Let o = -1.05 - -0.05. Sort 0, h, o in decreasing order.
0, o, h
Let t(x) = x + 3. Suppose 2*l = -4*h + 8, -2*l - 3*h + 5 = -0. Let o be t(l). Suppose -5*d = -24 - o. Put 3, 4, d in descending order.
d, 4, 3
Let b = 53 - 50. Put b, -8, 2, 1 in decreasing order.
b, 2, 1, -8
Let r be ((-4)/(-2))/(4/6). Suppose -28 = -h - r*h. Let m = h + -6. Put m, -0.4, -0.5 in increasing order.
-0.5, -0.4, m
Let s(u) = 4*u + 11. Let o be s(-4). Let w(l) = -l + 7. Suppose 3*m + 13 = 2*d, m + 38 = 5*d + 12. Let x be w(d). Sort x, -2, o in decreasing order.
x, -2, o
Let w(z) = -z**2 + 2*z + 1. Let x be w(-1). Let c(y) = 3*y + 3. Let m be c(x). Let k = 4 + -2. Put 5, k, m in decreasing order.
5, k, m
Let f be (-10)/15 + 20/3. Let t be (-5)/(-20) + f/(-16). Sort -0.5, 4, t.
-0.5, t, 4
Suppose k = -4*w + 12, -2*w - 8 = -4*k + 4. Let u be 1*1*1/(-2)*6. Sort -4, u, w in decreasing order.
w, u, -4
Suppose 0 = s - c + 5*c - 7, 5 = 3*s - 4*c. Suppose -s*w = 3*k + 12 + 6, -2*k - 4*w = 20. Put 5, 1, k in decreasing order.
5, 1, k
Let c = 5 - 8. Suppose -2*a - j = -15, -2*a + 0*a = -j - 13. Suppose -3 = r - a. Sort r, c, 1 in decreasing order.
r, 1, c
Let k = -45 + 47. Sort 3/8, 2/11, k in ascending order.
2/11, 3/8, k
Suppose 3*y + 4*b = -4 + 17, -b = 2*y - 7. Suppose 7*t + 15 = 4*t + y*r, 0 = -2*r + 10. Sort t, 3, 5 in descending order.
5, 3, t
Let a = 0.5 + 0.1. Let s = a - 4.6. Let b = 0.2 + -1.2. Sort b, 0.5, s in ascending order.
s, b, 0.5
Suppose 19 - 4 = -3*l. Let c(t) be the third derivative of -t**5/60 + t**4/3 + t**3/2 + 3*t**2. Let y be c(8). Put 4, y, l in increasing order.
l, y, 4
Let u be (12/(-15))/(1/5). Put u, 0.3, -2 in decreasing order.
0.3, -2, u
Let l = -25 + 24.7. Sort -3, -5, l in decreasing order.
l, -3, -5
Let p = 7 - 5. Put -0.4, p, -0.1 in decreasing order.
p, -0.1, -0.4
Let u be 1*(214 + 0)/2. Let l = 987209/13 - 76046. Let n = u + l. Sort 3/2, -3, n.
-3, n, 3/2
Suppose 5*a = -22 + 2. Let u = a - -9. Let t = 5 + -3. Put t, u, 4 in increasing order.
t, 4, u
Let u = 4 - 2. Put -2, u, -4 in decreasing order.
u, -2, -4
Let g be (-25)/4 - 1/(-4). Let a = 1 + g. Sort -4/7, a, -3 in decreasing order.
-4/7, -3, a
Let a(o) = -o**3 - 7*o**2 + o + 2. Let l be a(-7). Sort -4, 1, l in descending order.
1, -4, l
Let b(j) = -j - 3. Let z be b(-5). Let l be -10*(12/8)/(-3). Put z, -2, l in decreasing order.
l, z, -2
Let j = 63 + -66. Sort 0.6, -0.5, j, 2/11 in descending order.
0.6, 2/11, -0.5, j
Let g = 0.721 - 0.221. Let o = 2 + 0. Suppose 2*i = -0 + 2. Put i, o, g in descending order.
o, i, g
Let y be 20/(-72) + 2/4. Let q = -1 + -5. Let o = q - -1. Put y, -0.4, o in descending order.
y, -0.4, o
Let f be 1366/8 - 4/(-16). Let m be 6/f*(-8)/(-10). Let s = 2/19 + m. Sort -2/9, s, -1 in descending order.
s, -2/9, -1
Let l be 6*(0 - 3/6). Let w be (-4)/12 + (-7)/l. Let s(v) = -v**2 - 2*v + 4. Let k be s(-3). Put w, k, -4 in increasing order.
-4, k, w
Let c = 3 - -1. Suppose 0*p - 2*p - 4 = 0, 0 = 2*u - 3*p. Sort u, c, -2 in decreasing order.
c, -2, u
Suppose -t + 2 = -2*t. Let n = 4 - 8. Sort -3, t, n in decreasing order.
t, -3, n
Let f = 0 + 4. Let v = -4.5 + f. Put -1/5, v, -1/6 in descending order.
-1/6, -1/5, v
Let k = 28 - 33. Put 6, -0.3, k in increasing order.
k, -0.3, 6
Let n = -54 - -56. Put -7, -1, 0, n in increasing order.
-7, -1, 0, n
Let l = 7 - 11. Let t = -7.2 - 0.8. Let y = t - -5. Put y, l, 1 in increasing order.
l, y, 1
Let i be 4/(-14) - (-112)/49. Put 4, 0, i in decreasing order.
4, i, 0
Let v = 0.07 - -0.33. Let a = -2 - -1.8. Sort a, v, -0.4 in increasing order.
-0.4, a, v
Suppose 8 = -o + 2*b, -3*o + 2*b + 3*b - 21 = 0. Suppose -2*t - s = -10, 10 + 6 = 5*t - 2*s. Sort 5, t, o in descending order.
5, t, o
Suppose -4*m = m - 5. Let s = -4 + m. Sort s, 0, -4 in increasing order.
-4, s, 0
Let v = 0.06 + -0.56. Let j = v - -0.4. Put j, -5, 0 in increasing order.
-5, j, 0
Let a be (1/1)/(3/6). Let u(x) = -2*x**2 + 9*x + 8. Let s be u(5). Let b be -3 + 1 + (-1 - -2). Put a, s, b in descending order.
s, a, b
Let p be 7/((-546)/12) + (-435)/(-39). Sort 2, p, -1/2 in ascending order.
-1/2, 2, p
Let a = -13 + 13.072. Let k = -0.482 + a. Let b = k + 0.01. Put 2/7, 0.4, b in ascending order.
b, 2/7, 0.4
Suppose 1 = 4*f + 13. Let x be 2/(-18) - (-2 - (-34)/18). Put 5, f, x in decreasing order.
5, x, f
Let r = 0.06 - -0.01. Put 0.4, r, 2/13 in descending order.
0.4, 2/13, r
Let h be (-24)/(-13) + 18/117. Suppose 0 = -m - 3*i - 14, h*m + 5*i + 12 = 3*i. Suppose -3*w + 3 = -0. Sort -0.3, m, w in descending order.
w, -0.3, m
Let s(z) = 2*z + 2. Let p be s(3). Let v be 2/p - 30/24. Put 5, v, 0.5 in descending order.
5, 0.5, v
Let x = 5 + -2. Let p = 7 - x. Put -4, p, 2/13 in decreasing order.
p, 2/13, -4
Let o be 42/42 - 5/8. Suppose 2 = 3*g - 2*a - 5, 0 = -2*a - 10. Sort o, 13, g.
g, o, 13
Let n = 23 - -13. Suppose -s - 2*y - 12 = 0, -4*s - 2*y - 3*y = n. Let i be (-4)/(-5) + s/6. Put 0.4, 5/2, i in decreasing order.
5/2, 0.4, i
Suppose 5*k - 116 = -4*f, 8 = -0*f + 2*f. Suppose 7*s - 2*s = k. Let l be 39/(-18) - 1/(-6). Sort s, l, -5 in decreasing order.
s, l, -5
Let i(h) = h + 1 - 1 - 2. Let k be 0/((-2)/(-4)*2). Let l be i(k). Put 1, -3, l in decreasing order.
1, l, -3
Suppose 0 = -11*m + 8*m - 9. Sort 0.5, m, -5.
-5, m, 0.5
Suppose -2 - 1 = -i. Sort -2, -4, i in decreasing order.
i, -2, -4
Let o = -449 + 9427/21. Put o, 4, 26/3 in ascending order.
o, 4, 26/3
Suppose 0*v - 19 = 3*l + v, l + v + 9 = 0. Put 3, 7, -3, l in decreasing order.
7, 3, -3, l
Let y(h) = h**2 - 2*h. Let x be y(2). Let g = -0.492 - 0.008. Sort x, g, -4 in increasing order.
-4, g, x
Let m = -3 - 1. Let q = -0.4 - -0.51. Let p = -0.01 + q. Put 4, m, p in increasing order.
m, p, 4
Suppose -p = -6*p - 10, 6 = q - 4*p. Let n be (-5)/56 - q/(-7). Sort n, 2, 3 in ascending order.
n, 2, 3
Suppose 10 = -2*d + 4. Put 1, d, 4, 2 in descending order.
4, 2, 1, d
Let c = 10 + -9.6. Let p be ((-5)/10)/(2/(-12)). Sort p, c, 2 in decreasing order.
p, 2, c
Suppose 3 = -0*z - z - 2*v, -9 = -4*z - v. Let q(f) = -5*f + 124. Let w be q(25). Put 4, w, z in ascending order.
w, z, 4
Suppose 1 - 13 = -3*h. Let i = 56 + -56. Suppose 4*d - 2*m = d + 4, i = 2*d - h*m + 8. Put -4, -3, d in decreasing order.
d, -3, -4
Let g = 7 - 3. Let f = -14 + 3. Let i = 8 + f. Sort 2/13, g, i in increasing order.
i, 2/13, g
Suppose 48 + 9 = 3*s. Suppose -4*k - s = 1. Sort 4, -2, k in descending order.
4, -2, k
Suppose -11*i = -20 + 9. Let j(b) = -2*b + 6. Let o be j(4). Put i, 4, o in increasing order.
o, i, 4
Let i = -54 + 54.1. Let q = 7 + -3.5. Let w = -3 + q. Put i, w, 5 in increasing order.
i, w, 5
Let d = -11 - -17. Let g = -8 + d. Suppose -4*w - 4*f - 14 = -6*f, -2*w = -4*f + 4. Sort 1, g, w in ascending order.
w, g, 1
Let z = 2.1 - 2. Let a = -0.94 - 0.06. Sort a, z, 2/9 in decreasing order.
2/9, z, a
Suppose 0 = -2*d - 0*d - 162. Let l be 2/(-6)*d/36. Put -3, l, 2 in descending order.
2, l, -3
Suppose -5*i + o + 41 = 0, 5*i - 4*o = o + 25. Suppose 3 = -4*g - i. Put 2, -5, g in decreasing order.
2, g, -5
Let k = -35 + 104/3. Put k, 2, 5/3, 0.1 in decreasing order.
2, 5/3, 0.1, k
Suppose v + 8 = 11. Let o(j) = -2*j + 3. Let q be o(4). Put q, 2, v in increasing order.
q, 2, v
Let j = -2.7 - -2.4. Suppose -5*x + 2*x - 6 = 0. Let z be (x/(-2) - 0)*3. Sort z, j, 2 in decreasing order.
z, 2, j
Let q = 0 + -5. Let h(c) = -c + 4. Let w be h(6). Let z = -0.08 + -0.02. Put q, w, z in descending order.
z, w, q
Let y be 1 + 1/(18/(-20)). Let i = 46 - 413/9. Let j be -3 + (-12)/(-9) + 2. Sort j, i, y in descending order.
j, i, y
