 z*q - 110 = p + p, 0 = -p + 1. Is 16 a factor of 4/(-14) - (-456)/q?
True
Is (5 + 2)*(-60)/(-7) a multiple of 12?
True
Let s be -1*(-3)/(9/(-21)). Does 14 divide (-42)/(s/2 + 2)?
True
Let l = 24 + -14. Is l a multiple of 4?
False
Let b(s) = 6*s - 10. Let l be b(7). Suppose 3*f - l = -f. Does 4 divide f?
True
Suppose -2*q = -5*r + 21, q - 24 = -4*r - q. Let g be r/3 + 2/6. Suppose -35 = -g*b + 19. Does 11 divide b?
False
Let i = 302 + -206. Is i a multiple of 12?
True
Suppose 4*v + 35 = 4*w + w, -3*w + 3*v + 24 = 0. Suppose q - w*i - i = -6, 6 = 2*i. Does 5 divide q?
False
Let h = -2 + 0. Let o be 7 + -2 + (1 - 1). Let k = h + o. Is k a multiple of 2?
False
Suppose 0*u - u = 4*m - 27, -3 = -u. Does 6 divide m?
True
Let y(h) = 3*h**3 + h**2 + 2*h**3 + h**3. Is 15 a factor of y(2)?
False
Let x = 0 + -4. Let t = 9 + x. Let i(b) = -b**3 + 7*b**2 - b + 3. Is 19 a factor of i(t)?
False
Let k be -5*9/30*-2. Does 5 divide ((-1)/2)/(k/(-36))?
False
Suppose f - 4*w = 5, 0*f + w = -5*f + 25. Let u(k) = -k**2 + 5*k + 1. Let c be u(f). Does 3 divide 2/2 + c - -1?
True
Suppose -5*m + 30 + 50 = 0. Let l = m + -9. Is 4 a factor of l?
False
Suppose 6*b = b - 300. Let v = -16 - b. Suppose -7 = -3*o + v. Is 13 a factor of o?
False
Let d(o) be the second derivative of o**4/12 + o**2 + o. Let k be -3 + 1 - -10 - 2. Is d(k) a multiple of 19?
True
Suppose 11 = 3*j - 10. Let s(z) = -2*z**3 + 12*z**2 + 4*z - 9. Let t(r) = r**3 - 6*r**2 - 2*r + 4. Let c(p) = -3*s(p) - 5*t(p). Does 14 divide c(j)?
True
Suppose -6*c + 96 = -18. Does 4 divide c?
False
Let g(m) = -1 + 4*m**2 + m + 0 + 2*m**2. Suppose 0 = -2*w + 2 - 0. Is g(w) a multiple of 6?
True
Suppose -j = h + 3, 0*j - 4*h = -2*j + 18. Let o(m) = 7*m**2 - 2*m + 1. Let l be o(j). Suppose p = l*p - 40. Is p a multiple of 4?
True
Let t(g) = g**3 - g**2 - 5*g + 8. Is 3 a factor of t(4)?
True
Suppose -4 = -q + 10. Let u = q + 10. Is u a multiple of 9?
False
Let i = 32 + -10. Is 11 a factor of i?
True
Let u(o) = o**2 - o - 4. Let s = 24 - 17. Is 19 a factor of u(s)?
True
Let a = -22 - -28. Is 3 a factor of a?
True
Let o(t) = 38*t**2 - t. Does 13 divide o(-1)?
True
Let r(q) = q**3 + 16*q**2 + 14*q - 13. Let c be r(-15). Suppose -c*j + 2 = -4. Is j a multiple of 3?
True
Let q(h) = -h**3 + 7*h**2 - 9*h + 5. Let z(j) = j**3 - 7*j**2 + 8*j - 5. Let a(m) = -2*q(m) - 3*z(m). Is a(5) a multiple of 7?
False
Let h(k) = 6*k**2 - 9*k - 8. Is 38 a factor of h(8)?
True
Let x = -10 - -13. Suppose -x*c + 52 = -2*f, -2*f = 2*f - 16. Does 7 divide c?
False
Let q(s) be the first derivative of 13*s**6/180 + s**5/120 - s**4/24 + s**3 + 1. Let f(n) be the third derivative of q(n). Is 13 a factor of f(1)?
True
Let f(d) = -d - 4. Let k be f(-4). Suppose -4 = -2*o - k. Suppose -4*g = 3*r - 23, -g - o*r - r = 1. Is g a multiple of 6?
False
Let v = 11 - -35. Let u = -28 + v. Does 6 divide u?
True
Is 10 a factor of 0 - (-2)/(6/105)?
False
Is (816/(-85))/(2/(-15)) a multiple of 12?
True
Let q = -37 + 63. Suppose 4*v - 6 = q. Is v a multiple of 8?
True
Let t = 50 - 18. Does 5 divide t?
False
Let g be 4*(0 - (-10)/(-8)). Suppose 2*h + 2 = 0, -2*w - 2*h = 3*w - 93. Let b = g + w. Is 7 a factor of b?
True
Let b(h) = 5*h**2 - 4*h**2 + 4*h + 0*h**2 - 3*h. Let q be b(-4). Suppose 0*n - 4*n = -q. Is n even?
False
Does 6 divide 0/2 + 9*2?
True
Let z(s) = 3*s**2 + 13*s + 4. Let r(b) = -16*b**2 - 64*b - 20. Let q(l) = -2*r(l) - 11*z(l). Is 10 a factor of q(-13)?
False
Let f be (-2 + 0 - -3)*5. Suppose -4*g = y - 28, -f*y + 2*g + 0*g + 74 = 0. Is y a multiple of 8?
True
Suppose -15 = -a + 9. Does 8 divide a?
True
Let d be ((-140)/16)/((-4)/(-16)). Let m = 98 + d. Is m a multiple of 13?
False
Does 10 divide 31 + 2/4*(4 - 6)?
True
Suppose 96 = 2*l + 2*q, 0*l + 2*q = -3*l + 140. Is 11 a factor of l?
True
Suppose 6*x - 11*x = -455. Suppose 2*y - 4 = 0, -3*y + x = 2*f - 47. Is f a multiple of 22?
True
Let x = -11 - -51. Let p = x - 20. Is p a multiple of 20?
True
Suppose -5*r - j = 2*j - 127, -4*r + 3*j = -80. Suppose r = -0*m + m. Is m a multiple of 13?
False
Suppose 4*n - 4 - 12 = 0. Suppose -n*k + 35 = -3*r, 5*k - 28 - 10 = -2*r. Does 7 divide k?
False
Let m(n) = n**3 + 6*n**2 - 6*n + 2. Suppose -t = 4*z + 3*t - 12, -13 = 5*z - 2*t. Let v be -2 + 4 - (-8)/z. Does 18 divide m(v)?
False
Let u(f) = -f + 15. Let r be u(11). Suppose -r*h = -0*h - 104. Does 13 divide h?
True
Suppose -197 - 343 = -6*k. Does 10 divide k?
True
Suppose 0 = 2*a + 5*u - 19, -3*a - 40 = -8*a - 5*u. Suppose 4*d + 0 - 4 = 0. Suppose y - a = d. Is 8 a factor of y?
True
Let i = 44 + -24. Let g(r) = r**3 + 6*r**2 + 6*r. Let b be g(-4). Let d = i + b. Does 14 divide d?
True
Let a = -178 - -257. Does 11 divide a?
False
Let f = 4 + -7. Let x = -3 - f. Suppose 3*n - 3*q - 159 + 54 = x, 51 = n - 5*q. Is n a multiple of 14?
False
Let h be (-4 - 6/9*-3)*-3. Suppose -2*x + 117 = -7. Let d = x - h. Does 20 divide d?
False
Let w(i) = -i**3 + 10*i**2 - 9*i + 6. Let y be w(9). Is y/(-18)*(-138)/2 a multiple of 13?
False
Suppose 8 = 3*q - 7. Suppose j + 139 = 4*j - 5*s, s - 241 = -q*j. Does 16 divide j?
True
Let f(a) = -a**3 - 5*a**2 - 4*a - 9. Let t be f(-6). Suppose 4*h = -0*h - y + 73, 3*h = 3*y + t. Does 9 divide h?
True
Let i = 87 + -52. Is i a multiple of 15?
False
Let o = 16 + 86. Is o a multiple of 21?
False
Does 31 divide ((-4)/12)/((-3)/711)?
False
Let j(g) be the second derivative of 11*g**3/6 - g. Suppose 5 = 5*z - 0. Is j(z) a multiple of 8?
False
Let x be 13/4 - 2/8. Suppose -m = -f + 61, 0*f - x*f - 2*m + 173 = 0. Is f a multiple of 15?
False
Let t(b) = -b**3 - 9*b**2 - b - 10. Let z be t(-9). Is 6 a factor of (-60)/(-9) + z/(-3)?
False
Let j(c) = c**2 - 6*c + 4. Let h be j(4). Let x = h - -7. Does 2 divide x?
False
Suppose 5*n - 1 = 3*z + 4, 2*z + 6 = 4*n. Let x(u) = -u**3 + 4*u**2 + 7*u + 1. Is x(n) a multiple of 11?
False
Let p = 101 + -54. Does 17 divide p?
False
Let n(r) be the first derivative of 28*r**2 - r - 1. Let q be n(-1). Let z = q + 84. Is z a multiple of 10?
False
Let c be (0/9)/(-1 - 1). Suppose 0*y + 4*y - 4*p + 8 = c, -4*y - 3 = -3*p. Suppose 0 = y*h - 4*h + 4. Does 3 divide h?
False
Let o(n) = -5*n**2 - 31*n + 13. Let i(z) = -2*z**2 - 15*z + 6. Let f(x) = -7*i(x) + 3*o(x). Let g = -15 - -23. Is f(g) a multiple of 14?
False
Suppose 2*p = p - 2*d - 10, 3*p = -d - 5. Suppose 2*n + 0*n - 64 = p. Does 16 divide n?
True
Let d(q) = 6 - 1 - q**3 - 5*q - 9. Does 16 divide d(-3)?
False
Suppose 38 = 4*d + 2*m - 8, -d - 2*m + 16 = 0. Is 5 a factor of d?
True
Suppose -2*x + l = -1, l - 14 = -x - 3*l. Suppose 3*c + s - 21 = 0, 0 = 7*c - 3*c - 3*s - 15. Suppose -c*j + x*j = -64. Does 8 divide j?
True
Let g(x) = x**2 + 4*x - 2*x + x**2 - 4. Let a be g(-3). Let f = a + 0. Does 8 divide f?
True
Let m(l) = l**3 + l**2 + l + 3. Let d be m(0). Suppose 2*i = 2*v - 226, d*i - 222 = -2*v + i. Is v a multiple of 29?
False
Suppose -5*z = -277 - 48. Suppose -5*r + z = -105. Is 17 a factor of r?
True
Let a = 5 + 13. Is 6 a factor of a?
True
Suppose -4*w + 168 = 3*o, 2*w - 90 = 5*o + 20. Is w a multiple of 15?
True
Let k be (-12)/42*-1*7. Let z(s) = 5*s**2 + 3*s - 2. Is z(k) a multiple of 9?
False
Let p(v) be the second derivative of -v**5/20 + 3*v**4/4 - 7*v**3/6 - 11*v**2/2 + 3*v. Let j be p(8). Does 14 divide (-46)/(-3) - 2/j?
False
Let f(z) be the second derivative of -z**6/120 + z**5/60 + z**4/24 + z**3/6 + z**2 - z. Let w(h) be the first derivative of f(h). Is 4 a factor of w(-2)?
False
Suppose -p = -3*a - 20, 0*p - p - a = 0. Suppose -p*j = -0*j. Suppose j*m + 3*m - 18 = 0. Does 3 divide m?
True
Suppose -3*n + 21 = 3*p, -2*n + 12 + 8 = 4*p. Suppose 2*s = p*s - 4. Suppose s*o = 112 + 60. Does 17 divide o?
False
Suppose 0 = -g + 3*g - 20. Let y = g - 25. Let j = y - -24. Is 9 a factor of j?
True
Let b = 101 + -82. Is 4 a factor of b?
False
Let q = 53 + -41. Is q a multiple of 4?
True
Is 17 a factor of 36*3/((-24)/(-52))?
False
Let r = 59 - 37. Suppose q = -2*t + r, -q + 4*q - 56 = -t. Suppose 8*c - 3*c - q = 2*m, -8 = 4*c + 4*m. Does 2 divide c?
True
Suppose 0 = 2*k + k - 4*r - 501, -3*k + 3*r = -504. Does 19 divide k?
True
Suppose -442 + 154 = -4*l. Does 18 divide l?
True
Is 47 a factor of ((-999)/18)/(-1 + (-2)/(-4))?
False
Let o = -6 - -10. Suppose -4*g + o = -a, 3*g - 3 = -5*a + 2*a. Suppose -4*