 4*d. Is 11 a factor of y?
False
Let z be 12/3 - (-10)/(-5). Let f be ((-9)/3 - z)/1. Is 19 a factor of 92 + f - (-6)/2?
False
Let o(p) = -16*p + 5. Let k be o(10). Let z = -45 - k. Is z a multiple of 11?
True
Suppose -2592 = -14*d - 562. Is d a multiple of 19?
False
Suppose 0 = -x - 2*c + 106, -5*x + 17*c + 541 = 16*c. Is 2 a factor of x?
True
Let k be 4 + 138 + 4 + (-3 - -2). Let d = 41 + k. Is d a multiple of 31?
True
Suppose 0 = -53*f + 71*f - 27180. Does 10 divide f?
True
Suppose -5*l - 279 = 2*g - 716, 4*g + 105 = l. Does 15 divide l?
False
Let w(i) be the third derivative of i**6/120 - 2*i**5/15 + 3*i**4/8 - i**3/3 + 2*i**2. Let g be w(6). Does 24 divide 5/(g/(-192)) - 0?
True
Let a(s) = s**3 + 7*s**2 + 5*s - 6. Let v be a(-5). Let t(d) = d**3 + 5*d**2 + 6*d - 6. Let q be t(-5). Let r = v - q. Is r a multiple of 21?
False
Let i = -24 + 30. Suppose 5*g = 4*g + i. Is g a multiple of 6?
True
Let x(f) be the first derivative of 5*f**3/3 - 11*f**2/2 + 14*f + 9. Is x(5) a multiple of 12?
True
Suppose 0 = -x - 2 + 5, j = 4*x - 172. Let c be (j/60)/((-2)/48). Suppose 2*o + 0*y - 3*y - c = 0, 5*o + 2*y = 160. Does 5 divide o?
False
Let z(j) = -13*j - 7. Let m be z(-5). Let d = m + -30. Is 14 a factor of d?
True
Is 5 a factor of (17/4 - -3)/((-11)/(-132))?
False
Suppose -3*x - 570 = -3*m - 8*x, 4*m - 3*x = 789. Is 4 a factor of m?
False
Suppose 2 = -5*i + 12, 5*i + 310 = 2*j. Is 8 a factor of j?
True
Suppose 0 = 4*y - 7 + 3. Does 16 divide (-19*4/(-4))/(y/5)?
False
Let q(a) = -188*a + 102. Is q(-9) a multiple of 13?
True
Suppose 2*j + 4 - 3 = 3*a, -2*a - 5*j = -7. Let q = a + 3. Suppose -q*i = 3*t - 231, -3*i = 2*i - 2*t - 260. Is 15 a factor of i?
False
Let w be (-3)/(-1)*((-68)/6 + 2). Let o(c) = 5*c**2 - 4*c + 1. Let f be o(-3). Let z = f + w. Is 15 a factor of z?
True
Let k(c) = -2 - 2*c + 3*c**2 - 5 + 3*c + 6. Let o be k(1). Is 5 a factor of o - 2/1*-3?
False
Suppose -310 = -6*k + k. Suppose 2*v = 2*w + 40, 0 = 4*v + 5*w - 3*w - k. Does 5 divide v?
False
Let f(i) = -i**3 + 22*i**2 + 2*i + 6. Does 81 divide f(-8)?
False
Suppose -196 = -11*n + 2114. Does 14 divide n?
True
Is 3 a factor of ((0 - -18)/(-9))/(2/(-136))?
False
Let m = -10 + 10. Suppose m*b + 330 = 5*b. Is 3 a factor of b/(-9)*3/(-2)?
False
Let n = 136 - 83. Suppose -b + n = 29. Is b a multiple of 8?
True
Let o = 529 + -413. Is o a multiple of 10?
False
Suppose 2*i + 8 = -5*g - 13, 2*g = -2*i - 12. Let j = 91 + i. Suppose -x = -3*o + 84, 14 = 4*o + 2*x - j. Is 11 a factor of o?
False
Let h(k) = -k**3 + 4*k**2 + 2*k - 8. Let f be h(4). Suppose -2*r + 95 = -0*i - i, f = 3*r + 4*i - 115. Is 17 a factor of r?
False
Let b be (-4)/(-18) + 820/(-45). Let r be (-4)/b - 712/(-36). Suppose 2*h = 3*v - 0*v - r, 3*v - 14 = 5*h. Is 8 a factor of v?
True
Let v be (0 - 9)/(-5 + 4). Suppose -741 = v*n - 1938. Is n a multiple of 19?
True
Let k = 220 + 1553. Does 32 divide k?
False
Suppose 2*i = -i + 12. Suppose a + 1 - i = 0. Suppose a*r = -r + 168. Is 14 a factor of r?
True
Let u(a) = -27*a + 413. Is 27 a factor of u(-42)?
False
Let v = -33 - -43. Does 11 divide (v*2/4)/(14/42)?
False
Suppose 12*v - 17 = 7. Suppose g - v*r = 47, 3*g - r = 2*r + 144. Is g a multiple of 12?
False
Suppose -7*c + 20 = -1. Suppose -2*g - c*z = -32, -z = 3*g - 0*z - 55. Does 2 divide g?
False
Suppose 0 = 3*p - 242 - 310. Suppose 0 = 5*i - p + 74. Is 7 a factor of i?
False
Let m be (-2)/((-12)/915*(-15)/(-18)). Suppose -i = 2*n - m, n - 187 = -6*i + 5*i. Is 46 a factor of i?
False
Let d = 95 - 58. Suppose -2*s + d - 5 = 2*i, 4*i - s - 74 = 0. Does 6 divide i?
True
Let w be (-2)/(-6) + (-804)/36. Let v be 6/4 - 11/w. Let k = 2 + v. Is k a multiple of 4?
True
Suppose -4*x = l - 2 - 4, 2*x = -l + 2. Suppose -20 + 6 = -x*a + 2*s, 0 = 4*a - 3*s - 25. Let c = a - -98. Is 25 a factor of c?
False
Let q = 361 - 171. Is q a multiple of 9?
False
Suppose 20*z - 11*z - 6264 = 0. Does 87 divide z?
True
Suppose 5*l + 75 = -5*h, 0*h = 2*h - l + 39. Let p = h + 20. Suppose 4*f = p*f + 58. Does 8 divide f?
False
Suppose -20*q + 7228 = -7*q. Does 19 divide q?
False
Suppose 5*y + 9*f - 14010 = 11*f, -4*f - 11220 = -4*y. Does 10 divide y?
True
Let b(w) = w - 8. Let k be b(8). Suppose k = -11*m + 3*m + 72. Does 4 divide m?
False
Suppose 0 = -390*z + 402*z - 4272. Is 14 a factor of z?
False
Let f(r) be the second derivative of r**5/20 + r**3/3 - r**2 + 11*r. Is f(4) a multiple of 14?
True
Suppose p - 3*q - 578 = 0, -3*p + 5*q + 466 = -1284. Is 47 a factor of p?
False
Suppose 2*s = -145 + 53. Let l = 20 - s. Does 11 divide l?
True
Let m(x) = x**2 + 2*x - 3. Let l be m(-4). Suppose 3 = -3*d, 0 = -5*b - l*d - 0*d + 230. Suppose -5*i + b = -153. Is i a multiple of 14?
False
Let r(c) = 81*c**2 + 12*c + 23. Does 19 divide r(-2)?
True
Suppose 8*m - 3*m = 0. Suppose -4*h - j + 327 = -m*j, 0 = -h + j + 78. Suppose -4*r + 6*r + 3*d = h, 5 = 5*d. Does 13 divide r?
True
Let u(c) = c**3 + c**2 - c + 1. Let y be u(-2). Let j be (y + 4)*(-2)/(-3). Suppose 56 = -0*h + j*h - 2*m, 74 = 2*h + 4*m. Does 15 divide h?
False
Let q(w) = -w + 13. Suppose 0 = -a - 3*g - 11, -4*a - 2*g + 6 = 0. Suppose -a*y - 18 = -6*y. Is q(y) a multiple of 4?
True
Suppose -q + 1097 = q - 7*t, q - 4*t - 551 = 0. Does 111 divide q?
False
Let r = 305 + -358. Suppose 0 = 4*f - 231 - 85. Let d = r + f. Does 9 divide d?
False
Let v = -5 + 8. Suppose -5*f - 125 = -5*x, -f + 50 = v*x + f. Does 20 divide x?
True
Suppose 0 = -q + 20 + 2. Suppose -2*o - q = -4*o. Let v = 39 - o. Does 14 divide v?
True
Let w = 51 - 45. Suppose -w*l + 41 - 11 = 0. Does 2 divide l?
False
Suppose -11*g + 10152 = 3024. Does 54 divide g?
True
Suppose -4*r = 0, -3*f - 2*r - 12 = -3. Let k(z) = -79*z - 12. Is 25 a factor of k(f)?
True
Let t be (-20)/(-5) + -5 + 4. Suppose -t*p - 31 = -91. Is p a multiple of 3?
False
Suppose -199 - 956 = -5*m. Is 4 a factor of m?
False
Suppose 0 = -0*r - 4*r + 24. Suppose -72 = -r*s + 96. Does 3 divide s?
False
Suppose 19*s - 16*s = -3*t + 753, 4*t = -3*s + 1003. Is t a multiple of 25?
True
Let j(d) = 31*d**2 + 126*d - 7. Is j(-7) a multiple of 15?
True
Let l(u) = 7*u**2 + 9*u - 18. Does 30 divide l(-6)?
True
Suppose -3*d - 4 = -d. Let t be (6/(-7))/(d/(-14)). Is 7 a factor of t/(-48) + (-334)/(-16)?
True
Let u(h) = -10*h + 11. Let m(q) = -11*q + 11. Let x(y) = 4*m(y) - 5*u(y). Does 13 divide x(4)?
True
Suppose -4*z + 228 = 4*f, 0 = 4*f - 1 - 15. Let v be -2 + 11/(-1)*1. Let y = z - v. Is y a multiple of 15?
False
Let d be (-7)/(-7) + 1 + 3. Suppose 3*a - 13 = -2*g + 19, d*g - 4*a - 34 = 0. Is 6 a factor of g?
False
Let j(k) be the second derivative of 4*k + 7/2*k**2 + 0*k**3 + 5/12*k**4 + 0 - 1/20*k**5. Is 25 a factor of j(3)?
True
Let j(i) = -3*i + 7. Let h be j(3). Does 10 divide (3 + h)/((-10)/(-500))?
True
Let z(f) = 4*f - 31. Let g be z(10). Suppose 8*m - g*m + 5 = 0. Suppose -3*u - 2*y = -43, -y + 34 = m*u - 33. Does 3 divide u?
False
Let d = 1786 + -666. Is d a multiple of 21?
False
Let f = 243 + -156. Let o be -1 + 5*(3 - 6). Let s = o + f. Does 32 divide s?
False
Suppose 4 = z + 2. Suppose 95 = z*d - 35. Suppose 3*i - d = 2*i. Does 13 divide i?
True
Let w(g) be the second derivative of 1/3*g**4 + 15/2*g**2 - 13/6*g**3 + 0 + 12*g. Does 25 divide w(6)?
False
Suppose 0 = 8*n - 9*n + 2. Suppose n*z - 2*b - 21 = -3, -34 = -z - 4*b. Is (1 - -17)*z/28 a multiple of 3?
True
Let v be (9/3 + -3)*(0 - 1). Suppose v = 3*w - 6*w, 65 = 5*u - 4*w. Is u a multiple of 5?
False
Let b(z) = 3 - 60*z**3 + 3 - 18*z**2 + 11*z + 61*z**3. Is b(18) a multiple of 51?
True
Suppose 7*n - 6*n = -4, 4*n = -4*f + 472. Is 18 a factor of f?
False
Let o be (-2 + 24/18)*-924. Suppose -v - 2*h - 207 = -2*v, 0 = -3*v + h + o. Is v a multiple of 12?
False
Suppose 2*o - 4606 = -o + 4*r, 5*o - 7642 = -2*r. Does 18 divide o?
True
Suppose 0 = 3*t - 0*t - 2334. Let i = -427 + t. Does 20 divide i/18*8/3?
False
Let r(o) be the first derivative of o**3/3 + 4*o**2 - 21*o - 31. Is 9 a factor of r(4)?
True
Let n(d) = -28*d - 13. Let t be n(-2). Let r = t + 6. Does 29 divide r?
False
Suppose 4898 + 14277 = 13*i. Is 25 a factor of i?
True
Suppose -6*g + 279 + 663 = 0. Is 16 a factor of g?
False
Suppose 27*l = 11797 + 14096. Does 36 divide l?
False
Let p(r) be the second derivative of r**5/20 - r**3 + 5*r**2/2 - r. Let w(d) 