 m a multiple of 14?
True
Let f(y) = 40*y**3 - y**2 - 2*y + 6. Does 9 divide f(3)?
True
Suppose 7*f - 4*f + 9 = 2*c, -3*c - 3*f = 24. Let b(a) = -2*a - 4. Let k be b(c). Suppose 0 = p - k*o - 8, 2*o + 20 = 3*p - 2*o. Does 3 divide p?
False
Suppose -5*z - 183 = 4*p + 423, -4*p = -z + 618. Let h = p + 274. Is 24 a factor of h?
True
Let j(l) = -2*l + 11. Let m be j(7). Let g be 2 + 1 + m + 33. Let y = -24 + g. Is y even?
False
Let w(f) = 2*f**3 - 26*f**2 + 41*f + 6. Is 8 a factor of w(13)?
False
Let i(q) = -q**3 - 2*q**2 - 4*q - 1. Let p be i(-3). Suppose p = -s + 23. Suppose 182 = 4*w - 2*u, s*w - 2*w - 2*u = 41. Is 22 a factor of w?
False
Let o be -5 + (-342 - -1)/(-1). Suppose -8*i = -3*i - q - 1616, -3*q + o = i. Does 15 divide i?
False
Suppose -165 = -l - 2*j, -170 - 205 = -2*l + 5*j. Is l a multiple of 35?
True
Let i(j) = 2*j**3 - 4*j**2 + 10*j - 20. Is i(7) a multiple of 60?
True
Does 7 divide (-1 + 0)*(-33 + -47)?
False
Let h = -132 - -206. Let t be h - (3 - (-3 + 3)). Suppose -t = -n + 2*q, -4*q + 0*q - 213 = -3*n. Does 18 divide n?
False
Suppose -5*w + 1296 = -l, -267 + 4 = -w + 4*l. Is w a multiple of 78?
False
Let f(h) = -5 + 6*h**2 + 57*h**2 + h + 2*h - 33*h**2. Is 51 a factor of f(3)?
False
Let q(i) = i**3 - 11*i**2 + 5*i - 1. Let m = 37 - 26. Is q(m) a multiple of 11?
False
Suppose 3*x + 16 = v - 4, 0 = 4*x + 20. Let k be (-41)/3*270/(-45). Suppose -2*y + v*y - k = -4*t, 4*t - 116 = -4*y. Is 8 a factor of y?
False
Let y(b) be the third derivative of -b**6/120 - 7*b**5/60 + b**4/24 + 7*b**3/6 + 7*b**2. Let z be y(-7). Suppose 4*r - 206 + 46 = z. Is 10 a factor of r?
True
Is 0/4 + -5 + 104*6 a multiple of 46?
False
Let z(s) = -5 + 5 + 0*s - s. Let g be z(2). Is 41*g/(1 - 3) a multiple of 20?
False
Let g = 625 + -79. Does 14 divide g?
True
Let s be ((-29)/4*1)/(9/(-252)). Suppose 0 = -v + 4*r + 64, 4*v - 2*r - 67 = s. Does 17 divide v?
True
Let q(w) = -w + 11. Let r(l) = 3*l - 2*l + 10 - 2*l. Let a(v) = -5*q(v) + 6*r(v). Is 3 a factor of a(-5)?
False
Suppose 5*q + q - 1056 = 0. Is q a multiple of 44?
True
Let w = 1410 - 486. Is w a multiple of 22?
True
Let x = 2837 + -1775. Is 6 a factor of x?
True
Let c(k) = 7*k + 19. Let v(b) = 3*b - 7. Let x = 26 + -21. Let j be v(x). Is 15 a factor of c(j)?
True
Let k(g) = -g + 41. Let c be k(0). Let u = c + -16. Does 8 divide u?
False
Let i(b) = -24*b**3 + 3*b**2 + 15*b + 7. Is 23 a factor of i(-2)?
False
Is 49 a factor of -343*(3 + (-134)/14)?
True
Let z(j) be the second derivative of -1/12*j**4 - 5*j + 0 + 9/2*j**2 + 1/6*j**3. Is z(0) a multiple of 2?
False
Let r(m) = 11*m**2 - 2*m + 1. Let h be r(1). Suppose 4*w = 5*c + 2 + h, -5*c - 30 = 5*w. Does 15 divide 2/4 - 298/c?
True
Suppose 16*t - 160691 = -21*t. Is t a multiple of 38?
False
Suppose -v - 107 = -152. Is v a multiple of 9?
True
Suppose z - 490 = -4*o, 2*o + 1785 - 287 = 3*z. Let s be (z/12)/(2/(-4)). Let k = -59 - s. Is 14 a factor of k?
False
Let k(c) = 3*c + 3. Let g be k(3). Let a(r) = 11 + 10*r**2 - 5*r**3 + r**3 + 3*r**3 - g*r. Does 10 divide a(8)?
False
Let u = 28 + -23. Suppose -4*k + 5 = -5*y, -u = -2*k + 3*y + 2*y. Suppose p + 0*p - 28 = -3*h, k = 2*h - 8. Is p a multiple of 16?
True
Suppose -2*i + 1 = -1, i = -2*n + 1. Is 4 - n - 16/8 even?
True
Let v(k) be the first derivative of -k**4/4 + 4*k**3/3 + 2*k**2 + 12*k + 7. Let u be v(5). Let r(x) = 2*x**2 - 8*x - 2. Is r(u) a multiple of 8?
True
Let p = 318 - -78. Does 20 divide p?
False
Let h = -166 - -233. Is h - (-4 - 40/(-5)) a multiple of 28?
False
Suppose -3*m + v + 591 = 0, 0 = m + 10*v - 5*v - 213. Does 3 divide m?
True
Is (-210)/((-11)/(-132)*-2) a multiple of 15?
True
Suppose 15 = 3*z + 2*z. Let h be 2 + (-1 + 4 - z). Let i(f) = 3*f**2 + f + 2. Is 8 a factor of i(h)?
True
Suppose 4*l - 4*b = 8, 0 = -0*l + l - 3*b. Suppose -4*v - 72 = -3*s, -s - l*v + 7 = -4. Is s even?
True
Suppose -4*w + 30 + 79 = 3*y, -y + 29 = 5*w. Suppose -15 + y = 2*t. Is t a multiple of 2?
True
Does 16 divide (50/6 + -7)*84?
True
Let v(r) = 5*r**2 + r + 7. Let k(a) = 3*a. Let x be k(1). Does 20 divide v(x)?
False
Suppose -19 = -3*r + 386. Suppose -2*b + 136 = 2*y, 2*y + 2*y - 4*b - 304 = 0. Let c = r - y. Is 18 a factor of c?
False
Let j(l) = -l**3 - 5*l**2 + 17*l + 6. Let p be j(-7). Is 51 a factor of ((-140)/p)/((-4)/(-54)) - -1?
False
Let i(u) = -u**2 - 13*u - 15. Suppose 4*d - 3 - 19 = 2*j, 2*j - 2*d = -18. Does 8 divide i(j)?
False
Suppose -5*w = 4*u - 876, 63*w - 65*w = -u + 219. Is u a multiple of 10?
False
Suppose 5*f - 12 = -57. Is (-295)/f - (-22)/99 a multiple of 11?
True
Suppose -3*p - o + 197 = -5*o, 300 = 4*p + 4*o. Is p a multiple of 7?
False
Suppose s = -4*f + 2204 - 748, 0 = -5*f. Is 112 a factor of s?
True
Let b = 4402 - 2379. Is b a multiple of 40?
False
Let a = -102 - -77. Let j = 53 + a. Is j a multiple of 19?
False
Let w(f) = 31*f**2 - 2*f. Does 7 divide w(1)?
False
Let a(f) = -5*f**3 - 20*f**2 - 27*f - 73. Let t(n) = n**3 + 5*n**2 + 7*n + 18. Let m(s) = 2*a(s) + 9*t(s). Does 17 divide m(-5)?
True
Suppose -2*j = -4*j + 8. Suppose 3*w = w + j. Suppose -5*y - u = -57, 0*u = -w*u + 4. Does 3 divide y?
False
Let w(m) = m**3 + 7*m**2 + 3*m - 13. Let a be w(-6). Suppose 2*i - 2*u = 3*i - 56, 0 = a*i + 3*u - 294. Does 20 divide i?
True
Suppose -4*u + 429 = 5*x, -4*u + 3*x + 227 = -226. Let g = 327 - u. Is 12 a factor of g?
True
Let f be (-1)/(((-6)/(-2))/(-6)). Suppose 0 = f*q - 2, -4*i + 5*q = -0*i - 287. Is 10 a factor of i?
False
Suppose 643 = -3*l - 47. Let a = l + 74. Let f = a + 234. Is f a multiple of 26?
True
Suppose 0 = -2*y + 5*j + 293, 0 = y - 4*j - 97 - 42. Let x(h) = -h**2 - 7*h + 33. Let s be x(-15). Let p = y + s. Does 24 divide p?
True
Let l(i) = -48 + 4*i + 55 - 3*i. Let m be l(0). Suppose 0 = m*t - 44 + 2. Is 6 a factor of t?
True
Let a be 3 - (-3 - -4 - 0). Is 10 a factor of a/10*-4*-25?
True
Suppose 4*h - 4 - 112 = 0. Is h a multiple of 29?
True
Suppose 140 = 4*i + f, -f = 5*i + 15 - 191. Let x be (-15)/2*48/i. Is 16 a factor of (-5)/(x/42) - 0?
False
Let x(o) be the first derivative of 2*o**2 + 4 + 3*o + 1/3*o**3. Is 10 a factor of x(-6)?
False
Is 11 a factor of -2*(-7 - -8 - 38)?
False
Suppose 0 = 8*r - 4*r - 1216. Is r a multiple of 21?
False
Suppose 2*w + 2 = 0, -2*z + 3*z - 3*w - 14 = 0. Let t = 15 - z. Let n = 30 - t. Is n a multiple of 13?
True
Suppose -6 = 7*z - 9*z. Suppose -h + z*h + 63 = i, -126 = -2*i - 5*h. Does 5 divide i?
False
Suppose -2*i = -4*x - 0*x, 4*i = -4*x + 24. Suppose 2*f + 2*z + 2*z = 156, 0 = -f + i*z + 78. Is f a multiple of 13?
True
Let l(a) = 9*a**2 + 10*a + 161. Is l(-9) a multiple of 100?
True
Let z(j) = -j**3 + 4*j**2 + j - 1. Let u be z(2). Let y be 30/u + 2/(-6). Suppose -307 = -3*r - 5*p, -4*r + y*p - p + 366 = 0. Is r a multiple of 23?
False
Suppose 4*x - 916 = -2*h, 2*h = -4*x + 2*x + 462. Is x a multiple of 10?
False
Suppose -4*a - 4 = -5*r, 4*a - 32 = -4*r - 0*r. Let y be a - -3 - (-6)/2. Suppose 3*q - y*q + 602 = 0. Does 10 divide q?
False
Let j(q) = 8*q**2 - 3*q - 3. Suppose 13*h = -13 - 26. Is 11 a factor of j(h)?
False
Let q be -12*(12/(-4))/3. Suppose -5*a = 2*w - q, 0 = 2*w - 3*w + 5*a - 24. Is (-9)/18 + (-34)/w a multiple of 3?
False
Let d = -12 - -11. Let u be (5 + -7)*(d - 0). Is 56/6 + u/(-6) a multiple of 2?
False
Is (-7 - 1336/(-24))/(2/3) a multiple of 5?
False
Let k = -5 + 10. Let d(a) = 18*a - 5. Let n be d(k). Suppose 3*c - u - 65 = 0, -7*c + n = -3*c - u. Is c a multiple of 14?
False
Let p(y) = 5*y**3 + 20*y**2 + 21*y + 10. Let s(g) = g**3 + g**2 - 1. Let d(v) = -p(v) + 4*s(v). Is 11 a factor of d(-15)?
False
Let g be 205/(-10)*12/(-2). Suppose 0*t = -2*t + 280. Suppose -4*z + z + g = 3*i, 4*i = 2*z + t. Is 16 a factor of i?
False
Let c(d) = 40*d**3 + 2*d - 2. Does 4 divide c(1)?
True
Suppose -5*p = 4*y - 2763, -36*p + 33*p - 712 = -y. Is 8 a factor of y?
False
Suppose -1246 = -2*d - f, -4*d + 4*f = 5*f - 2494. Suppose 0 = -7*p + d + 209. Is p a multiple of 7?
True
Let s = -4 - -2. Let p be (-41)/13 + s/(-13). Does 23 divide 46/(-4)*(p + 1)?
True
Let n = 45 - 43. Suppose -f + 5*f = 1320. Suppose 3*z + n*z - f = 0. Does 11 divide z?
True
Let l(f) be the second derivative of f**5/20 + f**4/12 - 2*f**3/3 - f**2/2 + 31*f. Is 7 a factor of l(3)?
False
Let c(f) = f**2 - 21*f - 27. Suppose -66 = -5*t + 54. 