 factor of y?
False
Let c(q) = -29*q**3 + 12*q**2 - 14*q - 100. Is c(-6) a multiple of 40?
True
Is (-14387394)/2036*(-2)/3 a multiple of 2?
False
Let c = -19793 + 30593. Does 16 divide c?
True
Let j = 19050 + -6817. Does 165 divide j?
False
Let h(i) = -i + 236. Let w be h(48). Suppose -2612 - w = -8*t. Is t a multiple of 10?
True
Let g(u) = -12*u - 187 - 10*u + 6*u - 16*u. Is 47 a factor of g(-22)?
True
Let n = -472 + 469. Let o(y) = -80*y + 13. Does 23 divide o(n)?
True
Suppose -2*o + 29 = -45. Let n(i) = 14*i - 54. Is n(o) a multiple of 16?
True
Suppose -10*y - 15*y + 9100 = 0. Suppose -106 = 2*j - y. Does 4 divide j?
False
Let k be 0 + 0 + (-3 - 0). Let p(y) = y**3 + 2*y**2 - 3*y + 2. Let m be p(k). Suppose 5*q = m*q + 138. Is 46 a factor of q?
True
Let n(r) = -335*r - 9. Let j = -28 - -30. Let d be n(j). Is 18 a factor of (d/(-14))/((-1)/(-2))?
False
Let t(a) = -a**2 + 4*a - 4. Let v be t(5). Let h(n) = 11*n + 9. Let m(p) = p - 2. Let r(l) = -h(l) + 2*m(l). Is 17 a factor of r(v)?
True
Let r(h) = 2*h**2 - 11*h + 18. Let d(g) = g - 7. Let x be d(13). Suppose 0 = n - 2*u - x - 9, 5*u = 2*n - 34. Does 3 divide r(n)?
True
Let z(l) = -2*l**2 - 24*l - 35. Let r(j) = -j + 4. Let x be r(13). Is 10 a factor of z(x)?
False
Let t = 706 + -681. Suppose t*w - 5877 - 5048 = 0. Is 44 a factor of w?
False
Suppose -133*f + 33302 + 1520138 = 0. Is f a multiple of 45?
False
Let j = 744 - -1610. Does 107 divide j?
True
Let w(z) = 55*z**2 + 1. Let k be w(-1). Suppose 0*p - k = -4*p. Is p/((2/(-9))/((-72)/27)) a multiple of 56?
True
Suppose -5*f - 46 = -21301. Is f a multiple of 39?
True
Let o = 599 - -32. Suppose o = 5*u - 2*w, u = -u + w + 253. Is u a multiple of 7?
False
Is (-6)/(-45) - 119694/(-45) - -9 a multiple of 3?
False
Let d = 10420 + -5518. Is d a multiple of 57?
True
Let d(h) = 0*h + 9 + h - 36 - 2*h. Let g be d(-15). Is 3 a factor of g/(-30) - (-324)/15?
False
Let y(m) = -m**3 + 12*m**2 - 5*m - 5. Let n(s) be the third derivative of s**5/30 + s**4/12 - s**3/6 - 15*s**2. Let v be n(2). Does 12 divide y(v)?
False
Let v(a) = a**2 + 10*a + 4. Suppose -4*b + 5*b - 21 = 0. Let m(u) = -u**2 + 21*u + 4. Let r be m(b). Is v(r) a multiple of 15?
True
Is 30186/195*375/10 a multiple of 61?
False
Does 52 divide 21367 - (2*10/(-4))/((-65)/91)?
False
Let h(m) be the third derivative of -11*m**4/4 - 26*m**3/3 - m**2 + 50*m. Is 10 a factor of h(-7)?
True
Suppose 4 = 4*b, 7 = -2*t - 3*b - 16. Let q(l) = -l**3 - 13*l**2 - l - 8. Let r be q(t). Suppose -r*k + 230 = -200. Does 5 divide k?
False
Let i(k) be the third derivative of k**6/8 + k**5/30 + k**4/12 - 4*k**3/3 + 48*k**2. Is 9 a factor of i(2)?
False
Let a = -10840 + 17104. Is a a multiple of 87?
True
Is 4 a factor of 1860/(-180)*((-4 - -8) + -184)?
True
Suppose t + 60*w = 70*w + 33024, 0 = 4*t - 4*w - 131772. Is t a multiple of 6?
True
Let u(w) be the first derivative of -13*w**4/2 + 2*w**3/3 + 5*w**2/2 + 7*w - 129. Does 10 divide u(-2)?
False
Suppose -5*a = 20, 13*a - 15*a = m - 314. Suppose 2*z = -c + 96, -4*c + 2*z + 92 + m = 0. Is 6 a factor of c?
True
Is 9 a factor of (16/28 - 876/14)*-18?
True
Suppose -5*j + 1238 = -427. Suppose 0 = v + 4*t + j, -v - 3*t - 332 = -0*t. Let k = -208 - v. Is 35 a factor of k?
False
Suppose -3*k = a - 7, -4*k - 4*a - 2 = -2*k. Let o(d) = -8*d**3 - 10*d**3 + 12*d**2 + 19*d**k - 6*d - 12. Is o(-12) a multiple of 20?
True
Let x(g) = g**2 + 181*g + 439. Does 16 divide x(90)?
False
Let m(u) = -5*u**3 + 5*u**2 + 4*u. Let v be m(-4). Let c = -172 + v. Suppose 5*o + 4*i = c, 0 = o + i + 3 - 45. Does 13 divide o?
False
Let o = 418 + -412. Is (-14)/14*o/(-2) + 618 a multiple of 9?
True
Let a(d) = -2*d + 1. Suppose 0 = -13*q + 11*q + 2. Let m be a(q). Does 12 divide (m + (-1)/3)*-48?
False
Suppose -2143857 = -172*g - 126297. Does 30 divide g?
True
Suppose -4*m + 14 = -l + 2*l, -2*l = -2*m + 2. Suppose 290 = 2*y - 3*o - 1081, m*o - 699 = -y. Is y a multiple of 46?
True
Suppose -22*x = -20*x. Let m(g) = -g**3 - g**2 - 2*g. Let w be m(x). Suppose w = 3*n - 15 - 30. Is 2 a factor of n?
False
Let h(l) = 712*l - 1261. Is 40 a factor of h(7)?
False
Let j(b) = -5*b**3 - 8*b + 5 + b**2 + 6*b + 8*b. Is j(-5) a multiple of 14?
False
Suppose 5*w = 12*s - 11*s - 9480, 18912 = 2*s - 2*w. Is 7 a factor of s?
True
Let b = -3041 + 6928. Is 67 a factor of b?
False
Let j be ((-3)/9)/(6/(4 + -4630)). Let c = -190 + j. Is 8 a factor of c?
False
Let o be (-4 + 9 - 10) + 5. Suppose 0 = -c, -291 = -f - o*c - 3*c. Is 60 a factor of f?
False
Suppose 0 = 107*f - 6*f + 2915768 - 7182008. Does 16 divide f?
True
Let s(r) = 14*r**3 - 4*r + 4. Suppose -33*q + 69 = -10*q. Does 16 divide s(q)?
False
Let a(k) = -3*k**3 - 92*k**2 + 24*k - 9. Let r be a(-31). Let q = -121 + r. Is 14 a factor of q?
False
Let g(h) be the third derivative of 17*h**5/60 - 49*h**4/24 + 3*h**3/2 - 2*h**2 + 23*h. Does 61 divide g(-6)?
True
Let g = -480 - -482. Let n(d) = 14*d**3 + 4*d**2 - 3*d - 2. Is 8 a factor of n(g)?
True
Suppose 2*c = 4*x + 282, -c - 375 = 5*x + c. Let f = -24 - x. Is 7 a factor of f?
True
Let a be (-2)/(-6)*2*3. Let d = 2621 - 2617. Suppose 7*k + 6 = 5*k, 0 = -a*i + d*k + 572. Is 35 a factor of i?
True
Suppose -11 = a + 2*w, 5*w = -a - 2*a - 30. Let p(g) = 23*g + 44. Let l(y) = -58*y - 110. Let h(v) = a*l(v) - 12*p(v). Is h(4) a multiple of 13?
True
Suppose 0 = 2*n + 7*n + 162. Let z = 22 + n. Is (2/z)/(3 + 249/(-84)) a multiple of 3?
False
Suppose -359484 = 77*o - 135*o. Does 12 divide o?
False
Let v = -346 - -344. Is 15 a factor of 269437/183 + 1*v/(-3)?
False
Let a be 16/(-20)*2175/(-58). Suppose 16*o = a*o - 2940. Is 19 a factor of o?
False
Let j(x) = 2*x**2 - 2*x - 2. Let f be j(-1). Let a(o) = -8 + o**3 + 2*o + 0*o**f - 4*o**2 + 2*o**2 - 3*o. Is 13 a factor of a(4)?
False
Suppose 4*k = 5*k - 181. Let i = -86 - -88. Suppose -m - 5*u + k = 0, -5*m = i*u + 3*u - 965. Is 18 a factor of m?
False
Let b be (-2)/6*(-8 + (11 - 3)). Is 51 a factor of 89815/207 - (b + (-3)/27)?
False
Let x be (-9330)/(-21) - 2/7. Let z = 120 + x. Is z a multiple of 27?
False
Suppose u + 5*s - 4 - 3 = 0, -3*s + 25 = -2*u. Let l be (-21)/(0 - -1)*u/6. Is 39 a factor of 32*(l/10 - (-28)/(-35))?
False
Let f = -10034 + 18170. Is f a multiple of 24?
True
Let i(p) be the second derivative of p**3/6 + 15*p**2/2 - 20*p. Let q be i(25). Suppose 11*h - 10*h = q. Does 3 divide h?
False
Suppose 22*a + 10 = 27*a. Suppose 2*t - 433 = -3*y - 3*t, 4*t - 292 = -a*y. Let g = y - -13. Does 39 divide g?
False
Let l be 504/234 + 2/(-13). Suppose k = -5*g + 271 + 292, -l*k = -2*g - 1186. Is 21 a factor of k?
True
Suppose 2647 - 4872 = -9*d + 4318. Does 4 divide d?
False
Suppose -49680 = -210*a + 200*a. Is a a multiple of 12?
True
Let t = 296 - 507. Let u = t + 451. Is 40 a factor of u?
True
Let m = 4 + -3. Let k be m*-4 + 280/(-1 - -6). Let j = k + -19. Is 11 a factor of j?
True
Let d = 162 + -122. Suppose 484 = -39*i + d*i. Is i a multiple of 11?
True
Let h(c) = -18*c**2 - 1 - 10 + 4*c + 100*c**3 - 99*c**3. Suppose n = 4*y - 6*y + 33, 2*y - 51 = 5*n. Is h(y) a multiple of 7?
False
Let o = -13238 - -29289. Is 197 a factor of o?
False
Suppose 16*q = 6*q + 1100. Let w = q - -66. Is 22 a factor of w?
True
Let t(m) = -m**3 - 13*m**2 + 17*m + 10. Let w be t(-14). Is 44 a factor of (-13608)/w - 5/4?
False
Let f = -8049 - -14634. Is f a multiple of 7?
False
Suppose -2*v - 686 = 2*t + 218, -2*v = t + 899. Let z = -269 - v. Suppose 0 = -7*u + 1410 - z. Does 18 divide u?
False
Suppose 12*g = 16*g + 440. Let x = 264 + g. Let m = x - 22. Does 22 divide m?
True
Let u(q) = 43*q - 92. Suppose -5*x = -h + 8, -8*x = 5*h - 9*x - 64. Is 5 a factor of u(h)?
False
Let h = 218 + -156. Suppose 0 = 3*v + 39 - 1545. Suppose 8*z + h = v. Does 12 divide z?
False
Let n(l) = l**3 + 12*l**2 + 12*l + 6. Let q be n(-11). Let f = 245 - 230. Does 3 divide (-6)/f*q/(-4)*-38?
False
Suppose -1 - 21 = -2*s. Suppose 0 = 6*d + 65 - s. Let o(r) = -r**3 - 8*r**2 + 8*r + 12. Is 6 a factor of o(d)?
False
Let y(t) be the third derivative of -3*t**4/4 + 355*t**3/6 - 20*t**2 + 7. Is y(-7) a multiple of 106?
False
Suppose -295*v - 65514 = -301*v. Is v a multiple of 61?
True
Let u(x) = -x**2 - 40*x + 3716. Is 38 a factor of u(0)?
False
Suppose -46*a = -69*a + 10120. Is a a multiple of 20?
True
Let a be 0 + 0 + 