ppose 0 = -0*j + 2*j - 8. Suppose -j*a - 12 = -0*a. Put a, -2, -5 in decreasing order.
-2, a, -5
Let c = 8/49 + 6/49. Put 0.5, -0.1, c, 7 in increasing order.
-0.1, c, 0.5, 7
Let r = -2.94 + -0.06. Suppose 0*x - 21 = -3*x + 3*h, 0 = 4*x - h - 25. Suppose 2 = t + x. Put -0.1, r, t in decreasing order.
-0.1, r, t
Let a(m) = m + 8. Let o be a(-4). Suppose -2*c + 17 = 3*t + 2*t, -o*t = c - 13. Sort -4, t, 5 in decreasing order.
5, t, -4
Let j be (-2)/4*(25 - 27). Sort j, -2, 3/4.
-2, 3/4, j
Let i be 3/1 - (3 - -1). Let f = -0.2 - 1.8. Sort -5, i, f.
-5, f, i
Let z = -4 + 17. Let y = z + -10. Sort -2/3, y, -2/5 in decreasing order.
y, -2/5, -2/3
Let a = -0.5 + 0.81. Let d = -0.09 - a. Suppose -2*v = 2*p + 2*p - 10, 0 = -p + 4*v + 7. Put 3/4, p, d in descending order.
p, 3/4, d
Suppose 0 = 4*r + 2*k - 38, -4*k = 2*r - 7*r + 80. Suppose -17*c + r*c + 25 = 0. Let l = 0 + 0. Sort c, -1, l.
-1, l, c
Let q = -5 + 9. Let s = q + -2. Suppose -4*g + b = -17 + 1, -s*g - b = -8. Sort -0.5, g, -5 in decreasing order.
g, -0.5, -5
Let q be (1/(-1))/(3/(-15)). Let m be (-5)/(-5 + 3 - -1). Let a = m + -3. Sort -4, q, a in descending order.
q, a, -4
Let u be (-2*2)/(8/(-4)). Suppose -5 = -5*d - 5*b, -u*b + 4 = 2*d + b. Put 5, d, -5 in ascending order.
-5, d, 5
Let c = 2.2 + -6.6. Let r = -4 - c. Let m(l) = l + 5. Let w be m(-5). Sort 0.1, r, w in decreasing order.
r, 0.1, w
Let b(k) = k**2 - 5*k + 6. Let o be b(4). Suppose -3*a + j + 3 = -2*a, -13 = -o*a - 5*j. Let i = -2 + 4. Sort -4, i, a.
-4, i, a
Let v = 10 + -14. Let f(k) = -k**3 - 2*k**2 + k. Let m be f(-2). Sort v, 3, m in ascending order.
v, m, 3
Let z = 5.75 - 1.66. Let a = 0.11 + z. Let m = -4 + a. Put m, 3, -1 in increasing order.
-1, m, 3
Suppose -27 = -4*s - 11. Let w(v) = v + 3. Let q be w(-4). Let z = q - -3. Put -4, s, z in ascending order.
-4, z, s
Let n = 2 + -2.1. Let x = n - 0.1. Let d = -2 - -6. Put x, -1/8, d in increasing order.
x, -1/8, d
Let u(q) = 13*q**2 - q. Let z be u(-1). Let j = z + -10. Suppose j*y - 4 = 8*y. Sort y, 1, -4 in ascending order.
-4, y, 1
Let j = 2 - 1. Suppose -z - 9 = -4*z. Sort -5, z, j in ascending order.
-5, j, z
Let t = -44 - -39. Sort -1, -3, t, 5.
t, -3, -1, 5
Let x(f) = -3*f - 6. Let n be x(-3). Sort n, 5, -4, -5 in descending order.
5, n, -4, -5
Let i be 0 + 3/(33/2). Sort i, 1, 1/3 in descending order.
1, 1/3, i
Let i be -3 - (2 - (3 - -3)). Sort 2, -4, 0, i in decreasing order.
2, i, 0, -4
Let g be 2/(2/3*21). Suppose 4 = 4*f - 12. Let k = 2 - 3. Sort f, g, k in decreasing order.
f, g, k
Let m(p) = -p**3 - 5*p**2 - 4*p + 4. Let z be m(-4). Suppose z*q = -q. Put -4, 7, q in descending order.
7, q, -4
Let y = -2 + 4. Suppose 0 = -4*r + 2*r + y. Put 3, 5, r in descending order.
5, 3, r
Let c = -35 + 40. Put -2, 3, c in increasing order.
-2, 3, c
Let r = -50 + 50.81. Let s = r - 0.7. Let v = -4.89 - s. Put v, 2, -2 in descending order.
2, -2, v
Suppose 4*y - 3*u = 20, 3*y - 4*u - 1 - 14 = 0. Sort y, -1, 3, 6 in ascending order.
-1, 3, y, 6
Let w = -3 - -2.7. Let o = 25 + -23. Sort o, -0.2, w in ascending order.
w, -0.2, o
Let f be (-2 - 1) + 3 - -3. Let k(o) = o**2 - 3*o + 2. Let x be k(f). Sort 5, x, -1.
-1, x, 5
Suppose 6 = z + 1. Let h be 2*(0 - z/2). Let s = 0.08 - 3.08. Sort s, -1/7, h in increasing order.
h, s, -1/7
Let c be 45/(-36)*4/(-10). Sort 0, -0.5, c in ascending order.
-0.5, 0, c
Suppose g - 1 - 1 = 0. Suppose -3 + g = q. Sort 3, 4, q.
q, 3, 4
Let v be (-21)/(-14) + 12/(-8). Let x = -421 + 3785/9. Sort -1/4, x, v.
x, -1/4, v
Suppose 3*n - 8 = -2*z, n - 3 = z - n. Sort -3, z, 4 in increasing order.
-3, z, 4
Let n = -0.2 - 4.8. Let k = n + 3. Let p be (9/6 + -1)*6. Sort p, -3, k in descending order.
p, k, -3
Suppose -2 - 2 = 2*b. Suppose 9*a + 50 = 4*a. Let o = a - -15. Sort o, b, 3 in ascending order.
b, 3, o
Let f = -19/2 + 10. Let r = 0.26 + 0.04. Sort r, f, 1 in increasing order.
r, f, 1
Let l = -52 - -313/6. Let r = 1.2 - 1.2. Let d = r + 0. Sort 0.2, l, d in decreasing order.
0.2, l, d
Suppose 7 - 27 = 5*g. Let d = g + 0. Put -5, d, -1 in increasing order.
-5, d, -1
Suppose -3*j = s - 7, -s + 0 = 2. Sort -1, -5, j in decreasing order.
j, -1, -5
Suppose -2 = -2*m + 3*m. Let l = 0 + m. Let b(c) = c**2 + 2*c. Let i be b(-3). Sort l, i, -1 in increasing order.
l, -1, i
Let r = 5 - 2. Suppose -r*a + a = -4. Put a, 4, -1 in decreasing order.
4, a, -1
Let c = 5 + -5.02. Let x = 0 + c. Let m = -0.32 - x. Sort m, 4, -0.4 in descending order.
4, m, -0.4
Let d(n) = n**2 + 5*n + 2. Let o be d(-4). Sort -1, -5, 5, o.
-5, o, -1, 5
Suppose -3*c - 2 = 7. Suppose -3*i = -5*i + 6. Sort 4, i, c in descending order.
4, i, c
Let x = 0.1 - -1.7. Let v = 1.35 - x. Let a = -0.05 + v. Put a, 3, -3/2 in decreasing order.
3, a, -3/2
Let b be (-2)/(-5) + (-8)/(-5). Suppose 2 = -13*v - 11. Put v, 1, b in ascending order.
v, 1, b
Let a = 0 + -5. Let r(s) = s**3 - 7*s**2 - 7*s - 3. Let g be r(8). Sort a, -4, g.
a, -4, g
Let x = -11 + -3. Let d = x + 9. Sort 1, d, -2/7.
d, -2/7, 1
Let s = 226 + -115. Let j = s + -553/5. Suppose -3*y - y + 16 = l, 12 = 3*y - l. Put -2/3, y, j in descending order.
y, j, -2/3
Suppose -23*k - 3 = -26*k. Put -4, -1, -5, k in descending order.
k, -1, -4, -5
Let a be 10/(-3)*12/10. Suppose 3*b - 2*b = -4. Let d = 2 + b. Put d, a, -3 in increasing order.
a, -3, d
Let q = 841/9 + -94. Let c = q + 62/63. Let k(l) = -l - 2. Let h be k(-4). Put h, c, 0.1 in decreasing order.
h, c, 0.1
Suppose 2*q + 8*q = 20. Sort 1/3, 1.3, 4, q in descending order.
4, q, 1.3, 1/3
Suppose 2*z = -0*k - 3*k + 14, z = -5*k + 14. Let s(h) = -h**2 - 2*h. Let t be s(-3). Put t, -1, z in decreasing order.
z, -1, t
Let f be 8*5/10 - 8. Suppose 4 = -l - 1. Sort f, -1, l.
l, f, -1
Suppose -p = -4*b + 15, -2*p = -5*b - 0*p + 18. Let x be 6*(21/(-6) - -4). Sort b, x, -1 in decreasing order.
b, x, -1
Let p = 38 - 43. Let a be (-1)/(-4) + 11/4. Put a, p, 0 in descending order.
a, 0, p
Suppose -b + 4*s - 1 = 0, -42 = 2*b - 2*s + 4*s. Let d = 12 + b. Let u be (1 + -1)/(1 + 0). Put u, 5, d in descending order.
5, u, d
Let g = 22 - 21.55. Let m = -0.05 - g. Let u = -106/141 + 4/47. Sort -4, u, m in decreasing order.
m, u, -4
Let r = 29.955 + 0.045. Sort 0.4, -0.1, r.
-0.1, 0.4, r
Suppose 3*k + 7*d = 4*d + 21, 1 = -d. Suppose 6 = 2*l, -l + 15 = -k*n + 4*n. Suppose -10 + 2 = 2*h. Put 1, n, h in decreasing order.
1, n, h
Let m be (-12)/9*3 + 6/2. Put m, -3, 1, -4 in increasing order.
-4, -3, m, 1
Let s = -1 - -2. Let y be 2*1/(-35)*5. Suppose -2*m = -q - 12, 4*q = -4*m - q + 10. Put s, y, m in decreasing order.
m, s, y
Suppose 9 = -2*f + 19. Suppose -14 = -5*z + 2*x, z - 5*x - 7 - 5 = 0. Let b = -5 + z. Put f, b, -1 in ascending order.
b, -1, f
Let p be (-2 - -1 - -2)/1. Let a(h) = h**2 - 3*h + 4. Let d be a(3). Let l = 7 - 12. Sort l, p, d.
l, p, d
Let j = -3 + 4. Let n = 1 - j. Suppose -o - 10 - 4 = 3*v, -5*o = 4*v + 37. Put -0.1, v, n in ascending order.
v, -0.1, n
Suppose 5*g - 20 = -0*g. Suppose -n = g*n. Sort -2, 4, n in decreasing order.
4, n, -2
Let s(q) = -q + 1. Let i be s(4). Let k be (-3)/5 - 28/(-5). Suppose u + k = 4*p, 3*p - 3*u - 15 = -p. Sort i, -5, p in decreasing order.
p, i, -5
Let w = -2 + 3. Let b(h) = -3*h + 1. Let c be b(-1). Suppose -v - d = -9, c*v - 9 = -v + 4*d. Put 0.5, v, w in descending order.
v, w, 0.5
Suppose 1 = 4*j - 5*j. Sort 0, j, -2 in descending order.
0, j, -2
Suppose 4 = -4*z - 0. Suppose 5*m = 23 - 8. Let h be 1/(m + 28/(-8)). Put z, h, -3 in increasing order.
-3, h, z
Let h be -6 - (-3 + 1 + 3). Let z = -5 - h. Put -1, 4, z in decreasing order.
4, z, -1
Let k(r) = r**3 - 5*r**2 - 5*r + 8. Let l be k(6). Suppose 3*t + 0*t = d - l, 0 = 4*d - t - 1. Sort 0, 4, d.
d, 0, 4
Let u be -3*(-8)/(-3) + 3. Put 1, u, 4 in descending order.
4, 1, u
Let v be 5/(5/3) + 5. Let c be (-15)/(-6)*v/10. Sort c, -0.08, 1.
-0.08, 1, c
Let t = -148/5 + 30. Put 0.5, 2, t in increasing order.
t, 0.5, 2
Suppose -5*z + 3*a + a - 6 = 0, z - 4*a = -14. Put -3, z, 4, -5 in descending order.
4, z, -3, -5
Let k = 0.05 - 0.25. Let g = -0.4 - k. Sort g, 1, -0.1.
g, -0.1, 1
Let a = 17 - 15. Put 0, a, -1 in ascending order.
-1, 0, a
Let a be -2 + 2*(-2 - -1). Suppose 25 = 6*n + 19. Sort n, a, -5.
-5, a, n
Let c = 0.6 - 1. Let o = -1 + -2. Sort o, -2/9, c in decreasing order.
-2/9, c