 -2*r - 2*r = 2*g + 14. Suppose 0 = -y + g*y - o. Does 7 divide y?
False
Let g(h) be the third derivative of h**6/120 - h**5/10 + h**4/24 + h**3/3 + 15*h**2. Suppose 4*c = -4*f + 4, 3*c + 10 = 4*f - 29. Does 8 divide g(f)?
True
Let s(r) = r**2 - 2*r + 1. Suppose g - 2 = -1. Let i be s(g). Suppose -l + i*l + 2*q = -8, 4*l = q + 53. Is l a multiple of 7?
True
Suppose 0 = -3*c + 6*c - 225. Suppose 95 = -2*k - 0*s + s, -5*k = 2*s + 233. Let l = k + c. Is l a multiple of 14?
True
Suppose -i = 5*i - 954. Is i a multiple of 21?
False
Let r(h) = -h - 4. Let c be r(-4). Suppose q + 2 = -c. Is 3 a factor of (-8 - q)/(3/(-2))?
False
Let v(q) = 4*q - 11. Does 8 divide v(11)?
False
Let z = -6 + 9. Suppose 0 = z*k - 2*k - 2. Suppose -3*b = -k*b - 20. Is 7 a factor of b?
False
Let b(v) = -3*v + 12. Let d be b(6). Does 10 divide 63/d*(-5 - -3)?
False
Suppose -10 = -4*t - 2. Suppose -d - 5*r + 2 + 10 = 0, 3*d - 2 = t*r. Does 4 divide (d + (-3)/2)*20?
False
Let u(i) = 5*i**2 - 3*i + 2. Let p(d) = 10*d**2 - 5*d + 3. Let h(z) = -2*p(z) + 5*u(z). Is 17 a factor of h(3)?
True
Let q(w) = -31*w + 3. Let l(x) = 47*x - 5. Let y(k) = -5*l(k) - 8*q(k). Does 23 divide y(6)?
False
Let f = -21 - -15. Is (-2 - (-15)/f)*-2 even?
False
Let m(g) = g**3 - 9*g**2 + 11*g + 24. Is 41 a factor of m(9)?
True
Suppose -3*p + 57 = -2*p. Is p a multiple of 19?
True
Let j(r) = r**3 - 3*r**2 - 3*r. Let b be j(4). Suppose b*x + 202 = 5*m, 0*x + 67 = 2*m + 3*x. Does 19 divide m?
True
Let v(h) = 3*h - 2. Let g be v(2). Let k(u) = -u**3 + 0*u**3 + g*u - 5 - u**2 + 1. Is 14 a factor of k(-4)?
True
Let h(z) = z**3 + 2*z**2 + 1. Let v(k) = -k**2 - 4*k + 3. Let o be v(-4). Suppose 0 = 2*g + l + 1, -o*g + 31 = -0*l - 5*l. Is 11 a factor of h(g)?
False
Suppose 12 = 2*j - 28. Suppose -2*i - 4*m = j, 2*m + 14 = -3*i + i. Is (-288)/(-28) + i/14 a multiple of 10?
True
Let x = -52 - -76. Does 8 divide x?
True
Let t be 4*2 + -2 - 2. Suppose -t*n = 8 - 40. Suppose n + 2 = k. Is k a multiple of 5?
True
Suppose -11 = 3*x - 5. Let v be 78/10 + (-2)/(-10). Let d = v + x. Is 4 a factor of d?
False
Let f(h) = 5*h**2 + 6*h - 6. Let o be f(-5). Let w = -57 + o. Does 9 divide w?
False
Is 18 a factor of ((-12)/(-10))/(26/715)?
False
Suppose -2*x - 3 = -13. Let s be (3/(-6) - -1) + 47/2. Suppose s = x*c - 111. Is c a multiple of 9?
True
Let v = 16 - 11. Suppose 0 = 5*k + 10, 5*k = -v*l + 2*l + 68. Is 13 a factor of l?
True
Let y(w) = 4*w - 6. Is 3 a factor of y(4)?
False
Let d be (12/(-8))/((-1)/(-4)). Let i(w) = -w**2 - 6*w + 4. Let g be i(d). Suppose 5*j - 56 = -2*o, 4*o - 2*o - 38 = g*j. Does 10 divide o?
False
Let d(n) = n**3 + 8*n**2 - 9*n - 15. Let w be d(-10). Let a = w + 221. Is 32 a factor of a?
True
Let m(a) = -a**2 - a + 1. Let d(g) = 4*g**2 - 2*g + 1. Let s(t) = -d(t) + m(t). Let w be s(1). Is (-2 - w) + -1 + 23 a multiple of 12?
True
Suppose -3*w + 7*w = -2*j + 88, 0 = 5*w - 5. Is 6 a factor of j?
True
Does 8 divide -1*(-340)/25*10?
True
Let i(b) = 15 + 3*b**3 - 4*b**3 + 0*b**3 + 12*b**2 - 15*b. Let o be i(11). Let u = o - -50. Does 7 divide u?
True
Suppose 0 = 2*m - 136 - 282. Suppose -m = -4*b + 59. Suppose 5*j = b - 7. Is 8 a factor of j?
False
Let t = -17 - -5. Let n = t + 21. Does 3 divide n?
True
Let y = -90 - -198. Does 18 divide y?
True
Let i = -7 - -10. Suppose 0 = -i*p + 5*l + 12, -2*p - l = 2*p - 16. Is 4 a factor of p?
True
Let x = -67 + 133. Is x a multiple of 17?
False
Suppose -87 = -4*f + 121. Is 13 a factor of f?
True
Suppose 2*v - 3*s - 211 = -8*s, 4*v - 2*s - 362 = 0. Is 19 a factor of v?
False
Let y = 7 + 8. Is y a multiple of 4?
False
Let x = -4 - -4. Suppose j - 5*s - 28 = x, -2*s + 50 = 6*j - 3*j. Is 9 a factor of j?
True
Let q(k) = -k**3 - k**2 + k + 6. Let h be q(0). Suppose -5*z - 55 = b - h*b, -5*z = -2*b + 37. Does 6 divide b?
True
Let v be 30/(-4)*4/(-6). Suppose v*n + 150 = 5*i, 23 = i + 4*n - 12. Is 8 a factor of i?
False
Let o be (-16)/8*(-1 + 0). Suppose -o*g = -g. Suppose g = -d - d + 54. Does 9 divide d?
True
Let f = -4 - 2. Is 21 a factor of (-252)/f + 0/1?
True
Let v be (-3)/(-12) + 26/(-8). Is 13 a factor of v - 2*-18 - 2?
False
Suppose 280 - 10 = 5*l. Suppose 0*n = 3*n - l. Suppose -n = -b - 0. Is b a multiple of 7?
False
Let l = 70 - 44. Does 26 divide l?
True
Let x(y) = y**3 + 5*y**2 - 6*y. Is x(-5) a multiple of 15?
True
Suppose -5*w = -0*w + 105. Let z be 17/(-2) + (-5)/10. Let m = z - w. Is m a multiple of 6?
True
Suppose -3*l + 4*c = -20, -4*l + 10 + 5 = -3*c. Suppose l = -5*y + 16 + 9. Suppose -3*q - 3*f - 9 = -27, 75 = y*q - 4*f. Is q a multiple of 11?
True
Let z be 2/(-4)*28/(-7). Let p = z + 12. Is p a multiple of 8?
False
Let a = -4 + 6. Suppose a*n + 5*g = n - 34, 3*n - 2*g = -85. Let h = n - -45. Is 7 a factor of h?
False
Let a(o) = -o**2. Let n(m) = 5*m**2 + 2*m - 5. Let i(x) = 4*a(x) + n(x). Does 10 divide i(-7)?
True
Suppose -65 = -w - 4*w + 5*k, 2*k = 10. Is w + 0/(3 - 0) a multiple of 12?
False
Let p be 126/10 + (-3)/5. Suppose p = n - 0. Is ((-10)/(-4))/5*n a multiple of 6?
True
Suppose 0 = 3*r + 8*r - 385. Does 7 divide r?
True
Does 4 divide (-800)/(-48) + (-1)/(-3)?
False
Let h(b) = -b**3 - 10*b**2 - 11*b - 5. Let s be h(-9). Suppose -4*m + 5 = s. Let g = m + 18. Is 16 a factor of g?
True
Let l(t) = -t**2 - 17*t - 10. Is l(-11) a multiple of 4?
True
Suppose -38 = -13*v + 11*v. Does 6 divide v?
False
Let c(k) = 2*k. Let i be c(1). Does 16 divide i + (3 - (-41 + -2))?
True
Suppose -5*i = -25 - 0. Is 4 a factor of i?
False
Let k be 82/(-4)*(-3 - 1). Let n = 147 - k. Is 11 a factor of n?
False
Suppose 0 = -2*l - 3*b + 275, -41 = -l - 2*b + 96. Is l a multiple of 15?
False
Is 2 a factor of (0 + (-19)/3)/(26/(-78))?
False
Does 15 divide (-7)/((-98)/12)*42?
False
Suppose -38 - 110 = -4*y. Suppose -3*j + y = -0*u + 2*u, -4*j - 2*u = -50. Is j a multiple of 13?
True
Let v(l) = -45*l**3 - l**2 + l + 1. Let m = -6 + 5. Does 22 divide v(m)?
True
Let p(a) = 7 + 9*a - 14*a - 6*a**2 - a**3 + 0*a**2. Does 15 divide p(-6)?
False
Let l = -44 - -85. Suppose 0 = -2*c + 3*c - 5*i - l, 2*c - 2*i - 42 = 0. Is c a multiple of 4?
True
Let u = 123 - 91. Does 9 divide u?
False
Suppose p - 6 = 4*p. Let k(v) = 2*v**2 + v - 1. Does 5 divide k(p)?
True
Let r(n) = -n**3 + n**2 - 5*n + 182. Is r(0) a multiple of 13?
True
Suppose -4*h + v + 3 + 3 = 0, -v = -2*h + 2. Suppose 27 = d + h*d. Suppose 31 = 5*j - d. Is j a multiple of 8?
True
Let w(b) = -b**2 + 9*b - 14. Let v be w(6). Suppose -28 = -4*a + 4*g + 56, v*a + 5*g - 75 = 0. Is 4 a factor of a?
True
Let x be 0 + (4 - 2) + 1. Suppose 4*k - 3 = 5*o - 17, -4*k - 4 = 0. Suppose o*v + x*v = 75. Is v a multiple of 9?
False
Suppose 2*u - 2 = 2*z, u + 4*z - 21 = z. Suppose 2*f + 12 = u*f. Is 3 a factor of f?
True
Let h be ((-1)/3)/(4/(-84)). Let m = 27 - h. Is 14 a factor of m?
False
Let j be 3/6*(0 - 0). Let s(w) = -w**3 + 7*w**2 - w + 5. Let n be s(7). Does 12 divide j*(n + 1) + 12?
True
Let k be 3*-3*2/(-6). Suppose 230 = -k*l - 130. Does 14 divide l/(-9) - 4/(-6)?
True
Let t(x) = -x**2 - 12*x + 8. Let n be t(-12). Suppose 3 = n*y - 5*y. Does 9 divide -1*3 + y + 20?
True
Suppose -5*k - 87 = 3*p, -2*k - 2*p = -4*k - 22. Let a = -7 - -17. Let r = a - k. Is r a multiple of 16?
False
Suppose -110 = 4*n - 3*x, -4*x + 9 - 1 = 0. Let v = 5 - n. Is v a multiple of 24?
False
Suppose 4*y + 5*o = 322, 3*y - 154 - 90 = -5*o. Does 24 divide y?
False
Suppose 4 - 7 = -l. Is 11 a factor of (0 - l/(-2))*12?
False
Suppose 2*t - 18 = 2. Is 2/10 - (-28)/t even?
False
Let d(u) = -3*u. Let s(k) = 0 - 3 - 2*k + 8. Let l be s(5). Is 9 a factor of d(l)?
False
Let k(t) be the third derivative of -t**5/60 + t**4/6 - t**3/6 + t**2. Let w be k(5). Is ((-28)/w)/((-4)/(-6)) a multiple of 5?
False
Let a(p) = -p**3 + 4*p**2 + 3*p - 5. Let w be a(-4). Let r = w + -41. Suppose -t = -5, 5 = -4*f - 5*t + r. Is 10 a factor of f?
True
Let r be 82/4 - (-6)/(-12). Suppose 5*t + r = -3*m, 8 = m + t - 3*t. Suppose 5*f - 170 = -m*f. Does 17 divide f?
True
Does 6 divide (6279/(-14))/(-3) - (-6)/(-4)?
False
Suppose -4*w - 284 = -6*w + 3*s, -4*w + 3*s = -556. Does 22 divide w?
False
Suppose -9*y = -14*y + 325. Is y a multiple of 13?
True
Suppose -4*h + 2*i + 38 = 0, -4*h + 3*i = -24 - 9. Is (h/(-5))/(2/(-5)) a multiple of 6?
True
Suppose 0 = 3*b - q - 777, -501 = -0*b - 2