3))). Suppose w = 3*g + 82, 0 = w - 0*w + 3*g - q. Does 7 divide w?
True
Let d = 3 + 6. Let a be 208/117 - (-2)/d. Suppose 2*y + 3*k + 99 = 6*y, -3*k + 27 = a*y. Does 6 divide y?
False
Let m be ((-10)/(-15))/(2/21). Suppose f + m = j, -3*j = -6*j + 2*f + 18. Is 4 a factor of j?
True
Let p = 525 + -70. Is p a multiple of 35?
True
Let j(x) = x**2 + 3*x + 5. Let a be j(-7). Is (-6 - (3 + -6)) + a a multiple of 7?
False
Let h be 0 - 6/(9/3). Let j be -1 - 1*(-5 - h). Suppose -4*n + 0*c + 105 = -c, -j*n = -5*c - 75. Does 12 divide n?
False
Is (-238)/(-6) + (8/12)/(-1) a multiple of 2?
False
Let j(r) = -7*r - 96. Does 3 divide j(-21)?
True
Let p = -3 + 6. Suppose -5 = p*b - 14. Suppose -3*f + 18 = b*i - 12, 15 = -5*f. Is 3 a factor of i?
False
Let j(y) = -2*y**3 - 7*y**2 + 5*y + 8. Let p be j(-4). Is (-906)/(-3) - p/12*9 a multiple of 46?
False
Is 35 a factor of (-3)/(-75)*5 - (-53541)/45?
True
Let c = 32 + -30. Suppose -5*b - 5*h + 0*h + 345 = 0, c*b - 133 = -3*h. Does 7 divide b?
False
Let z be 28/(-10)*50/(-20). Let c = -5 + 9. Let f = z - c. Does 2 divide f?
False
Let z be (-4)/5*(-20)/8. Suppose z*p - 4 = -0*p. Does 6 divide (p/(-4))/((-1)/16)?
False
Suppose 2*m = -2*p + 3106, -17*m - 16 = -21*m. Does 74 divide p?
False
Suppose -8 = 2*d, -5*d - 1753 = -q + 606. Does 67 divide q?
False
Let z(n) = 3*n + 17. Let v be z(-4). Suppose -2*q + 364 = v*s, 3*s + 2*q - 218 = q. Does 12 divide s?
True
Let v be -15*-4*(-2)/12. Let w = 10 - v. Does 5 divide w?
True
Is 41 a factor of (-465)/(4/(-4) - 0)?
False
Is 5 - -535 - (-10 + 16) a multiple of 18?
False
Suppose -40*z - 2061 + 9741 = 0. Does 14 divide z?
False
Let r = 342 - 235. Let o = r - 65. Is 9 a factor of o?
False
Suppose s + 3*t - 136 = t, 0 = 2*s - t - 247. Does 9 divide s?
True
Let c = -29 + 32. Suppose -4*f + 2 - 48 = -3*b, 5*b - 67 = -c*f. Does 6 divide b?
False
Suppose -3*x = 5*p - 5347, -3*p - 39*x = -36*x - 3213. Is p a multiple of 26?
False
Let j be -6 + 6 - (-10 + 2). Does 6 divide 6*(10/j)/(5/30)?
False
Suppose -18*p + 35270 = 12302. Does 11 divide p?
True
Let h = 2006 + -802. Is h a multiple of 12?
False
Let p(h) = -7*h + 7. Suppose 4*z - 3*z = -5*d - 28, -4*z = -2*d + 2. Is 7 a factor of p(z)?
True
Suppose 0 = -4*y + 12 + 4. Let g be 1*(y - 1)/(-3). Is 5 a factor of 0 - g - 4 - -9?
False
Let k(d) = -4*d - 7. Let p be k(3). Let y = p + 19. Is 10 a factor of (27 - 2) + (y - 2)?
False
Suppose q + 4964 = 4*d, 1795 - 575 = d + 5*q. Does 20 divide d?
True
Suppose 4*h - 81 = 15. Let u be ((-55)/(-44))/(2/h). Suppose -o = -u + 2. Is o a multiple of 13?
True
Suppose -1310 = -7*h + 181. Is 11 a factor of h?
False
Suppose 0 = -4*m - w + 28, -2*m + 13*w - 9*w = -14. Suppose -8*n + m*n = -80. Is n a multiple of 8?
True
Let s(h) = h + 22. Suppose 0 = j + 4*q + q - 6, 4*j = 3*q - 45. Is 3 a factor of s(j)?
False
Let k = -28 - -12. Let u = 48 + k. Let d = u + -11. Is d a multiple of 15?
False
Suppose -27*p = -24*p - 18. Suppose 0 = -p*j - 257 + 761. Is 12 a factor of j?
True
Let t(q) = 76*q**2 + 8*q + 11. Does 22 divide t(-3)?
False
Let m(v) = 7*v**2 + 5*v - 3. Let j be m(-7). Suppose -14*o + 2083 - j = 0. Does 44 divide o?
False
Let s be (-42 - -2) + (0 - -1). Suppose -6*l - 249 = -9*l. Let y = l + s. Is y a multiple of 33?
False
Let j be (12/(-8))/((-6)/16). Let u(q) = 2*q**3 - 3*q**2 - 7*q + 10. Is 24 a factor of u(j)?
False
Let r(t) = 24*t - 58. Does 11 divide r(7)?
True
Let u be (16 - 1)*9/(-9). Let c be 10/u - (-68)/12. Suppose 0*l - c*l = -35. Is l a multiple of 7?
True
Suppose 525 = -5*f + 3225. Is f a multiple of 15?
True
Suppose 360*w - 2350 = 359*w. Is w a multiple of 94?
True
Suppose 3*s - 6*s - 9 = p, -2*p - 2*s = 2. Suppose j - z = -j + 131, -p*j + 200 = 2*z. Is 7 a factor of j?
False
Does 21 divide 1/(-5 - (-1026)/205)?
False
Suppose -5*l = -2*l - 15. Let r(d) = -d**3 + 6*d**2 - 4*d - 3. Let w be r(l). Suppose -2*t - 3*m + m + 70 = 0, -2*t + 58 = -w*m. Is t a multiple of 16?
True
Suppose 5*g = 2*w + 227, -g - w - 2*w = -42. Let b = -91 + g. Let q = 88 + b. Is q a multiple of 7?
True
Suppose -42*m + 44*m - 1530 = 0. Is 9 a factor of m?
True
Suppose -12 = 11*f - 15*f. Suppose 354 = 3*g + 3*o, f*g + 0*o - 353 = -2*o. Is 39 a factor of g?
True
Let p = 3124 + -1125. Is 34 a factor of p?
False
Let m(x) = 7*x**2 + 7*x + 23. Is m(-5) a multiple of 51?
False
Let s(b) be the third derivative of b**4/24 - b**3 + 3*b**2. Let i be s(5). Is (-142)/(-4)*(3 + i) a multiple of 22?
False
Let m(f) = 140*f + 12. Let z be (-1 - 1) + 5/((-10)/(-6)). Is m(z) a multiple of 19?
True
Let y be -8*6/(24/14). Let c = y + 54. Is 13 a factor of c?
True
Suppose -6*a = -2*a - 3*l - 1518, -3*a = 2*l - 1130. Is 6 a factor of a?
True
Let m = -142 - -228. Is 43 a factor of m?
True
Let o(l) = -l**3 - 12*l**2 - 10*l + 21. Let r(m) = -3*m - 11. Let h be r(0). Does 4 divide o(h)?
False
Suppose 4*h + 8 = -3*f, 5*h - 3*h + 4 = 0. Suppose -2*w + 20 + 46 = f. Does 8 divide w?
False
Suppose -2*y + 7*y - 30 = -b, y = 5. Suppose 57 + 163 = b*p. Is 11 a factor of p?
True
Let v(z) = 7*z + 2. Let s(d) = 14*d + 3. Let q(j) = -4*s(j) + 10*v(j). Is q(8) a multiple of 40?
True
Let a = 187 - 110. Suppose 22*d - 26*d + 509 = w, 4*d - 2*w - 518 = 0. Suppose -3*b + a = 6*k - 2*k, -4*b = -k - d. Is 7 a factor of b?
False
Suppose 2*f + 3*f = -25, -3*d + 547 = -2*f. Let m = d - 27. Is m a multiple of 38?
True
Does 49 divide (-1 - (-16)/3)*(110 + -8)?
False
Let j(k) = k**3 + 3*k**2 - 2*k - 2. Let d be j(-3). Suppose d*v - 12 = -0. Suppose 32 = q - 3*x, 5*q + 0*q - 172 = v*x. Is 15 a factor of q?
False
Suppose 3 = -f + 192. Suppose -8*n = -n - f. Is n a multiple of 18?
False
Let r be (-25)/(-9) + 10/45. Suppose -g = -4*z - 102, -4*z - r - 97 = -2*g. Let y = z - -62. Does 28 divide y?
False
Let v(a) = a. Let f be v(5). Suppose -3*m = -2*b - 118, -f*b + 11 + 0 = m. Is 12 a factor of m?
True
Let m be ((-60)/(-50))/((-2)/40). Let t = m + 112. Does 11 divide t?
True
Let u(g) = -g**3 - 6*g**2 + 31*g + 26. Is 32 a factor of u(-12)?
False
Does 10 divide -15 - -10 - (-241 + 2)?
False
Let r(z) = z**2 + 5*z + 10. Let d be r(-2). Suppose 318 = d*s - 122. Does 14 divide s?
False
Is (-1 - 44)*680/(-51) a multiple of 10?
True
Let y = -2 - -8. Is 14 a factor of y/4*176/12?
False
Let f(z) be the third derivative of z**6/120 + 3*z**5/10 - 5*z**4/6 + 4*z**3/3 + 13*z**2. Let d be f(-19). Let k = 9 + d. Is k a multiple of 8?
False
Let b(g) = g**3 + 6*g**2 - 7*g - 9. Let a be b(-7). Let q be (-1051)/a + 14/63. Suppose s - 4*s = -q. Is s a multiple of 13?
True
Suppose 2*t = -4*t + 18. Suppose -3*g + 507 = t*v, g = -2*v + 3*g + 342. Is 34 a factor of v?
True
Suppose -4*k - 4*j + 24 = 0, 4*j - 2 = 5*k - 14. Let n(b) = 0*b + k*b - 2 + b**2 + 2. Is n(-5) even?
False
Let l(h) = -h**3 - 4*h**2 - 2*h + 3. Let d be l(-3). Suppose d = -t + 4*t - 432. Suppose -j - 110 = -4*s, 4*s + 2*j = -s + t. Is 14 a factor of s?
True
Let k(q) = -q**2 - 16*q - 11. Let m be k(-15). Suppose 1 = y - g, 0*y - 3*y - m*g + 31 = 0. Suppose 0 = 4*n + 4, -5*n = c - 0*c - y. Is 5 a factor of c?
True
Let q(b) = -3*b + 45. Is q(-19) a multiple of 34?
True
Does 15 divide -1*33*1265/(-165)?
False
Suppose 37 = -5*p + 2*p - 4*r, -3*p + 3*r - 51 = 0. Let y = p - -18. Suppose 3*z = 2*z + y. Does 3 divide z?
True
Let i be (-5 - -7)/(4/50). Suppose 4*p - 2*b = 144 + 182, -5*b - i = 0. Is p a multiple of 28?
False
Let h = -893 - -1862. Is 19 a factor of h?
True
Suppose -3386 = -3*q - 5*a, -3*q - 2*a - 715 = -4089. Does 22 divide q?
True
Suppose -198 - 1447 = -5*b. Is 25 a factor of b?
False
Suppose -3 = 3*i, 2*i = 5*l - 0*l - 2477. Does 52 divide l?
False
Let w = 146 - 97. Suppose x - 347 = -5*s, -w + 252 = 3*s - 2*x. Is s a multiple of 11?
False
Let k = -21 + 20. Let o be (10/(-15))/(k/(-969)). Is 1/6 + o/(-12) a multiple of 18?
True
Let f be (-3)/(-15)*-6*-5. Suppose f*o + 48 = 7*o. Suppose t - o - 9 = 0. Does 19 divide t?
True
Suppose 587 = 2*j - 5*b, 185 + 1034 = 4*j + 5*b. Is j a multiple of 7?
True
Let y be -6 + 2 + 2 + 2. Suppose -c + 4 = c. Suppose -198 = -c*i - i - 3*j, y = -i + 3*j + 54. Is i a multiple of 13?
False
Suppose -5*p + 2*p = 2*p. Suppose p*c = 2*t - 5*c - 87, 36 = t - 4*c. Does 39 divide t?
False
Suppose -3*f + 2*x + 2*x + 22 = 0, 5*f = -2*x + 28. Let n(y) be the first derivative of -y**3/3