 order.
w, j, -2
Suppose 0 = -2*o - 3*l - 11, -l + 19 = -4*o + 4. Suppose -r - 6 + 1 = -4*q, 0 = 3*q + 5*r + 2. Put o, 6, q in decreasing order.
6, q, o
Let v(u) = u**3 - 8*u**2 - 8*u - 3. Let c be v(9). Let b(z) = z**2 - 7*z + 5. Let s be b(c). Let n be (12/10 - s) + -2. Put -0.2, -0.5, n in decreasing order.
n, -0.2, -0.5
Let j be 7/(-4) + 0 + 1. Put j, 4/3, -2 in increasing order.
-2, j, 4/3
Let y(n) = -n**3 + 15*n**2 + n - 13. Let h be y(15). Sort -2, h, 3 in ascending order.
-2, h, 3
Let k(b) = 2*b**3 - 3*b**2 - 3*b - 4. Let c be k(3). Let x be (1 - 4) + (c - 10). Sort -0.4, x, 5 in decreasing order.
5, x, -0.4
Let i = 38 - 34. Sort 0, -2, i in descending order.
i, 0, -2
Let g be (-3)/(3 - (-9)/(-2)). Suppose -u + g*u - 5*f = 8, -4*u = 4*f - 8. Put -1, u, -3 in increasing order.
-3, -1, u
Let w = -2.97 - -3. Let t = -1.97 - w. Let f = 1.6 + -2. Sort 4, f, t in decreasing order.
4, f, t
Suppose 2*q = -q - 6. Sort q, -1, 5 in descending order.
5, -1, q
Let g = 2 + 13. Suppose l - 4*l + d - g = 0, 20 = -2*l + 4*d. Let r(z) = -z. Let h be r(l). Sort h, 0, 4/3.
0, 4/3, h
Let i = 1 + -2. Let o(g) = -g**2 + 6*g + 10. Let z be o(7). Suppose -z = -5*p + 12. Sort 0, p, i.
i, 0, p
Let y = 31 - 30. Let q be (-1 - 0)*(2 + -1). Put q, 4, y in decreasing order.
4, y, q
Let q = -1 + 1. Suppose q = 4*h - 4 - 0. Let l be 18/60*8/(-18). Put l, 3, h in descending order.
3, h, l
Let p be (1104/11886)/(2/(-6)). Let s = p - 2/283. Let w = -2/587 + -1753/2348. Put s, w, -1/2 in descending order.
s, -1/2, w
Let d(s) be the third derivative of s**5/60 - s**4/3 + 11*s**3/6 - 7*s**2. Let i be d(5). Let b be 2/6 - 8/6. Sort 0, b, i in decreasing order.
0, b, i
Suppose -4 = 5*g - 39. Let q = -4 + g. Sort q, 0, 1.
0, 1, q
Let f be 4/12*(-2 + -1). Sort -3, -2, 1, f in descending order.
1, f, -2, -3
Let b = -1.45 + 0.05. Let u = b - -1.4. Sort 0.6, u, -0.4 in decreasing order.
0.6, u, -0.4
Let u(l) = l**3 + 5*l**2 + l + 3. Let d be (-15)/9*(-1 + 4). Let r be u(d). Sort -3, r, 4 in ascending order.
-3, r, 4
Let d be 2/(-7) + 3/(-14). Suppose 0 = 4*w - 16, -2*o - 5*w + 30 = -0*w. Suppose s = o*h + 23, -h + 3*h + 5 = -s. Put h, -0.4, d in increasing order.
h, d, -0.4
Let b = -0.3 - -0.1. Let m = b + 0.1. Let h = -0.15 - -0.25. Sort m, h, -5 in ascending order.
-5, m, h
Suppose 5*y + 2 = -0*i + 2*i, -5*y = 4*i - 4. Suppose n + 20 = 5*n. Sort n, y, -3 in increasing order.
-3, y, n
Suppose 45 = -7*f + 2*f. Put f, -0.2, 2 in increasing order.
f, -0.2, 2
Let i = -0.2 - 3.8. Suppose 0 = 3*o - 2*o - 1. Put o, 1/2, i in descending order.
o, 1/2, i
Let x = -26 - -19. Let k = 6.8 + x. Sort k, -2, 3.
-2, k, 3
Let l = -32318/5 - -6485. Let f = 21 - l. Let k be (-1 - -3) + (-2)/(-1). Put k, 0, f in decreasing order.
k, 0, f
Let v = -8 + 5. Let b(o) = -o + 10. Let s be b(15). Let z = 1 - -2. Sort v, s, z in ascending order.
s, v, z
Suppose 0 = 4*f - 3*w - 2, 2 = 2*f + 5*w - 12. Let a = -1 + f. Let o(h) = -2*h**2 - h. Let l be o(-1). Sort a, 5, l in increasing order.
l, a, 5
Suppose -o + 3 - 9 = 0. Let h = -8 - o. Let z = -1 + 1.2. Sort h, z, 0.5 in descending order.
0.5, z, h
Let g be (-30)/(-7) + 4/(-14). Suppose -2*b + 1 = p - g*p, -b = -p - 2. Put -2, b, 2 in decreasing order.
b, 2, -2
Let m be (2/3)/((-8)/(-36)). Put m, 11, 1, 5 in descending order.
11, 5, m, 1
Let h = 7 - 3. Let t = 4 - h. Let z = 1 - t. Sort z, -5, -4.
-5, -4, z
Let a = -5/4 - -29/20. Put 3, 2/17, a, -2 in descending order.
3, a, 2/17, -2
Suppose -4*b + 2 = -6. Let z be (2 + 3/(-2))*(-4)/2. Sort 5, b, z in ascending order.
z, b, 5
Suppose 7 = -3*f - 5*a, -4*f + 0*f = -4*a + 20. Let t(r) = 11 + 0*r**2 - r**2 + 3*r + 3*r. Let l be t(8). Put -3, f, l in descending order.
-3, f, l
Suppose 3*q + 1 = -j, 2*j - 5*j + 25 = 2*q. Let k be (j + -13)*1/2. Put k, -4, 0 in descending order.
0, k, -4
Let o be (-2 + 6)*2/4. Suppose s = -o - 1. Suppose 3*r + 0*r = -3*u - 9, -4*u = 2*r + 2. Sort -4, r, s.
r, -4, s
Suppose n - 6 = -4. Put 6, n, 0.4 in descending order.
6, n, 0.4
Let k = 379/9 + -42. Put -0.1, -0.4, k in decreasing order.
k, -0.1, -0.4
Let i = 8.5 - 2.3. Let h = -2.3 + i. Let x = h + -4. Put x, 0.5, -5 in decreasing order.
0.5, x, -5
Let o be (2 - 1) + -3 - 3. Suppose -y + 5*u = -0*u - 9, u = 2*y. Sort y, -3, o in descending order.
y, -3, o
Suppose 4*k = -2*f + 6, -5*k = -6*k + 5*f - 26. Suppose -2*w + 15 = 5*y - 18, -5*y = 5*w - 45. Sort k, w, 2.
k, 2, w
Let g = -26 + 53/2. Put g, -3/5, 2 in descending order.
2, g, -3/5
Let m(u) = -u**2 - 6*u + 11. Let f be m(-7). Suppose -5*h + 24 = -d, f*h = 2*h + 4*d + 24. Sort h, -1, 0 in decreasing order.
h, 0, -1
Let s be (-2)/(-21)*2*3. Let b = -4 + -11. Let i = -17 - b. Put i, s, -1/3 in decreasing order.
s, -1/3, i
Let q = 9 - 3. Suppose -6 = -q*u + 4*u. Sort 1/2, -4, u.
-4, 1/2, u
Let b = 4.3 - 4. Suppose 5*a + 5*d - 30 = -0*a, a = -3*d + 10. Suppose -6*o - a = -5*o. Sort -0.4, b, o in decreasing order.
b, -0.4, o
Suppose 5*a + 6 = -4. Put 2/3, a, 3, -3 in decreasing order.
3, 2/3, a, -3
Let s = -34 - -30. Let t = 3.6 - 3. Let b = 4.4 + t. Put -0.4, s, b in descending order.
b, -0.4, s
Let m = 0.32 + -0.02. Let s = 35 + -33. Sort 1/6, m, s in decreasing order.
s, m, 1/6
Let g be (-1 - 3)/((-1)/(-2)). Let x = 5 + g. Put x, 2, 5 in descending order.
5, 2, x
Suppose 0 = -2*t + 2, -2*f + 5*t - 7 = -3*f. Let d be (2/(-4))/(2/(-56)). Let g be 99/21 + 4/d. Sort 3, g, f.
f, 3, g
Let z(c) = 0 + 12*c + 2*c**2 + 0 - 3*c. Let s be z(-6). Suppose -s = -4*k - 2. Sort k, 3, -2 in decreasing order.
k, 3, -2
Suppose 2*k + 54 = 20*k. Sort 1, k, 6, 0 in decreasing order.
6, k, 1, 0
Let d = 6 - -3. Let r = d - 9. Sort -1, r, 3.
-1, r, 3
Let c = -13 - -13.4. Sort -5, -0.4, c, 27 in ascending order.
-5, -0.4, c, 27
Suppose 2*a - 3 = d, 5*d = -5*a - 0 + 30. Suppose 0 = -4*x - 0*x - 52. Let h = x - -18. Put a, h, 1 in descending order.
h, a, 1
Suppose -20 = -2*j + 4*z, 8*j + 4*z + 8 = 7*j. Sort 2/5, -10, j, -1.
-10, -1, 2/5, j
Suppose -4*f = 5*w + f - 50, 4*w - 35 = -3*f. Sort 0, 1, w in ascending order.
0, 1, w
Let h(k) = k**2 - 11*k + 9. Let l be h(11). Sort -2, l, 3 in decreasing order.
l, 3, -2
Suppose 5*c - c + 25 = -n, 4*c + 40 = -4*n. Let s be 1/3 + (-22)/(-6). Put c, 1, s in decreasing order.
s, 1, c
Let x = -6.6 + 7. Let q be -2 + (3 - (-2 - -4)). Let v be -2 + 2/(-6) - q. Put -5, v, x in decreasing order.
x, v, -5
Let s = 50/133 + -18/19. Suppose 5*j + 2*c = 4*c + 20, -8 = -2*j + 5*c. Put j, -2, s in decreasing order.
j, s, -2
Let a(d) = -d**2 + 2*d + 3. Let b be a(3). Put 9, b, 4 in descending order.
9, 4, b
Suppose -9*j + 1 = -10*j. Put j, 2, 4, -2 in increasing order.
-2, j, 2, 4
Suppose 0 = -10*t + 5*t - 2*d - 10, -10 = 5*t - d. Let f be ((-9)/36 - 2/(-8)) + 0. Sort -1, t, f in decreasing order.
f, -1, t
Suppose 0 = s + 4*s - 25. Let c = 4 - 3. Sort 3, s, c in descending order.
s, 3, c
Let h be (1 - 9/6)/4. Sort 4, -2/3, h.
-2/3, h, 4
Let s = -72.6 - -73. Let u = -0.2 - -0.1. Sort s, -0.3, u in descending order.
s, u, -0.3
Let h be (-3)/(-2) - 33/6. Sort 2, h, -2.
h, -2, 2
Suppose 0*f = 2*f + 72. Let b be ((-9)/70)/(f/(-15)). Let m = 39/56 - b. Sort 1, m, 3 in decreasing order.
3, 1, m
Suppose -3 = -4*o + 21. Sort o, 4, -1 in descending order.
o, 4, -1
Suppose 7*o = 4*o. Sort -1, o, -2, -4 in decreasing order.
o, -1, -2, -4
Let s(p) = p**3 + 12*p**2 + 10*p - 16. Let m be s(-11). Sort m, 5, 3.
m, 3, 5
Let o(n) = -n**2 + 7*n - 19. Let s be o(8). Put 4, -2, 3, s in ascending order.
s, -2, 3, 4
Let z be ((-4)/10)/((-7)/(-70)). Put 1, z, 0.4 in decreasing order.
1, 0.4, z
Suppose -54 = -3*q - 36. Put -2, -5, -4, q in decreasing order.
q, -2, -4, -5
Let h(q) = -q**2 - 7*q - 2. Let s be h(-7). Let d = -2 + s. Put 3, d, -3 in ascending order.
d, -3, 3
Suppose 0 = -5*i - 19 - 11. Suppose 0 = -2*k + 5*k + 27. Let f be 0*(k/i)/(-3). Put f, 5, 2/5 in increasing order.
f, 2/5, 5
Suppose 11*k - 1 = 12*k. Sort 0, 1, k.
k, 0, 1
Let d be 34/10 + 4/(-10). Suppose l + 1 = -d. Suppose 0 = 5*b - 3*b. Sort b, 2, l in decreasing order.
2, b, l
Let r = 88 + -111. Sort 1, r, 0.
r, 0, 1
Let q = 37 - 38. Sort q, -24, -4 in ascending order.
-24, -4, q
Let y(z) = z**2 + 6*z + 1. Let r be y(-5). Put r, 4, 3 in ascending order.
r, 3, 4
Let v(k) = 2*k**2 + k. Let d be v(1). Suppose -d*n = n - 156. Let q be (-2