103 + n. Does 8 divide i?
False
Let k = -647 + 1438. Is k a multiple of 9?
False
Let j(b) be the first derivative of b**6/360 + 2*b**4 + 4*b**3/3 + 1. Let h(q) be the third derivative of j(q). Does 10 divide h(0)?
False
Suppose 0 = -42*o + 9*o + 46695. Is 74 a factor of o?
False
Let o(k) = -9*k + 12. Let r(v) be the first derivative of -5*v**2 + 11*v + 5. Let x(b) = 6*o(b) - 7*r(b). Does 30 divide x(4)?
False
Let d(s) = -s**2 - 6*s + 8. Let y be d(-7). Let t(p) = -p. Let h be t(y). Is 855/27 + h/(-3) a multiple of 20?
False
Let y(x) = -x**2 + 8*x - 10. Suppose 2*m + 3 - 13 = 0. Let i be y(m). Suppose -2*d + 3*d = -i*b + 52, -2*d - 2*b = -80. Does 16 divide d?
False
Suppose 5*o - 3*i + 5 = 0, 0 = -2*o - 4*i + 1 + 23. Let k be 1*-2*(1 - o). Suppose 2*n + 4*s = 42, 0 = -4*n - 2*s - k*s + 104. Does 14 divide n?
False
Let f(t) = 7*t - 9. Let r(v) = -7*v + 8. Let q(u) = -2*f(u) - 3*r(u). Suppose 9 - 27 = -6*l. Does 5 divide q(l)?
True
Let j(o) = 3*o**3 - 28*o**2 + 42*o + 22. Is j(10) a multiple of 3?
True
Suppose -3*r + 3*v = -24, 4*v + 0 = 4. Let l = r + -5. Suppose w = -y + 20, -l*w + 3 = 19. Does 8 divide y?
True
Suppose -82*r = -97*r + 3885. Is r a multiple of 35?
False
Suppose 25*g - 2655 = -430. Is 32 a factor of g?
False
Let k be 211/6 - 1 - 23/138. Let v(z) = z**3 + 6*z**2 - 3*z - 6. Let y be v(-5). Let i = y + k. Is i a multiple of 27?
False
Does 17 divide 190 + 2 + 0 + -5?
True
Suppose -14*u + 17*u - 2*g = 5, -2*u - 10 = -4*g. Let z be (-123)/(-2) + (-1)/2. Suppose 2*w + a + 10 = z, a + 145 = u*w. Is w a multiple of 8?
False
Suppose -4*j = -9*j - 20. Is -3*(-1 + 4)*j a multiple of 18?
True
Let q = 12 - 7. Suppose 0 = 2*g - 4*v + 2, 8*g + 47 = 5*g - 5*v. Is 7 a factor of (q + -4)*1 - g?
False
Does 16 divide (13035/(-20))/(180/32 - 6)?
False
Let i(a) = -2*a. Let y = 22 - 23. Let u be i(y). Let o(n) = 33*n - 2. Does 25 divide o(u)?
False
Let h(w) = w**3 + 4*w**2 + 2*w - 4. Let v be h(-3). Let m = -9 + v. Let u = m + 21. Is u a multiple of 11?
True
Let x = -4354 + 7857. Does 6 divide x?
False
Let z(y) = -y**3 - 14*y**2 - 13*y + 5. Suppose 5*g + 40 = -25. Let c be z(g). Suppose 3*i + 0*j = -j + 28, c*j = 5*i - 80. Does 8 divide i?
False
Let r(x) = x + 9. Let t be r(-10). Let g be (-14)/(2 + -4) + t. Suppose -73 = g*l - 271. Is l a multiple of 11?
True
Suppose 7540 = -2*y + 12*y. Is y a multiple of 13?
True
Suppose -4*h + 17 - 9 = 0. Suppose -h*u + 3*y + 53 = 0, u - 3*y - 35 = -1. Is 3 a factor of u?
False
Suppose 19*u = 8*u - 11. Let b(x) = x**2 + x. Let v(s) = 9*s**2 - 6*s - 1. Let p(d) = 4*b(d) + v(d). Is 7 a factor of p(u)?
True
Suppose 4*t + 88 = 3*t. Let p = t + 119. Is p even?
False
Suppose 10 = d - 6*d. Is ((-3)/d)/((-42)/(-2828)) a multiple of 10?
False
Let r = -24 + 26. Suppose r*p - 81 = v, 131 = 4*p + 2*v - 51. Does 10 divide p?
False
Let g(a) = -7*a - 2. Suppose -2*m + d + 27 = 0, 0 = -2*m - 3*m - 2*d + 45. Let r = m - 17. Is g(r) a multiple of 10?
True
Let c = -7 - -9. Suppose -4*k - h + 289 = 0, 0 = -4*k + c*h + 130 + 144. Suppose -2*t = -a - 29, 2*t - 7*t + a = -k. Does 14 divide t?
True
Suppose -3*p - 3 + 0 = 2*r, -p - 23 = -3*r. Suppose -3*v - 252 = -r*v. Is v a multiple of 12?
True
Let i be (2/3)/(6/45). Let a be 2/(-2 - (-48)/23). Suppose -4*c + i*z + a = 0, -5*z + 49 = c + c. Is c a multiple of 3?
True
Let s(b) = -11*b**3 - 4*b**2 - 3*b + 1. Does 2 divide s(-1)?
False
Suppose -16*n + 0*n + 896 = 0. Does 28 divide n?
True
Let k(r) = r**2 - 6*r + 3. Let m be k(5). Let g = m + 11. Does 11 divide (-17)/(15/g - 2)?
False
Let k(u) = 7 + 0 + 2 - u. Let p be k(7). Suppose 5*i - 143 - 3 = -p*t, -t - 92 = -3*i. Is 10 a factor of i?
True
Let p(q) be the second derivative of -95*q**3/6 - 3*q**2/2 + 17*q. Is 32 a factor of p(-2)?
False
Let o(l) = 6*l**3 + l**2 - 8*l + 7. Suppose 5*u - i + 6*i = 5, 5*u = 3*i + 21. Is o(u) a multiple of 11?
True
Let h = -67 + 72. Is 4 a factor of 374/110 - (-3)/h?
True
Let o(t) be the third derivative of t**4/12 + 4*t**3 - 35*t**2. Does 11 divide o(-6)?
False
Suppose -3 = -2*r + c, 4*r - 5*c + 9 = -0*c. Suppose r*l = -2*v + 472, -4*l + v + 472 = 6*v. Suppose -3*m = 2*f - 66, -6*f + m = -2*f - l. Does 10 divide f?
True
Let a be 20 - (-3 + (6 - 5)). Suppose -a*y - 280 = -27*y. Is y a multiple of 5?
False
Let o be (-4*(1 - -7))/((-18)/(-342)). Let i = -433 - o. Is i a multiple of 26?
False
Suppose 0 = -a + 3*a - 1598. Suppose 111 = 5*g - a. Is g a multiple of 19?
False
Suppose -n - 4*r + 1727 = 0, -49*n + 51*n + r = 3454. Is n a multiple of 68?
False
Suppose -2*v + 0 = 10. Let w = v + 7. Suppose 3*h + 2*t + 3*t - 174 = 0, -w*h = -4*t - 94. Is 17 a factor of h?
False
Let i(p) = 2*p**2 + 2*p - 4. Let l be i(2). Let a(h) = -h**2 + 7*h. Let f be a(l). Let v(w) = -w**2 - 9*w + 7. Is 15 a factor of v(f)?
True
Suppose 691 = 7*t - 65. Is 7 a factor of t?
False
Suppose 39 + 6 = o. Suppose 3*u + o = 324. Is u a multiple of 33?
False
Let f(p) = -p**3 - 4*p**2 - 2*p + 1. Let d be f(-2). Let s be -3*1/d + 2. Is 5 a factor of (1/(-2))/(s/(-66))?
False
Let v(r) be the third derivative of r**4/24 + 17*r**3/6 - 9*r**2. Let b be v(-12). Suppose 0*x = -b*x + 375. Is x a multiple of 18?
False
Let r(d) = -59*d - 3. Does 25 divide r(-1)?
False
Let r be (-57)/(-95) - (-1177)/5. Suppose 0 = -4*l + r + 756. Is l a multiple of 12?
False
Let q = 52 + -48. Let o(k) = k**3 + 5*k - 4. Is o(q) a multiple of 10?
True
Let t be 16*36/(-8) + -4. Let d = -42 - t. Is 6 a factor of d?
False
Suppose -2*q + 18 = -b + 6*b, 0 = 5*b + 5*q - 15. Let n = b - -1. Suppose -n*m + 491 = -3*s, 2*m - s = 2*s + 191. Is m a multiple of 25?
True
Suppose 50*p - 208 = 48*p. Does 8 divide p?
True
Suppose 5*h + 25*g - 26*g - 685 = 0, 527 = 4*h - 5*g. Is h a multiple of 11?
False
Let b = 60 - -11. Is 2 a factor of b?
False
Let l = 747 + -698. Does 4 divide l?
False
Suppose 5*t - 2121 = 954. Is 41 a factor of t?
True
Let f(y) be the second derivative of -y**5/20 - 2*y**4/3 - 4*y**3/3 + y**2/2 + 11*y. Let u be f(-7). Does 12 divide u + ((-24)/(-3) - 4)?
True
Let l = 29 - 21. Let k(t) = -7*t + 2*t**2 - 1 - 3*t - 9 + 0*t. Does 19 divide k(l)?
True
Let u(z) = -z**3 - 5*z**2 - 8*z - 5. Let a be u(-3). Is 693/21 + -3 + 0/a a multiple of 3?
True
Let f = 41 - 6. Suppose -3*w + 230 = f. Is 13 a factor of w?
True
Does 21 divide 4/(-18) - 134096/(-306)?
False
Let b(r) = r**3 - 10*r**2 - 12*r - 7. Suppose 2*v + 2*a - 12 = 4*a, 5*a = 3*v - 12. Let k be b(v). Let i = -140 - k. Is 14 a factor of i?
True
Let w = 36 - 31. Suppose 4*m + 228 = 2*z, w*z - 2*z - 2*m - 322 = 0. Is z a multiple of 13?
True
Let t be (-6*2/9)/(6/(-1998)). Does 40 divide (-1)/(6/15)*t/(-15)?
False
Let l(v) = -22*v + 3. Let z be l(7). Let a = z + 337. Suppose 4*r - a = -5*m - 35, -3*r = -3*m - 93. Is 17 a factor of r?
True
Let i(j) = 61*j**2 + j + 7. Does 35 divide i(3)?
False
Let o(a) = 2*a**2 - 3*a. Let m be o(3). Let d be 19/3 - (-6)/m. Let t = d + 0. Is 3 a factor of t?
False
Does 35 divide 499/3*(-26 - -29)?
False
Let g(s) = -2*s**2 + 38*s - 34. Let j be g(18). Does 28 divide ((-12)/8*j - -4)*161?
False
Suppose -5*q + 31 = 4*x, -x - 3*x + 19 = q. Let o(h) = 17*h + 3. Let s(l) = 322*l + 56. Let g(w) = q*s(w) - 56*o(w). Does 27 divide g(4)?
False
Let s(k) = -10*k + 4. Suppose 2*q - 8*q = 66. Is 19 a factor of s(q)?
True
Let z(n) = n**2 + 3*n - 9. Let l be z(6). Does 3 divide (-2)/9 + 550/l?
True
Let k = 260 + 311. Is k a multiple of 60?
False
Let s(v) = -v**3 - 11*v**2 - 30*v - 31. Is 13 a factor of s(-11)?
True
Let z be (-45)/(-6) - (-6)/(-4). Suppose 619 = -z*g + 103. Does 15 divide (-2)/(-1 + g/(-90))?
True
Let k be 5 + 1 + -4*(-1)/(-4). Suppose 2*g = -3*y - 0*g + 86, 0 = 2*y - k*g - 70. Does 6 divide y?
True
Let t(n) = -3*n - 9. Let b be t(-4). Suppose -3*x + 45 = 3*q, 60 = b*x - 3*q + q. Is x a multiple of 9?
True
Suppose 0 = 2*q - 3*n - 1114, 2239 = 4*q - 5*n + 15. Does 16 divide q?
False
Let h(x) = -22*x - 32. Is 12 a factor of h(-8)?
True
Suppose 58 = 12*y - 20798. Does 6 divide y?
False
Let b(o) = -13*o**2 + 2*o**2 + 637 - 648 + o**3 - 9*o. Suppose 5*d - 2*g - 66 = 0, -3*d + 4*d - 24 = 4*g. Is 4 a factor of b(d)?
False
Let u = -75 + 153. Suppose 3*v - v - 2*m = u, -122 = -3*v + 2*m. Is 22 a factor of v?
True
Let m(v) = -26*v - 193. Is m(-12) a multiple of 27?
False
Let p(k) = 10*k - 1. Let u = 