Suppose -3*g + g = -2. Does 13 divide h(g)?
True
Let o be (-117)/(-7) - (-4)/14. Let b = 34 - o. Let f = b - 12. Is f even?
False
Let q(f) be the second derivative of f**3/2 + 9*f**2/2 - f. Suppose 7*v = 2*v + 35. Is 24 a factor of q(v)?
False
Let t(i) = i**3 - 6*i**2 + 3*i - 5. Let v(q) = q**2 - 6*q + 7. Let z be v(6). Let w = 13 - z. Is 11 a factor of t(w)?
False
Let o(r) be the third derivative of -5*r**4/12 + r**3/2 + 2*r**2. Is o(-5) a multiple of 11?
False
Is 15 a factor of (-298)/(-10) - (-5)/25?
True
Suppose 5 = s - 0*s. Suppose -68 + 268 = s*q. Is q a multiple of 13?
False
Let v(f) = f**3 + 4*f**2 - 2*f - 4. Is v(-4) a multiple of 4?
True
Is 5/(-6 + 1) + (-38)/(-2) a multiple of 6?
True
Let j(x) = 7*x - 14. Is j(14) a multiple of 28?
True
Let o be (2 - (3 + 2))/(-1). Let b = o + 1. Suppose -b*m = -3*m - 3. Is m even?
False
Is 7 a factor of 23 - ((-12)/8)/((-12)/16)?
True
Is 482/8 + (-6)/24 a multiple of 20?
True
Suppose m - 3*m + 44 = 0. Is m a multiple of 11?
True
Let q be 2/(-7) + 774/14. Suppose -2*f - 7 = -q. Does 18 divide f?
False
Suppose -2*o + 5 = -19. Suppose 3*v - 8 = -2. Suppose -j = -v*j + o. Is 7 a factor of j?
False
Let i(f) = 6*f - 4. Let o = -3 + 8. Let l be i(o). Suppose 2*c - l = c. Does 13 divide c?
True
Let n = 247 - 77. Is 34 a factor of n?
True
Let x = 23 + -15. Is 4 a factor of x?
True
Let u be 8/6*6/4. Suppose u*o - 29 = -b, b - 9 = -2*b. Does 12 divide o?
False
Let q be (-4)/(-14) - (-89)/7. Suppose -4*f + 11 = -q. Suppose 5*d = -2*x + f, 4*x + 6*d - 32 = d. Does 13 divide x?
True
Let l(v) = 6*v**2 + v + 2. Does 24 divide l(-2)?
True
Let q(i) = i**2 + 3*i. Let v = 0 - -5. Let p = v - 10. Is q(p) a multiple of 9?
False
Suppose -t - a + 12 + 5 = 0, -t + 21 = 3*a. Is t a multiple of 15?
True
Let w = 191 - 61. Is w a multiple of 8?
False
Suppose 3 = -3*b - 6. Let l = 25 + b. Is 22 a factor of l?
True
Let s(u) = 4*u**2 - 10*u - 3. Let x be s(8). Suppose 2*c - 5 + 56 = o, 0 = 3*o - c - x. Does 15 divide o?
False
Suppose -2*n + 2*a = -84, 3*a = -4*n - n + 242. Is 23 a factor of n?
True
Let l(q) be the second derivative of -q**5/10 + q**4/12 + q**3/3 - q**2/2 - 9*q. Is 4 a factor of l(-2)?
False
Suppose -2*m = -3*x - 125, 0*x = -2*m - x + 113. Does 29 divide m?
True
Suppose -3*r - 240 = -5*r. Suppose 5*t = 10*t - r. Is t a multiple of 19?
False
Let i(a) = 9*a - 4. Let b be i(4). Let o = b + -4. Is o a multiple of 14?
True
Is 15 a factor of (-1)/(-1)*315/7?
True
Is (0 - 45)*(-18)/15 a multiple of 9?
True
Let d(u) = -u**2 - u - 15. Let n be d(0). Let a(q) = -5*q - 34. Let x be a(-8). Is x/n + 52/5 a multiple of 10?
True
Does 16 divide (-7)/28 + (-3)/(24/(-1306))?
False
Does 15 divide (6/(-4) - -1)*-178?
False
Does 23 divide (-222)/(-4) + 1/2?
False
Let j(z) = -159*z - 1. Is j(-1) a multiple of 24?
False
Suppose 0 = -5*w, -6*d - w = -d + 15. Let x = 1 - d. Does 2 divide x?
True
Let z(s) = s**2 + 2*s + 1. Let o be z(-2). Let m(c) = 21*c - 1. Does 10 divide m(o)?
True
Let j = 33 - 10. Is 3 a factor of j?
False
Let y(s) = -10*s**2 + 18*s + 5. Let h(v) = -3*v**2 + 6*v + 2. Let l(j) = 7*h(j) - 2*y(j). Is 9 a factor of l(5)?
True
Suppose 0 = 2*q - 7*q - 20. Let x be 34/q*-2 + 0. Suppose 2*z = z + x. Does 17 divide z?
True
Is 25/3 - (-4)/(-12) a multiple of 5?
False
Suppose 4*m - 530 = -3*v, -5*m = v - 0*v - 195. Suppose -36 = -5*t - 11. Suppose 60 + v = t*p. Does 23 divide p?
True
Let r(m) = -m**3 - 9*m**2 - 10*m - 8. Let d be -1*(-6)/15*-20. Is r(d) a multiple of 4?
True
Let s(z) = -z**2 + 17*z - 24. Does 2 divide s(14)?
True
Let m(a) = a + 10. Is m(15) a multiple of 25?
True
Let n = -18 + 45. Is 4 a factor of n?
False
Suppose 15*i = 14*i + 40. Is i a multiple of 14?
False
Let g be (-14)/63 + 47/9. Suppose g*v = -b + 126, 3*v + 5*b - 30 = 2*v. Is 15 a factor of v?
False
Let q(t) = -t**2 - 5*t + 2. Let x be q(-5). Let a be 3/3*(-6)/x. Is 14 a factor of (-14 - 0)/(-4 - a)?
True
Is ((-1)/2)/(3/(-192)) a multiple of 16?
True
Let p(y) = -y**3 - 3*y**2 - 2*y - 4. Let j be p(-3). Suppose -3*l - 2*h + 110 = 0, 37 = l - j*h - 5. Is l a multiple of 18?
False
Does 6 divide (-432)/(-10) + 2/(-10)?
False
Let s(i) = -i + 14. Is 3 a factor of s(5)?
True
Let w = 1 + -3. Let q = -7 - w. Is 17 a factor of 3*((-750)/9)/q?
False
Let p be ((-6)/3 - -2)*1. Suppose 2*u + p = 6. Is 2 a factor of 0/(-4) - -2*u?
True
Let l = -2 + 6. Suppose 0 = l*v - 26 - 14. Suppose v = 2*q - q. Is 5 a factor of q?
True
Let k = -8 + 10. Suppose -k*o - 3*o = -130. Is 8 a factor of o?
False
Let x(b) = 11*b**2 - 2*b - 3. Let f be x(4). Let l = f + -96. Is 21 a factor of l?
False
Let c(p) = p**2 - p - 15. Let r(n) = n - 2. Let d be r(2). Let f be c(d). Is 22 a factor of 58 - (-5)/(f/(-9))?
False
Let x be 3/1 - (0 - 0). Is 16 a factor of 9/x - (0 - 23)?
False
Let q(y) = -9*y - 13. Is 9 a factor of q(-8)?
False
Suppose 0 = 5*w + 5*x + 20, 5*w = w + 2*x + 14. Let f(b) = w + 2*b**2 + 6*b**2 - b - 3. Does 16 divide f(2)?
False
Let m(i) = 3*i**3 + 2*i**2 + i - 2. Let g be m(2). Suppose -5*n + 61 = -5*t + 21, 5*n = -3*t + g. Does 7 divide n?
True
Let t(h) = h**3 + h + 83. Let j be t(0). Let g = 138 - j. Is 26 a factor of g?
False
Is 4 a factor of 27/2 - 5/10?
False
Suppose -2*p + 5*p - 117 = 0. Let g = p + -12. Suppose 0 = -m - 4*j + g, 2*j = 4*m - 0*m - 72. Is 12 a factor of m?
False
Let y = -168 + 205. Is 37 a factor of y?
True
Suppose -2*t = -3*z, -4*t + 6*t = 4*z. Suppose r - 4*r - 6 = z. Let v = 4 - r. Is v a multiple of 3?
True
Suppose 5*i + 4*c - 67 = 0, 6*i - 5*i - 13 = -c. Is 15 a factor of i?
True
Let q = -11 - -15. Is q a multiple of 3?
False
Let i(a) = -4*a**3 - 2*a**2 - 3*a - 2. Suppose -5*c - 6 = 4. Is i(c) a multiple of 14?
True
Let x(r) = -r**3 + 6*r**2 + r - 4. Let i be x(6). Suppose 0 = -c + i + 1. Suppose -4*a = c*q - 12, -4 = -3*q + 2*q + 3*a. Does 2 divide q?
True
Suppose 6*l = 5*k + l - 865, -5*k - 2*l = -830. Is 24 a factor of k?
True
Let s be -1 + 2 + 1 + 2. Let p(f) = f**3 - 3*f**2 - 2*f + 5. Does 8 divide p(s)?
False
Let d be -3*((-266)/3 + 2). Suppose 0 = 5*s - d + 30. Is 13 a factor of s?
False
Let y be 195/6 - (-2)/(-4). Let i = y - 18. Is i a multiple of 14?
True
Let l(s) = -s - 10. Suppose 2*h + 3*h = 3*j + 17, h - 2*j - 2 = 0. Let o(u) = -1. Let b(x) = h*o(x) - l(x). Does 6 divide b(0)?
True
Suppose -4*c + 2*v + 57 + 137 = 0, 0 = 4*v + 12. Let f = -17 + c. Is f a multiple of 14?
False
Let c = -157 - -232. Is c a multiple of 15?
True
Is 14 a factor of 567/(8 - 5) - -1*1?
False
Let y = -7 - -10. Suppose 6 + 6 = y*l. Does 17 divide 696/40 - l/10?
True
Let u(y) = -y**3 - 3*y**2 - 4*y - 2. Let r be u(-2). Suppose 4*q = -3*h + 228, -3*q + 0*h = r*h - 171. Is 16 a factor of q?
False
Suppose 4*y = -5*f - 40, 2*f = -3*f + 4*y. Does 26 divide 309/6 + (-2)/f?
True
Let a(o) be the second derivative of o**3/3 + 3*o**2/2 + 33*o. Let x = -5 + 11. Is 10 a factor of a(x)?
False
Let s be 16 - ((-4)/(-1) + -3). Is 1/3 + 100/s even?
False
Let k be ((-3)/6)/(2/(-4)). Is 10 a factor of (11 + 1)*k - -1?
False
Let d be 8/12 - 28/6. Let n = d + 9. Is n a multiple of 5?
True
Let h(p) = -p**3 + 5*p**2 + 4*p - 6. Is h(4) a multiple of 18?
False
Suppose 3*u = 4*a + 28, -3*u + 5*u = 3*a + 20. Let z be (-1)/(-4) + (-7)/a. Let y(j) = j**3 + j**2 - 3*j + 2. Does 8 divide y(z)?
True
Suppose 153 = y + 99. Does 8 divide y?
False
Let y(v) = -v**3 - 4*v**2 + 8*v - 2. Does 3 divide y(-6)?
False
Suppose 4*j = -3*c + 140, 5*j = 2*j + 3*c + 105. Does 14 divide j?
False
Let m = -12 + 20. Is 8 a factor of m?
True
Let j = 2 + -1. Let q = -49 + j. Let s = 76 + q. Is s a multiple of 10?
False
Suppose -5*r - 8 + 18 = 0. Suppose -5*s + 0*s + 20 = 0. Does 23 divide (-2)/(s/r) - -62?
False
Suppose -5*f - 5 - 20 = 0. Is 23 a factor of ((-2)/f)/((-5)/(-900))?
False
Let w(m) = m**3 - 7*m**2 + 2*m - 9. Let s be w(7). Suppose -5*i - 5*b = -25, -3*b = -s*i - 6*b + 27. Is 3 a factor of i?
True
Suppose -7*q = -5*q - 84. Is q a multiple of 21?
True
Suppose 8*h - 183 = 217. Does 20 divide h?
False
Let w(i) = -9*i - 6. Let z(b) = -8*b - 6. Let p(j) = -2*w(j) + 3*z(j). Is p(-7) a multiple of 18?
True
Suppose -4*c + 3*f = 4 + 48, -5*c = -2*f + 65. Let t = -9 - c. Suppose t*v = v + 12. Does 2 divide v?
True
Let a(w) = 2*w - 3. Let c be a(5). Let j be (-4 + c)*(-2)/(-6). Let m = j + 2. Does 2 divide m?
Fal