3*f - 13. Let d be 32/10 + f/20. Put d, -4, 2 in descending order.
d, 2, -4
Let z(m) = m + 6. Let b be z(0). Suppose -16 = -b*o + 2*o. Sort o, -1, -3 in descending order.
o, -1, -3
Let l = -2.4 + 2.3. Sort -3/2, l, 0.5.
-3/2, l, 0.5
Let h = 3 - -2. Put h, 0.1, 0 in descending order.
h, 0.1, 0
Suppose 4*n + 2*v - 24 = 0, -2*n - 2*v + 28 = 3*n. Suppose -2*p - n = -6*p. Sort -5, p, 4 in decreasing order.
4, p, -5
Suppose -2*x - 3*x + 25 = 0. Let g = -2 + x. Let a be -3*(2 - 1) - 0. Put 0, g, a in decreasing order.
g, 0, a
Let l be 2 + (-1 - -1) - 8. Let p = -7 - l. Sort -5, p, 0.
-5, p, 0
Let w be 6/((-22)/10 - 4/(-20)). Sort -4, -5, 1, w in ascending order.
-5, -4, w, 1
Suppose -3*b + 1 = -2. Sort -3, 2, b, -2.
-3, -2, b, 2
Let m be (0 - 1)/(2/(-4)). Suppose 4*j - 15 - 53 = 0. Let g be (-6)/(-4)*j/(-51). Sort g, m, 0.1 in decreasing order.
m, 0.1, g
Let l(u) = 6*u + 2. Let p be l(5). Let a = -97/3 + p. Let o(y) = -y**3 - 4*y**2 + y + 1. Let k be o(-4). Put k, -2/17, a in decreasing order.
-2/17, a, k
Let s = 88 + -92. Let m = 0.06 + 4.94. Sort s, m, -3 in ascending order.
s, -3, m
Suppose 0 - 3 = -s. Let m be 14/6 + (-1)/3. Suppose 0 = -z - 3. Put s, m, z in ascending order.
z, m, s
Suppose -4*w + 66 = -w. Let a be (-15)/w - 2/(-4). Sort a, -1, 0.4.
-1, a, 0.4
Let m be 15/(-35) + 62/14. Suppose -20 = 4*u, v - 6*v = -3*u. Let b be v/(-9) + m/(-6). Put -2/19, b, 3/7 in decreasing order.
3/7, -2/19, b
Let h be (-2 + 1)/(4/20). Let n be 0/(h + 2) + 6. Let j = n - 3. Put j, 4, -4 in descending order.
4, j, -4
Let d be 1*(4/(-11))/2. Let a = -8 - -13. Let w = -3 + -2. Put a, w, d in increasing order.
w, d, a
Suppose 0 = 2*y + 3*y + 5. Put -4, y, 0 in descending order.
0, y, -4
Suppose 4*f - 3*k + 2*k = 10, 3*k - 2 = -4*f. Let y = 2.1 + -0.1. Let u = -6 + y. Put u, -3, f in descending order.
f, -3, u
Let v(n) = n + 10. Let q be v(-14). Let f be (-4)/(-2)*(-1)/(-1). Sort -3, f, q in ascending order.
q, -3, f
Let d = -307 + 308.93. Let p = -0.07 - d. Let a = 0 + -0.1. Sort 5, p, a in descending order.
5, a, p
Let y = 0.207 - -0.293. Let a be (-17)/35 - (-6)/21. Sort -2/11, a, y in descending order.
y, -2/11, a
Let b = -4.93 + 5. Let h = -0.93 - b. Put 3, -4/3, h in increasing order.
-4/3, h, 3
Suppose -5*i + 20 = 2*t, 5 + 7 = -t + 3*i. Let v = 0 - t. Let z(p) = p**2 + 1. Let x be z(v). Put 4, x, 2 in increasing order.
x, 2, 4
Suppose -2*h = -5*n - h - 39, -3*h = -5*n - 47. Let l be 16/72 - (-22)/(-18). Sort l, 3, n in ascending order.
n, l, 3
Let n(w) = -2*w. Let m be n(-1). Let d be (-228)/(-14) - (-2)/(-7). Let o = -15 + d. Sort -3, o, m in increasing order.
-3, o, m
Let f = 11 - 10.2. Let x = f + 1.2. Sort -2, x, -1 in increasing order.
-2, -1, x
Suppose 12 = 4*y - 7*y. Sort 0, y, -23 in ascending order.
-23, y, 0
Suppose 0 = -3*y + b - 6 + 2, -y - 2*b + 8 = 0. Suppose -5*q - 5*a + 0*a - 30 = 0, 4*a = 4*q - 8. Put 5, q, y in descending order.
5, y, q
Let g be 26/10 + 2/5. Let n = -50 - -49. Sort n, -4, g.
-4, n, g
Let d = 58 + -32. Suppose -2*g - 5*b = 3*g + 10, -5*b = -4*g - d. Let l be g/10 + (-26)/10. Sort -2/9, 0.3, l in descending order.
0.3, -2/9, l
Suppose -y + 8 = -5. Let o = y - 7. Suppose 5*s + 2*c - 11 = 0, -6*s - c + o = -3*s. Sort -3, s, -2.
-3, -2, s
Suppose 3 = m + 2. Sort m, -4, 2 in descending order.
2, m, -4
Let k = -3 - 2. Sort k, -4, 3 in increasing order.
k, -4, 3
Let h = 0.04 + 0.36. Let x = 0.6 + h. Let d = x - 1.4. Sort d, -0.3, -1.
-1, d, -0.3
Let t = -0.16 + 2.16. Let k = t + 1. Let s = -0.7 + 0.3. Sort k, 0.1, s in ascending order.
s, 0.1, k
Let x(l) = l**2 - 2*l - 7. Let g be x(5). Suppose w - g = -w - 5*z, -3*w + 4*z - 11 = 0. Sort 2, -5, w in ascending order.
-5, w, 2
Let w be -2*(-9)/(-4)*(-18)/27. Put -2, -5, w, 4 in decreasing order.
4, w, -2, -5
Let k = 1 + 4. Let x = 11 - 7. Suppose 0 = -x*y + 6*y. Sort -2, k, y in ascending order.
-2, y, k
Let s(t) = t + 12. Let b be s(-9). Let v(f) = -f**3 - 3*f**2 + 6. Let c be v(-2). Sort c, b, -3 in decreasing order.
b, c, -3
Let f = -1 + 1.1. Suppose 2*t + 3*i - 3 = 4*i, t = -2*i - 1. Put f, 1/5, t in ascending order.
f, 1/5, t
Let o(x) = -x**2 - 2*x**2 + 4*x**2 + 0*x**2 - 1 - 5*x. Let f be o(5). Suppose 7 = -r + 3*p, r + 0 = p - 5. Sort f, r, 2 in increasing order.
r, f, 2
Let p = -0.25 + 0.15. Sort 1, 0, p.
p, 0, 1
Let v(a) = -2*a - 5. Let k be v(0). Put 5, k, 0 in ascending order.
k, 0, 5
Suppose -4 = r + 1. Put r, 5, -1 in descending order.
5, -1, r
Suppose 2*j = j + 2. Let a(n) = 2*n**3 - 2*n**2 - 3*n + 3. Let f be a(j). Suppose b - f*v = -12, 2*v - 5 = -b + 4. Put b, 2, -4 in decreasing order.
b, 2, -4
Let u = 17 + -14. Let p = 3.03 - u. Sort 0, p, 2/21 in decreasing order.
2/21, p, 0
Let d = -11 + 9. Put 5, d, -3 in increasing order.
-3, d, 5
Suppose 8*t - 11 = 29. Let m(j) = j**2 - 6*j - 4. Let i be m(6). Put -3, i, t in ascending order.
i, -3, t
Let s(m) = m**2 + 6*m + 3. Let k be s(-4). Sort -4, k, 5 in increasing order.
k, -4, 5
Let b be 2/9 + (-296)/(-288). Let z = -3.08 + 0.08. Sort b, z, -2/5 in descending order.
b, -2/5, z
Let m = -4 - -2. Let q be (-30)/(-8)*m/3. Let x = -1 - q. Put 0.1, x, 1 in decreasing order.
x, 1, 0.1
Suppose -3 = -3*g, 4*g - 19 = -3*x - 2*x. Suppose 5*y - y - 3 = 3*b, 2*y = 3*b + x. Suppose 20 = 5*d - y. Put -5, d, 5/2 in descending order.
d, 5/2, -5
Let u(z) = z + 1. Let i be u(2). Let r = -26 + 28. Sort i, -5, r in ascending order.
-5, r, i
Let v = 0.9 + -2. Let t = -5.9 + -0.2. Let y = v - t. Put y, -2/5, 0.3 in decreasing order.
y, 0.3, -2/5
Let s = 0 - -3. Let m = s - 2.8. Let j = 529/8 + -66. Sort 2/3, m, j in descending order.
2/3, m, j
Suppose 4*j = 2*j. Suppose 4*k - 4 + 0 = j. Put 0, k, -4 in decreasing order.
k, 0, -4
Suppose -6*f + 2*f = 16. Suppose 6*q + 5*h - 4 = 4*q, 2*h = 2*q - 4. Suppose -5*k = -5*s - 0*k - 15, 2*s = -5*k + 8. Sort s, q, f in increasing order.
f, s, q
Let r = 0.35 - 0.1. Let q = r - -0.05. Let c = -3.32 + -0.68. Sort c, q, 2.
c, q, 2
Let i = 31/57 - 4/19. Let p = -13 + 3. Let m = -15 - p. Put i, m, -4 in decreasing order.
i, -4, m
Let m be 4*2/(-4)*2. Sort 1, 4, -5, m in descending order.
4, 1, m, -5
Let s = 15 + -14.8. Put 0, s, -1 in decreasing order.
s, 0, -1
Let y(r) = 2*r**2 - 4*r - 1. Let j be y(3). Suppose c = -0*v + 3*v - 9, v - 3 = j*c. Suppose v*t - 4 = -1. Put -5, t, -2 in decreasing order.
t, -2, -5
Let q(b) = -b**3 + 11*b**2 - 12*b + 19. Let y be q(10). Sort -3, -4, 3, y in descending order.
3, y, -3, -4
Suppose -18 = 4*v + 6. Let o = v + 6. Sort 3, o, 4.
o, 3, 4
Let t = 7.5 - 7. Let m = 0.1 - t. Let n = -1.6 + m. Put n, -5, -3 in ascending order.
-5, -3, n
Let m = 0.02 + 0.38. Let o(w) = w**2 + 3*w + 4. Let g be o(-3). Let b = -5 + 2. Put g, b, m in descending order.
g, m, b
Let d be 0/(2*2/(-2)). Sort -1, d, 2 in ascending order.
-1, d, 2
Let d be 3/6 - (-9)/(-2). Suppose -m - 2 = -1. Sort d, 5, m in ascending order.
d, m, 5
Suppose -6*w = -2*w - 20. Suppose 0*r = 2*r. Let k = r + w. Put 1, k, -2 in ascending order.
-2, 1, k
Let d(i) = -12*i + 1. Let m be d(-1). Suppose 0*a = 5*a - 25, 3*o - 5*a = -m. Let u = 3 - o. Put u, 0, -4 in descending order.
0, u, -4
Let z = 15 + -17. Put -5, 1, z in decreasing order.
1, z, -5
Let f = 40 - 37. Put -0.2, f, -0.7 in decreasing order.
f, -0.2, -0.7
Let v = -4.82 - -0.82. Put v, 0, 2/9 in descending order.
2/9, 0, v
Let w = 42 - 42. Sort w, 0.1, 0.4, 3 in descending order.
3, 0.4, 0.1, w
Let s = 38 - 37. Let z = 1 + -4. Put z, 0.2, s in ascending order.
z, 0.2, s
Let l = 0.27 - 0.07. Let n = l + 0.4. Let f = -0.2 + n. Sort f, -1/7, 0.2 in descending order.
f, 0.2, -1/7
Suppose -5 - 5 = 5*r. Let f be -3 - 1*(-8 + r). Suppose -5*t + 3 + f = 0. Sort 3, -4, t in increasing order.
-4, t, 3
Let y = -5.72 + 0.22. Let o = y + 5. Let a = -4.3 - -4. Sort -3, o, a in descending order.
a, o, -3
Let d = -5.7 + 6. Let n be 0 + (3/4)/(-3). Put d, -5, n in increasing order.
-5, n, d
Let m = 3 + 7. Put m, 2/7, 2/19, -1 in decreasing order.
m, 2/7, 2/19, -1
Let u = 3 + 1. Let k = 5 + 0. Suppose k + 1 = 3*y. Sort u, -3, y in descending order.
u, y, -3
Let m(l) = -l. Let c be m(-5). Suppose -y = c*r + 11, 3 + 2 = -5*y. Put 3, 2/3, r in decreasing order.
3, 2/3, r
Let p(h) = -h - 3. Let m be p(-3). Suppose -u - u - 6 = m. Sort -4, u, -2 in ascending order.
-4, u, -2
Sup