f 9?
True
Suppose 2*t - 12 = -0*t - 3*n, 3*n - 6 = 0. Suppose 0 = -t*r + 595 + 224. Is 13 a factor of r?
True
Is 10 a factor of (-1077)/(-36) + (-2)/(-24)?
True
Let v = -220 + 412. Is v a multiple of 24?
True
Let y = 2511 - 1575. Is 4 a factor of y?
True
Let m(c) = -c**3 - 2*c**2 + 5*c - 8. Let g(q) = -q**3 - 3*q**2 + 5*q - 7. Let t(b) = -3*g(b) + 2*m(b). Let u be t(-5). Let k = u + -17. Does 13 divide k?
True
Let a = 149 - 101. Is a a multiple of 24?
True
Suppose -d - 188 = -v, 4*v - 32*d + 35*d = 766. Is 69 a factor of v?
False
Let x = 2255 - 1199. Is 96 a factor of x?
True
Let h = 4 + -6. Let w be (-1 + -2)*(h - -3). Is w/18 + 67/6 a multiple of 11?
True
Is 18 - ((-1)/4 + 57/(-76)) a multiple of 3?
False
Suppose 4*d - 3*c - 2076 = 2*c, -2*d - 4*c = -1038. Suppose 4*z = s + d, 4*z + 3*s - 263 = 2*z. Does 19 divide z?
False
Let i = -31 - -19. Let w = i - -14. Suppose 2*r - 80 = 2*t - 0*t, -t = w. Is r a multiple of 38?
True
Let y(j) = j**3 + 10*j**2 - 15*j - 11. Let t be y(-10). Let o = -27 + t. Suppose p = 3*p - o. Does 28 divide p?
True
Suppose 2*d - 1 - 7 = 0. Suppose -y = -3*m - d*y + 183, 5*y - 65 = -m. Suppose -3*b + m = -b. Does 15 divide b?
True
Suppose -18 = -4*h + d, -20 = -3*h + 5*d - d. Let l(q) = -3*q**2 + 5*q**2 + 1 - h + q. Is 21 a factor of l(-5)?
True
Suppose -40*v + 10238 = -16482. Is v a multiple of 17?
False
Let a(c) = c - 3. Let d be a(10). Suppose -3*o + d = -35. Is 14 a factor of o?
True
Let r(q) be the third derivative of q**8/6720 + q**7/5040 + q**6/120 - q**5/20 + 10*q**2. Let t(o) be the third derivative of r(o). Does 9 divide t(3)?
True
Suppose -26*a + 19*a + 70 = 0. Suppose -2*d - 3*d + 25 = 0. Suppose -3*p + d*p = -2*s + a, 4*s + 3*p = 20. Is s a multiple of 2?
False
Is (-3)/((5 - 4) + 4854/(-4836)) a multiple of 31?
True
Let d be ((-27)/(-45))/(1/35). Let x = d - 7. Does 14 divide x?
True
Let b = 0 + 1. Suppose g - b + 7 = 0. Is g*(3 + 18/(-4)) a multiple of 3?
True
Let p(u) = u**3 + 3*u**2 + 5*u - 86. Is p(12) a multiple of 11?
True
Let y(v) = -v**3 + 18*v**2 - 11*v + 2. Let t(d) = -d**2. Let s(b) = 6*t(b) + y(b). Does 8 divide s(8)?
False
Let z(u) = u**3 - 2*u**2 - u + 2. Let a be 9/18 - 1/2. Let p be z(a). Is 4/p*(-39)/(-2) a multiple of 11?
False
Suppose 0 = 2*w - 7 - 3. Suppose 1290 = w*y + y. Suppose 5*o = f + y + 10, -2*o + 4*f + 90 = 0. Is o a multiple of 15?
True
Suppose 0*t = -3*c - t + 17, -2*t = 5*c - 30. Is 23 a factor of 3 + 61 - (0 - 4)/c?
False
Suppose -k - 5 = -4*o, -5*k = 3*o - 5*o + 7. Let r be ((3 - 6) + 28)/k. Let h = r + 37. Is h a multiple of 4?
True
Suppose -i + 4*i = 0. Suppose y - 4*y + 168 = i. Does 14 divide y?
True
Suppose 2*j - 594 = -4*o + 72, -995 = -3*j - 2*o. Does 7 divide j?
False
Is (-68)/(5*(-22)/1485) a multiple of 4?
False
Does 17 divide 361956/546 - 1/(-13)?
True
Let i be 6/(-5)*(-5)/2. Let o be (2 - i - 2) + 2. Let r = o - -6. Is 2 a factor of r?
False
Let j(v) = -22 + 26 + v + v + 0*v. Does 2 divide j(1)?
True
Let s(y) = -86*y - 12. Is 55 a factor of s(-3)?
False
Let z = 459 + 21. Is 20 a factor of z?
True
Let m be ((-534)/(-12))/((-1)/(-2)). Suppose -y + m = 3*g, 154 = 2*y - 6*g + 4*g. Suppose -4*i + 0*i + 2*u = -y, 0 = -4*i - 5*u + 66. Does 4 divide i?
False
Let b = 6118 + -3302. Does 37 divide b?
False
Let m be (7 - (-9)/(-3))*(3 - 2). Suppose m*a = -a + 720. Is a a multiple of 34?
False
Let s = 584 + -400. Suppose s = -4*m + 3*m. Let b = -107 - m. Is b a multiple of 25?
False
Let m = 46 + 0. Suppose 12*n - 149 = -245. Let h = n + m. Is 24 a factor of h?
False
Suppose -4*m = -3*j - 32, -m - 3*j = 4*m - 13. Let g(u) be the second derivative of -u**5/20 + u**4/2 + u**3/6 + u**2 + 74*u. Is g(m) a multiple of 16?
True
Suppose 10*x = -11*x + 9618. Is x a multiple of 7?
False
Let k(x) = -x**3 + 24*x**2 + 32*x + 25. Suppose -30 = -3*p + 45. Is 50 a factor of k(p)?
True
Let p be ((-2860)/(-13))/(-2 - -3). Let v = p - 119. Does 33 divide v?
False
Let g(s) = 5*s**2 + 21*s - 34. Does 20 divide g(-11)?
True
Let a = -41 + 62. Let c = a + -17. Suppose 13 + 3 = c*s - 4*q, 0 = 4*s + 4*q - 16. Is s even?
True
Suppose -v + 2*r = -39, 138 = 4*v - 2*r + 3*r. Suppose 0 = 5*h + v - 105. Suppose -16 = -p + h. Is 12 a factor of p?
False
Let h be (-4)/16 + (-106)/(-8). Let k = 18 - h. Let v(r) = r**2 - 4*r + 9. Is 6 a factor of v(k)?
False
Suppose 4*m - 10 = 2. Suppose 4*n - 40 = -2*g, -n - g = -9 - m. Does 3 divide n?
False
Let t = -165 + 579. Is 9 a factor of t?
True
Suppose 3050 + 7277 = 23*g. Is g a multiple of 24?
False
Let n = 35 - -37. Is 4 a factor of n?
True
Suppose -212 = -5*z - 812. Let h = z - -276. Does 26 divide h?
True
Let s be (48/(-42))/(2/(-7)). Suppose -h = 5*v - 18, 5*h - s*v = -3*v + 220. Is h a multiple of 8?
False
Suppose 0 = -76*z + 77*z - 1. Let n = 71 - z. Does 14 divide n?
True
Let k be 10/(-15) + 1/(-3). Let s = 1 - k. Let l = 22 + s. Is l a multiple of 24?
True
Let p = 21 + -17. Suppose 58 = -p*w + 2*j - 14, 0 = -w + j - 16. Let d = -11 - w. Is d a multiple of 6?
False
Let r(b) = 89*b**2 + 6*b - 12. Is r(3) a multiple of 36?
False
Let q(r) be the third derivative of 49*r**5/30 + r**4/12 - r**3/3 - 10*r**2. Does 7 divide q(1)?
True
Suppose 2*u - 276 - 1020 = 0. Does 54 divide u?
True
Suppose -6*m + 144 = -5*m. Suppose -5*n = -j + m, -3*n + 2*j - 54 = 38. Let c = 47 + n. Is 10 a factor of c?
False
Suppose -6*s + 4 = -2*s. Let x(y) be the second derivative of y**5/2 - y**3/6 + y**2/2 + y + 54. Is 10 a factor of x(s)?
True
Let j(o) = 16*o + 2*o**3 - o**3 - 7*o - 10*o - 2*o**2 + 33. Does 6 divide j(0)?
False
Suppose -630 + 282 = -4*i. Is i a multiple of 11?
False
Let b(i) = i**2 + 4*i - 11. Is 8 a factor of b(-9)?
False
Suppose -257 = -2*v + 37. Let s be -1 + 0 + v/7. Is 16 a factor of 193/4 - 5/s?
True
Does 18 divide -93*((-28)/(-21))/(-4)?
False
Suppose -2*f + 112 = -4*c, -2*f + 5*c + 44 + 71 = 0. Let y be ((-6)/9)/(2/(-12)). Suppose 0 = -s + y*s + 2*m - f, 5*s - 84 = -4*m. Does 4 divide s?
True
Let p(o) = 5*o**3 - o**2 + 2*o + 10. Let k(b) = 9*b**3 - 2*b**2 + 5*b + 21. Let h(s) = 4*k(s) - 9*p(s). Is 15 a factor of h(-3)?
True
Suppose 0 = -3*l + r + 471 + 717, -l + 5*r = -396. Is l a multiple of 12?
True
Let v(j) = 2*j**2 - 13*j - 5. Let t = 66 - 57. Is 6 a factor of v(t)?
False
Suppose 0 = -4*d + 164 + 96. Does 8 divide d?
False
Let d = 557 + 28. Is 11 a factor of 2/(-11) - d/(-11)?
False
Let d(w) be the first derivative of w**3/3 + 13*w**2/2 - 22*w + 1. Let h(s) = -2*s**3 + 5*s**2 - s - 3. Let n be h(3). Does 8 divide d(n)?
True
Let j(u) be the second derivative of -u**5/20 + u**4/4 + 5*u**3/6 - u**2/2 + 4*u. Suppose 5*q - 4*a - 6 = 2, -q - 5 = -3*a. Is j(q) a multiple of 2?
False
Let u(r) = 35*r - 2. Let j be u(2). Suppose z + z = j. Is 17 a factor of z?
True
Let a be 1*(7 - 4) + 0. Suppose a*k - 215 = 25. Does 16 divide k?
True
Let c = -2842 + 3385. Is 8 a factor of c?
False
Suppose 3*u + 352 = -6*x + 8*x, 4*u - 511 = -3*x. Does 23 divide x?
False
Let v = 303 - 234. Does 16 divide v?
False
Suppose 7333 - 1897 = 6*r. Does 50 divide r?
False
Let y = -17 - -141. Let a = y - 65. Is a a multiple of 12?
False
Let n be 0 - (15*-1 - -1). Let l = -71 + 112. Let u = l - n. Is 9 a factor of u?
True
Let i(q) = -q**2 + 3*q + 2. Let y be i(4). Does 8 divide (y - -1) + (23 - 7)?
False
Let v(r) = -r**3 - 23*r**2 - 25*r - 14. Does 4 divide v(-22)?
True
Suppose 2*y - 3*y + 3 = 0. Let a be ((-52)/6 - -9)*0. Suppose y*v = -2*n - v + 54, a = v. Is n a multiple of 4?
False
Let n(v) = -31*v + 133. Is 37 a factor of n(0)?
False
Is (4692/(-170))/(9/(-300)) a multiple of 5?
True
Let h(p) = -2*p**2 + 77*p - 2. Is h(38) a multiple of 12?
True
Let q(g) = 47*g + 1. Let j(b) = b**3 - 3*b**2 + 4*b - 3. Let p be j(2). Let k be q(p). Suppose -5*o = k - 168. Does 12 divide o?
True
Let d = 465 - 344. Does 2 divide d?
False
Let i(n) = -52*n - 40. Does 19 divide i(-11)?
True
Does 3 divide ((-147)/28)/(-7) - (-305)/4?
False
Let s = -969 + 1325. Is s a multiple of 89?
True
Let k(b) = 3*b**2 + 1. Let u be k(2). Let t = u + -10. Suppose -t*j = 6, 3*r - 2*j - 37 = -3*j. Is 6 a factor of r?
False
Let d(j) = -27*j + 142. Is 3 a factor of d(4)?
False
Let y(l) = 2 + 3*l + l + 4*l**3 - 6*l**2 + 0*l**3. Let w(j) = 2*j**2 - j + 2. Let o be w(1). Is y(o) a multiple of 34?
True
Suppose 4*p - 1035 = -5*t + 10*