Let g be j(12). Let d be (-1)/((-1)/2) + 2. Suppose -4*q - 3*w + 145 + 88 = 0, d*q = -g*w + 236. Is 16 a factor of q?
False
Suppose -8 = v + 4*f, 0*v + v = 3*f + 13. Suppose -1 = 5*h + v*u, h + 4*u + 0*u = -13. Does 2 divide h?
False
Let m = -8 - -11. Suppose -6 = m*d - 0*d. Let n(u) = -u**3 + u**2 + u - 1. Is 9 a factor of n(d)?
True
Let k(i) = -i**2 + 7 - 2 - 12*i + 4. Is 12 a factor of k(-9)?
True
Let n(l) be the first derivative of l**6/120 - l**5/20 + l**4/8 + 2*l**3/3 - l**2/2 + 3. Let h(d) be the second derivative of n(d). Does 5 divide h(3)?
False
Suppose 0 = -s - 26 - 2. Let t = s + 50. Does 11 divide t?
True
Let y = 31 - 68. Let x = 82 + y. Is x a multiple of 15?
True
Let n(c) = c**2 + 2*c + 5. Suppose 4*u - 8 = -0*u. Suppose 4*p - 2 = -l + u, -4 = 2*l + 2*p. Does 13 divide n(l)?
True
Suppose 2*r - 3*x - 65 = 131, 5*x = 5*r - 500. Suppose 0 = n - 3*n + r. Is n a multiple of 24?
False
Let b be -3 - (0 - (121 - -2)). Suppose l = 6*l - b. Is l a multiple of 13?
False
Suppose 0 = -3*x + 72. Does 9 divide (x/9)/(2/15)?
False
Let k = 14 - 18. Let c(q) = q**3 + 4*q**2 - 4*q + 4. Does 13 divide c(k)?
False
Suppose 5*p - 4*p + 5*l - 17 = 0, 5*p = l - 45. Does 16 divide (-474)/p - (-2)/(-8)?
False
Suppose -5*p = 3*y - 16, p + 5*y - 6 = 3*p. Suppose -t - p*c + c = -33, 2*t = -c + 65. Is 16 a factor of t?
True
Let m be 71/1*(-1 - 0). Let g = m + 108. Is g a multiple of 14?
False
Suppose 2*v + 2*s - 13 = 7*v, 0 = -2*v + 3*s - 3. Is 3*3 + v/(-1) a multiple of 10?
False
Let k(d) = 1 + 0 - 3*d**2 + 0 + d**3 - 4*d + 3. Let c be k(4). Suppose -c*f = -19 - 21. Is f a multiple of 10?
True
Suppose 5*s = -5*k + 870, 3*k = -5*s + 4*s + 170. Is s a multiple of 44?
True
Let o = 119 + -17. Does 17 divide o?
True
Let t = 184 - 53. Is t a multiple of 29?
False
Let y(a) = 6 - a**2 - 2*a - 4*a**3 + 5*a**3 - 2*a**2. Let i = 2 - -2. Does 14 divide y(i)?
True
Suppose n = -a + 103, -4*n + 181 + 333 = 5*a. Is a a multiple of 34?
True
Let h(x) = x**2 - 7*x - 2. Let g be h(5). Is (-64)/g*(-9)/(-2) a multiple of 12?
True
Let c be (-1)/(3/159*-1). Let z = c - 25. Is z a multiple of 14?
True
Suppose -64 + 22 = -3*p. Let o = -6 + p. Is 8 a factor of o?
True
Suppose -3*q = -3*j + 1469 + 706, -5*q - 20 = 0. Does 20 divide (-4)/(-10) + j/35?
False
Suppose -4*j = -0*j - 16. Let a(x) = -7*x + 1. Let p be a(j). Let r = p - -46. Is r a multiple of 11?
False
Let i be (-16)/20*10/(-4). Let u be -10 + (0 - (0 + -2)). Is i + (-1 - u) - 2 a multiple of 7?
True
Suppose 296 = 4*u + 4*d, -6*u + 2*u + d = -286. Is u a multiple of 36?
True
Suppose -5*z + 38 = -7*k + 3*k, -5*k - 22 = -2*z. Let s(d) = -d**2 + 6*d - 4. Let c be s(z). Does 10 divide (c/8)/(2/(-40))?
True
Suppose 4 = -4*n - 3*s - 2*s, -3*n + 2*s = -20. Suppose -2*q + n = -q. Suppose -q*k - k + 59 = -2*x, -53 = -5*k - x. Does 11 divide k?
True
Let r(y) = -y**3 + 4*y**2 + 5*y + 2. Suppose -6 = -3*j + 9. Let p be r(j). Suppose p*n + 8 = 30. Does 11 divide n?
True
Let k(j) = -j**3 - 4*j**2 + 8*j - 6. Is k(-7) a multiple of 26?
False
Let c(b) = -b**3 + 8*b**2 - b. Is 4 a factor of c(7)?
False
Let u(c) = c**3 + 8*c**2 + c + 8. Let i be u(-8). Let p be (-24)/(-16)*(-8)/(-3). Suppose p*k - 31 - 125 = i. Is 13 a factor of k?
True
Let p be 3*(1 + (-3)/1). Let b = -13 - -29. Is b/p*(-6 + 3) a multiple of 4?
True
Is 9 a factor of 2*(4 + 1/2)?
True
Suppose -w - 4*t = 46, 7*t - 121 = 4*w + 2*t. Is (w/(-8))/((-1)/(-4)) a multiple of 10?
False
Let v(o) = -o**3 - o**2 - o + 310. Is v(0) a multiple of 10?
True
Let p(d) = -d**2 - 5*d - 1. Let y be (-6)/(-3)*-1 - 3. Let i be p(y). Is 3 a factor of 117/18 - i/2?
False
Let g(w) = w - 2. Let b be g(9). Does 5 divide (10/(-3))/(b/(-21))?
True
Let q = -37 - -96. Suppose 2 = -d + v, -5*d + 1 + 13 = v. Does 12 divide 1/2 + q/d?
False
Let o = -54 + 78. Is o a multiple of 6?
True
Let b(v) be the third derivative of -v**6/120 - v**5/15 + 2*v**3/3 - 2*v**2. Is b(-4) a multiple of 4?
True
Let o(m) = m + 14. Is o(6) a multiple of 5?
True
Let s(l) be the third derivative of l**6/120 + 7*l**5/60 + l**4/24 - 7*l**3/6 - l**2. Is s(-6) a multiple of 9?
False
Let n(x) = -x + 1. Let t(z) = 7. Let k(l) = 5*n(l) - t(l). Let y(u) = 2*u + 6. Let p be y(-4). Is 3 a factor of k(p)?
False
Let k(w) = 5*w - 8. Let l be k(9). Let i = l - 17. Is 20 a factor of i?
True
Let b(q) be the third derivative of -7*q**4/12 + q**3/6 - 2*q**2. Let g be b(-4). Suppose -4*f - 5*o + g = 0, 3*f + 11 = 4*f - 2*o. Does 13 divide f?
True
Let y = 1 + -1. Suppose -12 = -7*v + 3*v. Let r = v - y. Does 3 divide r?
True
Suppose 4*g = 8*g - 252. Is 13 a factor of g?
False
Does 10 divide ((-2)/2 - -1) + 20?
True
Let l be ((-18)/6)/((-6)/4). Let z(h) = 10*h**3 - h**2 - 2*h + 2. Is 21 a factor of z(l)?
False
Suppose 3*b - 13 = 2*m, m + 6 = 4*b - 8. Suppose 0 = -b*p - 80 + 257. Does 26 divide p?
False
Let w(j) = -j**2 + 11*j - 11. Let r be w(8). Let f = 25 - r. Is 12 a factor of f?
True
Let q(k) = k**2 + 2*k + 2. Let n be q(-2). Let r = n - -1. Suppose -r*m - 8 = -53. Is m a multiple of 6?
False
Let m(q) be the third derivative of -q**4/4 - q**3/3 - 2*q**2. Let n be m(-2). Is ((-42)/(-15))/(2/n) a multiple of 14?
True
Suppose 0 = -2*f + 3*f - 52. Is 24 a factor of f?
False
Let f = -10 + 24. Is f a multiple of 14?
True
Let y = -3 - -5. Suppose -y*z = 2*z - 124. Is 14 a factor of z?
False
Does 10 divide 2 - (2 + 2) - -18?
False
Suppose -2*z - 3*o - 3 = 0, 4*z + 6 = -3*o - 3. Let i(j) = 4*j**2 - j + 0*j**2 + 4 + 0*j + j**3. Is 6 a factor of i(z)?
False
Let k(s) = s**3 - 6*s**2 + 1. Let q be k(4). Let y = 23 - 41. Let p = y - q. Is 13 a factor of p?
True
Suppose 0*n + 34 = 3*n - v, 0 = -v + 5. Is 4 a factor of n?
False
Let s be (0/6)/(1 + 1). Let l(t) = t**2 + 30. Let i be l(s). Suppose -5*m - 4*r + i = -3, -4*r - 7 = -3*m. Is m a multiple of 4?
False
Let u(f) = 5*f - 7. Let h(d) = 3*d - 5. Let i(q) = 8*h(q) - 5*u(q). Let v be i(-7). Suppose -v*o - 19 + 99 = 0. Is 13 a factor of o?
False
Let k = 0 - 5. Let r = 17 + k. Is 5 a factor of r?
False
Suppose 0 = -5*f - y + 5, -5*f = 3*y - 0*y + 5. Let q(w) = -6*w**2 - 3*w + 1. Let n(t) = -12*t**2 - 5*t + 2. Let c(p) = -4*n(p) + 7*q(p). Is 6 a factor of c(f)?
False
Suppose 2*b = -2*b + 32. Suppose 0*f = f + c - 16, b = -f + 5*c. Is f a multiple of 4?
True
Let i be (24/(-10))/(4/90). Let z = i + 99. Suppose 3*l + 2*l - z = 0. Is 7 a factor of l?
False
Suppose -t - 4*m + 19 = m, 5*t - 4*m + 50 = 0. Let a be (10/5)/((-4)/t). Let o = 6 + a. Does 3 divide o?
True
Let c = 528 + -362. Let j = c - 119. Suppose 94 = 3*h - j. Is h a multiple of 16?
False
Suppose -4*a + 32 = -0*a. Suppose 4*y - c = 30, 3*c = 2*y + a - 28. Suppose -78 = -2*w - 2*h, -3*w + 113 = -3*h + y*h. Is w a multiple of 16?
False
Is 9 a factor of (6/(-1))/2 - (-276)/2?
True
Let j(h) = h**3 + 8*h**2 + 8*h + 10. Suppose 0 = f + 13 - 6. Does 2 divide j(f)?
False
Let z = 33 - 0. Let r = 0 - -3. Suppose r*b - 44 = -4*f, b + 5*f - z = -0*b. Is 8 a factor of b?
True
Suppose c - 11 - 6 = -m, 0 = -c + m + 19. Does 18 divide c?
True
Suppose -3*p - 5*v + 22 + 30 = 0, -17 = -3*p + 2*v. Is p even?
False
Let k(r) = 13*r - 1. Let d(i) = -i**3 - i**2 + 3*i + 3. Let a be d(-2). Is 5 a factor of k(a)?
False
Let z(t) = -t**3 - 6*t**2 - 10*t - 2. Does 14 divide z(-6)?
False
Let h = 6 + 21. Let o be (-15)/(-17) + (-14)/(-119) + 37. Let y = o - h. Is y a multiple of 11?
True
Let l(c) = 2*c**3 + 3 + 0*c**3 - 12*c - 13*c**2 - 3*c**3. Let y = -6 + -6. Does 3 divide l(y)?
True
Suppose -5*j + 20 = 7*f - 3*f, -2*j + 8 = -f. Suppose f*z = z. Suppose -b - 5*t + 1 = z, t + 4*t + 32 = 2*b. Is 3 a factor of b?
False
Let c(i) = i**2 - i + 55. Let f be c(0). Suppose -5*u - f = -10*u. Is u a multiple of 11?
True
Let f(u) = -4*u + 6. Let l be f(-6). Is 4 a factor of l/(-25)*(-80)/6?
True
Suppose 4*j = 5*b - 120, -j - 32 + 2 = -3*b. Let n be 2/(-4)*(0 + j). Let f = 10 + n. Is 12 a factor of f?
False
Let u(w) = w**3 + 6*w**2 + 5*w + 5. Is 7 a factor of u(-4)?
False
Suppose 0 = -3*n + 4*n + 2, 5*n + 118 = 4*k. Let j = -15 + k. Does 6 divide j?
True
Suppose -3*k + 207 = 3*i, 339 = k + 4*k + 3*i. Let z = -28 + k. Is z a multiple of 19?
True
Suppose 0 = -u - 4*u + 350. Is 9 a factor of u?
False
Let o(r) = -r + 1. Let p be o(-3). Suppose -5*d + 47 = p*f, -f - 2*d = 3*f - 50. Is f a multiple of 5?