.1
Suppose 0 = -2*p + 4 - 2. Suppose 2*t = -3*h + 17, 0 = 4*h - 2*t - 2*t + 4. Sort -4, p, h in descending order.
h, p, -4
Let j(c) = c + 18. Let m be j(-13). Sort 7, 0, m, -1 in descending order.
7, m, 0, -1
Let q = 48.6 + -45. Let x = -4 + q. Let f = -1 - -1.5. Put x, 4, f in increasing order.
x, f, 4
Let r(z) = -z**2 - 2*z + 5. Let c be r(0). Sort c, 0, -1, 1 in decreasing order.
c, 1, 0, -1
Let s = 2567/36 + -271/18. Let a = 56 - s. Sort a, 0.5, 0.1 in decreasing order.
0.5, 0.1, a
Let l be -10*(1 - 4/8). Put -3, 0, l in descending order.
0, -3, l
Let k be ((-14)/147)/((-3)/(-7)). Let l = -3 + -2. Put k, l, -2 in ascending order.
l, -2, k
Let g = -4 - -7. Suppose 7 = -g*d - 5. Sort 0, 1, d.
d, 0, 1
Let u(z) = -z + 10. Let w be u(6). Let h(v) = 2*v + 10. Let c be h(-4). Sort c, 5, w in descending order.
5, w, c
Let z = 0.1 - -2.9. Let a = 7 + -7.4. Put a, 1/2, z in decreasing order.
z, 1/2, a
Let l = -2 + 2.03. Let s = l - 0.03. Let n = 1 - s. Put 2/9, n, -5 in descending order.
n, 2/9, -5
Let z = -6 - -3. Let p = 35 - 30. Sort z, p, -3/7 in descending order.
p, -3/7, z
Let t be (15/2)/(2/(-4)). Let b = 10 + t. Put 3, -1, b in descending order.
3, -1, b
Let j be (-1 + 87/81)*3. Put j, -0.1, 0.1 in descending order.
j, 0.1, -0.1
Let h = 5 - 8. Let o = 537 - 536. Put h, o, -0.05 in descending order.
o, -0.05, h
Suppose -15*p - 2*g = -14*p - 4, g + 16 = 4*p. Sort -2, p, 21 in increasing order.
-2, p, 21
Suppose -5*v + s + 4*s = -30, 4*s = -20. Let k(j) = -j - 2. Let g be k(3). Sort v, -0.1, g in decreasing order.
v, -0.1, g
Suppose 0 = 4*s - 6 + 90. Let z = -25 - s. Put z, 3, 1 in ascending order.
z, 1, 3
Let p = 0.8 - 0.3. Let z = 3.5 + p. Let x be 1/3 - 2/3. Put x, z, 3 in increasing order.
x, 3, z
Let f = -0.72 + 0.72. Put 1, f, -0.5 in descending order.
1, f, -0.5
Let s = 0.09 - 1.09. Let r = 4 + s. Sort -2/7, 2, r in decreasing order.
r, 2, -2/7
Let u be 2/8 - (-17)/(-4). Let o(i) = -i + i**2 + 6*i**2 + 9 - 4*i**3 - i**3 + 4*i**3. Let g be o(7). Sort u, g, 0 in ascending order.
u, 0, g
Let f = 0.189 + -0.189. Put -6, f, -0.3 in decreasing order.
f, -0.3, -6
Let b(k) = -k - 7. Let j be b(-6). Let h(d) be the first derivative of 3*d**2/2 + d - 19. Let s be h(j). Put s, 5, -4 in descending order.
5, s, -4
Let m(f) = 2*f - 3. Let b(z) = -z**3 - 2*z**2 - z. Let w be b(-2). Let c be m(w). Sort c, -2, -5.
-5, -2, c
Let n = 119 + -142. Sort n, 0.4, -3 in decreasing order.
0.4, -3, n
Let s = -1.2 - 3.8. Let i = 16.5 - 16. Sort 0.3, i, s in descending order.
i, 0.3, s
Let g be 1 - ((-15)/(-4) - 2). Sort g, 0.1, -0.3 in decreasing order.
0.1, -0.3, g
Let u = 0.78 - 0.18. Let w = u - 0.2. Put 0, w, 13 in decreasing order.
13, w, 0
Let k = -25/4 + 7. Sort k, -1/11, -0.1, 0 in increasing order.
-0.1, -1/11, 0, k
Let c(d) = d**3 - 6*d**2 - 8*d + 9. Let w be c(7). Let p = -3 - w. Let v = 11 + -8. Sort 1, v, p.
p, 1, v
Let v = -107 - -108. Put v, 0, -4, -5 in ascending order.
-5, -4, 0, v
Let q be (-12)/(-30) + 16/(-10). Sort -0.5, -2/9, q in ascending order.
q, -0.5, -2/9
Let h = -64 + 194/3. Suppose -20 = -3*c + 5*i, -5*c + 69 - 9 = 5*i. Suppose 0 = -4*o - 16, -3*u = -u - 2*o - c. Put u, 0.2, h in descending order.
u, h, 0.2
Let y = -0.26 - 1.64. Let i = -2 - y. Let c = -0.4 + i. Put -2, 0.1, c in descending order.
0.1, c, -2
Suppose -2*o = -7*o, 5*s + o = 45. Put -4, 5, s in decreasing order.
s, 5, -4
Suppose -2*u + 64 = 74. Put -1, u, 6, 0 in descending order.
6, 0, -1, u
Let v be (15/6)/(1/(-2)). Let b = 27 - 17. Suppose -3*t = -4*u + 5, 3*t + 0*u + u + b = 0. Sort t, 5, v in ascending order.
v, t, 5
Let b = 4 - 8. Let q = -11/207 + -9/23. Put b, q, -3 in increasing order.
b, -3, q
Let n(q) = -q**3 - 17*q**2 - 2*q - 34. Let u be n(-17). Sort -3, 2, -5, u in decreasing order.
2, u, -3, -5
Suppose -5*o - 17 = 4*m, -4*o + 0*o - 4*m = 16. Sort -32, 4, o in increasing order.
-32, o, 4
Let g be (-2)/(-4) - 38/(-4). Suppose -4*c = 4*o + 16, 3*c - 5*o + g = 2*c. Suppose 0 = 5*b - 3*h - 28, 8*h - 3*h = -5*b + 20. Put b, c, 3 in decreasing order.
b, 3, c
Let d = -15 - -10. Sort d, 3, 4 in descending order.
4, 3, d
Suppose -a = -8 + 8. Let s(i) = -i**3 + 8*i**2 - 8*i + 10. Let m be s(7). Put m, a, -2 in ascending order.
-2, a, m
Let u = 21 - 20.6. Let w be 6/(-30) - (-19)/(-5). Sort u, w, 0 in decreasing order.
u, 0, w
Suppose 0 = -3*h + 5 + 10. Let k = -4.1 + 3.8. Sort 4, k, h in increasing order.
k, 4, h
Let g(v) = -v**2 + 2*v. Let f be g(2). Suppose q = -0*q + 3. Sort q, f, 5 in decreasing order.
5, q, f
Let g be (-3 - 2) + (-3)/(-3). Suppose k - 3*b = 5*k - 18, -5*k = -5*b - 5. Sort k, 2, g in decreasing order.
k, 2, g
Let g be 0/(0 - (-5 + 2)). Suppose g*j + 4*j - 16 = 0. Suppose 0 = -3*l - 0*v + v + 17, 5*l - 5*v - 35 = 0. Put -5, j, l in decreasing order.
l, j, -5
Let k = 1/21769 + 631151/3265350. Let f = k - 3/50. Let w = -2 + 1. Put 5, w, f in decreasing order.
5, f, w
Suppose -5*o - 10 = -d, 2*o - 3 = -5. Let h be (d/15)/((-2)/(-24)). Put -4, -5, h in ascending order.
-5, -4, h
Let x = 1 + 4. Suppose -2*b - 4 + 0 = 0. Suppose -4*z + 16 = 4. Sort z, x, b in ascending order.
b, z, x
Let p be ((-4)/12)/((-2)/6). Let f be 0 + (p - 23/21). Suppose 4*x + x = 2*y + 15, 2 = -y - 3*x. Sort 2, y, f.
y, f, 2
Let n(y) = -y**2 - 8*y + 2. Let q(z) = z**2 + 9*z - 3. Let k(u) = -4*n(u) - 3*q(u). Let l be k(-4). Sort -5, l, 2.
-5, l, 2
Suppose -10 - 2 = -6*q. Suppose -5*w = 3*a + 11, -q*w + 0*a = -a. Put w, 2, -3 in decreasing order.
2, w, -3
Let w = 1 - 2. Let d be (-5)/((-1)/(-2) + w). Let p = d - 6. Sort p, -1, 2/3 in increasing order.
-1, 2/3, p
Let a be (-11)/(-2) - 4/8. Put a, 1, -2 in descending order.
a, 1, -2
Let w = -0.8 + 0.24. Let u = -0.06 - w. Let d = 235 - 5407/23. Put 0.3, u, d in decreasing order.
u, 0.3, d
Suppose -2*i + 1 = 5. Suppose 3*g - 6*g = -12. Sort 5, i, g.
i, g, 5
Let m be (-9)/(-75)*5*1. Sort m, -1/2, 10 in descending order.
10, m, -1/2
Let v be (30/(-5))/((-10)/8*6). Let k be 1/(-1) + 4/3. Sort 7, v, k.
k, v, 7
Let x be (-4456)/(-36) + 4/18. Let s = x - 870/7. Suppose 0 = 8*w - 4*w + b - 12, -5*b = -3*w + 32. Sort 1, s, w in decreasing order.
w, 1, s
Let h = -0.2 - -1.1. Let j = 0.1 + h. Let s be 2/(-7) - 19/(-42). Sort s, j, -0.5 in descending order.
j, s, -0.5
Suppose -3*p + 4*g - 8 = 0, -3 = 5*p - 4*g + 5. Let z be (1 - -2)*(-2)/6. Sort 2, p, z.
z, p, 2
Let a = 51 - 90. Let s = a - -44.2. Let j = -0.2 + s. Sort -1, 2, j in descending order.
j, 2, -1
Let t(z) = 7*z - 72. Let b be t(8). Put 1, b, -1, -2 in increasing order.
b, -2, -1, 1
Let n(q) = -q - 13. Let k be n(-12). Put 4, k, 1 in decreasing order.
4, 1, k
Let r = -11 - -7. Put 4, r, -2 in ascending order.
r, -2, 4
Let x = 0 + 0. Let z = x - -0.4. Let r = z - -0.6. Sort r, -0.4, 0.2 in descending order.
r, 0.2, -0.4
Let i = 0.94 - 0.44. Let q = -4.6 - 1.4. Let r = q + 5.7. Put -3, i, r in descending order.
i, r, -3
Let o = -133/2 + 65. Let d = 181/955 + 2/191. Put d, o, 4 in decreasing order.
4, d, o
Suppose 8 + 0 = 2*n. Sort -5, n, 5 in decreasing order.
5, n, -5
Let t(a) = -2*a**2 - a. Let y be t(2). Let m(z) = z + 6. Let p be m(y). Sort -5, 1, p.
-5, p, 1
Suppose -3*t + 7 = -8. Suppose -4*h - 2 = -4*s + 2, -5*h + s + 11 = 0. Let k = -2 + h. Sort t, k, -1 in descending order.
t, k, -1
Let s be 2/5 + (-1 - 1). Sort -4, 4, s, -2/9 in decreasing order.
4, -2/9, s, -4
Let a(o) = -3*o**3 - 13*o**2 - 3*o + 3. Let h be a(-4). Sort 7, 1, h in ascending order.
h, 1, 7
Let r be (-3 - 0)*4/6. Let w = -514/3 - -173. Let t be (-16)/(-6)*9/(-30). Put w, t, r in decreasing order.
w, t, r
Let a = 190 + -194. Let i = -2/559 + -1096/6149. Put i, a, 4 in descending order.
4, i, a
Let s(t) = -t**2 - 4*t + 1. Suppose -3*k - 5 = -2*k. Let a be s(k). Let d be ((-6)/a)/((-15)/(-4)). Put -1/3, d, -3 in decreasing order.
d, -1/3, -3
Let q be 6/9*(-15)/25. Put q, 1, 0 in increasing order.
q, 0, 1
Suppose 0 = 352*t - 356*t + 20. Let q = 2 - 3. Suppose 4*c = -0*c. Put c, t, q in descending order.
t, c, q
Let z be 3/(-2) + (-12)/(-24). Suppose 0 = -4*g + 4 + 4. Suppose 2 = -2*f - g. Sort f, z, 4.
f, z, 4
Let t = -12 + 22. Let w = t - 9. Let u = w + 3. Put -0.3, 0, u in descending order.
u, 0, -0.3
Let f = -3.92 - 0.08. Let n = 77.7 + -71. Let s = n - 7. Sort s, 0.5, f in descending order.
0.5, s, f
Let 