Sort -2, f, -5 in descending order.
f, -2, -5
Suppose 2*l = -h + 5*h - 10, 10 = 2*l + h. Put -3, -4, l in ascending order.
-4, -3, l
Let o = 15 + -19. Let f = 0.2 + 0.1. Let b = f - 2.3. Put b, o, -3 in increasing order.
o, -3, b
Suppose 0*p - p = -3*o + 43, 0 = -p + 2. Let l be o/(-10) - 6/(-4). Suppose 2*d - 6*d - 8 = l. Sort -4, -3, d.
-4, -3, d
Let p(c) = -c**3 + 10*c**2 - 16*c - 2. Let a be p(8). Let o = 165 + -1152/7. Put 6, a, o in descending order.
6, o, a
Suppose -5*x + 2*x = 3*c - 9, 0 = -4*c - 4. Let z be x/10 + 24/(-10). Suppose -u - 4*m = -4*u - 8, -3*u - 3*m = -27. Sort z, u, 2.
z, 2, u
Let t(v) = -v**3 + 4*v**2 + 5*v + 4. Let q be t(5). Let k be (0 + q)*(-30)/24. Let b = -7 - -3. Sort 5, k, b.
k, b, 5
Suppose 3*u + o = -2*o - 9, 15 = -3*u - 5*o. Suppose 5*g - 2*d + 3*d = 6, -3*g = 3*d - 6. Put 3, g, u in descending order.
3, g, u
Let u be (12/15)/(12/30). Sort -0.1, u, -1/3 in decreasing order.
u, -0.1, -1/3
Let j = 12 + -7. Suppose 2*p = u + u + 18, u = -j*p + 21. Sort 4/7, p, 1 in increasing order.
4/7, 1, p
Let i(v) = 2*v + 4. Let u(m) = m**2 + m + 6. Let f be u(0). Suppose -5*n = c + 20 - 5, -2*n - 5*c = f. Let o be i(n). Sort -4, o, -5 in increasing order.
-5, -4, o
Suppose -3*z - 50 = 4*s, 5*z + 93 = -4*s + 39. Let v = s + 16. Let f = 7 - 4. Put f, -2, v in increasing order.
-2, f, v
Let a be (-45)/(-6)*(-2)/10. Sort 3/2, -4, a in descending order.
3/2, a, -4
Let v = -1.2 + 0.7. Sort 0.3, v, 1 in ascending order.
v, 0.3, 1
Suppose 0 = -4*h - 0*s + s + 22, 9 = h - 2*s. Let k = 3 - h. Put 4, 2, k in decreasing order.
4, 2, k
Suppose -10 = 3*x - 46. Put x, -1/8, 2 in increasing order.
-1/8, 2, x
Let g = 31 + -34. Sort g, 8, 4 in decreasing order.
8, 4, g
Let a = 5 + -3. Let d(k) be the second derivative of 2*k**3/3 + 3*k**2/2 - 2*k. Let j be d(-2). Sort a, j, 0 in ascending order.
j, 0, a
Let h = 0.057 - -4.943. Put 2/5, h, -2 in decreasing order.
h, 2/5, -2
Let o = -5.3 + 5. Suppose 5*m - m + 4*v = -124, 2*m - 4*v = -44. Let l be 29/(-28) + (-8)/m. Sort 0.4, l, o in increasing order.
l, o, 0.4
Let r be 1 - ((-9)/(-3))/3. Suppose r = 5*h - 2*h + 12. Sort 5, -3, h in ascending order.
h, -3, 5
Suppose 2*p - 5 = 3*p. Let l(q) = -q**2 - 6*q - 1. Let j be l(p). Suppose 4*x - 3*d - 16 = 10, -2*x + 2*d + 14 = 0. Sort x, j, -4 in decreasing order.
x, j, -4
Let t(p) = 5*p - 4. Let x(o) = 6*o - 5. Let i(b) = 4*t(b) - 3*x(b). Let a be i(3). Let r = -0.1 + -0.1. Put 1, r, a in descending order.
a, 1, r
Let s = 0.47 + -0.07. Put s, -0.1, -2/11 in ascending order.
-2/11, -0.1, s
Suppose -7*k = k - 40. Sort -4/5, -1/2, k, 2.
-4/5, -1/2, 2, k
Let h = -0.4 - -0.1. Let s = -1.1 + -0.9. Let j = -3 - s. Put j, 2/21, h in increasing order.
j, h, 2/21
Let i = 2.1 + -1.9. Sort i, 3, -2/15 in increasing order.
-2/15, i, 3
Suppose 0 = 16*c - 87 - 57. Put 4, 0, c in increasing order.
0, 4, c
Suppose 0 = -0*q + 3*q + 2*z - 26, 0 = -q - 5*z + 26. Let f(l) = l - 11. Let y be f(q). Sort 3, y, 0.
y, 0, 3
Let p = -17/11 + 1983/1276. Let q = p - -109/812. Let x be 4/10 + 4/(-10). Sort x, -2, q in descending order.
q, x, -2
Let g(c) = -c**3 - 6*c**2 - 3*c + 7. Let o be g(-5). Put -11, o, 1, -5 in increasing order.
-11, -5, o, 1
Let t(o) = -o**2 - 12*o - 15. Let a be t(-10). Put 2, -3, a in increasing order.
-3, 2, a
Let a be -1*(0 + 2) + -4. Let p be (-2)/((-9)/a + -1). Suppose 0 = 3*k - n - 0*n - 6, -3*k - 4*n = -21. Sort p, -1, k.
p, -1, k
Let z be 19 + ((-4)/(-3))/((-2)/(-3)). Sort 1, 2, z in descending order.
z, 2, 1
Let h = -15 - -15.1. Let m = -1 + 1.5. Let t = -2 + 3. Put h, m, t in descending order.
t, m, h
Suppose 2*l - 2 = -0. Suppose -b + 4 + l = 0. Let i be 0/(-4*(-2)/4). Sort -2, i, b in descending order.
b, i, -2
Let w(l) = -l**2 + 9*l - 10. Suppose 53 = 5*d + 13. Let n be w(d). Put 5, 1, n in decreasing order.
5, 1, n
Suppose s + 26 = 20. Sort 0, s, 3.
s, 0, 3
Let m(k) = -k**2 - 5*k - 2. Let o be m(-2). Sort -3, o, 5, 1 in ascending order.
-3, 1, o, 5
Let y = -2 - 0. Suppose -2*f - 8 = -0*f. Let x = -12 - -11. Sort x, y, f in ascending order.
f, y, x
Let x(b) = -b - 4. Let o be x(-6). Suppose -o*g = g. Let m = 2 + -4. Sort g, m, -4 in descending order.
g, m, -4
Let x(b) = b**3 + 13*b**2 - 14*b + 4. Let h be x(-14). Put 1/4, h, -4 in decreasing order.
h, 1/4, -4
Let m be (2/10)/((-18)/(-90)). Put 3, 9, m in increasing order.
m, 3, 9
Let t = -45 - -50. Put 2, t, -4, -5 in descending order.
t, 2, -4, -5
Let d be (42/15 + -2)*(-4 + 9). Put 3, 1, d in descending order.
d, 3, 1
Let l be 1/(-3)*(-207)/138. Let a = 9.6 - -0.4. Let h = a + -6. Sort l, 2/9, h in increasing order.
2/9, l, h
Let j = 0.73 - 0.4. Let h = -0.03 + j. Sort h, -4, 1 in descending order.
1, h, -4
Suppose 5*z - 52 = 18*z. Put -0.1, 1/3, z in ascending order.
z, -0.1, 1/3
Let b = -10 - -7. Sort 4, -2, b in decreasing order.
4, -2, b
Suppose -2*i = 0, -o = -0*o + 3*i. Let u be 0/(1/(-1)) + 0. Let d = o + u. Put -3, d, 4 in ascending order.
-3, d, 4
Let s be 1/(-2)*(-68 - 2). Suppose -3*y + s = y + 3*j, 0 = 3*j - 15. Let n = y + -3. Put -2, 0, n in decreasing order.
n, 0, -2
Let l(t) = t + 2. Suppose 5*g = d + 2*d + 18, -d - g = 6. Let m be l(d). Sort 2, 0, m in increasing order.
m, 0, 2
Suppose 0 = -5*w - 2*n + 3, -5*n - 5 = -0*n. Let i be -1*6*w - -2. Let q(f) = f**2 + 4*f + 1. Let y be q(-3). Put 1, i, y in decreasing order.
1, y, i
Let q(b) = -3*b**2 + b + 2. Let h be q(-1). Put h, 3, 4 in decreasing order.
4, 3, h
Let a = -31/115 + -3/23. Let o = 1 + 0. Let i be (((-8)/(-9))/(-2))/o. Sort a, 2, i in decreasing order.
2, a, i
Let n be ((-60)/(-18))/(4/6). Sort -1, 2, n in descending order.
n, 2, -1
Let n = -0.047 + -15.953. Sort n, -2/7, -1/5, -3 in increasing order.
n, -3, -2/7, -1/5
Let c be 2/(-6) - (-19)/3. Suppose g + 3 + c = -i, -4*i - 27 = g. Let q be (3/2)/(i/(-4)). Put 2, q, -2 in ascending order.
-2, q, 2
Suppose 3*y - 3 = t, 4*y = 5*t - 20 + 57. Put t, 3, -3, 5 in decreasing order.
5, 3, -3, t
Let q = 0 - -1. Let o = q - 1.3. Put o, -3, 1/5 in descending order.
1/5, o, -3
Let g be (-238)/1090 + (-3)/(-15). Let x = 331/218 + g. Put 1, x, -2 in increasing order.
-2, 1, x
Suppose 3*k - 2*y = 14, -3*k + 3 + 8 = y. Let v = -0.036 + 0.536. Sort k, -0.4, v in ascending order.
-0.4, v, k
Let x = -4 + 8. Let w = 235/24 - 61/6. Put -2, x, w in descending order.
x, w, -2
Let q be (-3)/(-12) + 21/12. Suppose -x - x = u + 6, -q*u + 4 = 0. Suppose 4*i + 0*i = 0. Sort i, x, -2 in decreasing order.
i, -2, x
Let m(l) = -l**2 - 3*l + 5. Let h be m(-4). Sort h, 2, 7.
h, 2, 7
Let j be 1/(-28) - 8/(-28). Sort j, -2/13, 4/5 in decreasing order.
4/5, j, -2/13
Let s(d) = -d - 1. Let t(c) = c**2 + 4*c - 1. Let a(m) = 2*s(m) + t(m). Let b be a(2). Suppose -2*z = -6 + 2. Put 0, z, b in descending order.
b, z, 0
Let l(c) = c + 1. Let y be l(0). Let g = 8 - 6. Suppose -2*o + 4 = -g. Sort 5, o, y in increasing order.
y, o, 5
Suppose -4*x + 10 - 2 = 0. Let n be x/(-12) - 1/3. Suppose 0 = -2*j + 3*j + 4. Sort -0.2, n, j.
j, n, -0.2
Suppose 12 = -2*i - 2*v, 0 = 6*i - 3*i - 5*v + 2. Sort i, -5, 0 in descending order.
0, i, -5
Let s = -529/865 - -2/173. Sort s, -0.04, -2, -4 in descending order.
-0.04, s, -2, -4
Let l(x) = -x**3 - 2*x**2 + 10*x + 10. Let j be l(-4). Sort j, 3, 0, -4 in ascending order.
-4, 0, j, 3
Suppose -4*d - 5 = -4*w + 51, 0 = 4*w + 3*d - 28. Let l be 4/w + 44/(-10). Put -3, l, -5 in ascending order.
-5, l, -3
Suppose 3*r + 4 = -4*m - r, -r = 3*m - 1. Sort -4, -2, m in ascending order.
-4, -2, m
Let l be (6 + -2)*(2 - 0). Let p be (l/6)/((-8)/12). Sort p, -1, 1 in ascending order.
p, -1, 1
Suppose 2*p + 0 - 2 = 0. Let h = 4 - 2. Put h, -2, p in descending order.
h, p, -2
Let y = 5 - 5.01. Let k = -0.02 + y. Sort k, -5, 0.4 in increasing order.
-5, k, 0.4
Suppose 0 = -3*y + 5*s + 10, 0 = -y + 5*s + 20. Sort -3, y, 0 in descending order.
0, -3, y
Suppose a + 0 = 2*m - 5, -4*a = 2*m. Let q = 0 + 2. Sort q, a, 5 in decreasing order.
5, q, a
Let j = 1.3 - 1.5. Suppose 3*b - 42 = b + 2*y, -46 = -2*b + 3*y. Let i = b + -287/17. Put i, 3, j in increasing order.
j, i, 3
Suppose -5*o = -3*o - 4. Suppose -o*p + 5*d = -15, -p + d = -3*d - 9. Put 2, 2/11, p in descending order.
p, 2, 2/11
Let m = 23.1 - 23. Let q be (-3)/(-9) + 2 + -3. Let x = 3 - 0. Sort x, m, q in descending order.
x, m, 