3, l
Let c(p) be the first derivative of p**3/3 - p**2 + p - 1. Let w be c(1). Put w, -4, -0.4 in increasing order.
-4, -0.4, w
Let s = -18.9 - -19. Sort s, -2, 3 in decreasing order.
3, s, -2
Let m = 9 + -4. Suppose -3*n + 3*o = 6*o + 18, 4*n - o = -4. Put m, 1, n in ascending order.
n, 1, m
Suppose -3*k + 2*q = 17, 3*q + 1 = k + 9. Suppose 14 - 2 = 4*c. Suppose -3*h - c*b = 2*b - 10, -b = 1. Sort 0, k, h.
k, 0, h
Let g(u) = 4*u - 2. Let i(t) = -3*t + 1. Let w(a) = 4*g(a) + 5*i(a). Let x be w(6). Sort -9, x, 5 in decreasing order.
5, x, -9
Let u = -19 - -21. Let i be ((-12)/16*u)/(-3). Sort -5, i, -1 in increasing order.
-5, -1, i
Let l(z) = -z - 3. Let x be l(8). Let s = -9 - x. Sort -1, -2, s in descending order.
s, -1, -2
Let f be (3/(-6))/((-4)/(-32)). Sort 5, f, -2/9, 0.1 in increasing order.
f, -2/9, 0.1, 5
Let a = 1.01 - 5.01. Let n be (-38)/8 + 1/(-4). Let x be (-1)/3*3*n. Sort a, x, -3 in descending order.
x, -3, a
Suppose -10 = -5*z - 0. Let l = -12 + 7. Let b = -5.3 - l. Sort b, 2/13, z in descending order.
z, 2/13, b
Let v(m) be the first derivative of -m**4/4 - 2*m**3/3 + m**2 + m + 1. Let o be v(-3). Sort 6/7, 1/7, o in decreasing order.
o, 6/7, 1/7
Suppose c + 4 + 2 = 0. Let v = c - -11. Let t(i) = i - 8. Let g be t(11). Put g, -4, v in increasing order.
-4, g, v
Let m = -7.1 + 12.1. Sort -1/2, 0.05, 2/3, m.
-1/2, 0.05, 2/3, m
Let j(w) = -3*w - 3 + 5*w**2 + 0*w - w + 0*w**2. Let h be j(4). Let r = h + -306/5. Sort -1/4, r, 0 in descending order.
0, r, -1/4
Let w = -36.2 - -36. Sort -3, w, -2/13, 5 in descending order.
5, -2/13, w, -3
Let o = -6 - -4. Suppose -18*h - 15 = -33. Sort 3, o, h.
o, h, 3
Let k = -67/2 - -33. Put 5, k, -0.2 in ascending order.
k, -0.2, 5
Let p = 0.52 - 0. Let a = -0.08 - p. Let j = 0.4 - a. Sort 1/4, j, -1/7 in descending order.
j, 1/4, -1/7
Let g(a) = -a**2 - 8*a - 2. Let w be g(-7). Suppose -9 = -0*c - 4*c + t, 2 = 3*c + 4*t. Suppose c + 2 = -m. Sort m, w, 1 in descending order.
w, 1, m
Let d = 1/86 - -167/430. Suppose z + 0*z = -4. Sort -0.5, d, z.
z, -0.5, d
Let d = -1 + 2. Let s(k) = -k**2 + k. Let u be s(d). Suppose u*h + 1 = h. Sort -3, -5, h in decreasing order.
h, -3, -5
Suppose j + 18 = -3*y, 3*j + 3 + 6 = 0. Sort -1, 4, y, 19 in ascending order.
y, -1, 4, 19
Suppose 0 = -3*b - b. Suppose -3*a = -6*a - 9. Suppose i - 1 = -3. Put a, i, b in decreasing order.
b, i, a
Let y(q) = -q**3 - 8*q**2 + 9*q + 3. Let t be y(-9). Suppose z + 0*z = 0. Sort t, z, 1.
z, 1, t
Let i(p) = 2*p. Let o be i(-1). Let f = 6 + o. Let z = 26 + -28. Put z, f, 2 in increasing order.
z, 2, f
Suppose -2*x + 4*w + 7 - 27 = 0, -x + w - 10 = 0. Let n be (-10)/3 + 2 - -1. Put -0.5, x, n in decreasing order.
n, -0.5, x
Let y be (2 - (-42)/(-8)) + 6/24. Suppose 0*h = -3*p - 3*h + 18, 0 = 2*p - 2*h. Sort p, y, 2.
y, 2, p
Let u(s) = -s**3 + 10*s**2 + 14*s - 12. Let d be u(11). Let w = 17 - d. Let r be (-2)/7 - 32/(-63). Put 1, w, r in ascending order.
w, r, 1
Let i = -34 + 30.8. Let u = -5 - -2. Let f = i - u. Sort 0.5, f, 3/5.
f, 0.5, 3/5
Let q = -0.8 + 1. Let a(x) = 2*x**3 + x**2 + x. Let n be a(-1). Put n, 4/9, q in ascending order.
n, q, 4/9
Let q = 15 + -13. Put 4, q, 5 in increasing order.
q, 4, 5
Suppose -4*x + 0*x + 12 = 0. Let o = x + -1. Let t = -0.06 + 5.06. Sort -1/4, t, o in ascending order.
-1/4, o, t
Let l = 0.6 + -0.1. Let k be ((-14)/(-21))/(10/374). Let x = -76/3 + k. Put x, 4, l in decreasing order.
4, l, x
Let m = 484 + -489. Let j = 0.07 + 9.93. Sort m, 1/5, j.
m, 1/5, j
Suppose 5*a - 3*a - 10 = 0. Sort -8, 4, a.
-8, 4, a
Suppose -p - 4*a = -13, -9 = -5*a + 1. Suppose -4 = -4*z, 4*l = -2*z - 0*z - 14. Sort -1, l, p in decreasing order.
p, -1, l
Let s = 1 - 1.4. Let o = 0.1 - 5.1. Suppose 2*y + 3*y + 4*z = 9, -z = -5*y + 29. Put y, s, o in ascending order.
o, s, y
Let h = 135 - 138. Sort 0, 2, 1, h in decreasing order.
2, 1, 0, h
Let p = -11.8 - -1.8. Let u = 9.6 + p. Put 1, 0, u in descending order.
1, 0, u
Suppose 0 = -q + 4*q. Let j be 21/6 + 2/4. Let i be (-7)/(-2)*(-40)/70. Sort q, i, j.
i, q, j
Let q = 0.3 - -0.7. Let l = 0 - -7. Let i = l - 7.2. Sort 0, i, q.
i, 0, q
Let z = 32/3 + -37/3. Let t = 0.06 - -0.94. Put 0.3, t, z in increasing order.
z, 0.3, t
Let i = 2 - -5. Suppose 1 = 2*b - i. Let s = b - 6. Sort 1, 3, s in increasing order.
s, 1, 3
Let o(k) = -k + 9. Let h be o(6). Let m be (-2)/((1 - h)*1). Sort 2, m, 3 in increasing order.
m, 2, 3
Suppose 2*j + 2*p = -10, -18*p = -5*j - 20*p - 22. Suppose 19 = 5*c - 41. Let b be c/(-7) + 2/(-7). Sort 1, j, b in ascending order.
j, b, 1
Let f be 46/8 - (-2)/8. Sort f, 5, -3.
-3, 5, f
Suppose c - 2*c - 5 = 0. Let f = -3.7 - -9.5. Let l = -6 + f. Put c, 2, l in decreasing order.
2, l, c
Suppose 0 = 8*w - 0*w + 16. Sort 2/13, w, 4, -2/11 in decreasing order.
4, 2/13, -2/11, w
Let c = 0 - 0.4. Let f = c + -0.1. Let z = 0.9 + 0.1. Put f, z, 3 in decreasing order.
3, z, f
Let p = 79 - 239/3. Sort -0.3, p, -3 in decreasing order.
-0.3, p, -3
Let x = -4 + -2. Let p = x - -5. Sort -3, -5, p in descending order.
p, -3, -5
Suppose -g = 4*z - 3*g + 16, -3*z = 3*g - 6. Let m(c) = 2*c. Let q be m(4). Let h = 5 - q. Put -5, h, z in descending order.
z, h, -5
Let j be 3/((-2 - 1) + 4). Suppose -11 = -j*p + 4. Let t(w) = -w**2 - 5*w. Let y be t(-4). Put y, p, 0 in ascending order.
0, y, p
Let q = -58 + 63. Sort -1, 3, -2, q in increasing order.
-2, -1, 3, q
Suppose 2*c + 13 = -3*r, 4*c - 7*c = 3*r + 12. Sort 7, -2, 2, r.
r, -2, 2, 7
Let u = 8/9 - 95/117. Put u, 5, 1/7 in increasing order.
u, 1/7, 5
Let x(f) = -f**2 + 10*f - 8. Let o be x(9). Let n be (2 - o)/(12/36). Suppose 15 = 3*u - 3*p, 0 = -0*u - 2*u - 3*p - 5. Put n, u, -5 in descending order.
n, u, -5
Let l = -0.08 - 0. Let o = l - -0.08. Sort -3, 2, o.
-3, o, 2
Suppose -2*d + 3*d = 0. Suppose y + 1 = -d*y. Suppose 2*n + 5 - 7 = 0. Sort -2, y, n in descending order.
n, y, -2
Suppose 4*l - 8*l = -4*a - 20, 0 = 5*a. Put 2, l, -5 in decreasing order.
l, 2, -5
Let l = 33 - 32.4. Sort l, 1, 0.3, -3.
-3, 0.3, l, 1
Let v be 138/24 - 6/8. Put v, -11, -4 in descending order.
v, -4, -11
Let z = 14 - 2. Suppose 10 = o - 3*o. Sort o, 1, z in ascending order.
o, 1, z
Suppose -4*q + 1 = -3*q. Suppose -5*y + 3*j = -24, -3*j - 38 = -5*y - 7*j. Suppose 2*a = -5*k + 3*a - 16, 0 = 3*k + 3*a + y. Sort q, k, -5 in increasing order.
-5, k, q
Let h = 8 - 8.1. Let o = 19 - 17. Sort -2/5, o, h in descending order.
o, h, -2/5
Let v be 2/(-11) - (-48)/1716. Let k = 2 - 2. Sort v, -0.1, k in increasing order.
v, -0.1, k
Let h = -3.98 - -4. Let r = h - -0.98. Let i be ((-10)/(-24))/((-3)/6). Sort i, r, 0.4.
i, 0.4, r
Let p(s) = 5*s**2 + s. Let q be p(-1). Put 9, q, 2 in decreasing order.
9, q, 2
Suppose -16 - 26 = -7*r. Put -1, r, 4 in descending order.
r, 4, -1
Suppose 0 = -2*u + i + 16, -3*i + 4*i + 30 = 4*u. Let f = u - 2. Put f, -2/5, -0.1 in decreasing order.
f, -0.1, -2/5
Suppose 4*b - 6 = 6. Suppose 14 = -b*f - 1. Sort 5, f, 3 in descending order.
5, 3, f
Suppose 5*f - 2*f = 15. Let t = -3 - -2. Let h(u) = u**2 - 12*u + 15. Let g be h(11). Sort f, t, g in descending order.
f, g, t
Let g = 0.26 + -0.3. Let r = 0.36 - g. Put 5, 4, r in ascending order.
r, 4, 5
Let t = 94 + -93.5. Sort -2/7, t, 1 in ascending order.
-2/7, t, 1
Let z = 41 + -35. Sort 0, 0.1, z, -3/7 in ascending order.
-3/7, 0, 0.1, z
Let b = -111.9 - -112. Sort -44, -3/4, b in increasing order.
-44, -3/4, b
Let a(z) = z**3 - 15*z**2 + 15*z - 14. Let f be a(14). Sort f, 1, -1.
-1, f, 1
Let s(b) = b**3 - 3*b**2 - 2*b - 4. Let m be (1 - 3)/((-2)/4). Let t be s(m). Sort -5, t, 0 in increasing order.
-5, 0, t
Let t be (1 + 0 - 0)*-12. Let o = -17 - t. Sort -3/2, o, 4 in ascending order.
o, -3/2, 4
Let c(s) = s**2 - 5*s + 3. Let u be c(2). Put u, 6, -1 in descending order.
6, -1, u
Let p(i) = -2*i**2 - 19*i + 33. Let h be p(-11). Put 4, h, -2, 5 in increasing order.
-2, h, 4, 5
Let x(j) = -6*j - 39. Let b be x(-7). Sort 5, -1, -4, b in increasing order.
-4, -1, b, 5
Suppose 4*y + 0*y - 5 = 5*x, 5*y = 3*x + 16. Sort 2, x, 5 in ascending order.
2, x, 5
Let o(x) = x**3 + 3*x**3 - 5*x**3. Let y be o(0). Let f = y + 0. Sort f, 1, 2 in ascending order.
f, 1, 2
Let r = 0.15 + -0.05. Sort -1, -0.5, -0.3, r in increasing order.
-1, -0.5, -0.3, r
Let a(t) = 16*t - 14*t - 7 - 2. Supp