= 0. Sort x, 1, u in increasing order.
1, x, u
Let w = 79 - 79.2. Sort w, -2/5, -13 in increasing order.
-13, -2/5, w
Let n be 1 + (-18)/(5 - 2). Let t(j) = -j**2 - 11*j - 26. Let a be t(-8). Sort a, -11, n.
-11, n, a
Let d(z) = z**2 + 5*z + 2. Suppose -c - 4 - 2 = 4*s, c + 1 = s. Let g be d(c). Sort g, 1, -3 in ascending order.
g, -3, 1
Suppose -5 = -3*w - 2*w. Let c = -1 - -1. Suppose 0 = -4*r - r + 2*d - 4, 0 = 3*r - 2*d. Sort r, w, c in decreasing order.
w, c, r
Let l = -14.8 - -13.8. Sort 0, -4, -5, l in increasing order.
-5, -4, l, 0
Let p = -21 - -26. Put 3, 12, p in ascending order.
3, p, 12
Let k = 26 + -28. Let l = -1 - 2. Put k, -8, l in decreasing order.
k, l, -8
Let w = 31 - 45. Let v = 7 + w. Let a = 4 + v. Put a, 0, 1/4 in decreasing order.
1/4, 0, a
Suppose -32 = -5*d - 7. Put d, -5, -1 in decreasing order.
d, -1, -5
Suppose -7 - 18 = 5*q. Put q, -4, -1 in increasing order.
q, -4, -1
Let d = -0.21 + -16.79. Let w = -14.3 - d. Let h = -3 + w. Sort 0.3, h, 4 in ascending order.
h, 0.3, 4
Suppose 0 = -5*f - y + 25, 2*y = -0*y. Suppose -f*v + 3*v + h = 5, -4*v - 35 = 3*h. Put 0, 2, v in decreasing order.
2, 0, v
Let i be (-2*(-1)/5)/((-78)/65). Put -5, i, 4/3, -1 in ascending order.
-5, -1, i, 4/3
Let u be ((-2)/6)/(3/(-9)). Let d be u + (2 + 0 - 2). Let v be 45/(-12) + 2/(-8). Sort d, 0, v.
v, 0, d
Let u = 2 + -3. Let m = u - -1.1. Let t = 5.1 - m. Sort t, -0.1, 2 in increasing order.
-0.1, 2, t
Let f(t) = t**3 + 3*t**2 + 4. Let v be f(-3). Let j(c) = 2*c**2 - 5*c - 2. Let l be j(v). Suppose 0*k + l = -2*k. Put k, 3, -1 in increasing order.
k, -1, 3
Let z(o) = 2*o + 6. Let t be z(-5). Let a = 435 + -440. Put 5, a, t in ascending order.
a, t, 5
Let j be 27/15 - 1/(-5). Let c = 2 - -1. Suppose 5*s + 7 = c*q - 10, -4*s = j*q - 4. Put 5, s, 4 in decreasing order.
5, 4, s
Let j be (-38)/(-14) + 4/14. Let l = -9.21 + 6.21. Sort l, j, -0.6 in increasing order.
l, -0.6, j
Let r be 1/4 + 6/8. Suppose -2*k - 27 = -11*k. Put 4, k, r in descending order.
4, k, r
Let t = -15 - -11. Let h(n) = -n**3 + 21*n**2 - 19*n - 22. Let m be h(20). Put 2, m, t in descending order.
2, m, t
Let h(g) = g - 6. Let o be h(6). Let j = o - -2. Suppose j*s + b = 1, s - 4*s - 2*b + 4 = 0. Put s, -4, 2 in decreasing order.
2, s, -4
Let f(p) = p - 3. Let v be f(4). Suppose -6*t - 63 = -13*t. Put t, v, 4 in ascending order.
v, 4, t
Suppose 0 = 4*h + 1 + 11. Put 0, h, -5 in descending order.
0, h, -5
Let v = 5.6 + 1.4. Let f = v + -7.2. Put 1, f, -0.5 in increasing order.
-0.5, f, 1
Let b = -7 - -4. Suppose -3*n - 19 = -5*z - 5, -4*z + 5*n + 6 = 0. Let o be ((-4)/88)/(1/z). Sort o, 1, b.
b, o, 1
Suppose -5*u + 10 = -5*v, 3*u + 0*u = 4*v + 5. Let c be (1 - -2 - u) + -3. Let s be 4/(-14) + (-46)/(-14). Sort c, 1, s in descending order.
s, 1, c
Let j(f) = -3*f - 12. Let r be j(-5). Put -5, -2, r in descending order.
r, -2, -5
Let m = 131699/20 + -6593. Let f = -33/4 - m. Let h be ((1 - -1) + 0)/(-3). Sort f, h, 0.2.
h, f, 0.2
Suppose -2*w - 8 = -4*w. Suppose 6 = 4*v + 2. Put v, w, 2 in ascending order.
v, 2, w
Let v = -105 + 108. Sort -5, v, 5 in descending order.
5, v, -5
Suppose 2*q - q + 4 = 0. Let y = 19 + -18. Put y, -1/5, q in increasing order.
q, -1/5, y
Suppose 2*g - 3*h + 2 = -18, 3*g = 2*h - 20. Sort 5, -2, g in ascending order.
g, -2, 5
Suppose 2*l - 4*l = 4. Suppose 0 = 4*z - z. Suppose 5*c + z*c = 25. Put l, c, 0 in increasing order.
l, 0, c
Let u = -5 + 5. Suppose -4*z + 7*z + 15 = 0. Put -2, u, z in ascending order.
z, -2, u
Let n = 15 - 15.16. Let u = n - -0.66. Sort 4/3, u, -3.
-3, u, 4/3
Let p = 81 - 84. Let b(h) = h**3 - 4*h**2 + 4*h - 4. Let t be b(3). Put t, p, 5 in decreasing order.
5, t, p
Let a be (-3 - -3) + -2 - -7. Sort a, -1, -5 in decreasing order.
a, -1, -5
Let d = -3 - -6. Suppose 7*j - d*j - 4 = 0. Let g = 31 + -27. Sort 5, j, g in descending order.
5, g, j
Let b = -2/781 - -3138/5467. Let i be ((-1)/(-3))/(2/(-3)). Put i, b, 1 in increasing order.
i, b, 1
Let p(v) = v**3 - 6*v**2 - 8*v + 6. Let w be p(7). Let a(s) = 3*s + 1. Let x be a(-2). Sort w, 4, x.
x, w, 4
Let i = -2 - -16/9. Put -49, 2, i in descending order.
2, i, -49
Let p = -410 + 6968/17. Let v = -12 - -2. Let c = 15 + v. Sort 1/4, c, p in increasing order.
p, 1/4, c
Suppose -4*n + 21 - 5 = 0. Suppose 0 = n*t - 0*t + 20. Put 5, 0, t in decreasing order.
5, 0, t
Let i be (-1)/2*2/3. Let d = 0.06 - -0.34. Put i, d, 4 in descending order.
4, d, i
Suppose 10 = 2*g + 6. Suppose -g*j + 2 = -0. Put j, 6, 3 in decreasing order.
6, 3, j
Suppose 0*z + z - 18 = -2*f, -4*f = -3*z + 4. Suppose -4*i + 0 + z = 0. Suppose 0 = y - 3, -q - 3*y + i*y = 2. Sort q, -3, 1 in increasing order.
q, -3, 1
Let f = -25 - -8. Sort 1, -1, f in decreasing order.
1, -1, f
Let l(p) = 2*p - 12. Let c be l(8). Let h be 22/(-4) + 2/c. Put h, -3, -4 in increasing order.
h, -4, -3
Let a = -68711 + 1374673/20. Let c = 89/4 - a. Let r = 7 + -4. Put r, c, 4/3 in descending order.
r, 4/3, c
Let b = -1.4 + 1.54. Let w = 1.14 - b. Put 5, -2, w in decreasing order.
5, w, -2
Let k(q) = -5*q**2 - 4*q - 4. Let x be k(-1). Let d be (6/8)/((-1)/4). Put x, d, -4 in ascending order.
x, -4, d
Suppose 0 = 2*q + q + 72. Let k be (-4)/12*27/q. Sort 5, k, -1.
-1, k, 5
Suppose q + 4*q + 25 = 0. Suppose 9 + 0 = 3*d. Suppose -4*x = -f - 16, -3*f - 11 + 5 = 2*x. Sort q, f, d in descending order.
d, f, q
Let x be 2/(-30) - 1/3. Put 0.2, x, -8 in descending order.
0.2, x, -8
Let u be 1 + (-9)/(2 - -1). Let j be 0 - 2*u/6. Let q = -892/5967 + -2/459. Put q, -0.4, j in decreasing order.
j, q, -0.4
Let b be (-189)/(-36) - (-2)/(-8). Suppose 6 = 2*w, r - 2*w + b = 3. Suppose -2*q + 4 - 2 = 0. Sort r, 0, q in decreasing order.
r, q, 0
Suppose 4*o - 5 = o - 4*p, -5*o = 2*p - 13. Let r be (o/(-9))/(6/18). Let w = 0 + 1. Sort r, 2, w in descending order.
2, w, r
Suppose 5*r - 10 = 4*m + 8, 6 = 2*r - m. Let f be 1 - (8/4)/2. Suppose -2*j + 6*j - 12 = f. Sort 3/7, r, j in increasing order.
3/7, r, j
Let w be 21 + -15 + 2/(2 - 3). Sort -3, -2/13, w, 1/3 in increasing order.
-3, -2/13, 1/3, w
Let d = -13 + 7. Let w be (1/3)/((-1)/d). Suppose 3*q = 2*k + w*q, 5 = 3*k + q. Sort -1, k, 3 in descending order.
3, k, -1
Suppose -3*s + 0 = 18. Put s, 5, -4 in descending order.
5, -4, s
Let k = 38 + -43. Put -6, k, -2/13 in decreasing order.
-2/13, k, -6
Let s = 1 + 2. Let c be (-3 + (s - 0))*1. Let l be -3 - (2/(-2))/1. Put l, -1, c in descending order.
c, -1, l
Suppose 0*z = 4*z - 4*m + 24, 4*m = 2*z + 4. Let i be z/12*(-24)/(-16). Put -0.2, 3, i in decreasing order.
3, -0.2, i
Let c = -3 - -5. Let n(s) = s**3 - 6*s**2 + s - 8. Let w be n(6). Let g be w/(5/((-25)/(-2))). Put g, c, -4 in decreasing order.
c, -4, g
Let w(h) = -h**3 - 4*h**2 + 5*h - 5. Let q be w(-5). Sort 0, 2, q in descending order.
2, 0, q
Let n = -52 - -56.8. Let b = -5 + n. Sort 1, b, 2/3 in ascending order.
b, 2/3, 1
Let t = 158/9 - 160/9. Sort t, 0.5, 3 in increasing order.
t, 0.5, 3
Let z = -2.9 - -1.9. Sort 0, -5, 2/11, z in descending order.
2/11, 0, z, -5
Let x = 64 - 65. Sort 5, x, 4 in decreasing order.
5, 4, x
Let q = -2.9 + 3. Sort 0.6, 2, q in increasing order.
q, 0.6, 2
Suppose 0 = -2*t + 4 - 2. Sort t, -0.4, 4.
-0.4, t, 4
Let k = 12 - 1. Let g = -7 + k. Put 0.3, 2, g in ascending order.
0.3, 2, g
Let p be 5/20 - 11/(-4). Sort -3, 0, p in decreasing order.
p, 0, -3
Let i be (-4)/(-2) - (-6 - -9). Let q be i - 3*(-2)/4. Put q, 4, -1 in decreasing order.
4, q, -1
Suppose -5*r - 16 = -r. Put 4, r, 6 in ascending order.
r, 4, 6
Suppose 2 = o - 2*c, -4*o + 2*o = 2*c - 28. Let d = -6 + o. Sort 0, -3, d in descending order.
d, 0, -3
Let g = -9 - -16. Suppose z + g = 4*m, m - 2 = 2*m - z. Sort -5, m, -2 in descending order.
m, -2, -5
Let m = -21 - -19. Sort 6, m, 2.
m, 2, 6
Let g(h) = -2*h**3 - 4*h**2 - 2*h + 1. Let i = -3 - -1. Let y be g(i). Put -2, y, 0 in descending order.
y, 0, -2
Let g(p) = -2*p - 5. Let i be g(0). Sort 13, i, 2 in descending order.
13, 2, i
Let t = -0.1 - -0.5. Let h = -3 - -2. Put -1/3, h, t in decreasing order.
t, -1/3, h
Let w be (-4*(-3 - 14/(-4)))/2. Sort w, -16, 2, 3 in descending order.
3, 2, w, -16
Suppose -5*t + 136 + 64 = 0. Let f be (-2864)/(-18)*(-1)/4. Let z = f + t. Put z, 6/7, 5 in ascending order.
z, 6/7, 5
Let k(w) = -4*w - 4. Let g be k(-