 s in descending order.
35, 0, s
Let v(d) be the third derivative of -d**5/60 + d**4/6 + 4*d**3/3 - d**2. Let y = 25 + -19. Let c be v(y). Put -0.3, 0.1, c in increasing order.
c, -0.3, 0.1
Let g = -19/6 - -5/3. Sort g, 1, -5 in ascending order.
-5, g, 1
Suppose h = -i - h, 0 = i + 5*h - 3. Sort 4, 5, i.
i, 4, 5
Let s = 0.251 + 0.049. Put -2/19, s, -40 in descending order.
s, -2/19, -40
Let q(y) = y**3 - 2*y - 4. Let l(v) = v**3 + v**2 - v - 5. Let n(w) = -5*l(w) + 6*q(w). Let c be n(6). Put 1, 2, c in descending order.
2, 1, c
Let v(c) = -c**3 - 7*c**2 + 7*c - 10. Let b be v(-8). Let o be ((-2)/4)/(5/(-120)). Suppose -4*r = -r - o. Sort 0, r, b.
b, 0, r
Suppose 2*d + 6*d + 24 = 0. Let u = -1 + 1. Sort 1, d, u in decreasing order.
1, u, d
Suppose -2*y = 239 - 23. Let l = 429/4 + y. Let w = -0.3 - 0. Sort 3, w, l in decreasing order.
3, w, l
Let i = -4 - -10. Let c = i - 8. Put -3, c, 2/3 in ascending order.
-3, c, 2/3
Let a = -14 + 8. Sort a, -3, 1 in descending order.
1, -3, a
Let f(j) = -j + 2. Let p be f(0). Suppose o + 7 = -p*x, -4*x + 3*o + 0*o = -11. Suppose 24 = -5*m + 4. Sort 1, x, m.
m, x, 1
Let p = 10 - 13. Let m = -3 + p. Sort 0.5, -2, m in decreasing order.
0.5, -2, m
Let w(u) = -u + 14. Let y be w(6). Put -1, 2, y, 3 in decreasing order.
y, 3, 2, -1
Let l = -5 - -3. Let m = -1 + -4. Let d = 5 - 9. Sort l, m, d in ascending order.
m, d, l
Let i(b) = b - 4. Let h be i(8). Suppose -3 - 17 = h*a. Let r = -11 + 16. Put r, a, -2 in descending order.
r, -2, a
Suppose 10 = -4*j - 10. Suppose -6*x - 7 = 5. Put 4, j, x in ascending order.
j, x, 4
Suppose 2*l + 1 = 3*t, -l + 4*t - 20 = 4*l. Put -1, 4, l, 0 in descending order.
4, 0, -1, l
Let x = 2.04 - 0.09. Let m = 0.05 + x. Let d = 5.5 - 5. Put -3, m, d in decreasing order.
m, d, -3
Let s = -48 + 43. Sort 0, s, 2 in increasing order.
s, 0, 2
Let o = -0.73 - -1.13. Put -2/7, o, 2, 4 in ascending order.
-2/7, o, 2, 4
Suppose -3*v = 2*v + 3*m - 16, -v + 14 = -3*m. Let r = -3 - -2.5. Put v, -3, r in increasing order.
-3, r, v
Suppose 0*l + 6 = l. Let g be -2 + -1 + l + -3. Suppose 0*j = -4*j - 3*z - 12, j + 5*z + 20 = g. Put j, -2/3, 3 in ascending order.
-2/3, j, 3
Let k(x) = x**3 + 15*x**2 - x - 8. Let o be k(-15). Let l be -3 - (3 + -2 - o). Suppose -2*b = 2 - 4. Sort b, l, 2 in descending order.
l, 2, b
Let s = -2 - -2.1. Let a = 0.5 - s. Let b = -0.1 + a. Sort b, 1/3, 3 in ascending order.
b, 1/3, 3
Let v = 13.18 - 0.18. Let b = -11 + v. Sort -3, 0.2, b in increasing order.
-3, 0.2, b
Suppose -4*t + 20 = -8*t. Sort t, -0.5, -2 in ascending order.
t, -2, -0.5
Let q = -113/255 + -8/51. Sort q, -0.5, 5 in decreasing order.
5, -0.5, q
Let y be (-8)/4*2/20. Put y, -4, -0.4 in ascending order.
-4, -0.4, y
Suppose 2*v = -0*v - 3*n - 5, -5*v + 13 = -n. Let w be 55/(-20) + (-2)/8. Let q be 4/(2*w/(-6)). Put -1, q, v in ascending order.
-1, v, q
Let f = -30 - -18. Sort f, -0.5, 1 in increasing order.
f, -0.5, 1
Let q = 0.84 - 0.74. Put -2, q, -0.1, -2/7 in ascending order.
-2, -2/7, -0.1, q
Suppose -5 - 5 = 2*n. Sort n, 2, 15, -4 in descending order.
15, 2, -4, n
Let i(t) = t + 5. Let y be i(-4). Let u(j) be the second derivative of -j**3/3 - j**2/2 - j. Let b be u(y). Sort b, 2/5, -0.3 in descending order.
2/5, -0.3, b
Let f = -52 + 47.6. Let d = -4 - f. Let a = -0.1 - d. Put 5, 0.5, a in increasing order.
a, 0.5, 5
Suppose 0 = 2*x - 4*x - 2, 0 = p - 3*x - 5. Let r(g) = g**3 - g**2 - 5*g + 3. Let y be r(3). Let t be (y/90)/((-1)/p). Put 3/4, t, 5 in decreasing order.
5, 3/4, t
Let o(n) = -n**3 + 1. Let i be o(1). Sort 1, -5, i in decreasing order.
1, i, -5
Let v = 4.75 - -0.25. Let n = -4 + 6. Put v, n, 1/3 in descending order.
v, n, 1/3
Let d be 2/(-7) - (-506)/(-210). Let j = d - -34/15. Let n = -1.5 - -4.5. Sort j, n, 5 in descending order.
5, n, j
Let p = 1 - -1. Suppose 4*r = -p*x + 10, -r + 2*x - 6 = -3*r. Put r, -4, -2 in increasing order.
-4, -2, r
Suppose -3*p = -2*p - 1. Let y be (10/6 + -1)*15. Let i be (0 + y/4)*-2. Sort p, i, -1 in increasing order.
i, -1, p
Suppose 0 = -5*b + b + 20. Suppose b*h + 0 + 1 = f, 3*f - 3*h = 3. Sort f, 0.1, -4/5.
-4/5, 0.1, f
Suppose -2*x + 16 = -0*x. Let c be 3/(-4) - (-46)/x. Put c, -1, -5 in increasing order.
-5, -1, c
Suppose -2*n - 6 = 2. Let r(v) = v**3 + 14*v**2 + v + 12. Let q be r(-14). Sort q, 4, n in increasing order.
n, q, 4
Let t = 89.7 - 90. Sort 20, 3, 5, t in ascending order.
t, 3, 5, 20
Suppose 9 = 3*f - 15. Suppose -f - 12 = -4*p. Suppose -c + 10 = -3*q, 4*c - 16 = 5*q - 4. Sort 2, p, c in increasing order.
c, 2, p
Let j(w) = -w - 16. Let t be j(-15). Let m = -7 - -4. Sort m, t, -5 in ascending order.
-5, m, t
Let c = 89 - 85. Sort c, -3, -17 in decreasing order.
c, -3, -17
Suppose 2*i = -5*n - 15, -5*n + 2*i = i. Sort -3, 0, n, 5 in increasing order.
-3, n, 0, 5
Suppose 0*c = 5*c. Let y = 177 + -172. Sort c, -3, y.
-3, c, y
Let l = 10.23 + -0.83. Let h = -9 + l. Sort h, -1, 3 in decreasing order.
3, h, -1
Suppose 0 = -3*y, -6 = -2*i + 4*i + 3*y. Suppose -2*x - 3*x = 0. Put x, i, 5 in ascending order.
i, x, 5
Let j = -0.8 + 1. Let k be -3 - (-9)/4*2. Put k, 1/4, j in ascending order.
j, 1/4, k
Let q = 4.5 - 0.5. Let v be 4/6*15/20. Let c = v + -3/4. Sort 1, c, q in descending order.
q, 1, c
Suppose 0*t = -t - 3*f - 1, -3*f - 3 = 0. Let k be ((-2)/6)/(t/30). Sort -1, k, -2.
k, -2, -1
Let z = 2.6 + -3. Let k = -2.6 + z. Suppose -5*w - 7*m + 15 = -3*m, 0 = -4*m. Sort w, 2, k in ascending order.
k, 2, w
Let n = 21 - 26. Put 0, -3, n in increasing order.
n, -3, 0
Let g(t) = t**2 - 8*t + 10. Let m be g(7). Let n be ((-3)/9)/(m/(-27)). Put 0.2, n, 2/13 in decreasing order.
n, 0.2, 2/13
Let w = 3 + -2. Suppose -w - 4 = -o. Sort o, -2, 0 in descending order.
o, 0, -2
Suppose -9*h = -6*h + 3. Suppose f = 2*f. Let j = f + 1. Sort j, 2, h in descending order.
2, j, h
Let t = -3 + 1. Suppose 3*g = -1 + 13. Sort -4, t, g in increasing order.
-4, t, g
Let p = -0.3 - -0.1. Let o = -5 + 0. Put p, 5, o in ascending order.
o, p, 5
Let l(k) = k**3 + k**2 - 2*k + 1. Let m(p) = -p**2 + 6*p - 4. Let s be m(5). Let i be l(s). Let q = 376 - 371. Sort 0, i, q in increasing order.
0, i, q
Let x = -0.5 - -1. Sort -4, 0.4, x in decreasing order.
x, 0.4, -4
Let p be 2/2 + -2 + -2. Sort 5, -4, p.
-4, p, 5
Let g(c) = 2*c. Let s be g(2). Put s, -1, -3 in descending order.
s, -1, -3
Suppose 2*a + 2*l = -4, 0*l - 6 = -2*l. Let b be (-9 - a) + (0 - 0). Put 3, b, 2 in decreasing order.
3, 2, b
Suppose r - 10 = -4*x, -2*x + 6*x - 16 = -2*r. Sort r, 2, 5 in decreasing order.
r, 5, 2
Let l = 16.4 - 16. Sort -5/2, l, 0 in increasing order.
-5/2, 0, l
Suppose -3*h - 3*i + 6 = -18, 3*i = -5*h + 34. Suppose -z + 9 = 3*y, 16 = -5*z + 1. Suppose y*a + 2 = 2*a. Sort a, h, -4 in ascending order.
-4, a, h
Let s = 0.06 - 0.15. Let p = -3.09 - s. Put p, -0.03, -4 in decreasing order.
-0.03, p, -4
Let x(h) = h**3 - 11*h**2 + 8*h + 20. Let d be x(10). Put -0.1, d, 4 in decreasing order.
4, d, -0.1
Let r = -5 + 7. Put -2/7, 5, r in descending order.
5, r, -2/7
Let b = 4 - -1. Let l = 51 + -53. Sort b, l, 0 in increasing order.
l, 0, b
Suppose x = 4*o - 4*x - 21, -11 = o + 2*x. Sort 0.1, -3, o in descending order.
0.1, o, -3
Let a = 1 + -0.8. Let s = a - 0.4. Let r = -2.22 + 0.22. Sort 0.2, s, r in increasing order.
r, s, 0.2
Let g(h) = -4*h**3 - h**2 - 2*h - 1. Let j be ((-2)/6)/(5/15). Let t be g(j). Let s be ((-2)/(-3))/(2/3). Sort -5, s, t in decreasing order.
t, s, -5
Suppose 0*u = 4*u + t, -2*u + t - 6 = 0. Put -2, u, 4 in increasing order.
-2, u, 4
Suppose -m - 1 = -4*h, 3*h - 4*m + 2*m = 2. Let t be 0 + 0 - (-1 - -2). Suppose -4*x - 2 = p - 4*p, -4*x - 8 = 0. Put h, t, p in increasing order.
p, t, h
Let q(n) = -n**3 + 12*n**2 - 12*n + 15. Suppose 2*o = -z + 1, -4*o + 0*o = 20. Let h be q(z). Suppose 0 = -3*c - 5 + 14. Sort -5, h, c in descending order.
h, c, -5
Let a = -6.6 - -6. Let s = 14 - 14.1. Let i = a - s. Put -4, 1/4, i in decreasing order.
1/4, i, -4
Let x = -38 - -42. Suppose 1 = 2*t + 7. Sort 1, t, x in decreasing order.
x, 1, t
Let l(b) = -2*b + 9. Let p be l(3). Sort 1, -3, p in decreasing order.
p, 1, -3
Let a = 1 + -1. Suppose i - 1 = -a*i. Put 5, -1, i in decreasing order.
5, i, -1
Let h(r) = 2*r + 12. Let b be h(-8). Sort -2, b, -1 in increasing order.
b, -2, -