der.
-0.1, -0.2, -1, c
Suppose 4 = z - 5. Let o = -5 + z. Suppose -5*b + 2*u + 15 = 0, 6*u = -o*b + 3*u + 12. Put -3, 1/11, b in decreasing order.
b, 1/11, -3
Suppose 5*c + 8 = 7*c. Suppose -3*q - 5*g = -66 + 21, 5*q + g - 53 = 0. Suppose -3*n = -n + q. Sort 3, c, n in decreasing order.
c, 3, n
Let h = 25 + -26.1. Let q = 0.6 + h. Sort -4, q, 1/3.
-4, q, 1/3
Suppose 18*n - 12 = 21*n. Sort n, -5, 0 in decreasing order.
0, n, -5
Let g = 3.2 + -3. Let d = 1.6 - g. Let s = -0.6 - d. Sort 5, s, 3 in descending order.
5, 3, s
Let q be (-21)/18*8/(-14). Sort q, 2, -2.
-2, q, 2
Let m(y) = -y**3 - 8*y**2 - 7*y - 5. Suppose 0*j - 21 = 3*j. Let x be m(j). Let b be (-10)/(-25) - (-7)/x. Put -2, b, -5 in descending order.
b, -2, -5
Let r(n) = -n + 5. Let g be ((-3)/3 - 1) + 6. Let i be r(g). Let u = -1 - 1. Put 0, u, i in ascending order.
u, 0, i
Suppose 6*z = 2*z. Let b be 0/(1*(4 + -2)). Suppose 5*o = 15 - b. Sort o, z, 4 in decreasing order.
4, o, z
Let y = 10 + -9. Sort y, 4, -5 in decreasing order.
4, y, -5
Let c = -5 - -3. Let f be (9 + -3)/((-6)/(-4)). Put c, -3, f in ascending order.
-3, c, f
Let u(j) = j**2 - 6*j - 9. Let f be u(8). Let w = -2 + f. Sort w, -5, 2.
-5, 2, w
Let h(p) = -p**3 - 5*p**2 - 7*p - 4. Let f be h(-4). Let s = -1 - -10. Let g = s - f. Put g, 5, -2 in descending order.
5, g, -2
Let i(r) = -r**2 - 3*r + 1. Let h be i(-3). Let j be 9/(h + 2) - 7. Let y = 7 - 4. Sort -2, j, y in descending order.
y, -2, j
Let p = -27.1 + 27. Put p, -2, -3, 2 in decreasing order.
2, p, -2, -3
Let j = 0.53 - -1.47. Let n = -2.8 + -0.2. Put n, j, 0.5 in ascending order.
n, 0.5, j
Let x = -0.48 - -0.59. Sort -5, x, -1 in decreasing order.
x, -1, -5
Let j = 7 - -5. Let y = j - 14.7. Let w = y + 3. Sort w, -0.1, -2/5.
-2/5, -0.1, w
Let j = 5 + -1. Let d = j - 2. Suppose 0*m = 4*m - 16. Put 0.2, m, d in decreasing order.
m, d, 0.2
Let d = 0.8 + -0.3. Put d, -0.11, -2 in ascending order.
-2, -0.11, d
Let i = 15 - 12. Let g be 6/8 - 129/12. Sort 1, i, g.
g, 1, i
Let a be 8/(-3) - -2 - 0. Suppose -2*g = o + 8, 2*g + 2*g - 8 = 4*o. Let q be g - (2 + -1 + 1). Put q, a, 4 in decreasing order.
4, a, q
Let w be (-1)/(2 + (-35)/15). Let k = 0 - 0.5. Sort k, 0, w in ascending order.
k, 0, w
Suppose 2*c + 4*s - 4 = -2, 5*c + 2*s + 19 = 0. Let g = 16 - 17. Suppose 3*y - 5 = -2. Sort y, c, g.
c, g, y
Let z(r) = 2*r**2 - 9*r + 4. Let h be z(4). Let o(u) = -6*u + 1. Let m be o(1). Put h, 5, m in increasing order.
m, h, 5
Let y be 8/(-5) + 21/35. Sort 3, -3, y, 2.
-3, y, 2, 3
Let t(b) = -2*b - 11. Let p be t(-6). Let g = -2 - -5. Suppose g*m - 2*k - 10 = 0, 14 - 4 = 4*m - k. Sort p, 0, m in increasing order.
0, p, m
Suppose 0 = 6*n - n. Suppose 2*m - m + 6 = 0. Let t be -1*(2/m + 0). Sort n, -0.1, t in increasing order.
-0.1, n, t
Let a(n) = -3*n + 58. Let i be a(21). Sort -1, 0, -3, i.
i, -3, -1, 0
Let d = 0.2 - 2.2. Let q = -4.09 + -0.01. Let t = 4 + q. Put 4, t, d in decreasing order.
4, t, d
Let f = -27.5 - -27. Put f, -2/5, 5/4 in descending order.
5/4, -2/5, f
Let t = 0.3 - 0. Let p be ((-2)/(-1 - 1))/1. Suppose 2 = h - 2. Sort p, t, h in descending order.
h, p, t
Let w = -0.31 + 0.3. Let y = -0.31 - w. Let i = 207/448 - -7/64. Sort y, i, 3 in ascending order.
y, i, 3
Let q = -47/33 - -12/11. Let l = -8 - -11. Let j be (-1)/4 - l/6. Put j, 2/5, q in ascending order.
j, q, 2/5
Suppose 6*z + 9 = 3*z. Let j(c) be the first derivative of -c**4/4 - 10*c**3/3 + c**2/2 + 11*c - 1. Let p be j(-10). Put z, p, -4 in increasing order.
-4, z, p
Let l be (-40)/(-15) - 4/6. Let x = -25 + 24. Sort 3, l, x in descending order.
3, l, x
Let p = -5 + 3. Sort 5, 10, p in decreasing order.
10, 5, p
Suppose 3*k = -4*x - x + 19, 5*x - 22 = -4*k. Let g be 3 - (k - (-16)/(-28)). Sort g, 3, -3 in descending order.
3, g, -3
Let j(b) = -b**3 - 5*b**2 - 4. Let y be j(-5). Let k(l) = -2*l**3 + l**2 - 2*l + 1. Let a be k(1). Let g = y - a. Sort 4, g, 3.
g, 3, 4
Suppose -4 = 2*a + 3*j, -2*j - 8 = 3*a + 3. Put 5, a, -4 in ascending order.
a, -4, 5
Let f = 37 + -32. Sort -4, -2, 4, f in descending order.
f, 4, -2, -4
Let x be 1/(3 + 7/(-2)). Suppose 0*w - w = 0. Suppose -3*l = -w - 3. Sort l, x, -5 in decreasing order.
l, x, -5
Let z be 8/(-10)*(-1)/(-6). Let g = -1/30 + z. Sort 1, 0.4, g in increasing order.
g, 0.4, 1
Let o(d) = -d**3 - 10*d**2 - 9*d + 4. Let n be o(-9). Suppose -u + 6*u + 5*f = 80, 0 = 4*f + 8. Sort u, n, -3.
-3, n, u
Suppose 4*m + 4 = -0*m. Let z be (-5)/5*(-5 - 0). Sort z, 3, m in descending order.
z, 3, m
Suppose -14*i + 13*i + 3 = 0. Sort 1, i, -16 in descending order.
i, 1, -16
Suppose x + 5 = 6*x. Let b = 48 - 31. Suppose -2*c - 8 = -2*o, o = -4*c + 4*o - b. Sort c, x, -2 in ascending order.
c, -2, x
Suppose -5*y + 3*c - 23 = c, 11 = 3*y + 5*c. Sort y, -1, -6, 5.
-6, y, -1, 5
Suppose -1 = -4*v + 3. Let f(z) = -z + 8. Let j be f(12). Put v, j, -5 in decreasing order.
v, j, -5
Let m(d) = -2*d + 10. Let z be m(7). Put 3, z, 16 in ascending order.
z, 3, 16
Suppose -16 = -2*g - 4*a, -5*a + 0*a + 7 = -4*g. Let x be (-3 - -1) + g + 3. Sort 1, -2, x.
-2, 1, x
Suppose 0*m - 2*m = 2*q - 6, q + 9 = 3*m. Put 4, q, -4 in ascending order.
-4, q, 4
Let s(t) = t + 2. Let z be s(2). Put -8, -2, z in increasing order.
-8, -2, z
Let n be -1 + (56/30 - 1). Let g = 1 + 2. Let i be (1*-1)/(g + -2). Sort -4, n, i.
-4, i, n
Let k = 0.02 + 0.01. Let j = k + -4.03. Let o be (-1)/(-1) - 7/9. Sort -1/7, j, o in increasing order.
j, -1/7, o
Let n = -99 + 1285/13. Let b = 18 - 17.9. Sort b, n, -5 in decreasing order.
b, n, -5
Let s be 2/10*2*5. Let l = -3 + 2. Let z = s - l. Put -2, z, 2 in increasing order.
-2, 2, z
Let g = -469/30 - -95/6. Suppose -1 = 3*r - l, 4*r + l - 5*l = -4. Let t = 0.6 - -1.4. Put g, r, t in descending order.
t, g, r
Suppose -5*u = -3 + 13. Let c = 1 - -2. Suppose 4*s + 0*y = c*y + 9, s + 3*y = 6. Put 2, s, u in ascending order.
u, 2, s
Let q(v) = -v**2 + 3*v + 2. Let o be q(3). Let g = -12 + 8. Sort g, o, 1.
g, 1, o
Let b(z) = z + 15. Let j be b(-10). Sort -1, 35, j in ascending order.
-1, j, 35
Let v(i) = 2 - i - 1 - 3*i + i**3 + i**2. Let n be v(-3). Suppose -4*c + 4 = 4*s, 5*c - 21 - 8 = s. Sort -4, n, c in ascending order.
n, -4, c
Let u = 7 - 6. Let n = -1 + u. Put 4, n, -5 in increasing order.
-5, n, 4
Suppose 0*h + 5*h - x = 0, 0 = -h - 4*x. Sort -4, 0.2, h, 3 in increasing order.
-4, h, 0.2, 3
Suppose r = 4*n + 3 + 1, 3*r - 5*n - 12 = 0. Suppose -r*x + 6*x = 2. Let v = 3 - 4. Put x, -3, v in ascending order.
-3, v, x
Let g = 631 - 7577/12. Let c = g + 2/3. Sort 2/9, 2, c in decreasing order.
2, c, 2/9
Let q = -25 - -25.3. Put q, 1/3, 1 in decreasing order.
1, 1/3, q
Let d(i) = -9*i + 4. Let q be d(1). Sort q, -2, 4 in decreasing order.
4, -2, q
Let l = -7 - -3. Let u = 4.2 + l. Suppose 3*a + 4*m = -17, -2*m - 10 = 5*a + 9. Sort a, u, -1.
a, -1, u
Let a be (-138)/(-8) + 2/(-8). Suppose -4*r - f = a, 3*r = -0*f + f - 11. Sort 5, 4, r in ascending order.
r, 4, 5
Suppose 3*f = -0*z + 2*z + 2, -3*f - 3*z = 3. Let d be f/(-1)*(-4)/12. Suppose d*p = -p. Put p, -5, 3 in decreasing order.
3, p, -5
Let f(k) = -k**3 + 9*k**2 + k - 5. Let c(j) = 4*j + 1. Let i be c(2). Let v be f(i). Sort v, 2, 0 in decreasing order.
v, 2, 0
Suppose -3*w = 2*x - 7, 4*x - w = x + 5. Put 1, x, 7 in descending order.
7, x, 1
Let p = -0.124 - 2.926. Let k = 0.05 + 0. Let j = p + k. Sort 4, j, 2.
j, 2, 4
Let u = -6.7 + 5.5. Put -1, u, 3 in decreasing order.
3, -1, u
Suppose 5*k = -25, -3*k - 19 = -4*o + 3*o. Let g be 18/(-8)*28/(-21). Sort g, o, -2.
-2, g, o
Let k = -0.7 - -3.7. Put -1, -2, k in descending order.
k, -1, -2
Let y(x) = x**3 - 2*x**2 + x - 8. Let m be y(3). Let q = -1 + 13. Put q, -2, m in increasing order.
-2, m, q
Let q = -42 + 38.7. Let a = -3 - q. Sort a, 1/2, 0.2.
0.2, a, 1/2
Let c be -3 + (0 - (5 - 1)). Put c, 2, -1 in descending order.
2, -1, c
Suppose -2*v + 2 - 3 = -d, d + 2*v - 1 = 0. Let l = -5 + d. Let m = 5 - 7. Put l, m, 3 in increasing order.
l, m, 3
Let g(n) = -n**3 - 2*n**2 + 2*n + 1. Let u be g(-3). Suppose u*m - 5*a = 17, 0 = -5*m - 3*a + a + 13. Let h = 7 - 10. Put -0.2, h, m in descending order.
m, -0.2, h
Let v = 3/2 + -17/10. Put 5, 2/7, v in ascending order.
v, 2/7, 5
Let y(h) = h**2 - 4*h + 1. Let j be y(3). Let b be (5/(-2))/((-1)/(-2)). Put j, -3, b in as