- 5*o - 21. Sort o, -2, -5 in decreasing order.
-2, -5, o
Let i(o) = -o**3 + 7*o**2 - 6*o + 2. Let h be i(6). Let y = 211 + -210. Sort y, 0, h in increasing order.
0, y, h
Let n(y) = -y**3 - 2*y**2 + 3*y + 1. Let p be n(-2). Let h be 80/15 - (-1)/(-3). Suppose -4 = -i + w, -2*i + w = -h*i. Put i, p, 4 in increasing order.
p, i, 4
Let s = 186 - 180. Put -7, -1, s in decreasing order.
s, -1, -7
Let f = -3 + 3. Suppose f = -p + 5 - 4. Let g be (2 - p)*(1 + -3). Put g, -5, 1 in decreasing order.
1, g, -5
Let c = 8 + -4. Suppose 0*k = 5*o + 3*k + 17, o - c*k - 15 = 0. Let y be 0*(o - (-1)/2). Put y, -5, -3 in increasing order.
-5, -3, y
Let q = -4.2 + 0.2. Let g = 0.47 + -0.67. Sort 4, g, q.
q, g, 4
Suppose 5*b - 2*b = 12. Let x = b - 5. Suppose -2*y - r + 2 = 0, -y + 3*r + 4 + 4 = 0. Sort x, y, 5.
x, y, 5
Let c be 60/42 + 8/14. Let q be ((-3)/(-27))/(0 + 1). Sort c, q, 1.
q, 1, c
Let i = -2 + 2.5. Let k = 11 + -6. Let q = k + -5. Put q, i, -1/11 in increasing order.
-1/11, q, i
Let l = 32 - 34. Put l, 2, 0 in ascending order.
l, 0, 2
Let w = 30.1 + -30. Let a = -56 - -109/2. Sort w, a, 4.
a, w, 4
Let j be -2 + 14/4 + (-2 - -1). Suppose 0 = -x + 3. Sort x, j, 4/3 in descending order.
x, 4/3, j
Let d = -19 - -17. Sort d, 2, -3 in decreasing order.
2, d, -3
Let z(d) = -d + 5. Let y be z(5). Suppose 0*c = 5*a + 4*c + 32, y = -4*a - 5*c - 31. Let s = -1 + a. Sort s, -2, -4 in ascending order.
s, -4, -2
Let c be (132/(-48))/(3/2). Let g = c + 4/3. Let z = 1.3 + -0.3. Sort 0.1, g, z.
g, 0.1, z
Let x = -68 - -27. Let n = -26 - x. Suppose -5*z - n = 0, 0 = -u - 5*z - 13 + 1. Sort 3/2, u, 1/6.
1/6, 3/2, u
Let s = -8 - -10. Let a = s + 2. Let j = a + -4. Put j, -2/13, 1 in increasing order.
-2/13, j, 1
Let q(b) = 7*b - b - 3*b + 2 - 2*b. Let f be q(-2). Sort f, 5, 1 in ascending order.
f, 1, 5
Let c = -657/10 + 66. Let q = 1/70 - c. Sort 1, q, -0.3 in increasing order.
-0.3, q, 1
Let b = -571179/5035 + 42/1007. Let v = b - -113. Let a = 0.8 + -0.3. Sort -2/9, v, a in descending order.
a, -2/9, v
Let c be 1/((3/(-12))/(-1)). Suppose 0 = -3*w + c*z + 47, 0*w + w = 2*z + 15. Suppose -w = -5*x + a, -a - 4*a + 19 = x. Sort -1, 2, x in decreasing order.
x, 2, -1
Let u be ((-2)/(-4))/((-3)/90*-5). Suppose 0 = 3*x - 5*f - 9, 4*x = -5*f - 15 - 8. Sort u, x, -4 in ascending order.
-4, x, u
Suppose 4*t + 24 = 4*h, -5*t = -3*h + 10 + 10. Sort -5, t, -26 in decreasing order.
t, -5, -26
Let u = -7 - -12. Let d be -1 + 12/(-4) + u. Sort d, 5, 4.
d, 4, 5
Let n be (-1)/((6/8)/(-3)). Suppose 0*a = -n*a - 2*r - 16, -5*a - 26 = 4*r. Sort a, -5, 0 in decreasing order.
0, a, -5
Suppose 4*r - 20 = 2*b, -2*b + r + r - 12 = 0. Let j = b + -1. Let o be (4/6)/(6/(-9)). Sort o, -5, j.
-5, j, o
Let d = -15 - -6. Let v be (d - -4)*(-6)/10. Let l(h) = -h + 9. Let p be l(5). Sort v, -4, p in decreasing order.
p, v, -4
Let k = -0.07 - 2.93. Let l = k - -4. Put l, -1/3, 2 in decreasing order.
2, l, -1/3
Let d = 8 - 11. Put 4, d, 1 in decreasing order.
4, 1, d
Let b be 1 + 1 - (-7 + (-5 - -9)). Put b, -7, -4, -5 in increasing order.
-7, -5, -4, b
Let i be 60/27 + (-2)/9. Suppose -i*v + v = -4. Let u(j) = -j + 2. Let q be u(6). Put q, 3, v in descending order.
v, 3, q
Let j = 18 - 23. Put -4, j, 2 in ascending order.
j, -4, 2
Let x = -43 + 257/6. Put 1/4, x, 2 in decreasing order.
2, 1/4, x
Let h = 7 + -4. Sort -0.4, h, -4/7 in descending order.
h, -0.4, -4/7
Let p be 4/2*(6 - 26/4). Suppose 0 = -3*h - h - 4*g - 36, 4*h - 3*g = -1. Sort 1, p, h.
h, p, 1
Suppose -2*l + 0 = -12. Let k = -6 + l. Let d be (k - -1)*(-8)/68. Sort 2, d, 1 in descending order.
2, 1, d
Let k = -1/95 - -58/95. Let u = -7 - -12. Sort -0.2, u, k.
-0.2, k, u
Let m = -0.015 - 1.985. Sort 6, m, -5 in ascending order.
-5, m, 6
Let j(x) = 2*x - 6. Let b be j(5). Suppose -h = -2 + 3. Sort 5, h, b in decreasing order.
5, b, h
Let u be 5/6*1/(-5). Let w = 4 + -4. Sort u, 2/17, w.
u, w, 2/17
Suppose -2*l = 4*l + 2*l. Let d be (-3 - -4)/(2/26). Sort d, -1, l.
-1, l, d
Let v(u) = -5*u**2 + 13*u + 8. Let g(p) = -4*p**2 + 12*p + 7. Let b(s) = -6*g(s) + 5*v(s). Let o be b(-6). Sort 2, o, -2 in decreasing order.
o, 2, -2
Let z = 9.4 - 5.1. Let g = z + -4. Sort -0.3, g, -5 in decreasing order.
g, -0.3, -5
Let k be 2 - (-3 - 8 - -1). Suppose -k = 5*h + 8. Put 0, 1, h in increasing order.
h, 0, 1
Let f be 48/36*3/4. Sort 3, 27, f, -1 in descending order.
27, 3, f, -1
Let t = -29 + 74. Let b be (-87)/t + 6/10. Put b, 6/5, 5 in descending order.
5, 6/5, b
Let k be 0 - -2 - -1 - 2. Suppose -w = -t + 1, 2*w = -3*t + 4 + 19. Put w, k, 0 in ascending order.
0, k, w
Let b = -11 - -9. Sort 5, 0.2, b in decreasing order.
5, 0.2, b
Let u = -62 + 67. Put 0, -2, u in increasing order.
-2, 0, u
Let y be 3*(2 + 0) - 2. Suppose 0 = -4*b + 3*b + 10. Suppose f - b = -5. Sort -4, f, y in decreasing order.
f, y, -4
Suppose 10*j + 21 = 11. Sort 2, j, -12 in ascending order.
-12, j, 2
Suppose -4*b = -3*c + 16, -2 = b + 2. Let o be (8/(-12))/((-1)/(-3)). Sort o, c, 2.
o, c, 2
Let k = -3 + 3.5. Let d = -3 - -1.5. Let a = d + k. Sort a, 5, -5 in descending order.
5, a, -5
Suppose 0 = -a - 4*a. Let f(j) = -j**3 + 8*j**2 + 9*j + 1. Let d be f(9). Let z = 5 - d. Put a, 2, z in increasing order.
a, 2, z
Let x = 17 + -10. Let f = 2 - x. Sort f, -3, 0.1 in descending order.
0.1, -3, f
Suppose -2*z - z = -5*w + 5, -z - 5 = 0. Let g be (w - -4)*(-3 + 4). Let u = 1 - g. Sort 0, u, 1 in decreasing order.
1, 0, u
Suppose g - 4*o = -7, o - 5*o = -4*g - 40. Put 0, -5, g in ascending order.
g, -5, 0
Let b be (-272)/12 - 2/(-3). Let n be b/24 + (-2)/(-8). Let h = 9 - 5. Put -5, n, h in decreasing order.
h, n, -5
Suppose 0 = 5*s - 5. Let b(z) be the first derivative of z**2/2 + 9*z - 3. Let p be b(-9). Sort p, s, -2.
-2, p, s
Let s = 1 + -4. Let x = s - -2.99. Let i = -0.19 + x. Put i, 0.1, 0 in decreasing order.
0.1, 0, i
Let y = -14.53 - -15. Let l = y + 0.03. Put 2, l, 5 in descending order.
5, 2, l
Let r be (-76)/18 + (9 - (-632)/(-72)). Sort -6, r, -5 in ascending order.
-6, -5, r
Let b = 3.2 + -1.2. Let j = 1 - b. Sort -3, 4, j in decreasing order.
4, j, -3
Let c(i) = i**3 + 5*i**2 - 2. Let w be c(-2). Let y be 34/w - (-3)/5. Let p = 0 + -0.1. Sort p, y, -0.3.
-0.3, p, y
Let j(g) = -g + 9. Let a be j(4). Suppose 9 = -a*s + 2*s. Put 5, s, -4 in decreasing order.
5, s, -4
Let z = -14 - -14. Sort z, -2/3, 0.2.
-2/3, z, 0.2
Let r = 166.08 + -161. Let g = r + -0.08. Let w = 7/2 + -19/6. Sort w, -1/4, g in descending order.
g, w, -1/4
Let r(s) = -2*s - 6 - s**2 + 5 + 13*s. Let c be r(11). Put -4, c, 1 in decreasing order.
1, c, -4
Let b = 5 - 2. Suppose 2*o = 2*y + 8, -y = 4*y + b*o + 4. Let q = y - -7. Put -3, 4, q in increasing order.
-3, 4, q
Suppose -3*a = 12 - 3. Sort 2, a, -2 in ascending order.
a, -2, 2
Suppose -3*a - 2*a + 120 = 0. Suppose 4*y = -4*z + a, -3*z = 3*y + y - 19. Let j be ((-1)/(-3))/((-2)/(-24)). Sort -4, j, y.
-4, y, j
Let v be 0*1/(8/4). Suppose v = -4*d - 0 + 16. Put -6, d, -4 in decreasing order.
d, -4, -6
Let f = -9 - -13. Let r = -4 - -9. Let l be (3/r)/((-2)/5). Put 0.1, l, f in ascending order.
l, 0.1, f
Suppose -2*y + 25 = -3*z, 2*z + 15 + 3 = 2*y. Sort 0, z, -10 in decreasing order.
0, z, -10
Let g = -15 + 15.4. Let q = 5 + -3. Let y = 2.92 + 0.08. Put q, g, y in descending order.
y, q, g
Suppose 2 + 10 = 4*w. Suppose s = -0*s - w. Sort s, 2/21, 4/9.
s, 2/21, 4/9
Let x(h) = h**3 - 4*h**2 - 5*h - 5. Let n be x(5). Sort 0, -4, 3, n.
n, -4, 0, 3
Let w be 18/9*(-46)/(-4). Let s = -26 + w. Sort 1, s, -5.
-5, s, 1
Let b = -7 + 2. Let d = -1 - -3. Let f = -927 - -927. Sort b, f, d in descending order.
d, f, b
Let q = 2 + 4. Let t(r) = r**3 - 5*r**2 - 7*r - 8. Let d be t(q). Let p be (-4)/(-2) + d/6. Sort -4/7, p, -3 in decreasing order.
p, -4/7, -3
Let m(l) = l**3 + 7*l**2 - 7*l - 4. Let z(y) = -2*y**3 - 14*y**2 + 15*y + 8. Let i(c) = 13*m(c) + 6*z(c). Let u be i(-7). Let t = -1 + 6. Sort u, t, -1.
-1, u, t
Suppose 4*c - 5*c = -5. Suppose -4*o - 32 = -c*m - o, o = -4. Sort m, -3, -1.
-3, -1, m
Let p(l) = -l**2 + 7*l + 1. Let o be p(7). Let k be 4/(-5) - (0 - o). Sort 3/5, k, -1.
-1, k, 3/5
Let o = 15 + -10. Suppose w + 5*k = 20, 4*w + w + 4*k + o = 0. Let z = 10 - 6. Put w, z, 1 in decreasing order.
z, 1, w
Suppose 5*h + 10 = -0. Let j = -2 - h. Let