(q) a multiple of 3?
False
Let s(q) be the second derivative of -5*q**4/12 + 2*q**3/3 + 2*q**2 - 3*q. Let d be s(-3). Let b = -38 - d. Does 6 divide b?
False
Suppose -z - z + 10 = 0. Suppose -4 = 2*l + 3*k, l + z*k + 32 = 4*l. Suppose -4*p + 24 = -n - l*n, 2*p + 5*n - 12 = 0. Is p a multiple of 6?
True
Let d = 50 + -33. Does 15 divide d + 2*(0 + -1)?
True
Suppose 58 = -5*q - 52. Let b = q - -85. Is b a multiple of 21?
True
Suppose -4 = 4*m, 0 = -2*g - 2*m - 2*m + 6. Suppose 2*l - 3*v = -l + 27, 2*v - 12 = -3*l. Suppose g*d - l = 3*d. Does 3 divide d?
True
Let j = 432 - 233. Let a = j + -105. Is a a multiple of 13?
False
Let x(h) = 3*h**3 + 2*h**2 + 2*h - 6. Is x(4) a multiple of 7?
False
Suppose 2*h = z - 74, -4*z + 329 = -0*z + 3*h. Does 21 divide z?
False
Suppose 46 = 3*i - 158. Does 21 divide i?
False
Is -2*(4 + (-202)/4) a multiple of 31?
True
Let h be -4*(9/(-4))/3. Suppose -u + h*u = 24. Does 6 divide u?
True
Suppose 6*t - 3*p = 2*t + 153, 4*t - 5*p = 143. Let q = 0 - -2. Suppose -q*k = k - t. Is 7 a factor of k?
True
Let c = -2 + 16. Is 14 a factor of c?
True
Let z(q) = q**2 + 7*q + 9. Let d be z(-6). Suppose 8*g = d*g + 25. Suppose -g*f - 50 = -5*w, -3*w + 2*f + 2*f = -30. Is w a multiple of 4?
False
Let c(a) = -20*a - 14. Does 11 divide c(-4)?
True
Let z be (2 - 1) + -3 + 47. Suppose p + 0 = 3*i + 20, 4*p - 5*i = z. Suppose 5*j = -p*x + 60, 0*j - j - 5*x - 4 = 0. Is j a multiple of 16?
True
Suppose 0*k - 6 = -3*k, 5*t - 4*k = 307. Does 18 divide t?
False
Let r = 3 + 9. Let k be (-558)/r*(-2)/3. Suppose 2*c + k = 3*c. Does 21 divide c?
False
Let c = -965 - -1381. Does 13 divide c?
True
Let h(b) = -63*b - 1. Let w be h(-3). Suppose -9*c = -5*c - w. Is c a multiple of 11?
False
Suppose 8*s - 81 = -s. Is s a multiple of 2?
False
Suppose -8*h + 12 = -5*h. Is 2 a factor of h?
True
Let o = 7 + -5. Let i(z) = 11*z + 2. Does 12 divide i(o)?
True
Let s = 11 + -19. Let t = 35 + s. Is t a multiple of 13?
False
Let t = -2 + 2. Suppose 2*s + t*s - 3*r - 44 = 0, -19 = -s + 3*r. Does 22 divide s?
False
Suppose -4*s + h = -1240, -5*h + 930 = 3*s - 10*h. Is s a multiple of 56?
False
Suppose 3*y = -a + 10, -4*a + a - 9 = -4*y. Let d = -3 - -5. Suppose -5*r + 88 = -d*f, 4*r = y*r + 2*f + 24. Is 8 a factor of r?
True
Let o(w) = 2*w**2 + w + 2. Let i be o(2). Suppose 3*a + a + i = 0. Let q(r) = 2*r**2 + 5*r + 4. Is 4 a factor of q(a)?
False
Let u(n) = -n**3 + 10*n**2 - 8*n - 4. Suppose -j + 6 = -0*j. Let c be u(j). Let q = c - 56. Is q a multiple of 18?
True
Let w = -2 - -5. Let m(i) = 2*i + 6 - 2 + w - 5. Does 3 divide m(2)?
True
Let i = -7 - -4. Let l(b) = b**3 + 4*b**2 + 2*b. Let k be l(-4). Let v = i - k. Is v a multiple of 2?
False
Suppose 5*k + 9*a - 4*a = 0, -2*k + a + 9 = 0. Suppose -2*t - 3 - 3 = 0, 5*o = k*t + 24. Is 15 a factor of (3/2)/(o/64)?
False
Suppose 0 = 5*i + 2 - 12. Suppose 5*h - 28 - i = 0. Is h a multiple of 3?
True
Let o = -66 + 83. Is o a multiple of 6?
False
Suppose o = -2*o + 27. Let z = o - 4. Is z a multiple of 2?
False
Suppose -3*x + 50 = -49. Is 11 a factor of x?
True
Suppose -5*a + 49 = 3*b, -3*b + 43 = -2*b - 5*a. Is 7 a factor of b?
False
Let z(p) = p**3 + 5*p**2 + 2*p + 7. Let g be z(-6). Let c = g - -57. Does 8 divide c?
True
Suppose -4*y + 2*y + 42 = 3*c, -122 = -5*y + c. Suppose -5*p = -5, 6*k - 8 = 3*k + p. Suppose 0 = -k*r + 4*v + 128 + y, 4*r + v - 171 = 0. Does 15 divide r?
False
Let w(z) = z**2 + 10*z - 2. Let q be w(-10). Does 13 divide 38 + 0 + (-4 - q)?
False
Suppose 10*h - 16 = 6*h. Suppose 158 = h*u - 170. Is 34 a factor of u?
False
Let y = -95 + 236. Suppose -3*n + y = -0*n. Does 14 divide n?
False
Let v(r) = 3*r**2 - 2*r - 1. Is 16 a factor of v(-3)?
True
Suppose -5*a - 25 = 0, 3 = -5*s - 2*a - 12. Does 12 divide (-3 + s)*(-25)/4?
False
Let j be 2/(5/((-30)/(-4))). Suppose j*f - 2*t - 11 = -7*t, 2*t = 5*f - 8. Is f a multiple of 2?
True
Suppose -2*i - 2 = 0, -3*i + 6 + 7 = 4*v. Is v a multiple of 4?
True
Suppose 5*u - 4*j = 47, 0*j - 2*j = u - 1. Let q = 19 - u. Let m = -5 + q. Does 7 divide m?
True
Let a(x) = x**2 + 3*x + 3. Let r be a(-4). Is 18 a factor of (-2 - -35) + 21/r?
True
Let s be ((-7)/1)/(13 - 14). Suppose 0 = 2*d - 0*d - j - 32, 0 = -4*j + 8. Let u = d - s. Is u a multiple of 3?
False
Let m = -82 - -166. Is m a multiple of 14?
True
Let x(d) = -5*d - 9. Is x(-6) a multiple of 8?
False
Suppose 44*n - 47*n = -162. Is n a multiple of 18?
True
Let q(p) = -p**2 - 19*p + 16. Let r be q(-11). Suppose 16 - r = 2*b. Let w = -29 - b. Does 5 divide w?
True
Suppose 0 = -r - 2*l - 2, 9*r = 4*r - 2*l + 6. Suppose -r = -5*a - 12. Is (a/6)/((-1)/39) a multiple of 13?
True
Let r(b) = 2*b - 4. Let m(l) = 2*l - 4. Let o(x) = -5*m(x) + 4*r(x). Does 10 divide o(-4)?
False
Let z be -28 + 6 + 1 + -1. Let s = z - -76. Is 18 a factor of s?
True
Let k be ((-4)/(-10))/(7/35). Suppose k*d - 66 = -4*d. Is 4 a factor of d?
False
Let u = -5 + 9. Suppose -s - 5*y = 11, -s = -2*y - 20 - u. Is s a multiple of 9?
False
Let y = -38 + 65. Let w be (2/3)/(6/y). Suppose -n = w*n - 168. Is 18 a factor of n?
False
Suppose 0 = -2*j - 9 + 25. Suppose -j - 4 = -4*c. Suppose c*w - 5*w = -34. Does 13 divide w?
False
Does 5 divide 7*24/(-20)*-5?
False
Suppose -230 = -8*z + 6*z. Is 5 a factor of z?
True
Suppose -3*a = -12, -5*r + 5*a - 10 = -50. Is 12 a factor of 1 + r + (-2 - -6)?
False
Let d(w) = -41*w - 6. Let o be d(7). Let u = o - -417. Suppose -7*x + 3*x + u = 0. Is x a multiple of 16?
False
Suppose -5*w + 4*a + 287 = 0, 0 = w + a - 4*a - 64. Is 5 a factor of w?
True
Suppose 0 = 8*b - 13*b. Suppose 2*z = 5*p + 22, b*z + 4*p = -2*z + 4. Is 6 a factor of z?
True
Suppose 0 = 2*t + 2*t. Suppose t*d - 52 = -4*d. Is d a multiple of 13?
True
Let x(y) = -8*y**2 + 11*y - 1. Let d(u) = -u**2 + u - 1. Let s(n) = 6*d(n) - x(n). Does 9 divide s(7)?
False
Suppose 2*n - 283 = 3*x, 0 = -0*n - 2*n - 5*x + 275. Is n a multiple of 12?
False
Let x(j) = 26*j**2 + 2*j + 2. Is 34 a factor of x(-2)?
True
Let j(d) be the third derivative of -d**5/60 - d**3/6 + 2*d**2. Let n be j(1). Let a = n + 16. Does 8 divide a?
False
Let o(p) = 2*p**3 - 3*p**2 - 3*p - 2. Is o(4) a multiple of 22?
True
Let i(r) = -4*r + 6. Let n(x) = -x**2 - 5*x + 7. Let p(m) = 6*i(m) - 5*n(m). Does 7 divide p(2)?
False
Let x(i) = -2*i**3 - i**2 + 4*i + 3. Does 6 divide x(-2)?
False
Let p(w) = -w**3 + 13*w**2 - 13*w - 14. Does 17 divide p(11)?
True
Suppose y - 48 = -3*y. Let p be -23 - 4/(y/9). Let v = -14 - p. Is v a multiple of 12?
True
Suppose 0 = 3*s - 6*s. Suppose -5*f + 27 = 3*l - 2*l, 2*l + 3*f - 47 = s. Is 11 a factor of l?
True
Let o(d) = -10*d. Let z = 6 - 4. Suppose z = -v + 1. Does 10 divide o(v)?
True
Suppose 0 = -5*s + 23 + 27. Does 7 divide s?
False
Let t be (-114)/(-15) + (-4)/(-10). Is 8 a factor of (-2)/(t/(-12)) + 12?
False
Suppose -n + 2*n = 5. Let h(o) = o**2 - 3*o - 5. Does 2 divide h(n)?
False
Suppose 4*j = j - 2*o + 46, 0 = 4*o + 16. Is 6 a factor of j?
True
Let w(j) = 2*j**2 - 3*j + 1. Does 15 divide w(-4)?
True
Suppose -35 = -h + 98. Is h a multiple of 10?
False
Suppose 2*x + r + 0*r - 63 = 0, 37 = x - 5*r. Is 8 a factor of x?
True
Let o = -2 + 2. Suppose -3*b + l + l + 49 = o, 5*b - 87 = 2*l. Is b a multiple of 12?
False
Let z(x) = x - 1. Let a be z(7). Let w be a + 3/(-1) - -20. Suppose -3*k + 16 = 3*d - w, k + 5*d = 21. Is 5 a factor of k?
False
Let z = 217 - 136. Is z a multiple of 7?
False
Let h(m) = -m**2 + 5*m + 1. Let k be h(4). Suppose 92 = k*b - a + 13, b + 4*a = -1. Let v = -6 + b. Is v a multiple of 4?
False
Let w(k) be the first derivative of k**4/4 + 2*k**3 - k**2 - 6*k - 2. Let j be w(-6). Suppose -b + 23 = h, 25 = j*h - h. Is b a multiple of 9?
True
Let t = -115 + 178. Is 23 a factor of t?
False
Let t(a) = 2*a**3 + 3*a**2 + 3*a + 11. Let c be t(-8). Let r be ((-8)/(-10))/(2/c). Is 14 a factor of r/(-10) - (-1)/5?
False
Is 16 a factor of 1 - -1 - (-4 - 10)?
True
Suppose 0 = 4*v - 5*r - 32, 0 = v + 2*r + 2*r - 8. Does 8 divide v?
True
Let n(l) = l + 2. Let m(g) = -g + 1. Let h(y) = -3*m(y) - n(y). Is h(7) a multiple of 4?
False
Suppose 0 = -d + 3*o + 2, -22 = 2*d + d - 2*o. Let f(b) = -b**2 + b + 5. Let y be f(4). Let s = y - d. Is 3 a factor of s?
True
Let y(g) = g**3 + 10*g**2 + 12*g + 5. Let r be -3*(2 + 6/9). Let a be y(r). Let u = a - 19. Is