se 0 = 4*l + a - 22. Sort l, 3, -8 in decreasing order.
l, 3, -8
Let j(s) = -48*s + 96. Let b be j(2). Let t = -1 + 2. Sort 1.4, b, t in descending order.
1.4, t, b
Let q = -282 - -282.1. Put -1/9, q, -3/7, 1.7 in ascending order.
-3/7, -1/9, q, 1.7
Let c = -2 - -4. Let k = c + -2.04. Let y = -0.1498 - -0.0498. Sort -0.3, y, k in ascending order.
-0.3, y, k
Let z(x) = 2*x + 4. Let t be z(-1). Suppose 3*y + 0*n + t*n - 13 = 0, n = -y + 4. Put -2/13, y, -0.1 in descending order.
y, -0.1, -2/13
Let i = 17 + -14. Suppose 5*u + 4*y + 14 = 0, -2*y = 5*u + i + 9. Let q(g) = g + 1. Let r be q(-4). Put -6, u, r in descending order.
u, r, -6
Let y = 38 - 34. Suppose -11 = -y*f - 3. Sort -7, f, 0 in ascending order.
-7, 0, f
Let p be (-19)/4 - (-1)/(-4). Put 0, 3, -3, p in decreasing order.
3, 0, -3, p
Let u be (-65)/(-2)*128/320. Put u, -3, -5 in descending order.
u, -3, -5
Let n = -2 + 1. Let a = 0 - n. Let i be (-23)/46*(0 - -6). Put a, i, 3 in decreasing order.
3, a, i
Let f = 793 - 495. Let v = f + -3280/11. Put 1/7, -1/4, v, 3/4 in decreasing order.
3/4, 1/7, v, -1/4
Let l(r) = -29. Let w(v) = -v - 30. Let d(g) = 6*l(g) - 7*w(g). Let h be d(-6). Let m = -8 - -5. Sort m, h, -5.
h, -5, m
Suppose 0*p + 14 = 7*p. Let q = -18 - -11. Let i = 4 + q. Sort p, i, 0.
i, 0, p
Let y = -6 - -21. Suppose i = 5*t + y + 1, -20 = i + 4*t. Put 1/3, i, 0.1 in decreasing order.
1/3, 0.1, i
Suppose -80*p = -4*n - 84*p, -p = -4*n + 5. Put n, 4, -96 in increasing order.
-96, n, 4
Let s = 15 + -15.45. Let c = 0.15 + s. Let x = -0.4 - -1.4. Sort x, c, 0 in increasing order.
c, 0, x
Let p be (-135)/(-27) - (-2 - -5). Sort 4, -4, 23, p.
-4, p, 4, 23
Let b = 11.5 - 11.1. Sort 5, b, -25 in ascending order.
-25, b, 5
Let z be (1/(-1))/(34/(-102)). Sort z, -2, 0.2, 4.
-2, 0.2, z, 4
Suppose -8 = 4*r - 0. Let j be ((-14)/7)/(1*r). Let b(c) = -5*c + 3. Let q be b(1). Put j, 5, q in ascending order.
q, j, 5
Let b be (-3 - 1)*25/(-20). Suppose 5 = -4*x + b*x. Suppose 4*w = 3*r - 2, -1 = -2*w + 5*r + x. Sort 2/15, 4, w in descending order.
4, 2/15, w
Let p(d) = 178*d + 1597. Let y be p(-9). Let a = -0.32 + 0.3. Put 2/5, a, y in ascending order.
y, a, 2/5
Let a = -0.94 - -0.64. Let z be ((-73)/511)/((2/(-4))/1). Sort z, a, -3/4, -2 in descending order.
z, a, -3/4, -2
Let k = 0.003 + 8.997. Let p = 9.5 - k. Sort 0.06, 2/11, p.
0.06, 2/11, p
Let h(n) = n**3 - n**2 - 11*n - 9. Let v be h(4). Sort 4, -3, v, 5 in descending order.
5, 4, -3, v
Suppose -2*l = 2*l. Let j = 860 - 864. Put l, j, 14 in ascending order.
j, l, 14
Let o = -4131/4 + 1033. Sort o, 3, 0.37 in decreasing order.
3, 0.37, o
Suppose 0 = 4*h - 6*h - 3*p - 25, h + 10 = -p. Put 3, 1, h, 5 in decreasing order.
5, 3, 1, h
Let m = -36 - -22. Let g = 5 - m. Let l = g + -14. Put 0.4, l, 0.2 in increasing order.
0.2, 0.4, l
Suppose -d + 28 = 29. Let u(l) = l + 6. Let r be u(d). Sort -2, -1, 4, r in descending order.
r, 4, -1, -2
Suppose -25 = -5*u - 0. Let g be (6/15)/(4/10). Suppose -8*a + g = -9*a. Sort -2, a, u in ascending order.
-2, a, u
Let v = -0.059 - -0.018. Let t = v + 0.441. Sort -1, -0.3, t, 1 in descending order.
1, t, -0.3, -1
Let z be 23/6 - 5/(10/6). Let n = -0.17 + 1.17. Sort n, 2/7, z.
2/7, z, n
Let t = 1077 + -1077.1. Put 0.4, -41, t, 1 in decreasing order.
1, 0.4, t, -41
Suppose -14*g + 5*g = -18. Put 3, -10, g in increasing order.
-10, g, 3
Suppose a - 7*a = -72. Let v be ((-4)/6)/(((-64)/a)/8). Put 5, 1/4, v in ascending order.
1/4, v, 5
Let d = -12 + 12. Suppose 0 = -3*o - 15 + 6. Let p be (5/(-3))/((-1)/o). Sort p, 3, d.
p, d, 3
Let m be 66/(-3) + (-1 - (-4)/2). Let p = -22 - m. Sort 3/5, 9, p, 4.
p, 3/5, 4, 9
Let r = -1321 - -1322. Put r, 4, 0.778 in decreasing order.
4, r, 0.778
Let z = -2 + 4. Let v = 11/6 - z. Put -1, v, -1/2 in descending order.
v, -1/2, -1
Let d(w) = w**3 + 2*w**2 - 7*w + 5. Suppose v = 4*i + 6*v - 9, -3*i + 13 = 5*v. Let u be d(i). Sort -5, u, 2.
-5, u, 2
Let w = -48987/245 - -1003/5. Let h = w + 2/147. Put -0.6, -2/3, h in descending order.
h, -0.6, -2/3
Let m(f) = -2*f**2 - 10*f - 17. Let v be m(-9). Let l = v - -87. Put 2, 5, 3, l in increasing order.
l, 2, 3, 5
Let l(s) = s**2 - 11*s + 27. Let w be l(8). Let t be (-65)/100 + w/12. Let n = 0.1 + -0.15. Put t, n, 1/2 in ascending order.
t, n, 1/2
Let d = 268 - 264.2. Sort -0.1, 1/3, d.
-0.1, 1/3, d
Let w be (30/5 - 6) + -1. Sort -5, 5, w, 4 in decreasing order.
5, 4, w, -5
Let u = -91 + 86. Put 2, -4, u, -1 in increasing order.
u, -4, -1, 2
Let l = 3 + 2. Let m = 3203 + -3202.93. Sort m, -0.2, l.
-0.2, m, l
Let j be (3 - 6) + 7*(-20)/(-28). Sort j, 101, -4 in descending order.
101, j, -4
Let g = 7.6 + -10.7. Let s = -3.07 - g. Sort -0.1, 2/5, s in decreasing order.
2/5, s, -0.1
Suppose -4*j + 2 = 6. Let m = -10 + 19. Let t = m - 5. Put j, t, -5 in descending order.
t, j, -5
Let r = 4 - 4. Let y = 10 + -6. Let w = 8 - y. Sort w, r, -8.
-8, r, w
Let w = -195 - -138. Let k = w - -56. Put -2, -1/4, k in increasing order.
-2, k, -1/4
Let v = -66 - -74. Sort 7, -1, v in increasing order.
-1, 7, v
Let d(b) = b**2 + 8*b + 2. Let p be d(-8). Suppose 6*h - 3*h = 15, -5*u + p*h = 0. Suppose -u*c + c = -5. Sort c, -2, -1 in increasing order.
-2, -1, c
Let h be (-5)/((-200)/(-16)) + (-84)/(-110). Put -3, 0.3, h in descending order.
h, 0.3, -3
Suppose -q - 5*t = 4 + 19, 110 = -4*q - 2*t. Let i = q - -29. Suppose 0 = 6*g - 2*g - 20. Sort g, 6, i in decreasing order.
6, g, i
Let w = -954 - -957. Sort -5, 0, -41, w in decreasing order.
w, 0, -5, -41
Let f = -29 + 28. Suppose 15 = -0*g + 3*g + 3*r, -3*g + 20 = -2*r. Put f, g, 4 in decreasing order.
g, 4, f
Suppose -27 = -4*u + 5*z, 0*z = -4*u - z + 9. Let w(m) = -m**3 + 4*m**2 - 4*m. Let i be w(3). Sort u, 4, i in descending order.
4, u, i
Suppose -6 - 8 = -l. Suppose -11*v + l = -4*v. Put -12, v, -4 in decreasing order.
v, -4, -12
Let y = -17 - -16. Let v = -1 + 2. Put -5, v, y in descending order.
v, y, -5
Let b(t) be the third derivative of t**4/24 + t**3/3 + 2*t**2. Let n be b(-7). Let j = 10 + n. Put 2, j, -5 in descending order.
j, 2, -5
Let l be (-13)/(-3) - (-2)/(-6). Let r = 207 - 312. Let g = r + 103. Put l, g, 0 in descending order.
l, 0, g
Let w = -0.0431 - 1.9589. Let l = -0.002 - w. Let p be (-4)/18 + (-33)/(-27). Sort -0.2, l, p in ascending order.
-0.2, p, l
Let o(x) = x + 5. Let w be o(0). Let c = -18 + 20. Suppose c*p + 0*u - 21 = -5*u, 5*p - 15 = -5*u. Sort w, 2, p.
p, 2, w
Suppose 0 = -0*w + 3*w. Let a(t) be the third derivative of t**4/24 + 5*t**3/3 + 5*t**2. Let g be a(-8). Sort g, w, -4 in decreasing order.
g, w, -4
Let z(a) = -89*a + 12. Let d be z(-2). Let i be (-33)/14 - d/(-76). Put -0.2, -2/5, i in increasing order.
-2/5, -0.2, i
Let v = -11.7 + 22.7. Sort 2, -0.5, 5, v in increasing order.
-0.5, 2, 5, v
Suppose -6*r + 3*b + 13 = -4*r, 2*r = -5*b + 21. Put 1, r, -4 in descending order.
r, 1, -4
Let d = 0.2662 + 0.0338. Sort d, 1/2, -5, 30.
-5, d, 1/2, 30
Let m be (1 + 3)*5/4. Let s = -6544 - -6548. Put s, m, -5 in descending order.
m, s, -5
Suppose 0 = 56*m - 27 - 29. Let r(o) = -o - 7. Let j be r(-12). Sort j, m, -2 in decreasing order.
j, m, -2
Suppose 6*w = -47 - 7. Sort 1, w, -2 in decreasing order.
1, -2, w
Let m = 5 + 31. Let q = -36.3 + m. Sort 2/7, q, -0.02 in increasing order.
q, -0.02, 2/7
Let z be 1 + (-10)/(-25)*-5. Put z, -5, 1, -3 in increasing order.
-5, -3, z, 1
Let c(p) = -p**2 - 11*p + 19. Let d be c(-9). Let s = -34 + d. Put -1, 4, s in decreasing order.
4, s, -1
Let s be 14*2/21 + (-4)/(-6). Let j(n) = -n + 2. Let g be j(2). Suppose -2*q = 2*c + 4, 5*q + 2*c + g + 10 = 0. Sort q, s, -4 in increasing order.
-4, q, s
Suppose 2*q + 3*t = -76, -12 = 4*q - t + 112. Let o = -32 - q. Put o, 5, -5 in decreasing order.
5, o, -5
Let f = 0.04588 - 0.34588. Let a(g) = -g - 3. Let l(x) = -2*x - 3. Let y(r) = -2*a(r) + 3*l(r). Let u be y(-2). Sort 1, u, f in descending order.
u, 1, f
Let r be ((-1)/(-5)*3)/(21/(-15)). Sort 1, r, 5, 0.3 in decreasing order.
5, 1, 0.3, r
Suppose 4*o - o - 6 = 0. Suppose w - 10 = 4*l, -o*w + 7*l - 4*l = -10. Let q(n) = -n**3 + 27*n**2 - 168*n - 19. Let k be q(10). Sort k, w, 4.
k, w, 4
Let h = 10.09 - 10. Let i = -0.91 - h. Let t = i + -3. Put -5, t, 0.5 in increasing order.
-5, t, 0.5
Suppose 3*n + n = -3*n. Sort 1, n, 67.
n, 1, 67