+ 2. Let f be d(7). Let v(x) = x - 14. Let n be v(f). Sort n, 2, k in ascending order.
n, k, 2
Let j = -11 + 14. Sort j, 6, -5 in descending order.
6, j, -5
Let u(o) = -o + 1. Let z be u(8). Let q = 4 + z. Sort -2, 0, q.
q, -2, 0
Let x = 5 + -2. Suppose 3*y - x = 6. Let f = 0 - y. Sort 3, f, 2 in decreasing order.
3, 2, f
Let s = 18 + -23. Sort s, 3, 2 in decreasing order.
3, 2, s
Suppose 5*b - 5*r + 50 = 0, 0 = 3*b - 5*r + 30 - 4. Let o be 4/(-27)*b/(-8). Suppose 4*w = -w + 10. Put 4, o, w in decreasing order.
4, w, o
Let d = -2 + 2. Let j = 161/110 - -2/55. Put j, d, 1 in descending order.
j, 1, d
Suppose i + 25 = 6*i. Let x(p) = p**2 - 4*p - 2. Let s be x(i). Put 2/11, -5, s in decreasing order.
s, 2/11, -5
Let n = 6 + -1. Suppose -m - n + 2 = 0. Suppose -3*v = 3*j + 20 + 4, 5*v - 5*j = -10. Put -1, v, m in decreasing order.
-1, m, v
Let f(o) = -89*o**2 - 6*o + 2. Let z be f(-5). Let t = 6641/3 + z. Let p = t - 21. Sort 3, p, 1 in descending order.
3, 1, p
Let m = 53/3 + -18. Let f(l) = l**3 - 4*l**2 + 5*l - 5. Let a be f(4). Suppose 0 = -t - 0*c - 5*c - a, 3*t + 3*c - 3 = 0. Sort t, 0.4, m.
m, 0.4, t
Suppose -3*x + 6*x = -15. Let z be 27/x - 10/(-25). Sort 5, z, 2 in descending order.
5, 2, z
Let f = -4.1 - -3.7. Put -1, f, 0.3, 3 in decreasing order.
3, 0.3, f, -1
Let f be -1*((4 - 3) + 4). Put f, -1, 3 in descending order.
3, -1, f
Let h(g) = 3*g - 1. Let z be h(1). Suppose 4*l = 14 - 6. Suppose -2*a + z = -l. Sort -5, -1, a in descending order.
a, -1, -5
Let b = -0.21 + -6.79. Put -0.4, b, -2/9 in increasing order.
b, -0.4, -2/9
Suppose 3*u - 6 = -2*k, 5*u - 2 = 4*u + 4*k. Sort -2, 0, u.
-2, 0, u
Let u = -0.41 + -3.59. Put -2, 0, 6/5, u in decreasing order.
6/5, 0, -2, u
Let n = -2 + 7. Suppose 0 = -4*j + 5*h - 15 - 35, -j = -5*h + 20. Let y = j + 9. Sort y, 4, n in decreasing order.
n, 4, y
Let h = -43 - -38.2. Let w = 5 + h. Sort w, -1, -4 in descending order.
w, -1, -4
Suppose -5*w + 4*q - 7*q = 0, 0 = 2*q. Let k(g) = g + 3. Let n be k(-4). Sort w, 3, n in descending order.
3, w, n
Suppose -2*m - 3*s = -1, 4*m + 2*s + 5 = -5. Let a = m + 7. Suppose -2*v = a*r + 2*v, 17 = -2*r + 3*v. Put r, -2, 2 in ascending order.
r, -2, 2
Suppose 34 = 13*n - 30*n. Sort 5, 13, n in ascending order.
n, 5, 13
Suppose 10*s - 1 = -1. Sort 4, s, 1, -5 in descending order.
4, 1, s, -5
Let m = -11 + 12. Suppose -4 = -5*p + m. Sort p, -3, 0 in decreasing order.
p, 0, -3
Suppose 0 = 2*m + 3*x + 15, x + 0 = -m - 6. Suppose 0 = 5*u + 37 - 7. Let l(b) = -b - 1. Let o be l(u). Put 3, m, o in increasing order.
m, 3, o
Let w = -3.4 - -3. Let h = 0.7 - 1.9. Let d = h + 0.2. Sort d, w, 2 in descending order.
2, w, d
Let f = -4.05 + -0.95. Sort 2/11, 6, f.
f, 2/11, 6
Let r = -0.048 + 4.348. Let a = r + -4. Put a, 0.2, 1/4 in increasing order.
0.2, 1/4, a
Let a(r) = r**2 - 10*r - 2. Let j be a(10). Sort j, -9, -5.
-9, -5, j
Suppose -a - a - 14 = 4*b, a = b - 4. Let h be (-8)/a - 16/8. Let z be (-4)/14 + (-2)/(-7). Sort h, 0.5, z in ascending order.
h, z, 0.5
Suppose 6*y - y = -3*p + 27, 0 = y + p - 5. Suppose -y*s + 2*s = f - 18, 0 = -f + 2. Suppose -g + 5 - 3 = s*j, -3*g + 6 = 2*j. Put j, 5, -4 in ascending order.
-4, j, 5
Let q = 0.4 + -2.4. Let c = 202 + -202.4. Sort c, q, 0.5 in ascending order.
q, c, 0.5
Let d be (-7)/(-3) - (-10)/15. Let l be 1/(-1) + d + -2. Suppose 3*k + 2*k + 15 = l. Put 5, -1, k in ascending order.
k, -1, 5
Let t = 9 - 12. Let c(n) = -n**3 + 2. Let d be c(0). Let s be (-20)/2*(-1)/d. Sort t, s, 2 in descending order.
s, 2, t
Suppose 7*v + 15 - 43 = 0. Let o(m) = -m + 7. Let h be o(4). Suppose 4*u + l = -16, -h*l - 2*l = u + 23. Put v, -5, u in ascending order.
-5, u, v
Let f = 0.8 - -0.2. Let v = -6 + 12. Let t be 4/10 - v/15. Put t, 2, f in descending order.
2, f, t
Let w be ((-3)/(-2))/((-3)/(-4)). Suppose 0 = w*h - 10, -4*h + 28 = 3*n - 5*n. Let p be (-36)/(-10) - (-2)/5. Put 0, p, n in increasing order.
n, 0, p
Let s = 3.3 - -0.7. Put 1/4, -3, s in descending order.
s, 1/4, -3
Suppose -4*j - 4*y + 4 = 0, 5*j + 5*y = 3*y + 2. Suppose 71*b - 74*b - 48 = 0. Sort 2, j, b in decreasing order.
2, j, b
Let c = 6309/17 - 371. Sort -0.3, 5, c in descending order.
5, c, -0.3
Let g be 2/20 + 2/4. Let c = -1039/8 + 130. Put c, 2/11, g in descending order.
g, 2/11, c
Let m(r) = r**3 + 5*r**2 + r - 2. Let g be m(-4). Let a = g + -11. Suppose -4*l = 12 + 8. Sort a, -2, l in descending order.
a, -2, l
Suppose 2 - 4 = -v. Suppose -2*t + t + v = 0, 4*y + 8 = -4*t. Let d be 1/(0 + (-2)/(-8)). Put d, -2, y in decreasing order.
d, -2, y
Suppose -m + 4 + 1 = 0. Let y = 15 + -18. Put 4, m, y in descending order.
m, 4, y
Suppose 0 = 3*i - 2*i - 3. Suppose w - 1 = -i. Sort w, 0, -4 in increasing order.
-4, w, 0
Suppose 2*n = 5 - 9. Let t be (-1 + n)/((-2)/10). Let m be (-36)/10 + 9/t. Sort 2, m, -1 in increasing order.
m, -1, 2
Let i(t) = 3*t**3 - 2*t**2 + 2*t - 1. Let s be i(1). Suppose 0*h = 3*h - 6. Let l = h + 2. Put s, -4, l in decreasing order.
l, s, -4
Let d = 0.2 - -0.2. Put d, -5, 7 in descending order.
7, d, -5
Let q = 28 + -40. Let p = 17 + q. Let b = 55.8 + -56. Sort p, b, -1/8 in decreasing order.
p, -1/8, b
Let y = -0.086 + 0.476. Let i = y + 0.11. Let p be (-8)/(-6) + (-6)/3. Sort i, p, -0.4 in descending order.
i, -0.4, p
Suppose 0 = -0*c - 2*c + 8. Put 5, -6, c in increasing order.
-6, c, 5
Let k = 0 + 4. Suppose -2*h = h - k*t + 32, -9 = -4*h - 5*t. Let n = 0 + -3. Sort n, 2, h in descending order.
2, n, h
Suppose -3*v + 4 = v. Put -2, v, -10, 0 in decreasing order.
v, 0, -2, -10
Let z be (-24)/(-14) + 6/21. Let f(t) = -7*t**2 + 7*t + 7. Let j be f(-1). Put z, j, 3 in decreasing order.
3, z, j
Let j(l) = -2*l**2 - 16*l - 19. Let t be j(-7). Let y(n) = -n**3 - 7*n**2 - 5*n + 2. Let i be y(-6). Sort i, 1, t in increasing order.
t, i, 1
Let x(b) = 2*b - 2. Let k be x(-2). Let a(t) = -t - 6. Let w be a(k). Suppose w = 2*j + 2 + 4. Put j, 5, 1 in ascending order.
j, 1, 5
Suppose -8*t + 4*t - 3*u = -32, -16 = -2*t - 2*u. Let f = t + -12. Put 5, f, 0 in decreasing order.
5, 0, f
Suppose -3*q + 16 = 4. Suppose q*f + f - 10 = 0. Suppose 0 = x - 2*v - f, -3*x + v + 7 + 4 = 0. Put 0.4, x, 5/3 in decreasing order.
x, 5/3, 0.4
Suppose 0 = -12*h + 11*h - 3. Sort 5, h, 2 in decreasing order.
5, 2, h
Let r be (-64)/(-672) + (-164)/(-42). Put 5, -17, r in ascending order.
-17, r, 5
Suppose 3*s = -0*s - 9. Let l be (-3)/(3/2) + 0. Let f be 3 + l - 2 - -5. Put -2, s, f in decreasing order.
f, -2, s
Let f = -4 + 2. Let h be -2 + 3 + (0 - 1). Suppose q - 2 = -h*q. Sort f, 4/3, q in descending order.
q, 4/3, f
Let f = 20 + -24. Let u = 4 - 2. Let i = -1.8 + u. Sort i, 1/4, f in increasing order.
f, i, 1/4
Let n be 822/(-42) - 3/7. Let o be (-4*1)/(n/15). Sort -1, -3, o in ascending order.
-3, -1, o
Let b be 17/4 + (-6)/24. Sort b, -2, -8 in decreasing order.
b, -2, -8
Let i = 118 + -89. Sort 2, 4, -2/5, i.
-2/5, 2, 4, i
Let o be (-4)/10 - (-161)/(-35). Let s = -1 + o. Put -3/5, s, 0.5 in decreasing order.
0.5, -3/5, s
Let n = -18 + 15. Let r = 2.2 - -0.8. Put r, 0.2, n in ascending order.
n, 0.2, r
Let h = -0.3 + 0.2. Put -4, -3, h in descending order.
h, -3, -4
Suppose 0 = -v, 5*y - 3*v + 1 = -9. Let w be (2*y)/8*6. Sort w, -2, 3.
w, -2, 3
Let r be -5 - (-2 + 1 + 1). Let o = -0.1 - 0. Put o, r, -1 in increasing order.
r, -1, o
Let h = 351 - 354. Suppose -3*a = -2*a - 1. Sort a, 17, h.
h, a, 17
Suppose 4*n - 6 = 3*v, v + 0 = -n - 9. Put -1, v, 1 in increasing order.
v, -1, 1
Suppose -2*o + 2*d = 24, -2*o + 37 = -5*o + 2*d. Sort o, -0.4, 3/2, 2 in ascending order.
o, -0.4, 3/2, 2
Suppose -g = -4*i - 6, 2*i + 3*g + 8 = 6*g. Let s = -10 + 2. Put i, s, 1 in ascending order.
s, i, 1
Suppose 3*n + 10 = -n + 2*r, r + 13 = -4*n. Let k be 0 + (-2 - n) - 1. Let u(j) = 2*j**2 + 4*j - 1. Let f be u(-3). Put 1, k, f in decreasing order.
f, 1, k
Let r = -0.04 - -1.04. Let x = -1 + r. Let d = 3 - 8. Sort -0.4, d, x in increasing order.
d, -0.4, x
Let k(g) = -g + 3. Let o be k(-2). Sort o, -2, 0 in decreasing order.
o, 0, -2
Let b be 5 + ((-1)/1 - -1). Let z = 2 + 2. Put b, z, -5 in descending order.
b, z, -5
Let v(u) = -u**3 - 6*u**2 + u - 3. Let l be v(-6). Let t = l + 5. Put t, 2, -1 in descending order.
2, -1, t
Let d(u) = 3*u - 1. Let m be d(-5). Let x be 1/(2*2/m). Sort 