t m(b) = b**3 - 2 - 3*b - 2 + 2*b. Let l(t) = t**2 + t + 3. Let a be l(0). Is 8 a factor of m(a)?
False
Let z(y) be the second derivative of -19*y**3/6 - y**2 + y. Does 15 divide z(-4)?
False
Suppose -4*q - 4 = 20. Let a = q + 10. Suppose -a - 1 = -o. Does 2 divide o?
False
Suppose -5*s + 78 = -2*i, 2*s = -3*i + 46 - 163. Let u(z) = z**3 - 6*z**2 - 7*z - 2. Let w be u(7). Does 2 divide w/6 + i/(-9)?
True
Suppose 0 = -4*i + 2*h + 460, -5*h + 239 + 306 = 5*i. Is i a multiple of 12?
False
Let k(d) = -d**3 + 5*d**2 - 4*d + 5. Let j be k(4). Suppose 3*c = j*c - 156. Does 26 divide c?
True
Suppose -2*f + 2*o = -3*o - 175, o = -2*f + 193. Does 19 divide f?
True
Suppose -2*c + 100 = -76. Does 11 divide c?
True
Let h be -1*(-4)/8*0. Suppose 0*f - 145 = -4*y + 3*f, 2*y - 3*f - 65 = h. Does 10 divide y?
True
Suppose -4*w - 28 = -5*h, 4*w = -2*h + w + 2. Suppose b - 110 = -h*b. Does 15 divide b?
False
Let w(h) = 4*h**2 - 5*h - 12. Is 21 a factor of w(5)?
True
Let c(u) = u**3 - 6*u**2 + 8*u - 7. Let p = 6 - 1. Is c(p) a multiple of 8?
True
Suppose -3*m + 102 = 5*y, 5*y - 78 = 5*m - 2*m. Let v(h) = h**2 - 15*h - 13. Does 10 divide v(y)?
False
Let l(x) = 8*x**2 - 2*x + 2. Suppose -5*q = -2*j + 4, 8 = 4*j - 0*j - 2*q. Is 8 a factor of l(j)?
False
Let g be ((-9)/(1 - 0))/1. Let i be (-5 - 0)*6/2. Let j = g - i. Does 6 divide j?
True
Suppose -2*q + 318 = -2*y, 0*q = -2*q - y + 321. Suppose -3*z - 3 = -9. Suppose 4*a = 2*f + z*f - q, 0 = -5*f - 2*a + 207. Is 14 a factor of f?
False
Let r be (-4)/10 + 24/(-15). Let g be r/(-4) - (-25)/2. Let p = g - 6. Is 4 a factor of p?
False
Suppose -5*v + 321 = -3*k + 2*k, -v + k + 61 = 0. Is v + (0 - (-3 + 3)) a multiple of 20?
False
Suppose -2*y - 5*f + 175 = 0, 3*y = -2*f + 286 - 18. Does 21 divide y?
False
Suppose 0 = -2*u + 6*u + 12. Let v(z) = -24*z + 4. Is 27 a factor of v(u)?
False
Suppose -541 = -5*c + 3*f, 4*c - 4*f - 163 = 265. Does 22 divide c?
True
Let o = -178 - -332. Does 14 divide o?
True
Let z be (-3)/(-1) - (-3 + 3). Is 7 a factor of (-1 - 20)/(z/(-4))?
True
Let d be (-2)/12*3*-4. Let u(p) = p**2 - 3*p - 1. Let z be u(4). Suppose -5*i - 2*r + 154 = d*r, -z*i = -4*r - 86. Does 11 divide i?
False
Let h(x) = -18*x + 71. Is h(-5) a multiple of 10?
False
Let z(x) = x**3 - x**2 + x - 1. Let w(d) = 26*d**3 - 4*d**2 + 5*d - 4. Let y(k) = w(k) - 3*z(k). Let h be y(1). Let g = 34 - h. Is 11 a factor of g?
True
Let u = 4 - -19. Suppose i + 0*i + u = 5*c, -3*c + 9 = -3*i. Suppose -d + i*d = 2*j - 5, -10 = -d - j. Is d a multiple of 2?
False
Let y(t) = t**3 + 9*t**2 + 6*t. Let w be y(-8). Let h(k) = k + 3. Let l be h(-6). Let a = l + w. Is a a multiple of 10?
False
Suppose -5*l + 91 = -29. Does 5 divide l?
False
Let t(j) = -4*j**2 + 4*j**2 + 13 + 3*j - 9*j**2 + 3*j**3 - 2*j**3. Does 20 divide t(9)?
True
Let d = -4 + 6. Let k be (-1 + d)/((-3)/(-15)). Suppose 0 = k*j - b + 3*b - 146, j + b = 31. Is j a multiple of 14?
True
Let b(l) be the third derivative of -l**6/120 - l**5/15 - l**4/6 - 5*l**3/6 + 16*l**2. Let v = -3 - 1. Does 11 divide b(v)?
True
Let p(k) = k**2 - 13*k + 1. Let h be p(13). Suppose -2*i + 5 = 2*m - h, -5 = i. Is 8 a factor of m?
True
Let n(x) = -x**2 + 8*x - 9. Let v be n(7). Let q be (-1)/v + 9/2. Does 14 divide ((-14)/(-5))/(1/q)?
True
Let b be (((-2)/(-3))/1)/(16/888). Let g(l) = -2*l**2 - 2*l. Let t be g(3). Let m = b + t. Is 13 a factor of m?
True
Let z = -11 - -32. Let j = z + 24. Is 15 a factor of j?
True
Let a(w) = 48*w**3 - w**2 + 2*w - 1. Let y be a(1). Let l = y - 27. Suppose 6*u = 5*u + l. Does 12 divide u?
False
Let k be (-32)/(-18) + (-8)/(-36). Suppose 0*l - 3*l - 4*x + 110 = 0, 0 = -3*l + k*x + 98. Is 12 a factor of l?
False
Let y = 187 - 103. Suppose r + 4*d = -3*r + y, 3*d = -r + 27. Is r a multiple of 6?
True
Let h(d) = -d**3 - 4*d**2 - 3*d - 5. Let o be h(-4). Let t(y) = -y + 7. Let f be t(o). Let i(q) = q + 31. Does 14 divide i(f)?
False
Let n = -5 + 11. Let d be 2*(2 - 15/n). Does 8 divide d/(-2) - (-148)/8?
False
Let o = -76 + 98. Does 3 divide o?
False
Let p(z) = z**2 - 2*z - 3. Let m be p(5). Let d be 6/(-9) + 26/3. Let i = d + m. Does 10 divide i?
True
Let q be (2*3)/(-4 + 6). Suppose q*g + 3*h = -0*g, g - 20 = 4*h. Suppose 2*b - 32 = -5*d + 2, -4*b - g = -2*d. Does 3 divide d?
True
Let u(n) = 2*n**2 - 9*n - 2. Let g be u(7). Let r be 59 + 4 + 3/(-1). Suppose -3*o + r = -g. Is o a multiple of 12?
False
Let y(d) = 23*d. Let h be y(-7). Let s = -104 - h. Does 16 divide s?
False
Suppose -2*n + 2*x = 3*n - 56, 4*x + 16 = 2*n. Suppose n = 3*d - 0. Suppose -5*r + 195 = 5*h, 0*r - h = -d*r + 141. Is 18 a factor of r?
True
Suppose -2*q - q = -3. Let r = q - 1. Does 2 divide -2 - r - -7*1?
False
Let v be (-2290)/(-50) + 1/5. Does 18 divide (v + 8)*(1 - 0)?
True
Let a(i) = 11*i + 4. Suppose 0*j - 2*j + 5*g + 23 = 0, -4*g = 4. Let k(t) = 3*t + 1. Let u(m) = j*k(m) - 2*a(m). Does 15 divide u(4)?
False
Suppose 0 = 4*y - 2*s + 222, 3*y - s - 48 = 4*y. Let r = y - -98. Does 15 divide r?
True
Let s = 2 - 1. Let y be 0 - -45 - (12 + -11). Is y + (3 - 5)*s a multiple of 21?
True
Let g = 20 + -21. Does 10 divide -1 - -17 - (-1 + g)?
False
Let z = 10 + -2. Is 19 a factor of (-306)/6*z/(-6)?
False
Suppose 2*g - 44 = -8. Let s(l) = 2*l + 2. Let m be s(-4). Let k = m + g. Does 7 divide k?
False
Let y(u) = -6*u**2 + 3*u - 1. Let a(w) = 17*w**2 - 8*w + 3. Let o(h) = 4*a(h) + 11*y(h). Let c be o(-1). Suppose 2*g = -c*g + 60. Is 15 a factor of g?
True
Suppose 4 = -x - x. Does 9 divide x*2/(-8)*36?
True
Suppose 21 = 3*v - 3. Suppose -2*t - 4*l = v, -5 = 2*t + l + 9. Let o = t - -20. Does 6 divide o?
True
Suppose 0 = 4*l - 2*p - 112, 0 = -2*l - p + 57 + 3. Is l a multiple of 7?
False
Suppose 0 = -3*j - 3*d + 240, 0 = j - 3*d - 26 - 58. Let i = 117 - j. Is 18 a factor of i?
True
Suppose -138 = -5*p - 4*m, 3*m = -5*p + 81 + 60. Suppose -5*k = p - 70. Is k a multiple of 8?
True
Suppose -5*u + 5*n = -66 - 39, -2*u + 38 = 2*n. Suppose x + 3*w - 14 = 23, -5*w - u = 0. Does 15 divide x?
False
Suppose 87 = j + 5*q, 0 = 2*q - 6*q + 12. Is 9 a factor of j?
True
Suppose -6*t - 180 = -11*t. Is t a multiple of 6?
True
Let y(q) = -q - 5. Let v be y(-7). Suppose -v*o + 4*c - 8*c + 28 = 0, 3*o + 3*c - 30 = 0. Does 3 divide o?
True
Let p be (-1 + 0 - -4) + -5. Let r(t) = 18*t**2 - 2*t. Is 11 a factor of r(p)?
False
Let x(p) = p + 4*p - 2*p - p**3 - 8*p**2 + 2*p - 13. Is 23 a factor of x(-9)?
True
Let c(h) = 4*h**2 - 1. Let p be c(-1). Suppose -p*a = 4*f - 156, 136 = 4*f - a - a. Is f a multiple of 12?
True
Let r = -156 + 260. Does 15 divide r?
False
Suppose -4*l = -9*l + 10. Suppose 5*v - 7*v = 4*p, -l*p - 30 = 4*v. Is ((-24)/v)/((-12)/(-80)) a multiple of 16?
True
Suppose -5*o + 220 = -0*o. Does 22 divide o?
True
Let n = 3 + -10. Let w = n + 12. Is w even?
False
Let o = -25 - -62. Suppose 44 = 3*s + 4*z, 4*s + 3*z - 2*z - o = 0. Suppose -s = -3*l + 13. Does 7 divide l?
True
Suppose -a - 11 = t, -3*a = 2*a - 3*t + 79. Suppose 2*k - 15 = -3*k. Let r = k - a. Does 12 divide r?
False
Let r(o) = o**3 + o**2 + 2. Let n(d) = -4*d + 1. Let w be n(1). Let a be r(w). Is (1 - 2*a) + -1 a multiple of 12?
False
Suppose 5*k - 12 = 98. Let t be (-1 - -2)/((-2)/(-36)). Suppose o - k = t. Does 20 divide o?
True
Let x(k) = 7 + k**2 + 0*k**2 - 14. Does 10 divide x(6)?
False
Suppose -3*d - 2*d = -190. Is 10 a factor of d?
False
Let i = 126 - 78. Does 12 divide i?
True
Let z(h) = h**2 + 5*h - 4. Let m be z(-6). Let u(l) = 8*l**2 + 3*l**2 + 2 - 2*l + 2*l**2. Is u(m) a multiple of 17?
False
Suppose -2*p - 35 = -5. Suppose -2*q = -3*g - 48, 0*q + q = 2*g + 25. Let a = p + q. Is 6 a factor of a?
True
Let j be 2/(-3) - (-5)/(-15). Let o = j - -3. Is 10 a factor of (1 + 0 - o)*-11?
False
Let a(s) = 13*s**2 - 3*s - 2. Let w be a(-4). Suppose 0 = 5*p - 0*p - 2*k - 320, -3*p - 4*k = -w. Is p a multiple of 23?
False
Let q = -6 + 11. Does 2 divide q?
False
Let l = -2 + 5. Is ((-6)/l - -50)/1 a multiple of 14?
False
Is 37 a factor of 2 - (-35 + 0/4)?
True
Let f(z) = 8*z**2 - 2*z - 1. Suppose -c = -6*c - 5. Is 9 a factor of f(c)?
True
Suppose 17 = 4*z - 95. Let k(x) = x**2 - 7*x - 2. Let m be k(5). Let d = z + m. Is 8 a factor of d?
True
Suppose -2*k + 5 - 1 = 0. Let u(w) = -2*w - k + w + 5. Is 5 a factor of u(-7)?
True
Suppose -5*q + 86 = -134. Is 1