p(w) = 3*w**2 - 15*w - 30. Does 6 divide p(10)?
True
Let k = 14 - 19. Let h be 3 - (-3 + 3 + k). Suppose -h*j + 3*j + 65 = 0. Is j a multiple of 11?
False
Let n be ((-174)/8)/((-3)/12). Let y = n + -49. Is 8 a factor of y?
False
Let p(z) = -2*z - 6. Let b be p(9). Let j = 37 + b. Suppose -3*x + 58 = j. Is 5 a factor of x?
True
Suppose -5*t + 90 - 5 = -5*g, -5*g - 3*t = 85. Let b = 1 + 1. Is (-2)/b - (g - 42) a multiple of 29?
True
Let m(s) = -s**2 + 4*s + 15. Let d be m(6). Suppose -4*y - 4*b = -6*y + 450, d*b = 0. Does 43 divide y?
False
Let b(f) = 0*f**2 - 17*f**2 + 3 - 5*f**2. Let v(k) = -21*k**2 + 4. Let n(y) = -3*b(y) + 2*v(y). Does 25 divide n(2)?
False
Let d = 37 - -1880. Is 9 a factor of d?
True
Suppose 0*u - 5*u = -4*d + 35, -4*u = 3*d - 3. Let z = 3 + d. Does 9 divide (-106)/(-4) + (-12)/z?
False
Let w = -10 - -13. Suppose m = -v, -4*v + w*v = -3*m - 20. Suppose -v*o = 3*f - 42, -4*f - 13 = o - 2*o. Is o a multiple of 9?
True
Let i(x) = 6*x**3 + 12*x**2 - 19*x + 4. Is i(4) a multiple of 8?
True
Suppose 0 = 4*d - 8, g - 3*d = 5*g - 950. Is g a multiple of 8?
False
Let d(j) be the third derivative of j**4/24 - 5*j**3/3 + 5*j**2. Let g be d(5). Is 3 - (2 + g - 33) a multiple of 13?
True
Suppose 12*t - 3*t = 99. Does 36 divide (-1)/5 - t/(-5) - -229?
False
Let i be 0/(3 + 1 + -6). Suppose 8*q = -i*q + 680. Is q a multiple of 17?
True
Suppose 4*s - 15 - 7 = -p, 4*s - 14 = 3*p. Let n(q) = 1 - p*q + 2*q - 4*q**2 + 11*q**2. Is 3 a factor of n(1)?
False
Let o(z) = 5*z - 3. Let t be o(1). Suppose -3*u - 5*l = -26, 0 = u - 2*u - 2*l + 10. Suppose u*b - 38 = -4*g + t*g, -4*g - 36 = -4*b. Is b a multiple of 14?
True
Let r(p) = -2*p**2 - 21*p + 11. Let m be r(-11). Suppose -3*k - 2*s - s + 174 = 0, k - 2*s - 55 = m. Does 19 divide k?
True
Let i(l) = -l + 11. Let f be i(14). Let j(x) = x**3 + 4*x**2 + x - 3. Let v be j(f). Suppose -4*s - w - 4*w = -49, 2*s = v*w + 19. Is 3 a factor of s?
False
Suppose 2*z - 1056 = 4*m, 4*z - 9*z - 2*m = -2580. Is 7 a factor of z?
True
Suppose -4*g = 3*t - 3376, -3*g + 7*g - 2*t = 3356. Does 20 divide g?
False
Let o(m) = 5*m**2 - 57*m + 18. Is 6 a factor of o(17)?
False
Let q(b) = b**2 - 15*b - 22. Does 24 divide q(26)?
True
Suppose 3*q + 3*m - 69 = 0, -6*q = -q - 2*m - 80. Let z be 0*(q/(-4) + 4). Suppose 4*u = -1 - 3, -s - 5*u + 116 = z. Does 32 divide s?
False
Suppose 6*o = 5*o - 25. Let b be (-262)/8 - (-4)/(-16). Let p = o - b. Is 3 a factor of p?
False
Let z = -493 + 567. Does 4 divide z?
False
Is (-77)/21*1*-30 a multiple of 10?
True
Let l = 7 - 7. Suppose -c = -l*c. Let b = 2 + c. Is b even?
True
Suppose -552 = -13*g + 7*g. Is (-10 - -10 - (-6)/2) + g a multiple of 19?
True
Let f(o) be the third derivative of 3/8*o**4 + 0*o**3 + 0*o - 3*o**2 + 0. Is f(2) a multiple of 9?
True
Does 33 divide 22/(-8) + 2 - 120432/(-64)?
True
Suppose 4*n + 104 = 4*a + 2*n, -5*n = -a + 35. Suppose 0 = 6*p - a + 1. Suppose -p*o + 2*o = -178. Does 21 divide o?
False
Let v be (-14)/10 + (-16)/(-40). Is 6 a factor of (v - -5)/2 + (-138)/(-3)?
True
Suppose -3*u + 4*n + n + 25 = 0, 0 = -5*n - 10. Suppose -u*c + c + 8 = 0. Is 15 a factor of 3/6*c - -59?
True
Let n = 31 - 27. Suppose 2*k + 3*k + 270 = 2*c, 0 = -c + n*k + 138. Is c a multiple of 13?
True
Suppose 54*j = -35*j + 43877. Is j a multiple of 21?
False
Let q = 95 + -19. Suppose 0*r + 4*d = -4*r + 140, -4*d - q = -2*r. Is 6 a factor of r?
True
Suppose 4*m = -2*n + 772, -10*n + 7*n + 5*m = -1147. Is 32 a factor of n?
True
Let b(o) = o**2 - 9*o - 7. Let t be b(10). Suppose -t*w + 2*k = -10, -w + 2*w - 4*k = 0. Suppose w*m - 25 = -2*h + m, -20 = 4*m. Is 10 a factor of h?
True
Suppose 30*m - 1914 = 27*m. Is 22 a factor of m?
True
Suppose -5*a + 1055 = -700. Is 13 a factor of a?
True
Suppose 5*w - 707 + 97 = 0. Is w a multiple of 80?
False
Is 30942/27 + (-1 - -3 - 0) a multiple of 28?
True
Let l(p) = -3*p + 278. Is 7 a factor of l(45)?
False
Let m = -174 - -258. Let z = 140 + -154. Is (72/m)/((-2)/z) a multiple of 6?
True
Suppose 3*l - 8*o - 57 = -3*o, 0 = 4*o + 12. Suppose 8*w - l = 7*w. Is w a multiple of 8?
False
Is 32 a factor of (-1009)/(-5) - 2 - (-3)/15?
False
Suppose -14*u + 57 + 433 = 0. Is 4 a factor of u?
False
Let j(c) = c**3 + 5*c**2 - 2*c + 20. Is 6 a factor of j(-5)?
True
Does 11 divide 60/70 + (-130544)/(-56)?
True
Suppose -k + 5*k + c = -47, 0 = -5*k - 5*c - 55. Let o = 25 - 6. Let b = k + o. Is 7 a factor of b?
True
Suppose -20*z = -18*z - 204. Let g = z - 6. Is 8 a factor of g?
True
Let u = -42 - -32. Does 9 divide (u/8)/(4/(-176))?
False
Suppose 0 = 5*w + w. Suppose 14*p - 9*p - 25 = w. Suppose 46 = p*k - 3*v - 278, 261 = 4*k - 3*v. Is k a multiple of 14?
False
Let f(l) = l**3 + 13*l**2 + 17*l + 150. Is 43 a factor of f(-8)?
False
Suppose 45*t - 36*t = 11187. Does 83 divide t?
False
Let j = -226 - -111. Suppose -9*l = 650 - 2387. Let i = j + l. Is i a multiple of 39?
True
Is 20 a factor of 105 - (3 - 3/1 - -5)?
True
Suppose -2*r - 11*r = -4199. Is r a multiple of 17?
True
Let q = 4971 + -3337. Is q a multiple of 55?
False
Let n = 411 + -391. Does 4 divide n?
True
Let x be (-356)/(-5) + 92/115. Does 17 divide x/((2 - 4/(-16)) + -2)?
False
Suppose -5*f + 34 = 14. Is 4 a factor of 4 + 0*f/8?
True
Let n be (-9 - -8)/((-498)/(-248) + -2). Let i = n + 174. Is i a multiple of 10?
True
Suppose -5*m + 2*y = -30, -y = -0*m + 2*m - 3. Suppose 3*t - 3*z + m*z = 215, 4*t - 270 = 2*z. Suppose t = 4*g - 2*g. Is 6 a factor of g?
False
Let k(h) = -23*h**3 + 5*h**2 + 6*h. Does 6 divide k(-2)?
True
Suppose -11*o = -7*o, 0 = -2*m - o + 280. Is m a multiple of 10?
True
Suppose -4*m - 412 = -q - 5*m, -5*q + 5*m = -2100. Is 52 a factor of q?
True
Suppose -12*h - 96 = -4*h. Is -5*((-1434)/(-15))/(h/6) a multiple of 16?
False
Suppose -1271 - 2353 = -6*b. Is b a multiple of 7?
False
Let u(l) = 16*l**2 + 26*l + 21. Let v(h) = 3*h**2 + 5*h + 4. Let d(f) = -2*u(f) + 11*v(f). Is d(0) a multiple of 2?
True
Let f be 4/3 + 7/(-21). Does 19 divide (35 - -5) + (-1 - f)?
True
Let c be (-4 + 6)*10/4. Suppose 0*p - 35 = -c*p + 5*z, 5*z = -2*p. Suppose -2*f = -p*t + 474 - 163, -5*t + 5*f = -305. Is t a multiple of 12?
False
Suppose -15 = -2*a - 5. Suppose a*l + 28 = 148. Suppose k + l = 2*k. Is 24 a factor of k?
True
Let l(x) = 272*x + 46. Does 42 divide l(4)?
True
Let b be (17/2)/(3/(-108)). Let f = 436 + b. Is f a multiple of 10?
True
Let z be (1*-1)/((-22)/50402). Suppose -11*q + z = 586. Is 31 a factor of q?
True
Suppose -3*c = -4*c + 18. Let s = c + -22. Is 22 a factor of 45 + (s - 1 - -4)?
True
Let i be ((-177)/(-12))/((-1)/(-4)). Suppose -i = -5*j + 76. Is 3 a factor of j?
True
Suppose 8*s = 14*s - 6282. Suppose -3*r = -s + 282. Does 15 divide r?
True
Suppose 0 = t + 1 - 2. Let f(a) = 32*a + 2. Is f(t) a multiple of 24?
False
Let o(n) = 117*n**2 - 10*n - 4. Does 6 divide o(3)?
False
Let o(z) = -10*z - 36. Let h be o(-18). Suppose 0 = -16*v + 10*v + h. Is v a multiple of 8?
True
Let n(l) be the first derivative of -139*l**2/2 + l - 18. Is n(-1) a multiple of 35?
True
Let a be 1/(57/(-29) - -2). Suppose n = a + 13. Is 4 a factor of n/3 - (-3 - -2)?
False
Suppose -7*q - 4908 = -9*q + 4*i, q - 5*i = 2442. Does 45 divide q?
False
Suppose -106 = 7*u - 106. Suppose u = -5*s - 15, -6*s = -4*o - 2*s + 500. Is 18 a factor of o?
False
Is 4 a factor of -12 - -14 - (-497 + (-2)/2)?
True
Let p(c) = 58*c + 107. Is p(5) a multiple of 14?
False
Suppose 3*s + 3*l = 4401, 4*s - 38*l + 43*l - 5865 = 0. Does 7 divide s?
True
Suppose -234*l + 243*l = 11664. Is l a multiple of 27?
True
Let n(v) = -v**2 - 12*v + 44. Let q be n(-21). Let k = 361 + q. Is 27 a factor of k?
True
Let u(r) = -5*r**2 + 15*r - 26. Let j(f) = 5*f**2 - 14*f + 26. Let p(a) = 7*j(a) + 6*u(a). Does 29 divide p(6)?
False
Let c(a) = a**3 - 4*a**2 + 5*a + 4. Let h(g) = g**3 + g**2 - g + 1. Let b be h(0). Let t = b + 4. Is c(t) a multiple of 18?
True
Suppose 2*t + 3*k = 5*t - 597, -t + 4*k + 202 = 0. Does 26 divide t + (-4)/(-4) + -2?
False
Suppose 2*r - 3*j - 2078 = -279, 3*j + 2700 = 3*r. Does 53 divide r?
True
Let k(d) = 297*d - 40. Is k(3) a multiple of 37?
True
Suppose 3*r - t - 4536 = 0, 8 = 2*t + 14. Is r a multiple of 9?
False
Let t(y) = 31 - 15 + 12 + y**2 + 13*y. Is t(-17) a multiple of 16?
True
Let c(f) = 4*f**3 - 7*f**2 + 2*f - 3. Let 