 = -3*f. Let l(t) = t**2 - 6*t + 6. Let y be l(f). Put y, -3, 5 in increasing order.
-3, y, 5
Let j(k) = k + 27. Let i be j(-32). Put -17, i, 2 in decreasing order.
2, i, -17
Suppose 4*c + c = -b - 31, -b = -5*c - 19. Let q = -2 - b. Sort 3, -2, q in increasing order.
-2, 3, q
Let a(d) = -d + 1. Let z be a(-3). Put z, 0.9, 3 in decreasing order.
z, 3, 0.9
Let q be 2/8 + 0 + 0. Let d = 6 + -8. Let i = -6.3 + 6. Sort q, i, d in decreasing order.
q, i, d
Suppose 0 = n - 4*j - 23, 0 = -2*n - 2*j + 3 + 3. Put -5, 3, n in increasing order.
-5, 3, n
Suppose 2*v = -2*t + 4, -5*v - t - 40 = -6*t. Let l be (-3)/(-2) + (-1)/(-2). Sort 1, l, v in increasing order.
v, 1, l
Let y be 0 + -4 + 5 + -1. Suppose -s - 1 = y, 3*g + 7*s - 2*s - 7 = 0. Put g, -16, 0 in decreasing order.
g, 0, -16
Let g(x) = -x**3 + 7*x**2 + 7*x + 9. Let d be g(8). Let s be d/(-5)*(-2 + 1). Let h = 1.1 - 1. Sort 0, h, s in descending order.
s, h, 0
Suppose 0 = u + 1 - 0, 5*u + 13 = 4*n. Put -2, 5, -4, n in descending order.
5, n, -2, -4
Let g = -20.1 - -2.1. Put g, -3, -5 in increasing order.
g, -5, -3
Let s = 0.02 + -0.11. Let o = -417 - -411.91. Let x = o - s. Sort -0.1, x, 2.
x, -0.1, 2
Suppose -14 = -4*i + 2. Put -0.5, -0.04, i in descending order.
i, -0.04, -0.5
Let i = 6 + -1. Put i, -0.4, -2 in ascending order.
-2, -0.4, i
Let n = -16 + 16. Let s be (-4)/(-16)*4/(-3). Sort s, -4, n in increasing order.
-4, s, n
Suppose 2*o = -2*y + 12, 5*y = 4*o - 2*o + 23. Let f = -2 + -2. Put y, 4, f in increasing order.
f, 4, y
Let j = 41 + -31. Put -2/13, j, -0.1, 1 in increasing order.
-2/13, -0.1, 1, j
Let b be 1*-1 - (-8)/(-4). Suppose -4*u - 1 = -m, -m = 3*u - 2*u - 1. Suppose z - 3 + 0 = u. Put b, 2, z in decreasing order.
z, 2, b
Suppose 2*l = -8*l - 10. Sort l, 5, 3, -5 in descending order.
5, 3, l, -5
Let j = -15 - -17. Suppose 0 = -2*n - 2 + 8. Put j, n, 5 in decreasing order.
5, n, j
Let f = 67 - 69. Let q(w) = -w + 1. Let p be q(2). Put 5, f, p in increasing order.
f, p, 5
Let k = -4 - -8. Let f = k - 7. Put -2, f, -5 in ascending order.
-5, f, -2
Let k = -13.6 - -13.9. Put 0.5, -0.1, -13, k in descending order.
0.5, k, -0.1, -13
Suppose 0 = -2*w - q - 10, 4*w - q - 6 = 5*w. Let h = -439/1008 - -1/144. Sort 4, h, w in ascending order.
w, h, 4
Let u be (-4)/(-6)*(-6)/22. Suppose 3*b + 0*b = -6. Sort u, 4/7, b.
b, u, 4/7
Let t = -8 + 20. Suppose i - 7 = -f, -2*i + 11 = -2*f - 3. Suppose -3*w + i*w + t = 0. Put w, 0.4, -1 in decreasing order.
0.4, -1, w
Let k = -5 - -8. Suppose -2*z + 2*q - q + k = 0, -2*z - 2*q = -18. Put -3, 3, z in increasing order.
-3, 3, z
Let c = 0.16 + -0.12. Let r = 0.26 + c. Let i be (-11)/(-7) + -1 - 0. Sort -1/7, i, r in descending order.
i, r, -1/7
Suppose 3*b - 3*l + 34 = l, -b + 4*l = 22. Put 2/7, b, -1/8 in decreasing order.
2/7, -1/8, b
Let o = 10 - 10.4. Let v = -678/5 + 136. Sort o, 3, v in ascending order.
o, v, 3
Let x be (-2)/(-8) + 14/8. Let m be ((-1 - 1) + -1)*-1. Sort m, x, -1 in increasing order.
-1, x, m
Let o = -0.09 + -3.91. Let j = -92 + 87.7. Let s = j - o. Put -5, -3, s in decreasing order.
s, -3, -5
Let c = 6 - 7. Let a = c + 1.2. Sort -2, a, 0.4.
-2, a, 0.4
Let u = -5 - -4. Let f be 5*u/3*-3. Sort 3, f, 1 in decreasing order.
f, 3, 1
Suppose 0 = 3*r - 15 + 9. Let t be 66/(-18) + r/(-6). Sort t, 1, -5 in decreasing order.
1, t, -5
Let q = 1.6 - 5.6. Sort 5, q, 3 in decreasing order.
5, 3, q
Let l(n) = n**3 + 15*n**2 - 15*n + 20. Let o be l(-16). Put 3/5, -2/7, o, -1 in descending order.
o, 3/5, -2/7, -1
Let p(i) = -i**3 - 6*i**2 - 3*i - 1. Let l be p(-5). Let r(h) = -h**3 - 12*h**2 - 11*h + 5. Let y be r(l). Sort y, 4, 1.
1, 4, y
Let b = -0.41 - -0.01. Let z = 10.4 - 10. Sort b, z, -1 in descending order.
z, b, -1
Let m be -18*(-2)/(-4) - -2. Let n = 7 + m. Sort 2, n, 2/5 in decreasing order.
2, 2/5, n
Let f be (3/(-4))/(33/24). Put 5, -0.5, f in increasing order.
f, -0.5, 5
Let t = 4.9 + -5. Let p = 0.036 - -1.964. Sort -2, p, t in descending order.
p, t, -2
Let p = 30 + -25. Sort p, 1/2, 1.
1/2, 1, p
Let u be (-1)/(4 - (-75)/(-20)). Put u, -0.3, 0.3 in increasing order.
u, -0.3, 0.3
Let x(m) be the first derivative of -m**4/4 + 8*m**3/3 + m**2/2 - 11*m - 2. Let k be x(8). Let u = -2 - k. Sort u, -1, -2 in ascending order.
-2, -1, u
Let j be 2/(-6) - 2/(-6). Suppose 4*l - 17 = -2*w - 3, -5*w - l + 17 = j. Let t be -5 + -1 - -1 - -2. Put t, w, 0 in increasing order.
t, 0, w
Let u be -1*2*((-26)/(-4) + -4). Let d = -3 - -2. Put 2, d, u in decreasing order.
2, d, u
Let x(v) = 3*v**2 - 8*v - 1. Let w be x(3). Put -0.3, 4, w in descending order.
4, w, -0.3
Let l = -12 + 9. Put 3, l, 0 in increasing order.
l, 0, 3
Let v(g) = 2*g**2 + 2*g - 1. Let j be v(1). Suppose 18 = -c - j*h - 2*h, 5*c = 5*h. Let i = 165/602 - -1/86. Sort -1/6, i, c in ascending order.
c, -1/6, i
Let q be -8 + 1 - (1 + -2). Let n(j) = 3*j + 8. Let s be n(q). Let u be 17/(-5) - 4/s. Sort u, 3, 0.3.
u, 0.3, 3
Let l be -1*(-4)/3 - 1/3. Let n = 1.2 + -1. Sort n, -0.3, l in increasing order.
-0.3, n, l
Let w = 4 + -3. Let x be 6*(w + 2)/30. Sort x, 1/5, 1/3 in increasing order.
1/5, 1/3, x
Let w = -2.3 + 2. Let f = w - -0.5. Let j be (-2)/(12*8/(-12)). Sort -5, f, j in ascending order.
-5, f, j
Let n = -48 + 50. Sort n, -1, -2.
-2, -1, n
Suppose 0*t - 1 = -t. Let d be (20/(-30))/(4/(-30)). Put d, t, -3 in descending order.
d, t, -3
Let o = 380 - 378. Let y be (-2)/44*-1*4. Put y, 1, o in decreasing order.
o, 1, y
Let q be (1 + -2)*(3 + -1). Let j(w) = w + 2. Let d be j(2). Suppose -16 - d = -5*p. Put q, 2/9, p in ascending order.
q, 2/9, p
Let v = -10 + 7. Let t = -2 - v. Sort t, 5, -2 in decreasing order.
5, t, -2
Let j = -0.17 + 0.57. Suppose -15 = -4*t - 3*c, 2*t = -0*t + 2*c - 10. Put 2, t, j in ascending order.
t, j, 2
Let l(n) = 2*n - 11. Let i be l(8). Put -5, i, 0 in descending order.
i, 0, -5
Let d = 0.05 - -0.25. Put -2/7, d, -0.5 in ascending order.
-0.5, -2/7, d
Let i = 17 + -7. Suppose -f + 6 - 2 = 0. Suppose 2*q - 2*u = -f - 2, i = -2*q + 3*u. Sort -0.5, 4/9, q in descending order.
q, 4/9, -0.5
Let l be -3 - 7/2*-2. Suppose v = -l*v - 20. Let n(c) = -2*c - 5. Let y be n(v). Put 0, -5, y in ascending order.
-5, 0, y
Let f = 7619 + -22582/3. Let l = f - 93. Let m = -512/5 + 103. Sort m, -3, l in increasing order.
-3, l, m
Let x = 6.3 - 6. Suppose 47 = 3*p + 3*l - 2*l, -4*p + 62 = l. Suppose 3*w + 0 = -p. Sort -4/7, w, x in decreasing order.
x, -4/7, w
Suppose -15 = 2*u + 3. Let c(k) = k + 10. Let a be c(u). Let t be 2/(-4)*(9 + a). Sort 1, t, 2.
t, 1, 2
Suppose 0*r - 76 = 2*r. Let f = r + 26. Put 3, f, 5 in decreasing order.
5, 3, f
Let c = 500 - 496. Let j(k) = k. Let m be j(-3). Sort -2, c, m in descending order.
c, -2, m
Let j = 149 - 145. Suppose -2*h + 3 = 1. Put j, h, 3 in decreasing order.
j, 3, h
Let d = 2.92 + 0.08. Let w = 3 - d. Put w, 4, 2 in descending order.
4, 2, w
Suppose 10*v - 2*v = 32. Put -3, -2, v in decreasing order.
v, -2, -3
Let p = -2.9 - -3. Put p, 5/6, 0.04 in increasing order.
0.04, p, 5/6
Let n be (0 + 1)/(4/(-20)). Let i(u) = u**3 + 6*u**2 + 5*u + 3. Let j be i(n). Let q be 4*(-3)/(2*-3). Put 5, j, q in decreasing order.
5, j, q
Let r be ((-48)/(-5))/(33/220). Let j be ((-1)/6)/((-8)/r). Put j, -3, -0.5 in descending order.
j, -0.5, -3
Let f = 18 - 12. Suppose -5*n - 5 = -2*i, 4*n + 0*i - 2*i + f = 0. Suppose 0*r + 20 = -5*r. Sort r, n, -5 in increasing order.
-5, r, n
Let f = 0.2 - 0. Let x be (-282)/1035*2/(-4). Let c = x + -1/345. Sort f, c, 2 in ascending order.
c, f, 2
Let o = 0.6 - 2.6. Let u be (((-192)/(-84))/8)/((-4)/(-14)). Put u, 0.4, o in descending order.
u, 0.4, o
Suppose 5*s = -0*s. Let h = s - 1. Let x be (-10)/(-6)*(h - -4). Sort 3, x, -3 in descending order.
x, 3, -3
Let b = -0.23 - -1.33. Let l = 1 - b. Suppose -4 = 4*h - 0. Sort 1/9, l, h in decreasing order.
1/9, l, h
Let p(w) = -w**3 - 10*w**2 + 10*w + 3. Let s be p(-11). Suppose 0 = 2*l + l - 27. Let g = l - s. Put 3, -3, g in ascending order.
g, -3, 3
Suppose -4*q + 5*q + 3 = 0. Let s = 5 - q. Suppose -3 = 4*b - 3*f + s*f, 2*b + 4*f = -6. Put 4, 2, b in ascending order.
2, b, 4
Let j = -168 - -177. Sort -5, -3, j.
-5, -3, j
Let f = 8.5 + -8.63. Sort f, -3/2, -0.2, 0.3 in decreasing order.
0.3, f, -0.2, -3/2
Let n(s) = 7*s + 2. Let w be n(-1). Sort -9, 