 a factor of p(-4)?
False
Let z(o) = 4*o - 3. Let y = 1 + 3. Is z(y) a multiple of 4?
False
Suppose -z + 0*z + 4*d = -24, -3*z = 4*d - 24. Is 6 a factor of z?
True
Let m = -459 - -839. Suppose 3*j - m = -2*j. Suppose -4*i + j = -4*w, w = -5*i + 5*w + 93. Does 11 divide i?
False
Let w be (-2)/10 + (-6)/(-30). Suppose 5*c - 1 - 9 = w. Suppose -c*j - 17 = -3*j. Is j a multiple of 17?
True
Let m(c) = -c - 3. Let g be m(-3). Suppose -70 = -5*s - 4*a, g = 3*a - 16 + 1. Is s a multiple of 10?
True
Suppose 159 = 5*t + 64. Is t a multiple of 10?
False
Let c be (-6)/2 + (-24)/(-8). Let q = c + 25. Is 20 a factor of q?
False
Suppose n - 43 = -t, -4*n + 4*t = -3*n - 68. Is 22 a factor of n?
False
Suppose -2*p + 7*p - 150 = 0. Does 13 divide (-256)/(-10) + 12/p?
True
Let h(m) = m**2. Let u(a) = 5*a**2 + 12*a - 15. Let q(x) = -6*h(x) + u(x). Is q(10) a multiple of 2?
False
Suppose -2*a = 5*b - 20, -2*a + 4 + 2 = -2*b. Suppose 0 = b*m - 5*m - 4*w + 142, 2*m - w = 91. Does 23 divide m?
True
Let b = 26 + -16. Let v be 24/10*b/3. Let h(c) = 3*c. Is 9 a factor of h(v)?
False
Let j(n) = -14*n + 2. Let d be j(-4). Let c = -30 + 40. Suppose d + c = 4*i. Does 10 divide i?
False
Suppose -3*x + 5 = -10. Suppose -2*f - 3*q - 27 = 0, 0*q - x*q = -5*f - 5. Let r = 19 + f. Is 13 a factor of r?
True
Let g(b) = -b + 22. Let w be g(9). Let p = 29 - w. Does 16 divide p?
True
Suppose -4*f + 3*n - n + 224 = 0, -3*n = 6. Is 5 a factor of f?
True
Suppose 5*a + 14 = 184. Let z = 49 - a. Is 11 a factor of z?
False
Does 23 divide (1/3)/((-11)/(-957))?
False
Suppose 5*d = 36 - 11. Suppose d*c - 6 = 3*c. Suppose 2*k - 3*k = -3*r + 86, 66 = c*r + 3*k. Is 20 a factor of r?
False
Let o(a) be the third derivative of -a**4/2 + a**3/3 - 3*a**2. Is 8 a factor of o(-2)?
False
Let g = 25 - 11. Let t = -26 - -17. Let v = t + g. Is 5 a factor of v?
True
Suppose 0 = -3*l - 0*l + 15. Suppose -57 + 17 = -l*s. Does 4 divide s?
True
Let f be (-4)/(-24)*-3*-2. Let b(j) = -j - 2*j + 10*j. Is b(f) a multiple of 4?
False
Let o be 1*(-3)/((-3)/5). Suppose o*g - 31 = 4. Is g a multiple of 3?
False
Suppose 0 = 3*s + 5 - 23. Let j = s - -10. Does 16 divide j?
True
Suppose 4*a - 4*j - 84 = 0, -a = -6*a - 2*j + 98. Is 5 a factor of a?
True
Let d(n) = -6 - n + 0*n + 3. Let f be d(-4). Suppose 0*h = 2*o + 5*h + f, -3*o - h + 31 = 0. Is o a multiple of 12?
True
Suppose 5*m - 282 = 5*n + 108, -n = -1. Is m a multiple of 5?
False
Let q = 6 + 0. Suppose -q*z + 50 = -z. Does 6 divide z?
False
Let n = 83 + -13. Is n a multiple of 35?
True
Let x(i) = i**2 - 6*i + 3. Let u be x(6). Let k(s) = 2*s**2 - 3*s - 3. Is 6 a factor of k(u)?
True
Suppose 0*j = j - 150. Suppose 4*r + r = j. Does 10 divide r?
True
Let a be (-3 - (-1 + -2))/(-3). Let j(k) = k + 75. Let h be j(a). Suppose 0 = -3*c + 4*p + 44, 0 = -5*c + 5*p + h. Does 16 divide c?
True
Let l(f) = f**3 - 7*f**2 + 3*f - 9. Is l(7) even?
True
Suppose -6*u - 4*f = -11*u + 64, 5*u + 4*f = 96. Does 3 divide u?
False
Suppose -l = l - 38. Is 14 a factor of l?
False
Let x(s) = -s**3 - 11*s**2 - 12*s - 15. Let h be x(-10). Suppose 3*y = -o + h, 4*o - 2*y - 50 = y. Is 11 a factor of o?
True
Let w(j) = 3*j**2 + 8*j + 11. Let n(f) = -2*f**2 - 5*f - 7. Let o(x) = -8*n(x) - 5*w(x). Let v be o(1). Suppose -i = -v*i + 16. Is 16 a factor of i?
True
Let i(c) = -c**2 - 6*c + 6. Let n be i(-5). Suppose -n + 1 = 2*u. Let z = u - -16. Is 11 a factor of z?
True
Is 10 a factor of (16/20)/(2/50)?
True
Suppose 0 = 4*j - 16, -a - 4*j + 30 + 9 = 0. Is 4 a factor of a?
False
Let k be 4/18 + (-496)/(-36). Let z = -2 + k. Is 4 a factor of z?
True
Let q = 0 + 36. Suppose -60 = -3*u + q. Is u a multiple of 16?
True
Let u(w) be the second derivative of -w**5/20 + w**4/6 + w**3/3 + 3*w**2/2 + 9*w. Is u(-2) a multiple of 3?
True
Let w be (-5)/((-3)/(3*-1)). Let a = -7 - w. Does 13 divide ((-9)/(-2) - a)*2?
True
Let k(m) = -m**3 + 11*m**2 - 4*m - 6. Let t be k(11). Let n = -21 - t. Does 13 divide n?
False
Let r(i) = -6*i**3 + i**2 + i. Let s be r(-1). Is (-5 - -7)/(1/s) a multiple of 6?
True
Let q(p) = p + 14. Let a be q(-11). Is (21/3 - a) + -2 a multiple of 2?
True
Suppose -3*n + 2 - 53 = 0. Let l = -12 - n. Is l a multiple of 2?
False
Suppose l + 0 - 5 = 0. Let c(n) = n**2 - 6*n + 5. Let w be c(l). Is 10 a factor of 10 - w - 0/11?
True
Let b be 2/3 + (-12)/18. Let t(u) = u + 16. Is 16 a factor of t(b)?
True
Let t be ((-43)/(-2))/((-1)/(-2)). Let u = t + -24. Is 12 a factor of u?
False
Let l be 7*(-1)/(-2)*14. Suppose 2*g - 5 = -63. Let k = l + g. Is 7 a factor of k?
False
Let k be (-18)/(-3) - (-2 - 1). Let q = 25 - k. Is 16 a factor of q?
True
Let b be ((3 + -5)/(-1))/2. Suppose -4*c + 10 = 5*p, p + 4*c - b = 1. Is 2 a factor of p?
True
Suppose m = 19 - 8. Does 6 divide m?
False
Let t be (-3)/12 + (-157)/(-4). Let c(k) = k - 7. Let w be c(-5). Does 13 divide 2*(-2)/w*t?
True
Let d = -76 - -139. Is d a multiple of 18?
False
Suppose -26*b + 21*b + 280 = 0. Is 5 a factor of b?
False
Let j be 182/9 - 4/18. Suppose -j = -3*x + 8*x + 5*g, -20 = 3*x + 5*g. Suppose 6 = 2*q - x. Is q a multiple of 2?
False
Suppose -w - 128 = -5*w. Does 8 divide w?
True
Let s = 1 + 2. Suppose s*w = 2*w + 6. Is 3 a factor of w?
True
Suppose 4*r - 8*r = 28. Let s(p) = p**2 + 4*p - 8. Is 13 a factor of s(r)?
True
Let v(t) = -t + 1. Let k be v(12). Let d(q) = q**3 + 12*q**2 + 7*q - 1. Does 12 divide d(k)?
False
Suppose -c + 4*j - 1 = 4*c, 0 = 2*j - 8. Let h be c + -9 + (3 - 5). Let b = h + 21. Is 6 a factor of b?
False
Let o be (-1)/(1 - 128/126). Let r = 132 - o. Is 23 a factor of r?
True
Let u(h) = -h**2 - 13*h - 31. Is u(-9) a multiple of 2?
False
Suppose -4*v + 3*c - 4 = -71, c - 79 = -5*v. Suppose f = -5*i + v, 4*f + 28 = i + 2*i. Is 3 a factor of i?
False
Let a = -13 - -16. Is a even?
False
Let u(b) = -b - 3. Let d be u(-8). Suppose -4*a + 3*m = -61, 3*a = -2*a + d*m + 70. Let h = 29 - a. Does 4 divide h?
False
Let n be (4/8)/(2/(-20)). Is ((-2)/n)/(1/95) a multiple of 10?
False
Let c(u) = 2*u**2 - 9*u - 9. Let n be c(7). Suppose 5*x = 186 - n. Suppose -p - p = -x. Does 8 divide p?
True
Suppose -4*u = -583 + 99. Does 32 divide u?
False
Let v(f) be the second derivative of f**3/3 + f**2/2 + f. Is 19 a factor of v(9)?
True
Let v(j) = -j**2 - 20*j - 15. Is v(-13) a multiple of 19?
True
Let g be 1/4 + 1323/(-28). Let w = g - -79. Is w a multiple of 16?
True
Does 12 divide (-4)/20 - (-346)/5?
False
Suppose -3*g = 3, -4*g = -4*a + g + 5. Suppose -3*m + 0*m + 96 = a. Is 16 a factor of m?
True
Let i(h) = -8*h - 4. Does 3 divide i(-1)?
False
Let d(f) = 33*f - 4. Is d(2) a multiple of 11?
False
Let l(b) = b**3 + 7*b**2 + 8*b + 6. Let i be l(-6). Let g = 6 + i. Suppose -4*p + 92 = -g*p + 3*s, 0 = 3*p - 4*s - 69. Does 8 divide p?
False
Suppose 5*a - 20 = a. Suppose -3*q = 5*x - 0*x + 8, -q = a*x - 4. Does 15 divide 17 - (-5)/(15/q)?
True
Let s(o) = -o. Let g(c) = -6*c - 2. Let i(j) = -g(j) + 3*s(j). Let q be i(3). Let p = 13 + q. Is p a multiple of 12?
True
Suppose 3*w - 2*v - 2*v - 105 = 0, -4*w + 2*v + 140 = 0. Is w a multiple of 7?
True
Suppose 4*a + 48 = -2*g + 6*a, 4*a = -5*g - 75. Let o = g + 29. Is o even?
True
Let w be 1 + -2 + (4 - 1). Suppose w*z = 5*f - 56, 0*z + 29 = 2*f - 3*z. Is 10 a factor of f?
True
Suppose 4*l - o - 60 = 0, -28 = -l - 0*l - 3*o. Is 8 a factor of l?
True
Let l(z) = -z + 8. Let m be l(10). Is 3 a factor of m + (3 - 4) + 9?
True
Let a(x) = x - 1. Let l be (-5)/((-15)/18) - 2. Let d be a(l). Suppose -2*w = c - 32, 2*w + 92 = d*c + 28. Does 12 divide c?
True
Suppose 195 = 3*s + 3*g - 2*g, s + 4*g - 76 = 0. Let d = 36 - s. Does 8 divide (1 - 0)*(-10 - d)?
False
Suppose 12*c = 353 + 439. Is 9 a factor of c?
False
Suppose -r - 6 = 2*s - 14, -s - 1 = -2*r. Let o be (6 + -4)/(r/(-11)). Let u = o + 53. Does 12 divide u?
False
Let g(c) = 0 - c + 6 + 9 + 1. Let p be g(12). Suppose f + 2*x + 2*x = 53, p*x = 2*f - 70. Is 20 a factor of f?
False
Let g(x) = x**3 + 12*x**2 - 15*x + 12. Let r(a) = -a**2 - 7*a + 5. Let h be r(-9). Is g(h) a multiple of 19?
True
Let l(a) = a**2 + 4*a + 2. Let r be l(-3). Let t(y) be the first derivative of -15*y**4/2 - y**3/3 - 4. Does 13 divide t(r)?
False
Let l = 1 + 0. Let p(s) = -15*s - 6. Let z(q) = q + 1. Let k(o) = -p(o) - 5*z(o). Does 4 divide k(l)?
False
Let a(s) = 3*s**2 - 2*