j(c) = c**2 + 3. Let o be j(-9). Let t = -52 + o. Is 14 a factor of t?
False
Let y = -1 + 2. Let f(w) = 2*w**2 + w - 1. Let q be f(y). Does 4 divide q + 5 + 6/3?
False
Let q(f) = -f - 3. Is q(-15) a multiple of 3?
True
Let d = -19 + 23. Suppose 36 = 2*m + d*y - 20, -6 = -2*y. Is m a multiple of 11?
True
Let p(o) = 4*o**2 + 2*o + 8. Is 7 a factor of p(-4)?
False
Let a(y) = -y - 6. Let r be a(-6). Let p be (2 + 123)*(1 - r). Suppose -6*g + g + p = 0. Does 9 divide g?
False
Let d(i) = i**3 - i**2 - i - 1. Let c(t) = -6*t**3 + 6*t**2 + 5*t - 11. Let b(r) = -c(r) - 5*d(r). Does 8 divide b(0)?
True
Let v = -127 - -179. Is 3 a factor of v?
False
Suppose -11 = -b - 0*b. Let y = -1 + b. Is 4 a factor of y?
False
Let v(m) = 5*m**2 - 11*m + 18. Does 12 divide v(6)?
True
Suppose 0 = 3*k - k. Suppose k = -3*u + 4*u - 3*t - 25, 2*u + 5*t - 61 = 0. Is 8 a factor of u?
False
Let s = 0 + 7. Let d(w) = 78*w - 6. Let l be d(s). Is (-6)/(-21) - l/(-21) a multiple of 11?
False
Suppose i = 27 - 10. Suppose -4*r + 43 = -i. Is r a multiple of 6?
False
Let n = 60 - 42. Does 5 divide n?
False
Suppose -2*t - 3*l + 27 = -0*t, 0 = -5*l + 25. Does 15 divide (0 - 2) + (54 - t)?
False
Suppose 0 = 10*v - 16*v + 1152. Is 16 a factor of v?
True
Suppose -4 = -2*g, 4*i - 2*i = -g + 4. Let y = i - -8. Is y even?
False
Let i(u) be the third derivative of -u**6/120 + u**5/10 + u**4/24 - u**3/2 + u**2. Suppose 5*t + 0 - 30 = 0. Does 3 divide i(t)?
True
Suppose 4*h - 4*f = 1464, -3*f - 1 - 8 = 0. Suppose 2*i = -i + h. Does 34 divide i?
False
Let x = 14 + -3. Does 7 divide x?
False
Let k(n) = -n**2 + 4. Suppose -5*d + 2*s = -4, -5*d = 4*s - 0*s + 8. Let f be k(d). Suppose -z = -f*v + 56, -3*z + 27 = v - 0*z. Is v a multiple of 10?
False
Let a(d) = d**3 + 12*d**2 + d - 12. Is 33 a factor of a(-6)?
True
Let q(r) = r**3 + 11*r**2 + 9*r - 7. Let w be q(-10). Is (-3 + w - 23)*-1 a multiple of 7?
False
Suppose b - 2*b = -4*v + 959, 0 = 4*v - 5*b - 955. Suppose 8*s - v = 3*s. Is 24 a factor of s?
True
Suppose 3*c + 92 = 323. Is c a multiple of 7?
True
Let z(o) be the third derivative of -o**6/120 - o**5/20 - o**4/8 - o**3/6 - o**2. Is z(-3) a multiple of 4?
True
Let q = 17 - 9. Suppose -5*d = -q*d + 90. Suppose d = 2*n - 2*a, -a + 6*a = n - 31. Is 7 a factor of n?
False
Let b be ((3 - 6) + 3)/(-3). Suppose -3*x - 3*j = -21, 3*x + b = 4*j + 7. Is 5 a factor of x?
True
Let l(m) = -m**3 + 4*m**2 + 6*m + 2. Let t be l(5). Suppose -u + 29 = 5*f - t, 3*f = 15. Is u a multiple of 11?
True
Let s = -14 - -18. Suppose 0 = 3*q - s*q + 44. Is 11 a factor of q?
True
Let p(d) = -135*d - 4. Does 18 divide p(-1)?
False
Suppose 5*s = 4*g - 1217, g - 4*s + 6*s - 314 = 0. Does 22 divide g?
True
Is (-135)/(-12)*(-12)/(-3) a multiple of 9?
True
Suppose -3*h - 44 = -2*h + 2*w, 3*w - 12 = 0. Let p = -75 - h. Let i = p + 38. Is 15 a factor of i?
True
Let m be (0 - 3) + 18/(-3). Let j(r) = r**2 + 7*r - 7. Is 11 a factor of j(m)?
True
Suppose -f - 9 + 53 = -3*o, 4*o = -f + 37. Is f - (3 - 0/3) a multiple of 24?
False
Suppose -4*m = 5*t - 4 + 1, m - 6 = 4*t. Let s(v) = 3*v**2 - 6*v - 7. Let d(y) = 2*y**2 - 3*y - 3. Let p(u) = 7*d(u) - 3*s(u). Is 12 a factor of p(m)?
False
Let a(s) = -s**3 - 8*s**2 - 2*s + 3. Let k be a(-7). Let o = -106 + 54. Let j = k - o. Is 20 a factor of j?
True
Suppose -r = 4*r - 345. Does 18 divide r?
False
Let f be (-72)/27 + (-1)/3. Let h = f - -17. Does 14 divide h?
True
Let f be ((-63)/(-4))/(18/96). Suppose 146 = 5*x - 3*l, 4*l + f = 3*x + l. Is x a multiple of 29?
False
Let k be (4 - 1)/(-6)*-12. Let b = -1 + k. Is b a multiple of 2?
False
Suppose 0 = -4*f - 5 - 23. Let m be -2*(f + (4 - 2)). Is 3 a factor of (-1)/1 - m/(-2)?
False
Suppose 560 = 12*l - 7*l. Suppose 5*p = p + l. Is p a multiple of 7?
True
Suppose y = 2*y - 45. Suppose -y = -5*j - 0*j. Is j a multiple of 9?
True
Suppose -4*n + 0*n - 4 = 3*p, 5*n - 2*p + 28 = 0. Let y = n + 14. Does 8 divide y?
False
Let l = 13 - 21. Let a = l + 34. Is 13 a factor of a?
True
Let p = 5 - 13. Let u = 11 + p. Suppose -72 = -n - u*n. Does 9 divide n?
True
Let m(k) = k**3 - 11*k**2 - 4. Let c(l) = l**3 - 10*l**2 + l - 3. Let w(p) = -5*c(p) + 4*m(p). Let b be w(5). Does 3 divide (-3 - -6) + b/(-1)?
False
Suppose 3*h + 20 = -2*w, 0*h = -2*h + 2*w - 10. Let a be (-1)/(h/4 + 1). Is 5 a factor of (-101)/(-9) + a/(-9)?
False
Let g(s) = 56*s. Let d be g(1). Suppose 4*h + 4*f - d = 0, -2*h = -h + 5*f - 30. Is h a multiple of 10?
True
Let t(s) = 11*s + 63*s + 2 - 1. Is t(1) a multiple of 15?
True
Let g(u) = -u**3 + 4*u**2 + u - 2. Let i be g(4). Suppose i*o + 4*c = 2*c + 14, 0 = c + 4. Suppose -5*k = -9 - o. Is 4 a factor of k?
True
Does 3 divide (6/(-5))/(2/(-5))?
True
Let v be 163 + 0 - (0 - -3). Suppose -55 = -2*n - 5*g, n + 5*g - v = -4*n. Is n a multiple of 7?
True
Suppose -4*b - 3*d = -66, 4*b + b + 2*d - 79 = 0. Does 4 divide b*1*(-1 + 2)?
False
Suppose 9 = 3*s - 12. Is 8 a factor of (-1 + -3)/(s/(-14))?
True
Suppose 0 = 3*z + 1 + 5. Let b be 3/(2/(4 + z)). Suppose -2*m = 3*d - d - 28, -b*d = -2*m + 23. Is m a multiple of 7?
False
Let u(t) be the first derivative of 9*t**2/2 + 4*t + 5. Is u(7) a multiple of 19?
False
Let q = 13 + -4. Is 7 a factor of q?
False
Let i(k) = -6*k - 13. Does 9 divide i(-4)?
False
Suppose 8 = 3*m + m. Suppose 3*z + 10 = -m*g + g, 3*g + 3*z = 0. Is 5 a factor of g?
True
Suppose 0 = 71*d - 80*d + 1179. Is d a multiple of 22?
False
Let n(c) = -18*c + 4. Let y(m) = -m - 1. Let v(g) = n(g) + 2*y(g). Let o = 1 + -3. Does 14 divide v(o)?
True
Let w(k) = 35*k**3 + k**2. Let g be w(1). Suppose -5*h + g = -224. Suppose -2*p = 2*d - h, 3*d - p + 5*p = 73. Is d a multiple of 8?
False
Let d = 97 - 53. Is 4 a factor of d?
True
Let z be 165/(-6)*(-624)/(-10). Let b be 2/7 - z/21. Let m = -43 + b. Is m a multiple of 13?
True
Suppose -3*s + s = -3*n + 209, -146 = -2*n - 2*s. Does 24 divide n?
False
Is 6 + -9 - (-29 + 2) a multiple of 9?
False
Suppose -28 = j - 74. Is j a multiple of 14?
False
Let z = 10 + -10. Is 22 a factor of 2/6*z - -44?
True
Let y(b) = -4*b - 1 - 4*b + b. Let o = -7 + 4. Is 13 a factor of y(o)?
False
Suppose -3*x - 4*f + 7 = 0, 2 = 5*x + 5*f - 13. Let m(l) = -l**3 + 5*l**2 + 4*l. Is m(x) a multiple of 20?
True
Suppose 2*s + 40 = -0*s - 5*n, -3*n - 36 = 2*s. Does 14 divide (-2 - (-36)/s)*-5?
False
Let u(m) = -3*m**3 - 2*m**2 - 5*m - 2. Does 13 divide u(-3)?
False
Let x(l) = 3*l - 12. Let a(p) = -2*p + 11. Let n(s) = -5*a(s) - 4*x(s). Let o(u) = -u**3 + 6*u**2 - 2*u + 6. Let r be o(6). Is n(r) a multiple of 2?
False
Let g(k) = -4*k - 3. Let s(h) = -5*h - 4. Let f(z) = 6*g(z) - 5*s(z). Let o(y) = -7*y**3 - 2*y**2 - y. Let w be o(-1). Is 8 a factor of f(w)?
True
Let b = 194 + 20. Is 33 a factor of b?
False
Suppose 2*d + 0 = 8. Suppose -w = 4*m - 191 + 32, 4 = -d*w. Is m a multiple of 15?
False
Suppose -2*p + 2 + 2 = 0. Is p a multiple of 2?
True
Suppose -2*p = -7*p + 4*v + 228, 0 = 5*p + 3*v - 214. Is p a multiple of 9?
False
Let d = -110 - -150. Is d a multiple of 40?
True
Suppose -v = v - 2. Let j = 2 + v. Does 2 divide 2 + j - 1/1?
True
Let b(l) = l - 4. Let y(f) = 2*f - 3. Suppose -5 = 2*w - w. Let c(n) = w*b(n) + 6*y(n). Is 10 a factor of c(4)?
True
Suppose 0 = -w + 4*w - 12. Suppose w = -2*c - 12. Is 13 a factor of (-180)/c + 1/(-2)?
False
Let x = -13 + 8. Let a = 18 - 8. Let p = a + x. Is 5 a factor of p?
True
Let u(w) = -w**3 - 2*w**2 + 2*w + 1. Is u(-4) a multiple of 7?
False
Suppose 0*x = x + 8. Let a = -2 - x. Does 4 divide a?
False
Let u(p) be the first derivative of 4*p**3/3 - 5*p**2/2 + 2*p + 4. Does 20 divide u(5)?
False
Let q = -41 - -69. Does 7 divide q?
True
Let i = 141 + -70. Suppose -4*f + i = -53. Does 14 divide f?
False
Suppose 2*g - 15 = 5*g, -2*g + 950 = 4*f. Is f a multiple of 24?
True
Suppose -j + 4 = -52. Suppose -3*r = -4 - j. Does 10 divide r?
True
Suppose -3*p - 688 = -11*p. Does 43 divide p?
True
Is -4 - (-4 - -3)*17 a multiple of 13?
True
Let c be 10/(-3)*(-6)/5. Let s(t) = 2*t - 14 + 16 + 2*t. Is s(c) a multiple of 9?
True
Suppose -3*o - x = -9, -x + 4*x = 2*o - 17. Let r be (25 - 0)*(3 - o). Let j = 49 + r. Does 12 divide j?
True
Let g(k) = k**3 + 8*k**2 + 5. Let u be g(-8). Suppose l + 8 = 2*l + 2*a, 0 = -u*l - 5*a + 55. Does 14 divide l?
True
Let j(y) = -5 - 11 + 5*y - y + 1. Is j(6)