rivative of -7*a**2/2 + 4*a + 2. Is m(l) a multiple of 19?
False
Let b(q) be the third derivative of q**5/60 - q**4/24 - 4*q**3/3 - 2*q**2. Let h(t) = -t**3 + 4*t**2 + 2*t - 2. Let c be h(4). Is b(c) a multiple of 11?
True
Let s(x) = x**3 - 5*x**2 - 7*x + 8. Let l be s(6). Let n be 434/10 + l/(-5). Suppose 0 = -2*k + n + 17. Is 13 a factor of k?
False
Suppose -4*f + 38 - 14 = 0. Let r be 0*(14/f + -2). Suppose r + 55 = 5*q. Is 11 a factor of q?
True
Suppose -4*k - 3*n + 927 = 0, 656 + 459 = 5*k - 5*n. Is 19 a factor of k?
True
Let q(l) = 55*l + 44. Let u(s) = -s - 1. Let f(r) = q(r) + 44*u(r). Is f(3) a multiple of 11?
True
Suppose 5*z - 2*s - s = 13, 3*z = -5*s + 1. Let r be (-6)/z - -3 - -17. Let m = 9 + r. Is 13 a factor of m?
True
Suppose -18 = -3*i - 0*i. Let r = -4 + i. Suppose r*s = -2*h + 32 - 8, 0 = -5*s - 15. Is 15 a factor of h?
True
Suppose -4 = 4*o, 0*o = -5*f + 4*o - 6. Is 22 a factor of ((-25)/f)/((-2)/(-4))?
False
Suppose 0 = 3*i + 4*l + 14, -5*l - 33 + 10 = i. Let y = i - 0. Suppose 0 - 6 = -3*h, 4*d - 152 = y*h. Is 13 a factor of d?
True
Let y = 45 + 131. Is y a multiple of 20?
False
Let k be (80/10)/(2 - 0). Let w = -2 + k. Suppose -w*r + 3*r = 22. Is 11 a factor of r?
True
Let q(i) = i**2 - 12. Let n be q(-9). Let p = -123 - -88. Let f = p + n. Is f a multiple of 9?
False
Suppose p + p = 88. Is 11 a factor of p?
True
Let x = -136 + 205. Does 23 divide x?
True
Let c be ((-10)/(-15))/(1/3). Suppose c*l + 4*f - 45 = -f, 0 = -2*l + f + 39. Does 16 divide l?
False
Let a(m) = m**3 - m**2 - m - 1. Let o(g) = 3*g**3 + 4*g**2 + 4*g + 3. Let d(t) = -2*a(t) + o(t). Is 9 a factor of d(-4)?
False
Let a be 22/8 + 6/(-8). Suppose -4*h - 4 = -a*h. Does 14 divide (-57)/(-4) - h/(-8)?
True
Let o(b) = 6*b**2 - 5*b - 8. Does 36 divide o(-4)?
True
Suppose -v = -1, -3*v = 2*w - 3*w. Is 21 a factor of 3 + w + 96/3?
False
Suppose -5*f + 2*p = -5, -4*p + 7 = f - 16. Suppose -f*s - 35 + 11 = -3*y, -5 = 5*y. Let t = 5 - s. Is t a multiple of 7?
True
Let b = 9 + 3. Suppose -b = 3*t, -2*c - 173 = -5*c + 2*t. Let j = c - 37. Is 9 a factor of j?
True
Suppose -7*u + 11*u - 224 = 0. Is u a multiple of 11?
False
Does 18 divide -1*(-3 + 11)*1215/(-36)?
True
Let n(c) = -48*c + 4. Let g be n(-4). Suppose -4*y = 4*f - y - g, -f + 49 = -3*y. Is 22 a factor of f?
False
Let z = 6 - 40. Let h = 76 + z. Is 16 a factor of h?
False
Let w = 9 - 25. Let b = 3 + 23. Let x = w + b. Does 5 divide x?
True
Let a be (-18)/(-5) - 2/(-5). Suppose 0 = -a*b - 4, -3*l + 8 = -0*l + 4*b. Is 4 a factor of l?
True
Suppose 0 = 5*k - 95 + 35. Is (-342)/k*(-2)/3 a multiple of 13?
False
Let c = 383 - 180. Does 29 divide c?
True
Suppose -5*o - g + 1 = 0, 0*g + 7 = -o - 2*g. Suppose -u + o = -1. Suppose -u*i + 7*i = 105. Does 14 divide i?
False
Let q(x) = x**2 - 7*x. Let d be q(7). Suppose d = -3*r - 32 - 13. Let v = r - -21. Does 2 divide v?
True
Let b(c) = -c**3 + 14*c**2 + 16*c + 35. Is 7 a factor of b(15)?
False
Let w = -141 + 263. Does 34 divide w?
False
Let a(r) be the first derivative of 8*r**2 + 3*r + 2. Does 23 divide a(5)?
False
Let a = 6 + -2. Let r be 38 - ((-2 - 0) + 3). Suppose r = a*m - 67. Is m a multiple of 14?
False
Let g(m) = 4*m**2 - 19*m - 19. Let t(s) = 2*s**2 - 9*s - 9. Let o(q) = -6*g(q) + 13*t(q). Is o(3) a multiple of 2?
True
Suppose -4*w = -165 + 25. Is w a multiple of 7?
True
Let o = -230 + 342. Is 13 a factor of o?
False
Let r(q) be the second derivative of q**5/20 - q**4/3 + 3*q**2/2 - q. Is 14 a factor of r(5)?
True
Let z(a) = -2*a**3 + a**2 - a - 1. Let h be z(-3). Let v = -15 + h. Does 25 divide v?
True
Suppose -3*u = -0*u. Is 16 - (u + 1)*2 a multiple of 8?
False
Let c(b) = b + 2. Let k be ((-6)/15)/(2/(-40)). Is c(k) a multiple of 4?
False
Let x(g) = -16*g**3 - 2*g**2. Let m be x(-2). Does 8 divide m/(-9)*(-18)/15?
True
Suppose -5*h + 384 = -h. Let w = h - 53. Does 15 divide w?
False
Let j be (-10)/((-12)/(-4) - 4). Is 14 a factor of ((-25)/j)/((-2)/28)?
False
Suppose 0 = 9*x - 4*x - 10. Let i = -11 + 15. Suppose 35 = 5*y + 5*d, x*y = -y + i*d + 28. Is 4 a factor of y?
True
Let n(b) = -6*b - 20. Does 7 divide n(-8)?
True
Suppose -7*u + 3*u = -52. Let o(q) = q**3 - 13*q**2 + 3*q - 18. Is 6 a factor of o(u)?
False
Let w(s) = s**3 + 8*s**2 + 8*s + 8. Let m be w(-7). Let d(c) = 5*c**3 - c**2 + 2*c - 1. Does 4 divide d(m)?
False
Suppose 0 = -v + 4*v. Let f = v - -20. Is 10 a factor of f?
True
Let y be ((-2)/(-7))/(5/35). Let j be (y/4)/((-4)/(-240)). Does 11 divide (-108)/(-5) + 12/j?
True
Let q(y) = 3*y**2 - 10*y + 13. Does 16 divide q(7)?
False
Let g(n) = n**3 - n**2 - 5*n + 4. Let q(t) = t**2 - 5*t + 1. Let x be q(6). Let y = -4 + x. Does 3 divide g(y)?
False
Let u = 102 + 6. Does 12 divide u?
True
Suppose -7 = -3*g + 2. Suppose -2*n + 4*t = -g - 5, 2*n = t + 20. Does 5 divide n?
False
Is (-9)/(-18)*47*2 a multiple of 13?
False
Suppose -j - 66 = -2*u, 5*u - j - 165 = -3*j. Is 24 a factor of u?
False
Let t = 0 + 5. Does 9 divide 1/t + 348/10?
False
Let z = -8 - -23. Suppose 0*c - c - 16 = 0. Let p = z - c. Does 16 divide p?
False
Let v = -30 - -50. Let u be (-2)/(-2) + v + -3. Suppose -2*y + y + u = 0. Is y a multiple of 12?
False
Let w(b) = -b**3 - 8*b**2 - 6*b + 4. Does 12 divide w(-8)?
False
Suppose -9*u = -8*u - 5. Suppose -57 = -u*o + 18. Is 15 a factor of o?
True
Suppose 2*m - 4 = 4*s - 2*s, 0 = -5*m - 3*s + 10. Suppose m*h = -h. Let u(c) = c**3 - c**2 + 25. Is u(h) a multiple of 12?
False
Let z(w) = -w**3 - 8*w**2 + 11*w + 11. Suppose 5*i + 65 = -5*c, 5*c + 4*i + 38 + 23 = 0. Let d be z(c). Does 3 divide (-6)/d*(-21)/(-3)?
True
Let j(p) = p**3 - p**2 + p + 24. Let f be j(0). Suppose 2*a + 2*a = 0, -2*h + f = 4*a. Does 12 divide h?
True
Suppose 4*o = 2*o, 0 = -4*d - 4*o + 508. Is 17 a factor of d?
False
Suppose -4*c - 5*x + 42 - 16 = 0, -5*c = 4*x - 28. Suppose -3*g - 37 = -c*t + 2*g, -t + 28 = -5*g. Suppose -t*f = -f - 56. Is 13 a factor of f?
False
Suppose -4*o = 5*n - 0 + 2, o - 5*n = 12. Does 19 divide o/8 - 227/(-4)?
True
Is (12 - 9)/(((-2)/6)/(-1)) a multiple of 5?
False
Suppose -13*f = -1488 + 513. Is f a multiple of 7?
False
Let p(a) = 3*a**2 + 2*a + 11. Is p(5) a multiple of 8?
True
Suppose 4*j + 1 = -7. Let v = j + 5. Suppose 45 = 3*g + v*h, -3*h = h - 20. Is g a multiple of 5?
True
Let i(f) be the second derivative of f**5/20 + 5*f**4/12 - 7*f**3/6 - 3*f**2/2 - 10*f. Is 32 a factor of i(-5)?
True
Does 11 divide (-88)/(-20) + (-2)/5 - -29?
True
Suppose -6 = -3*i + 5*i, i - 1 = -h. Suppose 0 = -5*y - 5*k + 285, 0*y + h*k = -y + 51. Suppose 7*o = -2*d + 2*o + y, 0 = 4*o - 12. Is d a multiple of 16?
False
Let g = 63 - 45. Is 18 a factor of g?
True
Let u(l) = -l + 6. Let o be u(0). Suppose -y + 5*n = -o - 4, 2*y = 5*n + 10. Is 10 a factor of y + (23 - 3) + -3?
False
Suppose 77*x - 82*x = -1115. Is x a multiple of 15?
False
Let i(y) = y**2 - 4*y + 2. Let f be i(4). Is (-11)/(-2) + (-1)/f a multiple of 2?
False
Suppose 3*g + 10 - 123 = -5*m, 5*g = -4*m + 171. Is g a multiple of 6?
False
Is 7 a factor of (3 - 2) + (-68)/(-4)?
False
Suppose 0 = y - 2 - 0. Suppose 0*a + y*a = 24. Is 6 a factor of a?
True
Suppose -l + 5*l - 40 = 0. Does 10 divide l?
True
Let y(f) = -83*f**3 + f**2 - f - 1. Is y(-1) a multiple of 42?
True
Let m(r) = -r**2 - r + 2. Let o be m(-2). Suppose o = -2*s - 0*s + 90. Does 17 divide s?
False
Let d(m) = 11*m**2 - 5*m - 5. Is 11 a factor of d(4)?
False
Suppose 4*y - 10*y + 168 = 0. Does 7 divide y?
True
Suppose 0 = -2*g - 4, 2*c = -6*g + 4*g + 68. Suppose 0 = -3*a + 5*o + 17, 0 = 3*a + o - c + 7. Is a a multiple of 3?
True
Suppose -9 = -5*h + 6. Let z = h + -4. Let a = 2 - z. Is a even?
False
Suppose -c = 2*q - 22, 0*c - c = 5*q - 25. Suppose -t + c + 2 = 0. Is t a multiple of 12?
False
Let o be 2/3*(-75)/(-10). Suppose 0*y - o*y = -10. Suppose -q = -y - 0. Is q even?
True
Suppose -w = -3*o - 181, 185 = -4*o - 3*w - 52. Let g = o + 107. Is g a multiple of 9?
False
Let a(s) = 29*s**2 - s - 1. Suppose -2*j = -j. Suppose q + j*q + 1 = 0. Is 10 a factor of a(q)?
False
Suppose 0 = 3*k - 0*k - 141. Is 14 a factor of k?
False
Suppose -4*f + 3 = -3*f. Is -3 + f/((-6)/(-28)) a multiple of 9?
False
Suppose 5*g - 2 = 3. Is 12 a factor of 21/1 - (-4 + g)?
True
Let q(z) = 3*z**2 - 11*z + 1. Let m(n) = 7*n**2 - 22*n + 2. Let a(j) = -2*m(j) +