3*z + 3 = -n. Sort x, 0, z in decreasing order.
z, x, 0
Let d(j) = -j**2 + 2*j + 2. Let h be d(3). Suppose 5*o + 5*f - 40 = 0, -f + 0 = -5. Sort o, h, -5.
-5, h, o
Let s = 36 - 16. Suppose -4*l + 2*n - s = 0, 0 = -4*n + 11 - 3. Suppose -r = 6*r. Sort l, r, -1 in decreasing order.
r, -1, l
Suppose -3*l + 0*l = 0. Suppose -u - 3 = -g - l, 0 = -4*g - 3*u + 5. Let t = -1 + -1. Sort t, -3, g.
-3, t, g
Let p = 2.847 - -0.153. Let y = -11/2 - -6. Sort p, 2/5, y in descending order.
p, y, 2/5
Suppose -3*q = -j - j - 18, 0 = -j + 5*q - 23. Suppose a - 6 = 4*d, -17 = 2*d + 5*a - 3. Let n = 4 + -2. Put d, j, n in decreasing order.
n, d, j
Let y = 9123/7 + -1301. Let t = y - 162/77. Put 5, t, -5 in decreasing order.
5, t, -5
Let d = 2.061 - 0.061. Sort 1.1, d, -1 in decreasing order.
d, 1.1, -1
Let p = 399/8 + -50. Let g = 6 - 16. Let m = g - -5. Sort m, p, -2.
m, -2, p
Let t = 3.791 - -0.209. Sort t, -2, -3/5, 3.
-2, -3/5, 3, t
Let j = 3.06 - 0.06. Suppose -4*v - 6 = 2. Put 2, j, v in increasing order.
v, 2, j
Let u = -0.5 - -0.4. Let a be (-21)/9 + 2 - 16/168. Sort u, -2, a in descending order.
u, a, -2
Let y = 11.12 - 11. Let o = -5.12 + y. Sort o, 0, -0.2.
o, -0.2, 0
Let n = 60 - 61. Sort n, 2, 4 in increasing order.
n, 2, 4
Let m = -0.09 + 0.99. Let u = m - 1. Put -0.5, u, -2/11 in increasing order.
-0.5, -2/11, u
Let v = 26 - 25. Let t = 0.7 - -0.3. Let p = -1 - t. Sort 2, p, v in decreasing order.
2, v, p
Let q = -12.45 - -10.45. Let v be (2/2)/(1/4). Sort 3, q, v.
q, 3, v
Let p(v) = v. Let o be p(4). Sort -12, o, -4 in increasing order.
-12, -4, o
Let r = -7 + 9. Suppose r*q = 2 + 2. Put q, -4, 1 in descending order.
q, 1, -4
Suppose -4*t = -21 + 1. Suppose t*r + y - 17 = -0*y, 0 = -3*r - y + 9. Sort r, 3, -11.
-11, 3, r
Suppose -1 = -2*c + 7. Suppose 4*h - 3*h + d = -3, d + 15 = -c*h. Suppose -2*n + 3 = -v, -2*v - 5*n = -4*v - 5. Put v, -1, h in descending order.
-1, h, v
Let c(m) = -m**3 + 3*m**2 + 2*m + 3. Let w be c(4). Let f = w - -8. Let k be 6/(-11) - (0 + 0). Put k, 1/3, f in descending order.
f, 1/3, k
Suppose -2*t + 2 = -2. Let w be (-1 - 5)*t/4. Let l be (w/(-9))/(2/4). Sort -5, l, -4/3 in ascending order.
-5, -4/3, l
Let a be ((-2)/3)/(1/(-3)). Let h(f) = -f**2 + 1. Let b be h(a). Let q(k) = k**2 - 2*k. Let n be q(1). Sort 3, n, b.
b, n, 3
Let i = 1 - -1. Let b(o) = o**2 + 6*o + 5. Let a be b(-6). Sort a, 0, i in increasing order.
0, i, a
Suppose -3*w + 4 = -0*v - v, -3*v = -3*w - 6. Sort -2, v, -1, 0 in decreasing order.
v, 0, -1, -2
Let q be 2*(-1)/3*36/(-8). Suppose -z + w + 31 = -0*w, -4*z - w = -104. Suppose 5*m + 5 = -q*s - 30, -3*s - 3*m = z. Sort -4, -3, s in descending order.
-3, -4, s
Let t = -15 + 11. Let y = -7 - -5. Sort -0.2, t, y.
t, y, -0.2
Let m be (-3)/(-2)*(-104)/39. Sort -3, 2, m in ascending order.
m, -3, 2
Let l(v) = v**2 - 10*v + 5. Let y be l(9). Sort 5/11, y, -0.2 in decreasing order.
5/11, -0.2, y
Let g = 17 + -14. Let y be (-19)/(-4) - 3/(-12). Suppose -v + 16 = -y*v. Put g, -3, v in descending order.
g, -3, v
Let g(k) = 3*k - 9. Let v(i) = i - 3. Let u(p) = 2*g(p) - 7*v(p). Let o be u(4). Sort o, -0.3, 0.5 in increasing order.
o, -0.3, 0.5
Suppose 4*i - 15 = -i. Suppose 4 - 29 = 5*g. Put i, 5, g in ascending order.
g, i, 5
Let m = 119 + -830/7. Sort -5, -0.03, m in descending order.
m, -0.03, -5
Let c = -11.3 - -1.3. Let v = c - -10. Put -0.03, v, -0.3 in decreasing order.
v, -0.03, -0.3
Let d = 12 - 9. Sort 5, d, 2/11 in decreasing order.
5, d, 2/11
Suppose -10*t - 24 = -2*t. Let l(o) = 2*o + 2. Let z be l(-2). Sort 4, t, z in decreasing order.
4, z, t
Let b(j) = -j - 2. Let a be b(-3). Suppose -5*f = 4*t - 9, -3*f + 19 = 4. Put 5, t, a in descending order.
5, a, t
Let k = -1 + 1. Let t = 1.3 + 7.7. Let f = 7 - t. Sort f, 0.3, k.
f, k, 0.3
Suppose 35 = 3*s + 5*g, 10 = -s + 3*g + 3. Suppose 4*i - 18 = 14. Suppose -b + 20 = 5*f - 6*b, 0 = 4*b + i. Put s, -3, f in ascending order.
-3, f, s
Suppose 1 + 3 = -2*a. Let h be 0 + 2 - 0/a. Put h, 3, -1 in decreasing order.
3, h, -1
Suppose 0 = 4*n + 5*g + 6, 0 = -0*n + n - 5*g + 14. Put -5, n, 3 in increasing order.
-5, n, 3
Let k(t) = -2*t**3 + t**2 - t. Let w be k(1). Let n = w - -3. Let c(x) = -x**3 - 5*x**2 + 9*x + 40. Let i be c(-5). Sort i, n, 0 in decreasing order.
n, 0, i
Let g = 20 - 20. Suppose -3*i + 21 = -g*i. Put -3, i, 0 in descending order.
i, 0, -3
Let c = 0.38 + -1.41. Let o = c - -0.03. Sort o, 3/8, 4.
o, 3/8, 4
Let k be (-30)/(-2) - 4/2. Suppose -3*n = -4*w + 8, -5*w - k = -0*n + 2*n. Let z = 2 + w. Put z, 5, -2 in descending order.
5, z, -2
Let s = 11 + -8. Suppose 0 = -s*l - 2 - 1. Let g = 48 - 43. Put l, 1/4, g in descending order.
g, 1/4, l
Let q(u) = -u - 1. Let x be q(-5). Suppose 3*j + s - 9 = -2*s, -3*j - x*s + 13 = 0. Let h be (-4)/6 + (-24)/(-9). Sort j, -3, h in increasing order.
-3, j, h
Let r = 293/44 + -27/4. Put -3, 0.3, r in decreasing order.
0.3, r, -3
Let y = -2 - -1. Let s = 5 + y. Let q be (s/5)/((-1)/5). Sort -5, q, -3.
-5, q, -3
Let b = 67 + -66. Suppose 8*g - 3*g - 4*d = 13, -4*g + 3*d = -11. Put g, -2, b in descending order.
g, b, -2
Let y = -0.1 + -0.08. Let l = 4.82 - y. Sort 0.2, l, 2/5 in descending order.
l, 2/5, 0.2
Suppose 3*u - 18 = 9. Let v be (2/(-3))/((-3)/u). Let o(n) = -n - 1. Let r be o(2). Sort v, 3, r in increasing order.
r, v, 3
Suppose 3*p - 5*t - 4 = 0, 5*p - p - 9 = 3*t. Sort p, 2, -11 in increasing order.
-11, 2, p
Let w = -0.7 - 0.3. Let b = -1009/3036 + -1/1012. Sort 2/5, b, w in increasing order.
w, b, 2/5
Let i = -6.254 - -0.054. Let g = i - -6.53. Let h = 0.03 - g. Put -3, h, 5 in decreasing order.
5, h, -3
Let x(j) = 1. Let q(y) = y - 9. Let m(h) = q(h) + 6*x(h). Let z(b) = -b**2 + 10*b - 14. Let a be z(7). Let w be m(a). Sort 0, -4, w.
-4, 0, w
Suppose -5*w = -56 + 31. Sort w, 3, 1.
1, 3, w
Let a = -25 + 27. Put -1/3, a, -3 in descending order.
a, -1/3, -3
Let z(d) = d + 4 + 8 + d. Let u be z(-8). Let r = 89/238 + -3/34. Sort 4, r, u in ascending order.
u, r, 4
Let a(k) = 3 + 2 + k - 3. Suppose 0 = d - 2*d - 6. Let q be a(d). Sort 0, q, -3 in increasing order.
q, -3, 0
Suppose -d - 4*d + 20 = 0. Suppose -50 = -3*y - 2*y. Suppose 0 = -2*i + 2*v - y, 3*i + 20 = 5*v - 3. Put i, d, 2 in descending order.
d, 2, i
Suppose 0 = 2*b + 6, 0*f - 5*f + 5*b + 15 = 0. Sort 4, -2, 3, f in descending order.
4, 3, f, -2
Let y(b) = b**2 - 15*b - 16. Let o be y(16). Let c be 24/(-9)*12/(-8). Sort o, c, 5 in decreasing order.
5, c, o
Let a be (-23)/(-14)*2 + -3. Let s = -296/3 - -97. Put s, 0.1, a in increasing order.
s, 0.1, a
Let y(v) = -4*v**3 + v - 1. Let b be y(1). Sort b, -1, -44.
-44, b, -1
Let p be (2/(-4))/(5 - 894/180). Sort p, -2, 5.
p, -2, 5
Suppose -4*f - 6 = 5*d + 2, 0 = -3*d - 5*f + 3. Let c be d/14 + 14/49. Suppose c = -q + 6*q + 5. Sort 1, -4, q.
-4, q, 1
Let x = 6 + -12. Let t be 3/(x/10) - -2. Put -1, 3, t in decreasing order.
3, -1, t
Let b be -1*(1 + 1 + 0). Sort 1, b, -3.
-3, b, 1
Let h = 46 - 38. Put 2, h, 4 in increasing order.
2, 4, h
Suppose -z - 63 = -4*o, -3*o + 3*z + 83 - 29 = 0. Let v be (-6)/(-10) - 9/o. Suppose v = -4*g - 0*g. Put 3, g, -5 in descending order.
3, g, -5
Suppose -w + 8 = 18. Let c = 14 + w. Sort -1, -4, c in decreasing order.
c, -1, -4
Let i be (36/(-8) - -3)/(6/(-16)). Suppose r = 3*z - r + 25, -4*z - 3*r = 5. Sort i, 2, z in descending order.
i, 2, z
Let m = 8 + -11. Let c be -1 + (-1 - (-3 + 0)). Put -5, m, c in ascending order.
-5, m, c
Let r = 47 + -48. Put 0.01, -3, 5, r in decreasing order.
5, 0.01, r, -3
Suppose 19 - 5 = -7*b. Let y = 0.2 + -1.2. Put b, 0.3, y in ascending order.
b, y, 0.3
Let k = -3 + 3. Let d(v) = 8*v - 4. Let c be d(3). Suppose 4*n = -k*n + c. Sort n, -1, 4.
-1, 4, n
Suppose 0 = -0*b + 5*b - 10. Suppose 5*w = -3*c + 30, 3*c + w - 12 = b*w. Sort c, 3, 1 in decreasing order.
c, 3, 1
Let o = -15 + 11. Put 1, o, 3 in decreasing order.
3, 1, o
Suppose 3*c = -1 - 20. Let a be (c + 2)*(-6)/10. Sort -1, a, -5 in descending order.
a, -1, -5
Let a = 3.4 + -1.3. Let d = a + -0.1. Let p = 11.7 - 12. Sort d, 4, p in increasing order.
p, d, 4
Let y be 8/2 - 145/35. Sort -1/3, y, 1, -0.2 in decreasing order.
1, y, -0.2, -1/3
Let b(x) = x - 7. Let a be b(3). Let s = 12.8 - 13. Put a, s, 2/3 in descending order.
2/3, s, a
Let k(g) = g**2 + 8*g + 8. Let o 