0.5 - 0.4. Sort p, 0.3, k in increasing order.
p, 0.3, k
Suppose -17*s + 18*s = -4. Put 4, s, 5 in ascending order.
s, 4, 5
Let j = 12 + -11.7. Sort -2/11, -2/7, j.
-2/7, -2/11, j
Let b = -2 + -8. Let i be (5/b)/((-1)/14). Sort 5, 1, i in ascending order.
1, 5, i
Let f = 21 + -24. Let o be 24/(-16) + (-6)/(-4). Sort 3, f, o in descending order.
3, o, f
Suppose 24 - 8 = -4*n. Let x be 5/20 - (-22)/8. Suppose 3*j = 3*l + 6*j, 3 = -x*l - 2*j. Put n, l, -5 in descending order.
l, n, -5
Let f = 0.45 + -0.2. Let m = f - -0.05. Let a = m - 0.5. Sort 0.5, a, -3 in decreasing order.
0.5, a, -3
Suppose 3*u - 13 = 2. Let x(b) be the first derivative of b**4/4 - 2*b**3 + 7*b**2/2 - 6*b + 22. Let f be x(u). Put -3, f, 1 in ascending order.
-3, 1, f
Let v be 2 + 8/(-4) + -1. Sort v, 5, 16 in decreasing order.
16, 5, v
Let w(j) = -j**2 + 6*j + 6. Let z be w(7). Put 3, 0, 1, z in decreasing order.
3, 1, 0, z
Let w(b) be the second derivative of b**4/12 + b**3/6 - b**2/2 + 3*b. Let q be w(-3). Let u = -11 - -6. Sort q, u, 0.
u, 0, q
Let c = 0.01 + 1.99. Let z = c + -3. Let y = z + 4. Put 0.3, y, 2 in descending order.
y, 2, 0.3
Suppose l = -4*l. Let t(i) = -2*i**3 + 1. Suppose 0 = -p + 1. Let b be t(p). Put l, -5, b in decreasing order.
l, b, -5
Suppose -x = -6*x + 25, x = -2*a - 3. Sort 4, -5, a in ascending order.
-5, a, 4
Let n be 4/6 + 14/6. Suppose -2*x - 2 = -n*x - z, 0 = -3*z + 3. Let u be 44/8 - 1/2. Sort u, x, -1.
-1, x, u
Let o(f) = -f**2 + 3. Let w be o(2). Put -5, -7, w in decreasing order.
w, -5, -7
Let k = -56 - -49. Sort -2, -5, k in descending order.
-2, -5, k
Let z be 6*(2 + (-60)/27). Let j be (4/(-6))/((-16)/30). Let m be (5/(-9))/(4/6). Put m, j, z in decreasing order.
j, m, z
Let q = -0.6 + 0.7. Let f = -67 + 62.1. Let l = f + 0.9. Put q, l, -2 in decreasing order.
q, -2, l
Let n = 7.7 + -8. Suppose 0 = 12*h - 9*h + 12. Sort -2, n, h in ascending order.
h, -2, n
Let v(b) = b + 15. Let j be v(-5). Let a(i) = -1 + i - 5 - 3. Let g be a(j). Put -3, g, 2 in decreasing order.
2, g, -3
Let f = -5 - -2. Let g = -2.6 + 3. Let t = 0.5 - g. Sort 2, f, t in increasing order.
f, t, 2
Suppose -5 - 16 = -c - 4*f, -2*c - 3*f = -17. Suppose 0 = a - 0 + 3. Let j(n) = -n**3 + 5*n**2 - 7*n + 1. Let q be j(3). Put c, q, a in decreasing order.
c, q, a
Let h be 7/15 + 2/(-3). Let l be (-1)/15 + (-2)/6. Let r = -2 + 2. Sort h, r, l in decreasing order.
r, h, l
Suppose 21*m = 16*m. Put 5, m, -1 in ascending order.
-1, m, 5
Let y = 14/95 + 1/19. Let l = 3/5 - y. Let t = 3.97 + 0.03. Sort -0.3, l, t in descending order.
t, l, -0.3
Let a = -193/30 - -33/5. Let n = 0.28 + 0.12. Put 3, a, n in increasing order.
a, n, 3
Let l be ((-6)/(-12))/((-1)/20). Let m = -5 - l. Sort m, -2, 10.
-2, m, 10
Suppose 0*o = 3*o + 357. Let w = -16964 - -84222/5. Let h = w - o. Sort 5, -0.4, h in decreasing order.
5, -0.4, h
Let t = 31 + -35. Let b(q) = -q**2 - 4*q - 3. Let c be b(-4). Let i(f) = f**3 + f**2 - 5*f - 2. Let o be i(c). Put t, o, -1 in decreasing order.
-1, t, o
Let a(d) be the second derivative of d**5/20 - 5*d**4/12 - 5*d**2/2 - 8*d. Let g be a(5). Sort 1, g, 3.
g, 1, 3
Let i = 7 - 5. Let r be (-3)/(-2)*i/(-12). Sort r, -2/5, 0.2 in decreasing order.
0.2, r, -2/5
Let o = -13 - -12.8. Let j be (-4)/(-27)*(-12)/(-8). Put o, 1, j in ascending order.
o, j, 1
Let j = -4 + 0. Let z = 17 + -10. Let r = z + j. Sort 5, 2, r in decreasing order.
5, r, 2
Suppose -q + 5*m - 6 = 2*q, -5*m = 0. Let d(u) = -2*u**2 - 16*u + 41. Let n be d(-10). Put 0, q, n in descending order.
n, 0, q
Suppose -3*s = -4 + 7. Let b(r) = 2*r - 2. Let t be b(2). Sort t, s, -5 in ascending order.
-5, s, t
Let i = -3 + 4. Let w(j) = -2*j - 6. Let v be 2*5/(15/(-6)). Let o be w(v). Sort 4, o, i.
i, o, 4
Let a be (2 - 14/10) + 0. Put a, 2, -2 in decreasing order.
2, a, -2
Let b = -5 + -2. Let s = b + 2. Put 2, -4, s in descending order.
2, -4, s
Let v be (-1)/(0 + 3 - 7). Sort 4, -3, v, 0 in increasing order.
-3, 0, v, 4
Suppose -o + 1 = 2*m, -2*m = -3*o + 6*o + 5. Let f = 4 - m. Let p be -1 - 2 - (-5 - -5). Sort f, 3, p in descending order.
3, f, p
Let n = -4 - -6. Let c(t) = -4*t + 5. Let z be c(n). Put z, -4, 5 in decreasing order.
5, z, -4
Let u = 96 - 94. Suppose 2*n + 8 = -2*n. Sort n, u, 0 in ascending order.
n, 0, u
Suppose 0 = -4*o + 23 - 11. Put o, 1, -5, 0 in descending order.
o, 1, 0, -5
Suppose -2*w = 5 + 1. Put 0, 13, w, -1 in descending order.
13, 0, -1, w
Let c be (-6 - -1)/(-4 - -3). Suppose -c*p + p = 0. Put 5, 4, p in descending order.
5, 4, p
Let m = 0.21 - -2.85. Let q = 0.06 - m. Sort q, 1, 3 in decreasing order.
3, 1, q
Suppose s = 6*s. Suppose 4*m - 5*p = 17, 17 = m - p + 4*p. Let f be 3 + (3 - m/2). Sort s, f, -5 in increasing order.
-5, s, f
Let t = 0.76 - -0.24. Put 4, t, 3 in decreasing order.
4, 3, t
Let a(z) = z**3 - 7*z**2 + 5*z + 7. Let l be a(6). Suppose -4 = -4*t + o + 8, -3*t = -4*o + 4. Sort t, 0, l.
0, l, t
Let m = -13 - -21. Let s = m - 3. Put s, 3, -2/13 in increasing order.
-2/13, 3, s
Let u(t) = -t**3 - 6*t**2. Let c be u(-6). Put 8, -5, 3, c in descending order.
8, 3, c, -5
Let l = 5 - 9. Let w(r) = -2*r**2 - r - 1. Let u be w(-2). Let a(i) = i**2 + 6*i - 8. Let x be a(u). Sort 2, x, l in decreasing order.
2, x, l
Suppose -12 = 5*m + 8. Let v be m/(-3) + 1/(-3). Suppose 0 = -q - 4 - 1. Sort v, q, 3.
q, v, 3
Let b = 4 + 1. Sort 0, b, -2 in descending order.
b, 0, -2
Suppose 6 = 5*g + 26. Let o = -2/465 + -1379/3720. Sort o, g, 0.1 in ascending order.
g, o, 0.1
Let m(p) = -2*p + 13. Let s be m(4). Put s, 1, -4, 4 in ascending order.
-4, 1, 4, s
Suppose 0 = -k + 3*k + 8. Sort 3, k, 1.
k, 1, 3
Suppose 21*t - 25*t + 8 = 0. Suppose 0 = -4*d + 2 + t. Put d, -5, 4 in ascending order.
-5, d, 4
Suppose -14*x + 1 = -15*x. Let v = -4 - -7. Put x, 4, v in descending order.
4, v, x
Suppose 0 = 2*w - 6 - 2. Let p = w - 2. Let s be 6/7*(-4)/6. Sort p, s, -0.2 in decreasing order.
p, -0.2, s
Let u = 134/3 + -45. Sort -1/6, 1/3, -2, u in increasing order.
-2, u, -1/6, 1/3
Let f(d) = -d. Let i be f(-2). Let r be (-47)/9 + 3/((-108)/(-8)). Sort -3, i, r in descending order.
i, -3, r
Suppose 4*p - 19 = 1. Suppose -b + 6*b - j + 55 = 0, b - 13 = p*j. Let s = b - -8. Sort s, 3, -5.
-5, s, 3
Let a(t) be the third derivative of 0 - 1/4*t**4 + 0*t + 1/60*t**5 - 7/6*t**3 - t**2. Let z be a(7). Sort 2, z, -2.
-2, z, 2
Let u = -117 + 1055/9. Let q(p) = -p**2 + 12*p + 2. Let o be q(12). Sort -5, o, u in ascending order.
-5, u, o
Let a be ((-10)/3)/((-6)/(-9)). Put 5, 13, 3, a in ascending order.
a, 3, 5, 13
Let u be (-10)/(-6)*(-18)/(-156). Let q = u - -4/13. Put -1/5, q, -2 in decreasing order.
q, -1/5, -2
Let o(b) = b + 1. Let z be o(3). Suppose -22 = -v + 2*j, -v = -5*j + 2*j - 23. Suppose 3*s - d = 10, -3*d + 5*d = -2*s + v. Sort z, s, -2.
-2, z, s
Suppose 0 = -3*u + 7 - 4. Let b = 15 - 16.6. Let k = b - 0.4. Put k, 5, u in decreasing order.
5, u, k
Let g(p) = p**2 - 12*p + 5. Let i be g(12). Suppose t + 2*n + i = -0*t, 12 = -5*t + 3*n. Put t, 5, -2 in ascending order.
t, -2, 5
Let i be ((-18)/(-21))/(4/14). Let g = -26 + 16. Let h = g - -8. Sort h, 4, i in descending order.
4, i, h
Suppose 2*s + s = 15. Sort s, -4, 2 in ascending order.
-4, 2, s
Let r = -58 + 59. Sort -1, -4, r in descending order.
r, -1, -4
Let a = -5 - -4.9. Let j = 0.4 - a. Let y = -1 - -1.2. Sort y, 1/3, j in decreasing order.
j, 1/3, y
Suppose -3*v = 3*d - 15, -2*v - 4*d = -7*v + 52. Suppose v = -2*l - 2*l. Let o = -1 + 1. Sort o, 5, l in ascending order.
l, o, 5
Let q = -0.1 + -0.9. Suppose 2*o - 3 = 1, 0 = -2*u + o - 10. Sort -0.3, q, u in decreasing order.
-0.3, q, u
Let n = 0.384 - -0.016. Sort 1, n, 2 in ascending order.
n, 1, 2
Let q(n) = -n**2 + 7*n - 1. Suppose 0 = 5*z - 2*u - 83, 0 = -0*z - z - u + 11. Let f be 12/z*15/2. Let t be q(f). Sort t, 3, 1 in increasing order.
1, 3, t
Suppose 0 = 4*h - 2*c - 3*c, -4*c = 4*h. Sort h, -0.5, -1/3, -2.
-2, -0.5, -1/3, h
Let o = -0.3 - -1.3. Let d = 12 - 12.5. Let k = d + o. Sort -0.5, k, 1 in descending order.
1, k, -0.5
Let b(u) = -7*u - 63. Let i be b(-10). Put -8, i, -4 in decreasing order.
i, -4, -8
Let u = -5 + 0. Let d = u - -2. Put 0, 2, d in descending order.
2, 0, d
Suppose -4*t + 3*t + 3 = -3*y, 0 = t + 3. Sort y, -3, -21 in decreasing order.
y, -3, -21
Let o b