 + 2. Let k be p(3). Let i = k + 7. Let w be -2 - (39/(-15) + 1). Sort -1, i, w.
-1, w, i
Let t = 3.6 + 0.4. Let f = 3 - t. Sort 0.5, f, 1 in decreasing order.
1, 0.5, f
Suppose -z + 0 = -2. Let v(b) = b**3 + 4*b**2 - 4*b - 4. Let f be v(-4). Suppose -6*d = -2*d - f. Put d, z, 4 in descending order.
4, d, z
Suppose 0 = 15*l - 16*l - 11. Sort 2, l, -5.
l, -5, 2
Suppose 4*o + 26 = 6*z - z, -o + 5*z - 14 = 0. Put 4, -5, 0, o in increasing order.
-5, o, 0, 4
Let t = 67 - 63. Put 2, 3, t in descending order.
t, 3, 2
Let b = 5 + -2. Put -24, b, 0 in descending order.
b, 0, -24
Let v(c) = c**2 - 4*c + 4. Let y be v(4). Sort 5, -3, y in increasing order.
-3, y, 5
Let u be 0 + 3*3/(-36). Sort u, 4/3, -3 in decreasing order.
4/3, u, -3
Suppose -1 = 2*i - 3. Suppose 2*k = 5*a + 39, 0*k + i = -2*k - 3*a. Suppose 0 = -4*r + r - q, -4*r = -q + k. Sort 4, r, -2.
-2, r, 4
Let b = 3 - 2.8. Suppose 0 = -0*g - 5*g - 5*l - 15, -25 = 3*g - 5*l. Put g, -3, b in ascending order.
g, -3, b
Suppose 0 = -p - 15 + 12. Sort -0.4, -2/3, p, -2/15.
p, -2/3, -0.4, -2/15
Let r = 1/85 + -257/170. Suppose 4*s - 2*s + 8 = 0. Put -3/5, s, r in ascending order.
s, r, -3/5
Let t = -7 - -11. Suppose -t*j + j = 9. Put j, 4, 5 in ascending order.
j, 4, 5
Let p = 217/5 - 43. Sort p, -2, 2.
-2, p, 2
Suppose -2*b + 3*b = 3*a + 10, a = 4*b - 7. Put a, -5, -4, -2 in descending order.
-2, a, -4, -5
Let s(p) = -42*p - 36. Let v be s(-1). Suppose -2 = -3*k + k. Sort k, v, -4 in decreasing order.
v, k, -4
Let h = 34 + -30. Sort h, -3, 5 in descending order.
5, h, -3
Let j = 89/12 - 27/4. Sort 0, -0.02, 1/2, j in decreasing order.
j, 1/2, 0, -0.02
Suppose 0 = f + s - 1, -3 = -5*f + 4*s - 7*s. Suppose f*d - 5 = -d. Sort -3, d, 1 in ascending order.
-3, 1, d
Let o(i) = 2*i - 7. Let x be o(3). Sort x, -5, 3.
-5, x, 3
Suppose -4*l = 4*o - 16, -2*l - 3*o - 2*o = -14. Sort -1, -11, l.
-11, -1, l
Let c be -4 + 0*3/6. Put 3, c, 14 in increasing order.
c, 3, 14
Let k = 6 - 2. Suppose -t + k*t - 6 = 0. Suppose -8 = -t*h - 0. Sort 0.4, -3, h in decreasing order.
h, 0.4, -3
Suppose 0 = r - 4*w + 9 + 1, -5*r - 2 = 4*w. Let y = 14 + -13. Put r, 2, y in descending order.
2, y, r
Let l = -14.54 - -15. Let x = -0.06 + l. Sort -4, x, 2/7 in ascending order.
-4, 2/7, x
Let w(s) = -4*s + 15. Let b be w(5). Let p = 3 - 4. Sort 1, p, b in descending order.
1, p, b
Let j be 6*3/(54/4). Let p be ((-3)/9)/((-1)/6). Put 1, p, j in decreasing order.
p, j, 1
Let w = -19 - -19.26. Let k = w - 0.3. Let n = -0.06 + k. Sort 1, -5, n in decreasing order.
1, n, -5
Let z be 0/((-4 + 5)*-4). Sort 8, z, 3 in increasing order.
z, 3, 8
Let p = 13.788 + 0.012. Let j = p + -19.5. Let r = j - -6. Put 0.5, 2/13, r in descending order.
0.5, r, 2/13
Let q = 12 - 17. Let f = 20 + -20.38. Let r = f - 0.02. Sort q, 4, r in increasing order.
q, r, 4
Let o(k) = k**3 - 4*k**2 - k - 7. Suppose -3*l + l + 10 = 0. Let f be o(l). Suppose 0 = 5*n - 3*r - 10, 2*r = n - 4*n - f. Put n, 4, 1 in descending order.
4, 1, n
Suppose -y = a - 3*y + 8, 4*y = -2*a + 24. Suppose 0 = 2*j - a - 2. Let k be (-5 - 0) + 1 - -1. Sort j, k, -2 in descending order.
j, -2, k
Let y be (-18)/24*(-5)/(50/(-8)). Sort 27, -0.5, y, -1 in decreasing order.
27, -0.5, y, -1
Let z = 2.5 + -1.8. Let u = 1 - z. Let q = -2 + 5. Sort -0.3, q, u.
-0.3, u, q
Let k = 40/63 - 6/7. Sort -7, k, -4 in ascending order.
-7, -4, k
Let d = -8 + 8. Let x = 4 - d. Let i be 3*x/(-6) - 1. Put i, -4, -2 in ascending order.
-4, i, -2
Let l = -10 - 9. Let s be l/(-8) - 2/1. Let x be (1/(-3))/(7/21). Sort s, 0.4, x in descending order.
0.4, s, x
Let h = -137 - -514. Let r = 7919/21 - h. Put 1, -5, r in increasing order.
-5, r, 1
Let q = 9 + -12. Sort -1, q, -2/5 in decreasing order.
-2/5, -1, q
Let p(c) be the second derivative of c**4/12 - 2*c**3/3 - 7*c**2/2 + 3*c. Let z be p(5). Let j = 12 + -88/7. Sort j, 0.3, z.
z, j, 0.3
Suppose 8*d - 13*d - 80 = 0. Let m be ((-2)/d)/((-6)/12). Put -4, m, -6 in increasing order.
-6, -4, m
Let l = 3 + -1. Let x be (-1 - l)*(-2)/(-6). Let d be (2/(-4))/x*-2. Put d, 4, -3 in descending order.
4, d, -3
Let q be (4 - 3)/(2/8). Suppose -3*v + 2*g = -2, 3*v + 3*g = -0*v - 18. Sort 1, v, q.
v, 1, q
Let o = -7 + 6.7. Let b = 0.25 - -0.05. Sort -0.1, b, o in decreasing order.
b, -0.1, o
Let d = 37 + -39. Sort -1, 2, d, 0.4 in decreasing order.
2, 0.4, -1, d
Let p = 0 + -0.1. Let y be 6/4*(-36)/54. Put 4, p, y in ascending order.
y, p, 4
Let l(w) = -w + w**3 + 4*w - 6 - w**2 + 1 + 7*w**2. Let k be l(-5). Let v(q) = q**3 - 3*q**2. Let z be v(3). Put -3, z, k in increasing order.
-3, z, k
Let x be 4/18 + 369/162. Let w = -22 - -12. Let o = w + 15. Sort o, x, -3/7.
-3/7, x, o
Suppose 3*g + 5 = -28. Let l = -12 - g. Sort 2, 4, l in decreasing order.
4, 2, l
Let f be 4/(-10) + 21/15. Put f, 2, -4 in increasing order.
-4, f, 2
Let m = 2/57 - -100/399. Put -18, m, 5 in decreasing order.
5, m, -18
Let t be -3 + 3/(-6)*2. Suppose 0 = 3*a + 2*v - v + 7, 14 = -4*a + v. Sort t, a, -1 in ascending order.
t, a, -1
Suppose o = 1, 0 = -4*r - o + 6*o - 97. Sort -4, r, -5.
r, -5, -4
Let a(j) = j + 7. Let k be a(9). Let s be 6/4*k/6. Let d(v) = v - 6. Let x be d(7). Sort s, x, 0 in ascending order.
0, x, s
Let k = 0.71 + -5.71. Put -49, 5, k in decreasing order.
5, k, -49
Let o = 8/17 - -1/34. Put 0, 0.1, o, 2/7 in ascending order.
0, 0.1, 2/7, o
Let v = 20/9 - 278/117. Put -3, -1, 1/2, v in descending order.
1/2, v, -1, -3
Let o = 0.04 - -4.96. Put o, -2/7, 0.35 in descending order.
o, 0.35, -2/7
Let x(o) = -o + 0*o + 4 + 0*o + 2. Let u be x(5). Put u, -5, 4 in ascending order.
-5, u, 4
Let v be (-2 - -3)*(-3 - -3). Sort v, 4, 3 in descending order.
4, 3, v
Suppose -b = 2*b - 9. Sort -4, -1, b in increasing order.
-4, -1, b
Let s = -24 - -34. Let l = s + -7. Put 4, 0.3, l in descending order.
4, l, 0.3
Suppose 0 = 2*c - 3*r + 5, 2 + 3 = r. Sort c, -5, -2 in increasing order.
-5, -2, c
Let z(d) = d + 7. Let m be z(0). Suppose -3*i - 1 = -5*x + x, -2*i = 5*x - m. Sort 3, i, 0 in decreasing order.
3, i, 0
Let y = 0 + 2. Sort y, 2/3, 5 in ascending order.
2/3, y, 5
Let y = -32 - -33. Put 5, -4, y, 0 in decreasing order.
5, y, 0, -4
Suppose 0*b - 3*b = -33. Suppose 2*f = 8, 3*f = -2*o + b + 7. Let l be 1*6/o*-1. Put l, -4, 5 in decreasing order.
5, l, -4
Let m be (7 - 6)/(21/(-6)). Put -2/9, 0, 0.1, m in ascending order.
m, -2/9, 0, 0.1
Suppose 2*w + w = -66. Let s = 17 + w. Suppose 3*m + u = -2*u + 18, -22 = -5*m - u. Sort m, s, -3 in increasing order.
s, -3, m
Let x = -18 - -25. Suppose -5*u = -2*b + 31, -36 - 1 = -4*b + 5*u. Let p = b - x. Sort 2, p, 0 in decreasing order.
2, 0, p
Let v be ((-3)/6)/(2/(-12)). Suppose -4*f + 14 + 6 = 0. Put f, 4, v in ascending order.
v, 4, f
Let m(b) = -b + 12. Let j be m(8). Put -2, 5, j in ascending order.
-2, j, 5
Let n = 6 - 6.002. Let p = n - 5.798. Let t = -6 - p. Sort 1, 4, t in descending order.
4, 1, t
Let g = -62 + 56. Put -4, -5, g in increasing order.
g, -5, -4
Let j = -8.5 + 9. Sort 0, 0.4, j.
0, 0.4, j
Suppose 2 = -6*h + 5*h. Put -1, h, -5 in descending order.
-1, h, -5
Let q be (-506)/88 - ((-18)/8)/3. Let k be -1*(1 - 12/10). Let w be (2 - (-22)/(-12))*-2. Put w, q, k in descending order.
k, w, q
Let z = 4.69 - 4.69. Let f = -1 - -0.5. Put 5, z, f in descending order.
5, z, f
Let d be 64/36 - 4/(-18). Suppose u - 5 + d = 0. Sort -3, -5, u in ascending order.
-5, -3, u
Let w(h) = -3*h + 5 + 0*h + h + h. Let p be w(4). Sort -2, p, -5 in ascending order.
-5, -2, p
Let d = 8.1 - 8.6. Put -1/19, -1, d in increasing order.
-1, d, -1/19
Let l = -11 + 13. Put -1, l, -1/7 in ascending order.
-1, -1/7, l
Let z = 7 - 5. Let k = z + -5. Sort -3/2, k, 3/2.
k, -3/2, 3/2
Let r = -65 + 64.7. Sort -17, r, -1/5.
-17, r, -1/5
Let m(r) = -13*r**3 - r**2 - r - 1. Let t be m(-1). Let i be ((-4)/51)/(8/t). Let j = -2.3 + 2.3. Put i, j, -0.5 in decreasing order.
j, i, -0.5
Let w = 2.06 - 0.06. Let a = -2.042 + 0.042. Sort -0.5, a, w in descending order.
w, -0.5, a
Let r be (-2)/((-50)/(-135)) + 2/5. Put -0.4, r, 2/15, 3 in descending order.
3, 2/15, -0.4, r
Let q be (0 - 3) + 2*21/6. Sort q, 5, -5 in decreasing order.
5, q, -5
Let p(g) = 2*g - 4. Let w be p(2). Let l(f) = -f - 5. Let s be l(w). Put s, 5, 0 in increasing order.
s, 0, 5
Suppose -2*z = -6, -a + 3*z -