 234. Does 4 divide h?
False
Let s(z) = 3*z**3 - 12*z**2 + z + 14. Let y(x) = x**3 - 6*x - 4. Let c be y(3). Does 47 divide s(c)?
True
Let x = -14 + 24. Let v(q) = -q**3 + 10*q**2 + 14*q - 20. Is 12 a factor of v(x)?
True
Let v(f) = f**2 - 11*f - 10. Let h be v(11). Let q(o) = o + 16. Let w be q(h). Does 11 divide 88/w*6/4?
True
Suppose -u + 154 = u. Let d = -42 + u. Does 8 divide d?
False
Let m = -58 - -60. Suppose -p = 0, -4*p = m*b - 7*b + 785. Is b a multiple of 10?
False
Let c be (-6 + 4 - -4 - 3) + 4. Suppose 0 = -x - 2*g + 186 + 86, c*x - 4*g - 856 = 0. Does 40 divide x?
True
Let i = -1669 - -1784. Is i a multiple of 15?
False
Let l be (-66)/(-4)*(-784)/21. Let x be l/(-12) - (-4)/6. Suppose -x = -h - h. Is 13 a factor of h?
True
Suppose -150 - 108 = -6*q. Let c = q + 3. Is 46 a factor of c?
True
Does 14 divide (-42109)/(-51) - (-3)/9?
True
Is ((-9 - -4) + -493)*(-2)/4 a multiple of 13?
False
Let u(x) = 53*x + 191. Does 28 divide u(30)?
False
Let k = 5984 + -4036. Suppose 6*o = k - 412. Is o a multiple of 44?
False
Is 11 a factor of ((-4)/(-8)*8)/(18/19089)?
False
Suppose 3*q - 251 + 44 = 0. Suppose -q = -4*b - 5. Let u = -1 + b. Is 5 a factor of u?
True
Let t(o) = 4 - 2*o - 2 + 4*o + o**2 + 11. Is 24 a factor of t(-7)?
True
Let w(b) = 1 - 5*b + 9*b + 20*b. Is 7 a factor of w(2)?
True
Let b(q) = 14*q**2 + 3*q + 2. Let s(w) = w**2 - 2*w - 3. Let n be s(-3). Let y be n/(-6) + 0 + -1. Does 25 divide b(y)?
False
Let m(d) = 11*d**2 - 33*d - 25. Does 9 divide m(-9)?
False
Suppose -11*z + 10*z + 4 = 0. Suppose 309 = -s + z*s + 5*u, 4*u + 380 = 4*s. Is 14 a factor of s?
True
Let f(h) = -h**3 + 11*h**2 + 7*h - 18. Let k be -4 + 8 + -8 + 14. Is 33 a factor of f(k)?
False
Suppose -85*k = -84*k - 21. Let d = k - -19. Does 40 divide d?
True
Let k = 9 + -9. Let q be (-3 - (k + -3))*-1. Suppose 4*z = f + 14, 2*f = -2*z - q + 12. Is z even?
True
Suppose -22 = -5*l - 7. Let w(o) be the first derivative of o**4/4 - 2*o**2 + 3*o - 2. Is 9 a factor of w(l)?
True
Let y be 2/(-9) + (-4190)/18. Let b = -153 - y. Does 10 divide b?
True
Suppose 1592 = 12*u - 208. Does 13 divide u?
False
Is 8 a factor of (-54)/(-90) + 2394/10?
True
Suppose 0 = -5*z - q + 81 + 66, -4*q - 102 = -3*z. Suppose 5*a + 3*m - z = 0, 5*a - 6 - 4 = m. Is a even?
False
Suppose -2*s - 2*s = 232. Let v = s + 83. Suppose -3*i + 4*c - 5*c = -218, 5*c = v. Is 26 a factor of i?
False
Suppose -9*m = -137*a + 141*a - 19844, 0 = -4*m + 2*a + 8812. Is m a multiple of 19?
True
Let n(s) = -s**3 + 11*s**2 - 8*s + 34. Is n(6) a multiple of 33?
False
Does 56 divide -4 + (520 - (5 + -3))?
False
Let f(n) = -n**2 + 33*n - 30. Is f(13) a multiple of 46?
True
Is ((-17)/(544/72))/((-6)/1408) a multiple of 88?
True
Suppose 60*u + 1904 = 76*u. Does 7 divide u?
True
Let l(i) be the first derivative of -1/4*i**4 - 11/3*i**3 - 8*i - 4 + 7/2*i**2. Does 18 divide l(-12)?
False
Let l(d) = d**3 - 6*d**2 + 2*d - 3. Let h be l(4). Let c = -6 - h. Is c a multiple of 21?
True
Let g(r) = r**3 + 9*r**2 - 6*r - 4. Let a = -2 - 4. Let d be g(a). Suppose 35 = 5*b - d. Does 10 divide b?
False
Let t = 6 + -2. Let d = 2 - t. Does 8 divide -3 - (d*12 + -3)?
True
Let m(z) = 2*z**2 - 2. Let f(g) = g**3 - 8*g**2 + 6*g + 10. Let j be f(7). Suppose -a + j*n + 2 = -2*a, 3*n = -2*a - 7. Is m(a) a multiple of 12?
True
Suppose 0 = -2*x - 1 + 11. Suppose -h = -4*b - 30, -x*h + 2*h = 2*b - 20. Suppose h = -5*l - 0, -18 = -m - 3*l. Does 12 divide m?
True
Is 0 + 7 + 6 + -10 a multiple of 3?
True
Let u = 382 - 218. Is u a multiple of 9?
False
Suppose 5*c - 4350 = m, -3*c + 9*m - 4*m + 2610 = 0. Is c a multiple of 30?
True
Suppose 271 - 4912 = -21*z. Is z a multiple of 16?
False
Let v(m) be the first derivative of -m**3/3 + 5*m**2 - 4*m + 8. Let j(q) be the first derivative of v(q). Is j(-13) a multiple of 13?
False
Let f = 1556 + -1108. Does 16 divide f?
True
Let g(u) = u**3 + u**2 + u - 14. Is 15 a factor of g(8)?
True
Let g(p) = 2*p**2 + 40*p + 2299. Does 11 divide g(0)?
True
Let u(w) = 4*w**2 + 5*w - 1. Let d = 4 - 1. Let r be 4/d*(0 - 3). Is 10 a factor of u(r)?
False
Let j = 41 - 33. Is 738/12*j/6 a multiple of 12?
False
Suppose 2*y = p - 27, -3*p + 57 = -3*y - 21. Let r = -21 + p. Suppose -r*c - 164 = -4*z, 0 = -5*z + c + c + 214. Is z a multiple of 11?
True
Is 10 a factor of (-8)/(-52) - 41840/(-130)?
False
Let h = 21 + -19. Suppose -84 = -h*c - 0*c - 3*i, 3*c - 3*i = 111. Suppose 0 = 2*j - z - c, 3*z - 19 - 34 = -4*j. Is 17 a factor of j?
True
Suppose -u + 3*u = -5*s - 29, 0 = 2*u + 4*s + 26. Let p(a) be the first derivative of -11*a**2/2 - 16*a + 158. Is 20 a factor of p(u)?
False
Suppose 0 = 5*w - 5*g, 0 = -3*w + w + 4*g - 2. Let q be -4*356/(-96) - (-3)/18. Is 4 a factor of (6/6)/(w/q)?
False
Let k = -4 + 41. Let z be (-20)/(-6)*((-75)/(-6) - -1). Suppose 0 = -q - 3*r + z, 5*r = -3*q + k + 86. Is q a multiple of 12?
True
Suppose -23 = -5*p + p + z, 0 = -5*p + z + 28. Suppose -p*o = -10*o + 325. Is 7 a factor of o?
False
Suppose 0 = -14*d + 13*d + 696. Does 14 divide d?
False
Let t = -7 - -7. Suppose t = -2*d - 48 + 360. Let s = -110 + d. Does 23 divide s?
True
Suppose -5*g = 5*w - 2400, 3*w = -10*g + 8*g + 1440. Does 5 divide w?
True
Let d be (8/12)/(2/(-9)). Is (-5)/10*(-74)/1 + d a multiple of 34?
True
Suppose 5*f - 5668 = -0*a + 2*a, -2*f + 2256 = 2*a. Is f a multiple of 33?
False
Let m = 30 - -17. Suppose -4*s - 4*c = -96, 0 = -5*s + 4*c + m + 37. Does 10 divide s?
True
Is 6 a factor of 58*5/5*(2 + 4)?
True
Let i(l) be the first derivative of -l**4/4 + l**3/3 + l**2/2 - 3*l - 2. Let p = 3 + -6. Does 7 divide i(p)?
False
Suppose 4*p - 185 = -2*i - 17, -324 = -4*i - 4*p. Suppose -5*w + 4*w = -i. Suppose -3*q - 3*a + w = 0, -4*q + 4*a + 126 = 6. Does 10 divide q?
False
Let k = -4 - -1. Let s be -1*(k + -2 + 1). Suppose -s*f = -x + 6 - 209, -5*f + 4*x = -251. Is 17 a factor of f?
True
Suppose 169 = 3*x - r, x - 6*r - 71 = -2*r. Let o be 264/x - 1/(-5). Suppose -h + 3*y = 2*h - 96, 2*y - 132 = -o*h. Is h a multiple of 14?
True
Let b = 484 + -238. Is 41 a factor of b?
True
Suppose a - 9 = 3. Does 7 divide 6/36 + 166/a?
True
Suppose f + 4*f + 2*z = -51, 18 = -f - 3*z. Does 15 divide f/(45/(-380)) + -4?
False
Let n(a) = a**3 - 16*a**2 - a + 17. Suppose d = -2*q + 33, -5*d = -2*q - 2*d + 29. Let g be n(q). Let i(v) = 47*v**2 - 2*v + 2. Does 13 divide i(g)?
False
Let t = 122 - -340. Does 22 divide t?
True
Suppose 7*o - b = 3*o + 5969, 2*o - b - 2987 = 0. Is o a multiple of 7?
True
Let g(i) = 5*i**2 + 12*i - 7. Let v(n) = 5*n**2 + 11*n - 7. Let k(a) = 4*g(a) - 5*v(a). Let j be k(-5). Does 14 divide (-3)/(j/80 - -1)?
False
Suppose 0 = -18*v + 13*v - 5*j + 545, -2*v - j + 218 = 0. Is 11 a factor of v?
False
Let r(q) = q**3 - 14*q**2 + q + 14. Suppose -5*l - 5 = 0, -2*h - 2*l = -6*h + 58. Is r(h) a multiple of 7?
True
Let o = -592 + 837. Suppose 4*v - o = 611. Does 17 divide v?
False
Suppose 1575 + 423 = 9*m. Is m a multiple of 4?
False
Let l be 14/(-6) + 16/(-24). Is ((-11)/((-33)/(-192)))/(l + 2) a multiple of 44?
False
Let s(u) = -u**3 + 21*u**2 + u + 129. Is s(21) a multiple of 15?
True
Is (-2 + 11 - 4)*31 a multiple of 31?
True
Suppose 230 = -3*h + 8*h. Let w be -6 + 2 - 69/(-1). Let b = w - h. Does 19 divide b?
True
Let b(r) = 2*r**2 - 80 + 40 + 40 - 8*r. Let d be b(4). Suppose h - 2*h + 12 = d. Is 4 a factor of h?
True
Suppose 17*n = 35 + 16. Suppose -d = -0*j - n*j + 95, -1 = -d. Is j a multiple of 16?
True
Let u be 560/(-32)*(-2)/1. Is (u/14)/(3/186) a multiple of 14?
False
Suppose -1188 = 6*v - 2*v. Let c = v - -444. Does 26 divide c?
False
Let c = -7 - -9. Let b(h) = -5*h - h - h + c*h. Is b(-5) a multiple of 25?
True
Let a be (-18)/(1*(-1)/3). Let o(g) = -2*g**2 - 5*g - 1. Let j be o(-1). Suppose -j*l = -5*l + a. Is l a multiple of 5?
False
Suppose -3*s - 3*d = -564, -5*d + 944 = 5*s - 2*d. Let u = -109 + s. Is 28 a factor of u?
False
Suppose -3*s + s + 11 = 5*l, -s + 7 = 3*l. Suppose -2*x - l*k + 295 - 29 = 0, -2*k = -3*x + 386. Does 13 divide x?
True
Suppose -3*g = 79 - 3001. Suppose -2 = 9*c - g. Is c a multiple of 18?
True
Let b(n) = n**2 + 17*n - 13. Let w(l) = -4*l + 2. Let t be w(5). Let a be b(t). Suppose a*h - 168 = -h. Is h a multiple of 14?
True
Does 37 divide (-1358035)/(-1265) + 32/22 + -2?
True
Let d = 3349 + -106