t m = -0.14 - t. Sort 2, m, y in decreasing order.
2, m, y
Let x(g) = -3*g + 2. Let u be x(1). Sort 13, 4, u.
u, 4, 13
Let c = -22 - -43/2. Sort 0, -5, c in descending order.
0, c, -5
Let l(m) = -m**3 + 5*m**2 - m + 4. Suppose -11*o + 15 = -8*o. Let h be l(o). Let a = -5 + 0. Sort h, 4, a in decreasing order.
4, h, a
Let a = -90 + 89.9. Sort a, 2/9, -0.4.
-0.4, a, 2/9
Let y = -9.2 + 10. Let p = 19.3 + -20.3. Sort y, p, 1 in decreasing order.
1, y, p
Let b = 2 - -1. Suppose -5*c + 7 = -18. Put 4, b, c in ascending order.
b, 4, c
Let n = -3 - -2.97. Let z = n - 1.97. Let q = -2 - -1. Sort q, z, -4 in decreasing order.
q, z, -4
Let h be -1 - ((-4)/(-2) - 1). Suppose -3*f + 25 - 10 = 0. Put f, h, -1 in ascending order.
h, -1, f
Let v = 2 + -2. Let n = 57.2 - 57. Put v, -5, n in decreasing order.
n, v, -5
Let x = -127.93 - -125. Let t = x + -0.07. Sort -2, 0.5, t in decreasing order.
0.5, -2, t
Suppose 26*b + 9 = 23*b. Sort -1, 2, b.
b, -1, 2
Let z = 19 + -21. Put -0.02, z, -5 in increasing order.
-5, z, -0.02
Suppose 3*l + l = 4. Suppose -2*s + l = 5. Suppose 2*a - 4*a + 14 = 2*h, -h - 3*a + 15 = 0. Sort h, s, -5.
-5, s, h
Let s = 0 - 1. Sort s, -4, 4.
-4, s, 4
Let w(h) = h**2 + 2*h - 2. Let p be w(2). Put 3, 2, p, 1 in decreasing order.
p, 3, 2, 1
Let v = 1.5 - -0.5. Let r be 4 + (0 + -2)/2. Let m(y) = 2*y - 2. Let t be m(r). Sort -3, t, v in ascending order.
-3, v, t
Let y(k) = -2*k + 22. Let r be y(9). Suppose -2*p + 3*p = -4*b - 7, -3*b - r = 2*p. Let f be ((-3)/6)/(1/2). Put b, -3, f in decreasing order.
f, b, -3
Suppose 2*y - 24 = -6. Let g = y - 9. Suppose 2*j - k - 6 = 0, 2*k - 12 = -j - 2*k. Put g, -2/21, j in descending order.
j, g, -2/21
Let q = -103/72 + 15/8. Put q, -2/11, -3, 4 in descending order.
4, q, -2/11, -3
Let k = 8 + -9. Let z be -3 + (-9 - -3) - k. Let w = -7 - z. Sort w, 0, -5 in increasing order.
-5, 0, w
Suppose -11 + 5 = 2*s. Let w be 20/(-8) + 1/(-2). Let a be 1/(-3) - (-1)/w. Sort a, s, 0.3 in descending order.
0.3, a, s
Let s(f) = f**2 - 7*f - 20. Let i be s(9). Sort 4, 1, i in descending order.
4, 1, i
Let y = 5 - 4.5. Put y, 2, 0.2 in descending order.
2, y, 0.2
Suppose 3 = 2*l - 7. Let d = 46 + -44. Sort l, d, -2.
-2, d, l
Suppose 29 = 5*v + 3*u, -4*u + 3 = v - 13. Sort v, 3, -1, -4.
-4, -1, 3, v
Suppose -q - 5*f + 27 = 0, 3*f - 2*f = 5*q - 5. Let v = q - 3. Suppose -h = -3 + 7. Sort -2, h, v.
h, -2, v
Let j = -4 + 6. Suppose -j*y = -0*y. Let n be 15/(-20)*8/(-6). Put n, -1, y in increasing order.
-1, y, n
Let j = -1 - -0.9. Let s = j - 0.1. Let n = 146 + -148. Put n, 1/5, s in increasing order.
n, s, 1/5
Suppose -3*w - w = -16. Suppose 6*k - w*k = 8. Let d(n) = -n**3 + 5*n**2 - 3*n. Let y be d(k). Put y, -1, -2 in increasing order.
-2, -1, y
Let h = 0.25 - 0.05. Let z = 16 - 15.6. Put -1/3, z, h in increasing order.
-1/3, h, z
Suppose -6*s = -2*s - 12. Suppose 4*k + u + 3 = 0, 0 = -5*k + k + s*u - 23. Put k, 1, 3 in decreasing order.
3, 1, k
Suppose -4*s = 5*x - 19, 0*x - 2*x + 6 = 0. Sort s, -2, 2, -7.
-7, -2, s, 2
Let z(k) = -k**3 + 9*k**2 - 9*k + 6. Let g be z(8). Let a be 2*((-4)/g + -1). Sort 5, -2, a.
-2, a, 5
Let m = 6 - 0. Let x(j) = -j + 4. Let z be x(4). Suppose z = 5*k - 16 + m. Sort -5, k, -1 in increasing order.
-5, -1, k
Let a = 0.111 + -0.611. Sort a, 0.3, 1/8.
a, 1/8, 0.3
Let g(y) = -5*y**3 - 3*y**2 + 4*y**3 - 4 - 2*y**2 - y**2. Let f be g(-6). Sort f, -5, 2.
-5, f, 2
Suppose -x + 0*x - 2 = 3*t, 0 = -4*t + 2*x + 4. Suppose 0*g = 6*g. Suppose t*h - h = g. Sort 4, h, -5 in ascending order.
-5, h, 4
Let t = -1.6 - 0.4. Let j = 0.13 + 1.87. Let h = j + t. Put 1/2, -3, h in decreasing order.
1/2, h, -3
Let q be 14/(-49) + (-192)/14. Let i(b) = -b - 13. Let p be i(q). Suppose -u = -2*u. Sort -3, p, u.
-3, u, p
Suppose 7*h - 2*h - 22 = 2*p, -3*h + 12 = 0. Sort p, 1, -7 in ascending order.
-7, p, 1
Let t(o) = -o**3 - 7*o**2 - 8*o - 17. Let y be t(-6). Let l be 1 - (0 + (-5)/(-1)). Put 9, l, y in descending order.
9, l, y
Let u be 3 - (-2 - (-3)/3). Let o be 288/(-495) - u/(-22). Suppose 4*f - 3*f = -5. Put -0.5, f, o in decreasing order.
o, -0.5, f
Suppose 0 = -4*q - 27 + 7. Sort q, 4, 2 in increasing order.
q, 2, 4
Suppose 2*s + 4*r = -3*s - 37, 4*s + 35 = -5*r. Sort s, -0.3, 2/11 in descending order.
2/11, -0.3, s
Let k be 1032/52 - (-4)/26. Suppose -o - 3*w - 23 = o, 0 = 4*w + k. Sort 1/5, -0.2, o in descending order.
1/5, -0.2, o
Let f be 3 - (-4)/48*(-39 - -1). Put 4, f, 1 in decreasing order.
4, 1, f
Let o = 0 + -3. Let m = 0.19 - 0.2. Let t = m + -3.99. Sort t, 4, o in decreasing order.
4, o, t
Let k(b) = -b**2 + 16*b - 29. Let u be k(14). Put -2, 3, u, -12 in ascending order.
-12, -2, u, 3
Suppose 2*a + 0*a = 8, 0 = -y - a + 7. Suppose -r + 3 = -y. Suppose -2*v + 4 = -4*c, -r = -c - c - v. Put c, -3, 2 in descending order.
2, c, -3
Let n be -2 - 7/((-196)/48). Sort 5/6, 0.5, n, -1/4.
n, -1/4, 0.5, 5/6
Suppose 2*c - 21 = -4*q + 27, -2*q + 128 = 5*c. Let z be 8/28 + c/56. Put -3, z, -1/5 in descending order.
z, -1/5, -3
Let t = -26.7 - -27. Put -2, t, -10 in increasing order.
-10, -2, t
Let t be (-13)/91 + 29/7. Let a = 2 + -3. Sort t, a, 1 in decreasing order.
t, 1, a
Suppose -2*d = 3*d + 35. Suppose 0 = -5*l - 20 - 0. Let s be d/(-2) - 2/l. Sort s, 3, -2 in increasing order.
-2, 3, s
Let x(p) = -p**3 - 4*p**2 - 3*p + 2. Let u be x(-3). Put -5, u, 5 in ascending order.
-5, u, 5
Suppose -31 = -3*n - 7. Suppose 3*q - n = q. Let b = -24 + 49/2. Sort b, -1/2, q in increasing order.
-1/2, b, q
Let w be (45/12 - -2) + 9/(-12). Put -1, 1, w in ascending order.
-1, 1, w
Let d = 0.16 - 0.09. Sort 0.2, -5, d in ascending order.
-5, d, 0.2
Let c be 5/(-2) - (-324)/136. Sort 0.2, -1, c in increasing order.
-1, c, 0.2
Let l be (1/(-65))/(4/(-124)). Let n = l + -1/13. Put -1, n, -3 in decreasing order.
n, -1, -3
Let z = 0 - 0.4. Let i(p) = 11*p + 5 - 15 - p**3 - 6 - 11*p**2. Let b be i(-12). Sort z, 5, b in increasing order.
b, z, 5
Let c be (-300)/40*2/(-3). Sort -3, c, 0 in decreasing order.
c, 0, -3
Let m(r) = -4*r**2 - r. Let w be m(-1). Let z = 13 - 10. Suppose -2*p = -3*a - 12, -2*p + 6*p - z*a - 18 = 0. Put p, 1, w in decreasing order.
p, 1, w
Let m = -0.01 + 0.04. Let c = m - -2.97. Let v = -11 - -10. Put v, -1/5, c in ascending order.
v, -1/5, c
Suppose 2*v - 2 = -0*v. Let n be (v/9)/((-7)/(-147)). Let b = 8/3 - n. Put b, 0.2, -2/7 in descending order.
b, 0.2, -2/7
Let z be 3 - (-20)/(-14)*7/3. Sort -4, z, -0.4, -1 in ascending order.
-4, -1, -0.4, z
Let n = 173 - 1559/9. Put 2/21, -5, 1/2, n in descending order.
1/2, 2/21, n, -5
Let v be 11 + (6/(-3))/(-2). Let c = v + -7. Let t = c - 1. Put t, -5, 5 in ascending order.
-5, t, 5
Let p(x) = x**3 - x**2 + x + 3. Let t be p(0). Sort 2, t, -5 in ascending order.
-5, 2, t
Let n = -2/73 - -85/438. Suppose -i - 3*r + 9 = -2*i, -2*r = -6. Let q be (-9)/24*(-2)/3. Sort i, q, n.
i, n, q
Let m = -10/43 - -176/387. Let v = -14 - -2. Let s = v - -9. Put 5, s, m in descending order.
5, m, s
Suppose -20*h + 5 = -3*i - 19*h, -3*i = 2*h - 1. Suppose 5*m = 4*m. Let o(c) = -c**3 + c**2 - c + 4. Let n be o(m). Sort n, i, 1.
i, 1, n
Suppose 4 = -5*u + 24. Sort 2, -12, u in descending order.
u, 2, -12
Let p = 228 + -231. Let q = 1.7 - -0.3. Put p, 0.5, q in descending order.
q, 0.5, p
Let d = 1 - 1. Suppose 0 = -q + 3*q + 4, 124 = -4*j - 2*q. Let w be -2 - -1 - j/34. Sort w, d, -3/7 in increasing order.
-3/7, w, d
Let m = -12 - -9. Let z be (-2)/3 + (-2)/m. Put z, -1, 3 in descending order.
3, z, -1
Suppose 3*q = 3*b - 42, 3*b + 3*q - 47 = 7*q. Let t = b + -6. Suppose 0*v - 5*v + 20 = 0. Put t, -1, v in descending order.
v, t, -1
Let u = 1 - -1. Let i be (-2)/(-8) - 6/24. Suppose -c - 3*c = i. Put u, c, 4 in decreasing order.
4, u, c
Let r(a) = 2*a - 5. Let d be r(3). Sort -3, 4, d in ascending order.
-3, d, 4
Let l be (-4)/(-6)*15/2. Suppose 0 = d - 2*d + 4*k - 6, -5*d - 14 = -4*k. Put l, d, -3 in descending order.
l, d, -3
Let u = -11 + 9. Sort 0, -5, u in descending order.
0, u, -5
Let c = -0.6 - -1.3. Let z = 4.3 + c. Let j = -491 - -491.5. Sort -5, z, j in ascending order.
-5, j, z
Let v(c) = 4*c - 4. Let b be v(4). Let j be b/(-42) + 4/14. Sort j, -2, 4.
-2, j, 4
Let t = -15 - -10. Sort t, -3, -1/8 in ascending order.
t, -3, -1/8
Let t be 5/((-15)/(-36)) - 1. Sor