hird derivative of r**6/120 - r**5/30 - 5*r**4/24 - 3*r**2. Is p(5) a multiple of 25?
True
Suppose 425 = 14*g + 3*g. Is 10 a factor of g?
False
Let j = 2 - 0. Let o = j - 1. Is 6 a factor of -18*o/(-1) - 1?
False
Let y(c) be the third derivative of -c**6/120 + c**5/60 + c**4/24 + 9*c**3/2 - c**2. Let v be y(0). Suppose -v = 5*t - 97. Is t a multiple of 7?
True
Suppose a + 2*a + 56 = 2*i, -i + 3*a = -34. Does 6 divide i?
False
Suppose 0*y - 180 = -6*y. Does 10 divide y?
True
Let o(z) = 20*z - 19. Let k be o(9). Suppose -34 = -3*b + k. Is b a multiple of 13?
True
Let s(q) = -2*q - 2. Let z be s(2). Let y = -14 - 0. Let n = z - y. Is n a multiple of 4?
True
Let w(r) = -r**2 - 4*r - 1. Let q be w(-2). Suppose -z = -q*z. Suppose -d = -z*d - 13. Does 13 divide d?
True
Suppose -3*k + 7*k = 5*i - 22, 0 = i - k - 4. Let m = 8 - i. Suppose -m*g + 92 - 24 = 0. Is 17 a factor of g?
True
Let d(h) = -5 + 2*h**2 - 5*h**2 + 20*h + 16*h. Let v(b) = -b**2 + 12*b - 2. Let p(l) = 6*d(l) - 17*v(l). Is p(11) a multiple of 15?
True
Let j = -10 + 18. Suppose 4*p - 4*m = 0, -5*m = -0*m. Let i = p + j. Is 4 a factor of i?
True
Let l(b) = 2*b**3 - b**2 - b - 2. Let p = -10 + 12. Is 3 a factor of l(p)?
False
Let o = 6 - 3. Suppose 4*w = 3*w - 3*m + 25, -m + o = 0. Is w a multiple of 8?
True
Let p(j) = -j + 16. Let v be p(11). Suppose 0 = v*k + 3*d - 288, d + 20 = -4*d. Is k a multiple of 20?
True
Suppose -5*v = -52 - 13. Let f = 3 + v. Is 6 a factor of (f/(-12))/(2/(-9))?
True
Let w = -6 + 1. Let c(v) = -v**2 - 9*v + 3. Is c(w) a multiple of 5?
False
Suppose 3*j + 18 + 6 = 0. Is 12 a factor of (-8)/j*(0 + 27)?
False
Let v(d) = d + 4. Let r be v(6). Suppose -p + 6*p = r. Suppose 10 = 2*m + p. Does 4 divide m?
True
Suppose 0 = -2*t + t - 49. Let a = -21 - t. Does 8 divide a?
False
Suppose -4*z = -16 - 4. Suppose -5*j + 20 = -5*n, 0*n - 8 = -5*n - 2*j. Suppose n = z*l - 10*l + 90. Does 9 divide l?
True
Suppose -6*i = -5*i - 87. Does 15 divide i?
False
Suppose -4*r = -5*j - 13, 3*r - 4*j - 1 = 10. Let u(g) be the first derivative of -g**4/4 - 2*g**3/3 + g**2 + 3*g + 1. Is u(r) a multiple of 4?
False
Let r(p) = -130*p - 8. Is 21 a factor of r(-2)?
True
Suppose 0 = 2*m - 23 - 17. Does 10 divide m?
True
Suppose -5*x - 360 = -6*x - 4*o, 0 = -3*x + 5*o + 1080. Does 10 divide x?
True
Suppose -3*a - 4*a + 35 = 0. Is 3 a factor of a?
False
Suppose 0 = -7*k + 14*k - 2821. Is 12 a factor of k?
False
Let q(p) = p**3 + 6*p**2 + 4*p. Let m be q(-6). Let h = m - -16. Does 4 divide 6/4*(-2 - h)?
False
Let p(o) = o**3 + 8*o**2 + 12*o + 8. Let h be (-112)/18 - 4/(-18). Is 6 a factor of p(h)?
False
Suppose 0 = -i + 4*w + 11 - 1, 0 = -4*i - 3*w + 2. Suppose -7*k = -i*k - 90. Is k a multiple of 6?
True
Let a(s) = s + 8. Let t be a(0). Let j(v) = 2*v**2 - 12*v. Is 16 a factor of j(t)?
True
Let t(q) = -q**2 - 16*q + 17. Let v = -36 - -21. Does 9 divide t(v)?
False
Let j(y) = 6*y**3 - 2*y**2 - y. Let u be j(-1). Let o(r) = -4*r**2 + 0*r**2 + 6*r + 5*r**2 + 5. Is o(u) a multiple of 9?
False
Let p = -124 - -211. Does 21 divide p?
False
Suppose z + 100 = x - 0*z, -z + 300 = 3*x. Does 20 divide x?
True
Let o(q) = -q**3 + 14*q**2 - q + 10. Let j be o(14). Is (15 + -2)*(-4)/j a multiple of 13?
True
Let u = 30 + 44. Let f = -52 + u. Does 9 divide f?
False
Let l(a) = 4*a**2 - 4*a - 6. Let h be l(-4). Let f = 107 - h. Is 13 a factor of f?
False
Is 11 a factor of 46 + (4 + -7 - 0)?
False
Let r = -3 + 5. Suppose -4*t = 2*p - 56, -3*p = r*t + 22 - 90. Is 5 a factor of p?
True
Let x = -43 - -48. Does 5 divide x?
True
Is 16 + -2 - (8 - 6) a multiple of 3?
True
Let f(y) = -18*y - 1. Let o(n) be the second derivative of -n**4/6 - n. Let h be o(-1). Does 12 divide f(h)?
False
Let q(h) = -h**2 - 17*h - 7. Does 38 divide q(-6)?
False
Let o(a) = -a**3 + 7*a**2 - 3*a - 1. Let v = -14 + 21. Suppose -3*b + 6 = 3*f, -v*f + 4*f + 14 = b. Is o(f) a multiple of 11?
False
Let o be -2*2*2/(-8). Let s = o + 0. Suppose m = s + 4. Is m even?
False
Let h(t) = t**2 - t - 6. Let y be h(0). Let m = y - 12. Let f = 49 + m. Is f a multiple of 8?
False
Is 26 a factor of ((-13)/3)/(-6 + 1401/234)?
True
Let l(w) = 35*w**3 - 2*w**2 + 2*w - 1. Let x be l(1). Let q = x + -14. Is 14 a factor of q?
False
Suppose 2*d = 4*d - 4. Suppose 6*b = d*b. Is 11 a factor of -2 + (23 - b) + 1?
True
Suppose 9*p = 10*p - 17. Is p a multiple of 10?
False
Suppose -11*o + 69 = -8*o. Is o a multiple of 5?
False
Let z(l) = -8*l - 6. Let y be -7 - (1 + (-6 - -2)). Does 13 divide z(y)?
True
Suppose 0*c - 2*c = -42. Suppose 5*y = c - 1. Suppose 4*g - y*b + b - 39 = 0, 0 = -g - 2*b - 4. Is 6 a factor of g?
True
Let y be (-4 + 3)/(2/(-46)). Let h(x) = x**3 - x**2 - 3*x + 2. Let i be h(3). Suppose t - y = i. Does 17 divide t?
True
Let t(r) = 2*r. Let w be t(-2). Let h = w - -8. Does 4 divide h?
True
Suppose -16 = p - 2*p. Suppose 180 = 2*j + 3*j. Let n = j - p. Does 9 divide n?
False
Let m be 711/3*8/12. Suppose 10*x - 2*o = 5*x + m, x = 2*o + 30. Does 16 divide x?
True
Let l = -25 - 21. Let k = -24 - l. Is k a multiple of 11?
True
Let h(t) = t**2 - 5*t - 6. Let x be h(10). Suppose 0*q - q + 10 = 0. Does 13 divide (-2)/2*(q - x)?
False
Let p(t) = 4*t**2 - t + 1. Let a be p(1). Suppose 3*x = a*x - 53. Is 19 a factor of x?
False
Does 17 divide (-3 + -12)/(2/(-6))?
False
Let u = -197 - -339. Suppose -2*o + u = 2*j, 3*o + 4*j = 210 + 6. Suppose a + o = 2*h - 3*a, 3*a = -5*h + 209. Is h a multiple of 20?
True
Let d = -22 + 11. Let t = -3 - d. Is 15 a factor of 2/(t/(-34))*-2?
False
Does 20 divide 15/(-12)*14*-8?
True
Is (150/(-18))/(1/(-6)) a multiple of 10?
True
Suppose 4*i = -r + 396, -2263 + 679 = -4*r - 3*i. Is 33 a factor of r?
True
Let h(p) = -p**2 + 3*p - 3. Let r be h(2). Let a(j) = -17*j + 1. Does 18 divide a(r)?
True
Is (0 + -9)*5*12/(-18) a multiple of 5?
True
Suppose 3*y - 2*y + 5*i = 24, -2*i = -y - 4. Does 3 divide y?
False
Is 29 a factor of (-1)/((-7)/2) + (-7356)/(-28)?
False
Does 17 divide (-7266)/(-33) + -2 + 20/11?
False
Does 15 divide 2 + (1 - (-43 + 1))?
True
Suppose -5*y - 4*b - 172 = 0, -3*y = -4*b + 109 + 7. Let j be 3/(y/39)*4. Let s = j - -46. Is 14 a factor of s?
False
Suppose 0 = -5*a - 0*a - 95. Let k = 38 + a. Is k a multiple of 7?
False
Let w(q) = q**2 + 3*q - 4. Let n be w(-4). Let v be (3 - 3) + n + 0. Suppose x - 172 = -3*t, v = -0*t - 2*t + 4*x + 110. Is 20 a factor of t?
False
Let u(x) = x**3 + 5*x**2 - 2*x - 7. Is 13 a factor of u(5)?
False
Let q = -128 + 229. Let o = -51 + q. Is 12 a factor of o?
False
Suppose -g = -29 + 3. Suppose -s = -14 - g. Does 20 divide s?
True
Let y(g) = g + 3. Let c be y(3). Let x be (-1)/(-1 + 2)*1. Let k = c + x. Is k even?
False
Let x(q) be the third derivative of -q**6/40 - q**5/30 - q**4/12 - q**3/3 + 2*q**2. Let h = 7 - 9. Is x(h) a multiple of 7?
False
Let n(a) be the third derivative of 13/6*a**3 + 0 + 5/12*a**4 - 3*a**2 + 1/60*a**5 + 0*a. Is 2 a factor of n(-9)?
True
Let s(t) = -4*t**2 - 4*t - 2. Let h(j) = -j**2 - j - 1. Let c(a) = 3*h(a) - s(a). Does 5 divide c(-4)?
False
Let m be (2*-1)/((-6)/15). Suppose -m*b - 1 = -16. Suppose -b*f + 19 = 1. Does 3 divide f?
True
Let c be (-2)/4 + (-117)/(-2). Let q be 3 + ((1 - 1)/3)/1. Suppose c = q*n - 14. Does 8 divide n?
True
Let t(o) = 76*o + 1. Is t(1) a multiple of 7?
True
Suppose -l = 5*l - 342. Is l a multiple of 22?
False
Let g(c) = c**3 - 10*c**2 - 3*c - 5. Is g(11) a multiple of 19?
False
Suppose 1662 = 8*z + 46. Does 20 divide z?
False
Let t(z) = 0 + z + 0 + 4. Let g be t(0). Suppose -54 + 18 = -g*n. Is n a multiple of 5?
False
Let a = 2 - 4. Let r be a/3*3/(-2). Is 9 a factor of (-5 + (r - -1))*-3?
True
Is 16 a factor of ((-1)/2)/(11/(-704))?
True
Let m(w) = 5*w - 9. Let c be m(7). Is 2 a factor of c/4 - 6/4?
False
Suppose 54 = 4*y + 3*b + 14, -4*y - b = -40. Does 9 divide y?
False
Let w(l) be the second derivative of -7*l**3/6 + l**2 + 3*l. Is 23 a factor of w(-3)?
True
Suppose -z - 4*r + 3 = -0*r, 2*r + 16 = 2*z. Does 2 divide z?
False
Let u be (-20)/6*(-45)/1. Suppose u = 3*c - 4*x, x = c - 4*c + 135. Is 13 a factor of c?
False
Let h be (-156)/8*(-44)/(-6). Is -1 + 1 + h/(-11) a multiple of 13?
True
Let r(d) = 10*d - 5. Let f = 11 + -7. Is 18 a factor of r(f)?
False
Let d = -47 - -89. Does 16 divide d?
False
Let m(a) = 25*a + 6. Let g(r) =