 -5*r + y = -4*r - 11. Let a = 16 - r. Is 14 a factor of s(a)?
False
Let q(b) = b. Does 7 divide q(8)?
False
Let j(b) = 2*b + 1. Does 7 divide j(3)?
True
Let i = 4 - -1. Suppose -i*o - 84 = -7*o. Is o a multiple of 16?
False
Suppose 2*p = 7*p - 830. Is p a multiple of 34?
False
Let l = 40 + -8. Does 14 divide l?
False
Let y(p) = 2*p**2. Let a be y(1). Suppose 3*v - 33 = -a*k, 5*v + 0*k = -3*k + 54. Let s = 16 - v. Is 2 a factor of s?
False
Suppose 0*b = 4*b + 16. Let t be (-103)/5 + b/10. Let z = 43 + t. Does 11 divide z?
True
Suppose 4*s - 4*p = 204, s + 2*p - 38 + 2 = 0. Is s a multiple of 9?
False
Let p = 1 + -3. Let i be p*3 + -2 + 3. Is 17 a factor of (-4 - i) + 14*2?
False
Let f(r) = 2*r**3 - r**2 + r. Let k be f(1). Suppose -k*y = -6*y + 52. Is y a multiple of 4?
False
Let w = 5 + 3. Let o = w + -3. Does 3 divide o?
False
Let b be (-4)/((-4)/20 + 0). Suppose 14 = r - 5*h, 3*r - b = -4*h + 60. Is 8 a factor of r?
True
Let d = 7 - 2. Suppose -3*a - 5 = d*s, 4*a - 3*s = 3 + 29. Suppose 2*w = -3*n + 39, -a*w + 5*n + 0*n + 60 = 0. Is 15 a factor of w?
True
Suppose 0 = 3*k - 80 + 14. Does 7 divide k?
False
Let l = 1 - -19. Let u(c) = -c**2 - 6*c + 3. Let n be u(-6). Suppose l - 2 = n*h. Is h a multiple of 5?
False
Let n = -2 + 7. Suppose -x = 4*b - 93, 4*b - n*x - 2 - 61 = 0. Is b a multiple of 11?
True
Suppose 3*k = 480 + 168. Is k a multiple of 11?
False
Let v = 1 + -3. Let l be (-12)/(-5) - v/(-5). Is 14 a factor of (-9)/l*18/(-3)?
False
Suppose -2*m - m + 171 = 0. Suppose -2*b + j = -37, m = b + b - 5*j. Is b a multiple of 11?
False
Let v(a) be the third derivative of a**5/60 - a**4/3 - 4*a**3/3 + 2*a**2. Does 6 divide v(10)?
True
Let i(s) = -s**3 + 6*s**2 + 9*s - 10. Let b be i(7). Suppose 3 - b = -y. Suppose -y = -w + 3. Is 2 a factor of w?
True
Is 22 a factor of ((-3372)/(-52) - -1) + 6/39?
True
Suppose 22 = -g + 3*y - 8*y, y = 3*g - 14. Suppose -51 = -b + g*o, 0 = -0*b - 2*b + 3*o + 111. Is 20 a factor of b?
True
Let g(i) = 26*i**2 - 2*i + 1. Let b = -4 - -5. Let v be g(b). Suppose 0*y + 77 = 5*r - 2*y, r - v = -2*y. Is 5 a factor of r?
False
Is (-18)/(-4)*248/12 a multiple of 12?
False
Let p = -8 + 57. Does 9 divide p?
False
Does 9 divide (18/(-15))/(-3*(-4)/(-390))?
False
Suppose 0 = 2*u - 122 + 24. Does 8 divide u?
False
Suppose -4*t + 88 = -2*t. Is 22 a factor of t?
True
Let p = -7 - -11. Suppose -3*l - 2 - 7 = 0, -p*l = 2*n - 18. Is 9 a factor of n?
False
Let r be ((-1)/(-2))/((-4)/(-24)). Suppose -8*d + 130 = -r*d. Does 13 divide d?
True
Is 36 + -3 + 2 + -1 a multiple of 17?
True
Suppose -552 = 3*k - 6*k. Suppose f = -3*f + k. Does 16 divide f?
False
Let t(r) = -r**3 - 7*r**2 - 3*r + 9. Let j = -4 - -9. Suppose 2*z + 19 = 5*h, -3*z + j*h + 14 = 40. Is 15 a factor of t(z)?
True
Suppose -r = -4*r - 33. Let u = 58 + r. Is u a multiple of 18?
False
Suppose 3*g = -5*l, 0 = -2*g - g - 3*l. Suppose g = -6*z + 9 + 123. Is 11 a factor of z?
True
Suppose 0 = -4*u + 2*h + 12, -2*h + 7 - 3 = 4*u. Suppose -3*b + 5*b - 6 = 0. Is 4 a factor of (-2)/u - (-33)/b?
False
Suppose -3*g = 3 - 15. Suppose z - g = 5. Does 6 divide z?
False
Let o(p) = 17*p**3 + p. Is 18 a factor of o(1)?
True
Let j be (2 - 6)/(4 - 3). Let u be j/6 - (-2)/3. Is -29*(u/(-1) - 1) a multiple of 13?
False
Let u(s) = -2*s**3 - 3*s**2 + 2*s + 7. Does 2 divide u(-2)?
False
Let w = -44 - -86. Let z(x) = -2*x - 2. Let o be z(-2). Suppose -o*b + 4*h + 12 = -0*b, 4*b = -h + w. Is b a multiple of 10?
True
Is (-93)/(-1) - (3 + 0) a multiple of 15?
True
Suppose -4*r - a = 4*a - 171, -r - a = -44. Is r a multiple of 12?
False
Let l = 38 - -97. Suppose 2*n = 5*j - l, 2*j - 5*n = 58 - 4. Is j a multiple of 15?
False
Let x(w) = w + 27. Suppose 0 = -k + 4*k - t, 3*k - 4*t = 0. Is 14 a factor of x(k)?
False
Let m = 74 - 36. Does 9 divide m?
False
Let b = 144 - 111. Is b a multiple of 33?
True
Suppose 3*d = 4*d - 4. Is (26/d)/(5/10) a multiple of 13?
True
Let b(p) = -p**3 - 11*p**2 - 12*p - 5. Let i be b(-10). Let g(f) = -f**3 + 7*f**2 - 8*f + 1. Let a be g(6). Let t = a + i. Is t a multiple of 3?
False
Let q = 24 + -14. Does 11 divide 191/7 + q/(-35)?
False
Let i be 3 + (-3 - 0) + -13. Let p be (i/(-3) + -3)*3. Suppose 0 = -4*j + j - 6, -p*h + 5*j + 50 = 0. Does 5 divide h?
True
Suppose -3*z = z - 24. Suppose -7*a = -z*a - 23. Does 23 divide a?
True
Is 8 a factor of 0/(-1 + -3) - -16?
True
Let y(m) = -2*m + 17. Let t(i) = i - 9. Let c(v) = 5*t(v) + 3*y(v). Let z be c(9). Is (2/6)/(z/(-225)) a multiple of 25?
True
Suppose 414 + 96 = 3*i. Does 26 divide i?
False
Let f(a) be the third derivative of -3*a**6/40 + a**5/60 + a**4/24 + a**3/6 + 2*a**2. Let z be f(-1). Does 2 divide z/(-35) - 23/(-7)?
False
Suppose -278 + 48 = -5*s. Does 28 divide s?
False
Let b = 76 + 60. Let h = 27 - 33. Does 17 divide 12/(-8)*b/h?
True
Suppose 0*h - 3*h + 9 = 0. Suppose -h*z = -5*z. Suppose z = -5*g + 28 + 87. Is 8 a factor of g?
False
Let s(k) = 10*k**3 - k**2 + k - 1. Is s(1) a multiple of 6?
False
Suppose 0 = -3*l + 8 - 2. Let q be 1/(-1 + 2)*l. Let j(x) = x**2 + x - 1. Is 2 a factor of j(q)?
False
Suppose 0 = r - 0*r - 3*l + 6, -2*r = -4*l + 4. Let w be (-9)/(-3) - 1 - -18. Suppose -5*n + 2*s + w = r*s, 5*n = 2*s + 50. Does 7 divide n?
False
Let s(q) be the second derivative of q**5/20 + q**4/6 - q**2/2 - q. Let t be s(-1). Is 8 a factor of 6/9*(t - -24)?
True
Let z = -4 + 6. Suppose -4*a - 2*o + 18 = 0, -2*a + 10 = -z*o + 4*o. Suppose 2*l + 3*c = 46, -l + 5*c + 23 = a*c. Is 12 a factor of l?
False
Suppose -5*p + 202 - 7 = 0. Is 13 a factor of p?
True
Let v be (-30)/(-3) - -3 - -3. Let f be -3 + 1 - (v - 0). Is (f/(-4))/3*10 a multiple of 5?
True
Let y(a) = -18*a + 1. Let q(g) = -19*g + 1. Let p(x) = 4*q(x) - 3*y(x). Suppose -2*b + 4*b + 2 = 0. Is p(b) a multiple of 8?
False
Is 5 a factor of (18/(-4))/(15/(-20))?
False
Let k be (6/9)/((-4)/(-6)). Is 14 - k*(-1 + 2) a multiple of 7?
False
Let q = -5 + 7. Suppose -2*l + 48 = -q*u + 7*u, 4*l + 3*u - 82 = 0. Is 7 a factor of l?
False
Let u be (-1)/(-2)*(0 + -8). Let x be (-44)/(-8) + (-2)/u. Suppose 0 = p - 2*k - 2*k + x, 3*k - 9 = 0. Is 6 a factor of p?
True
Let q be (-328)/(-12) + (-4)/(-6). Does 24 divide (-18)/2*q/(-3)?
False
Let p(f) = f**3 - 3*f**2 - 6*f - 8. Let b be p(6). Suppose 3*c - b = -c. Is (6/1)/(c/88) a multiple of 13?
False
Let f(k) = k**3 - k**2 + k + 11. Let n be 1*0/(3 - 1). Does 5 divide f(n)?
False
Suppose -n - 5 = -6*n. Let k(u) = 20*u + 1. Does 8 divide k(n)?
False
Let q be ((-6)/10)/(2/30). Is 5 a factor of (-12)/q + 26/3?
True
Let y = 340 - -21. Does 13 divide y?
False
Let y = -63 + 150. Does 25 divide y?
False
Let t = 18 - 13. Suppose 2*a = -2*q - a + 21, 0 = t*a - 15. Is 2 a factor of q?
True
Is 10 a factor of (-27)/(-1) + -1*4?
False
Let y(t) = t**3 - t**2 - t + 2. Let w be y(0). Suppose -48 = -2*c - w*c. Does 5 divide c?
False
Let k = 3 + 10. Let c = 29 - k. Does 5 divide c?
False
Let k(c) = c**2 - 9*c + 5. Let b be k(9). Suppose -b*o - 180 = -10*o. Is 12 a factor of o?
True
Let d(z) be the first derivative of z**4/12 - 2*z**3/3 - 2*z**2 + 2*z + 1. Let w(s) be the first derivative of d(s). Does 4 divide w(6)?
True
Let u be 330/12 - 2/4. Is 885/u + 2/9 a multiple of 11?
True
Let o(z) = z**3 - z**2 + z - 1. Let f be o(2). Suppose -26 = 2*l - f*v, -12 = 2*l - 4*v + 10. Is 8 a factor of 1 + l + (-25)/(-1)?
False
Let y(v) = 4*v**2 + 9*v - 1. Let g(z) = 7*z**2 + 18*z - 1. Let o(j) = -3*g(j) + 5*y(j). Let q be o(-8). Suppose -60 = r - q*r. Is 12 a factor of r?
True
Suppose 2*u = 6*u - 216. Does 9 divide u?
True
Let t be (1 + -2 - 1)*-2. Let c = -88 + 152. Suppose -t*s + c = 4. Is s a multiple of 15?
True
Suppose -5*i - y = -99, 0 = -4*i + y - 2*y + 79. Is i a multiple of 11?
False
Let i(h) = -5*h**3 - h**2 - h + 2. Let t be (-3)/2*(-16)/(-12). Does 8 divide i(t)?
True
Let r(n) = n**2 + n. Let l be r(3). Let y = l - 9. Is y even?
False
Let h(r) = 5*r + 10. Is h(8) a multiple of 14?
False
Let g(a) be the first derivative of -a**3/3 + 9*a**2/2 + 5*a - 4. Is g(8) a multiple of 9?
False
Suppose -a + 17 = -7. Is 12 a factor of a?
True
Let p be 50/(-15) + 4/(-6). Let z be (-7)/p - 5/(-20). Suppose 123 = 3*f + 3*o, -5*f + z*o + o + 165 = 0. Is f a multiple of 24?
False
Let d(o) = 2*o**2 - 2*o + 2. Does 14 divide d(-2)?
True
Let t(g) = 5*g**2 +