 4*c - 20 = 0. Suppose l = -7*w + 4*w. Put w, 5, b in decreasing order.
5, b, w
Let s(a) = a**3 - 6*a**2 - 4*a. Let g be s(7). Suppose -15 = -3*q + g. Let n = q + -10. Sort -2/9, 1/3, n in decreasing order.
n, 1/3, -2/9
Let s = 3 + -6. Let g = -748.7 + 712. Let b = g + 37. Put b, s, 5 in decreasing order.
5, b, s
Suppose 5*l + 2*j = -17, l - 4*j = 5*l + 16. Put -4, l, 130, -5 in increasing order.
-5, -4, l, 130
Let u be 8/(-12) - 26/6. Let d = -0.1512 - -0.3512. Sort -4, u, 0.3, d in ascending order.
u, -4, d, 0.3
Let x(i) = 3*i**2 - 23*i + 12. Let q be x(7). Put q, -1, -46 in increasing order.
-46, q, -1
Let c(i) = -i**3 - 3*i**2 + 2*i + 6. Let j be c(-3). Suppose -2*q + 12 - 2 = j. Sort 3, q, -3 in decreasing order.
q, 3, -3
Let q be (-3 - -1)*(-2)/(-1). Let c(v) = -2*v**2 + 7*v + 8. Let b be c(4). Sort q, 0, b, -1 in ascending order.
q, -1, 0, b
Suppose -2*k + 8 + 10 = 0. Suppose -20 = 5*u - k*u. Sort 0, 1/4, u in descending order.
u, 1/4, 0
Let w(p) = -55*p + 715. Let t be w(13). Put -5, t, -303, 5 in ascending order.
-303, -5, t, 5
Let p = 2.01 + -0.01. Suppose -2*v = 3*m + 21, v - 7 = m - 0. Let c = m + 8. Put p, c, 0 in increasing order.
0, c, p
Let h(i) = 5*i**2 + 6*i + 4. Let w(x) = 9*x**2 + 11*x + 7. Let n(z) = 5*h(z) - 3*w(z). Let s be n(-2). Let g = s - -5. Sort -1, 0, g.
-1, 0, g
Let y be (-5)/(-1) - 216/48. Sort 7, y, -5 in ascending order.
-5, y, 7
Suppose 2 = -3*a - 43. Sort -4, a, 4 in ascending order.
a, -4, 4
Let h(n) = -n**2 + 2*n + 40. Let w be h(-4). Let m = 3 + 2. Put w, m, 2 in decreasing order.
w, m, 2
Let f = -2.5 - -2. Let g be 4 + 1*(-155)/40. Put f, g, -13 in ascending order.
-13, f, g
Suppose 9*v - 5*v - 4*g - 12 = 0, 19 = 3*v + 2*g. Put v, -1, -5, 7 in descending order.
7, v, -1, -5
Suppose 4*q + 8 = 0, 2*q - 3 - 1 = 2*t. Let v be 12/4 + 1 + -4. Sort t, 5, 4, v.
t, v, 4, 5
Let o(r) = 3*r**2 - 1. Let x be o(1). Suppose 20 = -v + 6*v. Suppose 3*m = -5*n + 20, -v*m - n + 24 = 3. Sort m, x, 4 in decreasing order.
m, 4, x
Let t(b) = -b**3 + 8*b**2 - 26*b + 88. Let f be t(6). Let g = -1.98 - 0.02. Put -3, g, f, 0.5 in descending order.
f, 0.5, g, -3
Let m(l) = l**3 + 19*l**2 + 18*l - 15. Let g(n) = 3*n. Let f be g(-6). Let j be m(f). Suppose -5*k + 6 = -3*k. Put 4, j, k in descending order.
4, k, j
Suppose -5*z - 12 = -2*z. Let c = z - -4. Let v be (-5)/(-2) + 2/4. Put v, c, -3 in decreasing order.
v, c, -3
Let c = -0.5 + 8.5. Let i = -0.083 + 5.083. Let n = i - c. Sort n, 3, 0.4.
n, 0.4, 3
Suppose 2*u - 17 = 5*h - 2*h, -u - 2*h - 9 = 0. Suppose -26*w + 3*w + 138 = 0. Let a = u - w. Put -3, a, 4 in ascending order.
a, -3, 4
Let z(c) = -c**3 + c**2 + 3*c - 2. Let d be z(2). Let y(o) = -5*o + 4*o - 6*o**2 + 8*o**2. Let n be y(-1). Put 2, n, d in decreasing order.
n, 2, d
Let y be 7/4 - 6/(-24). Suppose 3*u - y + 8 = 0. Suppose 0 = -4*d + 4*r, 0 = 2*d + 2*r - 3*r. Sort d, -5, u in descending order.
d, u, -5
Let k = -830 - -818. Let r(f) = 4*f**2 - 10*f. Let d(v) = -v**2 + 3*v. Let h(y) = -7*d(y) - 2*r(y). Let w be h(-2). Sort k, w, -4 in ascending order.
k, -4, w
Let i = -3 - -2. Let a(z) = z**3 - z**2 - 15*z + 27. Let m be a(2). Put m, 4, i in ascending order.
i, m, 4
Let z(b) = -1. Let a(p) = p. Let r(k) = a(k) - 5*z(k). Let x be r(-6). Let w(n) = -4*n**3 - n**2 + 3*n - 1. Let o be w(1). Put x, o, 5 in descending order.
5, x, o
Let o(n) = -n**3 - 7*n**2 + 7*n - 11. Let l be o(-8). Let t = -363 + 365. Sort t, l, 1, -4 in decreasing order.
t, 1, l, -4
Let m(p) = p**2 + 9*p - 7. Let h be m(-10). Suppose 5*q = h + 12. Suppose 2*o + 0*s = -q*s - 9, 0 = -o + 3*s + 9. Put o, 1, -4 in decreasing order.
1, o, -4
Let f = 1082.87 + -1075. Let z = 0.13 + f. Let n = -8.5 + z. Put n, -4, 0.2 in decreasing order.
0.2, n, -4
Let z = 674002393 + -169848916411/252. Let h = z - -11188/9. Let t = h - -3/28. Sort 0.5, 2/3, t in descending order.
2/3, 0.5, t
Suppose 2*l + 5*d - 11 = 18, 0 = -l - 3*d + 17. Let h be (3 + -2)/(9/(-27)). Sort l, -4, -5, h in descending order.
l, h, -4, -5
Let f be 6 + -6 + 3/((-3)/5). Suppose 4*j = j - 5*u - 7, 4*j + 2*u = 0. Put j, -1, f in decreasing order.
j, -1, f
Let b = 0.39 + -0.49. Suppose -5*h = -4*h - 5*y - 19, h - 3*y - 15 = 0. Let r = -12 + h. Put 1, r, b in descending order.
1, b, r
Let u = 0.78 + 9.22. Let q = 0.1 - 0.3. Sort q, 0.1, u in descending order.
u, 0.1, q
Suppose -2*u + 3*o = 6*o - 1, -u + 2 = o. Put 2, 36, u, 3 in ascending order.
2, 3, u, 36
Let r = 4 + -6. Let c be -2 + 3 - r*1. Let l be ((-6)/(-4))/(15/5). Sort l, -5, c in descending order.
c, l, -5
Let s be 2 - (-25)/(-5) - -1. Sort s, 1, -31.
-31, s, 1
Let i = -86 + 40. Let x = i + 39. Put x, 4, 0 in decreasing order.
4, 0, x
Suppose -4*f - 20 = 4*g, -g + 6*g + f + 9 = 0. Suppose 102 = -34*p - 34. Sort 2, 11, p, g.
p, g, 2, 11
Suppose 8 = 2*l - 5*v, -v - 1 = -5*l - 4. Let g = -172 + 517/3. Sort l, g, 1/6 in descending order.
g, 1/6, l
Suppose 2*t - 11 + 5 = 0. Suppose -2*z + 3*s = -16, -16 = t*s + s. Suppose z*m = -8, w + 2*m + 8 = -0*w. Sort w, -1, 1 in ascending order.
-1, w, 1
Let x = -172 + 99. Let i = 108 + x. Suppose -w = 6*w + i. Put w, 1, -1 in increasing order.
w, -1, 1
Let r = -1813 + 1810. Sort -80, r, -1, -5 in descending order.
-1, r, -5, -80
Let j be (-5 + 4 + -2)/(-1). Let i be (-5)/(-3) + (-4)/6. Sort i, j, 0, -4.
-4, 0, i, j
Suppose -20*c + 360 = -11*c. Suppose 55*h - c = 45*h. Sort 2, h, 1, -6 in descending order.
h, 2, 1, -6
Suppose 26*s - 27 = 17*s. Put 0, 2, s, 6 in decreasing order.
6, s, 2, 0
Let b = -5311/7 + 759. Let w = -6 + 9. Let h = w - 2.9. Sort -2, b, h.
-2, h, b
Let p = -14.13 - -14. Let v = 0.07 - p. Let x be (2/3)/((-76)/(-6)). Put v, -5, x in ascending order.
-5, x, v
Suppose -13*f - 10*f = -1265. Put 3, f, -5 in descending order.
f, 3, -5
Suppose 5*c = 4*c + 4. Suppose -3*t - 2 = 4, c*y = -5*t - 18. Suppose -2*l = -l. Put l, -5, y in descending order.
l, y, -5
Let w = -1065 + 1069. Sort -4, w, 179 in descending order.
179, w, -4
Let r(o) = -o + 6. Let d be r(6). Let c(j) = -j - 6. Let n be c(d). Let x = 0 - 1. Put n, -1/4, x in descending order.
-1/4, x, n
Suppose -5*c + 6*c - 4 = 0. Let j be 3/c - (-30)/(-8). Suppose i + 4 = 3. Sort j, 1, i in ascending order.
j, i, 1
Let h = 0.98 + -1. Let p be ((-2)/(-2) - -2)/((-15)/(-25)). Suppose -3*s - 12 = -p*d, -11*s + 9*s - 1 = -d. Sort h, d, 4 in descending order.
4, d, h
Let d = -49/5 + 52/5. Let c = 1 - -0.4. Let m = 3.4 - c. Put 5, d, m in descending order.
5, m, d
Let a = 99 - 94. Let x = 2.7 + -3. Put x, -5, a in descending order.
a, x, -5
Suppose 3*y = -3*r + 4 + 2, -3*y = -r - 18. Let s be (1/r)/(6/(-72)). Suppose -2 = 2*h + 2. Put s, 0, h in descending order.
s, 0, h
Let u = -6 + 9. Suppose -4*k + 0*x = x - 1, -4*k + 11 = u*x. Let o be 4 + -1 + k + 1. Put -3, 0, o in decreasing order.
o, 0, -3
Let v(r) = 2*r**2 - 36*r + 2. Let p be v(18). Let m be (87/(-58))/(p/(3 + 1)). Put -23, 3, m, 2 in decreasing order.
3, 2, m, -23
Suppose -1079*y = -1082*y + 474. Sort y, 3, 5, 4 in ascending order.
3, 4, 5, y
Let w(i) = i**3 + 4*i**2 - 5*i - 4. Let t be w(-5). Let u be (-4*2/t)/(-10 - -1). Sort -4, -1/3, 4, u.
-4, -1/3, u, 4
Let i be ((-18)/45)/(2/(-20)). Suppose 0 = 17*m - 19*m. Sort 5, m, i in increasing order.
m, i, 5
Let r = 942 + -937. Put 107, 3, r in increasing order.
3, r, 107
Suppose k - t = 0, -5*k + 3*t + 5 = 3. Sort k, 11, -23 in descending order.
11, k, -23
Let k(t) = 4*t**2 + 127*t + 88. Let r be k(-31). Put 5, 3, r in ascending order.
r, 3, 5
Let m = -60 - -95. Let j = -34.6 + m. Sort j, -0.1, -0.3 in descending order.
j, -0.1, -0.3
Let d = -4.06 - -0.06. Suppose -5*p + 5*s = -5, -4*s - 10 + 36 = p. Let c be (p + -4)*(-1)/(-4). Sort c, d, -1.
d, -1, c
Let b = -308/5 + 61. Let k be ((-8)/24 + (-20)/12)/(-1) + -3. Sort b, -0.2, k in descending order.
-0.2, b, k
Let x = 0 - -3. Suppose -1 = -n + x. Let w(l) = -3*l - 55. Let p be w(-17). Sort n, p, -5.
-5, p, n
Let s = 0 - 0. Let t = 761 + -765. Put s, -3, t in increasing order.
t, -3, s
Suppose r + 4 = -y, -39*r + 37*r + 16 = -2*y. Sort 3, 8, y in decreasing order.
8, 3, y
Let i = 3 - 11. Suppose -72*v = -142 - 146. Let h = i + v. Sort 1, 2, h.
h, 1, 2
Let v = -245.9 - -245.9075. Sort 2/9, v, 4 in descending order.
4, 2/9, v
Let w(n) = n**2 + 5*n - 1. Suppose -2*y + 3*y + 3 = 0. Let j be