der.
y, 2/3, l
Let f = 794/5 + -159. Let h = -5.2 - -0.2. Put -4, h, f in decreasing order.
f, -4, h
Suppose 6*b + 5 = b. Put 0, b, -5, -4 in increasing order.
-5, -4, b, 0
Let z(m) = -m**3 + 13*m**2 - 2*m + 16. Let l be z(13). Put 3, l, 0.3 in ascending order.
l, 0.3, 3
Let d be 21/4 + 2/(-8). Let a = -16 - -18.6. Let s = 3.1 - a. Sort d, s, -2 in descending order.
d, s, -2
Suppose -3*h - 3 = -15, 5*k = h + 21. Suppose -4*c + 4*d = d + 24, -k*c = -3*d + 27. Let g = 161/6 - 1759/66. Sort g, 1/3, c.
c, g, 1/3
Let d be ((-12)/4)/((-3)/4). Suppose -2*k = 16 - d. Sort 1, k, -5.
k, -5, 1
Suppose 3*r = 5*n - 3 + 27, 3 = -n. Let l be (10/(-8))/((-2)/8). Sort -4, r, l in decreasing order.
l, r, -4
Let l(k) = 2*k + 6. Let m be l(-6). Let o = -7 - m. Sort -3, o, 3 in ascending order.
-3, o, 3
Let h = 15 - 12. Let m be 10/2 - (0 - 0). Suppose -x + b + 4 = 0, 0*b - 8 = 2*b. Sort x, h, m in ascending order.
x, h, m
Let o(a) = a**2 - 7*a - 5. Let c be o(8). Let l = c - 7. Suppose 3*j - j - 5*m - 19 = 0, -3*j - 4*m - 6 = 0. Put l, j, -3 in increasing order.
l, -3, j
Let b = -19 - -25. Let u be ((-15)/b)/((-5)/10). Put 17, u, 4 in increasing order.
4, u, 17
Let j be (5/(-3))/(((-260)/(-39))/(-20)). Let x(p) = p - 6. Let t be x(6). Put 4, t, j in increasing order.
t, 4, j
Let i(q) = -2*q + 6. Let k be i(5). Let h = -11 - -10. Let f be 4/((-8)/(h*4)). Sort f, -2, k in descending order.
f, -2, k
Suppose -3*l = 5*z - 26, -4*z = 2*l - 3*z - 29. Sort l, 4, -4.
-4, 4, l
Let m = 2 + -1. Let i = m + -2. Let t be i/7*1*1. Put t, 0.5, -4 in decreasing order.
0.5, t, -4
Suppose -5*x = 2*u - 3, 4*x - 3*x + 3 = -4*u. Let b be 4 + 0 + -1 + -1. Sort b, 4, x in decreasing order.
4, b, x
Suppose 36 = -6*a + 30. Sort a, 1/4, -1/4, -3 in increasing order.
-3, a, -1/4, 1/4
Let n be (-3)/(-3) + (2/(-1))/1. Put n, 7/5, -4 in descending order.
7/5, n, -4
Suppose 4 = -3*d - w - 5, 0 = -5*d - w - 17. Let v(f) = -f**2 + f + 2. Let i be v(0). Sort d, 4, i in ascending order.
d, i, 4
Suppose 5*b = 4*b - 3*g + 7, 3*b = 4*g - 31. Put -1, -4, b in decreasing order.
-1, -4, b
Suppose -12 = 2*r - 6. Let f(v) = -2*v**2 + 5*v - 2. Let j be f(3). Sort r, -2, j in increasing order.
j, r, -2
Let g = -0.1 + -0.4. Let d = -6 + 4. Put g, d, 1/6 in descending order.
1/6, g, d
Let j(t) = -t**2 - 3*t + 1. Let f be j(-3). Let i be -3 - (0/2 - f). Let h = -71 - -70. Put 2, h, i in ascending order.
i, h, 2
Suppose -3*z + 4*i = -11, z + 2*z - 2*i = 13. Let t be (-15)/2 + 2/(-4). Let u = t + z. Sort 3, 4, u in descending order.
4, 3, u
Let u = -5.93 + -0.07. Let z = 6 + u. Sort 4, 0.3, z.
z, 0.3, 4
Let c = 6 - 10. Let s be (-6)/8 - (-7)/(-28). Suppose 0 = -2*b - i, 2*b = -b + 5*i + 26. Sort s, c, b in descending order.
b, s, c
Let n = 3 - 8. Let l(g) = -g**3 - 4*g**2 + 7*g + 7. Let m be l(-5). Put n, -1, m in increasing order.
n, m, -1
Let n be (-2)/(-70) + 4/10. Suppose x = -5 + 2. Sort -0.2, x, n.
x, -0.2, n
Let v = 26.6 + -27. Sort 3/11, v, 0.5 in decreasing order.
0.5, 3/11, v
Suppose 4*k + 3*z = -4, 0*z + 16 = -k + 3*z. Put 2, k, 3 in decreasing order.
3, 2, k
Let a = -32 - -28. Put a, -2, -16 in ascending order.
-16, a, -2
Suppose 12 = 2*h - 3*z, 5*z + 16 = 3*h - 3. Suppose -h*n - 7 = 2. Sort n, -1, 2 in decreasing order.
2, -1, n
Let r = -0.2 - -0.1. Let p(s) be the first derivative of -s**2 - 3*s + 1. Let j be p(-4). Sort j, 0, r in descending order.
j, 0, r
Suppose -30 = -4*n + 5*o, 3*o - 4*o + 8 = 2*n. Suppose -5*t = 2*i + 8 + n, i - 2*t - 16 = 0. Sort -4, -3, i in descending order.
i, -3, -4
Suppose 0 = 19*o - 15*o - 3*x + 13, 9 = -3*o + 2*x. Sort 1, -3, o, 0.3 in ascending order.
-3, o, 0.3, 1
Let l = -7 - -8. Let v = l - 0.5. Let r be (-1)/(-2) - (-10)/(-12). Sort -2/9, v, r in decreasing order.
v, -2/9, r
Let i be (-228)/48 - 6/(-8). Put 3, i, -2 in decreasing order.
3, -2, i
Let u = -0.2 + 0.5. Let s = -0.34 + u. Let o = 0.36 - s. Sort -0.4, o, 2 in increasing order.
-0.4, o, 2
Let m = 13.7 + -13. Let y = m - 1. Let c = -0.6 - y. Put 1, c, 0.1 in decreasing order.
1, 0.1, c
Let k be (-15)/6*8/(-70). Let p = -0.959 + -0.041. Sort k, -0.5, p in descending order.
k, -0.5, p
Suppose 5 - 29 = -4*k. Sort 5, k, 0 in increasing order.
0, 5, k
Let s(t) = t**2 + 7*t + 4. Suppose 0*g = 3*g + 21. Let o be s(g). Suppose 5*v + 12 = -f, o*v - 5*v = 2*f - 3. Sort v, -1, -4 in descending order.
-1, v, -4
Let o = -35 - -35. Let x = 2.93 + 0.07. Let w = -3.1 + x. Put o, w, 1 in descending order.
1, o, w
Let i = -2 + 0. Suppose 0 = 3*k - 2*v + 7, -2*k - 5*v - 11 + 0 = 0. Sort k, 5, i in descending order.
5, i, k
Let s = -5 + 3. Let l = s - -3. Sort l, 2, -5.
-5, l, 2
Let d = 3 + -6. Let p(z) = -z**3 + 10*z**2 + 2*z - 13. Let m be p(10). Sort d, m, 5 in decreasing order.
m, 5, d
Suppose -6 = -3*w - 3*c, 0 = -w - 2*c + 7. Let o be 7 + (-8)/24*9. Sort w, o, 2 in decreasing order.
o, 2, w
Suppose -5*d + 4 = -3*d. Suppose -d*b = b + 15. Sort -3, b, 3.
b, -3, 3
Let z be 1*1/(-2)*-8. Suppose -4*w = 5*v + 9, -1 = -v + z*v - 2*w. Put 3, -2/19, v in descending order.
3, -2/19, v
Suppose -1 = 3*x - 2*j, -5*x - 19 = -0*x + j. Let a = 45 + -45.5. Let v be (-8)/(-6) - 1/3. Put v, x, a in descending order.
v, a, x
Suppose -36 = -13*x + 3. Put -3, 6, x in decreasing order.
6, x, -3
Let c be ((-8)/3)/((-8)/12). Suppose 2*k = -2*x + 38, -x - 5*k = -4*x + 73. Suppose c*a = s - x, a + 2*s = -2*s + 16. Put 0, a, 1 in ascending order.
a, 0, 1
Suppose 20 - 4 = -4*a. Sort 5, a, -2 in descending order.
5, -2, a
Suppose 57*i + 8 = 53*i. Suppose -3*b - 4 = 8. Put b, -1, i in decreasing order.
-1, i, b
Let c(t) = t - 5. Let w be c(3). Let h = -22 - -17. Put w, h, -1 in increasing order.
h, w, -1
Let i be 10 - 16 - (1 + 0). Let o = i - -3. Put o, -5, 4 in ascending order.
-5, o, 4
Let x(f) = f**3 - 7*f**2 + 3. Let g be x(7). Suppose l - 5*s + 27 = 0, l - s = -0*s - 7. Let j be l/(3 - 28/12). Put -2, j, g in ascending order.
j, -2, g
Let j = -0.11 + 0.04. Let x = j - 0.01. Let r = x - 0.32. Put 0.4, r, 1 in descending order.
1, 0.4, r
Let o = 7 + -6.7. Suppose -8 = m - 3*h + 2, 0 = -2*m - 4*h + 10. Let z be 2/(-12)*(m - -4). Put z, o, 2/3 in increasing order.
z, o, 2/3
Let z = -9.6 - -2.9. Let t = z - -7. Sort -3/2, t, 2.
-3/2, t, 2
Let s(m) be the first derivative of -m**4/4 - 2*m**3 - 2*m**2 + 5*m + 2. Let v be s(-5). Let d be ((-4)/(-12))/((-2)/(-18)). Sort d, 5, v in ascending order.
v, d, 5
Let m(a) = -a - 8. Let y(r) = r**3 + 4*r**2 + 4*r + 6. Let z be y(-4). Let p be m(z). Put 4, 0, p in decreasing order.
4, p, 0
Let o = -2.9 - -6.6. Let a = 1.3 + o. Put a, 0.4, 0 in decreasing order.
a, 0.4, 0
Let a(f) = -4*f + 17. Let g be a(3). Put 3, g, -7 in decreasing order.
g, 3, -7
Let p = 0.99 + 0.01. Let k be ((-18)/(-10))/((-2)/28). Let j = 902/35 + k. Put p, 4, j in descending order.
4, p, j
Let y = -96.5 + 97. Sort 2, y, -1, -0.1 in ascending order.
-1, -0.1, y, 2
Let x = 65/93 + -1/31. Put -3, 5, x in decreasing order.
5, x, -3
Let o be (-2)/(-12)*(-1 + -1). Suppose -18*g - 5 = -23. Sort g, -5/2, o in increasing order.
-5/2, o, g
Let y = 1.5 - 1.4. Put y, -1/4, 3 in decreasing order.
3, y, -1/4
Let l = -4.4 - 0.65. Let h = -0.05 - l. Let x = -0.14 + 0.34. Put x, h, 0.4 in ascending order.
x, 0.4, h
Let g = 0.1 + -0.4. Let i = 0.03 - 3.03. Let j = 0.13 + 0.07. Put j, g, i in descending order.
j, g, i
Let y = -3 - -3.2. Let t = -6.1 + 5.6. Sort -4, y, t in increasing order.
-4, t, y
Let y(w) = 2*w - 5*w - 5 + w. Let a be y(-7). Let g = -13 + a. Sort 0, g, -1.
g, -1, 0
Let v(o) = -5*o + 22. Let b be v(6). Put b, -5, 3 in descending order.
3, -5, b
Suppose 4*a = 0, -2*a + a = 2*y + 10. Sort -3, 0, y, 5 in decreasing order.
5, 0, -3, y
Let j = -40 - -40.4. Put 0, -1/2, j in increasing order.
-1/2, 0, j
Let l = 15.93 - 16. Let f = l - 0.23. Let p = 70 + -206/3. Sort f, 2/7, p.
f, 2/7, p
Let s(q) = q**3 - 2*q**2 - q + 1. Let y be s(2). Let k(l) = -l - 6. Let b be k(-7). Sort y, b, 0 in decreasing order.
b, 0, y
Suppose -2*y + 3*h - 3 = -y, y + 3*h - 15 = 0. Suppose 22 = -4*f + y. Let u(r) = r**3 + 4*r**2 - r. Let j be u(-4). Sort f, j, 3 in increasing order.
f, 3, j
Let p = 3 + -3. Let l = 3 - p. Let q be (-9)/(-42)*(-4)/(-3). Put q, l, 1 in ascending order.
q, 1, l
Suppose 5*i - i - 24 = 0. Let t = i - 8. Let a be 1 + 4 - (-2)/t. Sort a, -