e 11 = -l*q + 3. Put -0.3, f, q in descending order.
-0.3, f, q
Let p(q) = -q**2 + 2*q + 1. Let n be p(2). Let y = 2 + -3. Let w be ((-1)/3)/(y/(-3)). Put n, -5, w in decreasing order.
n, w, -5
Let z = -19 - -29. Suppose 2*v + z = 7*v. Sort -1, 3, v in decreasing order.
3, v, -1
Let j = 5.2 - 2.2. Let p = j - 1. Sort p, -2, -0.1 in decreasing order.
p, -0.1, -2
Let l = 41 + -41.1. Put 0.1, l, 9 in descending order.
9, 0.1, l
Let m = 15 + -21. Suppose 0*c - 8 = 4*c. Put m, c, -5 in increasing order.
m, -5, c
Suppose t = -3*t + 8. Suppose 6 = -3*h, -4*b - 4*h = -b + 8. Suppose b = 3*f - 1 - 11. Sort -1, f, t.
-1, t, f
Let v = 3 + -6. Put -1, 2/11, v in decreasing order.
2/11, -1, v
Let z(m) = m**3 + 10*m**2 + 10*m + 4. Let d be z(-9). Sort -1, d, 5 in descending order.
5, -1, d
Let t(q) = q**3 + 16*q**2 - 3. Let l be t(-16). Put 8, l, -5 in ascending order.
-5, l, 8
Let s be (6/(-7))/((-15)/70). Put s, -6, -5, 2 in descending order.
s, 2, -5, -6
Let h = -5.2 - -5. Put 5, h, -5 in decreasing order.
5, h, -5
Let g = 15 - 18. Sort 1, g, 3 in ascending order.
g, 1, 3
Let p(g) = g**2 + 15*g + 17. Let a be p(-14). Sort a, -3, -1.
-3, -1, a
Let x = 0.263 + 0.037. Let q = 1 - 1. Sort x, q, 0.1.
q, 0.1, x
Suppose 5*s + 4*a = -56, 0 = -2*s - 2*s - 2*a - 40. Let m = -10 - s. Put 4, m, 2 in decreasing order.
4, 2, m
Let l(b) = b**3 + 4*b**2 - 13*b - 9. Let q be l(-6). Sort 0, 5, q in increasing order.
q, 0, 5
Let l = -20 + 2. Let f = l - -13. Sort 3, 5, f in descending order.
5, 3, f
Let m = -12 + 17. Suppose 5*s + 1 + 4 = 2*i, 3*s + 4*i + 29 = 0. Sort s, 2, m.
s, 2, m
Let j(c) = -10*c - 20. Let y(f) = -7*f - 13. Let q(x) = -5*j(x) + 7*y(x). Let h be q(-4). Sort h, -0.1, 2 in decreasing order.
h, 2, -0.1
Let f = 24 - 24.1. Let b = -0.7 - -0.3. Let t = b - -0.6. Put -3, t, f in ascending order.
-3, f, t
Suppose -3 = -4*u + 3*u. Suppose -15 = u*t - 0*t. Sort -4, -3, t.
t, -4, -3
Let k = -14 + 2. Sort k, -2/3, -0.1 in ascending order.
k, -2/3, -0.1
Let c be (-8 + 0 + 3)*1. Put 1, c, 5 in ascending order.
c, 1, 5
Suppose t + 3*d - 3 = 0, 0 = 5*t - 6*d + 3*d - 15. Suppose 3*w = -2 - 4. Sort -7, t, w.
-7, w, t
Suppose -15 = 4*z - 3*q, -2*q = -5*z + 1 - 18. Let r be (-3)/((-3)/5) + 0. Sort r, 0, z in decreasing order.
r, 0, z
Suppose 5 = -4*u - 3. Put u, -4, 2 in ascending order.
-4, u, 2
Let b = -17 + 15. Sort b, 2, 3 in descending order.
3, 2, b
Suppose 0 = -3*t - 15, 3 = 2*f - t - 4. Let w = -3 - -6. Sort f, w, 4 in ascending order.
f, w, 4
Suppose 2*j = -13 + 23. Sort -6, 1, j, -4.
-6, -4, 1, j
Suppose 2*u = -5*f - 1, -7*f = -3*f + 3*u + 5. Suppose -f = 5*b - 21. Let y = 1 - 3. Sort y, b, 0.5 in ascending order.
y, 0.5, b
Suppose 5*m + 14 = -11. Let g = 4 - 1. Sort 2, m, g.
m, 2, g
Let s = -43 - -42.46. Let j = s + 0.14. Let o = 0.3 + -0.2. Sort -1, o, j in descending order.
o, j, -1
Let d = -0.05 - 6.95. Let n = d - -6.5. Put n, 1, -4 in increasing order.
-4, n, 1
Let z be (-6)/(-15) + (-52)/(-20). Put 4, z, 1, -4 in descending order.
4, z, 1, -4
Let i = 0 - 0.3. Let d = 78 - 548/7. Put 0, i, d in descending order.
0, d, i
Let s(b) = -b**3 - 6*b**2 - 2*b + 1. Suppose 4*d + 32 = 2*l, 5*l = -3*d + 2*d + 14. Let o be s(d). Suppose -5*x + 12 = -o. Sort 1, -4, x in decreasing order.
x, 1, -4
Suppose 12 = -6*p + 2*p. Sort 2, 4, 0, p.
p, 0, 2, 4
Let v = -47 - -46. Put -0.1, 0.1, v, 1 in decreasing order.
1, 0.1, -0.1, v
Let t(w) = w**3 - 6*w**2 + 6*w. Let b be t(4). Let l(v) = v**2 + 7*v - 6. Let s be l(b). Sort -5, s, -4.
-5, -4, s
Let h(y) = -y**2 - y + 4. Let n = 0 - 0. Let b be h(n). Sort -2, -1, b.
-2, -1, b
Suppose 3*i = i + 4. Suppose 0*b = -i*b. Sort b, -1/4, 1 in descending order.
1, b, -1/4
Let a = 699 - 6983/10. Let d = a - 11/30. Let k = -1 + 0.7. Put d, 1/5, k in descending order.
d, 1/5, k
Let n = -8 + 8.3. Let x = -1 + -3. Let l = -4.4 - x. Put l, 1, n in ascending order.
l, n, 1
Let o(j) be the second derivative of -j**3/2 + j**2/2 - j. Suppose -3*m + 6 = -5*d, 0 = 5*m + 2*d - 10. Let c be o(m). Put 3, 2, c in increasing order.
c, 2, 3
Let f be (-4)/(-14) - (-2)/(-7). Suppose 4*r = 5*j + 15, 5*r - 23 = -f*r + 2*j. Sort -1, 2, r in decreasing order.
r, 2, -1
Let u = -10 - -6. Sort u, -0.5, 0 in decreasing order.
0, -0.5, u
Suppose 0 = 5*k + 15 + 5. Put 3, 4, -5, k in decreasing order.
4, 3, k, -5
Let a(y) = -y**2 + 13*y - 6. Let v be a(13). Sort 1, v, 3 in ascending order.
v, 1, 3
Let d = 5 - 2. Let u(n) = n + 5. Let g be u(-8). Sort -3/2, g, d in descending order.
d, -3/2, g
Let o = 13 + -1. Suppose 3*b - o = -b. Suppose 0 = -3*k - 12 + 3. Sort 0, k, b in descending order.
b, 0, k
Let a = -0.5 + 0.3. Let u = -413 - -6193/15. Put u, a, -0.1 in increasing order.
a, u, -0.1
Suppose 0 = 7*r - 2*r + 10. Let g = 46/55 - 7204/8745. Let j = g - 167/636. Sort j, 0.3, r in ascending order.
r, j, 0.3
Let m = -0.16 - -3.16. Sort -0.3, 0.08, m.
-0.3, 0.08, m
Let d = -0.7 + 1. Let p = 4.06 - -1.94. Sort -1/6, p, d in increasing order.
-1/6, d, p
Let j = 40 - 28. Let c = -23 + 55. Suppose -j + c = 5*n. Sort -2, -4, n in increasing order.
-4, -2, n
Let v = -10 - -7. Put -5, v, 1 in decreasing order.
1, v, -5
Let t be 3/3*3 + -5. Let d = 3.447 - 0.437. Let b = d - 0.01. Put -3, b, t in decreasing order.
b, t, -3
Let x = 99 + -98. Sort -3, x, -3/2, 3 in descending order.
3, x, -3/2, -3
Let o be 6/4*-2*30/495. Sort o, 4, 8 in ascending order.
o, 4, 8
Let i(m) = -m**2 - 7*m - 5. Let l be i(-7). Suppose 0 = 4*g - 31 + 11. Let p = -12 - -11. Put g, p, l in ascending order.
l, p, g
Let j = -3 + 3.06. Let h = j - -0.14. Let i = 1 - -4. Sort h, 0.1, i in ascending order.
0.1, h, i
Let w = -16.4 + 16. Sort -18, w, 2 in decreasing order.
2, w, -18
Let a be (-32)/8 + 7*1. Sort a, 2, 1.
1, 2, a
Let r = 191 + -183.96. Let t = -0.04 + r. Let i = t - 12. Put -3, 0, i in increasing order.
i, -3, 0
Suppose -16 = -7*v + 3*v. Suppose 0*h + 2*h + v = 0. Let s(x) = -x**3 + 3*x**2 - x + 3. Let p be s(3). Sort -4, p, h in decreasing order.
p, h, -4
Let m be 2*((-38)/28 + 12/8). Sort 3, m, 0 in decreasing order.
3, m, 0
Suppose -2*b + 7*b = 15. Put -2, b, 1 in decreasing order.
b, 1, -2
Let d = -7 + 8. Suppose 10 - 28 = -3*k. Let g = k - 2. Put g, d, -1 in increasing order.
-1, d, g
Let a be (-19)/10 + 8/20. Let l = -1 + 2. Sort 6, l, a in descending order.
6, l, a
Let g = -3.85 + 0.75. Sort g, 4, -5 in increasing order.
-5, g, 4
Let v(a) = a**2 + 8*a + 1. Let n(o) = -o**3 + 3*o**2 + 3*o - 4. Let x be n(4). Let k be v(x). Put 5, -3, k in ascending order.
-3, k, 5
Let h = 2593775/12392 + 100/1549. Let q = h - 209. Sort 0.4, q, 0 in descending order.
0.4, q, 0
Let l = -163/3 - -55. Sort l, -2/15, -1.
-1, -2/15, l
Suppose -2*z + 28 = -0*z. Suppose z = 3*t - 5*y, 4*t - 7 = 4*y - 9*y. Sort -2, 0, t in ascending order.
-2, 0, t
Let u = 53/488 - -1/61. Put -4/5, 3, u in increasing order.
-4/5, u, 3
Let x be (-1 - (-1 - -3)) + (-48)/(-15). Sort 1, -3, x, 4/15.
-3, x, 4/15, 1
Let t = 21 - 21.1. Sort t, 0, 1 in descending order.
1, 0, t
Let c(r) = 3*r**2 + 0*r**2 - 6 - 4*r**2 + 8*r. Let x be c(6). Suppose x = 2*m + m. Sort m, -2/3, 0.3 in decreasing order.
m, 0.3, -2/3
Let z be -14*1*(-1)/2. Suppose 2*n - 25 = z*n. Put n, -4, 0.4 in descending order.
0.4, -4, n
Suppose -2*z - 6 = -f, -2*f = -12 + 4. Suppose 3*y + 0*w + 8 = -2*w, 2*w + 4 = -2*y. Let m = 3 - 8. Put m, z, y in decreasing order.
z, y, m
Let r(x) = x + 11. Let v be r(-7). Suppose 0 = v*p - p - 12. Let o(l) = -l**3 + 3*l**2 + 6*l - 6. Let g be o(4). Put 3, p, g in increasing order.
g, 3, p
Suppose n - 2*n = -4. Let z = 39 + -39. Put z, n, -1 in increasing order.
-1, z, n
Let m be 9*(5/(-3) + 2). Suppose -m*v - 14 - 1 = 0. Let g = 0 - v. Put g, 0, -5 in descending order.
g, 0, -5
Suppose 0 = 2*f - 5 - 11. Let o be f/4 + 32/(-14). Let i = 10 - 6. Put o, -2, i in decreasing order.
i, o, -2
Let k = 0.13 + -8.13. Let d = k + 8.1. Let l = -0.3 - -0.1. Sort -1/4, d, l in ascending order.
-1/4, l, d
Suppose -33 = 2*a - 5*a. Put 1, 5, a in decreasing order.
a, 5, 1
Let d = 0.3 - -0.7. Let h be 2/((-6)/(-9)) + (-3)/2. Sort 1/4, d, h in descending order.
h, d, 1/4
Let w be 2 + -3 - -4 - (-8)/4. Suppose 3*s = -s - 2*g - 12, 2*s - 3*g + 6 = 0. Sort 3, w, s.
s, 3, w
Let w = 30 - -4. Let n be w/72 - (-1)/(-4). Let q = 3 + -2.5. Put 0.2, n, q in incr