= 3 - 3.1. Put z, t, -1/3 in decreasing order.
z, -1/3, t
Let t = 1 + -1.3. Let z be (2/2 + -1)*1. Put z, t, -4 in ascending order.
-4, t, z
Let o be ((-690)/(-12))/23*(-3 - 1). Let d be (1/(-3))/(2/(-3)). Sort o, -5, d in decreasing order.
d, -5, o
Suppose b = -b + 4*u, 4*b - 4 = 4*u. Let s be ((-3)/6)/(2/(-12)). Sort -4, b, s in ascending order.
-4, b, s
Let b be (17/(-34))/((-2)/(-20)). Put 7, 3, b in increasing order.
b, 3, 7
Let o = 1 - 1. Suppose 3*g + 3 + 6 = 0. Let u be 6/9*g/(-2). Sort -5, o, u.
-5, o, u
Let v = 8 - 13. Let a = -7 - v. Let c = a + -1. Put 2, -3/4, c in decreasing order.
2, -3/4, c
Let u be (-132)/108 - 4/(-18). Sort -4, -5, u in descending order.
u, -4, -5
Let z be (3/(-6))/(2/8). Put 4, 1, z in increasing order.
z, 1, 4
Let a = -7.3 - -7. Let l be (-1)/2 - (-2)/8. Put 2, l, a in decreasing order.
2, l, a
Let v = -56 - -63. Sort 4/3, 0, v, 2 in descending order.
v, 2, 4/3, 0
Let v = -0.35 + 6.15. Let x = v - 6. Put -2, 4, x in ascending order.
-2, x, 4
Let x be (-2)/(-4)*(5 + -7). Let g be 4/6*(x - -7). Let z be (-18)/(-36)*(1 - 1 - 10). Sort z, g, -1 in decreasing order.
g, -1, z
Let v be ((-10)/3)/(2/(-15)). Suppose f = r - 5, 0 = -f + 2*f - 5*r + v. Suppose 4 = -c, y = -f*y + 5*c + 16. Put 1, y, -3 in descending order.
1, -3, y
Let f be (2 + -1)*(4 + -1). Let y = -9 + 14. Let n = -47 - -45. Sort n, y, f in decreasing order.
y, f, n
Let x(f) = f**2 + 4*f - 6. Let r be x(-5). Let j = -45 - -40. Sort 4, r, j.
j, r, 4
Let k be 3/(-10)*(-5)/(-6). Suppose -c - 3*u = 11, 8 = -0*c - c - 2*u. Let z be -3 + (-1)/c + 3. Sort k, z, -5 in descending order.
z, k, -5
Let j = 1 + -2. Put -5, 0.3, 1, j in descending order.
1, 0.3, j, -5
Let s = -3 - -2. Let w = 298 + -2381/8. Suppose 7 - 19 = -3*t. Sort t, w, s.
s, w, t
Suppose -2*p = -5*p - 6, 5*y - 66 = 3*p. Put y, 4, -4 in ascending order.
-4, 4, y
Let j = 34 - 34. Let o = 1.9 + -1.4. Put j, o, 3/8 in increasing order.
j, 3/8, o
Suppose -w = 5*x - 9 - 21, -w + 5 = 0. Put 3, -1, x in decreasing order.
x, 3, -1
Suppose 5*q - 5*i = 20, -5*i - 12 = -2*i. Sort q, 3, 5 in increasing order.
q, 3, 5
Let k = 0.004 + 1.996. Sort -0.4, 0.5, k, 3.
-0.4, 0.5, k, 3
Let l = 85 + -681/8. Put -9, l, 0.3 in increasing order.
-9, l, 0.3
Let u(d) = -d**3 + 6*d**2 + 2*d - 7. Let t be u(6). Suppose 0 = -3*z + t*k - 10, 0*z = -4*z + k - 19. Sort 3, z, 1/3 in ascending order.
z, 1/3, 3
Suppose -3*k - 28 = -4*u, -2*u + u + k + 8 = 0. Let b(x) = 3*x - 8. Let r be b(7). Suppose 0 = 2*z + 10, -4*z - r = -3*i + 10. Sort i, u, 3.
i, 3, u
Let q(y) = y**2 + 2*y + 1. Let o be q(-1). Let t(l) = l**3 - l**2 + l. Let h be t(o). Suppose z + 3 = -3. Put z, 4, h in descending order.
4, h, z
Let u(w) be the first derivative of w**3/3 - 2*w**2 - 2*w - 1. Let b be u(5). Let r be 2*1 + (-18)/b. Sort r, 5, -2.
r, -2, 5
Suppose p = 2*p. Suppose -4*i + p = -12, -2*w - 3*i - 1 = 0. Sort -4, w, 0 in ascending order.
w, -4, 0
Suppose 4*g + 1 = 5. Put -2, g, -5 in ascending order.
-5, -2, g
Let g = 0 - -1. Let p = -4 + 3. Put p, g, -4 in increasing order.
-4, p, g
Suppose -7*p + 16 = -9*p. Let k be (-5)/5 - p/14. Put -1, k, -2 in ascending order.
-2, -1, k
Let j = 2.1 - 2. Sort j, 5, -0.14.
-0.14, j, 5
Let h = -2 + 1.9. Let l = h + -0.3. Put l, -2/11, 0.4 in ascending order.
l, -2/11, 0.4
Suppose 69 = 3*a + 21. Let v = 18 - a. Sort v, 3, -2.
-2, v, 3
Let r be (0/(-6))/((-2)/(-2)). Put 8, r, -5 in descending order.
8, r, -5
Let m = -1.9 + -0.1. Let v = 1 - m. Put v, -0.1, 3/2 in descending order.
v, 3/2, -0.1
Suppose 0 = -3*c + c + f + 4, 0 = -4*c - 2*f + 8. Suppose -c*g + 9 = g. Put g, 7, 2 in decreasing order.
7, g, 2
Let z = -9 - -8.4. Sort 4, 2/5, z in ascending order.
z, 2/5, 4
Let m = 0.2 - 0.21. Let b = -7.49 + m. Let x = b + 7. Sort -5, x, 3.
-5, x, 3
Let t(r) = 4*r**2 - 2*r + 1. Let s be t(1). Suppose -p - s = 1. Put 1, 3, p in decreasing order.
3, 1, p
Let o(v) = -v - 8. Let f(d) = d**2 - 2*d - 12. Let z be f(0). Let q be o(z). Sort 0, q, -7 in decreasing order.
q, 0, -7
Let o be 2/3*(2 - 5). Suppose 16*i - 19*i + 9 = 0. Sort 2, o, i in decreasing order.
i, 2, o
Let p(u) = -u**2 - 11*u + 5. Let z be p(-11). Let v = 8 - 12. Let m be ((-2)/(-4))/(1/(-6)). Sort m, v, z.
v, m, z
Let g(d) = d**2 + 7*d - 3. Let l(n) = n - 1. Let f(t) = g(t) - 4*l(t). Suppose v - 3*v = 6. Let j be f(v). Sort j, -0.3, -1/2 in decreasing order.
j, -0.3, -1/2
Let x be ((-6)/5)/(6/20). Let y be (6/x)/((-6)/(-8)). Sort 5, 0, y in increasing order.
y, 0, 5
Let p = -10 + 11. Suppose 4*g - 14 = 2*f, -6*f + f + 3*g - 21 = 0. Sort p, f, 0 in increasing order.
f, 0, p
Let s = -3.4 - 0.6. Let x = -3.2 - -3. Sort x, 0.1, s.
s, x, 0.1
Let t be -2*2/(-8)*-10. Sort t, -16, -2 in descending order.
-2, t, -16
Let c = -108 - -109. Let l be -1 + 0 - (-10)/11. Put c, 3, l in increasing order.
l, c, 3
Let q(w) = -w**2 - 8*w - 7. Let n be q(-7). Let m = 8 + -6. Sort m, 5, n in decreasing order.
5, m, n
Let h be 2/(-14) + 7/49. Sort h, -1, 4.
-1, h, 4
Suppose 0*m = -2*m. Suppose 2*r = -m*r - 4. Sort 5, r, 1 in ascending order.
r, 1, 5
Suppose -4*f + 5*f = -h + 5, h + 5*f = 25. Let n be (-6 + (-12)/3)/(-2). Sort n, -5, h in ascending order.
-5, h, n
Let y = 3 - 4. Let n(k) = 2*k. Let i be n(1). Let p = 3 + i. Sort -5, p, y.
-5, y, p
Let t(u) = u + 9. Let d = 21 - 31. Let v be t(d). Let l(o) = -5*o + 6. Let p be l(2). Put p, 5, v in descending order.
5, v, p
Let w(n) = n**2 + 56. Let d be w(0). Let c be 2/(-7) + 23/d. Let y = -0.2 - 0.3. Put 2/5, c, y in ascending order.
y, c, 2/5
Suppose -2*w + 2*m = 3*w - 63, 51 = 4*w - m. Suppose -11 + 4 = -s - 3*v, -3*v + w = -2*s. Put 0, 5, s in decreasing order.
5, 0, s
Let i be (-3 - (2 - 3))*(1 + -3). Sort i, 3, 1 in ascending order.
1, 3, i
Suppose -2*z + 4*z = 5*r - 7, 0 = 5*z + 5*r. Let t be 1 - 2 - 2*1. Suppose -3*v + 24 + 1 = 5*s, -3*s = -v - 15. Sort v, t, z.
t, z, v
Let g = -25.78 + 23.8. Let b = 0.02 - g. Let y be 14/10 + (-1)/1. Put y, b, 3 in decreasing order.
3, b, y
Suppose d = 5*p + 5, -d = -0*d + p + 1. Suppose -w = 8*w + 27. Put 2, d, w in ascending order.
w, d, 2
Let x be (1/(-3))/((-1)/12). Let m be 2/x - 9/(-2). Let z(r) = -r**3 - 2*r**2 + 2. Let f be z(-2). Sort m, f, -2 in ascending order.
-2, f, m
Let u(a) = 9*a - 23. Let q(p) = -4*p + 12. Let h(n) = -5*q(n) - 2*u(n). Let i be h(12). Sort 3, i, 4 in increasing order.
3, 4, i
Let y = -81 - -83. Sort -0.5, -0.2, y.
-0.5, -0.2, y
Let m = -0.12 - -0.03. Let t = m - -0.16. Sort -3, -0.1, t in descending order.
t, -0.1, -3
Let o = 0.52 - 0.02. Let q = -8.1 - -8. Sort q, -2/7, o.
-2/7, q, o
Suppose 0*q + 3*q = 6. Let v = 1/18 - -11/18. Put v, q, -2/5 in ascending order.
-2/5, v, q
Let r = -41 - -46. Let n be (-12)/9*(-6)/4. Put r, 0, n in increasing order.
0, n, r
Let b = -20 - -27. Sort b, 2, 1, 0 in decreasing order.
b, 2, 1, 0
Suppose -5*d - 3*x + 19 = 0, 2*x - 2 = -d + 6. Let l = d - 2. Sort 2/13, 3/4, l in ascending order.
l, 2/13, 3/4
Let b be (65/(-110))/((-1)/(-2)). Let f = -21/55 - b. Let v be 1/2 + (-7)/(-2). Sort f, 0.5, v in ascending order.
0.5, f, v
Let u(q) = 5*q**2 + 3*q + 1. Let r be u(-2). Suppose x = -2*x + r. Suppose 5*b - x = p - 0*p, -5*b = -4*p - 20. Put b, -5, 5 in descending order.
5, b, -5
Let z = 14 + -13. Suppose -2*t = 14 - 4. Put -3, z, t in increasing order.
t, -3, z
Let w = -0.05 + 0.04. Let o = 0.11 + w. Let c = -1/100 + 107/700. Sort c, 0.3, o in descending order.
0.3, c, o
Let l be (-5)/2 + (-2)/4. Let v(d) = d**3 + 4*d**2 - 5*d + 2. Let m be v(-5). Put m, 3, l in decreasing order.
3, m, l
Suppose 5*w = z - 0*z - 25, -4*w + 2*z = 20. Sort -11, -2, w, 4.
-11, w, -2, 4
Let l = -0.1 + -11.9. Let b = l - -17. Let v = 0.3 - 0. Sort b, v, -0.2 in decreasing order.
b, v, -0.2
Let b be (-2)/(-9) + (-392)/63. Let i = 10 + b. Suppose -u - 25 = 4*u. Sort u, i, 2.
u, 2, i
Let p be 7/5 - 6/15. Let g be 1/3 + (-332)/(-84) + -4. Let t = 3.08 - 0.08. Sort p, t, g in ascending order.
g, p, t
Suppose 0 = -158*s + 162*s + 20. Put 2, -2, s, -3 in descending order.
2, -2, -3, s
Suppose -3*f - 8 = 2*z - 1, 14 = z - 2*f. Suppose 0 = -7*y + 5*y + 6. Sort 1, y, z in ascending order.
1, y, z
Suppose 8 = -2*v + 6*v. Sort v, 0, -4, -2.
-4, -2, 0, v
Let s(h) = -h - 9. Let o be s(-8). Put -2, o, -3 in ascending order.
-3, -2, o
Suppose 5*g + 120 = 140. 