. Let b = z - 0.2. Sort b, -3/2, 5/2.
-3/2, b, 5/2
Let x = 0.039 + 3.961. Put x, -5, -0.4 in decreasing order.
x, -0.4, -5
Let h be 4/15*(-5)/6. Let n = -0.46 - -0.73. Let x = -0.07 + n. Sort x, h, -5 in increasing order.
-5, h, x
Suppose -4 + 19 = 5*x. Let p = -3 - 2. Sort x, p, 0 in decreasing order.
x, 0, p
Let q = 3 + 1. Let a be 2/17 - (-294)/102. Let w(o) = o + 3. Let f be w(-3). Sort q, a, f in descending order.
q, a, f
Let m = 7 + -4. Let l = 2 - 0. Sort 0, l, m in increasing order.
0, l, m
Let q(y) = -y - 1. Let h be q(-5). Let d be (-63)/(-28) + (-1)/h. Sort d, 4, -4 in descending order.
4, d, -4
Let v = 177/4 - 1971/44. Put v, -5, -2 in decreasing order.
v, -2, -5
Let v = 6.5 - 3. Let p = -3 + v. Let n = 18 + -268/15. Sort n, 1, p.
n, p, 1
Let a(c) = -3*c**3 - c**2 - 2*c - 1. Let i be a(-1). Suppose 1 = 2*g - 7. Let m = 9 + -7. Sort i, m, g in descending order.
g, i, m
Suppose 0*r - 48 = -4*r. Let o = -7 + r. Suppose -3*u - 5*l + o = 0, 2*u + 3*l - 20 = 8*l. Sort u, 2/17, -0.2 in descending order.
u, 2/17, -0.2
Let r be 2/((-21)/(-9) + -2). Let a = -3 + r. Suppose -a*p - 1 = -7. Sort p, 4, 1 in increasing order.
1, p, 4
Let s(h) = 7*h**3 - 7*h**2 + 5*h + 16. Let a(c) = 15*c**3 - 13*c**2 + 11*c + 33. Let t(f) = 6*a(f) - 13*s(f). Let b be t(13). Put 2, -5, b in decreasing order.
b, 2, -5
Let h be -4 - ((-95)/(-4))/(-5). Sort 0.05, h, 5 in ascending order.
0.05, h, 5
Let j(v) = -v**2 - 12*v - 8. Suppose 0 = 6*n - n + 2*f + 53, -f = -1. Let x be j(n). Sort -1, -2, x.
-2, -1, x
Suppose -2*h + 16 = -4*t, 0 = 5*h + 2*t + 2 + 18. Put h, 7, 2, -5 in increasing order.
-5, h, 2, 7
Let s = 18 + -16. Put -1, s, 3 in increasing order.
-1, s, 3
Let i(z) = z**3 + 27*z**2 - z - 26. Let r be i(-27). Sort -3, 0, -5, r in decreasing order.
r, 0, -3, -5
Let m be (-3 - -1)/2 - (91 + -97). Put 3, m, 8 in descending order.
8, m, 3
Let i(m) = 2*m + 15. Let r be i(-10). Sort 2/11, r, 3 in decreasing order.
3, 2/11, r
Let d be -1 + (1 - -2) + -1. Suppose 3 = m - 2. Let o = m + -6. Sort o, -4, d in decreasing order.
d, o, -4
Suppose -3*r + 2*d + 5 = 0, 5*d - 40 = -r - 2*r. Put 3, r, 0, 2 in descending order.
r, 3, 2, 0
Let x = 42 + -41. Let p be 5 + (-2 - -1)*0. Sort -2, x, p.
-2, x, p
Let b = 9.4 + -9. Sort -3, 3, b in ascending order.
-3, b, 3
Let j = 0.01 + 0.29. Put 3/5, j, 8 in descending order.
8, 3/5, j
Let f = -1.09 - -4.09. Let k = 1/207 + 821/1449. Put f, -0.4, k in descending order.
f, k, -0.4
Let q = -112/3 - -36. Put 2/5, -5, q in descending order.
2/5, q, -5
Suppose 5*h + 0*h - 35 = 0. Suppose -2*t - 5 = -5*c + 24, -4*t + h = 3*c. Sort 3, c, 4 in ascending order.
3, 4, c
Let p(l) = 5*l**2 - 4*l - l**3 + 0*l**3 + 0*l**2. Let x be p(3). Put 2, 1, x in descending order.
x, 2, 1
Let d be (-10)/((-35)/2 - -5). Let k = -4 + 0. Put -3, k, d in ascending order.
k, -3, d
Let i = -29/165 - -1/110. Sort 2/5, i, -1 in ascending order.
-1, i, 2/5
Let x be 1 - (1 - 0) - (-26)/117. Put x, -0.11, -1, 1/2 in ascending order.
-1, -0.11, x, 1/2
Suppose r + r - 8 = 0. Suppose 0 = 4*u + 2*x - 1 - 3, x + 10 = r*u. Put u, 1/3, -1/5 in ascending order.
-1/5, 1/3, u
Let n be 10/(-6) + (-1)/3. Suppose -3*y = 4*x, -y - 2*x - 10 = 3*y. Let t be 3/(-6)*y*2. Sort n, t, 5 in decreasing order.
5, t, n
Let b = 1.27 + -0.27. Sort -4, b, -7 in decreasing order.
b, -4, -7
Let x be (22/3)/((-20)/9). Let v = -9/5 - x. Let h = 7 - 6. Put v, 0.5, h in descending order.
v, h, 0.5
Let a be (3/2)/((-3)/(-10)). Sort a, -5, -2 in descending order.
a, -2, -5
Let b = -3 + -8. Let x be (-12 - b)/(1/5). Put x, 3, -4 in increasing order.
x, -4, 3
Let v be (3/2)/((-3)/(-4)). Suppose -v*b = 7 - 3. Sort 5, b, 1.
b, 1, 5
Let a(j) = j - 8. Suppose 0 = o + 2*o - 4*u - 37, 2*o = -5*u - 6. Let t be a(o). Put t, 5, -5 in increasing order.
-5, t, 5
Suppose 19 = -2*t - 5*z - 6, -4*t = z + 23. Let l be 1*-4 + (-45)/t. Sort -9, l, 4.
-9, 4, l
Let p be 1/(-6) + (-175)/(-42). Let y(z) = -z**3 - 9*z**2 - 10*z - 11. Let l be y(-8). Sort -3, l, p in ascending order.
-3, p, l
Let p(n) = n**2 - n - 1. Let x be p(-2). Put 1/4, x, 3 in descending order.
x, 3, 1/4
Let g = 1 + -8. Let f = 6 + g. Put -2/3, 1/4, f in increasing order.
f, -2/3, 1/4
Let f(z) = z**2 - 6*z + 9. Let q be f(6). Let u(r) = r**2 - 10*r + 13. Let h be u(q). Suppose 0*t - 5 = -2*w - t, -w = 3*t. Sort h, -2, w.
-2, w, h
Suppose -x - 4 = x. Sort 3, x, 4.
x, 3, 4
Suppose 19 = 7*a + 5. Put 7, 0, a, 3 in increasing order.
0, a, 3, 7
Let k = 0.72 + 2.28. Sort k, 0.2, 0.
0, 0.2, k
Suppose -4*t = -3*k - 2*t - 5, -4*k = 5*t - 1. Suppose 5*q = -20, 4*i - i - 3*q = 18. Put k, 0, i in ascending order.
k, 0, i
Let z = 3.313 - 0.013. Let l = -3 + z. Put l, 1, 2/3 in descending order.
1, 2/3, l
Let i = 0.8 - -0.2. Let w be 1/((0 - 6)/3). Sort w, i, 0 in ascending order.
w, 0, i
Let b be 4 - 11 - (-1 + 1). Sort 0.5, b, 1/5.
b, 1/5, 0.5
Let c = 0 + -3. Let r = 7 - 14. Let l = 5 + r. Put l, -5, c in decreasing order.
l, c, -5
Let h(d) = -d**3 + 6*d**2 + 7*d + 3. Let f be h(7). Put 0, 0.5, f in descending order.
f, 0.5, 0
Let o(f) = f**3 - 3*f**2 - 4*f + 3. Let d be o(4). Let g be ((-5)/d)/((-3)/9). Let k(y) = -2*y**2 - 2*y + 2. Let m be k(-2). Sort m, g, 0 in ascending order.
m, 0, g
Let w = -7 + 8. Let u = w - 4. Let r(p) = p**2 - 5. Let m be r(0). Put m, -4, u in descending order.
u, -4, m
Let a = -4.5 - -5. Put -1, a, -1/2 in decreasing order.
a, -1/2, -1
Let t(r) = 2*r + 7. Let n be 4/((-16)/(-3))*-8. Let k be t(n). Put 4, k, 2 in decreasing order.
4, 2, k
Suppose 3*h = -4*b + 43, 2*b - 6 = -b + 3*h. Sort -2, 1, b.
-2, 1, b
Let f = -43/2 + 22. Sort 4, -1/4, f.
-1/4, f, 4
Suppose -5 = 5*b - 3*l + 6*l, -b + 3*l = 1. Put b, -2, -3, 0 in increasing order.
-3, -2, b, 0
Suppose 3*l = -z + 4*l + 1, -5*z + 19 = 2*l. Sort 2, z, -21, -5 in ascending order.
-21, -5, 2, z
Let t = -0.6 + 11.6. Let b = 8 - t. Sort -2, b, 2.
b, -2, 2
Let v(w) = -w + 22. Let b be v(14). Put 0, b, 5, -2 in descending order.
b, 5, 0, -2
Let c(b) be the third derivative of b**4/24 - b**3 - b**2. Let q be c(9). Let w be q/(6/(-8)*-2). Sort -4, w, -3.
-4, -3, w
Let c = 429/790 + -346121/433710. Let j = -2/61 - c. Put j, 5, 3 in ascending order.
j, 3, 5
Let j = 11/5 + -43/15. Sort 4/3, 0, j.
j, 0, 4/3
Suppose -x + 4 = 7. Let z = 0.03 + 0.07. Sort -2, x, z in descending order.
z, -2, x
Let u = 12 - 12. Sort -4, 1, u in increasing order.
-4, u, 1
Suppose 0 = 4*k - 6 - 2. Let h = 25 + -18. Suppose -h = 3*s - 4. Put k, 1, s in ascending order.
s, 1, k
Let n = -44 - -44.5. Put 0, n, 0.3 in decreasing order.
n, 0.3, 0
Let i = 12 - 5. Suppose -5*y = l - 4, -3*y + 5*l - 27 + 7 = 0. Sort -4, i, y in descending order.
i, y, -4
Suppose 2*c - 3*c + 4 = 0. Let k = c + -7. Put k, 5, -2 in decreasing order.
5, -2, k
Let d = -4 - -3. Let m = 1469/9 - 163. Let v be (-2)/3 - (1 + -1). Put v, m, d in descending order.
m, v, d
Suppose -3*p = -2*q - p - 8, -1 = -5*q - 2*p. Let d be ((-24)/(-36))/(4/(-30)). Sort d, 2, q in decreasing order.
2, q, d
Let r be ((-5)/3)/(20/(-30)). Sort -0.2, 2/15, -0.3, r in decreasing order.
r, 2/15, -0.2, -0.3
Suppose -3*q = 8 - 5. Let k = 8 - 3. Suppose 4*g - 2 = m, -5*m = 5*g - 0*m - 15. Sort q, g, k.
q, g, k
Suppose -3*r - 33 + 3 = 0. Put -3, -2, r in ascending order.
r, -3, -2
Let z = 2.04 - 0.04. Let a = -2.3 + z. Put a, 3, 0 in ascending order.
a, 0, 3
Let t(o) = 2*o**3 - 52*o**2 - o + 21. Let p be t(26). Sort 5, p, 4, -4 in descending order.
5, 4, -4, p
Suppose -3*u + 21 = -2*u. Let g be (-3)/5 - ((-72)/(-30) - 3). Suppose o - 2*s + 5 = -g*s, -3*s = 3*o - u. Sort -3, o, -1 in descending order.
o, -1, -3
Let c be 14/4*16/14. Suppose 0 = -5*k + s + 5, 4*k + 2*s - c = -0*k. Sort 3, k, -4 in increasing order.
-4, k, 3
Let d be 150/125 + 142/(-10). Suppose -5*b + 9 = -2*b. Sort -3, d, b in descending order.
b, -3, d
Let s(t) be the third derivative of -t**5/60 + t**3/2 - 2*t**2. Let x be s(0). Suppose -4*o = 4*y, y - x*o + 2 = -10. Sort 0, y, -2 in descending order.
0, -2, y
Let g be (-1 - -3)*(-35)/(-14). Suppose 2*m + 10 = -0*m. Sort g, m, 4 in ascending order.
m, 4, g
Let l = 15 + -11. Let n(s) = -s - 12. Let v be n(-7). Suppose -1 = 2*d - 5. Sort v, l, d in decreasing order.
l, d, v
Let k be (1/2 - 0)*-10. Sort k, 2, -1 in decreasing order.
2, -1, k
Suppose -2*g - b = -1 + 9, 0