 Let n(u) = -2*u**2 + 31*u + 33. Let d be n(14). Let t = o - d. Is 2 a factor of t?
False
Let h = 315 - 155. Let a(w) = -163*w**2 - 4*w - 3*w + w**3 + 5 + h*w**2. Does 4 divide a(5)?
True
Let i(h) = 9*h + 10*h**3 - 13*h - 26*h**2 - 10*h + 19*h**2 - 11*h**3 - 15. Let y(v) = -v**2 - v - 6. Let g be y(0). Is i(g) a multiple of 33?
True
Let n = 0 + -10. Let c(z) be the second derivative of z**5/20 + z**4 + 5*z**3/3 - 2*z**2 - 37*z. Is 12 a factor of c(n)?
True
Is 104 a factor of 0 + 6/(-33) - ((-1009652)/154 - 14)?
False
Suppose 6*l + 20 = 32. Suppose -l*y + 5*t = -72 - 120, 4*y + t = 428. Is 53 a factor of (1*y)/((-10)/(-15))?
True
Let y(x) = 1471*x - 85. Does 11 divide y(1)?
True
Let x(v) be the second derivative of v**4/12 + v**2/2 + 22*v - 6. Let j = -2 + 6. Does 17 divide x(j)?
True
Let c(a) be the third derivative of -a**6/120 + 7*a**5/60 + 13*a**4/24 - 5*a**3/2 - 16*a**2. Let t be c(8). Suppose -t*o = -24*o - 8. Is 3 a factor of o?
False
Let k be 2700/16 + -3*1/(-12). Let a = k + 9. Is 12 a factor of a?
False
Let x be (28/8)/(2/4). Let z = 9 + x. Suppose -z + 142 = 2*j. Is j a multiple of 10?
False
Let i(t) = 0*t + 2*t**2 - 7*t - t**2 + 0*t**2 + 10. Let d be i(6). Suppose -3*v + d*v = 15. Does 15 divide v?
True
Let r = 155 + -152. Let k(u) = 24*u**3 - 6*u**2 + 5*u - 3. Is k(r) a multiple of 21?
False
Suppose 1630*w + 322 = 1637*w. Suppose -2*f + 1083 = n, n + 497 = f - w. Is f a multiple of 79?
False
Let l(i) = i**3 + 11*i**2 + 13*i + 6. Let x be l(-7). Suppose 2*w - x = 119. Does 5 divide w?
True
Let l(z) = 241*z**3 + 13*z**2 + 2*z - 240*z**3 - 2*z + 3. Let f be l(-13). Suppose 0 = -3*a - 2*y + 268, f*a = 4*y - 5*y + 269. Is 45 a factor of a?
True
Let w be ((-105)/(-10))/((-15)/50). Is w/105 + (-8570)/(-6) a multiple of 53?
False
Suppose 3*u + 5*h = 9531, u - 15885 = -4*u + 7*h. Is 18 a factor of u?
False
Suppose 8*l - 500 = -5*i + 3*l, 2*i = 5*l + 172. Let p = -80 + i. Let a(y) = 2*y**2 - 23*y + 10. Is 14 a factor of a(p)?
True
Is 28 a factor of (6/28)/(-3) + 114*229160/3360?
False
Let x be 9/27*-2*(-699)/2. Suppose -x*a - 663 = -236*a. Does 19 divide a?
False
Let w = 691 - 283. Let k = w + -373. Is 9 a factor of k?
False
Let l(b) = 47*b - 12. Let i = 114 - 109. Let o(r) = -71*r + 19. Let c(u) = i*o(u) + 8*l(u). Is c(3) a multiple of 8?
False
Suppose 800 = -77*l + 82*l. Let j = l - 154. Is 6 a factor of j?
True
Let u be (1 - 0/(-3))/(1/8). Is (3 + (-195)/(-3))/(u/28) a multiple of 34?
True
Let h be -5*(-7)/((-70)/(-18)). Suppose 2*b + 2*j = -8 - 6, -3*b + 3*j = -h. Does 5 divide b + 3 - (-46 + 4)*1?
False
Let f(t) = -t**3 + t**2 + t + 3. Let x be f(0). Let d(r) = 14*r + 5. Let q(w) = -13*w - 5. Let o(z) = -4*d(z) - 5*q(z). Is 13 a factor of o(x)?
False
Let s(p) = 49*p - 205. Let m be s(4). Does 41 divide 503*(-1)/(-3) + (-12)/m?
False
Suppose 171*r + 65763 = 179478. Is r a multiple of 5?
True
Let w be (1/2 + 0)*492. Suppose c - 534 = -2*n, 4*c + 810 = 4*n - w. Does 65 divide n?
False
Let v(s) = -81*s - 364. Is v(-80) a multiple of 17?
False
Let o(y) = -6*y + 3. Let g(k) = 6*k - 4. Let d(p) = -6*g(p) - 4*o(p). Let n be d(2). Is (-6)/n*2 + (-2 - -95) a multiple of 47?
True
Let l = -19 - -19. Suppose 5*i - v - 739 = l, 2*i - 5*v + 3*v - 294 = 0. Let s = 208 - i. Is s a multiple of 8?
False
Does 68 divide -1 - (-39)/(-33) - -2 - (-23940)/22?
True
Suppose -634*z + 1200*z + 376500 = 596*z. Is 50 a factor of z?
True
Suppose 69*f = -593*f + 73*f + 9937608. Does 24 divide f?
True
Let l(z) = z**3 + 19*z**2 + z + 20. Let n be l(-19). Let t(o) = 238*o - 14. Does 16 divide t(n)?
True
Let c be (356/(-8))/((-1)/2). Suppose -f - 13 = -5*n - c, -196 = -2*f - n. Let v = f - -105. Is 50 a factor of v?
False
Let g = 30 + -33. Is 46 a factor of 1*(g + 6 + -6 + 463)?
True
Suppose 0 = -5*r - m, 16*m - 2 = -3*r + 15*m. Is 17 a factor of -11*r/2*(6 - -32)?
False
Let y = -749 + 996. Let a = -24 + 15. Let d = y + a. Does 34 divide d?
True
Suppose 39 + 64 = -g + 4*w, -2*g - 3*w - 250 = 0. Let m be 2/(g/858 - 6/(-39)). Suppose -5*t = -m + 47. Is t a multiple of 8?
False
Let l(p) = p**3 - 57*p**2 - 152*p + 577. Does 6 divide l(63)?
False
Let q = 1061 - 47. Is 39 a factor of q?
True
Suppose -6*h - 498 = -7*h. Let q = -480 + h. Does 18 divide q?
True
Suppose -7 = -8*k + k. Let r be ((-32)/(-48))/(k/(-6)). Is (36/(-6) + 4)/(r/22) a multiple of 3?
False
Suppose 4*h - 8 = 3*s - 43, -3*s - 42 = 3*h. Suppose 2*c - 2*b - 80 = 0, -5*c - 3*b = -108 - 100. Let i = h + c. Does 8 divide i?
False
Let p(q) = 57*q + 236. Is 8 a factor of p(4)?
True
Let u(s) = 3*s**2 + 28*s + 442. Is 2 a factor of u(-18)?
True
Let y = -205 + 61. Let m = 90 - y. Is 18 a factor of m?
True
Is 196 a factor of ((-444)/(-20))/((-124)/(-102300))?
False
Let p(k) = -6*k**3 - k**2 - 6*k - 6. Let b be p(-1). Suppose 4*n - 3*l = 927, -b*l + 136 = 5*n - 1014. Does 11 divide n?
True
Let n(c) = 16*c - 10. Let o(b) = 49*b - 31. Let g(m) = -11*n(m) + 4*o(m). Let i be g(6). Let t = -59 + i. Does 11 divide t?
False
Let v = -70 + 329. Suppose 5*k + 2*n = 487, -4*k + v + 133 = n. Does 3 divide k?
True
Let b = -2478 - -3839. Is 4 a factor of b?
False
Let p(r) = 15*r + 23. Let h be p(-2). Let t(i) = 2*i**2 - 8*i. Does 11 divide t(h)?
True
Suppose -21*n + x = -17*n - 32831, 6 = -2*x. Is n a multiple of 87?
False
Let u(m) = 2*m**3 - 17*m**2 + 9. Let q be u(9). Let f = -58 + q. Does 16 divide (-304)/(-6)*48/f?
False
Suppose -9*a = -12*a + 126. Suppose a - 246 = -x. Suppose 612 = 8*b + x. Is 10 a factor of b?
False
Let q(t) be the second derivative of 5*t**3/6 - 15*t**2/2 + 60*t + 2. Is q(5) even?
True
Suppose 0 = -173*k + 167*k + 1410. Let l = k - 47. Does 3 divide l?
False
Let l be (2/(-10))/(11/(-69245)). Suppose -3294 + l = -5*v. Is 37 a factor of v?
True
Suppose 3*x + 1312 = -0*c + c, 0 = 3*c - 2*x - 3936. Let p be (-1)/5 + c/(-40). Let t = p - -59. Does 26 divide t?
True
Suppose 302*y - 1533165 = -90*y + 3475. Is y a multiple of 14?
True
Suppose 65 + 13 = -4*n - a, 3*n - 3*a + 66 = 0. Let u be ((-144)/(-20))/((-6)/n). Suppose 0 = v - u - 26. Is 13 a factor of v?
False
Let f(z) = -z**3 - 18*z**2 - 21*z - 39. Let q be f(-17). Suppose 6*d + 13547 = q*d. Does 31 divide d?
True
Suppose -3*y - 4 + 7 = 0. Let j(u) = 41*u**2 + u - 1. Is j(y) a multiple of 4?
False
Let r be (-1324 + -3 + 0)*3/(-3). Does 13 divide r + 15/5 + 7 + -5?
False
Suppose -r - 14959 = -2*d, -24*r + 22*r - 14958 = -2*d. Does 68 divide d?
True
Let q(y) = 69*y**2 - 10*y - 4. Let v be q(6). Suppose v = -14*f + 36*f. Does 4 divide f?
False
Let m = 2682 + -1185. Suppose m = 7*a - 1261. Is 7 a factor of a?
False
Suppose 0 = 5*j - 5*q - 40, -4*q = -2*j - 3*j + 36. Suppose -5*f + 102 = 4*r, 12 = f + r + j*r. Let k = 30 - f. Does 8 divide k?
True
Let h = 3744 - 3184. Does 35 divide h?
True
Let v = 42 + -3. Suppose 3*y - v = -27. Suppose -377 = -y*w + 43. Is w a multiple of 15?
True
Let x = 2408 - 1413. Suppose -2*i - x = -7*i. Suppose 4*h - i = 53. Is h a multiple of 7?
True
Let d(k) = 9*k**3 + 10*k**2 - 10*k + 6. Let u be d(6). Let w be 24/84 + u/14. Suppose -6*r - r + w = 0. Does 23 divide r?
True
Let r(x) = 9*x**2 + 6*x + 328. Is r(-20) a multiple of 8?
True
Suppose 5*o - 474 = 3*o. Suppose o = 2*k - i, -k + i - 5*i + 114 = 0. Suppose 2*h - k = -0*h. Is h a multiple of 10?
False
Let i = -11 + 15. Suppose 395 = i*x + x. Suppose -x = -5*g + 4*z, 7 = 4*z - 9. Is g a multiple of 8?
False
Let x(y) = 50*y**2 - 25*y - 205. Is 33 a factor of x(13)?
True
Let u(h) = 12*h**2 - 6*h + 8. Let x be u(2). Suppose 47*q - x*q = -9. Let f(a) = -7*a**3 - 3*a**2 + 7*a + 13. Does 11 divide f(q)?
True
Let f(t) = 3091*t**2 + 83*t + 19. Is 12 a factor of f(3)?
False
Suppose 864103 - 5968124 = -167*g. Is 13 a factor of g?
True
Let x(w) = 0*w - 14*w + 3*w - w - 6. Does 5 divide x(-2)?
False
Let v(y) = -13*y + 139. Let r be v(11). Suppose 2*g - 90 = -g. Let n = r + g. Is 8 a factor of n?
False
Let p be 4908/15*(-10)/4. Is 41/(-328) - p/16 a multiple of 5?
False
Let o = 5968 - 3560. Does 14 divide o?
True
Let g be (158/(-22) - -7) + (-18119)/(-11) - -3. Let w = 1 + 2. Suppose w*b + 7*b = g. Does 11 divide b?
True
Let k be ((-18)/(-5))/(((-96)/(-3030))/8). Let q = -481 + k. Does 26 divide q?
False
Let o(d) = 186*d**2 + 3*d - 3. Let c be o(1). Suppose c*w + 330 = 197*w. Is w a multiple of 