 t(a) = -3*a**2 + 4*a - 7. Suppose -4*x + 12*x - 32 = 0. Let h(p) = x*l(p) - 7*t(p). Is 19 a factor of h(-13)?
True
Suppose -10*b = -14*b - 32. Let f = b - -12. Does 4 divide ((-3)/6 + (-2)/f)*-17?
False
Suppose 0 = -2*h - 2, -69*h + 68*h - 37 = 2*n. Does 37 divide (-555)/10*11*12/n?
True
Suppose -2606 = -29*r + 17259. Let s = r + -545. Is 7 a factor of s?
True
Let q(b) = b**2 + 35*b + 4810. Is q(0) a multiple of 26?
True
Suppose -5*v - 13 - 327 = 0. Is 2/17 + (-9172)/v a multiple of 27?
True
Is (27 - (-2597)/(-98))*72920/2 a multiple of 8?
False
Suppose 5*m - 51660 = -5*d, 20664 = -m + 3*m - 5*d. Does 19 divide (m/210)/((-3)/(-10))?
False
Let l be (260/(-7))/(-13)*(-7)/(-2). Suppose l*i - 2754 = 5786. Is 59 a factor of i?
False
Let t(h) = 9*h**2 - 19*h - 35. Let p be t(-8). Suppose f = -4*x + 242, 4*x - p = -5*f + 469. Does 5 divide f?
True
Let t = -83 - -87. Suppose -b = -t*s + 3*s - 8, 0 = b + s. Suppose 0 = p - c - 48, b*c = -5*p - 60 + 327. Does 6 divide p?
False
Let x = 888 + -332. Suppose -15*p = -11*p - x. Let w = p - 82. Does 27 divide w?
False
Suppose -704*m + 53376 = -680*m. Does 13 divide m?
False
Let q(w) = -7*w**3 - 2*w**2 - 27*w - 318. Does 16 divide q(-11)?
False
Suppose 0 = 58*q - 154622 - 30282. Does 29 divide q?
False
Let k be (-36*(-4)/8)/((-3)/26). Does 35 divide k*(5 + 55/(-10))?
False
Is 12 a factor of 7856/1473*(-1 + 1335 + -2)?
True
Let p(t) be the second derivative of -7*t**3/6 + 18*t**2 - 24*t. Let d be p(13). Let f = d - -68. Is f a multiple of 2?
False
Suppose 0 = -j - 9*j + 6710. Let x = -257 + j. Suppose -6*o = -0*o - x. Does 12 divide o?
False
Suppose 2761 + 55 = 10*l - 7764. Is l a multiple of 32?
False
Let q(k) = k**2 - 6*k - 245. Let d be q(19). Suppose 3*n - 660 = -n. Suppose d*j + 21 = n. Is j a multiple of 9?
True
Let m(t) = 47*t**2 - 59*t + 86. Does 9 divide m(17)?
False
Let x(i) = -23*i**3 + i**2 + 2*i. Let h be x(-2). Let j = 5076 + -5079. Does 4 divide (j - h/(-16)) + 2/(-4)?
True
Let i(p) = -p**3 - 11*p**2 + 5*p + 12880. Is 46 a factor of i(0)?
True
Let z = 7355 + -75. Does 35 divide z?
True
Suppose 31 = -6*f + 13. Does 40 divide 1/f + 10830/90?
True
Let z(d) = -7*d + 122. Let p be z(18). Does 18 divide (-8)/p + 7 + 484?
False
Suppose -187*y + 21294 = -148*y. Does 9 divide y?
False
Suppose 0 = 60*w - 209*w + 1270225. Is 21 a factor of w?
False
Let h(m) = 10*m**2 - 113*m - 405. Is h(48) a multiple of 169?
False
Suppose 168*w - 186*w = -264024. Does 193 divide w?
True
Let a(b) be the second derivative of 24*b - 5/6*b**3 - 8*b**2 + 0. Is 9 a factor of a(-7)?
False
Let d(x) = 33*x - 6. Suppose -6*f + 6 = -5*f. Does 48 divide d(f)?
True
Is 71 a factor of 50/20*(-120984)/(-30)?
True
Let p be -7*(2 + -7 + 4). Let k(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/8 - a**3/6 - a**2 - 3. Is k(p) a multiple of 11?
False
Suppose 87416 = -157*r + 171*r. Does 67 divide r?
False
Suppose 23*i + 863268 = 262*i. Is 12 a factor of i?
True
Suppose -690*y + 346*y - 11536 = -348*y. Does 14 divide y?
True
Let n(q) be the first derivative of 5*q - 5 - 7/2*q**2 - 1/4*q**4 + 8/3*q**3. Does 5 divide n(5)?
True
Let k(l) = -241*l**3 + 2*l**2 + 3*l - 6. Let i(h) = -482*h**3 + 3*h**2 + 6*h - 11. Let t(w) = -4*i(w) + 7*k(w). Is 17 a factor of t(1)?
False
Suppose -3*d - 4656 = -19*d. Let y = 534 + d. Is 12 a factor of y?
False
Is 71 a factor of 36987 + -5 + -8 + (-7 - -6)*-17?
True
Is (-130 + 125)/(1/(-306)) a multiple of 17?
True
Suppose 0*a + 1146 = f + 2*a, 2293 = 2*f + 3*a. Is f a multiple of 22?
False
Suppose -12 - 16 = -4*p. Suppose -p*g + 12*g = 650. Is 17 a factor of g?
False
Let y be (-10)/(-10) + (-4)/(-2). Suppose 0*v = -y*p - 2*v + 2854, 4*p - 3820 = v. Suppose -4*t - p - 197 = -5*n, -5*n = -3*t - 1152. Does 11 divide n?
True
Let w(j) = -15*j - 27. Let a be w(-2). Suppose 75 = a*u - 0*c + 4*c, 2*u + 5*c - 50 = 0. Is u a multiple of 14?
False
Let f = 598 + -313. Suppose 3*t + f = -4*y, 3*y + 13 = -3*t - 275. Let j = 163 + t. Is j a multiple of 14?
False
Let j(s) = -2*s + 1. Let h(v) = -24*v + 16. Let l(t) = 2*h(t) + 4*j(t). Is 9 a factor of l(-4)?
False
Let o(y) = -y**3 - 116*y**2 + 80*y - 597. Is 9 a factor of o(-118)?
True
Let g = 35835 - 22913. Is 14 a factor of g?
True
Let v = -10156 - -10754. Is v a multiple of 24?
False
Suppose 26*l - 60*l = -122774. Is l a multiple of 23?
True
Let v be (-57)/285 - (-1316)/5. Suppose 3*l + 29 = v. Is l a multiple of 5?
False
Suppose 776048 = 318*d - 845116. Is 22 a factor of d?
False
Let o = 1328 + -2127. Let i = -578 - o. Is i a multiple of 2?
False
Suppose -3*l - 10 = -19. Let h(b) = 4*b**2 - 5*b - 6. Let z be h(l). Let i(m) = m**3 - 14*m**2 - 11*m - 3. Is i(z) a multiple of 12?
False
Let g be (-4)/(-5) - (40356/20)/(-9). Suppose -5*z - g = -2*h, 20*h - 2*z = 24*h - 390. Is 30 a factor of h?
False
Suppose 0*c - c + 2 = 0. Suppose c*q + 8 + 12 = 0. Is 24 a factor of (-2 + q)/((6 - 3)/(-30))?
True
Suppose 44853 = 4*i - 5*f - 60082, -4*i + 3*f + 104921 = 0. Is 25 a factor of i?
True
Let j = -11231 + 17731. Does 52 divide j?
True
Suppose 4*w - 6700 = 5*m - 3*m, 1666 = w + m. Is w a multiple of 22?
True
Suppose 76*s = 83*s - 13783. Is 4 a factor of s?
False
Let y = -4 - -9. Suppose 137 = a - r, y*a - 271 = 3*a + 3*r. Suppose a = 3*u - 22. Is u a multiple of 13?
False
Suppose -2*f + 20 = 2*t - 7*f, 4*f + 33 = 5*t. Suppose 4*c - t*d - 410 + 69 = 0, 2*d = 5*c - 422. Is c a multiple of 3?
True
Does 32 divide ((1 + 0)*1)/((-12)/(-64212))?
False
Let k be 4*((-44)/8 - -3). Let d be (5 - (k + 6))/(1/23). Let m = -99 + d. Does 27 divide m?
True
Let g be ((-9)/(-6))/(3/10) - -3. Let j(a) = -39*a - 17. Let l be j(-3). Suppose -g*i + 116 = -l. Is i a multiple of 13?
False
Let d be 1*(-2 + -2) - (-1188 - 30). Suppose -3*q + 3974 = 5*j, -1171 - d = -3*j - 2*q. Is 20 a factor of j?
False
Let v(w) = 4*w + 16. Let u(x) = -13*x - 49. Let f(h) = -6*u(h) - 21*v(h). Is f(-20) a multiple of 13?
True
Let o(d) = 5*d**2 - d + 2. Suppose 0 = -0*u + 5*u + 5*z, -5*u - 4*z = 2. Let x be u + 0 + 2 - (-9 + 11). Does 12 divide o(x)?
True
Let n be 234/(-72) - 5/(-4) - -20358. Suppose 33*a = 19*a + n. Is 82 a factor of a?
False
Is 11 a factor of (-72)/28 + (-60)/140 - -3736?
False
Let m be (20/(-3))/(15/135). Let y be (8/10)/(8/m). Is 35 a factor of (-3 - y)/((-3)/(-135))?
False
Let f be 4232 - (-1 - -2)*3. Suppose 4*r - 115 = -k + 727, -f = -5*k - r. Is k a multiple of 18?
True
Let a(z) = -2*z**2 + z + 2. Let h be a(-4). Let p be 18 + -17 + (-1 + 4)/1. Is 3/6 + h*(-23)/p a multiple of 28?
True
Let n = 1364 - -609. Let a = -1316 + n. Does 55 divide a?
False
Suppose -c = -q - 0*q - 606, -2*c = q - 1221. Let a = c - 233. Does 19 divide a?
False
Let r = 150 + -125. Suppose 12303 = r*i - 3297. Is 24 a factor of i?
True
Let v(n) = -n - 5. Let o be v(-4). Let t = 6365 + -6370. Is ((-24)/t)/((-6)/165*o) a multiple of 11?
True
Let v(b) = 6*b**3 - 5*b**2 + 14*b - 12. Let h(z) = 7*z**3 - 5*z**2 + 15*z - 13. Let p(f) = -5*h(f) + 6*v(f). Let s be p(6). Let w = s - 43. Does 9 divide w?
False
Let m be ((-8)/10)/(46/(-10925)) + -2. Suppose 5*a + 0*a - 565 = 0. Let p = m - a. Is p a multiple of 8?
False
Let h(j) be the third derivative of -j**5/60 + 7*j**4/24 + 26*j**3 + 51*j**2. Does 6 divide h(0)?
True
Let g(x) = -x**2 - 8*x + 1. Let f be g(-7). Let t = -126 + 149. Let u = t - f. Is 2 a factor of u?
False
Suppose -23*x = -4*x + 95. Is 7 a factor of 107*3/(10/x - -5)?
False
Is 4/(-2) - (-343 + -19 + 4) a multiple of 4?
True
Let x(n) = -n**3 + 47*n**2 + 177*n - 51. Is x(49) a multiple of 10?
True
Let b = -6940 + 15626. Is 101 a factor of b?
True
Let w be 2/6 - 259/21. Is 3 a factor of (w/(-7))/((195/182)/15)?
True
Suppose -1581 = -4*y + 7. Let r = 703 - y. Does 20 divide r?
False
Let a(m) = m**3 - 25*m**2 - 57*m - 20. Let d be a(27). Does 15 divide 7 - (4 + d + -1)?
True
Let x(l) = l**2 + 4*l + 9 - 2*l**2 - 3*l + 2*l. Let u be x(4). Suppose 0 = u*o + 3*c + c - 506, -c - 103 = -o. Is 17 a factor of o?
True
Suppose -q + 5*p + 2530 = 0, -3*q + 7570 = -6*p + p. Suppose -q = 10*f - 18*f. Is 8 a factor of f?
False
Let u(k) = 4*k**2 + 34*k + 16. Let g be u(-8). Suppose 3*f + 281 - 2249 = g. Is 18 a factor of f?
False
Let z = -459 - -890. Suppose -5*f - 3*l + z = 0, -4*f + l - 349 = -8*f. Is f a multiple of 11?
True
Suppose -37