?
False
Let y = 572 + -354. Is 3 a factor of y?
False
Suppose 24*w = 10*w + 7644. Is 41 a factor of w?
False
Suppose -3*m - 299 = -4*i + 1690, -i - 5*m + 503 = 0. Suppose -7*v + 1590 = i. Is 13 a factor of v?
True
Let t = -8 + -2. Let o be (-1)/(-5) - 118/t. Is 4 a factor of ((-4)/6)/((-2)/o)?
True
Suppose -p - 4*r - 13 = 0, 4*p - 20*r = -17*r + 43. Let i(u) = -9*u - 15. Let s(t) = 27*t + 44. Let w(f) = 8*i(f) + 3*s(f). Does 15 divide w(p)?
True
Let r be -1*((-4 - -8) + -74). Let k = r + -16. Does 18 divide k?
True
Let i(d) = -d**3 - 5*d**2 - 22*d - 8. Is 20 a factor of i(-6)?
True
Let c = 15 - 1. Let z be (-184)/(-14) + (-2)/c. Is -3*1 + z/1 a multiple of 3?
False
Is 5 a factor of 6*2*6/(-36) + 609?
False
Let u be ((-2)/4)/(21/630). Let i(v) = v**2 + 12*v + 40. Is 5 a factor of i(u)?
True
Suppose -5*k = r - 2*k - 56, 0 = -5*r + 4*k + 280. Let s = r + 124. Is s a multiple of 9?
True
Suppose 0 = 3*p + 5*t - 37, 8*p - 3*t = 4*p + 1. Suppose -7 = -p*b + 3*b - k, -4*b - 17 = -5*k. Suppose -b*i + 7 + 61 = 0. Is 17 a factor of i?
True
Let c(k) = 2*k**2 + 4*k + 5. Let s = -11 + 17. Suppose 0*f + s*f + 30 = 0. Is c(f) a multiple of 20?
False
Let q = 150 + 190. Is 6 a factor of q?
False
Let x(u) = 37*u + 36. Is 43 a factor of x(6)?
True
Let v(o) be the second derivative of 0 - 4*o - 2*o**2 + 1/6*o**3. Is 3 a factor of v(7)?
True
Let o(z) be the first derivative of -z**4/4 + 7*z**3/3 + 5*z**2/2 - z - 25. Suppose -30 = -5*a + 5. Is 16 a factor of o(a)?
False
Suppose 3*g + 3*m - 1800 = 0, 4*m = -2*g + 9 + 1191. Does 6 divide g?
True
Let c = -138 - -93. Let u be (-54)/c*(-5)/(-2). Does 24 divide (270/2)/u + 3?
True
Let n = 506 - 489. Is 14 a factor of n?
False
Does 9 divide -6 + 4 - (-361 + 8)?
True
Let u(v) = v**3 - 23*v**2 + 5*v - 16. Let l(s) = 2*s + 65. Let z be l(-21). Is u(z) a multiple of 9?
True
Let q = 1108 - 779. Is q a multiple of 47?
True
Let l be 2 - (-1 - (-3 - 4)). Let o be -3*l/24*0. Suppose -5*k + o*k + 140 = 0. Is k a multiple of 7?
True
Suppose 33*y - 30*y = 822. Let d = 493 - y. Is 22 a factor of d?
False
Suppose 2*m = u - 0*m - 10, 45 = 4*u - 3*m. Let a = -9 + u. Suppose -a*j + 46 = -20. Is j a multiple of 4?
False
Let r = -168 - -257. Does 31 divide r?
False
Suppose -c + 6*c + 3*n = 1403, 0 = 3*c - 2*n - 838. Let t = -77 + c. Suppose 0 = 4*q - t - 37. Is 15 a factor of q?
True
Suppose 3*c - 407 - 223 = 0. Let p = c - 12. Is p a multiple of 9?
True
Let l(y) = -4*y + 4. Let x be l(3). Let q = 10 + x. Suppose -2*r = 4*b - 64, 5*r + 4 = -b + q. Does 18 divide b?
True
Suppose -5*u + 30 = -3*b + 4, -b - 14 = -3*u. Suppose -x - 557 = -5*o - 5*x, 0 = -u*o + 2*x + 430. Suppose 3*s = -s + c + 442, -s = -c - o. Is 37 a factor of s?
True
Let u(x) = x**3 - 5*x**2 - 17*x + 19. Let f be u(8). Let d = f + -41. Does 34 divide d?
True
Let y = 41 + -36. Let t(q) = -2*q**3 - 5*q**2 + 2*q - 6. Let h be t(-5). Suppose h - 24 = 5*v + y*m, 83 = 5*v + 4*m. Is 5 a factor of v?
True
Let p(t) = -2*t. Let r(s) = 23*s + 4. Let v(h) = 4*p(h) + r(h). Is 13 a factor of v(11)?
True
Let f be 4/22 - 8416/(-176). Is 2 a factor of 1/(-4*(-4)/f)?
False
Suppose -3*d + 34 = -5*a, -3*a = -2*d + 3*d + 12. Suppose -4*w = -5*u + 123, 7*w = d*u + 10*w - 63. Is u a multiple of 23?
True
Suppose 4*v = 2*u - 4216, -4*u + 1242 + 7138 = 5*v. Is 14 a factor of u?
True
Let c = -27 + 30. Suppose 0 = c*t - 33 - 75. Is 13 a factor of t?
False
Suppose 17*b = -13*b + 660. Suppose -4*g = -8*x + 3*x - 10, 3*g + 5*x = 25. Suppose -r - g = -b. Is 17 a factor of r?
True
Let f(x) = 7*x + 2. Let g(b) = b. Let n(m) = -2*f(m) + 6*g(m). Suppose 0 = -150*h + 157*h + 28. Is 9 a factor of n(h)?
False
Let m(j) = 5*j**3 - j**2 - 9*j + 22. Is m(3) a multiple of 121?
True
Let y be (8/(-12))/(2/12*-2). Suppose -5*k = -2*d + 47, y*d - 10 = -3*k - 3. Is 11 a factor of d?
True
Let q = -26 - -36. Suppose -3 = -c + q. Is 2 a factor of c?
False
Let x(k) = 2*k**2 + 7*k + 10. Suppose 0 = w - 2, 3 = -2*b - 3*w + 1. Is x(b) a multiple of 7?
True
Let q be 1*0/(-4 + 0). Suppose y + q*y = 3. Suppose -p - 2*p = y*g - 48, 0 = 3*g + 2*p - 46. Is 7 a factor of g?
True
Let j(z) = z**3 - z**2 - z + 7. Let l be j(0). Suppose 6*y - l*y = -354. Suppose -n = 2*i + 3*n - 126, 3*n + y = 5*i. Is 19 a factor of i?
False
Suppose 285 = 10*v - 205. Is 3 a factor of v?
False
Let p(z) be the second derivative of 5*z**3/6 - 15*z**2 - 11*z. Is 11 a factor of p(10)?
False
Let u = 9 + -7. Let n = 223 + u. Does 45 divide n?
True
Let r be ((-9)/9)/((-2)/6). Let l(u) = 3*u + 7 - r*u + 3*u**2. Is 11 a factor of l(3)?
False
Suppose 1336 = a + 960. Does 8 divide a?
True
Let g(z) = -18*z - 64 - 82 + 176. Is 23 a factor of g(-6)?
True
Let z(x) = 8*x**2 - 17*x + 1. Does 29 divide z(8)?
True
Let c(a) = a**3 - 3*a**2 - 14*a - 5. Let x be c(5). Let r = x - -55. Is r a multiple of 6?
True
Let l(i) = 5*i + 128. Does 32 divide l(0)?
True
Let k be (-745)/(-3) - (-4)/(-12). Suppose 3*s + 5*g = k, 10 = -5*s - 3*g + 450. Is 25 a factor of s?
False
Let m = 65 + -50. Suppose -16*p + m*p + 161 = 0. Is p a multiple of 23?
True
Let i(m) = -9*m**2 - m + 3. Let x(h) = 5*h**2 + h - 1. Let l(d) = -4*i(d) - 7*x(d). Let z be l(4). Is (-6)/((z/8)/1) a multiple of 12?
True
Suppose 91 = -6*m + 13. Let k(n) = -7*n + 14. Is k(m) a multiple of 15?
True
Suppose -35*c + 38*c - 27 = 0. Let j(o) = -3*o**2 - 21*o + 25. Let s(k) = -k**2 - 11*k + 12. Let b(d) = 2*j(d) - 5*s(d). Is b(c) a multiple of 13?
True
Let v(y) = -y**2 - 21*y - 4. Let i(s) = -2*s + 12. Let n be i(9). Is v(n) a multiple of 38?
False
Let r(d) be the second derivative of -d**4/12 - 7*d**3/2 - 25*d**2/2 + 41*d. Is 24 a factor of r(-13)?
False
Let n(o) = 13*o**2 + 23*o - 28. Is n(8) a multiple of 19?
True
Suppose 4*q + 3 = 2*g + 5, 0 = 2*g - q + 11. Let o = -48 + 100. Let t = o - g. Is 14 a factor of t?
False
Let r be -3 + -3 + 8 - 1*2. Suppose r = 5*a + 3*s - 149 - 86, 2*s = 5*a - 260. Is a a multiple of 9?
False
Let m(i) = -i + 4. Let v be m(2). Let b be -1 - -53*4/v. Suppose 0*s - b = -5*s. Is 21 a factor of s?
True
Suppose -h + 5*h = 5*s + 411, -h + 99 = -2*s. Suppose 0 = 5*o - m - 135 - h, -o + 3*m = -60. Is o a multiple of 8?
True
Suppose -4*r - 31 + 23 = 0. Let o be r/6*3 - 3. Let y(j) = 4*j**2 + 7*j + 6. Is 23 a factor of y(o)?
False
Let i be (-2)/(-3) - 28/(-21). Let j(g) = 6*g**3 + g**2 + 3*g - 4. Does 5 divide j(i)?
False
Suppose 3*q + 4*u - 4336 = 0, -3*u - 2*u - 7285 = -5*q. Is 33 a factor of q?
True
Let p = 143 - 28. Let l be -3*35/(-15) - 2. Suppose 4*t + 36 - l = w, 3*w = t + p. Is w a multiple of 13?
True
Suppose j + 3*m = 42, -j - m + 6 = -32. Suppose -4*b - 4*i - j = 0, -4*b + i - 21 = 5. Let h = b + 17. Is h a multiple of 10?
True
Let i(v) = 9*v - 9. Let m(b) = b**2 + b - 6. Let p be m(0). Let o be i(p). Let t = 91 + o. Is 28 a factor of t?
True
Let u = -48 + 121. Does 8 divide u?
False
Let w(s) = -s**3 - 11*s**2 + 13*s + 12. Let l be w(-12). Suppose -2*n = -l*n - 100. Is 19 a factor of n?
False
Let n(d) = d**2 - 24*d + 85. Is 38 a factor of n(29)?
False
Suppose -w + 3*a + 31 = 0, -124 = -4*w - 3*a - 0*a. Let h be (2/3)/((-4)/114). Let i = w + h. Is i a multiple of 12?
True
Let x(d) = 9 - 8 + 15 - d + 5. Let k be x(-14). Suppose -j - 4*j = -k. Is j a multiple of 5?
False
Suppose 0 = s - q - 3*q - 15, 0 = -3*q - 6. Let d(k) = 2*k**2 - 6*k - 3. Does 7 divide d(s)?
False
Let i = -11 - -30. Let k = i + -10. Suppose -3*n = k, 4*n + 30 = -4*g + 150. Is g a multiple of 7?
False
Let q(p) = -67*p + 3. Let k be q(-3). Suppose -4*w = -2*z - 128, 3*z - 2*w = -0*w - k. Is (-8)/(-16) + z/(-4) a multiple of 9?
True
Let o = -38 + -90. Let x = o - -56. Is 4 a factor of (-1212)/x + 2/12?
False
Let a = 0 - -2. Let w be (-5 - (2 - 6))*-109. Suppose w = 3*i - d, 0*i + 3*d = a*i - 75. Is 9 a factor of i?
True
Let l(h) = 7*h - 28. Let k be l(8). Is 5 a factor of (-4)/2*(-350)/k?
True
Let j = -469 + 491. Does 11 divide j?
True
Let q = 2068 + 1000. Suppose -11*m - 2*m = -q. Does 43 divide m?
False
Suppose -47*v - 2550 = -49*v. Is v a multiple of 15?
True
Let y = 1858 - 1243. Is 15 a factor of y?
True
Suppose -24 = -3*b + 3*i, 0 = b + i + 4 - 2. Suppose 1045 = b*v + 2*v. Does 12 divide v?
False
Suppose -4*s - 6 - 2 = 0, 2*a + 5*s - 492 = 0. Does 57 divide a?
False
Let q(d) = -2 + 0 - 3 - 3*d. Let w be 265/212 + 49/(-4). 