l(5). Put 0, d, t in decreasing order.
d, t, 0
Let h = -1753/9 + 195. Let z = 33.2 + -36. Let m = z - -3. Sort h, -0.3, m.
-0.3, m, h
Let a = 13 + 7. Suppose 0 = f, -5*c - 3*f + a = -6*f. Let j(r) = r**2 - 2*r + 2. Let h be j(2). Put h, c, 0 in descending order.
c, h, 0
Suppose 4*t - 60 = -4*n + 8*t, 0 = n + 2*t - 9. Sort 0, n, 1 in descending order.
n, 1, 0
Let a = -0.7 + 6.7. Let b = 6 - a. Put 1, -0.4, b in ascending order.
-0.4, b, 1
Let s = 93/415 + -2/83. Put s, -0.4, 3/2, 4 in decreasing order.
4, 3/2, s, -0.4
Suppose 3 = 5*z - 22. Suppose 0 = z*v + 15, 6*o - 4*o + 39 = v. Let k = o - -106/5. Put -1, k, 0.5 in ascending order.
-1, k, 0.5
Suppose 3*d + 32 = 4*h, 4*h = -2*d - 0*h + 12. Let u be d/18 + 136/(-36). Sort 5, -5, u in ascending order.
-5, u, 5
Let y be (-4 + 1)*(-8)/84. Sort -5, -36/7, y in descending order.
y, -5, -36/7
Suppose 4*r + 13 = 7*f - 2*f, -3*r - 1 = 5*f. Suppose -c + f = -2. Let k be ((-9)/12)/(0 - c). Sort k, -3/7, -0.3.
-3/7, -0.3, k
Let p = -0.5 - -1. Let k(d) = -d**3 + 10*d**2 + 4. Let v be k(10). Sort p, -1/8, v.
-1/8, p, v
Let p be (-2)/(-6) - (-2)/6. Let l = -18 + 18.9. Let w = 0.4 - l. Sort p, -1, w in decreasing order.
p, w, -1
Let x(j) = -2*j + 16. Let r be x(7). Put -1, 6, r in decreasing order.
6, r, -1
Let a = -2.2 - 0.8. Let c = -8 - a. Let x = c - -4.7. Put 0.4, -5, x in ascending order.
-5, x, 0.4
Let u = -5 - 2. Let y = u - -9. Put -0.2, y, -2/7 in descending order.
y, -0.2, -2/7
Suppose 2*d + 3*d + 15 = 0. Let z be (3 + d)/((-2)/(-1)). Suppose -o + 5*o = -5*b + 10, 0 = 5*b + 3*o - 5. Sort 2, b, z in increasing order.
b, z, 2
Suppose -4 = 3*q - 5*q. Put -5, 0, 5, q in increasing order.
-5, 0, q, 5
Suppose -5*o + 0*r - 5 = -r, 3 = o - r. Let c be (-2 - (o - 0)) + 0. Let h = 0 + -1. Sort 5, c, h in decreasing order.
5, c, h
Let s be (-10)/(-2)*(6 - 5). Suppose w = -0*d + 5*d + 10, -s*w = d + 28. Sort -4, 1, d.
-4, d, 1
Let x be 0 + 10/6 - 1. Put 0.4, x, 0.01 in descending order.
x, 0.4, 0.01
Let d be (0 - (0 - 0))/(-1). Suppose 5*c + v + 14 = 3*v, -5*c = -4*v + 8. Let i = d + c. Put 1, 3, i in decreasing order.
3, 1, i
Let a = -62 + 70.91. Let h = -9 + a. Let t = -0.1 - h. Sort t, 5, -2/7 in ascending order.
-2/7, t, 5
Let m = 56 - 61. Put m, 0, 13, 5 in descending order.
13, 5, 0, m
Let c = 0.39 + -0.01. Let y = -0.11 - c. Let k = y - 0.01. Put -1, 1, k in ascending order.
-1, k, 1
Suppose -3*q + 5*w - 28 = -6*q, -4*q - 5*w = -44. Suppose -5*c = -3*l + q, -5 = 3*l - c - 1. Sort l, 0, 0.06.
l, 0, 0.06
Suppose -3*p + 48 = 2*p - 4*x, p - 4*x = 0. Let y = p - 8. Sort -2, y, 1.
-2, 1, y
Let g be (6/(-18))/(2/(-24)). Suppose -3*f + 2 = -5*f, 2*t - 6 = g*f. Sort 4, t, -1 in decreasing order.
4, t, -1
Let b = 14.14 - 14. Let x = 3.86 + b. Sort -2, x, 5 in descending order.
5, x, -2
Let a(l) = l - 1. Let b be a(1). Suppose -5*n + r + 2 = -3, 2*n - 14 = -2*r. Let k = n - 0. Sort k, b, 3 in descending order.
3, k, b
Suppose 6*s + 53 = -55. Sort s, 1, 4 in ascending order.
s, 1, 4
Let r = 1.4 - -0.6. Sort -2, r, 4.
-2, r, 4
Suppose 10 = -3*b + 2*s - 3*s, 2*b + 7 = -s. Sort 4, -5, 3, b in increasing order.
-5, b, 3, 4
Let p be (-130)/(-18) - (-4)/(-18). Let y = -1 - -5. Suppose -13 = -y*t + p. Put 1, t, -2 in increasing order.
-2, 1, t
Suppose 3*f - 11 = g, -g - f = -3*g - 7. Sort 0, 1, g.
g, 0, 1
Let f be (1 + 0 - 1)/2. Let n = 5 + -1. Suppose -n*v = 18 + 2. Sort v, 4, f.
v, f, 4
Let n be ((-2)/(-4))/(7/14). Sort 2, -2/11, n.
-2/11, n, 2
Let g = -0.3 - -0.4. Let r = g - -3.5. Let a = -4 + r. Sort 3, 5, a in decreasing order.
5, 3, a
Suppose -4*k - 5*h = 9, -4*k - 6 = -2*k + 4*h. Sort k, 2/9, -4 in descending order.
2/9, k, -4
Let b be 2/4 - (-1 + 2). Let f = 8.8 + -0.8. Let u = -8.4 + f. Sort 1, b, u in increasing order.
b, u, 1
Let o = -28 + 30. Put 1, 0.2, -0.4, o in descending order.
o, 1, 0.2, -0.4
Let w be (-30)/18 - (-2)/(-6). Let c = 1 + -5. Put c, 0, w in descending order.
0, w, c
Let d = -0.14 - -0.64. Sort d, 0, -0.2, 5/4 in decreasing order.
5/4, d, 0, -0.2
Let r = -24 + 29. Sort 0, 1, -4, r in ascending order.
-4, 0, 1, r
Suppose -6*b - 4 = -3*z - b, 3*z + b = -8. Sort -3, z, 3 in decreasing order.
3, z, -3
Let y = -152 - -153. Sort 2, y, 1.6 in decreasing order.
2, 1.6, y
Suppose 2*o = -2*o - 12. Sort o, 0, 3 in decreasing order.
3, 0, o
Suppose 10*r + 9 = -1. Let z = -1.05 + 1. Let b = 0 + z. Sort r, -5, b in increasing order.
-5, r, b
Suppose 0 = -23*j + 20*j + 12. Sort 1, j, -1 in ascending order.
-1, 1, j
Let s be 3/(-9) - 10/(-3). Let w = s - 7. Sort w, 3, -5 in decreasing order.
3, w, -5
Suppose 0 = 5*g - 42 + 2. Suppose -y = 0, -5*y + 2 - g = v. Let t = -4 - v. Put t, -4, 0 in ascending order.
-4, 0, t
Let h be 1/(((-6)/(-2))/15). Suppose y - h = -0. Put 4, y, -2 in ascending order.
-2, 4, y
Let o(h) be the second derivative of -h**5/20 - h**4/12 + h**3/6 - h**2/2 - 2*h. Let a be o(0). Let z = 3 - a. Sort -4, -2, z in descending order.
z, -2, -4
Let k(j) = 2 - 3*j + 2*j - 1. Let h be k(6). Let b = -14 + 12. Put h, b, 0 in ascending order.
h, b, 0
Let r = 16/5 - 3. Let g = 0.1 - 0.2. Put 1/2, g, r in decreasing order.
1/2, r, g
Let k be -11 + 0 - (5 - 4). Let r = 7 + k. Sort 1, r, 5.
r, 1, 5
Suppose -6 = 9*o + 3. Let x be (13/(-2))/(1/(-2)). Let c = x + -18. Put -3, o, c in increasing order.
c, -3, o
Suppose 11*a = 26 - 4. Let d be (-22)/(-5) + 2/(-5). Suppose 3*g - 1 = -d. Sort g, 5, a in decreasing order.
5, a, g
Suppose -s + 3 = 4. Put s, -3, 4 in descending order.
4, s, -3
Let u be (125/9)/5 - 3. Sort u, 1, -5.
-5, u, 1
Let n(c) = c - 9. Let b be n(0). Let d = b + 5. Suppose 2*j = 2*h + 4, 5*h + 3 = -17. Sort 3, d, j in ascending order.
d, j, 3
Let y(a) = a**3 - 5*a**2 - a + 1. Let d be y(5). Let p(k) = -k + 12. Let i be p(10). Put i, 0, d in descending order.
i, 0, d
Let c = -0.2 - 1.8. Let b be 20/(-11) + (-10)/((-15)/3). Sort 2/19, c, b in decreasing order.
b, 2/19, c
Let p be (-18)/(-27)*(1 + 2/4). Let w = -1.8 + 2. Put w, p, -6/7 in ascending order.
-6/7, w, p
Suppose 2*c - m = -3*c - 9, -5 = -3*c - 2*m. Suppose -2*b - b = -5*p - 13, -2*p - 22 = 3*b. Put c, -2, b in ascending order.
b, -2, c
Let l be (-747)/(-45) - (-1 - (-8)/5). Put -1/7, l, 5 in descending order.
l, 5, -1/7
Let n = -21 + 23. Sort -4, 8, n.
-4, n, 8
Let m be (-36)/(-21) - 4/(-14). Suppose 0 = -m*y + 6*y - 2*j + 4, -2*j - 8 = 0. Let f(q) = -q - 1. Let v be f(-1). Put v, -5, y in increasing order.
-5, y, v
Suppose -11 = -4*i - 3. Sort 0.5, i, 1.
0.5, 1, i
Let p = 0.2 + -0.3. Let k = -1.1 - p. Let s = 4 - 7. Put k, -2, s in decreasing order.
k, -2, s
Let q = 32 - 33.03. Let a = 0.03 + q. Put -0.3, -3, a in decreasing order.
-0.3, a, -3
Suppose -1 = 5*l + 4, -3*l - 4 = z. Suppose h = 2*r + 3, 0 = h - 4*r - 0 - 3. Suppose -1 = 4*d - h*d - 4*k, 0 = -d - 3*k - 8. Sort z, -4, d.
d, -4, z
Suppose 0*o - 7 = o. Let u = o + 12. Let m = 7 - 4. Sort -2, u, m.
-2, m, u
Let z be (70/15)/((-2)/(-3)). Suppose 4*g + 5*l + z = 0, g + 0*l = -3*l. Let c be g/9 + (-12)/(-9). Sort 3, -1, c.
-1, c, 3
Let w be -1 + (15/(-9) - -2). Sort 4, w, 3 in ascending order.
w, 3, 4
Suppose s = -4*x - 15, 0 = 4*x + 2*s + 2 + 16. Let w = -11.3 + 11. Sort 4, x, w in increasing order.
x, w, 4
Let w be 2/16 - 259/280. Let v = 1 - -3. Suppose -1 = v*s - 5. Sort 3, s, w.
w, s, 3
Suppose 2*x = 3*x - 4. Let y = -2.1 - 0.9. Put -1, y, x in increasing order.
y, -1, x
Suppose 0 = -b + 3, -2*l + 1 = 2*b + 7. Let j = -12 - l. Let k = 10 + j. Put -4, k, 1 in ascending order.
-4, 1, k
Suppose -5*n + 2 = 12. Put -3, 8, n in ascending order.
-3, n, 8
Let h be 3*1 - 1/1. Let o(c) = -2*c**2 + 4*c - 3. Let n be o(h). Sort -0.4, -1, n.
n, -1, -0.4
Suppose -5*m - 50 = -2*a, a = -3*a + 3*m + 72. Let d = a - 16. Let b = -3 + 2.5. Put d, -3, b in increasing order.
-3, d, b
Suppose 0 = 51*b - 47*b + 68. Sort 5, b, -4, -1.
b, -4, -1, 5
Let n = 0.2 - 0. Let h = 26 - 23. Put h, 0.1, n in increasing order.
0.1, n, h
Let v = -71 + 73. Sort -13/3, v, -5/4, -3 in descending order.
v, -5/4, -3, -13/3
Let z = 20 - 23. Sort -5, 0, z in ascending order.
-5, z, 0
Let q = -10 - 1. Let x = -6 - q. Suppose -n = 4*f + 20, -4*n + n - 10 = 2*f. Put x, n, -2 in ascending order.
-2, n, x
Let f = -1 + 0.6. Let k = -6.4 - f. Sort k, 0.2, 2.
k, 0.2, 2
Suppose 15 = -5*u + 2*u, -5*w - 5*u = 10. Let 