n, s*n - 4 = -2*n. Sort v, 3, -3 in ascending order.
v, -3, 3
Suppose 2*b = -4*w + 3*w + 1, 3*b - 24 = 3*w. Put -3/5, -0.1, b in decreasing order.
b, -0.1, -3/5
Suppose -4*d - 2*a - 10 = 0, -4*a - a - 25 = 5*d. Let o(v) = v**3 + v**2 - 2*v - 2. Let q be o(-2). Sort d, q, -5 in decreasing order.
d, q, -5
Let v = 4.8 - 2.8. Sort -11/2, v, 0.2.
-11/2, 0.2, v
Let c be 4/(-18)*(135/10)/(-9). Sort c, -1, -1/3 in ascending order.
-1, -1/3, c
Suppose -c + 1 = -5*i, i + 0*c - 2 = -2*c. Let m be (1/(-5))/(5 - 168/40). Sort -2/9, i, m.
m, -2/9, i
Suppose -16 - 14 = -5*a - 5*t, 23 = 4*a + 5*t. Sort 4, a, -4.
-4, 4, a
Let i = 0.037 - -3.963. Put 1/3, -2, i in increasing order.
-2, 1/3, i
Let k(z) = 2*z + 19. Let l be k(-12). Let y(r) = -r**2 + 1. Let f be y(-1). Let t be f + -1 - (0 + -1). Sort l, -4, t in decreasing order.
t, -4, l
Let l be (-19 + 1)*2/10. Let x = 116/35 + l. Sort 0.1, x, 0 in descending order.
0.1, 0, x
Let i(m) = -8 - 3*m - 3*m + 2*m + 4*m**2. Let v(c) = -3*c**2 + 4*c + 7. Let r(h) = -4*i(h) - 5*v(h). Let k be r(-2). Put k, 3, 0.3 in decreasing order.
3, k, 0.3
Let a be ((-1)/(-12))/((10/(-3))/10). Put 1/5, -0.2, 1, a in descending order.
1, 1/5, -0.2, a
Let g(k) = k + 13. Let r(h) = -4*h + 3. Let f be r(-3). Let d = 4 - f. Let o be g(d). Put -1, o, -2 in descending order.
o, -1, -2
Let x = -4 - -2. Let b be x/(-10)*-81 - 0. Let m = -17 - b. Sort 2, 0.1, m.
m, 0.1, 2
Suppose -2*h = -0*j + 3*j - 5, -4*j + 4*h + 20 = 0. Sort -12, j, -4, -1.
-12, -4, -1, j
Suppose -s - 9 = -4*p, 0*s + 3*s + 5 = p. Let c be 0/p + -1 - 4. Put -2, c, 4 in increasing order.
c, -2, 4
Let u(c) = -c + 3. Let x be u(7). Suppose 5*w + 23 = 3. Let t be 1 - (1*w)/(-2). Put -0.3, t, x in increasing order.
x, t, -0.3
Let l = 11 + -18. Let m = l - -6. Put -5, 0.2, m in increasing order.
-5, m, 0.2
Let t = 10 - 14. Let r = -2.98 - 0.02. Sort -0.3, r, t in increasing order.
t, r, -0.3
Let q be 0/(-1 - 1) - -3. Suppose -4*n = -2*l - 0*l + 14, q*l - 4*n = 13. Put 1, l, -5 in decreasing order.
1, l, -5
Let y = 12 - 8. Suppose 2*b + 3*b = 4*p - 21, 0 = -4*p + 16. Let g = 3 + b. Sort g, -2, y in decreasing order.
y, g, -2
Suppose 8*t - 17 = 15. Let q = -6 + 2. Sort t, q, -3.
q, -3, t
Let s be 16*1 - (1 - 0). Suppose 3*v - 5 = 7. Suppose v*k = -k - s. Sort -2/15, 4, k in decreasing order.
4, -2/15, k
Let s = 43 - 475/11. Let m = -0.98 - 0.02. Sort 5, m, s in decreasing order.
5, s, m
Let l(o) = -o + 3. Let g(z) = -z + 2. Let m(t) = -3*g(t) + 2*l(t). Suppose 4*a - 4 = y, 4*y - 2*a - 5 = -7*a. Let q be m(y). Put q, -5, 1 in descending order.
1, q, -5
Suppose -d = -3*h - 0 + 1, 0 = 2*d - 5*h. Suppose -5*n + d*c - 15 = 0, 0 = 2*n + 2*c - 0*c - 10. Put -5, n, 3 in ascending order.
-5, n, 3
Suppose -3*y + 1 = -3*i - 8, 8 = -2*i. Suppose -13 = 4*d - 5. Put y, d, 1 in decreasing order.
1, y, d
Let u(s) = s**2 + 4*s + 3. Let v = 0 - 2. Let r be u(v). Put -2, 5, r in ascending order.
-2, r, 5
Let q(t) = -t + 13. Let f be q(9). Put -3, f, -1 in decreasing order.
f, -1, -3
Let o(t) = -3*t + 2 - 4 - 1 + 2*t. Let a be o(-8). Suppose 3*u + 5 = -4. Sort a, 3, u in decreasing order.
a, 3, u
Let a(w) = w**2 - 6*w - 6. Let c be a(5). Let v = -7 - c. Put -2, v, -1 in ascending order.
-2, -1, v
Let u(v) = v**2 - 3*v + 4. Let a be u(3). Suppose -3*p = -2*o - 2, o - 2*p + a = -o. Suppose 2*z - 6*z + 5 = g, -2*g + 4*z + 10 = 0. Sort g, o, 2.
o, 2, g
Let h(c) = 2*c**2 - 3*c + 1. Let z be h(2). Suppose -2*y + 5*f = f + 24, -23 = 4*y - z*f. Let s be (y*(2 - 1))/7. Put s, -1, -2/11 in increasing order.
-1, s, -2/11
Let t(d) = -d**3 + d**2 + 11*d + 2. Let r be t(4). Put 2, 1, r in ascending order.
r, 1, 2
Suppose 5*t = -5*i + 4*i + 337, 9 = -3*i. Let p be (-15)/5*t/6. Let o be (-8)/(-36) - p/9. Put -4, 3, o in increasing order.
-4, 3, o
Let x = -13 - -19. Let i = x + -5.6. Sort i, -0.1, 5.
-0.1, i, 5
Let y be 94/8 - 8/(-32). Suppose 4*q = 3*m - 0*m - 12, -q = -3*m + y. Sort 0, -3, m in descending order.
m, 0, -3
Let f = 40562/62775 + -2/2025. Let n = -14577579/217 + 67178. Let g = n - f. Sort 3, -4, g in increasing order.
-4, g, 3
Let w(n) = -n**2 + n + 1. Let s(r) = 7*r**2 + 4*r - 4. Let v(j) = s(j) + 6*w(j). Let b be v(-10). Sort 0, b, -4 in decreasing order.
b, 0, -4
Let t(y) = y**2 + 6*y - 7. Let j be t(-7). Let p = 6 - 10. Sort j, -3, p in decreasing order.
j, -3, p
Suppose 0*c - c + 2*y - 12 = 0, 4*c + y = -12. Sort 2, c, -5 in increasing order.
-5, c, 2
Let d = -382 - -383. Suppose 2*q + 6 = 0, -3*v = -2*q + q - 12. Let x be (2/(-6))/(1/3). Put d, x, v in decreasing order.
v, d, x
Let c = 6 - 5.7. Let k = 0.2 - c. Let z = -3 + 7. Put k, -4, z in decreasing order.
z, k, -4
Let g(h) = h - 1. Let t be g(2). Let f be (-14)/49 + (-16)/(-7). Suppose 4*v + 5*j - 2 = 0, f*v + j - 3*j = 10. Put t, v, 2 in ascending order.
t, 2, v
Let d(c) = c**2 - 6*c - 4. Suppose 3*j = -5*n + 44, 6*j - 8 = n + j. Let z be d(n). Let u(v) = v + 4. Let t be u(-4). Sort z, t, 1.
t, 1, z
Let p(w) = -w**3 - 6*w**2 - 7*w - 7. Let m be p(-5). Put 4, 5, m in decreasing order.
5, 4, m
Suppose n = 3*n, 3*f = -n + 12. Suppose 3*x - f*x - 5 = 3*j, 2*x = -3*j - 10. Put -3, 1, x in descending order.
1, -3, x
Let q = -13 + 17. Sort 0.2, q, -2 in ascending order.
-2, 0.2, q
Suppose 5*z - 9 - 16 = 0. Suppose -2*s - 2*u = -2, 16 = -4*s + 3*u - 15. Put z, s, 1 in ascending order.
s, 1, z
Let s(p) = p**3 + p**2. Let w(i) = -i**3 - 5*i**2 - 2*i - 1. Let d(v) = -3*s(v) - w(v). Let b be d(-1). Sort 2, b, -1 in ascending order.
-1, 2, b
Let y be (-2)/2 - (-9 - -8). Put y, -4, 32 in increasing order.
-4, y, 32
Suppose 5*d - 12 = 8*d. Let u(g) = 2*g - 4. Let j be u(3). Suppose -10 = -0*b - j*b. Put b, 0, d in ascending order.
d, 0, b
Suppose -4*x + 2 = -3*x. Suppose 0*z = z - x. Put 0, z, 3 in descending order.
3, z, 0
Suppose -5*b - 2*y = 4 + 3, -2*b + 10 = 4*y. Put b, 0, 36 in descending order.
36, 0, b
Let w = -0.3 + 0.5. Let r = -3.2 + w. Let l = -36 + 179/5. Sort r, -1, l in decreasing order.
l, -1, r
Let n(u) = -u + 6. Let f be n(4). Suppose 0 = -2*b + k + 7, -2*b + 4*k = -5 - 5. Suppose -h + b*h = 2. Sort f, h, -1.
-1, h, f
Suppose -25 = -o - 4*o. Let n = o + -5. Put 4, n, -4 in descending order.
4, n, -4
Let v be 4/18 - (-150)/54. Put 1, 0, 2, v in increasing order.
0, 1, 2, v
Let l = -1.8 - -1.4. Sort l, 1, -1.3 in ascending order.
-1.3, l, 1
Suppose -4*n + 36 = -0*n. Suppose -n - 7 = -4*k. Let l = 38 + -43. Put l, k, 0 in increasing order.
l, 0, k
Let m be 1292/14 + (-4)/14. Let q = 15/11119 - -15366233/166785. Let u = m - q. Sort 3, 2/11, u in increasing order.
u, 2/11, 3
Let a = -30 - -271/9. Sort 2, -2, 2/3, a in decreasing order.
2, 2/3, a, -2
Let n = 10 + -6. Suppose -2*q = -4*w - 4, 0*w - 5*w = -4*q + 8. Suppose w = -5*y + y + 20. Sort y, 3, n in ascending order.
3, n, y
Let i = 26 - 26. Let h be ((-4)/(-2))/(0 + 2). Let l = 4 + h. Sort i, l, -2 in descending order.
l, i, -2
Let u(f) = f - 3. Let a be u(0). Let p(o) = o**2 - 12*o + 35. Let x be p(8). Sort x, a, 5.
a, x, 5
Let i = 0.17 - 0.22. Let y = -0.05 - i. Sort -1, y, -1/4 in descending order.
y, -1/4, -1
Let m = 0.6 + -3.6. Let b = -0.75 - 0.25. Put m, 0.3, b in decreasing order.
0.3, b, m
Let i = 5 + -2. Suppose y = i*y - 6. Put -3, -1, y in descending order.
y, -1, -3
Let t = 3.1 - 0.1. Sort -0.4, -5/6, t in decreasing order.
t, -0.4, -5/6
Let a = 8 - 3. Let j(i) = -i + 3. Let y be j(6). Sort a, 1, y in decreasing order.
a, 1, y
Suppose -3*c + j = 7, 2*c + 3*j - 7 = 3. Put 4, -3, c in descending order.
4, c, -3
Let i = -36.8 + 37. Let s = -11 + 6. Sort s, -3, i.
s, -3, i
Let v be ((-6)/105)/((-7)/(-70)). Put -0.1, 5, v in ascending order.
v, -0.1, 5
Let c(n) = n**3 - 28*n**2 - 27*n - 59. Let l be c(29). Put 0.4, l, 2, -1/3 in descending order.
2, 0.4, -1/3, l
Suppose -5*n = 9 - 9. Sort -1, n, 4 in increasing order.
-1, n, 4
Let r = -11 - -15. Let u be -15*1/(-3) - r. Put u, 4, -4 in ascending order.
-4, u, 4
Let j(c) be the first derivative of c**3/3 - 9*c**2/2 - 2*c - 3. Let n be j(9). Let h = 5 + n. Put 4, h, -3 in descending order.
4, h, -3
Let u(t) = t**2 - 9*t + 8. Let a be u(4). Let s be 4/(-18)*(-18)/a. Sort 0.2, 3/2, s in decreasing order.
3/2, 0.2, s
Let t be (6/(-35))/((-9)/30). Let i = 1.2 - 5.7. Let y = -0.5 - i. Sort -4, y, t in decreasing order.
y, t, -4
Let