uppose 78 = h*b + 18. Is b a multiple of 15?
True
Let y(u) be the first derivative of -u**4/4 - 4*u**3/3 - 3*u**2/2 - 6*u + 2. Is 3 a factor of y(-4)?
True
Suppose 4*h = -2*n + 4*n + 10, 5*n + 25 = h. Suppose -11 = -s + c, -3*s + 25 = -h*c + 5*c. Does 10 divide s?
True
Suppose -5*i = 4*d - 20, 3*d + 0*d = 3*i - 12. Suppose 0 = -2*p - 4*f + 124, -3*p + 3*f - 13 = -244. Suppose g + p = i*g. Is 10 a factor of g?
False
Let s be ((-264)/28)/(2/(-14)). Let g be s/(-8) + 3/12. Let t = 18 + g. Is 4 a factor of t?
False
Suppose 5*y = 2*t + 147, -5*y + 3*t + 0*t + 148 = 0. Is 9 a factor of y?
False
Suppose 4*r - 2*r = -4*t + 80, 5*r - 144 = 4*t. Does 4 divide r?
True
Let h(x) = x**3 - x**2 - 4*x. Suppose 2*l + 15 = 7*l. Is 6 a factor of h(l)?
True
Let a be (-1)/(-4) - (-2)/(-8). Let b = a + 3. Suppose 4*n - 2*n - 5 = -b*h, 0 = -h - n. Is 2 a factor of h?
False
Let s(m) = m**2 + 8*m + 14. Let l be s(-6). Suppose l*v - v + 4*r - 16 = 0, 0 = 5*v - 3*r - 11. Is v even?
True
Let i(p) = -p**3 + 6*p**2 + 9*p + 3. Suppose 2*u = -7 + 21. Does 14 divide i(u)?
False
Let w(n) = n**2 + 7*n + 11. Let a be w(-9). Let k = 50 - a. Does 6 divide k?
False
Suppose d + 5*l = 71 + 41, 0 = 2*l - 4. Is d a multiple of 12?
False
Does 17 divide (-550)/(-8) - (-42)/(-56)?
True
Suppose 2*h = -3*v - 29, 85 = -2*h - 3*h - 5*v. Let d = 7 + h. Is 2 a factor of d*2*(-2)/12?
False
Suppose -236 = -5*z + 2*v, 0 = 2*z - 2*v - 54 - 44. Let l = z - 4. Is 21 a factor of l?
True
Let a = 260 + -165. Let u = 254 - 121. Let k = u - a. Does 13 divide k?
False
Let v(d) = d**2 - 7*d + 6. Let o be v(10). Suppose 68 = 4*g - z, z - o = -2*g + 2*z. Does 8 divide g?
True
Let i(y) = y**2 - 6*y + 10. Let a be i(10). Suppose 3*z = -2*k + 7*z + a, -z + 40 = k. Does 15 divide k?
False
Let y(u) = -u**3 - 6*u**2 - 5*u - 8. Let o = 10 + -5. Let f be (1 - o)/(4/6). Does 11 divide y(f)?
True
Let r(k) = -2 - k - k + 7*k. Let o be r(5). Let c = 35 - o. Is c a multiple of 6?
True
Suppose -3*u + 9 = y, 3*u + 4 - 10 = 0. Let z be y/6*4 - -2. Suppose -z*a + 10 = -14. Is a even?
True
Suppose 0 = 3*x - 5*y - 157, 4*x - 225 = -5*y - 39. Does 15 divide x?
False
Let x = -21 - -15. Let s(w) = -5*w + 7. Is 12 a factor of s(x)?
False
Let y(m) = 214*m**2. Let x be y(-1). Is 5/30 - x/(-12) a multiple of 9?
True
Let i(s) = -1 + 2 - 1 + 7*s**2 + s**3 + 6*s. Is i(-5) a multiple of 8?
False
Let f(n) be the second derivative of -n**5/20 + n**4/12 + 43*n**2 - 2*n. Let z be f(0). Suppose 3*g - z = g. Is 19 a factor of g?
False
Suppose -c - 3*l + 14 = 0, 5*c - 5 = l + 1. Let q = -3 + c. Let v = 2 - q. Is v a multiple of 3?
True
Suppose -48 = 6*b - 2*b. Let f be -2 - (-5)/((-10)/b). Suppose 2*a + 28 = d, -3*d + 80 = 2*a - f*a. Is 13 a factor of d?
True
Let b be (-9585)/(-6) - 3/(-6). Is b/18 - 16/(-72) a multiple of 18?
False
Suppose 4*m - v - 58 = 2*v, 2*m = -4*v + 18. Let n = m + -1. Is 4 a factor of n?
True
Let a(k) = -k**2 - 6*k - 3. Suppose 2*z + z = 4*l + 39, -5*z + 7 = 3*l. Let o be a(l). Let i(t) = t**3 + 6*t**2 - 2*t + 2. Does 12 divide i(o)?
False
Let r = -3 - -3. Let u = r - -5. Is u a multiple of 3?
False
Let m(i) be the second derivative of i**5/20 - 7*i**4/12 + 5*i**2/2 - 3*i. Is 2 a factor of m(7)?
False
Suppose 0*f = f + 3*a - 27, -2*a + 10 = 0. Is f a multiple of 2?
True
Suppose p = -0*p - 76. Let w = p + 115. Does 15 divide w?
False
Is (-4)/(-3) + -1 - (-188)/12 a multiple of 4?
True
Suppose -2*k = 2*k - 5*c + 25, -c + 5 = 2*k. Let v(o) = k*o**2 + 9*o + 1 - o**2 - 7. Does 12 divide v(6)?
True
Is (5/(-10))/(3/(-18)) a multiple of 3?
True
Suppose -17*q + 34 = -16*q. Is q a multiple of 3?
False
Let q(g) be the first derivative of g**5/20 - g**4/12 - g**3/3 - g**2/2 + 2. Let l(r) be the second derivative of q(r). Does 14 divide l(4)?
False
Suppose 5*c - 3*z - 14 = 0, -3*z + 7 + 15 = 4*c. Suppose h = c*h - 15. Is h a multiple of 4?
False
Suppose 4*h - 2*z = 18, 3*h = -2*h - z + 12. Suppose -2*q = h*f - 4 - 3, 5*f = -5*q + 25. Does 3 divide q?
False
Suppose 4*x - 63 = w, 2*x + 4 = -5*w + 19. Suppose -3*l = 2*u - 29, -2*l - 2*u = -3*l + x. Is 5 a factor of l?
False
Let y be (-3)/(1 + -1 - 1). Suppose 3*c + y*a - 283 = -c, 0 = -4*c - 2*a + 278. Does 26 divide c?
False
Suppose 2*x = 4*x, 3*x = 3*g - 63. Is g a multiple of 9?
False
Suppose 2*g + b = 5*b + 152, 428 = 5*g + 2*b. Is 18 a factor of g?
False
Let i = 33 + 6. Does 25 divide i?
False
Let y = 13 + 50. Is y a multiple of 21?
True
Let l be (-54)/(-14) + 4/28. Suppose -30 = -l*t - 2. Does 7 divide t?
True
Suppose 5*i = 7 + 3. Let u(k) = -k**i - 3 + 1 + 6*k**2 - k. Does 20 divide u(3)?
True
Does 12 divide (-4)/14 + (2 - (-1200)/35)?
True
Suppose -13*o + 14*o = 84. Is o a multiple of 14?
True
Let h(b) = -b + 5. Let v be h(5). Suppose v = -2*a + 5 + 3. Is 2 a factor of a?
True
Let b(w) be the second derivative of -5/6*w**3 + 0 + w**2 - w. Is 11 a factor of b(-3)?
False
Suppose 0 = -5*k + h + h + 222, -h = -2*k + 88. Suppose -i + 75 - 6 = 3*c, -k = -2*c - i. Is 10 a factor of c?
False
Let i(k) = k - 6. Let l = 0 + 0. Let q be i(l). Is (-148)/q + 4/(-6) a multiple of 12?
True
Suppose 2 = -2*x + 3*x - 2*s, -s - 1 = 3*x. Suppose x - 9 = -3*u. Is 7 a factor of 13 + 0 + -2 + u?
True
Let r be (12/(-7))/(2/(-14)). Does 21 divide 496/r - 2/(-3)?
True
Let p(u) = -u**3 + 10*u**2 - 6*u - 7. Is p(9) even?
True
Suppose -5*x - 55 = 9945. Does 14 divide (-4)/(-14) - x/56?
False
Let x = -71 - -95. Is 3 a factor of x?
True
Does 17 divide -17*(-8 - 3 - (1 - -1))?
True
Let a(d) = 4*d**3 + d**2 - 8*d - 1. Is a(3) a multiple of 5?
False
Suppose 5*h = -76 - 214. Let v = h + 119. Let p = -31 + v. Is 14 a factor of p?
False
Let a(j) = -j**3 - 10*j**2 + 11*j + 9. Let c be a(-11). Suppose -2*m = -13 - c. Is 11 a factor of m?
True
Is (-48)/14*(-1 - 13) a multiple of 12?
True
Let t be 5*7/(105/1518). Suppose -255 = -v + y - 84, -t = -3*v - 4*y. Is 14 a factor of v/12 + 7/(-42)?
True
Suppose 2*v + 4*j = 10, -2 + 5 = -3*v + 3*j. Let k = v + -3. Let u(s) = s**3 + 3*s**2 - 3*s - 2. Is 4 a factor of u(k)?
True
Suppose 4*u + 2*i - 24 = 0, -u = -3*u + 2*i + 12. Is 2 a factor of u?
True
Let i(u) = -u**2 - 11*u - 11. Suppose 3*n = -2*f - 0*f - 22, 2*n + 4*f + 12 = 0. Is 4 a factor of i(n)?
False
Let a(x) = -x**3 + x**2 + x - 1. Does 3 divide a(-2)?
True
Suppose 3*c = 3*k - 57, c = 5*c - 3*k + 74. Let w = -8 - c. Is w a multiple of 3?
True
Let n(t) be the second derivative of -t**5/20 + t**4/3 + t**3/3 - 2*t**2 - t. Let k be n(4). Suppose k*f = -q + 20, -40 = -7*q + 2*q - 5*f. Is 4 a factor of q?
True
Let q = -61 - -91. Does 8 divide q?
False
Let g = 272 - 158. Does 38 divide g?
True
Is 2 a factor of 6*((-32)/12)/(-2)?
True
Let b(z) = z**2 - 8*z + 4. Is b(9) a multiple of 2?
False
Does 15 divide -44*5/(40/(-14))?
False
Let s = -5 + 3. Let a = -5 - s. Let j = 7 + a. Is 3 a factor of j?
False
Suppose 0 = -8*x + 747 + 597. Is 8 a factor of x?
True
Let a(w) = -w + 2. Let d(s) = 25*s**3 - 1. Let t be d(1). Suppose 0 = 2*h - 4 + t. Does 6 divide a(h)?
True
Suppose -3*s = -s - 50. Suppose -2*m = -s + 61. Let v = -7 - m. Is v a multiple of 11?
True
Suppose -h = 4*m + 10, 2*m + 0*h = -h - 6. Does 6 divide m - (-13 + 0 + -1)?
True
Suppose -8 = -0*z - 4*z. Does 3 divide (-1*z)/(6/(-9))?
True
Suppose y - 23 = -0*d - 5*d, 2*d - 46 = -5*y. Let k(j) = -j**3 + 9*j**2 - 9*j + 6. Let t be k(y). Let r(z) = -10*z - 2. Is r(t) a multiple of 7?
False
Let v be 2/(-2)*(-1 + 12). Let f = 18 + v. Is 2 a factor of f?
False
Let p = -14 + 20. Let c(k) = 34*k + 2. Let a be c(-5). Is a/(-9) + (-4)/p a multiple of 9?
True
Suppose 0 = -5*m + 5, 2*m + m + 17 = 5*u. Suppose j + u = 18. Does 14 divide j?
True
Let b be (-6)/18 + (-26)/(-6). Suppose b*y + 5*j = 9, y = -0*y - 5*j - 9. Does 6 divide y?
True
Let w = -2 - -2. Suppose w*u - 2*u = 2. Let k = 5 + u. Does 2 divide k?
True
Let i(j) = 23*j**2. Is i(-1) a multiple of 23?
True
Suppose 0 = 3*x - 3*z - 102, -x + 2*z + 3*z = -42. Does 14 divide x?
False
Let r = 477 + -313. Does 47 divide r?
False
Suppose -119 = -6*r + 151. Does 2 divide r?
False
Let h = 8 + -26. Suppose 2*y = -24 - 38. Let w = h - y. Does 13 divide w?
True
Suppose -5*b - 28 - 42 = 0. Let r = 24 + b. Is 6 a factor of r?
False
Let c = 11 + -16. Let k(o) = 2*o**2 + 5*o - 3. Let a be k(c). Does 11 divide a/2*(4 - 3)?
True
Let h(t) = -