(6)?
False
Suppose 0*w - 18 = -2*w - 3*d, 3*w + 4*d - 26 = 0. Suppose w*m = 6 + 228. Suppose -37*i - 40 = -m*i. Does 4 divide i?
True
Let m be 2/((3/27)/(2/12)). Suppose -5*p - 1375 = -4*v - v, -v = -m*p - 285. Does 9 divide v?
True
Let s(v) = -v + 10. Suppose -64 = -n - 0*t + 5*t, -20 = -5*t. Let c be n/8*8/(-12). Is s(c) a multiple of 4?
False
Is 96 a factor of 3578 + (3 - (11 + 1))?
False
Suppose -75*c = -22*c - 212. Suppose -4*w + 3 = k, -4*w + 2*w = 4*k + 16. Suppose w*i = 3*h - i - 159, -h = c*i - 28. Does 5 divide h?
False
Let o(h) be the second derivative of 17/12*h**4 + 11/3*h**3 + 10*h + 11/2*h**2 + 0 - 1/20*h**5. Is 9 a factor of o(18)?
False
Suppose 5*g - 2*u - 10205 + 1935 = 0, 0 = g - 3*u - 1641. Is 18 a factor of g?
True
Let p be 49/((-6)/4 - (-10 + 9)). Let s = 231 + p. Let l = s - 86. Does 11 divide l?
False
Let j(z) = -z**2 - 22*z + 38. Suppose -16*c = -14*c + 2. Let h be (5 + -4)/(c/17). Is j(h) a multiple of 14?
False
Let l(m) = 468*m**2 + 46*m + 126. Does 150 divide l(-3)?
True
Let m be -1 - 64/(-6)*(-51)/(-34). Suppose -3*i + 4*c = -159, c = -4*c - m. Is 15 a factor of i?
False
Let i(x) = 7*x - 82. Let a be i(28). Let h = a + 50. Is 4 a factor of h?
True
Suppose -791*i = -789*i - 1792. Suppose 4*s - 304 - i = -5*r, 3*s = -5*r + 900. Is s a multiple of 12?
True
Let s(p) = 2*p**2 + 23*p - 10. Let h be s(-11). Let l = h - -126. Suppose 5*v = -0*z + 2*z - 81, 2*v + l = 3*z. Is 11 a factor of z?
True
Let b(u) = 156*u + 214. Is b(17) a multiple of 45?
False
Let u = -189 - -191. Does 4 divide (-1 - 2) + u + 44 + 1?
True
Let x(v) = 143*v**2 + 105*v + 755. Is x(-7) a multiple of 14?
False
Let u(v) = 512*v + 557. Is u(-1) a multiple of 2?
False
Let m be (-2205)/30*(-70)/3*1. Suppose 3*d = m + 4156. Is 116 a factor of d?
False
Suppose -4*a + 16 = 52. Let v(q) = -q**3 - 11*q**2 - 15*q - 16. Let g be v(a). Let z = 69 + g. Is 13 a factor of z?
True
Let s = -997 + 2443. Suppose -9*x + 3*x = -s. Does 11 divide x?
False
Let m(o) = o**2 + 18*o - 73. Suppose -2*r - 207 = 7*r. Is m(r) a multiple of 7?
True
Suppose -22481 = -36*a - 15752 + 258375. Is 105 a factor of a?
False
Let q = 8641 - 1097. Is q a multiple of 8?
True
Let z be (11/((-44)/(-156)))/(3/2). Suppose -44 = z*v - 25*v. Let x = 46 - v. Is 15 a factor of x?
True
Let v(q) = q**2 - 4. Let t be v(-3). Suppose -5*x + t*b = 445, 0 = -4*x + 3*b - 201 - 158. Let j = x - -182. Is j a multiple of 30?
True
Suppose 3*o = -2 + 68. Suppose 3*n - o + 19 = 0. Does 21 divide n/(2/(-630)*-3)?
True
Let h be (20/(-60))/(-1 - (-42)/45). Suppose 239 = -h*s + 2*y + 11002, 4*y = 3*s - 6455. Does 81 divide s?
False
Let j(y) = -2*y**2 + 6*y - 14. Let x be j(14). Let a = x + 1057. Does 49 divide a?
True
Suppose 17*x + 56160 = 22*x + 15*x. Is x a multiple of 8?
True
Suppose 4*o + 176 = -4*r, 0*r = 4*r + 5*o + 180. Let n be -1 - (r/6)/((-1)/(-3)). Suppose -23*g + 28 = -n*g. Is 3 a factor of g?
False
Let o = 2556 + -2203. Is 230 a factor of o?
False
Suppose -49*r = -42*r - 18942. Is r a multiple of 66?
True
Suppose 4*w - 455 = -w. Let n = w + -51. Let f = n + -9. Is 25 a factor of f?
False
Suppose 1286*d + 21398 = 1299*d. Is 19 a factor of d?
False
Suppose 4*m = 2*f - 355 + 65, -2*m + 290 = 2*f. Suppose -4*w - w = 4*o - f, -58 = -2*w + 4*o. Is w a multiple of 6?
False
Suppose -24*d + 208 = -25*d. Let n = d - -221. Is n a multiple of 6?
False
Let g(a) = a**3 - 3*a**2 - 8*a - 8. Let i be g(5). Suppose 4*z - 4*h = 417 - 21, 0 = -i*h. Is 33 a factor of z?
True
Let s(q) be the second derivative of q**5/20 - 7*q**4/4 - 7*q**3/3 - 11*q**2/2 - 31*q. Let m be s(23). Let k = m + -455. Is k a multiple of 54?
True
Let j = 4679 + -1219. Is 28 a factor of j?
False
Suppose 30 = 3*p + 2*p - d, 5*d = 3*p - 40. Let a(o) = 4 - p - 3 + 3*o + 2. Does 3 divide a(11)?
False
Let j = -60 - -66. Let f(o) = 5*o**2 - 4*o - 23. Let c be f(j). Suppose 0*w + 2*w - 110 = -2*z, 5*z + c = 3*w. Does 51 divide w?
True
Let g(d) = -d**2 - 28*d + 42. Let m be g(-27). Suppose -3*w = -m + 12. Is 11 a factor of w?
False
Let b = 30116 - 15117. Is 53 a factor of b?
True
Let r(l) = 1402*l**2 + 32*l - 83. Does 69 divide r(2)?
True
Let q = 29218 + -11705. Is 83 a factor of q?
True
Suppose -35*t + 24*t = -275. Suppose -5*n = -0*n - t, -3*n = 2*i - 641. Does 15 divide i?
False
Suppose 1766*y + 1607112 = 1817*y. Does 312 divide y?
True
Let f be 1902/(-15) + 1/(-5)*1. Let a = f - -132. Suppose -3*n = 2*y - 55, a*y - 67 = -4*n + 53. Is 3 a factor of y?
False
Suppose 6*n - 13*n + 3885 = 0. Suppose 94 = 4*g + 2*o, -5*g + o = -2*o - 134. Suppose -n = -5*s - h, -h + 6*h = g. Is 36 a factor of s?
False
Suppose -13 = 4*j - 65. Suppose s + j = -0*s. Let r = s - -40. Is r a multiple of 11?
False
Suppose 4*p = 5*v - v + 100, 3*v + 53 = 2*p. Suppose -2089 - 9461 = -p*u. Is 21 a factor of u?
True
Let i(o) = 11*o**2 + 16*o - 76. Does 18 divide i(14)?
True
Does 18 divide (-9108)/(-30)*(4*60/8 + 0)?
True
Let d(s) = s**3 + 2*s**2 - s + 1. Let l(i) = -16*i**3 - 6*i**2 - 2*i + 1. Let z(v) = -4*d(v) - l(v). Let r = -4 + 6. Is 17 a factor of z(r)?
False
Let k(g) = -9*g**3 + 7*g**2 - 5*g - 48. Is 11 a factor of k(-6)?
True
Let a be 1/1 + -1 + 3 + -2. Let f be (3 - 3)*(a + -2) - -11. Is (-231)/f*(0 + -3) a multiple of 6?
False
Suppose 0 = -5*s + 15, 12*u + s - 3945 = 9*u. Suppose -277*r - u = -286*r. Is r a multiple of 8?
False
Let m(h) = 1 - h**3 - 7*h**2 - 2 + 3*h - 2*h**2. Let t(n) = n**3 + 14*n**2 + 6*n + 74. Let b be t(-14). Does 16 divide m(b)?
False
Let k(g) = -g**3 + 2*g**2 + 11*g + 6. Let f be k(-2). Let l(r) = -2*r**2 + 3*r + 136. Is 12 a factor of l(f)?
False
Let k = 219 - 190. Suppose k*b - 1911 = 22*b. Is b a multiple of 39?
True
Let m(s) = -271*s**3 + 31*s**2 + 100*s - 7. Does 10 divide m(-3)?
False
Suppose -2*t + 26*u = 23*u - 1416, 0 = 3*t + 3*u - 2169. Is 56 a factor of t?
False
Suppose 4*g + 30520 = 3*s, 2*s + g - 14344 = 5999. Does 69 divide s?
False
Let s = 145 - 30. Let v be (-358)/10 + (-23)/s. Does 8 divide v*(-2 - 16/(-12))?
True
Let k(u) = 12*u + 5*u - 14 - 10 + u**2. Suppose -3*c - 59 = -28*a + 29*a, -25 = c + 3*a. Is k(c) a multiple of 7?
True
Is ((-14056)/(-32))/((-35)/(-120)) a multiple of 9?
False
Let c(j) = -j**2 + 4*j + 7. Let d be c(4). Suppose d*r + 884 = 12*r - 4*k, -536 = -3*r + k. Is r a multiple of 20?
True
Let l(m) = -2*m**3 - 7*m**2 - 6*m - 5. Let b(r) = -r**3 - 3*r**2 + 8*r + 6. Let f be b(-4). Let k be f + 0 + 3 + 3. Is l(k) a multiple of 7?
True
Suppose -753*o = -681*o - 186984. Does 5 divide o?
False
Let p(z) = -30*z + 15. Let c be p(-6). Suppose 220 + c = -5*s. Let k = s + 118. Is k a multiple of 13?
False
Suppose 5*j + 24*t - 1080 = 26*t, 0 = -3*j + 4*t + 648. Does 9 divide j?
True
Let d(u) = u - 120 - 105 + 7*u + u. Is 2 a factor of d(36)?
False
Let r be 6/10 + (-52)/20. Let u be r/(-14) + -3*(-52)/84. Is -2 - ((0 - u) + 72/(-4)) a multiple of 14?
False
Let v(b) = -40*b**3 + 5*b**2 + 8*b + 84. Is v(-6) a multiple of 8?
True
Let l(b) = 3*b**2 - 26*b + 6. Let n be l(9). Let d be 2/6*n + 213. Let t = 394 - d. Is 11 a factor of t?
True
Let c = 570 - 345. Let q = c + -75. Is q a multiple of 25?
True
Let h(c) = c**2 - 64*c + 393. Does 9 divide h(58)?
True
Let a be (33 - 31)*(109 - 0). Let k = -149 + a. Is k a multiple of 3?
True
Suppose -4*i + 0*r + 17 = -r, -4*i = -4*r - 20. Suppose -i*p - p + 877 = 2*x, p = -4*x + 179. Is 35 a factor of p?
True
Let n(r) = -1810*r**3 + r**2 + 22*r + 51. Does 16 divide n(-3)?
True
Is (-3)/21 + 521980/28 a multiple of 12?
False
Suppose -4*z + 14*z = -770. Let o = z - -189. Is o a multiple of 28?
True
Suppose -5*n = 2*i - 16, 3*i - 2*i = -n + 5. Suppose i*l + 10*l = 26. Suppose 8 = 4*c, -q - 5*c = l*q - 397. Is q a multiple of 21?
False
Let s(w) = 2*w**2 + w + 2. Let b(p) = p**3 - 2*p**2 - p - 1. Let d be b(3). Let n be (4/4 - d) + 10. Is s(n) a multiple of 29?
False
Suppose 0 = -0*u + 16*u - 64. Suppose -u*a - 149 = -5*g, 12*a - 7*a = -4*g + 152. Is g a multiple of 11?
True
Let m = -3011 + 11033. Is 59 a factor of (-4)/(-16) - m/(-8)?
True
Is 23/13*(-3520)/(-2) - 2/(-13) a multiple of 39?
False
Suppose -2*t = -4*y, 4*y + 11 = -5*t + 3*y. Let h be t + 6 - 5 - -490. Suppose -4*r = -3*a - a + 672, -2*r + h = 3*a. Is a a multiple of 33?
True
Suppose -321 = -a + 587. Suppose -4*r - 5*g = -g - a, 4*r + 2*g = 