 a, 5, o in decreasing order.
5, o, a
Let b(f) = -f**2 - 7*f - 7. Let h be b(-5). Sort h, 2, 0 in decreasing order.
h, 2, 0
Suppose 1 - 5 = l. Let u = 0 - 0. Suppose u = -5*o - 3*i - 8 - 2, 0 = 5*o - 3*i + 40. Put -3, o, l in decreasing order.
-3, l, o
Let m = 8.6 - 8.4. Sort -0.2, -4, m, 0.3 in increasing order.
-4, -0.2, m, 0.3
Let h = -0.6 + 1.1. Sort 2/27, -2/3, 5, h in decreasing order.
5, h, 2/27, -2/3
Let n = 861 - 481. Let d be (-10)/(-2)*(-10 + 0). Let q be d/n*8/(-10). Sort 0.2, q, 2.
q, 0.2, 2
Suppose 6*w - 3*w = 0. Suppose -3*p + v = 11, -2*p + 7*p - 4*v + 9 = w. Sort p, 5, 0 in decreasing order.
5, 0, p
Let d = -13 + 12.3. Let z = -1 + 0.8. Let c = z - d. Sort -2/9, c, 0 in decreasing order.
c, 0, -2/9
Suppose 3*q = -2*v - 2*v - 8, 0 = -5*q - 5*v - 10. Suppose h = -3, -4*h + q*h = -z + 13. Put z, 0, -1 in decreasing order.
z, 0, -1
Let i = 8 - 1. Let g = -2 + i. Let j = -0.08 + -2.92. Sort g, j, 2/3 in decreasing order.
g, 2/3, j
Let c = 2 + -3. Let j(q) = -q**3 - 7*q**2 + q + 9. Let l be j(-7). Let t be l/(-8) + c/(-20). Sort -0.4, t, 4/5 in descending order.
4/5, t, -0.4
Let b = -53 - -55. Put b, -0.5, -6, 0.4 in decreasing order.
b, 0.4, -0.5, -6
Let c = -13/11 + 80/77. Sort c, -5, -3 in decreasing order.
c, -3, -5
Suppose 5*b + 5 = -5*f, 3*b + f + 3*f = -6. Suppose 5*t + 3*v - 10 = 0, -v + 2 = b*t - 1. Put 5, t, 8 in descending order.
8, 5, t
Let a = 25/4 + -79/12. Sort 0.2, a, -2, -3/8 in increasing order.
-2, -3/8, a, 0.2
Let y(a) = -a**3 + 6*a**2 + a - 11. Let w be y(6). Sort 2, w, -4 in decreasing order.
2, -4, w
Let b = 49 - 46. Put b, -4, -2 in ascending order.
-4, -2, b
Let a(q) = q**2 - 2*q - 1. Let c be a(2). Let o(v) = -2*v**2. Let p be o(1). Sort 2, c, p in descending order.
2, c, p
Suppose -5*s = -5*l - 40, 3*s + 0*l = -l + 8. Sort 5, s, 14.
s, 5, 14
Let x be -3*-2*(-3)/(-6). Suppose o - 5 = -0*h + x*h, 4*o = 8. Put h, 3, 5 in ascending order.
h, 3, 5
Let d = 69 + -72. Sort -5, -6, d in decreasing order.
d, -5, -6
Let h = 2 + -1.96. Let l = h + 0.26. Let n = 103/465 + -2/93. Put n, -5, l in ascending order.
-5, n, l
Suppose s - 15 = 4*p, 0 = 6*p - p + 2*s + 22. Suppose -5*o = -0*q - q - 12, 0 = -2*q - 2*o + 24. Let u be (-2)/(3*q/6). Sort 0, p, u in increasing order.
p, u, 0
Let c = 0.399 - 0.099. Let t = 2.04 - 0.04. Sort t, -5, c.
-5, c, t
Let t = -1 - -5. Suppose 1 + 15 = -t*j - 4*v, 3*v - 12 = 3*j. Put j, 3, -1 in increasing order.
j, -1, 3
Let t(w) = 4*w + 1. Suppose -z - 2 + 1 = 0. Let m be t(z). Put m, 2, 3 in ascending order.
m, 2, 3
Suppose 0 = 2*u - 7*u + y - 88, 2*u + 46 = 4*y. Sort 5, u, 3.
u, 3, 5
Let a = 1.2 + 3.8. Suppose -4*u - 3 - 21 = 0. Let j = u + 10. Put a, 1/4, j in decreasing order.
a, j, 1/4
Let k(l) = l**2 + 3*l - 7. Suppose -4*x = q + 17, 7*q = 3*x + 2*q + 30. Let i be k(x). Put 1, i, -1 in increasing order.
-1, 1, i
Suppose -4 = 3*k - 13. Let x = 13 + -8. Suppose 0 = -10*b + x*b. Sort k, b, 5.
b, k, 5
Let c = -14 + 7. Let t be (c + 4)*8/12. Sort -1, t, 5 in descending order.
5, -1, t
Let j = -1.95 - 0.05. Let v = 0.2 - 0.4. Put 0.1, v, j in ascending order.
j, v, 0.1
Let d = 34 + -34. Put 3, d, -2 in descending order.
3, d, -2
Let g = 15 - 7. Suppose 6 = -3*j - 4*p, 4*p = 4*j - g - 12. Put 3, 1, j in ascending order.
1, j, 3
Let q be 24/9 - ((-15)/(-9) + -1). Suppose 0 = -0*d - 5*d - 15. Sort d, q, -5 in descending order.
q, d, -5
Let q be 2 - -1 - 2/2. Suppose 4*u - q*w + 10 = 0, -2*w - 8 = 2. Sort -1, 1, u in increasing order.
u, -1, 1
Let h = 0.49 - -3.51. Suppose -3*z + 10 = -z. Put h, -1, z in decreasing order.
z, h, -1
Let f = -0.59 + 0.09. Sort 5, f, 0.4 in decreasing order.
5, 0.4, f
Let d = -10 - -13. Let b be (-161)/(-210) - d/5. Sort -2, -3, b in decreasing order.
b, -2, -3
Let h = 0 + -0.7. Let q = 0.6 + h. Sort -3, -0.4, q in decreasing order.
q, -0.4, -3
Suppose -12 = -4*u - 2*p, u - 3 = -0*u + 2*p. Let a = 2 - 0. Put 5, u, a in descending order.
5, u, a
Let w be (-50)/20*6/5. Let f be 5*((-24)/(-10) - 2). Sort f, w, -4 in ascending order.
-4, w, f
Suppose -4*h = h - 25. Put h, -18, -5 in decreasing order.
h, -5, -18
Suppose 4*s - 5 - 11 = 0. Let v = 3 - -2. Put v, s, 2 in increasing order.
2, s, v
Let c = -3 + 3. Let t = 8 - 4. Sort t, 5, c in increasing order.
c, t, 5
Let u(g) = g**2 + 2*g - 4. Let v be u(-4). Sort v, -3, 0 in decreasing order.
v, 0, -3
Let p = 10 - 6. Suppose p*c = -2*i + 8, -i - i = -c - 3. Put -2, c, -4 in decreasing order.
c, -2, -4
Suppose v + 19 = 4*o, -2*o + 23 = 3*o - 2*v. Suppose o*n = 2*n - 27. Let t(l) = -l**2 - 8*l + 12. Let d be t(n). Sort 4, d, -5.
-5, d, 4
Let t = -9 - -8. Sort t, -2, 5 in decreasing order.
5, t, -2
Let x = 7.7 - 10.66. Let b = -0.04 + x. Let p = 0 + 0.4. Sort b, 1/5, p in increasing order.
b, 1/5, p
Let t = 0.019 + -0.319. Sort 1/4, t, 2 in decreasing order.
2, 1/4, t
Let z(s) = 4*s - 24. Let g be z(6). Put 2, g, 4, -2 in ascending order.
-2, g, 2, 4
Let v(g) = -3*g + 1. Let a be v(2). Let y(s) = -s - 2. Let n be y(a). Suppose n*j + 5 = -1. Sort -3, j, 3 in decreasing order.
3, j, -3
Suppose -4*j + 2 = -3*j. Suppose -j*a + 0*a - y - 5 = 0, 0 = -3*y - 3. Sort 2, a, 4.
a, 2, 4
Suppose 0 = -11*k + 14*k - 6. Put k, 4, -8 in ascending order.
-8, k, 4
Let v be (-8)/(-38)*(-1)/2. Let s = 10 + -15. Put 0, s, v in ascending order.
s, v, 0
Let q = 0.8 - 0.3. Let z(r) = r**2 + r + 2. Let d be z(-3). Let u = d + -11. Put 3/4, u, q in ascending order.
u, q, 3/4
Let n = 5 - 5.4. Suppose 14 - 36 = -2*p + 4*i, -5*p - 20 = 5*i. Suppose p + 6 = -2*l - 3*f, -5*l = 4*f. Put 1/3, l, n in descending order.
l, 1/3, n
Let d(g) = 2*g + 12. Let n be d(-6). Let t(b) = b + 2. Let c = 5 - 2. Let f be t(c). Put n, f, -0.1 in descending order.
f, n, -0.1
Suppose -3*m + 3 = 15. Let c be (4/(-200))/((-2)/(-5)). Let j = c - -47/140. Sort j, 3, m in decreasing order.
3, j, m
Suppose 2*y - 5 - 11 = 0. Let c(a) = 3*a - 11. Let q be c(y). Suppose -5*g + 10 = 5*m, -5*g = -2 - q. Sort m, -4, 3.
-4, m, 3
Let q(h) = -h**3 + 5*h**2 - 6*h + 1. Let v be q(4). Let j = 9 + v. Sort 5, j, -1.
-1, j, 5
Let z be (-6)/(-21) + 4/(-14). Let t = 5.097 - 0.097. Sort z, t, -2 in ascending order.
-2, z, t
Suppose -q - 2*u = 0, 0 = 4*q - 5*u - 13. Put q, 1/3, 2/5 in decreasing order.
q, 2/5, 1/3
Suppose d - 10 = 14. Let g be 7 + (-4)/(-6)*(6 - 12). Suppose -5*f + g*m = -d, -3*f = f - m - 15. Put -0.4, -0.5, f in ascending order.
-0.5, -0.4, f
Let a = -3.8 + 4.8. Put a, 3, -3, -4 in descending order.
3, a, -3, -4
Let w = 20 - 20. Sort w, -1/2, 0.1, 0.6 in ascending order.
-1/2, w, 0.1, 0.6
Let a(u) = -4*u**2 + 2*u - 1. Let z = 2 - 1. Let q be a(z). Let r = 8 + q. Sort 2, 0.5, r in descending order.
r, 2, 0.5
Let b = 466 - 8852/19. Put b, 3, 7/3 in descending order.
3, 7/3, b
Let r = -6 + 3. Let n = -412 - -406. Put 0, n, r in increasing order.
n, r, 0
Let c = -65/2 + 35. Sort -2, c, 2 in descending order.
c, 2, -2
Let j be (-1)/(-161)*37 + (-1)/7. Suppose -5*a + a = 3*g - 6, 5*a - 4*g = -8. Sort -4/3, j, a in decreasing order.
j, a, -4/3
Suppose 2 = -3*i - 7, 0 = 5*w + 5*i. Put w, -3, -1 in decreasing order.
w, -1, -3
Suppose 0 = 2*k - u - 13, -4*u + 3 - 23 = 0. Let f = -1 + -3. Sort -2, f, k in ascending order.
f, -2, k
Let r(v) = -3*v + 1. Let f be r(-1). Suppose -9*s = -11*s + f. Put 0, s, -2 in ascending order.
-2, 0, s
Let h = 58 + -58.5. Sort -4, 2/11, 0.4, h.
-4, h, 2/11, 0.4
Let r = 8 + -3. Suppose -u + 10 = -2*n + u, -4*n + r*u = 22. Sort n, 3, 4.
n, 3, 4
Let y = -20 - -22. Sort 0.1, -2, y in ascending order.
-2, 0.1, y
Let l(a) = 3*a + 10. Let r be l(-4). Let x(u) = u**3 - 10*u**2 - 12*u + 15. Let k be x(11). Sort k, r, 1 in increasing order.
r, 1, k
Let n(i) = -2*i + 1. Let a = 8 - 9. Let r be n(a). Suppose -c - 8 = r*c. Put 3, 2, c in descending order.
3, 2, c
Let p = -9 - -13. Suppose 4*g - 3*o = 39, -p*g + 4*o = -4 - 36. Let w be 2/(-3) - 30/g. Sort -5, w, 0.
-5, w, 0
Let p be 10/(-4)*4/(-5). Let b be p/4*2 - -3. Sort -2, b, -3 in descending order.
b, -2, -3
Suppose 2*l + 2*w + 16 = 0, -4*l - 3*w - 6 = 23. Put 2/7, l, -1/5, 2 in decreasing order.
2, 2/7, -1/5, l
Suppose 2*p + 2*q + 23 = -3*q, 2*q = -4*p - 6. Let n(c) = c**2 + 3*c - 4. Let g be (-2)/(2 + -3) + -6. Let i be n(g). Put 2, p, i in ascending order.
i, p, 2
Suppose 0 = 3*h + 4*q + 6, -2*q = -4*q - 6. Sup