12 a factor of n?
False
Let z(f) be the first derivative of f**3/3 - f**2/2 - 4*f - 3. Suppose -2*b + 12 + 0 = 0. Does 15 divide z(b)?
False
Is -3*3*(-30)/9 a multiple of 15?
True
Let q(b) = 194*b - 1 + 2 + 0. Let k be q(1). Let f = k + -138. Is f a multiple of 21?
False
Let k = 16 - 2. Suppose 5*j + k = 3*v, -5*v + 0*j = -2*j - 55. Is 13 a factor of v?
True
Suppose -7*l = -394 - 222. Is l a multiple of 23?
False
Suppose 0 = -0*f - f + 28. Is f a multiple of 14?
True
Let s(h) = -h + 8. Let z be s(8). Does 9 divide z/7 - (0 - 10)?
False
Suppose w - 5*w = 0. Let t = w - -2. Is 2 + 10 + (t - 0) a multiple of 7?
True
Suppose 23 = 3*k - 5*g, 0 = -k - g - 4*g - 19. Let a(b) = b**3 + 9*b - 9. Let m(y) = y**2 + y - 1. Let z(v) = k*a(v) - 6*m(v). Does 5 divide z(6)?
True
Suppose 3*y = -3*m, -3*m = 3*y - 2*y - 6. Is 2 a factor of m?
False
Let q = 2 + -2. Let t be (q - -1)*5 + -2. Suppose 0 = y - 5*x - 15, -5*y + 2*y + t*x = -33. Is 10 a factor of y?
True
Suppose 3*q = 5*c + 20, -q = -3*c - 9 + 1. Is q/25 + (-338)/(-10) a multiple of 17?
True
Suppose 4*b - 215 = -3*f + 5*b, -3*b = -3*f + 225. Is f a multiple of 14?
True
Let r be (1/(-2))/((-3)/6). Does 6 divide (3 + -4)/(r/(-17))?
False
Suppose -5*l = -7 - 13. Suppose 0 = -v + 3*c + 2*c - 13, l*c = 12. Suppose -v*y + 25 + 19 = 0. Does 11 divide y?
True
Suppose -k + 18 = k. Let b be 6*-3*2/k. Is (-2)/4 + (-46)/b a multiple of 7?
False
Is 2/6 - (-47)/3 a multiple of 7?
False
Let a(s) = -s + 1. Let n(m) = -2*m + 1. Let w(i) = 7*a(i) - 3*n(i). Is w(-4) a multiple of 4?
True
Suppose -273 + 81 = -6*r. Is 16 a factor of r?
True
Suppose -f - 2*m + 5*m + 11 = 0, 3*f = 2*m + 19. Suppose 30 - 5 = f*z. Is z a multiple of 2?
False
Suppose 4*w + w = 15. Suppose 0 = -5*y + 4*l + 155, -w*y + 98 - 7 = -2*l. Is 9 a factor of y?
True
Suppose 0 = 3*s - 6*s + 90. Is s a multiple of 20?
False
Let w be -1*(1 - 0)*-2. Does 22 divide -11*(-2 + w/(-1))?
True
Let j(c) = 2*c + 6. Let q be j(-6). Let z be 12/(-9)*q/4. Suppose 0 = z*o - f - 51, 3*o - 2*f = 2*o + 33. Is o a multiple of 23?
True
Suppose 0 = 5*b - 2*b - 9. Suppose -2*z - 2*y + 50 = 0, b*y = -2 + 5. Is z a multiple of 12?
True
Is (-3)/6*-18*5 a multiple of 19?
False
Let x(n) = n**2 + 5*n - 5. Let d be x(-5). Let o(z) = z**3 + 5*z**2 - 3*z + 1. Let q be o(d). Let v = 29 - q. Does 13 divide v?
True
Let s(u) = u**3 + 5*u**2 - u. Suppose -4*t + 4*x - 12 = 0, t = -x - 0*x - 3. Let f be s(t). Suppose -4*p - f = -77. Is 7 a factor of p?
True
Let g be 12/(-8)*40/(-3). Let p = 0 + g. Is 10 a factor of p?
True
Let a(j) = 2*j**2 + j + 2. Let v be a(3). Let c = v + 13. Is c a multiple of 12?
True
Suppose -89 = -3*c - 5*w, 5*w + 86 = 2*c + 3*w. Is c a multiple of 8?
False
Suppose 5*w = -5, -w - 167 = -5*i + 139. Let a be (6/9)/((-2)/(-141)). Suppose -v + a = 2*r, -2*r + i = 2*v + 11. Does 14 divide r?
False
Let f(b) = b**2 + 2*b - 5. Let c be f(4). Let s = c - 11. Does 4 divide s?
True
Let p(g) = 2*g**3 - 11*g**2 - 13*g. Does 8 divide p(8)?
True
Let f be ((-1)/2)/((-2)/8). Suppose 0 = f*w - 17 - 31. Is 14 a factor of w?
False
Let x(a) = a - a + 6 - 4*a - 14. Let z be x(-8). Suppose -4*d = -7*d + z. Is d a multiple of 6?
False
Let g(m) = -m**3 - 2*m**2 + 4*m + 1. Let q be g(-4). Let y = 9 - q. Let v(x) = x**3 + 8*x**2 - x + 10. Is v(y) a multiple of 13?
False
Let p = -18 - -33. Is 5 a factor of p?
True
Let j(d) = d**2 - 2*d + 71. Is j(0) a multiple of 10?
False
Let f(a) = a**2 + 9*a + 9. Suppose 3*v + 9 = 2*v. Does 9 divide f(v)?
True
Suppose 0 = j + 3*b + 7, -4*j - j - 5 = 5*b. Suppose 2*i + j*i - 116 = -4*c, -84 = -3*c - 2*i. Is 9 a factor of c?
False
Let a = 1 - -1. Suppose -4*d - 37 = -5*n, a*n + 0 = -4*d - 2. Suppose -n*s = -x - 34, -3*s + 26 = 4*x + x. Does 7 divide s?
True
Let f(u) be the first derivative of -u**2 - 9*u - 2. Let r be f(-6). Suppose -47 = -r*a - 4*m - 3, 4*a = -m + 76. Is 10 a factor of a?
True
Let j(w) = 3*w - 2. Let p be j(2). Suppose -3*a + 4*d = 101, 76 = -3*a + 3*d - p*d. Does 7 divide 4*(a/(-6) + 0)?
False
Suppose -q = -5*y + 46, -4*q - 15 - 9 = -4*y. Let m(n) = 3*n - 7. Is 12 a factor of m(y)?
False
Let l(m) = 5*m - 8. Let v(w) = 4*w - 7. Let s(r) = 5*l(r) - 6*v(r). Does 5 divide s(13)?
True
Suppose 30*z - 172 = 28*z. Does 9 divide z?
False
Let a be 16/6*(8 + -14). Let r = a - -53. Does 15 divide r?
False
Suppose 0 = -5*t - 5*i + 245, t - 3*i = -0*t + 69. Is t a multiple of 27?
True
Let o(t) = -t**3 - 4*t**2 - 5*t - 4. Let h be o(-3). Suppose -h*w - 3*l + 15 = 2*l, 2*w - 12 = -2*l. Suppose -40 - 60 = -w*u. Is u a multiple of 8?
False
Let o be 2/(-10) + (-11)/(-5). Suppose 2*r = -o*d - 0*r + 30, 72 = 5*d + 4*r. Does 20 divide (22/(-6))/((-2)/d)?
False
Let k = -7 - 1. Let m = k - -12. Suppose m = -3*n + 4*n. Is n even?
True
Let k(g) = 8*g**2 - 3*g**3 + 6*g + 2*g**3 + 2 - g**2 + g. Let t be k(8). Is 8 a factor of (2/t)/(2/(-78))?
False
Let c(q) = q**3 - 8*q**2 - 5*q - 14. Let g be c(10). Suppose 4*l = 8*l - g. Is 17 a factor of l?
True
Let r(u) = 3*u**2 + 3*u - 2. Suppose -1 = 3*a + 4*t, 3*a - 6*a + 6 = -3*t. Let p = -2 - a. Is r(p) a multiple of 16?
True
Suppose i = 5*g + 141, -3*g = -5*i - 4*g + 601. Is i a multiple of 11?
True
Let s be (-4)/14 + (-46)/(-14). Suppose 0 = -2*m - s*m + 20. Suppose -m*x - 80 = -9*x. Is x a multiple of 8?
True
Suppose 0 = 5*d + 24 - 84. Is 5 a factor of d?
False
Suppose -14*y = -13*y - 44. Is y a multiple of 11?
True
Suppose 2*j + 0*j + 13 = 3*c, 4*c - 14 = j. Let q = c - 1. Suppose q*r + 7 = 3*r. Does 7 divide r?
True
Let r = 5 - 2. Does 7 divide 79/r - 7/21?
False
Is 21 a factor of 16*-4*-1 + 0 + -1?
True
Suppose 3*k + 80 = k. Is 11 a factor of ((-12)/8)/(3/k)?
False
Is (-302)/(-8) - (-33)/(-44) a multiple of 21?
False
Let i(n) be the first derivative of n**4/4 - 5*n**3/3 - 5*n**2/2 + 7*n + 5. Does 4 divide i(6)?
False
Let o = 22 - 4. Let r = 8 - o. Let z = r + 32. Is z a multiple of 12?
False
Suppose -h + 12 = -2*j - 25, -h - 3*j = -27. Is h a multiple of 8?
False
Suppose -2*z - 21 = -167. Is z a multiple of 25?
False
Let k(v) = 18*v + 18. Is k(5) a multiple of 12?
True
Let h = -61 - -301. Does 24 divide h?
True
Let o = -9 + 29. Does 10 divide o?
True
Let t be (1 + -2)*3 + 5. Let m be t*1*36/(-8). Is 16 a factor of 572/18 + (-2)/m?
True
Let b(o) = 4 + o + 5*o + o**2 - 4*o - 3*o. Is 4 a factor of b(0)?
True
Let v(t) be the third derivative of 11*t**4/24 - t**2. Let b be v(1). Let m = b - 5. Does 4 divide m?
False
Suppose -n + 4*m + 65 = -0*n, m + 2 = 0. Does 19 divide n?
True
Let u = 16 + -11. Suppose 2*t = u*t - 315. Suppose -110 - t = -5*l. Does 24 divide l?
False
Let n = 204 + -93. Let i = -69 + n. Does 14 divide i?
True
Let w = -6 + 7. Is w/(-1) + 80/2 a multiple of 13?
True
Let m = 15 + -10. Suppose -m*h - r + 165 = 0, 2*h - 3*r - r = 44. Is h a multiple of 8?
True
Suppose 6*y = 2*y - 20. Let k = y + 15. Is k a multiple of 4?
False
Let z be 250/6 + (-4)/6. Suppose -4*j - z = 15. Is (j + 2/(-2))/(-1) a multiple of 12?
False
Suppose 0 = -3*o - 6*o + 135. Is 15 a factor of o?
True
Let n be (-1)/(0 + (-1)/(-3)). Let b(l) = 3*l**2 - 2*l - 3. Does 15 divide b(n)?
True
Let b = 46 + -13. Is b a multiple of 8?
False
Let v be ((-7)/(-14))/((-2)/(-32)). Let l(r) = r**2 - 4*r + 4. Does 12 divide l(v)?
True
Suppose d - 87 = -5*h, h = -3*d + 4 + 5. Let b = 45 - h. Does 13 divide b?
False
Suppose 0*k - 2*s - 3 = k, -3*k + 5*s = -24. Suppose 14 = 6*l - l - 3*q, -8 = -k*l + 2*q. Suppose -4*b + 40 = l. Is 9 a factor of b?
True
Suppose 0 = -0*w + 4*w - 12. Let m = 2 - w. Does 9 divide -22*((-9)/6 - m)?
False
Let u = -61 + 89. Is 5 a factor of u?
False
Suppose -93 = -4*v + v + 3*t, 113 = 3*v + t. Does 18 divide v?
True
Let b(n) = -n**3 + 6*n**2 + 3*n + 1. Let s be b(4). Suppose -2*x + s = x. Does 15 divide x?
True
Let k(a) = a**2 + 6*a + 4. Let h(p) = -13*p - 1. Let g be h(-1). Suppose 0 = -0*f - 2*f - g. Is 4 a factor of k(f)?
True
Let f be 2/(-10) + 497/35. Let u = f + 25. Does 28 divide u?
False
Let q be 1/(-2) + 5/2. Let l be (q - 0/(-3))*1. Suppose l*w + 3*w - 145 = 0. Does 10 divide w?
False
Let w(t) be the first derivative of -t**3/3 - t**2/2 + 12*t - 2. Does 6 divide w(0)?
True
Suppose -3*w + 6*w - 175 = -4*h, 3*h + 15 = 0. Is w a multiple of 13?
True
Suppose 0*i - 3*i - 2*d + 13 = 0, 3*i - 5 = -4*d. Is i a multiple of 3?
Fals