0. Put 5, -2, t in increasing order.
-2, t, 5
Suppose 2*c + c - 2*c = 0. Sort 5, c, -4, -5.
-5, -4, c, 5
Let k = -9 - -13. Let h = 8/9 - 11/9. Put k, -5, h in increasing order.
-5, h, k
Let c(o) = -o + 9. Let t be c(4). Let u(q) = -q**3 - 7*q**2 - q - 9. Let m be u(-7). Put m, -4, t in descending order.
t, m, -4
Let z be -1 + (3 - 1) + -2. Suppose -2*a = -4*o - 10, 4*o + 2*a = -2*a - 16. Put z, 0, o in ascending order.
o, z, 0
Let i = -3.93 - 0.07. Let z = -3 - -5. Let m be 0*1/z*-2. Put i, m, -5 in decreasing order.
m, i, -5
Suppose u = 5*u + 5*c + 10, 0 = -4*u + 3*c + 6. Put 2, u, 11 in descending order.
11, 2, u
Let u be (2 + -2)/(-2 - -1). Let d = -9 - -16. Suppose 5*m + 2 = d. Put m, u, -1 in decreasing order.
m, u, -1
Let u = -382 + 2297/6. Let j = -0.5 - -1. Put 2, j, u in ascending order.
j, u, 2
Suppose -1 = 8*z - 9*z. Sort -0.1, z, 5.
-0.1, z, 5
Suppose -58*m + 55*m - 15 = 0. Sort m, 2, 3, -2.
m, -2, 2, 3
Let w = 15 - 14.9. Let s = -1043/5 + 208. Let d(a) = 3*a**2 + a + 1. Let x be d(-1). Sort w, s, x in increasing order.
s, w, x
Let z be (4 + -4)/(-1 + 2). Sort -2, -3, z in decreasing order.
z, -2, -3
Let f = -0.23 - -4.23. Sort f, 0.5, -4.
-4, 0.5, f
Suppose 2*w - 4*s = -2*w + 12, -5*w - 4*s = -15. Let m(r) = -r**3 + 4*r**2 + 4*r + 1. Let o be m(5). Put o, w, 1 in decreasing order.
w, 1, o
Let m = -244 - -245. Let j(s) = 2*s - 3. Let c be j(3). Put m, 0, c in ascending order.
0, m, c
Let l = 0 - -2. Let w = -0.7 + 3.7. Put l, w, 1/6 in decreasing order.
w, l, 1/6
Suppose 5*g - 12 = h, -h + 5*h = -3*g - 2. Let t be 0/(-3 + 6/3). Let y = t - -5. Sort g, y, -2 in ascending order.
-2, g, y
Suppose 5*i - 157 = 3. Suppose 2*p = -4*c - 3*p + i, 0 = -2*c - 5*p + 26. Put -3, c, 0 in ascending order.
-3, 0, c
Let m = 144 + -1874/13. Let h be (19/(-532))/((-3)/24). Put m, 0.4, h in descending order.
0.4, h, m
Let f = -14.2 - -14. Let t = -11 - -7. Let l = t + 4.2. Put f, 2/15, l in increasing order.
f, 2/15, l
Let n(c) = -c + 2. Let d be n(0). Suppose -3*a = 4*k - 25, d*k + 7 = -0*a + 5*a. Let u be (-2)/(2 + 2)*a. Sort u, 5, 1/6 in descending order.
5, 1/6, u
Let p be 0/5 - (-6)/(-9). Sort 0.1, p, -2 in descending order.
0.1, p, -2
Let a = -49/5 + 323/35. Sort -12, a, 1/2 in descending order.
1/2, a, -12
Let a = -0.12 - 0.08. Let h = 8 + -8. Let z = 2/107 + -115/428. Put z, a, h in increasing order.
z, a, h
Suppose -d = -3*d + 6. Suppose s + d*x = 0, -3*s - 3*x = -x. Sort 2, s, 1.
s, 1, 2
Let o(w) = -w**2 + 5*w - 2. Let m be o(5). Let d = m - -4. Put d, 1, -2 in increasing order.
-2, 1, d
Suppose 5*h + 36 - 111 = 0. Suppose -h = -5*f + 25. Suppose m = -m - f. Sort 5, m, -2/7 in decreasing order.
5, -2/7, m
Let l = -361 + 357. Let z(g) = g - 3. Let j be z(5). Put l, j, 3 in descending order.
3, j, l
Let y = 0.102 + -0.002. Let j be 1/(-15) + (-2)/(-5). Put y, j, -0.4 in descending order.
j, y, -0.4
Suppose -27 = 4*t - 5*u, 3*u - 2*u + 9 = -4*t. Sort -1, t, 0 in decreasing order.
0, -1, t
Let w = -5.9 - -4.9. Sort 4/5, w, -1.1 in descending order.
4/5, w, -1.1
Let p(l) = -l - 4. Let q be p(-7). Suppose -q*r + 21 = -2*o + 2*r, 5*o = -r + 15. Suppose o*h = 7*h. Sort -0.4, h, 2/3.
-0.4, h, 2/3
Let q be (-6)/(-24)*(-157)/3. Let s = -53/4 - q. Sort -5, s, -0.1 in descending order.
-0.1, s, -5
Let v = -0.26 + 1.26. Sort 0, v, 5/4 in descending order.
5/4, v, 0
Let k(m) = -m**2 - 9*m + 4. Let s be k(-9). Suppose 5*b + 12 = -4*p, -s*b - 6*p + 2*p - 12 = 0. Sort b, 5, -8 in descending order.
5, b, -8
Let s(y) be the third derivative of -y**5/60 - y**4/12 - y**3/3 + 4*y**2. Let u be s(-3). Put u, -4, -1 in ascending order.
u, -4, -1
Let q = 3 + -2. Let v be ((-2)/(-20)*4)/((-2)/(-10)). Sort 4, v, q.
q, v, 4
Let o be -1*(64/(-4) - -3). Suppose -2*n + 5*a + o = 0, -3*n = -2*a - a - 6. Put n, -2, 5 in decreasing order.
5, n, -2
Let c be 5 - 10 - (0 - 0). Let u = 77 + -83. Sort c, u, 5 in descending order.
5, c, u
Let z(h) = -h**3 - 12*h**2 + 16*h + 14. Let s be z(-13). Let g be s/15*(2 - -1). Sort -2, 4, g in descending order.
4, -2, g
Suppose -10 = -3*h + h. Suppose -2*r = 3*s - 13, -r + h*s = -3*r + 23. Let i be 2*-3*r/(-2). Sort 1, 0, i.
i, 0, 1
Let n = -17 + 29. Let j = n - 6. Put j, -2, -3 in decreasing order.
j, -2, -3
Let x = -24 - -26. Suppose 0 = 3*l - x*t - 17, 5*l = 5*t + 51 - 16. Sort 1, 0, l in increasing order.
0, 1, l
Let a = -2 - 3. Let c(l) = -l**2 - l + 9. Let m be c(0). Suppose -5*k + 17 = 2*b, b - m = -2*k - 2. Sort a, 5, b in ascending order.
a, b, 5
Let o(c) = -3*c. Let n be o(1). Let y = -7 + 10. Suppose -5*g + 2*h - 12 = 0, -3*h - h - 16 = 0. Sort y, g, n.
g, n, y
Suppose -g = -3*r - 4, -5*r + 2*r = -4*g + 16. Suppose -2*v = 2*x - 2 - 4, 5*x = -2*v. Sort r, 3/7, x in decreasing order.
3/7, r, x
Suppose -2*r = 4 + 4. Sort -2, r, 2 in decreasing order.
2, -2, r
Suppose -2*c + 3*n - 10 = 0, 4*c = 5*c - 4*n + 5. Sort 3, -71, c in descending order.
3, c, -71
Let m(f) = f**3 - 19*f**2 - 19*f - 16. Let b be m(20). Sort 5, -4, -1, b.
-4, -1, b, 5
Let j(r) = -r**3 + 4*r**2 - 3*r + 1. Let y be j(2). Let s be (y - -1) + (3 - 2). Let m(z) = -z - 9. Let i be m(-5). Put 1, s, i in ascending order.
i, 1, s
Let f = 0 - 1. Let s = f + -2. Sort 5, s, 0.
s, 0, 5
Let x = 18 - 16. Sort 0.01, -5, x in increasing order.
-5, 0.01, x
Let t be (-3 + 6)*1*-1. Sort 3, 2, t in descending order.
3, 2, t
Let b(m) = -5*m + 20. Let u(q) = -4*q + 19. Let y(p) = 3*b(p) - 4*u(p). Let w be y(11). Sort 5, w, -1 in decreasing order.
5, -1, w
Suppose 3*t - 5*t + 40 = 0. Suppose 5*f = f + t. Let n = -6 - -8. Sort n, 1, f.
1, n, f
Suppose 3*g - 18 = -12. Let k(p) = p - 9. Let m be k(4). Sort m, -4, g.
m, -4, g
Let v = -0.3 - 0.2. Let u = -18 + 19. Let g = u + v. Sort -0.2, g, 0 in increasing order.
-0.2, 0, g
Let q = -37 - -32. Put -1/2, q, 5 in increasing order.
q, -1/2, 5
Let p = -3.5 + 2.5. Let z = -0.5 + 0.3. Let c = -0.3 - -0.5. Sort z, p, c in ascending order.
p, z, c
Suppose -d - 2*d = 5*h - 23, -d - 19 = -5*h. Let o be (-6)/(-7)*(1 - -6). Suppose o*s = s. Sort 4, s, d.
s, d, 4
Let d = -656/5 + 131. Let x = -1/93 + -277/186. Put 0.5, d, x in ascending order.
x, d, 0.5
Let x = -0.05 - 0.25. Let d = -0.34 - x. Let b = d - 1.96. Sort -3, 0.1, b in decreasing order.
0.1, b, -3
Let d(w) = -w**2 - 26*w - 5. Let b be d(-26). Put 5, b, -1, -4 in decreasing order.
5, -1, -4, b
Let c = -0.46 + 0.06. Put 4, -5, c in ascending order.
-5, c, 4
Let w be 8/((-3)/(-30)*4). Suppose 3*q + w = -q. Sort -4, q, 5 in descending order.
5, -4, q
Suppose 0 = u + 5. Put 9, -2, -1, u in descending order.
9, -1, -2, u
Let r = 5 - 4.92. Let p = -4.08 + r. Let w be (-3)/((-18)/(-8)) + 1. Sort w, 5, p in decreasing order.
5, w, p
Let m(r) = 6*r**3 - 2*r - 1. Let a = 9 - 6. Suppose -f - 5*h - 3 = -12, -5*h = -a*f - 13. Let z be m(f). Put z, 2, -4 in decreasing order.
2, -4, z
Let q = -11 - -8. Let j = 23 + -20. Let p be -1 - (-3 + j + 0). Sort 3, p, q in decreasing order.
3, p, q
Let y = -2.92 + -0.08. Let h = y - -3.1. Let r = h + -0.6. Put r, 0, 0.2 in ascending order.
r, 0, 0.2
Let t = 16 - 19. Put 5, 3/5, t in descending order.
5, 3/5, t
Let y be -2 - (1 + -2 + 1). Let q = y - -4. Let w(x) = -x + 2. Let s be w(-4). Sort s, 5, q.
q, 5, s
Suppose 5*n - 8 + 3 = 3*v, -4*n - 18 = 2*v. Suppose 0 = 2*m - 4*p - 6, p + 1 = m - 0. Sort n, m, -3 in decreasing order.
m, n, -3
Let b(m) = -m**3 - 12*m**2 - 11*m - 15. Let p be b(-11). Put -5, -1, p in ascending order.
p, -5, -1
Let u(p) = -p**3 - 3*p**2 + 3*p + 4. Let i be u(-3). Put i, -1, -14 in ascending order.
-14, i, -1
Let o = -7 + 7.13. Let d be 3*((-45)/(-24) - 2). Sort d, 0, o in increasing order.
d, 0, o
Let c = -64.9 - -65. Let t = -2 + 2.5. Sort t, -1/7, c in increasing order.
-1/7, c, t
Suppose -n - 4*g + 21 = 0, -4*n - g + 24 = 3*g. Let c(x) = x**2 + 1. Let k be c(n). Let v = -1 + 1. Sort v, k, 0.2 in increasing order.
v, 0.2, k
Let j = -0.2 + 0.2. Let w = -0.5 + 2.5. Suppose -25 = 8*r + 7. Sort r, j, w in descending order.
w, j, r
Suppose -s - 15 = 5. Sort 3, -3, s.
s, -3, 3
Suppose j - 5*b - 4 = -0, -4*j + 5*b + 16 = 0. Sort j, -2, 1 in decreasing order.
j, 1, -2
Suppose 20 = -0*t - 2*t. Let u(f) = f**3 + 10*f**2 + f + 7. Let i be u(t). Sort -2, 3, i in descending order.
3, -2, i
Suppose -2*p - 4*k = -554 - 190, 5*k + 400 = p. Suppose -3*o