t x = -68/3 - f. Sort 1/4, -1, x in descending order.
1/4, x, -1
Let p = -5 - -8. Sort p, -6, -5 in ascending order.
-6, -5, p
Let j(l) = l + 1. Let d be j(3). Suppose -17 = -2*w + 3*c, 0*w + 3*c = -w - 14. Suppose 30 = 4*a - 5*n, 4*a - 2*n - 19 = a. Sort a, d, w.
w, d, a
Suppose 4 - 1 = 3*c. Suppose -4 = p + 2*z, -p = 3*z + c + 3. Let r be (-3)/4 - 2/8. Sort p, 2, r in increasing order.
p, r, 2
Let x = 3/5 + -37/45. Suppose -3*s + 36 + 22 = -5*o, 4*s = 2*o + 26. Let w be (-4)/(-8) + o/30. Put -1/3, x, w in descending order.
w, x, -1/3
Let y = 43 - 42. Sort y, -6, -0.3.
-6, -0.3, y
Let s(g) = g**3 - 5*g**2 - g + 7. Let m be s(5). Suppose 2*v = 4*v - 2. Suppose q + 2 = -4*h, 0 = -8*h + 3*h. Sort m, q, v in increasing order.
q, v, m
Suppose -h = -0*h - 3. Sort -5, 1, h, -3 in increasing order.
-5, -3, 1, h
Let u = 0.4 - 0.4. Sort -0.2, u, 3/7 in ascending order.
-0.2, u, 3/7
Let j be (-8)/20 + (-14)/(-10). Put j, 8, 5 in descending order.
8, 5, j
Let h be -1 + 0/(-2) + -6. Let b = h - -12. Let f = -5 - -4. Sort b, 3, f in descending order.
b, 3, f
Suppose -2*m + y = 2, -4*m - y + 8 = -0*y. Put 3, m, -4 in descending order.
3, m, -4
Suppose 4*r + 2*c = -20, -2*r + 2*c = -2 + 6. Put -3, r, 3 in descending order.
3, -3, r
Let x be (((-5)/25)/((-1)/5))/4. Let j = -1.4 + 0.6. Let z = 0.5 + j. Sort -4, x, z.
-4, z, x
Let f be 0 + 2*(-1 - 1). Let z(r) = -5*r**2 + r + 1. Let a be z(-1). Sort a, 2, f in descending order.
2, f, a
Let o = -25 + 22. Put -5, o, 5 in ascending order.
-5, o, 5
Suppose w + 3*j - 1 = -4*w, -19 = -5*w + 3*j. Let k be w/5 + 46/10. Let g = 9 - 6. Sort g, k, 2 in increasing order.
2, g, k
Let c = -15 + 8. Sort c, -4, 1.
c, -4, 1
Let w = 0 + 3. Put -2, 4, w in decreasing order.
4, w, -2
Let j(q) = -q**3 + 3*q**2 + 2*q + 3. Let g be j(-2). Let w = g + -113/6. Sort w, 2, -0.4 in descending order.
2, w, -0.4
Let s = -4 - -6. Let k = s - -1. Suppose 0 = -3*z - 3 - 3. Sort z, 0, k.
z, 0, k
Let w = -0.27 - -0.17. Put -1/2, -4, w in decreasing order.
w, -1/2, -4
Suppose 4*s - 4*v + 234 = -38, -2*s = 2*v + 120. Sort -5, -2, s in descending order.
-2, -5, s
Let g be (-5)/20 - (-2)/(-24). Let i = 0.5 + -0.6. Put g, 0.2, i in decreasing order.
0.2, i, g
Let g = -24058/45969 - 1/2189. Let b = 1703/14 - 122. Let o = b - g. Put -2, 0, o in descending order.
o, 0, -2
Let i = 3.9 - 1.9. Sort -1/2, i, -4 in increasing order.
-4, -1/2, i
Suppose 5*t - 14 = -4*k, -4*k - t = -6*t - 34. Let m = k + -5. Suppose 0*n + n + m = 0. Sort n, -2, 0 in increasing order.
-2, n, 0
Let a = 2.95 - 3. Let n = -0.05 + a. Sort 4, n, 1 in decreasing order.
4, 1, n
Let z = 22 - 12. Suppose -h + 3*i = 2*h - 6, i + z = 3*h. Sort h, 5, 2 in increasing order.
2, h, 5
Suppose 2*d + 0*n + 17 = 3*n, 2*n = -d + 2. Let k be (-14)/(-3) - 3/(-9). Suppose -k*b = -5, -2*b + 1 = 4*i + 3. Put d, i, 4/5 in increasing order.
d, i, 4/5
Suppose -2*d - 3*h - 22 = 0, -4*d + 3*d + h = 6. Let k = 376 + -1886/5. Sort k, -5, d in ascending order.
d, -5, k
Let g = 75.3 - 75. Let q be 0 + (-2 - -1) + 3. Sort q, 0.1, g.
0.1, g, q
Let k = 6 - 11. Sort 5, k, 1 in decreasing order.
5, 1, k
Let m = -30 - -39.8. Let o = m + -9. Let t = 2.2 + o. Put 1/7, 5, t in increasing order.
1/7, t, 5
Let s = 54 + -58. Let m = -1.5 + 1. Sort m, s, -1/11 in increasing order.
s, m, -1/11
Let g be ((-2)/6)/(1/15). Sort 4, g, -7, 2 in increasing order.
-7, g, 2, 4
Let u(j) = j**2 + 5*j + 3. Let i be u(-3). Let y be 0*3/i - -5. Put y, -5, -3 in descending order.
y, -3, -5
Let k = -1 - -1. Suppose -i + 25 = -4*s, -s - s - 2*i = 0. Put 1, s, k in ascending order.
s, k, 1
Let z(g) = 3*g + 2. Let k be z(-1). Let a = 2 + 3. Let b = -7 + 5. Put k, b, a in decreasing order.
a, k, b
Let t be (-1)/(-1) + (-57)/19. Let h be 4 + 2*(0 + -1). Put h, t, -1 in decreasing order.
h, -1, t
Let u = 12 + -8. Let h = -2.8 + -0.8. Let x = u + h. Sort 3, x, 1/4.
1/4, x, 3
Let c = -6 - -7. Suppose -2*u - 50 + 16 = 5*j, 2*j = -5*u - 127. Let w be u/6*1/(-6). Put c, w, 4 in descending order.
4, c, w
Let l = 29 + -57. Let z be l/(-42) + 1/3. Let a be 0/1 - (-2)/(-1). Sort z, 5, a in ascending order.
a, z, 5
Let r = -19 - -20. Put r, 3/8, -0.5, -3 in ascending order.
-3, -0.5, 3/8, r
Let q = -4 + 5. Suppose 4*y + 15 = -q. Sort -5, 5, y in descending order.
5, y, -5
Let a be (-1 - 0) + -3 + 0. Let c = a + 3. Let m be c/((-3)/(2*3)). Sort 3, -5, m in decreasing order.
3, m, -5
Suppose 2*y + 0*y = 10. Suppose -y*o = -1 + 21. Sort 3, o, 8 in decreasing order.
8, 3, o
Let l(q) = q**3 + 5*q**2 - 5*q + 7. Let x be l(-6). Put -5, -3, 4, x in descending order.
4, x, -3, -5
Suppose h = 4*w - 13, 2*h + 5*w - 14 = 4*h. Suppose -5*k - h*t = t - 13, 3*k = 5*t - 7. Let v = -0.1 - -0.1. Put v, k, -0.3 in increasing order.
-0.3, v, k
Suppose 2*v - 3 = 5*v. Let g = 1 - v. Let k = -8 - -5. Sort g, -4, k in ascending order.
-4, k, g
Let w = 11 - 14. Let d = 0.6 + -3.2. Let b = w - d. Sort b, -3, -2 in ascending order.
-3, -2, b
Let d = -926/11 - -84. Put -3/8, -0.3, d in decreasing order.
d, -0.3, -3/8
Suppose -t + 3*r + 9 = 0, -3*t = 2*t - 4*r - 34. Suppose t = j + 3. Put 2, 4, j in decreasing order.
4, j, 2
Let s = -26 - -26. Put s, 1, 5 in increasing order.
s, 1, 5
Let n = -0.133 - 2.917. Let x = n - -0.05. Let k = -3.1 + 3. Sort x, k, -0.5 in descending order.
k, -0.5, x
Let w be 175/15 - 6/9. Put w, 5, 4 in decreasing order.
w, 5, 4
Let n = -29 + 17. Suppose 103 - 18 = -5*y. Let f = n - y. Put f, -2, -3 in decreasing order.
f, -2, -3
Let n = 3.4 + 0.6. Put -3, 1/3, n in ascending order.
-3, 1/3, n
Suppose 0 = 5*n - 2 + 22. Sort -8, n, -5 in decreasing order.
n, -5, -8
Suppose 0 = 2*p + 2*k - 10, k = -3*k - 16. Suppose 0*g + 5*w - 15 = 4*g, -3*w = 3*g - p. Put -1, g, 4 in increasing order.
-1, g, 4
Suppose -3*x + u - 14 = -3, -4*x - 20 = -4*u. Put -0.4, x, 6 in descending order.
6, -0.4, x
Suppose 3*w + 6 = 2*b, -2*w + 6*w + 8 = -b. Let n be 6 + -3 + 2 + w. Put 5, n, 0 in descending order.
5, n, 0
Let q(w) = -w - 22. Let r(f) = -f - 11. Let m(b) = -2*q(b) + 5*r(b). Let u be m(-5). Suppose n = 4*n. Put -5, n, u in descending order.
u, n, -5
Suppose 4 = 5*g + 3*n, g - 3*n - 2 = -12. Let j = 1 - -2. Sort 2, g, j.
g, 2, j
Let b(l) = -2*l**2 + 10*l + 3. Let h be b(5). Let p(y) = -y**2 + 4. Let u be p(h). Let q be 57/(-21) + 4/(-14). Sort q, -1, u in decreasing order.
-1, q, u
Let p = -6 - -4. Let s = -0.07 + 3.57. Let w = -4 + s. Put 3, p, w in descending order.
3, w, p
Let s = 47 - 47.04. Sort s, 1, 2 in descending order.
2, 1, s
Let i = 15 - 14. Let y = -9 + 4. Let o = 7 + y. Put o, i, 4 in descending order.
4, o, i
Let j = -3.5 - -4. Let f = j - 0.4. Let c = 6 + -8. Sort 5, f, c in descending order.
5, f, c
Let m = 18 + -18.3. Sort -1, m, 0.3.
-1, m, 0.3
Let l(m) = 7*m**2 - m. Let k be l(-1). Suppose h + 3 = k. Sort -3, h, 2 in decreasing order.
h, 2, -3
Suppose v + 35 = 8*v. Put 0, v, -5, -3 in descending order.
v, 0, -3, -5
Let x(c) = c**2 + 6*c + 2. Let i be x(-4). Let u be ((-5)/15)/(1/9). Sort i, 0, u.
i, u, 0
Let b = 62 + -64. Put b, 1, -5 in ascending order.
-5, b, 1
Let l = 1.08 + -5.08. Sort 2, 5, l in ascending order.
l, 2, 5
Suppose -14*y - 56 = 14. Sort -15, 5, y.
-15, y, 5
Suppose 4*g + 16 = b + 5, g - 5*b - 2 = 0. Suppose 4*w - 15 = -w. Put 2, g, w in descending order.
w, 2, g
Let y(b) = b**2 + 7*b - 10. Let i(a) = -a**3 + a**2 - 8. Let d be i(0). Let k be y(d). Put k, -3, 4 in increasing order.
-3, k, 4
Let q = -2/77 + 393/308. Let f be (0 - (-2)/(-10))/((-2)/(-6)). Sort q, f, -1/4 in decreasing order.
q, -1/4, f
Let k = -0.1 - -0.6. Let f = 0.04 + -6.04. Sort k, -2, f in decreasing order.
k, -2, f
Let s(d) = d - 2. Let h be s(-4). Sort 0, h, -5.
h, -5, 0
Suppose 2 = 2*t + l + 3, 7 = 4*t + 5*l. Put -5, t, -14 in descending order.
t, -5, -14
Let a be (-1)/2 + 33/6. Let s = -5 + a. Suppose s = 3*o - 5*b - 20 + 1, 2*b + 18 = -4*o. Sort -5, o, 4.
-5, o, 4
Let s be -8*(-4)/48*-6. Put s, -7, -3 in increasing order.
-7, s, -3
Let a = -0.45 + 0.25. Sort 1, -3, a.
-3, a, 1
Let y(i) = -4*i**2 + 1 + 8*i - 8*i. Let c be y(1). Let j be (2/(-4))/(3/12). Put -0.3, j, c in decreasing order.
-0.3, j, c
Suppose 4*k + l - 11 = 0, -4*k - 3*l + 0*l + 17 = 0. Let j = 5 + -2. Let x(p) = -p**3 + 3*p**2 - 2*p + 2. Let z be x(j). Put -3, k, z in decreasing order.
k, -3, z
