(d) = 81*d - 18. Does 30 divide y(8)?
True
Suppose 3*o - 4 - 85 = 5*i, 0 = o - 5*i - 33. Let z be (-4)/(-10) - o/(-5). Is (z + -9)/(3/(-43)) a multiple of 10?
False
Suppose 5*i + 4*h = 59, -2*h + 23 = 2*i - h. Suppose 7*t = 25 + 66. Let j = t - i. Does 2 divide j?
True
Let q(p) = -5*p - 10. Let u(a) = -a**3 - 8*a**2 - 13*a - 12. Let z be u(-6). Does 10 divide q(z)?
True
Let f = 4 - 1. Let s(k) = 1 - 3*k + 5*k + 1 - 5. Is 3 a factor of s(f)?
True
Suppose 2*g = n + 2*n - 225, 0 = 2*n + g - 143. Suppose 5*k + 5*w - 175 = 0, 2*w - w + n = 2*k. Is k a multiple of 9?
True
Let q = 13 - 12. Let u be q/4 + (-327)/(-4). Suppose -3*g = -g - u. Is g a multiple of 15?
False
Let f = 758 + -207. Suppose -3*a = y - 141, 3*a = -3*y + f - 104. Is 17 a factor of y?
True
Suppose h + 3*r - 5*r - 74 = 0, 0 = 2*h - 2*r - 154. Does 10 divide h?
True
Let g(q) = 75*q + 24 + 53*q - 23 - 19*q. Is 16 a factor of g(1)?
False
Let p(h) = h**3 - 3*h**2 - 2*h - 4. Let k be p(4). Suppose -g + k = 0, -486 - 306 = -5*i + 2*g. Does 20 divide i?
True
Suppose r - 3*r + 4 = 0. Suppose -10 = 5*a, 0*h + 5*a - 12 = r*h. Let w = 23 + h. Is w a multiple of 8?
False
Let a = 31 - 13. Let c = a - 13. Suppose 0*h = -c*h + 95. Is h a multiple of 7?
False
Suppose 5*c - 243 = 2*v - 913, -3*c = 5*v - 1644. Is 33 a factor of v?
True
Let o = -69 - -113. Does 4 divide o?
True
Let z(x) = x**2 + 40*x + 42. Does 7 divide z(-47)?
True
Let p be (-107)/7 + 2/7. Let h be p/(-6)*76/10. Let x = 34 - h. Does 5 divide x?
True
Is 526 - -4 - (1 + -6) a multiple of 74?
False
Let y(o) = 22*o - 50. Does 17 divide y(27)?
True
Suppose -5*c - 37 = -2*i - 11, -4*c = 2*i - 26. Suppose 5*f = i + 2. Suppose -5*j + 440 = h - f*h, 3*j = 5*h + 264. Is j a multiple of 12?
False
Suppose -4*a - 1042 = -8*a + 3*j, -2*a + j = -520. Is a a multiple of 9?
False
Is (-77290)/(-90) + (-2 - 40/(-18)) a multiple of 13?
False
Suppose 0 = 4*t - t + 5*a - 23, 5*a - 29 = -4*t. Suppose y = 79 + t. Is y a multiple of 17?
True
Suppose -6035 = -4*v + 2045. Let m be 4/18 + v/(-18). Is (-4)/(-10) + m/(-20) a multiple of 6?
True
Is 89 a factor of 552*(4 + (2 + 3)/(-5))?
False
Let m = 684 - 361. Is m a multiple of 17?
True
Let t(p) be the first derivative of -p**3/3 - 15*p**2/2 - 9*p + 2. Is 25 a factor of t(-9)?
False
Let h(v) = v**2 + 10*v - 131. Does 3 divide h(-18)?
False
Let d be ((-13)/13)/((-2)/42). Suppose -5*g + 63 = 3*b, 5*g + 2*b = 46 + d. Is g even?
False
Suppose 4*m + 3*f - 2*f = 15, 14 = 4*m + 2*f. Suppose -b + 13 = 5*o - m*o, 0 = 2*o - 10. Let h(j) = -j**3 + 8*j**2 + 2*j - 7. Is h(b) a multiple of 3?
True
Suppose 2*b = 3*k - b - 702, 5*b - 482 = -2*k. Is k a multiple of 2?
True
Let b be (12/(-4))/3*-3. Suppose -q - b*j + 7 = -4*j, -q - 13 = 4*j. Suppose -2*y + 278 = 3*y - 4*g, -y = -q*g - 60. Does 28 divide y?
False
Suppose -4*a + 2*d + 18 = -0*d, 15 = 3*a - 2*d. Let j be (a - 12/2)/(-3). Is (-1 + -1 - j) + 67 a multiple of 11?
False
Is (-22)/143 + 1984/52 a multiple of 6?
False
Let t(f) = f**2 + f + 5. Let s be t(0). Suppose -s*x + 3*x = -6. Suppose 16 = x*g - 2. Is 2 a factor of g?
True
Let t = 0 + 29. Let v = t + -8. Let j = v + -11. Is j a multiple of 5?
True
Suppose 17*r - 19*r = -34. Is 3 a factor of r?
False
Suppose -23 = -2*a + 67. Suppose 111 = 13*x - a. Does 2 divide x?
True
Let f(q) = 8*q**3 - 8*q**2 + 38*q - 190. Is 86 a factor of f(7)?
False
Let w = -200 - -308. Suppose -5*n = 0, 7*j = 4*j - 2*n + w. Is 3 a factor of j?
True
Let v(y) = -11 + 9*y**2 - 23 - 3*y**2 - 4*y + y. Is v(-8) a multiple of 25?
False
Suppose 2*u = -132 - 30. Let k = u + 114. Is k a multiple of 14?
False
Suppose -3*p - 3*j - 4 = 308, -4*p - 2*j = 406. Let l = -43 - p. Suppose -4*f + l = 5*h + 9, -3*f = 4*h - 35. Is f a multiple of 9?
False
Let h(u) = -606*u - 711. Does 10 divide h(-6)?
False
Suppose -4*l + 2*w - 215 + 1523 = 0, 3*w - 320 = -l. Suppose -10*q - 4*q = -42. Suppose 0 = -q*n + l - 77. Is n a multiple of 13?
False
Let m be (68 + -9)/(1*-1). Let l = m - -84. Suppose 5*i = -0*i - l, -3*v + i = -188. Does 14 divide v?
False
Suppose -2 = z - b, -5*z - 3*b + 8 = -22. Suppose 15 = -2*h - z*h. Let c = 56 - h. Is c a multiple of 22?
False
Suppose -6*r = -8*r - 112. Is 10 a factor of (6/12)/((-1)/r)?
False
Suppose 4*g + 168 - 18 = p, -5*g = 4*p - 516. Let v = p - 63. Does 11 divide v?
False
Let g(s) = -s**3 + 10*s**2 - 7*s - 8. Let o be g(9). Suppose -q + o + 2 = 0. Suppose 4*f + q = -h, -5*h + 2*f - f = -24. Is h even?
True
Let i(f) = -3*f + 20. Let x(s) = s**2 - 4*s + 6. Let l be x(4). Does 2 divide i(l)?
True
Let n = 3825 + -428. Does 74 divide n?
False
Let p be (0 + -4)/(1*-2). Let k(h) = h**2 - p - 4 + 10. Is k(-4) a multiple of 10?
True
Let h(j) = -j**3 - 17*j**2 + 17*j - 1. Let f be h(-18). Suppose 5*w - 41 = -4*o, -3*o + 5 = 2*w - f. Is o a multiple of 3?
False
Is 29 a factor of 5688/21 + (-2)/(-14)?
False
Let u(d) = d**3 - 6*d**2 + 3*d - 2. Let n be u(4). Let l = -6 - n. Is l a multiple of 3?
False
Suppose y = p - 50, 0*y - 146 = -3*p + 5*y. Suppose 0 = -2*l + o + 10, -3*l = 3*o + 1 + 2. Suppose 5*a = p + l. Is 11 a factor of a?
True
Let b(q) = -23*q - 2*q - 8*q + 36 - 6*q. Does 12 divide b(-4)?
True
Does 12 divide (-320)/(-60)*45/10?
True
Suppose 22*b - 885 - 2327 = 0. Is b a multiple of 3?
False
Let u be (-4 + 6)*74/(-4). Let m be (52/10)/((-18)/(-315)). Let p = m + u. Is 18 a factor of p?
True
Let a be 9/18 + 17/2. Let x be 18/3*6/a. Suppose -3*z + 29 = -x. Does 3 divide z?
False
Let u(h) be the first derivative of 9*h**2/2 - 15*h - 1. Let y = 38 + -32. Is u(y) a multiple of 10?
False
Does 20 divide 47/(-4)*(-113 + 33)?
True
Let h(l) = -l**3 - 13*l**2 + 17*l + 13. Let a be h(-15). Suppose -5*z - 2*m - m = -324, 3*z - 5*m = a. Is z a multiple of 28?
False
Is 44 a factor of (3/2)/((-1)/(-88))?
True
Let k(z) = z**3 + 19*z**2 - z + 6. Is 5 a factor of k(-19)?
True
Suppose -172*s = -173*s + 1080. Is 27 a factor of s?
True
Let x be (0 + 9)*30/9. Suppose 0 = 2*p - 0*p - x. Does 5 divide p?
True
Suppose -13 - 57 = -5*z. Is 15 a factor of (14 - 3)/(2/z)?
False
Suppose -4*j - 5*k + 15 = j, 5*k = -4*j + 13. Let m(a) = 28*a**3 + 21*a**2 - 3 + 2 + a - 22*a**j. Does 12 divide m(1)?
False
Suppose 5*p + 692 = 2*i, 2*p + 3 = -5. Does 33 divide i?
False
Suppose 4*d + 12 = 4*t, 2*t = -2*t - d + 22. Let p(v) = 3*v**2 + 6*v + 13. Is 14 a factor of p(t)?
False
Let p(c) = -c**2 + 5*c + 11. Let m be p(5). Suppose -268 = 7*i - m*i. Does 25 divide i?
False
Let n(d) be the third derivative of d**5/30 + 7*d**4/24 - d**3/6 - d**2. Let x be n(-5). Does 22 divide (-2)/x - (-4096)/56?
False
Let k(w) = 5*w + 3. Let x(s) = -21*s - 12. Let h(l) = 26*k(l) + 6*x(l). Let p be h(-5). Is (15 - 13)/((-1)/p) a multiple of 21?
False
Let z(m) = 24*m. Let h be z(1). Let x(s) = -4*s**2 - 4*s - 2. Let u be x(-2). Let l = u + h. Is l a multiple of 7?
True
Suppose 4*y - 627 = s, s = -5*y + 6*s + 780. Is 6 a factor of y?
False
Suppose 5*b - 52 = 18. Suppose 15*k - 109 = b*k. Let t = 205 - k. Is t a multiple of 24?
True
Let k(h) = h**3 + 7*h**2 + 2. Let x be -4 + 0 - (0 - -2). Let l be k(x). Let p = 106 - l. Is 27 a factor of p?
False
Let f(l) = 5*l**2 + 10*l + 7. Let y be f(-5). Does 11 divide (-6 + 4)/(-4)*y?
False
Let u(y) = y + 6. Let c be u(6). Let k = 14 - c. Suppose -5*t + 3*x = -0*x - 222, 2*x + 92 = k*t. Is 9 a factor of t?
False
Suppose -36*v + 161 + 163 = 0. Is v a multiple of 4?
False
Let m(y) = 2*y**2 - 16*y. Let b be m(10). Suppose -7*r + b = -2*r. Is r a multiple of 5?
False
Let j(u) be the second derivative of -u**4/12 - 7*u**3/6 - u**2 + 10*u. Is j(-5) a multiple of 8?
True
Let v(m) = -1391 - 3*m - m**2 + 1395 + 3*m**2. Is 36 a factor of v(8)?
True
Suppose -1102 = -4*w - c, -4*w = 2*c - 1230 + 126. Is w a multiple of 45?
False
Is 1/5 + (-404760)/(-200) a multiple of 46?
True
Suppose 4018 = 396*c - 389*c. Does 41 divide c?
True
Let x(q) = 76*q - 5. Let y(i) = -152*i + 9. Let n(k) = -11*x(k) - 6*y(k). Let o(d) = -76*d - 2. Let m(a) = 6*n(a) + 5*o(a). Is 12 a factor of m(1)?
True
Suppose 4*o - 880 = -204. Is o a multiple of 5?
False
Is (-8)/(-52) + (-215425)/(-325) a multiple of 17?
True
Let j = 8 + -9. Let r = j - -16. Let n = r - 7. Is 3 a factor of n?
False
Suppose -876 - 1384 = -20*m. Is 2 a factor of m?
False
Let k(v) = -v**2 + 5*v + 2. Let w be k(5). Let p(f) = 