a = -52 - 6. Let q(h) = h**3 + 2*h**2 - h - 5. Let x be q(-4). Let d = x - a. Does 5 divide d?
True
Let o(n) = -72*n**3 + 12*n**2 - 13*n - 12. Is 77 a factor of o(-3)?
True
Let z be (105/(-63))/(10/(-12)). Let c(t) = -12*t**2 - 12*t**2 + 8 + 23*t**z - 4*t. Does 4 divide c(0)?
True
Let c(r) = 3*r**2 + 28*r + 64. Let t(q) = -q - 7. Let g be t(0). Let x(i) = -i**2 - 9*i - 21. Let u(p) = g*x(p) - 2*c(p). Is 18 a factor of u(-8)?
False
Let b(y) = y**3 + 23*y**2 + 22*y + 6. Let i be b(-22). Let l(g) = 5*g**2 + 8*g - 36. Does 8 divide l(i)?
True
Suppose q - 4 = 1. Suppose -q*r - 9 = -29, 3*r = 3*j + 15. Is 13 a factor of (-214)/j + -4 + 2?
False
Let u(r) = 5*r + r**3 + 3 - 3*r**3 + r**2 - 3*r**3. Suppose 3*v = -3*j - 9, -3*j - 48*v = -50*v + 9. Is u(j) a multiple of 22?
True
Let g = 33604 - 17241. Is 117 a factor of g?
False
Let w = 2704 - 2707. Let y = 1813 + -1162. Does 5 divide ((-18)/(-4))/w - y/(-14)?
True
Let c be 28/(-7) - (-24)/(0 - -4). Let g(d) = 50*d**2 - 8*d + 20. Is 3 a factor of g(c)?
True
Suppose 2*o = 4*h - 2*o - 16, 4*h - 34 = -5*o. Is 7/(h/(34 + -4)) + 4 a multiple of 13?
True
Suppose -190*q - 190*q = -387*q + 500388. Is 12 a factor of q?
True
Let t = 47373 - 23825. Is 116 a factor of t?
True
Let n(a) = 7881*a**3 + 5*a**2 + 36*a - 42. Is 20 a factor of n(1)?
True
Let b(l) = 70*l**2 - 9*l + 130*l**2 + 9*l + 54 - 57. Does 3 divide b(1)?
False
Suppose 0 = 9*j - 536 - 1255. Suppose -3*k = 5*g - j, 3*g + 100 = 4*k + 231. Is 2 a factor of g?
False
Let l(u) = u**3 + 3*u**2 + 4*u - 2. Let f = -235 + 238. Is l(f) a multiple of 16?
True
Let a(h) = -4*h**3 + 2*h + 3*h**3 - 2*h + 2*h**2 - 2. Let v be a(2). Is 12 a factor of (v + 6)*(-310)/(-40)?
False
Let k(o) = -o - 2. Let g(y) = 27*y + 94. Let q(f) = 2*g(f) + 22*k(f). Does 38 divide q(5)?
True
Let c = -41 - 36. Let m(p) = -p**3 - 43*p**2 + 8*p - 1367. Let n be m(-44). Let d = c + n. Is d a multiple of 34?
False
Let u(y) be the second derivative of -4*y**3/3 - 7*y**2 - y. Let r = 4727 + -4732. Is 17 a factor of u(r)?
False
Let w(d) = 42*d**2 + 5*d - 2. Suppose -41*g + 46*g = 95. Let r(n) = 2*n**2 - 37*n - 17. Let o be r(g). Does 22 divide w(o)?
True
Let z(s) = -6 + 7*s**2 + 0*s**2 - 55*s - 20*s - 9*s**2 - 2*s**2. Does 4 divide z(-18)?
True
Suppose 14*q = 16*q - 4, 8*u - 59914 = -5*q. Does 48 divide u?
True
Let l = -12581 - -14367. Is 19 a factor of l?
True
Let g(y) = -3*y**2 - 29*y + 13. Let o be g(-10). Let t(w) = -2*w - 2. Let k be t(-1). Suppose o*u - 81 - 279 = k. Does 15 divide u?
True
Let m(g) = 435*g - 50. Let v be (2/3)/((-24)/(-468)*13). Is m(v) a multiple of 55?
True
Let b(k) = 718*k**2 - 72*k. Is 26 a factor of b(-2)?
True
Let u(a) = -a**3 + 4*a**2 - 3*a + 3. Let m be u(3). Suppose 3*h = 2*j - 7*j - 149, 147 = -m*h - 3*j. Is 6 a factor of -3 - (3 - (8 + -2)) - h?
True
Suppose -4437 = 20*p - 49*p. Suppose 108 = g + f, 4*f + p = g + 55. Is 53 a factor of g?
True
Suppose m - 4*o - 104 - 2772 = 0, 11444 = 4*m - 4*o. Does 28 divide m?
True
Let k(a) = 606*a - 299. Is k(2) even?
False
Let q = 4164 - -2888. Does 43 divide q?
True
Let c(z) = 10*z**2 - 2*z**2 - 7*z**2 - 4 + 2*z. Let b be c(3). Suppose 0 = 5*u - 109 - b. Is u a multiple of 3?
True
Is 6 a factor of (86867/3 - 1/(-3))*(-47)/(-141)?
False
Let x(h) = -62*h**3 + 360*h + 3*h**2 - 1 - 47*h**3 - 67*h**3 - 358*h. Let q = 2 + -3. Does 44 divide x(q)?
True
Let d = -97 - -99. Suppose -d + 8 = -3*i. Is (4/(48/(-6)))/(i/1232) a multiple of 14?
True
Let j = 9 - -4127. Is j a multiple of 22?
True
Let m(x) be the second derivative of -17*x**3 + 67*x**2/2 + 23*x + 4. Is m(-6) a multiple of 38?
False
Suppose -1366*v + 1369*v - 6*a - 45624 = 0, v - 15228 = -3*a. Is 24 a factor of v?
True
Let m(x) = 2*x**2 + 22*x - 3*x - 1 - 6*x + 7. Let f be m(-5). Is (84/5)/(f/(-30)) a multiple of 8?
True
Let b(n) = -n**2 + 10*n - 3. Let h(a) = 2*a**2 - a - 1. Let m be h(-1). Suppose -m*v = -5*f + 19 + 3, -v = 3*f - 11. Does 7 divide b(f)?
True
Let h be 7416/(-30) - (-2)/10. Let s = h - -453. Is s a multiple of 13?
False
Suppose 261*t = 262*t + 3*v - 5338, 0 = -3*t - v + 16014. Does 19 divide t?
False
Suppose -h - j + 6798 = 0, 449 = 3*h - 5*j - 19993. Does 162 divide h?
True
Let l = 35 + -37. Let n = l + 6. Is 12 a factor of -2*n/(-8) + 35?
True
Let z(j) = j**2 + 4*j + 9. Let c be z(-3). Let m(u) = 12*u**2 - u + 19. Let a be m(c). Suppose 1 - 4 = 3*t, 3*t - a = -4*n. Is 31 a factor of n?
False
Let p be 12*7/((-42)/(-162)). Suppose 0 = 3*n - 15*n + p. Is n a multiple of 3?
True
Let a = -77 - -80. Suppose -a*c - 3*x + 24 - 9 = 0, 10 = 5*x. Suppose 0 = c*r - 3*y - 354, 3*r + y = -0*r + 338. Is r a multiple of 33?
False
Suppose 3*b - 45 = -3*q, -4*q - q = 0. Suppose b = -5*w, -6*w + 2*w + 360 = 4*a. Is 23 a factor of a?
False
Let z = -61 - -57. Let s = -4 - -5. Is 7 a factor of z/s + (56 - 23)?
False
Let q(p) = -60*p + 21. Let g be q(1). Is 6/g + 17/((-1105)/(-1050)) a multiple of 4?
True
Suppose 0 = -5*d - 2*a - 146, 6*a = 2*d + 2*a + 68. Let c be 36 + -5*6/d. Does 4 divide (c/2 - 19/(-38))*2?
False
Suppose -4*b + 9572 = 4*a, 73*b - 76*b + 7163 = -5*a. Is 40 a factor of b?
False
Let d = 498 - 509. Is (8/(-6))/(d/((-15048)/(-12))) a multiple of 9?
False
Let h be (-1)/(-5) - (9 - (-518)/(-35)). Suppose 0 = -h*t + 194 + 58. Is t a multiple of 42?
True
Let j be (2/(-3))/(2/(-1884)). Let v = j - 14. Does 57 divide v?
False
Let d(q) = -35*q + 173. Let i(w) = -6*w + 29. Let f(k) = 6*d(k) - 34*i(k). Let o be f(18). Let g = -13 - o. Does 7 divide g?
False
Let u(s) = s**2 + 47*s - 5. Let o(h) = -23*h + 3. Let l(a) = 5*o(a) + 3*u(a). Let i be l(-11). Suppose -2*f = -c + 103, 4*f + i + 26 = c. Is 33 a factor of c?
False
Let h be (-11)/(-2) + -2 + 11/22. Suppose h = -k + 31. Is 7 a factor of k?
False
Suppose -6*m - x + 162676 = -3*x, -7 = -x. Does 29 divide m?
True
Let m = -262 - -249. Does 10 divide 11/(((-65)/110)/m)?
False
Let f = -2714 + 6836. Does 17 divide f?
False
Let p(t) = 150*t**2 + 215*t + 48. Does 22 divide p(-6)?
True
Suppose 0 = 3*z + 2*f - 36, -3*z + 36 = -0*f - 3*f. Let l(a) = -a**3 + 13*a**2 - 12*a + 12. Does 3 divide l(z)?
True
Suppose 4*c + 4*k = 36, 7*c - 36 = 3*c + 4*k. Let f = 15 - c. Does 2 divide (-4)/(-8) + 135/f?
False
Suppose k + 0*k = -2*q + 160, -k = 5*q - 157. Suppose -504 = 5*d + 7*d. Let t = d + k. Does 20 divide t?
True
Suppose 0 = -221*y + 81*y + 787920. Is y a multiple of 28?
True
Suppose 3*s - 5*y + 10*y + 3 = 0, 15 = 3*s - y. Suppose 0 = 2*b - 6, -s*v - 3*b + 151 + 518 = 0. Is v a multiple of 33?
True
Let i = 10183 + -7208. Does 17 divide i?
True
Suppose -403853 = -141*l + 65*l + 45763. Is l a multiple of 51?
True
Let u = 5822 - 4322. Does 9 divide u?
False
Suppose -2*m + 42*s + 61466 = 38*s, 3*s + 92217 = 3*m. Is m a multiple of 43?
True
Suppose 53 = 5*w + 5*q - 47, -2*q = 0. Is 15/w - (-7847)/28 a multiple of 6?
False
Suppose -l + 2*j = -3033, 5373 = 3*l - 4*j - 3718. Does 101 divide l?
False
Let q = 3573 - 2502. Suppose -8*r - q = -17*r. Let k = -58 + r. Is k a multiple of 14?
False
Suppose 0 = -m - 3*m + f + 23, 2*m = 3*f - 1. Suppose 0 = 15*s - 5*s - 570. Suppose s = m*b - 1063. Does 8 divide b?
True
Suppose 0 = -20*z + 303 + 97. Is 31 a factor of ((-2512)/(-40) + -1)/(2/z)?
False
Suppose 0 = 5*x + 2*b + 25836, -3*b - 639 - 4536 = x. Is (-2)/15 + x/(-270) a multiple of 19?
True
Suppose -5*u + 29 + 6 = 0. Suppose -u*i + 4436 = 894. Does 23 divide i?
True
Is (-2227)/262 + 9890/4 a multiple of 224?
True
Let u(m) = -m**2 + 7*m + 23. Let t be u(9). Is t/30*-8*-27 a multiple of 9?
True
Let b(t) = -t**3 + 2*t**3 - 2*t**3 + 7*t + 9*t**2 - 1 + 6. Let r be -2*(-18)/(-9) + 11. Is b(r) a multiple of 7?
False
Let g(b) = -286*b - 786. Is g(-8) a multiple of 24?
False
Suppose 53105 = -3*f - 3*j + 268529, 2*f = 5*j + 143616. Is 32 a factor of f?
True
Let c(g) = 31*g**2 - 72*g - 410. Is c(12) a multiple of 7?
False
Let h(w) = w + 9. Let v be h(-6). Suppose -13 + 5 = v*p - 5*y, p - 3*y + 8 = 0. Does 4 divide p?
True
Let i(t) = -t**2 - 17*t - 30. Let b be i(-14). Suppose 23*c = b*c + 4136. Is 26 a factor of c?
False
Suppose 7402 = 4*w + 5*j, -3*w + 5546 = -62*j + 63*j. Does 11 divide w?
True
Suppose -3*c + 30 = 3*c. Let r be (2/c)/(6/540). Is 17 a factor of ((-5)/5 - -2) + r?
False
Let v(u) = u**2 + 5*u - 15. Suppose 73 = -5*n + 123. Is 27 a factor 