Is 4 a factor of p?
False
Let f = 40 - -75. Is 13 a factor of f?
False
Let s(c) = 5*c**3 - 29*c**2 + 15*c - 24. Let r(m) = -14*m**3 + 85*m**2 - 46*m + 71. Let k(h) = 4*r(h) + 11*s(h). Let i = -45 - -65. Is k(i) a multiple of 10?
True
Suppose 831*n - 837*n = -3132. Does 16 divide n?
False
Let j be (-36 - 16)*2/(-4). Let f be 8/(-44) + j/22. Suppose y + f = 42. Is y a multiple of 22?
False
Does 34 divide (-1 - -2)/(3/1392)?
False
Is 7 a factor of 135*(2/(-8))/((-22)/88)?
False
Suppose 0 = -5*a + 3*a - 5*q + 323, 5*q + 522 = 3*a. Does 8 divide a/5 - 4/5?
False
Let m = -42 + 118. Does 11 divide m?
False
Let v = -1340 - -2336. Suppose -5*k - v = -3*q, -q = 4*k - 2*k - 332. Is 22 a factor of q?
False
Suppose 2*l - 4*l + 160 = 0. Suppose l = -d + 6*d. Suppose -r + 5*f = -d, 2 = f + 4. Does 6 divide r?
True
Let l be (-4)/(-18) + 184/(-18). Is 12 a factor of -6*25/l + -3?
True
Suppose 5*o - 4 = 4*o. Suppose 4*y - 301 = -y + 3*l, -y - o*l = -51. Is y a multiple of 23?
False
Let j = 541 + -381. Is (((-16)/(-10))/(-4))/((-4)/j) a multiple of 4?
True
Let h = 863 + -467. Does 18 divide h?
True
Let u(t) = 63*t**2 - 7*t + 4. Does 3 divide u(1)?
True
Suppose 4*t = 5*t + 12. Let r = t + 17. Suppose 3*i + 4*q = 21, r*q + 52 = 5*i + 17. Is i even?
False
Suppose -2*a = 3*a - 20, 186 = -2*t + 5*a. Let s = -39 - t. Is 19 a factor of s?
False
Let y(w) be the third derivative of 1/2*w**3 - 1/6*w**4 + 0 + 4*w**2 + 0*w - 1/120*w**6 + 1/12*w**5. Does 3 divide y(4)?
True
Let z(c) = -84*c + 58. Does 50 divide z(-13)?
True
Let b = -12 - -17. Suppose 18 = u - b*o - 8, 4*o = 3*u - 45. Suppose -y - 3 = -u. Is 3 a factor of y?
False
Is 51 a factor of ((-7395)/116)/(3/(-36))?
True
Is 100/(-40) + (-1718)/(-4) a multiple of 54?
False
Suppose 0 = 3*z - 3*w - 21, 0 = z - 4*w - 0 + 8. Let x = 15 - z. Suppose -51 = -2*b - i - 4*i, -5*i = -x*b + 89. Is b a multiple of 6?
False
Does 14 divide ((-457 - -40)/(2/2))/(-1)?
False
Let o = -81 - -60. Suppose 190 - 40 = -5*v. Does 14 divide (o/(-4))/(v/(-80))?
True
Suppose 0 = u + h - 4 - 11, -2*h - 40 = -3*u. Suppose u*o - 40 = 6*o. Suppose -2*b = 3*n - 71, -6*b = -b + o*n - 165. Is 12 a factor of b?
False
Let p = 401 - 295. Is 7 a factor of p?
False
Let u = 239 + -104. Let f = u + -81. Does 9 divide f?
True
Let y(l) = l**3 + 10*l**2 + 4*l - 22. Is y(-9) a multiple of 2?
False
Suppose 3*s - 97 - 14 = -t, -2*s + t + 79 = 0. Suppose 0 = 9*p - 34 - s. Does 6 divide p?
False
Suppose -216*c + 215*c = -11. Is c a multiple of 3?
False
Suppose -4*u + 6230 = -2*f, -4*u - 2*f = -6*f - 6220. Is u a multiple of 52?
True
Let u = 697 + -408. Does 3 divide u?
False
Let p be -58*(-2 + 4)/(-4). Suppose -2*t = -p + 1. Does 5 divide t?
False
Let n = 12 + -10. Suppose -5*f + n*w + 0*w = -7, 4*f - w - 8 = 0. Suppose -5*l + f*i = -27, -l - 2*l = 5*i - 23. Is l a multiple of 6?
True
Let z be 33 - 15 - (0 + 3). Suppose 6 = -3*g - z. Let t(k) = -k - 1. Is 3 a factor of t(g)?
True
Let z(l) = 38*l**2 + 52*l + 4. Does 4 divide z(-4)?
True
Suppose 24*a - 32*a = -1296. Is 3 a factor of a?
True
Let x(m) = m**3 - 17*m**2 + 8*m + 23. Suppose 0 = 4*l - 9*l + 85. Is x(l) a multiple of 32?
False
Let o(g) = 2*g + 134. Is o(5) a multiple of 6?
True
Let k(q) be the third derivative of -q**6/60 - q**5/15 - q**4/6 - q**3/3 - 2*q**2. Let h be k(-2). Suppose 2*d - 8 = h*d, 160 = 5*n - 5*d. Is 6 a factor of n?
True
Does 12 divide (255/9 - 2)*(-12 + 15)?
False
Let v(h) = 4*h**3 - 6*h**2 + 4*h - 7. Let w be v(4). Suppose 4*o + 5*x - 180 = 0, 5*o = 4*x + w + 97. Is o a multiple of 10?
True
Let s = -142 - -78. Let o = 108 + s. Does 22 divide o?
True
Let i(c) = 137*c**3 - c**2 - 5*c + 8. Does 29 divide i(2)?
False
Let p be 2 - 8/(-24)*(-2 - -2). Let m = 13 + -9. Suppose -4*x + m*r + 84 = 0, 4*x = p*r - r + 81. Is x a multiple of 9?
False
Let h(z) = -z**2 + 5*z + 6. Let t be h(6). Suppose -c + 3*c - 88 = -2*q, t = c - 4. Suppose 5*r - q = 3*r. Does 14 divide r?
False
Let w(y) = y**3 + y**2 + y + 16. Let u be w(0). Suppose 4*m + u = -4*k, 0*k = -k - 4*m - 19. Let q = k - -20. Is q a multiple of 21?
True
Let t(o) = 3*o**2 + 14*o + 11. Let f be t(-5). Let a(x) = -x**2 + x + 5. Let s be a(-4). Let j = f - s. Is 17 a factor of j?
False
Let w = -2 - -1. Let f = -294 - -132. Does 9 divide (1/(3/f))/w?
True
Let v(o) = 8*o**2 + 7*o + 31. Is v(-5) a multiple of 15?
False
Does 13 divide 13 + (-288)/18 - 448/(-1)?
False
Let o(y) = -y - 5. Let x be o(-9). Let f(u) = -u - 5*u + 12*u**2 + 4 + 3*u + x*u. Is 25 a factor of f(-2)?
True
Let t = -61 + 46. Does 10 divide (41/4)/(t/(-60))?
False
Let j be (-4)/16*100/(-5). Suppose -2*v = -6*v + d + 24, -3*v - 5*d - j = 0. Suppose i - 29 = -v*t, 4*i - 4*t = -9*t + 56. Is i a multiple of 3?
True
Suppose 6754 = 5*i - 4*d, -2688 = -0*i - 2*i + 5*d. Suppose i = 6*p - 212. Is 29 a factor of p?
True
Suppose -2 = -l + 2*l - n, l - 3*n + 10 = 0. Let c(g) be the first derivative of 26*g**3/3 - 3*g**2/2 + 4*g - 61. Is c(l) a multiple of 34?
True
Does 15 divide (-46*(-32)/(-12))/(3/(-63))?
False
Let a = 8 - -132. Is ((-42)/10)/((-4)/a) a multiple of 37?
False
Let q be (246/9)/((-4)/(-6)). Suppose d = q + 47. Is 22 a factor of d?
True
Suppose -5*p = -p - 1508. Does 13 divide p?
True
Let p(w) = 6*w**3 - 2*w**2 - 9*w + 2. Let y(x) = 12*x**3 - 4*x**2 - 19*x + 4. Let c(a) = -13*p(a) + 6*y(a). Is c(-2) a multiple of 16?
True
Suppose 2 = 12*t - 58. Suppose -3*h = -2*h + t*n - 59, -177 = -3*h + 4*n. Does 11 divide h?
False
Suppose -11*v - 3792 = -3*v. Let a = -289 - v. Is 45 a factor of a?
False
Let f(n) = -n**2 - 11*n - 16. Let x = 16 + -27. Let b be f(x). Is (b - -1)*40/(-24) a multiple of 5?
True
Let v be 1581/21*1 + 4/(-14). Is 5/(v/(-740))*-3 a multiple of 25?
False
Suppose 6*q + 578 - 158 = 0. Let t be (-2)/(-10) + (-126)/q. Suppose o - 8 = -l, -t*l = 1 + 9. Does 13 divide o?
True
Suppose 5*x + 2*b - 4*b = 9, -2*x + 5*b - 9 = 0. Suppose -6 = -5*s - r, 5*r + 12 = -x*s - 2. Suppose j - 9 = -d + 2, 0 = -3*j - s*d + 29. Is 3 a factor of j?
False
Does 4 divide (-92 + 5 + -9)*-1?
True
Let h be 8 + -6 + 2/2. Suppose 12 = 3*q, 0*o - 5*q - 1 = -h*o. Let t(i) = i**3 - 8*i**2 + 9*i + 2. Is t(o) a multiple of 16?
True
Suppose 8*v = 9*v. Suppose 2*a + 2*a = -4*b + 236, v = b - a - 53. Is 14 a factor of b?
True
Let p = -123 - -253. Let q = 249 - p. Is 19 a factor of q?
False
Suppose -5*p - 37 = -7. Let u(b) = -b**2 - 2*b + 5. Let n be u(p). Is 15 a factor of 0 - (-6)/(-3) - n?
False
Let m(g) = 12*g**2 + 176*g + 17. Does 143 divide m(-29)?
True
Suppose -270 = -5*a + 75. Suppose -3*q - a = 2*n, -2*q + 2 = -0*q. Does 12 divide (-1734)/n - 1/6?
True
Let o = -1428 + 2875. Is o a multiple of 32?
False
Let q = 9 - 6. Suppose -q*v - 3*v = -990. Suppose -42 - v = -3*j. Does 18 divide j?
False
Let s(g) = -15*g + 11. Let o be s(-5). Let t = o + -59. Is 9 a factor of t/(0 + 3 + -2)?
True
Suppose 37*s + 7*s = 31724. Is 22 a factor of s?
False
Suppose 2*z = t + 3*t, 16 = 4*z - 4*t. Suppose -30 = 4*f - 46. Is (f + (-92)/z)*-2 a multiple of 5?
True
Suppose 0 = 277*x - 282*x + 155. Is 5 a factor of x?
False
Let b(z) = 57*z + 4. Let g(v) be the third derivative of -v**3/6 - 6*v**2. Let x(r) = -b(r) - 6*g(r). Is 14 a factor of x(-1)?
False
Does 41 divide -6 - (-175 - (3 + -8))?
True
Let p(r) be the third derivative of -r**4/8 - r**3 + 3*r**2. Let f(i) = -i - 2. Let z(t) = 11*f(t) - 4*p(t). Is z(5) even?
False
Suppose -v = -2*f - 9, -3*v + 2 = -v + 4*f. Suppose v*i + 86 = q, -5*i - 72 + 441 = 4*q. Let b = q - -10. Does 27 divide b?
False
Let i(c) = 2*c**3 - 6*c**2 + c - 3. Suppose -5*g + 90 = 5. Let q = -13 + g. Does 11 divide i(q)?
True
Suppose 1722 = -300*g + 306*g. Does 4 divide g?
False
Suppose 2*y - 5 = -5*z, -2*z + 0*z + 20 = -y. Let h = y - -10. Suppose h = -2*b + 46 + 4. Does 8 divide b?
False
Suppose -4*w + 13764 = 4*p, 34*w - 39*w = -2*p + 6875. Does 34 divide p?
False
Let x be -2*(-1)/7 + (-114)/(-42). Is 11 a factor of (x/9)/((14/(-690))/(-7))?
False
Suppose -n + g = -4*g - 71, 2*n - 2*g = 102. Is n a multiple of 7?
False
Suppose 94 + 19 = 4*g + 5*t, -116 = -4*g - 4*t. Suppose 5*y - g - 48 = 0. Is y a multiple of 4?
True
Let x = -456 + 756. Does 25 divide x?
True
Suppose i = 8 - 7. Let n(f) = -2 - 1 - 2*f + 26*f + 0*f. Is 21 a factor of n(i)?
True
Let y(t) = 271*t**2 - 29*t - 30. Is 54 a factor 