5 a factor of q?
True
Let g be 3 - (1 - (-3 + 3)). Suppose 19 = g*z - 77. Is z a multiple of 16?
True
Let z(a) = 13*a + 4. Let n(h) = 13*h + 5. Let o(q) = 4*n(q) - 5*z(q). Let w be o(2). Let k = w + 38. Is 12 a factor of k?
True
Let w(g) = g**3 + 7*g**2 - 6*g - 5. Suppose 4 = -2*a + 5*y, -5*a = -0*y + 3*y + 41. Does 8 divide w(a)?
False
Suppose -2*i = -4*a + 5*a - 74, -4*a = 2*i - 86. Is 9 a factor of i?
False
Is (-70 + -4)*(-10)/4 a multiple of 12?
False
Suppose 4*n + 78 = -0*a + 2*a, 5*a = -n + 239. Does 11 divide a?
False
Let r be (-118)/(-3)*12/(-8). Let c = -27 - r. Does 16 divide c?
True
Let z(p) = p + 1. Let l be z(2). Suppose -8 = -l*g + 4*s + 80, -g = 2*s - 46. Does 12 divide g?
True
Let g be (-1)/(1*(-2)/48). Suppose 3*f = f + g. Is 3 a factor of f?
True
Let g = -77 + 137. Is 12 a factor of g?
True
Is (18/12)/((-1)/(-26)) a multiple of 6?
False
Let f(b) = 4*b + 4. Let r be f(-4). Let s be 98/4 + (-2)/4. Let c = s + r. Is c a multiple of 6?
True
Let a(q) = 37*q - 6. Does 17 divide a(2)?
True
Let k(s) = s**2 + s + 2. Let g be k(0). Is 2 a factor of g/(-4) - (-17)/2?
True
Suppose 4*a + 6 = 18. Suppose 8 = -a*q + 5*q. Does 7 divide 23 - q - 1/(-1)?
False
Let d(q) = q**2 + 7*q + 32. Is 3 a factor of d(-9)?
False
Suppose 2*l = 8*l - 180. Does 15 divide l?
True
Suppose -s = 4*n - 178, 0 = 3*n - 4*s - 73 - 70. Suppose -2*q - 16 = -v, -5*v - 3*q = -10*v + n. Does 6 divide v?
True
Let m = -9 - -15. Is (1 - m/2) + 54 a multiple of 26?
True
Suppose 0 = 2*j + j - 288. Does 16 divide j?
True
Let n = 131 - 46. Does 17 divide n?
True
Let n = -65 + 87. Is n a multiple of 4?
False
Let q = -108 + 153. Suppose 5*b + 0*b = -q. Let j = 27 + b. Does 18 divide j?
True
Let k(v) = 2*v**2 - 4*v + 3. Let b(s) = -s**2 + 2*s - 2. Let x(f) = 7*b(f) + 4*k(f). Let j be x(4). Is 27*((-6)/(-3))/j a multiple of 8?
False
Let c = 32 + -7. Let l = -11 + c. Does 6 divide l?
False
Let f(n) = n**2 + 5*n - 7. Let x be f(-6). Let k(v) = -56*v**3 - 1. Let r be k(x). Suppose r = -0*h + 5*h. Does 11 divide h?
True
Let h(c) = 4 + 3*c**3 + 0*c**3 - 5*c - c**2 - 2*c**3. Let u be h(3). Let o = 1 + u. Is o a multiple of 4?
True
Is (0 + 346)*(15/6 + -2) a multiple of 30?
False
Let x = 9 - 7. Suppose 4*t + x*w = 228, -w - 234 = -5*t + t. Is t a multiple of 21?
False
Let o = -87 + 167. Suppose 7*n - 21 = 4*n. Suppose -o = 3*y - n*y. Is y a multiple of 10?
True
Suppose 0 = -9*h + 56 + 97. Does 7 divide h?
False
Suppose -25 = -3*r - 10. Suppose r*v - 4 = -29, -q - v = 3. Suppose 3*w - 3*c = 36, -q*w + 0*c - 4*c = -6. Is w a multiple of 9?
True
Let u = -6 + 3. Let g = -5 - u. Is 10 a factor of (g/4)/((-4)/152)?
False
Let w be (-1)/4 + (-250)/(-8). Suppose -351 = -4*d - w. Is (-6)/4*d/(-12) a multiple of 10?
True
Let x(u) = 5*u**2 + 1. Let y be x(-2). Suppose 4*f = y + 47. Suppose s - f = v + 10, -20 = 4*v. Is 11 a factor of s?
True
Suppose 3*y - 2*y + 603 = 0. Let f = y - -283. Is 14 a factor of f/(-6) - 2/(-3)?
False
Is (-2)/(-6) + 748/33 a multiple of 7?
False
Let b = 20 - -2. Does 4 divide b?
False
Let q be 1 - 0 - (-1 + 11). Let v = -1 - q. Is (-20)/v*(-4)/1 a multiple of 4?
False
Does 16 divide 2*(-258)/(-16) + 3/(-12)?
True
Let h(s) = -s - 6. Let v be h(-10). Let r = v + -1. Is 3 a factor of r?
True
Let v = -8 + 11. Suppose 2*u + u = v. Does 16 divide (u*6)/(-3) - -40?
False
Let n(j) = 5*j + 8. Is 17 a factor of n(6)?
False
Let a(d) = -d - 4. Let u be a(-6). Let q(t) = t**2 - 2*t - 12. Let y be q(5). Does 15 divide -9*(u + (-15)/y)?
False
Let q(s) = s - 2. Let d be q(6). Suppose w = d*w - 21. Let c = 19 - w. Does 6 divide c?
True
Let z(o) = -o**3 + 2. Let p be z(3). Let q = p + 70. Is q a multiple of 9?
True
Let u = -47 - -169. Is 12 a factor of u/10 + 1/(-5)?
True
Let z = -62 - -89. Is z a multiple of 16?
False
Let h = -6 - -9. Suppose -o + 2 = -h. Does 3 divide o?
False
Let n be (4 + -2)*(-3)/6. Is -1 - ((-1 - 16) + n) a multiple of 4?
False
Let s = -33 + 36. Let p be 267/2 + 2/4. Suppose -3*q = -2*q + s*c - 51, 0 = 4*q - 2*c - p. Is 12 a factor of q?
True
Suppose -2*d = -3*y - 6*d, -35 = -5*y + 5*d. Suppose g = -0 - y. Is (-30)/g*(-8)/(-6) a multiple of 5?
True
Is 22 a factor of -1 - -4 - (-819)/13?
True
Suppose -5*s + o - 49 = 0, 7*o - 52 = 4*s + 3*o. Let p = s - 0. Let v = 13 - p. Is v a multiple of 15?
False
Is 14 a factor of (46/(-4))/(7/(-14))?
False
Suppose -5*o - 15 = 0, 167 = 4*w + w - 4*o. Is 28 a factor of w?
False
Let w(z) = -z**3 + 4*z**2 + 3*z + 2. Let r(v) = -2*v**3 + 8*v**2 + 6*v + 4. Let u(c) = 6*r(c) - 11*w(c). Let s be u(4). Let j = s - 4. Does 10 divide j?
True
Let w = 9 + 26. Is 10 a factor of w?
False
Is 3 a factor of (3 + (-27)/6)*-4?
True
Is (1683/(-85))/(6/(-20)) a multiple of 35?
False
Let j = 13 + -11. Suppose -73 = -3*n + 5*g, -j*n + 2*g + 44 = g. Is n a multiple of 21?
True
Let d(f) be the first derivative of -f**6/120 - f**5/15 + f**4/12 - f**3/6 + 2*f**2 - 3. Let x(q) be the second derivative of d(q). Is x(-5) a multiple of 7?
True
Let k(a) be the first derivative of a**4/4 - 7*a**3/3 - 13*a**2/2 + 11*a - 3. Does 14 divide k(9)?
True
Let l(h) = -h**2 - h + 29. Let p be l(0). Let x = -2 + p. Does 10 divide x?
False
Suppose -13 = -4*w - 1. Suppose 2*u = 2*d + u - 14, w*d - 5*u = 28. Is 6 a factor of d?
True
Let b(z) = -z**3 - 11*z**2 + 13*z + 9. Let r be b(-12). Let n(o) = 4*o**2 - 2*o**2 - 6*o - 3*o**2 - 2. Is 6 a factor of n(r)?
False
Let b(d) be the third derivative of d**5/60 - d**4/8 + d**3/2 - d**2. Let p be b(2). Does 7 divide -4*(-2 + p + -1)?
False
Let w = 41 - 7. Let v = 61 - w. Is 15 a factor of v?
False
Let a = 6 + 0. Suppose -2*s = -a*s + 108. Is 7 a factor of s?
False
Let y = 2 - 0. Suppose -3*s - 5*l = -65, -y*s + 2*l + l + 56 = 0. Does 19 divide s?
False
Let p be 2*(-2 + 146/(-4)). Let h = -36 - p. Is h a multiple of 19?
False
Let v be ((-4)/(-8))/((-2)/(-12)). Suppose v = -g + 7. Suppose -5*k = -14 + g. Does 2 divide k?
True
Suppose 10*q - 293 = 1357. Is q a multiple of 6?
False
Is 30 a factor of (-3 - -5)/2*89?
False
Suppose -8*v = -19*v + 836. Is v a multiple of 13?
False
Suppose 6*r - 541 - 299 = 0. Is 20 a factor of r?
True
Suppose 94 = 4*u + 2*d, -5*u + 74 = -3*d - 60. Let v = 67 - u. Does 21 divide v?
True
Let s = -7 + 10. Let g(m) = 12*m + 7*m - 23*m + 3 + m**3. Is 17 a factor of g(s)?
False
Let x(o) = o**3 + 7*o**2 + 2*o - 7. Let w(a) = a**2 + a - 3. Let r(p) = -2*p**2 - 4*p + 8. Let n(g) = -3*r(g) - 8*w(g). Let s be n(3). Is 12 a factor of x(s)?
False
Let l = -60 - -85. Suppose 0 = -3*p - 2*p + l. Suppose 11 = r + m + 3*m, p*r = -m + 112. Does 11 divide r?
False
Let u = -9 + 7. Let m(y) = -5*y**3 - y - 1 - 3*y**2 - 2 + 5. Is 20 a factor of m(u)?
False
Suppose 0 = 2*h, -i + 0*i = -4*h - 98. Is i a multiple of 8?
False
Let w(t) = t**2 + 2*t - 5. Suppose 0 = -2*b - 0*y - y - 4, 2*b + 5*y = 12. Let u be w(b). Is 11 a factor of (u - -8)/((-2)/(-6))?
True
Let c(l) be the first derivative of l**4/4 - l**3/3 - l**2/2 - 5*l - 2. Let f be c(5). Suppose 120 = 4*a + 2*b, -3*b = 3*a + 2*b - f. Does 15 divide a?
True
Let n(c) = c**2 - 4*c - 7. Let v be n(6). Suppose -12 = 5*h - 2. Does 11 divide h/v - 448/(-20)?
True
Suppose -3*i = -p + 2*i - 10, -2*i + 4 = 4*p. Suppose p*s + 90 = 5*l + 5*s, -2*l + 3*s = -11. Is 9 a factor of l?
False
Suppose j - 3*j - 18 = 0. Let q(l) = l**3 + 8*l**2 - 11*l - 1. Is 16 a factor of q(j)?
False
Let m(u) = -2*u - 6. Let d be m(-4). Is (-28)/(2 + -5 + d) a multiple of 14?
True
Let u be (16/12)/(1/(-3)). Let d = u - -19. Is d a multiple of 4?
False
Let l = -13 + 48. Is 10 a factor of l?
False
Is (-224)/6*(-18)/8 a multiple of 18?
False
Suppose -4 + 0 = -2*f. Suppose f*a = 36 - 14. Is a a multiple of 4?
False
Suppose -2*g - 15 = g. Let a(j) = -3*j**3 + 13*j**2 - 13*j - 3. Let d(k) = 7*k**3 - 27*k**2 + 27*k + 5. Let p(c) = g*a(c) - 2*d(c). Is 15 a factor of p(10)?
True
Suppose 2*a + 6 = -a. Let v be (-3 - a) + -2 + 3. Suppose v*t + 42 = 5*g + 3*t, -2*g + 3*t = 0. Is 3 a factor of g?
True
Let p = 5 + -5. Suppose 4*g + 2*u - 75 = -23, p = 5*g - 4*u - 52. Does 12 divide g?
True
Let s be (-2)/4*(0 + 2). Is (6 + -5)/(s/(-14)) a multiple of 14?
True
Let r(x) = 2*x**2 + 4*x - 6. Let a be (-1)/(-4) + (-25)/4. Does 14 divide r(a)?
True
Suppose -8*f = -f - 343. Is f a multiple of 25?
False
Let g(v) be the third derivativ