(r) = 10*n(r) - z(r). Is 10 a factor of p(-4)?
False
Let o = -13 + -4. Let z = o - -11. Let g = z + 9. Is 2 a factor of g?
False
Does 13 divide (-50)/20 + 1083/6?
False
Let q(x) = x**3 + 12*x**2 - 5*x - 9. Let c(h) = h**2 - h. Let s(d) = 5*c(d) - q(d). Is s(-7) a multiple of 4?
False
Let w(o) be the third derivative of o**5/15 - o**4/6 + o**3/6 - 4*o**2. Is 8 a factor of w(3)?
False
Suppose -b = -0*b - 2*g - 1, 25 = -2*b - 5*g. Suppose -2*h - o + 12 + 16 = 0, -o + 4 = 0. Let w = h - b. Is w a multiple of 11?
False
Let d(z) = z**2 - 9*z + 6. Let l be d(8). Does 6 divide l/(-4) + 23/2?
True
Let k(y) = 2*y**2 - 4. Is k(3) a multiple of 7?
True
Does 21 divide ((-1565)/(-15))/(1/3)?
False
Suppose 6*v - 2 = 4*v. Let p = -1 + v. Suppose 4*h - 17 - 37 = 5*g, p = 3*h - 2*g - 44. Is 10 a factor of h?
False
Let f(x) = -x**3 - 2*x**2 - 4*x - 2. Let v be f(-2). Let z = -5 + v. Suppose -z = 4*w + 3, -19 = -a + 5*w. Does 7 divide a?
True
Let d(u) = u**3 + 8*u**2 + 5*u - 8. Let c = -1 - -19. Suppose -4*n = -3*q - 10, -2*q + 0*q - c = 3*n. Is d(q) a multiple of 12?
False
Suppose 0 = -3*v - v + 20. Suppose 26 = -v*b + 116. Is 4 a factor of 176/b - 8/(-36)?
False
Let y(d) = -59*d**3 - 2*d**2 - 3*d - 2. Is 24 a factor of y(-1)?
False
Suppose -23*d - 20 = -25*d. Let u = 30 - d. Does 10 divide u?
True
Is 22 a factor of 60/9*15 + -8 + 6?
False
Suppose 5 = -k + 10. Let o = k - 1. Is 4 a factor of o?
True
Let f(y) = y + 4. Let s be f(0). Suppose 2 = -s*d - 2. Does 6 divide (d/2)/((-1)/12)?
True
Let j = 104 + -48. Does 10 divide j?
False
Suppose 29*l - 28*l = 15. Does 15 divide l?
True
Let w(u) = u + 194. Does 13 divide w(0)?
False
Let u(s) = s**3 - 13*s**2 - 12*s + 10. Does 12 divide u(14)?
False
Let u(z) = -z**3 - z**2 + 4*z + 3. Is u(-4) a multiple of 14?
False
Suppose u + 0 = 5. Suppose -4*f - u*g = -87, -3*g = -f + 4*f - 66. Is f a multiple of 11?
False
Suppose -2*t + 1 + 3 = 0. Is t/10 - 279/(-5) a multiple of 14?
True
Suppose 2*p + 56 = m, p + 194 + 122 = 5*m. Does 18 divide m?
False
Suppose -4*q = -6*q - 4. Let t be (1/(-2) - q)*2. Suppose -t*c + 45 = 2*c. Is c a multiple of 9?
True
Let w(d) = d + 8. Let x be 0/(-5)*(-1)/2. Is 8 a factor of w(x)?
True
Does 11 divide (-21)/35 - (-278)/5?
True
Suppose -16 = 5*b - 1. Let j(w) = -w**3 - 2*w**2 - w + 4. Let h be j(b). Let s = 15 + h. Does 13 divide s?
False
Suppose 2*v = 3*v - 7. Is 5 a factor of v?
False
Let m(g) = g + 15. Let k(n) = -n. Let x(z) = k(z) - m(z). Let o be x(-10). Suppose -3*d - 3*t + 102 = -0*t, -o*d + t = -158. Is 15 a factor of d?
False
Let s = 32 + -68. Let q = -19 - s. Is q a multiple of 6?
False
Let o be 2*3/(-6)*-3. Suppose -4*c - o*y + 336 = 2*y, 5*c + y - 420 = 0. Suppose -j + 4*j - c = 0. Is 14 a factor of j?
True
Let c = -4 - -6. Let l be ((-1*8)/c)/(-2). Suppose -3*w + 3*f = -30, 0 = 2*w - l*f + 3*f - 26. Is w a multiple of 7?
False
Let c(z) = z**2 - 4*z + 1. Let u be c(5). Let d = 34 + -38. Let h = u - d. Does 6 divide h?
False
Suppose 2*s = -4*t + 84, -s - s + 5*t + 111 = 0. Let i = s + -32. Does 8 divide i?
True
Let x(a) = -a**3 - 3*a**2 + 7*a - 6. Let q be (-21)/4 - 30/40. Is x(q) a multiple of 12?
True
Suppose -5*n - 50 = 2*s, 2*s - 37 = 4*n + 3*s. Is 5 a factor of (66/(-9))/(n/12)?
False
Suppose -45 = 3*d + 3*c, d = 4*d - c + 57. Let l = d + 33. Does 5 divide l?
True
Suppose 5*s + 5*j - 270 = 0, j - 3*j = 5*s - 261. Suppose -4*q + 57 = -s. Is q a multiple of 9?
True
Suppose -3*a + 9 = -33. Is 14 a factor of a?
True
Let n(c) = 4*c - 2 + 0*c**3 + 0*c**3 + c**3 - 5*c. Let q be n(2). Suppose -q*p + 72 = -4*s, -3*p - s - 9 = -75. Does 11 divide p?
False
Suppose 0 = -5*d - 5*t - 5, -7*d = -2*d - t - 13. Let z(p) = 6*p - 2. Let o be z(2). Suppose 5*f = -5*x + o, -3*x - d*f = -11 + 1. Is x a multiple of 3?
True
Suppose 0 = 4*w + 3*z - 96, 4*w + 0*w - z = 96. Does 5 divide w?
False
Suppose m = 4*m + 18. Is 10/((4/m)/(-2)) a multiple of 15?
True
Let p be (-5)/((-2)/(-10) + 0). Let x(w) = -9*w - 27. Let h be x(-8). Let y = h + p. Is 6 a factor of y?
False
Suppose -2*h = -4*y - 288, -5*y - 150 - 135 = -2*h. Does 15 divide h?
True
Suppose -4*a = -3*o - 17, -4*o + 6*a = 3*a + 18. Let u(n) = -2*n**3 - 4*n**2 - 2*n + 4. Is 17 a factor of u(o)?
False
Suppose 2*f = 10, s + f + 5 = 6*s. Let n = 25 - 42. Does 17 divide n*((s - 0) + -3)?
True
Let q = 100 - 87. Does 2 divide q?
False
Let l(a) be the third derivative of a**7/2520 + a**6/720 - a**5/24 - a**4/24 - 2*a**2. Let p(q) be the second derivative of l(q). Does 7 divide p(-4)?
True
Let t(z) = z**3 + z**2 - 7*z**2 - z**3 + 5*z + 3 - z**3. Is t(-7) a multiple of 12?
False
Let d be (-12)/15*(-15)/6. Let n be 12/30 - d/5. Suppose -5*j = 5, -5*y - 4*j + 128 + 123 = n. Is y a multiple of 23?
False
Suppose -9 = c - 3*h, 4*h = -5*c + 6 - 51. Let o = 5 + c. Let r(a) = a**3 + 5*a**2 - 4. Is 5 a factor of r(o)?
False
Let d = 163 - 79. Is d a multiple of 12?
True
Suppose 2230 = -0*w + 5*w. Does 43 divide w?
False
Is 24 a factor of (-4 + 17)*7 - -3?
False
Suppose 0 = -z + 5*z. Let f = 3 + z. Suppose 6*i + 78 = f*b + 3*i, 51 = b + 4*i. Is b a multiple of 12?
False
Suppose 2*s + 0 = 44. Is s a multiple of 21?
False
Let s(n) = 16*n**2 + 2*n - 2. Suppose 5*d + 9 = -1. Is s(d) a multiple of 17?
False
Let l = -5 + 284. Let n = l + -114. Suppose -2*z + n = 3*z. Is 11 a factor of z?
True
Let f = -159 - -258. Is 13 a factor of f?
False
Suppose -2*z + 8 + 12 = 0. Let k(p) = p**2 - 9*p - 6. Let i be k(z). Suppose 9*a - 105 = i*a. Is a a multiple of 7?
True
Let k = 4 - -9. Let f be (8/(-12))/((-4)/(-6)). Let z = f + k. Is z a multiple of 9?
False
Let z(y) = -y**2 - y + 6. Let f be z(0). Suppose 5*i = 3*o + i - 26, 2*i + f = -2*o. Suppose 10 = 2*q, -o*k + 9 = 3*q - 34. Is 7 a factor of k?
True
Suppose 8*k - 10*k + 360 = 0. Is k a multiple of 36?
True
Let k(d) be the first derivative of -d**3/3 - 9*d**2/2 - 9*d - 2. Does 3 divide k(-6)?
True
Is (-8)/(-14) - (-1110)/42 a multiple of 6?
False
Let p(z) = z**3 - 5*z**2 - z + 5. Let j be p(5). Let g = -15 - -23. Suppose g = o - j. Is o a multiple of 8?
True
Let j be ((-18)/7)/((-30)/140). Let h = 23 - j. Is h a multiple of 4?
False
Suppose 2*h = h + 63. Suppose -16*b = -19*b + h. Does 6 divide b?
False
Suppose 2*d - d = 40. Is d a multiple of 14?
False
Let a(j) = 2*j**2 - 12*j + 3. Let n(i) = i**2 - 4*i + 1. Let q(z) = -4*a(z) + 11*n(z). Let x be q(-5). Suppose -t = 2*t - x. Is t a multiple of 7?
False
Suppose -s + 2 = -q - 0*q, 2*s + 2*q = 4. Let m be (-108)/8 + 1/s. Let p = m + 32. Does 9 divide p?
False
Suppose -s = -2*s. Suppose -2*h - 2*h + 56 = s. Is 3 a factor of h?
False
Suppose -5*t = -2*o - 265, 15 + 0 = -3*o. Is t a multiple of 9?
False
Let v be ((-9)/(-5))/(9/(-45)). Does 16 divide v/(9/(-20)) - 0?
False
Let l(i) = 7*i**2 - 24*i + 35. Let z(x) be the second derivative of -x**4/6 + x**3 - 9*x**2/2 - 2*x. Let t(k) = -6*l(k) - 22*z(k). Is t(-9) a multiple of 12?
False
Is 32 a factor of (-11 - -4)*-9 + 1?
True
Suppose -2*r + 22 = 5*g + r, -2*g = 5*r - 24. Suppose -4*x - 4*k = -100, 2*x - g*k + 0*k = 30. Does 7 divide x?
False
Let r(u) = u. Let j(s) = s - 5. Let g(o) = -j(o) + 2*r(o). Is 7 a factor of g(12)?
False
Let f(g) = -g**3 - 8*g**2 + 8*g - 9. Let q be f(-9). Suppose -5*h + 3*a + 85 = q, 75 = -h + 5*h - a. Does 10 divide h?
True
Let v(m) = 4 - m**3 - 1 + 6*m + 5*m**2 - 1. Let t be v(6). Suppose -4*q - 3*a = -2*a - 29, 2*q - 22 = -t*a. Is q a multiple of 3?
True
Let i be 1*(-2)/4*2. Let o be 1/(i - 4/(-3)). Suppose 2*j - o*b - 33 - 15 = 0, -4*j = -5*b - 98. Is 15 a factor of j?
False
Let t(y) be the second derivative of y**4/12 + 2*y**3/3 - 3*y**2/2 + 5*y. Is t(-7) a multiple of 9?
True
Let p(d) = -d**2 - 5*d - 1. Let s be p(-4). Suppose -3*b = 7*n - 3*n - 40, -s*b - 5*n = -44. Is b a multiple of 8?
True
Let b = -1 + 4. Let o be (0/b + 1)*0. Is (o + -1)*2*-11 a multiple of 11?
True
Suppose 3*v - 2 = 2*v. Suppose 0 = v*p + 4*i - 46, 0 = -4*p - 4*i + 34 + 54. Let f = 33 - p. Is f a multiple of 5?
False
Suppose 5*o - 41 = -2*n, 0*o - 5*o = -5*n + 15. Let f be (-1)/(-3 + 22/n). Suppose f*p - 59 = -5*z + 6, -z + 29 = 4*p. Is 9 a factor of z?
True
Suppose 0 = 2*a - 227 - 239. Let m = -164 + a. Suppose 0 = 2*f - 8, 4*r = 4*f + 11 + m. Does 12 divide r?
True
Suppose -5*a - 3*u - 2*u - 20 = 0, 6 = -3*u. Let g be 1 - 54/(a*