 a**2 + 6 - a**3 + m*a - 2*a**2. Does 10 divide p(-5)?
True
Let q = -57 + 64. Let f(x) = 2*x + 1. Does 2 divide f(q)?
False
Suppose 1275 = -16*w + 33*w. Does 5 divide w?
True
Is 10 a factor of 392 + -1 + -8 + -3?
True
Suppose -2*t = 4, 3*w + 4*t - 19 = -3. Suppose 2*v + w = 194. Is v a multiple of 40?
False
Let c(r) = -19*r - 2. Suppose 0*j + 3*j - 4 = g, 3*j - 7 = 4*g. Let v be c(g). Is 7 a factor of v - (-1)/((-4)/(-16))?
True
Suppose 6*k + 4288 = 3*c + 11*k, 0 = 4*c + 5*k - 5719. Does 14 divide c?
False
Suppose -7*d + 2*d - i + 338 = 0, -4*d + 262 = 5*i. Suppose 0 = o + 1, -5*o + 1 = -t - 18. Let l = d + t. Is 9 a factor of l?
False
Let w = 7 - 2. Suppose 7 = -o + 3*k, 4*o + 21 = w*k - 0*k. Let g(a) = -4*a. Is g(o) a multiple of 8?
True
Let c be (4 - 7) + -1 + 7. Suppose 0 = c*b - 6*b + 6. Suppose b*d + 4*d - 84 = 0. Does 2 divide d?
True
Let y(j) = 37*j - 1. Let b be y(1). Let n = b - -15. Does 19 divide n?
False
Let r be 1 - 9/(18/68). Is 3 a factor of (-14)/(-49) - r/7?
False
Suppose 4*c - 35 = 3*z + 13, 2*z + 32 = -3*c. Let o = z + 40. Does 20 divide o?
False
Let l be 2/(-2)*0/(3 - -1). Does 32 divide (1 - l)/(1/(-447)*-3)?
False
Suppose x - 1203 = 2*k, -3*k + 2*x = -0*x + 1807. Let i be (-3)/(-15) - k/5. Suppose 0 = -3*z - 0*z, i = 4*o - 3*z. Does 15 divide o?
True
Suppose 0 = f - 29 + 1. Let o = f + -10. Is o a multiple of 9?
True
Let x be ((-2 - -4) + -4)*2. Is ((-76)/95)/(x/190) a multiple of 12?
False
Let q be (-4)/14 + (-4)/(-14). Suppose 17 = -23*k + 109. Suppose -48 = -q*y - k*y. Is y a multiple of 4?
True
Suppose 2*m + 140 = 3*m + x, -5*x - 404 = -3*m. Is ((-2)/3)/((-4)/m) a multiple of 4?
False
Suppose 28 = 3*o + 19. Suppose o*f + 4*i = 38 + 22, 4*f - i = 61. Does 8 divide f?
True
Let n be (((-63)/(-6))/(-1))/(6/8). Let l = n + 148. Is l a multiple of 27?
False
Let o(b) = 43*b + 2. Suppose -4*m = -c - 4*c + 6, -2*m - c + 4 = 0. Does 12 divide o(m)?
False
Let m = 50 + 2. Is 5 a factor of m?
False
Let z(f) = -5*f + 72. Is z(0) a multiple of 6?
True
Let l = -240 + 312. Does 24 divide l?
True
Let d(r) = r**3 - 6*r**2 + 35*r - 2. Does 34 divide d(10)?
True
Let c(h) be the third derivative of 0*h - 1/24*h**4 + 4*h**2 + 1/2*h**3 + 0. Does 4 divide c(-7)?
False
Let r(t) = 16*t**3 - 15*t**2 + 25*t + 29. Is 6 a factor of r(5)?
False
Let r(i) = -i - 2. Let w be r(2). Let n = w - -10. Let c(b) = 5*b - 3. Is c(n) a multiple of 12?
False
Suppose -3869 = 8*p - 17565. Is 105 a factor of p?
False
Let k = -119 - -342. Does 60 divide k?
False
Let b be 4/3 - 3/9. Suppose 0 = 3*f - b - 5. Suppose 136 = f*y + 2*y. Does 7 divide y?
False
Let t be (-4 + 6)/(2/(-11)). Let d = t + 27. Is d a multiple of 3?
False
Let t(g) = -g**3 + 7*g**2 + g - 5. Let y be t(7). Let z(o) = -5*o + o + 4*o - 15 - y*o. Is z(-11) a multiple of 7?
True
Let w(g) = -g**3 + 7*g**2 + 3*g + 16. Does 6 divide w(6)?
False
Let h(f) be the third derivative of f**8/20160 + f**7/1680 - f**6/360 + f**5/60 - 3*f**2. Let t(s) be the third derivative of h(s). Does 11 divide t(5)?
False
Let u be ((-44)/(-8) + 1)*4. Suppose -j + 10*l + u = 6*l, 2*j - 3*l - 57 = 0. Does 5 divide j?
True
Let m be (6 + -3)/(6/(-200)). Let f = -64 - m. Suppose -f = 4*j - 156. Does 12 divide j?
False
Let j = -82 - -236. Let u = 378 - j. Is 13 a factor of u?
False
Let s(d) = d - 11. Let i be s(8). Let f = -4 + -8. Let c = i - f. Is c a multiple of 2?
False
Let j(l) = -492*l**3 - l**2 + 11. Is 141 a factor of j(-2)?
False
Let g = -23 + 13. Does 25 divide (-402)/(-4) - (-5)/g?
True
Suppose 598*a = 602*a - 1600. Is 4 a factor of a?
True
Let m = 74 - 36. Let y = m + -66. Let r = y - -46. Is 18 a factor of r?
True
Let o = 140 + 105. Is 35 a factor of o?
True
Let n(c) = 113*c**2 - 13. Is 23 a factor of n(-2)?
False
Let k(b) = b**3 + 8*b**2 + 6*b - 5. Let w be k(-7). Suppose -2*d + t = 2*t - 301, d = -w*t + 143. Is d a multiple of 17?
True
Let p(x) = x**2 - 7*x + 11. Let c = -4 + 10. Let o be p(c). Suppose -o*s = 22 - 107. Is 17 a factor of s?
True
Let t(u) be the second derivative of u**4/12 + 10*u**3/3 + 39*u**2/2 + u. Is t(-18) a multiple of 3?
True
Let r(c) = c**2 + 7*c - 11. Let o be r(-10). Let y be -1 + 31 + 1 + 0. Suppose -y = -n + o. Is n a multiple of 10?
True
Let q(j) be the third derivative of j**5/6 + j**4/8 - j**3/6 + 5*j**2. Let d be q(1). Is 16 a factor of (1*d - -1) + 3?
True
Suppose 0 = -2*q - r + 35, 9 = -r - 2*r. Does 2 divide q?
False
Let q = 384 + -134. Does 22 divide q?
False
Let a = -46 - -94. Let s be 2/9 + a/27. Does 22 divide 4 + 42 - (s + 0)?
True
Suppose -5*l + 15 = 0, 3*l = 4*g + 11 + 22. Let w(y) = -y - 11. Let a be w(g). Is 604/10 - (-2)/a a multiple of 15?
True
Suppose 550 = 12*p - 7*p. Does 3 divide p?
False
Let m(l) = -2*l**3 - 2*l**2 + 78*l + 23. Is m(-8) even?
False
Does 52 divide ((-27)/36 + (-5)/(-4))*312?
True
Let b = -498 + 798. Does 6 divide b?
True
Suppose -4*p = 3*d + 7400, d - 1101 + 3586 = -5*p. Is (d/100)/(1/(-5)) a multiple of 25?
False
Suppose k + 3*k = 0. Suppose 4*i - 3 + 7 = k. Let o(u) = -3*u. Does 2 divide o(i)?
False
Suppose -4*o - 4*d + 280 = 0, -5*o - 2*d + 200 + 138 = 0. Let y = 80 - o. Does 4 divide y?
False
Let z(n) = 2*n**2 + 12*n + 6. Let u(v) = 2*v**2 + 12*v + 5. Let a(h) = 5*u(h) - 4*z(h). Let q be a(-8). Suppose -3*d + q = -30. Does 21 divide d?
True
Let t = 7 + -34. Is (0 - 3)/(t/342) a multiple of 19?
True
Suppose 568 = 5*s - 3*y - 450, -s = 4*y - 222. Does 5 divide s?
False
Suppose -12228 - 1326 = -54*s. Is s a multiple of 3?
False
Let d(q) = 2*q**2 + 2. Let c be d(1). Suppose 0 = o - 3*o + c. Suppose 2*x + 5*g = 83, -o*g = g - 15. Is 6 a factor of x?
False
Is (-42)/140 + (-1713)/(-10) a multiple of 58?
False
Let y(b) = -b**3 + 17*b**2 + 4*b - 12. Let g be y(12). Suppose q + 5*q = g. Does 18 divide q?
True
Let u = -403 + 763. Is 18 a factor of u?
True
Let c(z) = z**3 + 3*z**2 - 4*z + 5. Suppose 4*w + 4 + 12 = 0. Let n be c(w). Suppose 0 = -v + n + 17. Is 11 a factor of v?
True
Let k(d) = -d**3 + 4*d**2 + 4*d + 3. Let y be k(5). Is 28 a factor of (-7356)/(-54) - y/(-9)?
False
Let b be ((-46)/2)/(7/(-14)). Let g = 4 - b. Let c = 118 + g. Is 31 a factor of c?
False
Suppose -3*h + 29 = 8. Let j(l) = 5*l**2 - 6*l + 7. Let q(t) = 4*t**2 - 7*t + 6. Let o(w) = -2*j(w) + 3*q(w). Is 13 a factor of o(h)?
True
Let q = 107 - 32. Suppose 0 = 4*y - y - q. Suppose y = 4*c + 3*x - 6, -5*x - 45 = -3*c. Is c a multiple of 5?
True
Does 24 divide (30 - 14)*(228/8 - 0)?
True
Let g(n) = -7*n - 11. Let f(k) = -k. Let d(w) = -6*f(w) - g(w). Is d(9) a multiple of 31?
False
Let h(j) = 5*j**2 + 11*j + 26. Does 4 divide h(-4)?
False
Let p = 31 - 57. Let l be (-22)/p + (-4)/(-26). Suppose 0 = 3*s - 32 - l. Is s a multiple of 10?
False
Suppose -4*h - 14 - 2 = 0, 2*f + 3*h = -32. Let t be (-2)/(-2) - (-10 - 4). Let n = f + t. Is 5 a factor of n?
True
Let s(u) = u**2 + 7*u. Let p be s(5). Suppose -2*r + 0 = -2, 4*d + 4*r = p. Is d even?
True
Let m = 300 - 296. Let c(v) be the third derivative of v**4/3 - 5*v**3/6 + v**2. Is 15 a factor of c(m)?
False
Let z(q) = -101*q - 10. Let h be z(-2). Suppose -h = -34*j + 30*j. Is j a multiple of 2?
True
Let z(p) = 11*p**3 + 3*p**2 - 9*p + 2. Let k be z(2). Let a = -11 + 19. Is 33 a factor of k - (a - 3 - 2)?
False
Suppose -146*v + 216631 + 21495 = 0. Does 10 divide v?
False
Let m = -377 + 761. Does 8 divide m?
True
Let m = 16 + -11. Suppose m*t + 4*i = 37, -t - 4*i + 1 = -0*i. Does 2 divide t?
False
Let k = 835 - 1369. Is 2/(k/135 + 4) a multiple of 15?
True
Is -7 - -160 - (-3 + 1 + 0) a multiple of 31?
True
Let u(m) = -m**2 + 74*m - 385. Does 17 divide u(60)?
False
Suppose 306 = 2*n - 3*m - 2*m, -3*n - 4*m = -459. Suppose 3*y - 43 = d, y + n = -3*d + 4*y. Let g = d - -84. Is g a multiple of 4?
False
Suppose -6*g - 106 - 98 = 0. Let m = g + 66. Is 6 a factor of m?
False
Suppose 2*m + 0*m - 956 = -4*x, -964 = -2*m + 4*x. Is m a multiple of 17?
False
Let f(t) = -47*t**3 + t**2 + t + 1. Let p be f(-1). Suppose -a = r - p, 2*r + 0*r - 100 = -3*a. Is 11 a factor of r?
True
Suppose 5*v + 1 + 5 = -2*d, 2*d + 2*v = 0. Suppose -d*c = -195 - 25. Does 10 divide c?
True
Let z(d) = d**3 - d + 39. Let n be z(0). Let x be (-2)/((-8)/12) - n. Let y = 76 + x. Does 8 divide y?
True
Suppose -4*k = -3*t - 16, -2*k - t = 4*t + 18. Suppose -r = k, -2*b + r - 174 =