
True
Suppose -3*f = -4*m - 867, 2*m - 579 = -2*f + 5*m. Does 5 divide f?
True
Suppose 4*k - 7 = 9. Suppose k*i + 2*p = 140, 9*i - 181 = 4*i - 4*p. Is i a multiple of 33?
True
Let i(k) be the third derivative of k**8/10080 + k**6/360 + 2*k**5/15 + 7*k**2. Let r(l) be the third derivative of i(l). Is r(4) a multiple of 16?
False
Let x(m) be the second derivative of 9*m + m**2 + 0 - 1/6*m**4 + 0*m**3 - 3/20*m**5. Is 9 a factor of x(-2)?
True
Suppose 4*m + 4*c = 7760, 0 = 8*m - 3*m - 2*c - 9728. Does 13 divide m?
False
Let m be 2 + (-1 - 2) - (-5010)/6. Is 42/(-28) - m/(-4) a multiple of 8?
False
Suppose 0 = -4*h + 173 + 1883. Does 25 divide h?
False
Suppose 0 = -5*c + 50 - 20. Suppose -7*d = -c*d - 5. Suppose -d*l + 56 = -114. Is 7 a factor of l?
False
Let h(v) = -v + 30. Let j(p) = -5*p + 151. Let f(i) = 11*h(i) - 2*j(i). Is 9 a factor of f(-10)?
False
Let l(v) = v**2 - 6*v. Let p be l(3). Is (p/(-5))/((11/145)/11) a multiple of 29?
True
Suppose 0 = -7*q + 4408 + 2977. Is 21 a factor of q?
False
Let h = 6 - 24. Let k = h + 95. Is k a multiple of 13?
False
Let p(h) = h**2 + 11*h + 9. Let k be p(-11). Suppose -k*u + 2688 = 3*u. Is 16 a factor of u?
True
Is (-35)/14*4 - -38 a multiple of 7?
True
Let k be (-724)/18 - 8/(-36). Let q = -31 - k. Is 9 a factor of q?
True
Let w = -921 + 1559. Does 29 divide w?
True
Let l(r) = 13*r**3 - 23*r**2 + 6*r - 5. Is 21 a factor of l(4)?
True
Let o(z) = 5*z**2 + 3*z + 2. Let d be o(5). Suppose -2*h + 83 = -5*c, -h - 2*h = -4*c - d. Suppose 0 = 10*t - 8*t - h. Is 7 a factor of t?
False
Suppose 5*p = 719 - 224. Is p a multiple of 9?
True
Let o = -1075 - -2207. Is o a multiple of 25?
False
Suppose 5 = -2*q + 4*c + 1797, 4528 = 5*q + 2*c. Is q a multiple of 4?
True
Let y(b) = b**3 - 3*b + 24*b**2 + 2*b - 6 - 17*b**2 + 0. Let h be y(-6). Let p = h + 5. Is 17 a factor of p?
False
Suppose 0 = -6*d + 16*d - 9840. Is 24 a factor of d?
True
Let p(o) = -3*o**3 - 25*o**2 + 14. Let k(a) = -2*a**3 - 17*a**2 + 9. Let w(r) = -7*k(r) + 5*p(r). Suppose -19*i = -8*i + 66. Does 4 divide w(i)?
False
Suppose y + 2*j - 388 = -2*j, -4*j = 20. Does 12 divide y?
True
Suppose -30*h = -12*h - 4824. Is h a multiple of 67?
True
Let x = 168 + 12. Is 16 a factor of x?
False
Let j(q) = q**2 + q - 36. Is j(-7) a multiple of 3?
True
Suppose -102 - 54 = -l. Does 15 divide (-1)/5 - l/(-5)?
False
Let f = -695 + 1391. Is f a multiple of 30?
False
Let i(a) = 2*a**3 + 32*a**2 + 20*a - 7. Does 3 divide i(-15)?
False
Let b be (-1547)/(-39) - (-4)/(-6). Suppose 4*o + 183 = b. Does 3 divide (o/5)/(4/(-10))?
True
Suppose -78*r = -137768 - 43192. Is r a multiple of 29?
True
Let j(s) = -s**2 - 13*s + 32. Let m be 247/57*(-4)/(4/3). Does 16 divide j(m)?
True
Suppose 6*p - 1305 = 3231. Is 20 a factor of p?
False
Suppose b + 5*b = 18. Suppose 14 = b*d - 22. Does 4 divide d?
True
Let b(c) = 2*c**2 - 12. Let i be b(-7). Suppose -a - 2*u + i = 0, 2*a - 4*u - 172 = -u. Is 20 a factor of a?
False
Let o be (12/(-20) + 1)*-15. Let q = o - -42. Is q a multiple of 6?
True
Let n(w) = -2*w**3 + 5*w**2 - w + 2. Let x be n(3). Does 5 divide 19 - (1 + x/2)?
False
Suppose j = -3*j + 2*z + 1870, -2*j + 2*z + 938 = 0. Does 43 divide j?
False
Is 34 a factor of (-4863300)/(-810) - (-4)/(-54)?
False
Let q(z) = 21*z**2 + 31*z + 256. Is q(-10) a multiple of 22?
True
Suppose 0*k + 66 = 2*l + 2*k, 0 = 2*l + 3*k - 62. Let i = l - 25. Is 7 a factor of i?
False
Suppose -4*f - n + 270 = n, 2*n = -3*f + 200. Let r(i) = -5*i - 34. Let m be r(0). Let j = m + f. Is 18 a factor of j?
True
Let x = -16 + 13. Does 7 divide 11 - (4 + x + -4)?
True
Let z(r) be the second derivative of r**5/20 + 5*r**4/6 + r**3 + 4*r**2 - 10*r. Is z(-8) a multiple of 11?
True
Let a(y) = 7*y + 36. Let i be a(-5). Let r(s) = 72*s**2 + 3*s - 5. Is 16 a factor of r(i)?
False
Suppose 3*s - 3*u = 2439, 2*u = 2*s + u - 1623. Suppose -5*h = 0, 2*o + 3*h = -3*o + s. Does 29 divide o?
False
Let u = -34 - -56. Let j = u + -19. Suppose -f + 120 = j*f. Does 5 divide f?
True
Let x = 477 - -4197. Is x a multiple of 41?
True
Let s = -9 + 23. Let u(q) = -q + 4. Let d be u(s). Let v(c) = c + 22. Is v(d) a multiple of 3?
True
Let x = 87 - 53. Suppose 0 = 31*w - x*w + 33. Is 2 a factor of w?
False
Let p be 4/(-18) + 10156/18. Let h be 2/(-9) - p/(-108). Let v = h + 7. Does 11 divide v?
False
Let q(c) = c**3 - 2*c**2 - 6*c + 16. Does 2 divide q(3)?
False
Let v(u) = -56*u**2 - u - 1. Let s be v(-1). Let l(o) = -128*o**2 + 3*o + 1. Let b be l(-1). Let f = s - b. Is 14 a factor of f?
False
Let u = 469 - 169. Suppose -j - j = -u. Does 34 divide j?
False
Let u(a) = a**3 + 5*a**2 + 5*a + 4. Let c be u(5). Let y = -5 + 10. Suppose -j - j = o - 58, c = y*o - j. Does 14 divide o?
True
Let g = -71 - -114. Let d = 51 - g. Is d a multiple of 2?
True
Let i = -72 - -165. Let x = -45 + i. Is 12 a factor of x?
True
Suppose w - g = -6*g + 60, 5*g + 20 = 0. Does 9 divide w?
False
Suppose -h = 3*w - 5, -3*w + w + 6 = -2*h. Let t = -80 - -82. Suppose 0 = -w*j - t*j + 196. Does 21 divide j?
False
Let s(f) = f**2 + f - 3. Let v be s(2). Is 5 + 23 + v + -1 a multiple of 15?
True
Suppose 3*u = -5*d + 609, -5*u - 4*d + 451 + 564 = 0. Does 5 divide u?
False
Suppose -i = 3*o - 1264 - 1039, 11497 = 5*i - 3*o. Is i a multiple of 23?
True
Let o = 6 - 6. Suppose t - 48 - 19 = o. Suppose -4*v + 2*u = -u - t, 4*u = 2*v - 26. Is v a multiple of 7?
False
Let g(a) = 2*a**3 - 20*a**2 + 8*a + 18. Does 29 divide g(11)?
True
Is 49 a factor of (1881/(-6))/(21/(-56))?
False
Let s be (-2 - -17)*6/(-5). Let p = s - -71. Is p a multiple of 15?
False
Let i be (-9 - -10)*(-4 - -2). Is -2 - -37*(4 + i) a multiple of 6?
True
Suppose -2*o - 3*f = -177, 0 = -2*o + 3*f - 4*f + 171. Does 12 divide ((-21)/9)/((-2)/o)?
False
Suppose -m - 3*d + 87 = -d, -2*m + 5*d = -147. Suppose -5*y = 0, w - 2*w + y = -m. Is w a multiple of 35?
False
Let n(q) = -6 - 2 + 9 + 36*q**2. Is 5 a factor of n(1)?
False
Let s(p) = -169*p**3 - 8*p**2 - 25*p + 11. Is s(-3) a multiple of 63?
False
Let b be (-2)/(-5) + 327/(-5). Let t be (-6942)/b + 2/10. Suppose 2*v - 5 = t. Is v a multiple of 28?
True
Suppose -3*c + 12 = g, -3*g + 0*c + 3*c = 0. Suppose -380 = -b - g*b. Does 16 divide b?
False
Let h(d) = -2*d**3 + d + 28. Let l be h(0). Let i = -24 + l. Is 3 a factor of i?
False
Let o(f) = f**2 - 12*f + 5. Let b be o(12). Is 18 a factor of -4 + (b - 4) + 111?
True
Suppose 3*t + 7 - 1 = 0, -227 = -s - t. Is s a multiple of 7?
False
Let d = 109 - -311. Does 21 divide d?
True
Let z = 2 + 0. Suppose -z*l + 7 = 1. Is 64 + l/6*-2 a multiple of 21?
True
Suppose 0 = 4*p - 0*p - 140. Suppose 0*s = -s + p. Let i = s + -10. Is 10 a factor of i?
False
Let l(n) = -n**3 - n + 2. Let t be l(0). Let y(f) = -f - 2 - t*f**2 + 2*f**3 + 6*f - 3*f**2. Is 22 a factor of y(4)?
True
Let w(o) = -19 - 31*o - 6*o + 11 + 10. Does 12 divide w(-2)?
False
Let r(z) = -10*z + 3*z + 4 + 3*z**2 + 0*z + 0*z**2. Let v be r(2). Suppose i - 42 = -4*a + 42, -v*i - 5*a = -156. Is i a multiple of 14?
False
Let l = -261 - -468. Is l a multiple of 6?
False
Suppose 2*u - 15 = -3*u. Suppose -3*t = -l - 199, -u*t + 5*t - 121 = 3*l. Suppose r + 0*r = t. Is r a multiple of 17?
True
Suppose -229 = 34*b - 13455. Is b a multiple of 114?
False
Let r = -196 - -333. Does 29 divide r?
False
Does 3 divide (-8)/22 - 2784/(-33)?
True
Let g(q) = -11*q - 5. Let n(l) = l - 12. Let c(x) = x - 13. Let k(s) = -5*c(s) + 6*n(s). Let i be k(5). Does 8 divide g(i)?
False
Suppose -n - 101 - 109 = 0. Let j = n + 372. Is 28 a factor of j?
False
Suppose 59*d - 3463 - 1198 = 0. Is d a multiple of 5?
False
Let o be 92*(20/8)/(-5). Let r = -16 - o. Is r a multiple of 10?
True
Suppose 0 = -8*c + 3*c - 95. Let p be c/(-4) - 1/(-4). Suppose p*q + 20 = 4*y, 5*y - 3*y + 4*q = 10. Does 2 divide y?
False
Let u be (-629)/4 - (7 - (-200)/(-32)). Let y = u - -180. Is y a multiple of 22?
True
Let x = 30 + -26. Suppose -2 - 30 = x*g. Let o(y) = -y**3 - 8*y**2 - 5*y + 15. Does 16 divide o(g)?
False
Suppose 5*p + 17 = 4*h, 0 = h - 6*p + 3*p - 6. Suppose -4*u = -h*a + 754, 4*a = 9*a + 5*u - 1210. Does 14 divide a?
False
Let m(o) = -o**2. Let i(y) = 2*y**2 - 4*y + 1. Let d(f) = i(f) - 5*m(f). Let u be d(3). Suppose 12 + u = 4*j. Is j a multiple of 16?
True
Let d(q) be the first derivative of -q**7/420 - 