 of 14?
False
Let p(q) be the second derivative of -3*q**3 - 3*q**2 + 8*q. Is p(-4) a multiple of 22?
True
Let g(v) = -v**2 - v. Let b be g(-1). Suppose 3*o - 3 - 12 = 0. Suppose -q = -b*q - o. Does 4 divide q?
False
Is 21 a factor of -1 + 88 + (-6)/2?
True
Let a = -4 + 4. Suppose -m = -a*m - 81. Is m a multiple of 27?
True
Let b(r) = r**3 + r**2 - 2*r + 2. Let i(h) = -3*h**3. Let v be i(-1). Is 16 a factor of b(v)?
True
Let b = 223 + -67. Is b a multiple of 21?
False
Let v be (1 + (-46)/10)*-10. Suppose 3*j + 74 = 5*n - 0*j, 0 = 3*n + j - v. Suppose -h = 2*z - 24, 7 + n = -5*h. Does 11 divide z?
False
Suppose -10 = -4*v + 3*v. Let j = v - 6. Is (-6)/8 + 175/j a multiple of 13?
False
Does 3 divide ((-2)/(-2) - 1) + 10?
False
Suppose 0 = -2*w + 24 + 76. Does 9 divide 1470/w + 6/10?
False
Let o be (-9)/(-15) + 6/(-10). Suppose o*c - 4*c + 16 = 0. Suppose c*g = -14 + 86. Is g a multiple of 9?
True
Suppose 6*d = 208 + 26. Is 13 a factor of d?
True
Suppose 29 = t - 34. Suppose 283 = 5*n + t. Does 11 divide n?
True
Let k be 3 + (-2 - -1 - -10). Let y = k - 8. Is 2 a factor of y?
True
Let x(b) = 11*b - 3*b**2 + 3*b**2 - 8 + 0*b**2 + b**2. Is 6 a factor of x(-13)?
True
Does 45 divide (1 + (-35)/(-14))/(2/44)?
False
Is 4 + -113*(-12)/6 a multiple of 23?
True
Suppose 4*l = 2*l + 240. Is 24 a factor of l?
True
Suppose 0 = 5*y - 376 - 454. Let o be 2 + 2*y/4. Suppose 2*n - o = -3*n. Does 17 divide n?
True
Is ((-36)/21)/((-8)/28) even?
True
Suppose 0 = 5*y - 2*q + 65, y + 4*q + 0*q + 35 = 0. Is ((-410)/y)/((-2)/(-3)) a multiple of 20?
False
Let i = -9 - -25. Does 7 divide 2*(-4)/(i/(-14))?
True
Let w = 114 + -76. Does 19 divide w?
True
Suppose -3*n = y - 17, -3*n - 11 = 5*y - 48. Suppose -4*i + 37 = -5*z, -2*z = 2*i - 5*z - 21. Suppose -i*h = 3*w - 6*h - 21, -n*w + 73 = 5*h. Does 6 divide w?
True
Suppose 0 = -5*h - 29 + 289. Is 13 a factor of h?
True
Let r(u) be the third derivative of u**5/20 - u**4/24 - 4*u**3/3 - 3*u**2. Is r(4) a multiple of 25?
False
Let u = 9 - -1. Let n = u + 9. Is n a multiple of 6?
False
Suppose 2*d = 4*d + 2. Is d/2 - (-396)/8 a multiple of 20?
False
Suppose 0 = l + 5*v + 5 + 10, v + 25 = 2*l. Suppose -z = z - l, -3*b = 3*z - 36. Does 7 divide b?
True
Let o(u) = -u**2 + 6. Let x be o(0). Let i be (x/(-4))/((-2)/(-20)). Let d = i + 31. Is 14 a factor of d?
False
Let g(y) = 34*y**2 - y. Let z be ((-3)/9)/((-3)/(-9)). Let f be g(z). Suppose -2*h = a - f, 4*a - 9*a = 5*h - 75. Is 20 a factor of h?
True
Let c(b) = b**3 - 9*b**2 - 6*b - 8. Let s be c(10). Let l = s + -12. Is l a multiple of 13?
False
Let b be 2/((-12)/9 - -2). Suppose -3*f - b = 0, 2*n - 3*f - 44 = -5*f. Is 16 a factor of n?
False
Let f(c) = 35*c - c**2 - 8*c - 15*c + 13. Does 9 divide f(7)?
False
Suppose -46 = 3*d + 4*g + 12, -d + g - 10 = 0. Let n = d - -5. Let f(o) = o**3 + 8*o**2 - 10*o - 2. Does 6 divide f(n)?
False
Let j = -188 - -305. Is 13 a factor of j?
True
Suppose 0 = 4*m + 13 - 1. Let t = m + 3. Suppose -5*d + 42 = 3*g - t*g, 0 = -g + 2*d + 14. Is 6 a factor of g?
False
Let h(v) = -2*v - 9. Let w be h(-6). Let g be ((-3)/2)/(w/(-6)). Suppose g*s + 115 = 4*o, -s = -0*s - 3. Is 15 a factor of o?
False
Let w(h) = h**2 - h + 12. Let y = 5 + -5. Does 8 divide w(y)?
False
Let j be (17 + (5 - 2))/1. Let v = 34 - j. Is 14 a factor of v?
True
Let i be ((-30)/(-9))/5*-12. Let l(k) = -k**3 - 8*k**2 - 4*k + 6. Does 11 divide l(i)?
False
Let u(m) = 20*m**3 - m**2 + 2*m - 1. Let v be (5 + -6)/(1/1). Let b be 3/(-2 + v + 6). Is 10 a factor of u(b)?
True
Let q(p) be the second derivative of -5*p**2 + 1/2*p**3 - 1/20*p**5 + 2/3*p**4 - 2*p + 0. Does 14 divide q(8)?
True
Let n(v) be the second derivative of -v**5/20 - v**4/12 + v**3/6 - 2*v**2 - v. Let q be n(0). Let f = q - -12. Is 8 a factor of f?
True
Suppose 0 = g - 5*x - 117, -g - 3*x = -2*g + 117. Is 13 a factor of g?
True
Suppose w - 3*o - 4 = 8, 4*o = -4*w. Suppose 0 = 4*z - i - 42, -w*z - i + 40 = -6*i. Is 10 a factor of z?
True
Let t = 137 - 77. Is 20 a factor of t?
True
Let z(f) = -f**3 - 5*f**2 - 5*f - 4. Let y be z(-4). Let i = 12 + -9. Suppose -i*j + 4*o + 27 = y, -2*j + 3*j + 3*o + 4 = 0. Does 3 divide j?
False
Suppose 4*b + 60 = 2*u, 2*b + 128 = 3*u + 26. Does 9 divide u?
True
Suppose 2*c + c - 9 = 0. Suppose 5*l = -5*x + 365, -c*l + l - 130 = -2*x. Is x a multiple of 23?
True
Let c(v) = v**2 - 5*v + 4. Let k be c(4). Suppose k*l - 5 = -l. Is 10 a factor of 58/l + (-4)/(-10)?
False
Let b(t) = -t + 1. Let i(j) = 6*j. Let w(m) = 6*b(m) + 2*i(m). Does 14 divide w(6)?
True
Let r(k) = 2*k**2 - 13*k + 13. Is 18 a factor of r(12)?
False
Let h = -34 - -56. Is h a multiple of 22?
True
Suppose -30 + 2 = 4*n. Let w = -10 - n. Does 4 divide (-1)/w + 56/12?
False
Let g(n) = -n**3 - n + 85. Let u be g(0). Suppose 2*i = 5*i + h - 51, -5*h - u = -5*i. Suppose 3*o = 7 + i. Is 5 a factor of o?
False
Suppose 7*k - 25 = 2*k. Suppose 2*g - m = -2*g + 49, 28 = g + k*m. Does 8 divide g?
False
Suppose 7*s + 6 = 4*s, 108 = 2*d - 3*s. Is d a multiple of 17?
True
Suppose 0 = -8*p - 123 + 27. Suppose 4*j = -d - 3 - 9, -j + 2*d = 3. Does 14 divide (7/2)/(j/p)?
True
Let u = -13 - -18. Suppose 2*o = 4*j - 24, o + j = u*o + 69. Does 16 divide (-18)/(-4)*o/(-3)?
False
Let f = -9 + 12. Let i(a) = -a + 4*a**2 + 2*a + 4 - f*a**2 + a. Does 7 divide i(-4)?
False
Let a(q) = q + 22. Is a(9) a multiple of 18?
False
Let i(p) = -p**2 + 18*p - 17. Does 20 divide i(11)?
True
Suppose 0 = -5*w + 2*y - 53, -3*y + 52 = -4*w + y. Let i(v) = -2*v - 9. Is i(w) a multiple of 5?
False
Suppose -5*j + 5*p = -12 - 3, -4*j - 3*p + 33 = 0. Let b(u) be the first derivative of 3*u**2/2 - 3*u + 1. Is b(j) a multiple of 8?
False
Let l(g) = g**3 + g**2 + 111. Is 37 a factor of l(0)?
True
Is 1*(2/1)/(-2)*-63 a multiple of 9?
True
Let m(n) = -2*n**2 - 38*n - 4. Is m(-11) a multiple of 43?
True
Is 7 a factor of (1/2)/(3/84)?
True
Let j be -1 + (1 - 31) + 2. Let b = j - -68. Does 13 divide b?
True
Let h = 203 + -122. Is h a multiple of 27?
True
Let o be 2*(-3)/(24/212). Let g = o + 103. Does 10 divide g?
True
Let n(c) = c**2 - 6*c. Let v be n(6). Suppose -2*r + 55 + 33 = 0. Suppose 4*w + v*d = -3*d + 92, -d + r = 2*w. Is 12 a factor of w?
False
Suppose q - 1 = 0, p + 0 + 1 = 4*q. Let x(l) = -5 - p*l + 2*l + 6*l. Is x(5) a multiple of 7?
False
Suppose 0 = i + 3, -2*i + 9 = 5*m - 0*i. Suppose -m*l - 7 = -22. Suppose b + l*g = 38, -2*b + 2*g + 104 = 28. Does 15 divide b?
False
Suppose -3*j = -4*b + 2*j - 109, -3*b = 3*j + 75. Let w = b - -52. Let s = 40 - w. Is 7 a factor of s?
True
Let q be 2/(-10) + 258/15. Suppose j - 3 = q. Does 10 divide j?
True
Let x be ((-4)/(-5))/((-20)/(-50)). Suppose 0 = -2*z - 5*t + 30, t - 21 = -x*z + 17. Is z a multiple of 20?
True
Let d = -58 + 140. Is d a multiple of 14?
False
Let u(d) = d**3 + d**2 - 3*d - 2. Let f be u(-2). Suppose f = -p + 3*p - 12. Is 6 a factor of p?
True
Is 36 a factor of 4/(-18) + 104/108*75?
True
Let f be (12/(-8))/(3/8). Let k(w) = -w**3 - 4*w**2 - 2*w - 5. Let y be k(f). Suppose -5 = -y*c + 115. Is c a multiple of 20?
True
Suppose j + 15 = 4. Let o = 17 + -24. Let l = o - j. Is 3 a factor of l?
False
Suppose -y - 4 - 1 = 0. Let z = y - -5. Suppose -d = -3*l - 4, 4*l + z*l + 32 = 4*d. Is d a multiple of 10?
True
Let y(b) = 12*b - 1. Let g be y(5). Suppose -4*d = -4*k - 176, -4*d + 219 - g = 4*k. Does 16 divide d?
False
Let v be 6/9*(0 - 9). Let d = 10 + v. Suppose s + 3*n - 41 = 0, d*s + 3*n - 100 = 55. Is s a multiple of 19?
True
Let f(j) = -2*j - 6. Let y be f(-5). Let z(u) = 2*u**2 + 2*u - 1. Let b be z(1). Suppose -b*l = 4*d - 108, 5*d - 5*l - 116 = -y*l. Is 13 a factor of d?
False
Let j be 0/(-2)*(-3)/9. Let a(x) = 0*x + 25 - 3*x**2 + x + 2*x**2. Is a(j) a multiple of 11?
False
Suppose 5*x - 3*d - 29 = 0, 5*x + 3*d - 1 = 10. Let g(o) = -o**3 + 5*o**2 - 4*o + 4. Let c be g(x). Suppose -c = -t + 6. Is 8 a factor of t?
False
Let q be -1 - -5 - 15/5. Suppose -5*c + v = -0*v - 22, v - 6 = -2*c. Is 8 a factor of ((-36)/(c/(-2)))/q?
False
Is 17 a factor of (-8)/(-12) + (-320)/(-15)?
False
Suppose 8 = h + 4*d, 2*d + 3 = -h + 9. Let i(t) = t**2 - 4*t + 5. Is i(h) a multiple of 5?
True
Let j(q) = 0*q + 0*q + q**2 - q + 3. Let p = 27 + -22. Is j(p) a multiple of 17?
False
Let h(n) be the first derivative of 4*n**2 - n - 2. 