4, u.
-4, u, 3
Let n(s) = s**2 + 11*s - 1. Let x be n(-11). Sort -9, x, 2 in decreasing order.
2, x, -9
Suppose -2*i = -w - 3, -4*i = 5*w - 6*w - 5. Sort -2, i, 0, 6 in descending order.
6, i, 0, -2
Suppose -9*z = -2*z. Put 5, z, 1 in ascending order.
z, 1, 5
Let s = 25 + -16. Let g = -7 + s. Sort -3, g, 2/7 in descending order.
g, 2/7, -3
Let t = 0.06 + -0.56. Let a = 1.9 - 1. Let r = 1 - a. Sort r, t, 4.
t, r, 4
Let n = 87 - 90. Let q = -1 - -1. Sort n, -2, q.
n, -2, q
Let d = -3 + 3. Let k = 121/555 - 2/111. Let a = -0.1 - 4.9. Put a, d, k in descending order.
k, d, a
Let k = 17 + -13. Suppose 2*a = k*a. Put a, 4/7, -1 in descending order.
4/7, a, -1
Let z = -42 + 64. Suppose z = -5*b - 3. Put b, 1, -2 in ascending order.
b, -2, 1
Suppose -2*u - 10 = -4*u. Sort 0, -7, u.
-7, 0, u
Let s(d) = -d**2 + 10*d - 10. Let o be s(9). Let t = o - -5. Suppose 4*k = t*l - 0 - 12, -l + 2*k = -4. Put 3, l, -3 in decreasing order.
3, l, -3
Let j = -2.6 - -2.7. Sort 1/8, 0.4, j in decreasing order.
0.4, 1/8, j
Suppose 10*t = 12*t. Let m = 5 + -2. Suppose 0 = 5*y - c - 2, 0 = -y + m*y + 4*c - 14. Sort -4, y, t in decreasing order.
y, t, -4
Let j be ((-1)/1)/(1/5). Suppose 2*s - 6 = 2. Suppose 0 + 8 = -s*m, -5*a = m - 13. Put 2, a, j in decreasing order.
a, 2, j
Let o be (1 - -1)*(-4 + 72/16). Sort -4, o, -6 in decreasing order.
o, -4, -6
Let j(g) = g + 9. Let t be j(-9). Let x(s) = -s**2 - 4*s + 7. Let d be x(-5). Suppose -6*r + r - 5*i = t, 5*i + d = -4*r. Sort -3, 4, r in decreasing order.
4, r, -3
Let b = -8 - -13. Suppose 3*o + 7 + b = 0. Sort o, 0, -2 in descending order.
0, -2, o
Suppose k - 2*x = -4, -k = 2*k + 5*x + 1. Let h(i) = -i**2 + 5*i + 16. Let u be h(7). Sort u, 0, k.
k, 0, u
Suppose -3*t = 4*x - 10, 4*x = 3*x + t - 1. Put x, 2, -5, 3 in descending order.
3, 2, x, -5
Let d = -0.89 - -0.39. Let o = -0.3 + 0.1. Let k(a) = 3*a + 1. Let i be k(-2). Sort d, i, o in ascending order.
i, d, o
Suppose 3*i + 4 + 2 = 0. Let l(m) = -m**2 + 6*m + 3. Let k be l(7). Let o be k/(-8)*(-1 - -3). Sort 5, o, i in ascending order.
i, o, 5
Suppose -2*m + 1 + 5 = 0, w = -m - 2. Let j = -0.4 + 0. Let g be 18/(-8) + (-1)/4. Put w, j, g in ascending order.
w, g, j
Let v be 32/(-36)*(-2)/24. Put 2/19, v, 1/3 in decreasing order.
1/3, 2/19, v
Let k be 0 + -1 + 10/(-5). Put k, 1/2, 1/4 in descending order.
1/2, 1/4, k
Let h = -0.66 - -0.76. Put 1/5, h, -3 in decreasing order.
1/5, h, -3
Let v = 0.047 - 7.747. Let o = v - -8. Let c(i) = i - 5. Let t be c(8). Put t, o, 1 in descending order.
t, 1, o
Suppose 3*z = -0*z - 15. Put -2, -1, z in decreasing order.
-1, -2, z
Suppose 5*p + 15 = -5. Let f = 3/160 - -631/480. Let g = -11 - -10.5. Put p, f, g in descending order.
f, g, p
Let z = 0.19 + -0.49. Sort z, 1, -5/3 in decreasing order.
1, z, -5/3
Let o(f) = -f**3 + 8*f**2 - 6*f - 2. Let t be o(7). Suppose 0 = -0*d + t*d + 5. Put -2, d, -3 in ascending order.
-3, -2, d
Let p(m) = -2*m - 4. Let t be p(-4). Suppose 0 = -2*h - 0*h + t*c - 14, 3*h + 4*c - 29 = 0. Sort h, 5, -2 in increasing order.
-2, h, 5
Let p = -0.08 + 2.08. Put p, 3, -5 in ascending order.
-5, p, 3
Let g(p) = -3*p - 10 + p - p**2 - 6*p. Let c be g(-7). Let w = 9 + -8. Sort 5, c, w.
c, w, 5
Let b = 13 - 16. Sort -3/4, b, -2 in ascending order.
b, -2, -3/4
Let g(w) = 2*w**2 + 9 + 7*w**2 - 10*w**2 + 4*w. Let f be g(5). Put f, 5, -2 in descending order.
5, f, -2
Suppose 3*o = 6*o. Put o, -2, 1/3 in descending order.
1/3, o, -2
Let r = 4 + 2.4. Let t = -9 - -3. Let j = r + t. Sort j, 2, -0.4.
-0.4, j, 2
Suppose -f + 0 = -4. Sort f, -2, 3 in decreasing order.
f, 3, -2
Let m = -4 + 0. Let x be 60/12 - (-1 - -4). Sort m, -5, x in ascending order.
-5, m, x
Let p = -38 - -40. Put p, -2, 5 in ascending order.
-2, p, 5
Let i = -22 + 21.91. Let c = i - -0.39. Suppose 0 = -t + w - 5, 4*w - 17 = 2*t + t. Sort 1, c, t in decreasing order.
1, c, t
Let y be 1/4 + 9/12. Let q be (-2 - (0 - 2))/1. Let x be (-1 + 3 + -1)*q. Sort -1, x, y.
-1, x, y
Let m = -32 + 31. Let w = -5 - -4.8. Sort w, m, 0.4 in decreasing order.
0.4, w, m
Suppose -5*d + 12*d + 105 = 0. Sort 3, 2, d in decreasing order.
3, 2, d
Suppose -x = 5*b - 13, 4*x - 6*x + 5*b - 4 = 0. Sort -1, 0, 4, x in decreasing order.
4, x, 0, -1
Let u = -0.89 - 0.11. Let j = u + 4. Let h = -2 - -3. Sort j, h, -5 in increasing order.
-5, h, j
Suppose 3*o - 78 = -1065. Let v = -6249/19 - o. Put 4, -0.5, v in decreasing order.
4, v, -0.5
Let j = -12 - -13. Sort -4, j, 0.
-4, 0, j
Let w be 1*(-487)/14 - 1. Let u = w - -71/2. Sort -0.3, u, -2.
-2, -0.3, u
Let d = 0.09 + -0.09. Sort d, -3/8, -1 in ascending order.
-1, -3/8, d
Let n = 16.5 - -1.5. Sort n, -1/3, -3/4.
-3/4, -1/3, n
Suppose 0*n + 4*n = 3*b + 8, -4*b = 2*n - 26. Sort b, 5, -3 in increasing order.
-3, b, 5
Let p = 29.4 - 29. Put p, -3, 4 in descending order.
4, p, -3
Let i = 10 + -8. Put i, 0.1, -1/3 in descending order.
i, 0.1, -1/3
Let l be (-5)/(-25) + (-13)/115. Sort l, -0.2, 0.3 in descending order.
0.3, l, -0.2
Let q be (6/9)/(1/(-3)). Sort 0, 0.1, q.
q, 0, 0.1
Let g be 2 + -2 + 5 + -3. Sort -5, g, 1 in decreasing order.
g, 1, -5
Let f(v) = -5*v**2. Let g be f(-1). Sort g, 5, 3.
g, 3, 5
Suppose 3*q + 20 = -q. Let c be 3/(-4)*q/(-15). Let j = 0 + -0.4. Put j, c, 0.4 in increasing order.
j, c, 0.4
Let s(t) = t**3 + 10*t**2 + t + 5. Let a be s(-10). Sort a, 0, 2.
a, 0, 2
Let i(z) = -z. Let q be i(-3). Suppose -3*w + q = -w + 5*f, -3*w = 2*f + 1. Let x(v) = -v**2 + 17*v + 2. Let d be x(17). Sort d, -5, w in descending order.
d, w, -5
Suppose -2*o = -5*c + 5, -o = -5*c - 2 + 12. Suppose 5*n = -z - 3*z + 86, -5*n = -3*z - 58. Suppose -t = -c*w - n, t = -5*w - 12 + 2. Sort 0, -4, w.
-4, w, 0
Let d(z) = -z**2 + 9*z - 12. Let u be d(8). Put 0, u, -1 in decreasing order.
0, -1, u
Let z be (0 - 2) + 3 - -2. Suppose -7*i + 8*i = -5. Sort z, i, -4 in descending order.
z, -4, i
Let o = 11 + -17. Let y = 4 - 13. Let h = o - y. Sort h, -3, 1 in decreasing order.
h, 1, -3
Let j = 0 - -13. Suppose 0 = 2*s + 3*f - j, -2*f + 2 = 0. Put 0, 1, s in decreasing order.
s, 1, 0
Suppose -2*p + 5*p = 2*r - 21, 4*p + 32 = 4*r. Suppose -2*c = -2*s + 1 + 1, -5*c = 3*s - 35. Put -1, c, r in increasing order.
-1, r, c
Let x = -7 - 0. Sort 0, 3, x in decreasing order.
3, 0, x
Let a(w) = w**3 - 2*w**2 + w - 1. Let o be a(1). Let k be (3 - -1)/((-1)/o). Put k, 0.2, 0.5 in descending order.
k, 0.5, 0.2
Let r = 6 - 7. Let o be ((6 - 1)*1)/r. Sort o, 6, -1 in decreasing order.
6, -1, o
Let x(q) = -q**3 + 8*q**2 - q + 10. Let u be x(8). Put -4, u, 3/2, 0.14 in ascending order.
-4, 0.14, 3/2, u
Let z = 2 + -5. Let p(c) = -c**2 - c + 1. Let r be p(-2). Let f = r + 1. Put f, z, -5 in increasing order.
-5, z, f
Let p = 12 - 14. Suppose -5*c = -0*c + 10, 0 = 2*w - 3*c - 14. Suppose -w*x + 7 = 6*s - s, 4*x + 8 = 0. Put s, p, -5 in descending order.
s, p, -5
Let i = 1 - 4. Let t be i + 2 + 6/4. Sort -2, 3/8, t.
-2, 3/8, t
Let b be 0/(4 + -3) + 5. Let s be 16/7 - 4/14. Suppose -5*l + s = 22. Sort b, 1/2, l in increasing order.
l, 1/2, b
Let d(x) = -x**3 - 2*x**2 + 6*x + 7. Let s be d(-3). Put -4, s, 5 in ascending order.
-4, s, 5
Let f(t) be the third derivative of -t**5/60 - t**4/4 + t**3/3 + 2*t**2. Let z be f(-7). Let m(q) = -5*q - 17. Let g be m(-4). Put g, 5, z in descending order.
5, g, z
Let b be (6/(-27))/((-2)/3). Let p = -0.2 - 0.3. Sort p, -1, b in decreasing order.
b, p, -1
Let a = -13.3 + 13. Let w = 0.2 - 0.3. Put w, a, 2 in ascending order.
a, w, 2
Let y be (-22)/33*1/(-7). Let w = -5 + 4.7. Let q = 0.2 + w. Put y, q, 0.2 in descending order.
0.2, y, q
Let f(x) = -5*x + 22. Let o be f(5). Put 0, o, -5, -4 in decreasing order.
0, o, -4, -5
Let p = -1 - 2. Suppose 3*m = m + z - 3, -2*m + 3*z = 9. Suppose 0 = -3*r + 6 - m. Put p, r, 3 in decreasing order.
3, r, p
Let w = -0.09 - 0.81. Let k = w - -1.2. Sort -1/4, 5, k in descending order.
5, k, -1/4
Let q = 35 + -48. Sort q, 1, -2 in descending order.
1, -2, q
Suppose -3*x = o, -4*o = -x + 5*x. Let m(t) be the first derivative of t**2 + t - 1. Let d be m(-1). Put 1, d, x in ascending order.
d, x, 1
Let j(b) = -b - 10. Let d be j(-9). Let q be 4/3*-1*3. Sort -2, d, q.
q, -2, d
Suppose 5*s + 0*s - 180 = 0. Let h be (3 + 4)*s/14. Suppose 0 = 3*w + 3*u, 4*u - h = w + 4*w. Sort w, -3, 3 in increasing 