*2 - 10*p - 6. Is d(3) a multiple of 4?
False
Suppose 0 = -5*f - p + 131, 56 = 2*f - 0*f + 4*p. Suppose -f - 103 = -3*c. Is 12 a factor of c?
False
Let y be (18/(-22) - -1) + 140/77. Suppose 5*p + 6 = -4*k - 9, -y*p - k - 6 = 0. Does 8 divide (7/p - -1)*(-21 + 15)?
True
Suppose -14*g + 72 = -8*g. Suppose u = g - 9. Is u/12 - 3114/(-24) a multiple of 32?
False
Suppose 7224 = 30*w - 15426. Is 5 a factor of w?
True
Suppose 52*u + 155739 - 1296110 - 246573 = 0. Is 14 a factor of u?
False
Let o(p) = p**2 - 7*p + 5. Suppose -55*m = -57*m - 80. Let d = m + 47. Is 4 a factor of o(d)?
False
Let x(y) = 16*y**3 + 4*y**2 - 2*y - 2. Let w be x(1). Does 4 divide 3 + 1*(-4)/(w/(-228))?
True
Suppose -4 = -p + 2*f, 0 = -4*p - 2*f - 3*f - 23. Let m be 4*-1 + 32 + (4 - p). Suppose 190 - m = 13*b. Is b a multiple of 12?
True
Suppose 5*i + p - 580 = 0, i + p - 107 = -p. Let h = i - -51. Does 20 divide h?
False
Let j = -887 - -1319. Let f = j - 225. Does 6 divide f?
False
Let q(z) be the third derivative of 11*z**4/24 + 5*z**3 - 37*z**2. Is q(14) a multiple of 23?
True
Let k be 3 + 5/(-10)*4 - -2. Suppose -5*f + 760 = -5*i, -5*f + 392 = -3*i - 374. Suppose 109 = k*n - 5*o, 5*o - f = -5*n - 0. Is 14 a factor of n?
False
Let t(s) = 637*s + 9542. Is t(81) a multiple of 13?
True
Let o be 1265/(-20)*(0 - 4). Let a = o + -33. Is a a multiple of 22?
True
Suppose -19093 - 13669 = -37*r - 8712. Is r a multiple of 26?
True
Suppose 0 = 3*v - 19 + 49. Let q = -14 - v. Does 24 divide 3 - (-3 - q)*1*-141?
True
Let k(n) = 7*n**2 + 7*n + 18. Let f be k(6). Let z = f + -223. Is z a multiple of 5?
False
Let u be (-6)/21 + (-111)/(-21). Suppose i - 4 = -0*i, 2*i + 497 = u*w. Is 5 a factor of w?
False
Let y(a) be the first derivative of 31*a**4/24 - a**3 - 29*a**2/2 + 43. Let h(f) be the second derivative of y(f). Is 9 a factor of h(6)?
True
Let z(s) = 1576*s + 856. Is 8 a factor of z(5)?
True
Is -611*(-2 - -7)/((-21)/231) a multiple of 13?
True
Let y = 116 + -112. Suppose -y*a = -31*a + 6129. Is 8 a factor of a?
False
Suppose -f - 158 = 21. Let z = f - -190. Is 2 a factor of z?
False
Let b(f) = f**3 - f**2 - 8*f + 5. Let c be b(3). Let j be (c/3)/((-7)/126). Let l(a) = a**2 + 2*a - 25. Is l(j) a multiple of 3?
False
Let r be (6/(-4))/((-12)/(-456)). Let x = r - -61. Does 2 divide (-2)/x*(6 - 12)?
False
Let z = -50 + 55. Suppose 6*y + 9 = z*y. Let i(s) = -s + 47. Is i(y) a multiple of 16?
False
Let r(y) = 8*y - 13. Let f be r(2). Suppose 4*g + 0*b = -f*b + 540, -5*g + 694 = -b. Is 37 a factor of g?
False
Suppose 3*k - 2*y - 1747 = 0, 10*k - 13*k - 2*y = -1763. Suppose 6*i - k = 3*i. Does 13 divide i?
True
Suppose -5*q - 2*h = 0, h = -2*q + 5*h + 24. Let k(a) = 159*a**2 - 28*a + 3. Is k(q) a multiple of 41?
False
Is 4 a factor of (-16)/40 + (1 - 42282/(-30))?
False
Let g be (55/(-3))/(2/(-24)). Let a be (9/21)/3 - (-3 + 154/49). Suppose a = 3*t + 4*r - 30 - 110, 4*t = 3*r + g. Is 21 a factor of t?
False
Suppose 3*t + 6166 = 5*j, -4*j + 211*t + 4934 = 208*t. Is 28 a factor of j?
True
Let q(r) = -37 - 6*r**2 - 44 - 8*r + 1 + 24*r + r**3 + 0*r**3. Is 5 a factor of q(9)?
False
Let v = -16 + -12. Let d be 984/10 + v/70. Let w = 76 + d. Does 40 divide w?
False
Let o be 1 - 1 - (2 + -6). Suppose -o*b - 19 = -2*i - b, 5*i - 4*b = 30. Suppose p + 3 = 2*x + 14, 5*p + i*x - 31 = 0. Is p a multiple of 3?
False
Let u(j) = -j**2 + 19*j + 52. Suppose 4*f - 135 = -71. Is u(f) a multiple of 20?
True
Let d = 591 - 591. Let f(h) = 3*h**3 + 14*h**2 - 17*h - 49. Let b(o) = -o**3 - 5*o**2 + 6*o + 16. Let u(l) = -11*b(l) - 4*f(l). Is 11 a factor of u(d)?
False
Let b be ((-1986)/(-24) - 0)*4. Suppose o - 15*a + 16*a - b = 0, -2*a = -5*o + 1648. Does 11 divide o?
True
Suppose 5866 = 3*h - 6324 + 3550. Does 20 divide h?
True
Let d(g) = -g + 2. Let q(t) = -2*t**3 - 2*t**2 - 23*t + 11. Let a(s) = 6*d(s) - q(s). Is 11 a factor of a(7)?
False
Suppose 89*n - 91*n - 128 = 0. Let a = n + 74. Suppose a*r = 15*r - 1120. Is 32 a factor of r?
True
Suppose 5 = -z - 3*j + 4*j, 0 = 4*z - 3*j + 15. Let w(r) = 2*r. Let s be w(z). Is 3 a factor of -2*(-11 - s) - 4?
True
Let p = -5457 + 8264. Is p a multiple of 7?
True
Suppose -11*v = -3*v - 48. Suppose v*k - 8 - 10 = 0. Does 8 divide -2 - (k + -2)*-14?
False
Let i(y) = -y**3 - 14*y**2 - 4*y + 12. Let a(v) = 17*v**2 - 4*v - 14 - 9*v**2 - 9*v**2. Let o be a(0). Is i(o) a multiple of 34?
True
Let u = -73 - -74. Let y be u*(28/8)/(1/26). Let i = 135 - y. Is 22 a factor of i?
True
Let a be (22/66)/(1/6 - 0). Let d(p) = -136*p**2 + p + 4. Let k be d(a). Let y = 761 + k. Is y a multiple of 47?
False
Let a(i) = -4*i**2 + 4 + 2*i**2 + i + 5. Let n be a(-4). Is 9 a factor of (5/(-1))/5*n?
True
Is 40 a factor of (10/(-12)*14)/(((-306)/(-5616))/(-17))?
True
Let i(y) = -y**3 + 5*y**2 + 27*y + 7. Suppose -112 = -20*o + 6*o. Is 4 a factor of i(o)?
False
Suppose -y - 2*t = -2673, 4*y - 2*t - 10692 = -6*t. Does 33 divide y?
True
Suppose -17*s = -68*s - 3213. Is 74 a factor of (-12)/14 + (-113013)/s?
False
Suppose 9*o - 157 = -1147. Let y = 166 + o. Is y a multiple of 8?
True
Suppose -305*j - 894 = -308*j. Suppose -11*p = -13*p - 2*c + j, p - 139 = c. Does 9 divide p?
True
Let f(s) = 29*s + 28*s - 24 - 58*s + s**3 + 16*s**2. Is f(-13) a multiple of 16?
True
Let o = -262 + 990. Does 23 divide o?
False
Let v(u) = 2*u + 3. Let k(z) = -74*z + 24. Let w(c) = -k(c) + 6*v(c). Let l(b) = b**2 - 13*b - 13. Let o be l(14). Does 10 divide w(o)?
True
Let a(x) be the first derivative of 31*x**4/4 - x**3/3 + 15*x**2/2 - 22*x - 270. Is a(3) a multiple of 103?
False
Let z(g) = -g**3 + 11*g**2 - g + 4. Suppose -4*l + 21 = -23. Let s be z(l). Let p(f) = 4*f**2 + 19*f. Does 21 divide p(s)?
True
Let i be 4/(-9) - (-22)/9. Suppose -c = -2*h - 13, 0 = i*c - 8*h + 11*h - 54. Is c a multiple of 3?
True
Suppose 5*o - 136 = -116. Suppose -4*n + 1920 = 16*c - 13*c, o*n + 2*c - 1924 = 0. Does 32 divide n?
False
Let y(x) = -x**3 - 15. Let j be y(0). Let t be ((-896)/(-10))/(j/(-75)). Suppose -5*q - t = -9*q. Is q a multiple of 29?
False
Let b = -6949 + 24825. Is b a multiple of 135?
False
Let k = -64 + 58. Let w be k/(-4) + 9/2. Suppose -2*q + 70 = w. Does 4 divide q?
True
Let t = 31 - 27. Suppose 0 = -d + x + 15, t*d + 2*x - 15 = 3*d. Suppose 3*u = -2*u + d. Is u even?
False
Let w(a) be the first derivative of -a**3/3 + 3*a**2 + 6*a + 10. Let d be w(6). Suppose -3*c = -d*c - 3*r + 36, 5*c - 2*r = 46. Is 10 a factor of c?
True
Let m be (-108)/(-8) - 21/(-14). Let i = 259 + -136. Is 41 a factor of 40/m*(i - 0)?
True
Suppose 0 = -f - 5*q + 5781, 88*q = 90*q - 2. Is 91 a factor of f?
False
Let c be ((-18)/12)/(2/(-48)). Suppose -6 + c = 6*s. Suppose -y - 4*w + 92 = 0, 0*w = -s*w - 25. Does 14 divide y?
True
Suppose -256 = -5*y + 3*l, -3*y = l - 2*l - 156. Let h = 173 - y. Does 16 divide h?
False
Let y = 13689 - 7635. Is 7 a factor of y?
False
Let g = 4299 + 5421. Is 135 a factor of g?
True
Is 6300/(-120)*(-408)/10 a multiple of 126?
True
Suppose 4*m = 2*z - m - 128, 5*z + 5*m = 250. Let t = z + -11. Suppose 468 = -t*l + 46*l. Does 13 divide l?
True
Suppose 2*j + 47 + 69 = 0. Let p = -28 - j. Suppose -p = -4*w - 5*l - 5, -24 = -5*w + l. Is 2 a factor of w?
False
Let y(u) = -u**2 - u + 1. Let g(t) = t**3 - 4*t**2 - 10*t + 41. Let w(z) = g(z) + 5*y(z). Does 48 divide w(12)?
False
Is 1120/(-448)*218/5*(-17 + 1) a multiple of 16?
True
Let c be (1/(-1) + -4)/(-2 + 1). Suppose 6*d + 2*w - 185 = d, 0 = d + c*w - 60. Let h = d - 25. Is 10 a factor of h?
True
Let m(a) = -26 - 3 - 43 + 12 - 10*a. Let b(p) = 4*p + 24. Let n(r) = 12*b(r) + 5*m(r). Does 12 divide n(-12)?
True
Suppose 3*l + b - 190 = 0, -5*l + 0*l + 313 = -2*b. Let s = 36 - l. Is (-5796)/s - 8/(-6) a multiple of 24?
True
Let p(k) = -3*k**3 + 11*k**2 + 15*k. Let u(n) = 8*n**3 - 33*n**2 - 45*n. Let r(i) = -11*p(i) - 4*u(i). Does 22 divide r(-7)?
False
Let o be (64/(-40))/((-12)/(-30)). Let s be (4/2)/((-2)/15). Is (1 - o)*(-228)/s a multiple of 19?
True
Let o(j) be the third derivative of -1/30*j**5 + 0*j + 0*j**4 + 0 + 15*j**2 + 5/8*j**6 + 0*j**3. Is 17 a factor of o(1)?
False
Let y(u) = -2*u + 54. Let p be y(26). Let g be ((1 - (p - -1)) + 4)*2. Suppose -133 = -g*i - 25. Is i a multiple of 9?
True
Suppose -4*z - 1121 = -8*z + q, 4*z - 1127 = -q. Suppose 3*p + 353 = 4*v,