+ 91. Is 18 a factor of r?
True
Is 6 a factor of 8/(-6) + (-246)/(-9)?
False
Let k(m) = 7*m**2 - 37*m - 229. Is k(-14) a multiple of 11?
True
Suppose -z + 636 = 3*z. Suppose y - 4*f - 53 = 0, 3*y + f = 6*y - z. Is 11 a factor of y?
False
Is 66 a factor of 197043/63 - (-6)/(-9)?
False
Let s(w) = -6*w**3 - 6*w**2 + 4*w - 5. Let p be s(-5). Suppose -3*j + p = 2*j. Does 23 divide j?
True
Suppose 4*g + 3*h - 980 = -h, -3*h = -4*g + 1015. Let w = g + -162. Is w a multiple of 5?
False
Suppose 4*h - 4085 = -q, 0 = 7*h - 9*h - 5*q + 2065. Is h a multiple of 15?
True
Let g = 240 - -192. Is 21 a factor of g?
False
Suppose 16 = b - 4*q, 4 = -2*b + 5*q + 21. Let w(j) = -j - 11. Let t(y) = 10*y + 100. Let l(z) = -6*t(z) - 55*w(z). Is 25 a factor of l(b)?
True
Let l(t) = 2*t - 20. Let c(k) = -k + 10. Let i(u) = 5*c(u) + 2*l(u). Let q be i(10). Let b(h) = h**2 + h + 46. Does 12 divide b(q)?
False
Let i = 4 - 0. Suppose 3*q - i*b - 76 = 0, 71 = 3*q - 3*b + 4*b. Let u = -15 + q. Is 3 a factor of u?
True
Let k(w) be the first derivative of 3*w**3 - 3*w**2 + 2*w + w**3 - 3*w**3 - 2. Does 9 divide k(4)?
False
Suppose -3*d + 18*h + 1569 = 0, -4*h + 2*h = 3*d - 1509. Is 21 a factor of d?
False
Let t = 122 - 118. Suppose -t*d + 116 = 2*i, -4*i - 212 = -8*i + 2*d. Is 6 a factor of i?
True
Let y(b) = 184*b - 60. Is 10 a factor of y(10)?
True
Let j(y) = 172*y**3 - 2*y**2 - 9*y + 13. Is j(2) a multiple of 10?
False
Let y = 237 - 145. Suppose l - z + 28 = -3*z, -2*l + 5*z - y = 0. Let a = 54 + l. Is 7 a factor of a?
False
Let f(u) = 11*u**2 - 3*u - 3. Let o(a) = -23*a**2 + 6*a + 7. Let m(b) = 7*f(b) + 3*o(b). Does 6 divide m(-2)?
False
Let t be (4/(-12))/((-2)/1356). Suppose 3*h - 4*s - 221 = 0, -3*h + 2*s + t = -3*s. Is 27 a factor of h?
False
Let j = 6310 + -4252. Is j a multiple of 21?
True
Suppose -4*m + 8*m = 12. Suppose 0*p + 9 = 3*p + 2*z, -m*p + 9 = -z. Suppose 0*j - 132 = -p*j. Does 11 divide j?
True
Let v = -3 - -8. Let b = -3 + v. Suppose -2*t - b*t + 300 = 0. Is t a multiple of 25?
True
Let t(v) = -v**3 + 13*v**2 + 14*v - 4. Let g(x) = -x**2 - 8*x + 2. Let n be g(-6). Let w be t(n). Does 4 divide (0 + 12)*w/(-3)?
True
Does 2 divide (-7 - -51) + 6 + -6?
True
Let m = -500 + 720. Is 15 a factor of m?
False
Let w = 2334 - 1662. Suppose 9*h - w = h. Is 21 a factor of h?
True
Suppose -302 = 3*k + 2*r, r = -3*k - 3*r - 310. Let y = k - -168. Does 33 divide y?
False
Let o = 1138 + -389. Let l = o + -522. Does 36 divide l?
False
Let l(r) = -r**3 + 7*r**2 + 8*r + 3. Let t be l(8). Suppose 386 - 38 = t*u. Does 26 divide u?
False
Let r(h) = 5*h + 6. Let u be r(0). Let c = 50 - u. Is c a multiple of 12?
False
Let w(f) be the first derivative of f**2/2 + 12*f - 19. Does 12 divide w(0)?
True
Suppose 5*p = -o + 24, 2*p + 2 - 6 = o. Suppose 3 = -p*g - 5. Does 13 divide ((-5)/g)/((-5)/(-30))?
False
Let l = -8 - -10. Suppose -l*q = 2*y - 70, q - 3*y = -0 + 51. Does 32 divide q?
False
Is 28 a factor of 3/9*2 + 3018/9?
True
Let y(c) = -2*c**2 - 86*c - 11. Is 43 a factor of y(-39)?
True
Let s be (-2)/6 - 55/(-3). Let w be 0/(-2)*16/16. Suppose -z + 38 = 3*r, w*r = -r - 3*z + s. Does 6 divide r?
True
Let m be (48/12)/(2 + 0). Suppose 25 = m*t + 5*h, 5*t + 5*h - h = 71. Is t a multiple of 3?
True
Let v(i) = 8*i**2 + 3. Let x be v(3). Let u = -48 + x. Is 9 a factor of u?
True
Let r = -65 + 99. Let o(c) = 18*c - r*c + 12*c + 1 + 4*c**2. Is 2 a factor of o(2)?
False
Let z(t) = 5*t + 46. Does 11 divide z(15)?
True
Suppose -39 = -4*a - u - 4*u, -21 = -3*a - u. Suppose a*b = 2*b + 144. Is 9 a factor of b?
True
Does 3 divide ((-4)/2 - 242)/(-4)?
False
Suppose 2*d + 2*n - 6*n = -82, 0 = -3*n + 12. Let b = d + 56. Is b a multiple of 3?
False
Suppose 0 = -4*i + 8*i - 1320. Suppose 5*d = 165 + i. Is d a multiple of 33?
True
Is 185 + 2 - (4 - 4) a multiple of 17?
True
Let l be (-598)/(-14) + (-2)/(-7). Suppose 3*w - 4*w - l = 0. Let c = 74 + w. Does 19 divide c?
False
Suppose -174*k + 238*k = 302336. Is 70 a factor of k?
False
Let f(r) = 3*r**3 - 4*r**2 - r - 5. Let h be f(4). Suppose -125 - h = 2*u. Let o = u - -188. Does 11 divide o?
True
Let o = -3 - 17. Let g = o - -48. Is g a multiple of 8?
False
Let f = -19 - -21. Does 14 divide 268/f*(-8)/(-16)?
False
Suppose 8*z - 10 = 6. Does 33 divide (-6 + 0)*(-3 - 5/z)?
True
Let f = -10 - -12. Suppose 2 = f*t + 14. Does 16 divide (3*21)/(t/(-4))?
False
Suppose -5*r = 5*l - 3290, -8*l = 2*r - 9*l - 1322. Is r a multiple of 66?
True
Suppose 2*i - 5 + 27 = -5*p, 2 = -2*i. Let k(m) = 10*m**2 - 3*m - 1. Let w be k(p). Let x = w - 91. Is 20 a factor of x?
True
Suppose 4*j + 4*c = 44, 0 = 5*j - 0*c + 2*c - 61. Let q = j + -10. Is 13 a factor of -78*-2*q/12?
True
Let o(w) = 8*w + 10. Let q be 23/7 - (-22)/(-77). Let m be o(q). Suppose -15*a = -16*a + m. Is a a multiple of 13?
False
Let y = 227 + 823. Is 14 a factor of y?
True
Suppose -3*j + j = -4*n + 12, 0 = -n + 3. Let w = j - -32. Is w a multiple of 16?
True
Suppose 38 = -43*t + 42*t. Let j = 22 - t. Does 12 divide j?
True
Let a(g) = 20*g - 2. Let q(u) = -41*u + 5. Let o(d) = -5*a(d) - 3*q(d). Suppose 6*k = k + 15. Is o(k) a multiple of 32?
True
Suppose -608 = -18*i + 166. Suppose -2*x + 2 = -2*b, -x + 5*x = 20. Suppose b*u - i = -q, 9*q = 4*q - 5. Is 9 a factor of u?
False
Suppose -3*a + 3*v + 2400 = 2*a, -2400 = -5*a + 5*v. Does 20 divide a?
True
Suppose 5*w = 3*w + 572. Let j(n) = 2*n**2 - n - 15. Let x be j(7). Suppose x = -5*l + w. Does 14 divide l?
True
Let r be (-28)/(-8)*(-36)/(-14). Suppose -r*x + 1940 = x. Is x a multiple of 16?
False
Suppose -21 - 43 = -8*d. Is d - -31 - (0 + 2 - -1) a multiple of 6?
True
Suppose -7*w + 10*w - 12 = 0. Let v = w - 1. Suppose 2*o = -v*o + 45. Is 7 a factor of o?
False
Let u be 4/8 + 133/2. Let n be 4/6 + u/3. Let s = n + -12. Is 9 a factor of s?
False
Suppose -n + 2 = 4*d, 2*n + n - 6 = 0. Suppose d = -4*p - 175 + 463. Is 23 a factor of p?
False
Let j(w) = 1. Let m(s) = -s - 8. Let y(t) = 6*j(t) + 2*m(t). Let l be y(-7). Does 12 divide l/5 + (-131)/(-5)?
False
Suppose -2*s + 144 = -274. Does 19 divide s?
True
Suppose 4*n = 2*l + 44, n - 1 = -2*l + 10. Suppose 17*p = n*p + 360. Does 10 divide p?
True
Let f(u) = -3*u - 32. Let y(a) = -a - 1. Let d(g) = f(g) - 6*y(g). Does 2 divide d(12)?
True
Let g(h) be the third derivative of -7*h**4/24 - h**3/6 - 7*h**2. Let y = 37 + -42. Is g(y) a multiple of 11?
False
Let r = -22 - -12. Let i = 13 + r. Suppose -2*l + i*l = 2. Does 2 divide l?
True
Suppose 6*u - 9 = 3*u. Suppose 115 = u*s + 16. Is s a multiple of 29?
False
Is -725*(-7 + 8 - 2) a multiple of 7?
False
Suppose -20*k + 44*k - 1968 = 0. Does 8 divide k?
False
Let j(i) = -i**2 - 10*i - 14. Let l be j(-8). Suppose l = -b + 3*t, 5*b + 2 = 5*t + 22. Is b a multiple of 4?
False
Suppose -2*o - 4*u = -1704, u + 3*u = 2*o - 1744. Is 26 a factor of o?
False
Suppose -5*m = -20, 2*m + 6 = -5*p + 9. Does 14 divide ((-615)/20)/(p/4*1)?
False
Let n = 16 - 4. Suppose -n*c + 375 = -81. Does 9 divide c?
False
Let g = -9 + 6. Let d be 16/36*g*-3. Suppose 0*w = d*w + 4*z - 260, -3*w + 185 = z. Is w a multiple of 20?
True
Suppose 0 = -4*o - a + 8706, -o - 501 + 2667 = -5*a. Is o a multiple of 15?
False
Let p(n) = 4*n**2 + 10*n - 10. Let x be p(-8). Let b = 453 - x. Let q = -188 + b. Does 11 divide q?
True
Let y = -16 + 19. Suppose m - y*o - 103 = -0*m, -3*m - 3*o = -285. Is 9 a factor of m?
False
Suppose 0 = -5*u, -4*c - 160 = c - 4*u. Let t = c + -42. Does 10 divide (-3)/(18/t)*3?
False
Suppose 5*o - 2044 = z, -3153 = -5*o + 3*z - 1101. Is 17 a factor of o?
True
Suppose 4*b - b - 4*x + 9 = 0, -3*b + 12 = 3*x. Let l(c) = -3*c**3 - 11*c**2 - 20*c + 4. Let f be l(-2). Is 12 a factor of f*((-4)/(-4))/b?
True
Suppose -833*j = -818*j - 3105. Is 4 a factor of j?
False
Let w(x) = -x**3 - 4*x**2 + 6*x + 7. Let f be w(-5). Let i be 121/99 - f/9. Is 5 - ((-3)/(-3) - i) a multiple of 5?
True
Suppose 3 = -4*h + 2*f + 5, -4*f = h - 23. Suppose -h*c + 31 = -38. Is c a multiple of 6?
False
Let p(g) = -g**3 - 20*g**2 - 36*g. Let n be p(-18). Suppose 320 = 3*v - 9*t + 4*t, n = 2*v + 2*t - 224. Is 21 a factor of v?
False
Let z be (-940)/(-15) - (-16)/12. Let x = 20 + z. Is x a multiple of 14?
True
Suppose 4*g = 16 + 32. Suppose 14*a = g*a + 104. Is a a multiple of 5?
False
Does 28 divide -6 + (-3)/