divide p(k)?
True
Let g = 135 - 39. Suppose -2*x = -0*x, 2*h - 3*x - g = 0. Is 18 a factor of h?
False
Suppose 1 = 4*o + 3*v, -2*o + 0*o - 3*v = -5. Let s be 46 + o + (1 - 1). Suppose -2*n + s = -0*n. Is n a multiple of 16?
False
Suppose 4*r - 14 = -x, 2*r + x - 6 = -0*x. Suppose -a - j + 5*j + 30 = 0, 5*a = -j + 108. Suppose -2*o - 2*b - 28 = -3*o, -o + r*b = -a. Is o a multiple of 20?
False
Suppose 4*t = 21 - 5. Let h be t/6 - (-75)/9. Suppose -g = -3*r - 27 - 2, g = -2*r + h. Does 17 divide g?
True
Let o = 15 - 15. Suppose o = p - 5, 5*j + p = -4*p + 265. Does 12 divide j?
True
Suppose 5*m = 3*t - 17, 3*t = -3*m + m + 52. Does 9 divide t?
False
Let f(p) = 23*p**2 + p. Does 18 divide f(-2)?
True
Let j(c) = 16*c - 6. Let t be j(6). Suppose 2*d = -2*o + t, 2*o - 46 = 5*d + 65. Does 11 divide o?
False
Let n(k) = -k**2 - 4*k. Let o be n(-4). Suppose 0 = -4*w + 2*m + 86, o = -0*w + 2*w + 3*m - 55. Does 8 divide w?
False
Suppose -w + 1 = -0*w. Let a = 26 - 70. Let r = w - a. Is r a multiple of 15?
True
Let n = 17 + -3. Let c = -4 + n. Is c a multiple of 5?
True
Suppose -3*y = -f + 53, 3*y = -3*f + 248 - 29. Is 17 a factor of f?
True
Let v(h) = -h**3 + 4*h**2 - h. Suppose 6 = -8*c + 10*c. Is 4 a factor of v(c)?
False
Let f = -16 - -22. Let d(c) = 3*c + 5. Does 6 divide d(f)?
False
Suppose -p + 18 = p. Let h(z) = -6. Let m(j) = j + 6. Let g(y) = 3*h(y) + 2*m(y). Is 12 a factor of g(p)?
True
Let p be (-2)/(49/(-48) + 1). Let c = p + -62. Does 15 divide c?
False
Let b = 4 + -4. Suppose 5*x - x - 84 = b. Is 7 a factor of x?
True
Let z(b) = 42*b**3 + b**2 - 1. Let m = 0 - -1. Is z(m) a multiple of 21?
True
Let q(z) = 3*z**2 - 8*z + 9. Is 29 a factor of q(7)?
False
Let j = -6 + -3. Let p = j + 34. Is p a multiple of 9?
False
Suppose 4*j - 3*a + 2*a - 7 = 0, -4*j - 5*a + 13 = 0. Let s = -4 - j. Does 7 divide (-14)/(-6)*-1*s?
True
Let p(q) = -7*q - 2. Let i be p(-7). Suppose -4*j - 5*v - i = 0, 5*j + 49 = -5*v - 16. Let s = 38 + j. Does 13 divide s?
False
Let x(i) = 3*i + 0*i**3 + 5*i**2 + 2*i**3 - i**3. Let g be x(-3). Suppose 2*p + 8 = 0, 2*o - 31 - g = 5*p. Is 5 a factor of o?
True
Let f(a) be the second derivative of -a**5/4 - a**4/6 + a. Suppose -2*j + t = 4, 3*j - 4*t = -0*j - 6. Is f(j) a multiple of 16?
True
Is (-19)/(-3*1/3) a multiple of 7?
False
Suppose -17 = -3*t - 5. Is 6 a factor of 27/t + 1/4?
False
Let f = 7 + -2. Let a = 86 - -14. Suppose 0*n + f*n = a. Is 10 a factor of n?
True
Let r = 104 - 29. Is r a multiple of 15?
True
Suppose 6*s - 4*h = s + 2319, 5*s - 2*h = 2327. Does 62 divide s?
False
Suppose -w = 3*w - 80. Is 14 a factor of w?
False
Suppose 6*a = 214 + 254. Does 22 divide a?
False
Suppose w + 570 = 7*w. Is 19 a factor of w?
True
Is 5 a factor of 6 - -6*(-2)/(-3)?
True
Suppose -4*i + 7*i = -3. Let y = 5 + i. Let q = y + 17. Does 13 divide q?
False
Suppose -92*g + 89*g + 336 = 0. Is g a multiple of 22?
False
Suppose 13 = -5*a - 12, 3*s + 4*a - 82 = 0. Does 11 divide s?
False
Does 13 divide (1/(-2))/(4 + (-3336)/832)?
True
Suppose -5*x = -86 - 359. Does 14 divide x?
False
Suppose -3*q + 31 = -x, 0 = 5*x - 5*q + 22 + 163. Is 21 a factor of x/(-50)*210/4?
True
Let g(w) be the third derivative of -w**6/24 - w**5/20 - w**4/6 - w**3/2 - w**2. Is 20 a factor of g(-2)?
False
Let z = 58 + -35. Suppose 0 = -2*b + 13 + z. Does 13 divide b?
False
Let g be -1 - ((1 - 2) + -3). Suppose -10 = -2*o, g*x + 11 = 4*o - 0*o. Is x a multiple of 2?
False
Let o(q) = 3*q - 14. Does 5 divide o(11)?
False
Let h(i) = -3*i + 15. Let q(g) = -1. Let a(b) = h(b) + 18*q(b). Does 9 divide a(-7)?
True
Suppose 0*d = 2*d - 6. Let q(s) = -s**2 - 12 - d*s + 31 + 2*s. Is 17 a factor of q(0)?
False
Suppose 0 = -m + i + i - 8, -3*m = 3*i - 12. Suppose -3*s + s + 4 = m. Suppose s*x + 81 = 5*x. Is 9 a factor of x?
True
Let q = -3 + 6. Suppose -5*l = -a - 102, -3*l = -0*l - q*a - 66. Is 15 a factor of l?
False
Suppose -3*q + 8 = 2. Suppose 6 = 2*b - 0*b + q*m, 4*b - 5*m = -15. Suppose -17 = -a - 4*t - 6, -5*a - 2*t + 73 = b. Is a a multiple of 4?
False
Suppose -m + 51 - 8 = 0. Suppose 2*u - 9 - m = 0. Does 10 divide u?
False
Let x(p) = -3*p**3 + 8*p**2 - 3*p + 20. Let z(l) = 2*l**3 - 5*l**2 + 2*l - 13. Let h(v) = -5*x(v) - 8*z(v). Is 2 a factor of h(0)?
True
Let j = 126 + -70. Is j a multiple of 14?
True
Let q(x) = -3*x + 5*x - 4*x + 3*x - 3. Is q(8) a multiple of 3?
False
Suppose 1420 = 10*z - 0*z. Is 14 a factor of z?
False
Let p(s) = 16*s**2. Suppose 0 = -4*b + 5*x + 1, 0*b - 4*x - 6 = 2*b. Is 8 a factor of p(b)?
True
Let l = -2 - -6. Suppose 3*s - 8 = 3*h - l*h, -12 = 2*s + 5*h. Suppose -s*w + 2*a + 80 = 0, w - 2*a = -w + 42. Is 19 a factor of w?
True
Suppose 3*p = 148 + 140. Is p a multiple of 22?
False
Suppose 0*u + u = 18. Is 9 a factor of u?
True
Let f(g) = -g**2 + 8*g + 4. Let d be f(7). Suppose d*p = 15*p - 40. Is 3 a factor of p?
False
Let b = 12 - 4. Does 2 divide b?
True
Let o(z) = z**3 - 4*z**2 - 4*z - 6. Let w be o(5). Does 10 divide 26 - (-2 - -2 - w)?
False
Suppose 19 = -2*d + 69. Is d a multiple of 5?
True
Let g = 7 + -7. Suppose g = -0*x - 3*x. Suppose 7*c - 6*c - 13 = x. Does 5 divide c?
False
Let z(h) = h**3 + 8*h**2 + 8*h + 16. Let i be z(-7). Let d be 1/(-2)*2 + 3. Does 5 divide i - -1*4/d?
False
Suppose 4*o - 4*v - v = 29, 3*o - 14 = -4*v. Suppose -2*u = -s - 8, -13 = -0*u - 3*u + 2*s. Is 2 a factor of 10*u/o - 1?
True
Let m be (-9)/6*2/3. Is 19 a factor of 76*(1 - m/(-2))?
True
Let t(y) = y**2 - 2*y + 6. Let i(p) = -p**3 + 5*p**2 + 5. Let m be i(5). Suppose -5*k + 4*k - 3*j + 3 = 0, m*k - j - 31 = 0. Is t(k) a multiple of 10?
True
Let z(v) = 14*v + 2. Let o(g) = g - 1. Let c(d) = -4*o(d) + z(d). Let a be c(6). Suppose 12 = -2*h + a. Is 22 a factor of h?
False
Suppose 82 = 4*n - 5*f, 0*n + 4*n - f = 90. Suppose 5 = -r + n. Is 6 a factor of r?
True
Suppose 11*q - 15 = 6*q. Is 3 a factor of q?
True
Let p = 12 + -6. Is 6 a factor of p - (-2)/(-4)*0?
True
Is 33 a factor of 2/(-5) + 1736/40?
False
Let q(c) = 56*c**3 + c + 1. Let h be q(-1). Let v = 93 + h. Is 11 a factor of v?
False
Suppose -2*a + 159 = a. Does 10 divide a?
False
Let s(z) = z**2 - z - 4. Suppose -3 = p + 1. Is s(p) a multiple of 16?
True
Suppose -4*p + c = 8, 0*c + 7 = -5*p + 2*c. Is 10 a factor of 14 + (-4)/(4 + p)?
True
Let n = -5 - 5. Does 18 divide ((-8)/n)/((-1)/(-30))?
False
Suppose x = 6*x - 550. Does 24 divide x?
False
Let t(x) = x**3 + 4*x**2 - 3*x - 6. Let q be t(-6). Does 10 divide (-1)/((22/q)/11)?
True
Let s be 0/(2*(-3)/6). Let y = s - -5. Suppose 2*n + 30 = 2*j, -y*j - 5*n + 14 = -11. Does 10 divide j?
True
Let j(o) = -o**2 - 4*o + 3. Let b be j(-5). Is (b + 20)/(12/16) a multiple of 12?
True
Suppose -4*c + 9*c = 0. Suppose c*m = -4*r + 3*m + 21, -r - 4*m + 29 = 0. Is 4 a factor of r?
False
Let a be (-10)/20 + 170/4. Suppose 5*d - 6*d = -a. Is 25 a factor of d?
False
Suppose 3*y + y = 20. Let q(v) be the second derivative of -v**5/20 + v**4/3 + 7*v**3/6 - v**2/2 + v. Is q(y) a multiple of 6?
False
Suppose k - 4*k - 9 = 3*s, 5*s - k = 3. Let h = s + 2. Suppose -h*r = -5*r + 123. Is 11 a factor of r?
False
Does 2 divide 2*1/(-6 + 4) + 6?
False
Suppose 2*u = -8, -g + 8 = -4*g + 4*u. Let j(r) = -r + 11. Does 12 divide j(g)?
False
Suppose a = -18 + 48. Is 10 a factor of a?
True
Suppose 3*q - 360 = -q. Is q a multiple of 15?
True
Let i(c) = -c**3 - c**2 + c - 2. Is 3 a factor of i(-4)?
True
Let a(u) = -3*u**3 - 2*u**2 - 2. Let l(v) = 3*v**3 + v**2 + 2. Let n(j) = 4*a(j) + 5*l(j). Let o be n(-2). Let z = -14 - o. Is z a multiple of 8?
False
Let t(g) = 12*g + 7. Let z be t(5). Let a = z - 144. Let p = a - -109. Does 15 divide p?
False
Suppose 132 = 4*z - 0*z. Let r = -1 - -12. Suppose -2*c + r = -z. Does 17 divide c?
False
Suppose -5*y + 151 = 2*i - 0, 3*i + 68 = 2*y. Let q = 130 - y. Does 33 divide q?
True
Suppose -x = -4*x - 18. Let k = x - -11. Suppose s = 4*g - 138, -3*g - k*s + 42 = -50. Is 17 a factor of g?
True
Let p(z) = z**2 - 7*z + 8. Let a(j) = -j**3 - 6*j**2 - 6*j + 4. Let q be a(-5). Is 19 a factor of p(q)?
False
Let j(z) be the first derivative of z**2 + 5*z + 4. Let t be j(-7). Let w = t + 16. Is w a multiple of 7?
True
Let b be (-2)/5 - (-452)/5. Suppose -5*u = -l + 5*l - b, -5*l - u = -102. Is l a multiple of 9?
False
Does 18 divide (4/(-10))/(2/(-540))?
True
