v = 7 - z. Sort v, 4, 1 in increasing order.
v, 1, 4
Suppose -n = a - 8, 0 = 4*a + 3 + 13. Sort 3, -2, n in increasing order.
-2, 3, n
Let k = 259 + -254. Suppose -3 + 0 = o, -3*o - 11 = -b. Suppose -g + 5*t = 2*t - b, -2*g - 10 = t. Put g, k, 4 in increasing order.
g, 4, k
Let m be 2/(2 + 9 + -1). Sort m, -4/7, -2/11 in increasing order.
-4/7, -2/11, m
Let b = 6 - 9. Let s be 15/18 - (4 + b). Sort 0.4, s, -2.
-2, s, 0.4
Let n = -0.073 + 3.073. Put -0.3, -4, 0, n in descending order.
n, 0, -0.3, -4
Let i = -13 - -5. Let y be -1 - -1 - 4/i. Put -1, -0.3, y in decreasing order.
y, -0.3, -1
Suppose -7*n = -14*n + 14. Let a be -2 + 2/(-2) + -2. Sort n, a, -2 in ascending order.
a, -2, n
Let t(x) = x - 9. Let d be t(7). Let q = 5 + d. Suppose 0 = -4*m - 0*i + i - 4, -4*m - 2*i = -8. Sort 2, m, q.
m, 2, q
Suppose -3*k = k - 8. Let o = k + -1. Suppose -2*b - 2*d = 3*b + 24, -2*d - 4 = 0. Put o, b, -2 in decreasing order.
o, -2, b
Suppose 3*o - 2*i + 6 = 2*i, 2*o = 2*i - 2. Suppose 3*p + 4*l - o*l = 18, -p + 13 = 3*l. Suppose 3*c = p*c. Put -2, c, 5 in descending order.
5, c, -2
Let j = -8 + 6. Let u = 26 - 21. Put -1, j, u in increasing order.
j, -1, u
Let f(j) = -j**2 + 13*j - 10. Let n be f(12). Suppose -4*s - 2 = n. Suppose -5*a - 2*w = 2, -4*w + 5*w + 1 = 0. Sort a, 4, s in increasing order.
s, a, 4
Let i = 15 + -15. Suppose -d + 4*s = i, 0*s = 5*d - 3*s. Put d, -1, -2 in descending order.
d, -1, -2
Let j = -52 + 47. Sort j, -0.1, -15 in descending order.
-0.1, j, -15
Let s = 47143 - 1320223/28. Let z = s - -29/4. Put -0.1, z, 2 in descending order.
2, -0.1, z
Let u(s) = -s**2 - 8*s - 9. Let h be u(-5). Sort h, -4, 0.3, -0.3 in descending order.
h, 0.3, -0.3, -4
Let x = 18 - 18.2. Sort 1, x, 2/13.
x, 2/13, 1
Let t = 14/19 + -155/133. Sort t, 0.2, -0.5 in increasing order.
-0.5, t, 0.2
Let v = 16 + -17. Sort 4, -5, v.
-5, v, 4
Let g = 3 + -2. Put g, -0.3, -1/4 in descending order.
g, -1/4, -0.3
Let n = 10 - 10. Suppose n*o - 5*o + 22 = 3*h, 4*h + o = 1. Sort -4, h, 4 in decreasing order.
4, h, -4
Let k(c) = c**3 + 1. Let b be k(2). Let t = b + -14. Let v = 0.4 - -0.6. Sort t, 4, v.
t, v, 4
Let s = -66 - -67. Sort 49, -1, s in decreasing order.
49, s, -1
Let f = -61 - -56. Let a = -8 + 13. Suppose -7 = -a*m + 4*t, -4*m + 0*m + 3*t = -5. Sort m, 1, f in ascending order.
f, m, 1
Let t(f) = -f**3 + 11*f**2 - f + 14. Let n be t(11). Suppose 0 = -3*z - q - 3*q - 14, 0 = 2*z - 4*q - 4. Sort z, n, 5 in decreasing order.
5, n, z
Let b be 50/(-520) + (-1)/(-4). Sort b, -0.5, 2/7 in descending order.
2/7, b, -0.5
Let k be (2 + -1)/(-1 + -3). Put k, 0.4, 2/21 in ascending order.
k, 2/21, 0.4
Suppose 18 = -37*l + 31*l. Suppose 5*o + 3*c - 6 = 12, o - 4*c = -1. Suppose 0 = -o*f - 1 + 16. Put l, -5, f in decreasing order.
f, l, -5
Let a(l) = l + 10. Let o be a(0). Let w = o - 11. Put 5, -5, w in increasing order.
-5, w, 5
Suppose -3*g = -6*g. Let p = -9 - -12. Suppose -2*u + p*u + 1 = 0. Sort -4, g, u in decreasing order.
g, u, -4
Suppose -6*f = -4*f. Put 1, -4, f in increasing order.
-4, f, 1
Let i = 64 - 66. Sort i, -2/5, -5, -0.003 in increasing order.
-5, i, -2/5, -0.003
Let c be 3 + (-6 - -3 - -1). Let z be c - -1*(0 - 6). Sort 2, -1, z.
z, -1, 2
Let l = -0.1 + -4.9. Let h be 435/(-378)*(-2)/(-5). Let z = -2/63 - h. Sort l, -0.5, z in descending order.
z, -0.5, l
Let t(i) = -i - 2. Let r be t(-5). Suppose -1 = -4*b + r*d + 2, -5 = 5*b + 5*d. Suppose -2*u + s + 8 = -b*u, s = 0. Sort u, -2, 2 in decreasing order.
u, 2, -2
Let k = -0.97 + 1. Put k, -0.5, 0.2 in ascending order.
-0.5, k, 0.2
Suppose -3 = -2*c + 1. Suppose 4*i - 4 = c*p - 10, 5 = -2*i + 3*p. Put 2/13, i, 3/5 in ascending order.
i, 2/13, 3/5
Let n = -3 + 7/2. Let q = -3.87 - 0.53. Let t = -4 - q. Put t, n, 1/3 in ascending order.
1/3, t, n
Let l be (-1 + -1 + -1)/(-5). Let d be (12/861)/(-2)*-2. Let b = 626/3731 - d. Put b, l, 1 in ascending order.
b, l, 1
Let g(k) = -k + 8. Let x be g(5). Put 0, x, -1 in ascending order.
-1, 0, x
Let s(j) = 9*j + 2. Let c be s(1). Put -4, c, 3 in descending order.
c, 3, -4
Let i be 2 + 0 + 1/1. Suppose 4*l + z = -9, 0 = -5*l + i*z - 7 - 0. Sort l, 1, -1.
l, -1, 1
Let o = -0.4 + 0. Let j = -0.6 + o. Sort -0.4, j, -2 in descending order.
-0.4, j, -2
Let q = 8 - 12. Sort 1, -0.4, q in increasing order.
q, -0.4, 1
Let q = 0.023 - -0.397. Let m = 0.22 - q. Sort -0.4, -1, m in ascending order.
-1, -0.4, m
Let i = 21 - 17. Put -3, 5, i in ascending order.
-3, i, 5
Let g be 10/(-6) + 2/3. Let k be (-12)/5 + 18/45. Let s(o) = o**2 - 8*o + 8. Let w be s(7). Sort k, g, w in ascending order.
k, g, w
Let h = 17 - 17.1. Sort 0.3, 13, h.
h, 0.3, 13
Let d = 16 - 9. Sort -4, d, 0.
-4, 0, d
Suppose -5*d + 0 = 5*v - 5, -4*v + 2*d + 10 = 0. Sort v, -1/8, 4 in ascending order.
-1/8, v, 4
Let o = 39 + -17. Suppose 7*p - 2*p + 2 = 4*b, -5*p - 4*b + o = 0. Put -3, p, -4 in increasing order.
-4, -3, p
Let y(q) = q**3 - q**2 + 2*q + 1. Let m be y(0). Sort -3, 2, m in descending order.
2, m, -3
Let z(i) = -i**3 + i + 2. Let r be z(0). Let k be (2/5)/(r/(-4)). Put -1, k, 0 in decreasing order.
0, k, -1
Let g = 8 + -6. Suppose -2*z + 5*w = -29, z + 2*w + 12 = 2*z. Suppose z*m + 1 = 3*m. Put g, -4, m in increasing order.
-4, m, g
Let n(a) = 2*a - 10. Let k be n(7). Suppose -2*y - 4 = k*l + 2*y, 5*y = 10. Let d(g) = 4*g**2 - 1. Let q be d(1). Put -6, l, q in ascending order.
-6, l, q
Let y(a) = -2*a + 8. Let f(q) = -q + 7. Let h(i) = 5*f(i) - 4*y(i). Suppose 3*c = -2*l - 0 - 7, -3*l + 4*c = 2. Let m be h(l). Put -1, m, -4 in ascending order.
-4, m, -1
Let h = 0.3 + 1.8. Let r = h - 2. Put 5, r, 1/3 in ascending order.
r, 1/3, 5
Let f = 0.3 - 0.29. Let o = 4.99 + f. Let b be (-44)/42 + 24/18. Sort b, o, 4 in decreasing order.
o, 4, b
Suppose -4*g = 3*t, -4*t = -5*t + 3*g + 13. Put 3, t, -1 in descending order.
t, 3, -1
Let j = 22 - 12. Let t = -9.9 + j. Sort -4, -1, t in descending order.
t, -1, -4
Let p = -127 - -134.9. Let n = 8 - p. Sort 0, n, 0.4.
0, n, 0.4
Let h = 3 + 0. Sort -6, h, -4, -0.5 in descending order.
h, -0.5, -4, -6
Suppose 0 = -4*m - 12, -4*k - 3*m = -0*k - 23. Let f = -2.93 + 4.93. Put -4, k, f in descending order.
k, f, -4
Let r(g) = -2*g**2 - 7*g - 4. Let i(l) = -l**2 + l. Let w(m) = -i(m) + r(m). Let t be w(-7). Suppose d = o + 7, -2*d - d = -12. Put 2, o, t in ascending order.
o, 2, t
Let t be 88/33 + (-1)/(-3). Let b(r) = -r**2 + 10*r - 12. Let k be b(8). Sort k, t, -3 in descending order.
k, t, -3
Let u = -0.08 + 0.08. Let q = 11 + -7. Let l = q - 1. Sort u, l, 0.4 in descending order.
l, 0.4, u
Let b = -52 + 363/7. Let y(q) = q**2 - 6*q + 3. Let w be y(5). Let h = w + -1. Put 3, b, h in increasing order.
h, b, 3
Let b = -7 + 7. Suppose -x + b*x = 0. Suppose -7*t - 4*c = -2*t - 29, 2*c - 7 = -t. Put 3, t, x in ascending order.
x, 3, t
Let c = -7 - -7.1. Let w = 3 - 3.2. Let n = c + w. Put 4/3, -5, n in decreasing order.
4/3, n, -5
Let t = 3 - 7. Let o = -16 + 16.7. Let u = o + -1. Sort -1, u, t in increasing order.
t, -1, u
Let j(v) = -v**2 + 4*v + 4. Let n be j(5). Let h = 4 - n. Let m = -14 - -11. Put 1/2, m, h in descending order.
h, 1/2, m
Let o(m) = 3 + 3 - m + 2*m. Let z be o(-8). Sort -4, 5, z in decreasing order.
5, z, -4
Let w = -5 - -13. Let c = 10.04 + -1.94. Let o = w - c. Sort o, -0.2, 0.3.
-0.2, o, 0.3
Let r be -2 + (-4)/8*-8. Put -15, r, -5 in ascending order.
-15, -5, r
Let p(z) = z**2 - 10*z + 4. Let m be p(9). Put m, -11, -3 in descending order.
-3, m, -11
Suppose -n - 5*f - 13 = 0, -5*n - 2 = -n - 5*f. Let y be 2*(-7 - n)/(-2). Let q be 22/18 + (-4)/18. Sort -1, y, q in increasing order.
-1, q, y
Suppose 47*n + 5 = 52*n. Sort 4, n, 2, -3.
-3, n, 2, 4
Let u(h) be the first derivative of -h**4/4 - 5*h**3/3 + 3. Let l be u(-5). Suppose -4*s + 5 + 3 = l. Sort 4, 1, s in ascending order.
1, s, 4
Suppose u = -2*q - 13 + 3, 0 = q - 2*u. Let y be (-5)/4*(0 - q). Put 0, y, 1 in ascending order.
y, 0, 1
Suppose l = -4*l + 20. Let i(h) = -h**3 + 4*h**2. Let m be i(l). Put -1, m, 5 in increasing order.
-1, m, 5
Let r = -182 - -181. Sort -0.5, 0.4, r, -0.01.
r, -0.5, -0.01, 0.4
Let n be (6/(-8))/(1/4). Let a(f) = -2*f**2 - 8*f - 2*f**2 + 3*f**2 - 9. Let j be a(-6). Sort n, 0, j in increasing order.
n, 0, j
Let u be 26/7 + 24/84. Put 2, u, -2/9, -2 in decreas