2*1/2*h. Let c = -2 + t. Sort 0, c, -2 in descending order.
0, -2, c
Suppose 18 = -5*t - 7, -3*t - 15 = 4*b. Let i be 0 - (-7)/((-14)/(-36)). Let f be -3 + (-5)/((-15)/i). Sort -3, b, f.
-3, b, f
Let t(v) = -v**3 - 2*v**2 + 3*v - 4. Let j be t(-3). Let k = j - -9. Put k, 1/5, -0.4 in increasing order.
-0.4, 1/5, k
Let z(y) = y + 19. Let p be z(-13). Suppose -4*c - c + v = -p, -3*c + 8 = -5*v. Put -4, 3, c in ascending order.
-4, c, 3
Let d(k) = 5*k + 30. Let j be d(-7). Put 1, -2, j, -3 in descending order.
1, -2, -3, j
Let r = -0.2 - -0.21. Let w = 35.11 + -35. Let b = r - w. Sort 1, b, 4 in decreasing order.
4, 1, b
Let c = 4 + -6. Suppose 7*y - 23 = -9. Put c, -1, y in descending order.
y, -1, c
Let n = -116 + 118. Let q be (-33)/(-18) - 1*2. Sort -5, q, n.
-5, q, n
Let y be 2 - (3 + -1 - 6). Let m be (4/(-5))/(y/(-15)). Sort 1, 0, m.
0, 1, m
Suppose -3*c = -4*c. Suppose c = -2*x - 2 + 10. Let p = -4 - 0. Put -3, x, p in decreasing order.
x, -3, p
Let c = -0.7 - -1.1. Let z = c + -0.3. Sort 3, -1, z in descending order.
3, z, -1
Let i(m) = -2*m**3 + 4*m**2 + m + 4. Let p be i(4). Let k be (-2)/(-7) + (-152)/p. Sort 4, k, -4.
-4, k, 4
Let k(a) = 5*a - a**2 + 3*a**2 - 3*a**2 - 3. Let u be k(4). Let m(h) = 3*h. Let d be m(u). Sort d, -3, 0.
-3, 0, d
Suppose -6 = -9*w + 3*w. Let a be -1 + (-24)/(-21)*w. Put a, 3, -7 in increasing order.
-7, a, 3
Let k = 1261 + -1260. Let v(n) = n - 2. Let i be v(6). Let s = -1 + i. Sort -1, k, s.
-1, k, s
Let t be 4/(-10) - 4/10. Let y = 0.9 - 3.9. Sort -0.3, t, y in increasing order.
y, t, -0.3
Let a = 0.3 + 0.2. Let r be 9/(-6)*16/6. Let k(g) = -g**3 - 5*g**2 + 7*g + 3. Let d be k(-6). Put r, d, a in ascending order.
r, d, a
Let c = -25 - -49. Let v = -22 + c. Sort -4, v, -3 in ascending order.
-4, -3, v
Suppose i - 1 + 5 = 0. Suppose 7*g = 5*g - 6. Put 5, i, g in descending order.
5, g, i
Let a = -91 + 94.9. Let u = a + 0.1. Let t = -2 + u. Put -0.2, 3, t in descending order.
3, t, -0.2
Suppose 4 = -4*n - 2*y + 7*y, 5*n = -5*y + 40. Let m be 9/6*n/10. Sort 2/7, m, -1 in descending order.
m, 2/7, -1
Suppose -10*m + 9 = -m. Put 3, 2, 4, m in ascending order.
m, 2, 3, 4
Let u be (-2)/(-7) - 477/(-21). Suppose 2*k = c + 3, -8 = -k - 5*c - u. Suppose 374*b = 370*b - 20. Sort 2, b, k in descending order.
2, k, b
Let h be 4/24 + (-1)/6. Let r be (-1 - h)/(3/(-54)). Suppose -2 = -5*g + r. Sort -5, g, 3 in ascending order.
-5, 3, g
Let l = -21 - -35. Suppose 0 = -c + 3*j - 5 + l, -4*j = -3*c + 7. Sort c, 0, 3 in increasing order.
c, 0, 3
Let r be ((-12)/18)/(38/(-3)). Put -0.4, 3, r in ascending order.
-0.4, r, 3
Let t = -0.34 + 0.1. Let q = 20.96 + -21. Let h = q - t. Sort -0.5, h, -0.4 in increasing order.
-0.5, -0.4, h
Let q = -1 - -0.6. Let f = -3 - 1. Let a = -0.16 + 0.26. Sort f, a, q in descending order.
a, q, f
Let t = -0.317 - -0.017. Sort -4, t, -1/2, 4 in decreasing order.
4, t, -1/2, -4
Let l be 1 + 0 + 7*-1. Let h be (2 - l/(-2))*-6. Let t(k) = -k**3 + 5*k**2 + 6*k + 5. Let w be t(h). Sort -2, w, 0 in ascending order.
-2, 0, w
Let u be -1*(-5)/(5/(-2)). Sort u, -5, -3 in ascending order.
-5, -3, u
Let m = -7 + 11. Sort 0.3, m, -1/4 in decreasing order.
m, 0.3, -1/4
Suppose -6*w - 10 = -w. Put 2, -4, w in decreasing order.
2, w, -4
Let s = 44 - 43. Sort s, -1, -5 in ascending order.
-5, -1, s
Suppose 130 = -5*c - 5*j, 0 = 3*c - 7*j + 2*j + 38. Sort c, 5, 2 in decreasing order.
5, 2, c
Let r = 7 - 3. Let c = 1553/5 + -311. Sort c, 3, r in decreasing order.
r, 3, c
Let x = 17 + -11. Suppose -5*o + 3*o - x = 0. Suppose -2*w = -5*u + 7, 2*u + 3*u - 2 = -3*w. Put -5, o, u in descending order.
u, o, -5
Let x be (3 - (3 + 1)) + 0. Put -7, x, 1 in decreasing order.
1, x, -7
Let v = 0.93 - 0.03. Let r = 0.5 - v. Sort r, 1/2, 3.
r, 1/2, 3
Let a = 1 - 0. Let h(j) = -j**2 - j - 1. Let v be h(-2). Let l = v + 0. Sort 3, a, l in decreasing order.
3, a, l
Suppose 0 = 3*n - 2*n - 6. Let t = 11 - n. Sort 0, t, -2.
-2, 0, t
Suppose -4 = -3*f - 7. Let s be 4 + (1 - f) + -1. Sort 0.5, s, -0.4 in increasing order.
-0.4, 0.5, s
Suppose -x + 3 = 6. Suppose n = -2*n - 12. Sort 0, x, n.
n, x, 0
Let z be (0/(-2))/((-14)/(-7)). Sort z, -2, 1.
-2, z, 1
Let m = -2 + 0.8. Let b = m - -0.9. Put 6/11, b, -3/5 in descending order.
6/11, b, -3/5
Let b = -1.1 - -8.1. Let u = b - 9. Let t = -3 + u. Put -4, -1/8, t in decreasing order.
-1/8, -4, t
Let z = -15 + 15. Let p be (-18)/4*20/(-30). Sort z, 2, p.
z, 2, p
Let r be (-8)/((-4)/(-1)) + 2. Suppose t + 4*i = -7, 3*i = t + 5*i + 5. Sort t, r, -1.
t, -1, r
Let p = -0.93 + -5.07. Sort 3, p, 0.4 in descending order.
3, 0.4, p
Let w = 6.2 - 15. Let g = w + 4.5. Let h = -0.3 - g. Sort -0.3, h, 0.4 in descending order.
h, 0.4, -0.3
Suppose 3*a - 15 = -2*q + 4*a, -15 = 3*a. Put 0.5, -1, q in ascending order.
-1, 0.5, q
Suppose -2*q + 7*i = 2*i - 5, 2*q - 4*i = 4. Let n = -4 + q. Let u be 1 - (-1 + -5)/(-2). Put -1, u, n in increasing order.
n, u, -1
Let p be 1/(10/15)*2. Sort p, -1, -3.
-3, -1, p
Let q = -6 + 11. Let n = -0.069 - 28.931. Let m = 33 + n. Put 0, m, q in descending order.
q, m, 0
Let h = 19 - 21. Sort h, 6, 3.
h, 3, 6
Let d = 17.2 + -17. Put 0, d, -2/17 in increasing order.
-2/17, 0, d
Let l = 8.15 + -0.15. Let x = -5 + l. Let m = 8 - 13. Sort x, m, -4.
m, -4, x
Suppose -3*m - 25 = -8*m. Suppose -4*t = -m*p - 17, 0*t + 3*t - 5*p = 14. Let b = -6 + t. Sort -5, b, 4 in increasing order.
-5, b, 4
Let c(m) = m + 3 + 2 + 2. Let j be c(-3). Let f be (0 + 1)/((-1)/5). Put 2, f, j in ascending order.
f, 2, j
Let s = -43 - -42. Sort s, 5, -2/25.
s, -2/25, 5
Let c = -0.12 - -2.12. Sort -0.4, 0, c in descending order.
c, 0, -0.4
Suppose -5*x = -3*g + 9 + 9, -2*g + x + 5 = 0. Let p = 2 + -2. Suppose p = b + 2*z - 2, 4*b - 3*z - 6 = b. Sort b, -2, g in increasing order.
-2, g, b
Let l = 2 - 0. Suppose -4*k + 9 = -0*s + 3*s, 3*k - 3*s + 9 = 0. Let b = k - 5. Sort l, -2, b.
b, -2, l
Let u = 0 + 0. Suppose -3*y - 4 = -y. Let j be (-1)/y*-4*-2. Sort j, u, -1 in decreasing order.
j, u, -1
Let i = 12.08 + -12. Let u be (3 + -7)*2/18. Put u, i, -2/5 in decreasing order.
i, -2/5, u
Let m = 0.05 - 0.02. Sort -2, m, -4.
-4, -2, m
Suppose 4 = 2*n - 4. Suppose 12 = -0*q + n*q. Let c = q + -8. Put c, 0, 5 in decreasing order.
5, 0, c
Let m(s) = s**3 - 2*s**2 - 4*s - 3. Let q be m(3). Sort 0, 3, 5, q in ascending order.
q, 0, 3, 5
Suppose -3 = 3*l + 3. Suppose 4*q = -0*q + 8. Let p be q*21/(-12) - l. Sort 3, 0, p in descending order.
3, 0, p
Let z = 0.06 + -1.66. Let l = z + 0.6. Let a = 2.06 + -2. Sort l, a, -2/17 in descending order.
a, -2/17, l
Let a = -2 - -4. Let g be (-1)/a + 12/(-40). Sort g, 0, -4.
-4, g, 0
Suppose 0 = -4*z + 4*j - 20 - 0, 0 = -z - 4*j + 15. Let g be (0/(-1) + -2)*-2. Suppose -r = -3*x - g, 0 = 4*x - 3*r - 1 - 2. Sort -2, z, x in descending order.
z, -2, x
Let y be 4/(8/(-4)*-1). Put 0, y, -4 in increasing order.
-4, 0, y
Suppose 2*o - 6*t + 3*t = -15, -5*o - 24 = -3*t. Put o, 5, 6 in decreasing order.
6, 5, o
Let u = -3.1 + 3. Let j = 172 + -171. Put u, j, 5 in descending order.
5, j, u
Let n(q) = q**2 + 3*q - 1. Let o be n(-4). Suppose w + o = -0. Let c(m) = -m + 2. Let f be c(-2). Sort w, f, 5.
w, f, 5
Let g = 4 + 1. Sort 1, -6, g.
-6, 1, g
Suppose 0*z + 2 = 2*z. Let a(s) = -s**2 + 4*s + 5. Let i be a(4). Put 3, z, i in increasing order.
z, 3, i
Let l be 4/(-18) + 100/45. Suppose l*m - 1 = m. Let a(q) = -2*q - 6. Let s be a(-5). Sort s, m, -2 in increasing order.
-2, m, s
Suppose b - 2*b - 2 = 0, 3*b + 16 = -2*w. Put 4, -2, w in increasing order.
w, -2, 4
Let t(m) = -m**3 - 8*m**2 - 8*m + 10. Let z be t(-7). Let g = z - 12. Suppose 7*l + g = 2*l. Put 2, l, 1 in ascending order.
l, 1, 2
Let w = 4 - -3. Sort -0.1, w, -2 in decreasing order.
w, -0.1, -2
Let q = 0.2 + -1.2. Let t = q + 1. Let x = 0.9 + 3.1. Sort 2, t, x.
t, 2, x
Let p = 30.3 - 30. Sort p, -0.05, 3/8 in ascending order.
-0.05, p, 3/8
Let x(o) = -2*o**2 - 16*o - 16. Let s be x(-7). Let i(w) = -2*w**2 - 2*w - 2. Let t be i(-2). Let v be (-20)/t + 2/3. Sort 0, s, v in increasing order.
s, 0, v
Suppose 2*w - 4*p = 4*w - 2, 0 = -5*w + 4*p + 5. Sort -2, -4, w, 4 in descending order.
4, w, -2, -4
Let x = -50.9 + 46.9. Let z = 0 + -1. Sort -0.6, x, z in descending order.
-0.6, z, x
Let k = 36 + -34. Suppose 4*s - 3*r - 32 