 - 1 = -0. Sort k, 5, n in increasing order.
n, k, 5
Let x = -6 + 2. Sort x, 0.2, -1 in increasing order.
x, -1, 0.2
Let r = -83 + 81. Suppose 4*t - 3 = -5*z - 2, 2*z + 26 = 5*t. Put 4, r, z in descending order.
4, r, z
Suppose -4*o - 3 = -11. Suppose 5*u = -3*d - 14, 2*u + 0*u = -2*d - 4. Suppose 5*z = -5*z. Sort z, o, u.
u, z, o
Let l be 2 - 2/(-6)*-3. Let n be (-1 - l) + 3 + -6. Put -0.2, n, -0.1 in increasing order.
n, -0.2, -0.1
Let v be 2*(-1)/2*2. Sort 0, v, -1 in decreasing order.
0, -1, v
Let n = 0.04 - -0.36. Let f = 10 + -16. Let g = 5.6 + f. Sort 2, n, g.
g, n, 2
Let m = -4 + 9. Let d be (0 - (-2 - -1))*m. Suppose 5*o - 5*n = -9 - 11, -4*n + 12 = 0. Put o, d, 0 in descending order.
d, 0, o
Let m = -4 - -7. Let y be m/(1 - (1 - 1)). Suppose 16 = 4*u - 4. Put -5, y, u in ascending order.
-5, y, u
Let q = -1 - 6. Let x = -6 - q. Let y be 22/(-70) + 6/(-21). Sort -1/2, x, y.
y, -1/2, x
Let m be 1/(-3) + (-5)/(-15). Let h be m/(-1 - 1) - 0. Sort h, -2, 5 in decreasing order.
5, h, -2
Let q = -4 - -8. Put -1, -8, q, -4 in ascending order.
-8, -4, -1, q
Let z = -73/480 - -7/32. Sort -0.5, z, 3/5 in decreasing order.
3/5, z, -0.5
Let u(n) = -n + 1. Let r be u(-8). Suppose c + r = 4*c. Let d be (3/c)/(1/(-2)). Sort 3, d, -3.
-3, d, 3
Let j be 4/6 - 32/(-6). Sort -1, j, 2 in ascending order.
-1, 2, j
Let p = 3 - 5. Let r = 1 - p. Let o be -2 + (-24)/15 + r. Put 0.5, o, -2 in descending order.
0.5, o, -2
Let o = -56 + 61. Sort 5/4, 1, -2, o.
-2, 1, 5/4, o
Let i = -3.6 - -4. Let l = -26 + 31. Suppose 0 = 2*b + h + 6, -3*b + 3*h = -5*b - 2. Put l, b, i in descending order.
l, i, b
Let c be (0 + 0)/(-5 - -6). Let a(b) = 2*b - 4. Let t be a(4). Suppose -9 = t*x + 7. Sort x, 1, c.
x, c, 1
Let i = -1 + 0.5. Let f be (-6)/(-14)*2/(-3). Put i, 0.4, f in decreasing order.
0.4, f, i
Let t = -23 + 41. Let x = -13 + t. Let a be (2/6)/(2/(-12)). Sort a, x, -1 in increasing order.
a, -1, x
Let z(y) = y**2 - 4*y - 2. Let h be z(5). Suppose 0 = -4*g, 3 = 4*l + 2*g - 13. Put h, l, -4 in descending order.
l, h, -4
Let o = -4 + 1. Let r = -3.3 - o. Put r, 1/10, -4 in ascending order.
-4, r, 1/10
Let z = -2 + 5. Let o be (z + 1)*2/(-4). Sort o, -4, -3 in increasing order.
-4, -3, o
Let o = 11 - 10. Suppose 3*q + 2*d = 12, -3*q - d = 4*d - 21. Put q, 9, o in increasing order.
o, q, 9
Let s be (1 - (-6)/4)*-2. Let c = 9 + s. Let g = -4 - -7. Sort g, c, -0.1 in ascending order.
-0.1, g, c
Let x = 155/7 - 22. Sort x, -2, 2.
-2, x, 2
Let y = 6 - 6. Sort y, 2, 3 in increasing order.
y, 2, 3
Let n be -1*(2*26)/(-2). Suppose 8*c = 4*c - 5*j - n, -4*j - 28 = 5*c. Suppose -7*f - 6 = -2*f - 3*m, 2*f = -m + 2. Put f, c, 5 in increasing order.
c, f, 5
Let u = -17 - -25. Let c = 2 - u. Let x = c - -11. Sort x, 0, 3 in increasing order.
0, 3, x
Let j = -289/210 + 3/70. Put 1, 2/5, j in decreasing order.
1, 2/5, j
Suppose 3 + 9 = 2*m - 4*s, s + 3 = -3*m. Let h(i) = -i + 12. Let l be h(10). Let n = 10 + -5. Sort l, m, n in decreasing order.
n, l, m
Suppose -2 - 8 = 2*v. Let q(i) = i**3 + 2*i**2 + 4*i + 3. Let f be q(-2). Let y = f + 9. Sort -4, y, v in ascending order.
v, -4, y
Let v = 57 - 37. Let b be (-8)/(-2)*2/v. Sort 0.3, 0.2, b in descending order.
b, 0.3, 0.2
Let x(i) = -i - 2. Let s be x(-4). Suppose 0 = 5*b - 15, 3*b - 5 = -2*f - 0. Let m = 6 + f. Sort s, m, -3 in descending order.
m, s, -3
Let m be 2242/133 + (-6)/7. Sort 3, m, -0.3 in decreasing order.
m, 3, -0.3
Suppose 4 + 0 = h. Suppose 108 - 8 = h*u. Suppose -2*z - p + 0*p - 3 = 0, u = -5*z + p. Put z, 5, 4 in descending order.
5, 4, z
Suppose 13*i - 13 = -0. Let h be ((-3)/9)/(2/(-30)). Put h, i, 4 in increasing order.
i, 4, h
Suppose 3*r = -5*y + 30, -3 = y - 2*r + 4. Put 5, y, -4 in ascending order.
-4, y, 5
Suppose 0 = -2*j - 6 - 0. Sort -0.1, j, -5.
-5, j, -0.1
Let j(i) = -2*i + 6. Let b be j(2). Let v = -10 - -13. Sort b, v, -7 in descending order.
v, b, -7
Suppose -29 = 5*a + w, 0*a = 4*a + 2*w + 22. Let s be 14/21*a/(-8). Sort -1, -1/4, s.
-1, -1/4, s
Let a be (4 + -6 + 1)*11. Let g = 4 + a. Sort 2/3, g, 4.
g, 2/3, 4
Let s(g) = -g**3 + g**2 - 2*g + 4. Let u be s(0). Let b be ((-2)/(-3))/((-6)/(-27)). Sort -3, u, b in decreasing order.
u, b, -3
Suppose 3*j = -c + 5*c + 545, -2*j - 10 = 0. Let z = c + 275/2. Sort -0.4, -1, z in descending order.
-0.4, -1, z
Let b = 14 - 9. Put 2, -4, b in increasing order.
-4, 2, b
Suppose 5*a + 3*c = 34, -4*a = -0*c + 3*c - 29. Sort 1, a, -3, -5 in descending order.
a, 1, -3, -5
Let o = -10 - -12. Suppose 5*f + 4*p = -18, 5*f - 4*p + 5 - 3 = 0. Let z = o + f. Put -1, 4, z in decreasing order.
4, z, -1
Let v(m) = -m**3 - 2*m**2 + 7*m - 6. Let x be v(-4). Put x, -3, -4 in decreasing order.
x, -3, -4
Let n = -3044/105 - -202/7. Sort 1, n, 3, -2.
-2, n, 1, 3
Let a be 20/(-6) + 8/(-12). Let g be 65/9 + a/18. Let z(u) = -u**3 - u**2 - 2. Let i be z(0). Sort g, 3, i.
i, 3, g
Let i = 0 + 0. Sort i, 2/13, -1/4.
-1/4, i, 2/13
Let g = -2004/11 - -182. Put 0, g, 5 in decreasing order.
5, 0, g
Let v(o) = 116*o + 3. Let w be v(-2). Let i = -1829/8 - w. Let x be 5*1*1/3. Put -0.1, i, x in descending order.
x, i, -0.1
Suppose 20 = -5*o - 5*z, -5*z + z + 12 = -3*o. Let k be (3 - 5)*(-10)/o. Sort 4, -4, k in descending order.
4, -4, k
Let x(c) = -2*c + 3. Let n be x(-1). Let h = -1 + 1. Sort h, n, -2.
-2, h, n
Let b = -5 + 1. Let c = 48 - 53. Put b, c, -3 in decreasing order.
-3, b, c
Let j = -310.3 + 310. Let d = -0.9 - -1. Let i = d - 0.2. Sort i, j, -1/3.
-1/3, j, i
Let r(o) = o**3 - o**2 - 3*o. Let m be r(3). Let d = -13 + m. Let t = d - -6. Sort t, 4, -0.1 in descending order.
4, t, -0.1
Let r = 0.1 + -0.1. Let o = -1/3 + 16/21. Let t be (-2 - -1) + -3 - -8. Sort r, t, o in ascending order.
r, o, t
Let f = -9 + 11. Put -5, 4, f in ascending order.
-5, f, 4
Let q(k) be the first derivative of -2*k + 2/3*k**3 - 3 - 1/4*k**4 + 3/2*k**2. Let r be q(3). Sort r, -4, 2 in descending order.
2, r, -4
Let g = 85.7 - 86. Sort 0, 2, -6, g in ascending order.
-6, g, 0, 2
Let p(w) = -3*w**2 - 1. Let y be p(-1). Let f(o) = -o + 3. Let m be f(-4). Let h be (-4)/14 + (-19)/m. Sort y, 5, h in descending order.
5, h, y
Let j = 0.33 - 0.13. Let p = -0.2 + 0.7. Sort p, 0, j in decreasing order.
p, j, 0
Let d be (-8)/(-302)*(-4)/8. Let m = d - 296/453. Sort 3, -2/9, m in ascending order.
m, -2/9, 3
Let z = -2.93 - -3. Let g = 0.87 - z. Let s = -0.3 + g. Put s, 5, -0.4 in descending order.
5, s, -0.4
Let j be (-4 - -2)/(4/6). Let t = 1 + 0. Let l = t + j. Sort 3, l, -4 in increasing order.
-4, l, 3
Let w(i) = -i**3 - 3*i**2 + 2*i - 3. Let l(q) = q**3 - 4*q**2 - q. Let z be l(4). Let u be w(z). Suppose 0 = -u*h - 5 - 5. Sort h, -4, 2 in ascending order.
-4, h, 2
Let l(c) = c + 15. Let s be 2/4*-2*11. Let j be l(s). Sort -4, -2, j.
-4, -2, j
Suppose 2*o - o + 1 = 3*f, o = f - 3. Let t = -0.42 + 0.17. Let j = t - -1.25. Sort j, -2, f in decreasing order.
j, f, -2
Let u be (-1)/(-5) + (-6)/10. Let g be 1 - ((0 - -1) + 2). Put -1, g, u in decreasing order.
u, -1, g
Let g(a) = -2*a**2 + 13*a - 1. Let d be g(6). Put -5, d, 1 in increasing order.
-5, 1, d
Let p be (-12)/8 - (-10)/4. Let q(k) = 6*k**2 + k - 2. Let i be q(p). Sort 2, -5, i in increasing order.
-5, 2, i
Let o be ((-1)/(-2))/(4/16). Let f be ((-2)/(-3))/((-9)/27). Put f, -1, o in ascending order.
f, -1, o
Let o(k) = -k**2 - 12*k - 7. Let u be o(-11). Suppose -i + u*i = 18. Suppose -i = 2*p - 4*a + 2*a, 5*a - 25 = 0. Sort -3, p, 1 in decreasing order.
p, 1, -3
Let f(m) = 2*m - 8. Let r be f(8). Suppose -d + 6*d + r = -z, 9 = 3*d - 4*z. Sort 2, d, -2 in increasing order.
-2, d, 2
Let q be (-16)/(-7) - (-4)/(-14). Let y(a) = -2*a - 65. Let j be y(-35). Put q, j, 1 in descending order.
j, q, 1
Let z = 7 - 13. Let i be 24/(-16)*8/z. Suppose 2*q = i - 10. Sort 0, 5, q.
q, 0, 5
Let p = -123.3 + 123. Put p, 3, 1, 0.05 in ascending order.
p, 0.05, 1, 3
Let k = 2 - -3. Sort k, -1, -4, -3.
-4, -3, -1, k
Suppose -2*q = -4*i - 6, -3*i = -4*q + 2 + 5. Let n = q + 4. Put -6, -2, n in descending order.
n, -2, -6
Suppose -5*m - 60 = -65. Sort m, -5, 3, 5.
-5, m, 3, 5
Suppose -9 = -5*d + 2*d. Suppose 2*v + 2*v - 16 = 0. Let l be (v/(-5))/(3/15). Sort d, 5, l in ascending order.
l, d, 5
Let g be 12/8*(-10)/15. Sort 0, -14, g in increasing order.
-14, g, 0
Let s = -0.