creasing order.
u, 0, -2
Suppose 0 = -6*j + 2*j + 4*k + 24, 20 = -4*k. Suppose -3*f + 5 = 2, -5*r - 17 = -2*f. Put -5, j, r in ascending order.
-5, r, j
Let c be (-29)/(-5) + -1 - 1/(-5). Let v be (3 - 3/(-9))*-3. Sort 3, v, c in ascending order.
v, 3, c
Suppose x = -0*x + 2. Sort x, 3, -2.
-2, x, 3
Suppose -3*k - 2*k - 10 = 0. Let q be -4 - (-8)/6*6. Put -4, k, q in increasing order.
-4, k, q
Let f = 46 - -46. Let b = f - 1194/13. Sort b, -2/13, 4 in descending order.
4, b, -2/13
Let i = -4.775 + -0.265. Let x = -0.04 - i. Let y be (4/16)/((-6)/16). Put y, 1, x in descending order.
x, 1, y
Let n(m) = m. Let h be n(0). Let x be (h + 0)/1 + 2. Suppose -x*b + 6*b + 8 = 0. Put 1, 5, b in ascending order.
b, 1, 5
Suppose 3*g + 26 = 35. Suppose 0 = 5*l - 5*h + 4*h + 14, 5*l = -h - 6. Put g, 2, l in increasing order.
l, 2, g
Suppose -5*o - 5 = -0*o. Let m be (-1 - o) + (3 - 8). Let b be ((-6)/15)/(4/m). Sort -2, b, -0.5.
-2, -0.5, b
Suppose -k + 35 = 4*r, 2*k + 3 = 3*r - 26. Let a be (-136)/22 - (-2)/11. Let y = a + r. Put -1, y, -2 in decreasing order.
y, -1, -2
Let n = -12.1 + 11.8. Let d = 0 - 0.2. Let o = 0.1 - d. Put o, n, -3/5 in descending order.
o, n, -3/5
Suppose n = r - 6 + 1, 0 = 5*n + 3*r - 7. Sort n, 2/11, -1/2, 0.3 in increasing order.
n, -1/2, 2/11, 0.3
Let u be ((-20)/25)/(3/15). Suppose 5*i - 8 - 12 = 0. Suppose i*y = -2*x + 2*y, -5*x - 2*y + 3 = 0. Put u, 3, x in increasing order.
u, x, 3
Let o be (2/(-2))/(1/1). Let v be 0 - o - 1 - -1. Put v, 5, -2 in descending order.
5, v, -2
Let p = 5 + -13. Put 0, p, -4 in decreasing order.
0, -4, p
Suppose 5*w = d - 28, 7 = -w + 2. Let q be 0*(-1)/2 + 5. Sort d, q, 8.
d, q, 8
Let h = -19 - -20. Let f = -2479 - -7561/3. Let g = f + -41. Put g, h, -1/3 in ascending order.
-1/3, g, h
Let q = 0.1 - 2.1. Let k = -5 - -1. Sort k, -2/9, q in decreasing order.
-2/9, q, k
Suppose 0*p - 4*p - 5*r - 15 = 0, -12 = -5*p + 4*r. Suppose 2*i - 6 + 2 = 0. Let w(v) = -2*v + 1. Let h be w(1). Put p, i, h in ascending order.
h, p, i
Let i = 786 + -783. Suppose 4*k + 0*k + 12 = 0. Sort k, -5, i in descending order.
i, k, -5
Let d be (-2)/(-7) - 6/21. Put 10, -5, d, 2 in descending order.
10, 2, d, -5
Let v = -0.1 - -0.1. Let p = 1 + v. Let u = 6.7 + -7. Sort -0.2, u, p in increasing order.
u, -0.2, p
Let r(m) = -m. Let x be r(-2). Let p be 0 + (5 - 4/x). Suppose c = f, -4*f + 6 = -p*c + 1. Put -5, c, 3 in decreasing order.
c, 3, -5
Let d be -1*(-1)/((-4)/(-4)). Sort -3/2, 22/3, -2/3, d in decreasing order.
22/3, d, -2/3, -3/2
Let s = -17/5 + 3. Let d = 0.3 - 0.32. Let l = d - -0.42. Sort l, -2, s in decreasing order.
l, s, -2
Suppose p = 3*q - 2*p + 21, 3*q - 3 = -5*p. Suppose 4*b = l + 20, -4 + 26 = 3*b + l. Suppose -5*n = -7*n + b. Put n, 5, q in increasing order.
q, n, 5
Suppose 3*m - 4*m - 2 = g, -3*g + m + 14 = 0. Let o be 3 + (3 - 1 - g). Let t be (-6)/2*o/4. Sort 0.1, 0.3, t.
t, 0.1, 0.3
Let z = 9 + -6. Let s = 1 - z. Let f be 1*(2 - 3)/7. Put s, f, -0.1 in decreasing order.
-0.1, f, s
Let f(l) = l**2 + 7*l - 7. Suppose -5*k + 5 = -0*k. Suppose -k = -2*s - 17. Let t be f(s). Put 0, 5, t in descending order.
5, t, 0
Suppose -5 = 2*a + 3. Let k = -1 - -1. Let p = 1 + k. Sort -5, a, p in descending order.
p, a, -5
Let s = 14 - 15. Sort -1/3, 0.2, s, -2 in decreasing order.
0.2, -1/3, s, -2
Suppose 6 = 2*z + 6. Sort -5, z, -6 in decreasing order.
z, -5, -6
Let u(g) = g**3 + 2*g**2 - g + 1. Let r be u(-2). Let d = r - 7. Sort d, 0, 4 in ascending order.
d, 0, 4
Let s be -7 + 10 - (0 - 2). Suppose -v + 17 = -4*a - 0, -a = -v + s. Sort 1, 5, a in decreasing order.
5, 1, a
Suppose 3*m = c + 13, -3*c + 21 = 5*m - 10. Sort m, -1, 3 in ascending order.
-1, 3, m
Let m be 1 + -1 + (-5 - -5). Let s(p) = -p**2 + 1. Let k be s(m). Let d be 9 + -3 - k - 3. Sort d, -1/2, 2/3 in decreasing order.
d, 2/3, -1/2
Suppose 0 = a + a + 3*o - 1, -3*o = a - 2. Let j be -6 + 2 + 0 + a. Sort j, 5, 3.
j, 3, 5
Let k be (2/6)/((-5)/(-15)). Suppose 3*q = -k - 14. Let j(w) = -w**2 + 5*w - 3. Let z be j(3). Sort -1, q, z.
q, -1, z
Let p = 2/99 - 305/396. Put 0, -0.1, -3/2, p in decreasing order.
0, -0.1, p, -3/2
Let d(q) = q - 3*q**2 + 9 + 7*q - 16 - q**3. Let c be d(-5). Put -4, -2, c in ascending order.
-4, -2, c
Let j = -48 - -58.5. Let o = j + -11. Sort -5, 1, o in descending order.
1, o, -5
Let k(r) = 3*r**3 + 2*r + 2. Let m(w) = 5*w**3 - w**2 + 3*w + 3. Let q(j) = 7*k(j) - 4*m(j). Let o be q(-3). Sort -2, 0, o in decreasing order.
o, 0, -2
Let h = -1253/5 - -250. Let z = 0.1 + -0.1. Put z, h, 5 in descending order.
5, z, h
Let z = 8 + -6. Sort -4, 3, z.
-4, z, 3
Let a(x) = -x - 4. Let d be a(-4). Suppose d = -2*u + 2*k - 4, -3*u + 3*k = -u + 7. Suppose -f + 1 = -2*v, 0 = f - 4 + 3. Sort 5, v, u in ascending order.
v, u, 5
Let b(z) = 2*z - 5. Let n be b(4). Suppose -2 - 16 = -x - s, 0 = x - 5*s - 24. Suppose d + 3 = 0, h - d - x = 5*h. Sort n, 2/13, h in ascending order.
h, 2/13, n
Let w = 177 - -21. Suppose -w = -q + 2*q. Let p be (-80)/q - 2/11. Put -0.4, -5, p in descending order.
p, -0.4, -5
Let s = 55/9 - 19/3. Let x = -0.1 + 0.3. Sort x, s, -3 in decreasing order.
x, s, -3
Suppose 3*d - 1 = 5*v, d + 4*v - 2*v + 7 = 0. Let q = -4 - -9. Put q, d, 0 in increasing order.
d, 0, q
Let f be (-25)/(-1) - (-2)/2. Suppose -4*m - 3*l = -3 - 4, -4*l + f = -3*m. Suppose -4 = -a - 3*a. Sort m, a, 2 in ascending order.
m, a, 2
Let n = -5 - -7. Let t be (24/(-9))/((-2)/(-9)). Let r be t/(-45) + (-2)/3. Sort n, 0.2, r in increasing order.
r, 0.2, n
Let y = 16 - 12. Let c = y + -3. Sort c, -3, 5 in descending order.
5, c, -3
Let s = 14 - 12. Let i(t) = 8 + t + 9*t**2 - t - t**3 - t. Let x be i(9). Sort x, s, 5.
x, s, 5
Let i(g) = g**2 - 11*g + 15. Let c be i(10). Sort c, 1, 3 in ascending order.
1, 3, c
Suppose 2*a = a - 3*k + 11, -4 = 4*a - 4*k. Let z be (-19)/57 - a/6. Sort -3/4, z, 1/3 in descending order.
1/3, z, -3/4
Suppose -5 - 10 = -5*v. Suppose -6 = v*h + 4*t - 0, -3*h = -3*t - 15. Suppose -4 = p - 1. Put h, -4, p in decreasing order.
h, p, -4
Let f = -222 + 1112/5. Suppose 3 = -0*r - r. Put -2/3, f, r in decreasing order.
f, -2/3, r
Let p = -1.1 + 1. Let q be (10/120)/((-6)/(-16)). Put -2, p, q in decreasing order.
q, p, -2
Let y = 15 - 11. Let k = 431 + -430. Put y, k, -5 in decreasing order.
y, k, -5
Suppose -3*h + 4*g = -10, -2*g = 4*h + 2*g + 24. Sort 4, h, 0.1 in descending order.
4, 0.1, h
Let f = -3 + -2. Put -1, 2, f in decreasing order.
2, -1, f
Let m = 11.09 + -11. Let d = -0.09 + m. Sort 3, -9, d in decreasing order.
3, d, -9
Let j(h) = 1 + h - 2 - 2. Let i be j(6). Let r be (-44)/11 - -14 - (-10)/(-2). Sort -2, r, i in decreasing order.
r, i, -2
Suppose 1 + 2 = j. Suppose 12 = 3*r - p, -6*p = j*r - 2*p - 12. Sort r, -3, 0 in descending order.
r, 0, -3
Let g = 9 - 7. Let w = 38 - 44. Put -5, w, g in decreasing order.
g, -5, w
Suppose -5*m + 2*q + 0*q = 7, 0 = -4*q - 16. Put -1, m, -4 in decreasing order.
-1, m, -4
Let k = -16 - -31. Suppose r - 20 = 3*c, 7*c = -2*r + 2*c - k. Put 2, r, -1 in descending order.
r, 2, -1
Let m = 2.3 - -0.7. Let f = m - 0. Put 5, -2/15, f in descending order.
5, f, -2/15
Let d = -1.3 + -3.7. Sort 0, -0.5, d in increasing order.
d, -0.5, 0
Suppose 12 = 5*x - 13. Suppose x*z + 5 = -5. Let p = 0 + z. Sort -1, p, -3.
-3, p, -1
Let a = 1 - 2. Put -1/9, a, -5 in decreasing order.
-1/9, a, -5
Suppose -19*d = -6*d. Sort 7, d, 4 in ascending order.
d, 4, 7
Suppose 0 = 4*u + 2*a - 21 - 25, 4*u = 5*a + 25. Let p(i) = i**3 - 11*i**2 + 11*i - 13. Let v be p(u). Sort 2, v, 1.
v, 1, 2
Suppose 0 = g - 3*g + 32. Let z = -13 + g. Sort 4, -5, z in decreasing order.
4, z, -5
Let v = -0.15 - 0.15. Sort v, -3/2, -4.
-4, -3/2, v
Let g = -3.1 + 4.4. Let r = g + 0.7. Put 1/2, r, 0.4 in increasing order.
0.4, 1/2, r
Let y(c) = -c. Let n(d) = 4*d**3 + 2*d. Let w(p) = -n(p) - y(p). Suppose -5*u = -u + 4. Let s be w(u). Sort -1, 3, s.
-1, 3, s
Let k = 1 - -1. Let w be k/8*1 - 0. Put 1, w, -1/6 in ascending order.
-1/6, w, 1
Let t be -1 - (-3 - 20/(-11)). Put t, -5, 1/3 in ascending order.
-5, t, 1/3
Let o = 100 + -93.7. Let t = o - 6. Let c = 1.3 - t. Sort -2/13, c, 5 in descending order.
5, c, -2/13
Let z be (-9)/(-6)*-2*1. Let h = 10 + -11. Let f be 15*((-4)/3)/(-4). Sort h, f, z in increasing order.
z, h, f
Let t be -