Let o = 17 - 71/4. Put c, -5, o in decreasing order.
c, o, -5
Let l = -9 - -14. Suppose -3 = m - l. Sort m, 1, -3.
-3, 1, m
Let y = 73 - 69. Put 2, -4, y, -2 in descending order.
y, 2, -2, -4
Let x be (2/4*-2)/(-1). Let o be (-4)/(-2) + (-5 - -8). Put 4, x, o in increasing order.
x, 4, o
Suppose -2*h - 5*g = 10, 2*h + 2 = -2*g - 2. Let k(a) = a**3 + 5. Let r be k(0). Suppose 0 = 3*m - r*t + 2, 5*t + 3 + 7 = 0. Sort m, 3, h in ascending order.
m, h, 3
Suppose 0*n = -n + 4*m + 13, -3*m - 27 = 5*n. Let j be (-203)/(-21) - 4/6. Let a be (-2)/(-9) + (-2)/j. Sort a, -5, n in descending order.
a, n, -5
Suppose -18 = -2*s - 5*y, -3*s - 3 = -5*y - 5. Let d = 4 - 7. Sort d, s, -5 in ascending order.
-5, d, s
Let h = 9 + -4. Suppose 2*i + k = 12, 0*i + h*k - 5 = i. Let j = -7 - -3. Sort i, 1, j in decreasing order.
i, 1, j
Suppose 3*p = -0*p + 18. Let d = 19 + -22. Sort p, d, 2 in ascending order.
d, 2, p
Let g = -4 + -2. Let n = -6 - g. Sort 4, -3, n in decreasing order.
4, n, -3
Let x = -65/292 - 2/73. Let h = -1/43 - 71/645. Sort x, h, -0.2 in descending order.
h, -0.2, x
Let n = 0.162 + 4.838. Let r = -123/565 - -2/113. Sort r, n, -3 in decreasing order.
n, r, -3
Suppose -2*r = -4 - 4. Let o = 1 + r. Let q(n) = n**2 - n - 2. Let s be q(3). Sort s, 2, o in descending order.
o, s, 2
Let z be 1 + (5 + -1 - 8). Put 0, z, -1 in descending order.
0, -1, z
Let n = -0.69 + -0.01. Let i = n + -4.3. Sort i, -2/7, -1 in descending order.
-2/7, -1, i
Let j be 1/(-2 + 15/9). Let l = 0 + 1. Put l, j, 4 in ascending order.
j, l, 4
Suppose -2*u + f = 16, -5*u - 72 + 14 = 2*f. Sort 3, 1/3, u in descending order.
3, 1/3, u
Suppose 0 = -2*y - 3 + 1. Let z be (-4)/(-7)*3/4. Sort y, -4, z.
-4, y, z
Let a = -9 + 13. Suppose 12 = -2*l - l. Sort l, -4/3, a in ascending order.
l, -4/3, a
Let g(w) = w**2 - 9*w - 14. Let h be g(10). Sort -2/7, h, 5.
h, -2/7, 5
Let n be (-84)/15 + (-2)/5. Let m(y) = y + 5. Let w be m(n). Sort w, 1/4, -4.
-4, w, 1/4
Let c be (-3)/(((-3)/3)/(-1)). Let m be ((-26)/(-6))/((-2)/6). Let t = 9 + m. Put c, -2, t in descending order.
-2, c, t
Let n = -48.5 - -52.49. Let k = 0.01 + n. Sort -3, k, -0.1 in descending order.
k, -0.1, -3
Let r = -17.5 - -3.5. Let c = -14.5 - r. Sort 5, 2, c in descending order.
5, 2, c
Let f(r) = r**2 - 6*r + 3. Let j be f(4). Let x = 68 - 66. Sort -1, x, j.
j, -1, x
Let a = -8.8 - -0.8. Let m = -110 + 102. Let s = a - m. Put -0.3, s, 3 in descending order.
3, s, -0.3
Let j = 13 + -64/5. Put j, -1, 3, 5 in decreasing order.
5, 3, j, -1
Suppose 2*z = 3*a + 9, -a + 0 = -4*z + 3. Let x be (-1)/(-2)*z + 0. Put -2, -3, x in descending order.
x, -2, -3
Let t = 5 + -3. Let l be (12 - 2)/(t/(-4)). Let a be 4/10 - (-4)/l. Put a, -4, -2 in decreasing order.
a, -2, -4
Suppose -15*f + 18*f + 36 = 0. Let h = f - -8. Sort 5, 4, h in descending order.
5, 4, h
Let k = -55.1 + 66. Let o = k + -11. Sort o, 0.2, 1 in increasing order.
o, 0.2, 1
Let s = 1 - -4. Suppose 5*a + 9*c - s = 4*c, 2*a + 3*c - 1 = 0. Suppose 3 = -k - a. Sort k, 2, -3.
k, -3, 2
Let v be 0/(-1) - (-2)/(-24). Let o = 6/5 + -19/20. Sort 1, v, o in ascending order.
v, o, 1
Suppose 2*v + 20 = -2*i, 2*i = -0*v + v - 35. Put 0.5, i, -1 in decreasing order.
0.5, -1, i
Suppose -2*s = -y + 4, -8 = 5*s + 4*y + 2. Let i(k) = -2*k - 3 - k**3 + k**2 + 3*k - 2*k**2. Let z be i(0). Sort z, 4, s in decreasing order.
4, s, z
Let l(n) = -n + 5. Suppose 0 = -4*s + 3*s + 16. Suppose i - s = -i. Let o be l(i). Sort o, -4, 0.
-4, o, 0
Let a(r) = -r**3 + 14*r**2 + 16*r - 8. Let k be a(15). Put -1, 4, k in descending order.
k, 4, -1
Let u = 1274.868 - 1272. Let n = u - -0.172. Let w = n - 0.04. Put w, 0, -0.4 in increasing order.
-0.4, 0, w
Let q be (-1)/(-5) - 2/5. Let l = 426 + -426.05. Sort q, l, 0 in descending order.
0, l, q
Let o = 3.985 - -0.015. Sort o, 2/5, 3.
2/5, 3, o
Let u be (8 + -1)*(1 + -2). Let i be (u/7)/(-1 + 0). Suppose -2*p - 4*r = p + 4, -3*p - 2*r = -4. Put 3, i, p in decreasing order.
p, 3, i
Suppose 6 = 4*u - 14. Put -9, -5, -4, u in decreasing order.
u, -4, -5, -9
Suppose -y - 1 = 2*d, -2*y + 6*d - 2*d + 14 = 0. Let v be 4*(8/2 + -5). Put y, v, -5 in descending order.
y, v, -5
Let m = 0.05 + -0.05. Sort -1, 1, m in increasing order.
-1, m, 1
Let n = 0.08 + 3.92. Let b = 0.31 - 0.17. Let i = -4.14 + b. Sort i, n, 0.5.
i, 0.5, n
Let q = 110 + -106. Sort -0.4, 2/9, q in descending order.
q, 2/9, -0.4
Let k(y) = -y - 4. Let p be k(5). Let s = -5 - p. Put -3, s, -5 in ascending order.
-5, -3, s
Let i = -1 - -2. Suppose 20 = -4*y + 9*y. Put y, i, -2 in descending order.
y, i, -2
Let v = -15 - -18. Let j(x) = -x**2 + 1. Let l be j(1). Suppose v*g = -l*g. Put g, 2, 3 in descending order.
3, 2, g
Let d = -6 + 2. Let h = -67 - -61.95. Let l = 0.05 + h. Sort l, -2/5, d in decreasing order.
-2/5, d, l
Let w be (-5)/2*12/(-10). Suppose w*j - 2*j = -3. Put 4, j, -4 in descending order.
4, j, -4
Suppose 0 = -2*j - 0*j + 8, 23 = 3*x + 5*j. Let h = 7 + -7.3. Let c = -0.5 - h. Put x, 3/4, c in decreasing order.
x, 3/4, c
Suppose 0 = -5*r + 27 + 3. Put -4, -1, r in increasing order.
-4, -1, r
Suppose 10 = -2*j + 4*j. Suppose -j*n + n = 4. Sort 6, n, 0 in descending order.
6, 0, n
Let b be (-223)/(-5) + (-6)/(-15). Let c be (b/(-21))/(-1) - 2. Let q = -0.8 - 1.2. Sort q, c, -1/9 in decreasing order.
c, -1/9, q
Let n(k) = k**3 - 12*k**2 + 12*k - 9. Let i be n(11). Let v be (-4 - 0)*54/(-72). Put i, v, 0 in descending order.
v, i, 0
Let t = -8/17 - -38/153. Put 7, -0.5, t in decreasing order.
7, t, -0.5
Let y(n) = -n + 4. Let u be y(2). Suppose -5*t - u*d = 11, 2*t + 0 = 4*d - 14. Let s(p) = -p + 10. Let m be s(5). Sort 3, m, t in decreasing order.
m, 3, t
Let j be 2/(2 + (-14)/6). Suppose 4*f - 14 - 2 = -4*o, -5*o - 15 = 0. Let n = j + f. Put 5, 3, n in descending order.
5, 3, n
Let q = 90 - 899/10. Sort 4/7, q, -1, 0 in increasing order.
-1, 0, q, 4/7
Let l be (1 - 1 - -2) + 6. Suppose -2*i - l = -0*i. Let z = -0.08 - 0.12. Sort z, -5, i in descending order.
z, i, -5
Suppose -2*p + 4*m = -4*p + 26, m - 4 = 0. Let c = -2 - 0. Sort p, c, 4 in descending order.
p, 4, c
Let x(m) = m - 10. Let f be x(6). Let d(g) = g**2 - 15*g + 49. Let z be d(10). Suppose 4*q - 14 = -3*s + 9, s = 4*q - 19. Put q, z, f in descending order.
q, z, f
Suppose 7 + 2 = -3*y. Let q(l) = 3*l**3 - l**2. Let j be q(1). Suppose 0 = j*z + 8, -p + 0 = -z + 1. Put y, p, 3 in ascending order.
p, y, 3
Suppose 0*q - 3*q - 73 = 5*x, -97 = 5*q - 4*x. Let s be -3*(0 - 2/q). Let j = 67/34 - 8/17. Put s, 1/5, j in decreasing order.
j, 1/5, s
Let a = 114 - 799/7. Let o = -41/20 - -9/5. Sort a, o, -2/5 in increasing order.
-2/5, o, a
Let k = -3/2 - 0. Let w = 4 - 7. Put 3, k, w in ascending order.
w, k, 3
Let t(m) = m**2 + 3*m + 4. Let u be t(-3). Suppose u*g - 8 = -2*l - 2*l, 5*l = 4*g - 8. Suppose o = -2*o + 15. Put 4, l, o in ascending order.
l, 4, o
Suppose -2*d + 4*k = -d + 8, 5*k - 3 = 3*d. Suppose 0*r + 20 = -4*r. Sort d, 3, r in decreasing order.
d, 3, r
Suppose -3*u - 4 = -4*u. Sort 2, -4, -5, u in ascending order.
-5, -4, 2, u
Let h be (-12)/(-20)*3/(-9). Put 0.4, h, 7 in ascending order.
h, 0.4, 7
Let g be 1 + -3*(-3)/3. Sort -1, -5, g in decreasing order.
g, -1, -5
Let m = 0.05 + -5.05. Let r = -0.6 - -2.6. Let l = m + r. Sort l, -0.2, 3/4 in decreasing order.
3/4, -0.2, l
Let y be 1*(-6)/15*-5. Suppose 2*r = -y - 6. Sort r, -0.1, 4/9 in increasing order.
r, -0.1, 4/9
Let i = 117 - 115.5. Sort i, 5, 2/9.
2/9, i, 5
Let p be 12/(-8) - ((-21)/(-6) + -2). Put -4, -1, p in decreasing order.
-1, p, -4
Let q = 3.94 - -0.06. Sort 0.5, q, -0.2 in decreasing order.
q, 0.5, -0.2
Let k = 6.7 + -7. Suppose 0 = -3*h - v, 4*h - 3*v + 6*v = 0. Put k, h, -1/4 in descending order.
h, -1/4, k
Let j = -2.2 + 2.3. Sort j, 3, -1/2.
-1/2, j, 3
Suppose -11 + 2 = -4*b - 5*t, 0 = b - t + 9. Sort 0, 5, b in decreasing order.
5, 0, b
Let n = 26 + -24. Suppose n*h - 13 = h. Sort 3, h, -5 in descending order.
h, 3, -5
Suppose -4*v - 2*h = h + 19, -v + 4*h = 0. Put 5, -1, v in ascending order.
v, -1, 5
Let s = 41.5 - 41. Put -6/7, -5, s in decreasing order.
s, -6/7, -5
Suppose -2*o + 8 = -2. Suppose -15 = -3*q - 3*j, -5*q - 3*j + 17 + 6 = 0. Put q, o, 1 in ascending order.
1, q, o
Let d = -125 + 128. Sort -3, -40, -5, d in decreasing order.
d, -3, -