 = t. Is 39 a factor of y?
False
Let d(n) = 22*n**2 - 3*n - 4. Let p be d(-4). Let y be p/5 - 4/2. Suppose -18*m + y = -13*m. Is m a multiple of 5?
False
Suppose -2*x + t = 1, 3*t = -3*x + 6 - 3. Let h be (0 - -1) + 2 + x. Suppose h*w = -3*r + 402, 5*r + 13 + 2 = 0. Is 14 a factor of w?
False
Does 145 divide 37975300/2700 + 6/81?
True
Is 114 a factor of 26687 + 5*(-220)/100?
True
Let f(y) = y + 1. Let z(j) = 2*j - 3. Let m(k) = 3*f(k) - z(k). Let s be m(-5). Does 5 divide (4 + (-72)/28)/(s/7)?
True
Suppose -3*o - o - 5*y = -843, 3*y - 9 = 0. Suppose -20*v = -527 + o. Does 8 divide v?
True
Suppose -26*s + 28520 = 30*s - 25*s. Is s a multiple of 5?
True
Let v(p) = 2*p**2. Let a be v(-2). Suppose -2*t + a*t - 6 = 0. Let o = 38 - t. Is 3 a factor of o?
False
Suppose -5*t - 4*p = -2068, 4*p + 1728 = 4*t - 2*p. Is t a multiple of 21?
True
Let v(b) be the second derivative of -11*b**3/2 - 37*b**2/2 + 75*b. Is v(-3) a multiple of 8?
False
Let i(m) be the third derivative of m**5/15 + 35*m**4/12 - 11*m**2. Is 6 a factor of i(-18)?
True
Suppose -4*w - 15480 = 4*w. Let h = w - -3265. Is 19 a factor of h?
True
Suppose -k + 7*k = -8*k. Suppose f = -k*f, -5*s - 3*f = -1615. Does 19 divide s?
True
Let s = -32788 + 88732. Does 28 divide s?
True
Let g = 50532 + -13865. Is g a multiple of 25?
False
Let x = 46 + -41. Let c be 2 - x - (-8 + 0). Suppose -i - c*i = -54. Is 7 a factor of i?
False
Let u(y) be the first derivative of 18*y + 1/4*y**4 + 3 - 11/2*y**2 + 11/3*y**3. Is 4 a factor of u(-12)?
False
Let a = 12 - -146. Suppose -p + 4*i - 88 = -2*p, -2*p = 2*i - a. Suppose 0 = h + 47 - p. Is h a multiple of 7?
False
Let c(q) = 16*q - 163. Let s(a) = -2*a**2 + 5*a + 24. Let i be s(4). Does 8 divide c(i)?
False
Let l(u) be the second derivative of 231*u**3 - 33*u**2 - 48*u. Does 20 divide l(1)?
True
Let v be 26/8 + (-2)/8. Suppose 13*f = -5*f + 370 - 316. Suppose -v*i = 2*x - 47, 10 = -f*i - 3*x + 58. Is 15 a factor of i?
True
Let a(k) = 5*k**3 + 3*k**2 + 17*k + 12. Let q(x) = -14*x**3 - 10*x**2 - 50*x - 38. Let p(t) = 8*a(t) + 3*q(t). Does 85 divide p(-9)?
False
Suppose 0 = 4*m - 4*k - 8, 4 - 8 = -3*m + 2*k. Let f(d) = m*d + 64*d**2 - 64 - 65*d**2 - 23*d. Does 33 divide f(-13)?
True
Let o = 34 - 34. Is 8 a factor of (8 + 12 + o)*(-34)/(-5)?
True
Let p(b) = -627*b**3 + 5*b**2 - 25*b - 55. Is 236 a factor of p(-3)?
False
Is 3 a factor of (2/(-2))/(-9*(-4)/(-24660))?
False
Let l(j) = j**3 - 2*j**2 - j + 7. Let r be l(3). Suppose 0 = r*n - 4*n - 45. Is 6 a factor of n/(-10)*0 - -70?
False
Suppose 89 = 4*r + 17. Suppose r = 7*t - 3. Suppose 2*z = t*x - 152, -8*x + 6*x + 106 = z. Is 13 a factor of x?
True
Let p = -114 + 19. Let l = p + 95. Suppose -540 - 276 = -4*g + 2*r, -3*g - 2*r + 626 = l. Does 18 divide g?
False
Let a be ((-1)/(-3))/((-2)/12). Let g(r) = r**3 + 4*r**2 + 9*r - 1. Let q(k) = 2*k**3 + 5*k**2 + 8*k - 1. Let t(w) = a*q(w) + 3*g(w). Is 5 a factor of t(-5)?
False
Is 28/8*(-101636)/(-14) a multiple of 48?
False
Let p(j) = 2*j + 13. Let l be p(-6). Let t(n) = -12*n + 147*n**2 + 3*n + l - 4 + 7*n. Does 24 divide t(-1)?
False
Let o be 1981 + 14 - -4*(2 + -3). Suppose -o = -d - 706. Is d a multiple of 32?
False
Let k = 95 - 88. Suppose -4*m + 75 = q, 2*q - 70 = -k*m + 3*m. Is m a multiple of 10?
True
Let u = 66 + -66. Suppose -k + 7 + 31 = u. Is k a multiple of 3?
False
Let w = 41 - 39. Suppose -6*t + 2*t - 82 = -2*x, 4*x - w*t = 158. Is 6 a factor of x?
False
Let u be ((-10)/(-20))/((-1)/(-1316)). Suppose 0 = -2*p - 3*i + u, 0 = 2*p - 5*i - 664 + 38. Does 17 divide p?
True
Let c = 5757 + -2265. Does 4 divide c?
True
Suppose 3*x - 5587 = b + 11712, 5*x - 28825 = 3*b. Is x a multiple of 56?
True
Is (-60)/3*(-14)/(-35)*(-8715)/3 a multiple of 273?
False
Let q = -82 + 94. Suppose 0*o + a - q = -4*o, -2*o + a = -12. Suppose -v - i - 83 = -2*v, -o*v + 3*i + 328 = 0. Does 10 divide v?
False
Suppose -4*u = -u + 180. Suppose 2769 = 30*x - 1371. Let l = u + x. Is l a multiple of 5?
False
Suppose j + 19*j - 6573 - 14307 = 0. Is j a multiple of 9?
True
Let j = -83 + 83. Does 33 divide (15 - -18) + 1*j/(-2)?
True
Let z(m) = 327*m - 2194. Is z(37) a multiple of 19?
False
Suppose 0 = l + 4*l - x - 593, l + 5*x - 129 = 0. Suppose 2*t = u - l - 271, 2*u - 780 = -3*t. Does 13 divide u?
True
Let i(m) = 40*m**2 + 33*m - 393. Is 11 a factor of i(14)?
True
Suppose -244*j = -2171826 - 4250773 + 300151. Is j a multiple of 197?
False
Let j = -5404 - -9319. Is j a multiple of 27?
True
Suppose 0 = l - 5 + 10, -6*q = -2*l - 113980. Does 29 divide q?
True
Let x(v) = 15*v**2 + 13*v + 1. Let h(m) be the first derivative of -7*m**3/3 - 3*m**2 - 14. Let p(y) = -13*h(y) - 6*x(y). Is 9 a factor of p(-5)?
False
Let t be 2/(-5) - (2 + (-5062)/5). Suppose 2*b - 7*b + t = 0. Does 36 divide b?
False
Suppose 56*v = 57*v - 4. Let l(i) = 21*i - 8. Is 5 a factor of l(v)?
False
Let x = 34518 + -8253. Is 15 a factor of x?
True
Suppose -283*h - 1097790 + 2233933 = -1819792. Is 59 a factor of h?
False
Let n = -73 + 80. Suppose -1344 = -l - n*l. Suppose -101*a = -104*a + l. Is a a multiple of 5?
False
Suppose 4*d - 13*x = -11*x - 1628, -1222 = 3*d - x. Let l = d - -972. Does 94 divide l?
True
Suppose 55*j - 57*j - 3*c = -89943, 6*j - 3*c - 269889 = 0. Is j a multiple of 72?
False
Suppose 36647 - 37692 = -108*k + 286559. Is k a multiple of 56?
False
Suppose 2*b - 750 = 4*h, -2*b + 3*h + 752 = -2*h. Suppose 5*a - 754 = b. Is 8 a factor of a?
False
Let v(p) = 14*p + 59. Let d be v(-4). Is 65 a factor of (-3 + d - 260)/(8/(-12))?
True
Let v = -61807 + 95177. Is v a multiple of 94?
True
Is 6 a factor of 13/(-110) - (-162)/540 - 22564/(-44)?
False
Suppose -4*i - 4 = 0, i - 5 = l - 20. Suppose 24*p - l*p = 4000. Is p a multiple of 16?
True
Let w(r) = r**2 + 4*r - 10. Let k be w(-5). Let f(p) = -p - 1. Let z be f(k). Let c(n) = 2*n**2 + 2*n - 7. Is c(z) a multiple of 6?
False
Let z(o) = 14*o**2 + 74*o + 43. Is 13 a factor of z(15)?
True
Let o be ((-20)/7)/(116/(-7714)). Suppose -33*a + 36*a + 180 = 3*i, -3*i + o = -5*a. Does 5 divide i?
True
Suppose -5*l + 5*f + 7691 = f, 5*f + 7690 = 5*l. Does 19 divide l?
True
Suppose 2*j - 2*l = 200 + 64, -j - l = -136. Let z = 230 - j. Suppose n - 188 = -2*s, 5*n = s - 20 - z. Does 16 divide s?
True
Suppose 17 = 5*h + 2. Suppose -264 = -3*m - h*m. Suppose -5*v - 3*c + m = 0, -5*v = -3*c - 9 - 47. Is 10 a factor of v?
True
Let i be ((-27)/1 + -1)*-10. Let g = 9 + -5. Suppose -a + i = g*a. Does 10 divide a?
False
Let x = -6196 + 8720. Is x a multiple of 77?
False
Let r = -4430 + 8791. Is 2 a factor of r?
False
Let d = -557 + 85. Let v = d + 477. Is v a multiple of 2?
False
Let m(d) = -2*d**3 - 51*d**2 - 139*d + 1. Does 8 divide m(-30)?
False
Suppose -15271 - 18929 = -6*j. Is j a multiple of 30?
True
Let y be 8 + 7/((-49)/35). Suppose -l - y = 0, v + 96 = 5*l + 281. Does 18 divide v?
False
Suppose y - 4415 = -3*i, 3*i + 20*y = 16*y + 4412. Is 32 a factor of i?
True
Suppose 55*c = 58*c - 5*r - 17866, 4*r + 11912 = 2*c. Is c a multiple of 32?
True
Let u(l) be the third derivative of -l**4/6 - l**3/6 + 51*l**2. Suppose 5*f - 2*y = -63, 5*f - 5*y = 4*f - 31. Is u(f) a multiple of 8?
False
Suppose -2*o + 11*o - 252642 = -69*o. Is o a multiple of 178?
False
Suppose -t - 3*t = -404. Let k = t - 97. Is 3/6 + 290/k a multiple of 23?
False
Suppose 307*d - 770*d = -3152254 - 2088443. Does 21 divide d?
True
Suppose 6*f + 5*o = 10*f - 11273, -f + 5*o + 2807 = 0. Is f a multiple of 11?
False
Let y(k) = k**2 + 2*k - 135. Let h be y(0). Let t = 53 - h. Is t a multiple of 61?
False
Let w(y) = -4*y + 23. Let n be w(5). Suppose 0 = -n*p - m - 140, -5*m = 4*p - 2*m + 185. Let b = p + 65. Is b a multiple of 9?
True
Let o(z) = -105*z**2 - 11*z - 8. Let j(v) = -2*v - v - 1 + 70*v**2 + 10*v + 6. Let t(f) = 8*j(f) + 5*o(f). Does 12 divide t(1)?
True
Let s = 115 - 225. Let h = -57 - s. Let w = h - 13. Is 11 a factor of w?
False
Suppose 13*h - 5*h = -2608. Let n = h + 334. Does 8 divide n?
True
Let u(a) = 3*a**2 - 11 + 41 + 16 - 21*a. Does 32 divide u(14)?
False
Let b = -222 - -225. Is 32 a factor of (3 + -1)/(b/((-396)/(-1)))?
False
Let i = -2972 + 4150. Does 62 divide i?
True
Suppose -3*m - 4*o + 667 = -9*o, 5 = 5*o. Let h = m + -174. Does 10 divide h?
True
Let n(g) = -1 - 2*g**2 + 3*g**2 + 13*g - 