+ 3*v = 5*v - 5. Let p be 2 + (-2)/3*-6. Suppose p + 2 = -2*m. Put 3, o, m in descending order.
o, 3, m
Let y = -2 + 3. Sort -1, y, 0.
-1, 0, y
Let y(h) = -h - 1. Let t be y(4). Let w(z) = -2*z**2 + 2*z + 1. Let s be w(2). Put 2, t, s in descending order.
2, s, t
Let j = 3 - 7. Let l = 0.7 - 1.7. Let s = 0.9 + l. Sort s, -0.5, j in descending order.
s, -0.5, j
Let x = -17/46 - 3/23. Let r = 8 - 7. Put x, r, 2/5 in decreasing order.
r, 2/5, x
Suppose 5 = 5*y - 5*z, 3*z = y + 5*z - 4. Sort -1, -5, y, 1 in decreasing order.
y, 1, -1, -5
Suppose -a + 3*r + 7 = -0*a, -5*a - r = -115. Let p = -116/9 - 155/18. Let k = a + p. Sort k, -1/2, 3 in decreasing order.
3, k, -1/2
Let y = -82 + 87.9. Let r = 3 - 9. Let v = r + y. Put v, 0, 0.3 in decreasing order.
0.3, 0, v
Let j be (-1)/(-3) - 70/75. Put 3/8, -0.3, -1, j in descending order.
3/8, -0.3, j, -1
Let b be (-1648)/136 - 4/(-34). Sort b, -5, 3 in decreasing order.
3, -5, b
Let s be -1 + (20/(-12) - -4). Put -4, -1, s in decreasing order.
s, -1, -4
Let f = 14 + -26. Let h be (-10)/(-3)*f/10. Let v be 0 + (-6)/h + -1. Put 0.1, v, -2/9 in decreasing order.
v, 0.1, -2/9
Let h(f) = f**2 - 3*f + 4. Let c be h(3). Let g = 51 + -52. Sort g, c, 1/6 in ascending order.
g, 1/6, c
Suppose -2*g - 2*c + 3*c + 2 = 0, 18 = 4*g + 5*c. Sort g, -1/4, 4 in ascending order.
-1/4, g, 4
Suppose -f = 3*r - 4, 0*r - 3*r + 24 = -3*f. Put f, -3, 3 in descending order.
3, -3, f
Suppose -s = -5 - 0. Suppose 4*o - 3*i + 4*i = s, -o + 5*i = 4. Put o, 0, -5 in ascending order.
-5, 0, o
Let c = 0.52 + 0.18. Let k = c - 0.2. Let h = 14/11 - 48/55. Sort 2, k, h in descending order.
2, k, h
Let n = -1836.3 + 1985. Let f = 141 - n. Let x = -8 - f. Sort 1, 0.5, x.
x, 0.5, 1
Let q = -0.34 + 5.34. Put 2/3, q, -1/9 in decreasing order.
q, 2/3, -1/9
Let h be (3 + 9/(-6))*2. Let p = -7 + 2. Sort 2, p, h in decreasing order.
h, 2, p
Let l = 19 - 19.5. Put 5, l, 2/11, 3 in decreasing order.
5, 3, 2/11, l
Suppose 3*f - 4*f = -2*f. Sort 1, f, -3/7, -1 in descending order.
1, f, -3/7, -1
Let t be ((-3112)/(-30))/(-4) - 0. Let n = -79/3 - t. Sort n, 2, -3/7.
-3/7, n, 2
Let q = 6 + -5.2. Let n = 1 - q. Sort n, 4, -3/4 in ascending order.
-3/4, n, 4
Let r be (-2)/(-8) + (-68)/16. Let w = -15 - -12. Sort r, w, -5 in decreasing order.
w, r, -5
Let r = -13 - -9. Let i be -9*2*(-3)/18. Sort i, r, -1 in decreasing order.
i, -1, r
Let i(n) = 6*n**3 - n**2 + n - 1. Let c be i(1). Let m(u) = -u + 2. Let q be m(0). Suppose 0 = q*l - 0 + 4. Sort 2, c, l.
l, 2, c
Suppose c + 5*o - 35 = -2*c, -41 = -5*c - 4*o. Let s be (-1)/(-3) + (-16)/3. Let r be 1*0/(2/1). Sort c, s, r in ascending order.
s, r, c
Let z = 4 + -2. Suppose -2*y + z = c + 3, -25 = -2*c + 5*y. Let g(k) = 4*k + 1. Let o be g(-1). Sort o, c, 2 in increasing order.
o, 2, c
Suppose 19 + 101 = 5*g. Suppose -2*a + 23 = -5*d, 0 = -4*a - 0*d - 4*d - g. Suppose -5*y = -y. Sort y, 2, a.
a, y, 2
Let u = 11 - 8. Let y = -38 + 113/3. Put u, y, 0.3 in decreasing order.
u, 0.3, y
Let k be (-1 - 1) + 8 + -1. Suppose -4*u = 3*q + 18 - 1, 12 = -4*q. Sort u, 1, k in descending order.
k, 1, u
Let n = -3 - -10. Sort -5, n, -4.
-5, -4, n
Let k = 17 + -13. Sort -4, k, -0.1, 0.1.
-4, -0.1, 0.1, k
Let h = -5 - -3. Suppose 4*a = 3*a + 6. Let g = a + h. Sort -4, g, -1 in descending order.
g, -1, -4
Suppose -3 = -2*z + 5. Suppose v + 5*g = -13, 3*g + 17 = v + 3*v. Sort v, z, -5 in descending order.
z, v, -5
Let x = 11 + -11.03. Let q = 0.97 - x. Sort -1/3, -0.1, q in ascending order.
-1/3, -0.1, q
Let r = 10 - 9. Let a = r + 4. Put -1, 2/17, a in ascending order.
-1, 2/17, a
Let p be (-13)/(-5) - (2 + 0). Let z = 23 - 26.2. Let m = 3 + z. Sort p, m, -1/6.
m, -1/6, p
Let i = 112 + -107. Put -4, -3, 3/8, i in increasing order.
-4, -3, 3/8, i
Let a = 11.7 - 12. Sort a, 1/9, 15 in increasing order.
a, 1/9, 15
Suppose 0 = o - 5*o + 16. Let w be 4/432*51 - 1/4. Sort o, w, -3/5 in decreasing order.
o, w, -3/5
Let h = -0.2 - -0.5. Suppose -16 = 4*q - 0*q. Let y be q/(-8) + 3/(-14). Put y, h, 0 in increasing order.
0, y, h
Let c = -5 - -11. Suppose -6 - c = 4*i. Suppose 4*q - l = 16, -q + 3*l + 3 = 10. Sort -1, q, i.
i, -1, q
Let n(b) = -2*b + 27. Let c be n(11). Let h be (-4)/(-18) - 94/18. Sort h, 4, c.
h, 4, c
Let m = -7/11 + 46/55. Sort -20, -0.1, 2, m in descending order.
2, m, -0.1, -20
Let d = -86 - -85. Sort 8, 3, d, 0 in decreasing order.
8, 3, 0, d
Let q be 7 - (2 + -3)*-4. Let g be 5*1*(-2)/5. Put q, g, -5 in descending order.
q, g, -5
Let d = -0.18 - 2.82. Let l = 0 - -1. Put d, 4/5, l in ascending order.
d, 4/5, l
Suppose k = -k - 2. Let r = -26 - -26. Put r, -2, k in ascending order.
-2, k, r
Let t(s) = -s**3 - 9*s**2 - 13*s + 4. Let v be t(-7). Put -5, 2, v in decreasing order.
2, v, -5
Let p = -64 + 63. Put p, 0, 1 in ascending order.
p, 0, 1
Let p = 0.02 + -0.02. Let c = 0.3 + -0.8. Put -3, p, c in ascending order.
-3, c, p
Let g(n) = -n - 8. Let x be g(-6). Let s(p) = -p + 13. Let m be s(8). Sort x, m, 2 in increasing order.
x, 2, m
Let q = -1.13 - -0.03. Let l = 6.1 + q. Let o = l - 9. Sort 3, o, -3/8 in decreasing order.
3, -3/8, o
Let i = 0.2 - 0.2. Let h = 4/111 + 154/1887. Put i, 3, h in decreasing order.
3, h, i
Suppose 15 = 5*y + 5*g, -4*y + 3*g + 17 = 2*g. Suppose 2*p = 14 - 4. Put p, -2, y in descending order.
p, y, -2
Let d(f) = 2*f + 9. Let q be d(-7). Sort q, 12, 1.
q, 1, 12
Let c = 244 - 243. Let b(x) = x**3 + x**2. Let m be b(1). Put c, m, 4 in decreasing order.
4, m, c
Suppose 4*b + 1 = -3. Suppose -y + 0*y = 1. Let c be y/(1 - (-8)/(-6)). Sort c, -4, b in decreasing order.
c, b, -4
Let k = 1 + -5. Suppose -z = -w - 2, -6*z + 4*z = -3*w - 1. Sort w, k, 4 in decreasing order.
4, w, k
Let m = 6.9 + -6.4. Sort 5, m, 4, -0.4 in decreasing order.
5, 4, m, -0.4
Let a = 3.58 - -0.42. Suppose 20 = 4*k - 5*z, -z - 1 = k - 6. Let x = k - 8. Put a, -2, x in increasing order.
x, -2, a
Let n be ((-2)/(-4))/(2/(-4)). Let s be (-3)/(-3) + 1 + -1. Suppose 5 = 2*c - 3*c. Put s, c, n in decreasing order.
s, n, c
Suppose 0 = 5*u - 5*r, 3*r = -3*u + 13 + 17. Suppose -3*l + 0*l - u*k = -10, -4*l - 2*k + 4 = 0. Let v be (1 - -2)*(-2 + 1). Put -2, l, v in increasing order.
v, -2, l
Let g be (-1)/(-2) + 1/10. Sort g, 3/2, -0.1 in increasing order.
-0.1, g, 3/2
Let l = 6 - 6. Sort -5, -4, l.
-5, -4, l
Let t(l) = l**2 - 3*l - 5. Let a = -13 + 17. Let m be t(a). Sort m, 0, 5.
m, 0, 5
Suppose -4*w + 3*i + 104 = 0, -w + i - 11 + 36 = 0. Suppose -v + 4 = 0, 0 = -5*c - v + 2*v - w. Let p = 17 + -16. Put -3, c, p in increasing order.
c, -3, p
Suppose 2*b - 5*a = 5, 3*a = -4*b - b - 3. Let r be 38/(-48) + (-4)/(-6). Put b, -3/8, r in ascending order.
-3/8, r, b
Let z(q) = -3*q + 16. Let n(i) = i - 5. Let x(j) = 8*n(j) + 3*z(j). Let p be x(5). Suppose 2*m = 0, -2*d + 6 - 2 = 4*m. Put -3, d, p in descending order.
p, d, -3
Suppose 5*i + 3*a - 14 = -a, i + a - 3 = 0. Suppose 4*r = 3*r. Sort r, i, 1 in decreasing order.
i, 1, r
Suppose -d = -2*w - 2, 3*w - 2*d = 3 - 5. Sort -4, w, 2, -6 in descending order.
2, w, -4, -6
Let k = 3 - 5. Suppose -4*u + 1 = -15. Suppose 8*d - 2*o = 5*d + 1, 0 = -2*d + 2*o + u. Sort -5, k, d.
-5, d, k
Let j(y) = -y - 1. Let k be j(2). Let d = 0 + -1. Sort k, 4, d in descending order.
4, d, k
Let c(t) = -t**2 + 0*t + 3*t**3 - 2*t**3 - t - 2. Let g be c(2). Sort -2, -3, g in increasing order.
-3, -2, g
Let l = -31 + 44. Let b be -4 + ((-268)/(-36) - 3). Sort -0.2, l, b in increasing order.
-0.2, b, l
Let y = -666/229 + -397004/1603. Suppose -o + 5*d = 203 + 38, -5*o = 2*d + 1259. Let q = o - y. Put q, 2/13, -3/4 in ascending order.
-3/4, q, 2/13
Let c = 11 + -5. Let n = c - 3. Let x be (-1)/6 + (-1)/n. Put x, -1, 1/4 in descending order.
1/4, x, -1
Let w = -13 - -16. Suppose -2*t + 2*d = w*t + 21, 5*t + 19 = 3*d. Put t, -3, -4 in decreasing order.
-3, -4, t
Let a = -92 + 89. Let t be 1/(-1 + 2) - -3. Let j = -6 - -8. Sort t, a, j in descending order.
t, j, a
Let q = -132 - -135. Sort 5, -5, q.
-5, q, 5
Let q = 120 - 122. Put q, -8, -4, -3 in increasing order.
-8, -4, -3, q
Let f be (2 - (-2)/(-4))*(-88)/(-66). Sort 0, f, 8.
0, f, 8
Let a(u) be the third derivative of 0 + 2*u**2 - 1/8*u**4 + 1/60*u**5 + 0*u**3 + 0*u. Let z be a(3). Put 4, z, -1 in increasing order.
-1, z, 4
Let v = 11 - 5. Suppose v = 5*g