der.
f, w, 0.1
Let w = 2.45 - 0.05. Let o = -0.4 + w. Sort o, -1/6, -0.1.
-1/6, -0.1, o
Let x = 57.6 + -58. Let q = -0.34 + 0.04. Put q, x, -5 in decreasing order.
q, x, -5
Suppose 0 = -m - 4*m. Let q(y) = y - 4. Let v be q(5). Sort m, v, -5 in decreasing order.
v, m, -5
Let a be (20 - 0)*(-2)/(-8). Suppose q = 6*q + a. Let h be 1 - (2 - 9/5). Sort q, h, 0.5 in ascending order.
q, 0.5, h
Suppose -11*z - z - 24 = 0. Put -3, z, 0 in decreasing order.
0, z, -3
Let l = -5 + 7. Let w(f) = 3*f - 1. Let r be w(l). Put 0.3, -4, r in increasing order.
-4, 0.3, r
Let h(f) = f**2 + 2*f - 5. Suppose -3*z - 4 = -2*z. Let r be h(z). Suppose 2*q = r*q. Put -6, q, -2 in ascending order.
-6, -2, q
Let j = 34 + -30. Put -2, -1, j in decreasing order.
j, -1, -2
Suppose -2*p - 26 = -18. Suppose 5*i = -3*s + 3, 5*i - 4*s = 3*i - 4. Put i, p, 4 in descending order.
4, i, p
Let h be (-29)/(-19) + (3 - 5). Let n = h + -1/38. Put 2, n, 5 in decreasing order.
5, 2, n
Suppose -9 = 5*d + 6. Put d, -1, 4 in decreasing order.
4, -1, d
Suppose 0 = 6*p - 9*p + 15. Sort -8, p, 2 in ascending order.
-8, 2, p
Let i = 19 + -19. Let f(u) = u**2 + 2*u - 4. Let l be f(-6). Suppose 3*p + 2 = 4*n - 3, 0 = -5*p + n + l. Sort p, i, -4 in decreasing order.
p, i, -4
Let y = -7 - -3. Let p = 1 - -2. Let s = 2 - 2.1. Sort y, s, p in ascending order.
y, s, p
Suppose -2*a = -6*a + 44. Suppose -5 = 2*o - a. Put -3, o, 1 in increasing order.
-3, 1, o
Suppose -7*m + 12*m = -5. Let c(t) = -t - 10. Let g be c(-7). Sort m, 5, g.
g, m, 5
Let q(m) = m**3 + 4*m**2 + 3*m. Let y be q(-2). Suppose -4*h - 28 = -12. Put y, h, 0.4 in decreasing order.
y, 0.4, h
Let s(w) = w**3 + 12*w**2 - 26*w + 32. Let l be s(-14). Put 6, l, 0 in descending order.
6, l, 0
Let u = 0.56 + -0.46. Put u, -1/2, 4, -1/3 in increasing order.
-1/2, -1/3, u, 4
Let q = 0.02 + -2.02. Let w = 1.5 + q. Suppose 0 = 5*b - 3*d + 14, 5*b = -0*b - 4*d - 28. Put b, -1/6, w in descending order.
-1/6, w, b
Let z be 4/(-2 - (-2 + 1)). Suppose 0 = -3*m + o - 2, 1 = o + 5. Put z, m, 0 in ascending order.
z, m, 0
Suppose -13 = d - 4*v - 40, v + 5 = 0. Suppose 0 = u + 3*c + 12, -4*c = 23 - d. Sort 1, 2, u in increasing order.
u, 1, 2
Let s(c) = -2*c**3 - c**2 - c. Let g be s(-1). Let p = g + -7. Sort 5, p, -1 in ascending order.
p, -1, 5
Let r(u) = -u**3 + 7*u**2 + 8*u + 3. Let l be r(8). Suppose -l*y - 12 = 4*v, 0*v - 4*v - 4*y = 16. Sort -2, v, 11 in ascending order.
-2, v, 11
Let s = -0.5 - 0.5. Let c be 3/(-2)*(-8)/(-30). Sort c, s, 1 in decreasing order.
1, c, s
Let x(c) = c**3 - 3*c**2 - 1. Let d be x(3). Let w(a) = 3*a**3 - a**2 - a. Let n be w(d). Sort -2, n, 4.
n, -2, 4
Let y = -31/3 - -10. Sort y, 4, 2 in ascending order.
y, 2, 4
Let q(p) = -p**2 - 4*p - 5. Let x be q(-4). Let w(g) = g**3 + 15*g**2 - 17*g - 11. Let j be w(-16). Sort 3, x, j.
x, 3, j
Let a = 11 + -11.9. Let f = 0.6 + a. Let l = -5/17 - -59/85. Sort l, f, 3 in descending order.
3, l, f
Let d = -137/4 - -34. Sort -0.3, d, -0.4, 2/5 in increasing order.
-0.4, -0.3, d, 2/5
Let a = 146 + -135. Put -1, 4, 4/7, a in decreasing order.
a, 4, 4/7, -1
Let k = 9 + -12. Let t = 4 + -8. Put t, k, 1 in increasing order.
t, k, 1
Let g = 2 + -1. Suppose 1 = o - g. Put 3, o, -4 in ascending order.
-4, o, 3
Let m = 18 + 12. Let k = -22 + m. Sort 3, k, -5 in ascending order.
-5, 3, k
Let o(w) = -w**3 + 6*w**2 - 5*w - 4. Let z be o(5). Let p be (-36)/48 - (-6)/8. Put p, -1, z in decreasing order.
p, -1, z
Let f = -0.05 - 2.91. Let g = 0.04 - f. Let p = -8 + g. Put 0.5, -0.1, p in decreasing order.
0.5, -0.1, p
Let i = 1 - 2. Let p = i - -6. Put 0, p, 0.5 in descending order.
p, 0.5, 0
Let x = -781/10 + 78. Sort 4, -3/7, 0.4, x in decreasing order.
4, 0.4, x, -3/7
Let n = 5 - 1. Let s = 0.96 - -3.14. Let q = n - s. Sort 1, q, 5/3 in descending order.
5/3, 1, q
Let o(c) = -c**2 + 8*c. Suppose -5*a - 5*h + 14 = -1, 5*a - 35 = -h. Let b be o(a). Sort 1, -5, b in increasing order.
-5, b, 1
Let c(q) = q**2 - 3*q + 7. Let a be c(6). Suppose 3*b - 23 = 4*u, -4*u - u = -3*b + a. Put 2, 5, u in ascending order.
u, 2, 5
Let y = -5.3 + 0.3. Suppose -5*h + h = 20, 0 = 5*l + h + 50. Let d be (-22)/l + (-4)/2. Sort -0.4, d, y in decreasing order.
d, -0.4, y
Let o = -2.4 + 1.2. Let f = o - -0.2. Let w = -0.1 + 0. Sort w, f, 0.4 in descending order.
0.4, w, f
Let x = 1.83 - -0.17. Let c = 3 + -3.3. Put -5, c, x in descending order.
x, c, -5
Let n(t) = 3*t + 4. Let l be n(-5). Let c = l + 16. Let i = -16 + 11. Put c, i, 0 in descending order.
c, 0, i
Let i = 122/63 + -20/9. Let f = -41 + 45.6. Let s = 5 - f. Put s, i, -0.2 in decreasing order.
s, -0.2, i
Suppose 2*o = -2*j + 12, 0*o + 18 = 2*j + 4*o. Put 1, j, 5 in descending order.
5, j, 1
Suppose 7 = -x + c, 0 = x + c + 2*c - 5. Suppose 0 = -2*i - 13 + 9. Let f = 7 - 4. Put i, x, f in descending order.
f, i, x
Suppose z + 3*z = 8. Suppose 4*w + 31 = 5*s, -2*s - 4 - 2 = 3*w. Put z, w, 3 in decreasing order.
3, z, w
Let k(x) = 2*x**2 + 10*x - 5. Let a be k(-5). Sort -3, a, 6 in descending order.
6, -3, a
Let m(r) = 5*r - 12. Let w be m(2). Let a = -0.4 + 0. Put -1, w, a in ascending order.
w, -1, a
Let g be (-4)/(-10)*-9 + 4. Let y = 0.3 + 0.2. Sort y, -5, g in decreasing order.
y, g, -5
Let i = 13 - 10. Sort i, -1, 5 in descending order.
5, i, -1
Suppose 4 = 2*j - 4*k - 0, 4*j + 28 = -4*k. Let r = j - -14/3. Put r, 0.5, -1 in decreasing order.
r, 0.5, -1
Let v be 4/(-26) - (-240)/39. Suppose v*k - 20 = 2*k. Sort 4, -8, k.
-8, 4, k
Let f be (-4)/(-6) - (-48)/(-72). Put 1, 14, f in descending order.
14, 1, f
Let f(q) = q**3 - q + 4. Let y be f(0). Let t(z) = z + 6. Let l be t(10). Let k be ((-2)/8)/((-4)/l). Sort 3, k, y in decreasing order.
y, 3, k
Let b = 1.7 + -5.7. Sort b, -5, -1/7, -0.1.
-5, b, -1/7, -0.1
Suppose 0 = -3*y + o + 7, y - 3*o + 3 = -2*y. Suppose 10 = y*s - 10. Let p = 3 - 7. Put s, p, 1 in ascending order.
p, 1, s
Suppose 18*x = 19*x. Let n be (1*-1)/(2/4). Put x, 6, n in descending order.
6, x, n
Suppose 3 = -3*a + 3*m, 4*m - 9 = 7. Put 5, a, -1, 4 in descending order.
5, 4, a, -1
Let m(k) = 4*k**2 - 2 - 5*k**3 + 4*k**3 + 6*k - 2. Let z be m(5). Put z, 0, 3 in increasing order.
0, z, 3
Let o = -0.3 + -3.7. Put o, 2/7, 2 in ascending order.
o, 2/7, 2
Suppose -2*r - y + 21 = 2*y, 3*r + 2*y = 19. Suppose 3 + 3 = -2*p. Let t = 5 + p. Put -4, r, t in decreasing order.
r, t, -4
Let t = -1 - -0.92. Let l = t - 0.02. Let n = -0.03 + -4.97. Put l, n, 3/7 in decreasing order.
3/7, l, n
Suppose 8 = 2*x - 0*x. Suppose 0 = -3*q - x - 5. Let t = -2.05 - -0.05. Sort q, t, -0.2 in descending order.
-0.2, t, q
Suppose -3*w - n = -1, -2*w - 2*n - 4 = -6*n. Let l be (w/1)/(-2) + -2. Sort 0, l, -4 in increasing order.
-4, l, 0
Let h(k) = -k**3 + 7*k**2 + 5. Let u be h(7). Put -12, 1, u in increasing order.
-12, 1, u
Let g(l) = -l**2 - l - 11. Let h be g(0). Let t be (-57)/h + 2/(-11). Suppose 0 = -5*w + 2*p - 21, 7*w - t*p + 24 = 4*w. Sort -5, -4, w.
-5, -4, w
Let a = -9 - -14. Let h be (1/a)/((-1)/(-2)). Put h, -0.5, 7 in descending order.
7, h, -0.5
Suppose -5*c = -4*o - o - 40, 5*o + 5 = -2*c. Let f(d) = 3*d**2 - 4*d**2 + 2*d**2 + 1 - 8*d + 1. Let a be f(7). Put c, a, -1 in descending order.
c, -1, a
Let r(l) = -2*l**2 + 4*l - 2. Let q be r(2). Let f(n) = 2*n**2 + 2*n - 1. Let i be f(-2). Put i, q, 0 in increasing order.
q, 0, i
Let u = 0.8 + 8.2. Let h = 6 - u. Let n = -0.068 - -0.568. Put 0.2, h, n in ascending order.
h, 0.2, n
Let g(v) = v**3 - 8*v**2 + 5*v + 10. Let t be g(7). Put t, 5, 3 in increasing order.
t, 3, 5
Suppose -q = -2*q + 9. Suppose 0*p - q = d - p, 4*d + 4*p + 4 = 0. Let o = -9 - d. Sort -5, 1, o in ascending order.
-5, o, 1
Let o = 2 + -1.5. Suppose -5*b - 3 = -4*b. Let i be b/(-2)*12/27. Sort i, 0, o in ascending order.
0, o, i
Let c = 166 + -167. Let f(h) = 3*h. Let r be f(1). Put 0, c, r in descending order.
r, 0, c
Suppose 2*a + 1 = -1. Let v be (-15)/(-4) - 3/(-12). Sort a, 2, v in decreasing order.
v, 2, a
Let f = -654 - -658. Suppose t = s + 5*t - 7, -3*s - 2*t = -11. Sort 5, f, s in descending order.
5, f, s
Let w = 0.6 - 0. Let j = w - 0.1. Let u = 0.107 - 1.107. Sort j, 3, u in decreasing order.
3, j, u
Let c = 0.14 + -0.14. Put c, 0.1, 0.2 in increasing order.
c, 0.1, 0.2
Let o = -10 - -7. Put 2, o, 9 in ascending order.
o