+ 4 + c = 2*j, -5*j - y - 3 = 0. Put u, j, 5 in decreasing order.
5, j, u
Let h = -145 + 148. Put h, -3, 0 in decreasing order.
h, 0, -3
Let o be 1/(-78) - (6 + -4). Let m = o - -24/13. Put -6/7, m, 3 in descending order.
3, m, -6/7
Let h be 7/((-63)/24)*6/(-4). Sort -1/10, h, -2 in increasing order.
-2, -1/10, h
Let d = -25/9 + 107/45. Put 0.5, -0.36, d in descending order.
0.5, -0.36, d
Let k(w) = w**3 + 10*w**2 + 5*w - 13. Let z be k(-9). Suppose t = 5*p + z, 5*p - 4*p + 19 = 5*t. Sort p, -6, 1 in descending order.
1, p, -6
Let q = -1.1 - -0.2. Let s = -1 - q. Let b(c) = -3*c - 4. Let h be b(-3). Put h, 1/3, s in ascending order.
s, 1/3, h
Let u = 2 + -1. Let q = 0.15 - -0.05. Let d = 0.9 + -0.5. Put u, d, q in descending order.
u, d, q
Let f = -14 - -5. Let c = 14 + f. Sort -4/7, -4, c in descending order.
c, -4/7, -4
Let p(o) = -o. Let c be p(-1). Let x = -14 - -11. Sort c, 5, x in decreasing order.
5, c, x
Let t be (-12)/(-9)*(-6)/4. Let s be (-4)/(-4) - 3 - -2. Put s, t, 4 in increasing order.
t, s, 4
Let d = 0.23 + -0.03. Put -4, d, 1/3 in ascending order.
-4, d, 1/3
Let c(t) = -t**2 - 20*t + 12. Let w be c(-20). Let p(i) = -3*i + 1. Let r be p(3). Let f = r + w. Put f, 0, -3 in decreasing order.
f, 0, -3
Suppose -3*o - x = -16, -3*o + 13 = -0*o - 2*x. Put -1/4, o, 3 in decreasing order.
o, 3, -1/4
Let p be (-2)/9 + (-38)/(-9). Suppose 0 = -5*m + 6 + p. Suppose s = -m*s + 9. Put 5, s, -5 in increasing order.
-5, s, 5
Let l = -15 - 10. Put l, -1, 0 in descending order.
0, -1, l
Let t(h) = h**2 + 4*h - 8. Let y be t(-6). Suppose -6*n = -4*n - y. Put -1, n, 5 in decreasing order.
5, n, -1
Let v(l) = -l**3 - l**2 + l + 3. Let j be v(0). Let s = j - 3. Let y(a) = a**3 + a**2. Let w be y(s). Put w, 1, -3 in ascending order.
-3, w, 1
Let j(z) = z**3 + 1. Let w be j(0). Put 1/3, w, 0.1, -3 in descending order.
w, 1/3, 0.1, -3
Suppose 5*b + 14 = 44. Suppose k = l - 2*k - 16, -b = -l + k. Let q = 0 + -1. Put q, 3, l in ascending order.
q, l, 3
Let k = 6 + -6.6. Let y = -1.4 + k. Sort y, 1, 0.
y, 0, 1
Suppose 0 = -u + 3. Let z = -7 - -2. Sort 5, z, u.
z, u, 5
Let a = -1216/7 - -174. Suppose 2*l + l - 66 = 0. Let t be (-4)/l*2/(-2). Sort a, t, -0.2.
-0.2, t, a
Suppose -4*n = -2*q - 16, 3*q = 2*n + q - 10. Let t(i) = i - 13. Let w be t(10). Sort w, n, 1 in ascending order.
w, 1, n
Let w = 167 + -164. Let m be -10*((-3)/2 - -1). Sort m, w, 1/5 in increasing order.
1/5, w, m
Let m = -137/70 + 13/7. Sort 0.3, m, 3/5, 3 in increasing order.
m, 0.3, 3/5, 3
Let x(t) = 4*t - 34. Let c be x(8). Sort c, 1, 4 in ascending order.
c, 1, 4
Let u be 3 - 1*(3 - 3). Sort u, -2, 0.
-2, 0, u
Let l = 1.5 - -0.5. Sort 0, 4/7, l in descending order.
l, 4/7, 0
Let y be (-36)/63*42/(-4). Sort -3, y, 4.
-3, 4, y
Let a be ((-1)/1)/(7/(-98)). Suppose t + 4*t - 2*x = 21, 3*x = 4*t - a. Put 1, t, 3 in decreasing order.
t, 3, 1
Let w(k) be the second derivative of k**4/12 + 5*k**3/6 - k**2/2 - 2*k. Let i be w(-6). Let u = 3.7 - -0.3. Put u, 0, i in descending order.
i, u, 0
Let t be 2/54*(-12)/4. Put 0, t, 1/3 in decreasing order.
1/3, 0, t
Let z = -39/16 + -1/16. Let f = -0.5 - -0.9. Let v = 0 - f. Sort 2, z, v in ascending order.
z, v, 2
Let z(h) = h**2 + 1. Let n be z(1). Sort -0.2, n, 6.
-0.2, n, 6
Let q be 238/18 - (-2)/(-9). Suppose -1 = 3*p - q. Suppose 0 = -3*x + s + 14, -3*x + 5*x - s = 9. Sort -3, x, p in increasing order.
-3, p, x
Suppose -5 - 3 = z. Sort z, -1, 0 in decreasing order.
0, -1, z
Let g(x) = x**2 + 6*x + 7. Let b be g(-5). Let w(t) = t**b - 3 - t**2 + t + t**2. Let d be w(-3). Sort 0, d, 1 in ascending order.
0, 1, d
Let b = -14 - -12. Sort b, 3, 0.4 in descending order.
3, 0.4, b
Suppose -4*p = -9*p + 5. Suppose -5 + p = y. Suppose -4*h + 10 = -6. Sort y, -5, h in ascending order.
-5, y, h
Let n = 0.3 - -0.1. Let o = 0 + n. Let p = 0 + o. Put p, -1, -2 in decreasing order.
p, -1, -2
Let l be (-2)/4*(5 - 3). Let z(p) = p**2 - p - 1. Let m be z(2). Sort -3, m, l in increasing order.
-3, l, m
Suppose u + q - 4 = 0, -3*u + 5*q - 8 = -2*u. Suppose 0 = -j - 5*b - 7, -4*b + 5 = -3*j + 3. Put u, 7, j in decreasing order.
7, u, j
Suppose 5*s = 9*s - 40. Let k = s - 5. Put 2, k, 0 in descending order.
k, 2, 0
Let i = 184 + -183.96. Sort -5, 2, i, -2.
-5, -2, i, 2
Suppose -4*z + 5*z - 129 = 4*i, -2*i - 3*z = 47. Sort 0, 1/5, i in ascending order.
i, 0, 1/5
Let a(h) = h**2 + 4*h - 7. Let l be a(-6). Suppose -7*t = -24*t + 51. Sort -1, t, l in increasing order.
-1, t, l
Let d = 2/859 + 3422/6013. Sort 5/4, 3, -5, d.
-5, d, 5/4, 3
Suppose -3*u - 20 = 4*y, 5*u - 4*y = 3*u + 20. Sort u, -4, -2 in descending order.
u, -2, -4
Let f = -0.17 + 5.17. Put 0.1, 0, f in descending order.
f, 0.1, 0
Let t = 0.33 + -0.43. Sort 3, 5, t in descending order.
5, 3, t
Let x(m) = -4*m - 1 - 2*m**3 + 2*m**3 - m**2 + m**3. Let h be x(3). Put 2, h, -5 in decreasing order.
h, 2, -5
Let n be ((-11)/22)/(21/(-6)). Sort n, 0.01, 3 in decreasing order.
3, n, 0.01
Let t = 0.53 + -1.53. Sort 3, t, -5, 0.4 in decreasing order.
3, 0.4, t, -5
Let z(a) = -a**2 - 17*a + 13. Let t be z(-18). Let q(w) = 3*w + 1. Let r be q(1). Put -3, r, t in decreasing order.
r, -3, t
Let o(k) = -k. Let q be o(1). Sort 4, q, -5 in descending order.
4, q, -5
Let m = 1.34 + 2.66. Put m, -0.1, -1, -3 in increasing order.
-3, -1, -0.1, m
Let z be ((-7)/((-21)/(-12)))/(-2). Suppose 0 = -4*q + 3*u + 11, z*u - u = -1. Sort q, -4, -6 in descending order.
q, -4, -6
Let m be (2 + -3)/(-2 - -1). Let o be 1/(-1) + 2/m. Put -3, 2, o in descending order.
2, o, -3
Let t(i) = -i**2 + i - 4. Let f(r) = -r**3 - r**2 - 2*r - 1. Let z be f(-1). Let x be (z - 1)*1/2. Let k be t(x). Sort -3, k, -0.2.
k, -3, -0.2
Let s(v) = -2*v**3 - 5*v**2 - 3*v - 3. Let o be s(-3). Suppose 0 = 5*a - 2*a - o. Sort 4, -4, a.
-4, 4, a
Let c(b) = b**2 + 2*b - 3. Let n be c(-4). Sort 1, -4, n in decreasing order.
n, 1, -4
Suppose 113*h + 1 = 114*h. Sort 5, h, 0, -4 in increasing order.
-4, 0, h, 5
Let m be ((-3)/2)/((-12)/(-64)). Let q = m - -11. Sort 1, q, -4.
-4, 1, q
Let l = -40 - -35. Let p = -0.02 + -2.98. Put p, l, -2/13 in ascending order.
l, p, -2/13
Let m(s) = -s + 8. Let y be m(8). Sort 5, 3, -5, y in descending order.
5, 3, y, -5
Let h be 42/(-63) + 51/9. Suppose -3*u - 5*g + 9 = 0, u - g - 4 = -1. Put u, h, 6 in ascending order.
u, h, 6
Suppose 11*k = 7*k - 8. Let s be ((-1)/(-2))/(1/(-2)). Sort k, s, 5 in ascending order.
k, s, 5
Let c = -31 - -28. Let w = 2 + -1.7. Put c, -0.4, w in ascending order.
c, -0.4, w
Let j(d) = d**2 + 2*d + 2. Let l(p) = -3*p**2 - 7*p - 6. Let q(z) = 17*j(z) + 6*l(z). Let t be q(-8). Put -0.3, -3, t in increasing order.
-3, t, -0.3
Let g(b) = -b**3 - 2*b + 2. Let f be g(1). Sort f, -3, 1 in increasing order.
-3, f, 1
Let h be (9/(-6))/((-6)/(-8)). Suppose 8 = 3*g - 4. Sort -5, h, g.
-5, h, g
Let q(j) = j**2 - 12*j - 17. Let g be q(12). Let m = -13 - g. Let f = 0.1 + -0.3. Put -2, f, m in descending order.
m, f, -2
Let b(w) = -2*w**2 - 8*w + 5. Let j be b(-4). Sort -1/2, -5, j in increasing order.
-5, -1/2, j
Suppose 0 = -3*j + 16 - 7. Sort -5, j, -4, -2 in ascending order.
-5, -4, -2, j
Let o = 5 - 6. Sort o, 3, 0 in increasing order.
o, 0, 3
Suppose -4*y + 2*y + 8 = 0. Let b = 0 - 1. Sort -1/9, b, y.
b, -1/9, y
Let t = 2 - 2. Let k(f) = 4*f**2 + 10*f + 4. Let j(g) = -g**2 - g + 1. Let s(c) = -3*j(c) - k(c). Let i be s(-6). Sort t, i, 4 in decreasing order.
4, t, i
Let p = -29 + -10. Let r be 45/p + (0 - -1). Let h = -6/31 - 8/279. Put r, h, 3 in descending order.
3, r, h
Suppose 8*z + 7 = -25. Let d be 32/5 + (-4)/10. Sort d, 4, z.
z, 4, d
Let b be (-19)/(-5) - (-10)/50. Suppose -b*v + 4 = 12. Suppose -3 - 17 = -5*x. Sort -5, x, v in increasing order.
-5, v, x
Suppose j + 0 = 3. Sort 2, 0, j, 4 in decreasing order.
4, j, 2, 0
Let r(o) = -2*o + 11. Let d be r(5). Sort d, 0, -3 in increasing order.
-3, 0, d
Let k be (-60)/18*(-18)/5. Let g = k - 7. Sort 0.1, 4/5, g.
0.1, 4/5, g
Let z(w) = -w**2 - 10*w - 10. Let k be z(-7). Suppose -4*y + 14 = -k*y. Put -4, -5, y in descending order.
y, -4, -5
Let p(a) = a + 9. Let s be p(16). Let r = -26 + s. Put r, 2, 0 in decreasing order.
2, 0, r
Let c = -112 - -115. Sort 27, 6/5, c.
6/5, c, 27
Let q be (-31)/(-4) + (-12)/16 + -2. Let y = -1 + 1. Let c be (-13)/(-3) + 1/(-3). So