 p(a) = -47*a. Let v be p(1). Let f = v + j. Is 17 a factor of f?
False
Let z(v) = 29561*v**3 + 111*v - 110. Is 26 a factor of z(1)?
True
Suppose 49*x + 14423 = h + 46*x, 2*h + 5*x - 28835 = 0. Is h a multiple of 7?
True
Suppose -5*i - 339588 = -17*i. Is 31 a factor of i/21 + (-6)/(-14)?
False
Suppose 9*i - 15 = 4*i. Let g be (1/(-3))/(i/(-36)*2). Suppose -5*w = 4*v - 88, w + 0*v + g*v = 14. Does 10 divide w?
True
Let m(w) = 4*w + 27. Let l(i) = 7*i + 55. Let j(a) = -3*l(a) + 5*m(a). Let o be j(0). Is 22 a factor of (-10)/(o/(-9)) - (0 + -123)?
False
Let z be (-6)/(-14) - (-4 - 48/(-14)). Is 12 a factor of -24*48/(-4 + z)?
True
Suppose 0 = -2*c + 2*n + 14, 0 = 13*c - 9*c + 3*n + 7. Suppose -3*t + 4508 - 526 = 4*s, -c*s - 6628 = -5*t. Is 33 a factor of t?
False
Suppose 39169 - 2694 = 4*x - 3*o, -3*x + 27320 = 5*o. Is x a multiple of 147?
False
Let a(c) = -c**3 + 6*c**2 - c + 8. Let q be a(6). Suppose -f = -2*n - 5 + 2, q*f = 5*n + 6. Does 2 divide (n + 12)*(2 - (-12)/(-9))?
True
Suppose -30 = -5*s - 5*h, -2*s + 12*h - 18 = 8*h. Let r(w) = 404*w + 26. Does 43 divide r(s)?
True
Suppose -489*a + 28223 = -486*a + 2*m, 4*a + 4*m = 37628. Is a a multiple of 41?
False
Suppose -38 + 508 = i. Let d(b) = -104*b + 4. Let x be d(3). Let h = i + x. Is h a multiple of 18?
True
Let i(k) = 10*k**2 - 37*k. Let b be i(7). Let a = b - 92. Is 26 a factor of a?
False
Let g be (-276)/(-9)*(-99)/(-12). Suppose 3*m - g - 128 = 0. Is 19 a factor of m?
False
Let h(m) = -2*m + 66. Suppose -c = -0*c. Let g be h(c). Is 3 a factor of (g/(-8))/((-3)/8)?
False
Suppose 0 = 5*x - r - 14 + 5, -5*x - r + 11 = 0. Is 30 a factor of x/7 + (-1168)/(-28)?
False
Let c(k) = 55*k - 104. Let w be c(8). Suppose -2*q = -6*q + w. Is q a multiple of 11?
False
Let k(i) = 13*i**3 - 45*i**2 + 270*i - 11. Is 25 a factor of k(8)?
True
Suppose -4*g - 5*a + 17 = -8, 0 = 5*g - 4*a - 21. Suppose -3*m = -s + 60, -s = -g*m - 0*m - 50. Is s a multiple of 41?
False
Suppose -168*g = -132*g - 532836. Is g a multiple of 30?
False
Let p = -29 - -26. Let n(u) = -10 + u**2 + 0*u**2 + 12 - 2*u. Is n(p) a multiple of 2?
False
Suppose 4*v + 7820 = 4*i, 22*v = i + 20*v - 1960. Is 25 a factor of i?
True
Let h(q) = 4*q**2 + 32*q - 639. Does 211 divide h(-59)?
False
Let b(o) = -o**3 - 29*o - 21 + 0*o**3 - 20*o**2 + 52*o. Let w be b(-21). Let z = 111 + w. Is z a multiple of 8?
True
Let g be (-42)/(-4)*(-14)/(-49). Suppose 14*l - 17*l + 610 = -2*c, -l + 208 = -g*c. Does 2 divide l?
True
Let g(w) = -12 - 5*w + 20*w + 9*w. Does 26 divide g(7)?
True
Let f(k) = -k**2 - 19*k - 28. Let g be f(-17). Suppose 1 = g*a - 1703. Is 15 a factor of a?
False
Let j = 108 + -101. Suppose j*r - 168 - 175 = 0. Does 7 divide r?
True
Suppose 55*b + 2809 = 16229. Is b a multiple of 2?
True
Suppose 2*h - 30960 = -25*v + 23*v, 15471 = v - 2*h. Is v a multiple of 21?
True
Let s(y) = 8*y + 12 - 14*y - 83*y. Is s(-1) a multiple of 3?
False
Let y(u) = -2*u**3 + 18*u**2 + 23*u - 19. Let s be y(10). Suppose b - 103 = -g, -s = 2*b - 1. Is 4 a factor of g?
True
Let l = -123 - -123. Does 17 divide 1 - (-264 - l/(-3))?
False
Suppose -p - 3*z = 13, -3*z + 9 = -5*p - 4*z. Let y = p + 11. Suppose 2*o - y = 120. Does 9 divide o?
False
Suppose 11*b + 19 + 36 = 0. Does 6 divide ((-3225)/12)/b - (-2)/8?
True
Let r = -109 - -112. Suppose l + r*l = -4, -51 = -3*m - 3*l. Is m a multiple of 6?
True
Suppose 2*w + 4*b = 1390, 10*w - b - 698 = 9*w. Suppose -w*h - 2322 = -706*h. Is 86 a factor of h?
True
Let x = 4542 - 782. Suppose -x = -2*s - 2*s. Is s a multiple of 20?
True
Let l = -9807 - -11457. Does 6 divide l?
True
Let p(j) = -10327*j - 45. Does 82 divide p(-1)?
False
Let g = 417 + -415. Suppose -6 = -g*m, -4*f + 3*m = -6*f + 19. Does 5 divide f?
True
Suppose 0 = -0*h - 2*h + 3*h - 139. Suppose 4*x + 489 = 5*p + 168, x = -3*p - 76. Let k = h + x. Does 15 divide k?
True
Let n(z) be the second derivative of 127*z**3/6 + 39*z**2/2 + 9*z + 1. Is n(3) a multiple of 12?
True
Suppose -186*v - 1839600 = -242*v. Is 53 a factor of v?
False
Let c(q) = -24*q + 297. Let w be 0/(-7 - -14)*2/6. Is c(w) a multiple of 9?
True
Let u = 54 + 9. Let z = 315 - u. Is 42 a factor of z?
True
Suppose -3*b + 9*b = 108. Let d be (3 - 1)*(2 + -4) + 47. Let n = d - b. Is 11 a factor of n?
False
Suppose -4*i = 3*r - 0*i - 169, 5*r + 2*i = 277. Let d = r - 56. Let b = 3 - d. Is b a multiple of 2?
True
Let w be 3 + (3 - (-2 + 5)) + -4. Is (-2)/(-10)*55*(4 + w) a multiple of 13?
False
Let o(v) = -8*v - 12. Let t(r) = -1. Let f(k) = 2*o(k) - 20*t(k). Suppose 0 = 5*h - 3*m + 13, -m = -3*h + 9 - 16. Is 4 a factor of f(h)?
True
Let a = -4658 - -7631. Is a a multiple of 7?
False
Let i = 10976 + -10258. Is i a multiple of 230?
False
Suppose -2*a + 3*q + 25 + 4 = 0, -2*q = 3*a - 24. Does 9 divide (1 - a/6) + 93184/546?
False
Let f(p) = 2*p**2 + 38*p - 26. Let x be f(-19). Let q = -9 + x. Let s = 119 + q. Is s a multiple of 12?
True
Let f(n) = n**2 + 13*n + 64. Let g be f(-6). Is 7 a factor of ((-13761)/g)/(-9) - (-6)/(-4)?
False
Suppose -11*x + 1460 = -1961. Suppose 0 = 4*f - o - 424, -f + 4*f + o = x. Is f a multiple of 35?
True
Suppose -5*l - 1818 = -k, 12*k - 8*k = -4*l + 7200. Is k a multiple of 4?
False
Let z = -3882 - -15653. Does 5 divide z?
False
Suppose -277 - 35 = 3*t. Let c = 251 + t. Is 21 a factor of c?
True
Let a(p) = p**3 - 15*p**2 + p - 11. Let k be a(15). Let n be -1 + k/((-12)/15). Does 30 divide (-8)/n + 443/3?
False
Let u(l) = l**2 - l - 5. Let z be u(-5). Suppose f + 5*j - 7 = 67, 2*j = -3*f + 157. Let t = f - z. Is 8 a factor of t?
True
Let y(f) = 2128*f + 576. Does 10 divide y(15)?
False
Let i(u) = -526*u**3 + 9*u**2 + 6*u + 43. Is 80 a factor of i(-5)?
False
Suppose 8*b = -12295 + 61775. Suppose 0 = 14*y - 8865 - b. Is y a multiple of 39?
False
Let u(f) = 3*f - 13. Let b be u(5). Suppose b*o = o + 81. Is 3 a factor of o?
True
Let o = 543 + 415. Let a = -518 + o. Is a a multiple of 20?
True
Let h(o) = 9*o**3 + 4*o**2 + o - 36. Let i be (1 - 1) + (0 + 9 - 5). Is 32 a factor of h(i)?
True
Let b be 4/(-2) - (-9306)/6. Let j = -717 + b. Is 26 a factor of j?
True
Let d = 289 + -405. Let p = 386 + d. Does 54 divide p?
True
Suppose 2*k - 3*d + 2 = 0, -2*d = k - 0*k - 13. Suppose -k*y = 5*t + 10, 3*t = -y + 3 - 5. Does 22 divide 0 + (-4)/(6 + y) + 242?
False
Let n be (4/(-7))/(-2) + (-229090)/(-217). Suppose n = 8*c - 4*c. Does 8 divide c?
True
Suppose 54*r - 163165 = 247775. Is r a multiple of 12?
False
Let w(m) = 25*m**2 - 91*m + 20. Does 13 divide w(9)?
False
Suppose -g + 540 + 3754 = 4*w, 4*g = 3*w + 17157. Is 15 a factor of g?
True
Let o = 162 - 215. Let n = 179 + o. Is 14 a factor of n?
True
Let l(h) = -40*h + 42. Let i(b) = 21*b - 22. Let c(r) = -11*i(r) - 6*l(r). Suppose 9*v - 13*v + 48 = 0. Does 18 divide c(v)?
False
Let d(j) be the second derivative of 7*j**4/12 + 29*j**3/6 - 5*j**2/2 + 65*j. Is d(-5) a multiple of 10?
False
Let s(i) = 78*i**2 + 96*i - 71. Does 75 divide s(14)?
False
Let r = -1352 + 8063. Is r a multiple of 20?
False
Let n(w) = 13 - 19 + 2*w - 30 - 10. Let j be n(14). Is (j/(-15))/((-3)/(-140)) a multiple of 28?
True
Let h(z) = 163*z**2 + 75*z - 703. Is h(9) a multiple of 25?
True
Let o(b) = -2*b**3 + 34*b**2 + 23*b - 26. Let y be o(18). Let p = 494 + y. Is p a multiple of 61?
False
Let c be (-10800)/(-105)*210/9. Suppose 66*k + c = 74*k. Does 49 divide k?
False
Suppose -y + 3*p = -1183, 3*p + 2*p - 4834 = -4*y. Is y even?
False
Let k = -2846 + 3647. Is 89 a factor of k?
True
Suppose -2*d - y = -3*y + 20, 0 = 3*d + 2*y + 5. Let f = 8 + d. Is 11 a factor of 3 + 36 + f + 4?
False
Let n = -51 + 55. Let h be 6/(-3)*-2 - n - -7. Suppose h*q - 226 = 82. Is 11 a factor of q?
True
Suppose 0 = -23*n + 3 - 486. Does 48 divide 6 - 60*n/14?
True
Let z be -4 - (2/(-11) - (-21567)/(-143)). Let q = 216 + z. Is 9 a factor of q?
False
Suppose -4*l + t = 53 - 14, 4*t + 4 = 0. Is l/2 - -482 - (-3 + 6) a multiple of 8?
False
Suppose -2*m + r - 15 = 0, m + 14 + 7 = 5*r. Let p(n) = -n**3 + 2*n**2. Let u(f) = f**3 - 13*f**2 + 2*f + 6. Let l(q) = -2*p(q) - u(q). Is 19 a factor of l(m)?
True
Let w = 16167 - 10073. Is w a multiple of 22?
True
Does 26 divide (-80)/(-15)*1136 + 2/(-3)?
True
Let h(m) = 2*m**2 + 31*m - 650. Does 10 divide h(-70)?
True
Suppose 6*q - q - 565 = 0. Suppose 