2 a factor of f(0)?
False
Let m(b) = -110*b + 37428. Is 29 a factor of m(0)?
False
Let h = 457 + -453. Does 17 divide (h/10 + 0)/(25/1125)?
False
Let x = -120 + 322. Let k = 432 - x. Does 46 divide k?
True
Let r = 5412 - -22488. Does 144 divide r?
False
Let o(y) = -y**3 + 14*y**2 - 12*y - 6. Let z be o(9). Let s = z + -147. Is s a multiple of 12?
True
Let y = -4 + -1. Let x(l) = -l + 19. Let t(a) = 8*a - 97. Let d(r) = -2*t(r) - 11*x(r). Does 8 divide d(y)?
False
Suppose 5*s + 3*q = -270871, q + 20444 = -s - 33729. Is (-24)/(-11) - 2 - s/176 a multiple of 7?
True
Let a(m) = -359*m**3 - 11*m**2 - 8*m - 35. Is 27 a factor of a(-4)?
False
Suppose 5*r - 126353 = -x, -2*r + 3*x + 17020 + 33511 = 0. Is 266 a factor of r?
True
Suppose -2330*k + 91840 = -2316*k. Does 13 divide k?
False
Let u be (-2)/(-4)*10 + 0. Let c = -194 + 220. Suppose -27 = -2*r - h, r - c = -2*h - u. Is r even?
False
Suppose 0 = a + 4*t - 6184, 2*t + t = -a + 6186. Does 3 divide a?
True
Suppose 69*j - 46 - 23 = 0. Let v(k) = 183*k**3 - 3*k**2 + k - 2. Is 25 a factor of v(j)?
False
Let g = -679 + 25861. Is g a multiple of 57?
False
Let y(s) = -290*s + 4. Let d be y(2). Let j = d - -976. Is 20 a factor of j?
True
Let z be ((-36)/42)/((-3)/14). Suppose -4*s - 4*v + 4 = 0, -s - 2*v + z = 2. Is 15 + 5 + 2 - (1 - s) a multiple of 6?
False
Suppose 2*m = 7*m - 10. Suppose -230 = -m*o + 7*o. Let y = o + 137. Is y a multiple of 13?
True
Let x = 127 + 105. Suppose 4*g + 33*k - 28*k - 232 = 0, 4*g = 5*k + x. Is g a multiple of 8?
False
Suppose 4*t = -d + 66536, -2462*t + 2459*t + 5*d + 49856 = 0. Is t a multiple of 9?
True
Let w = -350 + 625. Does 38 divide w?
False
Let f be -2 + (2 - -2) - -27. Suppose -32*z = -f*z - 174. Does 3 divide z?
False
Suppose 7*p = 2*p + l + 1315, -4*p = 5*l - 1052. Let v = p + 21. Is v a multiple of 14?
False
Suppose 5*v = y + 2279 - 602, 4*y + 1668 = 5*v. Does 21 divide v?
True
Suppose -5*j - 2*l - 21 = -6, 5*j - 3*l - 10 = 0. Let r be ((-446)/j)/(-2)*(-8)/8. Suppose 6*q = 4*x + q - r, -12 = 4*q. Does 26 divide x?
True
Let z(b) = b**3 + 35*b**2 - 38*b - 69. Let y be z(-36). Suppose -t - 41 = -f + y*t, -5*f + 3*t = -188. Is 13 a factor of f?
False
Is -2 + 1023 + 112/(-14)*-1 a multiple of 28?
False
Let u(a) be the second derivative of a**5/20 - 2*a**4/3 + a**3/6 + 13*a**2/2 - a. Let f be ((-8)/(-20)*(-5)/6)/(5/(-135)). Is 20 a factor of u(f)?
False
Let w(p) = 8*p - 27. Let n be w(-11). Let c = 163 + n. Does 8 divide c?
True
Suppose 7*d + 6*d = 40365. Does 27 divide d?
True
Suppose -2*v = 2*g + 3*v - 16541, 5*g - 3*v - 41275 = 0. Does 150 divide g?
False
Let y(u) = -u**3 - 2*u**2 + u + 65. Let g be y(0). Let n = 285 - g. Is n a multiple of 9?
False
Let n(i) = -43*i + 1746. Does 21 divide n(24)?
True
Suppose 2*k - 9 + 5 = 0. Let c be (4/3)/k - 754/(-3). Suppose 72 = -5*s + c. Does 6 divide s?
True
Let p = -10 - -14. Suppose -1 = -p*j + 27. Suppose -q = -j*q + 618. Is q a multiple of 22?
False
Let b(y) be the second derivative of y**3/6 - y**2 + 5*y. Let a be b(2). Is 28 a factor of (1 - a)*138/1?
False
Suppose -3*p + 6*g - 3*g = -24, 4*g + 14 = -2*p. Suppose 4*y - 52 = 5*d, 0 = p*d - 2*d - 2*y + 14. Is 19 a factor of (19 + 1)/(d/(-16))?
False
Let v(z) = z**3 - 10*z**2 + 15*z + 28. Is v(11) a multiple of 157?
True
Suppose 0 = q + 2*m + 1, 0 = -5*q - 2*m + 72 - 53. Let k = -3 - 7. Is 12 a factor of q/k*-248 - 4?
True
Let x = -55 + 56. Let i be (-5)/(2 - x) - 127. Is i/30*15/(-6) a multiple of 2?
False
Suppose 2*d - 111717 = 3*f, 0*d + 6*f - 55866 = -d. Is 105 a factor of d?
True
Suppose 117 = -5*o - 23. Is 1704/o*(-420)/36 a multiple of 19?
False
Let t = 99 - 84. Let u be (10/t)/((-1)/(-60)). Is 17 a factor of (-522)/(-15) - 32/u?
True
Let a = 18 + -14. Suppose 1532 = 4*b - 2*h - 2*h, 776 = 2*b - a*h. Does 11 divide (b/(-7))/((-1)/(-1 + 2))?
False
Let c = 509 + -215. Suppose 72*m = 75*m - c. Does 37 divide m?
False
Let i(s) = -s**2 + 6*s + 6. Let p be i(6). Let l be 2/(-32)*-4 - (-121)/(-4). Let c = p - l. Does 12 divide c?
True
Let s(g) = 498*g + 71. Let f be s(3). Suppose 2*t - 7*t - 3*n + f = 0, 5*t - 1525 = 5*n. Does 22 divide t?
False
Let h = -5 - -9. Let r be (868/(-35))/(h/(-10)). Suppose -2*g = 5*j - 127, g = -j - 2*j + r. Is g a multiple of 23?
False
Suppose -3*p - 9969 = -k, 18*k - 21*k + 4*p + 29877 = 0. Does 39 divide k?
False
Let d = -438 - -305. Let h = 139 + d. Is 6 a factor of h?
True
Suppose 11*h - 5*h - 2940 = 0. Let v = 687 - h. Is v a multiple of 22?
False
Suppose -6087 = -47*t + 52240. Is 18 a factor of t?
False
Let v = 458 + 9715. Does 49 divide v?
False
Let r(q) = -q**3 + 9*q**2 + 4*q - 24. Let p be r(6). Suppose -5*m + 12 = -p. Does 6 divide m?
True
Suppose -3*o - 5*t - 3841 = -12768, 5*t = -2*o + 5938. Is o a multiple of 7?
True
Suppose -2*a + 0*a - 4*h = 8, 0 = 3*h + 3. Does 32 divide (0 - 1 - -422) + (a - 3)?
True
Let i = 3821 - 2033. Suppose i - 1397 = v. Is v a multiple of 17?
True
Let h(m) = -2*m**3 - 2*m**2 - 3*m - 3. Suppose 3*s + 0*c = -c - 4, 5*c - 19 = -2*s. Let t be h(s). Is 33 a factor of (-2)/(-7) - (-4146)/t?
True
Suppose -25 = 5*s - 10*s, -2*f + 23276 = 4*s. Is 38 a factor of f?
True
Suppose -r + 2*j - 5*j = 687, -3*j - 2766 = 4*r. Is 32 a factor of 7*(-18)/r - (-4704)/22?
False
Suppose -4 = 5*j - 0*j + 2*v, -j + 8 = -4*v. Let u(n) = -45*n + 5. Let l be u(-5). Suppose j = -2*t + 4, -2*y - 5*t + l = 2*y. Is 10 a factor of y?
False
Suppose -2*a + 32290 = 4*s, 139*a - 4*s - 80641 = 134*a. Does 216 divide a?
False
Let w = 19899 + -2469. Does 83 divide w?
True
Let b = -256 - -44. Let m = 273 + b. Is 9 a factor of m?
False
Suppose -4*r = -4*z - 7*r + 5, r = 3. Let w be (-13)/(132/(-135) - z). Does 13 divide w/(-6) + (-2)/(-4)?
False
Suppose 3*c = -m + 2031, -7287 - 2934 = -5*m - 4*c. Is m a multiple of 4?
False
Suppose -p = -4*w, -50 = -5*p - 4*w - w. Let z(f) = f**2 - 9*f + 12. Let n be z(p). Suppose 3*t = t - 4*a + 24, 5*t - 84 = -n*a. Is 14 a factor of t?
False
Let f(p) = 14*p**2 + p + 9. Suppose 5*m + g = 6*g - 235, 0 = -5*m - 5*g - 185. Let w = -39 - m. Is 23 a factor of f(w)?
True
Suppose 57*j + 21197 - 79800 - 119351 = 0. Is j a multiple of 25?
False
Let y(o) = 429*o + 2666. Is y(-6) a multiple of 92?
True
Suppose -83*c - 25*c - 3*c + 36408 = 0. Does 41 divide c?
True
Let z(g) = -143*g**3 - 208*g**2 + 7*g. Is 28 a factor of z(-4)?
True
Let h(s) = 15*s + 55. Let a(u) = 5*u + 18. Let r(c) = -17*a(c) + 6*h(c). Let w be r(-4). Does 12 divide (1 - (-1 + w)) + 76 + 1?
False
Suppose 3*g - 3*d - 19995 = 0, 3*d = -g + 4093 + 2552. Does 185 divide g?
True
Suppose 3*u = 3*j - 6, -8*j + 4*u - 10 = -10*j. Suppose -l - k = -66, 15*k = j*l + 12*k - 198. Is l a multiple of 10?
False
Let i = 6580 - 6203. Is i a multiple of 9?
False
Let a be 3/((-6)/10) - -1. Let h be 1 + 3/((-6)/a). Suppose -h*d = -216 - 39. Is 15 a factor of d?
False
Let l = 1103 + -434. Let q = l - -21. Is 46 a factor of q?
True
Suppose 461448 = -8*f + 86*f. Is 204 a factor of f?
True
Let w = -686 + 821. Is 4 + 0 - (1 - (6 + w)) a multiple of 8?
True
Let w(i) = -12 - 9 + 10*i + 21 - 5. Let x be w(3). Let o = 5 + x. Is o a multiple of 13?
False
Suppose 3*w - 2*p - 4 = -4*p, 3*w = p - 11. Is 40 a factor of (-6)/5 + 7992/10 - w?
True
Let i(h) = 40*h**2 + 8*h - 60. Is i(-15) a multiple of 126?
True
Suppose 0 = -c - 5*t + 9272, -16*t - 92528 = -10*c - 18*t. Is c a multiple of 28?
False
Suppose 4*a = -12, -3*u + 2*u = -a - 9. Does 42 divide -196*2/((-8)/u)?
True
Let x = 11263 - 7423. Does 134 divide x?
False
Suppose 945*g = 751*g + 1645314. Does 7 divide g?
False
Let l(b) = -226*b - 1. Let z(g) = 564*g + 2. Let o(p) = -12*l(p) - 5*z(p). Let j be o(-1). Suppose 77*x - 78*x = -j. Is 11 a factor of x?
True
Let u be 1 + (-6)/6 + 234. Is (-40)/6*u/(-4) a multiple of 38?
False
Let r = -43052 + 106708. Is 218 a factor of r?
True
Let r = 6379 + -3958. Is r a multiple of 45?
False
Let f be (0/17)/(0 + -1). Suppose f = o - 2*o + 9. Suppose -10*k + 54 = -o*k. Is k a multiple of 9?
True
Suppose 7*i - 68*i + 341966 = 0. Does 2 divide i?
True
Let c(h) = h**2 - h + 2. Let z(t) = t**3 + 22*t**2 - 54*t - 35. Let r(y) = -6*c(y) - z(y). Is 23 a factor of r(-30)?
True
Suppose -150 = -2*s + 5*k, 5*s + 4*k - 180 = 129. Is (2544/20)/(26/s) a multiple of 53?
True
Suppose 9*r - r = 40. Suppose r*v -