h, 0.1, 5 in decreasing order.
5, 0.1, h
Suppose -4*s + 4*i = 28, 20 = -3*i + 7*i. Sort s, 5, 3 in descending order.
5, 3, s
Suppose 8 = 2*d + b, -2 = -3*d - 0*d + b. Suppose -5*n + 3*n - d = 0. Let f be (0 + -2)*n/13. Put 2/5, -3, f in increasing order.
-3, f, 2/5
Let c = -3 + 10. Sort c, -1, 3 in descending order.
c, 3, -1
Suppose y - 1 + 0 = -4*d, 5*d = -y. Let g(h) be the first derivative of h**4/4 - 3*h**3 + 7*h**2/2 + 5*h + 3. Let n be g(8). Sort n, 3, y in ascending order.
n, 3, y
Let t = -30 + 9. Let c = -21.02 - t. Sort 1, 4, c.
c, 1, 4
Let n be (-2)/(2/(-4) - 0). Let r be (-16)/(-234) - n/(-26). Put 5, 2, r in increasing order.
r, 2, 5
Let b = 0.2 + -0.7. Put -1/7, b, 6 in decreasing order.
6, -1/7, b
Suppose 0 = -3*i + q - 17, 12 = 5*i - q + 37. Let w = -0.1 - -5.1. Let z = -8 + w. Put z, i, 1/3 in descending order.
1/3, z, i
Suppose 1 = 4*k - 27. Let u be (-3)/k*16/24. Put -0.3, u, 0 in ascending order.
-0.3, u, 0
Suppose -2 = 3*i + 4. Suppose -3*l = 4*g + 25, 2*l + 5*g + 23 = l. Sort 4, i, l in descending order.
4, i, l
Let t be -2*(-6 - (0 - 0)). Let b(o) = o**3 - o + 3. Let a be b(0). Suppose j - 2*j = -5*n - 4, -3*j + t = a*n. Sort -5, j, 0 in descending order.
j, 0, -5
Suppose -4*w = 3*y + 29 + 2, 8 = 3*w - 4*y. Put w, -1, 0 in decreasing order.
0, -1, w
Let v = 16 + -16. Sort -2, v, -1/5 in decreasing order.
v, -1/5, -2
Suppose -5*k - 15 = 4*m, -2*m - 3 = -3*k + 10. Put m, 0, -3 in descending order.
0, -3, m
Let x = -4 + 4. Let b = 0.4 - 0.6. Let r = b + 0. Sort r, -0.4, x.
-0.4, r, x
Let l be 6 - (0 - (-5 - -2)). Suppose -x + 2*x = 2. Put l, x, 0 in descending order.
l, x, 0
Let u = 0.04 - 3.04. Let s = -0.05 - -0.05. Sort s, u, 1/4 in ascending order.
u, s, 1/4
Suppose 5*t - 4*h + 12 = 0, -3*h + 9 = -t - 2*t. Suppose 2*k + 1 + 3 = 0. Let u = k + t. Sort u, -0.1, 0.
u, -0.1, 0
Suppose -5*s = 5 + 15. Sort -1/10, 1.9, s in ascending order.
s, -1/10, 1.9
Suppose 0 = -3*g + 3, -2*s = 3*s + 2*g - 27. Suppose -3*x - 12 = 3. Sort s, -3, x.
x, -3, s
Let n be ((-54)/22 - -2)*(-24)/20. Put n, -0.17, 0.2, -0.5 in increasing order.
-0.5, -0.17, 0.2, n
Let w = 48 + -193/4. Let b = 2.3 + -2.1. Sort 1, w, b in ascending order.
w, b, 1
Let a = -3.8 - -2.8. Sort a, 2, -0.3, 0.3 in ascending order.
a, -0.3, 0.3, 2
Let w = 1.2 - 2.2. Let x = -0.39 + -0.01. Sort 4, x, w.
w, x, 4
Let x(h) = h**2 + 6*h + 5. Let z be x(-4). Let g be (-2)/(-6) - (-2)/3. Sort z, -1, g.
z, -1, g
Let w be 0/(-2) + (-18)/(-24). Sort w, 1, -0.8.
-0.8, w, 1
Let b be (-460)/280 + 2/14. Sort 1, 2/111, 5, b in increasing order.
b, 2/111, 1, 5
Suppose 5*t = 5*c, -1 = 2*c - 3*t + 2. Sort -4, 0, c in increasing order.
-4, 0, c
Let d be 24/9 + 2/(-3). Let i be (-1)/(-4)*0 - -3. Suppose o + 2*o + h = 10, i*h + 20 = o. Sort 0, o, d in increasing order.
0, d, o
Let v(s) = 3*s**2 - 2*s - 1. Let t be v(-1). Suppose 0 = j + 2*m - 4 - 0, -j + 2*m = 0. Put -4, t, j in ascending order.
-4, j, t
Suppose 5*s - 2*s = 9. Sort -5, s, 1 in decreasing order.
s, 1, -5
Suppose k + 3*a - 48 = -4*k, a = -2*k + 19. Let m be 11/k + 3 - 4. Sort 4, m, 0.4 in decreasing order.
4, 0.4, m
Let i = 79 - 83. Let o = -5.11 + 0.11. Suppose m - 2 = -0*m + 2*v, -5*m - 3*v = -10. Sort o, i, m in decreasing order.
m, i, o
Let r be ((-12)/(-10))/((-2)/10). Let p = r - -11. Suppose -3*o - 2*i = -7, -2*o + p*i - 5 = 3*o. Sort o, -5, -2/9.
-5, -2/9, o
Suppose 0*d = -d - 4. Suppose 0 = -u + 3*y + 6, u - 5*y = -y + 8. Put d, 3, u in descending order.
3, u, d
Let y = -113 + 113. Sort 33, 2, 3, y in descending order.
33, 3, 2, y
Let k = -11.14 + 11. Let b = k - -0.04. Put -4, -1, b in decreasing order.
b, -1, -4
Let o = -4/23 - 34/69. Put o, -0.01, -0.4 in ascending order.
o, -0.4, -0.01
Let y(i) = -i - 3. Let p be y(0). Suppose -c - 2*j - j = 0, -5*j = 3*c. Suppose -2 = 2*d - c. Sort d, p, -5 in decreasing order.
d, p, -5
Let n = 19591 + -98607/5. Let o = -131 - n. Put 2/5, o, -1/4 in ascending order.
o, -1/4, 2/5
Let f be (-16)/((-7)/(42/(-4))). Let z be (-4)/f - (-2)/(-12). Sort z, 2, -1 in increasing order.
-1, z, 2
Let f = -1 + -3. Suppose 0 = y + 4*z - 20, -5*y - 2*z + 7 + 3 = 0. Sort f, 3, y in increasing order.
f, y, 3
Suppose 0 = -k - 2, 0 = -3*z + z - 5*k + 18. Suppose l + 4*f = -l - 4, -3*l + 2*f = z. Suppose -3*r + 0*r = -3. Put l, r, 5 in increasing order.
l, r, 5
Suppose 2*z + 10 = 7*z. Let p(u) = u**2 - 5*u - 5. Let y be p(5). Put -1, y, z in descending order.
z, -1, y
Suppose -n - 4 = w, 2*w + 2 + 2 = 2*n. Let c be 9*n*3/9. Suppose 2*a = -0*a - 2. Sort 0, c, a in increasing order.
c, a, 0
Let v = 51 - 27. Suppose -d = -3*o + 14, -3*o + v = 3*d + 6. Sort d, -3, -5 in decreasing order.
d, -3, -5
Let p(o) = o**2 - 7*o + 4. Let k be p(5). Let s = 8 + k. Sort -3, -5, s.
-5, -3, s
Let g be (1 - 55/25)/((-1)/(-25)). Sort 3/8, g, -0.3 in decreasing order.
3/8, -0.3, g
Let c(g) = g**2 - 7*g + 8. Let o be c(6). Sort 0.2, o, 0.3.
0.2, 0.3, o
Let k be (8/24)/((-2)/30). Suppose -13 = -4*y - 1. Sort y, k, 1 in descending order.
y, 1, k
Let t be 0 - (-1 + 2 + -1). Suppose 1 - 4 = -s. Suppose o + 0 - 1 = s*h, -2*o = 10. Sort -1, t, h in decreasing order.
t, -1, h
Let b be (81/15)/((-3)/(-15)). Let p be ((-1)/(-3))/(1/b). Let s be (-3)/9*p/12. Put 2, -5, s in increasing order.
-5, s, 2
Let o(l) = -l**3 + 8*l**2 - 7*l + 5. Let m be o(7). Put -3, 0, m in decreasing order.
m, 0, -3
Suppose 112 = -7*k - 63. Sort k, -2, 0, -5 in decreasing order.
0, -2, -5, k
Let v = 185/252 - -1/63. Let u = -11 - -25. Suppose -u = -3*z + 1. Sort z, 0.03, v in decreasing order.
z, v, 0.03
Let j(i) = -i - 6*i - i**2 + 8 - 4*i + 3*i. Let u be j(-9). Sort 5, 2, u in ascending order.
u, 2, 5
Let q = 9.3 - 3.4. Let c = 31 + -25. Let d = q - c. Put -1/5, 5, d in descending order.
5, d, -1/5
Let w be (3 - 123/45)*3. Suppose 0 = 2*f - 4. Sort f, w, -3 in ascending order.
-3, w, f
Let a = -8 - -22. Sort a, 4, 5 in decreasing order.
a, 5, 4
Suppose -y - 15 = -4*y. Let x be y + -3 + (-2)/(-2). Suppose -3 = w + w - 5*k, 3*k - 8 = -5*w. Put 5, w, x in descending order.
5, x, w
Suppose -4*s - 1 = 7. Put -5, -1, s in decreasing order.
-1, s, -5
Let k = -0.5 + 2.5. Let w = -4 + 3.4. Let a = w - 0.4. Sort -2/9, a, k in descending order.
k, -2/9, a
Let x(p) = -p**3 + 2*p**2 + 3*p + 4. Let g be x(3). Suppose -3*j = -g + 16. Sort -5, j, 1.
-5, j, 1
Let l(b) = b**3 + 4*b**2 - 4*b + 5. Let p be l(-5). Sort p, 3, 2 in increasing order.
p, 2, 3
Suppose 4*u + 1 = -i, u + u + 2 = -2*i. Suppose u*b + 5*b = 0. Let r(m) = -m**3 + 7*m**2 - 5. Let h be r(7). Sort b, -1, h in decreasing order.
b, -1, h
Suppose 0 = -11*p + 16*p. Let w be (1 - 0/(-1))/1. Let y be (-3 - -4)*1/(-1). Sort p, y, w in decreasing order.
w, p, y
Let q = -1.5 - -1. Sort 0, q, -2/13.
q, -2/13, 0
Suppose -5 = 5*r - 0*r. Suppose 5*q - 7 = -17. Let d = -11 - -7. Put r, q, d in descending order.
r, q, d
Suppose -2*r - m = 5, -r - 3*m - 2*m = 25. Let q be (-20)/(-70) + 206/14. Suppose -5*f - q = -r*f. Sort 5, -2, f in increasing order.
f, -2, 5
Let t be 1/1 + (17 - 20). Let b(w) = -w**2 - 7*w - 7. Let j be b(-6). Put 1, t, j in decreasing order.
1, j, t
Let p = -7 - -7. Let z(o) = -11*o**2 - 17*o + 5. Let j(f) = 5*f**2 + 8*f - 3. Let u(s) = 9*j(s) + 4*z(s). Let b be u(-6). Put b, p, -1 in descending order.
b, p, -1
Suppose 0 = -7*b + 3*b + 16. Suppose -s = 3*s + b. Let z(d) = d**2 - 7*d + 6. Let h be z(6). Put h, s, -3 in increasing order.
-3, s, h
Let u = -22 - -19. Put 1, -2, u in descending order.
1, -2, u
Let d = -13 + 3. Let i = d + 10.5. Put 4, i, 3 in descending order.
4, 3, i
Suppose 4*g + 15 = -1. Let f be ((-80)/(-9))/(-4) - -1. Let y = f - -79/72. Sort y, g, -1/3.
g, -1/3, y
Let o be 18/(-210) - ((-16)/(-14))/(-4). Put 0.1, o, -2/13, -5 in descending order.
o, 0.1, -2/13, -5
Let z = 85 - 85. Sort 0.1, z, -41 in decreasing order.
0.1, z, -41
Suppose -j - 12 = 3*j. Let s(v) = -v**2 + 5*v - 6. Let y be s(4). Put j, y, 4 in decreasing order.
4, y, j
Suppose -3*c + 2*l = -l - 3, -5*c - 7 = l. Let d be 0 + -1 + -1 + 3. Put d, 5, c in descending order.
5, d, c
Suppose q + 17 = -q - 5*l, 4*l - 20 = 4*q. Sort -3, 0, 3, q.
q, -3, 0, 3
Suppose 1 = -4*b - 35. Put 5, 0, b in descending order.
5, 0, b
Let j(n) = n - 5. Let f be j(0). Let h(y) = -5*y**2 - 4*y - 2. Let i be h(-1). Sort 1/3, f, i.
f, i, 1/3
