= k + -0.42. Sort q, -3, z in decreasing order.
z, q, -3
Suppose 3*m - 8*m - 20 = 0. Put -13, -2, m in decreasing order.
-2, m, -13
Let y = 32 + -37. Suppose -4*t = -6 + 22. Put -2, t, y in ascending order.
y, t, -2
Let g(i) = i**3 - 2*i**2 + 3*i - 3. Let y be g(2). Suppose 0 = 2*v + y*v - 20. Put 2, 1, v in decreasing order.
v, 2, 1
Let i be 0 + 9/(-7) + 1. Let w = -36 + 41.1. Let c = 5 - w. Sort c, i, -3 in increasing order.
-3, i, c
Let s be 1/((4/14)/(-2)). Sort -4, s, -3 in ascending order.
s, -4, -3
Let j = 0.096 - 0.096. Sort -1, j, -2, -4 in decreasing order.
j, -1, -2, -4
Let v = 12 + -12. Put -1, -4, v in increasing order.
-4, -1, v
Let o be 2/(-5) + 96/190. Let c = 6 + -3. Suppose 10 = -2*z + k + 1, -3*z = 4*k - c. Sort -0.1, z, o.
z, -0.1, o
Let n = 0.2 + -3.2. Suppose -3*h - 2*q + 6 = 0, 3 - 10 = -h + q. Suppose g = 5*g + h. Sort -5, n, g in decreasing order.
g, n, -5
Let u = -0.9 - -1.4. Sort 2, 1, u in decreasing order.
2, 1, u
Suppose -4*w + 0 = -3*p - 3, 3*w + 2*p + 2 = 0. Suppose -2*m - 11 + 3 = 0. Sort w, 2, m.
m, w, 2
Let n = 35 + -20. Suppose -13 = -4*b + n. Sort b, 5, 2 in descending order.
b, 5, 2
Let g(n) = 4*n + 29. Let v be g(-6). Put -5, 4, v in ascending order.
-5, 4, v
Let w = 12 + -6. Let y = -7 - 2. Let f = w + y. Sort 0.3, 0, f in ascending order.
f, 0, 0.3
Let v = 0.9 - -0.1. Let p(m) be the third derivative of -m**6/30 + m**5/30 - m**3/6 - 2*m**2. Let f be p(-1). Put v, f, -2/9 in descending order.
f, v, -2/9
Let b(t) = -t**3 - 8*t**2 + 1. Let c be b(-8). Let y(g) = -g**2 - 5*g - 2. Let z be y(-4). Put -1, c, z in ascending order.
-1, c, z
Let r = -3 - -3. Suppose 5*i + 0*i - 5 = r. Let w be (0 + i)/(3 - 2). Put -4, -1, w in increasing order.
-4, -1, w
Let w be 0 + (0 - ((-9)/(-3))/(-3)). Put w, 0.2, -1/5, 0.3 in decreasing order.
w, 0.3, 0.2, -1/5
Let y be 1/1 - (-5 - -1). Suppose 0*c + 3*c = 3. Put y, c, -5 in descending order.
y, c, -5
Let x = 25 + -23. Put x, 4/3, 1/6 in increasing order.
1/6, 4/3, x
Let s = 73 + -71. Sort s, -1, 1, 3 in increasing order.
-1, 1, s, 3
Let y(t) = -2*t + 24. Let w be y(13). Sort w, 5, -1, -3.
-3, w, -1, 5
Let k(b) = 16*b**3 - b + 1. Let y be k(1). Suppose -4*m = 5*f + y, -6*f + f + 12 = -3*m. Sort f, -0.1, -2 in descending order.
f, -0.1, -2
Let l = 2 + 8. Suppose -3*z + l = 2*z. Suppose 0 = z*w - 0*w + 6. Put -2, 1, w in descending order.
1, -2, w
Let c = 0.019 - 4.019. Sort 0.2, c, -1 in descending order.
0.2, -1, c
Let j(x) = -x**3 - 4*x**2 - 4*x + 1. Let z be j(-3). Suppose -4*p - 5 - 14 = -a, -4*p - 18 = -2*a. Sort p, z, -2 in descending order.
z, -2, p
Let z = 20 - 22. Let t be (-5)/24 + (-2)/(-6). Put z, t, -1/2 in decreasing order.
t, -1/2, z
Let c = -5 - -10. Put -3, 3, 2/3, c in decreasing order.
c, 3, 2/3, -3
Let q = -88.6 + 89. Put -2, -0.06, q in ascending order.
-2, -0.06, q
Let h = 0.1 - 0.5. Suppose -s + 3*y + 8 = 0, 7 = -2*y + 1. Put -0.5, s, h in increasing order.
s, -0.5, h
Let w be 24/10 - 4/10. Suppose -w*m = 9 - 1. Let q = 2 + -3. Sort m, q, 4 in descending order.
4, q, m
Let w = -72 + 46. Put -0.3, w, 2/19 in ascending order.
w, -0.3, 2/19
Let c(d) = -d**3 - 4*d**2 - 4*d - 4. Let g be c(-3). Let p = 31 - 48. Let a = -17.3 - p. Sort 2/7, g, a.
g, a, 2/7
Let s be 6/14*2/(-3). Let l = 287 - 290. Put l, 4, s in increasing order.
l, s, 4
Let b = -64 - -39. Let c be 1/5 + 130/b. Sort 4, c, -2 in descending order.
4, -2, c
Let f = 7 + -89/13. Sort 0, f, 0.4 in ascending order.
0, f, 0.4
Let s = -1 + -3. Let d(j) = -j**2 + 5*j - 5. Let r be d(5). Sort 5, s, r in decreasing order.
5, s, r
Suppose -5*r - 64 = -f, -3*r - f = 4 + 36. Let o = r - -19. Sort o, 1, -5.
-5, 1, o
Suppose -24 = -3*x - x. Suppose -y + 23 = 4*h, -4*y + 4*h + 0 - 8 = 0. Suppose -4 = 5*i + 2*v, -3*v = y*i - x*i - 15. Put i, -0.4, -5 in decreasing order.
-0.4, i, -5
Suppose -2*w - 33 = -5*k - 5, -2*k = 5*w + 12. Let d be -7 + 9/(-3) + 7. Sort k, d, -2/7 in ascending order.
d, -2/7, k
Let z = 4 + 0. Suppose -z*d + 3 = -d. Let v be 1/(-4) - (-11)/(-4). Put v, 5, d in ascending order.
v, d, 5
Let w(x) = x + 2. Let s be -1*4 - (-2)/(-1). Let h be w(s). Let r be (10/(-15))/(12/3). Sort h, r, -0.4 in ascending order.
h, -0.4, r
Let x = 6 + -6.06. Sort 1/3, x, 1/2.
x, 1/3, 1/2
Let y = -13 - -15. Let z(v) = v + 4. Let u be z(-4). Put u, -5, y in decreasing order.
y, u, -5
Suppose 17 = -5*u + 3*r, 0*r = 3*r + 3. Let z = 9 + u. Let b = 34 + -34.5. Sort b, z, 0 in ascending order.
b, 0, z
Let m be 2/(-7) + (-46)/(-14). Let u(n) be the second derivative of n**4/6 + n**3/3 + n**2/2 - n. Let j be u(-2). Put m, j, 4 in increasing order.
m, 4, j
Let f = 5 + -5. Put -4/9, f, -1 in descending order.
f, -4/9, -1
Let y = -47 - -29. Let v be (-4)/y + (-5)/(-18). Sort -2/5, v, 1 in decreasing order.
1, v, -2/5
Let c(p) = p**3 + 10*p**2 - p - 9. Let x be c(-10). Sort x, 5, -3 in ascending order.
-3, x, 5
Let s = 0.05 + -0.45. Let g = 0.3 + s. Let l = -0.2 - g. Put -0.4, l, 0 in descending order.
0, l, -0.4
Let h(r) = r + 1. Let c be h(-2). Let t(w) = -4*w - w**2 - 5 - 5 + 12*w. Let z be t(7). Sort c, z, -5 in increasing order.
-5, z, c
Let n = -29 - -33. Sort 1, n, -2/3 in ascending order.
-2/3, 1, n
Let h(g) = -g**2 - g - 4. Let n be h(0). Suppose 5*b + 3 = 2*b. Let r = -3.5 + 3. Sort n, b, r in ascending order.
n, b, r
Suppose 5 = 2*g - 5. Suppose 2*k - 7 = -d + 1, 0 = -4*k - g*d + 28. Put 1, k, 5 in descending order.
5, k, 1
Suppose -q = -4*g - 2*q + 13, 2*q - 16 = -3*g. Suppose -2*h + 13 = 17. Put g, h, -1 in decreasing order.
g, -1, h
Let p be 1*(3 + -2)*1. Let m = -3 + p. Let j be (-1 - m - 1)/2. Put j, -2, 5 in ascending order.
-2, j, 5
Let i be 1 + (0 - -3)*1. Suppose 0 = t + m - i + 2, 5*m = -2*t + 10. Put t, -2, 2 in descending order.
2, t, -2
Let o = 2 - 7. Let c = 52.57 + -53. Let h = c - -0.03. Sort h, o, 5.
o, h, 5
Suppose 0 = -2*g - 3*g - 35. Sort 3, 4, g in ascending order.
g, 3, 4
Let j be ((-3)/(-2))/((-12)/16). Suppose -h = 3*o + 3*h - 12, o - 3*h = 4. Suppose 2 = o*i + 14. Put j, -4, i in ascending order.
-4, i, j
Let m = 1 - 1. Let c = 1 - 2. Let k = c - m. Put k, 2, 4 in descending order.
4, 2, k
Let n be (-3)/(-2)*(-13)/(-78). Sort n, 0, 1/5, 4.
0, 1/5, n, 4
Let u be (-2)/18 + (-2)/(-6). Let n(x) be the second derivative of -x**4/12 + x**3/6 - 5*x**2/2 + 3*x. Let k be n(0). Put 3, u, k in increasing order.
k, u, 3
Let i = -24 - -23.8. Sort i, 41, -5 in descending order.
41, i, -5
Let m(k) = -2*k. Let n be m(-5). Suppose 4*g = -2 + n. Suppose -5*c - g*y + 2 = -0*c, 2*y - 2 = 3*c. Sort -4, c, 3 in descending order.
3, c, -4
Let s = -0.1 - -0.6. Let z = -91/3 + 31. Let l = 2.22 + -0.22. Sort z, l, s.
s, z, l
Let g = -40.5 - -45.5. Let m = -1 + 1. Sort 0.09, g, m in ascending order.
m, 0.09, g
Let t be 0 + (-1 - (-4 + -1)). Let a = t + -3. Sort -5, 4, a in descending order.
4, a, -5
Let p = 11 + -6. Let v = 5.1 - p. Put v, -3, 3 in ascending order.
-3, v, 3
Let r = -5 - -6. Put 3, r, 5 in ascending order.
r, 3, 5
Let h = -34 + 36. Sort h, -1/4, -5, -8 in increasing order.
-8, -5, -1/4, h
Suppose 2*f = -3*m - 1, -16 = 4*f - 2*m - 6. Let n = 0 - 0. Put f, -3, n in ascending order.
-3, f, n
Let p = 22 + -38. Let f be (2/(-8))/((-6)/p). Let n = -4.62 + 0.62. Put f, n, -3 in descending order.
f, -3, n
Suppose -3*n = -n + r + 4, 4*r - 36 = 5*n. Sort -3, n, 1.
n, -3, 1
Suppose -2*z + a + 0 = -4, 4*z + 3*a - 8 = 0. Let s = 156 - 159. Put z, 0, s in ascending order.
s, 0, z
Let k be (-1)/(-4) - 30/(-40). Sort -10, k, -0.5.
-10, -0.5, k
Let y = 0.21 + 0.19. Suppose -3*d + d + 2 = 4*t, 2*d = -5*t + 1. Suppose -d*v + 15 = -0. Sort y, v, -3 in descending order.
v, y, -3
Let n be -4 + 4 + (0 - -1 - 0). Put -1/3, n, -0.05 in decreasing order.
n, -0.05, -1/3
Let z = -3.3 + -0.7. Let t = z + 4.2. Sort 0.1, t, -5.
-5, 0.1, t
Let p = -21 + 35. Suppose 0 = -x - 7 + 3. Let o be x/14 - (-4)/p. Sort 3, o, -5 in ascending order.
-5, o, 3
Let f(k) = -k + 15. Let l be f(15). Let g be 6/(-4)*(5 - 3). Sort l, -4, g in descending order.
l, g, -4
Let o be (2 - 3)/((-4)/(-8)). Let g be o - ((-54)/16 + 1). Sort -0.5, g, 1.
-0.5, g, 1
Suppose 3*x - 1 = 5. Let y be (x/(-6))/(5/(-90)). Sort y, 0, 4.
0, 4, y
Suppose 5*t + 2*s - 11 = 4*t, 6 = t + s. Suppose 0 = 4*u - 3*u - t. Let c be ((-20)/6)/((-24)/(-36)). Sort 0, u, c in inc