t k = 80 + -238/3. Sort -1, k, 2/7.
-1, 2/7, k
Let r = -1945/11 + 177. Let q = -31 - -45. Let l be 6/(-3) + q/6. Sort 1/6, r, l in increasing order.
1/6, r, l
Let x = -4 + 3. Let f = 13 + -32. Let v = 14 + f. Put 2/5, x, v in ascending order.
v, x, 2/5
Let o(q) = 2*q + 1. Let l be o(-2). Let j = 5.4 - 4. Let k = j - -0.6. Sort l, k, 0.2.
l, 0.2, k
Let u = 36 + -39. Put -0.1, -6, u in increasing order.
-6, u, -0.1
Let z be (-10)/(-4)*(-16)/340. Sort z, 0.1, -1/6 in descending order.
0.1, z, -1/6
Suppose -2*v = 3 - 9. Let r = 7.5 + -1.2. Let n = 6 - r. Sort v, n, -0.2 in decreasing order.
v, -0.2, n
Let w = -0.8 - -1.4. Let n = 0.8 - w. Put n, 0.1, -1 in ascending order.
-1, 0.1, n
Let l = 52 + -46.12. Let d = l + 0.12. Let j = d - 6.3. Sort -1/6, j, -2/3.
-2/3, j, -1/6
Suppose -7*q = -3*q - 16. Suppose 0 = 3*c + x - 8, 6*x - x + 36 = q*c. Put 2, c, -3 in ascending order.
-3, 2, c
Let n = 4 - 3.8. Let z = 0 + n. Put z, -0.4, 5 in decreasing order.
5, z, -0.4
Suppose 0 = w - 7 + 3. Let t(z) = z**3 - 4*z**2 + z - 1. Let d be t(w). Sort -2, d, 4 in ascending order.
-2, d, 4
Let w = 1.1 + -2.1. Put w, -0.03, -0.2 in descending order.
-0.03, -0.2, w
Suppose 15*n - 12*n - o = -3, 0 = 3*n - 2*o. Put n, 5, -4, -5 in descending order.
5, n, -4, -5
Let b = -0.41 + 0.01. Let z = 1.3 + -1.4. Sort -0.5, b, z in increasing order.
-0.5, b, z
Suppose 7*v = -5*v + 24. Sort -5, v, -4, 18 in increasing order.
-5, -4, v, 18
Suppose s - 9 = 2*a - 25, 2*a - 2*s = 18. Put 5, a, -6 in ascending order.
-6, 5, a
Let n = 1.13 - 0.23. Let b = n + 4.1. Let t = 9 + -9.1. Sort b, -3, t in decreasing order.
b, t, -3
Let c be 10/75*-3 - (-2)/5. Suppose 1 = -j + 3. Put -3, j, c in descending order.
j, c, -3
Suppose -5*k - 2 = 5*s + 38, -k - 3 = 0. Put 2, 1, s, 0 in descending order.
2, 1, 0, s
Let x = -0.06 + 3.06. Let a = -3.5 + x. Let c = -0.07 + 0.37. Put 5, c, a in decreasing order.
5, c, a
Let k(y) = -y**2 + 13*y + 13. Let p be k(14). Sort p, 9, 2.
p, 2, 9
Let z(s) = 17*s + 34. Let l be z(-2). Sort l, 1, 6, -5 in ascending order.
-5, l, 1, 6
Suppose -w - w = 2*u + 10, 3*w = 0. Let b = 2 - 8. Let q = 2 + b. Sort 4, u, q.
u, q, 4
Let s = 0.2 - 5.2. Let w = 4.5 + s. Sort w, 5, -0.2 in decreasing order.
5, -0.2, w
Let g = 3 + 7. Let m = -7 + g. Put m, -5, -2 in ascending order.
-5, -2, m
Let i be (1 + (-6)/2)*-1. Sort i, 4, -4.
-4, i, 4
Let z(w) = w**2 + w - 11. Let t be z(-4). Put -4, t, 3 in decreasing order.
3, t, -4
Let h be 19/19 - (-1 - 24/(-14)). Sort 4, -4, -0.5, h.
-4, -0.5, h, 4
Let p be 0*((-1 - -1) + -1). Let m be 63/(-14)*(-2)/(-3). Put 1, p, m in decreasing order.
1, p, m
Let r(j) = -2*j + 6. Let q = 3 - -1. Let a be r(q). Put a, -4, 4 in ascending order.
-4, a, 4
Suppose m - 6*m + 10 = 0. Suppose 0 = 4*r + m - 10. Put -4, 5, r in descending order.
5, r, -4
Let x = -19 + 14. Put 1, x, 4 in decreasing order.
4, 1, x
Let c(f) = -5*f**2. Let n be c(1). Sort n, 2, 4 in increasing order.
n, 2, 4
Let g(q) = -q + 14. Let n be g(10). Let x = -13 + 9. Put 0, n, x in decreasing order.
n, 0, x
Let j be 1 - -1 - (-36)/(-9). Sort 2, j, -5 in increasing order.
-5, j, 2
Suppose 17*b + 21 + 30 = 0. Let v = 0 - 0. Suppose -d - 1 + 7 = v. Sort b, 3, d.
b, 3, d
Let n be (-11 + 1)*4/(-8). Suppose n*b = 4*k + 2 + 20, -5*k - 11 = 2*b. Suppose 0 = 4*r - 3*r - 1. Sort r, k, -5 in increasing order.
-5, k, r
Suppose w + 3*w - 137 = 3*s, -w + 3*s = -32. Let x be 535/w + 2/(-7). Suppose -x = -4*g - 3. Put -4, g, -5 in decreasing order.
g, -4, -5
Let s = 1.1 - 1. Let h = s - 0.3. Let b = -0.1 - -0.1. Put b, h, 4 in increasing order.
h, b, 4
Let j(v) = v + 11 - 2 - 4*v + 2*v. Let a be j(10). Put 2, 4, a in descending order.
4, 2, a
Let c = 8.1 - 8. Let j(g) = g**2 + 7*g - 3. Let t be j(-7). Let n be (-6)/28*(-1 - t). Put c, -1, n in ascending order.
-1, n, c
Suppose -6*b + 3*z = -8*b + 35, 4*z + 20 = 4*b. Put b, 0, 2 in descending order.
b, 2, 0
Let c = 16 + -12. Put -5, c, -4 in ascending order.
-5, -4, c
Let g(j) be the first derivative of j**4/4 + 4. Let z be g(1). Sort 3, z, -1 in decreasing order.
3, z, -1
Suppose t - 5*t - u + 11125 = 0, -4*t = -3*u - 11137. Let w be t/(-30) - 1/(-3). Let q = 92 + w. Sort 2, q, -4 in descending order.
2, q, -4
Let p be (-2 + 3)*0 + -3. Let u(y) = -y**2 + 4. Let z be u(-3). Let o(h) = h**3 + 5*h**2 - h - 5. Let c be o(z). Put -5, c, p in descending order.
c, p, -5
Let q(z) = -z**2 - z + 4. Let b be q(2). Put b, 2, 3 in increasing order.
b, 2, 3
Suppose 2*m = -2*q, 2*m - 2*q + 6 = m. Let w(p) = p**3 + 9*p**2 + 8*p - 3. Let k be w(-8). Sort k, m, 2 in descending order.
2, m, k
Suppose 4*m = -20, 0 = 3*l - l + 3*m + 11. Suppose l*v = 7*v + 5*s - 50, 4*v - 30 = -2*s. Put -5, v, 4 in ascending order.
-5, 4, v
Suppose n - 6 = 2*w + 4*n, 2*n = 3*w - 4. Put 1, 5, w in descending order.
5, 1, w
Let k = 0 + 1. Let a = -17.8 - -12. Let v = a - -6. Sort 5, v, k in descending order.
5, k, v
Let m be (5/2)/(3/6). Let l = -4 - 10. Let j be l/3 - 5/15. Put j, -1, m in increasing order.
j, -1, m
Suppose 2*d = d - 3. Let c be (1 - 2)*(d - -5). Sort c, -5, -3 in descending order.
c, -3, -5
Let t = 10 - 13. Sort -0.2, -0.5, t.
t, -0.5, -0.2
Suppose 4*h + 30 + 22 = 0. Let w = -15 - h. Let i = 309/11 + -28. Sort 2/9, w, i in descending order.
2/9, i, w
Suppose 0 = -2*n + n - 4. Sort 1, n, 2 in increasing order.
n, 1, 2
Let p = 0.5 - 1. Let i = -1.8 - -1.7. Sort 0.5, p, i in increasing order.
p, i, 0.5
Let a = -6 - -2. Put 11, a, -5 in increasing order.
-5, a, 11
Let u = 15 + -19. Let a = 0 - 0.04. Let x = a + 2.04. Sort x, u, 0 in decreasing order.
x, 0, u
Let s be 2/8 + 6/(-8). Let l = 81 + -79. Sort 0, l, s.
s, 0, l
Suppose 10 = l - 2*b, 6*l - 2*l - 22 = 2*b. Suppose -z - 3 = 2*s, l*z - 5*s = 1 + 13. Let q = -5 + z. Sort -2, 5, q in decreasing order.
5, -2, q
Let z = -16 + 11. Suppose -d - 1 = 3. Let b be (d/8)/(1/8). Put b, z, 4 in descending order.
4, b, z
Suppose 0 = -v, d - 4*v + 1 = 5. Suppose 26 = -d*m + 6. Put 4, -2, m in descending order.
4, -2, m
Suppose r + 15 = 3*t - 1, 0 = -3*r + 6. Let y be (-12)/(-8)*8/t. Sort y, -5, -1 in descending order.
y, -1, -5
Let y = 7 + -22/3. Let t = -1328/7 + 190. Sort t, -0.5, y in increasing order.
-0.5, y, t
Let v be 2 + (0 - 1)/(11/33). Sort v, -16, 1 in increasing order.
-16, v, 1
Let g(h) = -h**2 - 9*h + 11. Let a be g(-10). Let u be (4 - 5) + a*2. Put 0, 2, u in ascending order.
0, u, 2
Let c = 176 + -177. Put -1/4, 7, c in descending order.
7, -1/4, c
Let t = 5.5 - 6. Let p = -22.2 + 17.08. Let q = 0.12 + p. Sort -3, q, t in increasing order.
q, -3, t
Let j(b) = 4*b**3 + 1. Let m be j(-1). Let h be (-6)/15 + (-104)/(-10). Suppose 2 = -2*z - 3*s, 3*s = 5*z + 8*s + h. Sort m, z, 5.
z, m, 5
Let c be 4/(-1) - (1 - -7 - 17). Sort 14, -5, c.
-5, c, 14
Let k = -13 - -4. Let c be 18/4*(-6)/k. Put c, -3, 5 in descending order.
5, c, -3
Suppose -3*s - 4 - 8 = 0. Put -2/21, -2/15, s in increasing order.
s, -2/15, -2/21
Let v = -36 - -32. Put v, 5, 2 in decreasing order.
5, 2, v
Let r(y) = y**2 + 2*y - 1. Let l be r(1). Suppose 4*g = c + g - 24, -4*g = -l*c + 40. Let t be (-2)/5 + c/5. Sort -3, t, 5 in increasing order.
-3, t, 5
Let i = 0.3 - -1.7. Put i, 4, 1.1 in decreasing order.
4, i, 1.1
Let c(m) = m**3 - m**2 - m - 1. Let z be c(0). Put -5, 4, z in decreasing order.
4, z, -5
Suppose -l + 8 = l. Suppose -3*o + 0*o = 0. Suppose -3*x = 2*j + 3*j - 25, 2*j - 14 = -2*x. Put j, o, l in descending order.
l, j, o
Let o = 9/56 - -1/8. Sort -2/7, o, -1/7.
-2/7, -1/7, o
Let x(b) = b + 10. Let j be x(0). Suppose 0 = l + 4*l - j. Sort 5, l, -5 in descending order.
5, l, -5
Suppose 3*s - r = -3*r + 19, 3*r + 9 = 3*s. Suppose -7 = -3*t + s. Put -1, 5, t in descending order.
5, t, -1
Let i be (0/(-7 + 4))/2. Suppose 0 = -2*o + 5*z + 15, 0*o + o - z - 3 = i. Sort -1, o, -2 in decreasing order.
o, -1, -2
Let a = -2 + 2. Put a, -7, -5 in ascending order.
-7, -5, a
Suppose 3*b + 3*h = 2 + 4, -b = 3*h + 2. Suppose 1 = -2*j + 3. Suppose -i = 2*i - 6. Sort b, i, j in increasing order.
j, i, b
Suppose -i + 2*j = 2*i - 13, -5*i = 5*j - 30. Suppose 5*l = 2*c - 17, -3*c + 8*c + 2*l = -1. Let b = 0 - 5. Put i, c, b in ascending order.
b, c, i
Let p = 2 + -7. Let j = -5 + 5.4. Let x = 21 + -17. Sort p, x, j in decreasing order.
x, j, p
Let u = -79/28 - -1