1 divide b?
False
Let z = 1548 - 1087. Suppose -2*o + 5*a = -1222, -2*a - 1394 - z = -3*o. Is o a multiple of 27?
True
Let t be (-60)/48*-2*16. Let a = 171 + t. Is 19 a factor of a?
False
Let i = 24328 + -23151. Is 4 a factor of i?
False
Let c(q) = 7*q**3 + 12*q**2 - 9*q + 14. Let m(w) = 3*w**3 + 6*w**2 - 5*w + 7. Let n(r) = 4*c(r) - 9*m(r). Let d be n(6). Let y = d + -26. Does 7 divide y?
True
Suppose 5*r + 3240 = 2*j, -j - 154*r + 1617 = -156*r. Does 4 divide j?
False
Suppose -3*k + 2*p + 14134 + 23267 = 0, 0 = 5*k + 2*p - 62335. Suppose 17*j = 30521 - k. Does 21 divide j?
False
Let c(v) = 248*v**2 + 6. Let t be c(5). Suppose 28*z - t = 1830. Is 41 a factor of z?
True
Let y be ((-20)/(-16))/((-2)/8). Let a(j) = -j**2 + 262*j - 272*j - 1 - 1. Is a(y) a multiple of 7?
False
Let l(v) = -v + 5. Let p(x) = 20*x - 49. Let z(w) = 10*l(w) + 2*p(w). Does 3 divide z(5)?
True
Let u be 1230/12*(-24)/(-5). Let l = u + -50. Is 17 a factor of l?
True
Let c be -1*(1 + -1 + -2 + 2). Is 61 a factor of 25/10*(c + (-244)/(-10))?
True
Let b = -15 - -26. Suppose -5*g + 27 = -3. Suppose -o + g = -b. Is 9 a factor of o?
False
Let f = 2843 + 6481. Does 42 divide f?
True
Suppose -4*v + 5*b = -0*v + 16, 2*v + b = -8. Let p(z) = z**2 + z. Let r(t) = 6*t**2 - 4*t + 11. Let m(i) = v*p(i) + r(i). Is m(9) a multiple of 7?
False
Suppose 0 = 5*y - 10, -11*o + 7792 = -6*o - 4*y. Suppose 35*f - 43*f = -o. Is 65 a factor of f?
True
Is 22 a factor of -1 - (28778/4)/(-18 + 805/46)?
True
Let h(c) = 8078*c - 7303. Does 123 divide h(5)?
True
Let n = 3 + 2. Suppose -7*h = 23 + n. Does 5 divide h/(-10) + (-2)/((-30)/669)?
True
Does 49 divide ((-4626)/(-45))/(12/1710)?
False
Does 150 divide (1/5*(-20)/(-6))/((-2)/(-94896))?
False
Let b(r) = r**3 - 11*r**2 + 17*r + 14. Suppose -s - 90 = -2*q, s = 3*q - 4*s - 135. Suppose 0 = -9*o + 4*o + q. Does 5 divide b(o)?
True
Let b = 2380 - 632. Suppose 0 = -5*w - 3*i + 2172, 0*i - 5*i = 4*w - b. Is 27 a factor of 1/(-1 - (-434)/w)?
True
Let t be (-2 - 24/(-10))*(26 + -196). Let m = 56 - t. Is m a multiple of 4?
True
Suppose 5*h = r - 28 + 4, h = 0. Let l(s) = 0*s**3 - s**3 - r*s**2 - 12*s**2 + 22*s**2 - 14*s + 30. Is 4 a factor of l(-13)?
False
Let h(s) = -472*s + 262. Is h(-39) a multiple of 6?
False
Let v(k) = 9*k**2 - 25*k + 6. Does 17 divide v(9)?
True
Suppose 0 = -4*q + 20. Let j = q - -18. Suppose 0 = 2*b - 73 - j. Does 12 divide b?
True
Let x be (-3)/(-2) - 18/12. Suppose -5*n = -x*n + 3*m - 3642, 0 = -4*n + 4*m + 2920. Does 27 divide n?
True
Let v(x) = -3*x**2 + x + 0 - 3 + x + 6*x + 3*x**3. Is v(2) a multiple of 5?
True
Suppose 5*n - k = 175, -7 + 46 = n - k. Suppose 40 = -2*v + v + i, 5*i = -v - n. Let p = 57 - v. Is p a multiple of 6?
True
Suppose -2*v + 4*v = -2*r + 1390, -1418 = -2*v + 5*r. Let y(u) = -2 - 696*u + 4*u**2 + 3 + v*u. Is y(-2) a multiple of 2?
False
Suppose -40 - 16 = -4*y. Suppose y*l + 4 = 16*l. Suppose -l*w = -4*w + 48. Is 12 a factor of w?
True
Suppose -3*n + 12 = 0, -2*n = 3*y + n + 9. Let j = 118 - y. Let h = 189 - j. Does 5 divide h?
False
Let f(l) = -37*l - 4*l + 50 - 35*l. Let j be f(15). Is 26 a factor of (2/(-4))/(5/j)?
False
Let b(o) = -7*o**3 + 6*o**2 + 20*o - 4. Let j be b(-3). Let f = 517 - j. Does 11 divide f?
False
Let i = -22 - -19. Let a = 2 - i. Suppose a*y = -0*v - 5*v + 180, 4*v - 4*y - 160 = 0. Is v a multiple of 7?
False
Let q be (-16)/24 + (-10)/(-6). Let c be 3/q + (3*-496)/6. Does 11 divide 2*12/(-40)*c?
False
Let k(j) be the third derivative of 41*j**5/30 + j**4/12 - 15*j**2 + 2. Is k(-1) a multiple of 10?
True
Suppose -39 = -6*b - 33. Is 2 a factor of 17/b*(6 + -13 + 14)?
False
Suppose 14*a - 27 = 34679. Let p = -1554 + a. Is p a multiple of 25?
True
Suppose -3*m = 3*m - 12. Suppose -m*u - 4*j - 36 = 0, -5*j + 7 = 3*u + 57. Is 1318/11 - (u/(-55))/(-1) a multiple of 12?
True
Suppose 0 = 21*i - 0*i - 43911. Suppose 0 = 61*d - 58*d - i. Is 17 a factor of d?
True
Let b = -33285 + 33335. Does 4 divide b?
False
Suppose i + 22*h - 21*h - 2094 = 0, 4*i - 4*h - 8344 = 0. Suppose 5*y = 3 + 7. Does 6 divide i/20 - 3/(-4)*y?
False
Suppose -2*a - 2*a = 16. Let i be 2*-23 - (a - -8). Does 22 divide (1 - 3)*(1 + i)?
False
Let v(c) be the first derivative of -4*c**2 - 112*c - 18. Is 7 a factor of v(-21)?
True
Let j(i) = 3*i**3 + 2*i**2 + i - 2. Let d be j(-3). Let b = -24 - d. Does 5 divide b?
False
Suppose -3*p - 17 = 3*s - 47, 3*p = 2*s - 40. Suppose 394 = s*j + 72. Does 3 divide j?
False
Suppose -3*n - 5*t + 12516 = 0, -3*n - 1626 = 4*t - 14145. Is n a multiple of 7?
False
Suppose -702 - 838 = 2*m - 4*x, 4*m = -4*x - 3056. Let k = m - -1298. Is k a multiple of 19?
True
Suppose 5*r = 23 + 7. Suppose -163 = -r*f + 53. Suppose a = 4*l + f, -5*a - 31 = -3*l - 245. Does 11 divide a?
True
Let a = -43927 - -97441. Is 145 a factor of a?
False
Let l = 31726 + 18166. Does 180 divide l?
False
Let w(h) = -h**2 + 34*h + 206. Does 19 divide w(38)?
False
Suppose 123 = -7*k - 269. Let c = 45 + k. Let z(u) = u**2 + 6*u - 26. Is z(c) a multiple of 9?
False
Suppose -3*f - 13742 = -5*l + 19892, l - 6722 = 3*f. Is l a multiple of 81?
False
Suppose 0 = 25*o + 2*o - 135. Suppose -o*x + 80 = 5*i, x + 2*i + 15 = 36. Is 11 a factor of x?
True
Let l(y) = -471*y + 2472. Is l(4) a multiple of 41?
False
Let x(g) = g**3 + 21*g**2 + 12*g - 125. Is x(-14) even?
False
Let h(y) = 13*y - 130. Let q be h(10). Suppose -2*f = 3*t - 0*t - 444, q = 5*t - 20. Is f a multiple of 18?
True
Let p be 21 + 3 + -1 + 2. Suppose -3*a - 32 = -5*g, a + p = 3*g + 5*a. Suppose -468 = s - g*s. Does 26 divide s?
True
Let r = 231 + -227. Is 51 a factor of (-716 - 13)/(r/(-4))?
False
Let d = 2331 + -1015. Is d a multiple of 7?
True
Suppose -4*h - 4*i = -2208, 2*h + 199 = 4*i + 1321. Does 3 divide h?
True
Let k(i) = 3023*i + 1340. Is k(10) a multiple of 35?
True
Let n be (-16)/(-9) + (176/99)/8. Suppose 2*k + 3*d = 1629, 6*d - 2*d + 1608 = n*k. Does 30 divide k?
True
Suppose 4*u - 18*h = -13*h + 63562, 2*h + 47661 = 3*u. Is 70 a factor of u?
False
Let z = 18 - -176. Suppose -15*h + z = -616. Is h a multiple of 3?
True
Suppose 5*x = 3*a + 823, 8*x + 660 = 12*x - 4*a. Is 8 a factor of x?
False
Let f = 491 - 487. Suppose -4*z + f*v + 512 = 0, -v + 4 = -1. Is 19 a factor of z?
True
Let w(a) = -2*a**3 - 9*a**2 + 4*a - 3. Let r be w(-5). Suppose 3*y + 3024 = 5*d, -r*y = -2*d - d + 1815. Is d a multiple of 32?
False
Let h = -170 - -1295. Is h a multiple of 2?
False
Let z be 12*(12/(-8) - -3). Let j = 306 - z. Does 19 divide j?
False
Let l = -19 - -16. Let x be (4/(-4) + l)/(-1). Suppose 2*c = x*v + 147 + 123, -4*c - 4*v = -588. Is c a multiple of 32?
False
Let x be (-17)/(-6) - -2*3/36. Let z(l) = 16*l**2 + 0 - l**x + 5*l + 6*l - 3*l - 19. Is 28 a factor of z(16)?
False
Suppose 0 = -5*s + 25, 4*m - 2*s - s - 17 = 0. Suppose -26 - 10 = -12*y. Does 22 divide m/((-5)/(y - 28))?
False
Let a(s) = -725*s + 25. Let u be (-1)/(6/((-48)/(-8))). Does 15 divide a(u)?
True
Let h = 18652 + -4612. Is h a multiple of 40?
True
Is 87 a factor of (-22)/(-6) + (-12420966)/(-414)?
False
Suppose 5*x + 19 + 5 = 3*v, 0 = 4*v - 5*x - 27. Suppose 6 = 6*q - v*q. Suppose -4 = -a, 2*o - 3*a - q*a + 6 = 0. Is 3 a factor of o?
False
Suppose -288 = -3*d - 5*s, s + 96 = d - 4*s. Let r = 79 - d. Let v(y) = y**3 + 17*y**2 - 3*y - 27. Is 8 a factor of v(r)?
True
Suppose 4*g + 7976 = 2*o, 2*o + 118*g = 113*g + 7967. Does 69 divide o?
False
Suppose c + 20 = 3*x, -2*c + 6*x - 25 = 3*x. Is -6 - (c - -3 - 26) a multiple of 6?
False
Let z = -89 + 100. Let w = -7 + z. Suppose -w*v + 162 = -v. Is v a multiple of 9?
True
Let z(o) be the third derivative of o**5/20 + 3*o**4/4 - o**3/3 - 123*o**2. Let f be (-2)/6 - (-60)/(-9). Is z(f) even?
False
Is 3 + (-27)/8 - (-198765)/56 a multiple of 10?
False
Let c = 13998 + -2766. Is c a multiple of 16?
True
Let n = 307 - -9239. Does 80 divide n?
False
Let w be (3/6)/((-1)/4). Let a = -721 + 655. Does 43 divide (572/a)/(w/18)?
False
Let q(c) = 25*c**2 - 2*c + 454. Does 69 divide q(-14)?
True
Suppose 3*s + 5*x = 20956, 2*x + 20984 = -4*s + 7*s. Does 23 divide s?
True
Let h(q) = -q**3 - 5*q**2 - 5*q - 10. Let l be h(-4). Let r = l - -13. Let g(p) = 13*p + 21. Is g(r) a multiple of 14?
True
Let g(r) = -2*r - 97. Let i be g(-32). Does 48 divide 7006/16 - i/264?
False
Let l