u = -2 + 0. Put 3, u, z in descending order.
z, 3, u
Suppose 0 - 2 = -2*w. Suppose w + 5 = 3*y. Put 9, y, 0.3 in increasing order.
0.3, y, 9
Suppose 0 = 4*j - z - 11, -3 = -4*j - 2*z + 23. Sort -4, j, 3 in ascending order.
-4, 3, j
Let i be 2/((-6)/(-4) + -1). Suppose 0 = -5*l + 5*y - 50, -l - 2*l - 5*y = -10. Let c = -13 - -11. Sort l, i, c in ascending order.
l, c, i
Let z = -29 - -4. Let c = 28 + z. Let m = -1 + 1.1. Put c, m, 5 in increasing order.
m, c, 5
Suppose 0*z + 15 = -5*f + z, -5*f = z + 25. Let a(p) = -p**2 + p + 1. Let u be a(-1). Sort f, 2, u in decreasing order.
2, u, f
Suppose 7*x - 3*x + 1376 = -4*h, 0 = 5*h - 4*x + 1720. Let z be 2/9 - h/72. Sort z, -1/8, -0.5.
-0.5, -1/8, z
Let s(o) = -o + 7. Let n be s(7). Sort 0.03, n, -0.1 in descending order.
0.03, n, -0.1
Let d(y) = -y**3 + 3*y**2 + 1. Let v(r) = r + 6. Let q be v(-3). Let m be d(q). Let n(j) = 2*j - 9. Let h be n(6). Sort -3, m, h.
-3, m, h
Suppose 3*k = 4*k. Suppose 3*b + 9 - 24 = 0. Suppose 0 - 5 = -b*l. Put l, 3, k in increasing order.
k, l, 3
Let z = 3 + -5. Let q(j) = -j**3 - 9*j**2 - j - 9. Let f be (2 - 0)/((-10)/45). Let h be q(f). Put z, 5, h in descending order.
5, h, z
Suppose 0 = -2*c + 4*c + 4. Put -0.5, 5/3, c in decreasing order.
5/3, -0.5, c
Let r be (-5)/(-2)*8/(-10). Let f be ((-6)/36)/(r/4). Put -0.5, -3, f in ascending order.
-3, -0.5, f
Let x(q) = q**2 - 9*q + 4. Let i be x(9). Suppose i = 2*o + 2*o. Put o, -4, 0 in descending order.
o, 0, -4
Let r = 2.2 - 2.7. Put 3/7, 5, r in decreasing order.
5, 3/7, r
Suppose -i + 3*x + 21 = 3*i, -4*i - 5*x = 3. Put i, -1, 0 in decreasing order.
i, 0, -1
Let t = 41 + -37. Sort 0.4, t, -3.
-3, 0.4, t
Let z = -17 + 22. Put z, -2, -3 in descending order.
z, -2, -3
Let q be -1*(3 + -2 - 10). Suppose -p = -2, o + 3*p = 2*o + q. Let m = 2 + o. Put -4, 0, m in descending order.
0, m, -4
Let x = -0.15 - -0.05. Sort 1, -1/2, x, 1/3 in increasing order.
-1/2, x, 1/3, 1
Let l = -4 + 7. Let f(h) = -h**3 + 3*h**2 - 4. Let o be f(l). Suppose 3*p = 3 + 3. Put p, -5, o in descending order.
p, o, -5
Let h(x) = -x**3 - x**2 - x - 1. Let f be h(0). Suppose -p = 3*p. Suppose -c + 4*c = p. Sort -5, f, c in ascending order.
-5, f, c
Let j = 2.5 + -3.01. Let q = j - -0.11. Sort 3, q, -5.
-5, q, 3
Let s be (((-4)/6)/1)/(-1 - -4). Let k = -14 - -27/2. Put s, 2/7, k in ascending order.
k, s, 2/7
Let t be 54/(-9)*2/(-4). Suppose 0 = -2*r - t*r - 15. Let o = -2 - r. Sort 2, -4, o in decreasing order.
2, o, -4
Let v = -77 + 71.9. Let a = -5 - v. Sort -2/3, 0, a.
-2/3, 0, a
Let t = -7.5 + 7.6. Let l = 5 - 9. Sort 5, l, t in ascending order.
l, t, 5
Let q be (-1)/(-6) + (-26)/12. Sort 2, q, -4 in decreasing order.
2, q, -4
Suppose -5*o = -l - 115, -2*o = 4*l - 0*l - 46. Let s = o + -21. Put -4, s, 5 in descending order.
5, s, -4
Let l = -3 + 3.2. Let i = 0 - 0.5. Let d = i + 0.6. Sort -0.5, l, d.
-0.5, d, l
Let t = -7 + 12. Let l = 0.02 - -0.98. Let z = l + -6. Sort 0.2, z, t.
z, 0.2, t
Let l = 31 + -31. Put -4, 12, l in ascending order.
-4, l, 12
Suppose 4*h + 1 + 3 = 0. Let q be (-1 + h)*(-5)/(-10). Put 5, -3, q in decreasing order.
5, q, -3
Suppose -l - 65 = l - 3*n, -2*n = -4*l - 110. Put 5, -0.2, 2, l in descending order.
5, 2, -0.2, l
Let h = -9 - -15. Let y be 2*(-3)/h + 1. Let a(w) = -3*w + 1. Let s be a(1). Sort 3, s, y in descending order.
3, y, s
Let g = -5.1 + 0.1. Sort -2, g, -0.5.
g, -2, -0.5
Let u = 49 + -48.9. Put 1/2, u, -0.1 in descending order.
1/2, u, -0.1
Suppose -5*p - 3*x - 17 = 0, 5*p + x = 5*x + 11. Put p, -4, 4, 2 in increasing order.
-4, p, 2, 4
Let c be 524/28 + (-4)/(-14). Suppose -5*p - 3*o = 0, c = 2*p + 3*o + 2*o. Let m(v) = -v**3 - v**2 - v - 4. Let u be m(0). Sort u, 4, p in descending order.
4, p, u
Suppose -z + 22 - 22 = 0. Let j = 1 + -7. Sort 4, j, z in increasing order.
j, z, 4
Suppose 0 = k + 3*q + 18 + 4, 0 = q + 4. Let z = k + 7. Let c = 11 - 7. Sort 3, z, c.
z, 3, c
Suppose 0 = q + 30 - 1. Let i be 1/3 + q/(-3). Let z be (-22)/i + 1/5. Sort 0, z, 1 in decreasing order.
1, 0, z
Let z = 5 - 4. Let r = 0.6 - z. Put -0.2, -2, r in ascending order.
-2, r, -0.2
Suppose 3*r - 4*r = -3. Suppose 2*x - f + 4*f = -2, 0 = -3*x - 4*f - r. Put -2, 0, x in increasing order.
-2, x, 0
Let s = -4.7 + 4.47. Let x = 0.07 - s. Sort x, -1, 5 in descending order.
5, x, -1
Let k be (-2)/(-24) - (1/4 - 0). Put 1/2, -1/11, k in ascending order.
k, -1/11, 1/2
Let j = 1 + -1. Let f = -1/2 - j. Put 2, f, 4 in decreasing order.
4, 2, f
Let u = 3 + -8. Let f be (-10)/(-12)*21/70. Sort u, -0.6, f in ascending order.
u, -0.6, f
Let q be (-126)/(-26) - 2/(-13). Sort 2, q, 3, 4 in decreasing order.
q, 4, 3, 2
Let x = -13 - -8. Let a(l) = l - 4. Let h be a(14). Suppose 5*y + h + 5 = 0. Sort x, y, 4 in ascending order.
x, y, 4
Let r = -0.03 + -9.97. Let v = r + 13. Put 0.3, v, 2/21 in decreasing order.
v, 0.3, 2/21
Suppose -4*a + 0*a - 6 = t, -2*a = 4*t + 10. Put 3, 2, 1, t in decreasing order.
3, 2, 1, t
Suppose -t = -2, -4*t + 2*t = 3*s - 16. Put 5, -4, s, -5 in ascending order.
-5, -4, s, 5
Let u(f) = 2*f + 31. Let n be u(-13). Sort n, -1, 0, 1 in decreasing order.
n, 1, 0, -1
Suppose 4*t = r + 20, 0 = -r + 2*t + 3*t - 24. Let w = r + 5. Sort w, -2, 0 in ascending order.
-2, 0, w
Let i = 3.3 + 1.7. Let a(t) = -3*t**2 + t + 1. Let y be a(-1). Sort y, 1/9, i in increasing order.
y, 1/9, i
Let b = -449/6 - -75. Sort 1/8, b, 5.
1/8, b, 5
Suppose 9 = 5*x - 6. Suppose 4*y - 2*j = 0, x*j - 3 = -4*y - 13. Put y, -2, 3 in decreasing order.
3, y, -2
Let r = -0.25 - 0.05. Sort -2/9, r, 0.
r, -2/9, 0
Suppose 0*v + v = 0. Suppose v - 4 = x. Let r be (1 + x)*(-1 + 0). Sort 2, r, -1 in decreasing order.
r, 2, -1
Suppose 4 = -2*y - 4*h, 4*y - 13 = -4*h + 3*h. Put y, 6, -5 in increasing order.
-5, y, 6
Suppose -2*p - p + 3 = 0. Suppose -4*b = -2*b - 6. Suppose -b*z + 29 = -4*k, -2*k + 5*k = -5*z. Put 0, p, z in descending order.
z, p, 0
Let i be 0 - 0 - (0 - 2). Let p(x) = x**2 - 25 + 0*x**2 + 11 + 3*x. Let h be p(-6). Sort h, i, -2.
-2, i, h
Let n = 0 + 4. Suppose -3*k + 2*k + 5 = 0. Sort k, n, 0.5 in decreasing order.
k, n, 0.5
Suppose 6 = 3*g, 14 = -6*k + 8*k + 5*g. Sort -4, 1, k, -1.
-4, -1, 1, k
Let d = -79/4 - -20. Let y = -5 - -6. Let w = -6 + y. Sort -1/3, d, w in decreasing order.
d, -1/3, w
Let j be 0 + 3 - 1/1. Sort j, 5, -3.
-3, j, 5
Let f = -13/4 - -3. Put f, -1, -5 in descending order.
f, -1, -5
Let k = 5/68 + 3/17. Let h = 0.05 + 0.07. Let t = h - 0.02. Put -5, t, k in decreasing order.
k, t, -5
Let c = 73 + -72.95. Put c, -2/11, -3, 4 in ascending order.
-3, -2/11, c, 4
Let m = 3 + -6. Let a(z) = -z**2 - 3*z - 1. Let s be a(-4). Sort 4, m, s in decreasing order.
4, m, s
Let d be 1 - ((-27)/(-11))/3. Let w be 0/(3/(-6)*4). Sort w, d, 2/9.
w, d, 2/9
Suppose -7*x - 10 - 18 = 0. Sort -5, 5, x.
-5, x, 5
Let g(c) = 0*c + c + 3 - 1 + 4. Let q be g(-6). Sort 4, q, 1 in descending order.
4, 1, q
Let r = -8 + 12. Let q be 3*r*(-2)/(-12). Suppose -m = q*s, -2 = 3*s - 5*s. Sort m, 3, 0 in increasing order.
m, 0, 3
Let g be (5 + -3 + 3)/1. Suppose 3*y = g + 1. Suppose -y*r + 0*r = 0. Sort 5, r, 6 in descending order.
6, 5, r
Let p be (6/(-2))/(51/17). Sort 6, p, -0.5 in increasing order.
p, -0.5, 6
Let y be (-2)/4 - 36/8. Suppose 3*b - 6 = q, 18 = 3*b + 2*b + q. Put y, b, -4 in increasing order.
y, -4, b
Let h = -3 - -3. Let l = h - -8. Let o = 5 - l. Sort 1, -2, o in decreasing order.
1, -2, o
Suppose 0 = -15*k + 12*k + 6. Put -4, k, -19 in increasing order.
-19, -4, k
Let i be (-1)/(-5) - (-16)/(-5). Put i, 11, 4 in descending order.
11, 4, i
Suppose -3 + 4 = q. Let k be q/(-28)*-4 - 0. Sort k, -2, -4/3 in descending order.
k, -4/3, -2
Suppose 6 = 6*a - 4*a. Let j = -29 - -26. Put -2/3, a, j in ascending order.
j, -2/3, a
Let n = 34 + -39. Sort 5, n, 4, -3.
n, -3, 4, 5
Let v(q) be the first derivative of q**4/4 - 4*q**3/3 - 3*q**2/2 - 6*q - 2. Let l be v(5). Sort l, -3, -5 in decreasing order.
l, -3, -5
Suppose -5*k = 3*x - 7*x + 14, k = -4*x + 2. Suppose a + 0 = -5. Sort k, 0, a in decreasing order.
0, k, a
Let j = -6 + 19/3. Put j, 0.1, -5 in increasing order.
-5, 0.1, j
Suppose 3*z - 5 = 5*o, 4*z + 3*o = 4*o + 1. Let v(m) = 2*m**2 - 3*m. Let x be v(2). Let g be (-784)/308 + (-18)/(-33). Sort g, z, x in decreasing order.
x, z, g
Suppose