). Suppose -5 = -5*x - 0*x. Sort x, 4, f in increasing order.
x, 4, f
Let m(t) = -3*t + 11. Let r be m(5). Suppose 0*c + 18 = -3*c. Sort r, 5, c in descending order.
5, r, c
Let q = -40 - -40.3. Sort -5, 2, q in decreasing order.
2, q, -5
Suppose -2*f + 2 = 3*k - 3, -4 = 4*k. Let r(m) = -m - 7. Let x be r(-6). Put f, x, 3 in increasing order.
x, 3, f
Suppose 0 = -5*k - 57 + 47. Sort k, -3, 48 in decreasing order.
48, k, -3
Let p = -59 - -65.6. Let v = p + -7. Sort -0.2, v, -1/3.
v, -1/3, -0.2
Let z = 1 + 3. Let m = z - 3. Let i = 0.5 - m. Put -1/6, i, 4 in decreasing order.
4, -1/6, i
Let f = -139 + 139.5. Suppose 0*h + 2*h - 8 = -2*d, h + 4*d - 16 = 0. Sort -0.04, f, h in decreasing order.
f, h, -0.04
Let n = 10.91 - 10.9. Put 3/7, n, -0.2 in decreasing order.
3/7, n, -0.2
Suppose -c + 16 = 1. Let o be (3/10)/(18/c). Let f = -19 - -23. Sort -5, o, f in decreasing order.
f, o, -5
Let y = -8 + 8. Let f = 0.2 - y. Sort 5, -2, f in increasing order.
-2, f, 5
Suppose -4*z + 14 = -2*s + 2, 12 = 4*z - s. Sort -0.33, -1, z.
-1, -0.33, z
Let i = -0.05 + -0.01. Let s = i - -0.06. Sort -3, 0.1, s in decreasing order.
0.1, s, -3
Suppose s = -6*s + 2*s. Put 1, -5, s in ascending order.
-5, s, 1
Let r = 0.8 - -0.2. Suppose 0*l + 88 = 4*l. Let w be -1 - ((-36)/l)/2. Sort w, r, -3/7 in decreasing order.
r, w, -3/7
Let y = 3 - 10. Let c = -48 + 51. Put c, -1, y in ascending order.
y, -1, c
Let s = 11.5 - -9.5. Sort s, 2, 3 in ascending order.
2, 3, s
Let q = 31 + -31. Sort -4/7, -0.1, q in descending order.
q, -0.1, -4/7
Let p(r) = r**2 + 6*r + 2. Let u be p(-4). Let d(z) = z + 5. Let x be d(u). Let n be (-1)/(-2)*-2 - x. Put -2, 5, n in ascending order.
-2, n, 5
Let a = -1 + 1. Sort -1, a, -6 in descending order.
a, -1, -6
Suppose -2*y - 2 + 0 = 0. Let f = -0.07 - -0.07. Sort f, 1/5, y.
y, f, 1/5
Let b = -16.9 + 17. Sort -3/2, -0.4, b in descending order.
b, -0.4, -3/2
Let o = -11 - -11.1. Sort 1/7, o, -4/3 in decreasing order.
1/7, o, -4/3
Suppose 5*d - x - 8 = 0, -3*d + 0*d + 2*x + 2 = 0. Let k be (-9)/d*(-4)/6. Let w(m) = m**3 - 15*m**2 - m + 16. Let s be w(15). Put -2, k, s in increasing order.
-2, s, k
Let v be 40/15*2/(-24). Put -4/7, -0.3, v in increasing order.
-4/7, -0.3, v
Let n = 1/53 + 93/689. Let v = 0 - 0.2. Sort v, n, 4/3 in descending order.
4/3, n, v
Let d = -0.243 - 106.757. Let b = -112.1 - d. Let v = b - -5. Sort v, -3/8, 5.
-3/8, v, 5
Let r = -28 - -26. Put 0.2, 5, r in ascending order.
r, 0.2, 5
Suppose -s + 0*s = -3*b - 6, -4*b = 3*s + 21. Put 10, 3, s in descending order.
10, 3, s
Suppose -2*m - l + 3 = 0, -3*l = -0 - 3. Let a(u) = -u**2 + 5*u + 2. Let y be a(6). Sort -2, m, y in ascending order.
y, -2, m
Let r be (-12)/15*-5*1. Let q be (-9)/(-7) - 2/7. Put -4, q, r in descending order.
r, q, -4
Let o = -34 - -35. Let a = 73/44 + -7/4. Put o, -0.4, a in descending order.
o, a, -0.4
Let p(f) = f**3 + f**2 - 5. Suppose 0 = 2*q - 4*n + 4, 4*q + 0*n - 4 = -4*n. Let o be p(q). Sort o, 4, 2 in increasing order.
o, 2, 4
Let l be (3 - 5)/(2/(-3)). Let p be (36/30)/((-6)/15). Sort -4, p, l in increasing order.
-4, p, l
Let w = 4.6 + -5.6. Put w, 1/2, -2, 0.2 in ascending order.
-2, w, 0.2, 1/2
Let q = -1.2 - -1.3. Let r = -4 + 3.5. Let u = -0.1 - r. Sort -4, u, q.
-4, q, u
Let n be (4/5)/(1/5). Let i(a) = a**2 - 5*a + 1. Let g be i(5). Put 6, g, n in increasing order.
g, n, 6
Let j = -5.1 + 0.1. Let v = -16 - -21. Sort v, 1, j in descending order.
v, 1, j
Suppose -2*m = -3*x + 2, 0 = -2*x - 3*m + 1 + 9. Suppose -5*k + 12 = x. Suppose 0 = 3*o - p + 1, -o + k*p + p = 11. Sort o, 0, -1 in increasing order.
-1, 0, o
Let d = 0.21 - -0.79. Sort -1/2, 3/4, -0.4, d.
-1/2, -0.4, 3/4, d
Let w = 0.143 + 0.357. Let m be (-1)/((-3)/4) - 2. Put 2/7, m, w in increasing order.
m, 2/7, w
Let j(t) = 3*t**2 - t + 2. Let v be j(1). Sort 3, 1, v.
1, 3, v
Let d = -0.3 + 0.7. Let w = 5 - 8. Sort 1/2, w, d in ascending order.
w, d, 1/2
Let w = 10 + -11. Sort 5, 10, w in descending order.
10, 5, w
Let r = -19 - -24. Sort 2, 0, -2, r.
-2, 0, 2, r
Let t = -8.4 - -7. Let u = t + 0.4. Sort 1/4, u, -4 in ascending order.
-4, u, 1/4
Let l = -0.94 - -1.44. Let o = -1 + 1.3. Let m = -0.2 + o. Sort l, -2, m.
-2, m, l
Let t be (-4)/6*(-2 + -1). Suppose 4 + 2 = t*l, 0 = 2*a - l + 7. Suppose -4*p = -4*k - 0*p - 4, 2*k = 4*p - 10. Put -3, k, a in descending order.
k, a, -3
Let z be (-2 - 1)*(1 - 2). Let f be z*(-1 + (-15)/(-9)). Suppose 17 = 4*p - y, -5*p = -2*p - 4*y - 16. Sort p, 5, f.
f, p, 5
Let a = 32 + -22. Let h = a - 15. Let x = 6 - 3. Sort -2, h, x in increasing order.
h, -2, x
Suppose -3*k + 20 = 2*k. Sort k, -5, -0.3, -1.
-5, -1, -0.3, k
Let b be 4*(-2)/4 - (-2 - 1). Sort -4, b, -1, 0 in descending order.
b, 0, -1, -4
Let v be (0 - -5 - 5)/2. Let b = 1 + -4. Sort b, v, 2/15 in ascending order.
b, v, 2/15
Let v(n) = n**3 - 18*n**2 + n - 14. Let t be v(18). Sort t, 5, 3 in descending order.
5, t, 3
Let z be (0/1)/5 + (-2)/6. Sort z, -4/7, 3, -2/7 in descending order.
3, -2/7, z, -4/7
Let f be (-172)/(-14) + 4/(-14). Let l be (-18)/f + (-1)/2. Let q be 71/23 + l - 1. Sort q, -2, -0.4 in increasing order.
-2, -0.4, q
Let j be 1/(-4) - (-2)/8. Suppose 2*s + 6 + j = 0. Sort s, -0.1, -2/9 in decreasing order.
-0.1, -2/9, s
Let i = -0.3 + 0.2. Let b = -110 - -112. Put i, b, 1 in descending order.
b, 1, i
Let x = 10 - 12. Suppose -y + 3 = -s, 4*s = -3*y - 5 - 14. Put 0, x, y in decreasing order.
0, y, x
Suppose -2*x + 5 = 3*x, 0 = 3*d - 5*x + 11. Let m = -4 + 6. Sort d, -1, m.
d, -1, m
Let f = -2.9 - -3. Let z = f - 1.1. Let q = z + -2. Put 0.4, q, -4 in increasing order.
-4, q, 0.4
Let x = 4 + -29. Let m be (-4)/(-10) - 190/x. Let p be (0 + -2)*2/m. Put p, -4, -2 in descending order.
p, -2, -4
Let q be 456/88 + -2*(-1)/(-11). Suppose 0 = -3*t + 2 + 4. Put 3, t, q in ascending order.
t, 3, q
Let x = 111 - 110. Sort -2/7, -4, x, -2 in decreasing order.
x, -2/7, -2, -4
Let m = 33 + -23. Sort m, -2, -4 in decreasing order.
m, -2, -4
Let t = -0.28 - 0.12. Sort -0.2, -8, t.
-8, t, -0.2
Let a be (2 - 1)*4/18. Let l = -55/7 - -213/28. Sort 0.3, l, a in descending order.
0.3, a, l
Let x = 1 + -1. Suppose -2*u - 3 = -11. Let l = 729 + -734. Put u, x, l in ascending order.
l, x, u
Suppose 0 = 4*m - 0*m + 12, -4*o + m = -3. Sort 1, o, 2 in increasing order.
o, 1, 2
Suppose -5*w + 0*g + 3 = -3*g, -4*g = 4*w + 4. Suppose y - 2 + 6 = w. Let t = 4 - 5. Put y, t, 0 in descending order.
0, t, y
Let k = 0.37 + -0.07. Suppose -5*v = 5*h, -5*v = 3*h + 4 + 2. Let w be (1/v)/((-24)/(-36)). Sort k, w, 2 in decreasing order.
2, k, w
Let h = -4 + 3.7. Sort 5, h, -1/7, 2 in descending order.
5, 2, -1/7, h
Suppose -1 = -4*y - 5. Sort 0, 4/9, y in increasing order.
y, 0, 4/9
Suppose 33 - 13 = 4*z. Put 2, 3, z, -3 in descending order.
z, 3, 2, -3
Let q(x) = -x**3 - 5*x**2 + x + 2. Suppose -5 = -0*i + i. Let t be q(i). Let u = -40 - -40. Put u, 5, t in increasing order.
t, u, 5
Let j = 0.92 + -0.12. Let h = -1.2 + j. Sort h, 4, -1 in descending order.
4, h, -1
Let t = -42 + 46. Suppose -y + 0*y = 2. Let m be (2 - (1 + 0))*5. Sort t, m, y in decreasing order.
m, t, y
Let g = -17 - -13. Put -3, 4, g in ascending order.
g, -3, 4
Suppose -v - 2 = -1. Let b = -46 - -44. Sort b, v, 2 in increasing order.
b, v, 2
Let f = 2.05 - 0.05. Let i = -1 - -3. Suppose i*a = 5*a. Sort 1, f, a.
a, 1, f
Let i be 9/(-5) + (-4)/(-2). Sort 1, 0.3, i, -4 in descending order.
1, 0.3, i, -4
Let x = -64 + 22. Let y be (-14)/(-49) + (-2)/x. Sort -0.05, -4/9, y.
-4/9, -0.05, y
Let c(f) = f - 10. Let w be c(6). Put w, 1, 0 in descending order.
1, 0, w
Let l = 11 - 10. Let r be (-3)/(-9)*-3*l. Sort -2, r, 1 in descending order.
1, r, -2
Suppose -2*f - 27 = f. Sort f, 0, -4.
f, -4, 0
Let d = 5 - 3. Let j be 2/4 + 18/4. Suppose -d*a = -j*a + 15. Put a, -1, 4 in descending order.
a, 4, -1
Suppose 3*z - z - 6 = 0. Sort 5, 7, z in ascending order.
z, 5, 7
Let n(k) be the third derivative of k**5/60 - 5*k**4/12 - 4*k**3/3 + 3*k**2. Let f be n(11). Sort -1, f, 1 in decreasing order.
f, 1, -1
Suppose -12 + 2 = -10*f. Put -6, f, 3 in ascending order.
-6, f, 3
Let l = -2323/11 + 211. Sort l, -0.1, -16 in increasing order.
-16, l, -0.1
Let k = 8 - 2. Suppose 3*t - t + k = 0. Sort t, -2, -4 in increasing order.
-4, t, -2
Let w = -41 - -39. Sort