h - 55. Let t be m(-29). Put t, 4, y in ascending order.
y, t, 4
Suppose -z + 4 = -6*z + 2*m, 17 = -z - 5*m. Let n(l) = -l**2 + 2. Let i be n(z). Let v = -6 + 6. Sort i, v, -1.
i, -1, v
Let w = -781/14 + 111/2. Let y be (1 + -5)*2/2. Put w, 0.1, y in ascending order.
y, w, 0.1
Let z(p) = -p**3 - 5*p**2 + 7*p + 4. Let x be -6 - (-2 + 4 - 2). Let f be z(x). Let j be (-8)/16 + (-1)/2. Put 1, j, f in descending order.
1, j, f
Suppose d - 5*l - 5 = 0, -2*d = -3*l - 3 - 7. Suppose 4*s + 24 = 2*b, d*s + b = 5*b - 33. Sort 0, s, -1 in ascending order.
s, -1, 0
Let u = -2.96 + -0.04. Let k = 2.5 + u. Let s = -0.21 - -0.01. Sort -1, k, s in decreasing order.
s, k, -1
Let m be 1 - ((-280414569)/468 + 0). Let f = m + -599174. Let x = f - 43/12. Sort x, -0.4, 2 in decreasing order.
2, x, -0.4
Let y = 1 - 0.8. Let x = -4 - -4.4. Put x, -2/3, y in decreasing order.
x, y, -2/3
Let r = 36 + -40. Let f(x) = -3*x. Let a be f(1). Sort a, r, 5 in decreasing order.
5, a, r
Let v(s) = -s**2 + 7*s - 11. Let z be v(6). Put z, 4, -1 in ascending order.
z, -1, 4
Let j = 6.3 - -0.3. Let l = 7 - j. Sort l, 3, 2/9 in ascending order.
2/9, l, 3
Let h(j) = -j**3 + 7*j**2 + 8*j + 1. Let x be h(8). Put 3, -2, x in increasing order.
-2, x, 3
Let b = 0.24 + -0.44. Let g = 0.2 + 3.8. Sort b, 0.1, g in ascending order.
b, 0.1, g
Suppose y - 4*z + 0*z = 4, -1 = 3*y + z. Let q be (2/(-3))/(18/(-27)). Put y, q, -5 in descending order.
q, y, -5
Let y = 12 - 10. Sort y, -5, 0 in increasing order.
-5, 0, y
Let p be 96/(-120)*(-2)/(-4). Let m = -230/231 - -14/33. Sort p, -3, m in descending order.
p, m, -3
Let i(b) = 3*b - 18. Let x be i(5). Sort x, -4, -11, 0 in decreasing order.
0, x, -4, -11
Let q be ((-7)/(-21))/(8/(-6)). Sort 4, q, -0.1, -5 in decreasing order.
4, -0.1, q, -5
Let a = -29 - -27. Sort a, 0, -0.4, 2/3 in decreasing order.
2/3, 0, -0.4, a
Let w(s) = s**2 + 2*s - 4. Let t be w(-4). Sort t, 5, -3 in ascending order.
-3, t, 5
Suppose 0 = 4*r - 3 - 1. Suppose -m + 2 - 3 = 0. Suppose 2*n + n = 6. Put m, n, r in decreasing order.
n, r, m
Let c = 21 - 26. Sort -6, -2, c.
-6, c, -2
Let s be (-36)/(-180) - 52/10. Sort 6, 0.2, s.
s, 0.2, 6
Let w = 206/63 - 26/7. Let t = -3.98 + -0.02. Let b = t + 7. Sort b, w, 0 in descending order.
b, 0, w
Let c(r) = r**2 - r. Let h be c(-1). Let i = 6 + -3. Sort -4, i, h.
-4, h, i
Let x = -10.4 - -15. Let o = 1.4 + x. Let u = o + -4. Put -3, -2/19, u in decreasing order.
u, -2/19, -3
Suppose 4 + 23 = -3*h + 3*k, -2*h + 5*k - 27 = 0. Sort -1, h, -4 in increasing order.
h, -4, -1
Let w(h) = h**3 + 9*h**2 + 6*h - 11. Let b be w(-8). Sort b, 3, -2, -5.
-5, -2, 3, b
Let p = 0.1 + -0.7. Let g = -1.2 - p. Let y = g + 0.1. Sort 0, 3, y in increasing order.
y, 0, 3
Suppose 0 = 5*b + 3*s + 90, -b - 5 = -s - s. Let l = 11 + b. Let x be ((-1)/(-1))/(-3 + 3 - -1). Put -1, x, l in decreasing order.
x, -1, l
Let m = 3 - 5. Let n = m + 0. Let z be 8/((-8)/n + -2). Sort z, -4/7, 1/9 in descending order.
z, 1/9, -4/7
Let s(a) = a - 4 - 2*a**2 + 3*a**2 + 0. Let h be s(0). Sort 5, 1, h.
h, 1, 5
Suppose 5*n - 5*l - 15 = 0, n + 3*n + 5*l + 6 = 0. Let a = 215/18 + -103/9. Sort a, -1, n in decreasing order.
n, a, -1
Let n = 2/7 + -5/7. Let a = 30.2 + -30. Sort a, -0.5, n in decreasing order.
a, n, -0.5
Suppose 4*v + 23 = 2*u + 1, 0 = 5*v - 5*u + 40. Let t = v + 15. Suppose 4*k + 0*k - t = 0. Sort -4, k, -3 in descending order.
k, -3, -4
Suppose 13 = -0*m + 5*m + 4*w, -2*m + 5*w = -25. Suppose 4*d + l = 4 - 20, 4*l - 26 = 2*d. Sort 4, d, m in ascending order.
d, 4, m
Let j = -0.1 + 0.18. Let g = j - -0.92. Put 4, -0.2, g in ascending order.
-0.2, g, 4
Let i(b) = 2*b - 3*b - b + 5. Let s be i(-4). Suppose 0 = -4*q - y + 25, -q = 5*y - 17 - s. Put 1, q, 2 in increasing order.
1, 2, q
Let h = -16 + 18. Let p(x) = -x**2 + 3*x + 5. Let l be p(5). Put -3, l, h in increasing order.
l, -3, h
Suppose 0 = z + 2*a + 2*a + 14, 0 = 3*z - a + 16. Let o be (14/21)/((-2)/z). Suppose -o = 2*r + 8. Sort 3, r, -0.5 in decreasing order.
3, -0.5, r
Let c = -8 + 7.2. Let j = c - -1.1. Sort j, -1, 0.2 in decreasing order.
j, 0.2, -1
Let q = 1 - 1. Let p = 0.2 - q. Let d = 2/51 - 55/102. Put -0.1, p, d in descending order.
p, -0.1, d
Let g = 2 + -8/5. Put g, -24, -0.1 in descending order.
g, -0.1, -24
Let k = -18 - -14. Let j = k - -2. Sort 5, 2/15, j in ascending order.
j, 2/15, 5
Suppose v - p - 6 = -5*p, 4*v - 2*p + 30 = 0. Let u = 4 + v. Sort u, -3, 4 in ascending order.
-3, u, 4
Suppose 0*o = -4*o + 8. Put -4, o, 7 in decreasing order.
7, o, -4
Let k = -733.91 + 730. Let j = 0.09 - k. Let n = -0.2 - 0. Sort n, 2/5, j in descending order.
j, 2/5, n
Let u = -47/159 - 2/53. Let k be 5/((-1)/(-1)) - 0. Let y be (-6)/3 - 2/(-4). Put u, y, k in decreasing order.
k, u, y
Let k = -0.11 + -0.33. Let x = k + -0.06. Put 2/11, 0, x in increasing order.
x, 0, 2/11
Let q be -2*(7/2 - 3). Put -4, q, -5 in descending order.
q, -4, -5
Let q = -2.1 + 0.9. Let f = q + 1. Sort 2, f, -0.1 in increasing order.
f, -0.1, 2
Let i be (-1 - -5) + 52/(-16). Sort 1/4, i, -3.
-3, 1/4, i
Suppose 3*n = 8*n + 15. Let p = 6 - 2. Suppose b = -k - 1, -3*b = p*k - 7*k + 27. Sort k, n, -4 in descending order.
k, n, -4
Let y(v) = 0*v - 8 + v + 0*v. Suppose 3*d + 3*n - 15 = 0, -3*d + 0*d + 25 = -2*n. Let l be y(d). Sort 3, 0, l in descending order.
3, 0, l
Let w(s) = -s**3 + 4*s**2 - 4*s - 1. Let d be w(3). Let h = -22 + 17. Sort h, 0, d.
h, d, 0
Let p be (-2 - (-7)/5)/1. Let g = -251/63 - -32/9. Put 0.2, p, g in decreasing order.
0.2, g, p
Let i be (-2)/((-3)/((-15)/2)). Put -4, i, 5 in decreasing order.
5, -4, i
Suppose 5 = -3*b + o, -2*b - 5*o = -28 + 3. Suppose 4*v + 0*v = b. Sort 4, v, -2 in descending order.
4, v, -2
Suppose 1 - 7 = 2*m. Suppose -4*g + 32 = -4*b, -3*b + 2*b = -4*g + 11. Let f = -2 - b. Sort f, -2, m in ascending order.
m, -2, f
Let s = 1 - 2. Let i be 1/1*(11 + -2). Suppose 5*u = -2*k + 5, i = k - 5*u + 29. Sort 4, k, s in decreasing order.
4, s, k
Suppose 3*r + 4 = 3*c - r, -10 = -4*c + 3*r. Put c, 3, -1, 1 in descending order.
c, 3, 1, -1
Suppose 39*a = 44*a + 10. Let x = -1 + 4. Suppose -u + x*u = -10. Sort a, 0, u in ascending order.
u, a, 0
Let r = -14/9 - -220/153. Sort r, -3, -4 in ascending order.
-4, -3, r
Let z = -0.28 - -2.28. Let u = -10 - -5. Sort u, z, -2.
u, -2, z
Let i be (-69)/(-9) - (-2)/(-3). Suppose -i + 4 = 3*j. Let s be 0/(2*-1 - j). Put 5, 3, s in ascending order.
s, 3, 5
Let c(h) = -h + 1. Let l be c(4). Put 5, 0.2, l in decreasing order.
5, 0.2, l
Suppose -5*z + 2*l - 16 = 0, 4*z + 2*l + 8 = -12. Put z, 0, 4 in decreasing order.
4, 0, z
Let n be (-1)/(-3 + 44/16). Sort -4, -5, n, -9.
-9, -5, -4, n
Let l = -400/7 + 57. Let p = -0.9 + 1.3. Put l, p, -4 in increasing order.
-4, l, p
Let c(o) = 2*o - 3. Let y be c(2). Let n(b) be the first derivative of b**2 + 6*b + 1. Let d be n(-3). Sort d, y, 2 in decreasing order.
2, y, d
Let c be (-6 + (-8)/(-2))/(-2). Let a be -2*1/(-1)*-1. Sort -7, a, c in ascending order.
-7, a, c
Let d = -44 - -224/5. Put -4/7, 0.01, d in descending order.
d, 0.01, -4/7
Let o(s) = s**2 + 7*s - 31. Let y be o(-10). Sort 1, 3, y, 0.
y, 0, 1, 3
Let j = 0.04 - 2.04. Let f = 3 - j. Sort f, 2/5, 1/4 in decreasing order.
f, 2/5, 1/4
Let q(u) = -u**3 - u**2 - u + 3. Let g(i) = -i - 2. Let z be g(-2). Let m be q(z). Let t = -6 + m. Sort t, -4, -2 in decreasing order.
-2, t, -4
Let u = 0.412 + -0.012. Put -0.4, u, -0.1 in descending order.
u, -0.1, -0.4
Let p = -5 - -8. Suppose -2*c - p*g + 5 = 0, -10 = -2*c - 2*g - 0*g. Let f be (-8)/(-20) - (-6)/c. Put f, -0.5, -3 in descending order.
f, -0.5, -3
Suppose 20 = 3*u + u. Suppose -6 = 274*n - 276*n. Sort n, u, 4 in descending order.
u, 4, n
Let a(z) = z + 6. Let x be a(-6). Let n(l) = l**2 - 1. Let f be n(2). Suppose 0 = -2*j + 1 + f, 0 = 3*t + j - 17. Put t, x, 4 in decreasing order.
t, 4, x
Let n(h) be the first derivative of -h**2/2 - 8*h + 4. Let y be n(-4). Put y, 2, -1 in increasing order.
y, -1, 2
Let j = -5 - -7. Suppose -j*l - l = -12. Suppose -2*f - f = -z, 0 = -l*f + 4*z. Put f, 4, 2 in descending order.
4, 2, f
Let o = -3 - -1. Let m = 6 - 5. Let h be -2 - (1 - m - -2). Put o, 4, h in descending order.
4, o, h
Let j be 13/21 - 2/7. Suppose 10 = 5*i, 2*s - 4*i + 0 + 16 = 0. Let r be s/18 - (-32)/36. Put 