 -5 = q*c - 28*c. Suppose 0 = -l - 0*l. Sort l, -3, c in descending order.
c, l, -3
Let r = 128 + -134. Let g = 0.95 - -0.05. Let d = 0 - g. Put d, r, -1/5 in decreasing order.
-1/5, d, r
Let r be ((-3)/(-6))/(4/(-40)). Suppose 0 = 4*p + 5*y + 18, -2*p + 3*p - 3*y = 4. Put 8, r, 1, p in increasing order.
r, p, 1, 8
Suppose -j - j + 5*m - 15 = 0, 3*j - 2*m + 28 = 0. Let l be 1/3*10/j*0. Sort l, 1, -5 in ascending order.
-5, l, 1
Let v be -7 - (10/4)/((-215)/516). Put 0, 37, v, 3 in descending order.
37, 3, 0, v
Let z = 20/7 - 194/63. Let s = -61.75 + -1.45. Let u = -63 - s. Sort z, -2, u in ascending order.
-2, z, u
Let k be -5 - (9940/(-16))/(-7). Let f = k - -94. Sort -2, 3, 0.01, f in increasing order.
-2, 0.01, f, 3
Let g = -41 - -40. Let m be (12/(-8))/((-9)/24). Suppose j = -m*j - 20. Sort j, 0, g in descending order.
0, g, j
Let s be ((-7)/49)/(0 - 1). Sort -4, s, -25, 0.4 in decreasing order.
0.4, s, -4, -25
Let x be -5 + (294/35 - 3). Sort 10, x, 3 in descending order.
10, 3, x
Suppose 0 = -2*a + 19 - 17. Suppose 3*r - 4*l = l - 10, -20 = -r - 3*l. Let f be r/3*(-2)/(-35). Put a, -3/2, f in decreasing order.
a, f, -3/2
Let v = -6 - -10. Suppose -5*d - v*o = 0, -4*d - 2*o + 6 = -0*d. Suppose 0 = -3*l + q - 4, 5 - 10 = d*l - q. Put -0.5, l, 0.3 in decreasing order.
0.3, -0.5, l
Suppose 10 = 2*i + 2. Suppose -3*t = -i*t + 2. Suppose 4 = 79*l - 78*l. Sort -1, l, t.
-1, t, l
Suppose 1 = -4*u - 3. Suppose 4*v - 4 = 0, -30*h + 5*v = -32*h - 3. Sort u, h, 0, 5.
h, u, 0, 5
Let f = -41320/21 + 1966. Let g = 9/7 + f. Sort g, 1/10, 0.4 in decreasing order.
0.4, 1/10, g
Let o(i) = i. Let t(u) = u**2 + 26*u - 4. Let c(k) = -3*o(k) + t(k). Let s be c(-23). Sort s, -2, 1, -3 in descending order.
1, -2, -3, s
Let z(r) = 2*r**2 - 56*r - 757. Let k be z(-10). Put k, 432, -1 in increasing order.
-1, k, 432
Let z(k) = k**2 + 9*k - 10. Let o be z(-10). Suppose 2*x - 3*x + 12 = o. Let m = 7 - x. Sort -0.4, m, -2 in ascending order.
m, -2, -0.4
Let u = -29 + 40. Let p = -507 - -510. Suppose 0 = p*n - 2*j - 10, -2*n + u = n - j. Sort -3/4, 1/6, n in increasing order.
-3/4, 1/6, n
Let z = -291 + 289. Suppose 2*r + 18 = n - 3*n, -r - 21 = 4*n. Let w(h) = -h**2 - 4*h - 3. Let c be w(-3). Put c, n, z in descending order.
c, z, n
Let k = -11 - -12. Let j(z) = -2 + 3*z - 4*z**3 + 3 - 5*z + 0*z. Let v be j(k). Put v, 2, 5 in descending order.
5, 2, v
Let b = 3307/5 + -661. Put -0.1, 3/2, 2, b in descending order.
2, 3/2, b, -0.1
Suppose -14*x - 44 = -34 - 38. Suppose 2*k - 10 = f, 2*f + 2*k = 3*k - 8. Put f, -4, x in ascending order.
-4, f, x
Let w be 7 + (-3 - (0 + 0)). Let u be (-66)/55 + 8/(-10). Sort 3, w, u, 12 in ascending order.
u, 3, w, 12
Let h(b) = 15*b - 61. Let l be h(4). Suppose 0 = -0*m + m - 9. Let i be (-3)/m + (-28)/6. Put l, i, -0.1 in ascending order.
i, l, -0.1
Let i = -342 - -337. Sort -15, -1/8, 4, i.
-15, i, -1/8, 4
Let p = -53.5 + 44. Let s = p - -10. Put -3/7, s, -1/2 in ascending order.
-1/2, -3/7, s
Let a(u) = u + 1. Let o be a(0). Let x be 4/10 + 2955/(-75). Let s be x/(-9) + (-1)/3. Sort s, -3, o in decreasing order.
s, o, -3
Let c = -112 - -135. Let n = 22 - c. Sort n, 6, -4, -3 in descending order.
6, n, -3, -4
Suppose 20 = 2*t + 2*t. Let z = 530 + -531. Put t, z, 14 in ascending order.
z, t, 14
Let t be (-2)/8 - 30/8. Let w be (4/3)/(2/(-18)). Let o be ((-1)/((-3)/(-1)))/(2/w). Put t, o, 5 in increasing order.
t, o, 5
Let i = -26 + -2. Sort -4, 0, i in decreasing order.
0, -4, i
Suppose -21*r = 16*r + 370. Sort r, -3, 0 in ascending order.
r, -3, 0
Let p(z) = z**3 - 10*z**2 + 9*z - 3. Let m = 11 + -2. Let j be p(m). Let y be (-1)/4*j*-4. Sort y, -0.1, 5 in increasing order.
y, -0.1, 5
Let j = 285.9 + -280.9. Sort -2, j, -0.5, 8 in increasing order.
-2, -0.5, j, 8
Let t = -34.2 - -33.8. Sort -0.3, t, -0.1, 2/19 in descending order.
2/19, -0.1, -0.3, t
Let z be ((-2)/2)/(1 + 18). Let o be (158/(-114) - 4) + 5. Let t = o - z. Sort 4, -0.1, t in descending order.
4, -0.1, t
Let a = 7 - 1. Let y be a/(-18) - (-2)/(-3). Let g be (4 + -8 - -4)/y. Put -4, -1, g in ascending order.
-4, -1, g
Let u(f) = 6*f - 40. Let i be u(6). Put 48, 1, i, 5 in decreasing order.
48, 5, 1, i
Let m = -320.98 - -321. Sort 2, 5, 0.2, m in increasing order.
m, 0.2, 2, 5
Let y(t) = t**2 + 1. Let r(o) = -o**2 + 12*o. Let s(v) = -r(v) - 2*y(v). Let b be s(-12). Put 1/10, b, 2/19 in increasing order.
b, 1/10, 2/19
Let x be ((-22)/(-33))/((-51)/(-9)). Put 7/2, x, 0.1, 0.7 in ascending order.
0.1, x, 0.7, 7/2
Let d = -85 - -87. Put d, -4, 1 in decreasing order.
d, 1, -4
Suppose 4*u = -2*y - 6, -3*y - 21 = u - 2. Let s = y + 5. Suppose -2*m = -4*j - m + 10, 6 = -j - 4*m. Sort j, 1, s in decreasing order.
j, 1, s
Suppose -4*a + 57 = r, -3*r + 2*a - a = -223. Let y = 71 - r. Let f = 0 - 0. Sort -10, y, f in increasing order.
-10, y, f
Let k be (1/(-2))/(1/10). Let m = -31 - -34. Suppose 0 = -2*u - 5*g + 29, -3 + 10 = u + g. Sort u, m, k.
k, u, m
Let n = -36 + 40. Suppose -3*l + n*r = -5, 5*l - 2*r + 0*r = 27. Sort 0.5, l, 3/2 in decreasing order.
l, 3/2, 0.5
Let i = -0.01 + 0.37. Let u = i + 0.14. Sort -1/22, u, -2.
-2, -1/22, u
Let t = 6384 + -63911/10. Let b = 34/5 + t. Put 5, b, 2 in ascending order.
b, 2, 5
Suppose 2*b = b + 2*a + 13, -b - 2*a + 21 = 0. Suppose -4*k - 9 = -b. Let y = -0.22 - -17.22. Put y, 0.3, k in decreasing order.
y, k, 0.3
Let v = -9/2 - -5. Let y = -57 + 59.3. Let l = 2.1 - y. Put v, 0.2, l in decreasing order.
v, 0.2, l
Let u = -280.402 + 280. Let v = u + 0.002. Let i = 289/5 + -58. Sort 0.1, i, v.
v, i, 0.1
Suppose 3*n + 15 = 5*h, 5*h + 4*n = 4*h + 3. Suppose -2*s + 20 = h*s. Let u(k) = -3*k - 8. Let y be u(-3). Sort -4, s, y.
-4, y, s
Suppose 5 + 4 = 3*t. Suppose t*w = w. Let a(d) = -d**3 - 5. Let j be a(w). Put -2, 1, j in decreasing order.
1, -2, j
Suppose -5*i + 11 = -9. Suppose 3*h = -0*h. Let j = h - 1. Sort -2, i, j in decreasing order.
i, j, -2
Suppose 3*h + 2*h = 15. Suppose -o = 5*n - 5, h*n - 1 = 5*o + 2. Let k(z) = -z**2 + z + 2. Let w be k(0). Sort -4, w, o.
-4, o, w
Let q be -4 + 5 + (-10)/14. Let k = 0.327 - 0.227. Let y = 14/13 + -1. Sort k, y, q in decreasing order.
q, k, y
Let a(m) = -m**2 + 7*m + 1. Let f be a(5). Let v = -4040 + 4035. Sort f, v, -3 in descending order.
f, -3, v
Let z be (-1)/7 + (-360)/(-70). Suppose z*d = -0 + 20. Suppose 4*f + d = 8. Put -6, -3/2, f in ascending order.
-6, -3/2, f
Suppose 3*w - 2 + 11 = 0. Let g(j) = -2*j - 25. Let q(d) = d + 12. Let r(x) = w*g(x) - 7*q(x). Let l be r(-4). Sort 6, l, 5.
l, 5, 6
Let h be -2 - (6 - 2)/2. Let f = 21 - 17. Suppose -3*z = s + 6, s = -0*s - 2*z - f. Sort h, 3, s in decreasing order.
3, s, h
Suppose 5*y = -843 + 258. Put -1, -5, 3, y in ascending order.
y, -5, -1, 3
Let o be -1 + (-4)/(-14) + (-40)/(-56). Sort 5, 7, 2, o.
o, 2, 5, 7
Let j(w) = w**2 + 7*w + 1. Let m be j(-10). Suppose 0*o + 3*o + m = -4*d, 3*o + d + 19 = 0. Sort -10, -2, 0, o in decreasing order.
0, -2, o, -10
Suppose -2*a - 4*j - 18 = 0, -3*j - 15 = 4*a - 2*j. Let m(w) = w**2 + 2*w - 2. Let t be m(a). Suppose 8*c = 10*c + 2. Sort -2, t, c.
-2, c, t
Let b be (9 + -14)/(-2 - -1). Put 1, 4, b in decreasing order.
b, 4, 1
Let j = -988 - -993. Sort j, 4, -1/5, 7 in decreasing order.
7, j, 4, -1/5
Let q = 0.169 - -0.031. Sort -2/15, 7, q.
-2/15, q, 7
Let d(a) = -a**2 + 38*a - 128. Let k be d(34). Sort 2/13, 3, k in decreasing order.
k, 3, 2/13
Let j = 40 + -34. Suppose 5*i + 2*d - j*d - 16 = 0, 4*i + 4*d = -16. Sort i, 3, -2 in ascending order.
-2, i, 3
Suppose -15*m + 75 = -0. Sort 2, m, -5 in descending order.
m, 2, -5
Let l = 2 - 0. Suppose -3*d - 2 = -l*d. Let v be (-55)/(-15) - (-4)/3. Put 3, v, d in increasing order.
d, 3, v
Let c = 0.87 + -1.37. Sort c, -0.4, 0 in descending order.
0, -0.4, c
Let a(q) = 7*q + 9. Let z be a(3). Suppose -h - 2*h = 3*s, 0 = 5*s - h + z. Let d(y) = 8*y - 1. Let o be d(1). Sort -3, o, s in ascending order.
s, -3, o
Suppose 7*d - 4 = 3*d. Let w be (-2)/(-3) + 4/(-6). Suppose -4*q - 5*k = 20, w*q = -5*q - 5*k - 25. Put d, 0, q in descending order.
d, 0, q
Suppose -p + 5*y + 28 = -0*y, 40 = 3*p - 4*y. Suppose -2*f + 10 = -0*f. Sort 1, f, p.
1, f, p
Let w(k) = k + 25. Let s be w(-21). Suppose -2*y = -4*h - 7*y + 2, -2*h - s*y = -4. Put 1, 4, h in decreasing order.
4, 