r = 2*r - 4. Does 80 divide g(r)?
False
Let q(f) = f**3 - 14*f**2 - 5*f. Let u be q(6). Let l = u + 760. Is l a multiple of 34?
True
Let d = 163 + -105. Let w = 42 - 67. Let s = w + d. Is s a multiple of 3?
True
Suppose 156*f - 2086742 = 105*f + 512218. Does 56 divide f?
True
Let a be 109/218*(0 + 10*2). Let b be (27 + -1)/(-1 - 0). Let p = a - b. Is 26 a factor of p?
False
Let c(l) = 153*l + 24. Is 57 a factor of c(14)?
True
Suppose 3*x + 4*g = 28, -2*x + 0 = 2*g - 18. Suppose -x*w = w - 612. Is 14 a factor of w?
False
Let r(n) be the second derivative of -71*n**6/40 - n**5/60 + n**3/6 - 9*n**2 - 25*n. Let o(v) be the first derivative of r(v). Is o(-1) a multiple of 19?
False
Let x(n) be the second derivative of n**5/10 + 2*n**3/3 - 12*n**2 + 182*n. Is x(4) a multiple of 12?
True
Let m be (14 + 0)*(-2830)/(-20). Suppose -7*o + m + 637 = 0. Is o a multiple of 11?
True
Let y = -12220 - -21799. Is 116 a factor of y?
False
Let f(h) = 9*h**3 + 5*h**2 - 7*h + 222. Does 154 divide f(13)?
False
Let f(h) = h**3 + 47*h**2 + 56*h + 528. Does 20 divide f(-45)?
False
Let n(k) = 2*k**2 - 5*k - 2. Let r be n(4). Suppose -43*l + r = -45*l. Is 3 a factor of (-5)/l*17 - 3?
False
Let v(h) = -154*h + 90. Does 20 divide v(-5)?
True
Let y = -35959 - -60776. Does 17 divide y?
False
Let s = 11 + -4. Suppose 0 = q + 8*q - 45. Suppose -s*a + q*a = -28. Does 2 divide a?
True
Let j = 1365 + -776. Let c = j - -293. Is 18 a factor of c?
True
Suppose 0 = 81*k - 74*k - 413. Let n be (-2)/4*-2 + -41. Is 58 a factor of k + n/56 + (-2)/7?
True
Let g(j) be the first derivative of 7*j**4/2 + j**3 - 3*j**2 - 2*j + 204. Is 18 a factor of g(4)?
True
Let b(p) be the third derivative of p**6/120 - p**5/20 + p**4/6 - p**3/3 + 30*p**2. Let i be b(2). Suppose -2 = -j, 6*k - 102 = i*k - 5*j. Is k a multiple of 5?
False
Is ((-5)/(-45) - 56/126)*0 + 10704 a multiple of 223?
True
Let g be (3 + 99)/(9/(-6)). Let y be -38*3*g/(-24). Is 21 a factor of (1 + -2)/(-6 + y/(-54))?
False
Let i be (-40)/(-16)*12/(-5). Let o(c) = -c**2 + 6*c + 17 + 0*c + 3*c**2. Is 53 a factor of o(i)?
True
Let m(z) = -14*z + 2*z - 8*z - 2*z + 1414*z**2 - 7*z - 30. Is 73 a factor of m(-1)?
False
Let v(j) = 3623*j + 62. Does 81 divide v(1)?
False
Let n(b) = 159*b**2 + 26*b + 20. Let u(i) = -32*i**2 - 5*i - 4. Let r(d) = -2*n(d) - 11*u(d). Suppose 0 = -3*s - 6 + 3. Is 7 a factor of r(s)?
True
Let q = 2915 - -1795. Is 2 a factor of q?
True
Suppose -60274 - 87305 = -10*d + 119501. Is d a multiple of 22?
True
Suppose -20*u + 515548 + 499712 = 0. Is 18 a factor of u?
False
Let z(v) = -146*v - 7557. Is 31 a factor of z(-64)?
False
Let t be -27 + -1 + 0 + -2. Does 16 divide -908*(t/(-24))/(-5)?
False
Suppose 9812 + 1068 = 20*b. Is b a multiple of 16?
True
Let x = -24 + 192. Let t be -6*(1 - 20/8). Suppose 16*a = t*a + x. Does 4 divide a?
True
Let k(z) = 647*z - 1788. Is 32 a factor of k(6)?
False
Let q(p) = -2*p**2 + 25*p + 27. Let l be q(13). Let z = l + 3. Is 17 a factor of z?
True
Suppose -19*o - 254 - 601 = 0. Is -5*(-9)/o + 391 a multiple of 26?
True
Let z be 30/4*(-36)/(-45) + 4. Let j be z/5*3/(-6). Let w(c) = 47*c**2 - 3*c - 2. Does 5 divide w(j)?
False
Suppose 3*i = n - i - 31, 2*n + 4*i = 2. Let p(g) = g**2 - 11*g + 1. Let y be p(n). Suppose 2*x + y = x, -5*f + 3*x + 48 = 0. Is 9 a factor of f?
True
Suppose 6*l - 6 = 3*l. Let h(m) = 2*m**3 - 14*m**2 - 6*m + 8. Let s(f) = f**3 - 5*f**2 - 2*f + 3. Let x(r) = -4*h(r) + 11*s(r). Is 6 a factor of x(l)?
False
Let h be 1878/7 + 4*(-2)/28. Suppose 166 = -w - h. Let s = 612 + w. Is 37 a factor of s?
False
Let o = 644 + -271. Suppose 258 = -o*j + 375*j. Is j a multiple of 20?
False
Let z(k) = -34*k + 61. Let q(s) = -101*s + 182. Let l(g) = -3*q(g) + 8*z(g). Is 6 a factor of l(8)?
False
Suppose -51 + 72 = 3*r. Let j(g) = 3*g + 45. Does 10 divide j(r)?
False
Suppose 3*z - 84786 = -3*p, 56*z - 56468 = -2*p + 61*z. Is p a multiple of 277?
True
Let s(p) = 9*p**2 - 22*p - 22. Let z be s(6). Suppose y - z = 69. Is y a multiple of 10?
False
Suppose -33*h + 41*h = 440. Let o = h - -59. Does 6 divide o?
True
Suppose 0 = 5*n - 3*r - 630, -18*n + r + 124 = -17*n. Let b = n + -122. Does 6 divide b?
False
Let u(h) = -92*h + 193. Let z be u(2). Let l = -16 - -23. Suppose -z*t + 82 = -l*t. Does 11 divide t?
False
Let h be ((-200)/(-12))/(1/48). Suppose -15*w + h = -145. Does 9 divide w?
True
Let n(q) = -q**2 + 10*q - 20. Let f(b) = -b**3 - 3*b**2 - 4*b + 2. Let h be f(-2). Let u be n(h). Suppose u*p + p = 190. Does 10 divide p?
False
Let z(b) = -b**3 - 6*b**2 + 5*b + 34. Let r be z(-10). Let y = -309 + r. Is 28 a factor of y?
False
Suppose 106988 = 9*v + 21*v - 375772. Is v a multiple of 36?
True
Let c = -2516 - -10398. Is 4 a factor of c?
False
Let g = -6606 + 7786. Is 186 a factor of g?
False
Is (-8231)/(-3) + (-714)/153 even?
False
Suppose -31876 - 32655 - 28191 = -259*f. Is 2 a factor of f?
True
Let t(q) = -q**3 - 26*q**2 - q + 54. Let b be (-2 + 1 + -2)/((-6)/(-52)). Let w be t(b). Let v = 35 + w. Does 14 divide v?
False
Let g = -30640 - -49342. Does 9 divide g?
True
Let a = -283 - -371. Let c = a - 46. Is c a multiple of 2?
True
Let p = -17 + 19. Suppose 4*u + 3*o + 3 = p*u, 3*u + 2*o = 3. Suppose -u*a = 3*a - 648. Is a a multiple of 11?
False
Suppose 380*x + 379*x = 767*x - 69792. Is 8 a factor of x?
False
Let w = 11693 + -4192. Is w a multiple of 7?
False
Suppose 5*h - r = 488, -3*h + 2*r = -78 - 212. Suppose 18*x - 25*x + h = 0. Suppose -16*d + 132 = -x*d. Is 11 a factor of d?
True
Let f = 106 - 104. Let u be 32/7*7/f. Is (-1)/((-2)/u - 0) a multiple of 4?
True
Let x(l) = 2807*l - 4557. Is 89 a factor of x(7)?
False
Suppose 3*f + 3 = 0, 24 + 201 = 2*x - f. Is 2 a factor of x?
True
Does 10 divide (-32)/((-2432)/(-24795))*8/(-3)?
True
Let y be (-10)/5 + -49 + 11. Does 6 divide (450/y)/((-6)/32)?
True
Is 12 a factor of 27/(-45)*6*-170*(-447)/(-9)?
True
Suppose -261*m + 135*m = -104*m - 175824. Is 161 a factor of m?
False
Let i = 97 - 334. Let v = -162 - i. Is 75 a factor of v?
True
Let p be 136/14 + 6/21. Suppose -4*h + 3*h - p = 0. Does 6 divide ((-4)/h*-1)/((-40)/1800)?
True
Is (-54)/42 - -1 - (767525/(-35) + -3) a multiple of 35?
False
Let m(r) = -2*r**2 - 102*r - 720. Does 13 divide m(-18)?
True
Let l = -50 - -307. Suppose -143 = -v + l. Is 32 a factor of v?
False
Let s(q) = -5*q**3 - 33*q**2 + 12*q + 5. Let k be s(-5). Suppose 0 = -4*l + 4*j - 1752, 612 = -4*l - j - 1140. Let i = k - l. Does 53 divide i?
False
Let p be (2 - (-3 + 5))*(-3)/6. Suppose 4*f + 3*z - 675 = p, 480 = 3*f + 5*z - 40. Does 15 divide f?
True
Suppose 17*g - 3216 = 11*g. Suppose 20*w + g = 12*w. Is 4/(2 - 0) - w a multiple of 23?
True
Let u(w) = w**2 - 307*w + 23912. Is u(0) a multiple of 19?
False
Suppose 3*n + 5*b - 169130 = 0, 3*n - 195974 = 10*b - 26904. Is 15 a factor of n?
True
Let m(h) = 60*h**3 - 5*h**2 + 53*h - 34. Is m(4) a multiple of 11?
True
Suppose 19 = 5*c + 9. Suppose -2*s = 4 - 2, 84 = c*x - 4*s. Does 5 divide x?
True
Let a = 3 + -3. Suppose -4*n + 77 - 289 = a. Let w = n - -114. Is w a multiple of 28?
False
Let f(b) = 30*b**2 + 2*b + 16. Let g = -58 - -62. Does 18 divide f(g)?
True
Let z(t) = -14*t - 266. Let m be z(-21). Does 20 divide (-3 - 67)*(-432)/m?
True
Let p be 1*-4*(1 - (4 + -2)). Is 41 a factor of (-4196)/(-9) - (152/36 - p)?
False
Let a be (42/(-63))/((-2)/(-21)). Let i(o) = o**3 + 10*o**2 - 12*o - 20. Is i(a) a multiple of 9?
False
Does 10 divide (13962/(-15))/(((-8 - -4) + 6)/(-50))?
True
Let b(f) = 2*f**2 + 12*f - 16. Let x be b(-7). Let o = x + 5. Suppose -o*q = -3*u - 582, -u + 5*u = 3*q - 581. Is q a multiple of 45?
False
Let b(v) be the third derivative of 5*v**2 + 0 - 7/8*v**4 + 3/2*v**3 + 0*v. Is b(-7) a multiple of 13?
True
Let b = 93 + -95. Let c(o) = -112*o - 34. Is 5 a factor of c(b)?
True
Let k(v) = -v**2 - 6*v + 54. Let f be k(5). Is 6 a factor of (354 - (f + -8))/(1/1)?
False
Let u = -9443 + 10523. Is 72 a factor of u?
True
Let r(y) = -4*y**3 - 4*y**2 + 2*y + 18. Let a be r(-6). Suppose -w - 5*z + 138 + 548 = 0, -5*z - a = -w. Does 11 divide w?
False
Let u(h) = 7*h + 125. Let p be u(-9). Suppose 450 = 4*c - p. Does 16 divide c?
True
Suppose -2*z = a + 25 + 25, 4*a = 5*z + 99. Let l = -9 - z. Is 13 a factor of 858/l + 10/(-35)?
False
Suppose -7*a + 6*a = 5. Let