+ 1 = 0. Sort s, -2, f in increasing order.
-2, s, f
Let u = -148 + 147.8. Sort 3, 0.5, u, -3 in decreasing order.
3, 0.5, u, -3
Let b = 9 - 9.18. Let v = -3.18 - b. Put 0, v, -0.5 in increasing order.
v, -0.5, 0
Let w = 14 - 18. Sort w, -3, 3 in increasing order.
w, -3, 3
Suppose 0 = -3*b + 4*b - 5. Let d = 7 + -2. Suppose -3 = -4*t + d. Sort t, 1, b in descending order.
b, t, 1
Let z(k) = -k**2 + 7*k + 5. Let w be z(7). Put 2, w, -4 in descending order.
w, 2, -4
Let k = -8.9 - -10. Let m = k + -1.4. Let y be ((-1)/(-13))/((-2)/4). Put y, 0.1, m in ascending order.
m, y, 0.1
Let n = 0 - -0.5. Let p = -0.13 + -7.87. Let a = p + 6. Sort -0.2, a, n in increasing order.
a, -0.2, n
Let k = 0.1 + -0.4. Let g be (3/30)/(6/36). Sort -4, g, k.
-4, k, g
Let s = 18 - 11. Let u = s - 6. Let f be 2*3/30*u. Put 2/7, -2/17, f in increasing order.
-2/17, f, 2/7
Let m = 3.6 - 3.6. Let s = -3 - -8. Let c be 1/2 + (-3)/2. Sort s, m, c in ascending order.
c, m, s
Let t = -3.06 + 0.06. Let c = -1 - 4. Let i = -204 - -1425/7. Sort i, t, c.
c, t, i
Suppose 5*x + 8*x = 0. Suppose -3*q = -3*v - 2*v - 12, 4*q - v = -1. Sort 2, q, x in decreasing order.
2, x, q
Let v = 4.08 + -0.08. Suppose -13 = 3*i - 4*i. Let j = i + -18. Sort 1/9, v, j in ascending order.
j, 1/9, v
Let a be ((-63)/6)/3 + (-2)/(-4). Sort a, 1, -2, -4 in ascending order.
-4, a, -2, 1
Suppose 11 = 2*z + 13. Let o = 3 + -5. Sort o, -5, z in decreasing order.
z, o, -5
Let t = -0.2 - -0.2. Let h = -1.7 - -1.5. Sort 1/5, t, h in increasing order.
h, t, 1/5
Let r = 0 + 1. Let t(z) be the second derivative of z**4/6 - z**3/3 - z**2/2 + 3*z. Let o be t(-1). Put r, o, -2 in increasing order.
-2, r, o
Let s(r) = r**2 + 7*r + 1. Let z be s(-5). Let h = -13 - z. Let j be 4/(-2) + 3/3. Sort j, 1, h in ascending order.
h, j, 1
Let h be (-2)/3*(-15)/(-35). Sort 1, h, 3 in descending order.
3, 1, h
Let h = 29 - 33. Put h, 4, -2 in increasing order.
h, -2, 4
Let m be (-5 - -5) + (-8)/2. Sort -5, m, 4 in descending order.
4, m, -5
Let w = 81 + -84. Let y be (1 - 6)*4/10. Put y, -5, w in increasing order.
-5, w, y
Let g = 15 - 10. Let h be (-5)/(-15) - (-16)/6. Suppose 20 = -2*y - h*y. Put y, 2, g in decreasing order.
g, 2, y
Let i = 57 - 54.02. Let b = 0 - 0.02. Let o = b - i. Sort -2/7, 5, o in decreasing order.
5, -2/7, o
Let x = 0 + -2. Let s = x - -2. Sort s, 2, 0.4 in descending order.
2, 0.4, s
Suppose -9*f = -f + 16. Put f, -16, 4 in increasing order.
-16, f, 4
Let g(a) = -7*a**3 - 2*a**2 - a. Let m be g(-1). Let z be (m/(-9))/(4/6). Sort 1, -4, z.
-4, z, 1
Let a be 25/9 + 4/18. Let g be (-3)/(18/4)*a. Suppose 2*b + 2*y = 0, 5*b = 3*b - y. Sort g, -0.1, b.
g, -0.1, b
Let t = -11 + 26. Suppose -3*h = 2*h + t. Let v = 0.09 + -0.09. Sort 4, h, v in increasing order.
h, v, 4
Let r be (-1*(5 - 2))/(6/8). Let z be 0 - 1 - -1*4. Sort -1, r, z.
r, -1, z
Suppose -2*v + 6 = -0*v. Let h(w) = w**3 + 0 - 5*w**2 + 2*w + 4*w - w**2 - 7. Let a be h(5). Put -1, a, v in descending order.
v, -1, a
Let g be (-1)/3 - 36/54. Let c = 5 - 3. Sort c, g, -1/3 in increasing order.
g, -1/3, c
Let b(m) = -m**3 - 8*m**2 + 5. Let y = -11 + 3. Let x be b(y). Sort -2, 1, x in increasing order.
-2, 1, x
Let j = 133.83 + -132. Let a = -0.17 - j. Put a, 2, 0.1 in increasing order.
a, 0.1, 2
Let h be (4 + 1)*-1 - (-2)/1. Put h, 11, 2, -4 in ascending order.
-4, h, 2, 11
Let r = -80 - -80.1. Let p = 100/187 - 6/17. Put 0, p, r in decreasing order.
p, r, 0
Let r = 0.26 + 3.74. Sort 0.1, 3, r in descending order.
r, 3, 0.1
Let u(p) = p**3 - 3*p**2 - 3*p - 10. Let h be u(4). Put h, -3, -2, -5 in descending order.
-2, -3, -5, h
Let g(v) = v**2 - 5*v + 6. Let w be g(3). Sort -3, -5, w, 4.
-5, -3, w, 4
Let u be ((-10)/18)/((-6)/(-9)). Let w(v) = v**2 + 6*v + 6. Let a be w(-5). Sort a, u, -1/6 in increasing order.
u, -1/6, a
Suppose -2*u + 3*u - 1 = 0. Suppose 5*t = -5*s + s + 42, -s = t - 10. Let c = 11 - s. Sort c, u, 5.
u, c, 5
Let q = 0.9 + -1. Let m = q - 0. Let y = m + 0.6. Sort y, 0.2, 0 in descending order.
y, 0.2, 0
Let s = 36 - 35.8. Sort 1/6, s, 5 in ascending order.
1/6, s, 5
Let n = 4.25 - 5. Let w = 0.25 + n. Put 2, -3, w in decreasing order.
2, w, -3
Let y(u) = -u**3 - 3*u**2 - 2*u - 1. Let q be y(-3). Let p = -1 - -0.8. Let v = -0.3 + p. Put v, 0.3, q in increasing order.
v, 0.3, q
Let q = 31 + -27. Sort -1, q, 22.
-1, q, 22
Let x = -0.027 + -6.973. Put -0.1, -2, x in descending order.
-0.1, -2, x
Let u = 13 - 14. Put 2/7, 5, u in decreasing order.
5, 2/7, u
Let d = 0.57 + -0.17. Put 1, -1/5, d in descending order.
1, d, -1/5
Let p = -7 + 9. Let b be (-52)/30 - 6/(-15). Sort p, 0.1, b in descending order.
p, 0.1, b
Let r be 1/((-1)/(-6)*(-90)/(-12)). Put r, -2/3, -0.1 in decreasing order.
r, -0.1, -2/3
Let o = -1.1 + 0.1. Let z = -2 - o. Let d = 3/19 + 1/114. Sort 5, z, d in increasing order.
z, d, 5
Let j(v) = 2*v + 2. Let a = 10 + -16. Let q be j(a). Let m = q + 6. Sort 5, m, -1 in descending order.
5, -1, m
Let m be 3*(-1)/9*-1. Put m, 1, -2 in descending order.
1, m, -2
Let f = -394 + 5908/15. Sort -4, f, -11, -2/5 in decreasing order.
f, -2/5, -4, -11
Let c = -4 + 4. Let i be (c + 1)*(-3)/1. Let r = -6 - i. Put r, -4, -5 in ascending order.
-5, -4, r
Suppose 2*d + 0 = -2. Let o be -2 - (d + -5 + 1). Put o, 0, -2 in decreasing order.
o, 0, -2
Let u be 2*10/4*3. Let j = 17 - u. Sort j, -2, 4 in descending order.
4, j, -2
Let z(y) = 4*y**2 + 2*y + 1. Let b be z(-1). Put b, 2, 4 in decreasing order.
4, b, 2
Let c be (-2)/6 + (-4)/(-21). Let i be 13/(-20) - (-2)/8. Let r be (-4)/10 - (-48)/70. Sort c, i, r in decreasing order.
r, c, i
Let d be -1*(1 + -1) - (-3)/3. Put 4, d, 8 in descending order.
8, 4, d
Let x be 1/1 - (1 + -1). Let c = 5 - x. Sort 0, c, -4 in ascending order.
-4, 0, c
Let t(a) = -a**3 + 3*a**2 + 2*a - 3. Let g be t(3). Let d(c) = -2*c - 31. Let m be d(-16). Put m, g, -5 in increasing order.
-5, m, g
Suppose 4*t - 168 - 256 = 0. Let b = t + -421/4. Let f = 3 - 4. Put -0.3, f, b in decreasing order.
b, -0.3, f
Suppose -4*c = -3*c - 2. Suppose 3*a + 10 = -2*a. Sort 1, c, a in descending order.
c, 1, a
Let n = -0.14 - -0.04. Let y = 5.5 + -5. Sort y, 1/6, n in increasing order.
n, 1/6, y
Let u = -9 - -13. Suppose 3*a = -4*i + 10, a + 3*i - 7 = 3. Put -1, a, u in descending order.
u, -1, a
Let p = -17 - -12. Let j be (-2)/(0 + (5 - 0) + -3). Sort 5, p, j in descending order.
5, j, p
Let j = -3 - -6. Suppose 12 + 3 = -5*x. Sort x, j, -4 in descending order.
j, x, -4
Let d(q) = q**3 - 15*q**2 - q + 18. Let v be d(15). Sort 4, v, -3 in descending order.
4, v, -3
Let f be ((-9)/(-3))/(9/(-6)). Sort f, 4, -1 in descending order.
4, -1, f
Let b be 6/21 + 54/7. Suppose b*a - 195 = 3*a. Let h = a - 194/5. Sort 4, h, -0.3 in ascending order.
-0.3, h, 4
Let c = 6.3 - 11.3. Sort 0.05, 1, -3, c in decreasing order.
1, 0.05, -3, c
Let z = -100/9 - -473/45. Sort -5, -0.5, z in decreasing order.
-0.5, z, -5
Suppose 3*q = -q - 2*d + 6, -3*q = -5*d + 15. Let u(w) = 99*w - 197. Let z be u(2). Sort 4, z, q.
q, z, 4
Let c be 1/7 + (-88)/77. Let x = 6 + c. Put 4, 1, x in decreasing order.
x, 4, 1
Suppose -5*t = 2*b - 75, -2*t + b + 13 + 17 = 0. Let h = 1 + 1. Suppose t = 3*x, -2*n + 0*x = h*x - 14. Sort 5, 3, n.
n, 3, 5
Let k(r) = -r + 1. Let l(y) = -2*y - 3. Let j be l(-4). Let w be k(j). Put -5, w, -3 in increasing order.
-5, w, -3
Let v = 17 + -12. Sort 0, v, -3 in increasing order.
-3, 0, v
Let h = 4 - 2. Let y = h - 6. Suppose -2*c = -6*c. Sort c, -2, y.
y, -2, c
Let i = -4/5 + 7/10. Let k = 3.1 + -0.1. Sort k, i, -4.
-4, i, k
Suppose 13 = 3*u + 2*h - 0, -7 = -u + 2*h. Let k be 2/3 - (-4)/(-6). Put k, 2, u in descending order.
u, 2, k
Let x = 0 + 0. Suppose -249*l + 246*l - 12 = 0. Sort l, -1, x in descending order.
x, -1, l
Suppose 5*w - 18 = -3. Suppose w*t + 5 = 2*t. Sort -3, t, -4 in decreasing order.
-3, -4, t
Suppose u - 4 = -u. Let x be -2*(-2 + u + -2). Let m be 3/(15/(-25)) + 2. Sort -4, x, m in ascending order.
-4, m, x
Let z be (-1)/(-3) - 1/6. Sort 2, 1, z in decreasing order.
2, 1, z
Let x = -13.1 - -17. Let u = 1.1 + x. Sort 0.1, u, -2/7 in descending order.
u, 0.1, -2/7
Let m be (2 - 4) + 1/1. Let y(i) = -i - 12. Let d be y(-9). Put d, m, -2 in decreasing order.
m, -2, d
Let v(x) = 7*x - 20. Let s be v(3). Put s, 3, 4, -4 