14 = -2*p. Let c(y) = 2*y**2 - 5*y - 3. Let l be c(p). Suppose l*z = z - 20. Does 20 divide z?
True
Let o = -73 - -52. Let y = -10 - o. Does 5 divide y?
False
Let b(n) = -n**3 - 3*n**2 + 3*n + 1. Let f be b(-4). Suppose -f*m + 133 + 32 = 0. Let q = m - 24. Does 9 divide q?
True
Let t = -26 + -55. Let d = t - -173. Is 23 a factor of d?
True
Suppose 18 = 2*a + o - 3*o, 2*o = a - 11. Suppose -4*b + a*b = 18. Does 6 divide b?
True
Suppose 2*k = -q + 823, 6*q - 4*q = -5*k + 2060. Does 18 divide k?
True
Let v = -27 - -31. Suppose -v*s + 13*s - 693 = 0. Is s a multiple of 17?
False
Let f(h) = 3*h**2 - 4*h - 56. Is f(-6) a multiple of 19?
True
Let l be (0 - 15/6)*4/(-5). Suppose -2*u = -5*u - 3, 0 = l*o - 3*u - 129. Is 8 a factor of o?
False
Let h(r) = -r**3 - 5*r**2 + 5*r + 8. Let v be h(-6). Let f be 150/(-14) - 4/v. Let d = f + 63. Is 13 a factor of d?
True
Suppose 1177 - 137 = o. Is o a multiple of 10?
True
Suppose 3*r + 6 = 4*r. Is 4 a factor of 0 + 15 - (-3)/((-9)/r)?
False
Let f be 2/(-6) - 539/(-33). Suppose -f*i = -18*i. Suppose i = -6*o + o + 25. Does 2 divide o?
False
Let j(t) = -t**2 - 5*t + 223. Does 12 divide j(0)?
False
Let u = -39 - -41. Suppose 9*l - 770 = u*l. Is l a multiple of 46?
False
Let u(f) = -61*f + 228. Is 9 a factor of u(-24)?
True
Suppose 92*c - 99*c = -11396. Is 44 a factor of c?
True
Let n be 1/(-5) + 8/(-10). Is 58/(-2 + n + 5) a multiple of 10?
False
Let u = 159 - 78. Suppose 4*n - 241 = -u. Is 11 a factor of n?
False
Let s be (6 + -1)*78/(-15). Does 19 divide 7 + -4 - (3 + s)?
False
Let d(r) = 3*r**2 + 24*r - 27. Let c be d(-22). Let i = -625 + c. Is 26 a factor of i?
False
Is (7/112*8)/(2/1368) even?
True
Let z(x) = x - 2. Let v be z(6). Let p be v - (2 + -5 - 21). Suppose -2*t + 124 = p. Is t a multiple of 24?
True
Suppose -360 = -4*g - g + 5*q, 5*g = -4*q + 351. Suppose -3*p = 5*d - g, p + 3*d + 33 = 2*p. Is p a multiple of 8?
False
Suppose 3*p - 241 = 173. Does 3 divide p?
True
Is (-24)/((-38)/133*(-7)/(-4)) a multiple of 8?
True
Suppose -2908 + 8158 = 5*a. Is 7 a factor of a?
True
Let n = 2421 + -1305. Is 93 a factor of n?
True
Suppose 8*o - 5 + 37 = 0. Is 14 a factor of (3 - (-4 - o)) + 11?
True
Suppose 6*x - 1028 - 1018 = 0. Is 47 a factor of x?
False
Suppose -6*c = 174 - 624. Let t = c - 27. Does 8 divide t?
True
Let d(u) = 5*u**2 - 5*u + 4. Does 13 divide d(5)?
True
Let c(i) = i**3 + i + i**2 + i**2 + 2 - 9*i**2 - 5. Let k be c(7). Suppose 2 = -l + x + 6, 7 = k*l + 5*x. Is 2 a factor of l?
False
Suppose 8*p - 13*p = -25. Suppose 3*f = p*i - 3*i + 40, -2*f = 5*i - 52. Is f even?
True
Let r(p) be the second derivative of -18*p**3 + 2*p**2 + 22*p. Is 16 a factor of r(-1)?
True
Let g(y) = -3*y + 12. Let m be g(6). Does 20 divide (1/(-3))/(m/3186)?
False
Let h(u) be the second derivative of 3*u**4/4 - u**3/6 - u**2/2 - 3*u. Suppose -2*z - 1 = 3. Does 15 divide h(z)?
False
Let c(n) be the third derivative of -7/24*n**4 - 3/2*n**3 + 4*n**2 + 1/60*n**5 + 0 + 0*n. Is 2 a factor of c(9)?
False
Let s(w) = 8*w**2 - 9*w + 6. Let f be s(-10). Is 15 a factor of 4/10 - f/(-10)?
True
Let d(u) = 10*u**2 - 19*u + 49. Is 8 a factor of d(14)?
False
Let q = 13480 - 7980. Does 11 divide q?
True
Let z = -43 + 12. Let q = -14 - z. Does 10 divide q?
False
Let h = 7 + 1. Suppose -4*m + m + 13 = 2*k, 4*k = -4*m + 20. Is (-1)/(20/h - m) even?
True
Does 15 divide (-366)/(-8) - 36/48?
True
Suppose -8*q + 164 = 4*g - 6*q, 2*g = 4*q + 92. Does 2 divide g?
True
Let y(x) = -58*x**2 - 10*x - 9. Let g(w) = 174*w**2 + 30*w + 27. Let s(n) = 6*g(n) + 17*y(n). Is 3 a factor of s(-1)?
True
Let d be ((-7)/6)/(1/(-6)). Suppose 4*u = d*u - 96. Does 8 divide u?
True
Let d = -30 + 33. Suppose 0 = -4*a - 2*s + 132, a - 4*s = d*a - 60. Is 3 a factor of a?
False
Let t(o) = -o**3 + 8*o**2 + o - 9. Let c be t(8). Is 6 a factor of (c - (-9)/(-3)) + 16?
True
Let w(o) = o - 1. Let h be w(3). Suppose 0*y - h*y = -14. Suppose 0 = -z + 2*z - y. Is z a multiple of 4?
False
Suppose h + k - 468 = -4*k, -h = 4*k - 466. Is h a multiple of 21?
False
Suppose 4*v = -o - 25, -7*o + 2*v - 191 = -2*o. Let w = -7 - o. Is w a multiple of 23?
False
Let p(n) be the second derivative of n**5/10 + n**4/2 - 2*n**3/3 + n**2/2 - 2*n + 7. Is p(5) a multiple of 15?
False
Is 45 - (1 - -15) - (0 - -5) even?
True
Let d = -49 - -73. Does 12 divide (-10)/(1 - 28/d)?
True
Is 7 a factor of 406/(((-6)/45)/(1/(-3)))?
True
Let a(q) = q + 9. Let l be a(-4). Suppose -2*m + 57 = 3*t + m, l*m + 7 = t. Is t a multiple of 3?
False
Let n(l) = 43*l - 399. Does 17 divide n(19)?
False
Let h = 2266 - -1405. Does 40 divide h?
False
Suppose 25*c - 23*c - 64 = 0. Does 2 divide c?
True
Let y(s) = -s**3 + 5*s + 2. Let p(g) = g**3 + 9*g**2 - g - 9. Let b be p(-9). Suppose b = d - 3*d - 4*r + 6, -4*r = 3*d - 3. Is y(d) a multiple of 4?
False
Is 8 a factor of 92070/143 + 33/(-39) + 1?
False
Let m = 147 + -117. Does 12 divide m?
False
Let y = 215 + -78. Suppose -2*l = -l - 69. Let t = y - l. Does 27 divide t?
False
Let s(r) = r**2 + r + 54. Does 12 divide s(-13)?
False
Let k = 14 + 36. Suppose 78*j - 2641 - 479 = 0. Let d = j + k. Is 30 a factor of d?
True
Let w(l) = 85*l**2 + 7*l + 22. Is w(-5) a multiple of 11?
True
Let u(r) = 7*r**2 + 39*r + 36. Is u(-15) a multiple of 18?
True
Let t be (4/(-8))/(2/28). Let l be 3*t*4/(-12). Is 7 a factor of ((-1)/1)/(l/(-147))?
True
Suppose 5*t - 22 = -4*p - 0, -2*p - 2 = -4*t. Suppose -5*m + 60 = t*c, 0 = -5*m + 2*c + 20 + 20. Is m a multiple of 10?
True
Let o(f) = 134*f**2 - 131*f**2 - 13*f - 4*f - 20. Is o(11) a multiple of 12?
True
Let i(a) = 5*a**2 + 32*a + 39. Does 11 divide i(-8)?
False
Let i be -5*(-1 - 44/10). Suppose i*f - 31*f = 132. Let p = f + 55. Is 11 a factor of p?
True
Suppose 1280 = 5*i - 5*d, -508 = -2*i - 4*d + 7*d. Does 6 divide i?
False
Let p be ((-32)/3)/(-4) - (-8)/24. Suppose 194 = 2*g - 4*i + 56, 0 = -p*g - i + 228. Is 15 a factor of g?
True
Let q(r) = -r**3 - 2*r**2 - 12*r + 5. Does 15 divide q(-6)?
False
Let z(g) = 2*g**2 + 5*g + 195. Is z(0) a multiple of 39?
True
Let m be 12/(-78) - 41/(-13). Suppose -3*p = -m*w - 99, -w - 129 = -4*p - 0*w. Is 9 a factor of p?
False
Suppose 806*g + 1454 = 807*g. Is g a multiple of 29?
False
Suppose 5*l + 298 = 2*q, -5*l - 5*q + 36 = 341. Let d = -46 - l. Is 3 a factor of d?
False
Let i(n) = -n**3 - 4*n**2 + 5*n + 1. Let f be i(-4). Let j(m) = -4*m + 5. Is j(f) a multiple of 20?
False
Suppose 707 = 3*h - 25*x + 23*x, 0 = 2*h + 5*x - 503. Does 4 divide h?
False
Let i(l) = 4*l**2 + 3*l - 5. Let y = -130 - -126. Is i(y) a multiple of 9?
False
Suppose -4*h + 8 = 0, -k = -2*k - 4*h + 11. Suppose 10 = -k*u + 4*u. Let z(c) = 2*c - 8. Does 12 divide z(u)?
True
Suppose -3*c = -2*k - 3*k - 232, 4*c + 5*k = 286. Let q = c - -19. Is 10 a factor of q?
False
Let f = 9 - -546. Is 46 a factor of f?
False
Suppose -3*v - 8 = -4*k + 131, 5*k - 3*v - 176 = 0. Let q = k + -5. Is q a multiple of 4?
True
Suppose 368*y = 373*y - 415. Is 4 a factor of y?
False
Suppose 7*g - 199 - 417 = 0. Let h = 169 - g. Is h a multiple of 17?
False
Suppose -3*v = 4 - 1. Let x be -4 + 222/42 + (-4)/14. Is (x - -1) + (12 - v) a multiple of 15?
True
Suppose 0 = -k - k. Suppose 7*h - 3*h - 640 = k. Is 10 a factor of h?
True
Suppose -5*s + 5*w = -2035, 7*w = 3*s + 2*w - 1221. Is 11 a factor of s?
True
Suppose -k + 1444 = -7*g + 10*g, 0 = -2*g - 5*k + 980. Is g a multiple of 24?
True
Suppose 85 = -4*r - 55. Let j be (-150)/r - 2/7. Suppose -l - j*l + 50 = 0. Is 10 a factor of l?
True
Let p(x) = -6*x - 27. Let r be p(-5). Suppose -r*t - 5 = -2*i + 7, -5*i + 51 = 3*t. Does 3 divide i?
True
Let c(n) = 129*n**2 - n - 1. Let y be c(-1). Let k = y + -2. Is k a multiple of 18?
False
Let x = -164 - -164. Let a = -1 - -3. Let l = a + x. Is l even?
True
Is 38 a factor of 150/60 + (-909)/(-6) + -2?
True
Suppose -993 = -23*p + 2917. Is p a multiple of 85?
True
Let l(y) = -y**3 - 10*y**2 - 20*y - 7. Let j be l(-8). Let r = 67 + j. Is r a multiple of 20?
False
Let s(y) = 68*y - 8. Let q be s(3). Let v = q - 139. Is v a multiple of 6?
False
Suppose -33 = -p + 188. Does 41 divide p?
False
Let i = 1041 + 1339. Is i a multiple of 119?
True
Suppose -2230 - 5606 = -4*a + 4*i, 9763 = 5*a + 3*i. Is 17 a factor of a?
True
Suppose -15 = -3*l - 5*v, -l + 0*v - v = -3. Suppose -m - 8