 - 156 = 0. Put 0.4, -6, m, -0.1 in increasing order.
m, -6, -0.1, 0.4
Let k(s) = s + 7. Let q be k(-7). Let c = 5.027 - 0.027. Put q, -0.5, -2, c in ascending order.
-2, -0.5, q, c
Let b = -0.5 - -0.2. Let x = 17 - 16.5. Sort -2/11, -3, b, x.
-3, b, -2/11, x
Let s = -161 + 163. Put -3, s, -2 in ascending order.
-3, -2, s
Suppose -2035 = 112*b + 205. Put b, -8, -3 in descending order.
-3, -8, b
Let z(q) = -5*q - 3. Let x be z(-8). Suppose 38*j = x*j - 2. Let a be (2/6)/((-1)/(-3)). Put a, 4, j in increasing order.
j, a, 4
Suppose 13*c = 10*c, 0 = z - 2*c. Sort 5, z, -7 in decreasing order.
5, z, -7
Let n = 3.306 - 0.306. Put -422, n, -0.2 in increasing order.
-422, -0.2, n
Let q = -0.315 - -0.215. Sort -5, -226, q in decreasing order.
q, -5, -226
Let q(f) = -f**2 - 36*f + 112. Let v be q(3). Sort -2/15, v, -57 in ascending order.
-57, v, -2/15
Suppose -5*s = -4*c + 7*c + 19, -21 = 5*s + 2*c. Put -2, s, 0, 5 in decreasing order.
5, 0, -2, s
Let f be -6 + 6 - (20 - 1). Let g = 17 + f. Let q be 42/8 + 12/16. Put -1, q, g in ascending order.
g, -1, q
Let g be (3/3)/(-6 - (-39)/6). Put -3, 1, 3, g in increasing order.
-3, 1, g, 3
Suppose -2*y = 3*l - 6, -y - 3 = 3*l - 6. Suppose -12*c = -16*c + 92. Suppose -2*s = -6, s - c = 3*z + z. Sort -1, z, y in increasing order.
z, -1, y
Suppose 40*n = 18*n + 22. Sort -1, 68, 3, n in decreasing order.
68, 3, n, -1
Let v = 182 + -182.1. Put -1, 3, v, -1/5 in increasing order.
-1, -1/5, v, 3
Let z = -624 + 625. Sort z, -1/4, -22/7, 0.3 in decreasing order.
z, 0.3, -1/4, -22/7
Let w(c) = 2*c + 82. Let h be w(-42). Sort h, -4, 19 in descending order.
19, h, -4
Let k(t) = -3*t. Let p(a) = 16*a + 1. Let j(w) = 22*k(w) + 4*p(w). Let s be j(3). Let y = -814.2 - -815.2. Put s, y, 2/3 in decreasing order.
y, 2/3, s
Let g = 0.7 - 0.4. Put 5, -1/7, -3, g in descending order.
5, g, -1/7, -3
Let f = 57 - 159. Let t = -102 - f. Let w be ((-8)/(-10))/((-9)/(-5)). Sort t, w, 0.4 in descending order.
w, 0.4, t
Let b(f) = -2*f**2 - 4*f + 5. Let z be b(-3). Sort -2/11, z, 3/8 in decreasing order.
3/8, -2/11, z
Suppose -35*p = -48*p + 26. Put p, 5, 8, -4 in increasing order.
-4, p, 5, 8
Let t = -1599 + 1604. Sort t, -3, -9, 3 in ascending order.
-9, -3, 3, t
Let u be 6*-1*(1 - -1). Let j be ((-1)/(-9))/((-2)/u). Put -3, 0, 0.3, j in decreasing order.
j, 0.3, 0, -3
Suppose -22*x - 65 = -351. Put -3, 4, x in increasing order.
-3, 4, x
Let d(u) = u**3 + 4*u**2 + 4*u + 2. Let o be d(-2). Suppose -3*h = 5*z - 22, h = -2*z - 3*z + 24. Sort -1, z, o.
-1, o, z
Let d = -215 - -213. Let z be (-6)/4 + 1 + 1. Sort z, -2/9, d in ascending order.
d, -2/9, z
Let b = -261 - -260.9. Let i = 0.2 - -0.1. Put i, -1/3, b in decreasing order.
i, b, -1/3
Let l = 0.0308 + 0.2692. Let f = 7 - 8. Put -5, f, l, -1/8 in descending order.
l, -1/8, f, -5
Suppose -3 = 5*x + 2*n, 2*x - 5*x - 3*n = 0. Let a(q) = -q**2 + 2*q + 11. Let i be a(4). Sort x, i, 1 in descending order.
i, 1, x
Suppose 5*c - 131 = -31. Suppose 4*k = -4*s + c, -2*s + 2*k - 4 = -s. Let l be (s/(-12))/(1/(-2)). Put -3, -2, l in descending order.
l, -2, -3
Let x = 57 - 51. Suppose 3*w = -2 - 4, -2*p - x = 2*w. Let y be (-1)/(-2)*(-9 + 1). Put 1, p, y in increasing order.
y, p, 1
Let r be 224/(-595) + 2/(-1 + 11). Sort -2, r, 0.4, 1/4 in descending order.
0.4, 1/4, r, -2
Let j = 2 - 1. Let r be -4*(-3 - (j + 3)). Let t be 7/r + (-17)/20. Sort 0, -3, t in descending order.
0, t, -3
Let g = -4.9 - -20.9. Let k = -21 + g. Let x be (-10)/8*-4*1. Sort k, x, 4.
k, 4, x
Let i(c) = -2*c + 31. Let r be i(17). Suppose w + 4 = -w. Put r, 8, w in decreasing order.
8, w, r
Suppose 70 = -2*i - 5*q, -11*i = -12*i - 2*q - 33. Put i, 0.5, -0.05 in increasing order.
i, -0.05, 0.5
Let i(v) = 2*v**3 - 3*v**2 + v - 2. Let q be i(2). Suppose 78*n - 30 = 68*n. Put q, 5, n, -3 in increasing order.
-3, n, q, 5
Let x = 738 - 743. Let h = 0.05 + -1.05. Sort -16, h, x in decreasing order.
h, x, -16
Let w(a) = 2*a**2 + 3*a - 16. Let r be w(2). Put 0, r, -5 in decreasing order.
0, r, -5
Let n be (-4)/(-106) + -1 + 1. Let h = -2.49 + 173.49. Let f = -173 + h. Put -4, n, f in decreasing order.
n, f, -4
Suppose 2*p = -2*z - 18, -3*z = 5*p - 7*z + 9. Let d = 27 - 26. Sort p, d, 0.
p, 0, d
Let b = 0.0362 - -0.0138. Put 4, b, -4, -0.4 in decreasing order.
4, b, -0.4, -4
Let o = 12 - 18. Let b be 3*-1*o/(-81). Let v = -1330.4 - -1330. Put v, -0.5, b in increasing order.
-0.5, v, b
Suppose 5*f - s = 30, -5*f + 35 = -0*s - 2*s. Sort -7, f, 1, -3 in descending order.
f, 1, -3, -7
Let c = 574/33 + 267/11. Let n = 42 - c. Let m = 10 + -8. Sort n, -4, m in decreasing order.
m, n, -4
Let i = 936 - 940. Let p = -5/22 - -8/11. Let l be ((-1)/((-3)/6))/11. Put i, l, p in decreasing order.
p, l, i
Let k = -0.13 + -9.47. Let g = -9.49 - k. Let j = -0.4 - 0. Sort j, -1/4, g in decreasing order.
g, -1/4, j
Let b = 0.1 - 0.14. Let k = 180/31 - 1533/248. Sort k, -0.3, b in descending order.
b, -0.3, k
Let y(b) = -5*b**2 + 0*b**3 - 11*b + 3 - b**3 + 17*b. Let w be y(-6). Let s be (w - -1)/4 - -2. Put -2, s, 0 in descending order.
s, 0, -2
Let j(a) = -a**3 - 5*a**2 + 1. Let v be j(-5). Suppose 3*x - v = 3*b + 2, -4*b + 16 = 0. Sort x, -4, 9, 4 in descending order.
9, x, 4, -4
Let u = 0.22 + -0.12. Let z = 2 - 4. Let a = -18311/9 - -2034. Put z, u, a in decreasing order.
u, a, z
Let q = -375 + 375.4. Sort 2, -1/2, 1/3, q in increasing order.
-1/2, 1/3, q, 2
Suppose 21 - 31 = 2*v. Let x be (1 - 2) + 2 + 0. Suppose -2*s - 3*m = -1 - x, -4*m = 0. Put -1, v, s in decreasing order.
s, -1, v
Let l(b) be the third derivative of b**5/60 + b**4/8 - 3*b**3/2 - b**2. Let n be l(-4). Sort n, -1, 0 in descending order.
0, -1, n
Let q(v) = -v**2 + 8*v - 12. Suppose 0 = 3*f - 0*f - 12. Let u be q(f). Let h = 2.7 + -3. Put -1, u, h in descending order.
u, h, -1
Suppose 2*v + 15 = -v. Let f(w) = -w**3 - 10*w**2 - 16*w + 2. Let r be f(-8). Suppose -7 = -r*c - 5*c. Sort 4, v, c in increasing order.
v, c, 4
Let a = -1294 + 1277. Sort a, 0.2, -0.1 in descending order.
0.2, -0.1, a
Let v(w) = 2*w + 13. Suppose 0*t - 4*t = 5*i + 50, -3*t - 40 = 4*i. Let a(o) = o + 1. Let m be a(i). Let r be v(m). Put 7, 0, r in ascending order.
r, 0, 7
Let j = 2.7 + -3. Let k be (20 + 776/(-40))/(6/5). Let b = -3 - -4. Sort b, k, j in descending order.
b, k, j
Suppose 5*h = 3*u + 8, -4*u = 4*h - 3*u - 3. Sort -10, 2, h in decreasing order.
2, h, -10
Let r = 4 + -5. Let n be 5*(12/(-20))/r. Suppose -s = -4*s + n. Sort -2, s, 4.
-2, s, 4
Let v = 274 - 173. Let c = v + -706/7. Sort c, -5, -8 in decreasing order.
c, -5, -8
Let c(a) = 21*a - 110. Let g be c(5). Suppose 4*r = r + 27. Suppose -w - 2*w + r = 0. Sort 2, w, g.
g, 2, w
Let c = -1.4 + 1. Let h(a) = -2*a**2 + 14*a - 17. Let s be h(5). Sort c, -5, s in increasing order.
-5, c, s
Let n = -0.492 - 3.508. Let q = 9 - 11. Put q, n, -1, 2 in descending order.
2, -1, q, n
Let o = -7.87 + 8. Let n = o - -0.37. Let q = n + -0.5. Put -3, q, -1 in descending order.
q, -1, -3
Let v(o) = -3*o**2 + o + 1. Let g be v(-1). Let r = 28 - 26. Let p be r/(-6) + (4/3 - 1). Put 2, g, p in ascending order.
g, p, 2
Let l = 7 - 1. Suppose -6 = -3*m + 5*d, -l = -m - 2*m + 3*d. Suppose -3*v - m*i = i + 6, v - 4*i = -22. Sort -3, 0.1, v in descending order.
0.1, -3, v
Let j(m) = -5*m**3 + m**2 + 2*m + 1. Let x be j(-1). Let l be 8 + 1*(1 - (5 + -2)). Let v be ((1 - -2)/l)/((-3)/(-36)). Sort v, x, 1 in decreasing order.
v, x, 1
Suppose 2*f - 4*g + 2 + 10 = 0, g = 3*f + 8. Put 80, f, 1, -5 in decreasing order.
80, 1, f, -5
Let z = -0.5 - 0. Let s = 1.3 - 1.43. Let r = -0.17 + s. Sort r, z, -2 in descending order.
r, z, -2
Let s be ((-1)/(-2))/(1/(-8)). Let n be (-7 - 3)*(1 + 0)/(-2). Suppose -133 = 4*j - 125. Sort j, n, s.
s, j, n
Let z(s) = -s**3 - 10*s**2 + 10*s - 10. Let x be z(-11). Let c be 12*1/(-6)*-2. Suppose -15 = -c*j + x. Put 3, 8, j in descending order.
8, j, 3
Let c = -0.4 + -0.3. Let p = c - -0.69. Put 0.3, -0.3, p in increasing order.
-0.3, p, 0.3
Let a = -37/2 + 18. Let k = 16574/57 - 872/3. Let h = -0.3 - 1.7. Put h, a, k in descending order.
k, a, h
Let q = 949 + -975. Put -0.05, -4, q in ascending order.
q, -4, -0.05
Suppose 0 = 4*l - d - 21, 6*l - 22 = 2*l + 2*d. Suppose -l*x + 20 = -x. Suppose -4*r + 9 = -x*t, 3*r + t = -r + 3. Sort r, 