 n = k - -88. Is 13 a factor of n?
False
Let q(n) = 7*n**2 - 4*n - 3. Does 16 divide q(-7)?
True
Let w(y) = -4*y**2 - 10*y + 35. Let b be w(8). Does 20 divide (b/21)/((-1)/3)?
False
Let k(g) = -g + 13. Suppose 11*f - 8 = 15*f. Let h be 2/(-4)*0/f. Is 2 a factor of k(h)?
False
Let o(a) = -a**3 - a - 3. Let p be o(-2). Let k = p + 102. Is 33 a factor of k?
False
Let b be 5*(1/(-2) + (-1688)/(-80)). Let j = b + -20. Does 51 divide j?
False
Suppose 0 = -2*l + i + 6265, l = 2*i + 1338 + 1802. Is 10 a factor of l?
True
Let s = 22 + -17. Suppose -3*p - 3*t + 189 = 0, -3*p + 51 = s*t - 128. Suppose -p = -3*u + 76. Is 12 a factor of u?
True
Suppose -3856 = -3*a + 632. Does 44 divide a?
True
Let r(i) = -18*i**3 - 6 + 0*i**3 - 4*i - 4*i**2 + 0 + 3. Let u be r(-2). Let d = -70 + u. Does 21 divide d?
True
Let t = 137 - -3. Let w be -3*(t/12)/(-7). Suppose 0 = -r + a, -w*r - 3*a + 6 = -18. Is 3 a factor of r?
True
Let l(g) = 675*g + 162. Let x(w) = 54*w + 13. Let r(c) = -5*l(c) + 63*x(c). Is r(3) a multiple of 15?
True
Let h(c) = 4*c + 4. Let d be h(9). Suppose 2*q - 125 = 7*q. Let x = d + q. Is x a multiple of 5?
True
Suppose i = 82 + 40. Is i a multiple of 10?
False
Let c be 3 + 2*(-4)/8. Suppose 2*w + 12 = -c*w. Does 15 divide 7/((-17)/6 - w)?
False
Is (307 + 26)*62/6 a multiple of 37?
True
Let t(l) = l**2 - 5*l + 15. Let p be t(-9). Let z = p + -5. Suppose -3*v - z = 2*w - 402, 0 = v - 5*w - 100. Is v a multiple of 14?
False
Suppose -3*j + 625 = -2765. Suppose -j = -0*u - 5*u. Suppose -66 + u = 5*o. Is o a multiple of 8?
True
Let j = -4 - -2. Let z(r) = -3*r - 3. Let a be z(j). Is -1 + a + 0 - 0 a multiple of 2?
True
Suppose -w + 1 = -2. Suppose -3*t + 670 = 2*t + 5*h, 2*t + w*h = 270. Suppose 3*q - 63 - t = 0. Is 21 a factor of q?
False
Suppose -10*a + 26 = -4. Suppose -2*f + a*g + 216 = 0, -4*f = 5*g - 539 + 63. Does 11 divide f?
False
Suppose 9*p = 443 + 727. Is 8 a factor of p?
False
Let k(p) = -2*p**2 - 38*p - 26. Let a be k(-19). Suppose -3*i + 9 = 0, -4*t = -0*i + 2*i + 166. Let o = a - t. Does 17 divide o?
True
Suppose -2*w + 1196 = 5*o, -279 = -2*o + 5*w + 182. Is 34 a factor of o?
True
Is (19/38)/(2/704) a multiple of 23?
False
Suppose 4*n + 2*g - 14 = -0*g, -3*g = 3*n - 15. Let p(z) = -12*z + 2. Let f be p(-3). Let b = n + f. Does 13 divide b?
False
Suppose 2*h + 3*v - 48 = 0, -4*h + 7*v = 12*v - 98. Is 27 a factor of h?
True
Let v(l) = 95*l**2 - l. Let u be v(-1). Suppose 3*q + u = 5*q. Suppose -2*r - 2*r + 2*b = -q, -44 = -4*r + b. Is r a multiple of 10?
True
Suppose -4*g - c - 3 = 0, -g - 3*g + 3 = -c. Let b be 6/15*(10 + g). Suppose 4*w - 60 = -i + 51, -b*w + 110 = 2*i. Is w a multiple of 14?
True
Let d = 33 + -11. Suppose 2*s + 3*s = 5*r - 5, -2*r + d = 2*s. Suppose 3*f - 6 = r. Is f a multiple of 2?
True
Suppose 0*h = -3*l + h + 17, -l - 3*h - 1 = 0. Suppose -5*o = l*c - 190, o = 2*c + 73 - 23. Is 6 a factor of o?
True
Let i(l) = 14*l - 5. Let z(w) = -14*w + 7. Let n(m) = -6*i(m) - 5*z(m). Suppose 3*f = f + g - 3, f = -g - 9. Is n(f) a multiple of 11?
False
Let p = -24 - -20. Let o(r) = -r. Does 2 divide o(p)?
True
Let k be 4*(18 + 3) + -4. Let q be (-5)/(k/(-3996))*4. Is 13 a factor of q/11 - (-10)/55?
True
Is 23 a factor of 22/33*(-2229)/8*-4?
False
Let n(x) = -x + 9. Let y be n(6). Suppose 0*k + y*k - 210 = -3*r, -r - 3*k = -74. Is 17 a factor of r?
True
Suppose 75 = 5*p + 5*a, -4*p + 2*a = -48 - 42. Does 7 divide p?
False
Let m(i) = 3*i**3 + 3*i**2 - 4*i - 8. Let r be 324/78 - (-4)/(-26). Does 18 divide m(r)?
True
Let u be -1 - (-8 + (-6)/(-2)). Suppose -u*y = -4*n - 192, n + 2*n = -y + 32. Is 11 a factor of y?
True
Let n = 541 + -57. Does 11 divide n?
True
Let t(a) = 41 - 5*a + 3*a + 3*a. Let o be t(0). Suppose o + 31 = 3*q. Is 9 a factor of q?
False
Let l = 70 - 59. Let u = -9 + l. Is 2 a factor of u?
True
Let l(m) = m**3 - m**2 - 2*m - 4. Let f be l(-2). Let p(d) = -2*d + 8. Is 7 a factor of p(f)?
False
Let j(v) = 231*v**2 - 10*v + 31. Is j(3) a multiple of 26?
True
Let d(s) = 172*s**2 - 12*s + 64. Is 49 a factor of d(5)?
False
Let s(m) = -m**3 + 0*m + m**2 - 2*m + 12 + 0*m + 0*m**2. Is s(0) a multiple of 4?
True
Let c(s) = s**3 + 6*s**2 + 3*s - 2. Let u be c(-4). Let n = -2 - 0. Is n/6 + 312/u a multiple of 10?
False
Suppose 4*b = -4*u + 29 + 51, -3*b - 2*u = -62. Suppose 4*o + 58 - 10 = 0. Let k = o + b. Is k a multiple of 5?
True
Does 44 divide 1830/8 - (-1)/24*6?
False
Let u(n) = 336*n - 853. Is u(13) a multiple of 46?
False
Suppose 2*p + 1765 = d, 2*d - 2*p - 1512 = 2016. Does 43 divide d?
True
Is 8 a factor of (-14)/(-4) - 4 - 5933/(-34)?
False
Suppose -96*n = -3*n - 527031. Is n a multiple of 17?
False
Let b = -63 - -68. Suppose -1180 = -b*m + 5*k, -2*m + 248 = -k - 228. Is 13 a factor of m?
False
Let z be 8 + -4 + 0 + -1. Suppose h = -z*h. Suppose h = -3*u + 163 + 107. Is u a multiple of 18?
True
Let s = 27 + -19. Suppose 3*u = s*u - 200. Is u a multiple of 20?
True
Suppose -8*o - 99 = -11*o. Is 0 + o + (-1 - 0) a multiple of 10?
False
Let s(z) = -6*z + 17. Let h be s(2). Suppose 5*a = r - 225, -h*r - 4*a = -a - 1041. Does 21 divide r?
True
Suppose 0*c = -3*c - 0*c. Suppose -4*h - g + 650 = -c*g, -4*g + 494 = 3*h. Is h a multiple of 21?
False
Suppose p = 5*p. Does 14 divide -118*(p - (-8)/(-4))?
False
Suppose 19 = r + 3*u, -5*r + u + 7 = -8. Suppose 2*o = r*o. Suppose w - 4 = o, w + 1 = d - 2. Does 7 divide d?
True
Suppose -12*y + 1217 = 3*o - 13*y, -5*y = 5*o - 1995. Is 10 a factor of o?
False
Let z be ((-4)/(-3))/(-4)*9. Let o be 0/((z + 4)*2). Suppose 2*m + 19 - 55 = o. Is 6 a factor of m?
True
Let k(p) = -15*p**3 + p**2 + 27*p + 45. Does 76 divide k(-5)?
False
Let h(b) be the third derivative of -b**6/360 - b**5/5 - 5*b**4/24 + b**3 + 8*b**2. Let q(v) be the first derivative of h(v). Is 19 a factor of q(-19)?
False
Let j(q) = q**2 + q. Let o(i) = 8*i**2 + 22*i + 17. Let a(r) = 6*j(r) - o(r). Let k(f) = -f**2 - 8*f - 9. Let h(w) = 3*a(w) - 5*k(w). Is h(-5) a multiple of 9?
True
Suppose 8 + 6 = 2*b. Suppose 0 = 4*y + b - 71. Is 4 a factor of y?
True
Let b(h) = -h**3 + h**2 - h - 1. Let i(w) = -5*w**3 + 11*w**2 - 15*w + 2. Let p(v) = 3*b(v) - i(v). Is p(4) a multiple of 26?
False
Let g(y) = -y**3 + 23*y + 15. Let j be g(5). Suppose -7 - 51 = -z - 2*i, 5*i - 55 = -z. Suppose 3*a + z = j*a. Is a a multiple of 12?
False
Suppose -2*v - 3*v = -40. Let y = 2 - v. Is 5 a factor of -1 - (-2)/(y/(-75))?
False
Let b(o) = o**3 - 7*o**2 + 2*o - 10. Let g be b(7). Suppose 76 + 24 = g*n. Suppose -n = -5*l + 4*l. Is l a multiple of 13?
False
Let l = 1566 + -868. Suppose 422 = 3*o - u, -6*o - u = -o - l. Does 10 divide o?
True
Suppose 4*t = -3 - 13. Let v(b) = -b**2 - 9*b + 1. Does 10 divide v(t)?
False
Does 27 divide -18633*(-13)/195 - (-2)/(-10)?
True
Let r(i) = 1199*i + 362. Is 20 a factor of r(2)?
True
Let n(z) = 2*z + 8. Let x be n(9). Let c = 98 - 102. Let g = x - c. Is g a multiple of 15?
True
Does 21 divide 18/((-18)/(-3)) - -312?
True
Let h be 7*(3 + 0 + -2 + 0). Suppose 3*u - 10 = -1. Suppose -192 = -u*t - 4*v, 22 - h = 5*v. Is t a multiple of 15?
True
Suppose -y + 3*w + 4 = 0, -y = 2*y - w - 12. Suppose 4*v + 7*g = 3*g + 12, v + y*g + 6 = 0. Suppose -t = i - 11, -v*i + t = -i - 79. Does 7 divide i?
False
Let u = -3075 - -5127. Is 54 a factor of u?
True
Let z(a) = a**3 + 170. Let w be z(0). Suppose -w = -8*k + 334. Is 12 a factor of k?
False
Suppose 3*t = -2*d + 2*t + 2, -3*t = 4*d. Suppose d*u - 2*p + 65 = -52, 2*u = 2*p - 80. Let j = u - -45. Is j a multiple of 8?
True
Suppose 37*k - 19*k = 0. Let v(d) = 2*d**3 + 3*d**2 + 3*d + 3. Let c be v(3). Suppose 3*h - c + k = 0. Is 17 a factor of h?
False
Suppose -m = -2 - 1. Suppose 2*c - 161 - 39 = 0. Suppose 2*j + m*j = c. Is j a multiple of 5?
True
Suppose 0 = -3*h - 2*u + 5, -4 = -4*u - 12. Let p(g) = -g + 7. Let n be p(3). Suppose -n*z + 10 = -h*z. Is z a multiple of 3?
False
Suppose -72 = -2*p - 2*p + 3*g, -3*g - 90 = -5*p. Is 3 a factor of p?
True
Suppose -9*i + 6*i = 30. Let s(g) = g**2 + 7*g - 6. Is 14 a factor of s(i)?
False
Is 17 a factor of (-4)/7 + 30992/91?
True
Let p(f) = 14*f**2 + 18*f - 7. Does 14 divide p(-3)?
False
Suppose v + 28 = 3*v. Suppose -3*m + 276 = -3*d, m - 4*d = -v + 121. Does 29 divide m?
True
Let b(l) = -l**2 + 8*l - 8. Let o be b(7). Let i be (0