3. Does 4 divide j(-14)?
False
Suppose -q + 6*q = 80. Is 4 a factor of q?
True
Let t = 718 + -487. Is t a multiple of 11?
True
Suppose -2*a + 5*s + 46 = -3, 0 = s + 5. Let z = 28 - a. Is z a multiple of 6?
False
Let u(t) = 3*t**2 - t + 2. Suppose 0 = -0*x + 3*x + 9. Is 16 a factor of u(x)?
True
Let a(c) be the first derivative of c**3/3 + 2*c**2 + 2. Is a(-7) a multiple of 21?
True
Suppose -i + 4*i - 9 = 0. Suppose i*r + r = 144. Is 9 a factor of r?
True
Let x(d) = d**2 - d + 46. Let o = -12 - -12. Is x(o) a multiple of 12?
False
Let f = 8 + -12. Let r be -20 + 2 + f + 1. Let t = r + 31. Does 7 divide t?
False
Let q = 11 - 4. Let c(o) = o - 1. Let a(b) = 5*b + 2. Let r(j) = a(j) - 2*c(j). Is 25 a factor of r(q)?
True
Suppose -2*f = 2*n + 3*f - 24, 3*n - 3*f = -6. Suppose -n*i + 21 + 45 = 0. Is 15 a factor of i?
False
Suppose -3*n - 280 = -4*h - 86, h - 3*n - 44 = 0. Let u = -19 + h. Let m = -21 + u. Does 4 divide m?
False
Suppose -18 = -2*g - 4*s, 0*g = -2*g + 5*s + 9. Suppose -x = -g - 0. Is x even?
False
Suppose 0 = -6*x + 8*x - 120. Is x a multiple of 5?
True
Let h = -69 - -96. Is h a multiple of 15?
False
Let b = -13 - -18. Let d = 1 + b. Is d even?
True
Suppose -l + 268 = 4*z, 0 = 3*l + z - 3 - 834. Is l a multiple of 8?
True
Let d(k) = -8*k - 11 + 2*k - 3*k + 0*k. Does 10 divide d(-5)?
False
Let y = 0 - -3. Suppose y*z - 910 = -2*z. Is 3/6 - z/(-4) a multiple of 18?
False
Let j(x) = 3 - 1 - 2 - 32*x. Is j(-3) a multiple of 30?
False
Is 9 + 10 - (2 - 5) a multiple of 7?
False
Let p(l) = -6 - 2*l - l + 2*l + 13. Suppose -1 = 2*k - 3*r, k = -k - 5*r - 41. Is 9 a factor of p(k)?
False
Let o(x) = -2*x**3 - 4*x**2 - 3*x. Let u be o(-2). Let z = 18 - u. Does 12 divide z?
True
Let y(o) = 21*o**2 + 3*o - 1. Suppose -6 = -4*i + 2. Does 18 divide y(i)?
False
Let q be (-2)/(-11) + (-16)/88. Suppose -2*j + 5*k + 21 + 1 = q, -4*j = -3*k - 58. Is 4 a factor of j?
True
Suppose 4*a + 84 = 11*a. Is 4 a factor of a?
True
Let u be -4*(-86)/4 - -1. Suppose -3*n = -4*n + u. Is n a multiple of 29?
True
Let q be (-8)/(-6)*(-12)/(-8). Suppose q*h - h + 1 = 0. Let g(i) = -10*i. Does 5 divide g(h)?
True
Let x(w) = 4*w + 6. Let r(b) = b. Let g(d) = -3*r(d) + x(d). Let m be g(-6). Suppose -p + 3 + 2 = m. Does 5 divide p?
True
Suppose -4*h = -3*h - 4. Suppose 5 = h*j + 1. Is j - (-35 - 0/(-1)) a multiple of 18?
True
Let w be 7*2 + (-2 - -2). Suppose -w = 2*v - 3*v - 4*n, 14 = -3*v + 2*n. Does 8 divide v + 0 - (-1 + -20)?
False
Let l be (13 + 5)*(-1)/(-3). Suppose -3*v = -4*j - l, 4 = 2*v + 2*j + 3*j. Suppose 5 = d + v. Is d a multiple of 3?
True
Let u = -1 + 6. Does 2 divide u?
False
Let s(w) = w**2 + 6*w + 6. Let m be -2*(-10)/8*-2. Let a be s(m). Let p = a + 3. Is p a multiple of 2?
True
Let b be (-184)/(-44) + (-6)/33. Does 9 divide (6 + -8)/(b/(-18))?
True
Let p = 0 + 0. Let d = 8 + -8. Suppose p = -d*b + b - 57. Is b a multiple of 21?
False
Let b = 274 + -193. Is b a multiple of 14?
False
Let q(b) = -b + 2*b - 3*b + 0 - 2. Is q(-5) a multiple of 3?
False
Is 22 a factor of (284/(-4) - -4)*-1?
False
Suppose -5*z = -2*r + 9, -4*r + z - 6*z = -3. Suppose l - 20 - 3 = r*s, 3*l = -3*s + 51. Is 14 a factor of l?
False
Let w(x) = 5*x**3 + x**2 + 14*x + 5. Let l(h) = -11*h**3 - h**2 - 29*h - 11. Let s(p) = -6*l(p) - 13*w(p). Let i be s(8). Let q = i + 7. Is q a multiple of 8?
True
Suppose 2*w - 410 - 572 = -5*h, 5*w - 376 = -2*h. Does 33 divide h?
True
Suppose 4*m - 234 - 410 = 0. Suppose 6*a = -p + 4*a + 34, -5*p + m = a. Does 16 divide p?
True
Let j(z) = z - 5*z + 3*z + 3*z - 2. Let m be j(3). Suppose -246 = -5*g + 2*y + 4, -5*g + 260 = -m*y. Does 16 divide g?
True
Suppose -5*w + 3*g + 93 = 0, 3*g + 47 = 3*w - g. Let t be (70/w)/(2/54). Suppose f - t = -f. Is 12 a factor of f?
False
Let m(s) = 7*s - 7. Is 21 a factor of m(13)?
True
Let r(k) be the third derivative of k**4/8 - 13*k**3/6 + 2*k**2. Let p = -16 - -27. Does 19 divide r(p)?
False
Let m = -14 - -13. Is 47/((4/m)/(-4)) a multiple of 15?
False
Let o = 9 - 2. Let h(l) = l**2 - 7*l + 7. Is 5 a factor of h(o)?
False
Let k be 1*0*3/(-9). Let r = 18 + k. Suppose -2*s - r = -3*s. Is 7 a factor of s?
False
Suppose 4*q = -0*q + 8. Does 13 divide (17/(-3))/(q/(-6))?
False
Let g = 21 + -12. Is g a multiple of 9?
True
Suppose 12 = 3*b + 3. Suppose -3*d = -j + 24, 2*d + b*d = -5*j + 100. Is j a multiple of 9?
False
Let o(u) be the second derivative of -29*u**5/20 + u**4/6 + u**3/6 + 10*u + 1. Let d be (0/(-2) - -1)/(-1). Is 10 a factor of o(d)?
True
Let o(l) = -2*l + 9 - 2 + 3*l. Does 11 divide o(5)?
False
Does 10 divide 1/4 + 405/12?
False
Let w(y) = -18*y**3 - y**2 + y - 1. Does 22 divide w(-2)?
False
Let l = -37 - -163. Is l a multiple of 18?
True
Let r(f) = 2*f**2 - 2*f - 1. Suppose -2*d = 3*u + 3, -3*u = -d + 3 + 9. Let q = d + -4. Is r(q) a multiple of 3?
True
Suppose -y = -2*q + 63, -21 = 3*y - 2*q + 172. Let g = 99 + y. Is g a multiple of 17?
True
Let j(i) = -3*i - 3. Let c be j(-2). Suppose -c*s + 56 = -61. Is 21 a factor of s?
False
Let o(y) be the first derivative of y**4/2 - 2*y**3 + 7*y**2/2 - 6*y - 1. Let v be o(4). Suppose 0 = 3*i - 33 - v. Is i a multiple of 12?
False
Let c be (2/6)/((-7)/(-105)). Suppose -3*v - 2*y + 9 = -14, 40 = 4*v + c*y. Is 5 a factor of v?
True
Let o(y) = -29*y - 1. Is o(-7) a multiple of 15?
False
Is 30 a factor of (-4 - -1)/3 - (-1 - 248)?
False
Let h(f) = f**2 - 4*f - 4. Let a be h(-6). Suppose -x + 5*s = -46, a = 2*x + s - 47. Is 5 a factor of (-14)/21*x/(-2)?
False
Is 10 a factor of (-132)/8*(-32)/12?
False
Let u(i) = -i**3 - 15*i**2 + 9*i - 24. Does 22 divide u(-16)?
True
Let i(w) = 2*w**2 + 3*w - 7. Does 8 divide i(-7)?
False
Let u = -6 - -51. Suppose -2*o + 6*o = 3*s - 50, u = 4*s - o. Is 8 a factor of s?
False
Let x(m) be the third derivative of -m**4/12 + m**3/6 + 2*m**2. Let p be x(6). Let j = -7 - p. Is 4 a factor of j?
True
Let b(d) = 26*d + 48. Does 9 divide b(5)?
False
Suppose -u = d - 4, -3*u - 4*d + 9 = -5. Suppose -20 = -4*m - 4*r, -u*m + 6 = 4*r - 2. Is m even?
True
Suppose -2*o - 4*t + 228 = 0, 1 = -t + 2. Does 19 divide 8/12 + o/3?
True
Suppose 5*h - 4 = 4*h. Suppose 22 = o + l - 2*l, -h*l = -16. Does 13 divide o?
True
Let k(b) = 49*b**2 - b - 3. Let d be k(3). Suppose 5*s = -0*s + d. Let f = s - 59. Is 11 a factor of f?
False
Let x(q) = 10*q**2 + q - 1. Let p be x(1). Suppose 2*w - p = 18. Let s = 8 + w. Does 18 divide s?
False
Is 16 + (-4 - -4)/(-1) a multiple of 8?
True
Suppose -3*n + 18 - 3 = -5*a, 0 = -2*a + n - 5. Suppose x + 7 = -a*x. Let p = x - -24. Does 6 divide p?
False
Suppose -14*y = -9*y - 530. Is 12 a factor of y?
False
Let v(b) = -b**2 + 8*b + 3. Suppose -4*q + 7 = -9, -5*a + 2*q = -7. Suppose 4*y = 2*y + 2*p + 20, -a*y + 2*p + 27 = 0. Is 10 a factor of v(y)?
True
Suppose 0*c = 2*c. Suppose c = g - 2*g + 10. Does 10 divide g?
True
Let f(r) = -4*r**2 - 4*r. Let w(d) = 3*d**2 + 4*d + 1. Let n(q) = 2*f(q) + 3*w(q). Is n(-4) even?
False
Let w(k) = k**3 + 7*k**2 - 6*k + 9. Let a be w(-7). Let p = a - 27. Is p a multiple of 24?
True
Suppose -451 = -5*k + u, -k - 2*k + 3*u + 273 = 0. Is k a multiple of 10?
True
Let v = 23 - -14. Suppose -2*m = -3*m + v. Is m a multiple of 17?
False
Suppose h + 4 = 3*h. Let g(n) = 6 - 6*n + n**3 + 4*n**2 - 5*n**h + 0. Is g(4) a multiple of 15?
True
Suppose -2*s + 0 = -2. Let n(d) = 19*d**2 + d. Let c(w) = 18*w**2 + w. Let l(v) = -2*c(v) + 3*n(v). Does 11 divide l(s)?
True
Suppose 4*p - 2*f - 11 = f, -2*p - 3*f = -1. Suppose p*m + 2*m + 108 = 0. Let v = m - -45. Does 13 divide v?
False
Suppose 3*x - 15 = 0, 5*x - 23 + 6 = 4*t. Let a = -3 - -3. Suppose -t*c + 29 + 23 = a. Is 13 a factor of c?
True
Let d(n) be the first derivative of n**4/4 - 2*n**3 - 2*n**2 - 6*n + 3. Is d(7) a multiple of 13?
False
Suppose 0 = 3*f - 9, 0*f + 88 = r + 2*f. Let w = r + -46. Is w a multiple of 12?
True
Let u = -14 + 22. Suppose -7*t = -5*t - u. Is t even?
True
Let r(s) = -8*s + 3. Let a be r(2). Let k = -5 - a. Is 4 a factor of k?
True
Let c(y) = -4*y**2 - 2 + 4 - 6*y - 2*y**3 - 4 + 2*y. Is 2 a factor of c(-2)?
True
Let v(q) = 2*q**2 + 20*q + 6. Is 13 a factor of v(-12)?
False
Let n(r) = r**2 + 3*r + 6. Let x = -1 + -4. Is n(x) a multiple of 8?
True
Suppose 14 = 4*h - 10. Let a(d) = 5*d. Is a(h) a multiple of 8?
False
Suppose 14*l - 11*l 