f = 28. Let y(c) = 6 + 2*c + c + m*c. Is 24 a factor of y(6)?
True
Suppose -3643 = -7*v + 1264. Is 9 a factor of v?
False
Suppose -4*t - 5 = -5. Suppose 7*m - 215 - 170 = t. Does 25 divide m?
False
Suppose -9*h + 18 = -3*h. Suppose 2*i - h*i - 114 = 0. Let s = i + 199. Is s a multiple of 16?
False
Does 2 divide (-4 - -2)*(-2 + -29)?
True
Let c(m) = m**3 - 2*m**2 - 10*m + 13. Let j be c(5). Suppose -5*g = -z - 110, 13 = 2*g - z - 28. Let h = j + g. Does 9 divide h?
False
Suppose m + 4*m = y + 15, 2*y - 9 = -3*m. Suppose -i = -m*r - 20, 2*r + 5 = -2*i - r. Is 12 a factor of 34 + (i - 2 - 1)?
True
Suppose b + 4 = 0, 4*b = -d + 993 - 68. Is 12 a factor of d?
False
Suppose 4*u + c + 2 = -2, 0 = -5*u - 5*c - 20. Suppose u = 2*b + 39 - 249. Does 35 divide b?
True
Let v = -114 - -114. Suppose v = -17*s + 15*s + 180. Does 7 divide s?
False
Let f be (-1)/((-1)/(-2))*50/(-20). Let x(h) = -h**3 - h**2. Let u(o) = 3*o**3 - o**2 - 6*o + 3. Let p(z) = u(z) + 2*x(z). Is p(f) a multiple of 23?
True
Suppose 3*m - 32 = m. Let z(d) = -d**2 + 23. Let n be z(5). Let c = n + m. Is 7 a factor of c?
True
Suppose 0*n - 4*n = 5*o - 2495, 2540 = 4*n - 4*o. Is 21 a factor of n?
True
Suppose 1474*s = 1462*s + 9396. Is s a multiple of 46?
False
Let h(k) = -4*k**2 - 7. Let i = -8 - -13. Let c(l) = -7*l**2 + l - 13. Let o(z) = i*h(z) - 3*c(z). Is o(5) a multiple of 14?
True
Let d = -2985 + 5787. Is 34 a factor of d?
False
Let f(p) = 2*p + 8. Let s(u) = -u**2 + 5*u. Suppose 6 = 2*n - 0*n. Let y be s(n). Is 13 a factor of f(y)?
False
Suppose 3 = 3*q - 3*u, -16 = 3*u - 4. Let z = q + 5. Suppose 0 = -z*i - 4*m + 14, -2*m - 3*m = -3*i + 10. Is 5 a factor of i?
True
Let v = -1370 - -2693. Suppose -v = -5*k + 3*f, f - 6*f - 797 = -3*k. Does 11 divide k?
True
Let m(g) = 297*g**2 + 14*g + 19. Does 9 divide m(-2)?
True
Let b be 0 + 1/((-3)/(-105)). Suppose -260 = -13*l + 9*l. Suppose b = 5*r - l. Does 7 divide r?
False
Suppose 0 = 21*h - 33*h + 336. Is 3 a factor of h?
False
Let d(y) be the first derivative of -y**4/4 + 3*y**3 - 7*y**2/2 - 3*y - 6. Let q be (1/((-1)/(-8)))/1. Does 2 divide d(q)?
False
Let t(x) = 1 + 5 - 48*x**3 - 3 - 4. Is t(-1) a multiple of 8?
False
Suppose -4*f = 3*a - 147, 47 = 3*f + 4*a - 72. Suppose -3*o + 24 + f = 0. Does 5 divide o?
False
Is 23 a factor of (-276)/48*424/(-2)?
True
Let g(u) = 56*u**3 - u**2 - 6*u - 5. Let l(f) = -37*f**3 + f**2 + 4*f + 3. Let n(a) = 5*g(a) + 8*l(a). Is n(-2) a multiple of 35?
False
Let m = -1 - -6. Suppose m*c + 3*i - 9 - 53 = 0, 34 = 5*c - 4*i. Let q(f) = f**3 - 10*f**2 + 2*f + 10. Does 15 divide q(c)?
True
Let r = 132 - 297. Let z = r + 237. Is 9 a factor of z?
True
Let k(j) be the third derivative of j**4/24 + 5*j**2. Let a be k(4). Suppose -s - 2 = -a*q, -4 = -2*q + 2. Is s a multiple of 3?
False
Let i = 215 - 112. Let j = 30 + i. Is 31 a factor of j?
False
Let t be (-10)/3*(-24)/16. Suppose -f + 2 = t*z, -z + 2 = 5*f - 8. Suppose 0 = 5*a - f*a - 300. Is 25 a factor of a?
True
Does 13 divide ((-234)/24 - -9)/((-2)/296)?
False
Let o = 111 - -79. Is 19 a factor of o?
True
Let k = 447 - -164. Is k a multiple of 17?
False
Let p = -36 - -56. Let l be (-230)/(-8) + 5/p. Suppose -119 = -5*b - l. Is 9 a factor of b?
True
Suppose 2*c = -h + 180 + 527, -1063 = -3*c - h. Is c a multiple of 17?
False
Suppose -152 - 1538 = -26*n. Does 20 divide n?
False
Suppose 63*x - 1388 = 59*x. Is x a multiple of 17?
False
Is (-5746)/(-22) + 96/(-528) a multiple of 9?
True
Suppose l - 4*l = -18. Let z be 6*2/l - 9. Let j(f) = f + 12. Is j(z) a multiple of 3?
False
Let g(o) = 32*o - 34 + 54 - 24. Is g(8) a multiple of 12?
True
Suppose -4*z - 5*k = -171, -2*z + 6*k = 11*k - 73. Does 28 divide z?
False
Let p = 83 + -70. Suppose q + 2*m - 2 = -0*m, -3*m - 6 = 0. Suppose o - p = -q. Does 7 divide o?
True
Suppose 5*y = 1655 - 80. Is y a multiple of 45?
True
Suppose 0*v = 4*v - 4, -3*u + 3*v + 15 = 0. Suppose u*k - k = 25. Suppose -1 + k = x, -3 = -5*f + 3*x. Is 2 a factor of f?
False
Let v = -22 - -17. Does 4 divide (-4)/v + (-108)/(-15)?
True
Let b(x) = x**2 + 3*x - 34. Is b(-14) a multiple of 4?
True
Let j(y) = -84*y - 636. Is j(-20) a multiple of 27?
False
Suppose -y = -3*y + 6. Suppose 0 = -y*g - g + 288. Does 12 divide g?
True
Let u be (-3)/((-2)/(-4) - 2). Suppose 2*n + 313 = -5*y, 0*n + u*y - 152 = n. Is 7 a factor of (n/(-33))/(2/3)?
True
Let j(z) be the second derivative of -z**6/120 - z**5/60 + z**4/4 + 2*z**3/3 + 3*z**2 + 3*z. Let y(l) be the first derivative of j(l). Is 14 a factor of y(-4)?
True
Suppose 0 = d + 20 - 22. Is d/5*-1 - (-1054)/10 a multiple of 21?
True
Let j(d) = -241*d**3 - d**2 - d + 7. Does 42 divide j(-2)?
False
Let v(s) = s**3 - s**2 + 18*s - 4. Is 10 a factor of v(5)?
False
Suppose 5*h - 2 = 8. Suppose -2*j = 5*g - 1216, -h*g + 5*g + 3102 = 5*j. Is 18 a factor of (-1)/(j/(-154) + 4)?
False
Let b(h) = h**2 - h + 1. Let i be b(-3). Let r(n) = n**3 - 13*n**2 + 4*n + 13. Is 26 a factor of r(i)?
False
Let d = 1340 - -1507. Is 39 a factor of d?
True
Let q(a) = -a**3 + 17*a**2 - 16*a + 18. Is 18 a factor of q(9)?
True
Let h be (-1138)/(-15) - 8/(-60). Let y be (h/(-3))/((-26)/39). Suppose -60 = -41*c + y*c. Does 6 divide c?
False
Suppose -m + 932 = 2*o, 5*m + 283 + 637 = 2*o. Is 15 a factor of o?
True
Let i = -267 - -329. Is i even?
True
Is 928/4 - (-9 + 16) a multiple of 4?
False
Let r(f) = f**2 - 2*f - 4. Let m be r(-12). Suppose 0 = 3*p + 5*v - 4*v - m, -4*v = -4*p + 240. Is p a multiple of 14?
True
Let v be 3/(-3 - 174/(-56)). Let d be (-8)/v + (-96)/7. Does 9 divide 10 - 11 - d/1?
False
Is (-64)/(((-36)/(-232))/(-9)) a multiple of 23?
False
Suppose -4*m + 9*m - 530 = 5*l, -l = -5*m + 546. Does 10 divide m?
True
Is 25 a factor of 289 - -6 - (2 - (-1 + 3))?
False
Let h = 712 - 484. Is h a multiple of 19?
True
Suppose 29 = 5*p - 3*l, 0 = -p - 0*l + 3*l + 13. Let v(u) = 2*u**2 - 4*u + 2. Is v(p) a multiple of 3?
True
Suppose -5*c + 5 = 4*w, 4*c = w + 19 + 6. Suppose 0 = -c*r + 2*n + 2*n - 320, -192 = 3*r + n. Let i = r + 94. Is i a multiple of 10?
True
Suppose -8*i = 249 - 2177. Is i a multiple of 9?
False
Suppose 4*g - 1690 = -5*l, -4*l - 2*g + 1016 = -l. Is l a multiple of 19?
True
Let d be (-13 + 17)/(1/2). Let v = d + -8. Suppose v*y = -2*y + 140. Does 22 divide y?
False
Let p = 1177 + -215. Is 28 a factor of p?
False
Let r be (77/(-21))/((-1)/(-21)). Suppose -7*x + 4*x - 2*h = -2, -16 = -5*x + 3*h. Is x/11 + (-5222)/r a multiple of 17?
True
Let m(r) = r**2 - 7*r + 15. Let o be m(6). Let k = 4 - o. Let q = 18 - k. Is 6 a factor of q?
False
Is 6 a factor of (-51)/2*(29 - 45)?
True
Let t = 526 - 65. Suppose -6*i + 73 = -t. Does 20 divide i?
False
Suppose -2*b = d - 127, 5*d = -b + 6*d + 65. Is b a multiple of 6?
False
Suppose -2*f = -d - 13, 0*f - 3*d + 11 = 4*f. Suppose 3*u = m + 2*m + 48, f*m = -u - 2. Does 13 divide u?
True
Let w be 309/2*(-4)/(-3). Suppose 6 = -5*y + w. Is (10/y)/((-2)/(-104)) even?
False
Suppose 5*q + 2*q = 1183. Suppose -4*l = -5*d - l + 239, 5*l - q = -4*d. Is 10 a factor of d?
False
Let g = -152 + 362. Is g a multiple of 7?
True
Suppose -4*k + 558 = -5*v, -k = -2*k + 3*v + 143. Let u = k + -50. Is u a multiple of 18?
False
Suppose 5*n + 2*j = n - 56, -5*n + 3*j = 48. Is 28 a factor of -4*15/n*17?
False
Let n = -496 + 727. Suppose 3*u - 5*i - n = 0, 5*u + 0*i - 357 = -i. Is u a multiple of 12?
True
Let l = 881 - 450. Is l a multiple of 16?
False
Suppose 4*i - 18 = -2. Suppose -i*f = -f. Is (-6)/4*(-26 + f) a multiple of 10?
False
Let b(v) = 20*v**2 + 3*v + 2. Let z be (2/4)/(18/(-36)). Is 5 a factor of b(z)?
False
Suppose 0 = 314*k - 322*k + 1152. Does 4 divide k?
True
Suppose 45738 = 15*n - 7287. Does 41 divide n?
False
Let u(n) = n - 15. Let t be u(12). Let w(j) = -j**3 - 9*j**2 - 8*j + 7. Let s(o) = -o**2 - 1. Let y(x) = t*s(x) + w(x). Is 32 a factor of y(-7)?
False
Let m = -31 + 34. Suppose m*l - 16 = 2*l. Is l a multiple of 7?
False
Let g(v) = 3*v**2 + 7*v - 14. Is g(5) a multiple of 6?
True
Let p = -5 + 5. Suppose 3*n + 0 + 9 = 0, p = -4*r + 2*n - 30. Let v = 26 + r. Is 5 a factor of v?
False
Suppose -5*g = 320 - 1090. Is g a multiple of 7?
True
Suppose 26*x - k = 23*x + 822, -4*x = -5*k - 1085. Does 16 divide x?
False
Suppose 13*i = 8*i - 5. Let t(x) = -3*x**3 - x. Let w be t(i). Suppose -w*c -