**3 - 7*k**2 + 5*k - 10. Is b(x) a multiple of 14?
True
Let a(p) = 9*p**3 - 27*p**2 - 19*p + 3. Let i(k) = 5*k**3 - 14*k**2 - 10*k + 1. Let n(d) = -6*a(d) + 11*i(d). Does 11 divide n(-6)?
False
Let p(f) = f**3 - f**2 - f - 1. Suppose -2*i - 4 + 2 = 0. Let g(c) = 7*c**3 - 8*c**2 - 8*c - 6. Let z(a) = i*g(a) + 6*p(a). Is 28 a factor of z(-3)?
False
Let p = 3 + 5. Suppose 2*k = -2*k + p. Suppose k*a = -4*x + 22, 0 = 4*a - x + 3*x - 32. Does 4 divide a?
False
Let q = -42 + 70. Is q a multiple of 19?
False
Suppose -m - z + 3 = 0, 3*z - 11 - 1 = -4*m. Suppose 0 = -3*n + 9, -m*f - 134 = -8*f + 2*n. Is 13 a factor of f?
False
Suppose 0 = j + 2, z = 6*z + 5*j - 665. Is 6 a factor of z?
False
Suppose -6 + 0 = -2*r. Let f = 28 - 25. Let g = r + f. Does 2 divide g?
True
Let y(j) = 2 - 9*j + 2 - 3. Suppose 4 = f, -f + 0*f = 3*z + 5. Does 11 divide y(z)?
False
Suppose 72 = 5*f + h, 64 = 5*f + 2*h - 5*h. Let s(v) = v + 3. Let u be s(-7). Is (-114)/u*f/21 a multiple of 5?
False
Suppose s + 12 = -3*s. Does 14 divide 33 + s - 2*1?
True
Let p(c) = -4 - 5 + 0*c + 4 - 3*c. Let l be p(-5). Is 15 a factor of l*3/2 - 0?
True
Let f(b) = -b**3 - 13*b**2 + 9*b + 4. Let q(v) = -13*v**3 - v**2 + v - 1. Let j be q(1). Does 30 divide f(j)?
False
Let w(l) = l**3 - 3*l**2 - 6*l. Is w(6) a multiple of 15?
False
Let n = -4 - -6. Let p(c) = 2*c**3 + 5 + 3*c**2 - 3*c**3 + n*c + c**2. Is p(4) a multiple of 6?
False
Suppose r - 2*q + 4*q = -14, 0 = -4*q - 8. Let x be r/(7/(7/(-2))). Suppose -3*s + 112 = -3*u - 14, u = x*s - 210. Is s a multiple of 14?
True
Let o be ((-6)/(-4))/3*26. Let w = -2 - o. Let m = w - -26. Is 11 a factor of m?
True
Let m = 66 + -4. Does 16 divide m?
False
Suppose u - 1 = 2*u. Is 17 a factor of 17/(u + 0 - -2)?
True
Let b = -1 + 10. Is b a multiple of 9?
True
Let i(h) = 7*h - 5. Let s be i(5). Let t = -14 + s. Is t a multiple of 16?
True
Let u be -7 + 53 + (0 - 0). Let t = -22 + u. Does 12 divide t?
True
Let g = -7 + 8. Suppose 211 = 5*q + g. Does 18 divide q?
False
Is (-9 - -8) + (0 - -12) a multiple of 4?
False
Suppose -2*m + 31 = -81. Is 8 a factor of m?
True
Suppose -4*v + 0*v + h = 128, h + 120 = -4*v. Let q = 52 + v. Is q a multiple of 14?
False
Let v(k) = k**3 + 7*k**2 + 4*k - 4. Suppose n = 4*n - 5*q + 27, -2 = 2*n + 2*q. Is v(n) a multiple of 7?
True
Is 6/8 - 740/(-16) a multiple of 28?
False
Suppose 0*g = 3*g - 9. Suppose 0*f + 27 = -g*f. Let v = 14 + f. Does 3 divide v?
False
Is 23 a factor of ((-23)/(-2))/((-77)/(-70) - 1)?
True
Let w(p) = 69*p**2 - 2*p - 1. Is w(-1) a multiple of 10?
True
Is ((-376)/(-24))/(2/6) a multiple of 4?
False
Let w = 6 + -3. Suppose -3*l + w*p = -p - 44, 8 = 2*p. Is l a multiple of 17?
False
Let z(g) = -g - 5. Is z(-9) a multiple of 2?
True
Suppose -4*t + 131 = -5. Is 6 a factor of t?
False
Suppose 5*i + 2*q = 419, 0 = 5*i + 2*q - 6*q - 407. Does 16 divide i?
False
Let k(j) = 3*j**2 - 6*j + 4. Is k(9) a multiple of 31?
False
Suppose -2*m - 3*m = -50. Suppose 4*a + 288 = m*a. Is a a multiple of 16?
True
Suppose 0 = -5*i + 4*j - 8, j - 2*j = 5*i - 2. Let h(z) = -z**2 + z + 2. Let x be h(i). Suppose -p = -4*t - 31, 2*t - 29 = -3*p - x*t. Is p a multiple of 5?
True
Let u(j) = -54*j**3 - 4*j - 4. Does 18 divide u(-1)?
True
Suppose j - 6 = -2. Suppose 0 = -j*p + 11 + 45. Does 7 divide p?
True
Let o = 49 + 92. Is o a multiple of 7?
False
Suppose -3*p + 8*p - 20 = 0. Let h be 0 + -2 + 16/p. Suppose -h*z - z = -90. Is z a multiple of 15?
True
Suppose -2*p + 4*p - 34 = 0. Suppose -k - p = -0*k. Let c = k - -33. Does 8 divide c?
True
Suppose 0 = 207*x - 204*x - 504. Is x a multiple of 28?
True
Let j(g) = -g**3 + 5*g**2 + 3. Let u be j(5). Suppose -2*q - x + 95 = 2*q, u*x = -3. Is q a multiple of 6?
True
Let j(o) be the third derivative of 1/24*o**4 + 0 - o**2 - 2/3*o**3 + 0*o. Is j(8) a multiple of 3?
False
Let k = -20 + -15. Let a = 63 + k. Is a a multiple of 7?
True
Suppose 5*y = -2*a - 388, 2*a - 2*y = -0*y - 360. Does 16 divide (-1)/(-2*(-2)/a)?
False
Let c(o) = -o**2 + 11*o + 16. Let k be c(11). Suppose 0 = 5*h + 1 - k. Suppose 0 = -b + h*b - 38. Is 16 a factor of b?
False
Let h = 12 + -5. Suppose h + 25 = g. Suppose g = -2*a + 96. Does 16 divide a?
True
Is 2 a factor of (12/14)/(4/14)?
False
Let c(u) = -u + 6. Let d be c(0). Let f = -2 + d. Is f a multiple of 4?
True
Let c = -3 - -6. Does 2 divide c?
False
Let d be ((-1)/(-2))/(2/(-24)). Let v be (1 - 4)*(-4)/d. Let m(u) = 3*u**2 - 2*u - 1. Is 15 a factor of m(v)?
True
Let s = -95 + 45. Let y be 4/(-12) - s/6. Let a = 14 - y. Is a a multiple of 3?
True
Let l = -166 + 246. Is l a multiple of 16?
True
Let y(p) = p**3 - 6*p**2 - 3*p - 10. Suppose x = 4*d + 11 - 39, 2*d + 5*x = 14. Is y(d) a multiple of 6?
True
Let c(k) = -k**3 - 7*k**2 + 9*k + 8. Let w be c(-8). Is 13 - 3*(w + -1) a multiple of 10?
False
Let t(w) = 4*w**2 - 9*w - 28. Is 5 a factor of t(7)?
True
Suppose 5*f - 9 + 161 = q, 5*f = -5*q - 170. Suppose 0*g + 3*t = 4*g - 232, -114 = -2*g + t. Let v = f + g. Is v a multiple of 20?
False
Suppose 3*s - 90 = -2*s. Does 11 divide (11/(-3))/((-3)/s)?
True
Let q(z) = -2*z - 7. Let m be q(6). Suppose 0 = -6*i + 3*i. Let u = i - m. Does 9 divide u?
False
Suppose 0 = g - v - 10, 8*g - 90 = 3*g - 3*v. Suppose -2*s + g = -49. Does 10 divide s?
False
Let d be -4*22*(-2)/4. Let x = -26 + d. Is x a multiple of 12?
False
Suppose -3*c - 2*s = 3*s + 43, -s = 3*c + 59. Is (18/c)/(1/(-35)) a multiple of 12?
False
Let l be 3/2 - (-5)/10. Suppose 9*o - 204 = 5*o. Is l/3*o - 0 a multiple of 20?
False
Suppose 0 = 8*v - 11*v + 291. Is 12 a factor of v?
False
Suppose x - 4*x + 99 = 0. Is x a multiple of 15?
False
Suppose 3*g = -4*k + 24, -2*k + g = -k + 1. Let b = 30 + -20. Suppose -u + k*u = b. Does 3 divide u?
False
Suppose -3*f + 516 = f. Suppose -3*v = 2*p - 4*v - 45, -5*p + f = 3*v. Is 12 a factor of p?
True
Let i(w) = -86*w + 2. Suppose -2*z = -b - b + 2, -2*z - 2*b - 2 = 0. Does 22 divide i(z)?
True
Let p(g) = g**3 - g + 1. Let w(n) = 19*n**3 + n. Let m(h) = p(h) + w(h). Does 7 divide m(1)?
True
Suppose -4*h - 59 = -3*f, 3*f - 129 = -2*f - h. Does 14 divide f?
False
Let t = -11 - -38. Does 10 divide t?
False
Suppose 0 = p - 29 - 32. Is p a multiple of 19?
False
Suppose 0*r = -2*r + 186. Is r a multiple of 5?
False
Let k be 1/(-1) + 3 + 0. Suppose -k*s - 13 = -q, -2*q + 5*s + 33 - 7 = 0. Does 7 divide q?
False
Let y = -1 + 4. Let u = 1 - y. Is 16 a factor of ((-21)/2)/(u/4)?
False
Suppose 0 = 4*t + 8, -5*a = 4*t + 4 + 4. Suppose 0*g - 75 = -5*v - g, -5*g = a. Does 5 divide v?
True
Let f(z) = z**2 + 16*z + 8. Does 3 divide f(-16)?
False
Suppose 5*y = 2*y. Suppose f - 4*f - 162 = y. Let k = -33 - f. Is k a multiple of 9?
False
Does 21 divide (0 + -1)*(-22 - -1)?
True
Let r = 49 + 0. Is r even?
False
Let y(t) = 2*t**2 - 4*t. Let o(d) = d + 3. Let k be o(3). Let p be y(k). Let x = p - 34. Is x a multiple of 7?
True
Let b be 21/1*9/3. Let n = b - 16. Is 20 a factor of n?
False
Suppose -3*y - 30 = -90. Is 20 a factor of y?
True
Let u(n) = -n + 14. Is u(0) a multiple of 7?
True
Does 17 divide ((-18)/27)/((-1)/141)?
False
Let p be 27/6*(-4)/(-6). Suppose -169 = -5*h + p*a + a, h - a - 33 = 0. Let y = -26 + h. Does 4 divide y?
False
Let x be ((-3)/3)/(1/(-1)). Let i = 2 + x. Suppose -13 = -i*h + 32. Is 10 a factor of h?
False
Let c(j) = 38*j + 2. Let m be c(2). Suppose 2*r - m = -r. Does 8 divide r?
False
Suppose 6*b = 8*b - 110. Does 20 divide b?
False
Suppose 0 = -4*i + 3*h + 1723, -1 = -2*h - 3. Does 14 divide i?
False
Suppose -v = -3*t - 3*v + 52, 4*t + v = 76. Is (-194)/(-8) - 5/t a multiple of 8?
True
Let j = 62 + 5. Is j a multiple of 21?
False
Suppose 5*l = -z - 1, -2 = -5*l + z - 1. Suppose 2 = -l*w - 2*w. Is 6 a factor of ((-2)/6 - w)*18?
True
Let t(c) = 9*c - 5. Let p be t(3). Let i = 33 - p. Is i a multiple of 8?
False
Suppose -594 = -5*s + 4*j - 100, 2*s = 2*j + 196. Is s a multiple of 17?
True
Let j(b) = -5*b - 4. Does 15 divide j(-17)?
False
Let c = -4 - -4. Suppose c = -0*w - 3*w + 12. Suppose 4*y - 56 = -w*o, 74 = 3*y + o - 6*o. Is y a multiple of 15?
False
Let w be -2 - (-1)/2*58. Let n = 41 - w. Is 14 a factor of n?
True
Is 6/(-5)*250/(-15) a multiple of 5?
True
Let q be (6/4)/(4/(-8)). Is (q - -6) + 18/2 a multiple of 4?
True
Let a = 145 + -79. Is 17 a factor of a?
False