) = 47*h - 5. Let l(z) = -3*f(z) + 8*o(z). Is 12 a factor of l(p)?
True
Let g = 5 - 3. Suppose 3*z + g*z = 0. Suppose 3*d = 5*p + 12, z*p - 16 = -4*d - 3*p. Is d a multiple of 4?
True
Suppose -7*k - 161 + 525 = 0. Is k a multiple of 11?
False
Let k(m) = -m**3 - 11*m**2 + 10*m - 13. Is 7 a factor of k(-12)?
False
Is (-7 - -5)/(4/(-10)) a multiple of 2?
False
Let p(s) = s**3 + 9*s**2 + 2*s - 8. Suppose -3*z - 6 = 36. Let a = z - -6. Is p(a) a multiple of 15?
False
Let c(z) = 86 + 3*z + 0*z - 2*z. Let w be c(0). Suppose -w = -4*s - q - 1, -2*q - 61 = -3*s. Does 16 divide s?
False
Suppose j = -2*j + 198. Does 25 divide j?
False
Let o(v) = -v**3 - v**2 + v + 204. Is 10 a factor of o(0)?
False
Suppose 7*a - 9 = 4*a. Is 3 a factor of a?
True
Let n = 5 + 0. Is n a multiple of 5?
True
Suppose c + c - 30 = 0. Let z(l) = -2*l**2 + 3*l - 2. Let g be z(2). Let q = c + g. Is 5 a factor of q?
False
Let a(l) = 5*l**2 + 5*l + 4. Let m be a(8). Let y = m - 188. Suppose -2*u + 108 = -3*g + 5*g, 4*u - y = 4*g. Is 18 a factor of u?
False
Let d be (-1)/((-6 - -3)/3). Let v = 23 - d. Does 12 divide v?
False
Suppose 4*w - w - 249 = 0. Suppose 0 = 3*r - w - 100. Suppose 4*g - r = 7. Is 9 a factor of g?
False
Let d = -24 + 41. Does 5 divide d?
False
Let m(p) = 2*p + 2. Let f(t) = 7*t + 6. Let h(g) = -3*f(g) + 8*m(g). Let x be h(-4). Let v = x - 10. Is 3 a factor of v?
False
Let j be (-2)/(-9) + 1074/27. Suppose -5 = 3*u + j. Let c = u + 47. Is c a multiple of 12?
False
Suppose 27*a - 29*a = -24. Does 11 divide a?
False
Let x(a) = -a**3 + 2*a**2. Is 5 a factor of x(-2)?
False
Let g = -5 - -13. Let q(j) = -j + 17. Is 5 a factor of q(g)?
False
Suppose -2*j - 2*x + 188 = 0, 7*x = j + 5*x - 97. Suppose 3*w + 5*q = j, -5*w - 5*q + q + 154 = 0. Is w a multiple of 15?
True
Let o(y) = 4*y - 3. Let s be (-2)/(-4) + (-5)/2. Let a be 8/5*(-5)/s. Does 6 divide o(a)?
False
Let c(q) = 4*q - 1. Let v be c(-5). Let s = v - -37. Suppose 4*t - s = -j, -2*j + t + 0 = -5. Is 2 a factor of j?
True
Let i(q) be the second derivative of 7*q**3/6 + 3*q**2/2 + 3*q. Is i(4) a multiple of 12?
False
Let r(d) = d**3 + 2*d + 1. Let o(b) = -3*b**3 - 5*b - 3. Let c(l) = -6*o(l) - 17*r(l). Is 3 a factor of c(3)?
False
Is ((-131)/(-2))/(23/46) a multiple of 23?
False
Let b = -15 - -33. Suppose 2*i - 5*s - 51 = 0, 4*i - 76 - b = 2*s. Does 4 divide i?
False
Let k(t) = -t**3 + 4*t**2 + t - 1. Let l be k(4). Suppose 0 = n - 5*o - 20, l*n - 2*o = 2*o + 27. Suppose n*b = -5*d + 36 - 1, -7 = -2*b + 5*d. Does 6 divide b?
True
Suppose 92 = 2*o - l, 5*o - 2*l - 139 = 2*o. Does 15 divide o?
True
Let k(a) = a**3 - a + 2. Let b be k(0). Suppose -5*g = -b + 32. Let z(x) = -x**3 - 4*x**2 + 8*x - 2. Does 11 divide z(g)?
True
Suppose -z + 0*z = 0. Let n be 11*17 + 1 + 1. Suppose 3*y = -z*y + n. Is 23 a factor of y?
False
Is 156 - 2 - 3 - -4 a multiple of 31?
True
Does 16 divide (-2 + 0)/(14/(-308))?
False
Let v(y) = 6*y + 12. Is v(8) a multiple of 15?
True
Let g(b) = b**3 + 2*b**2 + 2*b + 2. Let i be g(-2). Let c be ((-27)/(-6))/(i/(-4)). Suppose -4*f + c*f = 55. Is f a multiple of 11?
True
Let t(s) = -4*s + 17. Does 9 divide t(0)?
False
Let l be 22/5 + (-4)/10. Suppose l = -3*g + g. Is 5 a factor of 5 + (0 - 0/g)?
True
Let v be 360/(-63) - (-4)/(-14). Is 11 a factor of (-130)/(-4) - (-3)/v?
False
Suppose -3*u = -5*c + 113, 6*c - 62 = 3*c - 4*u. Is 5 a factor of c?
False
Let x(t) = 6*t**2 + 12*t + 18. Let i(o) be the first derivative of -o**3/3 - o + 2. Let h(q) = -5*i(q) - x(q). Is 7 a factor of h(-9)?
True
Let w = -31 + 53. Is w a multiple of 6?
False
Suppose 2*v - 10 = -2*d + 8, 2*v = 2*d - 14. Let t = d + -8. Let g(w) = w + 8. Is 3 a factor of g(t)?
False
Let j(p) be the third derivative of p**6/5 - p**5/60 + 2*p**2. Let h(q) = q**3 - 6*q**2 + 4*q + 6. Let c be h(5). Is j(c) a multiple of 9?
False
Let r = -4 - 1. Let f(k) = k + 7. Let n be f(r). Suppose -x - x + n*a + 24 = 0, 5*x = -4*a + 96. Is 14 a factor of x?
False
Is 17 + 15 + (-2)/(-2) a multiple of 22?
False
Suppose u - 297 = -4*u + 4*n, -u = 4*n - 69. Is 29 a factor of u?
False
Let a(m) = 2*m**2 - 4*m. Let s be a(4). Suppose 14 = o - s. Is 8 a factor of o?
False
Let n(k) be the second derivative of -1/6*k**3 + 13/2*k**2 - k + 0. Does 3 divide n(6)?
False
Suppose 3*y = -0*y - 4*a + 27, -4*y - 2*a = -26. Suppose 0 = -3*h - y*p + 17, -4*h = -8*h - p. Is 6 a factor of 2 + h + (13 - 1)?
False
Suppose 0 = s + 3 - 6. Suppose s*t = 4*q + 51 - 16, 4 = -2*q. Does 9 divide t?
True
Suppose -2*t - x = -342, 4*t + 0*x = 3*x + 674. Is 17 a factor of t?
True
Let p = 7 - 1. Suppose p = 2*m, 49 = -y + 5*y - m. Does 13 divide y?
True
Let t(u) be the second derivative of u**4/12 - 5*u**3/6 + 2*u**2 - u. Let r be t(5). Suppose r*m + 53 = -0*b + 3*b, 0 = 3*m - 12. Is b a multiple of 23?
True
Let g(t) = t**3 + 6*t**2 - t - 3. Let r be g(-6). Let w = r + 77. Suppose -3*c + w = c. Is c a multiple of 20?
True
Let t(h) = 9*h - 22. Is t(4) even?
True
Suppose -3*x + 12 = -3. Suppose -x*v - 2*z + 45 - 11 = 0, -3*v + 5*z + 39 = 0. Does 4 divide v?
True
Let v be (12/(-20))/((-1)/15). Does 16 divide (v + -7)/(1/24)?
True
Let b = 9 + -15. Let z = b + -2. Let m(o) = -o**3 - 8*o**2 - 2*o - 10. Does 6 divide m(z)?
True
Let m = -4 + 2. Is 11 a factor of (m + 1)*-2 + 25?
False
Let p = 42 + -27. Suppose -10 = -j + 4*j + 5*q, -q + p = 4*j. Is j even?
False
Let z(c) be the third derivative of c**4/24 - c**2. Let m(j) = 5*j. Let p(t) = m(t) - 4*z(t). Does 2 divide p(3)?
False
Suppose 3*u = 5*q - 46, 0 = q + 3*u - 26 + 6. Suppose 7*b = q*b - 400. Is b a multiple of 26?
False
Suppose 5*z - 111 = -26. Is z a multiple of 17?
True
Let o = 156 - 76. Suppose -5*p - 3*y + 0*y = o, -3*p - 48 = -y. Let n = -4 - p. Is 12 a factor of n?
True
Is (107 - 3) + 5 + (-2)/(-2) a multiple of 15?
False
Suppose -132 = -2*r - 2*r. Let k = 56 - r. Does 10 divide k?
False
Let p(f) = -f - 1. Let g be p(-6). Let w = -32 + 40. Let q = w + g. Does 8 divide q?
False
Suppose f + f = 18. Let w be -9*3/f*-1. Suppose 3*m = -2*j - w*j + 31, 3*j = -3. Does 8 divide m?
False
Suppose -12*q + 19*q = 196. Is q a multiple of 9?
False
Let j(p) = p + 136. Let x be j(0). Suppose -4*r - x = -8*r. Is 20 a factor of r?
False
Suppose 600 = 5*r + r. Does 10 divide r?
True
Is 16 a factor of (10 + -2)/(3/12)?
True
Let n be 3/(-12) + 2/8. Let t(w) = w**2 + 11. Let j be t(n). Suppose -j = -4*y + 1. Is 2 a factor of y?
False
Suppose -3*h - 82 = -208. Does 7 divide h?
True
Suppose -44 = 5*l - 9. Suppose 0 = 4*d - 4 - 0. Let z = d - l. Does 4 divide z?
True
Suppose -4 = 4*q - 4*w, 5*q + w = -4*w - 35. Let f = q + 9. Is f even?
False
Suppose -2*f = -0*f - 6. Suppose d - f = 7. Is d a multiple of 10?
True
Suppose a = -3*r + 3, 4*a - 5*a + 3*r = -3. Suppose -a*i + 7*l - 3*l + 67 = 0, l = 5*i - 89. Is i a multiple of 17?
True
Let k(z) = 2 - 2*z**2 + 5*z**2 + 4*z + 2*z**2 - z**3 - z**3. Is k(-3) a multiple of 30?
False
Let f be (-18)/(-4)*(-2)/(-3). Suppose -5*k + f*a + 130 = 0, 3*k - 5*k - a + 41 = 0. Is 23 a factor of k?
True
Suppose 36 = -s + 2*i + i, 0 = s + 2*i + 26. Let p = s + 12. Does 18 divide (-5)/((2 + 0)/p)?
False
Suppose 4*z = -3*x + x + 62, -2*x + 5*z + 62 = 0. Suppose -x - 204 = -5*l. Suppose 2*h - l = -5*j, -2*j + 5*h = -j - 4. Does 5 divide j?
False
Let o = 7 + -4. Suppose 2*q + 5*w = 3*q - 34, -o*q + 32 = -w. Let l(t) = -t**2 + 12*t + 7. Is l(q) a multiple of 17?
True
Let o(n) = n**2 - 3*n - 7. Suppose 0 = -4*q - v - 10, v + 18 = -4*q - 4*v. Let l be q + 7 - 0/(-3). Is 3 a factor of o(l)?
True
Does 8 divide ((-12)/4)/((-2)/34)?
False
Let b(u) = -u. Let t(q) = 4*q - 5 + q + 2*q. Let h(r) = -2*b(r) + t(r). Is 19 a factor of h(4)?
False
Let a(l) = -l**2 - 8*l. Let s be a(-6). Suppose 0 = -3*x + x + 5*c + 46, 3*c = -s. Is x a multiple of 13?
True
Let j(o) = -4*o - 3. Let a be j(-2). Does 25 divide 5837/65 + 1/a?
False
Suppose -j = -s + 49, 4*s - 29 = 3*j + 114. Is j/(-4) - 1/4 a multiple of 6?
False
Suppose 0 = 4*v + 4 - 12. Suppose 0*k = 3*k - 3*h - 168, 0 = v*k - 4*h - 108. Is k a multiple of 14?
False
Suppose 5*f - 1630 = 5*d, 0 = -f - 5*d - 77 + 397. Is 13 a factor of f?
True
Let j(a) = -a**2 - 6. Let u be j(-5). Let o = u - -86. Is 4/6 - o/(-3) a multiple of 16?
False
Suppose 3*a - 5*a = -4. Suppose -5*b - 2*r - 2*r = -25, -a*b + 3*r + 1