 4.955 - -0.045. Put y, h, -5 in decreasing order.
y, h, -5
Let a = 56 + -51. Put -0.1, 0, a in increasing order.
-0.1, 0, a
Let g = -10 + 6. Let h be 4/26 + 0/g. Let o = -1.2 - 0.8. Sort 2, o, h.
o, h, 2
Let s(m) = -4*m - 17. Let r be s(-5). Put r, 0, -5 in decreasing order.
r, 0, -5
Let s = -8 + 5. Suppose 5*l - 5*z + 45 = 0, l + 7*z - 3 = 4*z. Let q(r) = -r - 1. Let h be q(l). Sort -2, s, h in ascending order.
s, -2, h
Let a = -31/52 + -2/13. Suppose h - 16 = 3*h. Let o = 4 + h. Put o, -5/6, a in ascending order.
o, -5/6, a
Let b(a) = -a**2 + 14*a - 11. Let p be b(12). Suppose 3*g - 4*v - v + 7 = 0, -p = 2*g + 5*v. Put -3, g, 1 in increasing order.
g, -3, 1
Let c be -1 + -5 + (-1 - -2). Let r be (100/(-15))/(-5)*3. Put r, c, 1 in decreasing order.
r, 1, c
Let z = -6.61 + -0.34. Let c = 2 - 9. Let d = z - c. Put d, -0.2, -3 in ascending order.
-3, -0.2, d
Suppose -5*x = -5*r, -x + 40 = -4*x - 5*r. Let j be (2/x)/(2/20). Put -1/4, 2/15, j in decreasing order.
2/15, -1/4, j
Let d = -65 - -70. Sort 4, d, 0.
0, 4, d
Let f = -19 - -15. Let v be (-4)/(-6)*(f + 7). Put 3/4, -1, v in descending order.
v, 3/4, -1
Let s be ((-4)/(-8) - 2/4)/(-1). Put 1, s, 2, -2 in decreasing order.
2, 1, s, -2
Let a(t) = t**2 - 2*t + 2. Let b be a(2). Let i = 3 - b. Let y = 2 + -3. Sort -2, i, y.
-2, y, i
Let x be 2/(-11) - (2 - 2). Suppose 0 = 4*i - 5*d + 45, 5*i - 2*d - d = -40. Let y = 0.5 + 0. Put y, i, x in descending order.
y, x, i
Let o = -21/4 - -5. Let k = -13 + 13.3. Sort o, 1, k in descending order.
1, k, o
Let r(c) = c - 13. Let h be r(17). Put 2, -2, h in increasing order.
-2, 2, h
Suppose 3*r = -3*n + 2*n - 17, r + 29 = -5*n. Put 9, n, 2, 4 in descending order.
9, 4, 2, n
Let t = -0.1 + 0.2. Let f = -2 - -22/9. Let j = 36 - 143/4. Sort t, j, f in increasing order.
t, j, f
Suppose 3*w = 4*w - f - 4, -4*w - 4*f = 24. Sort w, 3, -2, -4 in decreasing order.
3, w, -2, -4
Let z(t) = -t**3 + 4*t**2 + 7*t - 7. Let h be z(5). Suppose 0*l - 15 = -h*l. Let s = -1 - -1. Sort l, s, -2 in decreasing order.
l, s, -2
Let l = 98 + -94. Sort 5, l, 0.
0, l, 5
Let q = -1 + 12. Let a = q - 11.7. Let b = a + -1.3. Put 1/4, 0.5, b in increasing order.
b, 1/4, 0.5
Suppose 2*l = l - 2. Sort l, -10, 4 in decreasing order.
4, l, -10
Let j = 7 + 7. Let h = j - 17. Sort 3, h, 4.
h, 3, 4
Let j(o) = -o**2 - 2*o + 1. Let t be j(-2). Suppose -z + 6*z = -5. Let h(f) = f**2 + 19*f + 53. Let m be h(-16). Sort m, z, t in descending order.
m, t, z
Suppose m = -4*m - 15. Let g(b) = b**2 + b - 1. Let s be g(-3). Suppose -2*h = 4*z + 18, 4*h + 2*z - 7*z + 10 = 0. Put m, s, h in descending order.
s, m, h
Let g = 0.3 + -0.5. Let r(k) = -k**2 - k + 7. Let s be r(-3). Put g, 3, s in descending order.
3, s, g
Suppose -3*i + i = -10. Let w be 2*(1 - 0) - 8. Let r = -4 - w. Put r, i, 3 in increasing order.
r, 3, i
Let y(z) = z + 4. Let m be y(-3). Let j = 0 + m. Sort -2, 0.2, j in descending order.
j, 0.2, -2
Let o = 10 - 6. Suppose 0 = 3*d - 16 + 1. Sort d, o, -1/5.
-1/5, o, d
Let o = -27/7 - -101/28. Let p be (-2)/(-4) + 112/(-128). Sort p, o, 0.4 in descending order.
0.4, o, p
Let b = 6.4 + -0.4. Let s = b - 5. Sort -1, 5, s in decreasing order.
5, s, -1
Suppose 0 = -4*f - 7 + 3, -2*f - 7 = o. Sort o, 1, 3 in ascending order.
o, 1, 3
Suppose -5*k = -2*i - 29, i - k = -0*i - 7. Let x = -4 + 7. Put -9, i, x in ascending order.
-9, i, x
Let n be 2/4 + 3/(-12). Sort -2, 0, n in increasing order.
-2, 0, n
Suppose 0 = 5*g + 15, -1 = 3*u + 3*g + 20. Put 3, u, -5 in increasing order.
-5, u, 3
Let y be (0*(-2)/4)/2. Let i(d) = d**3. Let n be i(1). Sort -2, n, y in decreasing order.
n, y, -2
Let q(m) = m**3 - 4*m**2 - 3. Let j be q(4). Sort j, -1, 5.
j, -1, 5
Let z(a) = -a**2 + 2*a + 2. Let n be z(4). Suppose -11*y - 3 = -14. Sort -4, n, y in descending order.
y, -4, n
Suppose -g - 7 = -4*a, -4*g = -0*g - 4*a + 16. Let w be (-17)/4 - (-7 - 186/(-24)). Sort g, w, -2 in ascending order.
w, g, -2
Let a = 18 + -17. Put a, -1, 3 in decreasing order.
3, a, -1
Let u = 3 + -2.8. Let o = -1.8 - -2. Let z = u - o. Put -2/5, z, -0.3 in increasing order.
-2/5, -0.3, z
Let c = 1.6 - 2.3. Let w = 0.9 - 0.6. Let l = w + c. Put -0.1, 2/7, l in decreasing order.
2/7, -0.1, l
Suppose -5 = -2*s + 21. Let x = s - 13. Put -5, x, -1 in descending order.
x, -1, -5
Let h = -0.06 + -0.04. Let c = h - -4.1. Sort -2/11, -1, c in descending order.
c, -2/11, -1
Let f = 12 - 7. Put f, -2, -1/2, 1 in descending order.
f, 1, -1/2, -2
Suppose -2*r + 2 = -r. Suppose -2 = 2*i + 6. Sort i, 0, r in ascending order.
i, 0, r
Let n(f) = -2*f - 7. Let z be n(-4). Sort z, 4, -5 in decreasing order.
4, z, -5
Let j = -0.16 + 4.16. Sort j, -1, -0.3 in descending order.
j, -0.3, -1
Let h = -3 - -4. Let b = -38 + 36. Put b, h, -5 in decreasing order.
h, b, -5
Let i = 60 - 59. Put -1, -2, 5, i in ascending order.
-2, -1, i, 5
Let y(p) be the first derivative of 8*p**3/3 - 2*p + 1. Let n be y(-2). Suppose 5*u - 2*c = 3*c, 2*u = -4*c - n. Sort u, 0, -4.
u, -4, 0
Suppose -2 - 6 = -4*v. Sort 7, -4, v in increasing order.
-4, v, 7
Let r = -0.11 - 3.89. Let k = -7 + 8. Sort k, r, -1/8 in decreasing order.
k, -1/8, r
Let z be 3/(-9) + 20/6. Let w(y) = y**3 + 4*y**2 + 4*y - 1. Let s be w(-3). Put 5, z, s in descending order.
5, z, s
Let j = 11 - 17. Let v be 2/j + 2/(-6). Sort v, 1/5, -3/2 in increasing order.
-3/2, v, 1/5
Let x(b) = b - 3. Let h be x(5). Let c(r) = -r**2 - 8*r - 9. Let y be c(-7). Suppose 4*p + 18 = j, p + 14 = -p + 3*j. Sort y, p, h in increasing order.
p, y, h
Let t = 9 - 3. Let d be (4/(32/6))/t. Let o be 3/15*-2*1. Sort d, o, 1/7 in increasing order.
o, d, 1/7
Let n(c) = c**3 + 4*c**2 - 5*c + 1. Let u be n(-5). Let g be 3/(-6) + 11/2. Suppose 12 = -5*p + p. Sort p, u, g in descending order.
g, u, p
Let u = 233 + -2095/9. Let c be (-14)/(-15) - (-8)/(-24). Sort c, u, -3/2 in ascending order.
-3/2, u, c
Let b be (-4)/(-6) + 34/(-6). Let q(t) be the first derivative of -t**4/4 + t**3 - 3*t**2/2 + t + 2. Let w be q(2). Sort b, -2, w in decreasing order.
w, -2, b
Let b = 1.3 + -1. Let c = 101 + -96. Sort 0.2, c, b in decreasing order.
c, b, 0.2
Let g = -1 - 8. Let a = 11 + g. Sort a, 0.4, 1/11 in descending order.
a, 0.4, 1/11
Let t(h) = 2 - 2*h + 1 + 0*h - h**2. Let o be t(2). Let n = -8 - -11. Sort 2/9, n, o.
o, 2/9, n
Let z(m) = -1. Let l(a) = a**2 - 3*a + 6. Let i(v) = -l(v) - 5*z(v). Let r be i(4). Suppose 5*q + 16 = -4. Sort 3, q, r in decreasing order.
3, q, r
Let v be (16/(-72))/(8/6). Let l(p) = p**2 + 1. Let a be l(-1). Suppose -a*r + 7*t - 19 = 2*t, 3*t = 15. Put 5/4, r, v in descending order.
r, 5/4, v
Let t be (-6)/3*1 - 1. Put 2, t, 4 in increasing order.
t, 2, 4
Suppose -5*r = 4*f - 43, -2*r - f + 1 + 15 = 0. Sort -4, r, -2.
-4, -2, r
Suppose -l + y = -0*y - 6, 5*l = -2*y - 5. Suppose -2*z - 1 = l. Sort 0, z, -4.
-4, z, 0
Let l be (-3)/((-3 - -2) + 2). Let p be (-27)/12 + l/4. Sort p, 0, -5 in ascending order.
-5, p, 0
Suppose 2*t + 6 = 2*x - 2*t, -4*x + 12 = 2*t. Put -1, 2, x, -2 in decreasing order.
x, 2, -1, -2
Let z(y) = y**2 - 8*y - 68. Let h be z(13). Put 10, h, 6 in decreasing order.
10, 6, h
Suppose 4*n = n. Suppose -2*r - 10 = -n*r. Sort r, -1/3, -1 in descending order.
-1/3, -1, r
Let j = -6 - -10. Let n = j + -4.4. Put -0.3, 5, n in descending order.
5, -0.3, n
Let c = -1/30 + -2/15. Let j = -2 + 7. Let t = j - 8. Put c, t, 1/6 in ascending order.
t, c, 1/6
Suppose 3*i - 3*y = 2*y + 10, 4*i = -y - 2. Suppose i*q = -q - 4. Let v = 5 + -4.7. Sort v, q, 2 in decreasing order.
2, v, q
Let i(y) = 2*y**3 - y**2 + 2*y. Let v be i(2). Suppose -6*n + 2*n = v. Sort 3, n, -2 in increasing order.
n, -2, 3
Let h = -3.7 - -4. Let x = -0.6 + h. Let c = 22 + -24. Sort x, c, -4/7.
c, -4/7, x
Suppose -3*l = -6*l + 3. Suppose 1 = 2*j - l. Let w be ((-4)/5)/((-1)/5). Put -2, w, j in descending order.
w, j, -2
Let n = -127 - -126.6. Sort n, 2/25, 5.
n, 2/25, 5
Let c(v) = v**2 - v - 8. Let o be c(0). Let g be 9/12 - 2/o. Let p be (-1)/4 + (-3)/4. Sort -3, g, p in increasing order.
-3, p, g
Let o = 17 - 20.7. Let h = o - 0.3. Sort -0.1, 0.1, h.
h, -0.1, 0.1
Let d be (7/(21/(-18)))/(-2). Suppose 6 = l + 2*l. Sort d, -1, l in decreasing order.
d, l, -1
Let j = 2 - 1.5. Let w = -0.4 - -2.4. Let n = 1.3 - 1. Sort w, j, n.
n, j, w
Let f be 2 