 a multiple of 4?
True
Let f(m) be the third derivative of m**5/60 + 7*m**4/24 + 7*m**3/6 + 7*m**2. Let b be f(-7). Suppose 81 = b*k - 192. Is k a multiple of 11?
False
Suppose -q + 5*c = -580, -c = 3*q - 877 - 863. Does 2 divide q?
True
Suppose 0 = 4*p - 4*d - 8, p = 2*d + 2. Let z(m) = -90*m - 15. Let j(s) = 18*s + 3. Let h(r) = 21*j(r) + 4*z(r). Is h(p) a multiple of 16?
False
Is ((-33)/(-5) - 0)/((-13)/(-1495)) a multiple of 74?
False
Is 13 a factor of (63/14 + -5)*-108?
False
Let g(x) = 49*x + 4. Let b be g(4). Does 25 divide 2/((-2)/12 - b/(-1104))?
False
Suppose -5*p + 5*c = -600, 2*p = -p + c + 360. Does 15 divide p?
True
Let h(l) = -3*l**2 + l. Let b be h(-3). Let v = 31 + b. Does 15 divide v + (1 + -43)/(-3)?
True
Let w be 2/(-7)*(-7)/1. Suppose -4*h = f - 2, -4*f - w = -3*h - 10. Does 10 divide 4 + 8*3 - h?
False
Let c(r) = -27*r + 21. Is 15 a factor of c(-17)?
True
Is 36 a factor of 9/(180/(-16))*-180?
True
Let i(v) = -49*v + 2. Let x(t) = -t**2 + 16*t - 11. Let a be x(15). Suppose -4*g + p - a = -p, -1 = g + 4*p. Is i(g) a multiple of 17?
True
Suppose 2*g = 3*h - 63, -2*h = 5*g - 2*g - 42. Is 21 a factor of h?
True
Let u be (572/6)/(2/3). Let c = u + -93. Suppose -4*q + c = s, -4*s - 5*q = -4*q - 185. Is s a multiple of 7?
False
Suppose -5*x = 59*h - 60*h + 102, 318 = 4*h - 2*x. Is 11 a factor of h?
True
Let a = -3190 - -8167. Is 30 a factor of a?
False
Suppose -5*k + 2*k = -12. Suppose -2*l - k*n - 23 = -l, -2*l - 5*n - 31 = 0. Let p(r) = -3*r**3 - 3*r**2 - 4*r. Is 15 a factor of p(l)?
False
Is ((-445)/(-10))/(15/60) a multiple of 6?
False
Let f be (-304)/(-12)*(-1 - -4). Let p be (-746)/(-6) - 4/12. Let b = p - f. Does 24 divide b?
True
Let s(a) = 2*a + 41. Let w be 14*(-15)/10 + 3. Is s(w) even?
False
Suppose -2*c = -5*c + 885. Suppose 4*o + o = c. Suppose -o = 4*a - 239. Is 6 a factor of a?
False
Let j = 61 + -40. Let f be (-6)/21 + 48/j. Suppose f*l = l + 19. Does 4 divide l?
False
Let q(s) = s**2 + s - 4. Let w(t) = -t + 8. Let p = 3 - -1. Let a be w(p). Is q(a) a multiple of 8?
True
Suppose -v + 4*h + 238 + 65 = 0, 3*v - 2*h - 869 = 0. Suppose -4*i + v = g, -365 = -6*i + i + 5*g. Suppose 4*a - i = 2*a. Is a a multiple of 11?
False
Suppose -3*g - 2*g = -650. Suppose 0*w - 3*w = 5*t - 195, 0 = -2*w + 4*t + g. Is w a multiple of 7?
False
Let m(v) = 62*v + 1150. Does 10 divide m(0)?
True
Let o(d) = d**2 - d - 39. Let n be o(-6). Let a(x) = -2*x - 6. Let u be a(-4). Suppose n*i = -u*i + 105. Is 21 a factor of i?
True
Suppose 0*y + 8 = -4*y. Suppose 11*l = 8*l + 1584. Is 23 a factor of (3/y)/((-9)/l)?
False
Let u = -97 - -289. Suppose 2*o = u + 8. Does 15 divide o?
False
Suppose 4*g = -3*k + 493, -15*g - 4*k + 120 = -14*g. Does 9 divide g?
False
Let q be (-52)/(-10) - 1/5. Suppose 16 = 4*v + q*i, -5*v + 5*i + 7 = -13. Is 4 a factor of v?
True
Does 61 divide 22/(-55) - 4577/(-5)?
True
Suppose 3*f = -r + 431, 4*r = 3*f - 6*f + 1733. Is 7 a factor of r?
True
Let q = 1265 - 938. Is 27 a factor of q?
False
Suppose 160 = -2*y + 5*v, -4*y - 320 = v + v. Let h be y/14 + (-6)/21. Is 19 a factor of (2286/27)/((-4)/h)?
False
Let o(y) be the second derivative of -3*y**5/20 + y**4/12 - y**3/6 + 8*y. Let d be o(1). Is 22 a factor of 66/((-2)/(8/d))?
True
Suppose 0 = -16*i + 18*i - 4292. Is 13 a factor of i?
False
Let a(s) = 24*s**2 - s + 1. Let l be a(1). Is (54/4)/(l/32) a multiple of 18?
True
Suppose 463 = j - 112. Is 17 a factor of ((-8)/(-5))/(10/j)?
False
Does 14 divide (-6)/(-10) + (-3610)/(-25) + 9?
True
Let v(d) = -1. Let i(s) = 8*s - 22. Let q(g) = i(g) - 3*v(g). Is q(6) a multiple of 4?
False
Let k(t) = -t**2 - 8*t - 5. Let f be k(-7). Suppose 3*r + 3*q = 6*q + 93, -f*r + 61 = -q. Is 17 a factor of (-2)/5 + 1032/r?
True
Let v(g) = g**2 + 12*g - 13. Let o be v(-13). Let r(m) = -3 + 1 + 5 + o + 5*m. Does 12 divide r(9)?
True
Let s(z) = -11*z**3 + z**2 + 9*z + 2. Let b be s(-4). Suppose 7*h - b = -28. Is h a multiple of 11?
False
Let q = 947 + -440. Is q a multiple of 29?
False
Let m = -109 + 494. Is 9 a factor of m?
False
Suppose -c = t + t - 4, 0 = 3*t - 4*c - 28. Does 19 divide t*(-20)/(-16)*19?
True
Suppose 17*b + 9*b - 88218 = 0. Is b a multiple of 13?
True
Let z(t) = -t**2 + 15*t + 6. Let f be z(7). Suppose b - f = 30. Suppose 3*j - j = b. Is 23 a factor of j?
True
Let c = 366 - 273. Is c a multiple of 3?
True
Suppose 1123 = f + i, -5*f = 34*i - 31*i - 5609. Is 35 a factor of f?
True
Suppose 3*d = -7*k + 2*k + 23, -3*d + 4*k + 14 = 0. Suppose -d*q = -3*q. Suppose 4*y = 2*z - 44, 3*z - 2*y - 61 + 15 = q. Is z a multiple of 8?
False
Suppose 5*t = 4*i + 9 + 22, i + 5*t = 11. Let n be (i/5)/((-12)/210). Let o = -3 + n. Is o a multiple of 11?
True
Let m = -69 - -86. Suppose m*v - 20*v + 102 = 0. Is v a multiple of 16?
False
Let v = 15 - 11. Let m be (v - 6)*(-2 - -1). Suppose 0 = m*y - y - 2. Does 2 divide y?
True
Suppose 0 = 5*o + 331 + 134. Let n = 158 + o. Let k = n - 38. Is k a multiple of 9?
True
Suppose -2*q + 4*a - 24 = 0, -2*a + 48 = -4*q - 0*a. Let n = 17 + q. Suppose -6*b = -n*b - 60. Is 20 a factor of b?
True
Suppose 4*d - 6*d = -14. Suppose 1094 = d*i + 366. Does 52 divide i?
True
Let f = 600 + -314. Does 13 divide f?
True
Let r(t) = 83*t**2 - 45*t - 7. Is 8 a factor of r(3)?
False
Suppose 3*s = -5*s. Suppose 4*u - 5*h - 263 = s, 5*u = -4*h + 297 + 42. Is u a multiple of 15?
False
Let u = -7 - -87. Is u a multiple of 20?
True
Suppose 3*n + 3*t - 2*t = 10, t + 10 = 2*n. Suppose -4*y + 5*x + n + 0 = 0, 3*y - 3 = -3*x. Let q(w) = 26*w. Is q(y) a multiple of 26?
True
Let s(q) = -10*q**2 - 12*q + q**3 - 2*q**3 - 5 - q**2 - 2. Does 6 divide s(-10)?
False
Suppose -6*n + 9 = -15. Is ((-32)/n)/((-10)/55) a multiple of 8?
False
Suppose -3*n - 6 = -3. Does 56 divide 2/4*(n + (-842)/(-2))?
False
Is 8 a factor of 9 + 0 - 2 - (-9)/9?
True
Let t(z) = 10*z + 8. Let j(c) = c + 12. Let k be j(-4). Let w be (-2 + 4 - 0) + k. Is t(w) a multiple of 27?
True
Let j(v) = 35*v + 153. Does 67 divide j(12)?
False
Let r(u) = -u**2 + 3*u + 16. Let g(t) = 2*t + 1. Let s be g(8). Suppose z - 4*x + 20 = 0, 2*z + 2*x + 7 = s. Is 16 a factor of r(z)?
True
Let p(y) = -y**2 - 18*y + 67. Is p(-13) a multiple of 7?
False
Suppose -3*c + 0*j + 1885 = 2*j, -610 = -c + 3*j. Is c a multiple of 52?
False
Suppose -8*i + 20 = -4*i. Is (-5)/((-25)/(-2)) - (-32)/i a multiple of 2?
True
Is 21 a factor of -1 + -5*(4 - 3) - -1120?
False
Suppose -g + 3*c + 528 = 0, 0 = -0*g + 5*g - 2*c - 2588. Is g a multiple of 17?
False
Let v(f) = -f**2 - 45*f - 9. Does 7 divide v(-39)?
False
Suppose -3*r - 4*m - 2 = -2*r, -2*m - 36 = -3*r. Is r a multiple of 9?
False
Suppose -2030 = -l + 5*z, 5*z + 408 = -2*l + 4468. Is l a multiple of 35?
True
Let d = -465 - -910. Does 106 divide d?
False
Suppose -36 = -5*p + 5*i + 4, 3*i + 12 = p. Let z(f) = -2*f**3 + f**3 + 15*f + 0*f**2 - 13*f + 6*f**2. Does 8 divide z(p)?
False
Suppose 1369 = 16*s - 3671. Is s a multiple of 5?
True
Suppose 39*z = 29*z + 6400. Does 44 divide z?
False
Let h = -10 - -9. Let k(b) = -1. Let x(i) = -3*i**2 - 2*i + 6. Let o(p) = h*x(p) - 3*k(p). Is o(2) a multiple of 13?
True
Let m be 40/(-18) + 4/18. Is 11 + m*(-1 + 0) a multiple of 2?
False
Suppose 4*c - 2*c - 1050 = 0. Is 7 a factor of c?
True
Let f = 330 - -86. Does 52 divide f?
True
Let g be (-16)/(-6) + (-16)/24. Suppose 7*w - 35 = g*w. Does 5 divide w?
False
Suppose -2*q - q = 0. Let b = 3 - q. Is b a multiple of 2?
False
Let h(a) = -a**3 + 21*a**2 + 31*a - 63. Is h(19) a multiple of 16?
True
Suppose 0 = 30*l - 39*l + 207. Is l a multiple of 14?
False
Suppose -43*x - 375 = -2*p - 38*x, -2*x = p - 192. Is p a multiple of 8?
False
Suppose 348 = 3*v + 5*j, 4 = 3*j - 5. Suppose -2*f = -9 - v. Does 15 divide f?
True
Let h(l) be the first derivative of -3*l**2/2 - 15*l - 12. Does 9 divide h(-14)?
True
Suppose -41*a = -43*a + 18. Does 10 divide -2*((-369)/2)/a - 1?
True
Suppose 17057 - 3317 = 10*q. Does 44 divide q?
False
Let c be (292/(-12))/(2/(-6)). Let t = -56 - -80. Let x = c - t. Is x a multiple of 28?
False
Suppose 10*z - 16 = 8*z. Is 4 a factor of z?
True
Let y be (-13)/(-3) - (-4)/(-3). Let g be 2/y - (-6)/18. Is 12 a factor of (-123)/g*6/(-18)?
False
Suppose 0*j + 5*j - 7550 = -5*c, 3*c = -3. Is j a multiple of 22?
False
Let f(l) = -l**2 + 18*l - 17. Let y(o)