 Let b be f(2). Let k = s - b. Does 18 divide k?
True
Suppose 0 = -3*y + y + 4*w + 14, -y + 7 = w. Suppose -7*m + y = -6*m. Is 36*((-77)/(-2))/m a multiple of 42?
False
Suppose -v + 7*v = 42. Suppose -4*j = -20, 6*l - 3*j + 327 = v*l. Is l a multiple of 13?
True
Suppose 2*p - 2*c - 3 = -5, 2*p = -c + 7. Suppose 0 = -3*z + p*j + 200, 5*z - 181 = -5*j + 169. Is 11 a factor of z?
False
Suppose 279*d = 275*d + 12. Suppose y - 3*m + 0*m - 601 = 0, -3*m = -d*y + 1791. Does 6 divide y?
False
Let c = -426 - -429. Suppose 0 = -3*p + 2*j + 630, -c*p + 7*j + 621 = 2*j. Is 61 a factor of p?
False
Let a be (15/(-9))/(80/(-12) - -5). Suppose -3*r = 6, 3*m + 49 = -5*r + 3. Is 54 a factor of m*204/8*-1*a?
False
Let b be 4*((-4)/(-8))/1. Suppose -3*w = b*w - 510. Let m = -19 + w. Is m a multiple of 22?
False
Let g = -53162 + 74573. Does 80 divide g?
False
Let q(j) = 2*j**3 + 51*j**2 + 103*j + 63. Does 80 divide q(-20)?
False
Let g = 29615 + -11747. Is 12 a factor of g?
True
Let z be -6*(4 - (-332)/(-8)). Is (136/(-6))/((-50)/z) a multiple of 15?
False
Let t = -510 - -452. Let p = t - -370. Is p a multiple of 28?
False
Suppose -5*w + 8180 = -4*f, w + 2*f - 1364 = 258. Suppose w = 14*k - 1448. Is k a multiple of 13?
False
Suppose -5*n + 5*h - 727 - 3473 = 0, -2*n = -4*h + 1684. Is (6/(-4) - (-20 - -19))*n a multiple of 11?
False
Suppose 7*n - 11*n + 5*l + 15402 = 0, 7698 = 2*n - l. Is 26 a factor of n?
True
Let l(s) = -2*s + 17. Let f = 12 + -5. Let j be l(f). Is 86/6 - (j - 16/6) even?
True
Let t(s) be the third derivative of -7*s**3 + 0 - 10*s**2 + 0*s - 15/8*s**4. Is 22 a factor of t(-8)?
False
Suppose 649 = -2*f + 3*n + 53, -4*f - 4*n = 1212. Let y = f + 187. Let d = y - -133. Is d a multiple of 7?
False
Let z = 99 + -43. Does 83 divide 623/35*z + (-4)/5?
True
Suppose -6265 = -22*i + 16131. Let r = 1536 - i. Is 51 a factor of r?
False
Suppose 1778 = 14*d - 11*d - 4*u, -3*d + 2*u + 1786 = 0. Let a = d + -342. Is a a multiple of 16?
True
Let k(r) = 6*r - 56. Let i(w) = -w + 11. Let p(t) = 14*i(t) + 3*k(t). Suppose 4*o + 16 = 0, -3*c + 4*o = -2 - 50. Is p(c) a multiple of 17?
True
Let k = 142 + -253. Let m = k - -209. Is 3 a factor of m?
False
Suppose -23*i + 30*i + 263592 = 21*i. Does 18 divide i?
True
Let j(q) = 455*q + 10. Is 57 a factor of j(3)?
False
Let o = 152 - 102. Suppose o + 298 = d + 2*v, -d - 3*v + 352 = 0. Is d a multiple of 17?
True
Suppose 66*p - 30820 = 76*p. Let l = -2182 - p. Is 28 a factor of l?
False
Suppose -11*r + 12 = -5*r. Suppose -z + r*z = -d - 19, -3*z = 2*d + 58. Is 8 a factor of (105/z - (-2)/(-8))*-2?
False
Let m = -35 - -54. Let a = -6 + m. Let t(k) = -k**3 + 13*k**2 + 3*k + 1. Is t(a) a multiple of 4?
True
Let l(x) = 2*x**2 - x - 4. Let y be l(-14). Let q be y/(-10) - 20/25. Let p = 49 - q. Is 30 a factor of p?
True
Let b be (0 - -2)*(30/12 - 7). Let h(a) = -4*a + 72. Is 2 a factor of h(b)?
True
Suppose 4*w + 5*i - 102 = 88, -5*i - 305 = -5*w. Is w a multiple of 55?
True
Let r = -95 - -111. Is (-471)/(-7) - (-1)/((-56)/r) a multiple of 2?
False
Let d be (1 + 15/12)*8/6. Suppose -2*y + 3*t = 19, 3*t + d + 34 = -5*y. Is 6 a factor of (64/12)/y*-144?
True
Let o(y) = -y + 1. Suppose -2*h = -3*k + 7, -5 = -4*k - 2*h - 19. Let n be o(k). Suppose -l = 4, n*c + 5*l = 39 + 51. Is c a multiple of 11?
True
Suppose -114330 = -21043*k + 21037*k. Is k a multiple of 17?
False
Let z = 41 + -36. Suppose z*c = -3*r + 95, 4*c + 29 = r + 7*c. Let t = 19 + r. Is 6 a factor of t?
True
Let y be (20 - (-5 - -3)) + 0. Suppose 155 = -17*j + y*j. Let u = j - 13. Does 6 divide u?
True
Suppose -3*d = 5*c - 8100 - 12760, 4*d - 27823 = 3*c. Is d a multiple of 28?
False
Suppose 4*j = 4*p - 2392, -4*p + 108 = -j - 2302. Is p a multiple of 4?
True
Let n(r) = 16*r**3 - 30*r**2 - 103*r - 13. Is n(13) a multiple of 34?
True
Suppose 1774 - 294 = 4*x. Suppose 0 = -5*f + 4 + 6, -2*d + 4*f = -26. Suppose 22*v = d*v + x. Is v a multiple of 29?
False
Suppose -5*l - 30 = 0, 3*f - 3647 - 4630 = -3*l. Does 79 divide f?
True
Let d = 5239 + -3895. Is 32 a factor of d?
True
Let u(j) = j**3 - 31*j**2 + 21*j - 46. Let g be u(32). Suppose -6*q - 16*q + g = 0. Does 5 divide q?
True
Let d(h) = 2*h**2 + h + 6. Let x be d(3). Suppose 31*v + 8 = x*v. Does 20 divide 0/(v/(-2)) - (-119 + 9)?
False
Suppose 102*j + 35029 - 89191 = 0. Is j a multiple of 29?
False
Let y = -4382 + 7279. Suppose -2*t - 631 + 1794 = -3*l, -5*t - 3*l = -y. Does 77 divide t?
False
Let q = 61 - 57. Suppose o - 4*o = -p + 517, 2068 = q*p + 4*o. Suppose p + 203 = 2*h. Is h a multiple of 47?
False
Let x(o) = o**2 + 27*o + 53. Let p be x(-25). Suppose 2*c = -p*s + 490, -4*c + 980 = 16*s - 17*s. Does 7 divide c?
True
Suppose 6*y = 13 - 1. Suppose -4*f - y*q - 317 = -9*f, -f + q + 61 = 0. Does 5 divide f?
True
Suppose v + 17 = 5*k + 4*v, -4*v = 4. Let s be -3 + (9/18)/(2/20). Suppose -o + 2*l = s, 0*o - k*l = -4*o + 8. Is 2 a factor of o?
True
Let m = 986 + -641. Suppose -6*v - 3*o = -3*v - 36, 4*o - 21 = -v. Suppose -12*d + v*d = -m. Is d a multiple of 20?
False
Let x(w) = -6*w + 8. Let f be x(-4). Suppose -4*j + 36 = -5*z, -z - 2*z - f = -5*j. Let d(v) = 4*v**2 + 2. Is d(j) a multiple of 10?
False
Suppose 0 = -38*h + 45*h - 42. Let t(i) = 30*i + 5. Does 4 divide t(h)?
False
Let g be 3/(-6) - -17*2/(-4). Let z be (-6 - g) + 2 + -1. Suppose -242 - 190 = -z*p. Does 27 divide p?
True
Is (-1506)/(-3) + 27/(-45)*-15 a multiple of 7?
True
Suppose 0 = -3*o - 12 + 48. Suppose 17*a + 1225 = o*a. Is (4/(-14))/(5/a) a multiple of 5?
False
Let r(t) = 17*t - 26. Let i be r(6). Suppose 54*p + 22594 = i*p. Is 21 a factor of p?
False
Suppose 16*y - 13*y - 42 = 0. Let c = -2 + y. Is 14 a factor of (-63)/c*224/(-6)?
True
Let j(c) be the second derivative of -5*c**4/6 + 2*c**3 + 20*c**2 - 15*c. Let y be j(-5). Let k = 383 + y. Does 25 divide k?
False
Let u be (-12)/18*-6 - -13. Suppose 0 = -u*n + 1519 + 3360. Is n a multiple of 7?
True
Suppose 3345 = 3*w - 2*i, -4*w + 3*i + 4638 - 178 = 0. Let o = w - 751. Does 4 divide o?
True
Suppose 2*u - 4*m - 10 = 0, -10*u + 26 = -7*u + 5*m. Is ((-2)/(-8))/(u/84) + 89 a multiple of 13?
False
Let p = -502 - -506. Suppose 3*m - m = 4*a + 1390, -2767 = -p*m - 5*a. Does 9 divide m?
True
Let y(o) = 0*o - 11 + 10*o**3 - o - 3*o - 3*o - 11*o**3 - 26*o**2. Is y(-26) a multiple of 19?
True
Let z = -210 - -222. Suppose z*o - 4059 = 7017. Is 13 a factor of o?
True
Let y(q) = -q**3 + 23*q**2 + 35*q + 56. Let c be (-8 + 12)/(5/50*2). Does 11 divide y(c)?
False
Is 8 a factor of 11 + -12 + 11 - -14439?
False
Let j(z) = -z + 14. Let w be j(-10). Let u(l) = l**3 - 24*l**2 - 2*l + 10. Let q be u(w). Let x = 79 + q. Is 6 a factor of x?
False
Let r(a) = -41*a - 73. Let z be r(-18). Let h = -374 + z. Does 49 divide h?
False
Suppose -355 - 104 = -27*z. Suppose -z*s - 9*s = -15600. Does 50 divide s?
True
Suppose -1556*h + 1498*h = -34510. Is 48 a factor of h?
False
Let v be 16/(-120) + (-96)/(-45) + -2. Is 11 a factor of v - (-534 + -1) - 7?
True
Let v = 874 + -877. Does 10 divide (81 - 4)/(v/(-6))?
False
Suppose 20*x - 21*x + 170 = -3*b, -5*b = x - 130. Suppose -4*g = -20, 5*i - 3*g = -1810 + 5115. Suppose 2*r - 177 = -2*k + x, -2*r - i = -4*k. Does 19 divide k?
False
Suppose 0 = -6*y + 5*y + 5. Let t be 5/((-2)/(-4)*y/(-85)). Let r = t - -241. Is r a multiple of 14?
False
Let o be (2786/21*-6)/1. Is 10 a factor of (-1)/3*(o - -16)?
True
Let l = 52991 - 30325. Is 7 a factor of l?
True
Let m be (91 + -2)/1 + -8 + 11. Suppose 4*w = -o + 12, 3*o - 3*w = -w + m. Suppose -4*q = -20, q - o = 2*b - 239. Is 36 a factor of b?
True
Let t = 122 - 122. Does 50 divide t - ((-1)/(-5) + 1757/(-35))?
True
Suppose -20*q = -56*q + 3132. Suppose 85*j = q*j - 416. Does 8 divide j?
True
Suppose 2*z + 5*m = 661, 2*z = 4*z - 4*m - 688. Let y = 494 - z. Is y a multiple of 26?
True
Suppose -4*c = 5*j - 26359, 0 = -2*c - 5*j + 4842 + 8345. Is c a multiple of 4?
False
Suppose -z - 13 = -4*v, 4*v + 45 = 5*z + 6*v. Suppose z*u + 3*u = 8*u. Suppose u = -3*k - 6*k + 1098. Does 26 divide k?
False
Suppose -5*l - 17*f = -23*f + 164, 4*f - 166 = 5*l. Does 3 divide (9 - (-4 - l))*-2?
True
Suppose 67*l - 64*l = 12. Is 3 a factor of (522/(-24))/((-1)/l)?
True
Suppose 4*f + 3 = f, 5 = 5*b + 5*f. Let w(a) = 43*a**3 - 2*a**2 + 8*a - 11. Is w(b) a multiple