 Sort x, -3, d in increasing order.
x, -3, d
Let v = 1/15 - -1/3. Sort -0.1, -2.6, v, -2/3.
-2.6, -2/3, -0.1, v
Let o(l) = 2*l - 2. Let s be o(2). Let b(p) be the second derivative of -p**3/6 + 5*p**2 - 2*p. Let h be b(7). Put 0.4, h, s in descending order.
h, s, 0.4
Let s(l) = -l - 7. Suppose 2*j - 3*w + 5 = 0, 0 = -j - 0*w + w - 5. Let i be s(j). Sort i, -4, 4 in decreasing order.
4, i, -4
Suppose 0 = -2*v + 6 - 4. Sort 18, 5, v.
v, 5, 18
Let l = -28 + 24. Sort 0.4, -0.3, l in decreasing order.
0.4, -0.3, l
Suppose -37 = 7*g + 278. Sort g, 2, -1/8, -4/7.
g, -4/7, -1/8, 2
Suppose 0 = -4*f + 11 + 1. Suppose f*h = -b - 2, 0 = -4*h - 2 - 2. Sort -2/3, -1, b in descending order.
b, -2/3, -1
Suppose -14 - 1 = 3*f. Let j = 5 + f. Sort j, -5, -3 in descending order.
j, -3, -5
Let o(y) = y**2 + 8*y + 12. Let w(v) = -v**3 - 3*v**2 + v - 2. Let t be w(-3). Let n be o(t). Sort -4, -1, n in increasing order.
-4, n, -1
Let i = 2 + 15. Let r = -19.4 + i. Let n = r - -2. Sort -2, 0.5, n in increasing order.
-2, n, 0.5
Let n(u) = u**3 + 3*u**2 + u + 1. Let s(a) = 4*a**3 + 9*a**2 + 3*a + 4. Let c(p) = -7*n(p) + 2*s(p). Let g be c(3). Sort 3, 4, g in decreasing order.
4, 3, g
Let q = 19 - 18. Sort 0.2, -0.3, q in ascending order.
-0.3, 0.2, q
Let y(j) = -j**3 + 11*j**2 + 12*j + 11. Let c be y(12). Put -3, c, 5 in decreasing order.
c, 5, -3
Let u(h) = 2*h - 7. Suppose 0*p = 5*p - 25. Let d be u(p). Suppose 2*m + 3 = d*m. Sort -3, m, 5 in increasing order.
-3, m, 5
Let n = 0.3 + -1.3. Let c = -1.2 + 2. Let f = c + n. Sort 3, f, 0.5.
f, 0.5, 3
Let i be (-3)/2 - (-9)/(-18). Let m be (2 - -4)*i/(-4). Sort -1, m, -5 in descending order.
m, -1, -5
Let n = -100/3 + 33. Put n, -4, 3 in descending order.
3, n, -4
Let l = -22.1 + 19. Let o = -11 - -8. Let w = l - o. Put -2, w, 4 in decreasing order.
4, w, -2
Let z = -2.8 + 3. Let v = -0.3 + -2.7. Put -5, z, v in increasing order.
-5, v, z
Suppose -2*u - 4*a = -5*a + 3, -2*a = 3*u + 1. Let q be 0 + u*(4 + 2). Sort q, -4, 1 in increasing order.
q, -4, 1
Let p be 2/4 - (11/14 + 0). Put p, 4/3, -2 in increasing order.
-2, p, 4/3
Suppose 0 = 4*n - 3*n. Put n, -3, 6 in descending order.
6, n, -3
Let l = -0.37 - -0.07. Sort l, 3, -0.1, -4 in decreasing order.
3, -0.1, l, -4
Let o(z) = z**2 + 9*z + 5. Let c be o(-8). Let l(m) = 2*m - 7. Let d be l(-6). Sort d, c, 3 in decreasing order.
3, c, d
Let w be -2 + (2 - 3) + 3. Let v = 24 - 20. Sort v, 1, w.
w, 1, v
Suppose -3 = -2*n - 13. Sort -1, 2, 4, n in decreasing order.
4, 2, -1, n
Let o = 105 - 100. Let j(z) = 3*z**3 - 2*z**2 + 1. Let i be j(1). Let q(y) = -y**3 + 3*y - 1. Let v be q(i). Sort -4, o, v in decreasing order.
o, v, -4
Let r = 0 + 0. Let o be 57/36*3*-4. Let w = o - -18. Put 2, w, r in increasing order.
w, r, 2
Let g = -165 + 165.2. Put 9/5, g, -4/9 in descending order.
9/5, g, -4/9
Let s(p) = -p - 10. Let o be s(-7). Let x = o - -6. Put -4, x, 1 in ascending order.
-4, 1, x
Suppose 6 = -0*r + 2*r, x - 2*r + 25 = 0. Sort -5, -3, x in increasing order.
x, -5, -3
Suppose 0*o + 3 = 3*o. Sort -2, 4, o in ascending order.
-2, o, 4
Suppose 5*i = i + 4. Let x(s) = s**2 + 25*s - 2. Let g be x(-25). Put 5, g, i in increasing order.
g, i, 5
Let r = -0.7 + 0.2. Let k = -4 - -4.3. Sort r, -3, k in ascending order.
-3, r, k
Let a = -2 - -3. Let m(w) = w - 1. Let n be m(4). Let p = 5 - n. Sort p, -3, a in decreasing order.
p, a, -3
Let v = -141/40 + 33/8. Put v, 1, -3/5, 2/5 in ascending order.
-3/5, 2/5, v, 1
Let x = -2 + 1.6. Let c = -10.1 + 10. Put c, x, 5 in descending order.
5, c, x
Suppose -5*z + 16 = -4*b, 2*b - 2*z - 5 + 11 = 0. Put b, 7, -2, 4 in increasing order.
-2, b, 4, 7
Let y be (-2)/(-4) + 39/6. Let q be (-2 - y/(-4))*-4. Suppose -6 = 3*g - 0. Put 3/5, g, q in increasing order.
g, 3/5, q
Suppose -3 = 5*o - 13. Let t = -6 - -9. Put -3, o, t in decreasing order.
t, o, -3
Let t = 1/5 - 1/30. Let v = -3 + 4. Sort t, v, -2 in decreasing order.
v, t, -2
Suppose -2 = 3*s + 13. Sort 3, -2, s in increasing order.
s, -2, 3
Suppose -2 = -a + 3*a. Let i be (a/(-2))/(2/12). Sort 4, 2, i in descending order.
4, i, 2
Let q = 77/3 - 26. Sort -1/2, 1, q, 4.
-1/2, q, 1, 4
Let x = -1473/2 + 737. Let y = 3.2 - 3. Sort y, x, 3 in increasing order.
y, x, 3
Let o = -104 + 108. Sort o, -14, 0 in ascending order.
-14, 0, o
Let q be (-6)/1*10/(-12). Put 3, q, 4 in descending order.
q, 4, 3
Suppose 4*f + 25 = -f. Let t = -2 + 2. Let v be t - (1 - f/(-1)). Put v, -5, -2 in descending order.
v, -2, -5
Suppose 2*s + 2*s = 128. Suppose 0 = -2*h + 3*r - 0*r + 20, -3*h = -4*r - 28. Suppose 8 = -2*m, 4*w + h*m = -0*m - s. Sort 0, 5, w in descending order.
5, 0, w
Let z = -2 - -5. Let f(o) = -o**z + 3*o - 1 - o**2 - 5*o - 2*o**2. Let q be f(-3). Sort -1, q, 4.
-1, 4, q
Let d = 12 - 11.2. Let c = d - -1.2. Sort -5/3, c, -0.2.
-5/3, -0.2, c
Let o = -12 - -16. Suppose -3*c = -2*c + 6. Let r be ((-1)/14)/((-1)/c). Sort 2, o, r.
r, 2, o
Let z = -1 + -3. Let b = 2.6 - 4.7. Let j = b + 0.1. Put -1/2, z, j in increasing order.
z, j, -1/2
Suppose -6*i = -i + 20, 0 = -4*y - 3*i - 4. Suppose 2 = -4*l + y*l. Suppose 5*p = 2 + 18. Sort l, p, -3 in increasing order.
-3, l, p
Let p(t) = t + 2. Let j be p(-5). Let m = j + 4. Let r be 4/6 - 5/3. Put 0, r, m in increasing order.
r, 0, m
Let x = 8 - 1. Let b = x + -7.1. Sort 0, 6, b.
b, 0, 6
Let o be (-4338)/(-540) + 1/(-2). Let x = -36/5 + o. Sort 3, 4, x in decreasing order.
4, 3, x
Let a = 0 - -2. Let j(p) = 2*p**2 - 8*p - 17. Let t(h) = -h**2 + 4*h + 9. Let i(x) = -3*j(x) - 5*t(x). Let m be i(5). Put -1, m, a in decreasing order.
a, m, -1
Suppose -7 - 13 = -4*j. Suppose -4*f + 13 = -j*r + 4*r, 3*r = -4*f - 7. Sort -4, f, -2.
-4, -2, f
Let n = -4 + 9. Let q be -2 - -3 - 3/(-2). Sort -0.5, q, n.
-0.5, q, n
Let a = 1.5 + -21.5. Let w = a + 13. Let n = w + 6.6. Sort 5, 0.5, n in ascending order.
n, 0.5, 5
Let o(p) = 4 - 5 - 3 + p - 3. Let m be o(7). Sort 5, 1, m in ascending order.
m, 1, 5
Let x(k) = -3*k + 8. Let z be x(4). Sort 5, z, -2, 3.
z, -2, 3, 5
Let i = 17 - 12. Suppose -b = -i*b. Sort b, -2, -5 in descending order.
b, -2, -5
Let a be 2 + -2 + (0 - -2). Suppose -4*d = 3*c + 27, 0*c + 5*c = 5*d - 10. Suppose 5*h = 1 - 6. Sort c, a, h in decreasing order.
a, h, c
Let j be 5*(-4)/(-8)*-2. Sort j, -3, -4 in increasing order.
j, -4, -3
Suppose -3*k - 2*a = -9, 4*k + k + 4*a - 13 = 0. Sort 3, k, -2 in increasing order.
-2, 3, k
Let l be -2 - (26/(-10) + 1). Let g be 6/4 - (-10)/(-8). Let d = 0.1 - 1.1. Sort g, l, d in descending order.
g, l, d
Let f be 2*(15/(-6))/1. Let n = -3 - f. Let l be 4/14 + n/(-7). Put l, -0.1, -0.5 in decreasing order.
l, -0.1, -0.5
Let w(i) = i**2 - 10*i - 5. Let t be w(10). Sort 4, 1, t.
t, 1, 4
Let p = -94 - -89. Let c = -71 - -215/3. Put c, 1/2, p in decreasing order.
c, 1/2, p
Let y be 1/1 + 123/(-18). Let u = y + 101/18. Let j = -1 + -1. Put j, -4, u in decreasing order.
u, j, -4
Suppose 4*z + 4 = 20. Suppose -4*s + 9 = -7*x + 8*x, -3*x - 12 = -s. Sort 2, x, z.
x, 2, z
Let b = 1.6 - 1.53. Let u = b - 0.37. Sort -0.5, u, -2 in decreasing order.
u, -0.5, -2
Let u = 1.5 - -3.5. Put 0.2, -0.4, u in descending order.
u, 0.2, -0.4
Let v be 110/25 + 4/(-10). Let h = -8 + v. Sort h, 4, -1.
h, -1, 4
Let l be ((-2)/(-5))/(12/(-60)). Put 3, l, -4 in decreasing order.
3, l, -4
Let a be 246/4 - 2*-1. Suppose 0 = -0*o + 3*o + 186. Let b = a + o. Put b, 2, 0 in ascending order.
0, b, 2
Suppose 3*r - 2*y + 3 = -5*y, -2*r + 3*y = -23. Suppose -r*m - 9 = 3*q, -m + 6*m + 3 = -q. Sort -2, m, 2 in descending order.
2, m, -2
Suppose -m + 1 - 20 = -5*g, 4*g = -m + 8. Sort -1/4, 5, g in descending order.
5, g, -1/4
Let v = -3.3 - -1.3. Put 4/7, v, -0.4 in ascending order.
v, -0.4, 4/7
Let p(x) = x. Let o(h) = -h**2 - 3. Let g(t) = o(t) - 3*p(t). Suppose 25 = -3*l + 4*d, 0*d - 3*d = -5*l - 27. Let k be g(l). Sort k, 0, 5.
k, 0, 5
Let r = -0.2 + 0.3. Let u(y) = y**3 + 4*y**2 - 7*y - 9. Let s be u(-5). Sort -5, r, s in descending order.
s, r, -5
Let x = 10 + -10. Put -0.3, x, 4 in decreasing order.
4, x, -0.3
Suppose 8*o = 3*o + 5*s - 25, -4*s = o - 5. Sort o, 4, 0.
o, 0, 4
Let h = -11 - -8. Put h, 6, 1 in decreasing order.
6, 1, h
Suppose 3*u + 0 - 6 = 0. Let c(s) = s**2 - 7*s - 2. Suppose -m = -3*m + 14. Let g be c(m). Put u, g, -5 in descending order.
