 = 2*p**3 - p**2. Let b(k) = -k**3 - 1. Let h(d) = -b(d) + i(d). Let r be h(-1). Does 8 divide 0/r + 3 + 7?
False
Let l(g) = 3*g**2 - 4. Let b be l(2). Let i(a) = -9*a + 9*a**2 + 3 + 2*a - a**3 - a. Does 3 divide i(b)?
True
Let z = -55 + 96. Is 4 a factor of z?
False
Suppose 0 = -3*j + 5*j - 8. Suppose 2*z + 12 = j*z. Does 6 divide z?
True
Let v = -13 - -6. Let w(n) = n**3 + 9*n**2 + 9*n - 3. Is 10 a factor of w(v)?
False
Suppose -7*j + 3*j + 12 = 0. Suppose 0 = -j*v - 2*v. Suppose 5*k = 10, -4*f + 98 = -v*f + 5*k. Does 10 divide f?
False
Let q(i) = -11*i + 6. Let o be q(-7). Let n = o + -127. Is (6/4)/((-3)/n) a multiple of 8?
False
Let x(o) = o - 1. Let h be x(3). Suppose -h*i + 14 = 4. Is i even?
False
Suppose -9 - 3 = -2*t. Let f(u) = 2*u + 1. Does 13 divide f(t)?
True
Let q(h) = h**2 - h - 1. Let x be q(3). Suppose d - 5 = b + 26, 2*d - 62 = x*b. Does 9 divide d?
False
Suppose y + 11 = 30. Is 5 a factor of y?
False
Is 35 a factor of 35/((-3)/12*-4)?
True
Let o(y) = y**3 - 5*y**2 + 4. Let j = -2 - -8. Is 20 a factor of o(j)?
True
Let i(t) = t**2 + 6*t - 2. Is i(-8) a multiple of 4?
False
Suppose 19 = -3*i - 2. Let a = i - -19. Is 9 a factor of (15/(-4))/((-3)/a)?
False
Let y(w) = 4*w**2 - 6*w. Let a be y(4). Let i = 33 - 16. Let s = a - i. Is s a multiple of 9?
False
Suppose 0 = -z - z + 4. Suppose 0 = z*s - 4*m - 2, -3*m - 4 - 4 = 5*s. Is 5 a factor of s*10/((-2)/1)?
True
Let s(p) = -7*p + 15*p - 2*p**2 + 1 + 3*p**2. Let y be s(-8). Suppose -2*f - 89 + y = -4*a, 2*a + 5*f = 44. Is a a multiple of 11?
True
Let n(t) = t**2 + 7*t + 3. Does 4 divide n(-8)?
False
Let u = 134 + -92. Let s = -22 - u. Let f = 110 + s. Does 21 divide f?
False
Let p(b) = b**3 + 8*b**2 + 5*b + 6. Let f be 2/5 - 320/50. Is 16 a factor of p(f)?
True
Suppose -6 - 34 = -2*b + 2*g, -3*g = -2*b + 42. Is b a multiple of 4?
False
Suppose -5*t = 5*n - 125, 0 = -t - 3*t + 4. Is 12 a factor of n?
True
Suppose -20*t - 310 = -25*t. Does 3 divide t?
False
Suppose 5*v = 4*q - 104, 0 = -4*q - v + 78 + 2. Does 21 divide q?
True
Let l(q) be the first derivative of q**5/20 + q**4/24 - 4*q**3/3 - 2. Let x(o) be the third derivative of l(o). Is x(2) a multiple of 5?
False
Let u be -2 + (2 - 0) + 3. Suppose -u*y + 4*y - 33 = 0. Is 20 a factor of y?
False
Suppose 3*r + 155 = 8*r. Is r a multiple of 18?
False
Is -9*(-1 + -3) - 2 a multiple of 17?
True
Suppose -p + 11 = -5*u - 2*p, 0 = -5*u + 2*p - 8. Let q be (u - -1) + 3*2. Let g = q - 0. Is 5 a factor of g?
True
Suppose 4*h - l = 17, -4*h + 14 = -h - 2*l. Suppose -h*i + 108 = -t, 3*t = 3*i + i - 100. Is 12 a factor of i?
False
Suppose -4*j - 3*y - 4 = -8*y, 4*y = 3*j + 4. Suppose -j*z + 6*z - 192 = 0. Suppose -4*r + z = -r. Is 16 a factor of r?
True
Suppose k + 2*k = -o + 356, 2*o = 2*k - 248. Is 20 a factor of k?
True
Let z(v) = v**2 - 7*v + 2. Let u be z(8). Suppose -3*j + 62 + u = 0. Is j a multiple of 14?
False
Suppose -2*n + 20 = 3*n. Suppose 5*t = 5*p - 95, 81 = -n*t - 0*t + 5*p. Is (-2*1)/2 - t a multiple of 13?
True
Suppose -4*k - 4*i = -28, -i + 3*i - 8 = k. Suppose 0 = m + m + 10, 60 = 5*s + k*m. Is 5 a factor of s?
False
Let p(q) = q - 1. Let t be p(8). Suppose -24 = t*r - 10*r. Is 5 a factor of r?
False
Let v = 7 + -8. Let u(c) = -2*c**2 + c + 1. Let q be u(v). Is 13 a factor of (-1)/q + 100/8?
True
Suppose d - 3*h - 85 = 0, -4*h + 64 = 4*d - 3*d. Suppose n = 5*n - d. Is 19 a factor of n?
True
Let s be (-2 - -4)*3*4. Let o = s - 8. Is 8 a factor of o?
True
Suppose 2*q - 22 = 12. Does 7 divide q?
False
Suppose 28 = -z + 5*z. Let k = -3 + z. Suppose 41 = k*m + 5. Does 9 divide m?
True
Let j = 183 + -78. Is 21 a factor of j?
True
Let f(a) = -2*a**2 - a - 1. Let r be f(-1). Let i be 30 + r + -1*1. Let d = i + -8. Is d a multiple of 15?
False
Is 18 a factor of (-1)/(((-16)/116)/4)?
False
Suppose 0 = 5*p + 3*f - 22, 5 = 4*p + f - 7. Suppose 9 = 2*h + h. Suppose -5*k - 4*u = -94, -p*u + h = u. Is 9 a factor of k?
True
Let y(o) = o**2 - o - 1. Let k be y(2). Let z = -14 - -27. Suppose -s + k = -z. Is 8 a factor of s?
False
Let h(b) = -3*b + 7. Let g be h(5). Let m = 13 + g. Suppose m*y = 3*y + 18. Is y a multiple of 7?
False
Let d(u) be the first derivative of -19*u**2/2 + u + 1. Does 26 divide d(-3)?
False
Let w be 7 - (-2 + 3)/1. Suppose -u = f - 3*u + 6, -w = -f - 2*u. Suppose 3*m + f*m - 12 = 0. Does 2 divide m?
True
Let h = -4 - -6. Is 14 a factor of -6 + 4 - (-116)/h?
True
Suppose -4*a + 3*o + 121 = 0, -4*o = -2*a - 2*o + 62. Is 19 a factor of ((-11)/2)/((-7)/a)?
False
Suppose -x = 2*x - 138. Is x a multiple of 17?
False
Suppose -c + 2*c = -32. Let a = 8 - c. Does 16 divide a?
False
Let z = 5 - 0. Suppose z*g + 35 = -5*a, g + 4*a = -0*a - 22. Is 42/4*g/(-3) a multiple of 6?
False
Let l(j) = -17*j + 8. Let h be l(-11). Suppose -4*w - 3*m = -0*w - h, 5*w = 5*m + 235. Is w a multiple of 24?
True
Let g = 3 + -1. Let m = 0 + g. Suppose -5*l + m*l + 24 = 0. Does 4 divide l?
True
Suppose 2*a - 48 = -i, -2*i + 60 = 2*a - 38. Is 11 a factor of i?
False
Let k = 93 + -33. Is 12 a factor of k?
True
Let z(n) = n**2 - 9*n + 5. Let t be z(8). Is 5 a factor of 4*2 - (1 + t)?
True
Let u be 6/(-9)*(-22 + 1). Suppose 0 = -4*r - 3 - 1. Let g = u + r. Does 13 divide g?
True
Let v = 349 - 207. Is 15 a factor of v?
False
Suppose -l = -4*l + 18. Let c(a) = -a**2 - 7*a - 7. Let t be c(-6). Let x = l - t. Is 7 a factor of x?
True
Suppose -2*n + 13 = 3*j, 2*n + 22 = 7*n + 4*j. Suppose -4*x + n*y = -0*y - 54, 84 = 5*x + 3*y. Is x a multiple of 7?
False
Let x(t) = t**2 - 7*t + 6. Let z be x(4). Let l(s) = s + 17. Is l(z) a multiple of 11?
True
Suppose 2*x - 11 = 47. Suppose -x*q + 27*q + 100 = 0. Is 25 a factor of q?
True
Suppose -16*m = -21*m + 50. Does 3 divide m?
False
Let r(u) be the first derivative of -4*u**2 + u + 1. Is 12 a factor of r(-5)?
False
Suppose 5*s - 183 = 4*s + 3*m, s - m - 179 = 0. Is 19 a factor of s?
False
Let f(i) = 5*i**2 + 2*i - 1. Let j be f(1). Let y(n) = -n**3 + 6*n**2 + 2*n + 3. Does 6 divide y(j)?
False
Suppose -2*r = -3*r. Suppose p - 2*p - 3 = r. Is 11 a factor of p*(48/(-9) + -2)?
True
Let l = 99 - 45. Is 18 a factor of l?
True
Let t(h) = h**3 + 7*h**2 + 5*h + 5. Let a(d) = d**2 + 8*d + 7. Let v(l) = l**2 - 7*l + 4. Let u be v(5). Let p be a(u). Does 15 divide t(p)?
True
Let m(u) = -u**2 - 15*u + 14. Is 5 a factor of m(-13)?
True
Suppose -h = 12 - 56. Is h a multiple of 11?
True
Let z(q) = -9*q + 4*q + 8*q. Is 21 a factor of z(7)?
True
Suppose -2*c - 3*b = -b - 40, 79 = 4*c + 5*b. Does 10 divide c?
False
Let a(u) = -6*u - 12. Is 6 a factor of a(-6)?
True
Suppose r - 50 = -0*r. Let m be (2/5)/(10/r). Suppose f = m*n + 14 - 36, 2*n = 2*f + 24. Is 5 a factor of n?
True
Suppose 5*z - 2*z - 9 = 0. Suppose -2*c + 138 = 3*c + z*l, c + 5*l - 32 = 0. Let n = c + 3. Is n a multiple of 11?
False
Let j be (1 - (-2 + 7))/1. Let m(h) = -h**3 - 5*h**2 - 4*h + 4. Let r be m(j). Let b = 9 + r. Does 8 divide b?
False
Suppose 2*y - 4*y = -230. Suppose -5*m + 295 - y = 0. Is m a multiple of 18?
True
Let s(o) = -o**2 - o + 7. Suppose 5*a - 26 - 2 = z, -21 = -3*a + 2*z. Let v = a - 5. Is 2 a factor of s(v)?
False
Let o be 4/(-20) - (-22)/10. Let n be 0/(o/(1 + 0)). Suppose 2*w + 3*w - 100 = n. Does 15 divide w?
False
Suppose -5*n + 90 + 295 = 4*l, 157 = 2*n + l. Does 23 divide n?
False
Suppose 455 = 5*j + l, 4*l + 160 = 2*j - 0*j. Does 32 divide j?
False
Let i = 121 + 47. Suppose 5*n = -2*t + i, -n - 2*t = -11 - 29. Does 11 divide n?
False
Suppose -4 = -2*g - 2*o, 5*o + 11 = 4*g - 2*g. Suppose -5*u = -g*y - 79, -2*y - 34 = -2*u - 0*u. Is u a multiple of 8?
False
Let v(y) = y**3 - 6*y**2 + 2*y - 3. Let q be v(6). Suppose -z + q = -5. Is 4/z + (-556)/(-14) a multiple of 18?
False
Suppose -5*p = -p. Suppose 4*t - 62 - 82 = p. Does 18 divide t?
True
Let w be (-78 - 8)*(-1)/2. Suppose -w = 4*g - 147. Is 13 a factor of g?
True
Let g(v) = v - 5. Suppose -3*a - 31 = -4*c - 4*a, 3*a = 5*c - 26. Let i be g(c). Let k(d) = 7*d. Is 7 a factor of k(i)?
True
Let b = 38 + -10. Does 4 divide b?
True
Let d be (-12)/(-20) - (-28)/(-5). Let r be d*(13/(-5) + 2). Suppose 4*p - 8 = r*p. Is p a multiple of 8?
True
Let o = -22 - -52. Let u be (12/(-10))/(9/o). Let q = 15 - u. Does 11 divide q?
False
Let i(p) = 2*p**3 + 10*p**2 + 11 + p**3 - 11*p - 2*p**3 - 2. Is i