 m(7). Suppose -2*n = -4*n - 10. Put n, r, 5 in decreasing order.
5, r, n
Let t(u) = u**3 - 3*u**2 + u - 3. Let s be t(3). Suppose s = -3*d + 10 + 8. Suppose -3*x + d*x - 16 = 5*y, 2*x + 16 = -2*y. Sort y, -0.2, 4.
y, -0.2, 4
Let m = 38 - 32. Sort 4, m, 3 in decreasing order.
m, 4, 3
Let t = 1.7 - 1.4. Let s = t + 0.2. Put 2, 0, s in descending order.
2, s, 0
Let a(y) = -y + 13. Let b be a(14). Put 2, -53, b in ascending order.
-53, b, 2
Let q = 44/5 + -494/55. Sort 0.4, q, 4, 0.3 in descending order.
4, 0.4, 0.3, q
Let u = 80.5 + -81. Sort -5, -0.3, -1, u in descending order.
-0.3, u, -1, -5
Let s = -138 - -2344/17. Put s, -1, 3 in decreasing order.
3, s, -1
Let h = 41 + -39. Put 5, h, -1/9, -2/13 in descending order.
5, h, -1/9, -2/13
Let h be 160/72 + 4/(-18). Sort -2, 17, h.
-2, h, 17
Suppose 0 = -4*o + 3*i - 36, 6*i - 8 = 2*o + 2*i. Let r = o - -12. Put 0.3, -2/17, r in ascending order.
-2/17, r, 0.3
Let u = -15 + 14.9. Let d = 0.5 - -0.5. Sort d, u, -4/7 in descending order.
d, u, -4/7
Suppose -7*t = 21 + 14. Put -1.8, 0.5, t in increasing order.
t, -1.8, 0.5
Let k = -19 - -24. Put -5, 6, k in descending order.
6, k, -5
Let t = -0.09 - -0.05. Let g = -0.96 + t. Let u = -3 - g. Put 1/7, 4, u in ascending order.
u, 1/7, 4
Let r(g) = -g**2 - 7*g + 8. Let j be r(-8). Let b = -1 + 5. Sort j, b, 2 in ascending order.
j, 2, b
Suppose -3*z - 3*m + m + 12 = 0, 3*m = 3*z - 12. Let w = 1 - 0. Let u be 3*(-2 - -1)/w. Put -5, z, u in increasing order.
-5, u, z
Suppose 3*i + 12 = 3. Let w = -5 - -5. Let j be 1*(w + 2/6). Sort -1/6, i, j in ascending order.
i, -1/6, j
Let d = 29 - 20.5. Let f = d - 8. Sort 2/9, -1/7, f in increasing order.
-1/7, 2/9, f
Let l = 8 + -14. Let z be ((-1)/3)/((-1)/l). Put z, -3, 5 in decreasing order.
5, z, -3
Let w = 0.3 + -0.4. Let a = w + -0.1. Sort 2, 2/3, a in decreasing order.
2, 2/3, a
Let d = -5 + 5.3. Let i = 0 - -3. Sort 2, d, i in increasing order.
d, 2, i
Let n = -58 - -55. Suppose t + 0 = u - 3, -2*t - 10 = -4*u. Sort t, -15, n in increasing order.
-15, n, t
Let h = 6 - 6. Let x = 1 - 0.5. Sort h, 2/5, x in increasing order.
h, 2/5, x
Let h = -67/66 - -5/6. Sort -1, 4, h in descending order.
4, h, -1
Let p = -1379/10 - -138. Sort p, 5, -0.3 in decreasing order.
5, p, -0.3
Let w(l) = -l - 1. Let s be w(-5). Suppose s*q + 12 = 0, -14 - 10 = -4*z + 4*q. Put z, 0, 2 in increasing order.
0, 2, z
Suppose 2*c - 32 = 3*b - 0*b, c - 22 = 3*b. Let h be 1*2*(-65)/c. Let d = h + 8. Sort -3, 4, d in decreasing order.
4, -3, d
Let f be (-532)/(-132) - 1/(-3). Let v = f + -794/187. Sort v, 4, -5 in descending order.
4, v, -5
Let m be 1088/(-4199) + 2 + 24/(-13). Let g = -0.4 - -0.7. Put m, -5, g in decreasing order.
g, m, -5
Let k be (2 - 5)*4/(-12). Put 5, k, -5 in increasing order.
-5, k, 5
Let x = 73 - 69. Sort -1/6, 2, x in descending order.
x, 2, -1/6
Let d be (-2)/(-2) - (1 + -3). Let p(h) = h**3 - 4*h**2 + 3*h + 2. Let k be p(d). Let o be (-28)/(-21)*3/k. Put -5, 1, o in descending order.
o, 1, -5
Let h = -0.1 + 0.09. Let b = 1.21 + h. Let i = 0.2 - b. Sort i, -4, 4/7 in decreasing order.
4/7, i, -4
Let b(f) = f**3 + 7*f**2 + 7*f + 6. Let a be b(-6). Let c = 2 + -2.3. Let n = 0.1 + c. Sort n, 2, a.
n, a, 2
Suppose -4*z + 6*z - 4*t - 10 = 0, -4*z = t + 7. Sort 1, z, 5 in descending order.
5, 1, z
Suppose 0 = 57*u - 58*u. Let q = 29/2 - 16. Sort q, u, 0.4.
q, u, 0.4
Let d(j) = -j**3 + j**2 + 2*j + 1. Suppose -1 - 1 = 2*f. Let x be d(f). Sort -0.2, x, -3 in ascending order.
-3, -0.2, x
Let p = -7 - 8. Let v = -14 - p. Sort v, -2, -1.
-2, -1, v
Let r(j) = -j**3 - 2*j**2 - j + 1. Let n be r(-1). Sort -12, -2, n in decreasing order.
n, -2, -12
Suppose -n = 5, 0*n + 25 = 4*u - n. Suppose 0 = 5*f + 2*m - 20, m = -3*f - f + 16. Put -4, f, u in descending order.
u, f, -4
Suppose -3*x - 25 = 2*x. Let g = x - -7. Suppose -2*v + 15 = v. Put v, g, -3 in increasing order.
-3, g, v
Let i be (9 + -6)*(1/(-2))/1. Put -1, 6, -4, i in decreasing order.
6, -1, i, -4
Let q = -6 + 4. Sort q, 0, 2 in ascending order.
q, 0, 2
Suppose 2 + 8 = 5*k, 3*i - 3*k = -3. Put i, -2, -3 in decreasing order.
i, -2, -3
Let i(q) = -q**2 + q + 4. Let k be i(3). Let a = k - -4. Let y be 6/(-1*(3 - 1)). Sort y, a, 0 in ascending order.
y, 0, a
Let m = 0 - -0.3. Let b = 0.1 - m. Let s = -0.05 + -3.95. Sort -2, s, b in descending order.
b, -2, s
Let y be -6 - 6/(3 - 5). Sort -1/6, y, -9 in ascending order.
-9, y, -1/6
Let p be (3 - 3)*1 - 3. Let d be -2 + (p/(-3) - -3). Sort -5, d, 5 in descending order.
5, d, -5
Let k(q) = -q**3 - 7*q**2 - 7*q - 2. Let a be k(-6). Let g = -9 + a. Suppose 4*n = 2 + 14. Sort g, 2, n in descending order.
n, 2, g
Let t = 5.9 - 9.9. Put t, 5, 1, -0.1 in decreasing order.
5, 1, -0.1, t
Let x be (-5)/2*(-12)/10. Let c = x + -2. Let l be 1*(-20)/(-36) + -1. Put l, 0.1, c in decreasing order.
c, 0.1, l
Let b = 0.08 - -8.92. Let k = 8.8 - b. Sort -4, 6/11, k.
-4, k, 6/11
Let v = -6 - -10. Let k = -4.1 + -0.9. Put v, 3, k in descending order.
v, 3, k
Let g = -10 - -5. Let i = 5.1 + g. Sort -1, i, -1/3.
-1, -1/3, i
Suppose -4*k + 6 = f - 2, -29 = -3*k + 5*f. Sort -1, 16, k.
-1, k, 16
Let p = -0.03 + -1.27. Let u = p - -1.2. Sort 0.9, 2, u in descending order.
2, 0.9, u
Suppose 0 = -g - f - 7, 5*g - f = -0*f - 35. Sort -3, g, 1, -2 in decreasing order.
1, -2, -3, g
Suppose 0 = -0*l + 2*l. Suppose -3*s + 12 = l, -u + 0*s + 11 = 3*s. Sort u, 5, 4 in decreasing order.
5, 4, u
Let v(q) = q**3 + 21*q**2 + 1. Let o be v(-21). Suppose -20 = 6*y - 2*y, 2*y + 2 = -2*c. Put c, -5, o in increasing order.
-5, o, c
Let z be ((-14)/42)/((-1)/(-12)). Put -5, z, -1 in descending order.
-1, z, -5
Suppose 0 = -3*z + 2*z + 7. Suppose -4*b + 14 = -5*x - 0*b, -2*x + 3*b - z = 0. Put -3, x, -4 in descending order.
x, -3, -4
Let p = 7 + -3. Let h(r) = -r**3 + r**2 - 3. Let k be h(0). Sort k, -2, p in increasing order.
k, -2, p
Let d(v) = 4*v**3 - 3*v + 2. Let q be d(1). Let m(y) = y**2 - y. Let i be m(-1). Sort q, 0, i in ascending order.
0, i, q
Let p = -79 - -79.1. Put p, -4, -15 in decreasing order.
p, -4, -15
Let i be -12*((-12)/9 + 1). Suppose m + i = 2. Put 1, 0, m in ascending order.
m, 0, 1
Let h be (3 - 34/10)/((-4)/1). Put 1, -3/5, h, -0.4 in decreasing order.
1, h, -0.4, -3/5
Let f = -2 - -2.3. Let m = 2.5 + -2.8. Put f, 4/5, m in descending order.
4/5, f, m
Let u = 4 - 4.5. Let q = 0.4 + u. Let y = 3 - 3.3. Sort -1, q, y.
-1, y, q
Let w(d) = 0 + 19*d**3 - 4 - 5*d**2 - 18*d**3 + 5*d. Let z be (12/8)/(3/8). Let p be w(z). Put -3/8, -0.3, p in decreasing order.
p, -0.3, -3/8
Let j(z) = -z**2 + 6*z + 6. Let s be j(5). Let q = -9 + s. Put -2, -5, q in decreasing order.
q, -2, -5
Let i be 132/351 - 2/9. Let g be -1 - ((-24)/14 + 1). Put 5/4, g, i in ascending order.
g, i, 5/4
Suppose 4*h - 16 = 32. Suppose -10 = -14*b + h*b. Suppose -2*o = -3*o - 4*y, -3*o - 2*y = 0. Put b, -0.2, o in decreasing order.
b, o, -0.2
Let i(j) = j**2 - 7*j - 5. Let a(p) = -6*p**3 + 2*p**2 + 2*p + 1. Let w be a(-1). Let n be i(w). Sort -2, -4, n in descending order.
-2, -4, n
Let f = 16.2 + -16. Let c = -0.04 - -3.04. Put c, f, -5 in descending order.
c, f, -5
Suppose 74 = -3*o + 62. Suppose 2*r - 4*r - 2 = 0. Put r, -5, o in ascending order.
-5, o, r
Let j(d) = -d**2 - 4*d + 1. Suppose 8*y + 5 = -5*i + 3*y, -2*i = -5*y + 23. Let f be j(i). Suppose 3*o = f + 2. Sort 5, 4, o.
o, 4, 5
Let z be (-30)/8*(-32)/(-12). Suppose -4*v + 8*v + 8 = 0. Sort 4, z, v.
z, v, 4
Let i be (-3)/(-1 + -3 - -7). Let c = -2 - -5. Suppose c = 3*n - 0. Sort n, i, -2.
-2, i, n
Let x(i) = i + 8. Let v be x(-8). Suppose v = -3*p - 3*n + n + 53, 0 = 2*p - 2*n - 22. Let k be p/6 - (-2)/(-4). Sort k, 3, -1 in descending order.
3, k, -1
Let r(p) = p**2 + 22*p - 75. Let w be r(-25). Sort -1, w, -6, 1 in decreasing order.
1, w, -1, -6
Let m(l) = -2*l - 6. Let j be m(-4). Let o be ((-10)/4)/(1/(-2)). Put j, 3, o in descending order.
o, 3, j
Let x = -3 - -7. Let w(p) = -p**2 + 6*p + 5. Let s be w(6). Put s, 3, x in decreasing order.
s, x, 3
Let o be (-2 - -3)/((-3)/(-15)). Suppose -5*c = 10, 3*v = -o*c - 12 - 4. Sort 0, v, -5 in decreasing order.
0, v, -5
Let x = 127 - 132. Put 0, x, 4, -0.9 in decreasing order.
4, 0, -0.9, x
Let o = -9.1 + 0.1. Let d = 10 + o. Put -2, 7, d in increasing order.
-2, d, 7
Suppos