a = 4*a + 7, 12 = 3*d + 5*a. Let g be 4/4 - (2 - d). Does 19 divide g - -75 - (-3)/(-3)?
False
Suppose 2*l - 194 = 3*i, -3*i + 154 = 5*l - 352. Let f = l - 48. Does 13 divide f?
True
Suppose -8*d = 3*q - 3*d - 555, -q = 2*d - 186. Is 15 a factor of q?
True
Let y(b) = 17*b**3 + 5*b**2 - 5*b + 8. Is y(2) a multiple of 7?
True
Let l be (6/(-4))/((-13)/26). Suppose l*r + p = 34, -2*r - 3*p = 2*p - 14. Is r a multiple of 12?
True
Let a be 10/(-6)*-101 + 1/(-3). Suppose 24*c + a = 30*c. Does 3 divide c?
False
Let b be 9 - (0 - -5) - -393. Let m = b - 186. Does 24 divide m?
False
Let q(f) = 13*f**3 - 5*f**2 + 61*f - 6. Is q(6) a multiple of 55?
False
Let o(j) = 50*j + 8. Let m(g) = -17*g - 3. Let l(r) = 17*m(r) + 6*o(r). Let q be l(15). Suppose q = 5*w + 42. Is w a multiple of 6?
True
Does 5 divide (-696)/(-9)*42/28?
False
Let s = 14 + -16. Let f be (-7 - -5)/(1/s). Suppose 5*g - 3*l + 4*l - 78 = 0, 3*l = f*g - 70. Is g a multiple of 8?
True
Suppose 2*w = 5*p - 11, -8 = -2*w - p - 1. Let g(v) = -2*v**3 + v**2 + 4. Let j be g(w). Does 13 divide (j + -1)*(-6)/1?
False
Suppose -10*o + 6*o + 628 = w, 0 = -3*w - 5*o + 1877. Does 104 divide w?
True
Let h = 4604 - 2342. Is h a multiple of 86?
False
Let a = -276 + 474. Let m = a + -108. Is 9 a factor of m?
True
Let m be (1551/6 + 2)/((-2)/(-4)). Suppose -5*l - m + 1291 = 0. Is l a multiple of 22?
True
Suppose -s = 6*s - 903. Is 44 a factor of s?
False
Suppose -i + 96 = -5. Let m = -81 + i. Is 4 a factor of m?
True
Let t be (-2)/(-10) + 6/(-30). Suppose 5*w = 3*i - 991, 10*i - 9*i + 2*w - 345 = t. Is i a multiple of 58?
False
Let c(m) = -m**2 - 3*m + 5. Let s be c(0). Suppose s*g + 150 = 8*g. Is 11 a factor of g?
False
Let d(o) = -5*o - 2. Let j be d(-1). Is 18*j/3 + 4 a multiple of 22?
True
Let j(t) = t**3 + 6*t**2 - 4*t + 7. Let o be j(-5). Let w(h) = -6*h**2 - 5*h + 6. Let r be w(2). Let m = o + r. Is 12 a factor of m?
True
Suppose 0 = -2*l + 2*q - 475 + 1683, -15 = 3*q. Does 6 divide l?
False
Suppose -16*w + 924 = -4*w. Is w a multiple of 7?
True
Is 11 a factor of 6 - (-7 + 11 + -65)?
False
Let m = 1812 - 668. Is 15 a factor of m?
False
Suppose 0 = n - 3 - 35. Let u = n - 37. Suppose u = -2*q + 19. Is q a multiple of 4?
False
Let l(c) = c**2 - c + 11. Let f be l(0). Let o(m) = 5*m - 5 - 4*m + 3*m + f. Does 30 divide o(13)?
False
Let h be (-3)/(-3) + -1 - -3. Suppose 4*z = 3*t - 142, 0 = -0*t - 4*t - h*z + 181. Is 8 a factor of t?
False
Let l(m) be the second derivative of -m**4/12 + 2*m**3 + 2*m**2 + 35*m. Is l(8) a multiple of 15?
False
Is (1*-153)/(11/(-33)) a multiple of 24?
False
Suppose -2*p = 3*j - 5*j + 176, -j + 4 = 0. Let a = p + 116. Is 4 a factor of a?
True
Suppose -3*h - 29 = 4*o - 0, 2*h - 3*o = -8. Let i(l) be the first derivative of l**3/3 + l**2/2 - 6*l - 192. Does 9 divide i(h)?
True
Let q(u) = u**3 + 13*u**2 - 2. Let b be q(-13). Does 41 divide b/4*14*(-246)/7?
True
Suppose -288 + 62 = -4*z + 2*u, 70 = z + 4*u. Is 12 a factor of z?
False
Let n(f) = f**3 + 12*f**2 - 12*f - 8. Is 35 a factor of n(-11)?
True
Let y = 5 + -6. Let c be 4 + -3 - (y + -134). Is 17 a factor of c/(-6)*(-21)/14?
True
Let i(d) = -d**2 - 10*d - 10. Let w be i(-5). Suppose 0 = -3*j - w, 3*g - 2*j = 102 + 208. Is g a multiple of 20?
True
Suppose -7*m = -2*m - 4*l + 50, -3*m - l - 13 = 0. Let x be m/(-4)*(-56)/6. Is 11 a factor of 14 + x - -1*53?
False
Is (-4)/(4*8/(-9808)) a multiple of 49?
False
Is 14 a factor of (2 - 66/(-9))/(1/24)?
True
Let t = -46 + 136. Let m be (t/(-4))/((-9)/24). Suppose 5*v - m = -5*i, -40 = -2*v + i - 16. Is v a multiple of 3?
True
Suppose -2*v - 3*v = 3*y - 1291, 435 = y - 3*v. Is y a multiple of 16?
True
Let q(l) = 2*l**3 - 18*l**2 + 3*l + 59. Is 29 a factor of q(13)?
True
Is 13 a factor of (-7 - -4)*(-52)/4?
True
Let w(m) = 15*m + 33. Does 99 divide w(11)?
True
Let r(c) = -81*c - 287. Does 19 divide r(-5)?
False
Let j = -21 - -20. Let o be j/(((-28)/(-48))/(-7)). Is 12 a factor of (153/6)/(9/o)?
False
Let p(o) = 4*o**2 - 38 + 2*o**2 + o**3 + 31. Is 9 a factor of p(-5)?
True
Let u be ((-18)/30)/(2/(-10)). Suppose -4*q + 11 = u, -5*k = -5*q. Suppose 2*c + c - k*l - 166 = 0, -3*c = 3*l - 156. Is 12 a factor of c?
False
Let f be (-33)/4 + 5/20. Let d be 1 + -1 + (14 - f). Suppose 2*s + 42 = 5*q - 53, 4*s + d = 2*q. Is q a multiple of 17?
False
Let w(i) = 7*i**2 - 13*i - 12. Is 14 a factor of w(6)?
False
Suppose -3*p + u = -573, 3*p - 573 = 2*u + u. Is 39 a factor of p?
False
Let y(b) = b**3 + 11. Let x be y(0). Suppose 0 = x*l - 12*l + 14. Is 2 a factor of l?
True
Let j be 33/(-22)*172/(-6). Suppose -150 = j*a - 45*a. Is 15 a factor of a?
True
Let h = 124 - 52. Is 9 a factor of h?
True
Suppose -w - 1 = 0, -3*w + 45 = -4*i - 0*w. Is 21 a factor of (-1)/2 - 762/i?
True
Let y be 8/3*63/12. Let c be (-28)/4 - -4 - -3. Is -1*(c - -3) + y a multiple of 8?
False
Let g = 571 + -375. Is 6 a factor of g?
False
Let i be 2/4*(0/3 - 24). Is (-32)/(-4)*(-27)/i a multiple of 2?
True
Suppose 0 = 5*l + 165 - 35. Does 18 divide (-442)/l - (0 - 1)?
True
Suppose -1508 = -12*b + 2608. Suppose p = -4*n + 96, -b - 95 = -5*p + n. Is p a multiple of 11?
True
Suppose 8*x = 2*x + 432. Suppose 9*z - x = 108. Is z a multiple of 5?
True
Let q(h) = -4*h - 4. Let o be 6/((-3)/48*-3). Suppose -5*j - o = -j + 5*f, 4*j + 24 = -3*f. Does 8 divide q(j)?
True
Let b = 0 - -3. Suppose 3*z - w - 901 = 0, -b*w = -0*z - 5*z + 1495. Suppose m = -2 + 6, -5*l - 3*m = -z. Does 12 divide l?
False
Suppose -4*q + 5*q + 211 = 0. Let w = q - -400. Suppose 2*v = -5*n - 0*v + 192, 5*n - v - w = 0. Is 21 a factor of n?
False
Let k be 63/15 + (-1)/5. Suppose 2*h + 22 = -k. Is 29 a factor of 119/1 - (h + 16)?
True
Let t = -36 + 41. Is (t - 140/(-12))/((-2)/(-6)) a multiple of 10?
True
Let k = -27 - -20. Let h(q) = -2 + 2 - 15*q - 4 - 1. Is 17 a factor of h(k)?
False
Let p(x) = 3*x - 51. Let k be p(18). Does 12 divide (k - -111 - 5) + 2?
False
Let n(y) = 6*y**2 + 13*y + 21. Let x be n(-9). Suppose 3*q + x = 6*q. Does 13 divide q?
True
Suppose -10*p + 19668 - 5568 = 0. Is 94 a factor of p?
True
Let p = -410 - -1072. Is 48 a factor of p?
False
Suppose 2*g - g - 4*d = 127, -5*g + 3*d + 669 = 0. Is 3 a factor of g?
True
Let b(g) = -g**2 + 8*g + 3. Let l be b(6). Suppose -x + 2*r + 19 = -l, 28 = x + r. Is x a multiple of 22?
False
Let v(w) be the third derivative of -w**6/120 + 4*w**5/15 - 2*w**4/3 + 19*w**3/6 - 14*w**2. Let b be v(15). Is -21*b*8/(-12) a multiple of 12?
False
Let c(n) = 3*n**2 - 15*n + 5. Let u(m) = -m**2 + m + 1. Let b(q) = -c(q) - 4*u(q). Let l be b(-12). Let a = 7 - l. Is a a multiple of 4?
True
Suppose -2*t - 5*u - 102 + 5 = 0, 208 = -3*t + 5*u. Does 14 divide (-3 + t)*6/(-8)?
False
Is 12/(-42) + 302*153/21 a multiple of 40?
True
Suppose m + 69 = -4*l, -l + 2*m - 9 = 5*m. Let h = -12 - -66. Let f = h - l. Is f a multiple of 24?
True
Suppose 0 = 4*t - 2*a - 1374, 0 = -2*t - 3*t + 3*a + 1717. Does 11 divide t?
False
Suppose -2*h - 2*p + 521 = p, h = 3*p + 265. Suppose -3*x - s = -h, 3*x - 3*s + 110 - 368 = 0. Suppose x = 6*g - 39. Is g a multiple of 21?
True
Suppose -5*i + 4 = -6. Suppose i*j - 40 = -3*w + 108, 0 = w - 3*j - 53. Does 25 divide w?
True
Let f(v) be the third derivative of v**7/840 - v**6/45 + v**5/12 - 5*v**3/6 - v**2. Let y(p) be the first derivative of f(p). Is y(7) a multiple of 17?
False
Suppose 5*y - 66 + 1 = 0. Suppose 12*i - y = 35. Is 2 a factor of i?
True
Suppose 5*w + 3*a - 157 = 0, 3*a - 2 + 37 = w. Is 8 a factor of w?
True
Does 9 divide 140/10*2/(4/9)?
True
Let f = -410 + 455. Does 2 divide f?
False
Suppose 0 = -20*n - 116 - 264. Let h = -5 - 50. Let i = n - h. Is i a multiple of 9?
True
Let i(x) = -25*x + 18 - 20 + 14*x. Does 9 divide i(-1)?
True
Let y = -117 - -288. Suppose -4*b = -7*b - y. Let a = -18 - b. Is a a multiple of 13?
True
Suppose -4*j - 67 = -x - 0*j, -3*x - 5*j = -201. Suppose 12 = z - x. Is z a multiple of 24?
False
Let w be 1*((-1 - -3) + -2). Suppose 3*z + 20 + 22 = w. Let b(n) = -n**2 - 15*n - 3. Does 7 divide b(z)?
False
Suppose -4*x = 4*s - 52, -6*x + s + 35 = -3*x. Does 38 divide (-1)/((-3)/x)*(-135)/(-10)?
False
Let i(s) = 9*s**2 + 17*s + 66. Does 32 divide i(-6)?
True
Let z be ((-651)/6)/7*-2. Suppose 552 = -z*k + 35*k. Is 26 a factor of k?
False
Is (412/8)/((-2)/(-20)) a multipl