, 0 = -4*m + 5*o + 6. Sort m, 0, 5 in descending order.
5, m, 0
Let i = -1 - -12. Let t = -16 + 16. Put 1, i, -3, t in decreasing order.
i, 1, t, -3
Suppose 2 = -5*x - 3. Let o(u) = -19*u**3 + 2*u**2 + u. Let r be o(x). Suppose 2*y = 5*j - r, -3*j - 3 = -15. Sort -6, 1, y in ascending order.
-6, y, 1
Let c(u) = 2*u**3 - 8*u**2 - 10*u + 3. Let w be c(5). Let q be 6*4/8 + -2. Sort -2, w, 5, q in decreasing order.
5, w, q, -2
Let a = 1071 + -1066. Let j be (-1)/(-4) - (-28)/16. Put j, a, 0 in increasing order.
0, j, a
Let j be (-1816)/(-21) + (-1)/7. Let l = j - 87. Put -1/24, l, 3/5 in decreasing order.
3/5, -1/24, l
Let j = -156 - -152. Put j, 0.03, -2, 7 in ascending order.
j, -2, 0.03, 7
Let q(b) = -6*b + 9. Let j(k) = 7*k - 8. Let r(x) = -x**2 - 7*x + 4. Let a be r(-7). Let m(p) = a*q(p) + 3*j(p). Let s be m(5). Sort 4, s, 1.
s, 1, 4
Suppose 0 = -5*s + 5, 2*o - s = -8 + 3. Let h(b) = -b**2 - 7*b - 3. Let c be h(-6). Put c, 1, 0, o in increasing order.
o, 0, 1, c
Let p = -57 + 89. Let v = 32.02 - p. Put 4, v, 2 in ascending order.
v, 2, 4
Let n(t) = -5*t**2 + 13*t + 4. Let p(a) = -3*a**2 + 7*a + 2. Let q(g) = -4*n(g) + 7*p(g). Let m be q(-2). Let o = 34 - 41. Put m, -1, o in decreasing order.
m, -1, o
Let a be 242/62 - (10 + -6). Let w = 267/124 - a. Put w, -2/5, -0.1 in ascending order.
-2/5, -0.1, w
Let i(g) = -g**3 + 2*g**2 + 2*g - 2. Let a be i(3). Suppose 5*w - 89*p = -91*p + 77, -p + 16 = w. Sort -4, 1, a, w in descending order.
w, 1, -4, a
Let h = -2230/9 + 248. Let u(k) = -5*k + 4*k - 8 + 5*k - 2*k. Let g be u(3). Put 2/5, g, h in increasing order.
g, h, 2/5
Suppose -321*i + 2628 = -357*i. Sort 2, i, -15.
i, -15, 2
Let x = -219 + 205. Sort x, -3, 2 in decreasing order.
2, -3, x
Let i(t) = -t**2 + 6*t. Let g be i(6). Suppose 5*x + 1 = -4*z, g = 5*x - 2*x - 4*z - 25. Put x, 6, -3 in ascending order.
-3, x, 6
Suppose -9*f - 12 = 6. Let b be -4 + 0 - 4*-2. Put f, 3, 2, b in descending order.
b, 3, 2, f
Let i(z) be the first derivative of z**3/3 - 6*z**2 - 9. Let q be i(12). Sort q, 4, -3 in decreasing order.
4, q, -3
Let b be ((-9)/126)/((-1)/4). Let d(y) = -y**2 - 6*y - 2. Let i be d(-6). Put b, -0.4, i in decreasing order.
b, -0.4, i
Let c = -2308 - -2309. Put c, 126, 2 in descending order.
126, 2, c
Let j = 4 - 8. Let a = 15.2 - 14. Let q = 6.2 - a. Sort q, -0.2, j in increasing order.
j, -0.2, q
Let d be (-5)/(-10) - 3/(3/2). Put -5, -1, d, 4 in descending order.
4, -1, d, -5
Suppose -5*c + 3*h - 7*h - 29 = 0, -3*h - 18 = 3*c. Put c, 5, 1, 17 in ascending order.
c, 1, 5, 17
Let l be -3 + 6 + 3 + -1. Let m(q) = q**2 - 6*q + 10. Let d be m(l). Suppose -5*u = 3*o - d, 3*o - 5*o - 5*u = 0. Put o, -3, -1 in ascending order.
-3, -1, o
Let u be (1/10)/(-8 - (-496)/64). Let y = 3 - 5. Sort u, -3, y, 2/13.
-3, y, u, 2/13
Let x = 29289/610 + -495/61. Let s = x + -40. Sort 5/4, s, -2 in increasing order.
-2, s, 5/4
Let k = 752 - 752. Put -35, 2, k in decreasing order.
2, k, -35
Let z = -9/10 - -2/5. Let i = 46.3 + -46. Let m = 11.4 + -11. Sort m, i, z.
z, i, m
Let u = -375/13 - -29. Sort -2, -3/5, -1/11, u.
-2, -3/5, -1/11, u
Let o = -844 + 855. Sort -1/6, -1, -0.4, o in decreasing order.
o, -1/6, -0.4, -1
Let o(j) = -j + 10. Let c(s) = -10*s - 2. Let p be c(-2). Suppose 3*l + p = 5*l. Let g be o(l). Sort g, 2, 4 in descending order.
4, 2, g
Let k = 123.6 + -124. Put k, -2, 2/11, 2 in descending order.
2, 2/11, k, -2
Let q(h) = h**3 - h**2 - h + 2. Let z be q(0). Let l = 15 - 11. Suppose 22*y - 9*y - 12*y = 0. Put y, z, l in ascending order.
y, z, l
Let b be 3 - (4/(-6) - -3). Suppose -10*j - 3 = 7. Sort j, 1/2, -0.1, b.
j, -0.1, 1/2, b
Let f(c) = c + 3. Let h be -7 + 7 - 2*(0 - -2). Let n be f(h). Suppose 5*j + 5*g + 40 = 0, 0 = 3*j - 6*g + g + 56. Sort j, n, -5 in decreasing order.
n, -5, j
Let w be (313 + 1)/(63/18). Let l = w - 90. Put -1, -0.5, l, 0 in descending order.
0, l, -0.5, -1
Let r(d) = -d**3 - 6*d**2 - 7*d - 6. Let t(i) = i - 17. Let o be t(12). Let f be r(o). Put -2, -3, f in decreasing order.
f, -2, -3
Let k be (-12)/42 + 23/7. Let t = -26 + 74. Let j = 53 - t. Sort j, k, -2.
-2, k, j
Let n be (-7)/(-3) + 196/(-84). Sort n, 17/5, -1, -0.7.
-1, -0.7, n, 17/5
Let a = 98/55 - 8/5. Sort 1/7, -0.1, a, 3 in descending order.
3, a, 1/7, -0.1
Suppose -19 = -4*d + 61. Suppose -5*q + d = -q. Let g be (-26)/(-7) + 4/14. Sort g, 0, q in increasing order.
0, g, q
Let v = -11 - -5. Suppose 114*d - 126*d = 12. Put v, d, 5 in ascending order.
v, d, 5
Suppose 3*s - 12 - 72 = -5*u, 0 = 3*u - s - 56. Suppose -u + 13 = d. Let n be (-3)/(-3) + 4/2. Sort d, 0, n in descending order.
n, 0, d
Let x(o) = -3*o + 40. Let m be x(15). Put -2, m, 125 in increasing order.
m, -2, 125
Suppose 15*v + 0 = -4 + 64. Let l(w) = w**3 - 2*w**2 - 2*w - 5. Let x be l(4). Sort x, 3, -2, v in increasing order.
-2, 3, v, x
Let y be (2/19 + 672/(-608))*5. Suppose -4 + 16 = 3*w. Sort 5, w, y, 3 in decreasing order.
5, w, 3, y
Let g(h) = 2*h**3 + 9*h**2 - 2*h - 27. Let l be g(-4). Sort 5, 137, -6, l.
-6, l, 5, 137
Let u(t) = 2*t**2 - 41*t - 2. Let i be u(21). Put 1, i, 4, 2 in descending order.
i, 4, 2, 1
Suppose 52*n + 50 = 62*n. Sort n, -68, 2 in descending order.
n, 2, -68
Let s(c) = -c - 2. Let m be s(-6). Suppose 4*r + 2 = 2*r, -2 = z + m*r. Let p be (z/(-52))/(5/(-20)). Put -1, p, 0.1 in ascending order.
-1, 0.1, p
Let o = 168 + -164. Sort -1, o, 3, 7 in ascending order.
-1, 3, o, 7
Let o(r) be the first derivative of -12*r + 3*r**3 + 3 + 11/2*r**2 - 1/4*r**4. Let t be o(10). Sort 3, t, -5 in ascending order.
-5, t, 3
Let n(z) = z**3 + 53*z**2 - 79*z - 1354. Let f be n(-54). Let q(w) = w**3 - w**2 - 1. Let l be q(0). Put 5, l, 2, f in descending order.
5, 2, l, f
Let a(r) = r**3 - 7*r**2 + 9*r - 3. Let u be a(6). Let p = u + -19. Let t be ((-1375)/30)/(-11) + (-1)/6. Sort -10, t, p in descending order.
t, p, -10
Let l(f) = -f**3 - 4*f**2 - 4*f - 2. Let o be l(-3). Suppose -4*n + 5 + 27 = -4*w, 3*n + 41 = -2*w. Let r be 2/((4 - 6) + 6 + w). Sort o, -2, r.
-2, r, o
Let m(o) = -o**3 - o**2 - 4. Let p be m(-2). Let u be -1 + (-2)/(-2) + p. Sort -4, u, -3.
-4, -3, u
Let h = 311 + -311.5. Put -1, h, -5 in descending order.
h, -1, -5
Let x = 7.3 + -77.3. Let t = x - -74. Let h = -341/5 + 68. Put h, t, 0.5 in ascending order.
h, 0.5, t
Let j(a) = -2*a**3 - 2*a**2 + 2. Let u be j(1). Sort 0, u, -16 in decreasing order.
0, u, -16
Let k = -4 + 3. Let r be 1*(0 - 0)/k. Suppose -23*i + 24*i = 1. Sort r, i, -1.
-1, r, i
Let f(n) be the first derivative of -2*n + 9 - 1/2*n**2. Let g be f(1). Put 5, -1, g in descending order.
5, -1, g
Suppose 45 = -o + 6*o. Let x = -0.2459 + 0.0459. Put -4, x, o in decreasing order.
o, x, -4
Let b = 398 + -312. Put 5, b, -5 in decreasing order.
b, 5, -5
Let r be 59/15 + -4 + 28/42. Let l be ((-3)/(-4))/((-3)/48). Put -0.1, l, r in increasing order.
l, -0.1, r
Let v = -0.17 + 0.17. Let o = 5 + -5.3. Sort 0.5, -0.4, o, v in descending order.
0.5, v, o, -0.4
Suppose -4*m = 126 - 2. Let u = -16 - m. Suppose 6*o + u = 3*o. Put -2, o, -1 in decreasing order.
-1, -2, o
Let s = 5 + -8. Let y = 4.12 - 1.12. Sort s, y, 5.
s, y, 5
Let k(j) = -j**2 + 4*j + 113. Let b be k(13). Suppose -3*y = s - 0*y, 14 = -s + 4*y. Sort s, 4, b in increasing order.
s, b, 4
Let p = 0.4 - 0.34. Let j = p + 0.44. Let d = 3.8 + -3.8. Sort j, 0.4, d.
d, 0.4, j
Let k = 594 - 589. Sort -5, k, 2 in increasing order.
-5, 2, k
Let j(z) = 3*z + 2. Let i be j(-3). Let b = -5233.4 - -5233. Sort i, b, 1/3, 0.5 in ascending order.
i, b, 1/3, 0.5
Suppose 0 = -3*c + 12*c - 135. Suppose c*n - 9*n - 108 = 0. Sort n, 4, -3 in descending order.
n, 4, -3
Let k = 622 + -623. Put k, -2, 4 in ascending order.
-2, k, 4
Let m = -3.5 + 34.5. Let v = m - 32. Let f = 61 - 247/4. Put -10, v, f in descending order.
f, v, -10
Let z = -0.0043 - -0.1043. Sort 0.108, z, 3 in increasing order.
z, 0.108, 3
Let n = -25 - -24. Let r be ((-31)/(-6) - 5)/(n/3). Put 3, r, 35 in increasing order.
r, 3, 35
Let c = -0.0083 + 5.0083. Put 1, c, -13, 2/15 in decreasing order.
c, 1, 2/15, -13
Suppose -4*k - 6 = -7*k. Suppose -29*a = -17*a + 60. Sort 1, k, 4, a.
a, 1, k, 4
Suppose -2*x - 90 = -11*x. Suppose 3*c + 2*c + 1 = j, x = -3*j + 2*c. Let l(u) = u**3 - 2*u**2. Let k be l(1). Put 2/7, k, j in decreasing order.
2/7, k, j