 + 0 + -3. Put -4, a, 3 in increasing order.
-4, a, 3
Let s be 1/3*(-6 + 12). Put s, -37, -2 in decreasing order.
s, -2, -37
Let i(d) = -d**3 + 5*d**2 - d + 6. Let w be i(5). Sort w, 4, -5 in descending order.
4, w, -5
Let v be -5*(2185/725 - 3). Put v, -2/19, -4 in decreasing order.
v, -2/19, -4
Let o = 4/7 + 5/28. Let v = 12 + -7. Sort v, 1, o.
o, 1, v
Let o = 16 + -21. Put -2, -0.1, o, 4/3 in decreasing order.
4/3, -0.1, -2, o
Suppose -8*l + 13*l - 10 = 0. Let v = -249154/21 - -11859. Let u = v + 16/3. Put -2/13, l, u in decreasing order.
l, u, -2/13
Let b be ((-2)/5)/((-2)/(-10)). Let k be b - (1 + 1 + -8). Let s(c) = -c - 3. Let g be s(-5). Sort g, -3, k in increasing order.
-3, g, k
Let t be 12/(-21)*(-7)/46. Let c(s) = -s**3 + 14*s**2 + 16*s - 7. Let o be c(15). Sort -0.1, o, t.
-0.1, t, o
Suppose k = 5*j + 72, -4*j - 3*k - 2*k - 46 = 0. Let c = j + 14. Sort c, 3, -4.
-4, c, 3
Let c = -1917 + 1932.93. Let l = 16 - c. Let v = l + -1.07. Sort -5, v, -0.4 in descending order.
-0.4, v, -5
Suppose -4*t + 6 - 17 = -a, -5*a + 11 = 2*t. Let x = -6 - -1. Let m be (-6)/x + (-2)/10. Sort -1, m, t in decreasing order.
m, -1, t
Let u(m) = -m**3 - 9*m**2 + 12*m + 25. Let k be u(-10). Put k, 2, 10 in increasing order.
2, k, 10
Let k = -8 + 5. Let o = 13/3 - 25/6. Suppose w - 3 - 1 = 0. Put w, k, o in ascending order.
k, o, w
Let l(i) = i**3 - 9*i**2 + 4. Let c be l(9). Sort -1, c, 0.7 in increasing order.
-1, 0.7, c
Let g = -15 + 14.5. Put g, 10, -3 in decreasing order.
10, g, -3
Let i = -0.58 - -0.08. Sort 5, i, 0.
i, 0, 5
Suppose 0 = -9*v + 4*v + 15. Sort -0.2, -0.1, v in increasing order.
-0.2, -0.1, v
Let o = -1.7 + 1.9. Let i = 1 + -4. Put i, -2, o in decreasing order.
o, -2, i
Let p = 238 - 234. Let r(j) = -j**2 + 3*j + 2. Let q be r(4). Sort 3, p, q in descending order.
p, 3, q
Let q = 19/3 - 6. Let z(m) = 3*m**3 + 18*m**2 + 2. Let j be z(-6). Sort j, 0, q in descending order.
j, q, 0
Suppose 4 = a - 5*a. Let c(h) = h**3 + 5*h**2 + 3*h + 12. Let w be c(-5). Put w, -5, a in descending order.
a, w, -5
Let v be (251/124 - 2)/(-6). Let r = -627/1736 - v. Let m = 13/7 + r. Sort m, -5/3, -2 in descending order.
m, -5/3, -2
Let a = 16 + -21. Put 2, 3, a in increasing order.
a, 2, 3
Let q be -2 - 7/(-5) - -1. Let g = 0.39 + 0.01. Let l = 0.3 - g. Put -3, l, q in ascending order.
-3, l, q
Let g = -18 + 22. Let j(n) = -n**2 - 4*n + 3. Let s be j(-5). Put s, -4, g in ascending order.
-4, s, g
Suppose 0 = -i - i + 2*f + 4, 4*i - 10 = 3*f. Sort 3, 1, i, -4 in decreasing order.
i, 3, 1, -4
Suppose -3*r + 6*r - 9 = 0. Sort 5, r, 1 in descending order.
5, r, 1
Let a = -14 + 6. Let v = a + 11. Put -1, -3, v in ascending order.
-3, -1, v
Let p be (10/8)/(2/8). Suppose -5*l + p*f - 6*f = -1, -3*f = 3*l - 3. Let o be (-46)/(-10) - (-2)/5. Sort o, l, 2 in decreasing order.
o, 2, l
Let a(c) = c**3 + 8*c**2 + 10*c - 4. Let i be a(-8). Let q = i - -589/7. Put -1, q, 0.07 in increasing order.
-1, 0.07, q
Let h(b) = b + 3. Let n be h(-2). Sort 0, 5, n.
0, n, 5
Let p = -4 + 19. Suppose -2*c - p = 3*c. Let l = 3.8 - 3.8. Sort -5, l, c in decreasing order.
l, c, -5
Let d(z) = z + 1. Let b be d(1). Let m be 1*-4 - 1*-1. Let j be ((-10)/4)/((-3)/6). Sort b, j, m in increasing order.
m, b, j
Suppose 4 = -5*v + 14. Put 0, v, 12 in increasing order.
0, v, 12
Let n be (-4)/((0/(-4) + 3)*-2). Put -3, -6, n in descending order.
n, -3, -6
Let g = -18143/6 - -3015. Let l = g + 163/18. Sort l, -0.2, 1.
-0.2, l, 1
Let b = -6 - -2. Let x(w) = w**2 - 7*w - 10. Let a be x(8). Put 3, a, b in increasing order.
b, a, 3
Let j = -3 - -5. Suppose t + 1 = -j*i + 2, 0 = -3*t - 5*i + 1. Sort 1, 4, t in descending order.
4, 1, t
Suppose -750*u = -754*u - 4. Suppose 0 = -4*l + 4. Sort 4, u, l in ascending order.
u, l, 4
Let z = 27 - 39. Let m be (-2)/z*-2*6. Put 1, m, -1 in decreasing order.
1, -1, m
Suppose 5*g - 42 = 2*g. Let b be 9/(-18) + g/(-4). Sort b, 0, 1 in descending order.
1, 0, b
Let r be (-14)/4 - 3/(-6). Let b = -8 - -7. Put b, r, 5 in decreasing order.
5, b, r
Let p = 0.062 - 0.562. Sort 0.4, -2/5, p, -4 in decreasing order.
0.4, -2/5, p, -4
Let l be 6/(-15) + 12/5. Let j = -19 - -22. Suppose -4 = -f + 2*y, j*y = -2*f + y + 8. Sort f, l, 0 in ascending order.
0, l, f
Let g = -150.1 - -150. Sort g, -2, -0.5.
-2, -0.5, g
Let f be (16/84)/(1/9*6). Put f, 45, 3 in descending order.
45, 3, f
Let d be -3*((-8)/6 - -1). Let s be 2/(1/d) + -5. Let x be (-10 - -2)*s/6. Put x, 5, 2 in descending order.
5, x, 2
Let s(m) = -5*m - 1. Let k be s(-2). Let h = -6 + k. Suppose 5*g = -3*y + 3*g - 5, 5 = 2*y + 3*g. Put h, -4, y in descending order.
h, -4, y
Suppose 3*n + u = -3*u + 2, -n = u + 1. Sort n, 4, -0.5 in descending order.
4, -0.5, n
Let s = 25.2 + -25. Put 4, s, -3 in increasing order.
-3, s, 4
Let q(g) = 2*g - 16. Let d be q(15). Sort d, -3, 3.
-3, 3, d
Let i = 23 + -20. Let d(f) = f**3 - 2*f**2 - 3*f + 2. Let j be d(i). Let w = 3 - 0. Sort j, -3, w in decreasing order.
w, j, -3
Let o = -51 + 50. Put -6, 4, -5, o in decreasing order.
4, o, -5, -6
Let n(m) = -m**3 + 7*m**2 + 10*m - 11. Let l(z) = 2*z**3 - 3*z**2 + 2*z. Let v be l(2). Let q be n(v). Suppose 16 = -5*p - 9. Sort q, p, 1 in ascending order.
p, 1, q
Let o be 6/3*(0 - -1). Suppose 4*y - 5 = 3*s - y, -2*s + 2 = o*y. Let p be 0 - (2 + s) - -2. Sort p, 3, 4 in decreasing order.
4, 3, p
Let a(b) = b**3 + 4*b**2 + 2*b - 3. Let g be a(-3). Sort -3, 5, g in decreasing order.
5, g, -3
Let t(w) = w**2 + 15*w + 51. Let f be t(-9). Put 4, f, 1, 0 in ascending order.
f, 0, 1, 4
Suppose 2*g - 2*f = -5*f - 2, -g - 14 = -5*f. Let k(z) be the first derivative of z**3/3 - 3. Let d be k(-1). Sort d, g, -2 in decreasing order.
d, -2, g
Let u = -34 + 37. Sort 0.03, 5, u, 0.5 in ascending order.
0.03, 0.5, u, 5
Suppose -8*j = -5*j + 15. Let i = -3 - -1. Put i, j, -4 in decreasing order.
i, -4, j
Let m(o) = o - 2. Let w be m(-2). Let d(a) = 5*a**3 - 2*a + 1. Let c be d(-2). Let p be 52/14 - 10/c. Put w, p, 5 in descending order.
5, p, w
Let i = 0.11 - 8.11. Let t = i - -8.5. Put t, 0.4, -7 in ascending order.
-7, 0.4, t
Let q = 16 + -8. Let z = 5 - q. Sort -3/7, z, 4 in increasing order.
z, -3/7, 4
Suppose 0*i - 4*i + 8 = 0. Let v(g) be the first derivative of g**3/3 - 2*g + 1. Let s be v(i). Put -1, 3, s in descending order.
3, s, -1
Let k = -5 - -4.9. Let o = k - -0.5. Sort 2/7, o, -3 in descending order.
o, 2/7, -3
Let x = 3 - 2.6. Put x, 2, -1, 4 in decreasing order.
4, 2, x, -1
Let u(o) = -o**3 + 11*o**2 - 2. Let s be u(11). Put 1, 0, -4, s in descending order.
1, 0, s, -4
Let k = 2.4 - 2. Let d = 4.6 + k. Let i = -0.42 - -0.02. Sort d, i, 4.
i, 4, d
Suppose -4*l = -20 + 4. Let z be (-2)/l - 3/(-4). Put 1, 3, z in descending order.
3, 1, z
Suppose 4*l - 8 = 8*l. Suppose 12 = -2*z - 4*s + 48, s = 2*z - 11. Put l, z, 4 in descending order.
z, 4, l
Let q = 360 - 217. Let y = -2287/16 + q. Sort y, 3/2, 4 in ascending order.
y, 3/2, 4
Suppose -2*j + 0 + 2 = 0. Sort 4, -4, j in increasing order.
-4, j, 4
Let i be 3/(26/10 + -2). Sort -4, i, 2, -2 in increasing order.
-4, -2, 2, i
Let w = 2 - 1. Let g = -3 + 8. Suppose -26 = q - 5*h, -4*h + 29 = -4*q + g. Put w, q, 0.1 in increasing order.
q, 0.1, w
Let b = 0.14 + -0.08. Let h = b - -0.04. Put -3, -1/4, h in decreasing order.
h, -1/4, -3
Let s be 2/(-3)*(-6)/(-2). Let y(z) = -z**2 - 12*z + 14. Let t be y(-13). Sort -5, s, t in decreasing order.
t, s, -5
Suppose -5*i + 6 = -14. Let s(f) = f**2 - 3*f - 7. Let b be s(5). Put i, b, -3 in descending order.
i, b, -3
Let u = 0.22 - -0.18. Put u, -1, -0.1 in descending order.
u, -0.1, -1
Let m(h) = -h**2 + 2*h - 2. Let t be m(3). Sort -4, t, 5.
t, -4, 5
Let d be (-2)/1 - (-6)/108*33. Sort -14, -2, d in decreasing order.
d, -2, -14
Suppose 45 = -3*g + 57. Put 5, -3, g, 3 in decreasing order.
5, g, 3, -3
Suppose 2*g + i + 5 = 7*g, -15 = 3*g + 3*i. Put 3, g, -4 in increasing order.
-4, g, 3
Let w = -13.1 - -2.7. Let r = w - -10. Sort 0, 4, r in descending order.
4, 0, r
Let q be 2/6 - (-40)/(-210). Sort -2, 23, q, 5 in ascending order.
-2, q, 5, 23
Let f be (-3)/14 + 1/2. Let y = 0.04 + -0.44. Let k = 0.1 - y. Sort k, f, 0.2 in increasing order.
0.2, f, k
Let d = 2 + -1.8. Let u be 0/3 + (1 - 3)/(-1). Put d, u, -1/6 in decreasing order.
u, d, -1/6
Let p = 17 -