). Put -3, v, -5 in decreasing order.
v, -3, -5
Suppose -3*w = w. Sort w, -9, -2.
-9, -2, w
Suppose 2*r = 8 - 0. Let g be (-3)/6 - 27/6. Sort r, g, 5 in decreasing order.
5, r, g
Let v be 1 - 0 - 690/14. Let l = v + 48. Sort -3/8, 0.5, l in decreasing order.
0.5, l, -3/8
Let m = -13 + 18. Let u be ((-1)/5)/(3/m). Put 5, 1, u in descending order.
5, 1, u
Let p(f) = -f**3 + 5*f**2 - 4*f - 4. Let n(y) = -y - 1. Let l be 0 - (1 + -3) - 7. Let b be n(l). Let w be p(b). Put w, -3, -1 in ascending order.
w, -3, -1
Let x = -21 + 26. Sort 9, x, -2 in decreasing order.
9, x, -2
Let x = -0.02 + 0.12. Sort -4, -2/19, x, 0.01 in ascending order.
-4, -2/19, 0.01, x
Let k(w) = -w - 20. Let c be k(-14). Let u be (-33)/c*(-4 + 6). Put 4, u, -1 in increasing order.
-1, 4, u
Let v = -8 - -5. Sort 1/7, 1, v.
v, 1/7, 1
Let m be ((-228)/231)/(12/14). Let t = m + 20/11. Let q = 0.8 + 1.2. Sort 3, q, t in increasing order.
t, q, 3
Let h = 0 + -5. Let w = -4 - -2. Sort h, 2, w in increasing order.
h, w, 2
Let p(k) = 2*k - 6. Let m be p(4). Let v be (-8)/(-6)*m/(-20). Let n = 3.7 + -4. Sort -4, v, n in increasing order.
-4, n, v
Let i(h) = h**2 + 6*h - 5. Let y be i(-6). Put y, 2, -10 in descending order.
2, y, -10
Let l be 1*-3*4/(-6). Suppose -11*r = -8*r. Sort 5, r, l.
r, l, 5
Suppose -2*z + 13 = -0*z - 3*s, z - 5*s = 17. Put z, -1, 1 in ascending order.
-1, 1, z
Let o = 924.11 - 920. Let t = 18.11 - 18. Let a = o - t. Put a, 2/17, 0.5 in increasing order.
2/17, 0.5, a
Let s be (-14)/6 + 1*(-6)/9. Sort s, 0, -1, -6.
-6, s, -1, 0
Suppose 4 + 8 = y. Let d be (-1)/3 + (-20)/y. Let m = -0.3 + 1.3. Put m, -4, d in decreasing order.
m, d, -4
Let r = -0.1 + 0.08. Let x = 12 - 12. Sort x, 2/5, r.
r, x, 2/5
Let y = -2.9 + 0.9. Let h = 0 - 3. Put y, h, -0.2 in decreasing order.
-0.2, y, h
Let a = -48 - -46. Let g = 2 + -5. Put g, 4, a in ascending order.
g, a, 4
Let c = -6 - -4. Let m be ((-1)/1)/(1 + c). Suppose 4*x = 2*f, 0 = 3*f - 3*x + 5*x - 16. Sort f, m, -4 in increasing order.
-4, m, f
Let l = 3.2 + -3. Let r = -25 - -25.49. Let v = r - 0.09. Sort v, l, -2/15 in decreasing order.
v, l, -2/15
Let v = -12.4 - -16. Let l = 4 - v. Let w = -217 - -222. Sort w, -2/7, l in increasing order.
-2/7, l, w
Let z = -9 - -17. Let g = z - 8. Put g, 1/7, -5 in descending order.
1/7, g, -5
Suppose -119 - 18 = 4*u + 5*a, 5*a + 38 = -u. Sort 1, 0, u in descending order.
1, 0, u
Let a(p) = -p**3 - 4*p**2 - 3*p - 7. Let t be a(-4). Sort -5, 2, t in increasing order.
-5, 2, t
Let j = -6 - -9. Suppose 0*d = 3*d - 3*r - 3, 9 = j*r. Suppose d*a = -a. Sort a, 5, -4 in ascending order.
-4, a, 5
Let p be 5/((-15)/(-6))*2. Suppose 4*k - 3*k = 0, 5*k = -p*y. Let u = y + 2. Put u, -2, -4 in descending order.
u, -2, -4
Let w(s) = -s**2 + 6*s - 7. Let v be w(5). Put v, 3, -11 in increasing order.
-11, v, 3
Let k(s) = -2*s + 8. Let i be k(-4). Let a = 12 - i. Sort -5, a, -3 in ascending order.
-5, a, -3
Let t be (-2 + 1)/(2/(-6)). Let k = -22 + 24. Sort t, k, -3 in increasing order.
-3, k, t
Let x = 18 + -19. Sort -5, 5, x in increasing order.
-5, x, 5
Let z = 16 - 12. Suppose -z*x = x + 10, -2*x - 19 = 5*i. Put -2, -1, i in decreasing order.
-1, -2, i
Let w = -0.9 - 0.1. Let l = 145 + -142. Put w, -0.1, l in increasing order.
w, -0.1, l
Suppose 5*o = -2*r - 39, 0*r - r - 42 = 5*o. Let h(w) = -w - 7. Let z be h(o). Sort 5, z, -4 in decreasing order.
5, z, -4
Let y be 2*((-46)/8 + -1). Let g = 55/4 + y. Put g, 3, -0.2 in increasing order.
-0.2, g, 3
Let w = 2.45 + -2.05. Put w, 0.2, 23/5 in increasing order.
0.2, w, 23/5
Let b be (-6)/4 + 57/42. Put b, 1/4, -2/5, -5 in decreasing order.
1/4, b, -2/5, -5
Let l = 1 + -3. Let d = -1 - l. Let g = 102/7 + -15. Sort 0, d, g in ascending order.
g, 0, d
Let q = 3.5 - 3.8. Sort -1, q, -3, -8 in decreasing order.
q, -1, -3, -8
Let p be ((-1)/3)/(2/(-18)). Let t(s) = -s**3 + 2*s**2 + 3*s + 4. Let v be t(p). Let k(x) = -x - 6. Let n be k(-6). Sort v, n, -1 in decreasing order.
v, n, -1
Let t = 13 - 8. Let o = -76/3 - -28. Let s = 2 - o. Sort 3, s, t in decreasing order.
t, 3, s
Let q(g) = g - 3. Let z be q(-9). Let y be 16/z*9/(-8). Let k = 5 + -9. Sort k, y, 3 in ascending order.
k, y, 3
Suppose -x = -4*x - 6. Let m be (8/16)/(2/(-8)). Let a be -2*(-5)/m - x. Sort a, -1, 1 in decreasing order.
1, -1, a
Let u = 64 + -63. Sort -4, -1, u, 5 in decreasing order.
5, u, -1, -4
Suppose -6*d = -9*d + 12. Put -2, 1, d in descending order.
d, 1, -2
Let y = 1 + -2. Let i = -1.1 - y. Let d = i - -0.2. Put -0.2, -1/6, d in descending order.
d, -1/6, -0.2
Let d = -9 - -8.92. Let y = d + -0.02. Sort 0.08, y, -2/9 in increasing order.
-2/9, y, 0.08
Suppose -6 + 0 = 2*r. Suppose 0 = -98*z + 96*z. Sort 5, r, z in increasing order.
r, z, 5
Let w(z) be the third derivative of 1/6*z**3 + 0*z + z**2 + 0 - 1/8*z**4. Let u be w(2). Sort u, 3, -4 in ascending order.
u, -4, 3
Let p be 33/(-6) + 2/4. Let w = 9 - -1. Let t = w + -9.8. Put p, -0.2, t in increasing order.
p, -0.2, t
Let r = 0.3 - 1.3. Let s = -7 - -2. Let m be 17/42 - 1/2. Put r, s, m in decreasing order.
m, r, s
Let u = -0.036 + -0.164. Sort u, -4, 4, -3/7 in ascending order.
-4, -3/7, u, 4
Let t = 0.12 + 0.04. Let b = -0.24 - t. Sort 5, -3, b.
-3, b, 5
Suppose 0 = -2*l - a - 3 - 0, 0 = l - 2*a + 14. Suppose 4*b + 10 = 6. Sort b, 1, l.
l, b, 1
Let a = -81 - -81.2. Let p = -1 - 0. Let c = 0.9 + p. Sort a, -5, c in descending order.
a, c, -5
Let z = 15 + -14.63. Let g = z - -0.03. Put g, -0.2, -2/15 in decreasing order.
g, -2/15, -0.2
Let n = 16 + -9. Let p be (-3)/(n/4 + -1). Let o = -17 - -22. Sort o, 0, p.
p, 0, o
Let j be (1/(-12)*2)/(7/(-28)). Let a = -2.8 + 3. Sort a, -6, j in ascending order.
-6, a, j
Suppose 4*m - 3*u - 2 = 1, 4*m = -4*u + 24. Let p = -0.054 - 0.046. Sort -2, p, m.
-2, p, m
Suppose 3*k = 2*k + 8. Sort -2, -3, k in decreasing order.
k, -2, -3
Let i = 6.7 + -0.7. Let q = i + -2. Put q, 1/4, 6/7 in increasing order.
1/4, 6/7, q
Suppose -4*j - 2*b + 28 = 0, j - 5*b = -0*j - 15. Suppose j*a + 20 = -0*a. Let n = a + 5. Put 5, -3/5, n in descending order.
5, n, -3/5
Let s = 113 - 111. Let x = -6 + 10. Sort x, s, -5 in increasing order.
-5, s, x
Let t = 16.7 - 16. Let g = -0.64 - 0.06. Let p = g + t. Put 1/5, 3/8, p in ascending order.
p, 1/5, 3/8
Let q = 0.047 - -0.153. Put 1/4, q, -0.3 in ascending order.
-0.3, q, 1/4
Let t = -118 - -475/4. Let x = -14 - -14.12. Let k = -0.22 + x. Sort 1/2, k, t.
k, 1/2, t
Suppose 137 = 5*a + 3*w - 0*w, -5*w = 5*a - 135. Suppose -z = -5*z - a. Let l(g) = g + 2. Let o be l(z). Sort 2, 1, o in increasing order.
o, 1, 2
Let b = 0.2 - -8.8. Let u = b - 9.07. Sort -2, u, -0.1.
-2, -0.1, u
Let z be ((-4)/(-5))/((-4)/(-50)). Suppose -2*i - 3*i = -z. Let x(y) = -y**2 + 6*y - 5. Let r be x(3). Sort i, 5, r in ascending order.
i, r, 5
Let x = -0.5 + 0.2. Let c = -45 + 49. Sort 2/11, x, c in increasing order.
x, 2/11, c
Let v be 0 - (-3)/(-3 - 0). Put 5, 0, v in descending order.
5, 0, v
Let d(b) = b**3 - 1. Let x(f) = 4*f**3 - 2*f**2 + 7. Let m(a) = 6*d(a) + x(a). Let k be m(1). Let l = -5 + k. Sort 0, 1, l in descending order.
l, 1, 0
Let k = -0.29 + 2.29. Sort k, -5, 3 in descending order.
3, k, -5
Let v(b) = b**3 + b**2 - 5*b + 3. Let q be v(3). Suppose d - q = -3*i, -4*i - 26 = -6*i - 4*d. Let l = i - 5. Sort l, -4, -1 in decreasing order.
l, -1, -4
Suppose 3*r - 4*r = -5. Sort r, 11, -5 in descending order.
11, r, -5
Let v = 3 + -3.2. Let t = -21 - -43/2. Sort 0.3, t, v in ascending order.
v, 0.3, t
Let z = -5.3 + 5. Sort z, -3, 1 in decreasing order.
1, z, -3
Let r = 5 - -2. Suppose -r = -4*w + 2*t + 7, -4*w = -4*t - 8. Sort w, 3, -2 in descending order.
w, 3, -2
Suppose 3*y - 18 = -3. Put 1, -5, 4, y in ascending order.
-5, 1, 4, y
Let g = 12.93 + -13. Let u = g - 3.93. Put 1/5, 0.5, u in decreasing order.
0.5, 1/5, u
Suppose v = -4*s + 101, -3*s - v = -2 - 75. Let y = -24 + s. Suppose 11 = -3*n - 4*w, -5 - 5 = 2*n + 4*w. Sort 3, n, y in ascending order.
n, y, 3
Let u = 0 - -5. Put 4, -5, u in decreasing order.
u, 4, -5
Let z = 148 + -147. Put 17, 3, z in decreasing order.
17, 3, z
Let n = 0.07 - 3.07. Let j = n - -3.4. Let f = 31 + -35. Sort f, 0.3, j in decreasing order.
j, 0.3, f
Let m be 3/((-1 - -5) + -3). Suppose c + c - 12 = 0. Let s = c - 10. Put m, s, 0 in descendi