3. Does 17 divide z?
True
Let b(n) = 2*n**2 + n + 6. Does 13 divide b(4)?
False
Suppose -10*w + 5*w + 225 = 0. Does 8 divide w?
False
Let b = 2 + -6. Let f = 6 + b. Is 69/(f - -1) - -2 a multiple of 10?
False
Suppose 0 = -q + 3 + 2. Does 5 divide q?
True
Suppose 5*c = 3*c + 64. Is c a multiple of 5?
False
Let w(q) = -q**3 - q. Let s(z) = 5*z**3 - 9*z**2 + 9*z + 2. Let r(p) = s(p) + 6*w(p). Is 15 a factor of r(-10)?
False
Suppose -4 = 2*b - 4*b. Suppose -1 = -x + 4. Suppose -4*t = h - b*t - 14, 46 = x*h + 4*t. Is h a multiple of 5?
False
Is 12 a factor of -2*5*(-36)/10?
True
Let q(l) = -26*l + 2. Does 18 divide q(-2)?
True
Let o(u) = u**3 - 8*u**2 + 7*u - 2. Let p be o(7). Let x = 9 + p. Suppose z + 2*c - 15 = x, -4*c + 64 = 3*z. Does 10 divide z?
True
Let r(m) = -m**3 + 6*m**2 + 9*m - 10. Let o be r(7). Suppose -4*y + o*f = -200, 2*f + 71 = 5*y - 182. Does 19 divide y?
False
Let o = 133 + -92. Suppose -o - 10 = -v. Is 16 a factor of v?
False
Suppose -3*h = -4*h. Suppose h = 2*x - x - 32. Is x a multiple of 7?
False
Let n = -63 - -123. Is 15 a factor of n?
True
Let n be ((-108)/(-10))/((-1)/(-15)). Suppose -4*h - 6 + n = 0. Is h a multiple of 13?
True
Let j(y) = 6*y**2 + 3*y + 2. Suppose 3*t = 4*b - 24, -b + 4*t + 5 = -14. Suppose b*m + 0*m + 6 = 0. Is j(m) a multiple of 16?
False
Suppose 4*t - 1 = 3*w, 2*t + 0 - 4 = -2*w. Let a(f) = f**2 - 7*f - 2. Let j be a(8). Suppose -5*h = 2*k + t + j, h - 17 = -5*k. Is k even?
True
Suppose -460 = b - 11*b. Is b a multiple of 19?
False
Let g = -5 - -5. Let t be (-1)/3*g - 0. Suppose t = h - 2*h + 18. Is 6 a factor of h?
True
Suppose 4*g - 2*r = 42, 0*g + 3*r - 27 = -3*g. Let k = g + -7. Suppose -4*a = k*x - 70, 26 = x - 0*a + 4*a. Is x a multiple of 11?
True
Let x(h) = 2*h**2 + 2. Let t be x(2). Suppose c - t = 16. Is c a multiple of 13?
True
Let d(m) = -m**3 - 12*m**2 - 3*m + 6. Let j be d(-11). Let t = j + 123. Does 12 divide t?
False
Let l = 97 + -99. Let j = -21 - -10. Let x = l - j. Is 7 a factor of x?
False
Suppose -2*h + 18 = -3*u, 80 = 4*h + 3*u + 2*u. Does 5 divide h?
True
Let u = -118 - -172. Is u a multiple of 18?
True
Suppose -2*b + 165 = -3*z, 4*b + 173 = 4*z + 497. Does 44 divide b?
False
Suppose -5*p = -27 - 33. Is p a multiple of 8?
False
Let n(b) = 6*b - 2. Let x be n(1). Is 4 a factor of (-1)/(-3)*x*3?
True
Let g(b) = -b**2 + 4*b + 4. Let r be g(4). Let t(d) = -r*d**2 - 4 + d**3 + 10 + 10*d**2 - 7*d + 2. Is t(-7) a multiple of 8?
True
Let s(x) = x**2. Let n(a) = 5*a**2 - 8*a - 2. Let g(i) = -n(i) + 6*s(i). Let h be g(-8). Is 11 a factor of h*3/(-6) - -26?
False
Let c = -36 - -76. Is 10 a factor of c?
True
Let x(t) = t**2 + 7*t - 6. Is x(5) a multiple of 18?
True
Let v(d) = d**3 + 7*d - 56 + 59 - 2*d - 6*d**2. Is 11 a factor of v(6)?
True
Suppose s - 4 = -a, 3*s - 16 = -5*a + a. Suppose -5*f + 19 + 1 = s. Is f a multiple of 4?
True
Suppose -2*t + 3*k = -27, -2*t - 2*k + 11 + 21 = 0. Let y = -8 + t. Is 4 a factor of y?
False
Suppose 64*m = 62*m + 140. Is m a multiple of 18?
False
Let i = -4 - -5. Does 11 divide (-3 - -2 - -22) + i?
True
Let i = 15 + 11. Is 13 a factor of i?
True
Let y be 147/12 + 1/(-4). Suppose -3*x + y = 0, -111 = -7*s + 2*s - 4*x. Is s a multiple of 19?
True
Let l be ((-1)/(-3))/(7/6951). Let d = -231 + l. Suppose -3*z + 2*b = -d, -7*z + 164 = -2*z - 4*b. Is 12 a factor of z?
True
Let n(y) = -75*y**3 - 3*y - 2. Is n(-1) a multiple of 19?
True
Let w(q) = 0 - 58*q + 59*q + 1. Is 2 a factor of w(4)?
False
Suppose -3*k = k - 784. Suppose y - k = -y - 2*b, -4*b = -5*y + 445. Is 31 a factor of y?
True
Let i(a) = 3*a + 1. Is 8 a factor of i(6)?
False
Suppose -2*y = 8, 2*y + 118 + 10 = 5*c. Let n = c - 6. Is 6 a factor of n?
True
Let u = -5 + 2. Let w(m) = -5*m. Is w(u) a multiple of 9?
False
Suppose 0 = 5*f + 25, 3*y + y - 4*f = 128. Is 9 a factor of y?
True
Let m(g) = 1. Let h(l) = l - 1. Let u(x) = h(x) + 2*m(x). Let r be u(3). Suppose -2*o - r*j + 59 - 9 = 0, 0 = o - 4*j - 7. Is 12 a factor of o?
False
Is 8 a factor of (-13)/(-13)*(-62)/2*-1?
False
Let x be (-3)/9 - (-20)/6. Suppose -42 = -2*a - 3*w, 0 = 4*a + 2*w - x*w - 112. Is a a multiple of 10?
False
Let t(l) = l**3 + 4*l**2 + 2*l - 2. Let s be t(-2). Suppose 5*j = -s*a + 32, -2*a = 3*j - 6*a - 40. Does 6 divide j?
False
Suppose 11 = 5*b + 26. Let g(w) = w**3 + 6*w**2 - 5*w - 4. Is 12 a factor of g(b)?
False
Let l(k) = -2*k**2 + 2*k + 2. Let u be l(2). Let a = -2 - u. Suppose 2*z - z - 3*t - 32 = a, -4*z + 3*t = -101. Is 10 a factor of z?
False
Let d = 25 + -1. Is 5 a factor of d?
False
Let n(j) = j**3 - 10*j**2 + 11*j + 6. Let z be (-46)/(-5) + 1/(-5). Is n(z) a multiple of 6?
True
Let z(g) = 2*g + 1. Does 19 divide z(9)?
True
Suppose q - 640 = -4*q. Is 32 a factor of q?
True
Suppose 0*s - 14 = -2*s. Suppose h - 3*t - 5 = s, h + 2*t - 7 = 0. Is 2 a factor of h?
False
Let d(p) = -p + 7. Let c be -1*4*(-13 + 12). Is 3 a factor of d(c)?
True
Let g(r) = -r**3 + r**2 + 6. Let m(l) = l**3 - 4*l**2. Let f be m(4). Is g(f) a multiple of 6?
True
Let h be (10 + -4)/(2*1). Let n(t) = 3*t**3 - t - 2*t**h - 6*t - 9*t**2 - 3. Does 13 divide n(10)?
False
Is 3 a factor of (-4)/(-3 - -2) - -8?
True
Suppose 3*x + 3*x = 30. Is 2 a factor of x?
False
Suppose -517 = -5*r - 7. Does 34 divide r?
True
Let h be (-3 - (-7)/2)*10. Suppose 6*m - 3*m + h*r - 33 = 0, 3*m = r + 33. Is 11 a factor of m?
True
Suppose -3*c + 615 = -3*o, 3*o = 2*c - 4*c + 405. Is 37 a factor of c?
False
Suppose 72 = s + 4*p - p, -5*s + 2*p + 343 = 0. Is s a multiple of 23?
True
Suppose 2 = 4*x - 3*x. Let w be x*1*(-7 - -9). Suppose -2*b + w*b - 22 = 0. Is b a multiple of 11?
True
Is 22 a factor of 0 - (-1384)/9 - (-2)/9?
True
Suppose s + 3*l + 7 = 0, 5*s + l - 29 = 6. Is 12 a factor of (-78)/(-2) - (s - 5)?
True
Let h(r) = -24*r**2 - 4*r + 1. Let y be h(3). Let n = -127 - y. Suppose 4*v = -m + 24 + 20, n = 2*m + 2*v. Is m a multiple of 26?
True
Suppose 3*m + 22 = 4*b, -38 = -6*b + 2*b - 5*m. Is 7 a factor of b?
True
Let t(q) = -5*q + 7. Let u(h) = 9*h - 14. Let n(o) = -7*t(o) - 4*u(o). Does 2 divide n(5)?
True
Let f(v) = v**3 - 5*v**2 - 1. Let m be f(5). Does 2 divide 12/(-6) + (m - -7)?
True
Let t(w) = 16*w - 6. Let a be t(7). Suppose -4*c = -a - 50. Is 17 a factor of c?
False
Suppose 5*g + 3 - 23 = d, 30 = 5*g + d. Suppose g*s = l + 135, -139 = -5*s - 5*l - 4. Is s a multiple of 17?
False
Suppose -2*s + 59 = -s. Let w = s + -30. Is w a multiple of 9?
False
Suppose -23 = -2*f - 4*y + y, -3*f + 24 = y. Let a(k) = 5*k + 3. Let h be a(4). Suppose 2*g - f = h. Does 15 divide g?
True
Let w = 95 + -47. Suppose w - 288 = -5*x. Does 24 divide x?
True
Let d = -16 - -17. Is 28 a factor of (0 - -3)*d + 101?
False
Let q(p) = -p**3 + 8*p**2 - 7*p + 2. Let d be q(7). Suppose 152 = -0*s + d*s. Does 19 divide s?
True
Let v = 33 - 23. Let h(j) = -j**2 + j. Let o(i) = -5*i**2 - 3*i - 6. Let f(q) = -6*h(q) + o(q). Does 3 divide f(v)?
False
Let j(w) = 3*w**3 - w**2 - w + 2. Suppose -12 = i - 4*i. Let x = i + -2. Is j(x) a multiple of 10?
True
Let b = -40 + 58. Does 15 divide b?
False
Suppose -2*g - 10 = -g. Let h be (-4)/(-20) + 222/g. Let u = 1 - h. Is 15 a factor of u?
False
Suppose -3*y = 3*a, -5*y - 4*a + 2 + 0 = 0. Is (61/y)/(6/12) a multiple of 16?
False
Is 18 a factor of -3 - (12/(-4) - 18)?
True
Let n be (-1 + 2)*0 + 8. Let c be (-3)/(-4) - (-210)/n. Let o = c - 9. Does 18 divide o?
True
Let l = -42 + 74. Does 13 divide l?
False
Let w(c) = -2*c - 7. Let s be w(-7). Let p be (s/14)/(2/20). Suppose -p*x = 3*t - 24, 3*x + 4*t = 5 + 5. Is x a multiple of 2?
True
Let g = -16 - -26. Suppose -z - z - 5*t = -g, -2*z + 10 = 3*t. Suppose 2*j + 93 = z*j. Is 11 a factor of j?
False
Let f(i) = -i**3 + 5*i**2 - 3*i - 4. Let r be f(3). Suppose r*s - 2*l = 196, -13 + 45 = s - 4*l. Is 20 a factor of s?
True
Suppose -2*c - 4 = -c. Let b be (-19)/2 - 6/c. Let m = b - -13. Is 5 a factor of m?
True
Suppose -2*m - 2*m = 168. Let h be (-122)/(2 + (-4 - -4)). Let y = m - h. Is 7 a factor of y?
False
Let i(o) = o**2 - 7*o - 60. Is i(-15) a multiple of 30?
True
Let t = -49 - -61. Is 4 a factor of t?
True
Suppose 0 = -4*d + 4*b + 12 - 36, 2*b + 3 = -3*d. Is 4 a factor of (-2 - (-8)/d)*-3?
False
Suppose 4*b - 41 + 181 = 0. Let j = 64 + b. Is j a multiple of 17?
False
Suppose -3*k + 2*h = 0, -4*h + 36 =