 12?
True
Suppose 4*h + 1 + 7 = 4*d, -5*h = 4*d + 10. Let s(k) = 3*k**2 + 13*k**2 - k**2 - 2 - k. Is 27 a factor of s(h)?
False
Let b(h) = -h**3 + 11*h**2 - 14*h + 16. Is 72 a factor of b(4)?
True
Suppose 0 = -i - 910 + 215. Is (-4)/(-3 - i/235) a multiple of 21?
False
Let o(t) = t**3 - 13*t**2 - 37*t + 20. Is 25 a factor of o(17)?
False
Is 4 a factor of (8/2)/((-3)/(-12))?
True
Let p = -69 + 71. Suppose p*d = 2*m - 122, -d - 115 - 3 = -2*m. Does 3 divide m?
True
Suppose 18 = -x - 14. Let h(s) = s**2 - 21*s + 78. Let l be h(6). Let w = l - x. Is 10 a factor of w?
True
Let j(w) = w + 7. Let b be j(-5). Suppose -b*o + 30 = -54. Does 12 divide o?
False
Let p(y) = 45*y**2 + 4*y - 34. Let a be p(-8). Suppose 0 = 9*t - a + 249. Is 10 a factor of t?
False
Let q(o) = o - 1. Let z be 3/((-9)/(-3))*3. Suppose -4*r + 19 - z = 4*y, 4*y + 11 = -r. Is 8 a factor of q(r)?
True
Let a(i) = -47*i - 30. Does 26 divide a(-5)?
False
Let v = -800 + 1651. Is v a multiple of 23?
True
Let t be (-28)/3 + (-5)/(-15). Let m = -17 - t. Let o = 5 - m. Is o a multiple of 8?
False
Let m(i) be the first derivative of -i**2 - 8 + 1/3*i**3 + 8*i. Is m(-8) a multiple of 22?
True
Suppose 0 = -y + 4*l + 129, 0 = -0*l - l + 4. Let u = y - 16. Is u a multiple of 38?
False
Let k(v) = -2*v**3 - 8*v**2 - 23*v - 52. Let i be k(-5). Let h = -44 + 30. Let n = i + h. Is n a multiple of 15?
False
Let w(n) = -10*n**2 + 12 - 29 + n**3 + 5*n + 4. Let c = 34 + -24. Does 12 divide w(c)?
False
Suppose 3*f = -4*d - 0*d - 54, -37 = f - 5*d. Is 2 a factor of 4/22 - 106/f?
False
Let r = 1064 + -457. Suppose -4*g = -4*b - 3*g + 1269, 2*b = -5*g + r. Suppose -4*o - 3*z = -b, 0*z = 2*o + 2*z - 158. Does 24 divide o?
False
Let w(c) = 6*c - 52. Suppose -3*k - 4*j = -70, -j = 3*k - 4*j - 105. Is 13 a factor of w(k)?
False
Suppose -4*f - 3 = -19. Suppose -f*t = -8*t + 676. Is t a multiple of 13?
True
Does 38 divide (13/(312/16))/(1/57)?
True
Let g be 54 - 2/(0 + 2). Suppose -g = 3*h - 392. Is h a multiple of 17?
False
Let c(s) = s**3 - 6*s**2 + 7*s - 6. Let n be c(5). Suppose -2*f - 3*p = -n*p - 176, -5*f + 4*p = -446. Is f/3 - 2/3 a multiple of 14?
True
Does 23 divide 3/(-24) - ((-107835)/(-40))/(-7)?
False
Let w = 8 - -4. Suppose -2*y + 7*s = 4*s - w, 3*y = -2*s - 8. Suppose 0 = -4*f - 3*x + 112, y*x + 84 = 3*f + 2*x. Is f a multiple of 8?
False
Let o(w) = w**2 - 5*w - 8. Let g be o(10). Suppose 0 = 4*d + 3*z + g, 0 = 5*d - z + 17 + 26. Let m(u) = -3*u - 3. Does 6 divide m(d)?
True
Let h(f) = f**3 + 26*f**2 - 60*f + 39. Is h(-28) a multiple of 14?
False
Is 8 a factor of (48/(-15))/(-7 + (-2443)/(-350))?
True
Suppose -4*l + 236 = -2*i, 2*l - 118 = i + 3*i. Suppose 4*p - c - l = 0, -p - 3 - 1 = -4*c. Does 2 divide p?
True
Let d(n) = -8*n**3 - 10*n**2 + 3*n + 21. Is d(-5) a multiple of 28?
True
Let f(p) = -8*p**3 - 22*p + 8 + 7*p**3 - 17*p**2 + 4 + 14. Is f(-16) a multiple of 9?
False
Let a(o) = -o**2 + 11*o - 10. Let l be a(23). Let v = l - -458. Is 43 a factor of v?
True
Is 28 a factor of 16/(-7 + (-2760)/(-392))?
True
Is 38 a factor of (-1 - 0)/2*(-65 - 11)?
True
Let q(s) = 185*s + 3. Is q(6) a multiple of 32?
False
Let v = 45 + -9. Is 3 a factor of v?
True
Let t(c) = 918*c**2 + 19*c - 18. Is 8 a factor of t(1)?
False
Suppose -5*q = -2*s - 1320, 2*q = 4*q + 3*s - 528. Is q a multiple of 44?
True
Suppose 4*p = -64 + 568. Let r = -77 + p. Does 6 divide r?
False
Let r(q) = q**2 - q + 1. Let v(l) = -l + 1. Let s be v(-1). Suppose 0 = s*k - 3*k + 7. Does 13 divide r(k)?
False
Suppose 0 = -5*t + 2*j + 341, 2*j + 134 = -2*t + 4*t. Is 6 a factor of t?
False
Let g(d) = d - 4. Let p be g(-5). Let i(b) = 0*b - 7*b + 14 + 4*b - 6*b. Does 31 divide i(p)?
False
Suppose -f + 4 = 3*u - u, -3*u = 4*f + 4. Let s = u + 1. Suppose -4*c = -3*t + 75, -s*t + 127 + 6 = -4*c. Is t a multiple of 11?
False
Let z(c) = -c**3 + 2*c**2 + 3*c - 3. Let g be z(2). Suppose -6*a + 6 = -g*a. Suppose -q - a = -35. Is q a multiple of 11?
True
Let u = 1 + -1. Suppose u = -n + 4 - 0. Is 3 a factor of n?
False
Let y(k) = -k**2 - 4*k - 12. Let i(p) be the second derivative of p**4/4 + 2*p**3 + 18*p**2 + 6*p. Let l(h) = 6*i(h) + 17*y(h). Is l(-8) a multiple of 11?
True
Let i(o) = o**2 - 2*o + 7. Let m be i(0). Suppose 0 = -p - 5*b, -5*b - 12 - 3 = 0. Suppose -u - 2*v + 49 = -m*v, 3*v + p = 0. Is u a multiple of 12?
True
Suppose -3*r = 4*x - 260, 0*r + 65 = x + 5*r. Is 7 a factor of x?
False
Let s = 63 + -65. Is 15 a factor of 15*(6 + (s - -14)/(-4))?
True
Is 8 a factor of (8 - -4)*32/12?
True
Let g be (30 + 1)*(-12)/(-18)*-9. Is 10 a factor of g/(-2)*(-35)/(-21)?
False
Let c(j) = -j**3 - j**2 - 2*j - 3. Let y be c(-2). Suppose 5*t - 1535 = y*v, -4*t = -8*t + 3*v + 1225. Is 16 a factor of t?
True
Is 47 a factor of 18/(-36) - (-777)/2?
False
Let d = 343 + -527. Let v be d/(-30) - 8/60. Suppose 62 + 82 = v*w. Does 13 divide w?
False
Let s = -4 - -4. Suppose 4*j + s*j + 260 = 0. Does 10 divide j/(-5) - (2 + 1)?
True
Let s be 48/(-8)*(3/2 - 2). Suppose -s*a + 2*a = 4*u - 72, -2*a - u + 137 = 0. Is 34 a factor of a?
True
Let s = 972 - 677. Is s a multiple of 27?
False
Suppose 3*d - 754 = -2*j + 1838, -2*d - 2582 = -2*j. Does 7 divide j?
False
Suppose -4*a + 5234 = 3*j, 2*a - 3*j = -2*a + 5222. Suppose -502 = 5*f - a. Is 12 a factor of f?
False
Let w be (-16)/(-6) - (-6)/(-9). Let z be (1 + w)/(42/28). Suppose -z*n + 44 = -68. Is 14 a factor of n?
True
Let x(g) = -g**2 - 15*g - 16. Let d be x(-13). Does 16 divide (176/d)/((-2)/(-5))?
False
Suppose z = 0, 170 = -4*a - 4*z - 50. Let v = -47 - a. Is v a multiple of 8?
True
Suppose -2*o = -o - 33. Let u = o + -80. Let z = u + 89. Is z a multiple of 18?
False
Suppose 2*b + 4*q - 160 = 0, 5*q + 46 = 5*b - 369. Is b a multiple of 3?
False
Let u(x) = 6*x - 19. Let t be u(6). Suppose 19*r = t*r + 104. Is 8 a factor of r?
False
Suppose 0 = f - 4 - 0. Suppose 5*d - 5 = -f*g, -g - 2*d = 5 - 4. Suppose -l + 3 = -2*n + 18, g*n = -l + 27. Is 4 a factor of n?
False
Let c(r) = r**2 + 9*r + 10. Let s be c(-8). Suppose -s*y - w + 7 = 0, y = -2*w - 2 + 7. Suppose 3*x = y, -3*d + 5*x = x - 269. Is 19 a factor of d?
False
Let p(o) = 77*o**2 - 31*o + 65. Is p(2) a multiple of 31?
False
Suppose 561 = 2*v - 3*c, -14*v = -17*v + 4*c + 843. Is v a multiple of 16?
False
Let a(b) = 41*b**2 + 16*b + 48. Does 9 divide a(-3)?
True
Does 3 divide -1*(-3 + -1) + -1 + 3?
True
Let b(o) = o**2 - 3*o - 4. Let j be 0 + -2 - (-2 + 5). Let d be b(j). Let r = -19 + d. Does 17 divide r?
True
Suppose 0 = 4*g - 69 + 25. Let n = g + -9. Suppose n*t + 0*t - 56 = 0. Does 17 divide t?
False
Let r(c) = 6*c**3 + 3*c**2 - 6*c. Let g(j) = j**3 - j + 1. Let z(w) = -3*g(w) + r(w). Let y be z(4). Is 3/(-2 - y/(-111)) a multiple of 28?
False
Suppose 409 + 599 = 8*j. Is j a multiple of 42?
True
Suppose 0 = w - 3 - 2, -5*w - 52 = -d. Is 3 a factor of d?
False
Let w be (12/(-8))/(3/(-4)). Suppose w*p + 2*r = 11 + 1, 5*p - 27 = -4*r. Suppose -q = 5*x - 102, -5*x + q - p*q + 99 = 0. Does 7 divide x?
True
Does 33 divide (123 + 0)/(892/88 + -10)?
False
Suppose -3*r = -9, -2*v + r - 2 = -3*v. Let q = -4 + 6. Let z = q - v. Is z even?
False
Let a be (0 - 2/(-5)) + (-816)/(-10). Suppose -53 = -3*i + 5*b, -2*b = -4*i - b + a. Is i a multiple of 7?
True
Let t(d) = -37*d - 115. Is 2 a factor of t(-5)?
True
Does 14 divide ((-14842)/205)/(4/(-10))?
False
Let i(t) = -2*t**2 + 6. Let h(w) = -w**2 + 3. Let p(s) = 5*h(s) - 2*i(s). Let g be p(0). Is 13 a factor of g/((-110)/(-26) + -4)?
True
Does 7 divide (-36 + 39)/((-6)/(-32))?
False
Let w = 10 + 0. Let r(a) = a**3 - 9*a**2 - 8*a + 5. Does 9 divide r(w)?
False
Let q(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3/3 - 5*m. Let g be q(4). Does 4 divide 1*12*10/g?
False
Suppose -405 - 15 = 15*l. Let n = -89 + 47. Is 10 a factor of (-196)/(-6) - l/n?
False
Suppose 5352 = 22*j - 15680. Does 8 divide j?
False
Suppose 4*q = 125 - 113, 0 = -i - 4*q + 110. Is i a multiple of 4?
False
Let i(a) = -2 - 10*a + 14*a**2 - 15*a**2 + 5. Let m be i(-11). Let d(n) = -5*n - 18. Is d(m) a multiple of 3?
False
Let d(f) = f**3 - 4*f**2 + 10*f - 18. Does 10 divide d(6)?
False
Is 14 a factor of (-68)/(-1) - ((-2 - 4) + 7)?
False
Let w be 2/3 - (-16)/(-24). Suppose 4*p + 3*u + 10 = -0*u, w = -5*p - 4*u - 12. Does 15 divide (135/(-6))/(2/p)