p?
True
Let q(r) = 2*r**2 - 2*r**3 + 2*r**3 + r**3 + 1 - 3*r**3. Let f be q(-3). Suppose -13 = -2*z + f. Does 17 divide z?
False
Let w(o) = o**3 - 7*o**2 + 7*o - 9. Let k be w(6). Let x = 3 - k. Does 6 divide x?
True
Let h(s) = -315*s + 1. Let u be h(-1). Let v = u - 44. Suppose 0 = 4*o - q - 220, -2*o + v = 3*o - 2*q. Is o a multiple of 21?
False
Is 3*(4/(-14) + (-920)/(-84)) a multiple of 8?
True
Let y(n) = n**3 + 3*n**2 - 4*n. Let z be y(-4). Does 9 divide (-1)/(-2)*z + 27?
True
Let c(o) be the first derivative of 2*o**3/3 + 7*o - 1. Does 22 divide c(6)?
False
Let j(s) = -33*s - 1. Let u = 4 - 6. Is j(u) a multiple of 22?
False
Let c(h) = 24 - 13*h**2 + h**2 - 10 + h + 0*h + h**3. Is c(12) a multiple of 26?
True
Suppose 8 = -q - 2*d, -3*q = -q + 5*d + 20. Let i = -1 - q. Is -1 - (i - 10) - -2 a multiple of 6?
True
Suppose -t - a + 4 = 7, a - 27 = 5*t. Let c(q) = 2*q**2 + 4*q + 6. Is 18 a factor of c(t)?
True
Let y be (-60)/16 - 1/4. Let v = 0 + y. Is 23/4 + (-1)/v a multiple of 4?
False
Suppose 0 = -7*x + 650 - 90. Is 16 a factor of x?
True
Let n be (-2535)/(-33) + (-4)/(-22). Suppose -4*v - 9 = -n. Suppose 2*f - v = s, 0 = -5*f + 5*s + 40 + 5. Is f a multiple of 8?
True
Suppose 2*b + 268 = 6*b - 4*n, -5*n + 15 = 0. Is b a multiple of 10?
True
Let r be -4*1/(-2) - -1. Suppose 0 = -r*n + 37 + 5. Does 14 divide n?
True
Suppose 4*j - 6*j + 42 = 0. Does 7 divide j?
True
Let g = 8 + -15. Let z(r) = r**2 + 8*r + 5. Let w(f) = f - 1. Let x(d) = -3*w(d) + z(d). Does 9 divide x(g)?
False
Let n(o) = o**2 + o + 10. Let q be 2*3/(-6) - -1. Does 4 divide n(q)?
False
Is (62/4)/(2*3/12) a multiple of 4?
False
Let o(g) = 8*g - 3. Does 10 divide o(8)?
False
Suppose 0 = k - 3*w, 4*w - 10 = -k - k. Let j be (-3)/2*(-4)/k. Suppose -41 = -j*d + 35. Is 15 a factor of d?
False
Let x(y) = -y**2 + 5*y + 6. Let d be x(5). Suppose -d = 5*m - 21. Suppose -2*n = -3*n + m. Is n a multiple of 3?
True
Suppose 2*z + 4*u = 52, 0 = 2*z - 0*u + 3*u - 55. Does 3 divide z?
False
Suppose 2 = 2*k - 68. Does 5 divide k?
True
Suppose 0 = i - 7*i + 600. Is i a multiple of 17?
False
Let r = 63 - 53. Is r a multiple of 4?
False
Let p be 1/(1*3/(-3)). Does 9 divide (2 - 14/p) + 2?
True
Let y = 53 - 49. Is 4 a factor of y?
True
Let d = 5 - 3. Suppose -b + 4*b + 3 = -3*u, -d*b = 3*u + 6. Suppose -b*w - 3*f = -36, -4*f + 0*f = 0. Does 6 divide w?
True
Let v be 205/(-9) + (-2)/9. Let o = v + 33. Is 10 a factor of o?
True
Let i = -9 - -25. Is 8 a factor of i?
True
Let k(u) = -3 + 2*u**2 + 2*u**2 - 1 - 3*u**2. Is k(5) a multiple of 10?
False
Does 5 divide (-84)/(-9) + 8/12?
True
Suppose -y = z - 39, -z = 4*y - 84 - 69. Is y a multiple of 10?
False
Let r be (-14 - -2)*(-15)/(-10). Is 115/9 + (-4)/r a multiple of 8?
False
Let k = -137 - -72. Suppose -4*h - 208 = 196. Let c = k - h. Is 18 a factor of c?
True
Suppose b + 4 = 0, 7*b + 231 = 5*v + 3*b. Suppose -252 = -5*m + v. Is 30 a factor of m?
False
Let b be 8 - ((-1)/(-1) + 2). Suppose 25 = 4*w + 4*i - 5*i, -b*w = 5*i - 50. Does 3 divide w?
False
Suppose r - 4*r = 24. Let c(v) be the first derivative of -v**4/4 - 3*v**3 - 5*v**2 - 3*v + 11. Is c(r) a multiple of 13?
True
Is 13 a factor of (-312)/(-16)*2*1?
True
Suppose 5*f - f - 36 = 0. Is f even?
False
Let y(s) be the third derivative of -s**6/360 + s**5/60 - s**4/12 + 2*s**2. Let n(f) be the second derivative of y(f). Is n(-3) a multiple of 4?
True
Is 6 a factor of 23 + 2/(4 + -2)?
True
Let n(p) = 13*p**2 + 5*p + 1. Let c be n(-2). Suppose 2*y + 0*y - 82 = -2*v, 2*v - c = -y. Is 13 a factor of y?
True
Let r = 0 - -3. Let d = 8 + r. Is d a multiple of 4?
False
Let q(u) = 38*u**2 + 3*u - 9. Is 19 a factor of q(3)?
True
Suppose 0 = -5*s - 29 - 11. Is 3 a factor of (-1)/4 - 26/s?
True
Suppose -n - 7 = m - 3*m, -2*n = -5*m + 17. Let f(t) = 2*t**3 + 5*t**2 + 6*t + 2. Let j(p) = p**3 + p. Let y(k) = n*f(k) + j(k). Is 2 a factor of y(-4)?
True
Suppose 4*a = 325 - 5. Is a a multiple of 10?
True
Let h = -1 + 3. Suppose -3*q = -8*q - 15. Does 14 divide -30*(8/q + h)?
False
Let j(r) = -r**2 - 6*r - 2. Let t be j(-5). Suppose 0 + t = w. Is 2 a factor of w?
False
Suppose -4*t + 2 = -2. Let h(k) = k**2 - 5*k + 2. Let w be h(7). Let r = t + w. Does 12 divide r?
False
Let x(i) = i**2 + 7*i - 12. Is 6 a factor of x(3)?
True
Let f be (75/(-4))/((-9)/24). Let a = 86 - f. Does 6 divide a?
True
Suppose 181 + 165 = 2*o. Let y = o - 101. Is y a multiple of 26?
False
Let c = 9 + -4. Let n = -11 + c. Is 9 a factor of ((-45)/n - -1)*2?
False
Suppose 0*g + 52 = 4*g + 4*d, 5*g = -4*d + 64. Does 8 divide g?
False
Suppose -y + 3 = -1. Let m be (6/4)/(2/y). Suppose m*n + x = 43, 0 = n + 4*x - 14 - 15. Is n a multiple of 13?
True
Let y be 0 - (0 - (-12)/1). Suppose -2*j - i = -0*j + 40, -j + 5*i - 31 = 0. Let o = y - j. Is o a multiple of 4?
False
Let y(m) be the second derivative of m**3/2 - m**2 + 3*m. Suppose -2*r = -5 - 7. Does 6 divide y(r)?
False
Suppose -2*x - 2*x = -2*k - 344, 4*k + x + 643 = 0. Let f be k/4 - (-1)/2. Let s = f - -60. Does 10 divide s?
True
Is 16 a factor of -1 - (3 - 0) - -96 - 0?
False
Suppose -3*l - 95 = 4. Let b = -6 - l. Is b a multiple of 9?
True
Suppose -3*k - 10 = -187. Let s = k + -17. Is s a multiple of 18?
False
Let s be (-502)/(-5) + 15/25. Suppose 2*v = 317 - s. Does 25 divide v?
False
Suppose 5*a = 2*a - 36. Is 22*8/a*-3 a multiple of 22?
True
Let c(b) = 4*b + 3. Is 5 a factor of c(7)?
False
Let j(v) = -v. Let a(o) = 8*o + 3. Let k(z) = -a(z) - 5*j(z). Does 6 divide k(-7)?
True
Let b(c) = c**3 - 4*c**2 + 3*c + 3. Does 16 divide b(6)?
False
Let c = 25 - 1. Is 20 a factor of c?
False
Let u = -11 + 8. Let x = u + 28. Does 9 divide x?
False
Let i be 9/(53/(-28) + 2). Suppose 2*j = 2*d - 238, d - j = -4*j + 123. Let h = d - i. Is 14 a factor of h?
False
Let n be 1/(-1)*-4*1. Let v(q) = q + 4. Let c be v(-4). Suppose -n*a + 32 = -c*a. Does 6 divide a?
False
Let f(w) = -w**3 + 10*w**2 - 7*w + 6. Let o be f(9). Suppose 0 = -2*z + 5*z - o. Suppose -2*p - 1 = -h - 0, p - 2*h = -z. Is p even?
True
Is 19 a factor of (-2)/(4/30 + 68/(-460))?
False
Let t be (-171)/(-15) + (-6)/15. Does 26 divide t*-1*(-3 - 4)?
False
Suppose 10*i = 5*i + 1080. Is i a multiple of 54?
True
Let g be ((-5)/(-4))/(2/(-8)). Let v = 3 + g. Is (0 - v)*(-23)/(-2) a multiple of 11?
False
Suppose -3*r - 1 + 7 = 0. Let z(d) = 4*d + 2*d - 1 - 4 - r*d. Does 3 divide z(4)?
False
Suppose 4*a = -4*f + 40, -2*f = 5 - 1. Suppose 5*z = -13 - a. Does 8 divide z*(16/(-5))/2?
True
Suppose c = -r + 5, 0 = -5*c + 2*r - 6*r + 23. Suppose 5*o + 6*y - 90 = c*y, 2*o - 20 = 2*y. Is 6 a factor of o?
False
Let v = 32 + -22. Suppose 0 = -4*h - 54 + v. Is 11 a factor of (h/2)/(4/(-24))?
True
Let b(o) be the first derivative of -o**4/4 + 5*o**3/3 + 2*o + 1. Suppose 7*d - 2 - 33 = 0. Is 2 a factor of b(d)?
True
Does 19 divide 2/(-1) + 0 - -40?
True
Suppose 2*m + 276 = 2*r + m, 0 = -5*r + 3*m + 688. Does 35 divide r?
True
Let u(z) = -z**3 - 2*z**2 + 7*z + 7. Let x be u(-5). Let m = 36 + -32. Suppose m*b - 17 = -5*l + 59, -x = -3*l - b. Is l a multiple of 16?
True
Let p(m) = m**3 + 7*m**2 - 8*m + 4. Is p(-7) a multiple of 15?
True
Suppose 5*g = 2*g + 9. Suppose -w + 0*w = g*r - 30, -3*r - 5*w = -42. Does 4 divide r?
False
Let m be (2 - 0)/(1/2). Suppose 3*t - m - 53 = 0. Suppose -4*r = -t - 33. Is r a multiple of 9?
False
Let i(n) = n**3 - 12*n**2 + 17*n + 3. Let l(b) = -b**3 + 6*b**2 - 9*b - 1. Let r(q) = 3*i(q) + 5*l(q). Is r(-5) a multiple of 22?
False
Let i = 0 - -3. Suppose -2*y = 3*o - 3, i*o + 6 = -0*y - y. Let z = 5 + y. Does 11 divide z?
False
Let o = 6 - 4. Suppose -4*i = -3*k + 36, 18 = -o*i + 5*k - 6*k. Let h = 21 + i. Does 12 divide h?
True
Let a = 38 + -20. Is (-92)/(-9) - 4/a a multiple of 5?
True
Let v = -8 - -13. Suppose -20 = -0*m - v*m. Is m a multiple of 4?
True
Let p(f) = -5*f - 3 - f + 2*f**2 + f. Let j(y) = -y**3 + 4*y**2 - 3*y - 3. Let g be j(3). Does 17 divide p(g)?
False
Let f(w) = -13*w**3 + 1. Is 7 a factor of f(-1)?
True
Suppose 3*b - 180 = -s + 4*s, -b = s - 60. Does 20 divide b?
True
Let b = -35 - -61. Let p = -9 + b. Is p a multiple of 5?
False
Suppose -5*w = p - 6*p - 105, 0 = -2*p + 2. Is w a multiple of 16?
False
Let r(j) = 5*j**2 + j + 5. Let d be r(-5). Let y = -80 + d. Is 9 a factor of y?
True
Let p(k) = -k - 2