order.
16, m, 0
Suppose -i - 4*i = 0. Suppose -5*p = -i + 50. Let g = -6 - p. Sort g, 1, -4 in decreasing order.
g, 1, -4
Suppose 0 = -c - 2 - 3. Let t = 1.6 + -1. Let g = -1 + t. Sort c, g, 5.
c, g, 5
Let r be ((-18)/(-108))/(-1 - 0). Let f = 870/7 + -124. Put r, -0.3, f in decreasing order.
f, r, -0.3
Let c be (4/8)/((-1)/(-6)). Suppose -c*n + 3*q = -5*n + 10, 8 = -n + 5*q. Let s be (-4)/8 + (-22)/(-4). Put n, -1, s in decreasing order.
s, n, -1
Let b(g) = g**2 - 6*g - 2. Let y be b(6). Let f be (y/(-20))/((-2)/(-4)). Let w = -4.3 + 4.3. Sort w, f, -0.4 in decreasing order.
f, w, -0.4
Let f = -5 - -9. Suppose 2*i - 4*i = 8. Let z = i + 1. Put z, -2, f in increasing order.
z, -2, f
Let p(g) = -g**2 - 2*g + 3. Let q be p(-3). Sort -1, q, 14.
-1, q, 14
Suppose -3*f = -0*f + 3*m - 15, -m = 0. Put 7, f, -4, 4 in ascending order.
-4, 4, f, 7
Let q = 0 - 1. Suppose -3*r - r = 0. Put q, 1, r in descending order.
1, r, q
Suppose -20 - 3 = 3*h + 4*p, -4*p - 33 = 5*h. Let d be (4 - (-28)/(-20))*5. Let k = d + -17. Sort h, k, -2.
h, k, -2
Let u = -5.7 - -6. Sort u, -1, -4 in ascending order.
-4, -1, u
Let c be (9/27)/(2/6). Sort -1, -32, c.
-32, -1, c
Let j(m) = m - 11. Let o be j(5). Let f = o + 31/5. Put -2, f, -3 in increasing order.
-3, -2, f
Let c be 9/(-2) + 2 - 2/4. Put -5, -2, 0, c in descending order.
0, -2, c, -5
Let k = -15 + 12. Put k, 2/3, 2/9, 5 in descending order.
5, 2/3, 2/9, k
Let d = 11.17 - 0.17. Let n = d + -7.5. Let w = -3 + n. Put -1, w, -3/8 in ascending order.
-1, -3/8, w
Let g(s) = s**2 - 3*s - 3. Let p be g(-2). Suppose 2*n - 2*y - y = 16, n = y + p. Put -4, n, -5 in ascending order.
-5, -4, n
Let b = -30.7 + 32. Let x = b - 1.5. Sort x, 0.4, 0 in increasing order.
x, 0, 0.4
Suppose 3*l - 15 = -4*r + 2*l, l = 3. Let g(f) = -f**2 + 8*f - 3. Let d be g(7). Sort d, r, -4 in descending order.
d, r, -4
Let j(g) = -g**2 + g + 10. Let n be j(4). Sort 2, n, -1, 4.
n, -1, 2, 4
Let i(l) = -8*l**2 - 104*l - 5. Let j be i(-13). Suppose o + 4 + 0 = 0. Sort o, j, 1.
j, o, 1
Suppose -4*s + 7 = 5*d + 2, 3*s = 5*d + 30. Sort -2, s, 2 in ascending order.
-2, 2, s
Let m(d) = -d + 10. Let y be m(15). Let i(o) = 2*o + 11. Let a be i(y). Suppose -4*g + 10 = -10. Put a, 4, g in ascending order.
a, 4, g
Let x be 0 + 0 - (-4)/(-14). Let m = -5 - -10. Suppose -t - 4*g = -17, 8*t + m*g - 25 = 3*t. Put t, -4, x in increasing order.
-4, x, t
Let r be (-2)/(-6)*3*4. Suppose -4 = -4*l + r*y, -l - 2*y = -2 + 1. Suppose 11*u = 12*u + 5. Put l, u, -4 in descending order.
l, -4, u
Let h(c) = -c**2 - 8*c - 4. Let z(t) = -t**2 - 8*t - 5. Let k(q) = 5*h(q) - 6*z(q). Let f be k(-7). Sort 2, 5, f.
2, f, 5
Let t = -19 - -24. Sort 4, 1, t, -2 in decreasing order.
t, 4, 1, -2
Suppose -w = -4*u + 23, 0 = -u - 5*w - 17 + 7. Sort -1, 2, -15, u.
-15, -1, 2, u
Let x = -5.1 + 0.1. Let z = x - -6. Let y = z + -2. Sort 5, y, 4 in descending order.
5, 4, y
Let x(p) = p**3 - 8*p**2 + 5*p + 7. Let g be x(7). Let l = g - -12. Sort l, -4, -5 in descending order.
l, -4, -5
Let q(r) = r. Let o be q(4). Put -5, o, -0.3 in descending order.
o, -0.3, -5
Let v be (-391)/(-68) + (-1)/(-4). Sort -5, v, -2 in descending order.
v, -2, -5
Let l = 7 + -4. Let y = 0 - l. Suppose -23 = -t - 20. Sort -0.5, t, y in increasing order.
y, -0.5, t
Let d be ((-4)/(-10))/((-3)/30). Let i be 2*(0 + 1/(-4)). Put d, i, -1/4 in ascending order.
d, i, -1/4
Suppose 3*b = -m + 9, -2*m - 11 = -4*b - 3*m. Let k = -7 - -4. Put 5, k, b in descending order.
5, b, k
Suppose -5*s + 15 + 45 = 0. Let j be 2/8 + 9/s. Put 3, j, -1 in decreasing order.
3, j, -1
Suppose -3*z - 6 = 0, 2*p + 4*z + 0*z = 0. Let t = -529/3 - -179. Sort 3, t, p in decreasing order.
p, 3, t
Let y be -2 + (-11)/9*-3. Put 3, y, -2/19 in decreasing order.
3, y, -2/19
Let n = -39 - -34. Sort n, 1, 2.
n, 1, 2
Let v = -4.304 + 0.304. Let j = 1 + -1. Let k be (0 - j) + (1 - 0). Put 3, k, v in ascending order.
v, k, 3
Let x = 5 + -1. Put x, 1, -4/3 in increasing order.
-4/3, 1, x
Suppose -3*w - w + 28 = 0. Let y(u) = u - 6. Let r be y(w). Put r, 5, 4 in increasing order.
r, 4, 5
Let i = 38 + -22. Suppose -2*a + 6*a - i = 0. Sort 2, a, 1 in increasing order.
1, 2, a
Let l = 46 - 27. Suppose -2*t - 19 = -0*t - 5*w, 0 = -3*t - 2*w + l. Suppose 5*i + 26 = 1. Sort i, t, 4 in decreasing order.
4, t, i
Suppose u = 4*u + 15. Suppose -5*x + 5*h = 0, -3*x = -0*x - 4*h - 2. Sort -6, u, x in decreasing order.
x, u, -6
Let g = 26 + -12. Suppose -5*u - 3*j = 16, -2*u = -6*u - 2*j - g. Let z = 0 + u. Sort z, -3, 0.
z, -3, 0
Suppose 3*n + 4*s = 11, 3*s = -0*n - 4*n + 3. Let y be (-1)/(-588)*n/(-2). Let m = -6/49 - y. Sort 1, m, 0.1 in descending order.
1, 0.1, m
Suppose 2*v = 2 + 2. Suppose -4*k = -3*k, 5*w = -v*k - 15. Sort -2/9, -5, w in decreasing order.
-2/9, w, -5
Let v = 1 + 0. Let a be (v + 0)/((-3)/(-15)). Let y be -2 + (5*-1)/(-1). Sort 1, y, a in decreasing order.
a, y, 1
Let z = -24 + 23.6. Let r = -0.1 + 5.1. Put z, 2/9, r in ascending order.
z, 2/9, r
Let c be (-25)/(-2)*(-2)/(-10). Let k(p) = -p**3 - p**2 + p - 1. Let b be k(-2). Sort c, 3/2, b in descending order.
c, 3/2, b
Suppose 3*y - 18 = 9. Suppose -5*w = -5*a - 15, -5*a - w - y = -4*w. Suppose -8 = -2*x + 2*v, -3*v - 3 = -5*x + 13. Sort a, x, -5 in ascending order.
-5, a, x
Let m = -1 + -4. Let b be ((-8)/(-5))/((-2)/m). Put b, -4, -3 in descending order.
b, -3, -4
Let k = -167 - -1835/11. Put k, -4/5, -9/4 in descending order.
k, -4/5, -9/4
Let f = 9 + -18. Let m = f + 13. Put -2, m, 5 in decreasing order.
5, m, -2
Let l(z) = -z + 2. Let m be l(7). Let y be -5 - (-1 + (-4 - -6)). Put y, 0, m in ascending order.
y, m, 0
Suppose -52*f = -57*f + 15. Let x(u) = u**2 - 8*u + 8. Let g be x(7). Sort 2, g, f in decreasing order.
f, 2, g
Let h(l) = -2*l + 1. Let g be h(-2). Let j be -1*(-2 - -3)*-9. Let n be (-1)/(-4) + j/12. Sort n, 3, g in descending order.
g, 3, n
Let g = -0.83 - -0.43. Sort 2/17, g, -1.9 in descending order.
2/17, g, -1.9
Suppose -5*d - 5 = -r - 0*r, -2*d - 5*r = 2. Let z = 6 + d. Put z, 3, 1 in descending order.
z, 3, 1
Suppose 0 - 4 = -f. Put -15, 5, 1, f in ascending order.
-15, 1, f, 5
Suppose 41 - 63 = 2*j. Put -4, -3, j, 3 in decreasing order.
3, -3, -4, j
Let t = -31 + 26. Put 2, 4, t in descending order.
4, 2, t
Let d = 0.2 + -0.1. Let k = -9 - -9.9. Let v = k + d. Put -1/6, -2/9, v in descending order.
v, -1/6, -2/9
Let d = -112 - -117. Sort -3, d, -0.4 in descending order.
d, -0.4, -3
Let p(v) = v**2 + 6*v - 2. Let u be p(-7). Sort -3, -4, u in increasing order.
-4, -3, u
Suppose 2 - 3 = s. Let w(n) be the first derivative of n**3/3 - 4*n**2 + 4*n + 2. Let i be w(7). Sort i, 1, s in increasing order.
i, s, 1
Let k = -3 + 2.6. Let z = 0 + k. Let d = 2 - 1. Sort 2, z, d in ascending order.
z, d, 2
Let f = -3 - -8. Suppose 0*g - 3*g + 9 = 0. Suppose 0*d + d - g*k = 11, 0 = 3*d + 4*k + 6. Put 1, d, f in descending order.
f, d, 1
Let y = 3 - 2.95. Let d = 2.05 - y. Put -4, -0.1, d in decreasing order.
d, -0.1, -4
Suppose 0 = -5*u + 2*u + 6. Suppose u*b - 4 = 3*b. Sort b, -5, -1 in descending order.
-1, b, -5
Let p = -24 - -19. Suppose q = -3*q + 16. Suppose 5*b - 2 = q*o + 3, -2*b + 15 = o. Sort -0.1, o, p in descending order.
o, -0.1, p
Let r = 123 - 491/4. Put 2/5, -41, r, -2 in increasing order.
-41, -2, r, 2/5
Let n = -11.3 + 11. Let w be ((-48)/(-9))/2 - 2. Sort 3/8, n, w.
n, 3/8, w
Let v be 1 + (3 - 1) + 1. Suppose 3*a - 4*p - 6 + 20 = 0, v*p - 10 = 5*a. Put -3/4, a, -1/3 in decreasing order.
a, -1/3, -3/4
Suppose -4*s - 3 = -3*s. Let y = -2 + 2. Suppose -h = -y - 3. Put 0.3, s, h in descending order.
h, 0.3, s
Let c(w) = w - 7. Let s be c(6). Let f = -281 - -1973/7. Let h = s + f. Put -1/4, 2/3, h in descending order.
2/3, h, -1/4
Let t(q) = q + 5*q - 5*q - 5 + 0*q. Let s be t(7). Sort -5, s, -2.
-5, -2, s
Let t = 6 - 18. Let z = t + 7. Let o = 3.031 - 0.031. Sort -1/8, z, o in descending order.
o, -1/8, z
Let i be (-2)/5 + 6/15. Suppose -4*n - n + 15 = i. Sort 5, -2, n in decreasing order.
5, n, -2
Let j = -40 - -44. Suppose -p + 1 = -2. Suppose -p*b + 2*b = 0. Sort j, b, -5 in decreasing order.
j, b, -5
Suppose y = -4*w - 11, -5*w = -2*y - 2*y + 19. Put w, 2/3, -3/2, 5 in ascending order.
w, -3/2, 2/3, 5
Let n = 875/9 + -97. Put n, 5, -2/5 in descending order.
5, n, 