p = k + 3. Is 3 a factor of p?
False
Let z = -7 - -98. Is 13 a factor of z?
True
Suppose -5*q - 4*u = -100 - 123, -2*q + 3*u + 103 = 0. Let t = -25 + q. Is t a multiple of 22?
True
Suppose i = -2*i + 27. Suppose 0 = -i*v + 4*v + 270. Is v a multiple of 27?
True
Let o(z) = -z + 9. Let l be o(7). Is 17 + 0 + l + 0 a multiple of 16?
False
Suppose -5*h = -3*m - 378, 0 = 3*h - m - m - 227. Does 5 divide h?
True
Let k be 0/(-3 + 15/3). Suppose -x = -k*x - 16. Is 8 a factor of (x/(-5))/(4/(-20))?
True
Suppose -2 = -a, -4*a + 18 = 3*b - a. Suppose 0 = 3*z + 2*n - 20, 2*n + 36 = 4*z + 7*n. Suppose b*l - 25 = -l, -12 = u - z*l. Does 4 divide u?
True
Let l(t) = -t**2 - 7*t + 3. Suppose -13*v - 24 = -9*v. Does 3 divide l(v)?
True
Suppose -2*k - 39 = 15. Let r = 55 + k. Is 14 a factor of r?
True
Suppose -20 = -3*j - a, -3*a = -3*j - 7*a + 35. Let h = 30 - j. Does 22 divide (330/h)/(6/20)?
True
Let p(h) be the third derivative of -h**5/60 - h**4/24 + 4*h**3/3 - 2*h**2. Let d be p(0). Let a = 13 - d. Is a a multiple of 5?
True
Is ((-1)/(1 + -2))/(2/576) a multiple of 48?
True
Let r(n) = -4*n - 47. Is 11 a factor of r(-20)?
True
Let c(t) = -193*t - 14. Is 12 a factor of c(-2)?
True
Suppose k + z - 4 - 1 = 0, 4*k - 22 = -2*z. Is 6 a factor of k?
True
Suppose 0 = 5*d + 5*b - 1 - 44, b = 3. Is d even?
True
Suppose -50 - 75 = -5*j - 5*n, 0 = -5*n - 25. Does 30 divide j?
True
Let s = -5 - 3. Let u = s + 13. Does 2 divide 4/1 + (u - 2)?
False
Let y = -12 + 32. Suppose -6*j + j - 3*i = -24, 5*j = -5*i + y. Is 2 a factor of j?
True
Does 2 divide (((-2)/3)/(-2))/(4/168)?
True
Let x(o) = o**2 + 4. Is x(3) a multiple of 3?
False
Suppose 0*t - 3*m = 4*t - 326, -4*t + m = -318. Is t a multiple of 10?
True
Suppose 2*x - 130 = -3*x. Suppose c + 4 = -3*l + 75, l - 2*c - x = 0. Suppose u = -0*u + l. Is u a multiple of 8?
True
Let d be 2/(-9) + 60/27. Suppose l = -d*l - 12, -5*l = 3*o - 79. Is o a multiple of 11?
True
Suppose -6*w + 7*w = 21. Does 3 divide w?
True
Let t(v) = v**2 + 5*v + 8. Let h be t(-6). Suppose 0 = -5*g + 25, 5*y - 144 = -2*g - h. Does 12 divide y?
True
Let c = 260 - 64. Is c a multiple of 11?
False
Let s(a) = 17*a**2 + a - 8. Let i be s(-5). Suppose 2*x = -2*x + i. Is x a multiple of 28?
False
Let l = 5 - 3. Does 17 divide 21 - 2/l*-2?
False
Let k = -117 - -274. Is k a multiple of 18?
False
Let m be (-2 + -1)/((-24)/16). Is (m - (-1 - 12)) + 3 a multiple of 18?
True
Let h = 87 - -67. Does 16 divide h?
False
Suppose -3*x + 5*x - 4*h - 440 = 0, -240 = -x - 2*h. Is 10 a factor of x?
True
Let i = -22 + 62. Does 10 divide i?
True
Let v be ((-20)/(-3))/(1/3). Let r = 12 + v. Does 8 divide r?
True
Suppose -5*j = v - 71, -5*j - 2*v = -115 + 48. Is j a multiple of 15?
True
Let r be 1/(-3) + (-13)/(-3). Suppose r*a + 30 = 7*a. Does 4 divide a?
False
Let u be -12*(5/(-3) + 1). Suppose -3*n - 90 = -u*n. Does 9 divide n?
True
Suppose -k = 13 - 54. Is 19 a factor of k?
False
Let d = -16 + 10. Let y = d + 8. Does 9 divide 19 + 3/(3/y)?
False
Suppose -24*t + 22*t + 72 = 0. Is 3 a factor of t?
True
Let h = -53 + 68. Is h a multiple of 2?
False
Is 2 + (-25)/5 - -8 even?
False
Suppose -118 + 1231 = 7*g. Suppose 2 = 2*d, -3*d - d + g = 5*o. Does 15 divide o?
False
Let c(u) = u**3 - 8*u**2 - 2*u + 12. Let t(k) = -k**3 + 8*k**2 + k - 11. Let h(o) = 2*c(o) + 3*t(o). Is 7 a factor of h(7)?
False
Let m = -90 + 153. Is 21 a factor of m?
True
Let q(t) = -3 + 1 + 0*t - 2*t + t**3 + 3. Is q(3) a multiple of 11?
True
Let l(p) = -7*p + 3. Let z be l(2). Let h = z - -15. Let f = h - -2. Is 3 a factor of f?
True
Suppose -5*j = -2*j - 3. Let k be j/(-1) - (-87 + 0). Let a = -56 + k. Does 15 divide a?
True
Let n be 22/(-18) + (-12)/(-54). Is 10 a factor of 0 + 0 + n + 21?
True
Is -4 + 83 + 3 + 2 a multiple of 6?
True
Let k be 1*(4 - 5)*-5. Let m be (-6)/(-2) + -2 - -4. Suppose -g - 34 = -n, 30 = m*n + k*g - 140. Does 13 divide n?
False
Suppose 3*h - 3 = 4*h. Let o = h + 7. Suppose b + 2*b = -6, -4*c + o*b + 96 = 0. Is 16 a factor of c?
False
Does 5 divide -1 + -2 + 42/2?
False
Suppose 9*u - 12*u + 144 = 0. Is u a multiple of 23?
False
Let u = 10 - 13. Let w = 10 - u. Is 4 a factor of w?
False
Let v(d) = 2*d**2 + 9*d + 40. Is 29 a factor of v(-6)?
True
Let u = -47 - -83. Is 9 a factor of u?
True
Let a be (-78)/4*(-8)/3. Let s be (52 + -1)/(9/6). Let t = a - s. Is t a multiple of 18?
True
Suppose -48 = -13*v + 95. Is v even?
False
Let g(d) be the second derivative of -d**5/20 + d**4/12 - d**3/6 + d**2 + d. Let c be g(0). Suppose -f + 11 = c. Is f a multiple of 9?
True
Let n = -2 - -2. Let u be (n - -2) + -3 + -26. Let p = u - -65. Is p a multiple of 19?
True
Suppose -5*l - 57 + 2 = 3*d, 0 = -5*d + 5*l - 105. Is 94*(d/8 - -3) a multiple of 16?
False
Let d(f) = -f**2 + 5*f + 2. Let z(c) = -c**2 - 1. Let m(u) = d(u) - 2*z(u). Let n be m(-5). Suppose 3*g - 62 = -2*g + n*k, -2*g = -3*k - 22. Does 6 divide g?
False
Suppose x - 19 - 8 = -4*f, 0 = -f - x + 6. Is 210/8 - f/28 a multiple of 7?
False
Suppose c + 4*a - 15 = -3, 0 = -c - 3*a + 11. Let u = c - -1. Is 3 a factor of u?
True
Suppose 6*z - 11*z = -195. Is z a multiple of 4?
False
Suppose 4*x = -6 + 26. Let y(q) = 3*q - 27. Let t(m) = -m + 13. Let c(j) = 13*t(j) + 6*y(j). Is 16 a factor of c(x)?
True
Let j(h) = 8*h**2 - 7*h - 23. Does 38 divide j(-7)?
True
Let f = 13 + 2. Suppose 0 = -o + 4*o - f. Does 5 divide o?
True
Let y(u) = 32*u**2 + u + 1. Let d = -3 - -2. Let z be y(d). Suppose 7 = -5*m + z. Does 3 divide m?
False
Let j be 17/4 - (-1)/(-4). Suppose -f + j*f - 5 = 2*m, 3*f = -4*m + 17. Does 2 divide f?
False
Let b(d) = -19*d - 14. Let n(u) = -13*u - 9. Let c(a) = 5*b(a) - 7*n(a). Let t be 2/5 - (-54)/(-10). Is 13 a factor of c(t)?
True
Let x(z) = z**2 + z + 11. Is x(0) a multiple of 11?
True
Suppose 0 = 9*a - 67 - 203. Is 6 a factor of a?
True
Is 8 a factor of (-34)/6*((-5 - -3) + -1)?
False
Suppose -3*a + 43 = q, 0 = 3*q + 5*a + 26 - 143. Suppose 0 = -0*w - 2*w - 4*t + q, -2*w + 39 = 5*t. Does 5 divide w?
False
Suppose 0 = -4*n - 3*y + 1, 2*y - 9 + 3 = -4*n. Suppose -2*j = 2*j + n, -3*q = -3*j - 99. Does 16 divide q?
True
Let o(y) = -y**3 - 4*y**2 - 4*y - 1. Let h be o(-3). Suppose 5*g + 0*p = -h*p - 59, p - 31 = 3*g. Let l = g + 58. Is l a multiple of 21?
False
Is (-8)/(-2) - 32/(-16) even?
True
Let c be (-9)/(-1) + (-39)/13. Let r(s) = -3 + 4*s - 2*s + 0*s. Does 9 divide r(c)?
True
Let z(l) = -21 + 22 - 13*l - 2*l. Is z(-2) a multiple of 31?
True
Suppose 2*w = -2*y - 0*y - 26, -3*y = w + 19. Is (-2)/4 + (-65)/w a multiple of 2?
True
Is (-10)/(-15)*330/4 a multiple of 11?
True
Let y = 7 - -53. Is y a multiple of 9?
False
Let k = 13 - -80. Is 13 a factor of k?
False
Is 5 a factor of (-834)/(-42) - 2/(-14)?
True
Let h = 739 + -519. Is 10 a factor of h?
True
Suppose -3*i - 1 = 2*r - 3, 0 = -2*i - 8. Is r a multiple of 2?
False
Let k = -2 - -2. Suppose k = -4*b + 4*r + 128, 0*r + 5*r = -3*b + 104. Does 13 divide b?
False
Suppose 0*p + 12 = -3*p. Let i = p + 4. Suppose f = -i*f + 9. Is 9 a factor of f?
True
Suppose -188 = -4*o + k, -2*o - 4*k = -7*o + 224. Does 16 divide o?
True
Let l = 1 + 11. Let w(a) = a**2 + 6*a - 6. Let m be w(-6). Let k = l + m. Does 3 divide k?
True
Let j be 4/14 - (-15)/21. Let h(k) = 359*k**2 + k. Let r be h(j). Does 18 divide (2/(-5))/((-4)/r)?
True
Let d be (-4)/2 + (-4)/(-2). Suppose d = 2*j - 22 - 48. Is j a multiple of 13?
False
Let p = -163 - -230. Suppose 5*y - l - 72 = p, -2*l = 2*y - 58. Is y a multiple of 14?
True
Suppose 0*d = 4*u + 2*d - 68, 0 = 2*d + 4. Does 3 divide u?
True
Suppose -3*q - i = 2*i - 738, -1242 = -5*q - i. Is 33 a factor of q?
False
Let d(w) = w**2 - 4*w - 17. Is 35 a factor of d(-13)?
False
Let g = -512 + 720. Suppose -a - g = -5*a. Suppose -a + 4 = -4*c. Is 5 a factor of c?
False
Suppose 18 = r - 2*z, -2*r - 10 = -5*z - 50. Is 3 a factor of r?
False
Is 10 a factor of (0/(-1) - 30)*-1?
True
Let s = 8 - 5. Does 13 divide 15 - (s + -3*2)?
False
Let k(r) = -r + 7. Suppose 3*z - 3*h = 15, 3*z + 5*h - 8 - 15 = 0. Let y be k(z). Let v(o) = 11*o - 1. Does 4 divide v(y)?
False
Let p(o) be the first derivative of o**7/840 - 7*o**6/360 + o**5/120 + o**4/6 + o**3/3 + 2. Let w(y) be the third derivative of p(y). Is w(7) a multiple of 5?
False
Suppose 4*y - 5*y - 3*o = -13, 3*o - 6 = 0. Let m(