= p**3 - 20*p**2 - 20*p + 35. Is b(21) a multiple of 14?
True
Suppose c = j + 206, 0*c + 3*j - 407 = -2*c. Does 63 divide c?
False
Let c(m) = -m**3 - 6*m**2 + 2*m + 6. Let w(v) = -v**3 - 11*v**2 + 4*v + 11. Let s(h) = 11*c(h) - 6*w(h). Let f be (4 - 2)*(-1)/1. Is 22 a factor of s(f)?
True
Let j be (-16)/10*(-1 - 4). Let o be 22/j - 1/(-4). Suppose o*i - 16 = 23. Is i a multiple of 13?
True
Let j(h) = -2 + 3*h**2 + h - 2*h**2 + 0*h**2. Let r be j(-3). Suppose 6*d = r*d + 64. Is 16 a factor of d?
True
Let k(l) = 3*l**3 - 6*l**3 + 3*l**2 - 4 - 7*l**2 - l. Does 11 divide k(-3)?
True
Let k(z) be the second derivative of z**5/20 - 2*z**4/3 + 5*z**2/2 + z. Let r be k(8). Let x = r + -2. Does 2 divide x?
False
Let m = -114 - -79. Let v = 2 - m. Does 18 divide v?
False
Let v = -59 - -83. Is v a multiple of 9?
False
Let t(m) = -5*m - 1. Let w be t(-2). Let k = w + -5. Does 4 divide k?
True
Is (1/(-3))/((-4)/120) a multiple of 10?
True
Suppose -z + 2*q = -152, -q + 0*q = 5*z - 815. Does 27 divide z?
True
Suppose -5 = 5*z, -2*j + 0*z + 4*z = -12. Suppose 0 = -2*c - j*a - a + 36, -20 = -4*c + 3*a. Is 4 a factor of c?
True
Let z(k) = -4*k + 1. Let o be z(-5). Suppose o + 15 = 2*y. Is 10 a factor of y?
False
Let u(b) = 0*b - 21*b**2 - b + 28*b**2 + 2. Is 14 a factor of u(2)?
True
Let f(j) = -j**2 + 9*j - 6. Let h be f(6). Let o(y) = 4*y - 2*y + 8 - h. Is o(5) a multiple of 5?
False
Suppose 2*g - 6 = -g. Suppose 2*b + g*d = -2*b + 20, 4*d - 16 = 0. Suppose r - b*r + 18 = 0. Does 5 divide r?
False
Let y be (-2)/4 + 11/2. Suppose -4*k - 16 = 4*q, -2*q + 4*q + y*k + 17 = 0. Does 14 divide 23 + (2*q - -2)?
False
Suppose -c - 4 = 0, -q = 2*q - 4*c - 28. Suppose -116 = -q*r + b, 3*r + 4*b - 68 = -0*b. Does 14 divide r?
True
Suppose 0*y = 2*y - 4. Suppose -y*n = -3*n + 7. Is 7 a factor of n?
True
Suppose 2*g = -2 - 2. Let h(l) = -3*l**3 + 2*l**2 + 1. Let t be h(g). Does 15 divide (t/(-12) - 1)*-8?
True
Suppose 5*r - 267 = 183. Is 9 a factor of r?
True
Let v(l) = -2*l + 14. Let x be v(11). Does 4 divide (-12)/(-15)*(-140)/x?
False
Suppose 72 = -3*c + 117. Does 4 divide c?
False
Suppose 0 = -5*h - 82 + 22. Let t be (-3)/h - 82/8. Let z = 0 - t. Is 3 a factor of z?
False
Let k be 4/12 + 8/3. Suppose -85 = -k*u - 13. Let y = -12 + u. Is 12 a factor of y?
True
Let p be (-10)/(-4) + (-1)/2. Suppose -5*l - p*h - 2*h + 136 = 0, 0 = 4*l - 3*h - 115. Let n = l + -12. Is n a multiple of 8?
True
Suppose 124 + 16 = 4*z + 3*w, 3*z - 5*w = 76. Is z a multiple of 12?
False
Suppose 3*x = a + 3*a - 328, 0 = -2*a - 5*x + 138. Is a a multiple of 36?
False
Let p = -142 - -298. Does 26 divide p?
True
Suppose -3*d + 6*d = -2*q - 4, 5*q + 4*d - 4 = 0. Let h(k) = 2*k - 3. Is 5 a factor of h(q)?
True
Let q = -13 + 18. Suppose 0*s + 4*s - j - 10 = 0, -q*j + 4 = -2*s. Is s even?
False
Suppose 0 = 8*a - 3*a - 30. Does 3 divide a/21 - (-122)/14?
True
Let o(s) = 5*s**2 - 3*s + 6. Let t be o(-4). Suppose m + m - 10 = 0, 108 = -3*q - 3*m. Let d = q + t. Does 19 divide d?
True
Suppose -2*y + 68 + 84 = 0. Let z = 108 - y. Is 25 a factor of z?
False
Let a = 7 - 23. Let x = a + 37. Is 10 a factor of x?
False
Suppose 4*t = -1 + 5. Let w be 6/2*-10 + t. Let s = 52 + w. Is s a multiple of 14?
False
Suppose -k + 4*k = -3. Let t be k - 0 - (-10 - 1). Let w = t - -13. Is w a multiple of 12?
False
Let a(j) = j + 1. Let f be a(0). Let r = 2 + 3. Suppose z - f - r = 4*x, -5*x + 42 = z. Is 11 a factor of z?
True
Let a(h) = h**2 + 5*h - 6. Let u be a(-6). Let y(w) = w**3 + 1 + w**2 + 2*w - 4 + 3*w + u. Does 16 divide y(3)?
True
Let a = 2 - 20. Let x be ((-356)/6)/(4/a). Is 15 a factor of x/6 - (-2)/4?
True
Let t(a) = -a**3 - 7*a**2 - 4*a + 8. Suppose 0 = 2*j + 2*j + 28. Is 18 a factor of t(j)?
True
Suppose -1 = 4*g - 5, -2*z + g - 47 = 0. Let n = z + 41. Is 6 a factor of n?
True
Suppose 0 = 2*y - y - 84. Does 26 divide y?
False
Let s(t) = -4*t + 2 + 7*t**2 + 9*t + t**3 - 6*t. Does 9 divide s(-7)?
True
Suppose -n - 50 = -5*u, -u + 4*n - 2 + 12 = 0. Let h = u - -21. Does 11 divide h?
False
Let m(h) = -15*h - 36. Is 13 a factor of m(-5)?
True
Let q(r) = -r**3 - 3*r**2 - 5*r. Let a be q(-5). Suppose 0 = 5*s + w - 0 - 20, -3*s + 2*w + 25 = 0. Suppose -30 - a = -s*g. Is g a multiple of 9?
False
Let u be (-1 + 2)/((-1)/91). Let x = 57 + u. Is ((-1)/(-1))/((-1)/x) a multiple of 13?
False
Let k(x) = 2*x - 6. Is k(11) a multiple of 10?
False
Let w = 6 + 0. Suppose 0 = w*x - 3*x - 81. Is x a multiple of 9?
True
Suppose -4*y + 0*y - 3*f + 204 = 0, 0 = -2*f - 8. Does 27 divide y?
True
Suppose x - 4*h - 23 = 0, 2*x - h - 37 = 4*h. Is x a multiple of 8?
False
Is (15/(-2))/((-4)/24) a multiple of 15?
True
Suppose 2*p + 3 = -1. Let b be (-2 - 6*-1) + p. Suppose -2*j + b*a + 99 = 3*j, 0 = j - 5*a - 29. Is 10 a factor of j?
False
Let b(z) = -z**3 + 34*z**2 + 39*z + 60. Is 8 a factor of b(35)?
True
Let c(q) = q**3 + 10*q**2 + 9*q + 2. Let w be c(-9). Is 19 a factor of ((12 - -4) + 0)*w?
False
Suppose 4*g + 37 = -43. Let m = g + 62. Is 21 a factor of m?
True
Let c(n) = n**3 - 3*n**2 + 3*n - 1. Let o be c(3). Let a be (-2)/o + (-1062)/(-24). Suppose -5*j = 19 + 6, -a = -3*l - 2*j. Is 10 a factor of l?
False
Let c = -30 + 67. Let v = c - 14. Is 6 a factor of v?
False
Is 6 a factor of 5 - 36/8 - 633/(-6)?
False
Let h(z) = -z**2 + z - 4. Let i be h(0). Let f be (7/i)/((-1)/4). Is f*2 + 0 + -1 a multiple of 13?
True
Suppose k + 6 = -k. Is 2 a factor of -1*(15/1)/k?
False
Suppose -80 = -6*h + 2*h. Is 5 a factor of h?
True
Let o be (-2 + 0)/(8/(-12)). Suppose 0 = -5*i + o*i. Suppose i = n - 9 - 17. Is 12 a factor of n?
False
Let k(l) = -2*l**3 - 2*l**2 + l + 1. Let r be k(-2). Let b = 22 + r. Is b a multiple of 17?
False
Let d be 1/1*-4*14. Let a = 99 + d. Let f = a + -20. Is f a multiple of 21?
False
Let k = 25 - 50. Let g = k + 44. Does 11 divide g?
False
Let m(w) = -w + 7. Let x be m(5). Is 26 + x/(-8)*-4 a multiple of 27?
True
Suppose i - 29 = -5*b - 6, -2*i - 24 = -4*b. Let d(x) = 9*x**2 - b*x + 7 + 2*x**3 + 16*x - x**3. Does 8 divide d(-7)?
False
Suppose x = 6*x. Suppose 4*n - 83 - 2 = -5*t, -2*t - 5*n + 34 = x. Does 8 divide t?
False
Let z = 167 + -101. Let p = -45 + z. Does 9 divide p?
False
Suppose 0*h = h + 3. Let d = h - -8. Is d a multiple of 2?
False
Does 14 divide (-95)/(-3) + 2/6?
False
Suppose 2*p + 260 = -0*p. Is (2/(-2))/(5/p) a multiple of 14?
False
Let j(i) = i + 4. Let x be j(-2). Suppose -3*d = x*b - 15, 0 = 4*d - d + 15. Does 11 divide b?
False
Is 3/6*-4 + 1*116 a multiple of 30?
False
Let v(h) = -h**2 + 7*h + 7. Let g(a) = a**2 - 8*a - 7. Let n(c) = -5*g(c) - 6*v(c). Does 6 divide n(5)?
False
Suppose 4*j - 19 = z - 0*j, -4*z - 4*j + 24 = 0. Let x be z/1 + (-4 - -2). Let y(f) = 39*f**2 + 1. Does 14 divide y(x)?
False
Suppose 4*x - 275 = -4*q + 181, -q + 444 = 4*x. Suppose 0 = -4*l - 2*n + x, -3*l + 70 = -2*n + n. Let p = l - 5. Does 9 divide p?
False
Let o(w) = -w**3 + 25*w**2 + 32. Is o(25) a multiple of 8?
True
Let y(o) = 15*o - 1. Let s be y(1). Let t = -5 + s. Suppose 11 = 5*i - t. Is i a multiple of 4?
True
Let f be 4*(-1 + 0 - -2). Suppose -f*y - 1 = -13. Suppose 4*l = -r + 5 - 0, -y*r + 33 = 3*l. Is 13 a factor of r?
True
Let c(s) = -s**3 - s + 17. Does 16 divide c(0)?
False
Does 6 divide ((-3)/3*-1)/((-2)/(-14))?
False
Let l(v) = -v**3 - 4*v**2 + 3*v - 6. Let s be l(-5). Does 2 divide ((-2)/3)/(s/(-30))?
False
Suppose 16 = 4*m - 0*m. Let r be (-102)/m*(-12)/9. Suppose 4*k - h - 4*h = 44, -3*k + r = -4*h. Is k a multiple of 6?
True
Let g(v) = -v**2 + 17*v + 6. Let c be g(12). Suppose -4*q + 66 = 4*h - c, 2*h + 39 = q. Does 7 divide q?
True
Let q(f) = f**3 - 5*f**2 - f - 3. Suppose -5*y + 28 = w, -3*y + 32 = 2*y - w. Is 9 a factor of q(y)?
True
Let k(m) = 4*m**3 - 3*m**2 - 6*m + 1. Let g(f) = -5*f**3 + 3*f**2 + 7*f - 1. Let n(u) = 3*g(u) + 4*k(u). Is n(4) a multiple of 2?
False
Let s be ((-1)/2)/((-2)/100). Suppose 5*z + p - s = 2, p - 3 = -z. Does 14 divide 129/9 - (-4)/z?
False
Let u(h) = -h**3 - 2*h**2 + 4. Suppose 15 = -4*l - 5. Let r be u(l). Let x = r + -47. Is 16 a factor of x?
True
Let i = 6 - -73. Is i a multiple of 14?
False
Let l be 20/2*3/6. Suppose l + 13 = -2*v. Let x(u) = -4*u - 12. Is 12 a factor of x(v)?
True
Suppose 0 = 4*n + 5*t - 133, -2*t + 139 = 4*n + t. Is n a multiple of 30?
False
Su