 Let y(z) = 14*z + 5 + a - 2 - 3. Is 15 a factor of y(2)?
True
Let n = 19 + -9. Is n a multiple of 7?
False
Let a(v) = -v + 1. Let f be a(-1). Suppose -f = -5*d + 8. Suppose d*u - 23 = 3. Is 13 a factor of u?
True
Suppose -4*l + 0 = 5*h - 1, -5*l = -h + 6. Let z = l - -1. Suppose 3*g - 3*s - 69 = z, -3*s - 25 = -g - s. Does 13 divide g?
False
Let b(a) be the first derivative of a + 5/2*a**2 + 2. Does 13 divide b(3)?
False
Suppose 3*s = 4*q + 133, -2*s + 168 = -4*q - 6*s. Let w = q + 61. Does 6 divide w?
True
Let c = 0 + -9. Let b = c + 72. Let v = -43 + b. Is 6 a factor of v?
False
Let o(w) = w - 7. Let r(g) = -g + 8. Let m(v) = -4*o(v) - 3*r(v). Let k be m(4). Suppose i + 4*i - 70 = k. Does 7 divide i?
True
Does 32 divide (-21 + 4 - 0)*-9?
False
Is (280/(-25))/((-1)/5) a multiple of 14?
True
Let u be (-41)/(-3) + (-16)/24. Let w = u + -5. Does 4 divide w?
True
Suppose -i + 17 = 4. Does 4 divide i?
False
Let x(f) = 29*f + 17. Does 13 divide x(3)?
True
Let z = 41 - -27. Is 34 a factor of z?
True
Suppose 0 = d + 2*d. Suppose h + 0*h + 3 = 0, 4*l + 2*h + 6 = 0. Suppose d = -k - l*k + 56. Is k a multiple of 22?
False
Let b be 2/(-3) + (-16)/(-6). Is 11 a factor of b/7 - (-372)/21?
False
Suppose -5*c = -4*c - 36. Does 10 divide c?
False
Let t(k) = k**2 + 10*k + 17. Is 15 a factor of t(-12)?
False
Let h = -9 + 14. Suppose 5*l = -h*o + 725, -2*o + 0*o + 318 = -5*l. Suppose -3*a = -b + 34, -4*b + a = 2 - o. Is 20 a factor of b?
False
Suppose -3*i = 3*p - 66, -5*i + 30 = -4*p - 89. Is i a multiple of 6?
False
Suppose 0 = 5*d - 271 - 14. Does 19 divide d?
True
Suppose 0 = -s + 180 - 48. Does 12 divide s?
True
Let x(g) = g + 14. Let i be x(-9). Suppose -k + 5*r + 13 = -i, -4*r = -8. Suppose 4*z - 26 + 3 = 5*w, k = 4*z - 4*w. Does 5 divide z?
False
Let c(b) be the second derivative of -b**5/24 - b**4/6 + b**3/6 + b. Let a(u) be the second derivative of c(u). Is 4 a factor of a(-3)?
False
Is 6 a factor of (3/2)/((-15)/(-230))?
False
Suppose -80 = 4*p + p. Let s = p - -29. Is s a multiple of 8?
False
Suppose 2*d - 452 = -186. Suppose m = -2*a + 56, -4*m + 7*m - a = d. Is m a multiple of 23?
True
Let q(t) = 4*t**2 - 12*t + 19. Does 24 divide q(6)?
False
Let q(o) = 9*o**3 - o + 1. Let g be q(1). Let u(p) = p**3 - 8*p**2 - 6*p + 8. Is u(g) a multiple of 19?
False
Suppose b + 298 = 3*n - b, -4*b + 76 = n. Suppose 0 = 2*s - 6*s + n. Does 8 divide s?
True
Let b(p) = 31*p**2 + p + 2. Let c be b(-2). Suppose 0 = -0*v + 4*v - c. Suppose -3*u + 35 - 2 = 3*m, -5*u = 3*m - v. Does 12 divide m?
True
Suppose -3*v + 74 = -397. Is 33 a factor of v?
False
Let p(z) be the second derivative of 4*z**4 - 2*z. Let h be p(-1). Suppose -4*f - 2*c + 70 = 0, 2*f - 4*c = -8 + h. Is f a multiple of 9?
True
Let z(r) = -r**2 + 7*r - 1. Let c = -1 + -1. Let k(y) = 2*y**2 + y - 1. Let m be k(c). Is 4 a factor of z(m)?
False
Let p(f) = 5*f**2. Let d be p(-1). Let h(n) = n**3 - 4*n**2 + 8*n + 2. Is 25 a factor of h(d)?
False
Let f(l) = -l**3 - 5*l**2 + l - 1. Let q be f(-5). Let p(h) = h**2 + 5*h + 4. Let x be p(q). Suppose o - 18 = x. Does 15 divide o?
False
Suppose 4*m - b - 91 = 106, -m + 5*b + 35 = 0. Is m a multiple of 11?
False
Suppose 0 = 3*b + b - 48. Is 3 a factor of b?
True
Suppose -5*k + k = -64. Is k a multiple of 8?
True
Suppose x = 2*x - 5. Suppose 4*f + 15 = -4*u + u, u = -4*f - x. Suppose f = -4*b - o + 34, -6*o + 4*o + 12 = b. Is 8 a factor of b?
True
Let h = 75 - 72. Is 3 a factor of h?
True
Let l = 8 - 3. Suppose 3*i + i + l*q + 187 = 0, 2*i - 2*q + 116 = 0. Let o = i + 75. Is o a multiple of 11?
True
Does 35 divide 2145/12 + 2/8?
False
Let d = -11 - -18. Let c = d - 11. Is 7 a factor of (-31 + 1)/(6/c)?
False
Let r(t) = t - 4. Let z(h) = -h + 9. Let m(d) = -10*r(d) - 4*z(d). Let n(f) = -f**3 - 9*f**2 + f + 5. Let v be n(-9). Is 12 a factor of m(v)?
False
Suppose -n + 13 = n + 3*f, -4*n = -f - 5. Suppose -p - 11 = -n*p. Does 4 divide p?
False
Suppose 0 = -a + 3*a + 4, 4*a = -4*x + 4. Let j = x + 4. Does 7 divide j?
True
Let q(w) = 10*w**2 + 3*w - 1. Suppose 3*t = 4 + 2. Let v be q(t). Let y = -10 + v. Is 20 a factor of y?
False
Let t = -13 + 12. Is 12 a factor of (6*t)/((-3)/18)?
True
Is 1/3 + (-537)/(-9) a multiple of 8?
False
Let t be 1310/14 + 15/35. Suppose -3*r = -r - t. Is 11 a factor of r?
False
Suppose 2*s + 0*s - 2*u = 6, -2*u = 2*s - 26. Does 2 divide s?
True
Let s = -134 + 270. Is s/7 - 15/35 a multiple of 19?
True
Let l be (1 - 0) + (-1)/(-1). Does 15 divide 3*(l/(-1) - -12)?
True
Is (53/7 - -1)*(-210)/(-12) a multiple of 9?
False
Suppose -4*d = a - 112, -5*a + 4*a + 144 = -4*d. Let u = a + -88. Does 17 divide u?
False
Let s = -63 + 308. Is s a multiple of 7?
True
Let b = -66 - -60. Let d = -22 - -8. Let p = b - d. Does 4 divide p?
True
Suppose -3*m + 0*m = 15. Suppose -3*h + 26 - 95 = 0. Let q = m - h. Does 8 divide q?
False
Let s = -5 + 10. Suppose -4*y - 5*d = -4, s*d + 56 - 24 = 2*y. Suppose 0 = -2*z + y, 2*n + 2*z = -0*n + 16. Is n a multiple of 3?
False
Let h(t) = t + 1. Suppose 0*r = -r + 4. Let s be h(r). Suppose s*p = 2*x - 5 - 9, 0 = 5*x + 3*p - 66. Is x a multiple of 6?
True
Suppose -3*l + 2*w + 14 = 0, -4*w = -4*l + 12 + 12. Suppose -3*v + 1 = 2*m, -5*v + l = 4*m - 3. Is m even?
False
Is 11 a factor of (-22)/2*(-1)/(4 + -3)?
True
Suppose 4*a - 77 = -25. Is a a multiple of 13?
True
Suppose -4*v + 2*v + 30 = 0. Is 5 a factor of v?
True
Let m = 63 - 54. Does 3 divide m?
True
Let o(u) = -2*u + 2. Does 6 divide o(-3)?
False
Let g(u) = -14*u**2 + 7*u - 2. Let f(y) = 5*y**2 - 2*y + 1. Let z(k) = 17*f(k) + 6*g(k). Suppose 0*o + 8 = -o. Is 3 a factor of z(o)?
False
Suppose 3*d = -d - 136. Let v = -18 - d. Is v a multiple of 9?
False
Suppose r + 4*s = 2*s, 0 = 3*s - 6. Does 8 divide (-6 - r)*(-34)/4?
False
Let z = 31 - 7. Does 4 divide z?
True
Suppose -5*v + 938 = 173. Does 30 divide v?
False
Suppose 0*r = 3*r - 549. Let o = -107 + r. Is o a multiple of 23?
False
Let k(r) be the third derivative of -7/6*r**3 - 1/4*r**4 + 0 + 1/6*r**5 - 1/120*r**6 - 3*r**2 + 0*r. Does 9 divide k(9)?
False
Let f(a) = -a + 5. Let p be f(7). Let d be p*(1/2 - 1). Suppose 14 = i - d. Does 6 divide i?
False
Suppose 6*s = -10 + 58. Suppose 2*t - 56 = -16. Let m = t - s. Is m a multiple of 6?
True
Let r = 4 + 10. Is r a multiple of 7?
True
Let z = -5 - 0. Does 13 divide 3/5 - 247/z?
False
Let p be 2 - 2*(-3)/(-6). Let v be -2*p*1 - -5. Suppose -5*u = 0, -v*a + 30 = 2*u - 66. Does 16 divide a?
True
Let f = 7 - 0. Suppose -3*j = -f*v + 2*v - 27, 0 = -5*j + 3*v + 29. Suppose -j*a + 70 = -50. Is 13 a factor of a?
False
Let u be (-5)/3 + (-4)/(-6). Suppose 4*s - 5*z + 9 = 39, 2*z - 11 = -3*s. Does 12 divide (-1 - -4)*(s + u)?
True
Suppose 0 = -2*u - 3*u + 115. Is (u/(-3))/(13/(-117)) a multiple of 22?
False
Let t = 65 - -91. Is 26 a factor of t?
True
Let l = -26 + 48. Is l a multiple of 22?
True
Let p(t) = -13 + 19 + t + 22 - t**2 + 12. Is 20 a factor of p(0)?
True
Let h = -35 + 64. Is h a multiple of 8?
False
Suppose 35 = 5*o - 4*k, -4 = -o + 3*o + 2*k. Suppose 2*y + 16 = o*y. Does 8 divide y?
True
Suppose 7 = 2*g + 3. Suppose -z - x + 6*x = -49, -g*z + 2*x + 82 = 0. Is 16 a factor of z?
False
Let q(k) = k**3 + 9*k**2 + 8*k + 6. Does 14 divide q(-7)?
False
Suppose -3*f - 25 = -8*f. Suppose w - f*p = -12 + 45, -4*w - p = -48. Is w a multiple of 9?
False
Let u be (8/(-6))/(1/(-6)). Let l be u/(-5)*(-5)/2. Suppose 0 = l*b + 20, 2*g + b + 2*b = 3. Does 7 divide g?
False
Does 16 divide -3*4*(-2 + -2)?
True
Let f(t) = 11*t + 2. Is f(1) a multiple of 2?
False
Let r(s) = 8*s**2 + 6 + 7*s - 2 - 1 + s**3. Let l be r(-5). Let h = -5 + l. Does 17 divide h?
False
Suppose -4*m = m - 10. Let t(x) = -8*x**2 + 50*x**2 - x - 5*x**m. Does 13 divide t(-1)?
False
Is 16 a factor of 3*(-4)/(-6) + 40?
False
Suppose 2*a - 5*y = -0 - 11, 11 = a + 3*y. Suppose -67 = -a*u - i, -u = u - 3*i - 71. Is 17 a factor of u?
True
Let a = -36 - -11. Let p = 20 - 64. Let z = a - p. Is z a multiple of 8?
False
Let l(i) = -10*i**3 - 2*i**2 - 2*i - 1. Let a be l(-1). Suppose 28 - a = z. Is z a multiple of 7?
False
Let o(u) = 10*u**2 + 2*u + 15 + 2*u + 1. Let j(i) = 7*i**2 + 3*i + 11. Let r(t) = -7*j(t) + 5*o(t). Is r(-5) a multiple of 10?
False
Let r = -4 - -2. Let q(g) = 10*g**2 + 2*g. Does 21 divide q(r)?
False
Is 8 a fa