k, 0.3, -0.2 in decreasing order.
0.3, k, -0.2
Let v be (-1)/(-5)*(-5)/2. Let x = 7.7 + -4.6. Let i = x - -0.9. Sort i, 2, v in ascending order.
v, 2, i
Let j = 22 + -21.6. Sort -1/18, j, 2/13 in descending order.
j, 2/13, -1/18
Let n(d) = 16*d + 4. Let m be n(2). Suppose -6*v + m = 4*r - 2*v, -2*v = -5*r + 10. Sort r, -2, 2 in ascending order.
-2, 2, r
Let i(m) = 2*m**2 - 19*m + 15. Let w be i(8). Put -1, -4, w in decreasing order.
-1, -4, w
Suppose 5*c - 8 = w, c + 3*c = 3*w - 20. Suppose -w = -4*g - 0. Let k = 26.4 - 26. Put g, -2/7, k in descending order.
g, k, -2/7
Suppose 2*n - 19 = -5*b, -b = 3*b + n - 17. Suppose 4*f + 6 - 4 = -5*u, -12 = -4*f + 2*u. Put f, b, -0.4 in descending order.
b, f, -0.4
Let j(y) = -y**2 - 7*y - 3. Let u(w) = w - 21. Let t be u(15). Let q be j(t). Sort q, -1, 0 in ascending order.
-1, 0, q
Let h be (-6)/10 - 570/(-75). Let r = h + -15. Put 2, 0, r in decreasing order.
2, 0, r
Let g = -10/9 + 29/18. Put -3, g, 0.04 in descending order.
g, 0.04, -3
Let b(n) = -2*n + 6. Let c be b(2). Put 5, -3, 10, c in increasing order.
-3, c, 5, 10
Let s be 1/(3/(6/14)). Let k = 42 + -169/4. Put k, s, 5 in ascending order.
k, s, 5
Suppose 0 = 3*u - 2*u - 6. Suppose -4*t = -p + u*p + 8, 0 = 4*t - 5*p + 48. Let a be (1 + t)/3 - -4. Put 0.5, a, -1/4 in descending order.
a, 0.5, -1/4
Let q = 17 + -17. Sort q, -0.04, 0.5 in descending order.
0.5, q, -0.04
Let o(w) = -11*w + 32. Let r be o(3). Sort 1, 2, r, -4.
-4, r, 1, 2
Suppose 2*x + 3*l - 8 = 0, -3*l - 2*l = 3*x - 12. Put 1, 3, x, 2 in decreasing order.
x, 3, 2, 1
Let w(b) = b**2 + 6*b + 2. Let t be w(-5). Put -2, 1, -4, t in descending order.
1, -2, t, -4
Let z be 16/(-90) - 4/(-10). Let b = -1.42 + 1.72. Sort b, 1, z in increasing order.
z, b, 1
Let k(o) = -o + 11. Let s be k(11). Sort s, -2, -1, -4 in descending order.
s, -1, -2, -4
Let x(n) = -4*n**2 + n. Let h be x(1). Let u = 1 + -1. Let o(q) = -q**2 - 5*q - 4. Let v be o(-5). Put h, u, v in increasing order.
v, h, u
Let n = -0.145 - -0.045. Put -3, 0.2, n in ascending order.
-3, n, 0.2
Let q = 2 + 1. Let n be 6/14*(-2)/(-6). Suppose 4*z = 0, 3*b - 3*z - 2 = -5. Put b, n, q in ascending order.
b, n, q
Suppose -2*t = -6*t. Let n be ((-1)/(-3)*t)/(-2). Sort 1, -2, n in descending order.
1, n, -2
Suppose -5*n - 8 - 17 = 0. Sort n, 7, 4 in increasing order.
n, 4, 7
Let x = -3 - -3.5. Suppose 0 = -2*k + 6*k. Suppose 0 = -2*r + r + 3. Put r, k, x in descending order.
r, x, k
Suppose -2*s + 18 = 3*l - 5*l, 0 = -5*s - l + 69. Sort 0, s, -3 in ascending order.
-3, 0, s
Let x be (-3 - -9) + (-4)/2. Suppose 2 = v + x*q, -5*v - 3*q = -3*v - 4. Suppose -v*z - 7 = -t - 5*z, 2*t = z. Put 2, 0, t in descending order.
2, t, 0
Let l = -9 - -14. Let k = -2 + -2. Let o = k - -1. Sort -1, l, o in decreasing order.
l, -1, o
Suppose -25 = -5*y - 3*w, 4*y - 2*w = -0*y + 20. Sort 3, y, 0.3, -11/5 in descending order.
y, 3, 0.3, -11/5
Let k = -11 - -3. Let t be 2/1 + 22/k. Sort t, -3, -2/9 in descending order.
-2/9, t, -3
Let r = 4.2 + -4.1. Sort r, 0.3, -0.1 in decreasing order.
0.3, r, -0.1
Let w = -0.9 + 0.6. Sort 4/5, w, -5 in increasing order.
-5, w, 4/5
Let t = -4 - -1. Let m = 5 - 4.8. Sort m, 2, t in increasing order.
t, m, 2
Let p = 41/210 + -2/21. Sort 2, 2/7, p in increasing order.
p, 2/7, 2
Let n(k) = k**2 + 8*k + 11. Let a be n(-6). Sort a, -26, -5.
-26, -5, a
Let i(x) = x**3 - 8*x**2 + 8*x - 6. Let s be i(7). Suppose s + 14 = 5*w, h - 2*w = -5. Let f be 1 - (h - 3) - 4. Put f, 0, 3 in increasing order.
f, 0, 3
Suppose 0 = -2*h + 14 + 6. Let u be (-12)/h*6/9. Put 3, u, -3 in increasing order.
-3, u, 3
Let s = 27 + -32. Put s, 3, -1 in decreasing order.
3, -1, s
Let m = -0.34 + 0.04. Put 1, m, -2 in increasing order.
-2, m, 1
Let h be 1/((-10)/424) + 172/430. Sort 1, h, 0 in decreasing order.
1, 0, h
Let d(i) = -i**3 - 4*i**2 + 2*i + 6. Let g(q) = -5*q**2 - q. Let n be g(-1). Let b be d(n). Let y be (1 - 3 - -4)/b. Sort -3, 4, y in ascending order.
-3, y, 4
Let c = 7105/2 - 3659. Let d = c + 110. Sort d, -4, -3 in decreasing order.
d, -3, -4
Let s = 1770/11 + -161. Sort 5, 2/3, 3/7, s.
s, 3/7, 2/3, 5
Let x = -1.3 - -0.3. Let w = 13 - 8. Suppose -2*f - w*v + 21 = -f, 5*f - v + 25 = 0. Put f, -0.3, x in descending order.
-0.3, x, f
Let b(i) = i + 5. Let x be b(-1). Sort 0, 2, x in ascending order.
0, 2, x
Let z = 2.95 - -0.05. Put z, 7, 0.2 in decreasing order.
7, z, 0.2
Let d = 12.9 - -3.1. Sort d, 4, 5, -6/11.
-6/11, 4, 5, d
Let t = 2 + -2.2. Suppose 0 = -0*d + 2*d - 8. Let g be d/10 + (-4)/5. Sort g, t, -3 in ascending order.
-3, g, t
Let v = -9 + 14. Put v, -2/11, 2 in decreasing order.
v, 2, -2/11
Let l(q) = -q. Let z(k) = -k**2 - 5*k - 1. Let y be ((-1)/2)/(3/30). Let f be z(y). Let p be l(f). Sort -5, 5, p in descending order.
5, p, -5
Let a be 0 - (3 + -4) - 1. Suppose a = s - 0*s. Put -5, s, -2 in increasing order.
-5, -2, s
Suppose -1 = 4*h - 3*l, 2*h - 4*l = -0*h + 2. Suppose 0 = -4*x - 4*n - 28, n + 17 = x - 4*n. Suppose -9 = -o - 2*o. Sort o, h, x.
x, h, o
Let p = -1.1 - -1.6. Sort p, 3, -2/57.
-2/57, p, 3
Let x = -0.06 + 14.06. Let l = x - 14.5. Let a = 1 + -0.9. Sort a, 5, l.
l, a, 5
Let b(c) = c**3 + 2*c**2 - 2*c - 3. Let w be b(-1). Sort -1, -2/13, w in increasing order.
-1, -2/13, w
Let c(v) = 4*v + 19. Let p be c(-6). Let h be (-2)/3 + (-22)/(-6). Put p, h, 0 in increasing order.
p, 0, h
Suppose 0*m + 12 = -4*m, -3*b + 27 = -4*m. Let t(u) = -3*u + 1. Let y = 6 - 4. Let j be t(y). Sort 4, b, j in descending order.
b, 4, j
Let c = -440/7 + 63. Let q = 13 - 15. Put 1, c, q in increasing order.
q, c, 1
Let l = -36.6 - -31. Let s = -6 - l. Sort s, 1/4, 5 in descending order.
5, 1/4, s
Let p = 3 - 1. Put 0.3, 4, p in decreasing order.
4, p, 0.3
Suppose x + 13 = 2*j, -5*j = -5*x - j - 41. Put -3, 3, x in increasing order.
x, -3, 3
Let i be (-2)/(-4)*(8 - 0). Let p(m) = m**3 + 3*m**2 + 3*m + 1. Let r be p(-2). Sort -3, r, i.
-3, r, i
Let v(i) = -1 - 4*i + 0*i + 2 + 5*i. Let z be v(-2). Suppose 0 = 2*j + 3*d - 6, -d = 2*j + 3*d - 8. Sort 5, z, j.
z, j, 5
Let b = 0.04 + 0.96. Let c = 3 - 3.4. Let v = 0.4 + c. Sort b, v, 4 in decreasing order.
4, b, v
Let g be (1 - 1)/(-1) + -2. Let c(d) = d**3 + 5*d**2 - 7*d - 6. Let m = -12 - -6. Let a be c(m). Sort g, 2, a in ascending order.
g, a, 2
Suppose -u - 5 + 3 = 0. Suppose 2*x + 0 - 4 = a, 0 = 5*a + 10. Sort u, x, 4 in ascending order.
u, x, 4
Suppose 7 = 5*h - 18. Let p be -2 - (4*1 - 1). Suppose 2*c + 2*c - 16 = 0. Sort c, h, p in increasing order.
p, c, h
Let x = 203 + -197.92. Let v = 5 - x. Let p = 0.02 - v. Put 3/2, 2, p in decreasing order.
2, 3/2, p
Let r = 10 - 6. Suppose 0 = -4*l + z - 11, -r*z = -l - 2*l - 18. Suppose 0 = -2*h + h - 1. Sort 3, h, l.
l, h, 3
Let b be -6 - (17 - 1)/(-4) - -1. Sort b, 6, -5.
-5, b, 6
Suppose 0 = 3*x, 0 = -2*t - 0*x - 3*x - 8. Put 5, -5, t in decreasing order.
5, t, -5
Let o = 2 + 0. Let j = 1 - 1. Let i(f) = -2*f + 29. Let p be i(14). Sort p, o, j in decreasing order.
o, p, j
Let a = -1.1 + -2.1. Let s = a - -3. Let y = s - 0.3. Put -0.3, y, 1/5 in ascending order.
y, -0.3, 1/5
Suppose 0*l - 4*p - 1 = 5*l, 0 = -l - 5*p - 17. Let a(d) = 50*d**2 - 21*d**2 + 4*d + 1 + 0*d - 30*d**2. Let o be a(l). Sort o, 3, -1 in ascending order.
-1, 3, o
Let p be 0*((-3)/(-6) - 1). Suppose 3*g + 5*k - 22 = p, -4*g = 4*k - 9 - 15. Suppose 7 = 4*m - 5. Put m, g, -2 in ascending order.
-2, m, g
Let x be 3*33/(-36) + 3. Sort 0.1, x, -6.
-6, 0.1, x
Suppose -27*d = -32*d. Let v = 5 - 3. Sort d, v, -2 in decreasing order.
v, d, -2
Suppose 33 = 6*o + 3. Suppose -o*w + 7 = -53. Put w, 1, -1 in increasing order.
-1, 1, w
Let d be ((-3)/4)/((-57)/(-6)). Let k = 135/266 + d. Sort k, -0.3, -0.2 in descending order.
k, -0.2, -0.3
Suppose 4*z + 0*z - 25 = -5*q, -4*z + 22 = 2*q. Suppose -3*n - q - 8 = 0. Let x be 4/14 + (-11)/63. Put -1/10, x, n in descending order.
x, -1/10, n
Let q be 3 + 1 + -3 - -1. Sort -5, q, 6.
-5, q, 6
Suppose 4*m - 11 - 1 = 0. Sort 0, -2, -4, m in increasing order.
-4, -2, 0, m
Suppose 3*l + 1 = 2*l. Let v = 0.72 + 0.08. Let b = 4.2 + v. Sort b, 0.4, l in descending order.
b, 0.4, l
Let c(i) = -i**3 - 23*i**2 + 2*i + 42. Let p be c(-23). Suppose 6*x - 15 = x. Let o(u) = u**3 - 3*u**2 - u + 3. Let d be o(x). Sort d, p, 4.
p, d, 4
Let r = -30 + 27. 