t a = 6 + -4. Suppose a = c - 2. Let k(b) = 2*b**2 - 4*b + 4. Is 8 a factor of k(c)?
False
Let y(k) = 68*k**2 - 2*k - 3. Is 21 a factor of y(-2)?
True
Let t be ((-4)/(-1))/(2 - 1). Let k be (-6)/t*(-556)/(-6). Let s = -92 - k. Does 17 divide s?
False
Let i(y) = y**3 + 7*y**2 - 7*y + 11. Is 3 a factor of i(-8)?
True
Suppose 3*n - k - 4 = 2, -2*n - 4*k + 18 = 0. Suppose -5*z + 16 = -n*z. Is 3 a factor of z?
False
Suppose 4 = -3*d + c + 1, 15 = 5*c. Suppose 2*t = -0*t + 12. Suppose d = -t*f + 5*f + 4. Is f a multiple of 4?
True
Let n = -82 - -158. Is n a multiple of 14?
False
Let j(x) = 3*x**2 + 10*x - 6. Let z be j(-8). Let b = -40 + z. Is b a multiple of 17?
False
Let z = -44 - -52. Is 6 a factor of z?
False
Suppose 0 = -4*j + 4*t + 336, -2*j - 2*j = -5*t - 338. Suppose 0*l + 2*l = -j. Let o = -29 - l. Is o a multiple of 8?
False
Does 12 divide 151 + -6 + -1 + 0?
True
Let c(o) = 2*o - 7. Let z be c(5). Suppose -2*k = 5*n - 25, n - z*n = -2*k - 24. Does 2 divide n?
False
Let w(n) = 3*n + 3. Let o = -8 + 11. Suppose 3*d - 8*d = -4*i + 25, o*i - 2*d = 17. Is 6 a factor of w(i)?
True
Let m = -6 + -2. Let t = m + 138. Suppose -y - t = -6*y. Is 15 a factor of y?
False
Let i(t) = 5*t - 1. Let k be i(2). Let d = k + -19. Does 7 divide d/2*(-14)/5?
True
Suppose 0 = -17*w + 13*w + 8. Let y = -15 + 59. Does 22 divide (y/5)/(w/10)?
True
Let c(r) = 2*r - 5. Let n be c(4). Suppose 9 = n*p - i + 2, -17 = -5*p - i. Suppose 33 = 5*l + 2*j, p*l = -0*j - 2*j + 19. Does 7 divide l?
True
Let y(q) = q**2 - 3*q**3 - q + 12 + 20 - q**3 + 3*q**3. Is y(0) a multiple of 16?
True
Let x(v) be the third derivative of v**8/20160 - v**7/1260 - v**5/20 - 2*v**2. Let t(f) be the third derivative of x(f). Is t(-3) a multiple of 14?
False
Let q be 185/4 - (-19)/(-76). Suppose -q - 16 = -2*r. Is 31 a factor of r?
True
Let s be 147/5 - 6/15. Suppose -2*d = 2, 5*l - 4*d + s = 273. Suppose 0 = f + 2, -2*t + l = -0*t - 4*f. Does 10 divide t?
True
Let s = 107 - 76. Is s a multiple of 15?
False
Let w(i) = 5*i**2 + 0*i**2 + 0*i**2 + 1 + i**3. Let u be w(-5). Is 15 a factor of 2 + 13 - (u + -1)?
True
Let m(t) = -t**2 + 7*t - 3. Let o be m(4). Let h(l) = l**2 - 7*l - 13. Is h(o) even?
False
Let m(p) = 6*p**2 - 6*p - 12. Is m(-7) a multiple of 26?
False
Let u be (9 - 4)*(1 - 0). Suppose -a + 19 = -5*m, -7 = 4*a - u*a - m. Is 9 a factor of a?
True
Suppose -5*m + 69 + 66 = 0. Does 19 divide m?
False
Let g(z) = 2*z**2 + 12*z + 9. Does 3 divide g(-6)?
True
Let x be (12/(-10))/((-2)/(-5)). Let m(b) be the third derivative of -b**4/12 - b**3/3 + 2*b**2. Does 3 divide m(x)?
False
Let i(g) = -g**3 - 10*g**2 - 10*g + 9. Is 18 a factor of i(-9)?
True
Let d be (-3 + 0)/((-3)/4). Is 19 a factor of ((-20)/3)/(d/(-18))?
False
Let m(j) = -j**2 + 13*j + 3. Suppose u - 12 = -0*u. Does 3 divide m(u)?
True
Let v = -70 + 116. Is 23 a factor of v?
True
Suppose 0 = 4*z - 2*z - 120. Is 12 a factor of z?
True
Does 19 divide ((-76)/6)/((-34)/153)?
True
Suppose -13*f = -1642 - 412. Is f a multiple of 29?
False
Is 11 a factor of 2 + 1 + 70 - -4?
True
Let l(v) = v**2 - v + 4. Let d be l(0). Suppose 0*k + 5*k = -2*h + 143, -5*k = d*h - 151. Is k a multiple of 9?
True
Let x be (-4452)/(-35) - 2/10. Suppose 2*g + 3*n = 84, -x = -4*g - 2*n + 41. Suppose -5*h - g = -6*h. Does 14 divide h?
True
Suppose 0 = -3*j - 0*j + 18. Suppose -2 = 4*w - j. Suppose -w = -y + 7. Is y a multiple of 5?
False
Let n(s) = -6 - 36*s + 6. Let j be n(-1). Suppose -3*b = -36 - j. Is b a multiple of 12?
True
Let m(f) = 5*f - 25. Is m(7) a multiple of 5?
True
Let h be (-2)/1*(-217)/14. Let d = h - 17. Is d a multiple of 5?
False
Let b(v) = v. Let x(n) = n**2 - 7*n + 7. Let y be x(7). Is b(y) a multiple of 7?
True
Suppose -3*c = 2*p + 3*p - 32, -3*c + 12 = 0. Is 6 a factor of (-33)/(-6) + p/8?
True
Let a(k) = -k**2 + 12*k - 9. Let n(y) = y**2 - 11*y + 8. Let c(g) = -4*a(g) - 5*n(g). Let v be c(4). Suppose -2*o = -2, 5*l - o - v = o. Is l even?
True
Suppose 2*b - 220 = -0*y - 2*y, -2*b = -4*y + 464. Is 19 a factor of y?
True
Suppose 4*h + t = 4, h = 3*t - t - 8. Let r(s) = -s**3 + s**2 + s + 46. Is 23 a factor of r(h)?
True
Let q(u) = u**3 - u**2. Let s be q(1). Let i(h) = -3*h**2 + 11 + 2*h - 3*h + 1 + h**3 + 2*h**2. Is i(s) a multiple of 12?
True
Is 10 a factor of 1 + (-10)/(-3 + 2)?
False
Let h(q) = q**3 - 7*q**2 + 5. Let k be h(7). Let d = -1 + k. Suppose 2*y - d*b = 3*y - 48, -3*y + 5*b + 110 = 0. Does 20 divide y?
True
Let q(b) = 55*b + 1. Let j be 81/99 - 4/(-22). Is q(j) a multiple of 11?
False
Let o(d) = d + 7. Let v be o(-8). Let a be v/(-3) - 10/(-6). Suppose 0 = l - a - 5. Is l a multiple of 7?
True
Let q = 35 + -71. Let f be 8/q + 2/9. Let k(n) = -n**2 - n + 6. Is 6 a factor of k(f)?
True
Let z(k) = 2*k**2 - 14*k + 48. Is z(8) a multiple of 16?
True
Suppose 3*k + 62 = -o, 2*k + 0*k - 5*o = -64. Is 15 a factor of 1840/44 + (-4)/k?
False
Let z(k) = 2 - 2*k + 4*k + 3*k**2 - 2*k**2 + k. Is 15 a factor of z(-7)?
True
Suppose 2*j - 116 = t + 71, j + 2*t - 86 = 0. Does 10 divide j?
False
Is 18 a factor of (-7 + 1)/((-12)/72)?
True
Suppose 2*h + 8 = 0, 12 + 20 = 4*t - 4*h. Suppose -162 = -5*j + 7*z - 3*z, -2*j = t*z - 48. Is 4 a factor of j?
False
Let h(u) = -40*u - 4. Let b = -17 - -15. Is h(b) a multiple of 27?
False
Suppose 2*o - 566 = -4*u, 0 = -u + 7*o - 6*o + 149. Is 18 a factor of u?
True
Let h(g) = g**2 + g + 2. Is h(6) a multiple of 11?
True
Let g = 256 + -100. Does 13 divide g?
True
Suppose 0*d - 2*j = -d + 11, 3*d = 5*j + 28. Let x(f) = 10*f**2 + 10 - 9 + 7*f**2 + 6*f**2. Is 9 a factor of x(d)?
False
Suppose 2*t = 3*y - 29, -2*y - t = -4*t - 21. Does 6 divide y?
False
Let d be 4/((-1 + -1)/(-2)). Let b be ((-6)/d)/((-3)/28). Suppose -2*r + 12 = -b. Is r a multiple of 13?
True
Let s(a) = -a - 6. Let h be s(-5). Let r(j) = 38*j**2 - j. Does 11 divide r(h)?
False
Suppose -3*p - 4*o = -52, -2*o + o = 5. Is 12 a factor of p?
True
Suppose -5*x - 4*w - 21 + 54 = 0, -5*w + 10 = 0. Suppose 3*f + x*o = 56, 4*f = f + 5*o + 76. Is f a multiple of 7?
False
Let b(a) = -a**2 - 3*a - 5. Let k be b(-4). Let q be 0 - -2 - (k + -3). Suppose q = 3*m + 2. Is 2 a factor of m?
True
Let j be (156/10)/(2/10). Let s = j + -47. Let f = -19 + s. Does 5 divide f?
False
Let h = -14 + 20. Let y(z) = z**2 - 3*z. Let c be y(h). Suppose 0 = 3*g - 0*g + d - 38, g = -3*d + c. Is g a multiple of 6?
True
Let f(c) = 3*c + 27. Let y(g) = -2*g - 14. Let l(u) = -4*f(u) - 7*y(u). Let w be l(7). Is (-2)/w + (-92)/(-8) a multiple of 10?
False
Let o(j) = 5*j - 3. Let n be o(-5). Let q = -59 - -19. Let d = n - q. Is d a multiple of 5?
False
Let n(w) = w**2 + 18*w + 19. Let o be n(-17). Is 6 a factor of ((-16)/(-6))/(o/9)?
True
Let q be (25/15)/(2/6). Suppose h + 4*h = q. Is (-164)/(-12)*h*3 a multiple of 16?
False
Suppose -2*t + 22 = -0. Is 11 a factor of t?
True
Let d = 4 - 1. Let t be ((-6)/(-12))/(2/220). Suppose 3*n = -k + 8*n + 31, -4*k - d*n = -t. Is 8 a factor of k?
True
Suppose 4*f - 73 = -o + 72, 0 = -5*o + 4*f + 605. Is o a multiple of 36?
False
Suppose -2*n + 7*n = 3*t + 270, -3*t + 186 = 3*n. Suppose -5*j + 139 = 3*z, 0 = -3*z + 2*j + 47 + n. Does 19 divide z?
True
Let o be 80*(-1 - (-2 - 0)). Suppose -6*m + o = -m. Is m a multiple of 8?
True
Does 13 divide 4/(3 - 7) + 44?
False
Let s be (-10 - 4)*14/(-4). Let u = -35 + s. Suppose 3*q - 2*v = 21, 3*q - u = 3*v + 4. Is q a multiple of 9?
True
Suppose 0 = -3*n - 5*p + 105, 4*n - n = p + 123. Does 9 divide n?
False
Suppose 3*g - n = -g - 6, -4*g = -3*n + 10. Let k be 1*(198/3)/3. Let j = k + g. Is 7 a factor of j?
True
Let s(j) = j - 1. Let b = 9 - 3. Let u(w) = -7*w + 38. Let n(p) = b*s(p) + u(p). Is n(0) a multiple of 16?
True
Suppose -t = 3*h + 388, -4*h = -2*t + h - 798. Is 15 a factor of t/(-10) - (-4)/(-10)?
False
Let s(r) = 2*r**2 + 4*r + 3. Let m be s(-2). Let v = m - -11. Does 9 divide v?
False
Let r(m) = 2*m - 3. Let t = -2 + 5. Let u be r(t). Suppose 40 = u*f - 14. Does 7 divide f?
False
Is 5 a factor of 18/72 - (-163)/4?
False
Let i = 4 + 1. Suppose 5*u = -2*n + 4, -3*n - i*u - 17 = -4*n. Is n a multiple of 3?
False
Suppose 0 = i - 2*i - 1. Let d be (2 - 0)*(-1)/i. Suppose 0 = 3*k + d - 68. Is k a multiple of 11?
True
Let h be (-5)/(-3) - 2/(-6). Let y(q) = 2 + 4 + q + q**h + 0. Is y(0) a multiple of 6?
T