= -3*k. Is 16 a factor of o(w)?
False
Let f(n) = -2*n**2 + 6*n + 8. Let b be f(6). Let h = -9 - b. Is 18 a factor of h?
False
Let k = 341 - 18. Does 17 divide k?
True
Let d(c) = -c - 48*c**3 + 43*c**3 + c**2 + 0*c + 1. Does 10 divide d(-2)?
False
Let d = 58 - 16. Does 21 divide d?
True
Let t be 0*(-2)/12*-3. Suppose r - 606 = -3*g, -4*r + t*r = 0. Suppose -43 = 3*x - g. Is x a multiple of 18?
False
Suppose -11 = -p - 2*m, 0 = 3*p + m - 13. Is 56/p - (-64)/48 a multiple of 3?
False
Suppose h - 2*j = 5*h + 22, -2*j = -h - 8. Let f(r) = -5*r - 2. Does 7 divide f(h)?
True
Let i = 71 - 46. Does 9 divide 1/2*(i - 3)?
False
Does 28 divide (110/8)/((-3)/(-12))?
False
Let b(i) = 1. Let h(m) = -15*m - 55. Let a(w) = -110*b(w) - 2*h(w). Let t be ((-2)/10*-2)/((-2)/(-5)). Is a(t) a multiple of 15?
True
Suppose -u - 320 = -9*u. Is u a multiple of 20?
True
Let x = 13 + -11. Let v = -118 - -184. Suppose s + x*s = v. Is s a multiple of 8?
False
Let k = 6 + 15. Suppose 1 - k = -5*g. Suppose -g*j + 36 = -j. Is 11 a factor of j?
False
Let j(s) = 8*s + 1. Let a(v) = -v**2 - 7*v + 3. Let q be a(-7). Let b be j(q). Let c = 7 + b. Does 16 divide c?
True
Suppose -4*t + 2*a + 5 = -7, -4*t + 4*a = -16. Suppose t*n - 10 = -o, o - 5*n = 4*o - 34. Is o a multiple of 13?
False
Suppose -2*b - 2*b - 2*g + 254 = 0, 4*g = -2*b + 118. Does 13 divide b?
True
Let c(r) be the third derivative of -r**5/20 + 4*r**4/3 - 35*r**3/6 - 3*r**2. Let u(s) = -s**2 + 11*s - 12. Let l(o) = 3*c(o) - 8*u(o). Is l(6) even?
False
Does 14 divide 728/(-39)*(-1 - 7/2)?
True
Let m(y) = y**3 + 8*y**2 - y - 5. Let q be m(-8). Suppose 4*a + q*x = 2*a, -4*x = -5*a + 46. Is a a multiple of 6?
True
Suppose 7 = -4*y - 17. Let a be (-8)/12 + (-400)/y. Suppose 0 = -0*o - 4*o + 3*f + a, -3*o - 5*f = -64. Is o a multiple of 6?
True
Does 9 divide (-240)/(-3 - 2) - 3?
True
Suppose -2*x - 2*z + 3*z = -126, -5*z = -10. Suppose -4*d = -2*d - x. Is 16 a factor of d - 0/(3 - 2)?
True
Let k(a) = a**3 + 2*a**2 + 5*a + 2. Let y be k(4). Suppose 5*p = -3 + y. Does 11 divide p?
False
Suppose 0 = 2*z + 2*z. Let m be 4*2 + z/2. Let n = 35 - m. Is 17 a factor of n?
False
Does 14 divide 1 + -1 + 46 + -55 + 57?
False
Let r(z) = z**3 + 3*z**2 - 5*z + 3. Let k be r(-4). Suppose -k*o + 2*o = -165. Is o a multiple of 11?
True
Suppose -5*p - 5*h + 115 = 0, 5*h + 1 = p + 2. Suppose -p = -2*y + 3. Let s = y + 3. Is s a multiple of 8?
False
Let l(c) = 20*c - 6. Let t be l(4). Is t/2 + 4 + -1 a multiple of 11?
False
Suppose -k - 3*c + 19 = -6*c, 5*c = 5*k - 105. Let o = k - 16. Is o + (-1 - 0) + 3 a multiple of 3?
False
Let l = -12 - -12. Is (-189)/3*(-1 - l) a multiple of 18?
False
Let i be 2 + -3 - 56/(-2). Is i - 6/(-4)*2 a multiple of 15?
True
Let r = -4 + 6. Suppose 2*d - 3*m = 61, 3*m + r*m = 3*d - 94. Is 23 a factor of d?
True
Let n = 15 + -12. Suppose -h - n*h + 376 = 0. Is 20 a factor of h?
False
Suppose 13 = -f + 18. Does 5 divide f?
True
Let h = -203 + 358. Is h a multiple of 21?
False
Let t = 12 + -7. Suppose -4*w = t*f - 0*w + 34, -3*f = -5*w + 13. Does 4 divide (-4)/f + (-52)/(-12)?
False
Suppose 0 = 2*m - 7*m + 20. Suppose -m*h + 24 = -36. Does 15 divide h?
True
Suppose -2*o - 3*v - 46 = -115, -235 = -5*o + 5*v. Suppose -3*k + o = 9. Suppose -5*u = -79 - k. Does 9 divide u?
True
Let p(y) = 1 + y - 3 - 4. Let k be p(0). Let w(v) = -v**3 - 6*v**2 + 5. Is 5 a factor of w(k)?
True
Suppose f + 5*o - 4 = -14, 4*f + 4*o - 40 = 0. Let g = f - 0. Does 15 divide g?
True
Let b(n) be the third derivative of -n**4/4 + n**3/3 - 7*n**2. Does 22 divide b(-5)?
False
Let q(h) = -h**3 + 35*h**2 - 34*h + 11. Is 3 a factor of q(34)?
False
Suppose 0 = -4*d + 37 + 51. Does 6 divide d?
False
Let g = -3 + 8. Let s be g + 3/(-4 + 1). Is (18/s)/(12/64) a multiple of 10?
False
Let k = -65 + 145. Is k a multiple of 8?
True
Let t = -16 - -35. Is t a multiple of 2?
False
Let c be (4/(-14))/((-7)/49). Suppose -2*g = 2*r + 6, 4*r - 39 = c*g - 15. Let t(d) = d**3 + 7*d**2 + 3*d - 7. Does 11 divide t(g)?
True
Suppose 0 = -2*i + 473 + 103. Is 18 a factor of i?
True
Let k(a) = -a + 6. Let l be k(4). Suppose 0*o + 92 = l*o. Is 27 a factor of o?
False
Let j = -17 - 5. Let m = j + 40. Is 9 a factor of m?
True
Let w be (8/(-20))/((-1)/55). Let v = w - -3. Does 18 divide v/(0 - -1) + 2?
False
Let m(c) = -2 - 4*c - 1 + 4 + 3*c. Let t be m(1). Suppose t = v - 4*v + 93. Does 13 divide v?
False
Let m = 126 - 61. Does 5 divide m?
True
Let m = 14 + -10. Suppose 6 + 58 = m*s. Does 8 divide s?
True
Let a = 41 + -17. Is a a multiple of 7?
False
Let q be (-10)/(-25) + (-22)/5. Suppose -5*m + 2*c = 77, c + 50 = -2*m - 3*c. Let n = q - m. Is n a multiple of 13?
True
Let q = -5 - -6. Does 7 divide (-2)/(-3)*q*21?
True
Suppose 3*a + 2*f - 30 = 0, 2*a - 3*a + 4*f = -10. Is 3 a factor of a?
False
Let g = 120 - 68. Let q = 101 - g. Is q a multiple of 16?
False
Let z(l) = l**3 - 6*l**2 + 2*l - 5. Let v be z(4). Let w = v - -51. Is w a multiple of 22?
True
Suppose -13*w = -3990 + 1650. Is w a multiple of 29?
False
Let z = -8 - -5. Let b be z/((-45)/6)*-35. Let u = 34 + b. Does 10 divide u?
True
Is 52 a factor of ((-64)/20)/((-6)/195)?
True
Suppose 3*o - 16 = -o, 4*r = -2*o + 776. Does 27 divide r?
False
Suppose 0 = -4*h + 5*v + 16, -16 = -7*h + 3*h - 2*v. Suppose -7 + 59 = h*y. Is 10 a factor of y?
False
Suppose -3*x + 49 + 101 = 0. Does 25 divide x?
True
Let o(p) be the second derivative of p**6/60 - p**5/60 - p**3/6 - p. Let s(w) be the second derivative of o(w). Is s(2) a multiple of 10?
True
Suppose 0 = m + 2*m - 6. Does 2 divide (5/m)/((-2)/(-4))?
False
Let r(u) = -u**3 - 7*u**2 + 7*u - 4. Let l be r(-8). Suppose y = l*y - 93. Does 7 divide y?
False
Let c(w) = 6 - 6*w - 4 - 3 + 4. Is c(-8) a multiple of 18?
False
Let x(t) = -t**2 - 15*t - 7. Is 7 a factor of x(-7)?
True
Is 6 a factor of (-88)/(-3) - (-2)/(-6)?
False
Let q = -6 + 13. Suppose -q = 5*p - 2, 3*p - 12 = -3*b. Suppose 12 + 8 = 4*c, 2*i = b*c + 31. Is 14 a factor of i?
True
Let r = 21 - 4. Is r a multiple of 7?
False
Let a be (-226)/(-10) + (-2)/(-5). Suppose -8 + a = l. Is l a multiple of 15?
True
Suppose 3 = -u - 0*u + c, 13 = -5*u + 3*c. Let l = u + 18. Let f = l - 8. Is 8 a factor of f?
True
Let y(f) = f**3 - 6*f**2 + 3*f + 3. Let c be y(5). Let x(v) = -2*v - 10. Does 3 divide x(c)?
False
Let z(j) = -j**2 + 2*j - 3. Let l be -7*((-18)/21)/3. Let m be z(l). Let t = 26 - m. Is t a multiple of 11?
False
Suppose -4*u = -16, 2*q + q - u = 128. Is 11 a factor of q?
True
Let o = 5 - 3. Let c be (1 - -4) + (-10 - -7). Suppose -42 - 9 = -o*u - w, -55 = -c*u + 3*w. Is u a multiple of 14?
False
Suppose -n - 12 = n. Let t(c) = c**3 + 6*c**2 - 4*c - 9. Is t(n) a multiple of 7?
False
Suppose -2*h - h - 4*m + 29 = 0, -h - 7 = -2*m. Suppose 0 = 11*p + 7 - 84. Let k = h + p. Is k a multiple of 5?
True
Is ((-22)/2)/(3/(-6)) a multiple of 7?
False
Let z be 20/3 - (-3)/9. Let w = z - 14. Let g(f) = -f**2 - 8*f + 6. Does 7 divide g(w)?
False
Let z be 2/3*2*3. Let n = -18 + 42. Suppose n - 104 = -z*b. Is b a multiple of 10?
True
Let x = -287 + 467. Is x a multiple of 17?
False
Let p = 94 + -66. Is 7 a factor of p?
True
Let y(d) = -d**2 - 4*d - 2. Let a be y(-3). Let c be 0/a*(3 + -4). Suppose 3*z = -5*q + q + 71, -5*q - 5*z + 95 = c. Is q a multiple of 7?
True
Suppose -4*j - 7 = g, 3*g + 4*j = -j + 7. Is g a multiple of 9?
True
Suppose 3*i - 3*b = 9 - 0, 3*b = -15. Is 4 a factor of (i/4)/((-9)/342)?
False
Let c be (3 - 3) + (6 - 1). Suppose c*z - 1 = 9. Is 2 a factor of z?
True
Let j = 170 + -289. Let u = -31 - j. Suppose -6*a + 5*a = -3*g + 54, -5*g = -a - u. Is g a multiple of 10?
False
Is (4/(-10) + 69/60)*28 a multiple of 21?
True
Let b = -7 + 9. Suppose 7*j - 130 = b*j - 2*k, -2*k + 10 = 0. Is j a multiple of 9?
False
Let r be 23/((0 - -2) + -1). Suppose 3*g = 5*y - y - r, -y + 22 = -4*g. Suppose y*m = -m + 108. Does 18 divide m?
True
Let t(l) = -l**3 + 5*l**2 + 7*l + 8. Suppose -2*d + 8 = x, -4*d = -2*x - 7*d + 13. Suppose x*v - v = 6. Is 7 a factor of t(v)?
True
Let s be (18/3)/(-2) - -3. Suppose x + 2*q = 5, 0 = -4*x + q - s*q + 65. Is 7 a factor of x?
False
Suppose -13*q + 1399 - 47 = 0. Is q a multiple of 33?
False
Suppose c - o = 2, 3*c - 5*c + 8 = -o. Is c a multiple of 6?
True
Suppose -3*l = 3*l - 120. Does 4 divide l