 g, -2 in descending order.
o, g, -2
Let c be 4*(44/(-16) + 3). Put -7, 3, c in decreasing order.
3, c, -7
Suppose 8*o + 15 = 5*r + 4*o, 0 = -2*o. Suppose -n - 20 = -3*l - 0*l, 5*l = -4*n + 5. Put r, n, -2 in ascending order.
n, -2, r
Suppose 3*c - 2*u + 3*u = -1, 4*c - 5*u + 33 = 0. Sort c, 4, 5 in descending order.
5, 4, c
Let i be (-5 - -7) + (-20)/11. Put -2/3, 3, i in descending order.
3, i, -2/3
Let t be 2/4*4 - 20. Let c(i) = -8*i + 10. Let v be c(8). Let p be (-4)/t - (-228)/v. Sort 1, -1, p.
p, -1, 1
Let t = 23 + -21.9. Let i = t - 0.8. Let v = 1.3 - 1.6. Sort -0.1, v, i in decreasing order.
i, -0.1, v
Let m = 5.61 - 6.61. Suppose 0 = -0*g + 5*g + 25. Sort -2/7, m, g.
g, m, -2/7
Let h = -7 + 6.93. Put -0.1, -5, h in decreasing order.
h, -0.1, -5
Let o = 9 - 12. Sort 2/81, 1/2, o in increasing order.
o, 2/81, 1/2
Suppose -4*r = 2*a - 4, 2*a + 6 = 3*r + 5*a. Suppose 0 = b - 1 - r. Let v be 1*(0/5 - 0). Sort v, b, -0.2 in ascending order.
-0.2, v, b
Let m(w) = -w**3 - 9*w**2 - w - 7. Let p be m(-9). Suppose 4 = p*o + 2*o. Sort o, 2, -2 in decreasing order.
2, o, -2
Let f = 2 + 1. Suppose -3*c + c + 18 = 3*o, -f*o - 3 = -5*c. Sort -3, c, 2.
-3, 2, c
Suppose 25 = 5*b + 5*n + 65, n + 17 = -4*b. Put b, 0, -1 in increasing order.
b, -1, 0
Let f(o) = o**3 + 4*o**2 + 5*o + 2. Let m be f(-3). Sort m, 0, 2 in increasing order.
m, 0, 2
Suppose 0 = 5*o - 57 + 7. Let i = 14 - o. Sort -4, i, 3 in increasing order.
-4, 3, i
Let g = -313/9 + 35. Put 1/4, 2/3, 8, g in increasing order.
g, 1/4, 2/3, 8
Let x be (3/(-2))/((-1)/(-2)). Let o = -4 - x. Sort o, 5, 2 in decreasing order.
5, 2, o
Let m(g) be the first derivative of -g**3/3 + g**2/2 + 2*g - 4. Let s be m(-2). Sort 1, s, -5.
-5, s, 1
Suppose o = i + 3*i + 10, -3*o = -i - 8. Sort 1/2, 0.3, o, -0.3.
-0.3, 0.3, 1/2, o
Let j = -34.3 - -34. Put -0.4, -0.1, -2/3, j in decreasing order.
-0.1, j, -0.4, -2/3
Let k = 6.81 + -7. Let q = k + 0.49. Sort -4, q, 4.
-4, q, 4
Let d = 1.1 + -0.8. Let w = -72 - -75.3. Let i = w - d. Put i, 0.3, 1/6 in ascending order.
1/6, 0.3, i
Let d = -0.07 - 3.93. Let m = 9 + d. Put m, -0.5, 0.1 in decreasing order.
m, 0.1, -0.5
Let t = 32 + -34. Put -3, -1, -4, t in descending order.
-1, t, -3, -4
Let a(y) = y**2 - 5*y - 1. Let d be a(4). Let s(j) = j**3 - 6*j**2 + 6*j + 3. Let l be s(3). Let p = l - d. Sort p, 4, 2 in ascending order.
p, 2, 4
Suppose -4*q - 13 = 3*b, q - 1 = 3*b + 2*q. Sort 16, b, 4, 5 in ascending order.
b, 4, 5, 16
Let b be 3 + (2 - (4 - 4)). Suppose -2*l + 35 = 3*l - 4*v, b*v = 0. Put l, -3, 1 in decreasing order.
l, 1, -3
Let i = -1311.63 + 1300. Let k = i + 1.23. Let n = k - -10. Sort 2/9, n, 2/3.
n, 2/9, 2/3
Let h = 68 - 62. Put -2, 0, 3, h in decreasing order.
h, 3, 0, -2
Suppose -15 = 4*r - 11. Put 4, -2, 2, r in ascending order.
-2, r, 2, 4
Let d = -3.5 - -2.4. Let a = 1.9 - d. Let y = 7 - a. Sort 1, y, -4 in decreasing order.
y, 1, -4
Suppose -4*n = -2*v - 6, -4*v - n = v - 29. Suppose -5 = -2*p + h + v, -5*h - 20 = -5*p. Put 1, p, -5 in ascending order.
-5, 1, p
Let s be 31/6 + (-2)/12. Suppose 2*z = s*z. Let f(l) = -3*l**2 - 1. Let g be f(1). Sort -2, z, g in decreasing order.
z, -2, g
Let b = -0.4 - -0.5. Let o be (2/35)/(2/(-10)). Let f = 0.08 - 5.08. Sort f, b, o in ascending order.
f, o, b
Suppose 4 = 2*n - 0. Let c(q) = 3*q + q**3 + 2 - n*q**2 + q**2 + 3*q**2. Let a be c(-2). Sort a, 5, 3 in ascending order.
a, 3, 5
Let l = 0.14 - 4.14. Put -5/2, 1/8, l in decreasing order.
1/8, -5/2, l
Let v = -0.36 + 0.35. Put v, 2/3, 2/5 in ascending order.
v, 2/5, 2/3
Let l be (-242)/(-198) - (-1)/((-2)/2). Put 0.3, l, 0.5 in increasing order.
l, 0.3, 0.5
Let i be 4 - 2 - (2 - 8)/2. Put -0.2, i, -7, -5/4 in decreasing order.
i, -0.2, -5/4, -7
Let q(a) = 2*a**2 - a. Let y be (-10)/(-4)*8/10. Let m be q(y). Let u(r) = r**2 - 6*r + 1. Let o be u(m). Put o, 5, 4 in descending order.
5, 4, o
Suppose 5*d = -2*l, -3 + 7 = 2*d. Let b(n) be the second derivative of n**3/6 - 5*n**2 + 2*n. Let o be b(8). Put o, 0, l in increasing order.
l, o, 0
Let m = -1.33 + -3.67. Sort -4/7, 0, -0.1, m in decreasing order.
0, -0.1, -4/7, m
Let n be 14/63 - (-74)/18. Let m = n + -4. Put 0.2, m, 3 in decreasing order.
3, m, 0.2
Let i = 0.41 + -0.11. Sort 0.2, i, 5 in descending order.
5, i, 0.2
Let l = 0.6 + 1.4. Let c be (4 - 30/9)/((-34)/6). Sort c, l, 1 in decreasing order.
l, 1, c
Let p = -0.24 - 0.06. Put 2, p, -2 in descending order.
2, p, -2
Let x(o) = -o**3 + 13*o**2 + o - 3. Let m be x(13). Sort -3, -1, m in decreasing order.
m, -1, -3
Suppose 0 = 2*o - 10 + 2. Suppose -4*n + 11 = -5*n - o*a, -2*a + 8 = -4*n. Let v be (1/n + 1)*-3. Put v, -3, -4 in decreasing order.
v, -3, -4
Let m(n) = 7*n**3 + 2*n + 2. Let l be m(-1). Sort 0, l, 0.3.
l, 0, 0.3
Let q = -9 - -9.7. Let j = -2.7 + q. Let l = j + 1.8. Put l, 5, -1/2 in ascending order.
-1/2, l, 5
Suppose 0 = 3*s - 5*x + 18, -3 = -4*x + 9. Let v = s + 3. Let u(t) = -t**2 - 2*t + 3. Let l be u(v). Sort 3, 4, l in increasing order.
l, 3, 4
Let t(k) = k**2 - 2*k + 3. Suppose 0 = 4*i - 1 - 7. Let y be t(i). Suppose 4*o - 8 = 2*j, -o + 7 = y. Put -2, -4, j in ascending order.
-4, -2, j
Let f be (-1)/(-3) + (-25)/(-15). Suppose -i - f = m + m, 0 = 3*i + 3*m. Let o = 1 + 2. Put 0, i, o in increasing order.
0, i, o
Let q = 4 - 6. Let m(o) = -o - 7. Let s = -1 - 7. Let w be m(s). Put w, 4, q in ascending order.
q, w, 4
Let o be 2 + (-1 - -1) + 7. Suppose -2*s = s - o. Let f(q) = q**3 - 7*q**2 - 5*q - 19. Let k be f(8). Sort k, 1, s in descending order.
k, s, 1
Let h = -6 - -4. Let o be ((-2)/6)/((-1)/(-3)). Put 5, o, h in decreasing order.
5, o, h
Let c be 0 + 654/(-1065) + 1. Let q = c + 1/71. Suppose -2*s = 8, -1 - 16 = i + 4*s. Put i, -2, q in ascending order.
-2, i, q
Let p = 1 + -0.6. Let g = 35 + -35.2. Put -1/3, p, g in decreasing order.
p, g, -1/3
Let r be 1*-1 + 5 + -3. Suppose 22 = 4*v + 5*l, 0 = -v + l + r. Suppose 0 = -5*s + v*s + 3*w - 19, s - 3*w + 17 = 0. Put 2, s, -4 in descending order.
2, s, -4
Let r be (-141)/(-12) + (-1)/2. Let n = 11 - r. Let z = 0.8 - 0.5. Sort 0.1, n, z.
n, 0.1, z
Let p = 3 + -5. Let u(l) = -2*l**2 + 4*l - 2. Let j be u(2). Let s = p + j. Sort s, -5, 0.2.
-5, s, 0.2
Let y be -3*(2 + -3) + 2. Sort 0, -1, y in increasing order.
-1, 0, y
Let d = 0.3 + -0.1. Sort 4, 5, d in decreasing order.
5, 4, d
Let q(o) = -o**2 + 7*o - 7. Let x be q(6). Suppose -2*k - 15 = 3*k. Put k, 4, x in ascending order.
k, x, 4
Let o = 0.02 + 0.48. Let v be (-10)/4*12/(-15). Suppose -x = x + v. Sort o, -5, x in ascending order.
-5, x, o
Let u = -209 - -217. Sort u, 1, -3.
-3, 1, u
Suppose 5*j - 3 = 12. Suppose j*z + 0*i + 35 = 4*i, -z + 10 = 3*i. Let o = 0 - 1. Sort -2, o, z in increasing order.
z, -2, o
Let y = -0.207 - 4.793. Sort -0.4, 5/7, y in descending order.
5/7, -0.4, y
Let o = -1.3 + -0.7. Let c = -5.03 - -0.03. Sort o, c, 0.2 in ascending order.
c, o, 0.2
Let m = -125 + 112. Put 2, m, 0, 1 in descending order.
2, 1, 0, m
Let m be (-1)/(-4)*(1 + 1). Let g(q) = q**3 - 4*q**2 - 5*q. Let l be g(5). Sort l, 2, m.
l, m, 2
Let n = -3 + 5. Suppose 1 = n*t + 3. Let y = -8 + 13. Sort y, -3, t in ascending order.
-3, t, y
Suppose -30*l + 56 = -16*l. Let c(q) = -q. Let f be c(3). Sort f, l, 3.
f, 3, l
Let v = 10 + -12. Put -3, 2, v in decreasing order.
2, v, -3
Let m be 4 - (2 + 0/(-2)). Let n be (1/4)/(m/8). Suppose -4*h - 2*i = 24, 3*h - 8*h = 5*i + 40. Put 0, h, n in decreasing order.
n, 0, h
Let n be -1*1/(1/3). Let o be 3*-6*(-2)/(-9). Sort -2, o, n in increasing order.
o, n, -2
Let f(a) = a + 6. Let g be f(-6). Let n = 23 + -24. Sort g, n, 3 in decreasing order.
3, g, n
Suppose 4 + 4 = 2*y. Suppose -y = b - w, -5*w + 10 = -2*b - w. Let z = -8 + 4. Sort z, b, 5 in descending order.
5, b, z
Let k(v) = -6*v**3 - 1. Let q be k(-1). Let r be (q - 2)/(3 + -2). Let d = 8 - 3. Put r, -2, d in descending order.
d, r, -2
Let h be (0 + -2 - -2) + 12. Suppose 5*d - d = h. Suppose -m + 3*m = 10. Sort 2, m, d.
2, d, m
Suppose 0 = -5*n + 5. Let h be 16*((-1)/2 + n). Suppose -2 = -2*u - h. Sort -4, u, -1 in ascending order.
-4, u, -1
Suppose -2*v = v. Suppose -1 = -3*w + i, v = 3*w - 2*i + 1 + 3. Let a(r) = r**3 - r. Let x be a(-1). Put x, w, 1 in descending order.
w, 1, x
Suppose -2*f + 3*o = -10, -2*o - 2 = 6*f - 5*f. Suppose 0