 - 6*x + 20. Suppose -x*h + 9 + 3 = 0. Does 8 divide z(h)?
True
Let k(g) = -g**3 + 6*g**2 - 3*g - 3. Is k(5) a multiple of 3?
False
Let k(d) = -11*d - 8. Is 10 a factor of k(-4)?
False
Let p(w) = -15*w**3 - 2*w - 1. Is 8 a factor of p(-1)?
True
Let b(w) = -2*w + 2. Let x(r) = r**3 - 3*r**2 - 2. Let q be x(2). Let s(o) = o**3 + 5*o**2 - 7*o - 9. Let d be s(q). Does 4 divide b(d)?
True
Suppose -4*l = -0*l - 60. Does 3 divide l?
True
Let b = 29 - 20. Let v = b - -33. Is 21 a factor of v?
True
Let l(g) = -4*g + 1. Is 6 a factor of l(-7)?
False
Suppose -r + c - 6*c = -12, -5*r + 4 = -3*c. Suppose 0*g + r*p = g, 0 = -g + 3*p + 4. Let j(w) = -w - 1. Is 4 a factor of j(g)?
False
Let s(w) = 5*w + 7. Let c(p) = p. Let t(h) = -6*c(h) - s(h). Let k be t(-6). Suppose -4*j = 3*g - 129, 5*g + k = 4*j - 46. Is j a multiple of 15?
True
Suppose -456 = -4*i + 3*d, i = -3*d - 0*d + 114. Does 19 divide i?
True
Let f be -1*-1*(-2 - 1). Does 17 divide (68/(-6))/(1/f)?
True
Let r be (4/(-5))/((-2)/20). Let x = 14 - r. Does 3 divide x?
True
Suppose -41*c = -40*c - 210. Is c a multiple of 42?
True
Suppose 4*q = 15 + 193. Is 13 a factor of q?
True
Let l(t) = t. Let q be l(4). Is (-12)/15*(-10)/q a multiple of 2?
True
Suppose -4*w - 3*q + 185 = 0, 6*w + 2*q - 226 = w. Is 11 a factor of w?
True
Let m = 72 + -20. Suppose 3*c + c - m = -3*y, c - 13 = -4*y. Does 13 divide c?
True
Let c(v) = -v**3 - 3*v**2 - 2*v - 7. Let q be c(-6). Suppose -w - w = 5*t - q, 5*t - 15 = 0. Suppose 4*h - 25 = -n, -8*n = -4*n - h - w. Does 5 divide n?
False
Let l be ((-378)/(-30))/(3/10). Suppose 1 = c - l. Does 16 divide c?
False
Let u(b) be the second derivative of b**3 - 2*b**2 + b. Let y(o) = o**3 - o**2 + 5. Let g be y(0). Is 10 a factor of u(g)?
False
Suppose 0 = -3*l - 15, -l - 10 = -3*y + 1. Let t be (0 + -46)*(-1 + y). Is 5 a factor of 2/(-6) - t/3?
True
Let c = -3 - 0. Let b(t) = -12*t. Does 9 divide b(c)?
True
Let d(c) = -7*c**2 + c**3 + c**2 - c**2 + 2 + 6*c. Let p be d(6). Suppose 3*a - p*j - 154 = 0, -4*a + j = -0*j - 212. Is 22 a factor of a?
False
Suppose -4*j + 6*j = 78. Does 11 divide j?
False
Let h(j) = -6*j**2 - 3*j + 6. Let m be h(6). Let i be 2/5 + m/20. Let u = 16 - i. Does 11 divide u?
False
Let a(k) = 16*k + 10. Let s(m) = 33*m + 20. Let t(w) = 11*a(w) - 6*s(w). Let q be t(-7). Suppose -5*d + 4*i + q = 0, 46 = 5*d - 2*i - 96. Is 17 a factor of d?
False
Suppose 4*c - 2*n - 11 = -3, -n + 2 = c. Let q(g) = 3*g - 11. Let a be q(5). Suppose 3*l + 149 = 2*w + 56, a*l = -c*w + 58. Is w a multiple of 12?
False
Let a be (1 + (-34 - -2))*-3. Suppose y + 6 = -2*k + a, -3*k - 5*y + 120 = 0. Does 17 divide k?
False
Let m(c) = -c**3 - 6*c**2 + c + 5. Let n be m(-4). Let z be 59 + -1*(-2 - -4). Let a = z + n. Does 13 divide a?
True
Let t be (2/6)/((-2)/6). Let a = -4 + t. Is ((-28)/10)/(1/a) a multiple of 7?
True
Let w = -455 + 679. Does 14 divide w?
True
Let l(r) = 7*r**3 - 3*r**2 - 3*r + 7. Is 16 a factor of l(3)?
True
Let y = 102 - 25. Is 9 a factor of y?
False
Suppose -2*r - 5 = 3*r - 5*b, -r - 3*b = -19. Suppose -5*s = -2*h + 68, r*s + 12 = 4*h - 124. Is h a multiple of 16?
False
Let i(o) = -o**3 + 10*o**2 + 5*o - 21. Does 15 divide i(9)?
True
Let g(h) = 2*h**3 + 2*h**2 + 5*h + 3. Suppose 4*k = 4*u + 4, 0 = 4*k - 5*u + 1 - 9. Let a be g(k). Does 4 divide (5 - -2)*a/(-28)?
True
Let m(p) = 3*p + 2. Does 5 divide m(11)?
True
Let d(o) = -1 + o**2 - 8*o**2 + o**2. Let v be d(1). Let c(z) = z**2 + 5*z - 3. Is c(v) a multiple of 11?
True
Let k(p) = 3 - 1 + 2*p**3 + p**3 + 2*p - 4*p. Is 11 a factor of k(2)?
True
Let j(w) = -11*w + 2. Let b be j(-4). Suppose -t - 3*s = 2*s - 46, 0 = -t - s + b. Is 20 a factor of t?
False
Suppose -y + 232 = 3*y. Suppose -4*n + 68 = -2*z, y = 4*n + 2*z - 10. Does 6 divide n?
False
Suppose -2 + 0 = 2*a + 3*j, 3*j + 6 = 0. Suppose -a*i + 173 = 5*u - i, 3*u - 3*i = 93. Is u a multiple of 19?
False
Suppose -s - 2*n = 3*n - 33, -2*s + n = -77. Is 5 a factor of s?
False
Let o(c) be the first derivative of -c**2/2 - 3*c - 1. Let r be o(6). Does 7 divide 2/r + (-65)/(-9)?
True
Let c(w) = -w**3 - w**2 - w - 1. Let p be c(-1). Suppose 3 = v - 0, p = -2*z + v + 49. Let s = 56 - z. Is 15 a factor of s?
True
Let r be (3/6)/((-1)/(-6)). Suppose -172 = -r*n - 2*f, 0*n - 191 = -4*n + 5*f. Suppose -p + n = p. Is p a multiple of 9?
True
Let g = -1 + -2. Let x = g - -4. Is 4 a factor of -1*(x - 9 - 2)?
False
Let b(m) = m**3 + 5*m**2 + 2*m - 3. Let k be b(-7). Is (k/(-10))/(2/4) a multiple of 6?
False
Let h = -9 + 9. Suppose h*j + j = 37. Is j a multiple of 9?
False
Suppose b - 5*a = 62, b = 6*b - 4*a - 373. Does 24 divide b?
False
Is 6 a factor of 1/(-3)*(-486)/9?
True
Let f(i) = i + 5. Let o(z) = -1. Let c(q) = f(q) - 2*o(q). Let b be c(-8). Does 5 divide (b - 27)*(-1)/2?
False
Suppose 4*p + 4*k + 2772 = 0, 0 = 2*k + 2*k + 20. Let i be 2/(-3) + p/(-24). Let q = -18 + i. Does 10 divide q?
True
Let o(h) be the first derivative of h**4/4 - h**3/3 + 2*h**2 - 3*h - 1. Let x(q) = q**3 - 4*q**2 + 3*q + 2. Let j be x(3). Is 9 a factor of o(j)?
True
Suppose 0 = 2*i - 1 - 7. Let d(h) = h**3 - 3*h**2 + 4*h - 4. Is 22 a factor of d(i)?
False
Let i = -3 + 10. Suppose 0 = q - i - 9. Does 11 divide q?
False
Suppose 0 = -3*h - 2*o + 127, o - 43 + 2 = -h. Is h a multiple of 5?
True
Suppose 0 = 5*p + 3*i - 25, i + 21 = 2*p - 0*p. Let j = p + 22. Is 10 a factor of j?
True
Let j(m) be the second derivative of m**4/6 + m**3 - 3*m**2 + m. Let c be j(-5). Suppose -d + 23 = -2*p, 2*d - c = -0*p - 4*p. Is d a multiple of 15?
True
Suppose a = -3*j + 2*a + 45, 2*j - 2*a - 26 = 0. Is 16 a factor of j?
True
Let s(p) = -2*p - 9. Let k be s(-7). Let f = -1 + k. Is -44*(-1)/f*2 a multiple of 11?
True
Let f be 20*-1*(-2)/4. Let u be ((-36)/2)/((-5)/5). Let q = u - f. Is q a multiple of 4?
True
Let k(y) = y**2 - 7*y - 10. Is 10 a factor of k(10)?
True
Suppose 0*f - f - 25 = -5*d, -16 = d + 4*f. Let n(v) = v**3 + 5*v**2 - v - 5. Let j be n(-5). Suppose j = u + d*u - 90. Is u a multiple of 10?
False
Is ((-6)/4)/(-3) + (-1590)/(-20) a multiple of 16?
True
Let w be 5/(30/153)*4. Let s = w + -40. Does 19 divide s?
False
Let o(r) = 24*r**2 + r + 1. Does 22 divide o(3)?
True
Let d be 0/(1 + (-2 - -2)). Let o be (-3 - (-2 - d))*7. Let u = 14 + o. Is 4 a factor of u?
False
Suppose -5*u - 15 = 0, 5*n = -0*u + 3*u + 84. Is n a multiple of 3?
True
Let v(r) = -6*r + 2. Does 18 divide v(-6)?
False
Suppose 0 = -5*g + 83 + 7. Does 9 divide g?
True
Let d be (-3 + -1)*(-1 + 0). Suppose 0 = -o + d. Suppose o*n - 34 = -v, -2*v + 3*n = -n - 44. Is v a multiple of 18?
False
Suppose -3*g + 2*g = -40. Does 6 divide g?
False
Suppose 4*s + 2*a = 14, 0 = -s - 4*s - 3*a + 19. Suppose 25 = 3*f - 5*v, 9*f - 2*v = 4*f + 10. Suppose s*j + f*j = d, 2*d + 3*j = 14. Is d a multiple of 2?
True
Let w(z) = -z**3 + 6*z**2 + 4*z + 7. Is 7 a factor of w(6)?
False
Let z = 13 - 4. Let v be 6/z*(-12)/(-1). Suppose 2*q + 5*c = 30, -3*c = 5*q - v*c - 75. Is 8 a factor of q?
False
Suppose 0 = 9*t - 429 - 606. Is 17 a factor of t?
False
Let o(k) = 31*k - 11. Let l be o(5). Suppose 4*u - l = -0*u. Is u a multiple of 18?
True
Let j = -11 + 28. Is 10 a factor of j?
False
Let h = 28 + -16. Is h a multiple of 8?
False
Let t(q) = q**2 - 7*q + 6. Let x be t(6). Suppose -3*d - 2*d + 30 = x. Does 4 divide d?
False
Let u(r) = -r**3 + 9*r**2 - 2*r + 3. Let f be u(8). Suppose f = -o + 4*o. Is o a multiple of 17?
True
Let q be (4/12)/(2/18). Suppose -i = -4*u + 12, -3*u + 5 + q = -i. Is i/(-12) - 166/(-3) a multiple of 25?
False
Let a(h) = h - 9. Let c be a(13). Suppose c*f - 192 = -0*f. Is 16 a factor of f?
True
Let q(x) = 3*x**2 + x. Let d be q(-1). Suppose d*a - 3 - 3 = 0. Suppose a*s - 11 = -v, -5*v + s = -2*s - 73. Does 14 divide v?
True
Let x(s) = 2*s - 6. Let a be x(6). Let r = a + -12. Let i(h) = 2*h**2 + 7*h - 4. Is i(r) a multiple of 14?
False
Suppose 5*a - 2*d = 36, -2*d + d = 3*a - 26. Suppose 6*v - a*v + 128 = 0. Does 18 divide v?
False
Let o be (-6)/(-33) - 106/(-22). Is 8 a factor of 0 + o*(0 - -2)?
False
Let p be (-2)/4*1*-10. Suppose -21 = -p*y + 4. Is 12 a factor of (24/3)/(2/y)?
False
Let w be 2 + (-1 - -1) - -6. Let a be ((-1)/2)/(2/w). Does 8 divide (1 + a)*-2*8?
True
Suppose 3*w + 13 = 193. Is 19 a factor of w?
False
Let n(c) = -c**3 + 8*c**2