3?
False
Let v = -404 - -419. Is 14 a factor of (-1722)/v*10/(-4)?
False
Suppose 0 = -15*x + 53 + 667. Is -3 + x/15 + (-27534)/(-30) a multiple of 33?
False
Let c(l) = -l**2 - 10*l - 14. Let v be c(-8). Suppose 4*u = -h + 73, -v*u - 3*h = -4*h - 35. Suppose -2 - 10 = -4*t, -q + t + u = 0. Is 4 a factor of q?
False
Let v(x) be the second derivative of -x**5/20 - 4*x**4/3 - x**3/6 - 7*x**2/2 - 2*x. Let z be v(-16). Let b = z + 6. Does 11 divide b?
False
Suppose 3*p = x + 17 - 6, -3*x - 33 = 3*p. Let g be 1*-2 + 17 - -2. Let c = g + x. Does 3 divide c?
True
Let y = 16 + -16. Let m be (24/15 - y)/(22/6875). Suppose m = -8*p + 13*p. Does 20 divide p?
True
Is 83 a factor of 2577*304/57 + 12?
False
Suppose 2*g - 4*n = -20, -4*g + 14 = -7*g - 2*n. Let a(w) be the second derivative of w**4/12 + 2*w**3/3 - 3*w**2/2 + 26*w + 3. Is 2 a factor of a(g)?
False
Suppose 0 = -g - 4, -3*q = -7*q - 4*g - 8. Is 8 - (-4 + -2 + q) a multiple of 3?
True
Let x(r) = r**2 + 16*r - 80. Let t be x(6). Suppose -78*h + 82*h - t = 0. Is 13 a factor of h?
True
Suppose 0 = -f + 2 + 30. Suppose u - f = -u - 3*d, 0 = 4*u - 5*d - 20. Let a(w) = w**2 - 2*w + 18. Is a(u) a multiple of 7?
True
Let c = 3855 - -103. Is c a multiple of 4?
False
Let t(y) = 7*y - 44. Let b be t(5). Let r = b + 23. Suppose r*h - 25*h = -33. Is h a multiple of 2?
False
Suppose -12*q + 16*q - 104 = 0. Suppose 4*n + 149 = u - q, -4*u + 2*n = -630. Suppose -10*i - u = -15*i. Is 24 a factor of i?
False
Let c(b) be the third derivative of b**5/60 + b**4/3 + 2*b**3/3 - 24*b**2. Let f be c(-8). Suppose f*v = 6*v - 36. Is 18 a factor of v?
True
Let f(b) = 2*b**2 - 15*b + 1. Let r be f(7). Let k(y) = -y**3 - 3*y**2 - 12*y + 12. Is 13 a factor of k(r)?
False
Suppose 2*s = 2*o + 2044, -80*s - 4096 = -84*s - 4*o. Suppose 4*t - s = -3*x, 366 = 2*t - x - 133. Is 4 a factor of t?
True
Let q(m) = -17*m + 172. Let y be q(-36). Suppose 3*z + r = 784, -238 = 2*z - 4*r - y. Is 5 a factor of z?
False
Let j = 9524 - 1061. Does 201 divide j?
False
Let m(x) = -3*x**2 + 3*x + 29. Let v be m(0). Let s = 60 + v. Is 20 a factor of s?
False
Suppose 27 = 3*i + 45. Let c = 246 + i. Is c a multiple of 30?
True
Suppose 137*n - 280*n + 54459 = -134*n. Is n a multiple of 86?
False
Suppose -r + 3*o = 2, 26 = 3*r - 3*o + 2*o. Suppose 3*f + 6 = 0, 4*f = k - r - 34. Suppose -5*t - 5*i = -50, -2*t + 2*i + k = -0*t. Is t a multiple of 3?
False
Let x = -7052 + 72191. Is x a multiple of 255?
False
Let a be (2 - 5) + (2 - -5). Let p(y) = 8*y**2 + 3*y - 1. Is 12 a factor of p(a)?
False
Let l = -35 + 43. Let r be 92/l*(7 + (-9)/3). Let u = r + -22. Is u a multiple of 4?
True
Let o(p) = 41*p**2 - 8*p + 11. Let s be o(2). Is 5*4/20 + s a multiple of 10?
True
Let j(y) = 3*y**3 + 237*y**2 + 326*y - 117. Is 39 a factor of j(-77)?
False
Suppose -113183 = -15*p + 67358 + 75104. Is p a multiple of 69?
True
Let g be 3/(-6)*-2 + 5. Suppose -3*s = -15, 3*k - 3*s + 15 = 5*k. Does 25 divide (4/(-3) - k)*(-225)/g?
True
Suppose -2*y + 26229 + 4020 = -m, 5*y + 7*m - 75670 = 0. Does 28 divide y?
False
Let r = -51 - -45. Let q be 250/r - 8/24. Does 10 divide 760/14 - -1 - q/(-147)?
False
Let d(r) = r**3 - 11*r**2 + 18*r - 24. Let t be d(10). Suppose -299 = -9*n - t. Suppose n*w = 23*w + 72. Is 18 a factor of w?
True
Suppose 32*v - 650 = 37*v. Let o be (v/6)/((-6)/(-18)). Let n = o + 103. Is n a multiple of 12?
False
Let v(q) = -3*q**3 - 7*q**2 - 4*q - 1. Let l be v(-3). Suppose 0 = -l*c + 28*c + 143. Is c a multiple of 13?
True
Let q be -4*(-27)/36 + (-2)/(-2). Suppose -a + 0*a + 3*y + 181 = 0, -981 = -5*a - q*y. Is 14 a factor of a?
False
Let f(g) = 3*g**3 + 4*g**2 - 3*g - 3. Let v = -65 + 66. Let l be (v - (3 - -1))/2*-2. Is f(l) a multiple of 12?
False
Let f = -31391 - -39768. Is 2 a factor of f?
False
Let a(y) = -y**3 + 4*y**2 - 2*y - 5. Let x be a(3). Is 10 a factor of 44/77 + (-150)/(-7) + x?
True
Suppose 5*b - 5*j = 2*b + 33, 0 = 4*b + 3*j - 73. Let t be (-2660)/(-15)*1056/308. Suppose 0 = -b*w + t + 1376. Does 12 divide w?
False
Suppose -1202 = -9*f + 229. Let v = f + -96. Does 6 divide v?
False
Let g(s) = -16*s**3 - 3*s**2 + 35*s + 53. Is g(-9) a multiple of 156?
False
Let z = 27750 + -16832. Does 206 divide z?
True
Let r(s) be the third derivative of s**5/30 - 49*s**4/24 + 8*s**3 + 2*s**2 + 101*s. Is r(25) even?
False
Let l(v) = 16*v**2 + v - 2. Suppose 3*h = -9*c + 10*c, 0 = -3*h + 6. Is l(c) a multiple of 29?
True
Let b(f) = -f**3 + 10*f**2 + 16*f + 15. Let d = 58 + -57. Let t be d/(-4) - ((-132)/16 - 3). Does 35 divide b(t)?
True
Let q(u) = -u**3 + u**2 + 11*u - 13. Let g be q(3). Let j(h) = 10*h**2 - g*h + h**3 + 32 + 4*h - 21. Is j(-9) a multiple of 37?
True
Let x = -40 + 38. Let m be (260/(-39))/(x/(-27)). Let i = -17 - m. Is 11 a factor of i?
False
Suppose -2*i + 5*p = -347, -7*i + 2*i + 2*p = -815. Suppose -6*l = -i - 679. Does 11 divide l?
False
Let w(c) = -c + 10. Let x be w(2). Suppose -x*h + 2*h = -12. Suppose 0 = 2*n + h*n - 200. Does 10 divide n?
True
Let p = -46 + 24. Let n(a) = -a**3 - 21*a**2 + 23*a - 27. Let l be n(p). Let y = l - -83. Does 11 divide y?
False
Let y be ((17 + 3)/4)/1. Suppose -2*v = 2 - 4, 0 = -2*x + 5*v - y. Is 13 a factor of (24 - 17)*(13 + x)?
True
Let r(c) = 4*c**3 - 6*c**2 - 6*c + 78. Let u(n) = 5*n**3 - 5*n**2 - 4*n + 76. Let y(k) = 4*r(k) - 3*u(k). Is y(11) a multiple of 13?
False
Is (-6 + 4 - 308)*6/(-24)*14 a multiple of 35?
True
Suppose 2*q - 5*q - 60 = 0. Let o be (-13)/(-5) + (12/q - -1). Suppose -k + 13 = -5*w - 12, o*w = 3*k - 27. Does 5 divide k?
True
Let k(l) = -2*l**3 - 12*l**2 + 2*l + 815. Is 170 a factor of k(0)?
False
Suppose -g + 0*v + 5*v + 7 = 0, 0 = 3*g - 5*v - 11. Suppose -107 = 4*i - 2*j + 77, -36 = i + g*j. Let t = 90 + i. Is 23 a factor of t?
True
Suppose -105 = -12*i + 75. Does 40 divide 3 - 214*i/(-10) - 4?
True
Let k be (-957488)/(-18) + 6 + (-4)/(-18). Suppose 10*c = -25*c + k. Does 19 divide c?
True
Let o(p) = 3*p**3 - 86*p**2 + 72*p + 104. Is o(33) a multiple of 131?
True
Suppose -2*i = -3*y + 166, 4*y + 4*i = 88 + 140. Does 40 divide y?
False
Let v(l) = -31*l - 13. Let b be v(-1). Does 22 divide (12/9)/(b/4941)?
False
Let d(t) = 25*t**2 - 7*t + 1002. Is d(-39) a multiple of 50?
True
Suppose r + 847 = m, -2*r + 662 = m - 188. Is m a multiple of 53?
True
Suppose 0 = 2*n - 5*t - 660, 665 = -5*n - 3*t + 2377. Is n a multiple of 69?
False
Let t = -211 - -220. Suppose 2*d + 203 = t*d. Is 18 a factor of d?
False
Let f = -1643 + 6656. Is f a multiple of 63?
False
Let n(i) = -i**3 - 9*i**2 + 8*i + 14. Let h be n(-11). Suppose 523*k + h = 525*k. Does 14 divide k?
True
Suppose 0 = -3*k + 499 + 176. Suppose k = -2*u + 5*u. Suppose 10 = -2*v, -2*r - u = -5*r - 3*v. Does 5 divide r?
True
Let i = 30 - -33. Does 5 divide (i/(-15))/((-10)/250)?
True
Suppose 893 + 732 = -2*r + 7219. Is r a multiple of 98?
False
Let f be (-1 - 3 - (21 + -23)) + 10. Suppose f*n + 0*n = 4096. Does 30 divide n?
False
Suppose -267*f = 3*x - 270*f - 17901, 2*x = -3*f + 11919. Is x a multiple of 21?
True
Let y(g) = 3*g**2 + 9*g - 8. Suppose 0 = 2*b - 3*b - 2*x, 0 = -4*b + 4*x + 24. Let n(i) = i**2 + i + 1. Let v(o) = b*n(o) - y(o). Is 13 a factor of v(7)?
True
Suppose 20912 = 2*m + m - y, -3*m + 20932 = 4*y. Does 23 divide m?
False
Suppose 4*n = 5*d - 42914, -16*d + 25742 = -13*d - 4*n. Is d a multiple of 17?
False
Suppose 0 = -5*s - 128 + 148. Suppose s*v - 12 = v. Suppose -v*r - p + 4*p = -398, 3*p + 202 = 2*r. Does 9 divide r?
False
Suppose -2*m = -15 + 7. Let f be (-1)/(m/(-1958 + -2)). Suppose -2*j + f = 5*j. Is j a multiple of 14?
True
Let d be -168*((-228)/48 - (-5 + 1)). Let s = -47 + d. Is 7 a factor of s?
False
Let z(p) = 4*p**3 + 3 + 4*p - 4*p**3 - p**3. Let n be 52/(-20) + (-4)/10. Is z(n) a multiple of 9?
True
Let s = 24433 - 2331. Does 16 divide s?
False
Let a = 16140 + 1948. Is a a multiple of 136?
True
Let q(l) = 12*l**3 + 6*l**2 - 4*l + 1. Let v be q(-3). Let z = v + 477. Is z a multiple of 10?
True
Let x be (-52)/(-9) + 46/207. Is 13 a factor of (4 - 12*x/16)*-1308?
False
Suppose 3*o - 184 - 1361 = 0. Let j = o + -227. Is 24 a factor of j?
True
Let j(r) = r**3 - 9*r**2 - 13*r + 33. Let z be j(10). Suppose -3*b = -5*b + 4*o + 244, z*b + o - 352 = 0. Does 5 divide b?
False
Let s(t) = 24*t - 9. Let j be s(4). Let