es 53 divide z?
False
Suppose -4*u + 69*v + 7382 = 67*v, -u + 1838 = -3*v. Is u a multiple of 93?
False
Let h(b) = 2*b**3 - 7*b**2 - 111*b + 181. Is 96 a factor of h(16)?
False
Let a(o) be the first derivative of -1/3*o**3 + 17/2*o**2 - 9*o + 19. Is a(16) even?
False
Does 2 divide (4 - 1345/15)/((-1)/3)?
False
Let z = 72 + -54. Suppose 0 = 12*y + z*y - 13500. Does 30 divide y?
True
Suppose -4*p + 149584 = 5*z - 35699, -p + 46333 = 3*z. Is 14 a factor of p?
True
Let k(o) = -18*o + 6. Let z be k(-6). Let a(p) = 209*p - 2071. Let y be a(10). Let m = z - y. Does 4 divide m?
False
Let h(p) = p**3 - 135*p**2 - 265*p - 617. Is h(137) a multiple of 34?
False
Let y(a) be the third derivative of 3*a**5/20 - a**4/6 - 2*a**3/3 + 2*a**2. Let n be y(-1). Suppose -4*s + 19 + n = 0. Is s a multiple of 5?
False
Let q(k) = k**2 - 53. Suppose 0 = -9*n + 5 + 76. Is 7 a factor of q(n)?
True
Let h(u) = -2*u - 8*u - 33 + 8*u. Let s be h(-18). Is 8 a factor of (-176)/s*(-1 + 1/(-2))?
True
Suppose -50 + 30 = -5*s. Suppose 4*g = 4*p + 4, -2*g + 7*g + s*p = 14. Suppose g*t = 2*i + 250, -t - t = i - 259. Is 8 a factor of t?
True
Suppose 25925 + 787 = 4*l + 2*x, -5*x - 20 = 0. Is l a multiple of 10?
True
Suppose 19342*x - 19361*x + 320112 = 0. Is 52 a factor of x?
True
Let c(x) = x**3 - 56*x**2 - 24*x + 510. Is c(64) a multiple of 269?
True
Let n(a) = a**2 - 2*a - 6. Let h be n(-6). Let q = h + -24. Is (-6)/4*(-1176)/q a multiple of 14?
True
Let j be (-47835)/315 + 6/7. Let k = j + 217. Does 11 divide k?
True
Let w = -217 + 215. Does 17 divide (-19 - w)*(-13)/1?
True
Let j = 31292 + -17312. Does 46 divide j?
False
Is 3 a factor of ((-82)/(-6))/(11 + 14144/(-1287))?
True
Let k(s) = -19*s + 9. Let o be k(-1). Suppose o*q - 1980 = 19*q. Is q a multiple of 5?
True
Is (1 + 0)*626232/194 a multiple of 37?
False
Let m = -334 + 505. Suppose 82*c = 79*c + m. Let b = c - -111. Does 14 divide b?
True
Suppose -2*g = -9*g - 14. Let c be 242 + 0 + g + 6. Suppose -c = -3*d - 102. Is d a multiple of 12?
True
Let d(i) be the second derivative of 353*i**5/10 + i**4/6 - 2*i**3/3 + i**2 - 62*i. Is d(1) a multiple of 40?
False
Suppose -7*f + 5*s - 17 = -5*f, 4*f + 3*s - 31 = 0. Suppose -395 = -3*i - 2*i + 2*z, -i - f*z + 101 = 0. Is 20 a factor of i?
False
Let l = -37969 + 68909. Is l a multiple of 91?
True
Suppose -5477*g + 5421*g + 42280 = 0. Is g a multiple of 12?
False
Suppose 0 = 2*r + 8, -2*r + 3612 = -4*d - 1836. Is 23 a factor of d/8*(-2)/(-3 - -4)?
False
Let g(p) be the third derivative of -15*p**4/4 - 64*p**3/3 + 4*p**2 - 2*p. Does 29 divide g(-4)?
True
Does 7 divide (-127 + (0 - -1))*5895/(-262)?
True
Let v = 20783 + -15018. Does 5 divide v?
True
Suppose -c - 566 = 3*w, -4*c = w - 2*w + 2329. Let l = c - -945. Is l a multiple of 26?
True
Does 44 divide ((-4 - 18) + 2)/(15*(-4)/16632)?
True
Suppose 26 = -4*q + 5*t, 0 = 4*q - q + 3*t + 6. Let h be (-2 - -2 - -578) + (q - -6). Suppose 2*m + 3*m = -5*n + h, -2*n = 5*m - 226. Is n a multiple of 17?
False
Suppose -4*l + 2*l + 4 = 0, 0 = -a - 4*l + 7. Let t be 0 - (((-204)/(-3) - 2) + a). Let g = t - -209. Is 18 a factor of g?
True
Suppose -q + 6*q = 5*u - 1275, u - 291 = -5*q. Is 29 a factor of u?
True
Suppose 83*z - 80*z = 9. Suppose z*f - 71 - 208 = 0. Is 40 a factor of f?
False
Suppose 2*f + 0 = -4*n - 2, -5*f + 4*n + 23 = 0. Let s be ((-16)/20)/(f/15). Is 28 a factor of (s + 9 - 1) + 220?
True
Let a be (-3)/(0 + 3) - -154. Let j be (12 + (-1586)/104)/(2/(-136)). Let z = j - a. Does 4 divide z?
True
Let m(g) = -17*g**3 - 34*g**2 - 46*g - 11. Is m(-6) a multiple of 13?
False
Suppose 3*t - 1479 = -4*q, -12*q = -8*q + 5*t - 1489. Let g = -282 + q. Does 4 divide g?
True
Let p be -2 - -1 - 730/2. Suppose 0 = 7*s - 11 + 1320. Let y = s - p. Is y a multiple of 21?
False
Suppose 9*n - 39998 - 3880 = 35322. Is 40 a factor of n?
True
Is 10 a factor of (-135)/((15/18 - 1) + (-216)/(-2025))?
True
Let j(h) = 706*h**2 + h - 1. Let o be j(1). Let k = o - 295. Is k a multiple of 10?
False
Let k be (1/2)/(19/(-646)). Let n be k/(-85) - 464/(-5). Let b = n + -64. Is b a multiple of 12?
False
Let z = 10275 + -8833. Is z a multiple of 7?
True
Let i(s) = 16*s**2 + 74*s - 87. Is i(19) a multiple of 152?
False
Let o = -78 + 121. Suppose -6*s + o = -89. Is 11 a factor of s?
True
Suppose -179*t - 5742000 = -498*t. Does 120 divide t?
True
Let o(s) = 2*s**2 + 13*s + 66. Let g be 42/(-4)*4*1/6. Let k be o(g). Let t = 121 - k. Does 14 divide t?
False
Let b(u) = 7*u**2 - 264*u + 218. Is b(65) a multiple of 3?
True
Let w = 10550 + -3290. Is 22 a factor of w?
True
Suppose 5*b - l = 32, 5*b = -4*l - 3 + 50. Suppose -537 = -b*m + 219. Does 18 divide m?
True
Let n(b) be the first derivative of 1/2*b**2 - 12 + 24*b. Is n(12) a multiple of 12?
True
Let l(b) = 798*b - 1435. Is l(16) a multiple of 24?
False
Let s = 17469 - 9858. Does 129 divide s?
True
Let a(k) = -k**3 + 13*k**2 + 12*k + 34. Does 13 divide a(-16)?
False
Suppose 0 = -3*a + 2*w + 202, -5*a - 9*w + 0*w = -386. Is a a multiple of 44?
False
Let w(g) = g**2 - 4*g - 7. Let l be w(5). Let f be 27/(-12) + 842/8. Does 31 divide (-2)/1*f/l?
False
Let l(h) = 3*h + 2. Let x = -73 - -82. Is l(x) a multiple of 18?
False
Let v = 16977 - 10659. Does 81 divide v?
True
Let j be ((-1668)/(-15))/((-2)/(-40)). Suppose 0 = -n + 9*n + j. Let p = -116 - n. Is 9 a factor of p?
True
Let z(y) = -y**2 + 13*y - 23. Let n be z(10). Suppose l = -4*q + 240, 5*l - 2*q + n*q = 1245. Does 9 divide l?
True
Let r(d) = 32*d - 14. Let z = 105 + -105. Suppose -4*h - 3*w + 21 = z, -2*w - 14 = 2*h - 4*h. Is r(h) a multiple of 14?
False
Is 0 - ((-60)/(-35)*-677 - 12/(-21)) a multiple of 58?
True
Is 32 a factor of (24 - (16 - -11))*(-5162)/3?
False
Let j(h) = 12*h**2 + 159*h. Let d(u) = 14*u**2 + 160*u. Let q(o) = 4*d(o) - 3*j(o). Is 21 a factor of q(-12)?
True
Suppose -6804*s = -6786*s - 228528. Is 69 a factor of s?
True
Suppose 15141 = -3928*a + 3931*a. Does 7 divide a?
True
Suppose 4*n - 4*z = 28940, 2*n - 23*z + 26*z - 14465 = 0. Is n a multiple of 27?
False
Let h = 1306 - -9767. Is 10 a factor of h?
False
Let g = -2790 + 4496. Is 6 a factor of g?
False
Let z = -211 - -214. Suppose -2*g - 159 = 4*w - 747, 0 = g + z*w - 291. Is g a multiple of 15?
True
Let w(q) = q**3 - 102*q**2 + 111*q - 1. Is w(101) a multiple of 30?
False
Let a(l) = -9*l + 18. Let b(k) = 34*k - 71. Let g(n) = 9*a(n) + 2*b(n). Let f = -11 + 7. Is g(f) a multiple of 18?
True
Let f(r) = 1637*r**2 - 40*r - 34. Is 53 a factor of f(-1)?
True
Let a(x) = -9*x**3 - 12*x**2 + 30*x + 348. Is 6 a factor of a(-10)?
True
Suppose 4*v - f = -3383 + 52076, -f + 48691 = 4*v. Is 14 a factor of v?
False
Let z be 9/4*35/((-1155)/44). Let c(u) be the first derivative of 6*u**3 - 2*u**2 - 4*u - 4. Is 34 a factor of c(z)?
True
Let z = -25999 + 38504. Is z a multiple of 41?
True
Suppose 0*y = -y + 55. Let n = -50 + y. Is 2 a factor of ((-6)/n)/((-21)/280)?
True
Let r = 11 - 9. Let n(i) = -9*i + 18. Let u be n(r). Suppose 4*g - 4*w + w - 705 = u, 3*g + 4*w = 510. Is 29 a factor of g?
True
Let a be ((-15)/(-6) - 1)*2. Suppose -a*q + 210 = -222. Does 48 divide q?
True
Suppose 0 = 4*u + y - 138, -u - y + 44 = 4*y. Suppose 17100 = 64*f - u*f. Does 57 divide f?
True
Let q = 404 + 1218. Suppose q = 8*x + 142. Is 37 a factor of x?
True
Let h(k) = -471*k**2 + 2*k + 2. Let z be h(-1). Let w = 570 + z. Does 5 divide w?
False
Let l(p) = -p**2 + 17*p - 28. Let q be l(15). Suppose f + q*f = 3*s + 33, s = 3*f - 23. Suppose f*b - 7*b + 36 = 0. Does 4 divide b?
True
Let p be ((-36)/(-20))/(6/20). Suppose -4*h + 4*x = -4, 2*h = -2*x + 4 - p. Suppose z + 2*z - 138 = h. Is 10 a factor of z?
False
Let v(b) = b**2 - 9*b - 8. Let c be v(6). Let s = 499 - 441. Let i = s + c. Is 4 a factor of i?
True
Let t = 1038 - 2020. Is t/(-16) + (-12)/32 a multiple of 38?
False
Let a(w) = w + 14. Let p be a(-11). Suppose 3*v + 3 = 0, p*r + 3*v + 3 = -3. Is 15 a factor of (0 - 1)/(r*3/258)?
False
Let s(j) be the third derivative of -j**6/120 + j**5/30 + j**4/24 - 7*j**3/2 - 7*j**2. Let x be s(0). Does 14 divide x*(-2)/3*1?
True
Let k(s) = -2516*s**3 - 3*s**2 + 7*s + 18. Does 40 divide k(-2)?
True
Let p(w) = 152*w**2 - 6*w + 3. Let x be p(2). Suppose 14*o + x = 1733. Is 9 a factor of o?
True
Suppose 3*d + d + 40 = 0. Let j be -3 + 1 + 