8, 0.2, k
Let j = 4 + -4.1. Let d = j + -0.9. Sort d, 0, -0.5 in increasing order.
d, -0.5, 0
Suppose 4*o + 5*w - 8 = 0, -o = -5*o - 4*w + 8. Suppose o*z + 14 = 6*z - 2*v, 0 = z + v - 11. Let m be (-33)/z + 1/2. Put 4, m, -3 in decreasing order.
4, -3, m
Suppose -40 = 11*v - 19*v. Sort v, -8, -4, 0 in increasing order.
-8, -4, 0, v
Let b = -0.04 + -0.26. Let i = 101/14 + -15/2. Put 2, b, i in ascending order.
b, i, 2
Let g(a) = -a**2 + 16*a - 55. Let t be g(10). Sort 7, -1, t.
-1, t, 7
Let i(j) = j - 1. Let k be i(-3). Sort 1, 2, k.
k, 1, 2
Suppose 20 = -4*x, 5*i - 3*x - 2 = -12. Let p be i/33 + (-6)/(-18). Put 4, p, 0.5 in decreasing order.
4, 0.5, p
Let t = 3.74 - -0.26. Let i = 3.04 - 0.04. Sort t, i, -1 in increasing order.
-1, i, t
Suppose 0*s + 2*s = -6. Let o be 2/s*(-45)/(-10). Let t be 1 + 0 + 0 + 2. Sort t, 0, o in descending order.
t, 0, o
Let y be (-4 - -3) + (0 - -2). Sort 14, y, 2 in decreasing order.
14, 2, y
Let d = -1.2 - -1. Let o = -33 + 46. Let t = -18 + o. Sort 3, d, t in increasing order.
t, d, 3
Let b = 9 + -7. Let t(y) = y**3 + y**2 + 5. Let g be t(0). Suppose -l - 4*l - 10 = 0. Sort b, g, l.
l, b, g
Let u = 80 - 58. Sort u, 5, -5 in decreasing order.
u, 5, -5
Let n(v) = -2*v**2 + 2*v - 1. Let i be n(2). Sort 3, -19, i in decreasing order.
3, i, -19
Let a = -9.1 + 9. Let i be (-3 + -2)*(-2)/115. Sort i, -1, a in decreasing order.
i, a, -1
Let q = 1.1 - 6.1. Let x = -66 - -62. Sort 3, q, x in increasing order.
q, x, 3
Let f be -7*2 - 6/(-2). Let u be (-190)/(-440) + 2/f. Put 0, -1, u in decreasing order.
u, 0, -1
Let y = 2.5 + -3. Suppose 0 = 4*l - 9 - 11. Let v be 10/(-3) - l/(-15). Put v, y, 0.3 in increasing order.
v, y, 0.3
Let q = -40 - -155/4. Put -0.1, q, -0.06 in increasing order.
q, -0.1, -0.06
Suppose 30 = -3*a - 2*a. Let m(c) = -c**2 - 20*c - 76. Let j be m(-15). Suppose -4*p + p - 15 = 0. Sort a, p, j in decreasing order.
j, p, a
Let y(s) = -2*s**2 + 3. Let k be y(0). Sort 7, 2, k, 0 in decreasing order.
7, k, 2, 0
Let n(c) = -c + 10. Let a be n(-8). Suppose b + w = -2*w - 15, 3*w + a = -2*b. Suppose 15 = 5*f - 0*f. Sort b, f, -5 in decreasing order.
f, b, -5
Let h = 5 - 4.99. Let u = h - 0.41. Let d = u - 4.6. Put d, -4, 0.3 in ascending order.
d, -4, 0.3
Suppose -5*t - 2*u + 8 = 0, -2*t = -t + 2*u. Let i be t/(20/14) + -1. Put -0.1, -1, i in decreasing order.
i, -0.1, -1
Let w be -2 + 2 + 0 + 1. Let h = 5 - 3. Put w, 5, h in descending order.
5, h, w
Let x = -36 + 51. Let i be 4/5*x/3. Suppose 0 = n + 2*n + 4*j - 13, -j = n - 4. Put n, -2, i in increasing order.
-2, n, i
Suppose -4 = 3*m - 1. Let i = 4 + m. Let l be (8 - 1) + (-12)/4. Sort l, -2, i in decreasing order.
l, i, -2
Suppose -2*s + 2*o + 2 = 0, 5*s - 5 = 2*s + o. Let l be (-35)/(-14)*s/(-10). Let d = 0.06 - -2.94. Put d, l, -2/15 in descending order.
d, -2/15, l
Let w be 0/(-3 + (0 - -2)). Let f(m) = -m - 5. Let k be f(-7). Let g be 4 - (k - 4 - -3). Put 2, g, w in decreasing order.
g, 2, w
Let w = 40 + -43.9. Let z = w + 3. Let k = z + 0.6. Put 1, 3/2, k in decreasing order.
3/2, 1, k
Suppose -u - 2 = 0, -h - h + 3*u = -14. Suppose 5*t - 29 = -n - 6, 0 = h*t - n - 22. Let z(r) = 2*r - 5. Let v be z(t). Put 0, -3, v in decreasing order.
v, 0, -3
Suppose r + 10 = -3*d, -d + 4*r - 20 = 2*d. Let g = 0.3 + -0.1. Sort 3, d, g in decreasing order.
3, g, d
Let j(u) = -u - 1. Let f be j(-6). Suppose 4*q + 10 = -5*g, -4*q = -f*g - 0*q - 10. Let p be ((2 - 3)*g)/(-2). Sort p, -2, 3 in decreasing order.
3, p, -2
Let f = 0.913 - 0.313. Let o = 0.06 - 5.06. Put o, f, -0.4 in descending order.
f, -0.4, o
Suppose -2*s - 16 = -2*c - 0*s, -4*s = 3*c - 3. Sort -1, c, -0.4.
-1, -0.4, c
Let p be 1/(3/(-2)) - 33/(-9). Sort -16, -5, 2, p in ascending order.
-16, -5, 2, p
Let v(j) = 2*j - 28. Let w be v(13). Put 1, w, 3 in descending order.
3, 1, w
Suppose -20 = 4*n - 28. Put 0, 4, -4, n in descending order.
4, n, 0, -4
Let z(a) = 4*a + 3. Let m be z(-2). Let n = -26 - -27. Put n, 2, m in descending order.
2, n, m
Suppose 3*u - 3*z + 3 = 0, 2*z - 8 + 2 = 3*u. Sort u, -2, -5 in increasing order.
-5, u, -2
Let b(c) = 2*c**3 - c. Let q be b(1). Suppose 19 = -i + 4*m, 4*m + m - 20 = 0. Let v = 2 + i. Sort 2, v, q in decreasing order.
2, q, v
Let j be (4/(-6))/(14/63). Put -4, 1, j in increasing order.
-4, j, 1
Suppose -b - 14 + 3 = 0. Let t be (-3 + 0)/(11/11). Sort b, -5, t.
b, -5, t
Suppose 0 = 4*m - 5*a - 29, -4*a + 0 = m + 19. Put m, 0.4, 4, 0.5 in descending order.
4, m, 0.5, 0.4
Suppose q - 2 + 0 = 0. Let n = -71/195 - -2/65. Suppose -15 = -d + 6*d. Put d, q, n in decreasing order.
q, n, d
Suppose -3*l - 5*s = 4 + 6, -l - 2*s = 4. Let c = -6 - -4. Suppose 2*v + 3*r = 11, -4*v - 4*r + 22 = 2. Put l, c, v in descending order.
v, l, c
Suppose -3*q + 5 = 17. Sort q, 3, -3 in increasing order.
q, -3, 3
Let h be 37/7 + (-4)/14. Let f = -8 - -7. Sort h, f, 4 in descending order.
h, 4, f
Let n(o) = -3*o - 17. Let r be n(-5). Put 2/19, -0.3, r in increasing order.
r, -0.3, 2/19
Let m = -0.087 + -0.013. Sort 4, 1, 0, m in ascending order.
m, 0, 1, 4
Let l = -0.05 - 0.05. Put -1, l, 1/6 in ascending order.
-1, l, 1/6
Let z be 1*(0 + (-2 - -2)). Let v = -3 + 2. Sort 5, v, z.
v, z, 5
Suppose 4*x + x + 10 = 3*k, 2*x - 22 = -4*k. Let m be -1 + (x - (3 + -3)). Suppose 4*b + 3*w - 9 = 8, 0 = -2*w + 6. Put b, 5, m in descending order.
5, b, m
Let k(g) = g**2 - 7*g - 5. Let d be k(8). Suppose -d*u - 4*p - p = -30, 2*u = -3*p + 19. Suppose -2*s = -1 - 5. Sort u, 1, s in descending order.
u, s, 1
Suppose -3*c + 6 = -3*d, 2*d = -2*d - 5*c + 28. Sort 1, 4, d, 5 in ascending order.
1, d, 4, 5
Suppose -5*w = -w - 12. Put -4, w, 1 in descending order.
w, 1, -4
Let d = -0.59 - 0.41. Put 3/2, -1/3, d in descending order.
3/2, -1/3, d
Let j be 9/(-7)*(-1)/3. Let u = -0.01 + 0.54. Let v = 0.03 - u. Put v, 5, j in ascending order.
v, j, 5
Let x(c) = c - 8. Let z be x(10). Sort -1, z, 3.
-1, z, 3
Suppose -3*d + 7 = b + 2, 1 = -3*b - d. Sort 1, -4, 4, b.
-4, b, 1, 4
Suppose -w - 64 = -5*w. Let l = -1 - -9. Suppose -2*n = l, -w = 2*k + 4*n - 6. Sort -1, k, 1 in decreasing order.
k, 1, -1
Let t = -0.6 - -0.1. Suppose 3*q + 208 = -q - 2*x, 0 = 5*q + 2*x + 262. Let r = -164/3 - q. Sort -2, t, r in decreasing order.
t, r, -2
Suppose 3*k - 5*l + 16 = -5, -3*l = 5*k + 1. Sort k, -8, -1, -5 in ascending order.
-8, -5, k, -1
Let y = -2.3 - -6.3. Put -2/7, 4/5, y in decreasing order.
y, 4/5, -2/7
Let q(p) = -p + 1. Suppose s + 5*f - 3*f = 2, 4*s - 5*f - 21 = 0. Let i be q(s). Sort -2, 1, i in increasing order.
i, -2, 1
Let d be 48/(-170) - 4/(-10). Put 5, 0.2, d in ascending order.
d, 0.2, 5
Let y(f) = -f**3 - 4*f**2 + 3*f - 7. Let t be y(-5). Let n be (0/(-3))/4 + 0 + -2. Sort 1, n, t in descending order.
t, 1, n
Let b(a) = a**3 + 11*a**2 + 9*a - 11. Let w be b(-10). Put 3, 1, w, -4 in decreasing order.
3, 1, w, -4
Suppose -4*u - u - 25 = 0. Let y = u - -4. Put y, 4, 0 in descending order.
4, 0, y
Let z = -25 - -27.1. Let k = -2.2 + z. Sort 1, k, -1/4 in descending order.
1, k, -1/4
Let v = -11 + 10.5. Let a = 1.5 + v. Sort a, 0, -3/2 in decreasing order.
a, 0, -3/2
Let z = 12 + -6. Sort 2, 3, z in increasing order.
2, 3, z
Let x be (3 - (-4)/(-6)) + -4. Put -1, -0.3, x in decreasing order.
-0.3, -1, x
Suppose 4*t - 5*t = 0. Suppose a + 0 - 3 = t. Let y be (2/5)/(2/(-10)). Sort a, -5, y in increasing order.
-5, y, a
Let p be 63/(-6)*4/6. Sort 1, p, -3.
p, -3, 1
Let r be 3/7 + 152/(-28). Sort r, 3, -2 in increasing order.
r, -2, 3
Let t(n) = -3*n**2 - 5*n + 4. Let r be t(1). Sort r, 1, -5 in increasing order.
-5, r, 1
Let u be 2/4 + (-7)/10. Sort -2, -3, 5, u in decreasing order.
5, u, -2, -3
Let n = -3 - -8. Suppose -3 = -6*q + n*q. Put q, -1, 0 in ascending order.
-1, 0, q
Let u = -11 + 10.4. Let i = 1.1 + u. Put i, 0, 1/6 in descending order.
i, 1/6, 0
Let y be ((-12)/(-4) - -4)/(-1). Let x = y - -11. Put x, 5, -2 in increasing order.
-2, x, 5
Let r be (-3 + (-2)/1)/2. Let z = 5.14 + -0.14. Sort z, -2/5, r in descending order.
z, -2/5, r
Let w = -11.6 + 12. Put 0, w, -4 in decreasing order.
w, 0, -4
Suppose 44 = 16*d - 20. Put 1, 0.2, -0.5, d in increasing order.
-0.5, 0.2, 1, d
Let i = -10 - -41/4. Let a = 106 - 117.8. Let t = 12 + a. Sort i, 0.1, t in descending order.
i, t, 0.1
Suppose 0 = 2*j - 0*