 = -p**3 - 3 + 2 + 2 - 4*p**2 + 4. Does 16 divide g(-6)?
False
Is 40 a factor of (1800/28)/((-1)/(-7))?
False
Suppose 11*r - 3279 = 8348. Is r a multiple of 16?
False
Let i be 0 - (-5 - -3) - (5 + -79). Suppose -2*g + i = -60. Is 17 a factor of g?
True
Is 11 a factor of ((-3)/(-2))/((-252)/(-116592))?
False
Suppose -10*t - 417 - 733 = 0. Let v = 230 + t. Is 35 a factor of v?
False
Let m = 9605 + -4685. Is m a multiple of 120?
True
Suppose -5*u + 9 = 4. Suppose 4*q = -3*f + 75 - 8, 34 = 3*q - f. Let d = q - u. Is 7 a factor of d?
False
Let z = 961 - 608. Is z a multiple of 21?
False
Let u = -18 - -18. Suppose 0 = -4*p - 8 - u. Let t(j) = 4*j**2 + 2*j + 1. Does 13 divide t(p)?
True
Let h(q) = q**3 + 30*q**2 - 2*q + 85. Is 24 a factor of h(-29)?
True
Suppose -2*g + 580 = -6*g. Let z = g + 248. Is z a multiple of 36?
False
Let g(o) = -o**3 - 5*o**2 + 2*o + 4. Let n be 1/(3/(-9)) + 5. Suppose -2*h - 10 = n. Is 14 a factor of g(h)?
True
Let j = -272 + 171. Suppose -4*w - 2*u = 2*u, -4*w = 3*u + 1. Does 10 divide j/(-2) + w/(-2)?
False
Suppose -3*n = 2*d - 668, d + 0 - 1 = 0. Suppose -156 = -2*t + n. Is t a multiple of 19?
False
Is 1086/9 - (-20)/(-30) a multiple of 4?
True
Let p(n) = n**3 - 14*n**2 - 29*n - 38. Does 15 divide p(17)?
False
Let i = 2820 + -2355. Is 5 a factor of i?
True
Let n(h) = -2*h**2 + 18*h - 3. Let r be n(9). Is 5 a factor of ((-200)/(-15))/(r/(-9))?
True
Let l(s) = s**2 - s + 51. Suppose -5*n = -2*n - z - 41, 65 = 5*n - z. Is l(n) a multiple of 29?
False
Does 17 divide (0 - 68/(-6))*(-15)/(-1)?
True
Let y(w) = 2*w - 24. Let d be y(8). Is 1858/18 - d/(-36) a multiple of 15?
False
Let x(u) = -17*u - 34. Is 4 a factor of x(-11)?
False
Let h be (8 + -9)/((-2)/8). Let f be 0/5 - 4/(-2). Suppose 0 = -5*x - f*q + h*q + 162, -2*x - 2*q = -62. Is x a multiple of 8?
True
Let p = 2308 - 1300. Does 12 divide p?
True
Let r = 302 + -73. Let v = r - 137. Is 23 a factor of v?
True
Let w be (-6)/4*(-192)/18. Let d = w - 28. Let r = d + 57. Is r a multiple of 15?
True
Suppose -2*z + 216 = 74. Let w = z + -21. Suppose -2*y + 2*b = -w, -3*b = 3*y - 4*y + 31. Is 11 a factor of y?
True
Let c(y) = 11*y + 103. Does 12 divide c(24)?
False
Does 20 divide (-4 - 1024/12)*(3 - 6)?
False
Let v = 298 - 51. Does 19 divide v?
True
Let a(g) = 15*g**3 + 22*g**2 - 46*g - 12. Let v(j) = -7*j**3 - 11*j**2 + 23*j + 6. Let c(t) = 6*a(t) + 13*v(t). Is 21 a factor of c(-13)?
False
Let v be 1 + (-3)/6 - 15/(-6). Suppose -v*x + 38 = -58. Is 16 a factor of x?
True
Suppose 0 = 11*n - 7*n. Suppose n*w + 42 = 2*w. Does 7 divide w?
True
Suppose -4*z = 2*s + 3*s + 8, 4*s = z - 19. Suppose -3*u - 30 = -z*a, 0*u - 10 = 2*u. Does 5 divide a?
True
Let z = 7 - 9. Is (z/6)/((-19)/1254) a multiple of 7?
False
Let d(v) = 6*v. Let p be d(1). Let m(q) = q**3 - 3*q**2 - 12*q + 5. Is m(p) a multiple of 6?
False
Suppose -13 = -4*x + 3. Suppose 2*y + b = 5, 3*y - 2*y + x*b + 8 = 0. Is 2 a factor of y?
True
Suppose -7*k + 428 = 36. Suppose -5*m + 314 + 144 = -2*g, -5*m + 457 = -3*g. Let q = m - k. Is q a multiple of 14?
False
Let k(o) = -23*o**2 - 1. Let c be k(-1). Let j = c - -29. Does 4 divide j?
False
Suppose 4*o + q = 272, -4*o = -0*o + 2*q - 276. Let w = 609 + -605. Suppose j - 22 = 5*m + 13, o = 3*j + w*m. Is j a multiple of 10?
False
Suppose 2*r = 3*v - 3, 2*r + v - 1 = -0*r. Let q(o) = -o**2 - o + 24. Let m be q(r). Suppose m = 5*n - 136. Is n a multiple of 8?
True
Let s be 9*1 - (-11 + 13). Suppose -2*x + 14 = d, -x = -5*d + s + 8. Suppose 3*b + 49 = 2*t, 0 = -d*t + 5*t + 3*b - 38. Does 16 divide t?
False
Let i(l) = -l**3 + 21*l**2 - 26*l + 7. Let o be i(19). Suppose a - 51 = 3*t, 5*a - 3*t - o = -8*t. Does 8 divide a?
True
Let w = 144 + -55. Is w a multiple of 7?
False
Let q = 2 + 13. Let h = -5 + q. Does 9 divide h/(-45) - (-551)/9?
False
Let a(r) = r**2 - 12*r + 11. Let z be a(11). Let i = 18 - z. Is 8 a factor of i?
False
Let z = 65 - 62. Suppose 8*r - z*l = 4*r + 824, 3*l + 406 = 2*r. Is 19 a factor of r?
True
Suppose -x = 3 - 2, 5*x = -f - 60. Let h = f - -73. Does 9 divide h?
True
Let h(q) = -q**3 - 12*q**2 - 12*q - 16. Let b be h(-11). Is 0 + -2 - (b - 110) a multiple of 24?
False
Suppose 3*f + j = -0*j - 16, -f - 3*j - 16 = 0. Is -3 + (-52)/(-16) + (-67)/f a multiple of 3?
False
Suppose 0 = -4*s - s + 615. Suppose -s = -4*v + 73. Does 14 divide v?
False
Let d = -94 + 97. Let k(b) = 2*b**3 - b**2 - 2*b - 2. Is k(d) a multiple of 4?
False
Suppose 0 = q - 9 + 26. Let d = 176 + q. Suppose -g = -4*r + 2*g + d, -4*r - 4*g = -180. Is 14 a factor of r?
True
Let q(h) be the second derivative of -h**5/20 - 17*h**4/12 + 7*h**2 + 7*h. Does 8 divide q(-17)?
False
Does 5 divide 75*3 + 4/(-4)*4?
False
Let s(u) be the first derivative of 3*u**4 - u**2/2 + u - 15. Is 23 a factor of s(2)?
False
Let o = -357 - -522. Is o a multiple of 11?
True
Let f be 268/10 + 2/10. Suppose 4*m = 6*m - 4*w - 104, 0 = -m - 3*w + f. Let o = -16 + m. Is o a multiple of 8?
False
Let u = -130 + 36. Is (u/4)/(2/(-8)) + -3 a multiple of 12?
False
Suppose 149 = 2*d - 3*w + 6*w, 0 = -3*d + 4*w + 215. Let k = -21 + d. Is 30 a factor of k?
False
Let u(i) = -5*i + 7. Let o be u(-3). Suppose 5*g + o = 7*g. Is g a multiple of 3?
False
Let f = 11 + -9. Suppose i - f*g = 58, 3*i - 4*g + 3*g = 179. Does 12 divide i?
True
Let d(b) = 25*b + 12. Let r be d(5). Suppose 4*x - r = 103. Does 20 divide x?
True
Let h = 16 - 11. Suppose -4*f = -2*a - 8, f - 2 = 3*a - h. Let i(p) = 7*p + 7. Is i(f) a multiple of 14?
True
Let h = -414 - -418. Let l = 33 + -23. Suppose -l + h = -2*n. Does 3 divide n?
True
Let n(p) = 3*p - 1. Let y be n(7). Let i = y - 15. Is i a multiple of 3?
False
Let u = -421 - -577. Is 95 a factor of u?
False
Let d be 2/(-3) - (-308)/66. Suppose -3*a - 141 = -d*t + t, -4*t + 172 = 4*a. Is t a multiple of 5?
True
Suppose 1760 = 86*a - 81*a. Does 44 divide a?
True
Let t = 18 - -10. Suppose 0*n = -4*n + t. Does 7 divide n?
True
Let u = -930 + 1083. Is 17 a factor of u?
True
Let v(k) = k**2 - 3*k + 4495. Does 22 divide v(0)?
False
Let l = -5 + 10. Let i = 9 - l. Suppose z + 19 = c + 2*c, -i*z + 14 = 3*c. Is 6 a factor of c?
True
Suppose -24565 = -122*r + 105*r. Does 17 divide r?
True
Let o = -12 + 16. Let s be o/5 + (-20)/25. Suppose 3*c + 29 = q, 5*q + s*c - 5*c - 125 = 0. Does 7 divide q?
False
Let r = 158 - -298. Is r a multiple of 76?
True
Let d(u) = 25*u**2 + u + 6. Let i(z) = -2*z**2 - z. Let r(j) = d(j) + 2*i(j). Is 16 a factor of r(3)?
True
Suppose 44 = t + 3*p, -5*t + 3*p + 434 = 142. Suppose -3*r + 4*s + t = -0*s, s + 20 = r. Let z = r + 36. Is z a multiple of 24?
False
Let g = -1406 + 1411. Let y(t) = -8 + 0 - 2*t - 2*t**2 + t**3 + 2. Does 10 divide y(g)?
False
Suppose 0 = -3*o - f + 56, -4*o - 6*f + 71 = -f. Let q = 123 - o. Is q a multiple of 26?
True
Suppose -3*q + 5*i + 1549 = 0, 5*i + 1637 - 606 = 2*q. Does 6 divide q?
False
Let k = -24 + 24. Suppose 4*t - 12 = k, -5*t = -4*l - 0*t + 173. Suppose 5 - l = -2*z + 3*g, -4*z + 4*g + 92 = 0. Is z a multiple of 9?
True
Let c = 7 + -7. Suppose -7*s + 3*s + 12 = c. Suppose -a + 4 - s = 0, -v - 3*a + 20 = 0. Is v a multiple of 5?
False
Suppose 0 = -y - y - 5*l + 154, 4*l = 5*y - 352. Suppose 0*m + 75 = 4*g + 5*m, -5*g + m + y = 0. Is 6 a factor of g?
False
Suppose 2*d = -2*d + b + 753, -349 = -2*d - 5*b. Is d a multiple of 11?
True
Let c = 49 + -92. Let o = c - -65. Is o a multiple of 4?
False
Suppose -1 = u + 4, 2*u + 74 = 2*m. Let n = m - 30. Does 2 divide n?
True
Let j(z) = 36*z - 1000. Is j(41) a multiple of 17?
True
Let c(s) = s**3 + 8*s**2 - s - 2. Let m be c(-8). Is 3/m - ((-3195)/10 - 4) a multiple of 36?
True
Let h = -9 - -5. Is ((-3 - h) + 21)*1 a multiple of 3?
False
Let m be (2/(-4))/(5/(-580)). Suppose -4*f - 43 + 9 = -3*d, 4*d + f - m = 0. Let w = 54 + d. Does 34 divide w?
True
Suppose 282 = 5*t + 2*f, -t - t - 4*f = -100. Let n = t - 4. Suppose n = 2*r - 5*i, 6*i = -3*r + 4*i + 81. Does 8 divide r?
False
Let a(g) = 3*g + 2. Let u be a(2). Let r be (u/4 - 0) + 3. Suppose -r*t = 4*z - 2*t - 44, t - 4 = 0. Is z a multiple of 4?
True
Suppose 2*i + 2 = i, 0 = -4*v - 4*i + 756. Is 14 a factor of v?
False
Let l(j) be the first derivative of 10/3*j**3 - 5/2*j**2 - 6 - 9*j - 1/4*j**4. Is l(9) a multiple of 7?
False
Suppose 9*s + 156 = 5*p + 5*s, 5 = 5*