 Sort k, 0.5, -0.3 in descending order.
0.5, -0.3, k
Let g = 2 + 1. Let h be g*2 - (2 + 2). Sort h, 1, -4.
-4, 1, h
Let y(x) = -x**3 + 10*x**2 + 11*x - 2. Let f be y(11). Put -3, 0, 12, f in descending order.
12, 0, f, -3
Suppose -s = 3*s + 12. Let m = -1 - 9. Let q = m + 5. Sort q, s, 3 in increasing order.
q, s, 3
Let k = 52 - 28. Suppose 0 = -5*r - k - 1. Suppose 3*y + 9 = -y + z, 5*y - 2*z + 12 = 0. Sort 0, y, r in descending order.
0, y, r
Suppose -5*b + 23 = 3*f, 0*f + f = 2*b - 7. Sort -20, -5, f, -3 in ascending order.
-20, -5, -3, f
Let l = -107 - -74. Sort l, 0, -3.
l, -3, 0
Suppose 5*x + 5*q = -15, 3*q = 2*x - 11 - 8. Sort x, -4, -2, 3 in ascending order.
-4, -2, x, 3
Let d = 29 + -26.01. Let n = -0.8 + 0.79. Let i = d - n. Sort -5, i, 2/7 in decreasing order.
i, 2/7, -5
Let v = -62 - -58. Put 2, 0.2, -0.3, v in decreasing order.
2, 0.2, -0.3, v
Let s be (-5 + 8/2)*8. Put 0, 2, s in descending order.
2, 0, s
Let k = -0.922 - 0.168. Let p = -0.09 - k. Sort -5, 0.1, p in ascending order.
-5, 0.1, p
Let m be (4 - 8)*(-1)/2. Let z(p) = -3*p - 1 + p**3 + 3 + 3*p**2 - 2*p**3. Let y be z(m). Sort 5, 4, y in ascending order.
y, 4, 5
Let c(r) = 2*r. Let l be c(-3). Let u = 3 + l. Suppose 2*m + 4 = -2*m. Sort m, 0, u.
u, m, 0
Let c(s) = -s**3 - 12*s**2 - 10*s + 16. Suppose -3*f + 3*p = 9 + 39, -13 = 3*f + 4*p. Let x be c(f). Sort x, -5, 1 in decreasing order.
x, 1, -5
Let f(k) = k**2 + 5*k + 2. Let w be (-19)/4 - 1/4. Let s be f(w). Let c be (1/(-1))/(-2)*-4. Sort c, s, 0 in descending order.
s, 0, c
Let r(l) be the first derivative of l**4/2 + 4*l**3/3 + 2*l**2 + 2*l + 1. Let v be r(-2). Let m(b) = -b**2 - 7*b - 8. Let a be m(v). Sort a, -2/5, -3.
-3, a, -2/5
Suppose x + 4*x - 45 = 0. Let o(r) = -r**2 + 10*r - 9. Let j be o(x). Let b = -8 - -7. Put j, 3, b in increasing order.
b, j, 3
Let h(p) = 2*p + 3. Let g be h(-4). Suppose 26 = -2*a - 5*w, 2 = -4*a + w - 6. Sort a, -4, g.
g, -4, a
Let t(c) = -c**3 + 4*c**2 + 7*c. Let a be t(5). Let m be 4/a - (-2 - -2). Let y = 6 + -10. Put y, m, -1/2 in increasing order.
y, -1/2, m
Suppose 0 = 2*b + 5*z - 7, 3*b = 4*z - 7*z - 12. Put b, -2, 3 in decreasing order.
3, -2, b
Let l = -559/44 + 126/11. Put -4, l, -1/9 in descending order.
-1/9, l, -4
Let f be (-2)/14 - (-18)/(-21). Put 5, f, 0, -2 in ascending order.
-2, f, 0, 5
Suppose 0 = 3*k - 10 + 1. Suppose k*l + 4*c + 14 = l, 5*c + 22 = -l. Put 2, l, -3 in increasing order.
-3, 2, l
Suppose -3*b + 9 = -6*b. Let r = -8.6 - -8. Let a = -0.4 + r. Sort b, a, 0.2 in descending order.
0.2, a, b
Let s = -13 + 10. Sort 12, s, -2 in descending order.
12, -2, s
Suppose 9 = -0*c - c + 5*g, -4*g + 12 = 0. Sort 2, c, 0.
0, 2, c
Let g be 10/4*(-4)/(-60). Put -5, 0, g in decreasing order.
g, 0, -5
Let x = -31 + 29. Sort -6, -1, x in descending order.
-1, x, -6
Let h be (-1)/6 + 50/12. Let z = 4.7 + -5. Sort 1/5, h, z in ascending order.
z, 1/5, h
Let g be 2 - (1 - 2)*3. Suppose 3 = 4*o - 9. Suppose -1 + 4 = o*f. Sort 0, g, f.
0, f, g
Let v(t) = t**3 + 4*t**2 + t + 2. Let u(d) = -2*d**2 + 2*d. Let f be u(2). Let w be v(f). Put 5, 1, w in ascending order.
w, 1, 5
Let r = 21 - 16. Sort 2, r, -0.6 in ascending order.
-0.6, 2, r
Suppose 3*o + 20 = 2*i, 6*i = i + 20. Sort 5, o, 43 in decreasing order.
43, 5, o
Suppose 0*c - 4 = 4*c. Let r(q) be the third derivative of q**6/120 - q**5/20 + q**4/24 + q**3/3 + 2*q**2. Let w be r(3). Sort c, w, -2 in descending order.
w, c, -2
Let i = 23 - 18. Sort 3, 2/3, i in decreasing order.
i, 3, 2/3
Suppose 3*q + 0*c = -c - 2, 2*q = -c - 2. Let k = 1 + q. Let m = 2 + -2. Sort k, -2, m in decreasing order.
k, m, -2
Let s(u) be the second derivative of u**3/6 - 5*u**2 - 4*u. Let p be s(7). Sort p, 3, 2.
p, 2, 3
Let b = 11 - 13. Suppose -5*o = -2*c - 1, -c + 3*o - 11 = -5*c. Let d be c/(-7) + (-16)/(-7). Put b, -3, d in ascending order.
-3, b, d
Suppose -2 = -a + 3*a. Sort 4, a, -3 in decreasing order.
4, a, -3
Suppose 7*x - 54 = x. Let p(i) = -8*i**3 + i**2 + i + 1. Let g be p(-1). Let u = g - x. Sort -0.3, u, -2/3.
-2/3, -0.3, u
Suppose 3*o = 2*o - 4. Let d = 97 + -97. Sort 5, d, o in increasing order.
o, d, 5
Let h = -13 - -11. Let j = -3 - h. Let t be -3 + -1 + (-1)/1. Sort -3, j, t in descending order.
j, -3, t
Let k = 3 + 1. Let r be k/(-3)*(-12)/28. Put 3, 4, r in descending order.
4, 3, r
Let h = 2 - 2.1. Let w = 0.5 + -0.8. Let c = h - w. Sort -5/2, c, -0.3 in descending order.
c, -0.3, -5/2
Let h = -0.05 + -0.47. Let l = h + -0.08. Let b = l - -0.4. Put b, 1, -0.5 in decreasing order.
1, b, -0.5
Let r = -2/159 - 47/477. Let z = -2 + 4. Sort 3/7, r, z.
r, 3/7, z
Suppose -3*v + 16 = -4*q - 16, 5 = -q. Let u be (-1)/v + 2/8. Suppose -12 = -3*d - u. Sort 1, d, -5 in decreasing order.
d, 1, -5
Let v = 5.9 + 0.1. Let a = 7 - 3. Let f = a - v. Sort f, 3, 0.5 in decreasing order.
3, 0.5, f
Let t = 77 + -77.2. Put -2/7, -0.01, t, -1 in descending order.
-0.01, t, -2/7, -1
Let w = -0.11 + -3.89. Let s be (2 - 8/4) + -8. Let j be (12/s)/((-12)/10). Sort j, w, -0.3.
w, -0.3, j
Let a be (14/(-98))/(1/(-2)). Put a, -26, -2 in descending order.
a, -2, -26
Let a be ((-2)/4)/(18/8). Let m = 0 + -1. Let i = m + -1. Sort a, i, 4 in ascending order.
i, a, 4
Let z = -0.1 + 0.1. Let g = 0.04 + 0.04. Let f = -0.22 - g. Put 3/7, f, z in descending order.
3/7, z, f
Suppose 2*v = 2*q + q - 8, 2*q = -2*v + 12. Suppose -20 = 4*t, -2*y + 6*t - 2*t = -26. Let s = 0 + y. Sort s, v, -3 in decreasing order.
s, v, -3
Let j = 54 + -57. Put j, -6, 2 in increasing order.
-6, j, 2
Let k = 6 + -1. Let c = -0.12 + -4.38. Let n = c + k. Sort 0.4, n, -1.
-1, 0.4, n
Suppose 0 = 2*o - o - 15. Suppose -6 = -3*w + 2*t, -4*w - t = -w - o. Suppose 3 = -w*y - 1. Sort y, -4, 4 in decreasing order.
4, y, -4
Let k = 2/9 + 4/9. Put -2, 0.4, k in increasing order.
-2, 0.4, k
Suppose 9*y + 17 - 44 = 0. Sort -3, -8, y in decreasing order.
y, -3, -8
Let o(p) = p**2 + 5*p - 3. Let l be o(-6). Let v = 54 - 54. Put -4, v, l in descending order.
l, v, -4
Let p be 4*2/20 - (-12)/(-5). Sort -3, 1, p, -2/5.
-3, p, -2/5, 1
Suppose 3*z - 3 = 9. Suppose -1 = -z*s + 7. Put 0, 3, s in increasing order.
0, s, 3
Let f(n) = -3*n**2 - 13*n - 5. Let a be f(-4). Put -2/5, a, 0 in decreasing order.
0, -2/5, a
Let p(t) = t**3 + 7*t**2 - 7*t + 4. Let z be p(-8). Suppose 6 = 2*m + 2*d + 3*d, 5*m + 4*d = 15. Let a be ((-10)/5)/(2/m). Sort z, 3, a.
z, a, 3
Let w(y) = y**3 + 6*y**2 - 7*y + 3. Let x be w(-7). Suppose 3*n - 11 = 2*g + 2*g, -x*n + 19 = 4*g. Let m be (-1)/2 + g/(-2). Sort m, -4, 1.
-4, m, 1
Let k(z) = z**3 + 8*z**2 - 8*z + 5. Let f be k(-9). Let q be (-14)/(-4) - (-1)/(-2). Put q, -1, f in ascending order.
f, -1, q
Let p = 6 + -5.6. Let i = -2.7 + 1.8. Let n = i + p. Sort -4, n, 0.
-4, n, 0
Let z = -17.2 + 17. Sort 2/19, 2/5, z.
z, 2/19, 2/5
Suppose f = -b, 2*b - 4*b = -2*f - 12. Let x(w) = -4*w - 1. Let i be x(1). Put 5, f, i in ascending order.
i, f, 5
Let o = 0.2 + -0.7. Sort -3/7, o, -0.1.
o, -3/7, -0.1
Let b(l) = -l**2 - 10*l + 13. Let g be b(-11). Put -4, 1, g in decreasing order.
g, 1, -4
Let c(w) = w**2 - w + 1. Let j = 2 + -1. Let m be c(j). Suppose 0 = x - 2*s - 8 - 0, -s + 10 = 3*x. Sort x, -3, m.
-3, m, x
Let n = -3.2 - -0.2. Let m = -2 + 0. Sort m, n, 0 in decreasing order.
0, m, n
Suppose a - 2 = 2*a. Sort a, 1, -5 in increasing order.
-5, a, 1
Suppose 0 = r + 3*j + 6, j = -3*j - 4. Let s be (r/6)/(2/20). Let z(f) = f**2 + 4*f - 6. Let t be z(s). Sort 3, -4, t in descending order.
3, t, -4
Let s(n) = n**3 - 6*n**2 - 8*n + 10. Let b be s(7). Suppose -4*l + 35 = p, -l + 4*p + 31 = 2*l. Let m be l/10 - (-2)/(-5). Sort b, m, -0.4 in descending order.
b, m, -0.4
Suppose -3*h = 4*r + 2*h - 25, 0 = -h + 5. Sort r, -14, -1 in increasing order.
-14, -1, r
Let g = 52/9 - 49/9. Put -0.2, g, 0.2, 0.1 in decreasing order.
g, 0.2, 0.1, -0.2
Suppose 20 = -4*r, -r + 25 = -3*l - 0*r. Let x be ((-6)/l)/((-2)/(-10)). Sort 2, 5, x in descending order.
5, x, 2
Let x = -36 + 34. Sort 4, 5, 2, x in descending order.
5, 4, 2, x
Let l be 2 + 0/(-2 + 0). Suppose -5*a = 5*m, -3*m = 2*a - 2 - 0. Let x = l - m. Sort 1, 4, x.
x, 1, 4
Let z(b) be the third derivative of -b**4/24 - 2*b**3 + 5*b**2. Suppose -5*t = 61 - 6. Let y be z(t). Put 0, 5, y in descending order.
5, 0, y
Let k be (-1 + -27)/7 + 4. Let y(m