m(7). Suppose a = -3*u + 6. Let b = 2 + -2. Put -4, b, u in decreasing order.
u, b, -4
Suppose -3*q + 10 = 2*q. Let g be 1*(-6)/(0 + -3). Suppose -g = -j + 3. Put q, -2, j in descending order.
j, q, -2
Let s be (-25)/2*5/(-25). Sort 2/9, s, -3/4 in decreasing order.
s, 2/9, -3/4
Suppose 5*a + 8 = 18. Put 4, -16, a in decreasing order.
4, a, -16
Let x be -4*(-3)/4 + -1. Put x, 0, 5 in increasing order.
0, x, 5
Let v be (24/32)/(-2*1/8). Sort v, 5, 4, 3 in descending order.
5, 4, 3, v
Let u = -150 + 113. Sort u, -0.5, 1/6.
u, -0.5, 1/6
Suppose 0 = 7*h - 0*h - 49. Put -4, 2, h in descending order.
h, 2, -4
Let v = 0.09 - 1.09. Let b = 3.01 + -3. Let y = 0.41 - b. Sort v, 1, y in decreasing order.
1, y, v
Let h be -3*((-7)/3 - -4). Sort h, -9, 2 in ascending order.
-9, h, 2
Suppose -f - 2*l + 1 = 0, -2*l - 3*l - 2 = f. Suppose f*x = x - 2*g - 6, -g = 3*x + 11. Put x, 1, -1 in descending order.
1, -1, x
Let k = 2 + 0. Suppose 0 = 4*w, k*w - 48 = -2*r + 5*w. Suppose -3*y = f - 11, 4*f + r - 8 = 3*y. Sort f, 1, 0.
f, 0, 1
Suppose 3*j + 4*g + 16 = 0, 2*g + 1 + 1 = 0. Suppose 0 = -4*r - r - 5*t, 6 = 3*t. Sort j, r, 2.
j, r, 2
Let l be (-2)/6 + (-2)/(-6). Suppose 2*a + 5 = -3. Let z = -6 - a. Put l, 3, z in decreasing order.
3, l, z
Let p = -4 - -15. Let z = 12 - 11. Sort -4, z, p in increasing order.
-4, z, p
Suppose d - 4 = -5. Sort 1/3, d, -6/11.
d, -6/11, 1/3
Let i = -30 - -37. Sort i, -1, -1/2.
-1, -1/2, i
Let w(m) = m - 2. Let y(h) = 2*h - 5. Let i be y(6). Let q be w(i). Suppose 5*c - q = 0, -2*c - 19 = 4*d - c. Sort -1, -2, d in decreasing order.
-1, -2, d
Let r = -3.6 + 2.6. Sort r, 3/5, -19 in decreasing order.
3/5, r, -19
Let f = 50 - 25. Suppose -4*o - o - f = 0. Let c = -4 - o. Put 4, c, 0 in ascending order.
0, c, 4
Let l = -43 + 43. Sort l, -1, 4 in descending order.
4, l, -1
Let g = -8 + -18. Let n be g/10 + 4/(-10). Let v = -2 + -3. Sort 0, v, n.
v, n, 0
Suppose 10*k = 6*k + 24. Suppose -j - k = -4*j. Sort j, -2/3, 8 in ascending order.
-2/3, j, 8
Let b = 34 + -35. Sort b, 2, -5, -16 in descending order.
2, b, -5, -16
Suppose -m - 5 = 0, -3*w + m + 4 = -31. Suppose 3*x + 17 = 4*u, 9 = 2*u - 5*x - w. Let v(q) = -q - 5. Let c be v(-3). Sort 0, c, u.
c, 0, u
Let w be 2/(-8) - (-47)/(-4). Let k = w - -12. Sort -5, -1, k in descending order.
k, -1, -5
Let v = 23 + -19. Sort v, 0, -5 in decreasing order.
v, 0, -5
Let r be ((-2)/5)/((-39)/(-15)). Let h = 58421729/77 + -758734. Let j = h - -108/11. Put r, -0.1, j in decreasing order.
-0.1, r, j
Let h = -5 + 8. Suppose 0*l + 10 = -2*l, d + 5*l = -24. Sort h, 2, d in decreasing order.
h, 2, d
Suppose 4*d = -2*n - 2*n + 16, -n + 12 = 5*d. Sort n, -4, 4.
-4, n, 4
Let b = 35 - 37. Sort 2/11, b, 0.1 in descending order.
2/11, 0.1, b
Let k = 25 + -2. Let v = k - 22.6. Let s = 5 - 9. Sort s, 3/4, v.
s, v, 3/4
Let i = 20 - 20. Sort 5, i, -5.
-5, i, 5
Let b be ((-6)/5)/(3 + (-39)/15). Put 0, 3, b, 19 in decreasing order.
19, 3, 0, b
Let y be (-56)/32 - (-2)/(-8). Put -42, y, 3, -5 in increasing order.
-42, -5, y, 3
Let h be 158/(-8)*(2 + -6). Let x = 867/11 - h. Put -0.3, x, -3 in descending order.
x, -0.3, -3
Let h(u) = -5*u + 30. Let i be h(7). Sort i, -2, -1, 3 in ascending order.
i, -2, -1, 3
Let s = -1/50 + -47/150. Let c = -675 + 671.93. Let y = 0.07 + c. Sort s, y, 5 in descending order.
5, s, y
Let v(i) = -i**3 - 6*i**2 - 4*i + 4. Let f be v(-5). Let w be -4 - 3*(0 + f). Let s be 2 + -1 + -2 + 4. Put -4, w, s in increasing order.
-4, w, s
Let a = 5 - 4.9. Let f = a - 0. Sort f, -1, 3/4 in descending order.
3/4, f, -1
Let p = 20.1 - 20. Sort 4, p, -5 in descending order.
4, p, -5
Suppose 2*s - 5*t = -t - 6, 0 = -5*s - 3*t + 11. Put -2, 0.4, s in ascending order.
-2, 0.4, s
Let r = -3 - -2.5. Let n = -1 - 3. Let z = 13/4 + -4. Put z, n, r in ascending order.
n, z, r
Let l = 0.52 + -0.6. Let m = l + -6.92. Let j = -7.3 - m. Sort -2/7, 0.4, j.
j, -2/7, 0.4
Let j(f) = 2*f**2 - 14*f + 21. Let p be j(4). Sort -2, p, 39 in increasing order.
p, -2, 39
Let b be -8 - -4 - (-19)/4. Put -4, 1/2, b in increasing order.
-4, 1/2, b
Let c = -38 + 37.5. Let z = -0.23 + -0.07. Sort -1, z, c in decreasing order.
z, c, -1
Suppose -z + 8 = s - 0*s, -3*z + 14 = s. Suppose -w - w - 2*w = 0. Sort w, -4, z.
-4, w, z
Let t = 69 - 74. Let g(w) = -w**2 + 6*w + 3. Let v be g(7). Sort 3, t, v in increasing order.
t, v, 3
Let f be 9 + -7 + (-3 - 0). Let w be (-2 + (-15)/(-6))/f. Let q = 0.08 - 5.08. Sort q, -4, w.
q, -4, w
Let l(u) = -u**3 + u**2 + 5. Let d be l(0). Suppose 3 = -r + d, -v + 32 = 2*r. Let x be 4/(-6) + v/33. Sort x, 1/4, 4 in decreasing order.
4, 1/4, x
Let a(k) = -4*k**3 + k**2 + k + 1. Let h be a(-2). Let l be 29/h + 10/(-25). Let b = 1.9 + -2. Sort b, 4, l.
b, l, 4
Let z = 4 + -3. Let i(t) = 7*t**3 - 2*t + 1. Let n be i(z). Let v(q) = q - 5. Let x be v(n). Sort x, 2, -4 in descending order.
2, x, -4
Suppose 0 = -5*j + 33 - 8. Suppose 2*q + u - 3*u - 16 = 0, -2*u = j*q - 5. Sort 5, 4, q in increasing order.
q, 4, 5
Let s be -8*2/(-8)*5. Let z = 6 - s. Sort -1, z, 5 in decreasing order.
5, -1, z
Let a be 7*(-4 - 64/(-14)). Put -5, 5, a in decreasing order.
5, a, -5
Suppose -5*m + 20 = 5*c, -m = -3*m - 3*c + 4. Suppose -2*l + 0*l = m. Suppose -u - 5 - 5 = -2*k, 4*k + 2*u = 4. Put 5, k, l in descending order.
5, k, l
Let w = 7 - 11. Let d = 3 + -4. Let r be 0 - (d - (-9)/6). Sort r, w, 0.4 in increasing order.
w, r, 0.4
Let c = -2.7 - -3. Sort -5, 1, -1/5, c.
-5, -1/5, c, 1
Let g = 4 - 6. Let x = 5 - -1. Let f = x + -7. Put f, g, -4 in decreasing order.
f, g, -4
Let x = 2 - 3. Let d be -3 - (0 + 1 + 0). Let y be 3/d*4/(-1). Put 1, x, y in descending order.
y, 1, x
Let i = 58 + -65. Sort i, -2/3, 0.1, -0.3 in increasing order.
i, -2/3, -0.3, 0.1
Let f be 1 + ((-36)/20 - -1). Let d(t) = 4*t + 0*t - 2*t - 4. Let y be d(4). Put -0.5, f, y in descending order.
y, f, -0.5
Let v be (-95)/7 - 48/(-84). Let c = v + 12. Put -2, 1, c in decreasing order.
1, c, -2
Let l be (-16 - -7) + 2 + 3. Sort l, 11, 0 in decreasing order.
11, 0, l
Let j(v) = 2*v + 22. Let l be j(-13). Let a be ((-2)/1 - -2)/1. Put a, l, -1 in increasing order.
l, -1, a
Let z = 0.1 + 0.2. Let u be (-34)/(-9) - (-3)/(135/10). Let r be (-4)/(-12) + (-21)/36. Put r, u, z in decreasing order.
u, z, r
Suppose 5*b + 9 = -i + b, 4*i = -3*b + 3. Sort 4, i, -1.
-1, i, 4
Let c(m) = m**2 + m - 1. Let w be c(1). Suppose -4*v + v = 5*h + 14, -2*h = -2*v - 4. Put 5, h, w in decreasing order.
5, w, h
Let r(v) = v**2 + 4*v - 2. Let a be r(-5). Let u be a/(-72) - (-2)/(-6). Put 3/5, u, 0 in increasing order.
u, 0, 3/5
Suppose 0 = d + 4*d - 5. Put -0.3, d, -7 in ascending order.
-7, -0.3, d
Let m = 1.6 - 1.4. Sort -3, m, 5.
-3, m, 5
Let a = 49 - 70. Let d be 78/a + (-6)/21. Sort -2, -3, d in descending order.
-2, -3, d
Let c = 0.04 + 1.06. Let l = c - 0.8. Let x = l + -0.1. Sort 0, x, -1/2.
-1/2, 0, x
Let t = -0.71 - 0.29. Sort -6, t, 1.
-6, t, 1
Let p = -18 + 18. Put p, -0.4, 11 in descending order.
11, p, -0.4
Suppose -4*p + 0*p + 6 = 2*x, 2*x - 2 = -2*p. Suppose p*k - 13 = 4*v - 3, k = v. Let o = 4 - 6. Sort v, 5, o.
v, o, 5
Suppose 4*t - 6 - 6 = 0. Let l = -23 - -43. Suppose -4*w = w + l. Put 2, w, t in ascending order.
w, 2, t
Let p = -0.3 - 0.2. Let g be (4736/(-72))/(-8) + -8. Sort 1, p, g in ascending order.
p, g, 1
Suppose 8 = -i + 4*t, 7*i - 2*i - t = -21. Put 0, 5, i in descending order.
5, 0, i
Let k = -4.7 + -1.3. Let d = 11 + k. Let w = 2.7 - -0.3. Sort w, 0.1, d.
0.1, w, d
Let g = -9 - -21. Suppose -b = -5*b + g. Suppose 0 = -x + 6*x - 20. Sort b, -3, x in descending order.
x, b, -3
Let f = -2 + 3. Let o be (-1)/(1 + -19) - 34/204. Put f, o, 0 in increasing order.
o, 0, f
Let m = 28 - 28. Suppose -3*g - 4 = 2*h - 0, 0 = 3*g + 6. Sort h, 0.5, m in increasing order.
m, 0.5, h
Let j = -14.1 - -14. Sort j, 0.4, 0.3 in ascending order.
j, 0.3, 0.4
Let j = 0.33 - -0.17. Sort j, 1/7, 1/4.
1/7, 1/4, j
Let f = -0.07 - 3.93. Let i = -77/486 - 2/243. Put -1/3, f, i in descending order.
i, -1/3, f
Let b be 2*1/12 + 133/(-42). Suppose c + 10 = -0*c + 4*w, -4*w + 12 = 0. Sort 0.4, c, b in decreasing order.
c, 0.4, b
Suppose -4*t - 30 = -9*t. Let m be (t/5)/((-20)/50). Sort 5, -4, m in decreasing order.
5, m, -4
Let n be 15 + -2*(-2)/(-4). Let p be 458/22 + n/77. Let