Let c(y) = y + 11. Let w be c(-9). Sort 5, 1, w in descending order.
5, w, 1
Let z(g) = g - 1. Let b be z(5). Suppose u + b*u = 5. Suppose -1 = l + u. Sort l, -0.4, -0.1 in descending order.
-0.1, -0.4, l
Suppose 2*m = 4*m. Put -2, -5, m in descending order.
m, -2, -5
Let d = -1 + 7. Suppose 7*y = d*y + 3. Sort 8, 5, y in increasing order.
y, 5, 8
Let i = 55 + -50. Put i, -5, -4 in descending order.
i, -4, -5
Let p = 5.3 + -6. Let l = -0.2 - p. Put 1, 3, l in ascending order.
l, 1, 3
Let v be (6/(-40))/((-2)/8). Let b be (-7)/((-147)/2466) - -2. Let l = b + -120. Sort -1, l, v in descending order.
v, l, -1
Let h = -2 - -4. Let k = 4 + -7. Suppose -m = -2*m + 4. Sort m, h, k.
k, h, m
Let l = -258 - -255.01. Let p = 0.01 - l. Put -5, p, -3 in decreasing order.
p, -3, -5
Let p = 0.6 - 0.6. Let m = p - 12. Let g = m + 8. Sort -0.1, 3/7, g.
g, -0.1, 3/7
Let p(f) = 2*f - 4. Let r be p(4). Let i be ((-6)/(-4))/(2/r). Put i, 5, -4 in ascending order.
-4, i, 5
Let g = 5 - 3. Let f = -6 + g. Let d be (1/12*9)/(18/16). Put d, 4, f in decreasing order.
4, d, f
Suppose -9 = -p - 5*c, 5*p + 0*c - 24 = -4*c. Put -1, -4, p in descending order.
p, -1, -4
Let a(u) = u**3 - u**2 - u + 5. Let n be a(0). Put -5, 4, n in ascending order.
-5, 4, n
Let r = 11 - 15. Put r, -5, 1/6 in decreasing order.
1/6, r, -5
Let b = 2 + 3. Let w = -40 - -22. Let k be (-6)/(-4)*60/w. Sort b, k, 0.3 in increasing order.
k, 0.3, b
Suppose 5*y + 46 - 15 = 3*l, 0 = 2*y - 4*l + 4. Put 5, y, 1 in increasing order.
y, 1, 5
Let u = 8 + -44/5. Let k = 2 - 5. Let c = k - -2. Sort c, u, 5 in decreasing order.
5, u, c
Suppose -l + 2 = -2*i - 4*l, 2*i + 4*l = -2. Let t be (6/4)/(i/(-2)). Suppose 0*q - 3 = -t*q. Sort -4, q, 2 in ascending order.
-4, q, 2
Let k = 0 + -1. Sort 5, -6, k.
-6, k, 5
Let t be 39*(-4)/(-36) + (-2)/6. Sort 1, t, 5, 3 in ascending order.
1, 3, t, 5
Let l(g) = -g**2 + 16*g - 63. Let s be l(7). Put 2, -2, s in descending order.
2, s, -2
Let l = 39 - 38.95. Let y = 10 + -10.35. Let u = l - y. Sort 0.2, -2/13, u in ascending order.
-2/13, 0.2, u
Let m(u) = u - 5. Let x be m(7). Put 1, x, -4 in increasing order.
-4, 1, x
Suppose -2*l = -1 - 1. Suppose -4*o + 7 = -l. Let m(t) = -t**2 + 3*t + 4. Let i be m(3). Sort i, o, -4.
-4, o, i
Let n = -45 + 47. Let z be (-1)/(1 - 0)*3. Put n, -1, z in ascending order.
z, -1, n
Let x be (6/5)/((-12)/(-160)). Let h = 12 - x. Put 4, h, -2 in descending order.
4, -2, h
Let t = 7 - 4. Let v = t + -5. Let p = v - -2. Sort 1/5, p, 0.1 in descending order.
1/5, 0.1, p
Suppose 0 = -2*n + r + 5 + 4, -3*n + 4*r + 16 = 0. Let u be (-8)/n - (-4 + 1). Sort u, -5, 4 in descending order.
4, u, -5
Let w be ((-30)/14 - -2)*-3. Let m be 0*(-2)/(-4)*-1. Sort 2/5, m, w in decreasing order.
w, 2/5, m
Suppose 0 = 3*j + 2*o - 4*o + 8, -35 = 5*j + o. Suppose -593*f + 595*f - 10 = 0. Put j, f, -4 in decreasing order.
f, -4, j
Let d(w) = -8*w**2 + 2*w + 1. Let a be d(-1). Let n be 1/(-3) + 23/(-3). Let l = n - a. Put -4, 0, l in decreasing order.
l, 0, -4
Let w = 0.19 + -1.19. Sort 0, -0.4, -5, w in ascending order.
-5, w, -0.4, 0
Let c = 0.018 + 4.982. Sort 0, -4, -1/6, c in increasing order.
-4, -1/6, 0, c
Suppose -4*l - s + 25 = 0, 0 = -2*l - 3*s + 24 + 1. Suppose -5*k - l = -5*w, -3*w - 3 + 1 = -2*k. Put w, 1/5, -3 in descending order.
1/5, -3, w
Let q = 0.009 + -0.109. Sort 1, 2/33, q, -1/4.
-1/4, q, 2/33, 1
Let p(d) = -d**2 + 7*d + 5. Let i be p(7). Put 1, i, -1 in increasing order.
-1, 1, i
Suppose 0 = -2*o + 3 - 7. Let a be (6/9)/(4/6). Let b = 1 - a. Sort -5, o, b in decreasing order.
b, o, -5
Suppose -3 = -g - 0. Suppose 0 = 3*l - 0 - g. Let s = -6 - -2. Put s, l, -3 in ascending order.
s, -3, l
Let k be (-12)/20 + 9/15. Let n = k + 1. Let y = -3.5 - -3. Sort -3, n, y in decreasing order.
n, y, -3
Suppose s + 5*y - 10 = 0, 0 = 6*s - s - 3*y + 6. Suppose 5*t + 6 - 1 = s. Suppose -7*i + 11*i - 16 = 0. Sort i, t, 0.4 in decreasing order.
i, 0.4, t
Let v(w) = w + 17. Let a be v(-14). Let s be (1/(-1))/(4/(-20)). Sort -4, s, a in descending order.
s, a, -4
Let c(i) = 1. Let w(a) = a - 9. Let t(z) = 5*c(z) + w(z). Let q be t(0). Put q, 0, -3 in descending order.
0, -3, q
Let n(b) = -b**2 - 2. Let w be n(4). Let p be 48/w + (-4)/(-6). Let t(s) = -s - 5. Let m be t(-6). Sort p, 4, m in descending order.
4, m, p
Suppose 3*d - 2*d + 1 = 0. Let t be 3 + -1 + d + 2. Put 0, t, -1 in increasing order.
-1, 0, t
Let z(j) = -j**2 + 5*j - 3. Let a be z(3). Suppose 2*n + 16 = 4*n + 3*p, 5*p - 12 = 4*n. Suppose -5 = n*l - l. Put a, l, 0 in increasing order.
l, 0, a
Suppose -q - 4*q - 5 = 0. Sort 5, 2, q in descending order.
5, 2, q
Let w be (2/5)/(6/30) - -3. Let u be 6/(-15) - (-2)/5. Suppose u*v - v + 3 = -3*x, -23 = 4*x + 5*v. Sort 3, w, x in decreasing order.
w, 3, x
Let k = -572/5 + 114. Let r be (0 + 1)/((-1)/(-3)). Put r, k, 2 in descending order.
r, 2, k
Suppose -10 = -6*t - 4. Put -5, t, -4 in ascending order.
-5, -4, t
Suppose -133*n = -138*n. Suppose 5*a - 2*a + 6 = 0. Sort a, 3, n.
a, n, 3
Let x be -6*(-1 - 0) + 0. Let v = x - 3. Sort v, 4, 5.
v, 4, 5
Let p be ((-2)/20)/(5/(-3190)). Let u = -64 + p. Put 5, u, -2 in increasing order.
-2, u, 5
Let y be (-1 - -1)*1/2. Let g be (y - -1) + (0 - 3). Suppose -4*r + 5*v + 9 = 0, -r + 2*v + 2 + 4 = 0. Sort g, 2, r in increasing order.
r, g, 2
Suppose -3*x + 3*c - 19 - 2 = 0, -2*x - 26 = 4*c. Let n be ((-8)/6)/(x/(-27)). Let a = -2 - -1.8. Put -1, n, a in descending order.
a, -1, n
Let d = 155 + -154.7. Let v = 3 - -10. Let i = v - 18. Sort d, 1, i in decreasing order.
1, d, i
Let m = -8 - -10. Suppose m*r = -r + 6. Sort 5, r, -0.1 in ascending order.
-0.1, r, 5
Let o = 0.07 + -0.03. Let w = o + -5.04. Let h be (-1 - 0) + (-20)/(-10). Put h, w, 1/4 in ascending order.
w, 1/4, h
Let n = -5 - -7. Sort 0.03, n, 5 in decreasing order.
5, n, 0.03
Let s(x) = -11*x**2 + 5*x + 6. Let q(w) = 12*w**2 - 6*w - 7. Let d(y) = 5*q(y) + 6*s(y). Let c be d(1). Sort c, 6/7, -3 in decreasing order.
6/7, -3, c
Let k be ((-3)/(-5))/((-4)/20). Let o be (-4)/(-10) + (-26)/(-10). Suppose -p - 2 = -f - 1, 3*f + o*p - 21 = 0. Sort f, k, 1 in ascending order.
k, 1, f
Let a be (2/(-6))/(2/6). Let t = -12 - -16. Sort a, 3, t in descending order.
t, 3, a
Let p = -0.02 + 0.22. Let n = -0.1 - p. Sort 3, n, 1/7 in decreasing order.
3, 1/7, n
Let p = -4.5 - -5. Let a = p - 0.3. Put a, -0.4, -2/13 in descending order.
a, -2/13, -0.4
Let w = -3 - -14. Let s = -4.92 - 0.08. Sort s, -0.2, w in ascending order.
s, -0.2, w
Let x(d) = -d - 1. Let s be x(-3). Suppose -2 = l - n, 0 = -0*l + 5*l + s*n + 17. Sort -4, 3, l.
-4, l, 3
Let y = -2.03 + 2. Let g = 565 + -561.03. Let w = y - g. Put -3, w, -5 in ascending order.
-5, w, -3
Let u(b) = -b**2 + b + 2. Let d be u(0). Suppose 4*r = 3*o + 24, -28 = -4*r + 4*o - 0*o. Put -1, d, r in ascending order.
-1, d, r
Suppose 0*v - 5 = n - 2*v, -4*v + 4 = -4*n. Let b = -8 + n. Suppose 0 = -0*u - 3*u - 6. Put u, 5, b in increasing order.
b, u, 5
Let v be 2/5*(0 + (-10)/(-14)). Let a = 9663 - 48522/5. Let d = 41 + a. Put v, 3, d in descending order.
3, v, d
Let k = -147 - -154.3. Let v = -1 + 8. Let c = k - v. Sort 4, 2/15, c.
2/15, c, 4
Let g(q) = -2*q**2 + 18*q - 13. Let j be g(8). Sort 0.4, -6, j, -0.2.
-6, -0.2, 0.4, j
Let n = -19 - -18. Put n, 1, 4 in decreasing order.
4, 1, n
Suppose 24 = 5*k + 14. Sort k, -0.3, -6 in ascending order.
-6, -0.3, k
Let r(o) = 2*o - 1. Let t be r(4). Suppose -4*v = 4*w - t - 21, -2*w - 4 = -4*v. Let q = 2 - 5. Put q, w, -1 in descending order.
w, -1, q
Suppose -5*k + 4 = -6. Let f = k + 2. Suppose 3*j + 15 = 0, -2 - 5 = -f*v - j. Sort v, 4, -2 in descending order.
4, v, -2
Let f(v) = v**2 + 14*v - 1. Let c(h) = -h + 1. Let b(p) = -6*c(p) - f(p). Let x be b(-8). Sort 3, 5, x in decreasing order.
5, 3, x
Let r = -40 + 39.7. Sort r, 0.5, 38 in descending order.
38, 0.5, r
Let c = -3/29 - 14/145. Sort 3, c, 2/11, -2/5 in descending order.
3, 2/11, c, -2/5
Let h be (16/(-2))/(-5 + 3). Let s be ((-2)/(-3))/((-4)/(-42)). Sort 3, s, h in decreasing order.
s, h, 3
Let n = 0.6 - 6.6. Let m = 0.07 + 3.93. Let i = m + n. Sort i, 4, 0.4 in descending order.
4, 0.4, i
Suppose 3*p - 7 = -19. Put 2, p, 1 in increasing order.
p, 1, 2
Let c be (-3)/(-6) + (-2)/4. Suppose 4*s - 7*s + 9 = 0. Suppose d + 2 