True
Suppose -i = 4*v + 3*i + 164, -4*v = -4*i + 180. Let p be (5 - 1) + -3 + v. Let r = 73 + p. Is r a multiple of 17?
False
Suppose 18 + 7 = 5*a. Suppose -4*c + a*c - 7 = 0. Does 3 divide c?
False
Let c(g) = -3*g - 7. Let p(n) = n**3 - 4*n**2 - 6*n + 5. Let r be p(5). Suppose j + j - a + 15 = r, -3*a = -9. Is c(j) a multiple of 11?
True
Let y = 68 + -57. Suppose -4*z + 12 = -2*u, -6*u - 14 = -2*z - u. Suppose o = y + z. Does 11 divide o?
False
Let m be -2 - 1/((-2)/12). Suppose 0 = m*r - 3*r - 4. Suppose -45 = l - r*l. Is l a multiple of 4?
False
Suppose 4*o - 7 = o + 4*t, 2*o - 1 = -t. Let k be (-5)/(o*(2 + -1)). Is 6 a factor of (-114)/(-15) + (-2)/k?
False
Suppose 3*z = 4*r + 20, -2*z = 7*r - 3*r. Suppose c - z*u - 6 = -2*u, -2*c - 3*u + 26 = 0. Is c a multiple of 10?
True
Suppose j + 2*j = 4*m - 30, 0 = 2*m - 6. Let w = j + 4. Let q(p) = 9*p**2 + 3*p. Is q(w) a multiple of 20?
False
Let t(y) be the first derivative of 1/3*y**3 - 5/2*y**2 + 0*y + 2. Is t(8) a multiple of 11?
False
Let y(r) = -r**2 - 3*r. Let f be y(-2). Does 14 divide (-3)/f*(-392)/12?
False
Suppose -z = -6*z + 420. Does 12 divide z?
True
Suppose f + 3 = 5. Suppose f*s - 6 = s. Is s a multiple of 3?
True
Suppose -l - 4*l = -210. Let t be (-308)/14 + 2/(-1). Let g = l + t. Is g a multiple of 6?
True
Suppose 5*z - 15 = -5. Suppose 0 = z*r + 2*m + 4 - 60, 6 = 2*m. Is 16 a factor of r?
False
Let m(z) = -z**3 + 5*z**2 + 6*z + 1. Does 13 divide m(-3)?
False
Let f be (-1 - -1)*(-5 + 6). Suppose f*p + 4*p = 124. Is 13 a factor of p?
False
Suppose 0*z = 3*z - 102. Is z a multiple of 10?
False
Let u(v) be the third derivative of -v**5/60 + 3*v**4/8 + 5*v**3/6 + 4*v**2. Is u(7) a multiple of 7?
False
Let t = 0 - -3. Let g = 31 + -23. Suppose -3*s = -j - g, -2*s - t*j = -0 - 9. Is 3 a factor of s?
True
Let k = -2 + 16. Is 4 a factor of k?
False
Suppose 5*j = 9*t - 4*t + 5, 5*t = -4*j + 49. Suppose -o = -j*o + 240. Is o a multiple of 12?
True
Let u = -90 - -141. Suppose -2*c + 3*c = u. Is 17 a factor of c?
True
Is (-10)/65 - (-2658)/39 a multiple of 17?
True
Let m(s) = -6*s + 3. Does 29 divide m(-14)?
True
Let k be 3/2 + (-55)/(-10). Let j = k - 7. Suppose 3*g + 5*n = 64, -g + 2*g + 2*n - 20 = j. Is 14 a factor of g?
True
Let i = 3 - -1. Is (8/3)/(i/48) a multiple of 16?
True
Let p = 6 + -3. Suppose 0*z - 2*z = -4*h + 232, -5*z + 200 = p*h. Is 20 a factor of h?
True
Suppose -5*t = -4*f - 70 - 4, 0 = -2*t + 3*f + 31. Does 9 divide t?
False
Let k(p) be the first derivative of p**4/4 - 4*p**3/3 - 2*p**2 + 3*p - 1. Suppose -27*a = -31*a + 20. Is k(a) a multiple of 3?
False
Let p(m) = 25*m + 5. Let l(d) = -d - 1. Let o(r) = 4*l(r) + p(r). Let a be o(1). Is (a/(-2))/((-6)/18) a multiple of 9?
False
Let g = 11 + -20. Let i = g - -3. Is 1/2 - 45/i a multiple of 4?
True
Let h = 2 - -4. Is 7 a factor of h + (0 - (-6)/3)?
False
Suppose 82 = 6*p - 98. Does 10 divide p?
True
Is (6/10)/((-5)/(-75)) a multiple of 3?
True
Let u be 28/6 + 4/12. Is 92/(-5)*u/(-2) a multiple of 16?
False
Let x = -88 + 130. Does 5 divide x?
False
Suppose -20 = -4*g + 4*o, 3*g + 2*g - 4*o = 20. Suppose g*z + 303 = 3*z. Is z a multiple of 21?
False
Suppose 0 = -g - 2*o, 5*o = 5*g - 5 + 50. Is 15 a factor of g/(-21) + 1565/35?
True
Suppose 0 = 2*d + d - 27. Suppose -d = -5*j + 6. Is j a multiple of 3?
True
Let v(b) = b + 3. Let u be v(3). Let y be ((-4)/(-14))/(u/42). Is y + (6 - 6/2) a multiple of 5?
True
Suppose 4*k - 3*s - 600 = 0, -3*k + 0*k - 5*s + 450 = 0. Let i = k - 55. Is i a multiple of 19?
True
Let a(g) = g**2 + 7*g + 3. Let z be a(-7). Suppose -k = -5*k + 8. Suppose 13 = -k*p + z*p. Does 13 divide p?
True
Let l(q) = 12*q - 54. Is l(7) a multiple of 10?
True
Let l = 3 - 3. Let r be 5 + (-1 - (0 - l)). Suppose r*c - o - 68 = -5*o, -c + 2*o + 11 = 0. Is 10 a factor of c?
False
Suppose 5*t - 42 = -2. Suppose -12*f + 176 = -t*f. Is f a multiple of 16?
False
Suppose 0 = 2*r + 24 - 50. Is r a multiple of 2?
False
Is (-9)/3*-1*(-56)/(-12) a multiple of 9?
False
Let b = 12 - 8. Suppose 4*x - 8 - b = 0. Suppose 0 = x*z - 2*a - 48, 2*a + 33 + 1 = 2*z. Is z a multiple of 7?
True
Suppose -a = -7*a + 690. Is 37 a factor of a?
False
Let d = 37 + 21. Is 12 a factor of d?
False
Suppose 4*y = y. Suppose 2*w - g - 13 - 15 = y, w - 3*g = 19. Is w a multiple of 11?
False
Let b = -5 - 0. Let h = 15 - b. Is h a multiple of 17?
False
Let o = 97 + -53. Is o a multiple of 4?
True
Let k(a) = -a**3 - 8*a**2 + a - 4. Does 17 divide k(-9)?
True
Suppose -q = 3*q + 12. Is 9 a factor of 17 - (2*-1 - q)?
False
Let f be 3/2 - (-3)/6. Is 13 a factor of (4 - f)/(2/13)?
True
Let r = 10 + -3. Let h = -2 + r. Suppose 2*n - 4 = 2*k - 0, 20 = h*k. Does 3 divide n?
True
Let b = 11 - 7. Does 4 divide b?
True
Let b(x) = -x**3 - 4*x**2 - 4*x - 6. Let z be (-3)/((-4)/(64/(-6))). Let g = z + 4. Does 10 divide b(g)?
True
Suppose -18 = -0*r - 2*r. Let o = r + -4. Let p = 8 - o. Is 3 a factor of p?
True
Let x(w) = 9*w + 1. Suppose -5 = -3*j + 7. Is 15 a factor of x(j)?
False
Suppose -8*w + 10*w - 192 = 0. Is w a multiple of 48?
True
Suppose 2*v - 82 = 38. Suppose f - v = -4*f. Does 12 divide f?
True
Let s(z) = z**2 - 5. Let n = 10 - 7. Let d be (n/(-6))/((-1)/(-12)). Is s(d) a multiple of 11?
False
Let o(g) = -6*g - 2. Let k(v) = -2*v**3 - v**2 + v - 1. Let z be k(1). Is o(z) a multiple of 3?
False
Let t(i) = -2*i**3 + 3*i. Is 9 a factor of t(-3)?
True
Let q = 4 - -2. Let b be (q/8)/(4/448). Suppose -4*g + b = 16. Is g a multiple of 10?
False
Let v(s) = -s**3 + 5*s**2 + 2. Suppose -3*t = -t - 10. Let p be v(t). Is p + (-1)/(-2)*0 a multiple of 2?
True
Let a = -28 + 58. Does 10 divide a?
True
Let h = 45 + -10. Let y = h - 25. Does 4 divide y?
False
Let u(c) = c**2 - c + 59. Is 14 a factor of u(0)?
False
Let u(o) = -o**2 + 21*o - 16. Is u(19) a multiple of 11?
True
Let v = 36 + -23. Is 12 a factor of v?
False
Suppose -3*p + 21 - 6 = 0, -c - 10 = -5*p. Does 5 divide c?
True
Suppose -3*z - p + 3*p = -10, 2 = 4*z + 3*p. Is z even?
True
Let b(r) = 6*r**2 + 8*r - 5. Is 37 a factor of b(5)?
True
Let c be (-4)/((-24)/9 + 2). Is 4 a factor of c/(-4) + 315/18?
True
Let h(o) = o. Let s be h(4). Let z be s*(0 + 3/6). Suppose 0 = 6*y - z*y - 44. Does 11 divide y?
True
Let g be (0 + -62)*(-5 + -3). Let l = -311 + g. Suppose -5*q + 4*o + l = 2*o, 5*o = -3*q + 142. Does 23 divide q?
False
Suppose 3*l - 216 = -2*w - w, -2*l - 5*w + 144 = 0. Is 43 a factor of l?
False
Let o(t) = -t + 19. Let h be o(14). Let w(u) = -5*u**2 - 3 + 4 + 5*u - 8 + u**3. Does 9 divide w(h)?
True
Is 31 a factor of (-14)/56 + 137/4?
False
Suppose 3*d - n = -0*n + 209, -79 = -d + 5*n. Is d a multiple of 23?
True
Let q = -59 + 202. Is 13 a factor of q?
True
Let a = -4 + 5. Suppose 2*p - 61 = -a. Is 15 a factor of p?
True
Let b(y) = 4*y**2 + 8*y - 16. Is 16 a factor of b(8)?
True
Is 12 a factor of ((-216)/7)/(54/(-252))?
True
Let p be (-24)/(-10) + (-12)/30. Suppose i - 2 = 0, 3*n + 12 = 5*n + p*i. Suppose 0*l + 5*l = n*c + 77, 3*c + 9 = 0. Is 8 a factor of l?
False
Let p = 240 - 104. Is 17 a factor of p?
True
Suppose 4*o - 7*o - 4*g + 155 = 0, -3*g = 2*o - 105. Is o a multiple of 17?
False
Let l = -10 + 5. Let z(f) = -4*f. Is z(l) a multiple of 9?
False
Let z(n) = -2*n**3 - 9*n**2 - 8*n + 4. Is z(-5) a multiple of 23?
True
Let q(j) = -4*j + 1. Let p be q(1). Let u(l) be the third derivative of -l**6/60 - l**5/60 + l**4/8 + l**3/3 - l**2. Is u(p) a multiple of 19?
True
Let d = 13 + -9. Suppose -6*u = -3*u, -d*u = -q + 22. Is q a multiple of 14?
False
Let r be 0 - (2 - -12) - -2. Suppose 3*l - 5*q = 5*l - 27, 15 = 4*l - 3*q. Is 5 a factor of 16/r*l/(-1)?
False
Let d = -5 - -7. Suppose d = -4*f + 10. Is f a multiple of 2?
True
Let u = 81 + 39. Does 15 divide u?
True
Let s(o) be the third derivative of o**5/60 - o**4/12 + o**3/6 - 6*o**2. Does 11 divide s(7)?
False
Suppose 5*p - 2*p - 9 = -3*g, 0 = -3*p - 5*g + 11. Let z = -6 - -8. Is 10 a factor of 0*p/z - -20?
True
Let r be 0/((-6)/(0 - -3)). Suppose r = 2*x + 2*x - 40. Is x a multiple of 5?
True
Suppose 20*n - 3825 = -965. Is 11 a factor of n?
True
Let r(s) = -s**3 - 8*s**2 - 7*s. Let g be r(-7). Suppose -2*b - 4*q + 36 = g, 5*b + q - 38 = 4*q. Is b a multiple of 6?
False
Suppose -4*m + 21 + 15 = 0. Let g(s) = -1 - 1 + 2*s - 9. Is g(m) a multiple of 5?
F