) = 7*p - 47. Let b be v(6). Sort b, -2/17, 50.
b, -2/17, 50
Let b = 2.5 - 3. Let k = 34.3 + -34. Sort b, k, 0.5 in increasing order.
b, k, 0.5
Let q = -11 - -15. Let u = -1 - q. Put 0, u, 5 in increasing order.
u, 0, 5
Let v = -22 + 21.87. Let c = 5.87 - v. Let o = c - 6. Put o, 2, -4 in increasing order.
-4, o, 2
Suppose -2 = 2*m - 3*m. Put 1, -3, m in decreasing order.
m, 1, -3
Let a be ((-4 - -2)*4)/(-2). Let x = 5 + -6. Suppose w + 2 = -h, -w = -h - h - 10. Sort w, x, a.
x, w, a
Suppose 3*v + 11 = 5. Sort -2/7, 2/9, 0.1, v in decreasing order.
2/9, 0.1, -2/7, v
Let a(g) = -4*g**3 - g. Let l be a(1). Let m be (0 - 5 - -1)/2. Sort -4, l, m in decreasing order.
m, -4, l
Let s be ((-8)/(-24) - 8/6)*-5. Sort -1, 4, s in decreasing order.
s, 4, -1
Let k(y) = y**3 - 2*y**2 - 2*y - 4. Let w be k(3). Suppose -8*i + 9 = -31. Put w, 2, i in descending order.
i, 2, w
Suppose 0*k = -5*k + 50. Sort 3, 1, k in descending order.
k, 3, 1
Let l = -0.2 - 1.8. Let w = -3 - -2. Put l, w, -2/7 in decreasing order.
-2/7, w, l
Let l = -2 - -2.04. Let z = -0.1 - 0.3. Put -1/5, z, l in increasing order.
z, -1/5, l
Let s(j) = -j**2 + 5*j + 8. Let x be s(6). Let y(o) = 5*o - 3. Let u be y(x). Suppose -u*i + 2*i = 0. Put -3, i, 4 in ascending order.
-3, i, 4
Let d be (3/2)/3*0. Suppose 0 = -3*q - 2*p + 9, 4*q = -3*p + 7 + 4. Sort q, 3, d in decreasing order.
q, 3, d
Let u = -0.05 + -0.55. Let j = -0.7 - u. Sort -0.4, -1/2, j in descending order.
j, -0.4, -1/2
Let i(q) = -q**3 + 2*q**2 + q - 4. Let m be i(2). Let x be 4/10*(m + -3). Sort 4, x, -0.2 in ascending order.
x, -0.2, 4
Suppose -i = -3*n + 17, 33 = 5*n - 0*n + 3*i. Let f = n - 4. Suppose f*h = 4*h. Sort -2/3, h, -1.
-1, -2/3, h
Suppose -5*q - 5*z = -4*q + 24, q + 4 = -z. Let l be (6/4)/((-1)/(-6)*-3). Let r(d) = d - 1. Let p be r(-4). Sort q, l, p in decreasing order.
q, l, p
Let c(r) = 3*r**2. Let n be (6 - 3 - 4)/1. Let d be c(n). Suppose 0 = 2*l + k - 7, 5*l - 2*k + 2 + 3 = 0. Sort d, -5, l in descending order.
d, l, -5
Let s = 3 - 3.6. Let q = -1.4 + s. Let r = -144 - -1006/7. Put -2/3, r, q in ascending order.
q, -2/3, r
Let j = -6 - -12. Let k = 6.2 - j. Let y = -3.2 + k. Put y, -2/7, 4 in increasing order.
y, -2/7, 4
Suppose t + 4 = 0, -5*t + 5 = 2*x + 19. Let m(u) = -u**2 - u + 10. Let c be m(-12). Let p = c - -607/5. Sort p, x, 0.1 in descending order.
x, 0.1, p
Let n = -31 + 55. Let x be 1 + 1 - n/14. Let r = 7.1 + -2.1. Put x, 1/4, r in ascending order.
1/4, x, r
Let o = -2 - 2. Let r = o - -5. Let g(u) = -5*u**3 - u**2 - u. Let f be g(-1). Sort r, f, 3.
r, 3, f
Let i = 40 + -24. Let a = -16 + i. Sort -1, a, -8 in decreasing order.
a, -1, -8
Let o = -4.1 - -4. Sort o, -1/4, -3/4.
-3/4, -1/4, o
Let y be ((-6)/14)/(6/(-4)). Let r be 643*(-2)/(-580) - 2. Let l = r - 1/58. Put -0.5, y, l in descending order.
y, l, -0.5
Let d = 0.3 + 0.7. Let n = -0.5 + d. Let y = 2.7 - -0.3. Sort y, -2/19, n in descending order.
y, n, -2/19
Let q be -1*21/(9/3). Let z be (-120)/175 + (-2)/q. Sort 0, z, 9 in increasing order.
z, 0, 9
Let h(t) = t. Let j be h(3). Suppose 0*z = 5*o + 4*z + 19, -o = j*z + 6. Put 2, 1, o in ascending order.
o, 1, 2
Suppose 13*t - 5*t = -40. Sort -3, -14, t in decreasing order.
-3, t, -14
Let d = 0.3 - -0.7. Let h = -12.5 + 13. Put d, h, 1/3 in decreasing order.
d, h, 1/3
Let k = -0.11 - 1.89. Put -0.2, 5, k in ascending order.
k, -0.2, 5
Let c be 27/45 - (-6)/(-10). Sort -5, 2, c.
-5, c, 2
Suppose -4*y + 2*y - 4*q = 8, 10 = -2*y - 5*q. Let n be 13/3 - 2/(-3). Sort -5, y, n in descending order.
n, y, -5
Let t = -0.336 + -0.064. Put t, -0.2, -2/59 in ascending order.
t, -0.2, -2/59
Let g be (-93)/(-15) - 1/5. Let l(r) = -r**3 - 6*r**2 - 3. Let s be l(-6). Let w = g + s. Put 0, w, 2 in descending order.
w, 2, 0
Let x(a) = -a. Let k be x(4). Let f(q) = q**3 - 6*q**2 - 16*q - 5. Let m be f(8). Put k, m, 4 in ascending order.
m, k, 4
Let n(u) = u**2 + 2*u - 4. Let y be n(-3). Let l = -6 - -3. Sort -4, y, l in decreasing order.
y, l, -4
Let u = 31 + -36. Put -4, 3, -19, u in descending order.
3, -4, u, -19
Let b be (-1)/(-5 - (0 - -2)). Sort 0.4, b, 4.
b, 0.4, 4
Let t = -13 - -13.7. Let h = -10.7 + 11. Let f = h + t. Put 0.3, -0.5, f in decreasing order.
f, 0.3, -0.5
Suppose 0 = -4*r + 151 - 495. Let c = 515/6 + r. Put -0.2, c, -4 in descending order.
c, -0.2, -4
Suppose -5*q + 6*q = -1. Sort q, -0.2, 4 in increasing order.
q, -0.2, 4
Let m be 1*-1*3/3. Let y be 0*(-2 - -1) + 0. Suppose 2*x = -y*x. Put -3, m, x in descending order.
x, m, -3
Suppose 0*m + 3*m - 21 = 0. Let o = m - 3. Let l = -3 - -2. Put o, -4, l in ascending order.
-4, l, o
Let w = -0.3 + 0.8. Put 5, w, 6 in descending order.
6, 5, w
Suppose y - 3*r = -14, -y = 2*y + 4*r - 10. Put 0, y, 5 in ascending order.
y, 0, 5
Let a = 7 - -5. Let o = a - 10. Sort o, 4, 3 in descending order.
4, 3, o
Suppose 3*v - v - 2 = 0. Sort v, 0, 2 in descending order.
2, v, 0
Suppose 0 = -0*j - 3*j. Suppose j*g = 2*g - 10. Let z(u) = u**3 + 6*u**2 - 8*u - 4. Let l be z(-7). Sort -1, l, g.
-1, l, g
Let f(i) = i**3 - 4*i**2 - 2*i + 7. Let w be f(3). Put -1, -3, w in descending order.
-1, -3, w
Let c = -4 - -7. Suppose 11 = 4*f - c*w, 3*w - 12 = -w. Let k(l) = l**3 - 4*l**2 + 4*l. Let y be k(3). Sort 2, f, y in descending order.
f, y, 2
Suppose 0 = -2*p - 2*s + 4, -3*s + 5 = 2*s. Let t(k) = -5*k**2 + p - k**2 + 0*k**2 + k**3 + 4*k. Let d be t(5). Sort -1, d, -3 in increasing order.
d, -3, -1
Let h = 0.114 + -12.114. Sort -5, -1/6, h, -2 in descending order.
-1/6, -2, -5, h
Let w = 116/5 - 113/5. Sort -1, 0, w in decreasing order.
w, 0, -1
Let z be (-4)/3 + 2 - 1. Sort -0.054, 5, z, -2/17 in descending order.
5, -0.054, -2/17, z
Let r be (-3)/((-4 + 4)/(-2) - -3). Sort r, -3, 2.
-3, r, 2
Let d = -26 - -14. Let r be (16/(-6))/(8/d). Sort 1/2, 2, r in decreasing order.
r, 2, 1/2
Let j be -1 - (3/6 - 2). Sort -0.5, j, 4.
-0.5, j, 4
Suppose -r + 2*r + q = -393, 1 = -q. Let n be r/520 + (-4)/(-26). Put n, -2/9, -4 in descending order.
-2/9, n, -4
Let i = -133 - -132. Sort 0, 2, i, -4 in descending order.
2, 0, i, -4
Suppose 18 = 5*p - 2. Suppose 4*b + 10 = -2*t, 3*t + b + 7 = 3*b. Sort t, 1, p in ascending order.
t, 1, p
Let y be -2 + 0 + 0 - -8. Let i be (2 - 8/(-2))/((-2)/(-3)). Let w be 2/(-6) + y/i. Sort 0.4, w, 4 in decreasing order.
4, 0.4, w
Let v be ((-20)/(-16))/(3/12). Put v, 4, 1 in ascending order.
1, 4, v
Suppose 13 + 11 = 2*g. Let p(m) = -m**2 + 7*m + 8. Let c be p(8). Suppose c*n - n + 5*v + 6 = 0, 5*n - 4*v + g = 0. Put n, -1, 5 in increasing order.
n, -1, 5
Let v be (5 - 5)*(-3)/18*2. Put v, 2, -7 in descending order.
2, v, -7
Let t = 41/3 - 14. Put 1/3, t, -1/2 in descending order.
1/3, t, -1/2
Suppose 5*b + j + 2 = 0, 4*b + 4*j + 3 = -5. Let g = 2 + -7. Let c = g + 3. Put -1, b, c in decreasing order.
b, -1, c
Let c be (-2)/4 + (-1)/(-10). Let f = 1 + -1. Let u = -5.06 - -0.06. Put u, c, f in descending order.
f, c, u
Suppose s = -4*h + 6*h + 12, 0 = 2*s - 8. Put h, 2, -23 in increasing order.
-23, h, 2
Let j be (6/(-9))/((-2)/3). Let c be 4*(-3 - -2)*j. Let v = -7 - c. Put v, 3, -2 in ascending order.
v, -2, 3
Suppose -3 - 1 = -2*n. Let q be (1 - 1/2)*2. Let t = 1 - 3. Sort q, n, t in decreasing order.
n, q, t
Let z = -18 + 13. Let l = z - -8. Let n = -2 + 3. Sort l, -2, n in decreasing order.
l, n, -2
Suppose 3*k + 4*m - 4 = k, 0 = m. Let y(x) = 2*x - 2 - 3*x + 1. Let c be y(0). Put c, k, 3 in increasing order.
c, k, 3
Suppose -2*w - 5*y - 16 = -y, 2*w - 2*y = 8. Suppose 3*k + 2 = k. Let t be 0/k - 12/(-6). Sort -3, t, w in increasing order.
-3, w, t
Let u be (-36)/15 - 10/(-25). Suppose 2*w = 5*b - 26, 0*w - w = 5*b - 17. Let g(m) = m**2 + m + 2. Let d be g(0). Put w, u, d in descending order.
d, u, w
Let d = 137 + -957/7. Sort d, 2/9, -0.11 in decreasing order.
d, 2/9, -0.11
Suppose 0 = -17*t + 18*t + 5. Suppose -4*b = -2 - 2. Put 0, t, b in decreasing order.
b, 0, t
Let h be 2/(-7) + 19/(-7). Let w be 1/2 - 3/2. Let s be (-2 + w)*(-5)/h. Sort -2, 4, s in ascending order.
s, -2, 4
Suppose -4*t - 18 = -t. Let j = t + 9. Suppose -2*p - 4 = 2*p. Sort p, 2, j in increasing order.
p, 2, j
Suppose -4*a + 6*a = -8, 86 = 3*t + 4*a. Suppose 5*j - 13 = -z + 13, 3*z = -4*j + t. Let r = z - 1. Put 3, 1, r in descending order.
r, 3, 1
Let g(h) be