3 - a**2 + 2*a - 2. Is 8 a factor of f(m)?
True
Let m(n) = -n**3 - 4*n**2 - 4*n - 1. Let o be m(-3). Let w be 48/22 + o/(-11). Suppose -w*h + 3 = t, h = -3*t + t + 15. Is 5 a factor of t?
False
Is 26 a factor of (-13)/234*3 - 8006/(-12)?
False
Let z(b) be the second derivative of 27*b**5/10 + b**4/6 - b**2/2 - 4*b. Let i be z(1). Suppose -4*r = 4*d - 152, -4*d = -4*r + i + 65. Is r a multiple of 17?
True
Suppose -38*y + 67183 = -50351. Does 62 divide y?
False
Suppose 14*a - 1095 = -143. Is a a multiple of 34?
True
Suppose 12*l - 97 - 35 = 0. Is (49/4)/((l + -5)/24) a multiple of 40?
False
Suppose 0 = -3*i - 2*i + 3*q - 27, i - 9 = -3*q. Does 6 divide 1/i - 5/(30/(-146))?
True
Suppose 0*x = -x - 953. Let g = -458 - x. Is g/10 + (-1)/2 a multiple of 16?
False
Let k(f) = f**3 + 17*f**2 - 21*f - 19. Is 26 a factor of k(-17)?
True
Let r(n) = n - 13. Let d be r(7). Let o be (12/(-36))/(1/d). Let y(s) = 7*s + 2. Is 16 a factor of y(o)?
True
Suppose 3*g = d - 0*d + 155, -2*g - 3*d = -85. Suppose -6*u - g = -7*u. Is u a multiple of 5?
True
Suppose 0 = -r + 4*n + n + 376, 4*n + 1568 = 4*r. Let y = -280 + r. Does 5 divide y?
False
Suppose -4*i - 7 = -a - 2, 5*a - 25 = 5*i. Suppose -a*q + 835 = -0*q - 2*l, -3*q - 4*l + 475 = 0. Does 37 divide q?
False
Suppose -2*o - 16 = -42. Suppose 5*c + 2*i - o - 11 = 0, 5*c + 3*i - 26 = 0. Suppose w + 2*w + 3*b = 318, -c*b - 283 = -3*w. Is w a multiple of 18?
False
Let q(u) = u**2 - 13*u - 28. Let r(h) = -h**3 - 4*h**2 - 6*h - 5. Let n be r(-4). Is 43 a factor of q(n)?
True
Let l(n) = 22*n - 4. Let b(m) = m. Let g be 7/2*8/14. Let o(i) = g*l(i) - 36*b(i). Does 14 divide o(8)?
True
Suppose 3 = 6*c - 9. Suppose 3*x + 23 + 28 = 5*f, -f = c*x + 34. Let z = x + 49. Is 4 a factor of z?
True
Let m(l) = -2*l + 3*l + 6 + 2*l**2 - 7*l - 5*l. Does 36 divide m(-9)?
False
Let q = -217 - -382. Does 15 divide q?
True
Let n(o) = -o**3 + o**2 + 7*o + 7. Is n(-10) a multiple of 61?
True
Let o = -3 - -2. Let j(u) = 10*u**2 + 3*u + 4. Let x(k) = 10*k**2 + 2*k + 3. Let l(h) = -4*j(h) + 5*x(h). Is l(o) a multiple of 4?
False
Suppose -25*m + 440 + 110 = 0. Is 3 a factor of m?
False
Suppose -36 - 774 = -9*n. Is 18 a factor of n?
True
Let g = -71 + 230. Is 9 a factor of g?
False
Suppose 24 = 3*i - 42. Let u = -19 + i. Suppose 233 - 80 = u*h. Is h a multiple of 13?
False
Suppose 50*q - 2254 = 3046. Does 17 divide q?
False
Suppose -2*q = 4*q - 42. Suppose 2*y + 535 = q*y. Does 24 divide y?
False
Let z = -6 - 12. Let r = 20 + z. Suppose -r*t - 2*s = -5*t + 67, 0 = 5*s + 10. Does 21 divide t?
True
Suppose -5*m - 1980 = -5*a, 26*m - 792 = -2*a + 22*m. Is 36 a factor of a?
True
Let v(p) = -p**2 + 11*p - 5. Let y be v(10). Suppose 2*x + 0*z - 2*z - 170 = 0, -401 = -y*x - 3*z. Does 15 divide x?
False
Suppose 12*u = 2*u. Suppose -d + 24 = 4*f, 4*d - d - 5*f - 4 = u. Is d even?
True
Let q(d) = 5*d**2 + d - 9. Suppose -9*g = -14*g + 15. Is q(g) a multiple of 16?
False
Does 12 divide 6345/(-18)*2/(-3)?
False
Suppose b - 17 + 4 = 0. Suppose 8*a - 15 = b*a. Does 12 divide -3*(a - -4) - -53?
False
Let w(i) = -231*i + 165. Is w(-4) a multiple of 55?
False
Is (1276/(-174))/(2/(-252)) a multiple of 55?
False
Let x be 4/2 - (3 - 0). Let v = x + 5. Suppose -2*c + 140 = 2*o + 3*o, v*o = -c + 115. Is o a multiple of 8?
False
Let t be (-6)/9 - (-4)/6. Suppose -5*i - 2*j = -326, t*j + 67 = i + j. Is i a multiple of 12?
False
Let l be (100 + -4 + 1)*(6 + -5). Suppose 3*b - 2*g = l, 51 = 3*b - 5*g - 34. Is b a multiple of 7?
True
Let g = 2162 - 1411. Is g a multiple of 10?
False
Let p = -317 - -151. Let f = p - -250. Does 21 divide f?
True
Let d be -3 + 0 + 2 - -7. Suppose -d*u + 4*a + 10 = -u, 0 = 5*a. Does 18 divide 2 - u - (-42 + 6)?
True
Suppose -n - 45 = -665. Is 62 a factor of n?
True
Let w = -1185 + 3708. Is 127 a factor of w?
False
Is (-3640)/(-42)*(-882)/(-35) a multiple of 38?
False
Suppose -2*m - 2*d = -194, 0 = 4*m + d + 2*d - 388. Let x = -47 + m. Suppose -5*s + 87 = 4*i - 99, s = -4*i + x. Is 19 a factor of s?
False
Let u(s) = 8*s**3 - 3*s**2 + 7*s. Is u(3) a multiple of 7?
True
Let g(h) = -3*h**3 - 11*h**2 + 3*h + 20. Does 12 divide g(-8)?
True
Suppose i + 402 = 955. Is i a multiple of 19?
False
Suppose -31 = -4*g - 15. Suppose g + 2 = 2*n. Suppose -a + n*s = -30, -3*a + 4*s = -2*a - 33. Is a a multiple of 7?
True
Suppose 4*u - 29 = 11. Suppose -2*f = 3*i + u, -4*i = -i + f + 5. Does 13 divide (-21)/7 + i + 27?
False
Let z(o) = -329*o + 1. Let b be z(-1). Let g = 272 - 267. Suppose 0*d - b = -g*d. Is d a multiple of 11?
True
Let w = -6957 + 10317. Is w a multiple of 70?
True
Let v(r) = -r**2 + 3*r + 1. Let j be v(4). Suppose 0 = -4*y - x + 120 - 11, -2*y - 4*x + 72 = 0. Let i = y + j. Does 6 divide i?
False
Suppose 5*u + 0*u - 1203 = n, 945 = 4*u + 5*n. Is 12 a factor of u?
True
Let q(v) = -v**2 - 5*v. Let l = -8 + 17. Let m be (-2)/(2 - l/6). Is 4 a factor of q(m)?
True
Let y be -4 - ((-16)/104 - (-5705)/(-13)). Suppose 2*q = 5*g + 165, -5*g = -12*q + 7*q + y. Is 9 a factor of q?
True
Let p(g) = -g**3 + 14*g**2 - 13*g + 3. Let i be p(13). Suppose 51 = 4*o - 3*z, i*z = 5*o - z - 64. Let x(s) = -s**2 + 13*s + 8. Does 4 divide x(o)?
True
Suppose 5*w + 50 = 1200. Is w a multiple of 10?
True
Let k(a) = a**2 + 13*a + 2. Let r be k(-13). Let h(g) = 1 - 8 - 2*g - r. Does 3 divide h(-7)?
False
Let u(d) = d**3 + 24*d**2 + 35*d + 22. Does 53 divide u(-22)?
False
Let w = 8 + -8. Let j(h) = h**2 - 5*h + 7. Let m be j(4). Is 90 - 1*(w - m) a multiple of 19?
False
Suppose 2*h + 2*h = -56. Let k be (-130)/h + 2/(-7). Suppose 2*r - k = 5. Does 4 divide r?
False
Let t(v) = 4*v**2 - 14*v + 1. Let u be t(4). Suppose -m - u = -13. Suppose 8 = -m*l + 32. Does 3 divide l?
True
Suppose 3*g + 0*n - n = 14, -5*g - 4*n = -12. Suppose u + g = 5. Suppose y - 18 = -u. Is y a multiple of 4?
False
Let b be (-2 + -7)/(6/(-88)). Suppose -15*s = -11*s - b. Is 3 a factor of 3/(-2 - s/(-15))?
True
Suppose 465 = b + 4*b. Suppose 2*y - 4*k = 54, 0*y = 5*y + 4*k - b. Is y a multiple of 7?
True
Suppose 8*q - 6*q = -12. Let u(l) = -17*l - 1. Let t be u(1). Is 9 a factor of ((-9)/q)/(t/(-168))?
False
Let m(t) = t**3 + 14*t**2 - 2*t + 12. Is m(6) a multiple of 30?
True
Let c(d) = 58*d**2 + d. Let r be c(-1). Let x be 23/(2/(-1 - 1)). Let s = r + x. Is 18 a factor of s?
False
Suppose 100*c - 102*c = -1218. Is 29 a factor of c?
True
Suppose 0 = -2*f + 4*o + 18 + 4, -3*f = -o - 8. Let c be -1 - (f - -1) - -101. Suppose 3*x - c - 154 = 0. Is 13 a factor of x?
False
Let u(j) = -7*j - 11. Let r(m) = -2*m**2 - 34*m - 5. Let q be r(-17). Is 17 a factor of u(q)?
False
Suppose 12 - 45 = -3*k. Suppose k*d - 72 = 10*d. Is d a multiple of 24?
True
Suppose 2*x = -6, 0 = -3*h - 0*x + 2*x + 12. Suppose -3*p = h*p. Suppose -r - 5*a = -p*a - 57, 2*a - 42 = -r. Does 18 divide r?
False
Let c be 46/(-8) + 18/24. Does 39 divide c/(15/(-12)) - -35?
True
Let v(r) = -7*r + 11. Let u = -67 + 52. Is v(u) a multiple of 22?
False
Let n(j) = -14*j**2 - 25 - 51*j**3 + 2*j + 23*j + 50*j**3. Is n(-16) a multiple of 27?
False
Let w be (-1 - 2)*8/(-6). Let f be (-3 - 220/(-70)) + 165/21. Does 3 divide (-25)/(-2) - w/f?
True
Is ((-441)/245)/(1/(-15)) a multiple of 9?
True
Suppose 2*s = -32 + 32. Suppose 36*h - 35*h - 32 = s. Is h a multiple of 9?
False
Let j(v) = -v**3 - 4*v**2 - 17*v + 11. Is j(-8) a multiple of 7?
False
Suppose 2*a + 2*a - 2367 = -5*j, -5*a - 5*j + 2965 = 0. Does 23 divide a?
True
Let x be (-2)/4*(-72)/4. Let o(h) = h**3 - 8*h**2 - 10*h + 4. Let k be o(x). Let b(j) = -j**3 - 4*j**2 + 2*j - 2. Is b(k) a multiple of 10?
False
Let p = 557 - 824. Let d = -171 - p. Does 12 divide (d/20)/((-3)/(-15))?
True
Let d be ((-5)/10 - 0)*-242. Let i = d + -82. Is 13 a factor of i?
True
Suppose -22531 = -38*r + 18395. Is r a multiple of 101?
False
Suppose 540 = 4*o - 4*q, -o + 18 = -5*q - 97. Is 14 a factor of o?
True
Suppose -3*c = -3*f - 21, 0*c - 3*f + 19 = 5*c. Suppose -5*o + c = -60. Is o a multiple of 2?
False
Let n(o) be the second derivative of o**5/30 - o**4/24 - 7*o**3/6 - 2*o**2 - 3*o. Let k(c) be the first derivative of n(c). Does 18 divide k(6)?
False
Let p be (-3 + 3)/(-1) - 17. Let a = 2 + p. Is (39/a)/(1/(-5)) a multiple of 4?
False
Does 26 divide 3135/9 + 3*12/54?
False
Let g(x) = -x**3 - 15*x**2 + 38*x - 