) = -t**2 - 6*t - 14. Let q be r(-4). Is 10 a factor of o(q)?
False
Suppose 4*q - g = 9*q - 18, -4*q + 5*g + 26 = 0. Suppose q = s - 8. Is 4 a factor of s?
True
Let n = 141 + -124. Suppose n*r + 40 = 22*r. Is 2 a factor of r?
True
Suppose -1 = -4*b + 11. Suppose 2*d + 75 = -b*x + 336, x = 5*d + 70. Is 25 a factor of x?
False
Let u = -215 - -102. Let v = 165 + u. Is 17 a factor of v?
False
Let d(q) be the second derivative of -q**5/20 - 17*q**4/12 + 5*q**3/2 + 23*q**2/2 - 17*q. Does 10 divide d(-18)?
False
Suppose -2 = 4*t - 14. Suppose -2*f = 2*a + 71 - 223, 0 = 3*f - t*a - 246. Let d = f + -43. Is 9 a factor of d?
True
Let i = 234 - -249. Does 20 divide i?
False
Suppose 6*b = 11*b + 30. Is (4/(-2))/((b/81)/2) a multiple of 9?
True
Is (-1881)/(-66) + (-3)/2 a multiple of 27?
True
Suppose -m - 25*j + 24*j = -254, -4*j = -5*m + 1234. Does 25 divide m?
True
Let f(t) = 4*t**3 - 6*t**2 + 4*t - 7. Let y be f(5). Suppose 2*l - y = -l. Is l a multiple of 16?
False
Suppose -2*m + 8 = k - 2, -m - 4 = -4*k. Let h be 1/(((-2)/15*-3)/2). Suppose h*z = z, -g + 15 = -m*z. Is 15 a factor of g?
True
Is 16 a factor of (-12)/((-3199)/(-644) + -5)?
True
Is 45 a factor of (40/16)/(2/192)?
False
Let a = 727 - 82. Does 43 divide a?
True
Suppose -4*w = 2*r - 32, 2*r = -3*r + 2*w + 80. Is r a multiple of 8?
True
Let d be 3/6*(2 + -2). Suppose -5*p + h + 68 = d, 0 = 3*p + 4*h - 23 - 4. Let t(z) = z**2 - 13*z + 14. Is t(p) a multiple of 3?
False
Let f = 1135 - 265. Is f a multiple of 48?
False
Let o = 2961 - 1222. Is o a multiple of 41?
False
Let q(w) = 6*w**3 + 11*w**2 + 7*w + 6. Let u(c) = c**3 + c**2 + c. Let a(d) = -q(d) + 5*u(d). Let h be 6/(-2) - 9/3. Is a(h) a multiple of 3?
True
Let g be 1/2*(2 + 120). Let a(j) = g*j**2 + 0*j + 3*j - 2*j. Is 22 a factor of a(-1)?
False
Suppose 4*k - 3544 = -3*u, -2*k + u - 4*u + 1766 = 0. Is k a multiple of 11?
False
Let u be (23 - 22)/((-1)/21). Is 3 a factor of (-176)/(-14) + u/(-49)?
False
Let m = 373 + -51. Is m a multiple of 14?
True
Let i = -1631 - -3639. Suppose -3*h - 4*u + 1192 = 0, -3*h - 2*h + 4*u = -i. Suppose 2*j - 4*l - 178 = 0, -2*l + l = -5*j + h. Does 23 divide j?
False
Let y(u) = u**3 + 8*u**2 + 10*u - 10. Let n be y(-6). Suppose -38 = -n*r + 4. Is 7 a factor of r?
True
Suppose 5*v - 9 - 6 = 0, -4*p - 4*v + 1068 = 0. Is 3 a factor of p?
True
Let s = 957 - -67. Does 12 divide s?
False
Suppose -876 = 37*c - 6463. Does 10 divide c?
False
Let y = -60 + 175. Let h = y + -66. Does 22 divide h?
False
Let o be (6/4)/(1*(-18)/(-84)). Suppose 52 = 4*m - 4*x, -2*x = 4*m - o*x - 49. Is m a multiple of 3?
False
Suppose 9*b = 15*b - 1530. Let f = b - -1. Is f a multiple of 16?
True
Suppose 10483 = 15*x - 28937. Does 12 divide x?
True
Let q(j) = -10*j**3 - 2*j**2 - 2*j. Let h be q(-1). Is 8 a factor of 6/h + 74/10?
True
Let k(b) = 2*b**2 - 3*b + 3. Suppose 0 = 5*y + 2*l - 4, 3*l + 2 = -7. Let j be k(y). Suppose -312 = -j*q + 3. Does 21 divide q?
True
Let m = -1234 - -2764. Does 102 divide m?
True
Suppose -31 = -x - 4*q, 2*q + 107 = 13*x - 10*x. Does 3 divide x?
False
Suppose -6 = 4*q + 10. Is 14 a factor of q*(-17 + 1 + 2)?
True
Suppose 3*d + 313 + 320 = 0. Let w = d - -387. Is 11 a factor of w?
True
Suppose 2*u - 3*r + 839 = 6*u, 4*r - 4 = 0. Is 59 a factor of u?
False
Let g(q) = -q**2 + 2*q - 21. Let l(n) = -n**2 + n - 10. Let p(u) = 3*g(u) - 7*l(u). Suppose 0 = -3*i - 7 + 16. Does 20 divide p(i)?
True
Suppose 60 + 176 = 2*f. Let t = f - 42. Is 8 a factor of (-2)/3 + t/6?
False
Let c(p) = -7*p**2 + 11*p - 16. Let h(t) = 15*t**2 - 23*t + 32. Let x(y) = -13*c(y) - 6*h(y). Is x(6) a multiple of 22?
True
Let p(s) = s**2 - 10*s + 1. Let f be p(4). Let y = 28 + f. Suppose 72 = -c + y*c. Is c a multiple of 3?
True
Let b(s) = -s**3 - 7*s**2 + 2*s + 16. Let m be b(-7). Suppose -8*t = -m*t - 30. Suppose -t + 36 = n. Does 7 divide n?
False
Suppose w = 3*m - 0*w + 278, -3*m + 3*w = 270. Is 2/(m/24 + 4) a multiple of 3?
True
Let f = -6 + -17. Is 21/(-14)*2*f a multiple of 23?
True
Suppose j = 3*j + 10. Let k = -50 + j. Let u = -19 - k. Does 14 divide u?
False
Let i = 65 - 51. Let p = 90 - i. Is 25 a factor of p?
False
Is (1*-3)/((-60)/1280) a multiple of 4?
True
Suppose -2*a - 4 = 0, -2786 = 2*n - 4*n - 4*a. Suppose 8*f = -3*f + n. Does 20 divide f?
False
Suppose 0 = -4*w - 69 - 11. Does 5 divide ((-116)/(-20) + -4)/((-6)/w)?
False
Let j(y) = -y**3 + 5*y**2 + y + 6. Suppose 6*r - 32 = -2. Let h be j(r). Let s = h - 8. Is s a multiple of 2?
False
Suppose 2 = -5*g - 4*h - 6, -4*h - 8 = -4*g. Let b be g*1/(4 + -2). Is 12/(-6) - (-35 + b) a multiple of 17?
False
Let u(v) = 210*v - 84. Is 12 a factor of u(4)?
True
Suppose 0*n + 45*n = 50220. Is 18 a factor of n?
True
Let z(y) = 3*y**2 + 23*y + 25. Let l be z(-11). Is 32 a factor of -4 - l/(-1 + -2)?
False
Let k(x) be the third derivative of -1/6*x**3 + 0*x + 5*x**2 + 0 - 7/60*x**5 - 1/120*x**6 - 1/8*x**4. Is 5 a factor of k(-7)?
True
Suppose -3*a + 568 = -2*a + 4*g, -10 = 5*g. Suppose 5*i - 304 - a = 0. Is 16 a factor of i?
True
Let m = 3452 - 2192. Is m a multiple of 19?
False
Suppose 111 = -4*v + 5*v. Suppose -6*z + 2*z - 252 = 0. Let g = z + v. Is g a multiple of 16?
True
Let q(i) = 9*i**2 - 44*i - 14. Is 10 a factor of q(6)?
False
Let k be 2 - -65*33/3. Suppose k = 4*q - 5*v, 0 = 3*q - 4*q - v + 186. Suppose -3*s = -3*l - l - q, 0 = 4*s - 5*l - 243. Is s a multiple of 17?
False
Suppose -16*i + 3851 = -25589. Is 114 a factor of i?
False
Let p(y) = -y**2 + 2*y + 39. Let z(w) = w - 1. Let u be z(1). Is p(u) a multiple of 23?
False
Let a = -30 + 24. Let i be 27/a + 3/(-6). Let f = -2 - i. Is f a multiple of 2?
False
Let q(d) = 3*d**2 + 20*d + 23. Is q(-13) a multiple of 45?
True
Let c = -17 + 25. Suppose m + 4 + c = -w, -4*w - 3 = -m. Let h(n) = n**3 + 8*n**2 - 13*n - 4. Does 16 divide h(m)?
True
Let c(z) = 18*z + 49. Let y be c(5). Suppose -n = -6*n - 410. Let j = y + n. Is 23 a factor of j?
False
Suppose 2*a = 2*o - 1958, -89*o = -84*o - 4*a - 4895. Is o a multiple of 45?
False
Suppose -2*m + 1058 = 2*j + 92, -3*j - 1911 = -4*m. Is 15 a factor of m?
True
Let q(h) = -h**3 + 2*h**2 + 4*h - 1. Let i be q(3). Let v(n) = -4*n + 3*n + 0 + 0 + i. Does 2 divide v(-6)?
True
Suppose -67*o - 6*o = -31463. Is 21 a factor of o?
False
Let q = 532 + 172. Does 55 divide q?
False
Suppose 18*v + 30429 = 41*v. Is v a multiple of 9?
True
Let v(r) be the first derivative of r**3 - 3*r**2/2 - 6*r - 6. Let h be v(-3). Let f = h + -18. Is f a multiple of 4?
True
Let t be (-664)/(-5) - 1/(-5). Suppose 340 = -t*x + 138*x. Does 25 divide x?
False
Let a be (2 - 0)/(-6*(-7)/63). Let b = -5 + 11. Suppose s = 3*h + 3, b*s - 25 = a*s + 5*h. Does 7 divide s?
False
Let i be (-2*2/12 - 0)*-3. Does 9 divide (4 + i - 1)*(-90)/(-8)?
True
Suppose -2*o + 6 = 0, -2*w + o = -4*w + 97. Does 44 divide w?
False
Is 10/4*(-1824)/(-120) a multiple of 14?
False
Let h be -4 + -4*2/(-4). Is 9 a factor of (h - 1)*138/(-18)?
False
Suppose -898 = -3*w - 2*n + n, 4*n = -3*w + 883. Suppose -4*a - 657 = -5*d, a + w = -a - 3*d. Let t = 226 + a. Is 19 a factor of t?
False
Let o = 139 + -109. Suppose -22*u = -16*u - o. Is u a multiple of 3?
False
Let a = -31 + 50. Let n(m) = m**2 - 19*m + 4. Let s be n(a). Is 3 a factor of (4 - 0) + 5 - s?
False
Let j = -360 + 536. Does 16 divide j?
True
Let p = 675 - 383. Is p a multiple of 5?
False
Suppose -4*d = 9*g - 7*g - 266, -219 = -3*d + 5*g. Is 10 a factor of d?
False
Let x = 3758 - 2582. Is 5 a factor of x?
False
Suppose -3 = -c - 1. Suppose o - 32 = -s, 4*o + c*s - 116 = s. Is 7 a factor of o?
True
Suppose 2*y + 0*y = 0. Suppose y = -2*r + 1 + 7. Suppose -r*w - 23 = -71. Is w a multiple of 5?
False
Suppose -510 = -0*d - 17*d. Is 6 a factor of d?
True
Suppose 4*y + 8 + 0 = 4*g, 8 = -2*y + 4*g. Suppose -2*z + 3*w = -y*w - 48, 2*z + 3*w = 48. Is 8 a factor of z?
True
Is 7 a factor of ((-34)/24 - (-8)/(-24))*-44?
True
Let l be (10 - 9)/(2/6). Let u(j) = 2 - l - 3 - 5*j. Is u(-3) a multiple of 3?
False
Let a(j) be the third derivative of j**4/2 - j**3/2 + j**2. Let x = -644 + 652. Is a(x) a multiple of 19?
False
Suppose -2*f - 2*f = -2*w + 478, 702 = 3*w - f. Suppose 5*p - 525 = -i, -p - p - 5*i = -w. Suppose -4*q - n = n - 92, 4*q + 5*n - p = 0. Is q a multiple of 17?
False
Suppose -4*s - 5*m = -560, 2*