?
False
Let b(l) = l**3 + 13*l**2 + 9*l + 96. Is 41 a factor of b(-8)?
False
Let a(z) = 5*z - 3. Let y be a(11). Suppose 9*s = 11*s - y. Does 25 divide s?
False
Does 24 divide 25/((-175)/(-2394)) - 6?
True
Let v(r) be the second derivative of -r**4/12 + 4*r**3/3 - r**2 - 6*r. Is v(4) a multiple of 14?
True
Let h(s) be the first derivative of -17*s**4/2 + 2*s**3/3 + 2*s**2 - 4. Is 34 a factor of h(-2)?
True
Let u be 430/25*(-15)/(-1). Suppose -4*t = o - 71, -3*o - 2*t + u = t. Let g = o + -60. Is g a multiple of 12?
False
Let p be 3/((-15)/20) + 7. Suppose p*d + 3*n = n + 296, 4*d = -2*n + 396. Is d a multiple of 17?
False
Suppose m = 3*m + 82. Let i be 0 + 5 + -2 + m. Let u = -24 - i. Is 7 a factor of u?
True
Let z be (36/8 - 5)*-254. Let v = z - -39. Does 14 divide v?
False
Let t(j) = -30*j - 4. Suppose 0 = -3*u - 3 - 3. Let p be t(u). Is 12 a factor of (p/(-21))/(2/(-33))?
False
Let o = 4 - 2. Let h be 1 + -2 - -94 - o. Let d = h + -32. Is d a multiple of 7?
False
Let m = 0 - -2. Let h(o) = 5*o**2 - 2*o - 1. Let i be h(m). Suppose -l + 9 = -i. Is 9 a factor of l?
False
Let k = -58 - -66. Let a = k - 5. Is 2 a factor of a?
False
Suppose -4*k + 24 = -3*f, 0 = -2*k + 4*k - 6. Let l be (-7)/4 + 2 - 30/24. Is 12 a factor of l*(-3 + -43 + f)?
False
Suppose -38*b + 15 = -43*b, 0 = 3*l + b - 753. Is 7 a factor of l?
True
Let a be -2*(-39)/(-12)*2. Let d = 38 - a. Is d a multiple of 9?
False
Let d(r) = -2*r - 12. Let g be d(-13). Let y = g - -19. Is y a multiple of 15?
False
Let w(i) = 6*i + 31. Let u be w(-5). Is -4 + u + (2 - -162) a multiple of 23?
True
Let u(w) be the first derivative of -7*w**2 - 2*w - 2. Let i be u(-2). Does 3 divide i*3/6 - 1?
True
Suppose 2*k = 2*w - 156, 3*w - 109 + 39 = k. Let l = -33 - k. Is l a multiple of 4?
False
Let z = 20 + 8. Does 4 divide z?
True
Let l = 25 - 54. Suppose 5*j - 263 = -58. Let n = l + j. Does 12 divide n?
True
Suppose -8*m - 59 = 61. Let o be 36 - ((-6)/2 + 6). Let h = o + m. Does 5 divide h?
False
Let h = 75 + -37. Let q = h - 16. Does 11 divide q?
True
Suppose 9*y + 9 = 36. Does 47 divide ((-1580)/30)/((-1)/y)?
False
Let r = 528 + -317. Let k = -113 + r. Is 32 a factor of k?
False
Is 8 a factor of (-14 - -9) + (11 - 1) - -192?
False
Suppose 6*y - 2*y = 932. Is y a multiple of 11?
False
Suppose 3*z = g - 1236, 4*g - 6*z - 4958 = -z. Is 18 a factor of g?
True
Suppose 0 = p + 3*s + 54, p + 2*s = -2*p - 127. Let c be (-1094)/13 - 6/p. Is c/(-2) - (-4)/(-2) a multiple of 20?
True
Let b = -323 - -493. Is b a multiple of 25?
False
Suppose -5*p + 5*t + 895 = 0, -3*p + 4*t + 789 = 253. Is p a multiple of 5?
True
Suppose 17*m = 2*m - 15. Suppose -s = -2 - 2. Is (m + s - 2) + 15 a multiple of 4?
True
Let i(y) be the second derivative of -13*y**3/2 - 21*y**2/2 + 23*y. Does 29 divide i(-5)?
True
Let t be 1097/4 - 18/(-24) - 1. Suppose -f = 2*c - t, 5*c + 272 = 7*c + 2*f. Is c a multiple of 13?
False
Suppose -5*u = -u - 4*h, 2*u - 3*h + 2 = 0. Suppose u*q = 5*q - 303. Does 9 divide q?
False
Suppose -2408 = -6*b + 694. Does 44 divide b?
False
Let l = -93 - -102. Suppose 242 = -l*h + 953. Is h a multiple of 14?
False
Let i = 565 + -289. Suppose -4*d - 2*d = -i. Does 10 divide d?
False
Let q(j) = j**2 + 16*j + 60. Does 5 divide q(-11)?
True
Let j(b) = 626*b**2 - 29*b + 62. Is 44 a factor of j(2)?
True
Suppose -2*m = 2*y - 36, -56 - 26 = -5*y - 3*m. Let h be y - 9/(0 - 3). Let o = h + -1. Does 6 divide o?
False
Suppose 3*h + 21 = -3*r, 0 - 4 = -2*r. Let a be h/3 - -3 - 0. Suppose -3*p = -2*l - a*l - 65, 73 = 3*p - 4*l. Is 18 a factor of p?
False
Let p = -27 + 30. Suppose 36 = -p*c + 7*c. Does 3 divide c?
True
Let b(v) = 5*v**3. Let m be b(1). Suppose -3*s + 3 = -s - l, -3 = s - m*l. Let n(k) = 6*k - 2. Is n(s) a multiple of 10?
True
Suppose -2*p - x = -6, -3*p - 2*p - 2*x + 16 = 0. Suppose 5*w - 3*z = 837, 4*w - 674 = -6*z + p*z. Does 33 divide w?
False
Let b(r) = 16*r**3 + 4*r**2 + 2*r - 10. Does 6 divide b(2)?
True
Let t = 50 - -2. Let h = -10 - -12. Suppose -t = -3*c + 2*j, -h*j - 48 = -3*c + j. Is 15 a factor of c?
False
Let w(s) = s**2. Let a(j) = 4*j**2 - 22*j - 7. Let l(r) = a(r) - 5*w(r). Is l(-21) a multiple of 6?
False
Is (-4 + 404)/((-3)/(-6)) a multiple of 80?
True
Is 39 a factor of (78/7)/((-18)/(-1134))?
True
Suppose 0*s + 22 = 2*s. Is 5 a factor of s?
False
Let h be -3 - ((-1)/2 + (-819)/14). Does 14 divide 63/(-14)*h/(-6)?
True
Let n(x) = x**3 - 5*x**2 - 2*x + 13. Let q be n(6). Let o = -25 + q. Suppose -b + o = b. Is 6 a factor of b?
True
Suppose 2*i - 2*o + 0 - 4 = 0, -5*o + 10 = 0. Suppose -5*z - i - 10 = -3*d, 0 = 4*d - 5*z - 17. Is d a multiple of 2?
False
Suppose 18 = 5*r + 8. Suppose -4*h - r*t + 234 = 0, t - 293 = -5*h - 2*t. Let f = h + -32. Is f a multiple of 10?
False
Let t be (12/9)/((-33)/(-27) - 1). Suppose 3 = o, b = -2*o + t*o + 30. Does 13 divide b?
False
Let g = 624 - 60. Does 12 divide g?
True
Let a(q) = q**3 + q + 1. Let o be a(-1). Suppose -2*n - 3*m = -2*m + 141, -5*m = 2*n + 161. Is 6/(2/o) - n a multiple of 21?
False
Suppose 2*f - 102 = 2*h, 3*h + 0*h + 15 = 0. Let l = f - -45. Does 27 divide l?
False
Let a(k) = -k**3 - 2*k**2 - 2*k. Let z be a(-7). Let u = -185 + z. Does 18 divide u?
False
Let z(h) = -h**3 + 11*h**2 + 11*h + 16. Let q be z(11). Suppose 5*u - 283 = q. Does 12 divide u?
True
Let x be ((-8)/10)/(1/(-15)). Suppose -v = 5*y - 12, 0*v = -3*v - 3*y + x. Suppose -4*h - 3*m + 66 = -2*h, -116 = -4*h + v*m. Does 10 divide h?
True
Let o(x) = -41*x**3 - 2*x - 1. Let a be o(-1). Suppose -10*z = -13*z + a. Is z a multiple of 3?
False
Suppose -55*p - 8 = -54*p. Let k(c) = -8*c + 47. Does 14 divide k(p)?
False
Let r(t) = t**3 + 5*t**2 - t + 1. Let n be r(-5). Suppose -n*x + 20 = -x. Suppose 0 = x*g - 114 - 54. Is g a multiple of 11?
False
Suppose -5*t = 5*v - 3440, t = -4*v - 240 + 913. Is t a multiple of 11?
True
Is 16 - 6 - 15 - -2227 a multiple of 11?
True
Let z(b) = -140*b - 5. Does 5 divide z(-2)?
True
Let m be 63/12 + 3/(-12). Let l = m - -88. Is 35 a factor of (-4 - (4 - 4)) + l?
False
Let w be 19/4 - (-5)/20. Let p be w + 1/(-2)*6. Is 1/(p*2/72) a multiple of 7?
False
Let q(x) = 17*x + 40. Let f(s) = s**2 + 16*s - 11. Let l be f(-17). Is q(l) a multiple of 12?
False
Let t(y) = -9*y - 51. Let g(f) = -8*f - 52. Let l(z) = -6*g(z) + 5*t(z). Does 8 divide l(-7)?
False
Suppose 5*y + 14*b = 18*b + 433, -3*y + 279 = 4*b. Is 12 a factor of y?
False
Suppose 35 = a - 5*i, a = -3*a + 3*i + 89. Let t be 3/2 + 10/a. Suppose 6*h - t*h = 64. Does 4 divide h?
True
Suppose -5*v - 4*a = 454, 2*a = -4*v - 3*a - 356. Let s = v + 157. Is 5 a factor of s?
False
Let j be (12/(-3))/(3/12). Suppose -51 = 4*o - 235. Is 5 a factor of j/(-40) - o/(-10)?
True
Let o = -10 - -13. Suppose -o*c = -3*b - 60, 3*c + 0*c - 5*b = 50. Is c a multiple of 4?
False
Suppose -4*w = 4*j - 900, 10 = -4*j - j. Let l = -101 + w. Is l a multiple of 18?
True
Let q = -127 + 301. Does 33 divide q/(-3 + -1 + (-11)/(-2))?
False
Let l(d) = -d**2 + 17*d - 4. Let v be l(10). Let a = v + -108. Let c = -16 - a. Does 13 divide c?
True
Let u = 98 - -737. Is u a multiple of 61?
False
Let i = 113 + -393. Is 4 a factor of i/(-8) + -2 + 6?
False
Let y = -925 - -1555. Does 9 divide y?
True
Suppose 2*s + 3*r = 2681, -10*r + 6683 = 5*s - 9*r. Is 23 a factor of s?
False
Let g be 36/(-14) - 9/21. Does 7 divide (42/(-40) + g/(-12))*-35?
True
Let u = 13 + -6. Let j(w) = w**3 - 6*w**2 - 6*w - 1. Let m be j(u). Suppose m*i - 67 = 41. Is i a multiple of 15?
False
Let d = 324 + 138. Does 11 divide d?
True
Let b(p) = 1290*p**2 - 17*p. Is b(-1) a multiple of 33?
False
Suppose -4*a - 26 = -5*f, -4*a + 0*a = f + 38. Let w(o) = -2*o**2 - o + 1. Let q(x) = 9*x**2 + 12*x - 6. Let m(z) = q(z) + 4*w(z). Is m(a) a multiple of 2?
False
Suppose -9*c + 113 + 67 = 0. Suppose -4*u + 2*a + 24 = 0, 2*a - c = -3*a. Does 6 divide u?
False
Let t(s) = -10 - 17 + 3 - 20*s - 15. Does 10 divide t(-8)?
False
Let d(g) = 11*g**2 + 7*g - 25. Is 10 a factor of d(4)?
False
Is 7 a factor of 3/((-3)/(-220)) - -4?
True
Let u(a) = a**3 + 5*a**2 - a - 1. Let i be u(-5). Let s be 10/85 - (-1080)/68. Suppose i*b - 136 = -s. Is b a multiple of 10?
True
Let i be 2 + ((-1)/1)/(8/(-32)). Suppose i*d - 160 = -2*d. Does 7 divide d?
False
Suppose 0 = -4*k + 4, 2 = x + 4*k + k. Let 