reasing order.
5/3, -0.1, c
Let s = 2 + 2. Let k = -2.99 + 3. Let q = k + -0.51. Put q, s, 1 in descending order.
s, 1, q
Let m(h) = -h**2 - 6*h + 10. Let x(r) = r**3 - 5*r**2 - 7*r - 1. Let z be x(6). Let k be m(z). Let v = 0 + 1. Sort v, k, -4 in decreasing order.
k, v, -4
Let o = 2.3 + -12.2. Let v = -10 - o. Suppose -2*x = 2*x + 16. Sort 0.1, x, v in decreasing order.
0.1, v, x
Suppose -5*w + 0*w + 60 = 0. Suppose 7*x - 3*x - w = 0. Sort x, -3, 2/17 in descending order.
x, 2/17, -3
Let l(s) = 2*s + 1. Let n be l(4). Suppose 0 = -3*i + 5*z + 12, -n = -3*i - 5*z + 3. Put -1, i, 0 in decreasing order.
i, 0, -1
Let d = 12 + -9. Let n = 8 + 1. Let s = n - 4. Sort -3, d, s in decreasing order.
s, d, -3
Let n = 17 + -17.5. Put -0.1, 0, n in decreasing order.
0, -0.1, n
Let b = 3 + -1. Let d be b*-5*2/4. Let g = -137 - -136. Put 1, g, d in decreasing order.
1, g, d
Let c = -4 + 0. Let i(w) = -5*w**3 - w**2 - w - 1. Let p be i(-1). Put c, p, -3 in ascending order.
c, -3, p
Let g(c) = -3*c - 2. Let q be g(-2). Suppose -a + 3*a + 3*r = q, -4*a - 3*r = 4. Let o = 10 + -6. Sort o, a, 3 in decreasing order.
o, 3, a
Let k be 0/((-6)/3) + 4. Suppose 4*w = -k*c, c = -4*w + 2 + 1. Sort -0.3, -3, c in descending order.
-0.3, c, -3
Let r(c) = c**2 + 15*c - 30. Let q be r(-17). Let d = 3 + -7. Sort -2, d, q.
d, -2, q
Let i be (6/(-16))/((-9)/(-6)). Sort 3, 0.03, i, 2/3 in increasing order.
i, 0.03, 2/3, 3
Let w(b) = b**3 + 5*b**2 + 4*b + 1. Let f be 2*5*14/(-35). Let j be w(f). Sort -3, 5, j in descending order.
5, j, -3
Suppose -2*w - 8 = -0*w. Put -2, w, 1 in descending order.
1, -2, w
Let z = -1 - -1.5. Let n = -0.051 + -1.949. Sort n, z, 2/11 in decreasing order.
z, 2/11, n
Let o be (-7)/14 - (-1)/(-10). Suppose 10 + 10 = -4*a. Put -1/4, o, a in ascending order.
a, o, -1/4
Suppose -9 = 2*n + 1. Let f = -13 + 9. Suppose -2*r + 0 + 4 = 0. Sort r, n, f in increasing order.
n, f, r
Let s = 31 - 31. Put 2, 3, s, 4 in descending order.
4, 3, 2, s
Let t = 8 - 12. Let z = 9 + t. Let x be (-10 - -9)/((-1)/3). Sort z, x, -1.
-1, x, z
Suppose -y + 0*y = 2*b + 12, -5*b - 33 = 4*y. Let z = -5 + -7. Let w be (z/10)/((-2)/b). Put w, 0, -2 in decreasing order.
0, -2, w
Suppose -4*j + 27 = -5*r, -6*j - 3*r = -2*j - 3. Let m = 14 + -14.4. Let n = 0.37 - -0.03. Sort n, m, j in ascending order.
m, n, j
Suppose 0 = 4*q + 2*w + 22, 3 + 7 = -4*q + 2*w. Suppose -6 = -4*l + 2. Let y be (4 + -1)/3*l. Sort 5, y, q in ascending order.
q, y, 5
Let y be 6/(-15) + (-3)/5. Put -3, -5, 2, y in decreasing order.
2, y, -3, -5
Let d = 2363/65 + -181/5. Let s = 5 - 0. Sort s, d, 1/6 in decreasing order.
s, 1/6, d
Let m be 1*(-3 + 2) - -5. Suppose -l - m = 0, -5*l = k - 4*k + 29. Suppose 2*q - 6 = -2*q - k*p, -5*q = -3*p - 21. Sort q, -2, 1.
-2, 1, q
Suppose 0 = -a - a - 42. Let f be (-69)/a + (-9)/3. Put -0.4, 0.1, f in descending order.
f, 0.1, -0.4
Let i = -0.041 + 0.441. Put -2, 0.1, 4, i in ascending order.
-2, 0.1, i, 4
Let g = -56/3 - -61/3. Put 2, g, -8 in descending order.
2, g, -8
Let f be (27/(-18))/((-6)/20). Put -3, -4, f in increasing order.
-4, -3, f
Suppose -y + 20 = 4*y. Put y, -0.06, 0.3 in decreasing order.
y, 0.3, -0.06
Let x be 54/3 + 0/2. Let h = x + -20. Sort -3, h, 0 in descending order.
0, h, -3
Let g = 5 - -4. Let h = 0 - -5. Let z = g - h. Sort z, 3, 2 in ascending order.
2, 3, z
Suppose x + 5*v = -10, 6 = x - 3*v - 8. Put -5, x, -3 in increasing order.
-5, -3, x
Let z = 23 - 11. Let j = -22 + z. Let u = -15 - j. Sort -4, u, -0.3 in decreasing order.
-0.3, -4, u
Suppose 0 = a + 3 + 1. Sort 4, a, 2 in decreasing order.
4, 2, a
Let q(o) = -o**3 + 4*o**2 + 2*o - 3. Let a be q(4). Let k = -2 + a. Let x be 0 - k/(-36)*2. Put -5, 0.2, x in decreasing order.
0.2, x, -5
Let j = 2.3 - 2. Let t = 0.1 + j. Let x = -1 - 1. Sort t, x, -0.4 in descending order.
t, -0.4, x
Let g be (6 - -1) + (-2 - 1). Let x(k) = -k**3 + 13*k**2 - 12*k. Let h be x(12). Sort 3, h, g in descending order.
g, 3, h
Let l be 2/(-5) + 3/135*33. Let a = -1.8 + 2. Let n = a - -0.3. Sort l, n, 0 in ascending order.
0, l, n
Suppose 2*w - 19 = 4*p + 9, -5*w - 5*p = -100. Suppose -y = -3*a - 2 - 0, -3*a = 3*y - w. Let k(q) = 4*q**2 - 1. Let c be k(a). Put -2, c, 5 in ascending order.
-2, c, 5
Let r = -63 + 67.08. Let f = 0.08 - r. Let z be (-3)/(3/(-2))*-1. Sort f, 1/6, z.
f, z, 1/6
Let w = 340 - 335. Suppose -2*m + 3 = a + 2*m, a - 3 = 2*m. Sort 1, w, a in descending order.
w, a, 1
Let i be 12/80 + 3/(-4). Let w = -930 + 50237/54. Let b = w + 1/54. Sort -3, i, b.
-3, i, b
Suppose 5 = p - 3*c - 0*c, 5*p = -c - 7. Let a(z) be the first derivative of -z**3/3 - 5*z**2/2 + 3*z + 2. Let r be a(-5). Put r, p, -4 in descending order.
r, p, -4
Let l(x) = -x - 4. Let p be l(-5). Let n(j) = j**2 - 7*j + 4. Let m be n(5). Let b be m/5*(-5)/2. Sort p, b, -4.
-4, p, b
Let p = -258 - -117. Let b = -707/5 - p. Let z = 0.8 - -3.2. Put -1/2, z, b in increasing order.
-1/2, b, z
Let h = 1.1 + -0.1. Let z = -35.6 + 34.6. Put h, z, -0.4 in descending order.
h, -0.4, z
Let z(x) = -x + 14. Let h be z(10). Sort h, -3/8, 2 in descending order.
h, 2, -3/8
Suppose 3*y - 4*x = -12, 0 = -y - 5*x + 6*x - 4. Let r(m) = -2*m**2 + 2*m + 1. Let b be r(2). Sort -1, y, b in decreasing order.
-1, b, y
Suppose -5*t - 2*m = -3*m - 19, 0 = 3*t - 4*m - 25. Suppose 4*f - 20 = -2*k, -t*k + 24 = 4*f - 0*k. Put f, -4, 0 in ascending order.
-4, 0, f
Let f(h) = -h**3 + 5*h**2 + 5*h - 2. Let w be f(6). Sort -2, w, 3 in descending order.
3, -2, w
Suppose -5*p + 19 = 2*w, -5*p + 28 = -2*w + w. Let c(m) = m**3 - 4*m**2 - 4*m + 3. Let o be c(5). Suppose 0 = 4*i + 12 + o. Put 2, i, w in ascending order.
i, w, 2
Let r = -13 - -12.99. Let l = -0.19 + r. Sort l, 4, 3 in decreasing order.
4, 3, l
Suppose -3*a - 24 = -2*b, 0*b + 4*a + 46 = 5*b. Suppose -4*s - 4*i = -32, -2*i - 22 = -2*s - b*i. Sort -0.3, s, 1/2 in descending order.
s, 1/2, -0.3
Let q = -0.51 + 0.51. Let d = -0.2 - -0.3. Sort q, d, 2/3.
q, d, 2/3
Suppose -5*i + 3*p = -2*i - 27, 2*p - 6 = -4*i. Suppose -i*z = z. Let u = -10 - -6. Sort u, 3, z in ascending order.
u, z, 3
Let s = -2 + 3. Suppose 4*t - 3 = -2*n - s, -4*t + 5*n = -9. Let o = -89 - -91. Sort 4, t, o in increasing order.
t, o, 4
Let t = 45660/11 + -311348/77. Let w = t - 107. Put 5, w, 2 in descending order.
5, 2, w
Let r be -10*1*6/(-15). Suppose 0*c = r*c - 20. Put c, -5, 1 in descending order.
c, 1, -5
Suppose -4*j - 8 = -6*j. Put 5, j, -4 in increasing order.
-4, j, 5
Let q = -19 - -24. Put -1, q, -2 in descending order.
q, -1, -2
Let w = 29 + -30. Put w, 5, -4 in decreasing order.
5, w, -4
Let y be (-1)/(1/(-1))*(8 + -9). Put y, 0, 4 in descending order.
4, 0, y
Let c be (2/22)/(4/8). Put c, 5, -0.5 in increasing order.
-0.5, c, 5
Let w = 1 - 8. Sort 2, w, 3 in decreasing order.
3, 2, w
Let h = 3 + -2.7. Let x = h - 0. Suppose 4*j + 6 = j + 4*o, 0 = 2*o. Put j, x, 2 in ascending order.
j, x, 2
Let a = 2 - -2. Put -3, a, 0 in ascending order.
-3, 0, a
Let t = 0.106 + 0.194. Sort 2/15, 0.41, t.
2/15, t, 0.41
Let s be ((-6)/3)/(42/(-9)). Let i = s + 0. Let o = -41/2 - -22. Put i, -3/7, o in ascending order.
-3/7, i, o
Let j be (9/(-1))/((-15)/20). Put -5, 2, j in increasing order.
-5, 2, j
Let t = 1.8 - -5.2. Let k = t + -6. Let z = 8 + -5. Sort z, 0, k in decreasing order.
z, k, 0
Let u be 74/14 - (-2)/(-7). Let l be (-4)/6 - (-88)/6. Let y = 9 - l. Put y, 4, u in decreasing order.
u, 4, y
Let i = 2.2 + -2.7. Put -4, 5/6, i in decreasing order.
5/6, i, -4
Let s(a) = -a**3 + 2*a**2 + a + 1. Let z be s(2). Let n(d) = d**3 - 3*d**2 + 5*d - 4. Let m be n(3). Suppose 2*g + z = m. Sort -1, g, -2 in decreasing order.
g, -1, -2
Suppose -4*s + 3*k + 12 = -0*k, -5*s + 4*k + 16 = 0. Sort s, 4, 8 in ascending order.
s, 4, 8
Let x = 5 - 10. Put -0.1, 0.5, x in decreasing order.
0.5, -0.1, x
Let h be (-1)/(-2)*12/3. Put -4, -7, h in increasing order.
-7, -4, h
Suppose 0 = 2*a + 4*u - 6, -7*u + 4*u - 13 = 5*a. Sort a, 4, 3.
a, 3, 4
Suppose -w + 3 - 4 = 0. Suppose 0 = -3*v - 2*v. Suppose 0*s - 2*s + 10 = 0. Put w, v, s in decreasing order.
s, v, w
Suppose 6*j = 5*j - 2. Let n = 0 + -4. Sort n, j, -1 in descending order.
-1, j, n
Suppose -5*a + a = 8. Let t = 564.8 - 565. Put t, a, 3 in decreasing order.
3, t, a
Let i = 0.21 + -0.01. Sort 2/15, -1/2,