 -4, f, a in decreasing order.
a, f, -4
Let k = 258.8 - 259. Let z(v) = -2*v - 6. Let r be z(-5). Let n = 4 - r. Put n, -0.5, k in descending order.
n, k, -0.5
Let l be 5/4 - ((-27)/4 - -7). Put -4, -1, -14, l in descending order.
l, -1, -4, -14
Suppose 0*z = -3*z - 6. Let u be -2*((-22)/(-55))/((-4)/15). Put -6, u, z in decreasing order.
u, z, -6
Let f(v) = v**3 + 3*v**2 + 10*v + 31. Let y be f(-3). Put y, 1/12, 4 in descending order.
4, y, 1/12
Let k = -24260.957 + 24281. Let x = k - 0.043. Let m = 20.3 - x. Sort -0.4, m, 7 in increasing order.
-0.4, m, 7
Let s = -633 - -637. Let a = 23 + -23.09. Sort s, 0.1, a, 1/4.
a, 0.1, 1/4, s
Let y(d) = -d**3 + d**2 - 1. Let a be y(0). Suppose 0 = -10*i - 17 + 47. Put a, i, 4 in increasing order.
a, i, 4
Let n = -0.7 - 4.3. Suppose 2*w + v + 6 = 0, -5*w + 2*w = -3*v + 27. Let z be (-176)/(-20) + (-1)/w. Sort n, z, 4 in descending order.
z, 4, n
Let r = 4 + -8. Let n be 34/30 - (-4)/(-4). Suppose 4*k = 3*f + 15, 4*k - 3*f = 2*k + 15. Put r, n, k in increasing order.
r, k, n
Suppose -4*p + 16 = 3*f - 3*p, 5*p + 15 = 4*f. Suppose f*n + 9 = 8*n. Sort -2, -4, 0, n in ascending order.
-4, -2, 0, n
Suppose a - s = 6*a + 496, 5*s = 5*a + 490. Let m = a - -197/2. Let p = 0.3 - 0.4. Put p, 0, m in decreasing order.
0, p, m
Let d = 465217313 + -1899482212757/4083. Let y = d + -2/1361. Let b = 20 - y. Put 0, 5, b in decreasing order.
5, b, 0
Let x = -17 + 12. Let f be 39/((-624)/(-320)) + -16. Put 3, f, 0, x in ascending order.
x, 0, 3, f
Suppose 6*c - 2 = 4. Let y(v) = -2*v**3 + 2*v**2 + v. Suppose -2*k - 4*f = -7 - 7, k + 3*f = 11. Let u be y(k). Put -5, c, u in descending order.
u, c, -5
Let s = 0.527 + -0.227. Let r be 1166/24 + (-4)/(-6). Let c = r + -49. Sort s, -3, c in descending order.
s, c, -3
Let z = 10 + -8. Suppose -z*m = m - 54. Sort 1, m, -5, 2 in increasing order.
-5, 1, 2, m
Let d = 577 - 576. Sort d, -3, 26 in ascending order.
-3, d, 26
Let w be (((-16)/15)/8 + 0)*6. Sort -4, w, 1, -2/9 in decreasing order.
1, -2/9, w, -4
Let g = -324.4 + 324.2. Let q = -1.3 + -3.7. Put g, q, -0.4, 0.4 in decreasing order.
0.4, g, -0.4, q
Suppose -7*h - 6 = -4*h. Let p(b) = -b**2 - 7*b - 7. Let i be p(-6). Sort i, 3, h in descending order.
3, i, h
Let z be (66/4)/(-3) - 12/(-24). Let n be (5 - 5) + 2 + 0. Suppose -2*c + n = -4, 2*c = -5*t + 1. Put z, 0, t in descending order.
0, t, z
Let i be 4/18 - (-75)/27. Let c(j) = -2*j**2 + 23*j + 15. Let f be c(12). Suppose 4*m - 23 = -l, 5*m - 2*l - 16 - f = 0. Sort m, 2, i.
2, i, m
Let p be (10/(-6) + 1)/((-14)/315). Suppose -p*f = -11*f. Suppose 0 = -2*r + 4 - 0. Sort f, 1, r in ascending order.
f, 1, r
Suppose -20 = -5*w + b, -2*w = -6*w + 5*b + 16. Suppose r = -r + w. Let m = -13 + 7. Sort r, 3, m in decreasing order.
3, r, m
Let s = 349 - 327. Sort s, 4, 0, 0.4 in descending order.
s, 4, 0.4, 0
Let i be 5 + 0 - (15 + -12). Suppose 0 = 2*c - 3 - 5. Suppose 2*t - 3*t + 9 = -3*k, k - c = -2*t. Put k, i, 4 in descending order.
4, i, k
Suppose 129*r = 117*r - 156. Put r, 1, -1, 2 in increasing order.
r, -1, 1, 2
Let u = 112 + -110. Sort -4, u, -2, -0.02.
-4, -2, -0.02, u
Let g = 22.956 - 23. Let n = 0.544 + g. Put n, -0.01, 5, -4 in decreasing order.
5, n, -0.01, -4
Let p be (-1)/2*0/(-3 - -11). Let i(m) = -m**2 + 2*m. Suppose -k + 9 = 2*k. Let c be i(k). Put c, -2, p in descending order.
p, -2, c
Let d be (4/(-10))/((-40)/(-50)). Sort d, 3/4, -0.45, -1 in descending order.
3/4, -0.45, d, -1
Let g be ((-105)/(-147))/(1/7). Put -5, 6, g, 0 in decreasing order.
6, g, 0, -5
Let g be (1 - 0)/((-318)/(-36) - 9). Put -2, 0, 8, g in descending order.
8, 0, -2, g
Suppose -2*u = -10*u + 2*u. Let x be 5/((5 + -2)/(-3)). Put 2, u, x in ascending order.
x, u, 2
Let u be (84/56)/((-6)/8). Put 5, u, 8, 0 in descending order.
8, 5, 0, u
Let c(p) = p + 12. Let d be c(-8). Let t = -531 + 527. Put d, t, -5 in decreasing order.
d, t, -5
Let o(i) be the third derivative of -i**4/12 - 13*i**3/6 + 4*i**2. Let x be o(-6). Sort -2, x, 2 in decreasing order.
2, x, -2
Suppose 71*v - 73*v = -4. Suppose 11*l = 9*l + v. Sort -0.03, -1, l in descending order.
l, -0.03, -1
Let j = -33.4 + 33. Let i = 11 - 11.07. Let a = i - 0.03. Sort j, a, 0.1 in descending order.
0.1, a, j
Let j(w) = 4*w + 5. Let y be j(-7). Let d = -21 - y. Suppose d*z - 33 = 5*c, 2*z - 18 = 2*c - 0*z. Sort c, 3, 1 in increasing order.
c, 1, 3
Suppose -31*o + 35*o = 48. Suppose z = -5*n + 6*n + 6, z = 3*n + o. Put -2, 1, n, 2 in decreasing order.
2, 1, -2, n
Let l = 310 + -312. Suppose b = -0*b + 1. Let d = 18 - 18. Put d, l, b in increasing order.
l, d, b
Let a(m) = -m + 40. Let f be a(0). Suppose -2*p = 2*p - f. Suppose -5*j - p = -0. Put -3, 13, j in descending order.
13, j, -3
Let f = 0.292 - -31.108. Let d = -31 + f. Sort d, -2/5, -3 in descending order.
d, -2/5, -3
Let v = -0.7 + 1. Suppose k + 2*k - 16 = -2*w, 8 = 4*w. Sort v, -6, k in decreasing order.
k, v, -6
Suppose u + 0*m = -4*m + 9, -3*m = 2*u - 18. Let i be (-6 - 4)*(-1)/2. Let h = u - i. Put -4, -3, h in descending order.
h, -3, -4
Let w = 2 - 4. Suppose -5*g - 3*m - 34 = 0, 39*m - 44*m - 5 = -2*g. Put w, g, 3 in decreasing order.
3, w, g
Let u = 0.2 + -0.1. Let j = 1694.2 + -1694. Let i = u - j. Put i, 5/3, 2/15 in decreasing order.
5/3, 2/15, i
Let o be -5*(0 - 26/10). Let s = -10 + o. Suppose 0*u = 3*u + s. Sort -4, u, 2 in descending order.
2, u, -4
Suppose 7*k = 4*k - 5*h - 5, 2*k + 4*h = -4. Sort -9, -5, -4, k in ascending order.
-9, -5, -4, k
Let v be -1 + -2 - (-15 + 10). Sort -11, 4, v in ascending order.
-11, v, 4
Let z be (15/9)/(4 - 510/126). Sort -2, 4, -1, z.
z, -2, -1, 4
Let o = 41 - 203/5. Suppose 0 = 2*l - 1 - 9. Suppose 0 = -k + l*k - 12. Put 5, o, k in decreasing order.
5, k, o
Let d(r) = r**3 + 26*r**2 + 30*r + 125. Let m be d(-25). Sort m, 4, 88/7 in ascending order.
m, 4, 88/7
Suppose -5 = 4*d - 21. Let y(s) = -24*s + 92. Let b be y(4). Sort b, d, -3, 3 in increasing order.
b, -3, 3, d
Let b be (256/(-448))/(36/(-14)). Sort 2/17, 7, b, 5 in descending order.
7, 5, b, 2/17
Let k = -17.53 - -22.53. Sort 0.2, k, 166 in ascending order.
0.2, k, 166
Let u(n) = 3*n + 3. Let c be u(0). Suppose -2*m - 16 = a - 6*a, 0 = -c*m + 6. Let w be 4/(-6) - 13/3. Sort w, -4, a in ascending order.
w, -4, a
Suppose 0 = 269*a - 260*a. Sort 0.02, 1/7, -0.5, a in increasing order.
-0.5, a, 0.02, 1/7
Suppose u - 9 = 3*b, -4*u = -2*u - 2*b - 22. Put u, -5, -2, 4 in descending order.
u, 4, -2, -5
Suppose 6 + 14 = 5*u. Suppose -8*y + u*y = 0. Suppose -2*c + l + 6 = -3*l, 1 = l. Put c, y, -5 in descending order.
c, y, -5
Let q = 1150 - 1155. Suppose 5*p - 15 = 2*p. Sort -3, q, p in increasing order.
q, -3, p
Suppose -2*u - g + 124 = 0, -4*g - 16 + 0 = 0. Sort u, 4, 3 in descending order.
u, 4, 3
Suppose -j = -7 + 3. Sort j, -5, -1.
-5, -1, j
Suppose -28*g - 825 = 5*g. Put 3, g, -4, -1 in decreasing order.
3, -1, -4, g
Let n = 249 + -252. Sort -1/24, n, -1 in decreasing order.
-1/24, -1, n
Suppose -2*q + 2*d = -2*d - 14, -11 = -5*q + 4*d. Let a(b) = -b**2 + b. Let g be a(0). Let r be ((-16)/10)/2*-5. Put g, q, r in decreasing order.
r, g, q
Let j be 3/(21/49) - 3. Put j, 100, -3 in descending order.
100, j, -3
Let v = 1 + 1. Let t(p) = p**3 - 6*p**2 - 9*p + 11. Suppose 0 = 3*h - 2*k + k - 18, -h + k + 4 = 0. Let w be t(h). Sort v, 5, w in ascending order.
w, v, 5
Let o = -1028 + 1028. Sort o, -12, 4, -3.
-12, -3, o, 4
Suppose -2*f + 6*f - 12 = 0. Let c be -3 + 0 - (-3 - f). Sort -5, -4, c in decreasing order.
c, -4, -5
Let g = -3 - -5. Let v = g + 3. Let i be (-10)/25 - (-7)/v. Put 5, -5, i in descending order.
5, i, -5
Suppose 4*n + 3*v + 4 = 0, 0 = 4*n - 2*n - 3*v + 2. Suppose -2*l + 46 = 3*f, 5*l - 97 = -2*f - f. Suppose -l*s = -40 - 11. Put -5, s, n in decreasing order.
s, n, -5
Let y = 14 + -4. Let j = y + -15. Let s be (j/(5/(-4)))/(-2). Sort s, 4, 3.
s, 3, 4
Suppose 2*t - 3*l = l, l - 11 = -5*t. Suppose x + o - 3 - 5 = 0, -5*x + 4*o = -40. Let m(f) = -f + 4. Let z be m(x). Sort z, 0, t in ascending order.
z, 0, t
Let y(h) = -h - 4. Suppose 0*i = -5*i + 5*o + 20, 16 = -i - 4*o. Suppose -2*n - 16 + 0 = 4*u, 3*n + u + 14 = i. Let d be y(n). Sort d, 1, -0.3.
-0.3, d, 1
Let i(b) = 2*b**2 - 18*b - 49. Let j be i(11). Put 0, -4, 4, j in decreasing order.
4, 0, -4, j
Let