2*c + c - 13. Sort h, 2, 1.
h, 1, 2
Let b = 0.11 + -0.2. Let v = b - 0.41. Sort v, 0.4, 1 in decreasing order.
1, 0.4, v
Let k = 84 - 93.6. Let v = k - -10. Sort v, 0, -3.
-3, 0, v
Let a = 3 - 3.4. Let v = 0 - a. Suppose 123*c = 127*c + 8. Sort c, v, 4.
c, v, 4
Let a = -24878 + 1617112/65. Let z = -3/65 + a. Let d = 1.1 + -0.1. Put 2, z, d in increasing order.
z, d, 2
Let t = -8 + 13. Suppose -2*m + m - 1 = 0. Put t, -5, m in descending order.
t, m, -5
Let a(s) = -s**3 - 15*s**2 + 14*s - 28. Let u be a(-16). Sort -1, u, 11 in descending order.
11, u, -1
Let t be ((-4)/(-6))/(2/6). Let d = 14 - 15. Let r(o) = -o**2 + 6*o - 4. Let a be r(3). Sort d, a, t in decreasing order.
a, t, d
Suppose 5*a + 8 + 12 = 0. Let n = -1/87 + 446/957. Let y = -26/33 + n. Put 4, a, y in descending order.
4, y, a
Let u = 19 - 14. Sort 2, -17, u.
-17, 2, u
Suppose 3*b - 3*l = -5*l + 6, -1 = -4*b - 5*l. Let d(c) = -c**2 - 2*c + 4. Let h be d(-4). Sort h, -3, b in increasing order.
h, -3, b
Let q = 34 + -39. Sort -6, q, 5 in ascending order.
-6, q, 5
Let v be (-276)/(-60) - (-2)/5. Suppose -9 = -v*r - 4. Put -1, r, -5 in descending order.
r, -1, -5
Let u = -2 - -2. Suppose 1 + u = v. Put v, -4, 2 in ascending order.
-4, v, 2
Let s = 1 - 8. Let a = s - -10. Sort 5/3, a, 3/7 in descending order.
a, 5/3, 3/7
Let l = -4 - -4.5. Put 2/3, l, 6 in increasing order.
l, 2/3, 6
Suppose 0*v = -3*v + 27. Suppose 3*y - 2*t = t + v, 2*y + 4*t = 0. Sort -1, y, -3 in increasing order.
-3, -1, y
Let m(r) = r**3 + 6*r**2 + 4*r - 7. Let h be m(-5). Let f = 7 + h. Suppose -4*o + 6 = -i, -o + 7*i - 2*i = -11. Put o, f, 0 in descending order.
f, o, 0
Let a(u) = u**2 + 7*u - 1. Let x be a(-7). Let b = -4 - -6. Sort b, 1, x in ascending order.
x, 1, b
Let v(z) be the first derivative of 1 + 1/3*z**3 - 8*z - 2*z**2. Let g be v(6). Sort 5, 1, g in ascending order.
1, g, 5
Let d(m) = -3*m - 7. Let w be d(-7). Put w, 0, 1 in decreasing order.
w, 1, 0
Let l = -13 + 17. Sort -0.5, 0.5, l in decreasing order.
l, 0.5, -0.5
Suppose 5*w = -t + 16, -t - 17 = -5*w + 7. Let b(y) = -y - 2. Let l(r) = r + 6. Let u be l(-7). Let k be b(u). Sort w, -4, k in ascending order.
-4, k, w
Let p = 4.7 - 2.7. Let y = 0.2 + -0.2. Sort p, y, 1 in decreasing order.
p, 1, y
Let k = -6 - -3. Let g be (-1)/k + (-48)/9. Let o(i) = -i - 2. Let q be o(-3). Sort g, 5, q in descending order.
5, q, g
Suppose 4*w - 3*i + 12 + 20 = 0, w = -3*i - 8. Sort w, -4, 3 in increasing order.
w, -4, 3
Suppose 2*i + 45 = 5*i. Suppose i = 2*x + 3*x. Let z(v) = v**2 + 3*v - 3. Let q be z(-3). Put q, 4, x in decreasing order.
4, x, q
Let z = -42 - -49. Put 4, z, 3, 2 in decreasing order.
z, 4, 3, 2
Let z = 0.3 + -0.2. Let x = 2 - 2.5. Let n = z + x. Sort 3, n, -1.
-1, n, 3
Let s = 1.1 - 5.1. Let c = -1 + 0.9. Put s, -1/2, c in descending order.
c, -1/2, s
Suppose -24 = -i + 2*i - 4*z, -3*z - 51 = 5*i. Let x = i + 10. Suppose 0 = -3*m - 0*m + 6. Put x, m, -4 in descending order.
m, x, -4
Let p(h) be the second derivative of h**5/20 - h**4/2 + 2*h**3/3 + 3*h**2 - 4*h. Let s be p(5). Sort 3, s, -1.
-1, s, 3
Suppose 5*p + 5*w + 31 = 1, -5*p + 4*w - 21 = 0. Sort 4, -3, p in ascending order.
p, -3, 4
Let m = 1 - 5. Let k = -5 + 8. Let b = k - 2.8. Sort m, 0.5, b.
m, b, 0.5
Let c = 0.06 - -0.04. Let q be 3/(-2) - (-10)/5. Put q, c, -2/5 in descending order.
q, c, -2/5
Let u = -13 + 13. Let v be 0 + 9/2 - 3. Sort -1, u, v in decreasing order.
v, u, -1
Let b = 6.1 + -6.2. Sort b, 2/7, -0.2, -3 in decreasing order.
2/7, b, -0.2, -3
Let k(f) = 3*f + 5. Let c(v) = -v. Let w(n) = 2*c(n) + k(n). Let m be w(-7). Sort m, 5, -2/9 in decreasing order.
5, -2/9, m
Let k = 21 - 18. Sort -3, k, -1/2, 0.
-3, -1/2, 0, k
Suppose 0 = 4*i - 0*k - k + 11, -4*i - 2*k - 14 = 0. Put i, 5, 11 in increasing order.
i, 5, 11
Suppose m - 7 = -0*f + 3*f, 2*m - 6 = 2*f. Put 2/9, m, 6 in increasing order.
2/9, m, 6
Suppose f + 2*f = 3*c - 30, -c + 4*f + 25 = 0. Let u be (4/(-10))/(3/c). Let m = -5 + 3. Put u, 5, m in decreasing order.
5, u, m
Let l(u) = 614*u**2 + 5*u - 4. Let s be l(-4). Let w = -587981/60 + s. Let b = 1/15 - w. Sort -0.3, b, -3 in decreasing order.
b, -0.3, -3
Let y = -0.7 + 3.7. Let m = -13 - -21. Let x = m - 11. Put x, -5, y in descending order.
y, x, -5
Let j = 3 + -5. Let n be (-1 - (-9)/7) + (-750)/175. Sort 2, n, j in increasing order.
n, j, 2
Let f be (-2)/(-2) + -2 + -2. Let x be ((-16)/12)/(2/3). Put f, x, 0 in descending order.
0, x, f
Let k = 7.8 - 8. Let y = -7 - -22. Suppose -f = -5*h - y, -4*f - 3 = -3*f + 4*h. Sort -5, k, f.
-5, k, f
Suppose 3*t = -5*d + 16, -8 + 4 = -2*d - 2*t. Suppose -3*j + 15 = 4*c, -c - 3*j + 1 = -5*j. Suppose 2 = -c*v - 4. Put -3/8, d, v in descending order.
d, -3/8, v
Let b be (8/(-48))/((-8)/(-6)). Sort b, 3/5, 2/9, -3 in decreasing order.
3/5, 2/9, b, -3
Suppose 4*z - 16 = -4*i, -i - 4*i + z = 10. Let r = -26 - -26.4. Sort r, 5, i in descending order.
5, r, i
Let j be (2 - -1)*21/63. Sort j, 0.1, 5 in descending order.
5, j, 0.1
Let d = 9.2 + -9.7. Sort d, 16, -1/3, -1.
-1, d, -1/3, 16
Let r be 2 + 1 + (-3)/6*6. Put r, 3/4, -2/11, 1/3 in ascending order.
-2/11, r, 1/3, 3/4
Let y = 12 + -11.6. Sort y, 0.1, -0.5 in decreasing order.
y, 0.1, -0.5
Let q = -3 + 6. Let m = q + -3.03. Let p = m + -3.97. Sort p, 0.5, 2 in descending order.
2, 0.5, p
Let w be 148/6 - (-4)/(-6). Let m = w + -3. Let q be 4/6 + 91/m. Sort 4, 0, q.
0, 4, q
Let o(p) = p**2 - 6*p + 4. Let i be o(4). Let u be 6/i*(-4)/(-3). Let z = 7 - 3. Sort 5, z, u.
u, z, 5
Suppose -n - 1 = 0, 0 = -q - n - 0*n + 1. Sort 3, 9, -3, q in decreasing order.
9, 3, q, -3
Let u be -10*3/(-30)*4. Suppose 9 = -u*r + 1. Suppose -3*b + 14 = 2*q - 5, 2*b = 10. Put r, q, 3 in descending order.
3, q, r
Let f(h) = -4*h**2 + 7*h + 2. Let q(z) = z**2 - z - 1. Let r(n) = f(n) + 5*q(n). Let a be r(-4). Let m be 170/45 - 4/(-18). Sort a, -4, m.
-4, m, a
Suppose 0 = -o + 3*o + 2*z, -o = 4*z + 9. Suppose 2*k - 24 + 6 = 0. Suppose -5*l - 11 = k. Sort l, o, -1 in descending order.
o, -1, l
Let d be ((-412)/132 + 3)/(8/(-12)). Put 4, d, -0.01 in descending order.
4, d, -0.01
Let j = -32 - -94/3. Let s be ((-4)/9)/((-2)/3). Let d = 12 - 7. Put d, s, j in decreasing order.
d, s, j
Let c be 30/12*(-12)/2. Let h be 52/(-10) + (-3)/c. Let p = 6 + -4. Sort 4, p, h in decreasing order.
4, p, h
Suppose -2*a = j + 4 - 3, 0 = a + 4*j - 3. Suppose 3*b - 5 = -2*b, 5*w = 2*b + 23. Put 2, w, a in increasing order.
a, 2, w
Let x(r) = -r**3 + 6*r**2 - 5*r - 7. Let y be x(3). Sort -2/3, y, -1.
-1, -2/3, y
Let d(y) = -y**3 - y**2 - y + 2. Let r be d(0). Suppose 18 = -5*h - r. Sort h, -3, 2 in ascending order.
h, -3, 2
Let b(d) = d**3 - 7*d**2 + 10*d + 1. Suppose 0*w + w + 2 = 0. Let u(c) = c**2 + c. Let z(a) = w*u(a) + b(a). Let m be z(8). Put -4, 0, m in descending order.
m, 0, -4
Let x be (201/66 - 3)/((-1)/(-4)). Let w be 20/(-6) - 10/15. Put w, x, -1/8 in increasing order.
w, -1/8, x
Let l = 15 - 11. Sort 5, l, -1 in ascending order.
-1, l, 5
Let s = 16 + -16. Sort s, -6, -3, -2/7.
-6, -3, -2/7, s
Let x = -102 - -96.3. Let b = x + 6. Let g = 1.07 - 0.07. Sort b, 2, g in decreasing order.
2, g, b
Let z = 16.7 - 17. Let t = -4 + 6. Sort -3/7, z, t.
-3/7, z, t
Let h be (-2 + 8)*3/(-9). Put -5, -4, h in increasing order.
-5, -4, h
Let m = 7 - 5. Suppose -5*p + 3 = -3*q, -p - p = 3*q + 3. Suppose -f + m*f = p. Sort f, -4, -1 in increasing order.
-4, -1, f
Suppose -z - z = -3*c + 3, 5*z + 5*c + 20 = 0. Let f be (-1)/(-4) - (-4)/(-16). Put z, f, -4 in descending order.
f, z, -4
Let j = 21.04 + -21. Sort j, -5, 1/4.
-5, j, 1/4
Let g(l) = -l**3 - 19*l**2 + 3. Let p be g(-19). Sort 2, 0, p in decreasing order.
p, 2, 0
Let r be (5 - 5)/((-2)/2). Suppose 3*s + 3*p + 6 = r, 0 = -2*s + p - 8 - 2. Let b be ((-8)/10)/(27/15). Put s, -2, b in decreasing order.
b, -2, s
Let l(p) = -p**3 - 4*p**2 + 3*p - 7. Let w be l(-5). Suppose 3*j + w = 18. Sort j, -1, 6.
-1, j, 6
Suppose -5*y + 4 = -16. Suppose 4*t + 24 = 7*b - 3*b, 3*t + 22 = y*b. Sort -3, b, 15.
-3, b, 15
Let u = -3 - -4. Sort -5, -1, 4, u in decreasing order.
4, u, -1, -5
Let g be 14/(-63)*(-6)/(-4). Sort g, 3/4, 1/4, 3 in descending order.
3, 3/4, 1/4, g
Let l be 2/6 - (-28)/(-21). Let w = 4 - l. Let i = 3 + -6. Sort i, -4, w.
-4, i, w
Let l = 3 - 3.1. Put l, -4, 