 Sort -19, c, -1/7.
-19, -1/7, c
Let n(z) = 95*z - 9. Let b be n(4). Let l = 1864/5 - b. Sort 0.2, 2, l.
0.2, l, 2
Let f = 6.9 + 0.1. Let c = 8 - f. Put -2/11, -5, c in descending order.
c, -2/11, -5
Suppose 0 = 2*y - 1 - 1. Let w = 8 + -9. Let k be -2 + (w + -1)*-1. Sort k, 4, y.
k, y, 4
Let m be (-8)/(-20) + (-24)/135. Put m, 0.18, -4 in decreasing order.
m, 0.18, -4
Let l(v) = -v**3 + 6*v**2 - 7*v + 10. Let n be l(5). Suppose -3*b + 12 = 3. Suppose -b*w + 5*w + 6 = 0. Sort w, 3, n in ascending order.
w, n, 3
Let u = 27 - 23. Put 3/4, u, -3 in descending order.
u, 3/4, -3
Let f = 4/83 - -35/996. Sort f, -2, -5 in decreasing order.
f, -2, -5
Let o(j) = -j + 9. Let a be o(8). Suppose -4 = d + t, -t - 3 = 3*d + a. Sort 3, d, -3 in decreasing order.
3, d, -3
Let u be 4/20 + 0 + 0 + 0. Sort 14/11, -2, u, 1 in ascending order.
-2, u, 1, 14/11
Let v = -1.74 + -0.06. Let k = 0.8 + v. Let d = 6 + k. Put -3, d, -0.5 in descending order.
d, -0.5, -3
Let u be ((-3)/2)/((-15)/20). Sort u, 1, 4 in decreasing order.
4, u, 1
Let h(x) = x - 13. Let n be h(8). Put 3, n, 0 in ascending order.
n, 0, 3
Let g = -2.2 - -1.2. Sort g, -9/4, -0.4.
-9/4, g, -0.4
Let h = -7 + 5. Let s = -25 - -27. Suppose 0 = -s*z + 1 + 5. Sort z, h, -1 in ascending order.
h, -1, z
Let a = -865/7 + 123. Sort a, 1, -1/5 in increasing order.
a, -1/5, 1
Let a = 3 + -2. Let u = 522/5 + -104. Sort a, u, 3/2 in ascending order.
u, a, 3/2
Let k(y) = -y**3 + 4*y**2 + y - 4. Let o be k(4). Let b be 33/12 - (-1)/4. Let n = -1 + b. Sort 1, o, n in decreasing order.
n, 1, o
Let m(y) = -y**3 + 2*y**2 + 2. Let g be m(3). Sort 2/9, g, -1, -3.
g, -3, -1, 2/9
Let r be (-2)/(-3)*24/(-16). Put r, 0, -3 in ascending order.
-3, r, 0
Suppose 2*s - 4*s = -4*f + 26, f + 10 = -5*s. Sort -4, s, 0.
-4, s, 0
Let y = -39 - -36.1. Let p = 3 + y. Sort -0.1, p, -3 in ascending order.
-3, -0.1, p
Let s be 3*(-4)/6 - -1. Let i(f) = -f**2 - 4*f - 1. Let v = -14 + 11. Let w be i(v). Sort w, s, 3 in increasing order.
s, w, 3
Suppose 2*t - t - 5 = 0. Suppose -5*a = -4*a - 5. Suppose -a*q + 3 = 13. Put t, q, 4 in ascending order.
q, 4, t
Let a = -1 - -1. Sort 0.4, -1, 3, a in decreasing order.
3, 0.4, a, -1
Let h = -0.5 + 3.5. Let k be -1 + 8/2 - 38/14. Sort 4, k, h in ascending order.
k, h, 4
Let g = -0.3 - 2.7. Put -5, g, -1 in increasing order.
-5, g, -1
Let r = -0.26 - -0.22. Sort -3/2, 0, r in ascending order.
-3/2, r, 0
Let y be 13/5 + 16/40. Put -5, -9, y in decreasing order.
y, -5, -9
Let g = -0.9 + 0.9. Let a = g + 0.2. Let v = -0.3 - 0.1. Sort v, a, -0.3 in decreasing order.
a, -0.3, v
Let g be 96/44 - 8/44. Let k(l) = 4*l**3 - 1. Let p be k(-1). Put g, 0, p in decreasing order.
g, 0, p
Let o(b) = -5*b. Let q be o(-1). Put 1, -5, q in descending order.
q, 1, -5
Let h = 91/123 - 3/41. Put h, -0.2, -2 in ascending order.
-2, -0.2, h
Let j be (-4)/(-6)*(-3 - -9). Let y be 281/4*j/186. Let u = y - 1/93. Put -0.4, u, -3/5 in ascending order.
-3/5, -0.4, u
Let p = 5 - -14. Let r = 19 - p. Put -3, r, 3 in decreasing order.
3, r, -3
Suppose 0 = -4*l + 3*l + 15. Suppose -19 = -4*w - 3*c, -4*w + 0*c = -c - l. Suppose -5*n + 3*d - 5 = -3*n, -5*d + 35 = 2*n. Sort w, n, 3 in descending order.
n, w, 3
Suppose 5*u = -g - 20, -20 = -g + 3*g + 5*u. Suppose g*t + 5*t = 0. Suppose -13 = -m + 4*z, -3*m = -0*z + 4*z + 9. Put 4, t, m in ascending order.
t, m, 4
Let z be 1/(-4) + (-17)/(-4). Let j = z + -7. Let a(x) = -x + 2. Let l be a(4). Put j, 4, l in decreasing order.
4, l, j
Suppose -1 = 2*b - 5. Let r = 11 + -7. Put b, 0, r in decreasing order.
r, b, 0
Let s = 24.1 - 29.1. Let j = 0 + -0.4. Sort -2/3, j, s.
s, -2/3, j
Let l be 4*(1 + 6/(-9))/(-1). Let w = -0.1 - -0.1. Sort -1, w, l in decreasing order.
w, -1, l
Let a(u) = u - 6. Let l be a(7). Let r(g) = -g**2 - g + 1. Let d be r(l). Let m(w) = w**3 + w**2 + w - 1. Let p be m(1). Sort d, p, 4 in increasing order.
d, p, 4
Let x be ((-1)/2)/((-1)/(-2)). Let k(g) = g + 3. Suppose 2*m - 3*m - 8 = 0. Let y be k(m). Put y, x, 5 in increasing order.
y, x, 5
Let g = -58 + 58.05. Sort -1, 2/7, -0.3, g in descending order.
2/7, g, -0.3, -1
Let l(x) = -x - 3. Let m be l(-5). Suppose 2*w + 2*b - 30 = -m*w, 3*w - 36 = 3*b. Put 2, w, -3 in descending order.
w, 2, -3
Suppose z - 3*z + 19 = -5*b, 22 = -4*z - 2*b. Let i = 7/5 - 9/5. Sort i, z, -6 in ascending order.
-6, z, i
Suppose -4*i + 4 + 8 = 0. Let n be (i/(-2))/(1/(-2)). Put -2, 4, n in decreasing order.
4, n, -2
Let i be (-2)/(-5) + (-8)/10. Let f = -9/5 + 17/15. Put 5, f, i in ascending order.
f, i, 5
Let v = -5.08 + 0.08. Let h = -1188.99 + 1184. Let n = v - h. Put 1, n, 3 in ascending order.
n, 1, 3
Let h = -12 - -7. Suppose -4*z - 8 = -2*u, -3*u - 6 = 3*z - 18. Put -4, u, h in ascending order.
h, -4, u
Let o be 1 + ((-6)/(-5) - 1). Let k = 95 - 91. Put 2, o, k in descending order.
k, 2, o
Let i(p) = 4*p**2 - 5*p - 1. Let z(x) = -x**2 + x + 1. Let f(r) = i(r) + 3*z(r). Let u be f(2). Let l be 6/3*3/u. Put 2, l, 5 in decreasing order.
5, l, 2
Let v = -8 + 43/5. Let o = -0.32 + -0.08. Put 1, o, v in descending order.
1, v, o
Let y(p) = -39*p + 5. Let g be y(0). Suppose -2*h + 7*h = 4*i - 43, 4*h = -3*i - 53. Let x = -7 - h. Sort 1, x, g in descending order.
g, x, 1
Let g = 1.4 - 2.4. Put g, -1/5, 5 in decreasing order.
5, -1/5, g
Let v = 6/11 - 32/99. Let z = -0.5 + -0.5. Sort v, z, 4 in ascending order.
z, v, 4
Suppose -3*y - 31 = 4*v, -2*y - 3*y = -2*v + 95. Let n be 2/6 + 70/6. Let t = n + y. Sort -2, 1, t in ascending order.
t, -2, 1
Let d be 66/(-30) + (-1)/(-5). Suppose 2*o + 3*o + 9 = -2*m, -2*o + 6 = -4*m. Suppose 31 = -4*j + 3*a, -3*j - 7 = -0*a + a. Sort d, o, j in decreasing order.
o, d, j
Suppose 0 = b + 3*n + 6 - 2, 0 = 2*b - 2*n. Sort b, -1/2, 2 in descending order.
2, -1/2, b
Let m(a) = -a**3 - 3*a**2 + 3*a - 4. Let w be m(-4). Suppose -f - 3*f = w. Suppose -d + 4*x + 13 = f, 3*x = 5*d - 12 - 2. Put 3, -5, d in decreasing order.
3, d, -5
Let z(f) = -2*f - 1. Let j be z(0). Put 3, 0, j in decreasing order.
3, 0, j
Let i = 0.32 + -0.02. Let b = -401 - -420.1. Let s = -19 + b. Sort i, s, 0 in ascending order.
0, s, i
Let s be (12/16)/((-1)/(-2)). Put s, 5/6, 2 in increasing order.
5/6, s, 2
Let m be ((-2)/(-6))/((-33)/9 - -4). Let f = 0.01 - 0.04. Sort f, 1/10, m in descending order.
m, 1/10, f
Let n = 1 - 4. Let y(m) = -m**2 + 4*m + 15. Let a be y(6). Put 2, a, n in decreasing order.
a, 2, n
Suppose -26*t = -27*t - 7. Sort -1, 2, t.
t, -1, 2
Suppose 13 = 2*c + 1. Suppose -4*y - 2 + c = 0. Let t be (-3)/y + 3 + -1. Put 2, -5, t in ascending order.
-5, t, 2
Let u = -8/55 - 659/385. Let i = 53/21 + u. Sort 0.5, i, -0.1 in decreasing order.
i, 0.5, -0.1
Let n = 0 + -9. Put 1, -5, n in ascending order.
n, -5, 1
Let q = -30.1 + 32. Let r = q + -0.9. Let m = -3 + 5. Sort r, -0.2, m in descending order.
m, r, -0.2
Let x(s) = s**3 - 7*s**2 - 8*s + 4. Let n be x(8). Suppose -4*b + 3*b + o = 0, -1 = b - 2*o. Sort n, 0, b in increasing order.
0, b, n
Suppose 5*s - 3*h = -34, -4*s - 3*h - h - 8 = 0. Sort -1, 10, s in descending order.
10, -1, s
Suppose 0 = 5*j - 15. Suppose z - 3*z = i - 12, -j*z = -2*i - 11. Let u(c) = -c**3 + 18*c**2 - 16*c - 16. Let g be u(17). Put g, -2, z in decreasing order.
z, g, -2
Let c(t) = -6 + 4*t + 8*t - 12 + 2 - t**2. Let i be c(11). Put 1, -2, i in decreasing order.
1, -2, i
Let l = -0.5 - -0.1. Let x = -559/6 + 93. Sort l, x, -4 in descending order.
x, l, -4
Let z(l) = l - 1. Let x be z(6). Let h = x + -9. Sort 4, 3, h in descending order.
4, 3, h
Let q = 4.8 - -0.2. Sort -0.2, q, 1/10.
-0.2, 1/10, q
Let t = 56/187 + -2/11. Sort t, -0.3, -2 in descending order.
t, -0.3, -2
Let f be (-1)/(-2) + 7/(-8). Let r = 9.94 - 10. Let i = -0.14 + r. Put i, f, -1/8 in decreasing order.
-1/8, i, f
Suppose 5*v + 8 = 7*v. Sort 1, 2, v in ascending order.
1, 2, v
Let j = -6 + 6.3. Put 5, j, -5 in decreasing order.
5, j, -5
Suppose 0 = -2*u - 0 + 8. Suppose 0 = 4*w - 8*w - 16. Let d be (0/4)/(w/2). Put 3, d, u in ascending order.
d, 3, u
Let c = 14 - 16. Sort 1, c, -1 in increasing order.
c, -1, 1
Let q = -0.58 - 0.42. Let r = 1.8 + -2. Put 0.2, r, q in ascending order.
q, r, 0.2
Suppose 0 = 2*c - 4*c - 10. Let v(t) = -t - 7. Let p be v(c). Sort -5, p, 5 in decreasing order.
5, p, -5
Let d be -1 + (-16)/7 - (-32 - -2