*3 + 4*a**2 - 7. Let l(k) = 6*i(k) - o(k). Is 5 a factor of l(12)?
False
Suppose -124*p + 128*p - 9988 = -2*n, -3*p + 4995 = n. Is 64 a factor of n?
True
Let s = -13071 + 29256. Is 39 a factor of s?
True
Suppose 18*b = 32*b - 44954. Is 106 a factor of b?
False
Suppose 0 = 148*l - 173*l + 62750. Is 5 a factor of l?
True
Let z(d) = 9*d - 24. Let o(w) = w - 1. Let t(f) = -o(f) - z(f). Let b be t(3). Let r = 53 - b. Is 40 a factor of r?
False
Let g be 6/(-1 + 14/8). Suppose 5*u = g*u. Suppose 4*r - 176 = -u*x + 4*x, r + 2*x - 29 = 0. Is r a multiple of 10?
False
Suppose -8*l + 25 = -3*l. Suppose 2*j - 520 = q - 3*q, -260 = -q - l*j. Is q a multiple of 13?
True
Let s be (136/(-12) - 0)*(-6)/4. Suppose s*q - 246 = 434. Does 10 divide q?
True
Let t be (6 - (6 + -3))/(-3). Let h be 4/t - (-6)/(-12)*-8. Let i(n) = 9*n + 10. Is 4 a factor of i(h)?
False
Let f(s) = 2175*s**2 + 979*s - 1964. Is 9 a factor of f(2)?
True
Suppose 5*q = -0*q - 715. Let s = q - -250. Let x = s + -37. Does 10 divide x?
True
Suppose -537 = -38*q + 147. Is q a multiple of 6?
True
Suppose 6*u - 67 = -13. Suppose 11*f - u = 8*f. Does 29 divide (-145)/((-6)/f - -1)?
True
Suppose -6091*m + 6094*m - 5079 - 24606 = 0. Does 3 divide m?
False
Suppose -53*f + 58*f = 2895. Suppose f = -2*o + 1909. Let b = o - 401. Is b a multiple of 40?
False
Let m(t) = 202*t**2 + 75*t + 598. Does 169 divide m(-7)?
True
Let m(t) = 14 - 51*t - 24 + 21*t - 2 - 27. Is m(-5) a multiple of 6?
False
Suppose -2*z + p = -6*z + 889, 2*p + 211 = z. Suppose 5*h - 47 - 248 = 0. Suppose -h = g - z. Does 9 divide g?
True
Let d = 10306 - 7103. Is d a multiple of 10?
False
Let j be 4 + (5 + -1 + -1 - -38). Suppose 6*q - 861 = j. Is 18 a factor of q?
False
Let s(n) = 3*n**2 + 7*n + 18. Let v(a) = a**2 + a + 4. Let b(w) = -s(w) + 5*v(w). Is b(2) a multiple of 5?
False
Let h(v) = -v**3 + 19*v**2 - 12. Let k(o) = -3*o - 5. Let q be k(-8). Let w be h(q). Does 7 divide 12/16 - 411/w?
True
Let y(l) be the third derivative of 5/4*l**4 + 0*l + 11/3*l**3 + 0 + 17*l**2. Does 22 divide y(3)?
False
Suppose 6 + 63 = 23*p. Suppose i = -p*g - i + 316, 3*i - 315 = -3*g. Does 78 divide g?
False
Let i = -65 + 67. Let k be -2 + 253*i/4*2. Let a = 467 - k. Is 24 a factor of a?
True
Let g = 61 - 337. Let y be 2/7 + g/(-14). Is -190*(1 + (-28)/y) a multiple of 16?
False
Let l(u) = -66*u**3 - 11*u**2 + u - 5. Does 63 divide l(-8)?
True
Let b(j) = 96*j - 204. Suppose 0 = -20*p - 6 + 346. Is b(p) a multiple of 102?
True
Suppose 2*d + d = 72. Suppose 22 = -p + d. Suppose 3*n - 22 = p*n - 3*z, -5*n + z = -30. Is n a multiple of 3?
False
Let v(m) be the third derivative of 163*m**5/60 + 3*m**4/8 - 3*m**3/2 - 17*m**2 - 2. Is v(1) a multiple of 19?
False
Let z(b) = -b**2 - 23*b - 91 + 38 + 42. Is 4 a factor of z(-19)?
False
Let a(y) = y**2 - 8*y + 38. Let f be a(-15). Does 37 divide 2/(-4)*(13 - f)?
True
Let l(z) be the first derivative of -9*z**2/2 + 10*z - 2. Suppose -25 = 3*a + y - 12, -3*a - 5*y + 7 = 0. Is 7 a factor of l(a)?
False
Suppose -1 = 2*i - 29. Suppose 80 = i*n - 6*n. Suppose -s + n = -108. Is s a multiple of 21?
False
Let h(x) = 9*x**2 - 5*x - 84. Let r(y) = 9*y**3 - 5*y**2 - 8*y - 4. Let f be r(-1). Is 10 a factor of h(f)?
False
Let y(m) = 86*m**2 + 6*m - 8. Let p be y(2). Let l = -246 + p. Suppose -2*v + f + 75 = 0, -3*v - 5*f - l = -6*v. Is v a multiple of 2?
False
Let a = 273 + -73. Suppose s - 15 = -2*y + y, 0 = -5*s - y + 87. Suppose 5*j = -3*l + a, 3*j - 90 = -l - s. Is 20 a factor of l?
True
Let a(u) = 91*u**2 - 3*u. Suppose -17*c = -32*c - 30. Is a(c) a multiple of 20?
False
Let f(k) = k**3 - 10*k**2 - 57*k + 28. Let s be f(14). Suppose 0 = s*r - 2825 - 1977. Does 74 divide r?
False
Suppose -w = w - 4. Suppose 4*f = 3*g - 4*g + 564, -w*f = 3*g - 1732. Does 12 divide g?
False
Let n(x) = -142*x**3 - 3*x**2 + x + 30. Is n(-3) a multiple of 47?
False
Let s = -19 + 22. Does 14 divide ((-1285)/30*-3)/(s/6)?
False
Let i(r) = 130*r**2 + 101*r + 531. Is 28 a factor of i(-5)?
True
Let p(w) = w**3 + 8*w - 28*w + 84*w**2 + 49 - 67*w**2 - 5. Is p(-17) a multiple of 8?
True
Suppose -1209 = -5*j + h, -j + 7*h + 237 = 2*h. Suppose -3*x - 274 + 45 = 2*w, -3*x = -2*w + 209. Let u = x + j. Is u a multiple of 21?
False
Let c(z) = z**3 - 5*z**2 - 3*z - 5. Let r(p) = -13*p - 57. Let x be r(-5). Is 52 a factor of c(x)?
False
Suppose 1005 = -41*t + 44*t + 4*r, t - 325 = 2*r. Is 8 a factor of t?
False
Suppose 561*n - 4513993 - 2041494 = -1969312. Is n a multiple of 15?
True
Let h(y) = 59*y + 20. Let w be h(-6). Let u = w + 502. Does 14 divide u?
True
Let c be -20*((-1)/2)/((-2)/(-6)). Let o be c/4*36/(-10). Let l = o - -59. Does 16 divide l?
True
Suppose -4052 = -4*o + 1196 + 26244. Is o a multiple of 11?
False
Let u(z) be the first derivative of z**3 + 13*z**2/2 - 2*z + 348. Let j = -2 - 7. Does 7 divide u(j)?
False
Let z(p) = 3*p**2 + 31*p - 29. Let k be z(-11). Let t(c) be the first derivative of c**4/4 + 3*c**3 - c**2 - 19*c + 1. Does 31 divide t(k)?
True
Let x = 2075 - 650. Suppose 0 = 2*y + y - x. Is y a multiple of 52?
False
Let u(q) = 2277*q + 21. Let t be u(1). Suppose -4*g = 634 - t. Is 9 a factor of g?
False
Let m be 645/135 - (-6)/27. Suppose -o + 352 = -3*x, 8*o - m*x = 6*o + 704. Is 2 a factor of o?
True
Let l = 12 - 9. Suppose 21*c = 15*c + 30. Suppose 0 = s - l*s - 4*p, s = c*p + 28. Is 8 a factor of s?
True
Is 37903/6 + 338/(-2028) a multiple of 20?
False
Suppose 3*q + 2*a - 6*a = -123, 5*q + 2*a + 231 = 0. Let t be (-8)/(-36) + (-395)/q. Suppose 0 = 3*o + t*o - 252. Does 21 divide o?
True
Suppose 11*w - 7*w = -4*u + 55868, 0 = 4*w + 5*u - 55865. Is 55 a factor of w?
True
Suppose -3*m = -3*w - 27036, 3*w = 6*m - 16283 - 37789. Is 14 a factor of m?
False
Let c = 23 + 1427. Is c a multiple of 50?
True
Let j be (165 - -1) + (10 - 3 - 5). Suppose 5*c + 3*w = 155, -j + 31 = -4*c - 5*w. Let g = 45 + c. Is 8 a factor of g?
False
Let d(l) = -2*l + 3. Let m(f) = f**2 - 22. Let z be m(-5). Let x be d(z). Let p(h) = -9*h + 11. Is 9 a factor of p(x)?
False
Suppose 802*b - 700 = 800*b. Is b a multiple of 5?
True
Suppose -5*w + 8*w = 10284. Suppose -9172 = -35*t + w. Is t a multiple of 36?
True
Suppose -o - q + 2 = 0, -o + 4*q - 8 = -2*o. Suppose o*h = h - r - 1, -10 = -2*r. Suppose 22*x - h*x = 224. Is x a multiple of 4?
False
Let m(k) = k**2 - 2*k + 4. Let l be m(3). Let z(a) be the first derivative of 2*a**3/3 + 13*a**2/2 - 23*a + 2. Is z(l) a multiple of 15?
False
Let t(l) = l**2 + 6*l - 36. Let u be t(-10). Suppose 3*i - 5*k = 89, -20 = -u*i - 3*k + 89. Is i a multiple of 7?
True
Is 25 a factor of ((-192)/(-5))/((280/(-450))/(-14))?
False
Suppose -17 = -6*j + 3*z - 128, -4*j - 2*z = 94. Let l(m) = 2*m**3 + 47*m**2 + 43*m + 46. Is l(j) a multiple of 33?
False
Suppose 10*u + 48 = 22*u. Suppose -70 = -5*j - 3*t, 4*j + 2*t = 7*t + 56. Suppose u*x + j - 110 = 0. Is 6 a factor of x?
True
Suppose 37*c - 18412 = 24878. Is 9 a factor of c?
True
Suppose -4*q + 12 = 0, 39*i - 34*i + 32*q = 68201. Is 257 a factor of i?
True
Let t be (65/15)/(3/18). Does 13 divide t/(-5)*975/(-30)?
True
Let j(z) be the second derivative of -z**4/12 - 2*z**3 - 15*z**2 + 12*z. Let f be j(-12). Is 5 a factor of (f/9)/((-26)/12 + 2)?
True
Let q(d) = 2*d**2 + 6*d + 11. Let x be q(-2). Is -177*14/(-6) + x a multiple of 19?
False
Let f(w) = -100*w + 20. Suppose 11*u = -7 - 37. Is 60 a factor of f(u)?
True
Suppose 2230*k = 2187*k + 60630. Is 171 a factor of k?
False
Suppose 2*q - 6*q + 3*b + 49 = 0, 41 = 3*q + 2*b. Suppose 0 = -q*y + 16*y - 720. Is y a multiple of 24?
True
Does 15 divide (1449495/(-567)*4/(-10))/((-3)/(-14))?
False
Let r = 193 - 177. Let o be (-4)/5*5/(-1). Suppose v + 5*d = -v + 18, o*d = -r. Is 19 a factor of v?
True
Suppose 7838 = 3*q - 2*i, -q - 7*i = -9*i - 2618. Is 15 a factor of q?
True
Suppose 62*y - 587524 = 1234904. Does 333 divide y?
False
Suppose 5*k + 41 = 4*f - 125, -4*k - 2*f - 112 = 0. Let q = 130 - k. Does 5 divide q?
True
Suppose -69*x + 66*x + 1200 = 0. Suppose -5*w + 4*y = -x, 3*w - 4*y = -0*w + 240. Is w a multiple of 21?
False
Let c(x) = -8*x**3 - 2*x**2 + 7*x - 8. Let q be c(2). Let o = -373 - q. Let m = -91 - o. Is m a multiple of 25?
False
Let m(s) = s**2 + 7*s + 9. Let w be m(-1). Suppose v - 5*u = 247, 757 = w*v - 3*u + 4*u. Is v a m