-b - 12. Sort b, -2, t in descending order.
b, -2, t
Let z = -4 - -4. Let b be (6/(-2))/(-3) + 4. Let s = -2 + 1.6. Sort b, s, z in increasing order.
s, z, b
Let w be (-30)/20*(-4)/51. Sort 7/4, 1/2, w in descending order.
7/4, 1/2, w
Suppose o + z = -2, 16 = -2*o - 0*z + 2*z. Suppose 2*h = -2*p + 5*h + 22, 3*p - 30 = 3*h. Let y be (p/6)/(2/(-6)). Put y, o, 0 in decreasing order.
0, y, o
Let a = -12 - -14. Sort 5, -3, a in ascending order.
-3, a, 5
Let d = -6 - -10. Let n(u) = 2*u. Let v be n(1). Let l(h) = -2*h + 7. Let k be l(6). Put d, v, k in increasing order.
k, v, d
Let g = 12 + -8. Suppose 0 = g*d - 2*y, 5*d + 2 = 4*y - 1. Suppose f + d + 4 = 0. Put f, -2, 4 in descending order.
4, -2, f
Let x = -10 + 12. Put x, -3, -1/2 in ascending order.
-3, -1/2, x
Let m = 1/90 + -7/30. Sort 0.2, -8, m, -0.4 in decreasing order.
0.2, m, -0.4, -8
Let t = 8 + -8.3. Let k = t - 0.6. Let y = k - -0.4. Sort 0.5, 0.4, y in decreasing order.
0.5, 0.4, y
Suppose -4*u = -14 + 22. Put u, 2, 0 in ascending order.
u, 0, 2
Let k(p) = -p**3 + 11*p**2 - p + 10. Let i be k(11). Let r(y) = -y**2 - 8*y - 4. Let t be r(-7). Suppose f = -t*f. Put i, f, -2 in descending order.
f, i, -2
Suppose 0 = -4*r - 2 - 18. Let a(m) = -m**2 - 6*m. Let g be a(r). Let n be -3*4/(-12)*-1. Sort g, n, -4 in decreasing order.
g, n, -4
Let b be (-2 + 4)/(-2) - -1. Suppose v = -2*l - 7, -4*v + 0*l + 4*l - 16 = 0. Sort b, v, -4 in ascending order.
v, -4, b
Suppose -2*v + v = 0. Sort v, 1, -5 in descending order.
1, v, -5
Let d = 4 + 0. Let f = -0.01 - 3.99. Let i = -4.3 - f. Sort i, d, 0 in ascending order.
i, 0, d
Let k = 0 + 0. Let h = 19929/4 + -4956. Let m = -55/2 + h. Sort k, 1, m.
m, k, 1
Let z = 7.9 - -0.1. Let t = z + -8.1. Let i be 1/(2/8) + -2. Put i, t, 1 in decreasing order.
i, 1, t
Let d(z) = -z - 8. Let b be d(-6). Let p be (b + 3)/((-2)/(-6)). Sort -2, 2, p in descending order.
p, 2, -2
Suppose -5*u + 17 = -3*s, -3*u - 5*s = 6 + 11. Let l be 0 + -1 + (u - -3). Put 0, -3, l in descending order.
l, 0, -3
Let f(z) = z. Let u be f(-4). Let y = 157 + -162. Sort 5, u, y.
y, u, 5
Let h = -32 + 37. Put -4, 4, h in descending order.
h, 4, -4
Suppose -2*z = y + 7, -3*y + 4*y + 4 = -z. Sort -2, z, -5, 4.
-5, z, -2, 4
Suppose -3*w = 2*n - 0*n + 10, w + 6 = 2*n. Sort -3, -5, w.
-5, w, -3
Let x(a) be the second derivative of a**4/12 + a**3/3 + 2*a. Let v be x(-3). Suppose k + 4 = -v*k. Put k, 5, 2 in decreasing order.
5, 2, k
Suppose 3*s + w + 2 = -6, -2*s + 5*w = -23. Put -4, 3, s, -3 in ascending order.
-4, -3, s, 3
Let r(z) = -2*z + 4. Let t be r(-3). Put -2, -0.1, 5, t in descending order.
t, 5, -0.1, -2
Suppose -3*f + 12 = 0, -2*v - 2*f = -4*f - 16. Let i be 2/(-7) - v/56. Sort 1/4, i, 3 in increasing order.
i, 1/4, 3
Let i be (-1)/2*-4 + 1. Suppose 0 = d - i, 4*k + 2*d - 6*d = 16. Let z = -3 + k. Put z, -5, -1 in descending order.
z, -1, -5
Let k(z) = -z + 1. Let b be k(-6). Let r = b + -2. Put 2, r, -4 in descending order.
r, 2, -4
Let a = 49/30 - 9/5. Put 4, a, 5 in ascending order.
a, 4, 5
Let p = -17.8 - -15.8. Sort p, -2/13, -4, 0.
-4, p, -2/13, 0
Suppose 2*r = 4*r - 8. Suppose 1 = -3*x - d + 18, -r*d + 20 = 0. Let m be ((-4)/5)/(x/(-6)). Put 1, m, -3/7 in decreasing order.
m, 1, -3/7
Suppose q - 39 = -4*d, 0*d + d = -2*q + 8. Suppose -a + 5*a + d = -2*n, 2*a + 7 = -3*n. Sort 2, 4, n in increasing order.
n, 2, 4
Let l be 3*1 + (-4 - 3). Sort -18, l, 3.
-18, l, 3
Let c(s) = -s**2 + 4*s - 3. Let p be c(2). Let i = p + -2. Let k = 142 - 141. Sort i, k, -3 in ascending order.
-3, i, k
Suppose 0*d + 6 = -3*d. Sort -1, 5, d in increasing order.
d, -1, 5
Let f be ((-5)/1)/(1 + -2). Let k = f - 10. Let l = -1 + 0.6. Put k, l, 0.3 in increasing order.
k, l, 0.3
Let i = -128 + 126. Sort 2, 3, i in increasing order.
i, 2, 3
Let n = -7 - -16. Let m be (n/(-30))/(11/(-2)). Let g = m - -6/11. Sort -4/7, g, -3 in decreasing order.
g, -4/7, -3
Let n(w) = -w**2 + 7*w + 1. Let k be n(7). Put k, -1, 4 in decreasing order.
4, k, -1
Let u(o) = -2*o - 1. Let a be u(1). Sort a, 9, 3/8 in ascending order.
a, 3/8, 9
Let n = 0.6 - 0.59. Let g = n - 0.01. Sort -1, g, 0.1.
-1, g, 0.1
Suppose -3*h - 8 = -17. Put -0.15, h, -0.5 in decreasing order.
h, -0.15, -0.5
Let i = 105/4 - 943/36. Put -0.1, -4, i, 5 in ascending order.
-4, -0.1, i, 5
Suppose t - 2*c = 3*c + 1, -5*t - c = 21. Sort t, 2, -3.
t, -3, 2
Let l(j) = -6*j + 5. Suppose 0 = -3*q - p + 1, 3*p = -4*q - 0*p - 7. Let m be l(q). Sort m, -2, -3.
m, -3, -2
Let b = -139/24 - -45/8. Let n(q) = -2*q + 12. Let p be n(11). Let o be (-8)/p*25/70. Put b, 5/2, o in decreasing order.
5/2, o, b
Suppose 3 = u + 7. Put 0.01, u, -3/5 in descending order.
0.01, -3/5, u
Let w = 0.79 + -1.79. Put 5, -5, -3, w in descending order.
5, w, -3, -5
Let l = -9 + 29. Suppose -5*o = -2*m - 15, 4*m - l + 5 = -5*o. Let x = -40 - -39. Put o, x, -3 in decreasing order.
o, x, -3
Let w(x) = 6 + 0*x - 2*x - 6. Let z(j) = -j - 4. Let u be z(-3). Let n be w(u). Put -2, -5, n in ascending order.
-5, -2, n
Suppose 8*o - 16 = 5*y + 4*o, 14 = -3*y - 2*o. Sort 4, y, 2.
y, 2, 4
Let w = 6.3 - 6. Let d be (-1)/(-2)*(-14)/35. Put 5, w, d in decreasing order.
5, w, d
Let s be 0/2 + (-2)/52. Let y = s + 19/156. Let n = -191/5 + 38. Put -1, y, n in descending order.
y, n, -1
Suppose b = 2*g - 4*g + 14, 5*b = -g + 34. Suppose 2*o = b*o. Suppose -5*y + 25 = 5*j, -14 = j - 4*j - 2*y. Sort j, 2, o in descending order.
j, 2, o
Let k = 6 - 4. Suppose 15 = 5*o, -2*x - 3*o = k*x - 21. Sort 2, 5, x in increasing order.
2, x, 5
Let t = 0.02 + -5.02. Let h = -0.4 + 0.3. Let r = -6 - -3. Put t, r, h in decreasing order.
h, r, t
Suppose -3*i + 8 = -i. Let u = -10 - -6. Suppose -4*h + 5*d + 37 = 0, -h + 0*h - 2*d = 7. Sort h, i, u.
u, h, i
Let b = -134 + 136. Put 1, -3, b, 0.2 in ascending order.
-3, 0.2, 1, b
Suppose -1 = -5*h + 4. Sort -7, h, -2 in descending order.
h, -2, -7
Let x = 0.85 + -0.15. Let h = 2.5 + -2. Let t = x - h. Sort t, 4, -1/2 in decreasing order.
4, t, -1/2
Suppose -15*m + 17*m - 26 = 0. Sort m, -1/9, -3 in decreasing order.
m, -1/9, -3
Let z be 3/1*(-18)/3. Let y be (8/54)/(12/z). Let a be ((-2)/5)/((-2)/(-10)). Put a, 0.1, y in descending order.
0.1, y, a
Let z = 0.8 - 1.8. Let o = z - -0.8. Put o, -2/17, 2/9 in descending order.
2/9, -2/17, o
Let d(m) = -m**3 + 8*m**2 + 10*m - 13. Let w be d(9). Let z(y) = y**2 + 3*y - 3. Let b be z(1). Put b, 2, w in ascending order.
w, b, 2
Let n = -19 + 21.3. Let l = 2.1 - n. Sort l, -3, -2 in decreasing order.
l, -2, -3
Suppose 3 = 4*w - b + 1, 0 = 2*b + 4. Suppose 6 = 3*m - w. Suppose 0 = -4*o - 3*i + 31, 0*i + 30 = 5*o + 2*i. Put m, -3, o in descending order.
o, m, -3
Let b be (4/(-6))/(3/(-36)). Let q(p) = p**3 - 7*p**2 - 7*p - 3. Let z be q(b). Sort -1, z, 0.3 in descending order.
z, 0.3, -1
Let c = 11.6 - -0.4. Let v = c + -10. Put 0.04, v, -4 in increasing order.
-4, 0.04, v
Let q(o) = -2*o**2 + 5*o - 3. Let m be q(3). Let j = 2 + m. Put -3, j, -1 in decreasing order.
-1, -3, j
Let n = 1 - 1. Suppose 10*o - 9 = 7*o. Sort o, 2, n in descending order.
o, 2, n
Let y = -6 + 5.5. Let o = 0.8 + 0.2. Put o, y, 0.1 in decreasing order.
o, 0.1, y
Let o = -0.79 + -0.01. Let r = -0.2 + o. Put 2/7, 2/5, r in decreasing order.
2/5, 2/7, r
Let t(l) be the third derivative of l**2 + 1/120*l**6 + 1/2*l**3 - 1/20*l**5 + 0 + 0*l - 1/4*l**4. Let i be t(4). Put 3, i, -2 in increasing order.
i, -2, 3
Let f = -42 + 46. Put f, 0, -0.05 in ascending order.
-0.05, 0, f
Let y = -6 + 2. Let w = y + 6. Let r = 0.05 + 0.35. Sort w, r, 1 in ascending order.
r, 1, w
Let f = -8 + 4. Let s = -1 + 6. Suppose d = -5*p + 5, 0*p = s*d + 3*p - 3. Sort -0.3, f, d.
f, -0.3, d
Suppose -5*q = 3*a - 0*a - 40, 0 = -5*a - 2*q + 35. Let j be (2/(-4))/(1*-2). Put -4, j, a in descending order.
a, j, -4
Let b = 0.05 + 2.95. Let r = -49 - -48.6. Sort -3, r, b in ascending order.
-3, r, b
Let s be (-44)/(-7) + 2/(-7). Let x = s + -10. Sort 2, x, -2 in descending order.
2, -2, x
Suppose -2*g + 2*n + 21 = 7*n, -4*n + 20 = 0. Let h = 1 + g. Let u = 1 - -1. Sort h, u, 4 in ascending order.
h, u, 4
Let v be 1 - ((-4)/(-18) - -1). Let c = -59 + 2064/35. Let o = c - -11/35. Sort -1/3, o, v in decreasing order.
o, v, -1/3
Let j = 1.7 + -1.68. Put j, 2/3, 2/5 in decreasing order.
2/3, 2/5, j
Let q