ple of 3?
True
Let z = 1822 - 262. Suppose -z = -10*b - 0*b. Is 47 a factor of b?
False
Suppose 0 = -2*a - 3*j - 12, a - 20 = -2*a + 5*j. Suppose -1024 = -2*x - b, -5*x = -a*x + 5*b - 2560. Is x a multiple of 71?
False
Suppose k - 14 = -10, -3*x = 5*k - 692. Suppose 4*g - x = 4*o, -2*g + 4*o = o - 108. Does 3 divide g?
True
Let n(c) = c**3 - 5*c**2 - 7*c + 94. Is n(14) a multiple of 8?
True
Let l = -189 - -237. Suppose 10290 = l*b - 41*b. Is 46 a factor of b?
False
Let w(y) = 687*y + 4872. Is 21 a factor of w(0)?
True
Suppose -10*k + 30*k + 40*k = 1300920. Does 74 divide k?
True
Let z(s) = 68*s**2 + 33*s + 65. Let f = 305 - 307. Does 21 divide z(f)?
False
Let i = 11673 + -7891. Is i a multiple of 61?
True
Suppose 0 = v + j - 22, -2*v + 5 = -5*j - 4. Let h(g) = -v - 1 - 2*g + 6*g + 4. Is 8 a factor of h(11)?
False
Let f(m) = 4*m + 58. Let h be f(-10). Does 11 divide h/12*(-572)/(-6)?
True
Suppose -23*b + 61 = -445. Suppose -b*h + 3417 = -3689. Does 17 divide h?
True
Suppose 4*n - 756 = -0*n + 2*g, g - 4 = 0. Suppose 17*d - 13*d + 412 = 0. Let s = n + d. Is 44 a factor of s?
True
Let a = 665 - 611. Suppose a*v - 206 = 18370. Is v a multiple of 28?
False
Suppose s + 5*q = 1617, -3*s + 126*q + 4851 = 127*q. Does 77 divide s?
True
Is 2 a factor of (30 - (-72117)/(-81))/(1/(-6))?
True
Let r(z) = z**3 - 10*z**2 - 22*z - 27. Let t be r(14). Suppose 3*v - 160 = t. Is v a multiple of 7?
True
Is (5331/2 - 8/(-16)) + 7 + -2 a multiple of 74?
False
Suppose 2*a + 3*a = 0. Suppose 3*s + 2*s + 5*p - 1885 = a, 2*s + p = 758. Is 12 a factor of s?
False
Suppose -14*z = 2*p - 11626, 2*p - 8524 - 3050 = -z. Is p a multiple of 6?
False
Let j = 184 + -181. Suppose -4*b = 5*w - 840, -j*w + 5*w + 1050 = 5*b. Does 30 divide b?
True
Let n = -18484 - -18988. Does 36 divide n?
True
Let r(n) = -n**3 - 27*n**2 + 26*n + 127. Is r(-47) a multiple of 37?
False
Suppose 0 = -11*d - 1051 + 9851. Suppose 0 = 4*j + 16*j - d. Is j a multiple of 10?
True
Let n = -272 + 275. Suppose -164 = -2*v - 2*f, -f - 167 = -n*v + 71. Is 8 a factor of v?
True
Let o = -19 + 24. Let u(b) = 4*b - 10. Let v be u(o). Is 2 a factor of (v/1)/((-11)/(-22))?
True
Let i(f) = f**2 + f - 78. Let a be i(-7). Let p = a + 165. Is p a multiple of 43?
True
Is 13 a factor of 45 + -51 + 10 - -68*38/4?
True
Let u(i) = 2*i - 35. Let y be u(18). Does 9 divide -1 + y + 3 - 32/(-4)?
False
Let k(g) = -g**2 + 14*g**2 - 4*g**2 + 4*g**2 + g**3 + 4. Let v be k(-13). Let s = 19 + v. Is 8 a factor of s?
False
Let t = -5890 + 6450. Does 7 divide t?
True
Let n(t) = -65*t + 56. Suppose -19*c = 81 + 14. Does 23 divide n(c)?
False
Let f be (-1*5)/((-28)/252). Suppose f = -28*m + 31*m. Is (-336)/(-10) - (0 - 6/m) a multiple of 11?
False
Let j(h) = -h**2 + 10*h - 15. Let r be 40/6 - (-5)/15. Let o be j(r). Is 15 a factor of ((-208)/(-6) - (-2)/o)*1?
False
Suppose 2*y = -4*k + 30186, 15*k - 16*k - 2*y = -7542. Does 102 divide k?
True
Let c = -5680 - -6879. Is c a multiple of 13?
False
Suppose -31*n + 19*n = -8376. Suppose 10*y - 11*y + n = 0. Is y a multiple of 16?
False
Let v(q) = -q**2 - 13*q - 34. Let j be v(-6). Let b = 16 + 10. Suppose j*t - b = 6*t - 4*z, -z - 1 = 0. Does 2 divide t?
False
Let a = -5086 + 5266. Is a a multiple of 18?
True
Let j(g) = 163*g**2 - 13*g - 22. Suppose -u + 7 = -3*l + 5*l, -3*u + 2*l = 19. Does 20 divide j(u)?
False
Let s(z) = 2*z**2 - 49*z - 25. Let l be s(25). Suppose -3*b - 16 + 31 = l. Is 3 a factor of b?
False
Let j be 3/((-6)/(-45)*5/30). Suppose -9*t - j + 495 = 0. Does 10 divide t?
True
Let h(k) = k**3 - 4*k**2 + 6*k - 6. Let w be h(3). Suppose v + 8 = -w*v. Is 33 a factor of v/3*510/(-4) + -4?
False
Let t = 165 + -141. Suppose 0 = -t*g + 20*g + 424. Does 8 divide g?
False
Suppose -32 = -u - 92. Let w be ((-48)/u)/((-4)/(-50)). Suppose 0*q + q - w = 3*z, 4*q + 4*z = 24. Is q a multiple of 7?
True
Let g be (-1)/((-6)/918)*(0 + -1). Let z = 92 + g. Let s = 115 + z. Is s a multiple of 40?
False
Let u(o) = -o**3 + o**2 + 6*o + 10. Let j = -40 - -52. Suppose -j = 8*k - 5*k. Is u(k) a multiple of 8?
False
Let q(i) = -16*i - 136. Let y be q(-8). Is 12 a factor of -48*(76/y + 0)?
True
Let p(r) = 7*r + 16. Let b be p(-5). Let x = 23 + b. Suppose 0 = 4*a - 2*a + 2*l - 100, -208 = -x*a - 2*l. Is 19 a factor of a?
False
Suppose -3*b - 28 = -10. Let i be (-1)/((-18)/(-166)) + 14/63. Is (135/10)/i*b even?
False
Let n be (-923 + -7)*34/5. Let o be 7/((-112)/n) - (-6)/8. Suppose -5*v = v - o. Is v a multiple of 33?
True
Let x = -48 - -121. Let c = 75 - x. Suppose -3*u = 3*n - 132, u - c*n = 2*n + 69. Is u a multiple of 4?
False
Suppose 3*k - 10308 = 5*b, 4*b - 17180 = -5*k + 9*b. Is k a multiple of 11?
False
Let t = 1338 - -1245. Is t a multiple of 5?
False
Suppose -2*l - x = -33, 0 = 4*l - 0*x + 5*x - 69. Suppose -l*y + 2*y + 14168 = 0. Is 46 a factor of y?
True
Suppose 3*l + h = 2*h + 28, -l + 14 = 2*h. Is 47 a factor of 308 - 21 - (-3)/(6/l)?
False
Let y be 3 - 280/(-21)*(3 + 3). Let g = 199 - y. Is g a multiple of 30?
False
Let z(c) be the second derivative of -193*c**3/6 + 81*c**2/2 - 94*c. Is z(-3) a multiple of 14?
False
Suppose 10639626 = 272*t + 34*t - 4001862. Is t a multiple of 167?
False
Let y(x) be the second derivative of 8*x - 1/20*x**5 + 21/2*x**2 - x**4 + 7/6*x**3 + 0. Is 22 a factor of y(-13)?
False
Suppose 0 = 15*a - 2410 + 505. Suppose w = 376 + a. Is w a multiple of 9?
False
Let c be 5 - ((-330 - 3) + -9 + 4). Suppose r - 339 = -2*g, -r - 7*g = -6*g - c. Is r a multiple of 102?
False
Suppose -11900 = -38*q + 13*q. Let o = q + -376. Is o a multiple of 20?
True
Let v(c) = c**2 + 15*c + 53. Let g be v(-9). Is g/(-1)*2*(-1309)/(-34) a multiple of 3?
False
Suppose 4*y - 9*y = 2*l - 747, 5*l - 750 = -5*y. Suppose -140*s = -y*s + 2277. Is s a multiple of 21?
False
Suppose -4*x + 191491 = 12*x - 10877. Is 62 a factor of x?
True
Suppose 110 = 3*v - 3*m - 241, 4*m - 240 = -2*v. Is v a multiple of 18?
False
Let q be (4/3 - -1) + (-315)/(-189). Suppose -22*i + 23*i - 258 = 3*p, -q*p - 8 = 0. Does 21 divide i?
True
Suppose -14*i = -9*i - 15. Suppose -i*j - y = -7*j + 576, 288 = 2*j - 3*y. Is j a multiple of 24?
True
Suppose -4*u = 23*g - 20*g - 75029, 0 = -2*g + 3*u + 50042. Is g a multiple of 22?
False
Let j be (-187)/(3/(-27)*-3). Let b = j + 1071. Is 15 a factor of b?
True
Let o(q) = q**3 - 8*q**2 + 11*q + 2. Let l be o(6). Let b be ((-69)/12)/(l/32). Let h = b + -42. Is h even?
True
Suppose -2*b - 46*a - 5838 = -44*a, 2*a = b + 2910. Let g = b + 4256. Is 51 a factor of g?
False
Let n(b) = -b**2 - 4*b + 4. Let w be n(-5). Let z = -38 + 40. Does 12 divide (w + z)*25/1?
False
Let n = -32748 - -74042. Is n a multiple of 77?
False
Let j = -659 - -661. Suppose x + 3*g - 174 = 0, -x + j*g = -85 - 89. Is x a multiple of 29?
True
Suppose -4*l = -3 - 21. Suppose 3*d - l = 6. Suppose -d*p = -7*p + 24. Is p even?
True
Let l be 4*5*30/8. Suppose -13*h - 132 = -418. Let m = l - h. Is 4 a factor of m?
False
Suppose 0 = 4*i + q - 3354, 0 = -4*i + q - 1108 + 4458. Is 32 a factor of i?
False
Let p(g) = -g**3 + 14*g**2 + g + 56. Let k be p(10). Let l = k + 81. Does 63 divide l?
False
Suppose 22*u - 27*u = 18*u - 143244. Is 6 a factor of u?
True
Let b(d) = d**3 - 8*d**2 + 5*d + 22. Let w(j) = -j**3 + 13*j**2 - 9*j - 28. Let c be w(12). Is b(c) a multiple of 6?
False
Suppose -17*o + 28095 = -39612 - 32712. Is o a multiple of 11?
True
Let y = 1912 + -1682. Is y a multiple of 52?
False
Let l be 16/40 - (564/(-15) - 1). Let d = l + -19. Let y = d + 0. Is 5 a factor of y?
True
Let f(x) = 14*x**3 + x**2 + 7*x + 35. Let p be f(-4). Let n = -13 - p. Is 10 a factor of n?
True
Let p be 1/7*0 + 134. Suppose p = -i + 2*i. Does 16 divide i?
False
Let b(v) be the second derivative of -19*v**5/20 - v**4/6 + v**3/6 + 5*v**2/2 - v + 19. Let d(x) = -x**2 - 3*x - 2. Let i be d(-3). Is b(i) a multiple of 26?
False
Suppose 45*w - 42*w = g + 2166, -g - 3606 = -5*w. Does 4 divide w?
True
Let h = 23 - 17. Let r be -12*(-3)/h - (-1 + 5). Suppose -7*y = -r*y - 120. Does 3 divide y?
True
Suppose 5*b + 0*g - 2005 = -5*g, 810 = 2*b - 2*g. Let w = -106 + b. Suppose -w = -4*s + 5*r, -3*s = 2*r + 3 - 197. Is s a multiple of 10?
False
Is 14 a factor of (-931408)/(-216) - (-20)/(-270)?
True
Let l = 599 - -6711. Suppose -68*k = -73*k + l. Is k a m