4 = 4*l - 0*l. Let b(c) = 49*c + 8. Let k(o) = l*b(o) + 7*p(o). Does 22 divide k(-3)?
True
Suppose 2*p - 722 = g, 0 = -22*p + 18*p - 4*g + 1444. Does 25 divide p?
False
Let b(u) = 2*u + 3*u**2 + 3*u**3 + 3 - 11*u**3 - 4*u**2. Let z be b(-2). Suppose -z = -d - 5. Does 9 divide d?
True
Let m be (-2)/(-4) - 446/(-4). Let f be 6 + (13 - (5 - 0)). Let v = m - f. Does 19 divide v?
False
Let f be (12/(-14))/((-4)/14). Suppose h + 3*p = -1, -f*p - 7 = 3*h - 22. Let o(j) = 3*j + 21. Is o(h) a multiple of 26?
False
Let c(t) = -2*t + 6. Let f be c(3). Suppose f = -0*g - g + 79. Suppose 75 = -g*m + 82*m. Does 12 divide m?
False
Let r(v) = v**2 - 2*v - 7. Let s be r(3). Let k(u) = u**3 + 5*u**2 + 2*u + 6. Let w be k(s). Is 3 a factor of ((-24)/(-28))/6 - (-54)/w?
False
Let n = 4038 + 117. Is n a multiple of 66?
False
Let w be 333 - (-2)/(6/(2 - -1)). Let k = 802 - w. Is 52 a factor of k?
True
Suppose -q = -5*q + 340. Let b = q + -65. Let c = 33 - b. Is c a multiple of 12?
False
Let t = 1258 + -1253. Let l(u) = u - 1. Let v(a) = a + 10. Let z(f) = 6*l(f) - v(f). Is 5 a factor of z(t)?
False
Suppose 8*g - 20003 = 2397. Is g a multiple of 8?
True
Let l(z) = 1552*z - 2050. Is 11 a factor of l(5)?
False
Let n(f) = -f**3 + 6*f**2 - 9*f + 7. Let h be n(4). Let w(s) = 174*s - 5. Let o be w(h). Let y = o + -361. Does 17 divide y?
False
Suppose g + 6 = 2*j + 21, 2*j + 18 = 2*g. Let t(w) = -23*w - 22. Does 8 divide t(j)?
False
Let k = -610 + 802. Suppose -5*r - 204 = -w, -r = -w + 2*w - k. Is 16 a factor of w?
False
Let h(m) = 8*m + 4. Let a be h(-7). Let p = a + 58. Suppose l = -p*l + 1253. Does 30 divide l?
False
Let p(d) = -3*d - 42. Let s be p(-12). Let a(h) = -h**3 - 3*h**2 - 14*h + 6. Does 11 divide a(s)?
True
Let q(m) = 25*m**2 + 13*m + 520. Does 12 divide q(31)?
True
Suppose 0 = 3*x + 4*c - 106, 4*x - 116 = -0*x + c. Is 55 a factor of (-42)/630 + 31982/x?
False
Let u(h) be the second derivative of 5*h**4/6 + 8*h**3/3 + 87*h**2/2 - 2*h + 75. Is 30 a factor of u(-6)?
False
Let w(b) = 496*b - 12208. Is 112 a factor of w(42)?
True
Suppose 5*b + 531 = -4*h, 22*h - 24*h - 261 = b. Let s = 620 + h. Does 15 divide s?
False
Suppose 9*u + 26*u = 1190. Does 6 divide u/(-5 - 185/(-35))?
False
Let f = -25 + 35. Suppose -f*c = -13*c. Suppose 4*s - 96 = -c*s. Does 5 divide s?
False
Does 34 divide ((102/12)/(-3 + 5))/((-6)/(-19056))?
True
Let d be -2 + 1050/5 - -4. Let f = -205 + d. Is 4 a factor of f?
False
Suppose -58*w + 116092 = 39880. Is 23 a factor of w?
False
Let w(p) = p**3 - p**2 + 2*p + 34. Let r be w(0). Suppose -5*a - 97 = 2*h, a - 4*h + r = -a. Let q = -10 - a. Does 3 divide q?
True
Let i(z) = 10*z**2 - 51*z - 406. Does 73 divide i(-10)?
False
Let z(n) = 26*n**3 - 4*n**2 + 29*n - 84. Is z(4) a multiple of 68?
True
Let t(q) = 3*q + 10*q**2 - 2*q**2 + 5 - 3*q**2. Let d(w) = -5*w + 40. Let a be d(9). Does 12 divide t(a)?
False
Let z be (456/(-30))/((-2)/(-10)). Let o = 32 + z. Let i = 62 + o. Is 3 a factor of i?
True
Let o(i) = -i**2 - 12*i - 5. Let u be o(-11). Let l be (4 - u) + 1*58. Suppose 92 = 3*h + l. Is h a multiple of 6?
True
Let i(g) = g**2 + 12*g - 9. Let c be i(-13). Suppose -5 - 7 = 3*x, 3*u = -c*x - 19. Is ((-30)/(-8))/(u/(-16)) a multiple of 30?
True
Suppose 7 + 1 = 2*b, 0 = -5*j - 3*b + 37. Suppose -84 = j*w - 2404. Is 58 a factor of w?
True
Let p = -3 - -5. Suppose 8*a + 172 - 212 = 0. Suppose p*x - 4 = -0, -635 = -5*l + a*x. Is 8 a factor of l?
False
Let r be (0 - -1)*(-7 + 4 - 0). Let s be 1/((-3)/8*r/9). Suppose 6*i - s*i = -48. Is i a multiple of 4?
True
Is 16/(-2) + (5 - -943 - 19) a multiple of 40?
False
Let r(o) = 2*o**2 - 16*o - 16. Let b be 25 - 28 - (-21 + 0/(-2)). Is r(b) a multiple of 43?
True
Let c = 22551 - 12759. Is 72 a factor of c?
True
Suppose -38*x + 567247 = -344118 + 185945. Does 47 divide x?
False
Suppose 0 = g - m - 22094, 0 = g + 2*m - 11096 - 10977. Is 343 a factor of g?
False
Does 32 divide (7 - (1 + -28537)) + 18?
False
Let w be (4 - (-104)/6 - 1)*-12. Let g = w - -355. Is 4 a factor of g?
False
Let j(a) = -283*a - 7812. Does 139 divide j(-69)?
False
Let u(m) = 8 - 24*m + 22*m + 41. Let d be u(22). Suppose -9*j + d*j + 60 = 0. Does 3 divide j?
True
Suppose 0 = 12*m - 9*m. Suppose 16 = 4*y - 8*y, 5*p - y + 26 = m. Let v(x) = x**2 - 14*x - 3. Is 28 a factor of v(p)?
False
Let f(g) = 1818 + 2*g - 1865 + 24*g**2 + g**3 + 19*g. Does 17 divide f(-22)?
True
Let d(v) be the third derivative of -v**6/120 + v**5/12 + v**4/6 - 2*v**3/3 - 24*v**2. Suppose -4*q = -0*q - 2*g - 14, -5*q - 5*g = -40. Is 4 a factor of d(q)?
True
Let w(z) = -20*z**3 - 28*z**2 - 35*z - 64. Does 24 divide w(-12)?
False
Suppose -2*l = 4*s - 104578, 4*l = -4*s + 31283 + 73305. Is 118 a factor of s?
False
Let t be (15/30)/((-2)/28). Is t + -1 + (-6714)/(-6) a multiple of 44?
False
Suppose 5*c - j + 1 = 11, 8 = 4*c - 2*j. Suppose c*l - 4*l - u = -86, -2*l - 2*u = -82. Suppose 12*b + l = 13*b. Does 12 divide b?
False
Suppose -6*n = -229*n + 99904. Is 16 a factor of n?
True
Suppose -g + 3*l + 14 - 1 = 0, -3*g = -2*l - 25. Let u(y) = 2*y - 11. Let p be u(g). Does 9 divide (16/p)/((-24)/(-684))?
False
Suppose 0 = -3*a + 5*x + 8444, 4*a + 3*x + 14052 = 9*a. Let y = a + -1962. Is y a multiple of 18?
True
Let z be ((-29739)/(-18))/(-23) - 1/6. Let f be z/15*285/6. Let q = 336 + f. Is q a multiple of 12?
True
Let y be 0 + (4 - 3) + 121. Let m = 311 - y. Does 52 divide m?
False
Suppose -7643 - 64164 = -24*c - 16175. Does 15 divide c?
False
Suppose -416*s - 348 = -420*s. Suppose 32*o - 33*o + s = 2*u, -5 = -u. Does 6 divide o?
False
Let o = -70 + -1. Let q = o + 74. Suppose -q*n + 2*n = -39. Is n a multiple of 10?
False
Suppose 5*j = -4*h + 11793, -4*h - 20*j + 11783 = -25*j. Does 5 divide h?
False
Suppose n + 3*n - 380 = -2*y, 3*y = 4*n + 560. Let r = y - 57. Does 12 divide r?
False
Let d be ((-6)/(-12))/((-1)/(-6)) + 132. Let r = d + -81. Suppose -w + 409 - r = 5*o, 0 = 5*w - 25. Does 7 divide o?
True
Suppose 11*t - 4211 = -m - t, 0 = 5*m + t - 21291. Is 134 a factor of m?
False
Let z(y) = 55*y**2 - y + 7. Suppose -3*c = -6*c - 9. Is 69 a factor of z(c)?
False
Let v = 284 + -181. Let u = v + -84. Does 3 divide u?
False
Let b(i) = -5*i**2 + 1 + 4*i + 19*i**3 + 6*i**2 - 3*i**2 - 2*i**2. Is 5 a factor of b(1)?
True
Suppose -g - g + 4 = 2*w, 3*g - 4 = -2*w. Suppose g = f - 2, s + 2*s - 934 = -2*f. Suppose s = 2*v - 170. Is v a multiple of 16?
True
Suppose 4*p + 5*j = 78, -5*p + 60 + 29 = 2*j. Let h be p*4 + -19 + 21. Suppose 3*u + 4*n - 228 = 0, 5*u + 5*n = 455 - h. Is u a multiple of 16?
True
Let p = 102 - 105. Let h be 2/4 + (-45)/18 + p. Let y(t) = -13*t + 22. Does 10 divide y(h)?
False
Let c be ((-314)/(-2))/((-11)/77). Let z = -587 - c. Is 16 a factor of z?
True
Suppose 4*b - 5*c - 40 = 0, -2*b - 2*c - 3*c = 10. Suppose -3*l = -0*l + 3*a - 2172, b*l - a - 3608 = 0. Is l a multiple of 38?
True
Let r be 1918/21 + 2/(-6). Suppose -r - 51 = -4*t + 2*s, -5*s - 25 = 0. Suppose g - 112 = -t. Is g a multiple of 14?
False
Suppose -10*a + 99796 = 4*j - 219996, a - 31989 = j. Is a a multiple of 25?
False
Suppose 61*h - 6*h - 322575 = 0. Is 15 a factor of h?
True
Let a be 0*(-2)/4*-2. Suppose a = 7*g - 4*g - 156. Let v = g + -40. Is v a multiple of 3?
True
Suppose -5*b = -3*c - 90, -8*c = 4*b - 9*c - 72. Suppose -b*s + 13876 = -4592. Is 27 a factor of s?
True
Suppose 4*t = 8*t - 16, 0 = -3*k + 4*t + 26. Suppose 4*u + 315 = y, 630 = -12*y + k*y - 5*u. Is 5 a factor of y?
True
Let m(u) = 141 - 104 + 5*u + 0*u. Let y be m(-7). Is (y + (-212)/(-8))*4/6 a multiple of 19?
True
Let b = 707 - 702. Suppose -1179 - 1266 = -b*k. Is 21 a factor of k?
False
Suppose 5*f - 918 = 4*t, -3*t = -3*f + 172 + 380. Suppose -2*b = -f + 66. Does 29 divide b?
True
Let g be 3 + (1 - 6) + 5. Suppose g*r - 16 = -7. Suppose 4*t - t + 216 = r*q, 0 = -2*q + 5*t + 135. Is 15 a factor of q?
True
Suppose 30*s - 15*s - 6975 = 0. Let l = s - 437. Is l a multiple of 3?
False
Suppose 1291 = h + 15*b - 18*b, -3831 = -3*h + 2*b. Is h a multiple of 15?
False
Let k = 2213 - 498. Does 35 divide k?
True
Let i(f) = -f**2 - 278*f - 573. Is 222 a factor of i(-109)?
False
Is 65 a factor of 18/(-27)*(-264 - 5)*(-195)/(-2)?
True
Suppose 2*i = 5*w - 657, 3*i + 1044 - 50 = -w. Let c = i + 359. Is c a multiple of 2?
True
Let c(