er.
f, -4, -2, 1
Suppose 0*d - 2*d = 0. Put -5, 2, d in increasing order.
-5, d, 2
Let c = 2 - 3. Suppose -2*v - v = 0. Let r be 4/(-2) + 5 + -2. Put r, v, c in ascending order.
c, v, r
Let o = 16.1 - 16. Let c = 856/9 - 95. Sort 2/7, c, o in decreasing order.
2/7, c, o
Let m = 30 - 25. Let t = -2 - -5. Sort -0.5, t, m.
-0.5, t, m
Suppose -2*x + 1 + 5 = 0. Let r = 0.1 - 0.1. Put x, r, -0.5 in ascending order.
-0.5, r, x
Let j be 1 + (-2)/(6/9). Let o(l) be the third derivative of l**6/120 - l**5/12 - l**4/4 + l**3/6 - 2*l**2. Let x be o(6). Sort j, x, 5 in descending order.
5, x, j
Let w = 3.6 - 3.2. Put 0.2, w, -4 in descending order.
w, 0.2, -4
Suppose 12*p - 7*p = 15. Sort p, -7, -2.
-7, -2, p
Suppose 0*z - z - 5*r = 5, -4*z - 2 = 2*r. Let w(x) = -x**2 - x. Let o be w(z). Sort o, 4, -2 in descending order.
4, o, -2
Let o = 0 + -2. Let c = -15 - -12. Sort c, 0, o.
c, o, 0
Let x = -23 - -23. Let u be -1*(x + 3/6). Put -2/5, u, 1 in descending order.
1, -2/5, u
Let f = -3 + 7. Put 2, f, 5 in descending order.
5, f, 2
Let d = 17625/4 + -4433. Let y = 26 + d. Sort -1, 5, y.
-1, y, 5
Let t(n) = -n**2 + 2*n - 1. Let u be t(1). Let x = 6 + -7. Let s = 0 - -4. Put s, u, x in descending order.
s, u, x
Suppose 5*h + 51 = 11. Let u be (-8)/(-2)*(-10)/h. Sort -4, u, 1.
-4, 1, u
Let n = -47/8 - -6. Put 1/4, -1/8, n in descending order.
1/4, n, -1/8
Let i be 2*1/4*-8. Let c = 13 + -8. Suppose 3*m - 3*d + 31 = d, 0 = -c*d + 20. Sort m, i, -1 in decreasing order.
-1, i, m
Let s be 2/5*1/12. Let t = s - 1/5. Put -0.5, -2/5, t in descending order.
t, -2/5, -0.5
Let v(z) = -2*z**3 - 3*z**2 - z - 4. Let t be v(-3). Let p be 4/t - 7/(-39). Sort 0, 3/7, p in ascending order.
0, p, 3/7
Let l = 89.5 - 89. Sort 0.7, 0.2, l in decreasing order.
0.7, l, 0.2
Let p = 6 - 11. Let x be (-55)/(-33) - 22/6. Sort 1, p, x in ascending order.
p, x, 1
Let w be (4 - 2)*10/4. Suppose 3*g + 3 = -3. Let p be (g/(-3))/((-1)/(-3)). Put p, w, 3 in ascending order.
p, 3, w
Let q = -3.97 - 0.03. Let v = -31.3 - -30. Let z = 3.7 - v. Put z, q, 0.4 in descending order.
z, 0.4, q
Let c(z) = -z**2 + 8*z + 4. Let m be c(8). Let d be 58/18 - 4/18. Suppose -d - 1 = m*n. Sort 0.1, n, -5 in descending order.
0.1, n, -5
Let t(j) = 9*j - 49. Let i be t(7). Sort -4, 2, -5, i in decreasing order.
i, 2, -4, -5
Suppose -3*z + 3*w + 5 + 4 = 0, 4*z + 3*w = 19. Suppose -6 = z*g - 2*i, 2 + 0 = -3*g + i. Put -4/7, g, 2/5 in decreasing order.
g, 2/5, -4/7
Let x = 4/5 + 0. Put x, -1/3, 1, 4/3 in increasing order.
-1/3, x, 1, 4/3
Let s = -5 - -3. Suppose 0 = 2*f - 3 + 13. Sort f, s, 4 in ascending order.
f, s, 4
Let u = 2.1 + -12.1. Let m = u - -12. Suppose -11 = -5*i - t, 2*i + 3*t = -7 + 1. Put i, 5, m in ascending order.
m, i, 5
Suppose -8 = -0*i - 2*i. Suppose -4*s - 2*c = -6, c = -s - 3 + i. Let t(a) = a**2 + 9*a + 9. Let o be t(-7). Sort s, o, -3 in decreasing order.
s, -3, o
Suppose 0*r = -r + 3. Let p(i) = -2*i**2 + 5*i - 3. Let n be p(4). Let x be 3/2 - n/(-10). Sort r, -2, x in ascending order.
-2, x, r
Let l = 0.02 + 0.48. Let d = l + -0.9. Let k = -0.4 - d. Put k, 0.3, -5 in ascending order.
-5, k, 0.3
Let k = 3 + 3. Let s = k - 2. Sort s, -1, -5 in decreasing order.
s, -1, -5
Let x = -10249/22 - -1645689/3542. Let o = x + 22/23. Let i = -39 - -34. Sort -3, o, i in descending order.
o, -3, i
Let o = -5.2 - -2.2. Sort 1, -2/13, o in increasing order.
o, -2/13, 1
Let g = 1 + -2. Let d be (-3 + g)*(-2)/(-4). Sort 5, 0, d in increasing order.
d, 0, 5
Let q be 10/35 + 10/14. Sort -7, q, -3, 0 in descending order.
q, 0, -3, -7
Let x = -0.3 + 0.1. Let z = x + 1.2. Let p = 0 - z. Sort p, 4, 2/15 in increasing order.
p, 2/15, 4
Suppose 5*v + 67 - 22 = -2*x, -v = -5*x + 36. Let k = 7 + v. Let r be (4/16)/(1/4). Put r, 5, k in decreasing order.
5, r, k
Suppose -2*i - 1 - 1 = 0. Put -3/4, i, -0.3 in descending order.
-0.3, -3/4, i
Let g = 64.06 + -67. Let w = g - 0.06. Let q = 1.7 + 0.3. Sort -0.4, w, q in ascending order.
w, -0.4, q
Let d = -372374/217 - -1716. Let j = 643/868 - d. Put -2/5, 0, j in descending order.
j, 0, -2/5
Let k = -47 - -49. Put k, -1/4, 0.4, -2/13 in descending order.
k, 0.4, -2/13, -1/4
Suppose -5 = -5*h - 30. Suppose 4*t + 3*k = 10 - 2, 3*t - 3*k = -15. Sort -3, t, h.
h, -3, t
Let t(x) = x**2 - 7*x - 3. Let k be t(6). Let r be (2/3)/((-3)/k). Suppose 0 = -4*v + 2*v + 2. Sort v, r, -2 in descending order.
r, v, -2
Let s = 0.64 - 0.7. Let h = s + -0.44. Put 1/3, 3, h in decreasing order.
3, 1/3, h
Let z be 1 + (-9)/(36/(-56)). Suppose l = 2*u - z, -5*u + l = -4*u - 6. Put -5, -1, u in decreasing order.
u, -1, -5
Let y be ((-11)/(-4))/(5/(-20)). Let f = y + 11. Let j(v) = -v**3 + 5*v**2 + 6*v - 2. Let z be j(6). Sort z, 3, f in ascending order.
z, f, 3
Let k = 4 + 0. Suppose -4*r = 5*g - 2*g + 29, 4*g = 2*r - 2. Let p = r + k. Sort p, -4, 0 in increasing order.
-4, p, 0
Let h be 5 + 0 + 1 + 6/(-3). Put -1, 1, h in decreasing order.
h, 1, -1
Suppose 8*l - 12*l = 0. Put l, 28, 2 in decreasing order.
28, 2, l
Suppose -5*f + 14 = -11. Let d = f - 6. Put d, -3, 1 in increasing order.
-3, d, 1
Let s = 1 - 6. Let v = s + 2. Put v, 2, -0.4 in descending order.
2, -0.4, v
Let q be (6 + -1)*(1 - 0). Let d = 7 - 12. Let i(m) = -m**3 + 6*m**2 - 6*m + 3. Let a be i(5). Put q, d, a in decreasing order.
q, a, d
Let v be -3 - (-5)/(-25)*5. Let m be (16/(-10))/(6/(-15)). Sort m, -1, v in increasing order.
v, -1, m
Let c(a) = -4 - 3 + a - 3*a. Let r be c(-5). Suppose -2*g = r*u - 7, -u + 4*g = -11 + 4. Sort u, -4, -3.
-4, -3, u
Let q be (-16)/56 + 9/7. Suppose 0 = -4*i + 5*i + q. Let x be i - (3 - 6) - -1. Sort 0, x, -3 in decreasing order.
x, 0, -3
Let v be -3*(-1)/(-3)*-1. Suppose h - 2*q = 3, 3*h = q - 0 - v. Put h, -2, -8 in increasing order.
-8, -2, h
Suppose -2*o + o = -4. Suppose -3*a = -12 - 3. Suppose a*s - 3*s = -8. Put o, 2, s in decreasing order.
o, 2, s
Let z be (-6)/(-33) - (-70)/(-22) - -1. Sort -3/13, 4, z.
z, -3/13, 4
Let c be (-3)/(-5) - (-2)/5. Let l be 6/24*c/(-26). Let t = l + -305/728. Sort -1/4, t, -5 in decreasing order.
-1/4, t, -5
Let d = -67 - -137/2. Let k = 2 + 0. Put k, 5, d in descending order.
5, k, d
Let r = 0 - 1. Suppose 4 = i, 0 = -2*o - i - i + 18. Suppose -2*u - 3 = 2*u + 3*w, 4*u - 2 = 2*w. Sort o, u, r in descending order.
o, u, r
Let c = -1/206 + -179/5562. Put 4/3, 1/3, c, -0.1 in descending order.
4/3, 1/3, c, -0.1
Let n = 9 - 46/5. Put n, -4, -2/19 in descending order.
-2/19, n, -4
Let u = 0 - -4. Suppose -u*l + 1 + 3 = 0. Sort 4, l, 2 in increasing order.
l, 2, 4
Let a = -310/11 + 28. Let w be 2/7 - 864/3122. Let k = 673/446 - w. Sort a, k, 0.2 in increasing order.
a, 0.2, k
Suppose 0 = -4*z + s + 58, 5*z + 5*s - 80 = -20. Let i be (2 + z/(-4))*2. Suppose 5*a + 3*c = 2 - 6, 2*a - 6 = -5*c. Sort i, -1, a in increasing order.
i, a, -1
Let z(s) = s**2 - 10*s - 2. Let p be z(10). Sort 6, 1, p.
p, 1, 6
Suppose -3*k - 3*w + 20 = w, k + 25 = 5*w. Put 0.1, k, 0.03 in decreasing order.
0.1, 0.03, k
Let i(x) = 9*x - 17. Let a be i(2). Sort 0, a, -2/19, 3 in ascending order.
-2/19, 0, a, 3
Let o(x) = -x**2 - 4*x - 4. Let t be o(-11). Let b = 571/7 + t. Put b, -0.1, -5 in ascending order.
-5, -0.1, b
Let m = 3 + -3.5. Suppose 8*d - 12 = -4*r + 5*d, -4*r + 2*d + 12 = 0. Suppose 0 = 5*k - 15, -3*k + 19 = -r*y + y. Put m, y, -5/2 in increasing order.
y, -5/2, m
Let y(m) = m - 6. Let n be y(8). Put n, 1, -3 in increasing order.
-3, 1, n
Suppose 8*r = -0*r + 24. Sort -24, -2, r in descending order.
r, -2, -24
Let s be (-1)/(-2) - 1/2. Let m(t) = t - 7. Let h be m(10). Let a(v) = v**3 - 7*v**2 - 8*v + 5. Let o be a(8). Sort o, h, s.
s, h, o
Let k = -104 + 413/4. Let f(v) = v**2 - 11*v + 10. Let t be f(10). Put 2, k, t in decreasing order.
2, t, k
Let u(s) = -s**3 + 6*s**2 - 8*s. Let n be u(4). Sort -5, 2, n, -3 in decreasing order.
2, n, -3, -5
Let x = -0.12 - 18.88. Put 0, x, -4 in decreasing order.
0, -4, x
Let p = 40 + -45. Put 3, p, -1 in descending order.
3, -1, p
Let o(q) = -q**2 + 6*q + 11. Let y be o(8). Put 0, 1, y in ascending order.
y, 0, 1
Suppose -3*k = 4*g + 3, g + 3*k + 3 = -0*g. Suppose -j + 1 + 0 = 0. Let x = j + -4. Sort 1, g, x in increasing order.
x, g, 1
Let m be (4/(-5))/(1 - 0). Suppose -4*g = 2*q + 14, 4*g = -3*q + 1 - 14. Let f be ((-3)/(-6) - 1)*q