*u + u - 2*l + 6 = 0, u = -2*l - 10. Sort u, g, -3 in decreasing order.
g, -3, u
Let q be 14 + -12 - 2*3. Let k = 0 + 1. Put 0, k, q in decreasing order.
k, 0, q
Let h = 53 - 317/6. Sort -0.5, -0.1, h in ascending order.
-0.5, -0.1, h
Let m = -5 - -4.97. Sort -1, m, -1/2 in decreasing order.
m, -1/2, -1
Let u be -1*(-5 - 0) + 0. Let v be 6 + -1 + 0 - 51/17. Sort u, 3, v in descending order.
u, 3, v
Let m(b) = 4*b - 4. Suppose -4*s + 11 = -9. Let g be m(s). Suppose -3*l = 5*j - 0*l + g, 4*j = -l - 17. Put j, -4, -1 in ascending order.
j, -4, -1
Let n be (2*1)/(6/12). Let g be 4/(-18) - 94/(-18). Let h(b) = -b**2 + 7*b - 7. Let u be h(g). Sort u, n, -5 in ascending order.
-5, u, n
Let u = 32 - 23. Let o = u + -14. Sort o, 3, 0.5.
o, 0.5, 3
Suppose 3*o = 2*n - 1, -5*n + 4*o = 2 - 1. Put -25, 4, n in decreasing order.
4, n, -25
Let l = -37 - -38. Suppose 2*u = 4, -4*h + 4*u + 13 = -19. Suppose -5*x = 4*d - h, 21 = -d + 4*d - 3*x. Put d, l, -3 in increasing order.
-3, l, d
Let j = -15.5 + 16. Sort -1, 2/13, j in ascending order.
-1, 2/13, j
Let l be 1319/(-18) - (-6)/(-27). Let k = l - -1621/22. Put 0.2, -1, k in decreasing order.
0.2, k, -1
Suppose -5*d = -7*d + 20. Let k = 10 + d. Suppose -3*z = k - 8. Put z, -5, 1 in increasing order.
-5, z, 1
Let c be (1 - 4)/(6/(-4)). Let p be (-61)/(-9) - 16/(-72). Let r be p/2 - (-10)/(-20). Put 4, c, r in ascending order.
c, r, 4
Let n = 2.488 + 0.542. Let g = n - 0.03. Let j = 0.5 - 1. Sort g, -0.3, j in decreasing order.
g, -0.3, j
Suppose 0 = 4*g + 12. Let o(b) = -2*b**2 - 21*b - 8. Let s be o(-10). Put 4, g, s in descending order.
4, s, g
Suppose 12*q - 3 = 11*q. Suppose -b + i - 5 = -i, 2*i + 5 = q*b. Let m be -1 - 3 - (3 + -2). Put 4, b, m in decreasing order.
b, 4, m
Let m(l) = 21 - 10 - 9*l + 0*l**2 + l**2. Let p be m(8). Suppose 0 = n - r + p - 1, -16 = 3*n + 2*r. Put -2, -1, n in increasing order.
n, -2, -1
Let p(h) = -9*h**3 - 4*h**2 + 5*h + 5. Let y(m) = -5*m**3 - 2*m**2 + 3*m + 3. Let v(f) = -4*p(f) + 7*y(f). Let k be v(-1). Suppose 2*q - k = 3. Sort -1, q, 0.
-1, 0, q
Suppose 6 - 1 = 5*u. Suppose -22 + 102 = -16*o. Put o, -2, u in ascending order.
o, -2, u
Let j be ((-9)/1)/(-8 - -7). Let a be (j/(-6))/((-2)/4). Sort 5, a, 4 in descending order.
5, 4, a
Let x = -2/35 + -31/70. Let j(y) = -2*y + 4. Let g be j(4). Sort x, g, -2 in decreasing order.
x, -2, g
Suppose -5*a - 43 - 17 = 0. Let x = a - -10. Sort 1, 4, x.
x, 1, 4
Let r = -19 - -19. Suppose 3*f + r*f = 15. Sort f, 13, 3 in decreasing order.
13, f, 3
Suppose 5 = 2*a - 3. Let v(u) = -2*u - 1. Let g be v(-3). Suppose -g - 1 = 3*y - 3*t, y + 4*t + 12 = 0. Put a, -3, y in increasing order.
y, -3, a
Let r(x) = 7*x**2 - 3*x - 2. Let v be r(3). Suppose 5*s = -4*h - 16, 2*h + 2*h - 4*s = -v. Put h, 2, 0 in descending order.
2, 0, h
Let n = -7 + 6.8. Let f = -0.1 - -0.1. Let u = n + f. Put -1/9, -0.3, u in increasing order.
-0.3, u, -1/9
Suppose 0 = -6*l + 4*l + 2. Sort 0, l, 3 in decreasing order.
3, l, 0
Let z(s) = -4*s**2 + s**3 + 6*s**2 - 1 - 3*s**3. Let u be z(1). Suppose 5*d + 2*b + 11 = 0, 24*b = 21*b + 6. Sort d, -2, u in descending order.
u, -2, d
Let d = 18/37 + -274/259. Put 0, 2/9, d, 7 in decreasing order.
7, 2/9, 0, d
Let j = 1/312 - 791/3432. Let m = j - 3/11. Put 3/5, 0.3, m in ascending order.
m, 0.3, 3/5
Let x = 24 - 3. Let p = x - 21.5. Put 1.3, p, 4 in increasing order.
p, 1.3, 4
Let g = 0.1 + -3.1. Suppose 2*p = 6 - 26. Let f = 6 + p. Put g, -0.2, f in decreasing order.
-0.2, g, f
Let l(q) = -q - 6. Let z = 11 - 8. Let t(n) = 2*n + 12. Let o(y) = z*t(y) + 5*l(y). Let d be o(-4). Sort -4, d, 0 in decreasing order.
d, 0, -4
Let y = -4.3 - -6.2. Let w = 7.7 + -7.8. Let t = y - w. Sort 0, -3/2, t in decreasing order.
t, 0, -3/2
Let q(r) be the first derivative of -r**3/3 - 7*r**2/2 - 2*r + 1. Let h be q(-4). Let o = 7 - h. Sort -4, 0, o in decreasing order.
0, o, -4
Let v be (-50)/15*(-6)/(-4). Sort 4/5, v, 1 in decreasing order.
1, 4/5, v
Let x = 51 - 51.1. Sort -5, x, -2/29.
-5, x, -2/29
Let l = -0.034 + 0.234. Sort l, -2, 8.
-2, l, 8
Let r = -30 - -27. Sort 1/8, r, 4.
r, 1/8, 4
Let x = -10 + -2. Let h = 38 + x. Suppose k + 3*v = -11, 4*k = 2*v - 5*v - h. Put 4, k, 2 in ascending order.
k, 2, 4
Let q = 8.01 - 8. Let h = 2.01 - q. Let l = -5 + h. Sort -1, -0.2, l.
l, -1, -0.2
Let j be -1 + 1 + (-2 - -2). Suppose -2*x + 6 = -j*o + 2*o, x = o + 3. Suppose 0 = 2*z - 4 + 12. Put z, 5, o in descending order.
5, o, z
Suppose 3*c = 11 + 4. Let a = 5 - 5. Suppose 0*p + 2*p + 6 = 0. Sort a, c, p in increasing order.
p, a, c
Let w = -31 + 20. Put -2, 0.4, w, -3/5 in descending order.
0.4, -3/5, -2, w
Let m = -0.2 + 0. Put m, 2/9, -0.02 in ascending order.
m, -0.02, 2/9
Let u be 4/3 + 2/3. Let v = 5 - u. Suppose -41*a + 40*a = -5. Sort 0, a, v.
0, v, a
Let u(y) = 2*y - 1. Let a be u(2). Suppose 2*c - s - 9 = 0, a*c - s - 5 = 9. Sort -3, c, 4 in decreasing order.
c, 4, -3
Let k(d) be the second derivative of d**4/12 + d**3/2 - 5*d**2/2 - 2*d. Let y be k(-5). Sort y, 3, 0.
0, 3, y
Let q be 1/(0 + 2 + -1). Let w(v) = v**2 + 9*v - 8. Let g be w(-10). Sort g, -4, q in ascending order.
-4, q, g
Let o be 350/(-3) + (-8)/(-12). Let x = 467/4 + o. Put -2, 2/3, x in descending order.
x, 2/3, -2
Suppose -2*i + p + 3 = -3, i - 13 = -2*p. Put -3, i, 0 in decreasing order.
i, 0, -3
Let w = -7 + 12. Suppose 0 = -0*c - 2*c + 4*i + 10, i - 8 = -3*c. Sort c, w, -1 in descending order.
w, c, -1
Let n(c) = -c + 2. Let z be n(-6). Let k be 30/z - (-3)/12. Sort k, -0.1, -1 in decreasing order.
k, -0.1, -1
Suppose 3*o = 2*c + 7, -2*c - 3*c + 40 = 4*o. Sort o, -4, -5 in descending order.
o, -4, -5
Let x be 4/9*(-2)/4. Suppose 3*z - 4*z - 10 = 0. Let w = -31/3 - z. Sort w, x, -3/8 in ascending order.
-3/8, w, x
Let v = 0.0514 + 2.1386. Let h = v + -0.19. Let y = -1 - -1.01. Sort 3, y, h in descending order.
3, h, y
Let s(p) = p**2 + 4*p - 5. Let u be s(-5). Suppose u = -6*y + 4*y. Put y, -2, 1 in decreasing order.
1, y, -2
Suppose -x = x - 2. Put 0, x, -4 in descending order.
x, 0, -4
Let q = -0.4 - -4.4. Let m = q + 0. Sort 5, -1, m in descending order.
5, m, -1
Let i = -0.057 - -0.157. Sort -5, -4, i.
-5, -4, i
Suppose 0 = 4*y + 20 - 8, -y - 7 = -h. Let w(f) = f**3 + 12*f**2 - 13*f - 2. Let g be w(-13). Put h, 3, g in ascending order.
g, 3, h
Let p be 4/4*1*0. Put p, 0.2, -4 in ascending order.
-4, p, 0.2
Let z = -5.037 - -0.037. Sort 1, -0.3, 2/9, z.
z, -0.3, 2/9, 1
Let b = 0 - -1.3. Let p = 1.2 + -1.5. Let z = b + p. Put 0.3, -1, z in ascending order.
-1, 0.3, z
Let w = 17 - 21. Put 0.3, -5, w, 0.4 in decreasing order.
0.4, 0.3, w, -5
Let u be 1/(-3) - (-91)/39. Sort u, 4, 0.5 in increasing order.
0.5, u, 4
Let s(f) = -f**2 - 4*f + 6. Let y be s(-5). Suppose -3*v - n = -y, 2*v + 2*n = 4*n - 10. Let q(i) = 7*i - 1. Let k be q(1). Sort v, 4, k in ascending order.
v, 4, k
Let j be 2/(-3) - (-7)/(-3). Let c = 0 - j. Let h = 1433/2 - 716. Put c, h, 1 in decreasing order.
c, 1, h
Let z be (-1)/6 - 139/(-6). Let q = 25 - z. Sort q, 4, -1.
-1, q, 4
Let l = 8 - 6. Let p(c) = -11*c - 134. Let r be p(-13). Sort r, l, 4 in increasing order.
l, 4, r
Let h = 23 + -15. Let r = h - 12. Suppose 8 = -2*j + 2. Put r, 2, j in decreasing order.
2, j, r
Let l be (0 - 1) + 1 + 1. Let b(o) = -o - 1. Let a be b(-3). Let x be a + (-3)/((-6)/(-4)). Sort x, -5, l in decreasing order.
l, x, -5
Let p = -4.6 - -4. Let c = p + 1.1. Put -0.5, c, -5 in increasing order.
-5, -0.5, c
Suppose 14 = 3*u - 1. Let c(x) = -x**2 + 3*x. Let g be c(3). Sort u, 1, g in descending order.
u, 1, g
Let t(x) = x - 3. Let p be t(-3). Suppose 19*n - 80 = 3*n. Sort n, p, 2 in decreasing order.
n, 2, p
Suppose -o = 3*h + 16, 2*o - 5 = 3*h - 1. Let t(i) = 2*i - 9. Let m be t(6). Put o, 0, m in ascending order.
o, 0, m
Let s be 56/6*27/36. Sort s, 2, 5 in descending order.
s, 5, 2
Let a = 12.5 + -13. Sort -1, -4, a in descending order.
a, -1, -4
Let p be 1/(20/6 - 3). Suppose 5*l - p*g + 7 = 0, -2*l + 5*l + 3*g = -9. Put l, -4, 3 in decreasing order.
3, l, -4
Let s(j) = 3*j**2 + 3*j - 12. Let r be s(2). Sort -2, 0, r, -4 in decreasing order.
r, 0, -2, -4
Let x be 16/(-12) - (0 - 3). Sort 1, x, 0 in descending order.
x, 1, 0
Let u = 7/20 + -3/5. Let i = 36 + -36.2. Sort u, i, -0.1 in descending order.
-0.1, i, u