 5*p**2 + 4*p - 2. Let l be u(3). Suppose 10 = 5*i - l. Is 13 a factor of i?
True
Let w(q) = 6*q**2 - q + 5. Let l be w(-4). Suppose -4*d = d - l. Does 18 divide d?
False
Let w(p) be the second derivative of p**6/360 - 7*p**5/120 + p**4/4 + p**3/2 + p. Let a(k) be the second derivative of w(k). Does 5 divide a(7)?
False
Suppose 0 = -6*x + 3*x - 3*o + 36, -4*o = 3*x - 39. Suppose -2*n + 2*r + x = -r, -n + 3*r = 0. Is n a multiple of 6?
False
Suppose -42 = -4*d + 2*b, -2*b = 6*d - d - 66. Let r = -17 + d. Does 5 divide (-1 + -1)*r/2?
True
Let f(b) = b - 7. Let l be f(5). Let n(x) = -3*x**3 + 3*x**2 + 6*x + 3. Let r(s) = -3*s**3 + 4*s**2 + 7*s + 4. Let c(w) = 6*n(w) - 5*r(w). Does 12 divide c(l)?
True
Suppose -3*u + 4 = -2. Let g = u - 3. Let o = 5 + g. Does 4 divide o?
True
Suppose 4*x + 5*t = 374, -t + 465 = 5*x + 4*t. Is x a multiple of 10?
False
Let r(a) = -a**2 - 5*a - 1. Let o be r(-4). Suppose o*b + 149 - 479 = 0. Suppose 4*f + f - b = 0. Is f a multiple of 11?
True
Let a(u) = u**2 + u + 9. Let t be a(-8). Let c = t - 44. Does 11 divide c?
False
Let r be (-12)/20*45/6*-2. Suppose -3*w = -5*w. Let k = r + w. Is k a multiple of 9?
True
Let v be 0 + (-1 - -3) + -1. Let d = v + 0. Is 5 a factor of (1 - (d + -4)) + 1?
True
Let k(x) = 2*x**2 + 4*x + 4. Is 13 a factor of k(-6)?
True
Let s = 24 + -8. Does 8 divide 30/(-12)*s/(-5)?
True
Suppose 5*g + s = 5, s + 20 = -3*s. Suppose -4*j + g*c + 8 = -0*c, 0 = 4*c. Let o = j + 1. Is o even?
False
Let n(q) = -2*q**3 + q**2 - 2. Let f(i) = -i - 9. Let v be f(-7). Does 6 divide n(v)?
True
Is 267/3 - 0 - 1 a multiple of 22?
True
Let y(n) = n**3 - 4*n**2 - 4*n + 11. Does 6 divide y(5)?
False
Let i(m) = -9*m + 10. Is 16 a factor of i(-6)?
True
Suppose -6*q + 2*q = 80. Let l = -3 - q. Is 17 a factor of l?
True
Suppose 800 = 4*a - 3*p, -1000 = -2*a - 3*a + 3*p. Suppose u = -3*u + a. Suppose 0 = -4*w + 5*j + 103, 11 = -2*w + 5*j + u. Is w a multiple of 16?
True
Suppose 4*c + 2*p - 11 = -c, 2*c + 4 = 2*p. Suppose -3*h + 55 = c. Is 11 a factor of h?
False
Let p(z) = -z**3 + 9*z**2 - 5*z + 7. Is 18 a factor of p(6)?
False
Let y = -1 - -1. Suppose d = -4*v + 25, y*v - 35 = -4*d - 3*v. Suppose 4*i + d*h - 141 = 0, h + 2*h = -4*i + 139. Is 17 a factor of i?
True
Suppose 12*w - 8*w - 1964 = 0. Is 55 a factor of w?
False
Let w(f) = -7*f**2 + 5*f - 17. Let s(l) = -20*l**2 + 14*l - 51. Let d(u) = -6*s(u) + 17*w(u). Is 9 a factor of d(0)?
False
Let b(p) = 2 + p**2 - 2*p**2 - p**3 + 0. Let f be b(0). Suppose f*y = -0*y + 38. Does 9 divide y?
False
Let t be (-1)/(-4) + (-20)/16. Is 13 a factor of (78/(-15))/(t/5)?
True
Suppose 0 = -6*g + 987 - 267. Is 24 a factor of g?
True
Let x(u) = 4*u - 5*u - 6*u**2 - 5*u - u**3 + 1. Suppose 24 = -5*t + l, 2*t - 4*l = -3*t - 21. Is x(t) a multiple of 3?
True
Let x be (-2)/(-11) - 392/(-22). Let s = 7 + x. Does 9 divide s?
False
Let a(h) = -15*h + 2. Does 6 divide a(-2)?
False
Does 39 divide 13/(284/(-72) + 4)?
True
Suppose -4*c + 3*h = 6, 0*c + 9 = -c - 3*h. Let b be (c + 3 - -9)*-2. Is (b/(-15))/(3/20) a multiple of 8?
True
Let x(s) = -9*s**3 + s**2 + 4*s + 4. Is x(-3) a multiple of 65?
False
Let x(y) = y**2 - y + 5. Let q be x(-5). Let h = q + -11. Suppose -t + h = t. Is t a multiple of 12?
True
Let d(v) = -v**3 - 10*v**2 - 5*v - 14. Does 36 divide d(-10)?
True
Let j = -104 + 180. Let k = -53 + j. Let v = 3 + k. Does 14 divide v?
False
Suppose -z - 4*z - 5*p = -35, -2*z - p = -9. Suppose 348 = z*w + 2*w. Suppose 3*u + 20 = m, 3*u - w = -4*m + 38. Is m a multiple of 18?
False
Let k(p) be the first derivative of p**5/120 + p**4/12 + 2*p**3/3 - 2. Let h(d) be the third derivative of k(d). Is 5 a factor of h(8)?
True
Suppose -2*y = -2*i - i - 44, -2*i - 40 = -2*y. Let r(a) = -y*a + 6*a + 2 - 4. Is 14 a factor of r(-2)?
False
Let a(b) = 102*b**2 + b. Let h be a(1). Let f = h - 68. Is 7 a factor of f?
True
Suppose -4*o = 2*f + 10, 56 = -3*f - f + 4*o. Let y be 166/10 + 2/5. Let c = f + y. Is c a multiple of 5?
False
Let b(f) = -4*f - 11. Does 5 divide b(-8)?
False
Suppose -4 = 2*z - 0. Is 2 a factor of z/4*-14 + -2?
False
Let c(t) = 6*t**2 - 3*t - 1. Is 16 a factor of c(-3)?
False
Suppose 3*p - 84 = -p. Does 4 divide p?
False
Suppose 3*v + 496 = 7*v. Let s = v - 69. Is s a multiple of 16?
False
Suppose 0 = 4*i - 16, -w - 5*i + 30 = 4*w. Suppose -80 = -w*d - 28. Is d a multiple of 13?
True
Let x = -67 + 69. Is 2 a factor of x?
True
Suppose 2*f - 4*s - 364 = 0, -4*s = f + 4*f - 910. Is f a multiple of 14?
True
Let m = 299 + -73. Suppose -m = -4*k + 158. Is 32 a factor of k?
True
Suppose -4*p = d - 48, 5*d - 4*d = p - 17. Let z(f) = f**3 - 12*f**2 - 13*f. Let q be z(p). Suppose -77 = -2*a - q*a - 3*c, 3*c = 9. Is 17 a factor of a?
True
Let i = 28 - 20. Is i even?
True
Suppose -4*u - 23 + 91 = 0. Let i = u + -9. Let l = i + 0. Does 5 divide l?
False
Let j be -35 + 2 + 3 - -3. Let g = -15 - j. Is g a multiple of 6?
True
Let s be 2/3*(0 - -3). Suppose d = -s*q + 38, -3*q = -4*d - 11 - 35. Is q a multiple of 5?
False
Let m be (1 - -1 - 2)/2. Let a = 88 - 62. Let d = a + m. Is d a multiple of 13?
True
Suppose 5*j - 2*j - 5*l - 95 = 0, 8 = 4*l. Suppose 0 = -3*r + 2*r - o, 0 = 2*r + 3*o + 2. Suppose w = r + j. Is w a multiple of 13?
False
Suppose -24*b + 19*b = -220. Does 20 divide b?
False
Let b(x) = x**2 - 5*x - 4. Let y be b(5). Is 24 + ((-6)/3 - y) a multiple of 11?
False
Does 23 divide ((-92)/(-10))/(-4*3/(-120))?
True
Suppose 5*z + 0 = -10. Let h(y) = -22*y - 2. Does 14 divide h(z)?
True
Suppose -4*n + 5*d = -159, n - d = -4*d + 27. Let q(s) = -s**3 + s + 152. Let l be q(0). Suppose -n = -4*w + l. Is 17 a factor of w?
False
Suppose -3*m = -4*u - 22, 3*m + 24 = 7*m - 4*u. Let q(z) = 10*z**2 + z - 1. Does 14 divide q(m)?
False
Let w = 15 - 10. Suppose 0 = -g + 1 - w. Let c(s) = -s**3 - 2*s**2 - s - 3. Does 16 divide c(g)?
False
Let t(m) = 2*m**2 - 2*m - 1. Let c be t(-1). Suppose c = -p - 7. Let q(z) = -z**3 - 11*z**2 - 11*z - 8. Is q(p) even?
True
Suppose 4*s - 3*w = 166, -4*w - 35 = -s - 0*w. Does 19 divide s?
False
Suppose -x = -1 - 3. Suppose 0 = -x*j + 111 + 141. Is j a multiple of 21?
True
Let f = -6 - -9. Suppose -f*r + 11 = -4. Suppose 23 = -r*c + 113. Does 9 divide c?
True
Let x(r) = -r**3 + 6*r**2 + 7*r - 9. Let i be x(6). Let l = i + -22. Is l a multiple of 2?
False
Suppose -2*p - 17 = -3*c - 0*p, 0 = 2*c + 2*p + 2. Suppose 2*b - 10 = -c*b. Suppose -b*o = -25 - 37. Is 20 a factor of o?
False
Suppose -c = -0*c. Let o(v) = -v + 52. Does 27 divide o(c)?
False
Let d(y) = -y**3 + 4*y**2 - 2*y - 3. Let l be d(3). Let z be (2 - -31) + (-1 - -1). Suppose p + b - 1 = l, -3*p + 2*b = -b - z. Is p a multiple of 6?
True
Suppose 3*z = -j + 449, 5*j + 150 = 4*z - 455. Is z a multiple of 29?
False
Let v(u) = -4*u**2 - u + 1. Let l be v(-4). Let i = l - -114. Let j = i - 31. Is 7 a factor of j?
False
Let q(m) = -m + 3. Let p be q(0). Suppose -4*b + 0*s + 109 = 3*s, -p*b = 3*s - 81. Is b a multiple of 14?
True
Let d be 1*-16*2 + 1. Let i = 59 + d. Does 11 divide i?
False
Let o(x) = x**3 + 7*x**2 + 5*x - 1. Let v be o(-6). Suppose v*z = 13 + 52. Suppose -2*q = 4*k + 15 - 49, -k = 5*q - z. Is 8 a factor of k?
True
Let w(o) be the second derivative of o**5/20 - 2*o**4/3 - 7*o**3/6 + 3*o**2/2 + 5*o. Is 11 a factor of w(9)?
False
Let v = 20 + -11. Let t = v + -1. Is t a multiple of 3?
False
Let d = 2 + 2. Let j = 7 - d. Suppose j*s + 4*t - 60 + 8 = 0, 39 = s - 3*t. Does 12 divide s?
True
Let j be (3/(-6))/((-1)/24). Let b(l) = l - 12. Let n be b(12). Suppose -r + 0*r + j = n. Does 12 divide r?
True
Let g = 25 + -8. Let r be (-2)/(-3)*(2 - g). Let b = 17 + r. Is b a multiple of 7?
True
Let d(l) = 4*l**2 - 3*l + 1. Is 11 a factor of d(2)?
True
Let y = -6 + 8. Suppose -25 = y*i - 5. Is 13 a factor of 4/i + (-224)/(-10)?
False
Let u(k) = -8*k**3 - 4*k**2 - k - 1. Let y be u(-3). Suppose 3*r + 111 = 3*g, -3*r - y = -4*g - 39. Is 8 a factor of g?
True
Let t = -133 - -187. Suppose 4*j - t - 146 = 0. Does 12 divide (j/(-4))/((-3)/6)?
False
Let r = 8 + -6. Suppose -4*f + 160 = -4*k, k = r*k + 4. Does 12 divide f?
True
Let z(y) = -5*y**3 - 2*y**2 + y + 3. Does 4 divide z(-2)?
False
Let u(l) = 4*l - 5. Does 2 divide u(2)?
False
Let a be (1*-1)/(1/2). Let w = 4 + a. Suppose -5*r + w*i = -20, r = -2*r + 5*i + 12. D