 16. Is 9 a factor of p?
True
Let u = 69 + -24. Suppose 24 = -j - 0*j. Let p = u + j. Does 8 divide p?
False
Let k(o) = -o**3 + 6*o**2 - 6*o + 5. Let l be k(5). Let i be ((-10)/3)/(2/(-3)). Suppose i*f - 1 - 69 = l. Is 7 a factor of f?
True
Is 12 a factor of 31/(-2 + 3) - 0?
False
Let l(o) = 4*o - 1. Let i be l(1). Is 13 a factor of 4/i + 808/24?
False
Suppose 4*g = 5*m - 47, -g = -4*m + 3*g + 40. Is 4 a factor of m?
False
Suppose 5*k + 4*a + 20 = 0, -a = 4*k + k + 5. Suppose 2*b - 1 - 11 = k. Is (14/b)/(5/30) a multiple of 7?
True
Suppose 0 = 3*c - 16 - 5. Let s(f) = f**3 - 6*f**2 - 9*f + 9. Let k be s(c). Let x(p) = -2*p + 1. Is x(k) a multiple of 5?
False
Let v = 45 - 38. Is v even?
False
Let i = 73 - 49. Does 12 divide i?
True
Let j = 102 + -52. Is 10 a factor of j?
True
Suppose -6*a + 10*a = 236. Is a a multiple of 11?
False
Let s(g) = 3*g**2 - g - 5. Let j = 5 + -7. Let l(a) = -10*a**2 + 4*a + 16. Let f(y) = j*l(y) - 7*s(y). Does 2 divide f(0)?
False
Let d(x) = -3*x - 1. Let c(z) = -3*z. Let a(k) = -3*c(k) + 4*d(k). Let y be a(-4). Suppose -o + 22 - y = 0. Is o a multiple of 12?
False
Suppose 3*u + 0 = -3. Let r = 2 - u. Suppose -72 = -0*z - r*z. Is 12 a factor of z?
True
Let w(f) be the third derivative of -f**6/120 - f**5/12 + 3*f**4/8 + 2*f**3/3 - 2*f**2. Is w(-7) a multiple of 13?
True
Let r(h) = h**3 + 2*h**2 - 5*h - 3. Suppose -4 = -4*s, 6*s = -q + s + 2. Is r(q) a multiple of 3?
True
Let f = -13 - -13. Suppose f = -3*a + 5*a - 170. Is a a multiple of 32?
False
Let f(c) = c**3 + 5*c - 10 - 14*c - 14*c**2 + 26*c. Does 7 divide f(13)?
True
Let p(r) = 6*r - 8. Is 22 a factor of p(5)?
True
Suppose -j - 3*j + 224 = 4*b, -4*j = -3*b - 189. Does 15 divide j?
False
Suppose z = -0*z + 5*n + 7, -z + 5 = -3*n. Suppose -1 = -3*u - 4, 166 = 2*j + z*u. Suppose -j = -l - 3*l. Is 8 a factor of l?
False
Suppose -5*p + 264 = -2*p. Suppose p = -o + 5*o. Is o a multiple of 7?
False
Let n(c) = 8*c + 10. Let i(k) = -8*k - 11. Let u(x) = 5*i(x) + 6*n(x). Is 24 a factor of u(8)?
False
Let f(n) = 2*n - 7. Let w be (-3)/5 - (-66)/10. Let k be f(w). Suppose -b - 120 = -k*b. Is 15 a factor of b?
True
Let j = -117 + 211. Is 10 a factor of j?
False
Let z(x) = -x + 2. Let l be z(-7). Suppose -2*u + 4 = -3*t - 0, 0 = -t + 5*u - 10. Suppose g + t*g - l = 0. Is g a multiple of 9?
True
Suppose -38 - 36 = -g + 5*c, -164 = -2*g + 2*c. Suppose 5*p + g = u, -3*p + 108 = 2*u - u. Let o = -47 + u. Is 19 a factor of o?
False
Suppose -4*j = -2*j - 6. Suppose 0*z + 30 = -j*z. Does 3 divide (3/5)/((-2)/z)?
True
Suppose 20 = -5*r + 55. Suppose -3*t + 191 = -r. Is t a multiple of 14?
False
Suppose -k + 125 = 5*l, -4*k + 7*k - 50 = -2*l. Is 13 a factor of (-190)/(-4)*20/l?
False
Let v(r) = -r**2 - 13*r - 7. Let p be v(-12). Suppose -41 = -a - p*u, 2*a - 3*u = 35 - 5. Is a a multiple of 9?
False
Suppose -2*d - 3*h - 906 = -5*d, -4*h = -3*d + 911. Is 46 a factor of d?
False
Let i = -12 - -4. Let f = -8 - i. Let d(v) = -v**3 - v**2 + v + 8. Is d(f) a multiple of 5?
False
Suppose -3*r + 4*k = -488, -619 = -7*r + 3*r - k. Is r a multiple of 39?
True
Suppose 44 = o - 16. Let j = -26 + o. Does 17 divide j?
True
Let w(c) = -107*c + 1. Let v be (-1)/((-1)/(-2) - 0). Let q be w(v). Suppose -q = -y - 4*y. Is y a multiple of 12?
False
Suppose 0*p - 4*p = -20. Suppose c - 208 = p*c. Let o = -31 - c. Is 12 a factor of o?
False
Let o = 72 + -28. Is 12 a factor of o?
False
Suppose -4*q + 3*g + 80 = 0, 4*g - 20 = -q - g. Is q a multiple of 5?
True
Let w be (-8)/(-12) + 14/6. Suppose 2*v - 14 = n, -w*v - v = 3*n - 8. Suppose -v*i = t - 51, 0*t + 2*t - 88 = 4*i. Is 20 a factor of t?
False
Suppose -j - 42 + 115 = -4*m, -m = 3. Does 16 divide j?
False
Let f(b) = b**3 - 3*b**2 - b. Let p be f(3). Let h = -1 - p. Suppose 0 = h*y + 1 - 23. Is 11 a factor of y?
True
Let t be (-336)/(-13) - 4/(-26). Let r = t + -17. Is 5 a factor of r?
False
Let h(n) = 2 - 2*n - 4 + 0*n. Is h(-6) a multiple of 5?
True
Let m = 7 - -4. Does 3 divide m?
False
Suppose 2*m - 5*m = -o - 35, 2*o = -2*m - 70. Let b(k) = k - 14. Let w be b(0). Let x = w - o. Is x a multiple of 10?
False
Let q(a) = 14*a - 41. Is 8 a factor of q(4)?
False
Suppose -4*h + 188 = -4*s, 6*s - 3*s = 9. Is h a multiple of 16?
False
Let r = 406 - 276. Is r a multiple of 14?
False
Suppose 2*t + 2*i - i - 39 = 0, -25 = -5*i. Is 10 a factor of t?
False
Let o(d) = -2*d**3 - 3*d**2 - 2*d - 1. Let y be o(-2). Is 414/21 - (-2)/y a multiple of 10?
True
Let z(f) = f**3 + 9*f**2 + f + 12. Let w(m) = m**3 - 10*m**2 + 8*m. Let d be w(9). Let t be z(d). Suppose -t*r + 0*r + 54 = 0. Does 9 divide r?
True
Suppose 0 = 3*m - 2 + 14. Let h(c) = -c**3 - 4*c**2 - c + 1. Let w be h(m). Suppose 4*a + 8 = 4*q, q + 2*a + 10 = w*q. Is q a multiple of 2?
False
Let j(d) = d + 2. Let w be j(5). Suppose 3*r + 2*h = 19, -2*r - 2*h = -5 - w. Is r a multiple of 3?
False
Suppose -5*m - 29 = -4. Let s = m + 11. Does 6 divide s?
True
Suppose 24 = t - 9. Suppose -4*j + t = 1. Let b(h) = h + 3. Does 8 divide b(j)?
False
Let g(q) = -2*q**2 - 4*q + 1. Let k(i) = -i**2 - 2*i + 1. Let n(v) = 3*g(v) - 7*k(v). Does 11 divide n(3)?
True
Let z(g) = g**3 - 6*g**2 + 4*g + 7. Let p be z(5). Suppose -3*u = -l - 9, 2*l + 0*u + p*u - 6 = 0. Is 4 a factor of (-5 + 6)*(9 + l)?
False
Suppose -4*w - n = -307, 4*w + 8*n = 3*n + 319. Is 4 a factor of w?
True
Suppose -2*j - 6 = 0, 0 = 4*u - 3*j + 2*j - 91. Let l = u + -6. Is 11 a factor of l?
False
Suppose -3*y + 4*h = -y + 6, 0 = -4*h + 12. Suppose i - 84 = -y*i. Suppose -2*n + 5*l + i = 0, -5*n - l = -2*l - 87. Is n a multiple of 7?
False
Suppose -7*f = -8*f + 28. Is 28 a factor of f?
True
Suppose 15 = -2*u + 119. Is u a multiple of 15?
False
Suppose -y = 2*x - 60 + 22, y - 3*x = 53. Is y a multiple of 7?
False
Suppose 0 = -g - 0*g + 96. Suppose -5*j + 3*f + 64 + 39 = 0, f - g = -4*j. Is j a multiple of 23?
True
Let k(i) = -i**3 + 10*i**2 - 7*i + 1. Let m be k(8). Let y = -236 + 343. Suppose -5*o + m = -y. Does 18 divide o?
True
Suppose -d + k - 4 = 0, -d + 3*k = k + 8. Suppose -4*q = -3*m - d*m - 13, -2*m = -q + 12. Let o(p) = -4*p. Does 14 divide o(m)?
True
Let v(d) = 2*d**2 - 36*d - 23. Is v(19) a multiple of 14?
False
Let i(l) = 4*l**3 - l**2 - 3*l + 4. Let g be i(3). Let v be g/6 - (-2)/(-3). Does 9 divide (54/v)/(2/5)?
True
Let c(d) = d**3 + 5*d**2 - 2*d - 4. Let m be c(-5). Suppose 0 = y - m. Suppose -y*f + 2*f + 112 = 0. Does 10 divide f?
False
Let p = -7 - -9. Suppose p*h = 3 + 5. Is h a multiple of 2?
True
Let b be -9 - -11 - (-3)/1. Suppose -7 = b*f - 112. Let i = f - 1. Is 15 a factor of i?
False
Suppose -5*k + 2*d - 10 = 0, 2*k - 7*k - 10 = 2*d. Is 10 a factor of (3 + 144)/3 - k?
False
Suppose 7*h - 5 = 2*h, 2*h + 3 = -f. Let x(u) = -3*u**2 - 7*u. Let w be x(f). Is 12 a factor of 6/10 + (-1216)/w?
False
Let a(u) = -u. Let x(g) = 4*g - 4. Let f(r) = -2*a(r) - x(r). Suppose 0 = y + 3*y + 5*o, 0 = 3*y - 4*o + 31. Is f(y) a multiple of 5?
False
Suppose 0 = -t - 5*f - 2, -3*t - 6 = -0*t - 4*f. Let v be (-2 - -4)*(t + 3). Suppose -5*b + 96 = -v*b. Does 12 divide b?
False
Let h(v) be the second derivative of v**4/2 - v**3/6 - 6*v. Does 3 divide h(1)?
False
Let k(t) = t**3 + 3*t**2 + t - 2. Let h be k(-3). Let g = 9 + h. Let z = 42 - g. Is 14 a factor of z?
False
Suppose -3*h + 0 + 21 = 0. Is h a multiple of 2?
False
Let g be 1 + -1*2 + 3. Suppose 63 - 5 = g*j. Is j a multiple of 16?
False
Suppose -4*m + 144 = 2*a, 3*a + m - 302 = -a. Is a a multiple of 38?
True
Let x(z) = -15*z + 9. Is 14 a factor of x(-5)?
True
Let l be (-6)/(((-42)/20)/7). Suppose 85 - l = 4*x - 5*k, -5*k - 85 = -5*x. Is x a multiple of 10?
True
Let s be 280/6 - 1/(-3). Suppose 0 = x - 2*x + s. Is 2 a factor of x/9 + 6/(-27)?
False
Suppose -6 = 4*b + 5*r + 6, b = -2*r - 6. Suppose 0 = b*u - 2 - 6. Is 4 a factor of u?
True
Let a(f) = -f**3 - 4*f**2 + 2*f - 6. Is 9 a factor of a(-6)?
True
Suppose 0 = -2*x + 6, 0 = 5*d + 2*x - 371 + 95. Does 27 divide d?
True
Suppose 4*o - 18 - 26 = 0. Let j = o - 6. Is 2 a factor of j?
False
Let n(z) = -3*z**3 + 7*z**2 - 9*z + 5. Let p(b) = -7*b**3 + 14*b**2 - 18*b + 10. Let c(t) = -5*n(t) + 2*p(t). Does 13 divide c(6)?
True
Let i(j) = 3*j**3 - 6*j**2 - 3*j - 11. Let a(w) = -7*w**3 + 11*w**2 + 7*w + 21. Let y(u) = 2*a(u) + 5*i(u). Does 13 divide y(9)