1 a factor of g?
False
Suppose x = 2*l, 4*l = 4*x + 5 - 13. Suppose 0 = -x*w + 4*r - 8, -5*w = r - 4 + 2. Let k = 12 + w. Is 12 a factor of k?
True
Let d(a) = -a**3 + 6*a**2 - 6*a + 2. Let f be d(5). Is ((-2)/f)/(4/12) a multiple of 2?
True
Suppose 5*w - 13 = 4*z + 237, z + 143 = 3*w. Is 4 a factor of w?
False
Suppose 10 = -d + 5*p, -d + 3*d - 19 = -3*p. Let t be (d + -2)/((-6)/(-4)). Suppose t*j - 217 = -5*y, -5*y - 3*j + 4*j = -214. Is 15 a factor of y?
False
Let k(c) = -c**2 + 14*c + 10. Does 15 divide k(9)?
False
Suppose 4*y = 4*s - 16 - 116, 0 = 4*s + y - 137. Let r be 2*1*63/6. Suppose -m + 6*x + r = 3*x, 0 = -2*m + 2*x + s. Is m a multiple of 15?
True
Suppose 18 = 4*i + 2, 4*o - 152 = -2*i. Suppose w - 3*w = o. Is 2 a factor of (-2)/(-9) + (-68)/w?
True
Let f(p) be the first derivative of p**3/3 + 3*p**2/2 - 6*p + 1. Let k be f(-5). Suppose k*n - 82 = -2*c + 82, -2*n + 4*c + 62 = 0. Is n a multiple of 20?
False
Suppose 4*r = -0*r + 16, -83 = -5*s - 2*r. Is 4 a factor of s?
False
Suppose -p + 12 = 4*k - 15, -46 = -3*p - 5*k. Let o = p + 28. Is o a multiple of 16?
False
Let m(v) = -v**3 + 7*v**2 + 1. Let n be 1 - (2 - 10 - -2). Let p be m(n). Does 19 divide (0 - -51) + p/1?
False
Suppose 0 = -4*f + 3*j - 87 - 66, 3*f + 3*j = -141. Let i = f - -64. Is i a multiple of 11?
True
Let t be (-1)/5 - 49/5. Does 3 divide (-6)/t*(-15)/(-1)?
True
Suppose -f = 1, x + f = -11 + 4. Let n = -17 - -16. Does 2 divide n*(-15)/x*-2?
False
Let s(l) = 20*l - 8. Let v be s(5). Let u = 144 - v. Does 13 divide u?
True
Let p(l) = -11*l + 1. Let k be p(-1). Does 8 divide (k/15)/(5/100)?
True
Let w = 21 - -4. Is w a multiple of 25?
True
Let m = 43 + -19. Is 8 a factor of m?
True
Let m(n) = -n**3 + 7*n**2 - 12*n + 2. Let f be m(5). Let l(v) = -v - 2*v + 3 + 1. Is l(f) a multiple of 12?
False
Suppose 4*j - 208 = -0*j. Is j a multiple of 4?
True
Let r(z) be the third derivative of z**6/120 + z**5/30 - z**4/12 - z**3/3 + z**2. Let o = -11 - -13. Is 10 a factor of r(o)?
True
Suppose -3*b - n + 759 = 4*n, -5*b = 3*n - 1281. Is b a multiple of 24?
False
Suppose -5*k + x - 3*x = -2, -3*k + 14 = -2*x. Suppose 140 = k*t + 2*t - 2*q, 105 = 3*t + 4*q. Is 9 a factor of t?
False
Suppose 5*f - 110 = -2*y + 30, 3*f + 2*y - 80 = 0. Does 15 divide f?
True
Let j(q) = q**3 - 12*q**2 + 15*q - 1. Let p be j(11). Suppose 0 = m - 130 + p. Is 29 a factor of m?
True
Let m be -5 - (0 + 6/(-3)). Let x = 6 + m. Does 24 divide ((-61)/x - -1)*-3?
False
Suppose -4*l = -z - z + 20, 4*z - 22 = 2*l. Let u be 1/4 + (-1)/4. Suppose u = 3*p - z - 32. Is p a multiple of 12?
True
Suppose 4*n - 84 - 100 = -3*a, 0 = -4*a + 4*n + 236. Does 12 divide a?
True
Suppose -4 = -5*a + 16. Suppose -a*j + f + 196 = 0, 16 = -3*f - f. Is 23 a factor of j?
False
Let t be 0 + -1 - (-3 + 0). Is 14/(1 - 0) - t a multiple of 12?
True
Let r(q) be the second derivative of -q**3/6 - q. Let z be r(2). Let i = 11 - z. Is i a multiple of 6?
False
Let s(y) = -y**3 + 5*y**2 - 6*y - 35. Is s(-5) a multiple of 49?
True
Let i(g) = -g + 12. Let u be i(10). Suppose 0*w - u*w = 148. Let t = 105 + w. Is 11 a factor of t?
False
Let v be 42/(-4)*(-8)/6. Is (-4)/v + (-37)/(-7) a multiple of 4?
False
Let n(c) = c + 11. Let j be n(-9). Suppose 0*a - 180 = -j*a. Is a a multiple of 19?
False
Suppose 2*n = -2*n + 200. Is 3 a factor of 280/n + (-4)/(-10)?
True
Is 60/8*(498/15 - -2) a multiple of 22?
True
Let w = -14 + 4. Is (-6)/w + 210/25 a multiple of 3?
True
Let b be (4/8)/((-1)/(-2)). Let j = 9 - b. Does 3 divide j?
False
Let i(k) = 3*k**2 - 4. Let w(q) = -q**3 - 5*q**2 - 4*q - 4. Let s be w(-4). Let d(x) = -4*x**2 + 5. Let y(f) = s*d(f) - 5*i(f). Does 27 divide y(6)?
False
Suppose 5*d = -2*c + 13 - 4, -3*c - 24 = -5*d. Suppose -87 = -3*u - a, 4*u + d*a - 127 = -2*a. Is 14 a factor of u?
True
Let g = 46 + -13. Is g a multiple of 16?
False
Suppose -3 - 3 = -d. Let r be -1 + -2 + 42/d. Suppose -r*a = -0*a - 216. Does 21 divide a?
False
Is 10 a factor of 244/8 - (-2)/4?
False
Let c = 178 - 142. Is 2 a factor of c?
True
Let u = 199 + -120. Suppose -u = -3*g + 50. Is 15 a factor of g?
False
Let b = 1 + -1. Suppose b*g + 9 = 3*g. Suppose g*i = i + 40. Does 10 divide i?
True
Is 20 a factor of 2*1/(8/244)?
False
Let p = 91 + 53. Is p a multiple of 18?
True
Let c be (1/(-4))/(4/(-32)). Does 21 divide (-7)/2*(-24)/c?
True
Suppose -107 = 5*w - 3*d, w - 5*d = -0*w - 17. Does 19 divide (-656)/w - 6/(-33)?
False
Let k(j) = -6*j + 16. Is k(-10) a multiple of 19?
True
Let o(h) = -h**3 + 18*h**2 - 21*h + 28. Is 51 a factor of o(16)?
True
Let h be -3 + 12/(1 - -3). Suppose h = 2*t + 15 - 85. Does 5 divide t?
True
Let x(q) = 3*q**2 - 7*q - 2. Let r(f) = f**2 - f. Let n(l) = 4*r(l) - x(l). Is n(-5) a multiple of 12?
True
Suppose f = -5*t + 43, 5*f = -3*t + 297 - 60. Is f a multiple of 13?
False
Suppose 4*g = -2*k - 0*g, 3*k + 3*g = 0. Let r be (2 - -2) + (-1 - k). Suppose -2*t + 4 = 0, 6*t - 3*t + 78 = r*z. Does 14 divide z?
True
Let a(b) be the third derivative of b**5/30 - b**4/3 - b**3 - b**2. Let w(k) = k**2 + 2*k - 2. Let c be w(2). Is 9 a factor of a(c)?
True
Let z(y) = -y**3 + 3*y**2 + 3*y + 1. Is z(3) a multiple of 3?
False
Let a(y) = -y**3 + 7*y**2 - 4*y - 6. Let k be a(5). Suppose -5*v - 20 = 0, 0*f + 4*f + 4*v = -k. Does 18 divide f/(-4)*2 - -36?
False
Suppose 2*c + 0*q - 2*q = 0, 2*c + 3*q = 0. Let x = 4 - c. Does 2 divide x?
True
Suppose -v + 6*v - 1245 = 0. Let l = -178 + v. Let s = l + -43. Is 16 a factor of s?
False
Let u be 108*(-3 + 39/9). Does 9 divide ((-2)/(-4))/(2/u)?
True
Let h(n) = 8*n. Let s be (-4)/(-14) + (-33)/(-7). Let y be h(s). Let o = y - 4. Does 18 divide o?
True
Let q(t) = t**3 - 6*t**2 - 7*t + 4. Let g be q(7). Let v = 4 - g. Suppose -7 = -s + 2*n + n, n - 2 = v. Does 5 divide s?
False
Let y(v) = 2*v**2 - v - 7. Let n be y(-5). Let j = -8 + n. Is j a multiple of 10?
True
Is (6/(-18))/(2/(-156)) a multiple of 26?
True
Suppose -60 = -t - 0*t + 2*p, 2*p - 64 = -t. Is 18 a factor of t?
False
Suppose 6*k - 133 = 197. Is 11 a factor of k?
True
Let p = -16 - -27. Is 170/12 + p/(-66) a multiple of 7?
True
Let z(u) = 8*u**3 + u**2 - 1. Is z(1) a multiple of 8?
True
Does 20 divide 3 + -3 + 240/3?
True
Suppose 0 = -4*c - 5*j + 47 + 58, 2*j + 73 = 3*c. Does 5 divide c?
True
Let w = -20 + 40. Let i = -2 + w. Is 6 a factor of i?
True
Let h(x) = -14*x - 1. Is 12 a factor of h(-1)?
False
Let r(q) = 33*q**2 + 4*q. Let l be r(2). Let j = -98 + l. Is 11 a factor of j?
False
Let i be 148 + 2/((-6)/(-9)). Suppose i = 3*x - 0*p + 5*p, 239 = 5*x + 2*p. Is x a multiple of 12?
False
Let z(g) be the first derivative of g**4/4 - 2*g**3/3 - 2*g**2 + 2*g + 1. Does 26 divide z(5)?
False
Let q(l) = -l**2 - 15*l + 37. Is 28 a factor of q(-8)?
False
Let a(z) = -z**2 + 5*z - 3. Let n be a(5). Let m = 2 - n. Suppose m*j = 4*s - 5*s + 240, 3*j + s = 144. Does 17 divide j?
False
Is 123 + 1 - 0/(-2) a multiple of 23?
False
Suppose 3*z + 11 = 140. Is 29 a factor of z?
False
Suppose -5*l = 69 - 949. Is 22 a factor of l?
True
Suppose 0 = -0*x - 5*x. Suppose x = -f - 3*f + 248. Is f a multiple of 22?
False
Does 16 divide (-3 - (73 + -3))/(-1)?
False
Suppose -8 = -2*d + 14. Does 4 divide d?
False
Let q be -7 - -4 - -1*3. Suppose 2*r - 6*r - 8 = q. Is 7 a factor of ((-5)/r)/5*50?
False
Suppose -10*s + 6*s + 168 = 0. Does 21 divide s?
True
Suppose -2 = -f + 3. Suppose 0 = 2*b - f*b + 27. Is 9 a factor of b?
True
Suppose m - 20 = -4*m. Suppose -m*d + 2 = 2*j, 4*j - 16 = -6*d + d. Suppose 5*w - 129 = -j. Does 9 divide w?
False
Let t(o) = 3*o**2 - 8. Does 13 divide t(-5)?
False
Let n be (-236)/7 + 14/(-49). Let a = 2 - n. Is a a multiple of 13?
False
Let m be 1/4 - 35/(-20). Suppose 3*a = m*a - 79. Let z = -44 - a. Is z a multiple of 11?
False
Let a be -2*(5 + 1) + -2. Let d(u) = -7*u + 3. Let q be d(-3). Let h = a + q. Is 5 a factor of h?
True
Suppose -2*s = 5*y - 458 + 127, y + 5*s = 80. Is y a multiple of 13?
True
Suppose 5*o = 7*o - 152. Does 19 divide o?
True
Let h = -26 - -46. Does 20 divide h?
True
Let h be 1/(-5) + (-212)/(-10). Suppose 0*p + 3*p = h. Does 6 divide p?
False
Let m(j) = 55*j - 2. Let n be m(-4). Let g be 5/(15/n)*-1. Suppose 0 = -4*q + g + 22. Is 24 a factor of q?
True
Let a(u) be the second derivative of u**5/20 + u**4/2 + u**3/6 + 2*u**2 - 8*u. D