. Put -0.5, p, v in increasing order.
-0.5, p, v
Let v = -10 - -16. Suppose 2*y + 0*y - v = 0. Sort y, 0, -3 in increasing order.
-3, 0, y
Let p(q) = -5*q + 70. Let u be p(15). Sort 2, -1, u.
u, -1, 2
Suppose -4*q - 2*m = -2*q - 14, 3*q - 5 = 5*m. Suppose -5*g - q*p = 11 - 41, -5*g + p = -18. Sort g, -5, 0 in descending order.
g, 0, -5
Let b = 26 - 36. Sort 4, -5, b.
b, -5, 4
Let a be (-1 - -3) + (-208)/91. Put 1/3, a, -6 in descending order.
1/3, a, -6
Let c = 0.38 + 0.62. Sort -4, 0, c, 0.17.
-4, 0, 0.17, c
Let j = -1.89 - -2. Let b = j + -0.51. Let u = -3 - -2. Put u, -2, b in descending order.
b, u, -2
Suppose -3*t = 2*g + 7, -4*t + g - 11 = 2*g. Sort t, -4, 0, 3.
-4, t, 0, 3
Suppose 4*x - 4 = -16. Let g be (x + (-26)/(-10))*10. Sort 2, 4, g in decreasing order.
4, 2, g
Suppose 0 = -2*l - 4. Let h = 7 - 7. Let u = -3 - 1. Sort u, l, h.
u, l, h
Let v = 9 - 2. Sort v, -4, 5.
-4, 5, v
Let s(w) = -9 + 2*w - 5 + 22 - 9. Let n be s(3). Put -2, -0.5, n in descending order.
n, -0.5, -2
Let r be -1*(-1)/6*-2. Put -3, r, -2 in decreasing order.
r, -2, -3
Let u(q) = 8*q - 5 - 7*q - 5 + 0. Let s be u(6). Sort -5, -8, s in decreasing order.
s, -5, -8
Let n = 79 - 74. Put 0, -4, -1, n in increasing order.
-4, -1, 0, n
Let i(a) = 2*a**2 + 3*a - 2. Let d be i(2). Suppose -4 = -4*x + d. Let y(s) = s**2 - 5*s + 5. Let t be y(x). Sort 3, t, -4.
-4, t, 3
Let v = 176/273 + 2/91. Put v, -1/4, -0.04 in decreasing order.
v, -0.04, -1/4
Let u be (1/(-4))/(3/4). Suppose -3*v - 2*n = -2, 5*n - 4 = -2*v + n. Put v, u, -2 in decreasing order.
v, u, -2
Suppose 4*w + 0*z = -3*z + 8, 3*w = 3*z + 27. Sort -0.2, 0.18, w in ascending order.
-0.2, 0.18, w
Let t(i) = -2*i**3 - 16*i**2 + i + 13. Let f be t(-8). Suppose 0 = 4*k - 0*k + n - 19, -k = 4*n - 16. Put 2, f, k in decreasing order.
f, k, 2
Let v = -9 + 18. Let p = -13 + v. Let c = 41 - 40.5. Sort c, 5, p.
p, c, 5
Let m be 2 - 2 - (-3)/(-12). Put -0.1, -0.9, m in ascending order.
-0.9, m, -0.1
Let k = -18 + 10. Let r = k + 6. Sort 0, -3, r in decreasing order.
0, r, -3
Let g = 1.7 + -2. Suppose 3*y = t - 0*y + 2, -4*t + 5 = y. Sort g, t, 0.1.
g, 0.1, t
Let m(g) = -5*g**3 + 4*g**2 + g - 2. Let s(v) = -4*v**3 + 3*v**2 + v - 1. Let f(z) = 2*m(z) - 3*s(z). Let p be f(-1). Sort p, -2/21, -3/7 in increasing order.
p, -3/7, -2/21
Let p = -3 + 5. Sort -11, 3, p.
-11, p, 3
Let k(d) = 7*d - 3. Let w(n) be the third derivative of n**4/4 - n**3/2 - 2*n**2. Let y(f) = 5*k(f) - 6*w(f). Let h be y(5). Put 5, h, -1 in ascending order.
h, -1, 5
Let n = 76 + -77. Sort 2, n, -11 in decreasing order.
2, n, -11
Let w be (-1)/((-18)/(-15) + -1). Let o(a) = 3*a. Let u be o(-1). Put u, w, 5 in ascending order.
w, u, 5
Let t = -25 - -30. Sort -2/9, 21, t, -5/6.
-5/6, -2/9, t, 21
Let z be 1/3 + (-10)/(-6). Let s = -2 + 8. Put -1, z, s in descending order.
s, z, -1
Let x be (2 + -3)/(2/26). Let m = 44 - 62. Let b = m - x. Sort -1, 2, b in increasing order.
b, -1, 2
Suppose 3*x + 2*h = -4, -x + 4*x = -4*h + 4. Sort x, 8, 4 in decreasing order.
8, 4, x
Suppose 5*u + 9 = 8*u. Sort u, 1, 30.
1, u, 30
Let j = -19 + 13. Let q(u) = -u + 0*u - 5 - 2*u + 2*u. Let l be q(j). Put 4, l, -3 in ascending order.
-3, l, 4
Let o = -12 + 13. Let i be 1/((-14)/24) + 2. Put i, -1/8, o in decreasing order.
o, i, -1/8
Let s(a) = -2*a**2 - 2*a. Let y be s(-2). Put y, -1, 1, -3 in increasing order.
y, -3, -1, 1
Suppose -3*t - 17 = -5*u, -3*u - 4*t = -4*u. Suppose 0 = 2*l - 2 - 2. Sort u, l, 3 in increasing order.
l, 3, u
Let p(a) = a**2 + 5*a - 10. Let j be p(-7). Suppose -s - 3*h = 14, 5*s + j*h = 2*s - 27. Put s, -1, -4 in increasing order.
s, -4, -1
Suppose -8*c + 5*c - 6 = 0. Let r = -0.95 - 0.05. Let y = r - 2. Put c, 4, y in decreasing order.
4, c, y
Let d(u) = -7*u - 3. Let v be d(2). Sort 4, 3, v in ascending order.
v, 3, 4
Let u = 21/95 - 2/95. Let x = 16 - 33/2. Sort x, u, -1 in ascending order.
-1, x, u
Suppose 4*h = h + 30. Suppose -2*d - 3*d + h = 0. Sort 0, d, 1 in descending order.
d, 1, 0
Let p(i) = i**3 - i**2 + i + 4. Let t = 8 + -6. Suppose -t*s - 4*r = 0, 0 = s - 2*r + 5*r. Let u be p(s). Sort 0, u, -5 in ascending order.
-5, 0, u
Let u(r) = -r + 3. Let g be u(6). Let a = g + 3. Put a, 0.1, 5 in decreasing order.
5, 0.1, a
Suppose -p = -3*p + 4. Let d be p/5*(-15)/3. Put 1, d, -5 in ascending order.
-5, d, 1
Suppose -3*k = -4*p + 790 + 1186, 3*p + 1941 = -3*k. Let a = -2036/3 - k. Let f = a - -26. Sort 1/7, -3/7, f.
f, -3/7, 1/7
Let o(s) = s**3 - 2*s + 2. Let m be o(0). Sort 5, m, 4 in decreasing order.
5, 4, m
Let f(g) = g**2 - 3*g. Let m be f(4). Suppose 7 + 9 = m*l. Sort 5, 3, l in ascending order.
3, l, 5
Let w be (-172)/(-22) + (-2)/(-11). Let u = -12 + w. Sort -3, 5, u.
u, -3, 5
Let r = 0.38 - -0.12. Let p = -0.02 + 3.02. Sort -3, p, r in increasing order.
-3, r, p
Let y be (1 - 2)/(2 - 1). Let q be ((-2)/(-6))/((-5)/60). Suppose 2*u + 5*x + 2 = -3, 2*x - 7 = u. Sort u, y, q in descending order.
y, q, u
Suppose 0 = -y + 2*g - 9, -8*y - 4*g = -3*y - 11. Let t = 23 + -19. Suppose -3*j + 3 + 3 = 0. Sort t, y, j in ascending order.
y, j, t
Let s(o) = o**2 - o - 7. Let y be s(3). Let d = y + -4. Sort 2, d, -3 in ascending order.
d, -3, 2
Suppose -z + r = -3*r - 9, -2*z - 4 = 3*r. Suppose -k + z = -2*k. Let p = 6 - 3. Put -3, p, k in decreasing order.
p, k, -3
Let d = -5.27 + 0.27. Sort 2, 3, d in increasing order.
d, 2, 3
Let v = 188/15 - 37/3. Let f be 6/(-4)*(-2)/5. Sort v, -0.5, f in descending order.
f, v, -0.5
Let t = 39/2 + -18. Let f = 113 + -563/5. Let b = 13/48 + 1/16. Sort f, t, b.
b, f, t
Let v(c) = -c - 11. Let k be v(-7). Let t be (2/2)/1*-3. Sort 1, k, t in decreasing order.
1, t, k
Let p = 7 + -4. Let z = p - 8/3. Put 4, -3, z in increasing order.
-3, z, 4
Let s(q) = q**2 + 7*q + 7. Let j be s(-6). Put -1, j, -3 in decreasing order.
j, -1, -3
Let g = 6 + -14. Sort -2, g, -0.5 in descending order.
-0.5, -2, g
Let i = 8.5 - 3.5. Put 0.3, -3, i, 0.1 in decreasing order.
i, 0.3, 0.1, -3
Let i = 22 + -14. Let q(f) = 3*f. Let y be q(1). Sort y, -4, i in decreasing order.
i, y, -4
Suppose 0 = -2*h + 10 - 6. Sort h, 1, 3, 0.
0, 1, h, 3
Let u = -0.9 - -1.3. Sort u, 0.3, -4 in decreasing order.
u, 0.3, -4
Let f = -1.02 + 2.08. Let q = f + 0.98. Let o = q - 0.04. Put 0, o, 5 in decreasing order.
5, o, 0
Suppose 6*f = 5 + 25. Let g(n) = -n - 4. Let z be g(-4). Suppose 4*b - 2*l - 13 = 3*b, z = 4*b + 3*l + 3. Sort f, -4, b in ascending order.
-4, b, f
Let z = -8.3 - -8. Let j = -3.8 - -4. Let c = j + z. Sort c, 2, -1 in decreasing order.
2, c, -1
Let l be ((-42)/(-70))/(2/10). Sort -4, -5, l.
-5, -4, l
Let a(y) = -4*y + 1. Let z be a(-1). Sort 7, 0.1, z in decreasing order.
7, z, 0.1
Suppose -4*b + 3*b = -5*k - 124, -36 = k - 3*b. Let i = k - -24. Put i, -1, -3 in decreasing order.
i, -1, -3
Let h = 3.4 + -4. Let p = -3 + 3.5. Let w = p + h. Put 2/9, -0.3, w in descending order.
2/9, w, -0.3
Let y = -8 + 7.7. Put 4, 0, y in increasing order.
y, 0, 4
Let m = 78 + -311/4. Let y = 4/23 + -112/115. Sort y, -5, m in increasing order.
-5, y, m
Let a = 1 + -3. Let p be 2/6*375/5. Let l = 27 - p. Put 4, a, l in descending order.
4, l, a
Suppose 4 = -5*x + 2*r, 0 = -4*x - r + 3*r - 4. Sort x, 3, -22, 5.
-22, x, 3, 5
Let i(b) = b**2 + 4. Let l be i(-10). Let g = l - 522/5. Let k = -0.2 - 1.8. Sort g, 0.2, k in descending order.
0.2, g, k
Let p = 28 - 55/2. Let s = -1.1 - -6.1. Let t = -0.9 - 0.1. Put s, t, p in descending order.
s, p, t
Let q(b) = -b**3 - 2*b**2 - 4. Let l be q(-3). Sort -7, l, 1.
-7, 1, l
Let m = 4398 - 21806/5. Let o = m - 1129/30. Put -4, -1, o in descending order.
o, -1, -4
Let p(b) = -b**3 + 5*b**2 - 5*b - 1. Let c be p(3). Let v be -1 + (0 - (-3)/1). Suppose -6 = -v*t - 16. Put t, c, 0 in increasing order.
t, 0, c
Suppose -9*s + 13*s = 0. Put 4, s, 2, -3 in increasing order.
-3, s, 2, 4
Let y(h) = 7*h**2 - 4*h + 1. Let r(p) = 3*p**2 - 2*p + 1. Let j(g) = -5*r(g) + 2*y(g). Let v be j(2). Let d = v + 1. Sort d, 0, 3 in descending order.
3, 0, d
Let p be (-1)/(2 - 0)*-4. Let f be ((-1)/2)/(2/(-24)). Suppose -4*h + f = 2*i + 2, 12 = -5*i + h. Put i, p, 5 in descending order.
5, p, i
Let l(t) = -2*t + 1. Let i(v) = v - 2. Let w be i(5). Let m be l(w). Let n be (-1)/(m/(-2) + -3). Sort 5, -5, n in ascending order.
-5, n, 5
Let m = 17 +