(q) = 7 + w - 9 + q**2 + 10*q**2 + 6*q. Is 42 a factor of a(-5)?
False
Let d(c) = -4 + 4*c**3 + 3*c - 6*c - 2*c**3. Let x = -177 + 180. Does 16 divide d(x)?
False
Let s(u) = -14 - 52 + 3*u**2 - 2*u - 2*u + 25. Is s(-10) a multiple of 19?
False
Let t be (-2)/(-7) + (-10)/35. Suppose -5*w + 223 + 217 = t. Is w a multiple of 4?
True
Suppose 12 = -3*h, -3*h + 4*h + 6276 = 2*k. Does 28 divide k?
True
Let u(y) = -y**2 + 3*y + 2. Let j be u(1). Suppose 5*r + j*f = 13, 12 = 2*r + r + f. Suppose -2*t + 364 = g, -t + 2*t + 1820 = r*g. Does 13 divide g?
True
Let d = 7839 + -6134. Is 5 a factor of d?
True
Suppose 12*d - 9*d = 57. Let y = 23 - d. Suppose y*c = -6*c + 700. Is c a multiple of 10?
True
Suppose -3*b + 14840 = 3*k - 108757, 0 = -b + 5*k + 41217. Is 9 a factor of b?
True
Let y = 201 - 189. Suppose 93 = 9*v + y. Is 5 a factor of v?
False
Let j(i) = -1660*i + 44. Does 24 divide j(-1)?
True
Suppose 156 = 2*y - 2*q, -2*y + 186 = -0*y + 4*q. Suppose y*c - 86*c - m + 343 = 0, 0 = 5*m + 25. Is 8 a factor of c?
False
Suppose -2*j = -668*v + 665*v - 38064, -3*v - 19044 = -j. Is 30 a factor of j?
True
Let d = -11079 - -16929. Is 17 a factor of d?
False
Let d(f) = 18*f - 32. Let b(a) = 19*a - 31. Let n(x) = -3*b(x) + 4*d(x). Let z be n(13). Suppose -7*m + 5*m + z = 0. Is m a multiple of 10?
True
Is 26954/9*(-3483)/(-774) a multiple of 165?
False
Let h be (-28)/6*3/2. Let m = -2 - -26. Let v = h + m. Is 13 a factor of v?
False
Does 29 divide (0 + -3)/((-17)/(-135728)*-12)?
False
Suppose 5*c - 10 = 0, -m + 1270 = 6*c - 9*c. Does 8 divide m?
False
Let u = -72 - -74. Suppose 0*t + 2 = u*g + 2*t, 3*t = 3*g - 27. Suppose -4 = 2*r, 3*z - g*r = 2*z + 171. Does 23 divide z?
True
Let i = 48 + -43. Let a(s) = -32*s**2 + 6*s - 25. Let y be a(i). Is y/(-10) + 9/(-6) a multiple of 13?
True
Let h(a) = 7*a - 44. Let o be h(7). Suppose 3*d - 5*d - 2*u - 472 = 0, -4*d = -o*u + 926. Is 37 a factor of d/(2 - -1)*-1?
False
Let w = -333 - -339. Suppose 3*c - 3*g = 1722, -5*c - 5*g = -w*c + 566. Does 12 divide c?
True
Suppose 84*x - 946*x + 6643434 = 0. Does 10 divide x?
False
Suppose 64*r + 70*r - 91024 - 92958 = 0. Does 19 divide r?
False
Let x(a) = -a**2 + 7*a + 3. Let t be x(-3). Let b = t + 82. Is (-2)/11 + 2650/b a multiple of 6?
True
Let f(r) = r**2 - 13*r + 27. Let m be f(11). Let n(o) = o**2 - 6*o + 9. Let q be n(m). Is 2 a factor of 0 + q + (-13 - -13)?
True
Let b = -559 - -1003. Suppose -14*y + 2*y = -b. Let z = 8 + y. Is 11 a factor of z?
False
Let f = 0 + 0. Let d(v) = v**3 + 10*v**2 - 13*v + 147. Let o be d(-12). Suppose o*y - 9*y - 552 = f. Is y a multiple of 14?
False
Let x(a) = a**3 + 2*a**2 + 21. Let s be x(-6). Suppose 4*n - 704 - 548 = 0. Let g = n + s. Is g a multiple of 19?
True
Suppose -2*v = -2*t + 416, -2*t + 239 + 177 = v. Let h be (119/(-14) - -7)*(-32700)/45. Is 12 a factor of 32/t + h/13 + 0?
True
Suppose -226*w - 4219639 = -4643614 - 10823141. Does 15 divide w?
False
Suppose 12*y - 9*y + 10*y - 384540 = 0. Is y a multiple of 127?
False
Let g(q) = -q**3 - 26*q**2 - 25*q - 174. Does 10 divide g(-32)?
True
Let d be 410/40 + (5/(-4) - -1). Suppose -10*b - 2*i = -7*b - 1384, 5*i = d. Is b a multiple of 20?
True
Suppose -4*s + 2*s = 4. Let g(t) = -12*t - 15. Is g(s) even?
False
Let f(c) = 3*c**3 + 13*c**2 - 2*c + 4. Let t be 22/176 + 66/(-16). Is f(t) a multiple of 8?
False
Let r(s) = 1085*s + 690. Does 3 divide r(10)?
False
Let h be (-1)/4*-4 - (-406 + -4). Let p = -163 + h. Does 31 divide p?
True
Let s = 10 - -68. Suppose -101 + 286 = -5*a. Let q = s - a. Is 23 a factor of q?
True
Suppose 269450 = 20*u + 118951 - 263721. Does 194 divide u?
False
Let a(s) = 10426*s - 4446. Is a(4) a multiple of 25?
False
Let x(z) = z**2 - z - 4. Let d be x(-2). Suppose 5*j = 5, -992 = -c - 2*c - d*j. Is c a multiple of 22?
True
Suppose 5208*n - 5187*n - 202608 = 0. Does 79 divide n?
False
Let z = 4668 - 948. Is z a multiple of 124?
True
Let g(f) = -f**2 + 7. Let m be g(3). Let o be (-962)/(-12) - m/(-12). Suppose 4*r - 20 - o = 0. Does 5 divide r?
True
Let h be 4/(-12)*5 - (-28)/6. Does 54 divide ((-12020)/60)/(h/(-9))?
False
Let r(u) = u**2 - 22*u. Let d be r(22). Suppose a - 4*c = 282, -629 = -2*a - d*c - 5*c. Is 12 a factor of a?
False
Suppose 6949 = 6*o - 4211. Does 5 divide o?
True
Suppose -4*r - 3*b + 7*b = 684, 2*r - b + 343 = 0. Let y = r - -380. Does 22 divide y?
False
Suppose -3*n - 5*w = 30, -3*n - 2*w = -8*n - 19. Let a(c) = -c**3 + c**2 - 4*c - 27. Does 11 divide a(n)?
True
Let o be 0 - (3 - 2) - (9 - 7). Is o + (-7397)/(-15) + (-2)/15 a multiple of 70?
True
Let j = 57 - -100. Suppose 0 = w + o - 40, -3*w - w + j = o. Suppose 0 = 3*t + 3 - w. Does 6 divide t?
True
Let x(b) = -2*b - 5. Let k(v) = v + 15. Let h(a) = a + 8. Let n(r) = -5*h(r) + 2*k(r). Let j(q) = -2*n(q) + 5*x(q). Is j(-19) a multiple of 9?
False
Suppose -z = -4*u - 8, -4*u + 5*u + 2 = -z. Let s(c) = 2*c + 87. Is s(z) a multiple of 29?
True
Suppose -2*z - 6*z + 4912 = 0. Suppose -3*b = -2*q - z, -3*b + 206 = -2*b - 2*q. Is 13/(26/b) + 3 a multiple of 23?
False
Suppose -210*g + 291698 = 214667 - 334779. Does 35 divide g?
False
Is ((-1155)/363 - 2/(-11)) + (0 - -18552) a multiple of 229?
True
Let c(m) = -15*m + 3. Let g be c(4). Let k be (g/(-36) + (-3)/4)*6. Suppose -o = -5*d - 33, 3*o - d - 23 = -k*d. Is o a multiple of 11?
False
Let y(v) = -3*v**2 - 11*v - 32. Let a(z) = -5*z**2 - 21*z - 63. Let m be 2 + 20/(-2)*2/(-5). Let j(t) = m*a(t) - 11*y(t). Does 9 divide j(-4)?
False
Let s(k) = 24*k - 101. Let b be s(5). Suppose 0 = -b*d + 853 + 1351. Is d a multiple of 4?
True
Suppose 18*j - 20174 = 74129 + 28457. Does 62 divide j?
True
Suppose 18*q + 48 - 120 = 0. Suppose q*a + 98 = 254. Is a a multiple of 15?
False
Let u(p) = 2*p - 83. Let d be u(-13). Let n = 97 - d. Is n a multiple of 4?
False
Let h = -457 - -961. Suppose 6*j = -2*j + h. Does 3 divide j?
True
Let x be 0*(-5)/15 + -3. Suppose -22*w = -21*w - 274. Is 24 a factor of w/8 - x/(-12)?
False
Suppose 187 = -5*t + 3*u - 113, -295 = 5*t - 2*u. Let n = 18 + t. Let m = n + 76. Is 10 a factor of m?
False
Suppose -4*n = 2*n - 6. Let u be (n + -5)/((-2)/(-4)). Is 11 a factor of 8398/51 + u/(-6)?
False
Let r(d) be the second derivative of -d**4/12 - d**3/3 + 3*d**2 - 2*d. Let a be r(2). Is 9 a factor of ((-189)/(-6))/(a/(-4))?
True
Let d(g) = -37*g + 272. Let a be d(30). Let l = a + 1085. Is 6 a factor of l?
False
Let u(l) = -53*l**2 - 7*l + 14. Let y be u(2). Let v = -154 - y. Does 4 divide v?
False
Suppose -5*g + r + 105 = 0, -5*g + r = -g - 85. Suppose -848 = -g*n + 3832. Does 9 divide n?
True
Suppose 369 = -4*o - 5*o. Let t = o - -46. Suppose -w + 204 = t*m, -5*m + 184 = -4*w - 0*w. Is m even?
True
Suppose -79*g - 20 = -69*g. Does 6 divide 7315/76 + g/8?
True
Let z(q) = -33*q - 98. Suppose y + 4*f + 30 = 0, 60 = -8*y + 4*y - 4*f. Is 29 a factor of z(y)?
True
Let q = -2305 - -10891. Is 27 a factor of q?
True
Let a(w) = -w**3 - w**2 - w + 2. Let p be a(0). Suppose 3*x + p*d = 457, -x - 3*d = -7 - 136. Is x a multiple of 27?
False
Let k be 3 - (2 + (5 - 780)). Suppose 27*u - 3206 + k = 0. Is u a multiple of 4?
False
Suppose 1 - 7 = -3*f. Suppose 2*s - 2*a + f = 0, 5*s - a + 5 = 12. Suppose -s*m + 17 = -3*u, u = 3*u + 2. Is 6 a factor of m?
False
Suppose -2*q = 4*u - 1914, 3*u - 159*q + 163*q = 1448. Is 14 a factor of u?
True
Let n(i) = 1173*i + 755. Is n(3) a multiple of 46?
False
Let p be (-3 - -4)*-1 - -39. Let c = p - -97. Suppose 7*y = 4*y + c. Does 9 divide y?
True
Let o be 0 - (2 - 1) - 0. Let s = 46 + o. Let c = s - 29. Is 13 a factor of c?
False
Suppose -4*s - 2*f + 14 = 0, f - 1 = -s + 3. Let n(l) = 5*l - 27*l - 67 + 84 - 22*l**2 - l**s. Does 19 divide n(-21)?
True
Let k = 159 - 143. Suppose -513 = -17*q + k*q. Is q a multiple of 13?
False
Let s(j) = -j**2 - j + 5. Let a be s(2). Let x = a - -73. Is x a multiple of 12?
True
Let h(d) = 2*d**3 - 6 + 4*d**2 + 3*d + 2*d**3 - 2*d**3 + 2*d**3. Does 10 divide h(3)?
False
Let f(b) = 2334*b + 672. Is 48 a factor of f(2)?
False
Let g(p) = 26*p + 1. Let s be g(-1). Let j = s - -31. Suppose j*h - 441 = 3*h. Is h a multiple of 21?
True
Let h(t) = 131*t + 650. Is 3 a factor of h(0)?
False
Let n be (480/(-9))/(4/(-6)). Let x = 158 - n. Does 39 divide x?
True
Let g = -131727 + 210255. Is 16 a facto