 Let k = z + -6.2. Sort 1, 5, k in descending order.
5, 1, k
Let t(q) be the first derivative of -q**2/2 + 5*q + 2. Let a be t(5). Suppose 10 - 30 = -4*y. Sort y, -3, a in descending order.
y, a, -3
Let b(p) = p. Let i be b(4). Suppose -i*c - 14 = 6. Let o(w) = -w**2 - 3*w + 1. Let d be o(-4). Put d, c, 1 in descending order.
1, d, c
Let l(c) = -c + 10. Let w = 3 + 9. Let o be l(w). Put o, -4, 2 in increasing order.
-4, o, 2
Suppose -34 = -f + 3*z, 5*f - 76 - 46 = -z. Suppose -2*r = 3*r + f. Sort r, -1, 1.
r, -1, 1
Let h(t) = -t + 4. Let g be h(4). Suppose 2*b - 6*b = 4. Sort 3, b, g in decreasing order.
3, g, b
Let a(g) = g**3 + 4*g**2 - 4*g. Let v be a(-5). Let s = -3 - v. Suppose 3*z + 15 = -s*z. Put -1, z, 4 in decreasing order.
4, -1, z
Let a be (-3)/(-6)*(-72 - 0). Sort 5, a, -2 in ascending order.
a, -2, 5
Let z = -17.72 + 10.61. Let p = z + 0.11. Let m = -3 - p. Put m, 1/3, 1/9 in ascending order.
1/9, 1/3, m
Let q = 128 + -116. Sort q, -0.1, 1/9.
-0.1, 1/9, q
Suppose v + 60 = -2*v. Let o = -25 - v. Sort -1, -2, o in descending order.
-1, -2, o
Let n(g) = -6*g**3 + g. Let b be n(-1). Suppose 0 = 20*c - 18*c + 2. Sort b, c, -5 in decreasing order.
b, c, -5
Suppose -2*i = -2*r, -9*r = 3*i - 4*r. Put 2, i, 10 in ascending order.
i, 2, 10
Let a = 15/4 - 4. Sort -4, a, 0.4.
-4, a, 0.4
Let n be (15/10)/(3*-1). Let y = 40 - 38. Sort y, -4, n in increasing order.
-4, n, y
Suppose -7 = -5*x + 8. Suppose -5*m + h + 10 = 0, 5*h + 1 = x*m - 5. Let j be (3/2)/3*2. Sort -5, j, m.
-5, j, m
Suppose -3*b + 2 = q, -15 = 4*b - 4*q + 9. Sort 29, 5, b.
b, 5, 29
Let k = 0.47 - 2.43. Let v = -0.04 + k. Let x = 0.4 - -0.1. Put x, -5, v in decreasing order.
x, v, -5
Let y = -68 + 101. Let t be 3 + y/(-12)*1. Put 0.5, t, 0.4 in increasing order.
t, 0.4, 0.5
Let f(m) = -m**2 + 7*m + 8. Let x be f(8). Put 5, -0.3, 1, x in decreasing order.
5, 1, x, -0.3
Let r be 2*(0 + 29) + 2. Let s be 6/(-21) + r/14. Suppose -o = s*o. Put o, -3, 1 in decreasing order.
1, o, -3
Let p = 3.2 + -3. Suppose j + 5 = -4*q, -5*j + 17 = -4*q - 2*j. Sort -0.1, p, q.
q, -0.1, p
Let f be (8/12)/(2/(-6)). Put f, -3, -1 in descending order.
-1, f, -3
Let w = -0.9 + 1. Let j = -53 - -57. Sort w, j, -4 in decreasing order.
j, w, -4
Let w = -0.28 - -0.1. Let p = w + -0.02. Sort p, -2/19, 0.3 in ascending order.
p, -2/19, 0.3
Let w(h) = 2*h + 20. Let s be w(-11). Let a = -4 - 1. Sort 6, s, a.
a, s, 6
Suppose 2*h - h + g = -27, 0 = 2*h - 3*g + 49. Let p be 3/(-12) - h/8. Sort -5, p, -4 in descending order.
p, -4, -5
Let d(u) = -u**2 + 5*u + 11. Let q be d(6). Suppose j - 6*j + 3*w = 28, 0 = -4*w + 4. Let s(l) = l**2 - 2*l + 1. Let t be s(3). Put t, q, j in ascending order.
j, t, q
Suppose 4*y = w + 2 - 15, 3*y + 3*w + 6 = 0. Sort -2, 2/9, y in decreasing order.
2/9, -2, y
Suppose -4*s - 4*o = 12, 6 + 17 = 3*s - 5*o. Let d(m) = m**3 + 2. Let v be d(-2). Sort v, -5, s in descending order.
s, -5, v
Suppose 7*j - 3*j - 4 = 0. Sort 1/8, -2, j in ascending order.
-2, 1/8, j
Let x(y) = 5 + 3*y + y**2 + 3*y**2 - 5*y**2. Let s be x(4). Let v = 2.04 + -0.04. Sort v, s, 4 in decreasing order.
4, v, s
Let h = -321 + 321. Let a(r) = -r**2 - 4*r - 5. Let i be a(-4). Sort 4, h, i in increasing order.
i, h, 4
Let f = -27.96 + 28. Sort -3, f, 5 in decreasing order.
5, f, -3
Let y = 5.2 + -0.2. Let q = -30.6 - -26. Let h = q + y. Put -5, h, 3 in decreasing order.
3, h, -5
Let s = 8 + -13. Let x be 483/9 + 4/3. Let k be (-5)/2*(-44)/x. Put 4, s, k in increasing order.
s, k, 4
Let m be (6/4 - 1)/((-180)/(-600)). Put -0.4, m, 1/5 in descending order.
m, 1/5, -0.4
Let n = -28 + 26. Sort n, 2, -5 in descending order.
2, n, -5
Suppose 2 = 4*d - 2. Let a be (-40 + 46)*14/12. Sort 5, a, d in decreasing order.
a, 5, d
Let x(o) = -o**3 - 6*o**2 + 8*o + 4. Let u be x(-7). Put 5, u, -2 in decreasing order.
5, -2, u
Let b(t) be the third derivative of -t**7/5040 - t**6/720 + t**5/30 - 2*t**2. Let s(k) be the third derivative of b(k). Let i be s(-1). Sort i, 3, 2.
i, 2, 3
Let o = -45 + 40. Put -4, o, 4, 2 in increasing order.
o, -4, 2, 4
Suppose 4*i - 6*i = -k + 7, -35 = 4*i + 5*k. Suppose 0 = -2*c + 10, 4*d - 2*d - 5*c = -27. Let z be (-2 - d)/((-4)/(-4)). Sort i, 0, z in decreasing order.
0, z, i
Let z = 0 + 9. Let g = 14 - z. Let c = 0.37 + -0.07. Sort 0.1, c, g.
0.1, c, g
Let q = -0.2 + 0.7. Let i = 0.7 + -0.4. Let w be 4 + 38/(-9) + 0. Sort w, q, i in decreasing order.
q, i, w
Suppose q + 0*q + 12 = -3*l, -15 = 5*l. Sort q, 1, 2.
q, 1, 2
Let t be (-4)/(-18) - 754/(-9). Let n be t/(-30) + (-2)/10. Sort 4, n, 2 in descending order.
4, 2, n
Let w = 17 - 12. Let n = 7 - w. Put -2/7, n, 2/19 in decreasing order.
n, 2/19, -2/7
Let y = 0 - 1. Suppose -5*a + 8*a = -6. Put 4, y, a in increasing order.
a, y, 4
Let c = -0.8 - 4.2. Let v = 4 + -3.6. Let q = -3.6 - v. Put c, q, 1/4 in descending order.
1/4, q, c
Let x(t) = -5*t**2 + t - 2*t - t**3 - 4*t. Let u be x(-4). Put -2, u, -3 in increasing order.
-3, -2, u
Let y = 0.18 + -0.78. Sort 0.2, y, 1/6 in decreasing order.
0.2, 1/6, y
Let i = 9 - 11. Let u be (-4)/18 + (-50)/18. Sort 5, u, i.
u, i, 5
Suppose -14 = -4*v - 26. Sort v, -7, -4 in decreasing order.
v, -4, -7
Let m be -2*(-2 - (-14)/4). Let o = m + 1. Sort 1, -6, o in ascending order.
-6, o, 1
Let z(x) = x + 13. Let u = -10 - -1. Let h be z(u). Let n = h + 0. Put 3, 0, n in increasing order.
0, 3, n
Let q = -140 + 141. Put 21, 4, q in decreasing order.
21, 4, q
Let k be (208/39)/((-1)/3). Let r be 15/6*k/(-60). Put -0.5, r, 4 in increasing order.
-0.5, r, 4
Let q be ((-5)/(-25))/((-18)/(-15)). Let f = -0.7 - 0.3. Sort q, f, -0.4.
f, -0.4, q
Suppose -10*g - 15 = -15*g. Put g, 1, -14 in decreasing order.
g, 1, -14
Let x = 20 + 0. Put 2, x, 0.2 in increasing order.
0.2, 2, x
Suppose 12 = v + 3. Suppose 5 = 3*z + 5*t, z + 0*t + 17 = 3*t. Let j = v + z. Sort -2/13, 4/7, j.
-2/13, 4/7, j
Let f = -6 + 3. Let j = 12 + -14. Let o be (-1)/2 + (-3)/j. Sort f, -5, o in increasing order.
-5, f, o
Suppose -13*g + 14*g = 3. Sort g, 18, 0 in ascending order.
0, g, 18
Let f = -16 + 114/7. Let g = 2.1 + -2. Sort -1/2, g, f in increasing order.
-1/2, g, f
Let f(y) = -y**3 - 11*y**2 - 10*y - 5. Let h be f(-10). Let x be ((-2)/3)/((-1)/(-3)). Sort 0, x, h.
h, x, 0
Let b = 99 + -94. Put -5, -20, b in increasing order.
-20, -5, b
Let g = -13 - -23. Let a = -8 + g. Sort -4, 5, a in decreasing order.
5, a, -4
Let s be 2 - ((-72)/15)/(-1). Let h = -22/15 - s. Suppose -5*x + 0*x = 0, -x - 16 = -4*w. Put h, -5, w in ascending order.
-5, h, w
Let b = -1.4 - -1.4. Put -0.17, -2/11, 2, b in increasing order.
-2/11, -0.17, b, 2
Let l = -3 - -5. Let t be 15/51*l/5. Put t, 0.2, 4 in ascending order.
t, 0.2, 4
Suppose 12*n - 8*n + 20 = 0. Put 8, -3, 0, n in descending order.
8, 0, -3, n
Let q be ((-4)/(-6))/((-2)/(-6)). Let w be (-3)/6 - 1/q. Let m be -2 + 2 + -4 + w. Put m, 4, -3 in ascending order.
m, -3, 4
Let h = 3.3 - 0.3. Let t = -69 + 69.04. Sort t, -2/5, h in descending order.
h, t, -2/5
Let u(p) = 2*p**2 - 6*p - 8. Let o be u(6). Suppose 2*t = r + 4*r - o, 5*t = r - 24. Suppose 3*w + 2*w = -25. Put r, -4, w in decreasing order.
r, -4, w
Suppose -n - 2 = n. Let g(o) = o**2 - 7*o + 4. Let q be g(6). Sort q, -6, n.
-6, q, n
Let g(s) = s**2 - 2*s - 19. Let f be g(-3). Sort -2/3, f, 0.07 in descending order.
0.07, -2/3, f
Let f = 3.94 + -4. Let z = -2.94 + f. Let u = z - -1. Put -4, u, -1/3 in descending order.
-1/3, u, -4
Let o = 9 - 13. Suppose 5*t + 5*g - 8 - 7 = 0, 0 = -2*t - 5*g. Sort o, -2, t.
o, -2, t
Let t be (-136)/3*3/(-2). Let g be 8/4 + (-193)/t. Let c = g + 10/17. Sort c, 2, -0.5 in ascending order.
-0.5, c, 2
Let p = -5 + 11. Let a = p - 5.9. Sort a, -0.5, 2.
-0.5, a, 2
Suppose 1 = -2*d - 11. Let h(f) = f + 8. Let z be h(d). Put -3, 5, z in descending order.
5, z, -3
Suppose -11*j - 8 = -3*j. Put -5, j, -4 in decreasing order.
j, -4, -5
Let o be (2 - 6)/(-2) - (1 + -2). Sort -1, o, -6 in ascending order.
-6, -1, o
Let n = -1 + -3. Let k = 0.15 + 0. Let q = 0.05 - k. Sort q, 1, n in ascending order.
n, q, 1
Let l = -10 + 12. Put l, -1, 6 in decreasing order.
6, l, -1
Let x = 0.39 + -3.39. Put 1, x, -15 in decreasing order.
1, x, -15
Let b = -221 + 221.2. Let f = 0.4 + -0.1. Sort 0, f, b.
0, b, f
Let d(m) = -m**2 - 5*m - 5. Let c be d(-5)