ut -3, k, j in decreasing order.
j, k, -3
Suppose 3*l - 12 = -3*o - l, -l + 12 = 3*o. Sort -8, o, -2, 5 in descending order.
5, o, -2, -8
Let k = 0.39 + -0.09. Let s = 0.14 - 0.2. Sort s, k, -3.
-3, s, k
Let g(j) = j**2 - 11*j + 12. Let b be g(9). Let y = b - -6. Sort 0.4, y, 2/3.
y, 0.4, 2/3
Let z = 1.31 + -0.81. Let x = 0.9 + -1. Let v = x - -4.1. Sort v, z, -0.1.
-0.1, z, v
Let n(w) = 3*w**2 + 1. Let t be n(-1). Sort -1, t, 0 in ascending order.
-1, 0, t
Suppose 0*n + n + 5 = 0. Sort -6, n, -2 in descending order.
-2, n, -6
Let f = 18 - 13. Let m = 241/6 - 40. Put -5, m, f in decreasing order.
f, m, -5
Let c = 0.394 + -0.094. Put -3/5, -4, c, 2/15 in descending order.
c, 2/15, -3/5, -4
Let o = 52/87 - -2/29. Sort o, 1.5, 0.5, -0.3 in decreasing order.
1.5, o, 0.5, -0.3
Let r = 2.6 - 3. Let v = -548/21 + 77/3. Let h = -42 - -127/3. Put v, r, h in descending order.
h, r, v
Suppose 5*u = -5*r + 20, 3*u - 5*r = -2*u - 20. Sort u, 5, 3, 6.
u, 3, 5, 6
Let h(y) = 2*y - 7. Let r be h(6). Suppose 4*p - r*p + 4 = 0. Put 2, 1, p in decreasing order.
p, 2, 1
Let o be 6/(-7) + (-4 - -5). Let a = 3 - 2.8. Sort o, a, -3.
-3, o, a
Let s = 4 - 3.9. Let x = -3 + 2.8. Let f = x - -0.1. Sort f, s, -5.
-5, f, s
Suppose 0 = -0*b + 4*b - 4. Let f be (6/4 + -1)*6. Suppose -2*h - f*h - 20 = 0. Sort b, h, -1.
h, -1, b
Suppose 3*f - 5*k - 5 = -2*f, -3*f + 15 = 3*k. Let a(c) = -c + 5. Let t be a(5). Suppose t = -3*r + q, 4*q = 4*r - 2*r - 10. Sort f, 0, r.
r, 0, f
Let w = 4 + -9. Sort 2, w, -1 in descending order.
2, -1, w
Let v be (-1)/2*13/((-364)/16). Suppose -5*i + 2*j = 1 + 9, 0 = 3*i + 2*j + 22. Sort v, i, 4.
i, v, 4
Let n = 69 + -68. Put n, 2, -1 in decreasing order.
2, n, -1
Let f = 0.01 + -5.01. Let t = 4.01 - 0.01. Let x = -0.7 + -0.3. Sort f, t, x in ascending order.
f, x, t
Let o = -43 + 46. Let c = 4 + 0. Suppose 0 = c*n + 3 + 1. Put 4, o, n in increasing order.
n, o, 4
Let m be 24/(-20) - (-1 + (-36)/(-20)). Let j = -10 - -5. Suppose 4*w + 0*k - 2*k + 14 = 0, 3*w - 2 = -k. Sort j, m, w in descending order.
w, m, j
Let f(g) = -g**3 - 2*g**2 + 3*g - 4. Let p be f(-3). Put p, 0, 2 in decreasing order.
2, 0, p
Let y = -17 + 10. Let w be (-1)/y*(-4)/4. Put -2/7, w, 0 in ascending order.
-2/7, w, 0
Suppose -2*z + 10 + 22 = 0. Suppose 2*q + b = 5*b - 16, z = q + 4*b. Let n be 18/15*25/(-10). Put -5, q, n in descending order.
q, n, -5
Let a = -13 - -14. Let z = 7.3 + -7. Put z, a, -4 in decreasing order.
a, z, -4
Let u(d) be the second derivative of d**5/20 - d**4/2 + d**3 - d**2/2 - 2*d. Let s be u(5). Suppose -8 = 5*c - 3. Sort s, 1, c.
c, 1, s
Suppose -4*v = -3*f, 0*v = 2*v - f. Let s(p) = 6*p**3 + p**2 + p + 1. Let m be s(-1). Let z be -6 + 6/(-2)*-1. Sort m, z, v in increasing order.
m, z, v
Let v = 0.295 - 0.295. Let b = 9 - 4. Sort 3, b, v in decreasing order.
b, 3, v
Let o be (-14)/(-8) + (-3)/(-12). Let c be (-9)/(-18) + (-5)/o. Sort -3, c, 3 in ascending order.
-3, c, 3
Let g be -2*39/6 - 1. Let m = g + 10. Put -1, m, -5 in increasing order.
-5, m, -1
Let g = 0 + -0.2. Let j = 2.6 + -2.5. Put g, -0.4, j in ascending order.
-0.4, g, j
Let b = 26/31 - 120/217. Let z = 2 + -2. Put b, 4, z in increasing order.
z, b, 4
Suppose 14 = 4*p - 2. Sort p, -15, -2/5 in decreasing order.
p, -2/5, -15
Let y = 17 - 16. Put y, -3, 5 in descending order.
5, y, -3
Suppose -5*r = 15, -3*f + 4*r = -0*f - 6. Put f, 0, -4 in decreasing order.
0, f, -4
Let c be 14/5 + 3 + -5. Let i = 153 + -150. Sort c, i, 0.03.
0.03, c, i
Suppose -10*x + 128 = 78. Suppose 5*m + 8 = m. Let y be (3/(-1))/(m + 3). Sort 3, x, y in descending order.
x, 3, y
Let n(j) = -5*j**3 + j**2. Let p be n(-1). Let t = -12 + p. Let u(v) = -v**2 - 5*v + 4. Let d be u(t). Sort d, 2, 0.
d, 0, 2
Let p = -0.2 - -0.1. Suppose -2*n - 15 = -w - 0*n, 3*w + 3*n = 0. Let q = 42 + -41.7. Put p, w, q in ascending order.
p, q, w
Let f = -24 - -21. Sort 0, f, -4 in descending order.
0, f, -4
Let n = -24 + 24. Sort -0.2, n, 0.09 in ascending order.
-0.2, n, 0.09
Let u = 11 + -10.6. Put -6, u, -2, -1 in decreasing order.
u, -1, -2, -6
Let v be 2/(-4)*(9 - -1). Let l be (-2)/(-8) - 177/(-12). Suppose t = -3*w + 5*w + 7, -l = -3*t + 4*w. Sort t, 5, v.
v, t, 5
Suppose 2 = 2*m + 6. Sort 3, m, 5 in decreasing order.
5, 3, m
Let p be 7 - 2*3/(-2). Suppose -7*g = -2*g + p. Put g, -0.1, 0.01 in descending order.
0.01, -0.1, g
Let j(z) = -z**3 - 7*z**2 + 7*z - 4. Let g be j(-8). Suppose -3*h - 1 = 2*m, -3*m + 0*m = -3. Sort g, h, 2 in increasing order.
h, 2, g
Suppose 3*a - 16 = -4. Let d(i) be the first derivative of i**2/2 + 3*i + 1. Let t be d(-5). Sort t, 0, a in ascending order.
t, 0, a
Let n(a) be the third derivative of -a**4/12 - 5*a**3/6 - 6*a**2. Let l be n(-5). Let y be -1 + ((-24)/(-2))/3. Put y, 1, l in ascending order.
1, y, l
Let c = -0.3 + 0.5. Let g = 0.1 + c. Let k = 0.1 - -0.4. Put k, g, 0.2 in descending order.
k, g, 0.2
Suppose 3*p + 28 = p. Let i = p + 10. Sort -2, i, -3.
i, -3, -2
Let a be ((-1)/2)/((-4)/48*-6). Suppose 0 = 5*u + 5*b - 10, -4*u + 6*b = 2*b. Sort -5, u, a.
-5, a, u
Let i = 104 + -104.5. Put i, 0.1, 0.3, -0.4 in ascending order.
i, -0.4, 0.1, 0.3
Suppose 8*o = 13*o - 5. Put 0.3, o, 0.5, -2.3 in ascending order.
-2.3, 0.3, 0.5, o
Let y = -25 + 24. Put -2, y, -0.2 in increasing order.
-2, y, -0.2
Let w be -5 + (-2)/(-2) - 1. Let z = -12 + 12. Put w, -4, z in decreasing order.
z, -4, w
Let p be 6/(-9) - 2/6. Suppose -2*l + 22 = 18. Put p, -0.2, l in decreasing order.
l, -0.2, p
Let u be 5/(-1)*(-20 + 21). Let n = 3 + 0. Sort n, -0.01, u in ascending order.
u, -0.01, n
Suppose 4*d + 7 = -3*j + 3*d, -3*j = 4*d + 10. Sort 0, j, -1 in decreasing order.
0, -1, j
Let h = -8.3 + 4.4. Let t = 4 + h. Let u = t + -0.2. Sort u, -2/23, -1/7 in increasing order.
-1/7, u, -2/23
Suppose l - 3*l = -2*g + 6, g + 13 = -3*l. Sort -13, 2, -1, l in increasing order.
-13, l, -1, 2
Let i be ((-12)/8)/((-1)/(-2)). Let v be -2*(3 - i/(-6)). Put -2, -0.3, v in decreasing order.
-0.3, -2, v
Let m be -1 - 0 - 0/1. Let h be 9*1*(-1)/(-3). Put h, m, 5 in increasing order.
m, h, 5
Let a = 6 + -10. Let x(y) = -y - 6. Let t be x(-9). Suppose -t*w = w + 12. Sort w, a, -1 in decreasing order.
-1, w, a
Suppose -3*b = -b + 14. Sort b, 0, -5, -3 in descending order.
0, -3, -5, b
Suppose i + 8 = -4*r, -4*r + 2*r = 5*i - 14. Let z be (-1)/(r/(-9)*-1). Sort -5, z, -4.
-5, -4, z
Let x(l) = l + 9. Let q be x(7). Suppose 2*i - q = 6*i. Let n be 154/30 - (-11)/(990/(-12)). Sort i, n, 4.
i, 4, n
Let u = -0.5 + 0.2. Let y = -0.564 + 0.064. Sort y, 0.1, u in ascending order.
y, u, 0.1
Let g = -0.8 - -1. Let b = -0.2 - g. Let q = 0 - -0.2. Put b, q, 0.5 in decreasing order.
0.5, q, b
Let h be (-1*(5 + 1) + 4)/5. Sort 5, h, -1/2 in decreasing order.
5, h, -1/2
Let t = 12 + -6. Let j = t - 6. Sort j, 1/3, -2 in decreasing order.
1/3, j, -2
Suppose -4*b - b - 20 = 0, 0 = -j - 3*b - 12. Suppose j = 2*t - 2 - 2. Let c = 1/131 + -533/1179. Sort t, -5/4, c.
-5/4, c, t
Let y = 0.28 + -14.28. Let u = -10 - y. Sort u, -5, -2/9.
-5, -2/9, u
Let f(p) = -2*p. Let m(w) = -w**3 - 2*w**2 + 3*w - 1. Let c be m(-3). Let q be f(c). Sort -1, q, 1 in increasing order.
-1, 1, q
Let b = -0.048 + 1.048. Sort b, 1/2, 2/3 in increasing order.
1/2, 2/3, b
Let g(n) = -5*n**2 + 6 + 4*n**2 - 3 + 4*n - n**3. Let a be g(-2). Sort 5, -5, a in decreasing order.
5, a, -5
Suppose 0 = 3*k - 4*k. Suppose -3 + k = 3*m. Let a be (0 - m) + 2/1. Sort -1, a, -2 in descending order.
a, -1, -2
Let u be ((-1)/(-1))/(1/(-3)). Let d(k) = -2*k + 6. Let w be d(4). Let o be ((-2)/5)/(w/(-20)). Sort o, -1, u in increasing order.
o, u, -1
Suppose 2 = 5*y + w, y + 2*y + 2*w + 3 = 0. Let h be (2*1/1)/((-4)/4). Put -5, y, h in descending order.
y, h, -5
Suppose f + 1 = 3*y - 9, -12 = 3*f. Suppose 5*o - 22 = -y. Suppose 2*c = -0*c - 4. Sort o, c, 3 in increasing order.
c, 3, o
Suppose 7*n - 3*n = 5*v - 16, -3*n + 4*v - 12 = 0. Sort 0, n, -2.
n, -2, 0
Let d(g) = -9*g + 15. Let q(x) = 5*x - 8. Let o(p) = -6*d(p) - 11*q(p). Let v be o(5). Let c = -11 - v. Sort c, 5, 2.
c, 2, 5
Let u = 0 - 0.2. Let w(g) be the second derivative of g**4/12 + g**2/2 + 3*g. Let h be w(-1). Sort h, u, 3.
u, h, 3
Suppose -5*h + 8 = -7. Suppose 0 = -z - 1, 3*j - 13 = -z - z. Sort -2, j, h.
-2, h, j
Suppose 15 = -y + 4*y. Let