11
Let c = 2.7 - -8.3. Let v = c - 15. Let s = -808.05 + 808. Put v, 3, s in ascending order.
v, s, 3
Suppose -16*k + 2*b = -21*k - 21, -k = -2*b - 3. Sort k, 0, -5, -46.
-46, -5, k, 0
Let b = 8.8 + -8.3. Let k = -2.3 - 0.7. Sort -0.04, k, b, 0.2.
k, -0.04, 0.2, b
Suppose -5*z + x + 0*x + 240 = 0, -5*z = 2*x - 240. Let r = -50 + z. Put r, -5, 3, -9 in descending order.
3, r, -5, -9
Suppose 2*s = 3*p + 16, 14 = -7*s + 6*s - 4*p. Put -10, -3, s, 0 in decreasing order.
s, 0, -3, -10
Let a = 89 - -72. Let y = -161.4 + a. Sort 4, 0, y, -3/5 in descending order.
4, 0, y, -3/5
Let s(z) = z**2 - 14*z - 240. Let f be s(24). Sort 12, f, 9.
f, 9, 12
Let s be 4 + (0/(-5) - 2). Suppose 2*f - 2*d = -6*d + 20, 0 = s*f - d. Put f, -6, -1 in ascending order.
-6, -1, f
Suppose -9*m - 62 = -17. Put -3, m, 5 in descending order.
5, -3, m
Let t = -1 - -1. Let i(c) = -c + 14. Let d be i(t). Suppose -j + 5*l + d + 5 = 0, -l = -j + 3. Sort -5, 5, j.
-5, j, 5
Suppose -4*v + 5*i - 84 = 0, 0*v = v + 3*i + 38. Let x = v - -25. Sort x, -4, -5.
-5, -4, x
Let j(d) = -5*d**2 + 17*d + 16. Let l be j(4). Sort l, -3, -458.
-458, -3, l
Suppose -40*a + a + 195 = 0. Sort -3, -4, 3, a in decreasing order.
a, 3, -3, -4
Let u(m) = m**2 - 16*m + 45. Let k be u(9). Sort 4, -2, 0, k in increasing order.
k, -2, 0, 4
Let k = 8 + -18. Let o be (296/(-10) - -2)/(2/(-10)). Let f be o/30 - 4/k. Sort f, 0, -3 in ascending order.
-3, 0, f
Let f(o) = o**2. Let b be f(2). Let k = 4 - b. Let x = 113 + -108. Put -5, x, k in decreasing order.
x, k, -5
Let z = 23 - 26. Let o = -68 + 63. Put o, 2, z in descending order.
2, z, o
Suppose 42*l + 69 = 65*l. Put l, -1, 0 in descending order.
l, 0, -1
Suppose 0 = -16*c + 25*c + 27. Put -2, -14, c, -20 in descending order.
-2, c, -14, -20
Suppose -t = 4*t + 10. Let d(b) = b**3 - 36*b**2 + 38*b - 100. Let l be d(35). Put t, -4, l, -5 in increasing order.
-5, -4, t, l
Let w(h) = -h**3 - 6*h**2 + 2*h + 7. Let z be w(-6). Put 2, 5, -4, z in increasing order.
z, -4, 2, 5
Let n = -74 - -1260/17. Sort -1, n, 0.2.
-1, n, 0.2
Suppose 3*m = -5*m. Suppose 0*o + o + 1 = m, -21 = 3*n - 3*o. Sort -2, n, 3.
n, -2, 3
Let d be 15/(-12) + -2 + -3 - -6. Sort 6, 5, d, -2 in descending order.
6, 5, d, -2
Let t be 28/(-147)*(-6)/(-4). Let x be (5/1)/((1 + 5)/(-6)). Put 5, -1/3, t, x in increasing order.
x, -1/3, t, 5
Suppose 3*o + 4 = 5*k, 3*k - 2*k - 10 = -4*o. Suppose 0*w + 12 = 2*s + k*w, -5*w - 51 = -4*s. Put -2, s, 2 in increasing order.
-2, 2, s
Let q = -1.4 + 0.9. Let s be (-177)/57 - (1 - (8 + -4)). Let m = -1.3 + 1. Put q, m, s in ascending order.
q, m, s
Let l be (1 - -8)*(-2)/(-6). Suppose -l*p - 4 = 11. Let b be ((-6)/(-20))/((-18)/(-8)). Sort p, b, -2 in descending order.
b, -2, p
Let u(t) be the third derivative of -t**4/24 + t**3/2 + t**2. Let y = 1 + 3. Let x be u(y). Put 4, x, 2 in descending order.
4, 2, x
Let b = -274 - -251. Put 0, b, -2 in descending order.
0, -2, b
Let h = 0.74 + -0.04. Let s = 3.962 + 0.038. Sort 0.3, h, s in decreasing order.
s, h, 0.3
Let t = 2899 + -2898. Sort 0, 0.063, t in increasing order.
0, 0.063, t
Let k(v) = v + 20. Let l be k(-5). Let n be -3*(0 + 70/l). Let x be n/5 + 5/(-25). Put -2, 8, x in descending order.
8, -2, x
Let b be 4/22 - (-424)/88. Let z = 4 + -1. Let c(f) = 14*f + 628. Let y be c(-45). Put z, b, y in increasing order.
y, z, b
Let i be (-76)/(-176) + (-2)/8. Let t = 162/7 - 23. Put t, i, -2 in descending order.
i, t, -2
Suppose 0*k + 2*k - 6 = 0. Let s be (5/2)/(k/(-6)). Sort -1, -21, s in increasing order.
-21, s, -1
Suppose 3*b - 15 + 6 = 0. Let w(d) = d**3 - 12*d - 5. Let x be w(-3). Sort -3, x, b, 5 in increasing order.
-3, b, x, 5
Let b(g) = -3*g**2 + 1. Let s be b(1). Suppose -70 = -5*d - 55. Put d, -28, s in decreasing order.
d, s, -28
Let w(c) = 6*c - 50. Let h be w(9). Sort h, -1, 7.
-1, h, 7
Let q be (-1 + -1)/((-4)/16). Let t = 9131 - 9133. Put q, t, 0.3 in decreasing order.
q, 0.3, t
Let y(q) = q + 4. Let c be y(-7). Let l = 38 - 42. Let o be 1 - (-1 - (-3 - l)). Put o, 5, c in ascending order.
c, o, 5
Let r = 17.431 + -17.3. Let w = 0.269 + r. Put -1.1, -5/3, w in ascending order.
-5/3, -1.1, w
Let p(r) = -r**3 + 4*r**2 - 3*r + 2. Let n be p(3). Let j(t) = -t - 4. Let m be j(-3). Let d = 944 - 947. Put n, d, m in descending order.
n, m, d
Let i(t) = -t**2 + 15*t - 14. Let o be i(14). Suppose 2*s - 2*n = 14, -5*s = -2*n - 23 - o. Sort -3, s, -5, -1 in decreasing order.
s, -1, -3, -5
Let z = -393 - -396. Sort 0, -5, -1, z in ascending order.
-5, -1, 0, z
Suppose 3*s = 4*y - 2 - 43, 4*s - 24 = -4*y. Sort 2, y, -4, -5.
-5, -4, 2, y
Let d be ((-8)/6 + 1)*-81. Let j = d + -25. Put j, 0, 2/5 in descending order.
j, 2/5, 0
Let h = -5653 - -5652.3. Let m = -2.1 - -2. Sort 4, m, h, -1 in decreasing order.
4, m, h, -1
Let p be (-2)/5 - (-14)/10. Let c(h) = h - 2. Let g be c(4). Let v be (69/(-414))/(1/(-18)). Put p, g, v in ascending order.
p, g, v
Let u(h) = h**2 - 4*h. Let k be u(5). Let x be 7/1 - (4 + -2). Suppose x*s + 4 = 29, k = 2*f - s. Put 3, -4, f in descending order.
f, 3, -4
Let x be (-13)/(-2) + (-1)/(-2). Suppose 3*w + x = 1. Let p = w - -7. Put -1, p, 3 in ascending order.
-1, 3, p
Let g = 6 + -2. Let w = -25.7 + 40. Let r = -14.4 + w. Sort -3, g, r in decreasing order.
g, r, -3
Let d = 221 + -222. Suppose 6*j - 4*j - 10 = 0. Sort j, d, 9 in descending order.
9, j, d
Let k = 61/9 - 119/18. Put -9, -2, k in descending order.
k, -2, -9
Suppose 2*g + 700 = 7*g. Suppose -2*x + g = 3*w - w, -186 = -3*w + 3*x. Let i be (-2)/(-6) + (-10)/w. Sort 2, i, -4 in decreasing order.
2, i, -4
Suppose -30 = -398*c + 403*c. Put 1, -2, c, 0 in decreasing order.
1, 0, -2, c
Let x = 7 + -4. Let o = 0.51 + -4.31. Let b = -4 - o. Put -0.1, b, x in descending order.
x, -0.1, b
Suppose 2*o - 3 = -9. Let x be (-160)/96*o/(90/4). Put 0.5, 4, x, -2/3 in decreasing order.
4, 0.5, x, -2/3
Let o = 1.048 + -0.048. Suppose 3*g - 4*g = 0. Put o, -5, -2, g in descending order.
o, g, -2, -5
Let f = -0.1954 - 0.1046. Put f, 4, 5, 0.1 in increasing order.
f, 0.1, 4, 5
Let z(s) = -2*s**2 - 29*s + 20. Let n be z(-15). Let d be (25/20)/(n/(-40)). Sort -0.2, d, 2 in decreasing order.
2, -0.2, d
Let u be (-1 + 2)/(4/(-4)). Let y(w) = -w + 2. Let i be y(5). Sort i, 3, u, -5 in decreasing order.
3, u, i, -5
Let r = -269/6 - -45. Suppose -2*j + 64 = 2*j. Let k = 13 - j. Sort k, r, 3 in descending order.
3, r, k
Let v = 179/2 + -893/10. Sort -2/13, 0.5, -4, v in ascending order.
-4, -2/13, v, 0.5
Let s(w) = -w**3 + 4*w**2 + w - 5. Let v be s(4). Suppose 3*p = -55 - 20. Put p, -3/2, v in decreasing order.
v, -3/2, p
Let n(s) = 7*s - 57. Let x be n(8). Suppose -8 = d + 2*h, 0 = -2*h - 5 - 5. Suppose -d*q = 4*i, i = q - i. Sort q, x, 15 in decreasing order.
15, q, x
Let g(c) = c**2 - 5*c + 1. Suppose 3*n + 2 = -7. Let f(i) = -i + 2. Let h be f(n). Let o be g(h). Put 0, -0.2, o in increasing order.
-0.2, 0, o
Let z = -32 - -28.8. Let p = z + -0.8. Let w = -293 - -296. Sort w, p, 0.4 in descending order.
w, 0.4, p
Suppose x + g = -4, -2*g - 2*g - 4 = 0. Suppose 3*v + 36 = -4*w, 28*v = 30*v + 4*w + 32. Put x, v, 5 in ascending order.
v, x, 5
Let g be ((-2)/(-3))/(16/(-96)). Sort -1, g, -8, -2 in ascending order.
-8, g, -2, -1
Let d be (-4)/(-15)*870/58. Put -2/279, d, -4 in ascending order.
-4, -2/279, d
Let j = 123 - 25. Let i = j + -97.7. Sort -0.4, 5, -4, i.
-4, -0.4, i, 5
Let p = 17 + -12. Let s(q) = 8*q**3 - q**2 + q. Let r be s(1). Suppose 2*k = -2*k + 5*l + 1, p*k + 3*l = -r. Sort 5, k, -0.2 in descending order.
5, -0.2, k
Let t = 125 - 124.95. Sort 4, 3, t, -2 in decreasing order.
4, 3, t, -2
Suppose 16*f + 196 = 228. Sort 1, -10, f, 6 in descending order.
6, f, 1, -10
Let w = -3 + 3. Let k be (-12)/18 + (-2)/(-3). Suppose 2*i = 2*b - 16 - 4, 5*b + 3*i - 10 = k. Sort b, -0.3, w in increasing order.
-0.3, w, b
Suppose -5 = -3*h - p, -23 - 12 = -5*h + 5*p. Let q = 51 - 3. Let x be (-4)/21*(-56)/q. Sort -3/7, h, x in decreasing order.
h, x, -3/7
Suppose 0 = 2*f, -4*v = 2*f - 6 - 6. Suppose 5*m - 2*t = m + 14, 11 = m - v*t. Put -1, -8, m in decreasing order.
m, -1, -8
Let l = -533 - -532. Put -327, 5, l, 2 in descending order.
5, 2, l, -327
Let t be (-48)/288*8/(-30). Sort -2/9, 2, t in increasing order.
-2/9, t, 2
Let m = -337 - -335. Let r