 a factor of p?
False
Let b(i) = 0*i - 4*i + 3*i**3 + 0*i**2 + 4*i**2 - 2*i**3 + 9. Let m be b(-5). Is 8 a factor of ((-2)/(-6))/(m/276)?
False
Suppose 3*b = 4*h + 29, 5*b - 2*h - 25 = -0*b. Let m(o) = o**3 + 2*o**2 + 3*o + 3. Does 19 divide m(b)?
True
Suppose -5*w - 2*b + 206 = 0, -5*w + 10*w - 204 = -3*b. Does 14 divide w?
True
Let c(j) = -j**3 - 1. Let p(y) = 3*y**3 + 4*y**2 - 2*y - 9. Let u(m) = -2*c(m) - p(m). Is u(-7) a multiple of 23?
False
Let z(g) = -g**2 - 10*g + 4. Let w = -57 + 82. Suppose -m + 7 = -4*a - 0, -2*m - w = 5*a. Is 13 a factor of z(m)?
False
Let z = 36 - 29. Suppose z*u - 84 = 10*u. Let h = 44 + u. Is h a multiple of 9?
False
Let s = -220 + 508. Suppose 0 = -2*u + 5*i - 250, s = -2*u + i + 46. Let f = -83 - u. Is f a multiple of 9?
False
Let u(f) = -f**3 - 3*f**2 + 2*f + 3. Let p be u(-3). Is 8/p - -2 - 484/(-33) a multiple of 9?
False
Let l(j) = -j**3 - j. Let g = -8 - -6. Let i be l(g). Is 8 a factor of i + (3 - (3 + -1))?
False
Let y(n) = n**2 + 6*n + 2. Let c be (0 + 6/(-4))*6. Let j(r) = 2*r + 11. Let z be j(c). Is y(z) a multiple of 3?
True
Suppose -146*d + 141*d + 250 = 0. Does 5 divide d?
True
Suppose 46 = -3*x + x - 4*q, -3*q = -4*x - 37. Let n = -4 - x. Is n even?
False
Suppose 18 + 10 = -4*y. Let j(m) = m**3 + 8*m**2 + 8*m + 1. Let g be j(y). Does 16 divide ((-288)/10)/(g/20)?
True
Let q be 5*(-3 + 0/(-3)). Let j(y) = y**2 + 13*y + 20. Let f be j(q). Suppose 2*s - f = s. Does 11 divide s?
False
Suppose 8 = r - 34. Let w = -24 + r. Is 13 a factor of -2 - w*(-3)/1?
True
Let r be (-16)/(-40) - (-32)/(-5). Let q = 26 + r. Is q a multiple of 20?
True
Let g = -8 - -271. Is g a multiple of 36?
False
Let w(a) = -7*a - 35. Let b be w(-4). Is (-151)/b + (186/42 - 5) a multiple of 8?
False
Let s = 17 - 13. Suppose 0*a - 72 = -3*a + 3*x, -3*x + 75 = s*a. Suppose -a*f - 80 = -23*f. Is f a multiple of 30?
False
Let t(j) = -27*j - 154. Does 40 divide t(-22)?
True
Suppose 9*n = 5961 + 87. Is 23 a factor of n?
False
Is (-11120)/(-14) + 50/70 a multiple of 39?
False
Suppose 4*s + 2*t = -598, 580 = s - 5*s + 4*t. Let x = 248 + s. Is 50 a factor of x?
True
Let x(s) = 2*s**2 - 77*s - 46. Is 8 a factor of x(42)?
True
Suppose 10 - 22 = -3*i. Suppose 6*g + 10 = g, 0 = -m + i*g + 11. Does 21 divide (-41 + -5)/((-2)/m)?
False
Suppose s = 5*g + 51, -5*s = g + 3*g - 139. Suppose -3*y = 5*z + s, -2*y = y + 6. Let l = z + 13. Is l even?
True
Let z be 537/(-4) - -1*(-4)/(-16). Let l = -81 - z. Is 26 a factor of l?
False
Let s be (-2)/3 - (-572)/(-33). Is 4 a factor of 3/(s/(-16))*12?
True
Let l(y) be the second derivative of -y + 1/6*y**3 + 0 - 1/12*y**4 + 6*y**2 - 1/20*y**5. Is l(0) a multiple of 5?
False
Let d(o) = -7 - 2*o**2 + 7 - 10*o**3 + 1 + 3*o + 16*o**3. Does 11 divide d(2)?
False
Let v be (-6050)/75 - 1/3. Let o = 147 + v. Is 11 a factor of o?
True
Suppose 5*l + 3*s = 332, s + 2*s = -2*l + 140. Let c = l + -51. Does 7 divide c?
False
Suppose -3*j = 5*g - 8*j - 15, -3*j = 4*g - 12. Suppose 0 = 3*f + w - 47 - 259, -g*w + 9 = 0. Does 32 divide f?
False
Suppose -25*q + 2836 + 414 = 0. Is q a multiple of 13?
True
Let p(a) = -a**3 - 24*a**2 - 26*a + 34. Let d(v) = 5*v**3 + 97*v**2 + 105*v - 136. Let q(z) = 2*d(z) + 9*p(z). Does 2 divide q(23)?
False
Let j = 1389 - 258. Is j a multiple of 10?
False
Let n = -217 + 392. Let i = 55 - n. Let l = -78 - i. Is 14 a factor of l?
True
Suppose -4*g - 8 = 4. Let p = -3 + 4. Is 27 a factor of p - 0 - (g + -93)?
False
Let n = 1003 + -1623. Let z = -440 - n. Does 20 divide z?
True
Suppose 490421 - 90383 = 122*a. Is 26 a factor of a?
False
Let z = -25 - -26. Let f be (z + 3 - 0) + -10. Is 17 a factor of 215*(36/(-15))/f?
False
Let r = -83 + 87. Suppose r*h + h - 450 = w, -4*w + 475 = 5*h. Is h a multiple of 6?
False
Let g be ((-12)/2)/3 - -5. Let o(x) = x**3 - 4*x**2 + 5*x - 2. Let a be o(g). Suppose 23 = a*m - 9. Does 7 divide m?
False
Let m(v) = v**3 - 2*v**2 - 6*v + 2. Let d be m(4). Let k = -82 + d. Let x = -42 - k. Does 15 divide x?
True
Let m(u) = -2*u - 1 - 7 + 0 - 2. Let y be m(-7). Suppose y = -4*j + 84. Is j a multiple of 6?
False
Suppose 4*n + m + 104 = 0, 2*n - m + 52 = -3*m. Let f = n - -16. Does 15 divide (f/(-3))/(2/33)?
False
Let b(g) = -g**3 - 21*g**2 - 57*g - 26. Does 67 divide b(-19)?
True
Suppose -5408 = -4*d - 4*s, -21*d - s + 4064 = -18*d. Does 50 divide d?
False
Let q = -260 + 478. Does 12 divide q?
False
Let z(x) = 8*x - 6. Suppose s + 4*s - 15 = 0. Let r be 10/(-6)*s*-1. Is z(r) a multiple of 10?
False
Let w = 12 - 13. Let m(r) = -2*r - 2. Let k be m(w). Suppose n - 9 - 7 = k. Is n a multiple of 14?
False
Suppose -2*s + 3*s + 2*l = 30, -4*l = s - 34. Let x(g) = g**3 + 5*g**2 + 2*g - 1. Let j be x(-3). Let f = s - j. Is f a multiple of 5?
True
Let d be 0/(-2) + -19 + 18. Does 24 divide 144*d*(-2 + 4/3)?
True
Let s be (0 - 24)/((36/16)/3). Let o = s - -116. Is o a multiple of 42?
True
Let u = -53 + 59. Suppose -3*a + u*a = 450. Does 15 divide a?
True
Let c = -14 - -9. Is (5/c)/(1/(-28)) a multiple of 7?
True
Suppose 4*q + 9 = -4*c + 3*q, -2*q = -2*c + 8. Let k(t) = -80*t**3 + t**2 - t - 1. Is k(c) a multiple of 15?
False
Suppose 4*k + 0*z = -z + 16, 4*z = -2*k + 22. Does 16 divide k/6*6 - -46?
False
Is 13 a factor of (1 + (-3189)/(-4))/((-12)/(-48))?
False
Let m = -40 + 38. Let p(y) = -14*y**2 - y - 1. Let r be p(-1). Is (r/m)/1 + 3 a multiple of 2?
True
Let n be ((-10)/(-6))/((-10)/(-30)). Suppose -n*o = o + 6. Is o - (-132)/4 - 2 a multiple of 15?
True
Let z(n) = 7*n - 4. Let q(l) = 6*l - 4. Suppose -2*m = 3*m - 20. Let g(w) = m*z(w) - 5*q(w). Does 4 divide g(-6)?
True
Suppose 0 = 5*i + 5*t - 1925, 4*i - 8*i + 2*t = -1534. Is 26 a factor of i?
False
Suppose -r - 25*j + 29*j + 335 = 0, r = 5*j + 339. Does 23 divide r?
False
Let m be 3*(-2)/(-6) - -853. Suppose -29 + m = 5*u. Is u a multiple of 15?
True
Let q(d) = -38*d**2 + 2*d + 5. Let f(v) = 39*v**2 - v - 6. Let o(g) = -3*f(g) - 4*q(g). Is 25 a factor of o(-2)?
False
Suppose 3*h = 454 + 2030. Does 18 divide h?
True
Let j = 409 + -132. Let b = 566 - j. Is b a multiple of 33?
False
Let q(u) = u**2 + 23*u - 70. Is 27 a factor of q(-36)?
False
Suppose 0*o - 8 = -2*o. Suppose 0 = 4*b - o*s + 119 + 25, 0 = 5*b + 5*s + 200. Let r = b - -59. Is 7 a factor of r?
True
Let v(r) = 107*r - 75. Is v(6) a multiple of 12?
False
Suppose -5*j + 16 = -r + 3*r, 4*j - 8 = 0. Suppose -2*i + 2 = -b - 0*b, -2 = -r*i + 2*b. Is 17 a factor of (92/8 - 3)*i?
True
Let h = 36 - 56. Let c(s) = -s**3 - 7*s**2 - 5*s - 6. Let o be c(-6). Let f = o - h. Does 4 divide f?
True
Let s = -329 + 198. Let a = -53 - s. Let k = 162 - a. Is k a multiple of 12?
True
Suppose 0 = -5*y + 47*y - 21336. Is y a multiple of 74?
False
Let v = -57 - -57. Suppose v*m = 6*m - 336. Is m a multiple of 14?
True
Let y = 5 - 8. Let r be 2420/30 - (-2)/y. Suppose 0 = k + 3, -36 = -2*z + 4*k + r. Is z a multiple of 13?
True
Suppose 16 + 8 = 4*m. Suppose j - 2*d + m*d - 39 = 0, j + 2*d = 33. Does 18 divide j?
False
Suppose 3*q - 4*q = -4*v + 340, -5*v = 5*q - 450. Suppose -18*w + v = -16*w. Let u = 83 - w. Is 20 a factor of u?
True
Suppose 20 = -5*y, -3*v - 3*y = -0*v - 414. Does 6 divide v?
False
Let x = 1741 + -1673. Is x a multiple of 2?
True
Let p(t) = 16*t - 1. Let m be p(-2). Let h be (-2)/(0 - (-6)/m). Let x = h + 4. Is 5 a factor of x?
True
Let p(b) = 4*b - 3. Let j be 2/7 - (-33)/7. Suppose j*d + i = 2*d + 16, 4*d - 4*i = 0. Is 7 a factor of p(d)?
False
Let s be 28/10 - (-17)/85. Suppose y - 36 = -m, s*y - 3*m - 1 = 83. Is y a multiple of 8?
True
Suppose 39*p + 25704 = 66*p. Is p a multiple of 35?
False
Let g be 18/4 + (30/(-12) - -2). Does 38 divide (-3 + 41)*24/g?
True
Let c(m) be the third derivative of m**6/120 - m**5/60 + 107*m**3/6 + 3*m**2. Is c(0) a multiple of 14?
False
Suppose 0 = 4*y - 3*y - 7. Let j(b) = -5*b**2 + 10*b + 20. Let n(k) = 4*k**2 - 9*k - 19. Let x(w) = 2*j(w) + 3*n(w). Does 16 divide x(y)?
True
Suppose 5*c - 169 = -o, 2*c - 748 = -2*o - 2*o. Is o a multiple of 63?
True
Let b(c) = c**2 - 17*c + 33. Let y be b(15). Does 42 divide (3/6)/(2/(171 - y))?
True
Let j(c) = c**2 + 5*c + 4. Let h be j(-4). Suppose -4*x + 3*x + 5 = h, 2*q - 2*x - 174 = 0. Is q a multiple of 23?
True
Suppose -2*d + 714 - 112 = 0. Is d a multiple of 43?
True
Let i(l) = l**2 + 11*l 