in increasing order.
k, r, 4
Suppose -12*n = -14*n + 8. Put 2/5, n, -0.1 in decreasing order.
n, 2/5, -0.1
Suppose -4*r = -3*r + 2. Let c be 2/11 - (-46)/(-11). Let a = 2 + -2. Put r, c, a in increasing order.
c, r, a
Let p = -6 + 5.82. Let v = p - -0.19. Put 0.5, 1, v in descending order.
1, 0.5, v
Let a(y) = 2*y - 21. Let p be a(8). Sort 1, p, 3 in decreasing order.
3, 1, p
Let q(d) = -d**2 - 3*d + 4. Let w be q(0). Let v = 0 + 2. Let z = v - 4. Sort z, w, 3 in decreasing order.
w, 3, z
Let o(c) = -c**2 - 6*c - 3. Let j be o(-6). Let x be 1/(-4)*(40/5)/2. Put 1, j, x in descending order.
1, x, j
Let j be ((-8)/(-32))/(1/(-4)). Let w be (-3)/6*(-7 + -3). Sort -3, j, w in decreasing order.
w, j, -3
Let q be 24/3*((-15)/6)/(-5). Sort -4, -5, q, -1.
-5, -4, -1, q
Let q be (-196)/231 - (-2)/3. Sort 7, 5, q in decreasing order.
7, 5, q
Let s = -11.7 + 12. Let h = s + 0.2. Let u = -249 - -1241/5. Sort -0.5, u, h in descending order.
h, -0.5, u
Let y = -108 + 649/6. Suppose 2*s + 3*g + 17 = s, -4*s - 28 = 2*g. Sort 4, y, s.
s, y, 4
Let w = 0.053 - 0.153. Put w, -1/5, 3, -4 in descending order.
3, w, -1/5, -4
Let d = 13 + -18. Let i(r) = r**3 - 21*r**2 + 5. Let b be i(21). Let k = 0 + 0.2. Put b, k, d in increasing order.
d, k, b
Let k = -13 + 31. Let w = -18.3 + k. Let u = -0.03 + -4.97. Put u, 1, w in decreasing order.
1, w, u
Let p = -16.91 + -0.09. Put p, 2, 0.5 in ascending order.
p, 0.5, 2
Let l = 1.67 - -0.33. Sort -2, l, 4 in ascending order.
-2, l, 4
Let w = 4 + 10. Suppose 0 = -2*q + 6 - w. Suppose 4 = -0*o - 4*o. Put o, -5, q in increasing order.
-5, q, o
Let c = -6 + 5. Let r = -0.7 - c. Let s = 0.1 - r. Put -5, 1/2, s in ascending order.
-5, s, 1/2
Let m = 0.2 + 4.8. Let b = 109/115 + -8/23. Sort b, 2, m.
b, 2, m
Suppose 2*s - 2 + 4 = 0. Let w be 0 + s + (0 - 3). Put -2, w, -1 in decreasing order.
-1, -2, w
Let s = -7 - -3. Let u(m) = -m**2 - 5*m - 4. Let l be u(-4). Suppose 4*f - f = l. Sort f, s, -1/3.
s, -1/3, f
Suppose 0*z + 6*z = 5*z. Let g(h) = 1 - h**3 + 3*h**2 + 2*h**2 - h**2. Let c be g(4). Put c, z, -2 in decreasing order.
c, z, -2
Let f = -11 - -15. Suppose 5*j - 4 = f*j. Let b be (-3)/(-4)*(-4)/(-1). Put j, b, 5 in decreasing order.
5, j, b
Let w = -6.5 + 6. Put -5, -2/13, w, 2/5 in decreasing order.
2/5, -2/13, w, -5
Let c(j) = j**3 + 5*j**2 - 7*j - 2. Let g be c(-6). Let d = 5 + g. Suppose 0 = -3*x + 5*p + 1, 4*x - 5*p + d = 6*x. Put x, 3, -1 in increasing order.
-1, x, 3
Let r be ((-2)/12)/((-2)/6). Put r, -0.5, 0.2 in decreasing order.
r, 0.2, -0.5
Suppose 3*y + 5*j = 3*j + 25, -5*y + 30 = j. Let r = -1 + 0. Sort -3, y, r.
-3, r, y
Suppose -1 = n + c, 2*n + 0 + 1 = -c. Suppose -h - h = 8. Let k = h - -7. Sort 5, n, k in decreasing order.
5, k, n
Let q be (-3)/4 + 9/12. Sort 2, 11, q in ascending order.
q, 2, 11
Suppose 0 = -4*o + 6*x - 2*x + 20, 3*o = x + 5. Sort 10, 1, o in increasing order.
o, 1, 10
Let b(u) = -10*u**2 - 6*u + 3. Let k(c) = 3*c**2 + 2*c - 1. Let a(q) = -2*b(q) - 7*k(q). Let m be a(-2). Suppose m = 5*n + 16. Sort 3, n, 4 in increasing order.
n, 3, 4
Let h = -10 - -10. Sort 5, 3, h in descending order.
5, 3, h
Let o be 2/(-2) + -2 + (-95)/(-35). Let j = -4 - -8. Sort o, j, -2 in ascending order.
-2, o, j
Let a(g) = -6*g**2 + 1. Let u be a(-1). Let p = 0.3 - 6.3. Let s = p + 11. Put s, 0.1, u in increasing order.
u, 0.1, s
Let c be (-12)/(-21) + (-48)/(-14). Sort c, -8, 2 in decreasing order.
c, 2, -8
Let t be 1/12*-2*(-28)/35. Sort -1/2, -0.4, t.
-1/2, -0.4, t
Suppose 1 = d + 8. Let r = -5 - d. Put -3, 1, r in descending order.
r, 1, -3
Let d = -7 - -13. Suppose 4*h + 28 = 76. Let o be d/h - 1/2. Sort -3, 5, o.
-3, o, 5
Let o(m) = m**3 - 6*m**2 + 2*m + 2. Suppose 0 = -0*d - 2*d + 4. Let z be o(d). Let y = z + 7. Sort y, -2, -1 in decreasing order.
-1, -2, y
Let l be (15/10)/(31/(-14) + 2). Let w = 3 + -8. Put l, w, 1 in decreasing order.
1, w, l
Suppose 20 = -4*y - 20. Let b = y - -14. Sort b, 3, 0 in descending order.
b, 3, 0
Let y(g) = g**3 + 2*g**2 - 3*g - 5. Let m be y(-3). Sort -1, 7, m in ascending order.
m, -1, 7
Let o(v) = -19*v**2 - v + 2. Let c be o(-2). Let r be (2 - 0) + c/38. Let q be (8/304)/((-1)/4). Sort q, r, -2.
-2, q, r
Suppose f = -f - 10. Suppose 0 = -7*h - 0*h - 14. Put 1, h, f in increasing order.
f, h, 1
Let q(t) = t + 2. Let s be q(-2). Suppose 8 + 7 = 3*w. Suppose -2*f - 2 = 0, 4*r = f - 10 - 5. Sort r, s, w in increasing order.
r, s, w
Suppose -2*a - 2*y = 4, 0*a + 4*a + 5*y + 10 = 0. Let w(c) = 4 + 0 + 1 + 3*c - 4*c. Let m be w(a). Put m, 1, 2 in increasing order.
1, 2, m
Let g(m) = m**2 - m - 2. Let n be g(-2). Let h = 1 + -6. Sort n, -1, h in decreasing order.
n, -1, h
Let z = -0.9 + 0.6. Let h = -14 - -13.93. Let r = -0.17 - h. Put z, 3, r in ascending order.
z, r, 3
Suppose 3*p = 2 - 5. Suppose 4*j - 5 = 3. Sort p, 1, j in descending order.
j, 1, p
Let n = 2 + 4. Suppose 0*h + 2*h + n = 0. Sort 3, 0, h in descending order.
3, 0, h
Let a = -0.04 + 0.34. Let n = 12 - 13. Let x be (-2)/(-2)*(1 + -3). Sort a, n, x in decreasing order.
a, n, x
Let v = -12 - -27. Let i = 11 - v. Sort 3, 4, i in descending order.
4, 3, i
Let v = 0.05 - -1.95. Let w = v - -1. Let q = -101/44 - -28/11. Sort 4, q, w in ascending order.
q, w, 4
Let b = 173/469 - -4/67. Sort b, -5, 4 in increasing order.
-5, b, 4
Let u = -153/10 + 1609/30. Let r = u + -38. Let c = -2.248 - 0.752. Sort c, -0.5, r.
c, -0.5, r
Suppose -5*h = -4*s + 5*s + 4, s + 4*h + 3 = 0. Let v(m) = -m**3 - 5*m**2 - 5*m - 4. Let z be v(-4). Put s, 3, z in ascending order.
z, s, 3
Let b be ((-2)/10)/((-19)/(-5) - 3). Sort 0.4, 1, 1/5, b in ascending order.
b, 1/5, 0.4, 1
Let z be (-464)/(-560) + (-2)/5. Put 2/11, 1/3, 3, z in descending order.
3, z, 1/3, 2/11
Let a(m) = -7*m - 38. Let k be a(-6). Sort -3, k, 18, -5 in decreasing order.
18, k, -3, -5
Let l = -0.7 + 3.7. Let u = -3.1 + l. Put -4, -1, u in descending order.
u, -1, -4
Let s(u) = u**2. Let h(a) = -a. Let b(g) = -h(g) - 2*s(g). Let z be b(-1). Let l = 11 - 7. Sort z, -5, l in decreasing order.
l, z, -5
Let v be (-6)/(-3) - 1 - 3. Let m = v - -1. Put 2, 5, m in ascending order.
m, 2, 5
Suppose 2*u + 2*u - 16 = 0. Let a = 13 + -10. Sort a, u, 0 in descending order.
u, a, 0
Let t = 2 + -1. Let o be (-4)/(0 - t) - 0. Sort o, -1/2, -2/9 in ascending order.
-1/2, -2/9, o
Let t = 1 - 3. Let c = -0.029 - 25.971. Let p = c + 26.2. Sort p, 4, t in decreasing order.
4, p, t
Let p(u) = -u**3 - 7*u**2 - 7*u - 4. Let x be p(-6). Suppose -2*c - 2*j + 2 + 2 = 0, 2*j = 0. Suppose c*y = 5*y + 3. Sort y, -3, x in decreasing order.
x, y, -3
Let h(s) = -s**3 + 2*s**2 - 2*s. Let x be h(2). Let j be 20/(-8)*x/5. Suppose 3*r + j = 5*r. Sort -3, 5, r in descending order.
5, r, -3
Let u be (20/2)/((-2)/17). Let x be (-30)/12*(-4)/5. Let m be (x/u)/((-3)/(-15)). Sort -2, -5, m.
-5, -2, m
Let p = -52.6 - -58.46. Let s = -0.14 - p. Let v = 6.4 + s. Put v, 2/9, 2 in decreasing order.
2, v, 2/9
Let j = -142/3 - -47. Let f = 0.581 + -0.181. Sort f, j, -1 in descending order.
f, j, -1
Let p = 0 - 0. Suppose 0 = -5*k - s - 19, p*s = -3*k + 4*s + 7. Let j(y) = -y**2 + 7*y - 8. Let d be j(6). Sort k, d, -0.3 in descending order.
-0.3, d, k
Let q = 11 + -6. Sort q, 2, 0 in increasing order.
0, 2, q
Suppose 2 = -2*q + q - 3*z, -5*q = -2*z - 7. Let a be ((-90)/(-27) + 1 + -3)*-3. Let f be (0 - 0) + -1*1. Sort a, q, f in descending order.
q, f, a
Let n be -2 + (-5)/((-10)/(-6)). Let s = 0.3 + -0.5. Let h = 1.2 + s. Sort 0.4, n, h in descending order.
h, 0.4, n
Let t = -12 + 16. Sort t, 2, 5.
2, t, 5
Let z = 3.6 - 4. Let f = -0.2 - z. Put 2, f, -2 in increasing order.
-2, f, 2
Let v be 0/(3 + -4 + -2). Suppose v = -x - 0*x + 2. Put 4, x, 3 in ascending order.
x, 3, 4
Let b = -15 - -15.3. Sort -5, b, -3/26 in increasing order.
-5, -3/26, b
Let n = -0.94 - -0.44. Sort -0.4, -1/14, -0.2, n in increasing order.
n, -0.4, -0.2, -1/14
Let x be 8/(-9)*(-1)/(-4). Let c = -1.96 + 2. Let r = 3.04 - c. Sort x, -0.3, r in descending order.
r, x, -0.3
Suppose -3*m - 15 = -6*m. Sort 1, m, -2.
-2, 1, m
Suppose -6*l + 7 = 1. Let g(f) = -f**3 - 8*f**2 + 9*f + 2. Let i be g(-9). Sort i, -3, l in decreasing order.
i, l, -3
Suppose 3*m + 0 = -5*s + 1, -m - 13 = -5*s. Suppose 5*z = s*z. Let b(k) = -k**2 - 5*k - 3. Let w be b(-5). Put