, 3*g + r - 16 = -g. Sort 1, g, v in ascending order.
v, 1, g
Let k = -5 - -1. Sort k, -0.5, -8.
-8, k, -0.5
Let p = -6 - -6. Let z(o) = o - 2. Let c be z(3). Put c, 4, p in decreasing order.
4, c, p
Let v = -231 - -1159/5. Let f = 41 - 79/2. Put v, -2/19, f in ascending order.
-2/19, v, f
Let m(o) = o**2 + 5*o + 2. Let l = -12 - -7. Let u be m(l). Let v(n) = -n**2 + 4*n. Let a be v(4). Sort a, u, 5 in descending order.
5, u, a
Let k = -31 - -36. Sort -4, k, -5, 4 in ascending order.
-5, -4, 4, k
Let k be (2/(-6))/((-2)/(-6)). Let i be -1 + 8 + -3 + -3. Let a be (i/(-2))/((-5)/(-40)). Put k, a, 2 in ascending order.
a, k, 2
Suppose -3*o + 0*o - 9 = 0. Let a be ((-1)/3)/((-5)/45). Suppose j = a*j. Sort 2/9, o, j in decreasing order.
2/9, j, o
Let x(n) = n - 1. Let j be x(1). Suppose 5*s = -3*f - 3, 0*s = s. Let c = f + -1. Sort -1, c, j in decreasing order.
j, -1, c
Let r = -438/35 + 64/5. Sort r, 2/9, -0.1 in ascending order.
-0.1, 2/9, r
Suppose -4*r + 20 + 4 = 0. Let z be 36/r - 3/1. Suppose 5*j + 0*j + 15 = 0. Put z, j, -2 in decreasing order.
z, -2, j
Let i be ((-5)/(-2))/(3/6). Let k(r) = 2 + 2 - 4*r**2 + i*r**2 + 6*r. Let o be k(-5). Sort -3, -5, o.
-5, -3, o
Let v = -28 + 25. Sort -6, v, 5.
-6, v, 5
Let o = 1.9 + -1.7. Put o, 0, 2 in decreasing order.
2, o, 0
Let u be (-3)/(5 - 9/(-3)). Sort -4/7, u, 0.
-4/7, u, 0
Let n = 0.19 - -2.81. Suppose x = 5*c - 5, 0 = -4*x + 2*x - 3*c + 16. Sort 0.3, x, n in decreasing order.
x, n, 0.3
Let k = -0.8 + 0.4. Let n(v) = -v**3 + 6*v**2 - 2. Let m be n(6). Let y be ((-10)/(-35))/(m/(-3)). Put k, y, -2 in increasing order.
-2, k, y
Let v be (-2)/(-11) - 35/11. Suppose 0 = 2*c - c - 3. Let q = 14 + -19. Put c, v, q in ascending order.
q, v, c
Suppose -s - 10 = 4*s. Put -3, s, 0 in descending order.
0, s, -3
Let o be -4 - (4 + 1 + 87/(-9)). Suppose -7*i - 15 = -2*i. Sort 0, o, i in increasing order.
i, 0, o
Let u = -0.3 - -0.4. Let o be (-9)/(-11) - (-9 - -10). Sort u, o, 2/5 in descending order.
2/5, u, o
Let y = 4 + -4. Suppose 3*z - 1 = -4*b - 23, -5*b - 5 = y. Let a be (-3)/z + 9/2. Put a, -4, 2 in descending order.
a, 2, -4
Let x be (-7 - -5)/(6/9). Put -8, 3, -2, x in descending order.
3, -2, x, -8
Let w(j) = -4*j + 4. Let f be w(7). Let o = f - -21. Sort o, 5, -5 in descending order.
5, o, -5
Let t(y) = -y**3 + 11*y**2 - 12*y + 4. Let i be t(10). Let w = i - -17. Let z = 0 + -1. Sort -4, w, z.
-4, z, w
Let w be 2/(-3) - 26/6. Put -3, -2, w in ascending order.
w, -3, -2
Let f = -43 + 53. Put 3, 0, f in decreasing order.
f, 3, 0
Let p(d) = -2*d. Let a be p(2). Sort 5, a, -3.
a, -3, 5
Suppose -5*g - 20 = -4*n, -3*g - 4*n = -7*g - 12. Sort g, -4, 3.
g, -4, 3
Let v be ((-148)/51)/(2/(-368)). Let l = 534 - v. Let n = -92/255 - l. Sort 3, n, -0.1.
n, -0.1, 3
Let a(j) = -5*j + 2. Let m(t) = -10*t + 5. Let i(x) = -7*a(x) + 3*m(x). Let z be i(-1). Put z, -3, 0 in decreasing order.
0, -3, z
Suppose 0*z - 12 = 4*z + 2*u, -2*z = 3*u + 10. Let h = -0.6 + 4.6. Sort -1, h, z in descending order.
h, -1, z
Let q = -9 + 5. Let x(c) = 2*c + 2. Let h be x(0). Let v(a) = 4*a - 3. Let l be v(h). Sort -3, q, l.
q, -3, l
Let f = 3 - 2. Let j = 29 + -47. Let c = 13 + j. Sort f, c, 3 in decreasing order.
3, f, c
Suppose -3 = -l + 4*a, -2*l - 5*a - 16 = -2*a. Sort l, 2, -56 in ascending order.
-56, l, 2
Let a = -63 - -58. Let k = -0.022 + -7.278. Let i = 7 + k. Sort i, 0.2, a in decreasing order.
0.2, i, a
Let g = -3.3 + -0.7. Let p = g - -6. Put -2/7, 0, p in decreasing order.
p, 0, -2/7
Suppose -8*o - 6 = -6*o. Suppose 3*z = 3*c + 3, -4*z - 15 = 1. Put -7, o, c in descending order.
o, c, -7
Let y be (0 - 1) + (-3)/6. Let z = 1 + -2. Put z, y, -2/11 in increasing order.
y, z, -2/11
Let h be -3 + 2 + 1 - -3. Suppose -3*i = 5*a + 12, h*a + i + 4*i + 20 = 0. Sort -5, -3, a.
-5, -3, a
Let u be -4 + 32/(-1 + 5). Sort 5, -5, u in decreasing order.
5, u, -5
Let g(h) = -2*h**2 + 18*h - 15. Let s be g(8). Sort s, -2/9, 0.4.
-2/9, 0.4, s
Suppose -9*d - 19 - 17 = 0. Put -5, d, -3 in increasing order.
-5, d, -3
Suppose -3*u + 5*h = -13, 0 = u + 4*u + 2*h - 32. Let i(o) = u*o - 3 - 4*o + o**2 + o. Let y be i(-4). Put y, -5, 2 in ascending order.
-5, y, 2
Let w = 8 - 11. Put -1, w, 3 in descending order.
3, -1, w
Suppose 5*t + 3 - 8 = -2*i, -5*t = 3*i - 5. Suppose g = -i*g + 5. Sort 1/8, g, -5.
-5, 1/8, g
Let f be 0 - (2 + 1 + -8). Suppose m + f = a, 0*a + 2*a - 10 = 3*m. Let s = 7 + -20/3. Sort 4, m, s in decreasing order.
4, s, m
Let q be (-1 - 0) + 0 + -4. Sort -16, q, 3, -4 in descending order.
3, -4, q, -16
Let d be 8/306*6*(-3)/4. Put -4, -3, d in descending order.
d, -3, -4
Suppose 0 = -2*t - 4*u - 12, 3*u + 9 = -4*t - 2*u. Sort -8, t, -1.
-8, -1, t
Suppose 2*q - 7 = 5*s - 0*q, -5*q = 5*s. Sort s, 6, 1 in ascending order.
s, 1, 6
Let q = 8 - 7.97. Let n = q + -0.03. Sort 2/3, n, -0.2 in descending order.
2/3, n, -0.2
Suppose 0 = -3*a - 5*t + 2, 2*t = 4*a - 20. Let k(w) = w**3 - 4*w**2 + 2. Let r be k(a). Let m = 0.2 - 0.7. Put r, m, -0.3 in descending order.
r, -0.3, m
Let k be ((-10)/25)/(2/(-20)). Let v = 0 + k. Put -5, v, 2 in decreasing order.
v, 2, -5
Let d(z) = -z**3 + 4*z**2 + 4*z + 7. Let x be d(5). Let v = -3 + 0. Sort -2, x, v in increasing order.
v, -2, x
Let o = -0.07 - 0.23. Let r = -60 - -299/5. Sort r, 4, o in descending order.
4, r, o
Let g = -26 - -55/2. Let f be (-31)/(-35) + (-12)/20. Put 4, g, f in ascending order.
f, g, 4
Let i = -0.63 + 0.7. Let m = 4.07 - i. Sort -1/4, m, -0.4.
-0.4, -1/4, m
Let x be ((-2)/(-6))/(1/6). Let m = 8.93 + -9. Let n = 4.07 + m. Put x, n, -0.4 in descending order.
n, x, -0.4
Suppose -2*f = -4*f + 4. Suppose 2*q - 7*q + 4*x = -10, 0 = -f*x. Sort -2, q, -5 in increasing order.
-5, -2, q
Let m be -2*2/(-4) - (-2 - 1). Put 3, 0, -8, m in ascending order.
-8, 0, 3, m
Let d be 6 - (-7)/(14/(-4)). Sort -5, -0.4, d in decreasing order.
d, -0.4, -5
Suppose 0 = 3*j - 0*j. Let z = j + -1. Sort 1/3, z, 2 in decreasing order.
2, 1/3, z
Let h be (4/5)/(6/15). Suppose -b = h - 3. Suppose 3*r - 3*o - 34 = -10, -12 = -5*r - 2*o. Sort 2, b, r.
b, 2, r
Let d = 51 + -30. Let w = d + -23. Sort w, -1, -4 in descending order.
-1, w, -4
Let s = -5.48 - -296.48. Let r = -287.93 + s. Let x = -0.07 + r. Sort x, -4, -0.4 in ascending order.
-4, -0.4, x
Let a be (-176)/(-390) - 24/60. Sort 2/3, -0.3, a in descending order.
2/3, a, -0.3
Let z = 5 + -13/2. Let p = -6.5 - 0.5. Let d = p + 6.7. Sort -2, z, d.
-2, z, d
Let n(i) = i - 1. Let o be n(-6). Let s(k) = -k**2 - 6*k + 6. Let p be s(o). Sort -5, p, 1.
-5, p, 1
Let a(j) = -j**2 - 11*j - 9. Let h be a(-10). Suppose 0 = 2*b - 2, -31 = -2*n + b - 6*b. Let q = 8 - n. Sort q, -1, h in decreasing order.
h, -1, q
Suppose -u + 10 = 4*u. Put 0, 4, u in decreasing order.
4, u, 0
Suppose 1 - 10 = -3*q. Suppose 4*f - 2 = -n, -5*n + 8 = -q*f - 2. Let t be (-1 - (-3 + f))/(-2). Put t, 0, 2 in ascending order.
t, 0, 2
Let w be -3 - 2/(12/(-22)). Put w, -0.5, 4 in ascending order.
-0.5, w, 4
Suppose 25 + 10 = -3*x - 4*b, 0 = 5*x + 2*b + 35. Let g be 3 + -46*4/8. Let h = g - -20. Put -2, h, x in decreasing order.
h, -2, x
Let x be 0/(-1)*5/(-10). Sort x, -5, 4.
-5, x, 4
Suppose -j - 6 = -2*y, 6*j + 14 = 2*j + 3*y. Let g = j + -2. Let n be 34/(-90) - (-4)/(-18). Sort 2, n, g in increasing order.
g, n, 2
Let a = -1.2 - -10.2. Let u = a + -4. Sort -0.4, -1/7, u in decreasing order.
u, -1/7, -0.4
Let u be 28 + 3 + -5 + 1. Let o = u + -24. Suppose f + 2*f + i = 0, -5*i = 4*f. Put -2, o, f in ascending order.
-2, f, o
Suppose 0*u - 3*u + 1 = 2*p, 0 = -5*p + 4*u - 32. Let t be (-2 - 6/p)*-6. Suppose -4*l + 3 + 1 = 0. Sort 2, t, l in descending order.
t, 2, l
Suppose -4*a + 3*b + 18 + 9 = 0, -a - 4*b - 17 = 0. Suppose 0*u = 4*u + 5*o - 31, a*u = 5*o - 3. Put 0, -5, u in decreasing order.
u, 0, -5
Let s = -23/14 - -1/7. Let w = -2.2 + -0.8. Let o = 51 - 49. Put o, s, w in ascending order.
w, s, o
Let o = 0.4 - 0. Let q = -0.02 + 2.02. Sort q, o, -2/19 in decreasing order.
q, o, -2/19
Let s = 23 - 24. Sort 3/2, s, -0.02.
s, -0.02, 3/2
Suppose -4*c + 16 = -3*u, -13 - 4 = 3*c + 5*u. Put -0.3, -4, c in decreasing order.
c, -0.3, -4
Let y(k) be the first derivative of k**4/4 - 7*k**3/3 + 5*k**2/2 + 5*k - 2. Let i be y(6). Sort -5, -4, i in decreasing order.
i, -4, -5
Let k(m) = m**3