*y - s*m - 289. Let c = -30 - y. Is 9 a factor of c?
False
Suppose -2*n = -36 - 0. Let u = n + -16. Is 2 a factor of u?
True
Let s = -96 + 168. Is 11 a factor of s?
False
Let h(p) = 2*p + 15. Let d be h(-10). Let c(m) = -m**3 - 6*m**2 - 5*m + 4. Does 3 divide c(d)?
False
Let z(k) be the second derivative of 0 - 2*k**2 - 5/12*k**4 - 2/3*k**3 - 1/10*k**5 - k. Does 8 divide z(-3)?
False
Let p(r) = -r**3 + r**2 + 5*r + 147. Is 16 a factor of p(0)?
False
Let j(a) = a**3 - 9*a**2 + 9*a + 1. Is 2 a factor of j(8)?
False
Suppose 0 = 2*b - 2 - 6. Suppose v - 1 = 0, b*r - v - 15 + 0 = 0. Does 4 divide r?
True
Let n(i) = -i**3 - 3*i**2 + 4. Let s be n(-3). Suppose s*q + 5 = -3*z, -6*q - 45 = -4*z - q. Is z a multiple of 2?
False
Is 11 a factor of (-2 - (-11)/4)*44?
True
Let j(q) = -q**2 - 6*q - 4. Let n be j(-4). Suppose 7*l = n*l. Suppose 4*p = -4*i + 164, -3*p + 113 = i - l*i. Does 18 divide p?
True
Let s = 117 - 60. Is s a multiple of 19?
True
Let z = 62 + -26. Let m = -1 + z. Is 14 a factor of m?
False
Suppose -214 = -3*c + 4*y, 0*c - 4*c = y - 317. Does 17 divide c?
False
Let x(v) = -v**2 - v + 1. Let t(y) = y**3 - 6*y**2 - 5*y + 5. Let w(l) = t(l) - 5*x(l). Let z be w(1). Let p(h) = -h**2 + h + 12. Is p(z) a multiple of 7?
False
Let f = 80 - 28. Let b = f + -5. Is 15 a factor of b?
False
Let u(n) = 48*n**2 + 1. Is 7 a factor of u(-1)?
True
Is (-35)/2*(-28)/14 a multiple of 10?
False
Suppose h = 2*h + 9. Let t = h + 15. Is 3 a factor of t?
True
Let f(s) = 0 - 1 + s**2 - 8*s + 7. Is f(8) even?
True
Let h(m) = -m**3 - 5*m**2 - 4*m - 10. Let w be h(-5). Let t(d) = d**2 - 7*d + 2. Does 16 divide t(w)?
True
Suppose -5*u + 298 = 53. Let b be 2 - 1 - (-1 - 1). Let k = u - b. Is k a multiple of 13?
False
Suppose 4*t + 2*r = 148, -4*r - 61 = -t - 15. Does 10 divide t?
False
Is (-6)/(-1 - (-131)/134) a multiple of 20?
False
Let d = 249 - 139. Does 22 divide d?
True
Is 23 a factor of (-828)/6*(-1)/1?
True
Let d(i) = -i + 4. Let w be d(5). Let z(n) = -48*n. Does 24 divide z(w)?
True
Let d(l) = l**3 + 7*l**2 + 6*l - 6. Let s = 4 + -14. Let m = 5 + s. Is d(m) a multiple of 14?
True
Let w(s) = 2*s**2 + 6*s - 3. Let z be w(-6). Let t = z - 6. Is 10 a factor of t?
False
Let j = 6 + -4. Suppose j*v - 8 = 4*k + 3*v, 5*v = 5*k - 15. Does 12 divide (-19 + -2)*k + -1?
False
Suppose 0*l + 12 = 3*l. Suppose 3*z + 7*s - 32 = 2*s, 2*z - s - l = 0. Suppose 136 = z*x - 0*x. Does 17 divide x?
True
Suppose 30 = -4*k - k. Does 21 divide -1*52*3/k?
False
Suppose -2*d + 24 = -4*s, -5*d + s = 3*s. Does 10 divide (3/d)/((-3)/(-30))?
False
Let i(j) = 2*j**2 + j. Let h be i(4). Suppose -h = -0*l - 2*l. Does 8 divide l?
False
Let q(f) = f**3 + 11*f**2 + 10*f. Let u be q(-10). Suppose 3*m - 6*m + 27 = u. Is 4 a factor of m?
False
Let w(d) be the third derivative of 1/8*d**4 - 3*d**2 - 1/3*d**3 + 1/30*d**5 + 0*d + 0. Is 10 a factor of w(2)?
False
Let j = 37 - 34. Let g = 1 + -1. Suppose g*u - 93 = -j*u. Does 9 divide u?
False
Let l be (-8)/(-20) + 33/5. Let q be (l/(-3))/(4/(-12)). Let r = q + -4. Is r a multiple of 3?
True
Does 11 divide 1 + 85 + (-2 - -1)?
False
Suppose 5*m - 4*m = 2. Suppose 8 = -2*v + 2, -v = k - m. Suppose -5*q + 4*r + 23 = -55, -k*r - 24 = -q. Does 14 divide q?
True
Suppose 2*v + 3*v - 320 = 3*w, 5 = w. Is 25 a factor of v?
False
Let u(f) be the first derivative of -f**5/20 - f**4/3 + f**3/2 + 3*f**2 + 3*f - 3. Let m(i) be the first derivative of u(i). Does 6 divide m(-5)?
False
Let a be (-92)/6*(-6)/4. Suppose 5 - a = -3*r. Is 2 a factor of r?
True
Let u be (-16)/(-12) - 2/(-3). Let z = u - 2. Suppose -39 = -5*c - d, -d + z = 1. Is 4 a factor of c?
True
Is 24 a factor of 1935/9 + -2 + 4?
False
Suppose 3*g + 2*r - 36 = 4*r, 0 = -r + 3. Does 3 divide g?
False
Let u be (-2)/(-5) + (-657)/(-45). Suppose -3*p + 276 = -5*d, p + 5*d - 87 + u = 0. Does 29 divide p?
True
Let l(h) = h + 9. Let u be l(-5). Suppose -2*o - 5*g - 10 = -10*g, -u*o = -5*g + 10. Is o/(3 - 1) - -4 even?
True
Let r be 3/2 + 3/2. Suppose 0*i + r*i - 144 = 0. Is 24 a factor of i?
True
Let i(n) = -2*n**2 - 6*n - 2. Let w be i(-5). Let v = w - -89. Does 14 divide v?
False
Let k(m) = m + 7. Let u be k(-5). Suppose -u*l - 2*l + 16 = 4*w, -3*l - 13 = -2*w. Is w a multiple of 4?
False
Let f(g) = g**3 + 7*g**2 - 2*g + 6. Does 3 divide f(-7)?
False
Let r = 2 + 30. Does 16 divide r?
True
Suppose 5*a = 3*c - 9, a - 7*c + 15 = -2*c. Suppose -2*k + k + 4*w - 12 = a, 4*w = -4*k + 32. Suppose 71 = -x + k*x - 2*d, -d - 123 = -5*x. Is 13 a factor of x?
False
Let r(g) = g**2 + g - 9. Does 7 divide r(5)?
True
Let t = 1 - -5. Let k be (2 - 21/t)*-20. Is 13 a factor of 2 + (k - (-2 + 4))?
False
Let q = -10 - -16. Let a = q + 30. Is 18 a factor of a?
True
Suppose 0 = -3*k + 97 - 1. Does 16 divide k?
True
Suppose 177 = 5*s + 62. Is 2 a factor of s?
False
Suppose 1 = -3*i + 13. Suppose -4*o + 8 = 0, -i*r - 3*o + 13 = -101. Is 21 a factor of r?
False
Let x = 1 + 4. Does 5 divide x?
True
Let y be 0/((-3 + 5)/(-2)). Suppose y = 4*q - 2*p + 3*p - 86, 3*q = -p + 65. Is 6 a factor of q?
False
Suppose -2*u - 2*u = 3*n + 26, 2*n = -u - 4. Let p(l) = -2*l**2 + 8*l - 14. Let t(b) = 3*b**2 - 9*b + 15. Let v(h) = 4*p(h) + 3*t(h). Is 4 a factor of v(u)?
False
Let t(u) = -u**2 + 9*u - 6. Does 12 divide t(6)?
True
Let c(g) = -g**2 + 9*g + 13. Let z be c(10). Let b be (-22)/(-6) + 1/z. Suppose 4*x - 4 = 3*x + b*w, -x - 3*w = -4. Does 2 divide x?
True
Suppose 2*l + 4 = -2*c, -2*c - 2*l = 3*l + 16. Suppose -2*u - 34 = 5*p, 0*u - u = c. Let r(y) = -y**3 - 5*y**2 + 4*y - 7. Does 3 divide r(p)?
False
Let t(h) = -h**3 - 6*h**2 - 4*h - 13. Is 16 a factor of t(-7)?
True
Suppose -3*s - 6 = t, -2*s - 7 - 8 = -3*t. Let h = s + 9. Is h a multiple of 6?
True
Let x = 2 - -1. Suppose x*n + 3*m - 24 = 0, 6*n = 2*n + 2*m + 2. Let y = 12 - n. Is 4 a factor of y?
False
Suppose 2*u + 5*s - 2 = 0, 5*u + 49 = 2*s - s. Let l(a) = a**3 + 9*a**2 + a + 13. Does 4 divide l(u)?
True
Suppose 0 = -4*y - 0 + 12. Is 4 a factor of 2*((-63)/(-6))/y?
False
Let x(t) = t + 12. Let q be x(-10). Suppose q = k - 3. Is k a multiple of 5?
True
Suppose -f = 3*f + 8. Let d(a) = -3*a - 3. Let s be d(f). Suppose -s*q = 2*q - 120. Is q a multiple of 12?
True
Let v(n) = -n**2 + 4*n - 6. Let b be v(3). Does 12 divide 26 + -1 + (b - -2)?
True
Suppose 21 = 2*x - 1. Suppose u - 13 - x = 0. Is u a multiple of 8?
True
Suppose -5*q - 7 = -5*l + 18, 5*q - 25 = -5*l. Suppose s = l*s - 16. Is (-33)/(-5) - s/(-10) a multiple of 3?
False
Let j(q) = -q**2 + 4*q + 6. Let b be j(5). Suppose d + d - b = 5*f, -d - 2*f + 23 = 0. Let a = d + -5. Does 4 divide a?
True
Let l(z) = 2*z - 4. Let m(s) = s - 1. Let n(d) = d**3 + 6*d**2 - 9*d - 10. Let a be n(-7). Let w(k) = a*m(k) - l(k). Is 4 a factor of w(6)?
True
Is (-9)/(-1)*(11 + -4) a multiple of 21?
True
Is 12*((-19)/(-2) + -1 + 0) a multiple of 17?
True
Suppose -2*t + 44 = -4*r, -48 = -2*t + r - 16. Suppose 0 = -3*a + 3, -5*n = -a + 2*a - 131. Let w = n - t. Is w a multiple of 12?
True
Let j(z) = -3*z + 1. Let l be j(-1). Suppose 149 = -l*y - c, -3*y - 2*c + 5*c - 93 = 0. Is 18 a factor of (-1288)/y - (-2)/9?
True
Let g(y) = y**2 + 4*y - 3. Let n be g(-6). Suppose -3*a + n = 3. Suppose 2*b + a*w - 54 = 0, -4*b + 3*w = 6*w - 107. Is 11 a factor of b?
False
Let k = 8 - 6. Let y be 42/10 - k/10. Suppose y = 2*u - u. Is 2 a factor of u?
True
Let s(t) = 19*t**2 + 3*t - 2. Does 12 divide s(-2)?
False
Let p(h) = h**2 - 3*h - 4. Does 21 divide p(-8)?
True
Suppose 12*b - 54 = 9*b. Does 5 divide b?
False
Let z = -8 + 6. Let o be (1/z)/(4/(-24)). Suppose -4*w = -c - 2*w + 5, -5*c + o*w + 46 = 0. Does 11 divide c?
True
Let d be 13*(-4)/(-4) + -2. Is 8 a factor of d/((4 + -3)/2)?
False
Let y = 40 - 4. Is y a multiple of 12?
True
Let b = 53 + 245. Suppose -2*a - 4*i = -102 - 62, -4*a + 2*i = -b. Is a a multiple of 19?
True
Let l = -18 + 18. Let f(n) be the second derivative of -n**5/20 + n**4/12 - n**3/6 + 6*n**2 - n. Is f(l) a multiple of 6?
True
Does 16 divide -2*(-2)/(-4) - -129?
True
Let o be (-2)/(-4) - 19/(-2). Let c = 14 - o. Is c a multiple of 4?
True
Suppose -3*f + 248 = f. Is f a multiple of 25?
False
Suppose 3*t - 4*g = -3*g + 230, -3*g = -12. Does 13 divide t?
True
Let b(c) = -c**3 - 8*c**2 - 10*c + 2. Let h = 0 + -7. Is b(h) a multiple of 11?
False
Su