= -t*b - b - 12. Let z = 0.4 + -0.9. Put -1/3, z, b in ascending order.
b, z, -1/3
Let a = -10 - -6. Suppose -11 = -5*j - 1. Put j, 4, a in decreasing order.
4, j, a
Suppose b - 2*k + 5*k = -2, 3 = -b - 2*k. Let s = -2 - b. Sort -3, s, -5 in descending order.
s, -3, -5
Let w(z) = -2*z - 15. Let f be w(-10). Suppose -7*h + 12 = -3*h. Suppose i + 0 = -h. Sort i, f, 1 in decreasing order.
f, 1, i
Let q = 13 - 10. Sort 4, -5, q.
-5, q, 4
Let a = -1 - 0. Let b = -10 + -2. Let l = 8 + b. Sort a, l, -3 in descending order.
a, -3, l
Let z(n) = -n**2 - 5*n + 1. Let m be z(-6). Suppose 3*w + s + 6 = 0, -2*s = 4*w + 3 + 5. Let u = 13 + -17. Sort u, m, w.
m, u, w
Suppose -3*o = -3*c + 7*c - 19, 0 = -5*c - 5*o + 25. Let r be -3*3*(-4)/(-9). Put r, -2, c in descending order.
c, -2, r
Let r(a) = -a**3 - 6*a**2 - a - 8. Let f be r(-6). Let x be (-6)/(-27) - 47/9. Put x, -1, f in increasing order.
x, f, -1
Let o = 5 + -9/2. Let i = 0.7 - -1.3. Let q = 0.15 + 0.25. Put i, q, o in ascending order.
q, o, i
Let p be ((-1)/(-1))/(-2 - -3). Let v be 4 - (-3 + 4 + 1). Sort p, v, -5 in increasing order.
-5, p, v
Let y = -6 - -5.5. Let o = 0.6 - -4.4. Put o, y, 4/3 in decreasing order.
o, 4/3, y
Let m = 2 + -5. Put m, 5, 3 in decreasing order.
5, 3, m
Suppose 2*z + 0*z = 6. Suppose 4 = -2*a - 4*d, 0 = -a + 4*a + 5*d + 4. Suppose 3*i - a*i - 5 = 0. Sort -3, i, z in decreasing order.
i, z, -3
Let h(c) = -c - 5. Let s be h(-5). Let v be (0 - -1)*(-1 + s). Let b be -3 + 1 - (-14 - -8). Sort v, b, -3 in descending order.
b, v, -3
Let h = -2/345 + -329/2760. Let c = -2.3 - -1.92. Let a = c + -0.02. Sort a, -4, h in descending order.
h, a, -4
Let m = 24 + -24. Put m, -3, 10 in descending order.
10, m, -3
Let d = -0.6 + 0.1. Let b be (-32)/(-80) + (-16)/(-10). Sort -0.2, b, d in ascending order.
d, -0.2, b
Let v(c) = c**3 - 6*c**2 + 5*c - 1. Let o be v(5). Let w = -0.043 - -21.043. Let b = 21 - w. Put -3, o, b in descending order.
b, o, -3
Let k = 0.03 + 0.17. Let f = 0.06 + -0.66. Let z = k + f. Put 0.3, -1, z in descending order.
0.3, z, -1
Let z = -12 + 14. Sort -5, 1, z.
-5, 1, z
Let s = 2 + 1. Let u be (-4)/(4 - 3) - -9. Put s, u, -5 in descending order.
u, s, -5
Suppose 4*b = 2*d + 6, -5*b = -10*b - d + 18. Sort -8, b, 4 in descending order.
4, b, -8
Let d be (-84)/(-15) + 12/(-20). Let h = 0 - d. Sort -3, h, -2 in descending order.
-2, -3, h
Let p be (-36)/(-77) - (-2)/(-7). Let d = 0.26 - -14.74. Let t = d - 10. Sort 1, p, t.
p, 1, t
Let i = 5.5 + -6. Suppose 0 = r - c + 7 + 2, 0 = -3*r - 2*c - 2. Let u be r/78*3/(-1). Sort i, u, 2/3.
i, u, 2/3
Let i = 2.9 + -2.73. Let w = 0.07 - i. Let q = 27/4 - 7. Sort -4, q, w in ascending order.
-4, q, w
Let f be (-8)/45 + 6/15. Sort f, 1/2, 1 in descending order.
1, 1/2, f
Let q = -57 + 57. Sort -3, q, 2, 1.
-3, q, 1, 2
Let s = 5.2 + -7. Let a = 0.9 + s. Let t = 0.6 + a. Sort 3/4, t, 0.
t, 0, 3/4
Let o = -808989/80 - -10112. Let d = 9/16 + o. Let g = -59 + 58.5. Sort d, g, -2.
-2, g, d
Let x = -18 - -20. Sort -1, x, -2, 3 in descending order.
3, x, -1, -2
Let c = 2.4 - 2.1. Sort 3, c, 3/5.
c, 3/5, 3
Let m = -15 + 47/3. Put 5, m, -2 in decreasing order.
5, m, -2
Let q = -8 - -5. Let m be (-10)/((0 - -2)*-1). Sort 2, m, q.
q, 2, m
Let t = 0 - 4. Suppose -x = 2*a + 8, a + 0 = 2*x + 6. Let w = a - t. Sort w, -2, -5 in decreasing order.
w, -2, -5
Suppose 2*h = -2*d - 12, 0 = -d - 3*h + 6 - 22. Put -3, d, 1 in decreasing order.
1, d, -3
Let a = -8.21 - -1.31. Let z = a + 7. Put 4, z, 3/8 in decreasing order.
4, 3/8, z
Suppose -12 = -4*c - 0*c. Suppose -2*g = -o - 4, -4*g + 6*g = 2*o + 2. Suppose -g*j = -3*k + 18, c*k - 3*j - j - 20 = 0. Sort 2, 1, k.
1, 2, k
Let x = 0.2 - 2.2. Let h be 12/(-20)*(-4)/(-6). Put -2/7, h, x in ascending order.
x, h, -2/7
Suppose -l = -2*l + 10. Let f = -12 + l. Put 4, -3, f in ascending order.
-3, f, 4
Suppose -2*o - 3*o = -25. Suppose -2*u = -7*l + 2*l + 31, o*l = -4*u + 13. Suppose -2*z + 5 = l*i - 0*z, -15 = -3*z. Sort 0, 4, i in descending order.
4, 0, i
Let h(c) = c**3 - 2*c**2 - 1. Let o be h(0). Sort o, 5, 0 in descending order.
5, 0, o
Let v = 147.3 + -141. Let t = 6 - v. Sort 4, t, 0.1 in descending order.
4, 0.1, t
Suppose -v - 3*v = -12. Let a = -28 - -17. Let s = a + 12. Put v, s, 5 in descending order.
5, v, s
Let y = 54 + -52. Put -5, 5, -2, y in increasing order.
-5, -2, y, 5
Let t(z) = -z**3 - 6*z**2 + 9*z + 9. Let x be t(-7). Let n = -6 - -9. Put n, x, 0 in ascending order.
x, 0, n
Let f(a) = a - 14. Let h be 3/(((-12)/13)/(-4)). Let i be f(h). Let c = -4 - -2. Put i, 5, c in ascending order.
c, i, 5
Let v be 8/(-6)*6/2. Suppose -3*p + 7 + 2 = 0. Sort p, v, 0.
v, 0, p
Let p = 0.44 + -0.04. Let s = -0.97 + 1. Let o = 0.47 + s. Put 4, p, o in increasing order.
p, o, 4
Let q be (21/(-21))/((-2)/18). Put -2, -3, q in descending order.
q, -2, -3
Suppose -3*i - z - 8 = 0, 5*z + 6 + 14 = -5*i. Suppose x - 7 + 2 = 0. Sort x, i, 4 in decreasing order.
x, 4, i
Let v = -224884/1179 + -325/131. Let i = -193 - v. Sort i, 2/7, 1/5.
1/5, i, 2/7
Let z(w) = -w**3 + 3*w**2 - 2*w + 2. Let b be z(2). Suppose 0 = 4*s - 10 - b. Sort 0, s, -2 in ascending order.
-2, 0, s
Suppose 0 = 3*f - 8*f + 2*h, -4*h + 14 = -3*f. Let x = 127/30 - 29/6. Sort 6/11, x, f in decreasing order.
f, 6/11, x
Suppose 0 = z - d - 2, 0*d = -2*z + 3*d + 9. Let s(h) = h**3 - h - 5. Let b be s(0). Sort z, 1, b in increasing order.
b, z, 1
Let w(r) = -r**3 + 5*r**2 + 6*r + 3. Let g be w(6). Suppose -2 = x - s, 6 = -s - s. Sort g, x, -2 in descending order.
g, -2, x
Let m(i) = i - 2. Let c be m(7). Let n = c + -8. Let k = 0.01 - -0.99. Put k, -2, n in ascending order.
n, -2, k
Let v = -3.2 + -0.8. Let h = v - -3.9. Let a = -408/5 - -82. Put h, -2/3, a in increasing order.
-2/3, h, a
Let k = -33 - -28. Sort -2, k, 2.
k, -2, 2
Let r be (2 + 1)/((-1)/(-1)). Let c = -4 + 2. Let h be (0 - (c - -2))/(-1). Put -2, r, h in increasing order.
-2, h, r
Let q = -13 - -13. Sort q, 1/7, -0.5 in increasing order.
-0.5, q, 1/7
Let l(y) be the third derivative of y**5/60 - 5*y**4/24 + y**3/2 + y**2. Let z be l(3). Let m = z - 0. Put -0.2, -4/7, m in descending order.
-0.2, -4/7, m
Let z = 51 + -48.9. Let s = -2 + z. Let a(v) = v + 3. Let c be a(-4). Put c, -2/7, s in descending order.
s, -2/7, c
Let z = 28 + -23. Suppose -3*x = -4*x + 5*w + 9, -5*x - 4*w = -16. Sort x, z, -2 in ascending order.
-2, x, z
Suppose -64 = -9*p + 8. Sort p, -4, -1 in descending order.
p, -1, -4
Suppose 20 = 5*q + 5. Put 1, q, 5 in descending order.
5, q, 1
Let i be 76/(-20) + (7 - 3). Put -10, -0.1, i in descending order.
i, -0.1, -10
Suppose -5 = 2*l - 1. Let k be (-95)/35 + l/7. Sort 10, k, 2 in increasing order.
k, 2, 10
Let h(y) = 4*y**2 - y. Let z be h(1). Let n(g) = g**2 - g - 1. Let c be n(z). Sort c, -4, -1 in ascending order.
-4, -1, c
Let v = 4 + -6. Let s = -6 + 6. Put s, 3, v in decreasing order.
3, s, v
Let h(c) = -c**2 - 16*c - 31. Let d be h(-14). Put 1, d, 10 in descending order.
10, 1, d
Let o = 1103/3 - 384. Let v = o - -16. Sort v, -2/9, 3/5 in decreasing order.
3/5, -2/9, v
Let f be 6/9*(3 - 0). Let v be f/5*(10 - 5). Let q = 5 - 7. Put q, v, 1 in decreasing order.
v, 1, q
Let h be (-14)/4 + (-2)/(-4). Let r = h - -6. Let b = -1 - -1. Sort -1, r, b in descending order.
r, b, -1
Let s(r) be the first derivative of r**4/4 + r**3/3 + r**2/2 + 2*r - 3. Suppose -4*g = -5*k + 20, -g = -3*g + 5*k - 20. Let w be s(g). Sort w, 3, -0.1.
-0.1, w, 3
Let d be 2/((-1 - 1) + 1). Let k(a) = a**3 - 4*a**2 - 2*a + 5. Let s be k(4). Sort d, 2, s in descending order.
2, d, s
Let f = -140.93 + 141. Sort -2, 0.4, f, 0.
-2, 0, f, 0.4
Let c be ((-135)/6)/9*-2. Sort -3, -2, 16, c.
-3, -2, c, 16
Suppose -7*a + 50 = -2*a. Let u = a - 12. Put u, 1/6, -0.3 in ascending order.
u, -0.3, 1/6
Let g = -10 + 14. Put -0.2, -2, g in descending order.
g, -0.2, -2
Suppose -w + 9*w + 8 = 0. Let n(c) = -5*c**3 - c**2. Let m be n(-1). Sort m, w, 0 in ascending order.
w, 0, m
Let q(b) = b**3 - 9*b**2 + 14*b + 1. Let h be q(7). Put h, -10, -1 in descending order.
h, -1, -10
Let t = -195 - -194.5. Let l be (5/(-4))/((-1)/28). Suppose -q + l = -6*q. Sort t, -5, q in decreasing order.
t, -5, q
Let c = 6 + -2. Suppose -c*y = -1 - 3. Let h be (y - (-9)/(-6))/(-1). Sort -0.3, h, 0.4 in increasing order.
-