13*u - 4. Put 1, u, m in increasing order.
m, 1, u
Let h = -468 + 468.4. Let j = -4526/13 + 348. Sort j, h, 4 in ascending order.
j, h, 4
Let k = -20/29 + 167/116. Sort -1/2, k, -3.
-3, -1/2, k
Let h = 5 - 5.4. Let r = 0.07 - 1.17. Let b = r + 0.8. Sort b, h, 3 in ascending order.
h, b, 3
Let x = 64/923 + 6/71. Let z(v) = -2*v + 27. Let r be z(11). Sort r, x, -3 in ascending order.
-3, x, r
Let m be 6/(-7)*(-154)/33. Sort m, 1, -2 in ascending order.
-2, 1, m
Let z = 6 - -10. Suppose 4 = 4*f + z. Let q(i) = i + 2. Let n be q(f). Sort -3, n, -5 in descending order.
n, -3, -5
Let u = 1.85 - -0.15. Let l = -1/10 + 7/10. Sort u, 0.5, l in increasing order.
0.5, l, u
Let j = -5 + 5. Sort -2, j, 3, 4.
-2, j, 3, 4
Let k = 1 - 5. Sort -3, -1/9, k, -5/4.
k, -3, -5/4, -1/9
Let o(h) = -h**2 + 6*h + 7. Let g be o(7). Suppose g = i + 1 - 6. Sort i, -3, 0 in increasing order.
-3, 0, i
Let b be (-6)/21 - 16/(-7). Sort b, -3, 5 in increasing order.
-3, b, 5
Let t(f) = 3*f - 1. Let x(j) = -j**2 - 5*j + 8. Let h be x(-6). Let i be t(h). Suppose -i*o - 12 = 5*p - o, 6 = -p - 2*o. Put 3, p, -1 in increasing order.
-1, p, 3
Let w be (25/(-14) + 2)/((-27)/36). Sort -0.1, w, -1 in descending order.
-0.1, w, -1
Let m(o) = -o - 9. Let t be m(-5). Suppose 0 = -10*f - 11*f + 4*f. Put 3, t, f in ascending order.
t, f, 3
Suppose -4*q + 3*q + m = 8, q - 2*m = -10. Put 4, q, 3, 5 in increasing order.
q, 3, 4, 5
Let c be (-1)/(-20)*-6*(-12)/9. Put -3, -20, c in increasing order.
-20, -3, c
Let o = -0.02 - -0.52. Let d = 0.2 - 0.3. Put d, o, 2 in descending order.
2, o, d
Let j(q) = -q**3 - 6*q**2 + q + 5. Let o be j(-6). Put o, 4, -2 in descending order.
4, o, -2
Let r = -0.7 - -0.7. Let y be ((-5)/(5/2))/(-10). Sort -3, r, y in decreasing order.
y, r, -3
Let i be 5/2*(-20)/175. Let v = 2.74 + 0.26. Sort -0.4, i, v.
-0.4, i, v
Let j = -0.1 - 0. Let p = -19/2 - -115/12. Let z be (-11)/(44/32) - -3. Sort z, j, p in increasing order.
z, j, p
Suppose -2*u = 10, -n + 0*n + 15 = -4*u. Put n, -3, -11 in descending order.
-3, n, -11
Let r(z) = -z**2 + 12*z + 14. Let m be r(13). Sort 3, -1, m, 0 in descending order.
3, m, 0, -1
Let d(b) = -b**2 + 6*b - 5. Let p be d(5). Suppose -4*q = -k - k - 12, 2*q - 22 = 5*k. Sort p, q, 4 in descending order.
4, q, p
Let z = 3.9 + -4. Let y = -13 - -8. Let h be 3/y - 610/(-850). Sort h, z, 3.
z, h, 3
Let t = -2.2 + 2.1. Sort 5, -0.5, t in decreasing order.
5, t, -0.5
Let d be ((-8)/(-10))/(4/10). Let n = d + -5. Let k be (-24)/(-2)*(-1)/n. Sort 0, 2, k in descending order.
k, 2, 0
Let y = 0.1 + 0.1. Let v be (2 - (-138)/(-75))/(3/15). Sort 0.3, y, v in increasing order.
y, 0.3, v
Let i = 1 + -4. Let u(q) = 5*q**2 - 4*q - 4. Let h be u(4). Let s be i/2*h/(-18). Put 4, s, 3 in increasing order.
3, 4, s
Suppose 5*h - 14 = 3*f - 6*f, 2*f - 4 = 2*h. Put -2, f, 2 in ascending order.
-2, 2, f
Let f(o) = o**3 - 7*o**2 + 6*o + 3. Let n be f(6). Put n, 5/4, -3/8 in ascending order.
-3/8, 5/4, n
Let f = 25 - 4. Let k be ((-1)/f)/(5/15). Let z(l) = l**2 - 6*l + 4. Let q be z(6). Put -0.5, k, q in decreasing order.
q, k, -0.5
Suppose -14 = -5*s + 4*o, -3*s + 1 = 3*o + 2*o. Suppose -3 = -s*r - r. Let v be 4 + (r - 2)*-1. Sort -5, v, -4 in ascending order.
-5, -4, v
Let q = 0.06 + -3.06. Sort q, 0, 5 in descending order.
5, 0, q
Let t(r) = -r**2 - 20*r - 5. Let j be t(-20). Suppose -4*a + 2*a = 0. Let g be 58/(-18) - (-2)/9. Sort j, a, g in increasing order.
j, g, a
Let g = -13.86 + 18.7. Let j = g + -5. Let i = j + 0.06. Sort 1/12, i, 3 in ascending order.
i, 1/12, 3
Let c be -5*8/(-180) - 70/(-9). Sort 1, c, 0.
0, 1, c
Suppose 4*k + 2*t = 12, k + 2*t = 2 + 7. Let d = k - 3. Put d, -3, -5 in decreasing order.
d, -3, -5
Let r be (3 + -1)*(2 - 3). Let m = r - -4. Suppose 5*o - d + 13 = -0*d, -m*d = -o - 8. Put 4, 1, o in increasing order.
o, 1, 4
Suppose -x - 5 = 2*k, -x + 2*k + 10 = k. Sort 3, 2, -3, x in increasing order.
-3, 2, 3, x
Let u(h) be the first derivative of -h**3/3 + h**2/2 + 1. Let w be (0/2)/(0 + -2). Let y be u(w). Put y, 2, 4 in ascending order.
y, 2, 4
Let f(g) = g**3 + 3*g**2 - 3*g - 1. Let d be f(-4). Put d, -3, 5 in increasing order.
d, -3, 5
Let i(g) = -4*g - 4. Let f be 4/(-10) + (-154)/(-35). Let a be i(f). Let z be (-1*1)/((-4)/a). Sort 0, 2, z.
z, 0, 2
Let c = 4 + 0. Sort c, 0.5, -5.
-5, 0.5, c
Suppose k - 4*o + 4 = 23, -2*k - 4*o - 10 = 0. Put -1, k, 5 in decreasing order.
5, k, -1
Let i = 2 - 6. Let d be (-21)/i - (-2)/(-8). Let h(r) = r**3 - 3*r**2 - 2*r - 5. Let w be h(4). Put -3, w, d in ascending order.
-3, w, d
Let n = 26 + -42. Let u be (4 + -1)*n/312. Sort 8/9, u, 4.
u, 8/9, 4
Let g(p) = -p - 4. Let r be g(-7). Sort 18, 5, r.
r, 5, 18
Let n = 13 - 12.5. Let o = 0.5 + n. Sort -1, -4, o in increasing order.
-4, -1, o
Let p(s) = 4*s**2 - 4. Let t(v) = -9*v**2 - v + 9. Let r(d) = 7*p(d) + 3*t(d). Let x be r(6). Suppose -x + 2 = 5*z. Sort -4, 5, z in decreasing order.
5, z, -4
Let z = -0.13 + 5.13. Let v = 4 - 2. Let b = 0 - -0.1. Sort b, v, z in increasing order.
b, v, z
Let c = -3 - -2.8. Let n = -1.3 + -1.7. Let f = n + 3. Sort 0.5, c, f.
c, f, 0.5
Let b = 32 - 28. Sort -5, b, 2 in decreasing order.
b, 2, -5
Let v = -2 - -1.7. Let g = -33 - -31. Sort v, 3, g in descending order.
3, v, g
Let l = -6 - -10. Let s be (-1)/((-14)/l + 3). Sort 5, -2, s.
-2, s, 5
Let a = -5 + 7. Suppose 5*o - 3*y = o + 26, 5*o - a*y = 29. Suppose 2*n + 23 = 5*x, -3*n - 27 + 6 = -3*x. Put n, o, -5 in increasing order.
-5, n, o
Let m = 10.7 - 10. Let p = m - 0.4. Put p, 0.4, -3/2 in decreasing order.
0.4, p, -3/2
Suppose 5*m - 25 = 5*i, -5*i = 3*m - 2*m + 7. Sort -2, -5, -1, m in increasing order.
-5, -2, -1, m
Suppose 2*j = -4*r + 6 - 28, 0 = -2*j - r - 10. Let w be ((-4)/(-2)*-5)/(-1). Suppose -2*d - i = -8, d = 3*d + 2*i - w. Sort 0, d, j in increasing order.
j, 0, d
Let h = -2 + 11. Suppose 0 = -0*m + m - h. Let f = m - 12. Sort f, 0, 2 in ascending order.
f, 0, 2
Let a be -2*((-6)/(-4))/(-1). Put 5, 0, a in increasing order.
0, a, 5
Suppose -c - 4 = -3*c. Put c, -1, 0 in increasing order.
-1, 0, c
Let w(y) = y**3 + y + 1. Let b be w(-1). Sort b, 3, 0 in decreasing order.
3, 0, b
Let i(g) = g**2 + 2*g + 3. Let t be i(-2). Sort t, -5, -4 in ascending order.
-5, -4, t
Let i be 2/(2*(-2)/6). Suppose -24*b - 2 = -26*b. Put -2, b, i in ascending order.
i, -2, b
Suppose 2*z - 5 = -v, -5*v + 1 = -3*v - 5*z. Put -2, v, 0.4 in ascending order.
-2, 0.4, v
Let l = -4 - -1. Let c = -30 - -30.5. Put c, -4, l in decreasing order.
c, l, -4
Let d = 1.004 + -0.004. Put 9, -5, d in descending order.
9, d, -5
Let l be 2*-3*2/(-3). Suppose -3 = -4*z + 9. Put z, -2, l in ascending order.
-2, z, l
Let m be (-3 + 5 + -4)/2. Sort m, -4, 5, 74 in descending order.
74, 5, m, -4
Let o(w) = 4*w + 7 - 1 + 5*w**2 + w**3 - 2*w**3 + 1. Let y be o(6). Let c be (2/5)/((-3)/(-15)). Sort -1, y, c in ascending order.
y, -1, c
Let x be 2/5 + 14/(-35). Suppose x = w + 3*w - 4. Sort w, 2/9, 4.
2/9, w, 4
Let q(i) = -i**3 + 6*i**2 + 5*i - 4. Let c be q(6). Let v be 1/4 + c/(-8). Suppose p - 2*l - 1 = 1, -5*p = -3*l - 17. Put 3, p, v in ascending order.
v, 3, p
Let x(t) = -3*t - 5. Let v be x(-2). Let r = 0 - -4. Put v, -4, r in decreasing order.
r, v, -4
Let d(f) = -2*f + 2. Let g be d(2). Let c(z) = -z**3 + 6*z**2 + 2*z - 9. Let w be c(6). Let l be (-2)/(-6)*w - -3. Sort g, -4, l in descending order.
l, g, -4
Let n be (1 - -1)/(4/(-18)). Let j = 13 + n. Let o = -2.5 + 3. Sort j, -2/7, o in ascending order.
-2/7, o, j
Let j be (2/(-4))/((-2)/8). Let h be -3 - (-1)/((-1)/j). Sort 5, 1, h in increasing order.
h, 1, 5
Let w = 79/2 + -41. Put -4, 4, w, 1 in descending order.
4, 1, w, -4
Let l(c) = c + 10. Let n(p) = -p + 1. Let z be n(8). Let r be l(z). Sort r, 1, -4 in ascending order.
-4, 1, r
Let k = -3.4 + 0.4. Sort k, 4, 2 in descending order.
4, 2, k
Let y = -2 + 5. Let c = -1.8 + 13.8. Let v = c + -7. Sort 0.4, v, y in ascending order.
0.4, y, v
Let n be ((-20)/(-6))/((-4)/(-6)). Let v be 1/7 - 144/28. Sort n, 2, v in ascending order.
v, 2, n
Suppose -5*d - 5*i = 20, 3*d + i + 17 = 3*i. Sort -4, -1, d in descending order.
-1, -4, d
Let t(v) = -v**3 - 4*v**2 + 2*v + 11. Let k be t(-4). Let j = 0.2 + -0.2. Sort j, -5, k in decreasing order.
k, j, -5
Let m(z) = -z - 1. Let y be m(1). Le