/(-4) - -4. Put n, -4, 1 in decreasing order.
n, 1, -4
Let n(r) = r**2 - r. Let x(o) = -o**2 - 9*o - 8. Let c(d) = 2*n(d) + x(d). Let m be c(12). Let k be (2 - 1)/((-2)/(-6)). Sort -4, m, k.
-4, k, m
Suppose 5*t = 6*t. Suppose t = 2*m - 5 + 1. Sort m, -4, 6/7 in descending order.
m, 6/7, -4
Let o = 2/3 + -1/2. Let m = -12 - -13. Sort m, -1/2, o.
-1/2, o, m
Let a = -21 + 23. Put 2/9, -0.3, a in descending order.
a, 2/9, -0.3
Let k be ((-8)/(-32))/(1/(-10)). Let g be 2/7*6/(-3). Let r = 0.7 - 0.9. Sort g, r, k in descending order.
r, g, k
Let b = -21 - -21. Suppose -a - 3*z + 3 - 1 = 0, 5*z - 9 = 4*a. Sort 5, b, a.
a, b, 5
Let d be ((-2)/4)/(1/(-2)). Let x be d/(27/60) - 2. Sort -5, x, -3.
-5, -3, x
Suppose 1 = 3*v - 2*z, -v + 5*z - 5 = -1. Sort -3, -1, v.
-3, -1, v
Let y = 9 + -4. Let n = 1 - -1. Put y, -5/3, n in decreasing order.
y, n, -5/3
Let x be (9/(-3))/(7/7). Sort 2, -2, x in ascending order.
x, -2, 2
Let k = -4.97 - 0.03. Let l = -4.7 - k. Let w = 4 + 1. Sort l, -0.2, w in increasing order.
-0.2, l, w
Suppose 0 = -4*o + 11 + 1. Sort -2, o, 0 in increasing order.
-2, 0, o
Let c = 4 - 10. Let q be (c/4)/((-9)/(-30)). Sort q, 5, -4 in decreasing order.
5, -4, q
Suppose 3*u + 4*m = 0, 0*u + 5*m = -2*u. Let k = -11 - -15. Put k, 2, u in increasing order.
u, 2, k
Let x = 10.6 - 1.6. Let i = x + -8.7. Sort 1/2, i, -3/8 in increasing order.
-3/8, i, 1/2
Suppose 0 = -3*g + 3 + 9. Suppose 5 = 5*k + 4*r, -r - r - 5 = k. Put k, g, -5 in ascending order.
-5, g, k
Let q(u) be the second derivative of u**5/20 + 3*u**4/4 - u**3/6 - 7*u**2/2 - 4*u. Let n be q(-9). Sort -3, 1, n.
-3, 1, n
Let w = -16 - -16.11. Let g = -3.89 - w. Sort 1/3, 3/5, g in descending order.
3/5, 1/3, g
Let t = -0.175 + -0.025. Sort 3, -5, t, -3 in decreasing order.
3, t, -3, -5
Let z = 0.6 + -0.1. Let y = -0.1 + 1.1. Sort z, y, -4 in decreasing order.
y, z, -4
Let a be 2/1 - 0 - 0. Suppose -j = j + a. Sort 1, j, -4 in descending order.
1, j, -4
Let h = -1535/21 + 218/3. Put 0, h, 2/13 in descending order.
2/13, 0, h
Let f be 8/16 - 9/26. Put 0, f, 1/4 in descending order.
1/4, f, 0
Let b = -9 - -10. Sort -4, b, -8.
-8, -4, b
Let j(m) = m**2 - 6*m + 7. Let f be j(5). Let i(p) = -p**2 - 10*p. Let y be i(0). Suppose 5 = -3*d - 2*d. Sort y, f, d.
d, y, f
Suppose l - 3*q = 17, 0 = 2*l + 2*q - 0 - 2. Put 1, -3, l in descending order.
l, 1, -3
Let v = 0.9 - 0.9. Sort 16, v, -0.1 in descending order.
16, v, -0.1
Let g = -80/7 - -82/7. Sort 4/5, -1/15, g.
-1/15, g, 4/5
Suppose -25 = 2*q - 7*q. Let z(s) = -s - 5. Let p be z(-8). Suppose -q*y + 4 = -p*y. Sort 1, -1, y in decreasing order.
y, 1, -1
Let j = 87 + -91. Sort j, 0, 3 in decreasing order.
3, 0, j
Let h = -19 - -19. Let w be 0/(-1) + 1 - 1. Suppose 10 = -5*q - w. Sort -5, q, h in increasing order.
-5, q, h
Let l = 3 - 7. Let y be (-2)/(-3) - 10/6. Put l, -3, y in descending order.
y, -3, l
Let l be (-1)/(-2)*60/(-6). Put l, 1, 0 in descending order.
1, 0, l
Let b = -0.004 - 0.396. Sort -1, 0.07, b, -1/3.
-1, b, -1/3, 0.07
Let f be ((1 - 2) + 1)/(-2). Let s be -3*2/3 - -1. Let b be (-1)/((-3 - s)/2). Put -2, f, b in ascending order.
-2, f, b
Suppose 3 = -u + 7. Suppose 0 = -5*h + 3*s - 33, -3*s - 5 - 16 = u*h. Let j be (-6)/4*h/9. Sort 2, -4, j in increasing order.
-4, j, 2
Let d = 7 + -6. Let i = 6 - d. Sort 0.1, i, -4 in decreasing order.
i, 0.1, -4
Let q(w) = w**3 - 5*w**2 - 5*w - 2. Let m be q(6). Let s be -7*(2/(-2))/(-1). Put m, s, 1 in increasing order.
s, 1, m
Let i = -464/99 - -54/11. Let q = 2.2 + -2. Put i, q, 5 in descending order.
5, i, q
Let x = 0.039 - 4.239. Let g = 4 + x. Sort 3, g, 1/6.
g, 1/6, 3
Let v = -6.043 - -0.043. Put 0.5, v, -0.1, 0 in increasing order.
v, -0.1, 0, 0.5
Suppose z - 14 = 17. Let l = -156/5 + z. Put -0.1, 0.5, l in descending order.
0.5, -0.1, l
Let v = -2 + -2. Let a be 3 + (-10)/15*-3. Sort v, -2, a in descending order.
a, -2, v
Let u = 7 + -7.1. Let s = 7 + -6.8. Put u, -5, s in decreasing order.
s, u, -5
Let l = -15 + 19. Suppose 0*r + 2*v = -5*r + 13, -4*v = -l*r - 12. Suppose 0 = 4*t - 0*t + 8. Sort 4, t, r in decreasing order.
4, r, t
Suppose -1 - 3 = -y. Suppose -a + 4*t = 22, 3*t = -4*a + 3*a + 6. Let c(s) = s + 1. Let p be c(a). Sort p, y, -1.
p, -1, y
Let t = 18 + -22. Sort 0, 12, t, 1.
t, 0, 1, 12
Suppose 12*x - 54 = -6*x. Sort -4, x, -5, 1.
-5, -4, 1, x
Let a(r) = -9*r + 4. Let n be a(-3). Suppose 2*h = 5*z - n, 5*h - 3*z = -24 - 6. Let f = -27 - -30. Put -0.3, h, f in ascending order.
h, -0.3, f
Let z = -9 - -3. Let g = 9 + z. Let j = -2 + g. Sort -4, 5, j in descending order.
5, j, -4
Let u = -74.3 - -81. Let s = 7 - u. Put 4, s, 2 in decreasing order.
4, 2, s
Suppose 4*r - 3*t = -30, -5*r + 8 - 48 = -5*t. Suppose -5*s = -13 - 7, 4*s - 19 = 3*a. Sort r, 2, a in ascending order.
r, a, 2
Let r = -9 - -6. Let y = -10 - -32/3. Put y, -0.5, r in increasing order.
r, -0.5, y
Let n(m) = -3*m**2 + 2. Let l be n(-2). Let a = l - -7. Suppose -3*h - 16 = -5*p, p = 2*h - 4*p + 19. Put a, h, -2 in ascending order.
a, -2, h
Let q(v) = v + 11. Let c be q(-5). Let s be (c/(-4) - -3)*2. Suppose -5*y = -y - 16. Put -1, s, y in decreasing order.
y, s, -1
Suppose -3*i + 7*i = -8. Put -1, 0, i in descending order.
0, -1, i
Let t(m) = m**3 - 8*m**2 + 13*m - 2. Let j be t(6). Put j, 5, -12, -5 in descending order.
5, j, -5, -12
Let l(q) = 2*q**2 + 1. Let p be l(1). Let w be 0/(p*(-4)/6). Sort 1, w, -2 in increasing order.
-2, w, 1
Let p = 11 + -16. Let d be ((-8)/30)/((-14)/35). Put 1/4, d, p in ascending order.
p, 1/4, d
Let k = 14 + -14.5. Put -3, -2, k in descending order.
k, -2, -3
Let o(i) = -i + 1. Let v = 12 - 14. Let h be o(v). Sort -2, 0, h in increasing order.
-2, 0, h
Let c be -2 - (380/(-188) + 0). Let p = c + 36/517. Sort 0.1, -2, p.
-2, p, 0.1
Suppose -9*z = -5*z - 12. Let t(k) = -k**2 + 2*k + 2. Let a be t(3). Put a, z, 3/5 in increasing order.
a, 3/5, z
Suppose -3*f + 2*h + 12 = 0, -4*f + 5*h = -2*f - 19. Put f, 4, 3 in increasing order.
f, 3, 4
Let w = 3.99 - 4. Let c = w - -3.01. Sort -2/7, c, 5.
-2/7, c, 5
Suppose 0*g - 4*g = 0. Sort g, 3, 2 in decreasing order.
3, 2, g
Suppose 4*f + 0*u = -2*u, 0 = -3*f + 5*u + 26. Let k(w) = w**3 + 2*w**2. Let b be k(-2). Suppose -f*n = -4 - b. Sort -3, 1, n in ascending order.
-3, 1, n
Let o = 99 + -9879/100. Let h = o - -1/25. Put -0.5, h, -3 in descending order.
h, -0.5, -3
Let a = 6 - 7. Suppose -21 = 5*t + 4. Sort -3, t, a in ascending order.
t, -3, a
Suppose -4 = -2*s + 2, s + 2 = 5*n. Let a be n + 2 - 126/35. Sort a, 2, -2 in increasing order.
-2, a, 2
Let o = -39 + 26. Let k = o + 18. Let w = 24 - 28. Sort 1/6, w, k in decreasing order.
k, 1/6, w
Let f = 6 - 10. Let c = 21 - 19. Put f, -5, c in ascending order.
-5, f, c
Let s = 0.91 - -0.09. Sort -0.1, 1/11, s.
-0.1, 1/11, s
Let y be 13/((-78)/12) - 30/(-14). Put y, 1/2, 0, -2/11 in decreasing order.
1/2, y, 0, -2/11
Let h = -4 + 6. Let u = 12 + -10. Let y be (u + -1)/((-10)/(-4)). Sort -2/5, h, y in ascending order.
-2/5, y, h
Let w be (-4)/((-5)/(50/8)). Put w, 17, 4 in ascending order.
4, w, 17
Let o(t) = -t**2 - 6*t - 6. Let p be o(-4). Suppose -3*k - 18 = l, 2*l = k + 1 - p. Put 0, 3, l in ascending order.
l, 0, 3
Suppose -2*m = -5*o + 35, 3*o - m - 25 = m. Let w(f) = -f**3 + 2*f. Let b be w(-2). Let i be b/(-8) + 7/(-2). Put i, o, 0 in descending order.
o, 0, i
Let b(i) = -i**3 - 10*i**2 - 7*i + 4. Let n be b(-9). Let h = 57/4 + n. Sort -0.2, h, 0.
-0.2, 0, h
Let c = 1.05 + -1. Let t = c - -0.35. Let z = -4 - -3.8. Put z, t, -3 in decreasing order.
t, z, -3
Let m = 3 - 3. Let w = 2.92 - -0.08. Put m, -0.3, w in decreasing order.
w, m, -0.3
Suppose 8*q - 10 = 3*q. Let m = -12 - -9.6. Let c = m + 2.9. Sort q, c, 0 in decreasing order.
q, c, 0
Suppose -4*c - 4*u = -u + 8, -5*u - 19 = c. Sort c, -2/3, -2/19 in descending order.
c, -2/19, -2/3
Let u = 4 - 2. Let y = u - 1. Let g(l) = -l**3 + 4*l**2 - l + 6. Let n be g(4). Sort -5, y, n in increasing order.
-5, y, n
Let z = 12.5 + -13. Sort z, 4, -2 in ascending order.
-2, z, 4
Let t = 22 + -27. Let r be t*(48/(-20))/(-3). Sort 5, r, 2 in decreasing order.
5, 2, r
Let d = -190 + 73. Let c be d/135 + 2/10. Let b be (4 - 9)*(-3)/5. Sort c, b, 5 in descending order.
5, b, c
Let y(n) = -n. Let g be y(4). Suppose 0*k + 3 = 3*k. Sort k, 4