x in descending order.
w, x, o
Suppose 14*h - 8*h - 12 = 0. Sort -4, -7, h in decreasing order.
h, -4, -7
Let t = 275 - 279. Let w = -23/3 + 7. Sort t, w, -5 in ascending order.
-5, t, w
Let w(f) = f**3 - 4*f**2 + 3*f + 2. Let q = -5 - -8. Let s be w(q). Let i be s*-5*2/(-4). Put -1, -5, i in ascending order.
-5, -1, i
Suppose 4*l = 3*l. Suppose 0 = -2*x + 6 + 4. Suppose j = 2*j - x. Sort l, -2, j in decreasing order.
j, l, -2
Let n = -0.5 - -0.2. Let l = -7/6 + 41/30. Put 6/5, l, n in increasing order.
n, l, 6/5
Suppose 2*w = 3*t + 2, -22 = w + 3*t - 5. Sort -7, w, -2/13, 1 in increasing order.
-7, w, -2/13, 1
Let b = -7 - 2. Sort 2, b, -0.1 in ascending order.
b, -0.1, 2
Let q = -0.2 - 0.4. Let s = -0.6 - q. Put -3, 2/3, s in decreasing order.
2/3, s, -3
Let j be (-12)/30 - 17/(-5). Suppose 0 = -3*r + 4*l - 3 - 3, -j*r = l - 9. Let x be (-11)/(-4) - (-3)/12. Put x, r, 5 in increasing order.
r, x, 5
Let t(s) = s**3 + 3*s**2 + 3*s + 3. Let u be ((-8)/5)/(3/(-15)). Suppose -2*x - 2*n = u, -2 = -2*x + 5*n + 4. Let m be t(x). Sort m, 3, 2.
m, 2, 3
Let o = -330391 + 50549008/153. Let f = 49/9 + o. Let g = 37 + -37.1. Sort g, 0, f in ascending order.
g, 0, f
Let u(k) = k - 11. Let z be u(11). Let s be ((-2)/(-4))/(3/6). Suppose 4*c + 12 = t, 2*c = t - s - 3. Put -1, t, z in ascending order.
t, -1, z
Suppose 2*r - 8 = 3*r. Sort -3, r, 3, -4.
r, -4, -3, 3
Suppose 3*p + 5*x - x - 43 = 0, x = 3*p - 68. Let g be ((-1)/p)/(1/(-6)). Sort -3, 1, g in increasing order.
-3, g, 1
Let g = 27 - 24. Suppose -13 - 2 = 3*s. Put 0, g, s in decreasing order.
g, 0, s
Let w be -2 + -1 - (-9 - -3). Suppose 0 = 4*l - 4*f, l - w*f - 6 = -0*l. Sort 3, 1, l in ascending order.
l, 1, 3
Let w(i) = 2*i**2 - i. Let n be w(1). Let o be (-1 - -3)/(-2) - -6. Sort 4, n, o in increasing order.
n, 4, o
Let m(k) = k**3 - k**2. Let d be m(1). Let r(l) = l + 4. Let h be r(-6). Sort 4, d, h in ascending order.
h, d, 4
Let p = -0.6 + 1.1. Let d = -6 + 6.4. Sort -0.2, d, p in decreasing order.
p, d, -0.2
Let p be 3 + (-2)/4*0. Let x(d) = -d**2 - 7*d + 3. Let z be x(-9). Let o = 10 + z. Put o, 2, p in decreasing order.
p, 2, o
Let c be (-3)/4 + (-7)/(784/(-116)). Sort 2, 0.6, c, 4.
c, 0.6, 2, 4
Suppose h - 2*h + 3 = 0. Let b = 11 + 10. Suppose -o + 5 = -5*n - 0*n, 5*o = 2*n - b. Sort -2, h, o in ascending order.
o, -2, h
Let o = 29 - 36. Put 4, -3, o in descending order.
4, -3, o
Let l be ((-4)/7)/((-4)/(-14)). Put -1, -5, l in increasing order.
-5, l, -1
Let z = -5 + 11. Suppose 9 + z = 3*t. Suppose -10 = p + 5*q, 2*p + 2*q = -p - 17. Put 1, t, p in increasing order.
p, 1, t
Let j = 67.5 + -68. Sort j, -0.4, -8/3, -4 in descending order.
-0.4, j, -8/3, -4
Let f = -4 + 1. Sort -5, 0.2, f.
-5, f, 0.2
Let r(a) = 2 + 3*a**2 + 3 + 0 - 2*a**2. Let b be r(0). Let w be (-1)/(-1) + -1*4. Put -4, b, w in increasing order.
-4, w, b
Let l be 2 + -1 - 2/(-2). Let t be 4*((-2)/(-8) - 1). Let w = -13 + 12. Sort l, w, t.
t, w, l
Suppose -5*g = -2*g - 15. Let i(c) = -2*c**2 + 5*c - 2. Let j be i(3). Put -1, j, g in increasing order.
j, -1, g
Let z(y) = y**2 + 12*y - 5. Let i be z(-12). Sort -3, 1, 4, i.
i, -3, 1, 4
Let s = 0 - -2. Let t be (4/15)/((-2)/33). Let o = -24/5 - t. Sort o, s, -5 in descending order.
s, o, -5
Let j be (0 - (-5 - -9)) + 0. Sort -5, -2, j, 3.
-5, j, -2, 3
Let v = -4 - -1. Suppose 6 = g + 7. Let x be g - (1 - -1 - 7). Sort 2, x, v in decreasing order.
x, 2, v
Let d = -2.8 + -0.95. Let l = 4 + d. Let i = -0.05 + l. Put 0.4, i, 1/2 in increasing order.
i, 0.4, 1/2
Let l = 6.3 - 7. Sort 0.1, 0.5, l in ascending order.
l, 0.1, 0.5
Let y = -2 - -4. Let f be 0/1*(1 - 0). Put f, 3, y in descending order.
3, y, f
Let p = 1 - -3. Put p, 3/5, -5 in descending order.
p, 3/5, -5
Let z be 5 + (10 - 4)/(-3). Sort z, -4, -1 in increasing order.
-4, -1, z
Let p = 1/20 + 53/140. Sort 3, 0, p.
0, p, 3
Let g(l) = -l**3 + 13*l**2 - 12*l + 4. Let d be g(12). Suppose -d*w = w + 10. Let y = 4.98 + 0.02. Put 0.2, w, y in descending order.
y, 0.2, w
Let v = -153 - -152. Put 0, 5, v in decreasing order.
5, 0, v
Let d be (6/4)/(6/32). Let m = d - 14. Let f = m - -8. Put f, -3, -5 in increasing order.
-5, -3, f
Let r(n) = -n - 3. Let c be r(-7). Sort c, -2, 15 in increasing order.
-2, c, 15
Let l = -0.1 - -0.7. Let q = -0.2 + l. Let j = 1/6 - -1/6. Sort 4, q, j.
j, q, 4
Let j = 2 - -2. Let q = -132 + 21. Let o be 3*(q/117 + 1). Put o, 2/7, j in ascending order.
o, 2/7, j
Let g(n) = n**3 - 6*n**2 + 6*n - 5. Let d be g(5). Suppose 0*h + 6 = 3*h. Suppose i + 26 = -h*r - 3*i, 4*r - 3*i = -8. Put d, 2, r in decreasing order.
2, d, r
Let f(u) = 2*u**3 - 7*u**2 + 3*u. Let q be f(3). Let c(i) = i**2 + 5*i + 2. Let j be c(-5). Sort q, j, -3 in increasing order.
-3, q, j
Suppose 0 = -n + 4, -n - 28 = 2*p - 2*n. Sort -1, p, -2.
p, -2, -1
Let f be -4 - (-1 - (-21)/(-6)). Sort -4, 1, f in decreasing order.
1, f, -4
Let s(n) = -n**2 - 8*n + 5. Let a be s(-7). Let f be (-69)/a - (-3)/4. Put -3/4, 0.3, f in ascending order.
f, -3/4, 0.3
Let a = 20 - 19.98. Sort -0.5, a, -1/8 in decreasing order.
a, -1/8, -0.5
Let s = 4 + -6. Suppose c - 8 = -4*y, -c = 3*c - 4*y - 12. Suppose -5*j + 0 = -10. Put j, c, s in ascending order.
s, j, c
Let g be (2 - 3)/(1 - 0). Let w be -3 - (-8 + g + 3). Put w, 2, 0 in descending order.
w, 2, 0
Let r = -2 - -7. Put -14, -2, r in ascending order.
-14, -2, r
Let n(y) = -y - 8. Let x(r) = r**3 - 5*r**2 - 2*r + 4. Let j be x(5). Let k be n(j). Sort k, -5, 1 in decreasing order.
1, k, -5
Let u = -4 - -7. Let c(i) = i + 7. Let t be c(-7). Put u, t, -5 in descending order.
u, t, -5
Let f = -0.479 + -0.021. Let z = -3.1 + -1.4. Let a = z + f. Sort -1/7, -4, a in descending order.
-1/7, -4, a
Let t be (-4)/(-6)*3/20. Suppose -20 = -5*b - 3*z + 7*z, -20 = 3*b + 4*z. Let w be (1/2)/((-3)/30). Sort b, t, w in descending order.
t, b, w
Let s = -30 - -31. Sort s, 4, 5 in ascending order.
s, 4, 5
Let x = -1.8 - -1.8. Put -4, 1, x in decreasing order.
1, x, -4
Let k = -0.8 - -1.1. Let q = 0.5 - k. Let p = -3 - -7/2. Sort q, p, -0.3 in decreasing order.
p, q, -0.3
Let y(r) = r**3 + 3*r**2 - 2*r - 2. Let f be y(-3). Put -4, -2, f, 3 in increasing order.
-4, -2, 3, f
Let b = 27 - 25. Sort 3, b, -3 in descending order.
3, b, -3
Let p = -6 + 5. Let q be 3 + p - (-1 + 1). Suppose 3*w - 21 = -5*u, 3*u + 3*w - 2 - 13 = 0. Sort 0.5, q, u.
0.5, q, u
Let o = 3 + -3. Suppose 5 = 2*l + 1. Suppose -m + l = m. Sort o, m, -1 in increasing order.
-1, o, m
Let i = 1 - 1.05. Let a = i + -0.45. Put a, 1/5, -5/4 in decreasing order.
1/5, a, -5/4
Suppose -g - 2*b + 14 = 0, g - 2*b + 74 = 5*g. Suppose 0 = 9*j - 5*j + g. Let k = -7 - -11. Put j, -3, k in descending order.
k, -3, j
Let f = 149 + -152. Sort 2, f, -11, 5 in increasing order.
-11, f, 2, 5
Let y(w) = 2*w**2 + 4*w - 1. Let c = -2 + -1. Let m be y(c). Let a = -3 - -4. Sort m, 2, a.
a, 2, m
Let w = 12 - 8. Let a = w - 3.9. Let x = 43 + -561/13. Put a, 0, x in decreasing order.
a, 0, x
Suppose -3*s + 9 = -3*x, -2*s - 5*x = -4*x + 3. Let r be (7 - s) + 1 + -4. Sort -0.4, -3/4, r in increasing order.
-3/4, -0.4, r
Let g(k) = -k - 6*k**2 + 2*k - k. Let q be g(1). Let m = 2 + q. Put 1/2, m, 2/7 in descending order.
1/2, 2/7, m
Let y(s) = -s**3 + 12*s**2 + 2*s - 22. Let u be y(12). Sort u, -5, -4 in descending order.
u, -4, -5
Let t(a) = -a**3 - 4*a**2 - 2*a. Suppose -6*p + 2*p - 8 = 0. Let b be t(p). Sort b, -1, 3.
b, -1, 3
Suppose 0*l - 9*l + 18 = 0. Sort 3, l, -1 in decreasing order.
3, l, -1
Suppose -4*z + 2*z - 10 = 0. Put 0.5, 0.4, -0.2, z in ascending order.
z, -0.2, 0.4, 0.5
Let w(o) = -o**3 + 5*o**2 + 7*o - 3. Let d be w(6). Suppose 2*a = d*t - 20, -t + 18 = -2*a + 6. Sort 4, -1, a.
a, -1, 4
Let v = 0.08 - 0.25. Put -1/3, v, -1/4 in decreasing order.
v, -1/4, -1/3
Suppose 2*y + 16 = -104. Let w = y - -423/7. Sort w, -2, 1/5.
-2, 1/5, w
Let r = 10 - 16. Let h be (4/r)/((-4)/(-3)). Put 3, h, -0.4 in descending order.
3, -0.4, h
Let n be 32/(-4) + 8 + -3. Let y(l) = 3*l**2 - 1. Let t be y(1). Let f = 2 - t. Sort -1, f, n in descending order.
f, -1, n
Let z be (-2)/(2/(-15)*-3). Let m = z - -3. Let a = 73/3 + -24. Sort a, 4, m in ascending order.
m, a, 4
Suppose -1 + 25 = -n - 5*b, -36 = 4*n + 5*b. Put -13/3, n, 1 in ascending order.
-13/3, n, 1
Let x(k) = -k**3 + 5*k**2 +