ort -0.05, v, 4 in descending order.
4, v, -0.05
Let u(x) = 2*x + 1. Let o be 12/(-54) + (-4)/(-18). Let z be u(o). Sort 4, 0, z in descending order.
4, z, 0
Let o = -0.21 + -7.79. Let n = -11 - o. Put -5, 5, n in increasing order.
-5, n, 5
Suppose h + 0*h + 7 = 2*n, 4*n = 3*h + 19. Let g be (-5 - -4) + (-30)/(-34). Put 4/5, g, h in descending order.
4/5, g, h
Suppose -5*g = -4*g - 4*g. Sort g, 3, -5 in descending order.
3, g, -5
Let u be 1 + 2/1*-3. Let g be (18/(-3) - 2) + 16. Put u, g, 4 in descending order.
g, 4, u
Let r(m) = m**2 + 4*m + 3. Let i be (-1)/3 - (-2)/6. Suppose 15 = -5*y - i. Let a be r(y). Sort a, 0.4, 2.
a, 0.4, 2
Let u = -7 - -11. Let z = -3 + u. Let a = -4 - -4. Sort z, a, 4 in increasing order.
a, z, 4
Let v be 24/(-16) + 11/2. Sort -1, v, 3 in increasing order.
-1, 3, v
Let c be ((-2)/(-11))/(3/(-3)). Suppose 20 = -0*v + 4*v. Sort c, 4, v in increasing order.
c, 4, v
Suppose 0 = h + 3*k - 8, 5*h + 2 = k + 10. Suppose 2*p + 0 - 8 = -4*f, h*f - p + 4 = 0. Suppose 2*j + f*j = 8. Sort 0, 2, j.
0, 2, j
Let k = -1 + -1. Let d = 0.8 + 1.2. Let m = 3 + d. Put -1, m, k in descending order.
m, -1, k
Suppose 3*x = -q + 12, 0 = -3*q + 5*q - 4*x + 26. Put 5, q, 8 in descending order.
8, 5, q
Suppose 3*k - 25 = 5*t + 1, 4*k = -4*t - 8. Put 3, -1, t in descending order.
3, -1, t
Let q(x) = -x**2 + 6*x - 7. Suppose 0 = -3*t + 1 + 11. Let n be q(t). Sort -3, n, 0 in descending order.
n, 0, -3
Let s(v) = v - 13. Let l be s(14). Let r be (-1)/(2/(-6) + 0). Sort r, l, 4 in descending order.
4, r, l
Let k = 1.77 + -1.7. Let p be -4*((14 - 11) + (-79)/26). Let h = 0.2 - 2.2. Sort k, h, p in ascending order.
h, k, p
Let x = -129/2 - -64. Suppose -3*d - 15 = 0, 2*t - 2*d = 1 + 3. Put t, 1, x in descending order.
1, x, t
Let p = 99 + -98. Sort 4, p, 3.
p, 3, 4
Let p = 19 + -15. Put p, 6, -2 in descending order.
6, p, -2
Let g = 11 - 15. Suppose -2*z + 3*q = -3, -2*z + 3 = q + 4. Suppose 0 = 2*m - 5*f - 10, 0 = 3*m + 5*f - z*f + 10. Put -2/11, m, g in increasing order.
g, -2/11, m
Let q = 5 - 0. Suppose 65 = q*s - 85. Suppose 2*z = 2*n, z + 4*n - s = -n. Put z, -3/2, -0.4 in descending order.
z, -0.4, -3/2
Suppose 5*h = -2*b + 11, h - 4*h = -4*b - 17. Suppose 5*z - 15 - 5 = 0. Put -4, b, z in descending order.
z, b, -4
Let g(s) = s**2 - 13*s + 3. Let k(t) = -t**2 + 14*t - 2. Let x(r) = -6*g(r) - 5*k(r). Let n be x(6). Sort -4/9, 2/9, n in descending order.
n, 2/9, -4/9
Suppose 4*q = -5*m - 4, -m + q - 1 = -2. Suppose 0 = -3*f + 4*l - 5*l + 39, f + 3 = 5*l. Suppose 8*n - 4*n = f. Put m, n, 4 in descending order.
4, n, m
Suppose 2*b - h + 13 = 0, -2 = 2*b + 2*h + 2. Put 5, b, -2, -3 in increasing order.
b, -3, -2, 5
Suppose 1 = d - 0*d. Suppose 4*i - 2*j - 10 = 0, -3*i + i + 10 = -2*j. Let n(m) = m. Let p be n(i). Sort d, p, -2 in ascending order.
-2, p, d
Let v be -8 + (-6)/4*-2. Suppose y + 2 = -0. Let n = -2 + 2. Sort y, n, v in descending order.
n, y, v
Let u = 46 - 45.79. Let i = 0.09 + u. Sort i, 4, 2.
i, 2, 4
Let z be 2/7 + 48/(-21). Let h = 0.12 - 0.1. Let g = -0.42 + h. Put z, g, 5 in ascending order.
z, g, 5
Let d(a) = -2*a - 7. Let o be d(-6). Let q(g) = -g**3 - 2*g**2 + 2*g + 3. Let j = 6 - 8. Let i be q(j). Sort o, 1, i in ascending order.
i, 1, o
Let b = -33 - -32. Sort 4, -4, b.
-4, b, 4
Let y(g) = -2*g - 3*g + 2*g. Let d be y(3). Let i be (-2)/3*d/48. Sort i, -3, -0.2.
-3, -0.2, i
Suppose a - 2 - 2 = 0. Suppose -5*h - i = -45, -3*h - 5*i = -5*h - 9. Suppose -3*y + 7*y - h = 0. Sort a, 1, y in descending order.
a, y, 1
Suppose k + 4*x = 5*k + 4, 0 = -3*k - x + 1. Put 1/4, 2/3, k in ascending order.
k, 1/4, 2/3
Suppose -2*j - 3*j = 25. Suppose -18 = -c + 3*c. Let h be 3 + (c + 4 - -2). Sort j, 2, h in decreasing order.
2, h, j
Suppose -8*x = -2*x + 18. Let o(f) = f**3 + 3*f**2 - 2*f - 4. Let i be o(x). Put i, 0, -3 in increasing order.
-3, 0, i
Let n = -120 - -603/5. Let p = 3 + -3.1. Let g = 19 - 17. Put g, p, n in descending order.
g, n, p
Let z = 0.93 + -1.03. Sort -3, 0, 12, z in descending order.
12, 0, z, -3
Suppose 0 = -p + 7*p - 96. Sort -2, p, 3.
-2, 3, p
Let y = -77/102 - -10/17. Let h be (2 - 0) + (-31)/30. Let n = h + -3/10. Sort n, y, 2/5.
y, 2/5, n
Let a = 2 - 3. Sort 2, 0.3, a, -0.9.
a, -0.9, 0.3, 2
Let m = 8 + -7. Let a be 12/(-42)*(-8 + 1). Sort a, -12, m in decreasing order.
a, m, -12
Let y be 38/(-7) + 54/126. Let o be 1/(-2)*1*4. Suppose m = 3*g + 10, 0 = -4*m - m - 2*g - 1. Sort m, o, y in decreasing order.
m, o, y
Let v be 15/12 - (-3)/4. Suppose 6*a = 5*a - v. Put 5, a, -4 in increasing order.
-4, a, 5
Suppose b = d + 23, -3*d - 5*b = -0*d + 29. Sort d, 0.2, -0.5, 3.
d, -0.5, 0.2, 3
Let s(a) be the second derivative of a**3/6 + 5*a**2 + 7*a. Let t be s(-7). Sort t, -2, -3 in increasing order.
-3, -2, t
Let m be (2 + (-8)/4)/2. Let t = 10 - 7. Put m, 6, t in ascending order.
m, t, 6
Let t = -13 + 13. Let f = 2 + -2.06. Let x = f + 0.46. Sort x, t, -3 in increasing order.
-3, t, x
Let z = -2 + 1. Let w = 4 + 1. Suppose -21 + 6 = w*v. Sort v, 2, z in ascending order.
v, z, 2
Let l(b) = -b. Let x be l(-5). Put -0.1, -3/10, x in decreasing order.
x, -0.1, -3/10
Let t = -129 + 128. Put 19, -4, 4, t in descending order.
19, 4, t, -4
Let o(h) = -3*h - 9. Let i be o(-6). Let v be 2/(-9) - (-5)/i. Sort v, -0.3, -2.
-2, -0.3, v
Let g = -3.019 + 0.019. Put g, 1/4, -0.2 in ascending order.
g, -0.2, 1/4
Suppose -35 = -16*k + 9*k. Sort k, -7, 3, -3.
-7, -3, 3, k
Let h(y) = y - 6. Let k be h(9). Suppose -l - 2 = k. Put l, 1, -4 in decreasing order.
1, -4, l
Let a be 14 + -10 - (3 + -1). Put 0, a, -3, -4 in descending order.
a, 0, -3, -4
Let u = -4.09 + 0.09. Sort u, 0.1, -2 in descending order.
0.1, -2, u
Let z = 0.83 - 2.83. Sort -0.5, 8, -4, z in descending order.
8, -0.5, z, -4
Let y = 24 + -22. Let p = -1.3 - -1. Let b = -15/7 + 96/35. Put b, p, y in descending order.
y, b, p
Suppose 7*t - 2*t - 25 = 0. Suppose -m + t*m = -16. Let z be m/18 + 8/(-18). Put z, -0.5, -0.4 in increasing order.
z, -0.5, -0.4
Suppose 4*i + 3*v - 20 = 15, -10 = i - 3*v. Suppose -5*m + i*y - 2 - 8 = 0, 3*m - 34 = -5*y. Let f = m + -4. Sort f, -5, 5 in decreasing order.
5, f, -5
Let m = 0.09 + -3.09. Sort 4/7, m, 3.
m, 4/7, 3
Let y = -7 - -11. Sort -5, -1, y in decreasing order.
y, -1, -5
Let w(y) = 3*y**3 - 2*y**2 + 3*y - 2. Let t be w(2). Let v be (24/(-20))/(6/t). Put -1, -5, v in descending order.
-1, v, -5
Let b be 2/3*3/(-1). Let c = 0.378 - -0.122. Sort c, b, 0.3 in decreasing order.
c, 0.3, b
Let q = -2 + 1. Let l be (-1)/(6/8*q). Let x = 10.6 + -11. Sort x, -1/3, l in ascending order.
x, -1/3, l
Let g = 0 - 4. Let u = -3 - g. Let k = 3 - u. Put k, -0.4, 1/7 in ascending order.
-0.4, 1/7, k
Let y be (24/60)/(1/(-35)). Let x(a) = a**3 + 15*a**2 + 15*a + 14. Let u be x(y). Put -3, -1/2, u in descending order.
u, -1/2, -3
Suppose -x = -0*x. Let d = x + 3. Suppose -3*a = d*y - 24, 0*y = -2*a + y + 1. Put 1/3, a, -1 in descending order.
a, 1/3, -1
Let o be 0 + -2 - 8/(-2). Suppose -1 = -o*y + 9. Put 2, y, -2 in decreasing order.
y, 2, -2
Let n be 4*(1 + -1 - -1). Let h = -57 - -58. Sort n, -3, h.
-3, h, n
Suppose 3*b + 2*b = 0. Let i(q) = q + 11. Let s be i(-5). Suppose -s*x + 25 = -x. Put -1, b, x in ascending order.
-1, b, x
Let c = -4 - 1. Let t = -46.8 - -46.6. Sort c, -0.03, t in ascending order.
c, t, -0.03
Suppose 2*n = 3*n. Suppose 4*i - 20 = n, -j + 4*i - 28 = -i. Put 3, j, 0.5 in descending order.
3, 0.5, j
Let m = 4 - 0. Suppose -4*b + 2*o + 12 = o, -4*b = -m*o - 24. Sort 0, -3, b in ascending order.
-3, 0, b
Let d = -23 - -22. Put 2, 4, d in increasing order.
d, 2, 4
Let t = -12 + 17. Sort 9, 3, t in descending order.
9, t, 3
Let p be 10/7 + -1 + -1. Let a = -2 + 3. Put -3, a, p in descending order.
a, p, -3
Let x = -0.042 + 0.342. Put x, 0.1, 2, 0 in decreasing order.
2, x, 0.1, 0
Let g(x) = -x**3 + 3*x**2 + x - 5. Let j be g(2). Let w = -0.5 + 1. Sort w, j, -2/9.
-2/9, w, j
Let l(w) = 5*w. Let n be l(1). Let b(h) be the third derivative of -h**5/60 - 5*h**4/8 + 19*h**3/6 + 9*h**2. Let i be b(-16). Put -3, i, n in decreasing order.
n, i, -3
Suppose 5*m - 13 - 12 = 0. Let i = 5 - m. Let t(p) = -p**3 - 9*p**2 - 9*p - 11. Let s be t(-8). Sort i, s, 3 in descending order.
3, i, s
Suppose 3*t - 26 = 4*v, 2*v - 2*t - t + 16 = 0. Sort