2 - 21*g - 14. Let v(y) = 5*f(y) + 4*q(y). Suppose 4*r = 4*l - 24, 3*l = -5*r - 71 + 9. Does 4 divide v(r)?
True
Let u(m) = 16 - m**2 - 7*m**2 - m**3 + 6 - 3*m**2 - 8*m. Let x be u(-10). Suppose -2*p - x*i + 28 = 0, -4*p + 7*p = -i + 44. Is 5 a factor of p?
True
Suppose -6*z + 24 = -0. Suppose -4*q = -2*q + z. Does 24 divide (q - 190)*(-2 + (-15)/(-10))?
True
Let p(f) = f**3 - 6*f**2 - 10. Let d(w) = w - 18. Let y be d(0). Let b = y + 25. Does 10 divide p(b)?
False
Suppose 21*h - 173526 = 73119 - 66843. Is 12 a factor of h?
False
Let m be 45/(-1) + (11 - 9). Let r = m - -48. Let y(p) = -p**3 + 5*p**2 + 4*p + 7. Is y(r) a multiple of 8?
False
Let f be ((-17)/51)/(3/(-63)). Let d(t) = 165*t - 165. Is d(f) a multiple of 40?
False
Let m = -2931 - -6451. Is m a multiple of 4?
True
Let b = 7922 + -5399. Is 43 a factor of b?
False
Let q(s) = -569*s - 3. Let p be q(-1). Suppose 0 = -8*f + p + 498. Suppose f = -2*k + 379. Is 17 a factor of k?
False
Does 14 divide 75110/245 - (-12)/28?
False
Let r = 53 + 24. Let i = -209 + r. Let f = -107 - i. Is 25 a factor of f?
True
Let o(t) = t**3 + 20*t**2 + 33*t - 63. Let r be o(-18). Is 6 a factor of 30/r*264/(-20)?
False
Suppose 0 = 4*b + 12, -2*b - 354 = -f + 1625. Does 106 divide f?
False
Let k(p) = 5*p**2 - 7*p - 16. Let z(s) = s**2 + 4*s + 1. Let i(g) = 2*k(g) + 6*z(g). Is i(4) a multiple of 10?
True
Let q = 2833 + -1875. Does 3 divide q?
False
Suppose 61*b - 67*b + 2544 = 0. Let p = 185 + b. Does 86 divide p?
False
Let u = 9984 + -9592. Is 3 a factor of u?
False
Suppose 5*p = 3*h + 190, 5*h + 7*p + 294 = 4*p. Is (204/18)/((-8)/h) a multiple of 21?
False
Let w be (15 + -14)/((-3)/(-9)). Let n(r) = 12*r**2 - 9*r + 1. Is 6 a factor of n(w)?
False
Let r be -3*(-5 + 1 + 3). Let a = r + 71. Suppose -o - 34 = -l, -3*o - 61 = -4*l + a. Is 2 a factor of l?
False
Let g be 3/(3 + 1 + -3). Suppose -2*j + 320 = 3*j - 5*t, g*j + t - 188 = 0. Let u = j + 15. Is 13 a factor of u?
True
Let a = 15447 + -13023. Does 24 divide a?
True
Let d(h) = -3*h + 49. Let b be d(11). Let p = 230 - b. Suppose -2*m - 321 = -3*z, 3*z = 5*z - m - p. Is z a multiple of 13?
False
Let s(d) be the third derivative of d**9/15120 - d**7/2520 - d**6/144 + 7*d**5/60 + 38*d**2. Let m(z) be the third derivative of s(z). Does 27 divide m(4)?
True
Let q = 3243 - 2180. Is -1 + q/8 + (-12)/(-96) a multiple of 22?
True
Let u(w) = -w**2 + 19. Let t be u(-4). Suppose 0 = h - t*h + 78. Is h a multiple of 15?
False
Let u = 101 - 98. Suppose u*g - 1525 = -5*i - 0*g, 3*g = 5*i - 1555. Does 65 divide i?
False
Let z(t) = 2*t**2 + 5. Let g be z(0). Suppose 5*r = g*u - 1772 - 283, 0 = -5*u - 3*r + 2047. Does 41 divide u?
True
Is 196/(-168) + 273614/12 a multiple of 16?
True
Suppose 3*c - 8 + 17 = 0. Let y be (11/c + 4)*30. Let s(d) = 3*d**2 - 21*d + 2. Is 8 a factor of s(y)?
False
Let m(k) = -37 + 12 + k - 14. Let i be m(7). Is 3/((-60)/i)*95 a multiple of 8?
True
Let j(v) = -4*v - 40*v**2 - v + 45*v**2. Does 50 divide j(-10)?
True
Suppose -o - 64 = g - 6, -g = 1. Is (o/2)/((-117)/1716) a multiple of 38?
True
Let o be 2*-1 + (9 - 4). Suppose 901 = 3*a + 16*p - 11*p, 4*a + 2*p = 1192. Suppose o*c = 12*c - a. Is 11 a factor of c?
True
Suppose 4*l = 4*p - 61 + 313, 0 = 4*p - l + 267. Suppose 3*k = 2*s - 485, s - 542 = 4*k + 103. Let g = p - k. Does 31 divide g?
True
Let j(g) = 241*g**2 + 33*g - 337. Is j(7) a multiple of 177?
False
Let u(v) = 2*v**2 - 4*v + 30. Let p(z) = -z**2 + 2*z - 16. Let c(t) = 5*p(t) + 3*u(t). Does 5 divide c(0)?
True
Let j = 5957 - -2531. Is j a multiple of 154?
False
Is ((-232)/12)/((-164)/39114) a multiple of 29?
True
Suppose 28565 = -382*l + 387*l + 5*w, 0 = -5*l - w + 28585. Does 196 divide l?
False
Let p(f) = -652*f - 297. Does 98 divide p(-7)?
False
Let s = -1206 - -7371. Suppose -55*c = -40*c - s. Does 26 divide c?
False
Let x be -1 - (-1 - 78)/1. Let o(a) = 12*a + 600. Let y be o(-39). Let w = y - x. Does 9 divide w?
True
Let k = 171 + -159. Suppose -k*a = -2*a - 2940. Is a a multiple of 21?
True
Let s(o) = o**2 - 3*o - 37. Let t be s(-5). Suppose -4*z - t*g + 132 = -252, 3*z - 4*g - 313 = 0. Is z a multiple of 33?
True
Let g(p) be the third derivative of 17*p**4/12 - 21*p**3/2 + 2*p**2. Does 17 divide g(13)?
False
Suppose 3*l + 3*m = 62649, 5*l = 70*m - 71*m + 104403. Is 90 a factor of l?
True
Let y be (4 - 456/10)/((-2)/10). Suppose 146 - y = -u. Is 22 a factor of u?
False
Let q(r) = r**2 - 19*r + 52. Let l be q(16). Does 46 divide 360*-1*(-2)/l + 4?
True
Let w = -51 + 47. Let g be (-2 - w)*7 + -4. Suppose 6*k = g*k - 288. Is 12 a factor of k?
True
Let q = 123 - 89. Suppose -p = -3*o + q, 4*o - 2*p + 0*p - 42 = 0. Suppose 8*l + 1000 = o*l. Is l a multiple of 12?
False
Does 6 divide 10 - (-72)/(-7) - 48379/(-7)?
False
Suppose 3*k - 2650 = -2*c + 4954, 11*k - 15228 = -4*c. Is 26 a factor of c?
True
Suppose 0 - 3 = -3*s. Let r be 6/(s + -2 + 4). Suppose u = -r + 79. Does 19 divide u?
False
Let l(y) = -440*y + 106. Let a be l(-7). Suppose -a = 7*k - 25*k. Does 12 divide k?
False
Let j(n) = 2*n**3 - 47*n**2 + 30*n + 44. Let q be j(23). Let w = q - 155. Does 42 divide w?
False
Suppose 6*v - 4*v + 430 = 4*n, -5*n + 5*v + 540 = 0. Suppose -40 - n = -3*w. Does 39 divide w?
False
Suppose 0 = 2*o + 2*p - 6358, -5*o + 78*p + 15901 = 80*p. Does 42 divide o?
False
Suppose 0 = -0*d + d - 18. Suppose d = 4*m - 114. Suppose 3*f = -9, -33 = -3*q + 2*f + m. Does 5 divide q?
True
Suppose -8*z = -5 - 27. Suppose -4*k - 12*v + 11*v + 82 = 0, -3*k + z*v = -71. Is k a multiple of 7?
True
Suppose 4*y + q - 5*q = 18528, -5*y + q = -23172. Is 15 a factor of y?
True
Suppose 0 = 6*y - 46829 + 18491. Is 28 a factor of y?
False
Suppose 7*i - 9*i - 2*b = 450, 4*i = -5*b - 895. Let a = i + 590. Does 30 divide a?
True
Let o = 31 - 28. Suppose o*u - 2*w = 44, 0 = w + w + 8. Suppose -3*h - 3402 = -u*h. Is h a multiple of 14?
True
Let t(s) = 77*s - 44. Let a be t(-10). Let z = a + 1900. Suppose -7*q + z = -125. Does 18 divide q?
False
Suppose -5*k + 4*f + 2378 = 0, 5*f - 782 - 630 = -3*k. Let m = k + -126. Is 58 a factor of m?
True
Suppose 39 - 39 = -6*u. Suppose 6*h - 1652 = -3*o + 10*h, -o + 3*h + 554 = u. Is o a multiple of 46?
False
Suppose 5*m + c = 263, -5*m + 6*m = -c + 51. Suppose 20*v - 19*v = m. Suppose 3*p - 125 + v = 0. Is p a multiple of 14?
False
Suppose 822 + 368 = 10*c. Is 7012/14 + (-102)/c a multiple of 9?
False
Is 27 a factor of -12 - 4*(-14 + -1154)?
False
Suppose 0 = -4*u + 27 + 21. Suppose -5*g = -q - g + u, 0 = 2*g - 6. Does 13 divide q?
False
Does 8 divide ((-1030)/5)/((-10)/440)?
True
Let l = 18872 + -4616. Does 36 divide l?
True
Suppose -3*v = d - 3*d - 2659, 0 = 5*d - 5. Let k = 1415 - v. Does 22 divide k?
True
Let k(p) = p**2 + 11*p + 4. Let t be k(-11). Let x(z) = -t*z - z - z + z + 28. Does 12 divide x(-8)?
False
Let s = 12 - 8. Suppose 5*q - 3*k - 116 - 647 = 0, -2*k = -2*q + 302. Suppose -4*c - 5*y = -615, -151 = -2*c - s*y + q. Is 24 a factor of c?
False
Let p(r) = r**2 - 11*r - 89. Let f be p(17). Let o(a) = -a**3 + 22*a**2 + 5*a + 14. Is o(f) a multiple of 51?
False
Let g(b) = 30*b - 66. Let x = -38 + 37. Let f be (-3 - -11) + 0 + x. Is 18 a factor of g(f)?
True
Let b(g) = 565*g**2 - 69*g - 48. Is b(-7) a multiple of 35?
False
Let t be (-20 + -2)*1 - 0. Suppose 63 = -8*x - x. Let n = x - t. Is 3 a factor of n?
True
Let w(f) = -f**3 + 51*f**2 + 140*f + 70. Is 9 a factor of w(53)?
True
Let q(r) = 35*r + 2313. Is q(-42) a multiple of 51?
False
Let u(m) = 53*m**2 - 51*m - 91. Is u(-9) a multiple of 79?
True
Let r = 28 + -23. Suppose 0 = -3*h + 2*u + 5 - 2, -r*h - 5*u = 20. Is 5*(2/(6/51) - h) a multiple of 24?
False
Let x = -965 - -1420. Suppose -5*r = 5*j - x, 8*r - 6*r = -2. Is (3 - 1) + (-2)/(-4)*j a multiple of 6?
True
Suppose 5*w + 3*n = 2*w, 4*w = 3*n + 35. Suppose -1887 - 759 = -w*o + 3*c, 3*c = 4*o - 2118. Does 4 divide o?
True
Suppose 455 = 59*w - 54*w. Suppose -w = b + 133. Let k = -110 - b. Does 19 divide k?
True
Let o = -171 - -359. Suppose 5*y + o = 3*y. Let u = -6 - y. Is u a multiple of 11?
True
Suppose -a = -4*h - 5433, -1105*h + 10844 = 2*a - 1102*h. Is 31 a factor of a?
True
Suppose 167*q - r + 97333 = 172*q, -4*q = -3*r - 77836. Does 178 divide q?
False
Let l(d) = -1189*d - 814. Is l(-2) a multiple of 10?
False
Let p(