g = -27 - -41. Let r = g + 1. Does 5 divide r?
True
Does 8 divide (114/12 - 4)*8?
False
Let s(v) = v**3 + 4*v**2 + 4*v + 6. Let b be s(-4). Let x = b - -45. Is 5 a factor of x?
True
Let p = -265 + 177. Let s be (-4)/(-10) - p/(-20). Does 7 divide -2 - (-3 - (-68)/s)?
False
Is (-1910)/(-22) + 18/99 even?
False
Suppose -2*d + 18 = k, -5*k + 68 = -d - 33. Suppose 4*s = -2*y + k, 5*y - s = 3*s + 8. Is y a multiple of 2?
True
Let g(f) = -f**3 - 6*f**2 + 7*f + 6. Let s(x) = x**3 - 2. Let i be s(0). Let d be i*(20/8 + 1). Does 4 divide g(d)?
False
Let q = -29 - -45. Let i = 22 - q. Suppose 4 + i = d. Does 8 divide d?
False
Let x(h) be the second derivative of -h**3/6 - 2*h**2 - 5*h. Let b be x(-8). Suppose 5*k + 2*w - 177 = 5*w, 3*k - b*w = 104. Does 18 divide k?
True
Suppose -4*q + 5*p - 23 = -2*q, -2*p + 9 = -q. Let w be (-1 - q)*102/(-4). Let b = w + -18. Is 12 a factor of b?
False
Let i(t) = 10*t**2 + 7*t - 5. Let q be i(1). Suppose -53 = -q*p + 79. Is p a multiple of 3?
False
Suppose -5 = -5*m, 2*m - 215 = 2*l + l. Does 19 divide 1/2 + l/(-2)?
False
Let h(s) be the third derivative of -7*s**4/24 - s**3/3 + s**2. Let a(v) = v**2 - v - 2. Let t be a(0). Is 6 a factor of h(t)?
True
Suppose 2*y + 31 = 81. Let n = -27 + y. Is 9 a factor of 72/3 + (-6 - n)?
False
Suppose -68*k + 4088 = -60*k. Does 18 divide k?
False
Suppose 9*m - m + 64 = 0. Does 4 divide ((-29)/(-4))/((-2)/m)?
False
Let v be (-25 + 13)/(4/(-2)). Suppose -u - 2*b + b + 102 = 0, -u + 2*b = -96. Suppose u = v*l - l. Is 5 a factor of l?
True
Is ((-13092)/(-1))/12 + -1 a multiple of 51?
False
Suppose -3*s = -61 - 11. Is 9 a factor of s?
False
Suppose 805 = -8*x + 2981. Is 4 a factor of x?
True
Suppose 0 = -10*k - 2080 + 16020. Does 37 divide k?
False
Suppose -3*p = -15, p - 526 = -4*o + 3*p. Let u = -20 + o. Is u a multiple of 20?
False
Suppose -3914 = -5*n - 1529. Is n a multiple of 39?
False
Let v(j) = -30*j**3 + 2*j**2 + j. Suppose -4*p + 1 = -5*o, 5*p - 4*o = 4*p - 8. Suppose 0*x + 15 = 5*w + p*x, 0 = 4*w - 5*x + 29. Is v(w) a multiple of 10?
False
Suppose -3*c = 4*j - 9340, -7*c + 4*c = 5*j - 9335. Does 24 divide c?
True
Is -10*7*(-20)/8 a multiple of 5?
True
Let o(n) = n**3 + n**2 + 10. Let q be o(0). Suppose -q*h + 54 = -h. Is h a multiple of 6?
True
Let d(w) = w**2 - 13*w + 6. Let v be d(12). Let m(c) = -41*c - 3. Let l(b) = -20*b - 2. Let u(g) = v*m(g) + 10*l(g). Does 21 divide u(1)?
False
Let x(v) = 3*v**2 - 9*v + 34. Let u(m) = -4*m**2 + 10*m - 34. Let j(d) = -5*u(d) - 6*x(d). Is 11 a factor of j(-7)?
False
Let s = -64 - -62. Is 7 a factor of (s/(-6))/((-7)/(21*-109))?
False
Suppose -82*a = -89*a + 1120. Is a a multiple of 5?
True
Is 12 a factor of 1/(2/(-232))*(3 + -7)?
False
Is 10 a factor of (4 + -36)*(0 - (-10)/(-4))?
True
Let x = 96 + -365. Let v = 423 + x. Is 38 a factor of v?
False
Let w = -95 - -606. Does 73 divide w?
True
Suppose -685 = -3*g + 2*s, -96 = -3*g - 2*s + 605. Is g a multiple of 24?
False
Suppose 4*d + m = 12, d + 0*m = 4*m + 20. Suppose 0 = 5*h - d - 396. Is 30 a factor of h?
False
Let u = -5 - -17. Let q = 16 - u. Suppose -158 = -q*p + 10. Does 21 divide p?
True
Suppose -924 = 41*n - 44*n. Is 11 a factor of n?
True
Let x(c) = -c**2 - 2*c + 100. Let z be x(0). Suppose -n - 4*n = -z. Is 3 a factor of n?
False
Suppose -4*j = -8*j - 660. Is (((-12)/4)/(-3))/((-3)/j) a multiple of 6?
False
Does 12 divide (3 - (-195 - -3)) + (-5 - -8)?
False
Suppose 0 = -2*i + 244 + 308. Does 12 divide i?
True
Let k(r) = -2*r + 13. Let b be k(-4). Suppose 0*a + a - 3*t = -1, 0 = -3*a - 3*t + b. Suppose u = -a*u + 312. Is 32 a factor of u?
False
Let h(w) be the first derivative of 7*w**2 + 11*w - 63. Suppose 2*i - 16 - 8 = -2*s, -s = -3*i + 20. Does 31 divide h(i)?
False
Let h = -79 + 79. Suppose 4*c = -h*c + 508. Is 25 a factor of c?
False
Let d(p) = 2*p. Let l be d(2). Suppose 4*v - l*k = 40, 5*k = 4*v - 15 - 25. Is 3 a factor of v?
False
Let j = 21 + -22. Is 18 a factor of j - ((3 - 126) + -4)?
True
Let b(j) = -j**2 - 6*j + 5. Let t be b(-6). Suppose 0*a + 3*h = -a + 15, 0 = -t*h + 20. Suppose 0 = a*s - s - 12. Is s a multiple of 2?
True
Let j = 512 + 6. Let x = -365 + j. Is x a multiple of 17?
True
Let n = 24 + -17. Suppose -2*g = -3*g + n. Let i = g - 3. Does 4 divide i?
True
Let x = 156 - -265. Is 42 a factor of x?
False
Let l(z) = z. Let p(t) = t**3 + 2*t**2 - 4*t - 128. Let u(n) = -5*l(n) - p(n). Does 28 divide u(0)?
False
Let y = -7 - -12. Is (3 + (-31)/y)*90/(-4) a multiple of 8?
True
Is (-1416)/(-54) + 4/(-18) a multiple of 13?
True
Let y(l) = l**2 + 3*l - 24. Let h be y(-7). Is -1 - 291/(h - 7) a multiple of 13?
False
Let n be 2/(-2) + (-2933)/(-7). Let j = n - 243. Suppose 3*h = 10*h - j. Is 13 a factor of h?
False
Is (2538 - 8)*12/15 + -8 a multiple of 63?
True
Let q(h) = -2*h**2 - 2*h + 3. Let u be q(-2). Let m be 5/35 + (-754)/(-14). Let y = u + m. Is y a multiple of 19?
False
Let z be (-2 + 3)*(1 - 1). Let s(m) = -m**2 - m + 2 + 2*m**2 + z*m**2 + 2*m. Is 11 a factor of s(4)?
True
Let f(k) = k**2 + k + 5. Let o be f(-5). Let x = 1 + o. Does 5 divide x?
False
Let j(d) = d**2 - 4*d - 16. Let r(n) = -n + 1. Let z(y) = j(y) + 3*r(y). Is z(10) a multiple of 11?
False
Suppose 5*s = -4*n + 84, 80 = -0*n + 4*n + 4*s. Suppose -2*u = -n - 4. Is 2 a factor of u?
True
Let t(m) = -2*m**2 + 3*m - 3. Let o be t(-3). Let p be (-10)/(-75) + 34/o. Is p/(1 - 56/52) a multiple of 4?
False
Let z = -911 + 1471. Is 40 a factor of z?
True
Does 7 divide ((-18)/27)/(-2)*309?
False
Suppose -198 = 3*s - 4*s. Suppose 3*z - 84 = s. Does 9 divide z?
False
Suppose -6*l + 977 = -559. Is 9 a factor of l?
False
Let u be (32/(-8))/(3/(9/(-4))). Does 12 divide (-3)/(-3*u/189)?
False
Suppose -8*v = -13*v - 740. Let c = v + 236. Is c a multiple of 24?
False
Let k = 0 - 0. Let o(h) = -h**2 + 10*h + 15. Let r be o(11). Suppose r*v + k*v = 68. Is 3 a factor of v?
False
Suppose 113*s + 780 = 117*s. Is s a multiple of 6?
False
Suppose -4*o - 4224 = -10*o. Does 16 divide o?
True
Suppose 0 = -4*f + 11*f + 959. Let k = -2 - f. Is k a multiple of 27?
True
Suppose 5*g - 6*g - 6 = 0. Is (-262)/(-6) + 4/g a multiple of 7?
False
Suppose 2*n + 4*w - 448 = 340, 0 = -n + 2*w + 406. Is n a multiple of 16?
True
Is (2 + -6)*(-1220)/80 a multiple of 30?
False
Let u = 746 - 511. Is u even?
False
Let c be 4/20 - (-1)/(-5). Suppose -20*p + 18*p + 252 = c. Is p a multiple of 9?
True
Let g = -145 - -204. Suppose -b = 3*o - 0*b - g, 3*b = 3*o - 39. Is 18 a factor of o?
True
Let d be 2/5 + (-2 - (-56)/10). Let f(b) = -4*b + 39. Is 23 a factor of f(d)?
True
Let g = -219 - -110. Let q = -10 - g. Is 33 a factor of q?
True
Suppose -3*g = -3*l + 6, -7*g + 3*g + 2 = l. Let h be 1 - ((l - 0) + 6). Let n(q) = 2*q**2 + 9*q + 2. Is 10 a factor of n(h)?
False
Suppose 4*p - 4*f = -2*f + 466, 3*f = 5*p - 580. Let t = 27 - p. Let k = t - -132. Is 11 a factor of k?
False
Suppose 13 + 65 = -2*p. Suppose 22*t + 124 = 24*t + 2*i, i - 245 = -4*t. Let u = t + p. Is u a multiple of 6?
False
Let z be (1 + (-35)/45)*9. Suppose -b + 59 = z. Does 18 divide b?
False
Let p = 15 - 12. Suppose -2*u = p*u - 2*i - 279, -294 = -5*u - 3*i. Is u a multiple of 13?
False
Let i(x) = 3*x**2 + 2*x - 11. Suppose 5 + 11 = -4*u, -3*w + 2*u - 13 = 0. Is 12 a factor of i(w)?
False
Let k = 2 - -1. Let p(x) = -x**3 - 1. Let b be p(-2). Suppose j = b - k. Is j a multiple of 4?
True
Let o = 1556 + 223. Is o a multiple of 79?
False
Let i(y) = -y + 4*y - 24*y**2 + 25*y**2 - 2 - 5*y. Let b be i(2). Is b/4 + 1356/24 a multiple of 8?
True
Suppose 4*z - 5*b - 13 = 0, -b = -6*b - 5. Is ((-5)/2)/(z/(-28)) a multiple of 7?
True
Is 69 a factor of 50/15*2007/15?
False
Suppose 83*l - 18414 = 50*l. Is l a multiple of 59?
False
Suppose u + 18 = -5*t - 25, 3*t + 4*u = -19. Let j = 33 + t. Is 12 a factor of j?
True
Let g = 189 + -27. Let a be 13*-7 + (-21 - -20). Let r = g + a. Does 22 divide r?
False
Let k(m) = 5*m**2 + 2. Let h = 5 + -19. Let p be (7/h)/(1/(-4)). Does 11 divide k(p)?
True
Let p be 1253/(2 + -3) + -3. Let u be p/(-16) + (-6)/(-4). Suppose -b + u = -38. Is b a multiple of 29?
False
Let t(k) be the third derivative of k**5/60 - k**4/3 + 11*k**3/6 + 16*k**2. Is 6 a factor of t(9)?
False
Let f(o) = o**2 + o - 9. Let c be f(3). Suppose -3*a = -4*w - 9 - 10, -c*a + 29 = w. 