4 = 4*u. Put 11, -7, h, -3 in ascending order.
-7, -3, h, 11
Let q = 617/5 + -123. Put -5, -5/6, q, -0.2 in decreasing order.
q, -0.2, -5/6, -5
Let o(l) = l**3 - 14*l**2 - 13*l - 34. Let f be o(15). Put 5, f, -20 in decreasing order.
5, f, -20
Let b be 3 + (-14)/7 - -3. Put 2, b, 1 in decreasing order.
b, 2, 1
Let f = -169 - -169.8. Sort 0.4, 0.2, -8, f.
-8, 0.2, 0.4, f
Let m(q) = -21*q + 564. Let x be m(27). Let u be (1 - 3) + 3 + -2. Sort x, u, -2 in increasing order.
x, -2, u
Let a = 0.066 + 4.934. Sort -0.07, -0.4, a, -3.
-3, -0.4, -0.07, a
Suppose -2*t = -0*t + 8. Suppose 0*k = 4*k + 4, 4*k = -3*p + 8. Put 11, t, p in increasing order.
t, p, 11
Let c(m) = 2 + m - 7*m + 22*m**2 + 0 - 21*m**2. Let y be c(5). Let j(r) = 2*r**2 - 18*r + 1. Let v be j(9). Put v, y, -2 in descending order.
v, -2, y
Let l be 4 + (-1 - -1) + -1. Let i be 330/352 + (-1)/(-16). Sort i, -2, l in ascending order.
-2, i, l
Suppose 3*x + 9 = -5*r, 0 = -32*x + 29*x + 2*r - 9. Sort -5, 5, x, 0 in descending order.
5, 0, x, -5
Suppose 5*b = 5*r + 10, 0 = r + 34 - 33. Let y(l) = -9*l + 3*l - 3*l**2 + 2 + 2*l**2. Let k be y(-7). Sort -12, k, b.
-12, k, b
Let w be (6/2)/(15 + -14). Let j(o) = -3*o**2 + 6*o + 3. Let r be j(w). Sort r, 3, -1 in descending order.
3, -1, r
Suppose -3*v + 28 = -7*v. Let m = -3435 + 3440. Let y = 9 - 13. Put y, m, v in increasing order.
v, y, m
Let a = -3.2 + -0.8. Let x = 83 + -82.7. Let f = -4 + 3.7. Sort x, f, a in ascending order.
a, f, x
Let m = 3.48 + -0.14. Let x = m + -3. Let z = x + -0.24. Put -1, z, 0.3 in increasing order.
-1, z, 0.3
Suppose 0 = -2*f - 2 + 4. Suppose -7*t + 5 = -6*t. Let a = -5 + 7. Sort a, t, f in descending order.
t, a, f
Suppose 4*p - 6*f + 4*f = 6, 5*p + 3*f - 24 = 0. Sort 2, p, 4, -4 in decreasing order.
4, p, 2, -4
Suppose 2*q - 46 = -0*q. Let a be -25 - -2*1/8*-8. Let f = q + a. Sort 3, f, 5 in descending order.
5, 3, f
Let g = 1/45 + 1/5. Let i = -185/119 + 24/17. Let p(r) = -r**2 + 9*r + 4. Let m be p(9). Sort m, i, g in descending order.
m, g, i
Let b = 93 - 38. Let v be (-8)/14 - b/(-35). Sort -1, 0, v in descending order.
v, 0, -1
Suppose 0 = 8*u - 795 + 491. Sort u, 6, 5 in decreasing order.
u, 6, 5
Let k = 3 - 6. Let q = -10 + 10. Let m = q - 0.3. Sort m, 0, k in ascending order.
k, m, 0
Suppose -2*w = -4*w + c + 22, -c = -2. Suppose 0 = 4*m - m + 6, 4*n + 2*m - w = 0. Let z = 7 + -10. Sort n, z, 1 in increasing order.
z, 1, n
Let l(v) = 2*v - 8. Let b be l(5). Suppose a = -3*u + 10, b*a = 6*a + 3*u - 4. Sort -5, -3, 0, a in increasing order.
-5, -3, a, 0
Suppose -6 = -3*o + 5*o. Suppose m + 19 = 12*q - 16*q, 6 = -q. Put -4, m, o in decreasing order.
m, o, -4
Let i be -7 - -2 - (-15)/(3 - -2). Let j(r) = -r**2 - 6*r - 2. Let d be j(-5). Sort i, 4, 2, d in ascending order.
i, 2, d, 4
Suppose 20 = -2*w - 3*w + i, 2*w + i + 15 = 0. Sort -121, -2, -1, w.
-121, w, -2, -1
Let b be 96/2 - (-46 - -47). Sort b, 3, 1.
1, 3, b
Let b = 0 + 8. Let g = 12 - b. Suppose -4*s - a + 3 = 0, -a + 15 = -3*s + 4*a. Sort -1, s, g in descending order.
g, s, -1
Let j be 4 - (-18)/6 - 2. Sort 8, 1, 4, j in ascending order.
1, 4, j, 8
Let d be (1 + -5)/(4/(-8)). Let n be 3/(-4)*d/12. Let c be (-26)/(-50)*15 + -7. Sort c, 0.1, n in descending order.
c, 0.1, n
Suppose 0 = -4*s + 25 - 9. Suppose 0 = 5*j - s*j + 4. Let u be 63/(-150) - j/8. Sort 0, u, 0.3 in increasing order.
0, u, 0.3
Let u = 2664 + -2665. Let m(i) = -3*i**3 + i**2 + i - 1. Let q be m(1). Put q, u, 6 in decreasing order.
6, u, q
Let h = -14 + 9. Let p = 0.281 - -3.719. Put p, h, 2/23 in ascending order.
h, 2/23, p
Let g(d) = d**3 + 6*d**2 - 2*d - 9. Let l be g(-6). Let s = 575 - 579. Put -1, l, s, -3 in increasing order.
s, -3, -1, l
Let q be -4*(-9)/(-65) - 6/(-39). Let h = 22 + -25.6. Sort 1, h, q in descending order.
1, q, h
Let a = 288 + -283. Sort 4, a, -33 in decreasing order.
a, 4, -33
Let m be (2/(-4))/((-1)/10). Suppose -m = 5*z - 0*z. Sort z, 5, 1 in decreasing order.
5, 1, z
Suppose 0 = 4*p - 18 - 6. Let q be (2/p)/(1/(4/(-2))). Sort q, -33, -1/5.
-33, q, -1/5
Let f = 13.33 + -0.33. Let v = -7 + f. Let u be 20/(-6)*(0 + 2/(-8)). Sort v, u, 0.4.
0.4, u, v
Let a be (2 + (-56)/(-6))/((-66)/99). Sort -5, 5, a, -1 in increasing order.
a, -5, -1, 5
Let i(g) be the second derivative of -g**3/3 + 49*g**2/2 - g. Let r be i(24). Put 4, r, 20 in decreasing order.
20, 4, r
Let s be (29/(-5))/(-1) + (-20)/25. Put s, 1, -32 in descending order.
s, 1, -32
Let z(f) = -f**2 + 8*f - 5. Let d be z(8). Let u(i) = -i - 3. Let a be u(-3). Suppose a = 7*y + 3*y + 20. Sort d, 3, y in ascending order.
d, y, 3
Let v(w) = w**2 - 30*w + 99. Let i be v(26). Sort i, -2, 0.1, -1.
i, -2, -1, 0.1
Let c = 311 + -311.1. Sort -2/7, -2/3, c, 1/3 in descending order.
1/3, c, -2/7, -2/3
Let p = 2.8 - 2.703. Let r = 0.157 - p. Let u = 4 - 6. Put r, 4, u in descending order.
4, r, u
Suppose -51*r + 28 = -52*r + 4*q, q = 5*r + 45. Sort -4, -3, r, 3 in increasing order.
r, -4, -3, 3
Let v = 22.7 + -23.2. Put 12, -2, 0, v in decreasing order.
12, 0, v, -2
Let p = 615/4256 + -1/608. Sort p, 5, -1/4, -3.
-3, -1/4, p, 5
Let g = -220 + 127. Let l = 92.8 + g. Sort 0.2, -1/6, 1/6, l in decreasing order.
0.2, 1/6, -1/6, l
Let o(d) be the first derivative of d**3/3 + 11*d**2/2 + 7*d - 1. Let t be o(-10). Let y(x) = -x + 17. Let b be y(17). Sort b, t, -5 in decreasing order.
b, t, -5
Suppose -8*m + 10 = 4*i - 3*m, i + 4 = 2*m. Suppose i = 3*n - 6 - 0. Suppose -n*h - 2*d = h + 4, 0 = 5*d - 5. Sort 1, h, 4 in decreasing order.
4, 1, h
Let c = -247 - -243. Put -0.06, 0.5, 3, c in ascending order.
c, -0.06, 0.5, 3
Suppose 7*c - 10*c + 6 = 0. Suppose -5*v + 8 + c = 0. Sort v, 0.2, -3, -2 in descending order.
v, 0.2, -2, -3
Suppose 0*h = 6*h + 30. Let t be ((-14)/(-21))/(1/(-60)). Let z be t/6 - (-10)/15. Put 3, z, h in decreasing order.
3, h, z
Suppose -3*d + 3*b + 15 = 0, -d + 2*b = -0*d - 6. Let u be (2/d)/(8/(-16)). Let a = 3.1 + -3. Sort 0.5, a, u in ascending order.
u, a, 0.5
Let d = -99 - -90. Let f be (6/10)/((d/(-15))/(-3)). Put -2, -12, f in increasing order.
-12, f, -2
Let j = 926 + -923. Put j, 0.1, -37 in increasing order.
-37, 0.1, j
Let w be -3 - ((-28)/(-7) - -13). Sort 4, w, 1 in ascending order.
w, 1, 4
Let r be (-6)/(-39) + (-150)/(-39). Let s(d) = 3*d**3 - 2*d + 1. Let q be s(1). Suppose r*w - 2 = q. Put w, 4, -4 in decreasing order.
4, w, -4
Let w = 380 + -414. Put -1/3, -2, w in decreasing order.
-1/3, -2, w
Suppose 0 = 29*i - 111 + 24. Put -8, 12, i in increasing order.
-8, i, 12
Let q = 0.09 - 1.09. Let l = -12.03 + 12. Let i = l - 0.47. Sort -5, q, i in descending order.
i, q, -5
Suppose i + 7*q - 3*q = -5, 4*q = 0. Put 42, -4, i in decreasing order.
42, -4, i
Let j = 8.4 + -9. Let r = j - -0.2. Sort -0.3, r, -0.2 in decreasing order.
-0.2, -0.3, r
Let u be ((-28)/(-4)*-1)/(-1). Suppose -16 = -x - u*x. Let s = 2 + -1.8. Put s, 1, x in decreasing order.
x, 1, s
Let p(v) = -v**2 + 19*v + 20. Let w be p(20). Let o = 3 + -6. Put w, o, -4 in descending order.
w, o, -4
Suppose 51*w - 5*b - 10 = 56*w, -17 = -5*w + 4*b. Let f be (-30)/(-4)*(-4)/(-6). Suppose -4*h - 10 = 5*k + h, f*k = h + 2. Sort w, 4, k.
k, w, 4
Let s = 15.06 + -15. Let c(u) = 6*u - 19. Let a be c(3). Sort a, 0, s in decreasing order.
s, 0, a
Let b = -21 - -24. Suppose 0 = u - f + b, 0*f - 4*f - 13 = u. Suppose 0 = -g + 4*p + 18, 4*g - 5*p = -2*p + 20. Sort u, -4, g.
u, -4, g
Let u = -21 + 22.1. Let d = u - 1.3. Let m = -0.2 - d. Put 0.5, 4, m in descending order.
4, 0.5, m
Suppose -f = -m + 11 - 2, -3*f - 12 = 0. Let s be (0*(-2)/(-6))/(-1). Let p be (0 + s)/(0 - -1). Put 4, m, p in descending order.
m, 4, p
Let f = -7.33 - -3.33. Sort 297, 4, f in decreasing order.
297, 4, f
Let v be -2*4/16*0. Suppose v = j - 0 - 2. Suppose -j = -0*d + d. Sort 0, -1, d.
d, -1, 0
Let j = -0.02 - -3.02. Let g = j - 2.9. Let q = -2/93199 + 93273/3448363. Sort g, -0.3, q in ascending order.
-0.3, q, g
Let c = 1908 + -1910. Sort -22, c, 2, 3 in descending order.
3, 2, c, -22
Suppose -128*n = -125*n + 36. Sort -2, 7, -1, n.
n, -2, -1, 7
Let g = -1.3 - 0.1. Let d = -844.4 - -846. Let p = g + d. Sort -0.1, -1/3, p in ascending order.
-1/3, -0.1, p
Let x be 1/(((-30)/(-12))/(-5)). Put x, -26, 2, 3 in descending order.
3, 2, x, -26
Suppose -2*u = -8*