r*b. Let c(x) = x**2 - x + 17. Is 17 a factor of c(b)?
True
Let i(y) = y**3 - 15*y**2 + 3*y + 4. Is i(15) a multiple of 13?
False
Let g = 129 + -41. Suppose 0 = -5*o - 3*i + g, -i = o + 4*i - 22. Is 11 a factor of o?
False
Suppose 38 = -4*o + 306. Is o a multiple of 22?
False
Let g(z) be the first derivative of z**4/6 + z**3/6 - 2*z**2 + 2*z + 2. Let c(v) be the first derivative of g(v). Is c(-4) a multiple of 14?
False
Suppose 20*z - 76 = 16*z. Does 5 divide z?
False
Suppose 4*c - 42 = 42. Does 6 divide c?
False
Suppose 2*a + 140 = 5*y + 3*a, 0 = 3*y - 5*a - 84. Suppose 5*q + 5*r = 55, -q + r + y = 9. Suppose q = v - 3. Is 18 a factor of v?
True
Let l = -628 - -912. Is 31 a factor of l?
False
Let o be 6/((-5)/(10/(-4))). Suppose -2 = -r + 5*z - 15, -z - o = -3*r. Suppose r*h - i = 50, -h + 0*h + 16 = 4*i. Is h a multiple of 19?
False
Suppose -4*h = h - 1680. Suppose -5*t = 126 - h. Is t a multiple of 13?
False
Let o(a) = -a + 2. Let u be o(2). Let l be (-1 - (1 + 0)) + 5. Suppose u*m - l*m = -51. Is m a multiple of 11?
False
Suppose 5 = 3*t + 5*w + 2, 2*w - 2 = -2*t. Let a be t*(2 + 0/1). Suppose 2*k = -a*k + 16. Is 2 a factor of k?
True
Let l = 138 - 123. Is l a multiple of 8?
False
Suppose g + g - 396 = 0. Suppose g - 18 = -5*c. Does 6 divide (0 - c/15)*5?
True
Let u(r) = -3*r**3 + 4*r**2 + 8*r + 8. Let q be u(-4). Suppose -5*m = -m - q. Is m a multiple of 15?
False
Let i(s) = -s + 2. Let y be i(2). Suppose -l + 30 = -y*l. Is 15 a factor of l?
True
Let y(z) = z**2 - 2*z - 3. Let p be y(4). Suppose p*k - 5*h + 0*h + 10 = 0, -h = -2*k. Is (k/(-4))/((-3)/84) a multiple of 14?
True
Suppose m + 35 = 6*m. Let c = m + -13. Is 2 a factor of ((-12)/9)/(4/c)?
True
Let c = 10 + -9. Suppose n + 5 = -2*r, -c = 5*n - r + 5*r. Does 2 divide n?
False
Let k = 310 - -117. Is k a multiple of 62?
False
Let k(p) = 2*p**3 - 2*p**2 - 14*p + 7. Is k(6) a multiple of 55?
False
Suppose -2*z + 0*z + 320 = 0. Suppose -3*f - 2*f + z = 5*k, -f - 3*k = -30. Does 16 divide f?
False
Let h(z) = -z**2 + 5*z + 7. Suppose -2*t + 12 = -r, -3*r = 2*t + 3 + 1. Is 7 a factor of h(t)?
False
Suppose -15 = -z - 2*z. Suppose 4*s - 5*y + 31 = 2*s, -3*s = z*y + 9. Let m = 15 + s. Is 7 a factor of m?
True
Let h(l) = 4*l - 9. Let g be h(8). Let n = 5 + g. Is n a multiple of 12?
False
Suppose 3*x + 2*k = 1, -8*x = -3*x - 5*k + 40. Let u(h) = h**3 + 5*h**2 + 5*h + 2. Let d be u(x). Let f(l) = l**2 - 3*l + 6. Is f(d) a multiple of 8?
True
Let i be 1 + 1 + 0 + -3. Let h be (-6 - -2)*4/i. Suppose 5*z = 101 - h. Is 12 a factor of z?
False
Let a = 90 - -41. Is 17 a factor of a?
False
Let l(k) = k + 24 - 28 - k - 9*k. Does 7 divide l(-2)?
True
Suppose -3*q - 4*v + 4 = q, 3*q = -2*v. Is 22 a factor of q*8/12*-33?
True
Let w = 73 - 49. Does 8 divide w?
True
Let z be 1*-2 + (23 - 6). Suppose -t + 37 = 3*j, -3*t - z - 14 = -j. Is j a multiple of 8?
False
Let l be (-20)/(-5) - 1*-2. Let v(t) = 2*t**2 - 7*t - 7. Does 11 divide v(l)?
False
Suppose -p + 5*l = -3*p + 43, -p + l = -18. Let u = p - 7. Is 12 a factor of u?
True
Let j(o) = 6*o - 1. Let l = -3 - -7. Is j(l) a multiple of 18?
False
Is 2 + 16/(-9) + 3963/27 a multiple of 31?
False
Suppose 2*h = -h + 183. Is h a multiple of 13?
False
Let c = 12 - 12. Let o(k) = 2*k**2 + k + 10. Does 4 divide o(c)?
False
Suppose 4*s - 2*h = -0 + 24, -2*h = 5*s - 21. Let j(b) = 10*b + 3. Does 20 divide j(s)?
False
Does 21 divide 7/(44/(-24) - -2)?
True
Let i be (-14)/4 - 5/(-10). Does 17 divide 31 - 4/(4/i)?
True
Let x(u) be the second derivative of u**5/20 - u**4/2 + u**3/6 + 7*u**2/2 + u. Let c(p) = p - 3. Let f be c(9). Does 13 divide x(f)?
True
Suppose -6*n + 240 = -n. Is 12 a factor of n?
True
Suppose 0*j + 4 = 2*j. Suppose -36 = -j*t - t. Is t a multiple of 12?
True
Suppose 2*r - 33 = 5*o, -2*r - 17 = o + 4*o. Let c(s) = -4*s + 4. Is c(o) a multiple of 12?
True
Let v be (-16)/(-10)*50/4. Let t = 90 - v. Suppose 4*j + 0*h = -4*h + 92, -t = -5*j + 4*h. Is 9 a factor of j?
True
Is ((-702)/65)/((-6)/20) a multiple of 9?
True
Let g be (3 + -15)/(-3) - 16. Does 4 divide 13/78 - 190/g?
True
Suppose -b = 3*i - 23, 3*i - 2 = i + 2*b. Is 11 a factor of 35 - i*(-3)/6?
False
Is 52 a factor of 14/3*(378/12 + 3)?
False
Let h = 3 + 7. Is 6 a factor of h?
False
Suppose 5*i = 14 + 21. Let v be (-414)/(-21) - (-2)/i. Let x = v + -10. Does 5 divide x?
True
Let v(b) = b**2 + 2*b + 156. Does 26 divide v(0)?
True
Let t(v) be the third derivative of 0*v + 2/15*v**5 + 1/6*v**3 + 1/24*v**4 - v**2 + 0. Is 4 a factor of t(-1)?
True
Suppose 3*n - 5 = 10. Suppose n*w + 3 = -2. Is 10*w/((-15)/12) a multiple of 8?
True
Let y = 149 - 42. Let u = y + -76. Does 16 divide u?
False
Suppose -4 = -p - 3*p. Let l be p/(-4) - 2/(-8). Suppose -4*r + 60 - 20 = l. Is 10 a factor of r?
True
Let y be 2 + (-6)/(9/(-3)). Suppose 5 = y*d - 23. Suppose 2*x - d*x = -150. Does 16 divide x?
False
Is (1 + 38)*8/24 a multiple of 7?
False
Let s = 22 - 15. Let u(f) = -f**3 + 8*f**2 - 2*f - 1. Does 17 divide u(s)?
True
Does 27 divide (-269)/5*(10 - 15)?
False
Let o = 3 + 0. Suppose 28 = -o*a + 211. Does 23 divide a?
False
Let i be 4/(-8) + 132/8. Suppose -i*c + 40 = -14*c. Does 4 divide c?
True
Suppose -16 - 8 = -8*y. Is y even?
False
Let u(h) = -h - 4*h - 6 + h**2 - 5*h - 2*h**2. Is 9 a factor of u(-7)?
False
Let o(w) = -w**2 - w. Let n(u) = 6*u**2 + 4*u + 1. Let p(h) = -n(h) - 4*o(h). Let v be p(2). Does 6 divide v/(-6)*10 - -3?
True
Let c = -8 - -16. Let q be (-30)/(-4)*c/(-6). Is (-136)/(-10) - 4/q a multiple of 14?
True
Suppose -5*r = -0*z + 2*z - 111, -5*r + 119 = -2*z. Is r even?
False
Let p(h) = -h**2 - h + 25. Let x(q) = -1. Let l(w) = p(w) + 5*x(w). Does 7 divide l(0)?
False
Let n(v) be the second derivative of 11*v**5/10 - v**4/6 + v**3/6 + 5*v. Is 13 a factor of n(1)?
False
Let k = -188 - -328. Is k a multiple of 31?
False
Suppose -c = -3*a + 351, -3*a + c + c + 351 = 0. Is a a multiple of 13?
True
Let b(c) = c**2 - 1. Let w be b(1). Suppose w = 4*y - 9*y. Suppose 5*g - 4*n - 4 - 45 = y, -2*n = 2. Does 9 divide g?
True
Suppose 0*f - 10 = -2*f, 35 = 5*y + 4*f. Let o(d) = 3*d**2 - 3*d - 1. Is 15 a factor of o(y)?
False
Suppose 0*j - 86 = -j + 5*g, -j = 3*g - 94. Is j a multiple of 19?
False
Suppose -12 = 3*h, 4*f - 17 = -2*h - 5. Let j = 12 - f. Is j a multiple of 4?
False
Suppose -z + 4*n - n = -14, -2*n - 4 = 2*z. Suppose -5*b + 20 = -d, -z*d + 2 = 3*b + 3. Is 13 a factor of (-1 - 1) + b + 29?
False
Suppose -k - 5*f = -3*f - 7, 0 = 2*k - 5*f + 4. Suppose k*n + l = -3*l + 65, 0 = 4*n + l - 65. Suppose -3*z = -2*z - n. Is z a multiple of 10?
False
Let l(g) = 8*g - 3 + 4 + 6*g. Suppose s - 3*r - 5 = 0, s + r - 3 = -s. Is l(s) a multiple of 20?
False
Suppose -k + 324 = 2*k. Does 27 divide k?
True
Suppose 2 + 4 = 2*r. Let x(l) = -2 + 1 + l**3 + 2 - 2 - r*l**2. Is 15 a factor of x(4)?
True
Suppose -v = -0*v - 3*f - 24, 0 = -3*v - 3*f + 12. Suppose 4*h + v = 57. Is h a multiple of 12?
True
Suppose -z + 2 + 158 = 0. Suppose 7*d - z = 2*d. Let b = d - 10. Is 11 a factor of b?
True
Let k = 9 + -1. Is 7 a factor of k?
False
Is 8 a factor of -7 - -3 - (-26 + -2)?
True
Let m(b) = -b**2 - 3*b + 1. Let y be m(-3). Is 13 a factor of 2/6*(y - -92)?
False
Suppose -2*o - 3*g + 29 = 2*g, -5*o + 58 = -2*g. Is 3 a factor of o?
True
Let n(p) = p**2 - 3*p - 5. Suppose u + 5 = -2*t, 0*u - 3*u = 4*t + 21. Let f = -5 - u. Is n(f) a multiple of 13?
True
Let a = -8 - -9. Suppose -31 = -2*f - a. Is 5 a factor of f?
True
Let h(x) be the first derivative of 5*x**3 - 3*x**2/2 + 3*x - 2. Let y be h(-3). Suppose 0 = 4*j + z - y, 2*z - 3*z = -3. Is 15 a factor of j?
False
Let s be 25*((-12)/20)/(-1). Is 15 a factor of (-4 + (-2 - -7))*s?
True
Suppose 0 = -4*u - 57 + 641. Let y = 210 - u. Is 14 a factor of y?
False
Is 4 a factor of (-2)/8 + 1737/36?
True
Suppose 2*w - 22 = -l, -4*l + 3*w + 6 = -71. Let p(q) = q - 5. Let k be p(5). Let c = k + l. Is c a multiple of 16?
False
Suppose -4*n - 3*t = -0*n + 54, 4*n + 50 = -t. Is 24 a factor of n/(-30) + 326/10?
False
Suppose 4*j = 3*u - 16, -2*j + 6 = 2*u - 0*u. Let r = 70 - 67. Suppose r*o - u - 11 = 0. Is 2 a factor of o?
False
Suppose -6*r + 151 = 1. Does 11 divide r?
False
Let p be 4/(-6)*(-453)/2. Suppose 4*d + 39 = -0*b + b, 5*b - p = -2*d. Does 23 divide b?
False
Let s = -9 - -98. Do