 be (-38)/(-9) + 2/(-9). Suppose 5*b + 4 = -k, 2*k = 3*k - v*b - 5. Is 1 - -1*9/k a multiple of 5?
True
Let l be 16/(-5 - -1) - 28. Let g be (1/(-2))/(8/l). Suppose -v = -g*z + 83, 142 = 3*z + 5*v - 2. Is 9 a factor of z?
False
Let z(v) = -13*v - 5. Let n be z(-5). Suppose -3*b - 70 = -2*g, 6*b - 2*b + g + 75 = 0. Let m = n + b. Is 10 a factor of m?
True
Does 7 divide (82/(-10))/((-14)/70)?
False
Let b(a) = -a**3 - 6*a**2 + a + 8. Let m be b(-6). Suppose 0*i = m*i - 76. Suppose -4*d + i = 2. Is 2 a factor of d?
False
Let k be 2/11 - 178/11. Let x = -12 - k. Suppose -x*b = -5*b + 5. Is 2 a factor of b?
False
Suppose -u = 2*z - 174, -3*z + 100 = -2*u - 161. Does 9 divide z?
False
Suppose 3*m = 1013 - 296. Is m a multiple of 11?
False
Let u(r) = -34*r**3 - 4. Is u(-4) a multiple of 6?
True
Let z be 1/(((-3)/(-30))/(-1)). Let f be (-4)/z - (-316)/10. Is (-3)/(-4) + 232/f a multiple of 8?
True
Suppose 4*q + 0*s = -5*s + 155, q + 2*s = 35. Let y = 81 - q. Is y a multiple of 6?
True
Let t(f) = -106*f + 915. Does 3 divide t(8)?
False
Suppose 2*a = 4*a + 36. Let p = 25 + a. Is 2 a factor of p?
False
Let u = 369 - 198. Let x = u - 88. Is x a multiple of 30?
False
Let s = 43 + -30. Let a(z) = 13*z. Let n be a(2). Let y = n - s. Is 11 a factor of y?
False
Let d(g) = 14*g**2 + 41*g - 13. Is 134 a factor of d(15)?
True
Let o(w) = w**2 + w - 142. Is 35 a factor of o(-27)?
True
Let c(z) = 73*z - 1. Let x be c(1). Suppose -x = -v - o, 2*v - 5*o = -2*v + 243. Is 29 a factor of v?
False
Suppose 0 = 2*r + 3*m - 16, 2 = 5*r - 5*m - 13. Suppose -2*d - 165 = -r*d. Let b = 103 - d. Is b a multiple of 16?
True
Suppose 5*a - 3946 = 3*n, -2*n + 110 = -4*a + 3268. Does 9 divide a?
False
Let q(c) = 2*c**2 + 3*c - 3*c + 28*c**3 - 8*c**3 - 3*c + 6. Is 24 a factor of q(2)?
True
Let q = 69 - -10. Suppose -3*c = -47 - q. Does 14 divide c?
True
Suppose 11 = 2*t + 2*q - 3, 5*q + 10 = 4*t. Suppose 0 = t*y - 2*y - 84. Does 7 divide y?
True
Let v = 208 - -279. Does 20 divide v?
False
Let p be (10 - 9)/((-1)/(-4)). Suppose 0 = -2*b + p*b. Suppose 22 = f - o, b*f + o = 4*f - 97. Is f a multiple of 7?
False
Let u(k) = 2*k**2 + 9*k - 7. Let l be u(-5). Is 4 a factor of 12/(-3)*(l - 3/(-3))?
True
Suppose 0 = -12*c + 2200 + 2120. Is 10 a factor of c?
True
Let u(i) = i**2 - 12*i + 12. Let w be u(8). Is 4 a factor of (-396)/w - (-1)/5?
True
Suppose 5*q - 3 - 22 = 0. Let r(g) = -g**3 - g**2 - g. Let k(w) = 3*w**2 + 5*w - 7. Let l(m) = -k(m) - r(m). Does 13 divide l(q)?
False
Let j be 296 - (-8)/(-12)*6. Let u = j - 76. Is 18 a factor of u?
True
Let s = -14 + 24. Let m be (1*2)/(s/(-15)). Let c(f) = -2*f + 1. Does 7 divide c(m)?
True
Suppose 2*o - 3930 = 2*c, c - 710 - 1251 = -o. Is o a multiple of 21?
False
Suppose -7*p + 318 = -p. Let l = -32 + p. Is 6 a factor of l?
False
Let g = -261 + 273. Does 3 divide g?
True
Suppose -2*w + 402 = 4*t + 1510, 0 = -3*w + 2*t - 1686. Let i = -326 - w. Is i a multiple of 14?
False
Let m(z) = -z**3 - 5*z**2 + 3*z - 4. Let s be m(-6). Let c = s - 15. Is (-1 + 52)/(c/(-1)) a multiple of 14?
False
Let a = 17 - 14. Suppose a*l = 8*l + 2*r - 9, 3*l = r + 1. Is 7 a factor of l/3 - (-82)/6?
True
Suppose -6*g + 2022 = 4*v - 5*g, -v + 516 = -5*g. Does 63 divide v?
False
Is 26 a factor of 100/(-32) + 3 + 4994/16?
True
Let k be (-120)/(-16)*8/5. Let n be (k/16)/(1/(-4)). Let h = 21 - n. Does 8 divide h?
True
Is 9 a factor of 2/18 + (-4211)/(-9)?
True
Suppose 16 = 4*t + 32. Does 36 divide (-2)/t + -215*3/(-6)?
True
Let f = 18 + -14. Suppose f*i + 22 = 6*i. Does 2 divide i?
False
Let j(h) = 2*h**2 - 5*h - 1. Let f be j(5). Let i = f + -45. Let v = i + 26. Is 4 a factor of v?
False
Let k = -45 - -402. Does 51 divide k?
True
Suppose 2*q - 3*w = -3*q + 268, -4*q = 5*w - 207. Is 9 a factor of q?
False
Let n(v) = v**2 - 35*v + 32. Does 16 divide n(35)?
True
Suppose 0 = 5*t - 25, -4*t = -4*s - 9 + 1. Suppose 0 = -5*p, s*p - 348 = -2*j - p. Is j a multiple of 29?
True
Let p(q) = 4*q**2 + 4*q - 4. Let a be p(-5). Let y(v) = 3*v**3 - v**2 - 12. Let h be y(5). Suppose -4*z = -i - h, a = z + 3*i + i. Is z a multiple of 21?
True
Suppose a = 5*l + 569, -5*l - 454 = 3*a + 119. Let o = 188 + l. Is o a multiple of 37?
True
Suppose 13*t - 4186 = 5057. Is t a multiple of 9?
True
Let n = 6 + 2. Suppose -5*q + n + 7 = 0. Suppose q*i - 20 = 130. Is 17 a factor of i?
False
Suppose 17 + 11 = -14*k. Let w(p) = 18*p**2 + p + 4. Does 14 divide w(k)?
False
Is (18/(-3) - -614) + 5 a multiple of 20?
False
Let i(u) = -3*u - 9. Let t(p) = -p - 11. Let s be t(-4). Does 10 divide i(s)?
False
Let d be 6/(-9)*-15*1/2. Suppose -3*y + 373 - 43 = -3*j, d*y - 532 = -j. Is y a multiple of 11?
False
Suppose 2*f = -0 - 8. Suppose 0 = 5*d - 0*u + 3*u + 426, 3*d + u = -258. Is 15 a factor of (-3)/(-18)*f*d?
False
Let s(t) = -2*t**2 - 54*t - 118. Is 3 a factor of s(-22)?
True
Suppose -6*i + 54 = 3*i. Suppose 62 = i*h - 4*h. Is 10 a factor of h?
False
Suppose 4*r = -b - 2*b - 476, -2*r + 8 = 0. Let u = b + 244. Is u a multiple of 20?
True
Let x = -1002 + 1226. Is x a multiple of 4?
True
Let l be (-1)/8*-4*0. Suppose l = -2*a - 2*a + 12. Suppose -41 + 17 = -a*w. Does 8 divide w?
True
Let k = 102 + 25. Is k a multiple of 16?
False
Let d be 0/(0 - (0 + -2)). Suppose d*r = -r + 6. Is 10 a factor of 4/r - 440/(-15)?
True
Suppose -9*l + 1160 = -4*l. Suppose 2*v + z - l = 0, 3*z + 240 = -0*v + 2*v. Suppose 0 = -4*o + v + 15. Is 11 a factor of o?
True
Let z be (-30)/9*12/(-8). Suppose z*p = 402 - 2. Does 23 divide p?
False
Let g(b) = b**3 + 25*b**2 - 25*b + 31. Let k be g(-26). Suppose 4*h + 5*a = 9*a + 104, a - 160 = -k*h. Is h a multiple of 5?
False
Let m be (195 + 1)/(1 + 1). Suppose -10 = -3*j + m. Is 25 a factor of j?
False
Is 24 a factor of (-91)/14 + 7 - (-2622)/4?
False
Suppose l + 8*f - 7*f = 261, 0 = -5*l + 4*f + 1296. Is 20 a factor of l?
True
Suppose -10*v = 3204 - 30244. Is v a multiple of 16?
True
Let x(c) = 2*c**2 + 38*c + 26. Let n be x(-18). Is 37 a factor of (-20)/4*296/n?
True
Let u(v) = 12*v**2 - v + 26. Does 11 divide u(-5)?
False
Suppose -50*u - 175968 = -102*u. Is u a multiple of 94?
True
Let v(z) = 14*z**2 - 96*z - 61. Is 4 a factor of v(12)?
False
Let r(g) = g**2 - 7*g + 8. Let p be r(6). Suppose -j = -3*j - 44. Let y = p - j. Is y a multiple of 12?
True
Let q(c) = -4*c - 31. Let m be q(-10). Suppose -m*z + 227 = -4*z - x, 0 = x - 3. Is 10 a factor of z?
False
Let h(w) = w**3 + 5*w**2 + 4*w + 4. Suppose 0*f + x = -3*f - 10, -2 = f + x. Let t be h(f). Is (1 - 0) + 108/t a multiple of 16?
False
Let p(u) = -5*u + 89. Suppose 5*r = 25, -5*b + 37 + 53 = 3*r. Does 4 divide p(b)?
False
Let p = 2980 + -1768. Does 39 divide p?
False
Let f(v) = -3 - 2*v + 4*v - v**3 + 5*v**2 - 2*v**2. Let m be f(2). Suppose l + s + 156 = m*l, 5*s = l - 39. Is l a multiple of 11?
False
Let m(o) be the third derivative of -o**5/12 - 7*o**4/24 - 4*o**3/3 + o**2. Let q(u) = -6*u**2 - 8*u - 9. Let z(k) = -5*m(k) + 4*q(k). Does 4 divide z(-3)?
True
Let i = -12 + 10. Let v be ((-42)/(-49))/(i/84). Is (v/(-4))/(-3) + 75 a multiple of 15?
False
Suppose -3*l = -g + 121, 5*g - 25*l + 26*l = 621. Is g a multiple of 62?
True
Let r be 630/40 + (-1)/(-4). Let b = r + -15. Does 9 divide 5 - (-4 - (1 - b))?
True
Let z = 0 + 5. Suppose -z*r + 3*r + 4 = t, 3*r = 5*t - 33. Suppose -411 = -t*p + 15. Is 25 a factor of p?
False
Suppose 4*s = 3*c + c - 560, 0 = -4*s - 20. Is c a multiple of 5?
True
Let t(u) be the first derivative of u**3/3 - 11*u**2/2 + 11*u + 4. Let j be t(11). Let d = j + -8. Is d even?
False
Let q(r) = 8*r - 7 - 126 + 69. Does 26 divide q(21)?
True
Suppose -6*r + 5*g + 20 = -r, 5*g + 16 = 4*r. Let b(s) = -14*s + 13*s**2 - r*s**2 + 4*s**2 + 8 - s**3 + 2*s**2. Does 4 divide b(14)?
True
Is (4/6)/((-32)/(-24))*256 a multiple of 27?
False
Let d(n) = -n - 2. Let i be d(-5). Let m be (-1 + -3 + 5)*i. Is 9 a factor of m*(3 + 18/3)?
True
Let j be (-3)/(-18)*1522*3. Is 4/(-22) + j/11 a multiple of 13?
False
Let k(h) = -h**2 + 8*h + 18. Let n(a) = -1. Let s(z) = -k(z) - 3*n(z). Let t be 1/(-4) + 98/8. Is s(t) a multiple of 33?
True
Is 25 a factor of ((-18)/30 - -1) + (-2908)/(-5)?
False
Let s(y) = y**2 + 14*y + 7. Let k be s(-12). Let i be (-40)/(-14) - k/119. Suppose c + 2*b - 24 = -2*b, -5*c + 69 = i*b. Does 6 divide c?
True
Let p