 decreasing order.
5, k, -5
Let p = -431 - -8191/19. Put 70, -0.4, p in decreasing order.
70, p, -0.4
Suppose 0*q = 4*q - 20. Suppose 0 = a - 4*x + 18, -a - 2*x - 7 = -1. Let k = q + a. Sort 1, k, -3.
k, -3, 1
Let k be 4/(-18) - (-42)/189. Sort k, -1, 2.
-1, k, 2
Let q = 3 + 0. Suppose -4 = -2*g - q*h, -4*g + 2*h = -0*h - 8. Let z = g - 1. Put 2, z, 3 in descending order.
3, 2, z
Let o be (93/(-21) - -4) + 0. Let x = 79/65 + -8/13. Put x, 1/6, o in increasing order.
o, 1/6, x
Let s(a) = a - 2. Let t(r) = -2*r**2 - r + 1. Let j be t(1). Let q be s(j). Sort -2, 4, q in descending order.
4, -2, q
Suppose 3*i + 13 = -2*z + 38, -3*i = -4*z + 5. Suppose 0*t - 10 = -i*t + 3*x, 0 = -4*x + 20. Let c = 0 + 0. Sort t, 0.2, c in decreasing order.
t, 0.2, c
Let y be (-2)/(-6) + 28/6. Let g = 2/3 - 1/3. Put 2, y, g in descending order.
y, 2, g
Let u = -918/11 + 84. Sort u, -0.1, -1/5, -0.5 in increasing order.
-0.5, -1/5, -0.1, u
Let o be (117/(-27))/(4/(-6)). Put -3/7, o, -1, 5/6 in decreasing order.
o, 5/6, -3/7, -1
Suppose -3*g - 2 = -14. Let a = 3 - g. Put 4, a, -2 in increasing order.
-2, a, 4
Suppose -55 = -0*k + 5*k. Put -2, k, 2 in ascending order.
k, -2, 2
Let x be 6/(-21) + 30/7. Suppose 0 = x*b + 13 - 1. Let j be (8/6)/(1/b). Put 3, j, -1 in decreasing order.
3, -1, j
Suppose -3*c = c + 8. Let q = 3 + -6. Sort -4, q, c in descending order.
c, q, -4
Suppose -5*t - 4*g + 57 = 0, 0 = -t - 4*g + 24 - 3. Suppose 2*v + 23 = -t. Let d be 4/(-6)*6/v. Sort -2, d, 3 in descending order.
3, d, -2
Let b(z) = -z - 8. Let c be b(-11). Suppose 0 = c*t - 4*t. Put 5, t, -4 in decreasing order.
5, t, -4
Let h be 1 + (-4)/6 + (-150)/18. Suppose 2 = -2*x - 0. Put 2, h, x in ascending order.
h, x, 2
Let d = 101 + -101. Sort d, 0.5, -5, 1.
-5, d, 0.5, 1
Let l be ((-2)/(-9))/((-6)/(-9)). Let o = 0.2 + 0.2. Sort l, -3, o in descending order.
o, l, -3
Suppose 0 = -4*w + 4*c + 24, 5*w + 5 = 4*c - 6*c. Put w, -2, -1, -3 in descending order.
w, -1, -2, -3
Let u = -1.1 - -1.17. Put u, -4, 3/2 in increasing order.
-4, u, 3/2
Let x = -0.19 - -13.19. Let c = -9 + x. Sort c, 0.4, 1 in descending order.
c, 1, 0.4
Let v(z) = z**2 - 1. Let m(l) = -2*l**2 + 13*l - 11. Let i(b) = m(b) + v(b). Let s be i(12). Sort s, -1/5, -0.4 in decreasing order.
s, -1/5, -0.4
Suppose -3*z = -5*z - 10. Suppose 0 = -v + 2*b - 5, 18 = -4*v + 5*b + 4. Put z, v, -4 in ascending order.
z, -4, v
Let k = 4.04 - 0.04. Let m = k - 3. Sort m, -2/5, 3/8 in descending order.
m, 3/8, -2/5
Let l = 1 + -6. Suppose 4*n + 65 = -n. Let s = -8 - n. Put 0, l, s in decreasing order.
s, 0, l
Let c be ((-22)/(-12))/(-11)*-2. Let n = -0.4 + 0.2. Let f = 1.4 + -1. Sort c, f, n.
n, c, f
Let u = 29 + -5. Let d = -24.3 + u. Let p = 0.01 - -2.99. Sort -5/2, d, p in descending order.
p, d, -5/2
Let l = -18 - -19. Put 0.5, -0.03, l in descending order.
l, 0.5, -0.03
Suppose -4*u = -3*a, 2*a + 3*u + u + 20 = 0. Let c be 0 - -2 - (-2 + 1). Sort -5, c, a in decreasing order.
c, a, -5
Let f = -41 - -40. Sort 1, f, -11 in ascending order.
-11, f, 1
Suppose 0 = 5*b - 2 + 7. Let p = -4 + 5. Put 2, p, b in decreasing order.
2, p, b
Let z(p) be the second derivative of p**5/20 - 3*p**4/4 + p**3 + 11*p**2/2 - 2*p. Let y be z(8). Sort y, -2/5, 4 in decreasing order.
4, -2/5, y
Let r be (16/(-140))/((-4)/(-20)). Put 2/11, r, -12 in decreasing order.
2/11, r, -12
Let r(x) = 3*x + 2. Let h be r(-2). Let d = -42 + 24. Let n = 23 + d. Put n, h, -7 in increasing order.
-7, h, n
Let i = 1 - -4. Let h(c) = c**2 + 7*c - 8. Let a be h(-8). Suppose o - 7 + 9 = a. Put -4, i, o in descending order.
i, o, -4
Let x = 44 + -49. Sort x, 0.24, 0.2, -3 in decreasing order.
0.24, 0.2, -3, x
Let g = -8 - -6. Sort 0, g, 3 in decreasing order.
3, 0, g
Let h be -2*(-2 + (-18)/4). Let o = 64/5 - h. Sort o, 0.3, 1.
o, 0.3, 1
Let b = -62 - -181/2. Let w = -28 + b. Let g = -0.4 - -0.3. Sort 0.2, g, w in decreasing order.
w, 0.2, g
Suppose -3*j + 2*i = -5*j - 2, 2*j + 4*i - 2 = 0. Let r(t) = t**3 - 3*t**2 - 3*t - 2. Let u be r(4). Suppose 0 = p + 3 + 1. Sort j, u, p.
p, j, u
Suppose -3*g - 14 - 2 = -5*u, -5*g + 25 = 2*u. Sort 2, -1, u in descending order.
u, 2, -1
Suppose z + 2*f = -3*z, 4*z - 3*f = -20. Suppose 0 = 4*t - 5 - 3. Suppose 2*h + t*h - 16 = 0. Put h, 1, z in ascending order.
z, 1, h
Let r(d) = 2*d - 7. Let p be r(6). Let a(z) = z**2 - 3*z - 5. Let o be a(4). Put o, p, 1 in descending order.
p, 1, o
Let l = -12 - -11. Put l, -8, 3 in ascending order.
-8, l, 3
Let x = -1.961 + -0.039. Sort 2/9, -11, x.
-11, x, 2/9
Let u(t) = -t + 7. Let w be u(2). Suppose -2*q + 8 - 2 = 5*d, 5*q = -w*d. Sort q, -3, 1 in increasing order.
-3, q, 1
Let n = 57 + -64. Sort n, -0.2, -2 in decreasing order.
-0.2, -2, n
Let j = 0.2 + 0.3. Let c = -15 + 13. Let m = c - 0. Sort m, -3/7, j in descending order.
j, -3/7, m
Let h = -2.01 + 0.01. Put h, 5/2, 0.2 in descending order.
5/2, 0.2, h
Let v = 8.66 + 0.34. Sort 0.3, 1, v.
0.3, 1, v
Let g(h) = h + 1. Let i be g(0). Sort -4, 5, i, 8.
-4, i, 5, 8
Suppose -3*l + 3 = -2*l. Put l, -1, 0.3 in descending order.
l, 0.3, -1
Let o be (-8)/10*(-10)/4. Suppose o - 1 = u. Put u, 5, -5 in ascending order.
-5, u, 5
Suppose 0 = 2*q + 11 + 9. Let m be (-1 - 14/q)*1. Let s = 1.9 + -1.6. Sort m, s, -5 in descending order.
m, s, -5
Suppose -7*i + 4*o = -2*i - 31, 3*o + 21 = 3*i. Let h be (-2)/11 - (-2768)/(-11). Let a = 252 + h. Sort i, -1/6, a in descending order.
i, a, -1/6
Suppose -2*i + i + 488 = -r, -5*i - 3*r = -2408. Let y be (4/i)/(2/(-4)). Let b = y - 224/1089. Sort 2, 0, b in decreasing order.
2, 0, b
Suppose 0 = k - 4 - 2. Suppose -5*t - 26 = -k. Put t, 5, -5 in decreasing order.
5, t, -5
Suppose 4*s = s - 3. Let k = 7 + -2. Let v = k + s. Sort 1, -3, v in descending order.
v, 1, -3
Let j(c) = c + 1. Let a(m) = -5*m - 1. Let o(z) = a(z) + 6*j(z). Let q be o(-5). Put 4, q, 5 in decreasing order.
5, 4, q
Let f be 6*((-3)/(-6) + 2). Suppose -39 + f = 4*t. Let x = t - -3. Put x, -2/7, 3/4 in descending order.
3/4, -2/7, x
Let y(r) = r**3 - r - 9. Let d = -3 - -3. Let p be y(d). Sort 5, p, 1 in decreasing order.
5, 1, p
Let m = 20 + -21.6. Let b = m - -2. Let f = -131/3 - -44. Put -5, b, f in descending order.
b, f, -5
Suppose -3*g + 5*b - 6*b = 1, 0 = 2*b - 4. Sort -4, g, -3 in descending order.
g, -3, -4
Suppose 39 = 6*z + 9. Put z, 6, 2 in decreasing order.
6, z, 2
Let v = 6 + -8. Let b = 9 + -7. Sort v, -0.4, b in decreasing order.
b, -0.4, v
Let g = 10.1 + -2.1. Let a = -1.3 - -0.3. Put a, g, 0.3 in decreasing order.
g, 0.3, a
Let b = -0.5 + -0.5. Let s = b - -3. Let w = s + 3. Put w, 3, -3/5 in decreasing order.
w, 3, -3/5
Suppose -s + 10 = 2*d, -5 = -3*s - d - 0*d. Let g(m) = 0*m**3 - 5 + 9 - m**3 + m. Let u be g(s). Put -4, 1, u in descending order.
u, 1, -4
Let h be 3/(-12) - 14/40. Let m = 2.7 - -2.3. Sort -5, m, h in descending order.
m, h, -5
Suppose -o + 10 = o. Suppose -2*i = -5*q - 3*i + 5, -4 = -4*q + o*i. Put -1, -3, q in increasing order.
-3, -1, q
Let u(b) = 2*b - 6. Let q be u(3). Put 1, q, 3 in ascending order.
q, 1, 3
Let k be (-16)/6*(-12)/(-8). Suppose -2*a + 3*q = 2*q - 5, -2*a = 2*q + 10. Sort 3, k, a in descending order.
3, a, k
Suppose 0 = a + 5*r - 45, 3*r + 0*r = -2*a + 125. Let q = a + -492/7. Sort -1, 1/5, q in decreasing order.
1/5, q, -1
Let n = 0.57 + 0.03. Let i = -1.9 - -1. Let s = i + n. Sort 3, -2/7, s in increasing order.
s, -2/7, 3
Suppose -3*d + 1 = -5. Sort -1/5, 1, d.
-1/5, 1, d
Let s = 0.25 - 0.65. Sort 0.4, -5, s in decreasing order.
0.4, s, -5
Let v(k) = -k - 1. Let d be v(0). Let g be d/(-2 - 38/(-18)). Let j = 10 + g. Put 2, -4, j in decreasing order.
2, j, -4
Let i = 7 + -6.94. Let k = i + 0.24. Let b = 4.61 - 5.11. Sort k, 0.1, b.
b, 0.1, k
Let o = 0.1 + -0.3. Let d = 0.03 - 0.05. Let r = -3.02 - d. Sort 4/7, o, r in decreasing order.
4/7, o, r
Suppose -2*c + 2*q = 200, -4*q - 4 - 226 = 2*c. Let u be c/(-14)*4/(-6). Sort u, 5, 0 in decreasing order.
5, 0, u
Let p(f) = f**3 - 7*f**2 + 9*f - 13. Let r be p(6). Put -2, -6, r in decreasing order.
r, -2, -6
Suppose g - 4*g = -15. Let q be (8/5)/(-4)*g. Let o = q - 3. Sort 2, o, -1 in increasing order.
o, -1, 2
Let g = -148 - -144. Sort -1, 1, g in descending order.
1, -1, g
Suppose -5*z + 3 = -2. Let p = -1 + 1.1. Let r = -0.1 + p. Sort -3, z, 