 - 7*i**w. Does 8 divide a(-8)?
False
Let r(o) = -20*o + 24. Suppose 2*s - 18 = 8*s. Is 42 a factor of r(s)?
True
Suppose -h + 77 - 1324 = 2*j, j + h = -624. Let a = -427 - j. Is 20 a factor of a?
False
Suppose -4*p - 5*o + o = 64, -25 = -5*o. Is 3 a factor of p/6*(0 - 2)?
False
Let c(j) = 2*j**2 - 2*j + 1. Let l be c(1). Is 14 a factor of (-932)/(-20) - l*4/(-10)?
False
Suppose -2*y + 2 - 6 = 0, 0 = 3*c + 5*y - 353. Suppose c = 4*k - 19. Does 35 divide k?
True
Let k = 10 - -27. Let s = -6 - -11. Suppose -13 = -s*g + k. Is g a multiple of 5?
True
Let u(z) = -61*z + 220. Is u(-1) a multiple of 35?
False
Let q(n) = -19 + 3*n - 34 - 15*n + 25*n. Is 28 a factor of q(17)?
True
Suppose -3*f = -f - 4. Suppose f*q + 4 = 12. Suppose -15 = -q*y + 33. Does 12 divide y?
True
Let l = 1330 - 1228. Does 3 divide l?
True
Let l(f) be the second derivative of -f**4/12 + 4*f**3/3 - 3*f**2 + f. Let v be l(7). Does 16 divide (-36)/(-1) - (-3 + v)?
False
Let b = 179 - -481. Is b a multiple of 20?
True
Suppose -k = 5*h - 2759, -2*k + 64 = -2*h + 1170. Is 24 a factor of h?
True
Let p(j) = 2*j**2 - 5*j - 3. Let b(q) = -3*q + 1. Let c be b(2). Is p(c) a multiple of 30?
False
Suppose 5*p - 236 = s, 3*s + 110 + 34 = 3*p. Let v be 1/2 + 174/12. Let l = p - v. Is 23 a factor of l?
False
Let v(f) = f**2 - 4*f + 1. Let i be v(3). Does 22 divide (-3)/6 - 191/i?
False
Suppose -2*w - f + 14 = 0, 4*w - 4*f = -w + 22. Let a = -1 + w. Suppose a*g - 3*g = 64. Does 8 divide g?
True
Let f = -2072 - -3398. Is 17 a factor of f?
True
Let x(d) = -14*d - 54. Let b be x(-5). Does 41 divide 5 + (-7)/(28/b) - -206?
False
Let w(m) = -2*m**2 - 4*m + 1. Let t(f) = -f**3 - 8*f**2 - 15*f + 3. Let q(d) = -2*t(d) + 9*w(d). Is 7 a factor of q(3)?
True
Let p(a) = -a**3 - 6*a**2 + 10*a + 14. Let k be p(-7). Does 3 divide (2 + -1)/(k/(-168))?
True
Suppose 4*z = -x + 659 + 73, -4*z = -16. Does 24 divide x?
False
Suppose u + 103 = x + 2*u, 4*x + 5*u - 410 = 0. Suppose 2*w = x + 37. Suppose -2*k + w = 29. Is 7 a factor of k?
True
Suppose 0 = 17*y - 13*y + 40. Let o = y - -28. Is o a multiple of 9?
True
Let h = 10 + -9. Let b = 1 + h. Does 9 divide b/(-5) - 959/(-35)?
True
Suppose 3*v = 6 + 18. Suppose 3*z + 112 = -v. Is ((-8)/10)/2*z a multiple of 4?
True
Suppose 7*d - 3*s = 6*d + 149, 4*d = -2*s + 554. Does 4 divide d?
True
Suppose -14*x + 198 = -11*x + b, -2*x + 115 = -5*b. Does 13 divide x?
True
Let f(h) = 1 + 2*h**2 + 6*h**2 + 1 - 6*h - h**3 - 1. Let i be f(7). Let s(c) = -c**3 + 9*c**2 - c - 11. Is s(i) a multiple of 15?
True
Let o = -3 - -11. Suppose 2*c - o = 5*j, -j = -4*c - 7 + 23. Suppose 4*g + 13 = a + 6*g, 3*g = c*a + 3. Is 3 a factor of a?
True
Let w(o) = -o**3 + o + 2. Let u be w(-1). Suppose 169 + 61 = u*y. Let x = y + -61. Is x a multiple of 23?
False
Suppose -5*y - 1341 = -c, -5*c + 2*y + 1283 + 5353 = 0. Does 75 divide c?
False
Let y(g) = 15*g**2 - 7*g + 9. Is 41 a factor of y(3)?
True
Let g = 40 - -116. Suppose 0 = 2*l + g + 174. Let d = 249 + l. Does 30 divide d?
False
Let u = -2 - -1. Let t be 14 + (u - -5) + -3. Let y = -4 + t. Is 11 a factor of y?
True
Suppose -3*q + 241 = -q - k, -5*q + 607 = -4*k. Is q a multiple of 17?
True
Suppose -6*j = -182 - 1492. Is j a multiple of 93?
True
Suppose -112558 = -91*q + 147702. Is q a multiple of 11?
True
Let d(y) = -y**2 + 24*y + 2. Let f = 63 - 41. Does 8 divide d(f)?
False
Let r = -6855 + 9795. Suppose -492 + r = 16*g. Is 6 a factor of g?
False
Suppose 0 = 4*d + 21 - 1. Let g = 1 - d. Suppose -3*u + 0 + g = 0, -4*u = -c. Is 8 a factor of c?
True
Let x be (-75 - -1)*(-1)/(-2). Does 3 divide (1 - x) + (-5 - -1)?
False
Suppose 6*o - 684 = 3*o. Let n = o + -90. Suppose -66 = -2*p + 5*r, 6 + n = 4*p - 4*r. Is p a multiple of 17?
False
Suppose 86*c = 84*c + 1240. Is c a multiple of 55?
False
Let h = -73 + 121. Is 12 a factor of h?
True
Let j = -203 + 254. Is 51 a factor of j?
True
Is 33 a factor of ((-4910)/(-30))/(1 + (-2)/3)?
False
Suppose 375 = 5*g - 0*g. Suppose 6*i - 3*i - g = -2*a, -a + 2*i + 20 = 0. Let c = a - 17. Is 13 a factor of c?
True
Let b = -40 - -53. Let v = b - 7. Does 3 divide v?
True
Let i(a) = -78*a - 16. Is 38 a factor of i(-8)?
True
Let z(c) = c**3 - 9*c**2 + 2. Let t be z(9). Let g(v) = 36*v**2 - v - 1. Let a be g(t). Suppose 3*u - a = 30. Is 10 a factor of u?
False
Let c be 3 + (2 - 8/4). Let s be (-24)/16*(-8)/c. Suppose s*q - q = -2*k + 59, 4*q + 5*k - 81 = 0. Is 5 a factor of q?
False
Suppose 109 = n - g, 2*n - 208 = g + 3*g. Does 9 divide n?
False
Suppose 5*s = 4*z - 6, -4*s - 2*z + 6 = -5*s. Suppose -h + 132 = -3*l, 6*h = s*h + l + 506. Is 18 a factor of h?
True
Suppose -10443 + 3813 = -26*j. Does 51 divide j?
True
Let p be (-4)/8*(2 - 0)*-176. Suppose -32 = -k - 5*q, -p = -4*k + 5*q - q. Does 26 divide k?
False
Let w(l) = -2*l - 9. Let f(i) = i. Let u(x) = 6*f(x) - w(x). Let m be u(-8). Let a = 83 + m. Does 11 divide a?
False
Let r(g) = 24*g**2 - 11*g + 13. Is r(-4) a multiple of 11?
False
Let b(u) = 135*u**3 - u**2 + u. Let h be b(1). Suppose y - h = 4*y. Does 15 divide (-24)/15*y/2?
False
Let c be 6 - (-1 + -2 + 3). Let u be (3 - c) + 7 - -7. Let k = 75 - u. Is 32 a factor of k?
True
Let i = 10 - 4. Let w(a) = -a**3 + 7*a**2 - 4*a + 7. Does 5 divide w(i)?
False
Suppose 0*f + 4 = 2*f. Let v be (f/6)/((-6)/(-126)). Suppose 32 = v*d - 3*d. Is d a multiple of 2?
True
Suppose -5*q = -5*a + 105, 0 = -11*q + 12*q. Let y(t) = 12*t - 7. Let r be y(6). Let c = r - a. Is c a multiple of 22?
True
Let y(i) = -16*i - 22. Is 21 a factor of y(-4)?
True
Suppose 5*n - 305 - 1310 = 0. Is n a multiple of 19?
True
Let v(y) = 43*y + 44. Is v(4) a multiple of 9?
True
Does 9 divide (-84)/21 - (-193 + 0 + 0)?
True
Let u(y) = 14*y**2 + 4*y - 50. Does 13 divide u(14)?
False
Suppose n = 133 + 10. Suppose -n = -5*x + 207. Is 14 a factor of x?
True
Suppose -5*v = -t - 7, -3*t - 5*v + 17 = -v. Suppose -t = -g - 2. Let h(j) = 46*j - 2. Is 16 a factor of h(g)?
False
Let x(g) be the third derivative of g**5/30 + g**4/24 - g**3/2 - 2*g**2. Is 18 a factor of x(3)?
True
Let d(v) = -2*v + 2. Let k(g) = g**3 - 4*g**2 - 2*g + 6. Let b be k(4). Let i be d(b). Suppose 0 = -2*r + 32 + i. Is 11 a factor of r?
False
Let g(w) = w**3 + w**2 + w + 17. Let k(s) = -s**2 + 10*s + 1. Let j be k(6). Suppose -5*u = -j, -u - u = b - 10. Is 6 a factor of g(b)?
False
Let d be (10/10)/(1/(-39)). Let w = d + 27. Does 8 divide 1*87*(-4)/w?
False
Suppose -o + 4*j - 12 = 0, -3*o + 28 = 2*o + 2*j. Let z(y) = 3*y**3 + y**2 + 2. Is 20 a factor of z(o)?
False
Suppose 4*z - 2*r - 3558 = 0, 0 = 29*z - 34*z - 3*r + 4453. Is z a multiple of 10?
True
Let p = -64 + 64. Suppose 5*q - 301 = -3*b, -2*b + p*b - 4*q + 198 = 0. Is b a multiple of 30?
False
Let r(j) = 17*j**2 - j - 1. Let s = -53 + 51. Is r(s) a multiple of 36?
False
Let v(i) = i. Let c be v(-4). Let s be 408/c - 2*-1. Is -6 - (-1 - 1) - s a multiple of 31?
False
Let r = 13 + -15. Let c be (-1 - r)*1*-1. Is c/3 - 292/(-12) a multiple of 12?
True
Suppose -171 = 9*p - 684. Let a = 85 - p. Is a a multiple of 7?
True
Does 6 divide (-9928)/(-36) - ((-50)/(-45))/(-5)?
True
Does 12 divide ((117/(-18))/(-13))/((-5)/(-3240))?
True
Suppose 0 = 31*y - 14*y - 34. Suppose -15 = h - 4*h. Suppose 2*x = -x + 2*s + 25, -y*x + 2 = -h*s. Does 3 divide x?
False
Suppose 3*q - 4*a - 685 = 0, -13*a + 452 = 2*q - 18*a. Is 7 a factor of q?
True
Let x = -16 - -43. Suppose 0 = 4*q + 91 + 17. Let w = x - q. Does 25 divide w?
False
Let m(p) = -4*p + 20. Let s be m(-9). Let x(h) = 7*h. Let g be x(4). Let y = s - g. Is y a multiple of 6?
False
Let m be -1*(-809)/7 - 12/(-28). Let w = m + -85. Is 3 a factor of w?
False
Suppose -3*m + 4 = m. Let s be (16/(-2) - m)/1. Let w(h) = -h**2 - 10*h + 5. Is w(s) a multiple of 7?
True
Suppose 0 = 2*x + 6, o - x - 468 = -14. Let h = o + -256. Suppose 15 - h = -5*s. Is s a multiple of 18?
True
Let z be (-5)/((2 - 4)/82). Let f be (1 + z)*3/2. Suppose 0 = 5*y + 3*x - f, 2*y + 5*x - 76 = 59. Is y a multiple of 15?
True
Let o = 427 - 223. Suppose 7*l - 2*l + 308 = 4*f, -3*f - 3*l = -o. Is f a multiple of 41?
False
Suppose -3872 = -136*k + 125*k. Does 4 divide k?
True
Let f be 2/((-7)/((-63)/6)). Let q be 15/(-5)*(-1)/f. Does 7 divide q*3/(-3) - -31?
False
Suppose -16*p - 825 = -21*p. Is p a multiple of 13?
False
Let x(v