 be s(0). Sort u, 0, f in ascending order.
f, 0, u
Let s = -6.2 + 7. Let v = s - 4.8. Let x be 4/3 + (-2 - -1). Sort -5/3, x, v in ascending order.
v, -5/3, x
Let s = 5.012 + 0.118. Let b = -0.19 + 0.32. Let w = b - s. Sort 3, 2/11, w in increasing order.
w, 2/11, 3
Let u be (-52)/(-9) + -1 + (-33)/(-27). Sort u, -2, 3 in ascending order.
-2, 3, u
Let t(f) = f**3 + 4*f**2 + 2*f + 3. Let c be t(-4). Sort -6, c, 1 in ascending order.
-6, c, 1
Let j be 1/(5/30*-1). Put j, 5, -1, -2 in decreasing order.
5, -1, -2, j
Suppose 4*x + 3 = -9. Suppose -p = -4*p - 15. Let w be (-1)/4 + (-45)/12. Put p, x, w in descending order.
x, w, p
Let p(h) = -5*h**3 + 24*h**2 + 29*h - 14. Let n(r) = -r**3 + 5*r**2 + 6*r - 3. Let y(i) = -11*n(i) + 2*p(i). Let t be y(8). Sort 1, -1, t.
-1, 1, t
Suppose 1 = 3*f - 5. Let m(q) = -q**3 + 11*q**2 - 5*q - 1. Let p(z) = z**3 - 10*z**2 + 5*z + 1. Let u(g) = -4*m(g) - 5*p(g). Let d be u(5). Sort d, 1, f.
d, 1, f
Let q = -9 - -4. Let o be (-2)/3*(q + -1). Sort o, 1, -4.
-4, 1, o
Let d = -1.3 - -0.8. Put 2, -4, d in decreasing order.
2, d, -4
Let w = 2.6 + -2.2. Put -0.05, w, -4 in increasing order.
-4, -0.05, w
Suppose -5*n = -5, -2 = -r - n - 0. Sort -2, r, 5, -1 in ascending order.
-2, -1, r, 5
Let d = -19 - -19.11. Let r = d - -3.89. Put 3, 0, r in ascending order.
0, 3, r
Let w = 1 + -2. Let m(f) = -f**2 - 11*f - 8. Let s be m(-11). Let a = -11 - s. Put 5, w, a in descending order.
5, w, a
Let m = 15 + -14. Put 2/5, m, 0.2 in ascending order.
0.2, 2/5, m
Let t = 1 + 2. Let o(z) = -2*z**3 + 10*z**2 - 3*z + 12. Let u be o(5). Let q be -10*(-1)/(-4)*2. Sort q, u, t in decreasing order.
t, u, q
Suppose 0 = -4*j - 4 + 20. Let k = -13 + 18. Put k, j, -3 in ascending order.
-3, j, k
Let r(z) = z**2 - 10*z + 19. Let a be r(6). Sort 0, 2/11, a in ascending order.
a, 0, 2/11
Let l = -18.4 + 14.4. Sort -5, 6, l in decreasing order.
6, l, -5
Let s(l) = 2*l - 32. Let q be s(0). Let f be (-6)/4*q/(-12). Sort -5, -3, f in descending order.
-3, f, -5
Let t(d) = -3 - 3*d + 2 - 2*d**2 - 3*d + 6. Let h be t(-4). Sort -1, h, 5.
h, -1, 5
Suppose -5*l + 4*l + 1 = 0. Sort 3, l, -4, -3 in increasing order.
-4, -3, l, 3
Suppose -3*l = -5*h + 40, 5*l - 5*h + 47 = -3. Suppose 3*k - 3*d = 3, -2*k + 0*k - 2*d = -6. Sort k, 0, l in descending order.
k, 0, l
Let h(a) = -a**2 + 4*a + 10. Let m be h(6). Suppose -2*v + 6*v - 8 = 0. Sort m, v, 5 in decreasing order.
5, v, m
Let a(v) = 2*v + 33. Let f be a(-20). Put f, 2, -2, 3 in ascending order.
f, -2, 2, 3
Let u be (-1)/7*-7 - 3. Let y = -2 + 1. Put y, u, -0.1 in increasing order.
u, y, -0.1
Let a be (-5 - (3 + -5))*4/(-6). Put a, 1, 3 in descending order.
3, a, 1
Suppose 0 = -2*k - c + 14, 5*k - 34 = 5*c + 16. Let b be 18/(-15)*(-20)/k. Let o be (-32)/6 + (-1)/(-3). Sort b, o, 1 in ascending order.
o, 1, b
Let l be 1 - (16/20)/((-2)/10). Sort -3, 4, l in ascending order.
-3, 4, l
Suppose 5*j = 2*j + 5*b + 11, -9 = -5*j - b. Let f = -2.93 - 0.07. Let r = f - -8. Sort j, r, 2/3 in decreasing order.
r, j, 2/3
Let u be (-10)/(-8)*(-6)/(-15). Let o = 0.4 - 0.6. Let v = o - -0.3. Sort u, v, -3 in descending order.
u, v, -3
Suppose -n + 15 = -6*n. Suppose b - 24 = -3*b. Sort n, b, -4 in decreasing order.
b, n, -4
Let t(o) = o**2 + o. Let p(m) = 5*m**2 + 12*m - 3. Let v(j) = p(j) - 6*t(j). Let s be v(4). Let k be 5 - 3 - (-1 + 0). Sort k, 4, s in descending order.
s, 4, k
Suppose -y - y - 1 = q, -y + 7 = 2*q. Sort 1, y, 5 in decreasing order.
5, 1, y
Let y = -0.238 - -0.028. Sort y, 2/11, 4, -1/7 in increasing order.
y, -1/7, 2/11, 4
Let j = -62 + 64. Put j, -5, -2 in ascending order.
-5, -2, j
Let v be 0/(-1) - (51/6)/(-17). Put v, 13/5, -5 in descending order.
13/5, v, -5
Suppose -3*n - 5*k - 11 = 0, -3*n = -0*n - 2*k + 4. Let c be ((-16)/12)/(2/(-6)). Suppose 0 = 2*u - u - c. Put -4, u, n in descending order.
u, n, -4
Let w be (-1)/(-3) - 32/6. Let x be 3*-8*8/108. Let r = x + 19/9. Put -1, r, w in decreasing order.
r, -1, w
Let i = 247 + -258.9. Let g = i + 11. Let u = 1 + g. Sort 4, 5, u in ascending order.
u, 4, 5
Let c = 48 + -50. Put -10, -5, c in descending order.
c, -5, -10
Let k = 48/11 + -358/77. Put 30, k, -2 in decreasing order.
30, k, -2
Let h = -25 + 30. Sort h, -5, 1, 0 in decreasing order.
h, 1, 0, -5
Let p = 148 - 152. Suppose 3*t = -0*t + 9. Let b be (0 - 0)/(2 - 3). Put t, b, p in decreasing order.
t, b, p
Let z = -11 - -11.2. Let f = 5 + -2. Sort f, z, -2/13 in ascending order.
-2/13, z, f
Let m(a) = -a**2 + 7*a - 4. Let o be m(7). Let z = 6 + -3. Suppose 2*p - 9 = -5*y - 0, -z*p + 5*y = -1. Sort o, p, -1 in increasing order.
o, -1, p
Let g be 153/6*(14/(-12))/(-7). Let z = -47195/12 + 3929. Let a = z + g. Sort a, -5, 2 in descending order.
2, a, -5
Let x be (-2)/(44/(-12) + 3). Sort -1/4, x, 2/5.
-1/4, 2/5, x
Let q(s) = 5*s + 1. Let h be q(-1). Put 5, -3, h in increasing order.
h, -3, 5
Let y = -37 + 37. Sort 3/2, y, -1/4.
-1/4, y, 3/2
Let k be 12/(-21)*(-6)/(-6). Sort 1, 0.75, k in increasing order.
k, 0.75, 1
Let x(s) = -s**2 - 3*s. Let o be x(-3). Let k be -1 + 1 - o - 5. Let r(m) = -m + 7. Let u be r(7). Put k, u, -3 in ascending order.
k, -3, u
Suppose 0 = x + 4*x - 20. Suppose -x*n - 11 = 9. Put -1, 1, n in decreasing order.
1, -1, n
Let s be 3 + -2 + (-5)/15. Sort s, -3/7, -10 in ascending order.
-10, -3/7, s
Suppose 3*z = -2*w + 19, 7 = -w + 5*z - 3. Suppose -4*b + w*f + 20 = f, -5*b + 25 = 2*f. Sort b, -4, -5 in descending order.
b, -4, -5
Suppose 3 = -2*z + 3*z. Suppose -8 = -3*y + i, -5*i + 1 + 23 = y. Let b be 5 + -1 + -4 + y. Sort z, -5, b in ascending order.
-5, z, b
Let o = -2873/11 - -261. Let y = 0 + 0.5. Let m = y - 0.3. Put o, m, 2 in descending order.
2, m, o
Let h be (2 - (-8)/(-12))*(-3)/78. Put -2/7, h, 0 in descending order.
0, h, -2/7
Let r be 6/27 + 58/(-18). Let n = r + 6. Let y = 0 + 0. Sort n, y, -1 in increasing order.
-1, y, n
Let l be (5/(-3))/(13/39). Suppose 6*w = 2*y + 3*w - 4, -5*w = 2*y + 28. Let j be ((-2)/(-1))/(-1) + -1. Put l, y, j in increasing order.
l, y, j
Let l be (4 - 2) + (-1)/(-1). Let c be (6/l)/(4/2). Let o be (-1 + 2)*(c + -4). Put o, -2/7, 0 in ascending order.
o, -2/7, 0
Let c = 10637/14 - 768. Let k = c + 82/7. Let q = 15/4 - k. Sort q, -0.1, -2.
-2, -0.1, q
Let o = 13 - 18. Sort -2, o, 0 in ascending order.
o, -2, 0
Let p(h) = -h**2 + 5*h - 4. Let l be p(3). Suppose l*r + r = 36. Let t = 8 - r. Sort 1, t, -5 in increasing order.
-5, t, 1
Let f = 69 - 74. Sort -14, 0.3, 2, f in descending order.
2, 0.3, f, -14
Let g = 4.07 - 5.07. Let y = 0.1 - -2.9. Let q = y - 5. Sort -2/9, q, g in increasing order.
q, g, -2/9
Let t = 0.04 - 0.54. Sort -1/4, t, -3 in decreasing order.
-1/4, t, -3
Let g(f) = -f**3 + 5*f**2 + 4. Let v be g(5). Sort 5, v, -2, 6 in decreasing order.
6, 5, v, -2
Let t be ((-2)/20)/(3/(-6)). Let p(b) = b - 2. Let c be p(-6). Let k = c + 12. Put k, t, -2 in descending order.
k, t, -2
Suppose 35 = 5*y + 5*n, 2*y - 12 = -2*n + n. Let b = 3 + -3.3. Put b, -5/6, y in descending order.
y, b, -5/6
Let o = -12 + 11. Put 5, o, 3 in increasing order.
o, 3, 5
Let w be (-3 + -3 + 7)/1. Suppose -4*c - 17 = h, 0*c - 4 = -h + 3*c. Let g(b) = 2*b + 3. Let s be g(-2). Sort s, h, w.
h, s, w
Let a = 22 - 112/5. Put 2, a, 3/7 in increasing order.
a, 3/7, 2
Let x = -10 + 14. Let c be (-6 + 8)/(x/10). Sort c, 2, -2 in descending order.
c, 2, -2
Let m = 90/7 + -263/21. Let i = -0.1 - -1.1. Sort i, m, -0.2 in ascending order.
-0.2, m, i
Let i be 2 + 0 + (-1 - 1). Let c be 170/(-40) + (-2)/(-8). Let s be (c/(-3))/(6/(-9)). Put i, 1, s in ascending order.
s, i, 1
Let a = -0.06 - -0.1. Let f = -3.46 - a. Let z = -4 - f. Sort z, 0.3, -4.
-4, z, 0.3
Let r be -7 - (4 - (11 + -2)). Sort -3, -6, r.
-6, -3, r
Let h = 5 + -10. Let o = 6 - 5.8. Let v = 0.8 - 0.4. Sort h, o, v.
h, o, v
Suppose 2 = y + y + 2*l, 4*l + 11 = -y. Let r = y + -4. Put r, -2, -4 in descending order.
r, -2, -4
Let u(g) = g**3 + 8*g**2 + 8*g + 4. Let p be u(-7). Let q = 2 + p. Let i be (-1)/((-2)/(-6)*-1). Sort i, 4, q in decreasing order.
4, i, q
Let z = 3 - 0. Sort -4, z, -2/9 in ascending order.
-4, -2/9, z
Let n = -10 + 14. Let z be -6*(0 - (0 - -1)). Sort 2, n, z.
2, n, z
Suppose -m = 2*m + 15. Suppose h + 3 = v, 0*v + 1 = 3*v + h. Put 3, m, v in descending order.
3, v, m
Let