-3*s + 5*z = -20. Does 14 divide b(s)?
False
Is 12 - (-6 + 24)/(-6) a multiple of 15?
True
Let a(k) = k**3 + 8*k**2 - 11*k + 4. Is 4 a factor of a(-9)?
False
Let t = 135 + 5. Is 15 a factor of t?
False
Let c be (0 - 0)/3 + 3. Let u be 1/(-4) + c/(-4). Let s(m) = -40*m. Is s(u) a multiple of 11?
False
Suppose -2*i - 3*i + 25 = 0. Suppose i*f - 231 = 54. Does 17 divide f?
False
Let l(w) = 9*w**2 + w**3 - 5*w**2 - 5 + 5*w**2 + 7*w - 1. Is l(-8) even?
True
Let l = -8 - -10. Suppose 3*t + 12 = 0, -c + 10 = -4*t - 12. Does 13 divide (39/c)/(1/l)?
True
Let b(y) = y**3 + 3*y**2 + 2*y + 1. Let m(v) = -v**3 - 2*v**2 - 2*v. Let l(h) = -3*b(h) - 4*m(h). Does 12 divide l(3)?
False
Let z = 14 - 6. Let l = 11 - z. Suppose -p = 5*q - 4*p - 76, p - 40 = -l*q. Does 5 divide q?
False
Let d(l) = l**3 - 11*l**2 - 23*l + 30. Is 33 a factor of d(13)?
False
Let o(k) = 5*k**2 + 2*k + 21. Does 42 divide o(-7)?
True
Suppose 5*l + 3*c - 55 = -2*c, 5*l + 3*c - 55 = 0. Is 10 a factor of l?
False
Let m be (1/2)/((-2)/20). Let o(v) = 2 - 5*v + 6*v + 5. Is 2 a factor of o(m)?
True
Suppose -4*u + 102 = 6. Suppose -m = -5*m + u. Does 6 divide m?
True
Let b = -10 + 16. Let a be ((-20)/b)/((-4)/6). Suppose 3*q = 3*h + 139 - 13, 0 = a*h - 10. Does 21 divide q?
False
Let q = 1 - 7. Let z(d) be the first derivative of d**4/4 + 5*d**3/3 - 4*d**2 - 4*d - 6. Is z(q) a multiple of 4?
True
Suppose -5*t = 20, -4*w + 0*w - t = -196. Is w a multiple of 25?
True
Suppose 301 = 5*o + b + 4, 3*o - 4*b - 169 = 0. Is o a multiple of 14?
False
Suppose 50 = -0*x + 5*x. Is x a multiple of 10?
True
Suppose 2*j - 5*o = 258, 3*j + 17 = 4*o + 390. Is j a multiple of 17?
True
Let f = -5 - 10. Suppose 0 = -m - 16 - 22. Let o = f - m. Is o a multiple of 9?
False
Let v = -10 + 12. Let m(f) = 6*f**2 + 13. Let s(i) = i**2 + 2. Let k(h) = -6*m(h) + 39*s(h). Does 6 divide k(v)?
True
Suppose 4*t - n - 8 = 0, 2*t = -t - 5*n + 6. Suppose 0 = -h - 4*g + t, h + g = 5*g + 10. Is 4 a factor of 7/((-21)/h) + 15?
False
Let c(y) = y**2 + y - 2. Suppose -q = -6*q - 15. Does 2 divide c(q)?
True
Let l(q) = 50*q**2 + q. Let s be l(1). Let a = 81 - s. Is 4 a factor of ((-18)/(-15))/(4/a)?
False
Let q = 209 + -44. Is 15 a factor of q?
True
Let t(b) = b**2 + 6*b - 1. Let h be t(-7). Let y = h + 3. Is y a multiple of 4?
False
Let s = -10 + 13. Does 21 divide 122*s/6 + -3?
False
Suppose 0 = -c + 3*u + 4, -4*c + 5*u + 20 = -17. Does 3 divide c?
False
Suppose -4 = -3*v + 38. Suppose 4*i = 3*p - 36, -5*p - 3*i + 74 = v. Is 4 a factor of p?
True
Let u(h) = -3*h**2 - 27*h - 8. Does 16 divide u(-8)?
True
Suppose -4*r - 64 = -732. Is 13 a factor of r?
False
Let p(z) = 3 - 13*z**3 - 3*z**2 + 2*z**2 - 2 + z. Does 6 divide p(-1)?
True
Let g be 1*3/((-9)/(-6)). Let r(f) = 0*f + 0*f**2 + 5*f**g + 2 + 0 - f**3 + 2*f. Is 13 a factor of r(3)?
True
Suppose -3*p = r + r + 40, 0 = 5*r - 5*p + 125. Let j = r + 36. Let m = j + 17. Does 15 divide m?
True
Let f(r) = -6*r + 9. Is 29 a factor of f(-13)?
True
Is 9 a factor of ((-325)/(-20))/(2/8)?
False
Let i be 36/((-40)/14 + 3). Suppose -4*d = -d - i. Is d a multiple of 28?
True
Let d(c) = 3*c**2 + 22*c + 11. Is d(-9) a multiple of 7?
True
Let a(b) = b**2 + 9*b + 5. Let c be a(-8). Let l = 1 - c. Suppose p - l = 2. Does 5 divide p?
False
Suppose -4*z = -m - 19, 2*z - 5*m - 9 = 14. Does 3 divide z?
False
Let o(b) = -b**2 - 6*b. Let a be (-5)/2*24/(-20). Suppose 2*u + 11 = a. Does 4 divide o(u)?
True
Let v(f) = 3*f**3 - f + 1. Let o be v(1). Suppose 0*g = -o*g + 15. Does 5 divide g?
True
Let u(x) = -x**2 + 14*x - 1. Let t be u(13). Let k = t - -6. Is 4 a factor of k?
False
Let n = 3 - -112. Is 23 a factor of n?
True
Let f be 20/(-3)*1*-6. Let s = f + -12. Is s a multiple of 11?
False
Let g = 53 - 41. Is 4 a factor of g?
True
Does 23 divide (-7 + 237)*16/20?
True
Suppose -z - 41 = -185. Is z a multiple of 18?
True
Let c(x) = x**2 - 15*x + 2. Let b be c(8). Let v be ((-102)/9)/(4/b). Suppose -2*s + v = s. Is s a multiple of 19?
False
Suppose -5*p + 0*p = 0. Suppose 4*w = -p*w. Suppose -s - l + 62 = w, -3*s + 147 = l - 39. Does 19 divide s?
False
Suppose 4*c + 241 = 3*z, 9*c = -2*z + 8*c + 157. Is z a multiple of 8?
False
Suppose k = -5*n - 3 + 2, -7 = -k - n. Does 3 divide k?
True
Let y = -2 + 2. Suppose -q + 21 = -y*q. Is 7 a factor of q?
True
Let c = -176 + 261. Let g = 6 - 4. Suppose -v = g*u - 2*v - c, -4*v + 122 = 3*u. Is 21 a factor of u?
True
Let p be (-12472)/(-52) + (-2)/(-13). Suppose 4*o - p = -0*o. Is o a multiple of 17?
False
Suppose -4*w + 5*w + 15 = 0. Let k = w - -22. Does 5 divide k?
False
Let y be (2 - 1)/(-1) + 3. Suppose y*o + 42 = -2*n, -2*o - 2*n - 24 = -o. Let w = 8 - o. Does 18 divide w?
False
Let n = 11 + -11. Let r = 8 - n. Does 3 divide r?
False
Suppose 3*k = 2*k + 65. Is k a multiple of 13?
True
Let z(v) = -v**3 - 6*v**2 + 7*v + 6. Let i be z(-7). Suppose 0 = -3*j + i*j - 18. Is j a multiple of 2?
True
Let t(p) = -2*p**3 + 1. Let r be t(-1). Let x = -3 - r. Let y(u) = -7*u - 7. Does 12 divide y(x)?
False
Let m = -158 + 243. Does 17 divide m?
True
Suppose 8 = -2*d, -h - 3*d = 2*h - 87. Suppose -l - 1 = -21. Let v = h - l. Does 13 divide v?
True
Let g(m) = -m**2 + 5*m. Let z be g(4). Let n(t) = -11*t - z + 0*t + 0. Is n(-4) a multiple of 18?
False
Suppose 0 = 2*i + 9 + 3. Let a be (4/(-6))/(7/(-21)). Does 10 divide ((-8)/i)/(a/30)?
True
Let h(c) = c**3 + 5*c**2 + 5. Let n be h(-5). Suppose v = -n*o + 5*v + 148, 4*o + v - 110 = 0. Does 20 divide o?
False
Let o(d) be the first derivative of -d**5/60 + 11*d**4/24 - 4*d**3/3 - d**2 - 3. Let s(u) be the second derivative of o(u). Is 3 a factor of s(9)?
False
Let d(o) = o**3 - 4*o + 3*o + 0*o + 2*o**2 - 3 - 5*o**2. Let f be d(3). Let z = 42 + f. Is z a multiple of 18?
True
Let p = 42 - 22. Suppose 4*c + 5*d = 0, -c - c + 30 = -5*d. Suppose c*w = p + 5. Is w a multiple of 5?
True
Let c be 56/(-12) - 2/6. Is c - -4 - -26*1 a multiple of 7?
False
Is 3/(-45)*-5 + 70/6 a multiple of 6?
True
Let z be (-4)/(-1) - 2/1. Let w be 0 - (0 + 1) - -3. Suppose 0 = -z*a + 3*x + 78, -4*a + 2*x + 152 = -w*x. Is 18 a factor of a?
True
Suppose -p - 38 = u, -u - 3*p - 8 = 20. Let l = -25 - u. Let w = l + -6. Is 4 a factor of w?
True
Let p(d) = d**3 - 4*d**2 - 6*d + 3. Suppose -20 = -0*y - 5*y. Let f be p(y). Let x = f + 35. Is x a multiple of 7?
True
Let o = 209 + -19. Is 11 a factor of o?
False
Let t = 17 + -15. Suppose -6*n + t*n = -36. Is n a multiple of 4?
False
Let w = -6 - -9. Suppose 2*c + 4 = w*c. Is 2 a factor of c?
True
Let r be 6*(0 - 6/(-9)). Let h be -1 + 7 - 3 - -1. Suppose -3*l - r*b - h = -2, -8 = 2*l + 4*b. Is l a multiple of 6?
True
Let l be (-5)/(-3) - (-1)/3. Let m be (-1)/l*(-39 - -1). Does 12 divide (-1)/(1/(-2)) + m?
False
Let o be (-2)/(-7) - (-1880)/(-14). Let c = -68 - o. Is 11 a factor of c?
True
Let x be 1 - 2/2 - -1. Suppose k - 1 - x = 0. Is 12 a factor of 1 + 28 + 1*k?
False
Let r = 201 + -103. Is r a multiple of 11?
False
Let v(b) = -b + 10. Let z be v(5). Suppose z*t - 2*y + 4*y - 122 = 0, 14 = t + 3*y. Is t a multiple of 15?
False
Suppose 0 = -3*r - 20 - 1. Let h(v) = 14*v + 8. Let j be h(r). Is 6 a factor of (-8)/(-10)*j/(-12)?
True
Let n = -28 - -64. Does 23 divide n?
False
Let a(p) = -p**2 - 4*p + 3. Let u be a(-4). Suppose u*l + 196 = 4*k + l, 5*k = l + 239. Suppose -3*f = 5*d - k, -d - 3*f = -6*f + 5. Does 2 divide d?
False
Suppose 2*z - 69 = -4*x - 3*z, -120 = -5*x + 5*z. Let d be (8/6)/(14/x). Is 10 a factor of (1/d)/(5/100)?
True
Suppose 4*q - c - 167 = 2*c, 4*c - 160 = -4*q. Let d = q - 28. Is 4 a factor of d?
False
Let d(c) be the third derivative of c**4/24 + 40*c**3/3 - c**2. Let k be d(0). Is k/14 - (-4)/14 a multiple of 3?
True
Let l = 22 - -5. Let d = l - 13. Is d a multiple of 4?
False
Suppose -2*r + r = -2. Let g = r - -23. Is g a multiple of 25?
True
Let z(u) = -3*u**3 - 2*u**2 + 7*u - 4. Let q(i) = 10*i**3 + 5*i**2 - 21*i + 13. Let a(t) = -2*q(t) - 7*z(t). Does 4 divide a(-5)?
True
Let i be 1/(2 - (-7)/(-4)). Suppose 2*y + i*u = -16, y - 2*u = 6 + 6. Suppose -2*f - o + 2 = -0*f, -y*o = 4. Does 2 divide f?
True
Let x(b) = 14*b - 3. Let m be x(-3). Is 24 a factor of 0 - (m - 9/3)?
True
Suppose 2*x - 5*k + 16 - 63 = 0, 5*k = -3*x + 133. Is x a multiple of 6?
True
Let r(i) = i**2 + 4*i - 3. Suppose 15 = 