c) = -c**2 + 9*c + 6. Is 2 a factor of h(9)?
True
Let g = 331 - 236. Is g a multiple of 12?
False
Let c = 5 - 14. Let k = -14 - c. Let u(r) = r**2 + 4*r + 3. Is u(k) a multiple of 4?
True
Suppose -2*j = 50 + 86. Let n = 107 + j. Is 13 a factor of n?
True
Does 7 divide ((-132)/8 + 4)*-2?
False
Let y(k) = -4*k + 50. Is y(-12) a multiple of 7?
True
Suppose -h + 115 = 3*r, 0 = r - 5*r + 4. Does 16 divide h?
True
Suppose 3*i - 14 = 1. Let j(x) be the third derivative of -x**5/60 + x**4/4 + 2*x**3/3 - 8*x**2. Does 9 divide j(i)?
True
Let c = 107 - 64. Is c a multiple of 18?
False
Let p be (-75)/(-27) - 4/(-18). Suppose p*a + 12 = 30. Does 6 divide a?
True
Suppose 2*x + 4 = 8. Suppose -x*u + 3*i + 38 = i, -i = -5*u + 107. Is u a multiple of 11?
True
Suppose 1 = -l - 0*l. Let k = l + 4. Suppose 0 = -5*a - k*c + 134, -2*c - 14 = 2*a - 70. Does 7 divide a?
False
Let j be ((-1 - -2) + 0)*5. Suppose j*y + 21 = -4*x, x = 2*y - 1 - 1. Does 5 divide y + -1 + 3 + 11?
False
Suppose 0 = 4*q - 2*o - o - 94, 0 = 4*o - 8. Is 5 a factor of q?
True
Suppose -i = 2*w - 87, i = -5*w + 79 - 4. Does 12 divide i?
False
Suppose -3*l - 32 = 40. Let o = 37 + l. Let s = 8 + o. Does 7 divide s?
True
Suppose 2*x - 12 = x. Suppose 4*t + 0*p + 2*p - x = 0, 5*t = -3*p + 16. Is 14 a factor of t + -2 + 0 + 26?
False
Suppose 3*a + 20 = 3*t + 5*a, 2*a = 5*t - 12. Suppose -t*l = -l + 15. Let k(w) = -5*w + 2. Does 13 divide k(l)?
False
Let h = 20 + -18. Let i = h - -7. Is i a multiple of 4?
False
Let x(l) = -l**3 - l + 27. Is x(0) a multiple of 4?
False
Let c(a) = 9*a - 29. Is c(9) a multiple of 25?
False
Let q(l) = -l**2 - 5*l + 2. Let y be q(-5). Suppose -y*x + 3*x = 17. Is 6 a factor of x?
False
Suppose -d = -2*d. Suppose 0 = 3*g - d*g + 27. Let x = -3 - g. Is 3 a factor of x?
True
Suppose 3*c = -3*f + 30, -13 = -4*c - f + 15. Does 3 divide c?
True
Let q(s) = -2 + 1 - 42*s + 3. Is q(-1) a multiple of 21?
False
Let d = -225 - -107. Let h be d/5 + 12/20. Let r = 8 - h. Does 20 divide r?
False
Let y = -3 - -13. Is y a multiple of 7?
False
Let j(b) = b**3 + 5*b**2 + 3*b + 2. Let a = -13 - -10. Does 11 divide j(a)?
True
Let f(d) = 2*d**3 - 3*d**2 + 4*d - 7. Is f(3) a multiple of 8?
True
Suppose 23 = 2*i + 5*v, 5*i - 73 = -2*v + 37. Is i a multiple of 3?
True
Let b be (-6)/(-9) - (-13)/3. Suppose -5*r = -0*r - b*s - 35, 5*r + 10 = -4*s. Suppose 5*t - 56 = 2*c + 194, 3*c = r*t - 89. Is t a multiple of 18?
False
Let r = 10 - 8. Suppose -3*g + r = -22. Is g a multiple of 5?
False
Suppose 0*u = -4*u - 124. Let v = u + 45. Is v a multiple of 5?
False
Suppose 10 = 4*v - 86. Is v a multiple of 4?
True
Let a(o) = -o + 5. Let h = 5 + -6. Let n(m) = -1. Let q(l) = h*a(l) - 5*n(l). Is q(5) a multiple of 2?
False
Let h(k) = k**2 - k - 6. Let s(p) = -p + 19. Let b be s(14). Is h(b) a multiple of 14?
True
Let y(b) = -9*b + 1. Let t be y(-1). Suppose 2*l - t = -0. Is 5 a factor of l?
True
Let g = 3 + -7. Suppose 0 = -s + 5*s - 120. Is 5 a factor of 4/(-3)*s/g?
True
Let t(n) be the second derivative of -n**3/6 - n**2/2 - 7*n. Does 2 divide t(-7)?
True
Is 4 a factor of (-22)/(-4) - -1 - (-9)/18?
False
Suppose -5*g + 6 = 4*r, 0 = g + g - 4. Let n(d) = -27*d + 1. Does 22 divide n(r)?
False
Let r = -5 - -47. Is r a multiple of 12?
False
Suppose 7 = -3*s - 5, 0 = 4*n + 2*s + 40. Let q be (-255)/12 + (-2)/n. Let y = q - -42. Is 6 a factor of y?
False
Let y = 3 - 0. Suppose -y*u + 275 = 2*u. Let n = u + 0. Is n a multiple of 19?
False
Let i = 33 - 20. Suppose 9 = 3*g - 0*g. Let u = i - g. Does 8 divide u?
False
Let q(b) = -b**2 + 8*b + 7. Let y be q(10). Let f = -10 - y. Suppose 2*l = 4*d - 132, -5*l - 84 = -f*d + 22. Is d a multiple of 16?
True
Let p(w) = w**3 + 4*w**2 - 5*w + 2. Let d be p(-5). Suppose 0 = 4*z - 4*g - 20, d*g - 3*g + 7 = 2*z. Is z a multiple of 4?
True
Suppose -2*q = 8, o = 5*q - 21 + 57. Does 6 divide o?
False
Let a(b) be the first derivative of -b**3/3 + 11*b**2/2 - 9*b + 1. Let g be a(8). Let y = g + 3. Is y a multiple of 9?
True
Let b(i) = -i**2 - 4*i + 6. Let h be b(-6). Is 122/18 - h/27 a multiple of 7?
True
Let w be -40*(0 + (-1)/2). Let q = -11 + w. Is 4 a factor of q?
False
Suppose 0*b + 3*b = 45. Suppose 4*u + 18 = -2*z, -2*z + b = -2*u - z. Let h(r) = -r**2 - 9*r - 8. Is h(u) a multiple of 9?
False
Suppose -3*s - 1 + 7 = 0. Let u(b) = 5*b - 5. Is u(s) a multiple of 2?
False
Suppose 2*c = 7*c - 1100. Is c a multiple of 22?
True
Let a = -2 + 2. Suppose a = -3*v + 68 + 61. Is 14 a factor of v?
False
Suppose -323 - 61 = -4*r. Is 32 a factor of r?
True
Let d(o) = o**2 - o - 2. Let j be d(-2). Suppose 2*f = 1 - 11, -67 = -m + j*f. Is 29 a factor of m?
False
Let j be (-7)/14 - (-22)/4. Let s(n) = 3*n**2 - 2*n + 7. Is s(j) a multiple of 24?
True
Let c be (37/(-4))/((-7)/28). Suppose -3*o + 23 + c = 0. Is o a multiple of 10?
True
Suppose -35 = -5*x - 0. Let y(d) = -d**3 + 8*d**2 - 3*d - 4. Is 9 a factor of y(x)?
False
Let q(o) = -2*o - 2. Let k be q(-2). Suppose -3 = n - 0*t + k*t, -4*n - t + 16 = 0. Suppose -87 = -n*r + 48. Is r a multiple of 9?
True
Let v(n) be the second derivative of -1/6*n**3 + n + 1/12*n**4 + 0 + 2*n**2. Does 7 divide v(-3)?
False
Let i be (-2 + (0 - 1))*-3. Let t be (-2)/6 + 21/i. Suppose -t*c - 21 = -5*c. Is 4 a factor of c?
False
Suppose 0 = 4*a + 5 + 11. Let m be (0/6)/(a/(-2)). Suppose m = -4*i + 54 + 6. Is 6 a factor of i?
False
Let w be 3/(-9) + (-345)/(-9). Suppose 3*a = 52 + w. Is 15 a factor of a?
True
Is (4 - 8)/((-1)/27) a multiple of 23?
False
Suppose 2*l = 15 + 7. Let m = 9 + l. Is 10 a factor of m?
True
Suppose -3*c + 216 = 3*c. Does 20 divide c?
False
Let j be (-6)/(-2) - (-14)/1. Let o = 3 + j. Let r = -13 + o. Is r even?
False
Let g(f) = f**3 + 8*f**2 + 9*f + 6. Let m be g(-6). Does 19 divide ((-171)/12)/((-9)/m)?
True
Let b(n) = -35*n + 16. Is b(-5) a multiple of 16?
False
Let i(b) = 7*b**2 - b - 1. Let x(m) = m**2 - m + 1. Let q(r) = i(r) - x(r). Does 10 divide q(-2)?
False
Suppose 41 = 30*u - 29*u. Does 18 divide u?
False
Suppose 11*b - 31 = 68. Is b a multiple of 3?
True
Let c(j) = -4 + 1 - 3 + 48*j. Does 27 divide c(2)?
False
Let r(w) = -w**3 - w**2 - w - 15. Let n be r(0). Let x = -10 - n. Is 5 a factor of x?
True
Is 4 a factor of 2/(-11) + (-414)/(-99)?
True
Let x = -10 - -15. Let b = 160 + -155. Suppose 2*n = -d + 16, -b*d + d - x*n = -58. Does 4 divide d?
True
Let m be -4 - (-2 - -10)/(-1). Suppose -58 = -2*a + 4*n, 0 = 3*n + m + 11. Is a a multiple of 4?
False
Let h be ((-12)/21)/(4/(-14)). Suppose -h*t = t. Suppose 5*k - 3*n - 105 = 0, 4*k - k - 4*n - 63 = t. Does 21 divide k?
True
Let y(c) = -c**3 - 5*c**2 + 7*c + 9. Let a(l) = 6*l. Let w be a(-1). Let n be y(w). Suppose 0 = -n*v + 2*h - 4*h + 23, 2*v - 2 = 2*h. Is 3 a factor of v?
False
Let t be -3 + (-3 - 22*-1). Let f = -13 + 52. Suppose -5*h + f = -t. Does 11 divide h?
True
Let j = 2 - 0. Let x be 3*2/12*j. Is ((-35)/(-10))/(x/2) a multiple of 2?
False
Let h = 106 + -63. Suppose -2*t = 4*k - 54, -h = -4*t + 3*k + 2*k. Is t a multiple of 10?
False
Let c be (-8)/(-3)*3*3. Suppose 4*q = f + 102 - 29, -2*q + c = 2*f. Is 9 a factor of q?
False
Suppose 2*o + 3*s = 258, -o + 4*s + 691 = 4*o. Is 27 a factor of o?
True
Let t(k) = k**2 + 4*k + 4. Let f(q) be the second derivative of -q**5/20 + 7*q**4/12 - q**3 - 5*q**2/2 + 2*q. Let p be f(6). Does 6 divide t(p)?
False
Is 59 - -9 - 3*1 - 1 a multiple of 16?
True
Let w(h) be the third derivative of h**5/30 - h**4/3 - h**3/2 + 4*h**2. Is w(6) a multiple of 21?
True
Let s = -13 - -16. Is s a multiple of 3?
True
Let u(n) = n - 1. Let z be u(6). Suppose -z*w = -10 - 0. Suppose 83 = 4*p + w*k - 1, k = -p + 20. Is p a multiple of 10?
False
Suppose 2*x = 81 + 71. Is x a multiple of 36?
False
Let r be ((-4)/(-14))/((-1)/(-7)). Suppose -2 = -c + r. Is 1/4 - (-19)/c a multiple of 5?
True
Let d(r) = 76*r**2 - r. Does 28 divide d(1)?
False
Suppose -13 = -3*d + 2*d. Let i(f) = 14 - 5 + d*f - 3*f - f**2. Is 10 a factor of i(9)?
False
Let c(r) = 12*r - 8. Does 4 divide c(7)?
True
Let u = 60 + -35. Is u a multiple of 5?
True
Let i(j) = -j**3 + 9*j**2 - 6*j + 9. Does 27 divide i(6)?
True
Let g = -12 + 22. Suppose -2*k - 2*k + 30 = 2*j, -3*k + g = -j. Does 2 divide j?
False
Let o(y) = -12*y - 51. Does 30 divide o(-18)?
False
Suppose -396 = -5*z + 69. Is 31 a f