(h) = h**3 + 16*h**2 + 16*h + 14. Let j be p(-15). Let u be 25/((6/2 + j)/12). Suppose 159 = o + 2*o + s, 3*o - u = -4*s. Is o a multiple of 9?
True
Suppose 213 = -4*v - t, -94 = 4*v + 4*t + 110. Let b = 81 + v. Is b a multiple of 27?
True
Suppose -2*o + 18984 = 111*o. Is o a multiple of 6?
True
Suppose -4*v + z = -2269, 154*v - 150*v + 2*z - 2278 = 0. Is 11 a factor of v?
False
Suppose 58*g = 41*g + 56423. Suppose 21*h - 1637 = g. Does 40 divide h?
False
Let j = 10 + -5. Let n = 440 - 290. Suppose -r + j*y = -3*r + n, -3*r - 2*y = -214. Is r a multiple of 14?
True
Let x be 3/(-3) - -6 - -43. Let b be (-2)/(-5) - (-2940)/25. Let f = b - x. Is f a multiple of 14?
True
Let t(j) = 142*j**2 - 205*j + 3. Does 26 divide t(2)?
False
Let u = -10636 - -15556. Does 12 divide u?
True
Let n = -155 + 139. Let d(r) = -4*r - 61. Let k be d(n). Suppose -l + 1188 = 2*l - k*t, l - 5*t - 396 = 0. Is l a multiple of 25?
False
Suppose -6*m + 10*m = -5*m + 19656. Is m a multiple of 28?
True
Suppose 25*x - 33*x = -24. Is 5 a factor of (-1478)/(-6) + (-4)/x?
True
Suppose 94*c - 30514 - 119604 = 0. Is c a multiple of 60?
False
Suppose 0*a = -3*a - 4*k + 252, 0 = 2*a - 4*k - 188. Suppose 4*i - 4*s - a = 0, -73 = -0*i - 4*i + s. Let h = i + 9. Does 16 divide h?
False
Let a(h) = 18*h - h**2 - 7*h**2 + 9*h**2 - 40. Suppose 3*z + 71 - 8 = 0. Is a(z) a multiple of 11?
False
Suppose 3*w = 5*v - 155, -4*v + 160 = -w - 2*w. Let b = w + 60. Let n(k) = k**3 - k**2 - k + 22. Is 8 a factor of n(b)?
False
Let g(t) = 127*t**2 + 124*t**2 - 58 - 250*t**2 + 15*t - 6*t. Is g(14) a multiple of 11?
True
Suppose 0 = -y - 2 + 5. Suppose -4*q - 66 = y*h - h, -132 = 4*h + 4*q. Let l = -24 - h. Is 2 a factor of l?
False
Let q = 16013 - 10425. Is q a multiple of 127?
True
Let v(t) = 51*t**2 + 69*t - 502. Does 8 divide v(7)?
True
Let l(h) = h**2 + 25*h - 177. Let r be l(-41). Suppose r = 2*j - 115. Is j a multiple of 33?
True
Let w(o) = -8*o**3 - 6*o**2 - 2*o - 11. Let x be w(-5). Let u = -564 + x. Is u a multiple of 9?
False
Does 13 divide (-1)/(-7)*525/100 + 41282/8?
True
Suppose 2*h - 8817 = -5*i + h, -4*h - 12 = 0. Is 2 a factor of i?
True
Let y be ((-76)/(-5))/(1*(-8)/1900). Is 16 a factor of y/(-25) + (-2)/5?
True
Let x = 427 - 413. Let j(s) = -s**3 + 14*s**2 + 11*s - 34. Is 5 a factor of j(x)?
True
Suppose 2*m - 9 - 1 = 0, 2*f - 8 = 2*m. Suppose -f = 3*q, 2*y + 26 = -3*q + 63. Suppose y*w = 18*w + 330. Is w a multiple of 11?
True
Let z = 86 + -31. Suppose z*w = 54*w + 16. Suppose -2*k = -4 - w. Does 10 divide k?
True
Let p(q) = -q**3 + 11*q**2 - q + 15. Let i be p(11). Suppose 0 = -2*v + 3*w - 115 - 60, -i*v - 374 = 2*w. Let t = 216 + v. Does 13 divide t?
False
Suppose -2*d + 27 = -j, 5*d + 0*j - 71 = -j. Suppose -c - d = -19. Let v(i) = i**2 - 2*i + 12. Is v(c) a multiple of 14?
False
Let d = -172 + 127. Suppose 2*t + 1388 = -1472. Does 8 divide (-2)/(-9) + t/d?
True
Suppose -14 = 15*w - 13*w + 4*o, 4*w + 4*o + 16 = 0. Does 37 divide (3 - 6) + (-1 - w) - -388?
False
Suppose -5*h = 91 - 706. Suppose 0 = -i + h + 149. Suppose -9*a = 7*a - i. Does 17 divide a?
True
Let v(u) = u**2 + u - 10. Let g be v(3). Suppose 5*p + 5 = 0, 0 = 3*f - 5*f - 2*p - g. Suppose s - 128 - 114 = f. Is s a multiple of 11?
True
Is 21 a factor of ((-3)/8 + 70/80)/((-1)/(-5166))?
True
Let v = -27 + 30. Suppose -v*t - 1113 = 2*z, 2*t + 752 = z + z. Is (t/4)/(-1) - 14/56 a multiple of 36?
False
Let v be 5/(-30)*-9*-2. Let a(u) = -8*u + 27. Is a(v) a multiple of 10?
False
Suppose 519870 = 13*l + 18*l. Is l a multiple of 65?
True
Let q(n) = 1336*n**3 + 4*n**2 - 2*n - 4. Is q(1) a multiple of 23?
True
Let d = -60 + 59. Let n be (d/(-4))/(5/220). Suppose n*h - 576 = 7*h. Is h a multiple of 16?
True
Let z = -248 + 361. Let s = z - 111. Suppose s*c = -y + 202, c = -y - 0*c + 204. Is 46 a factor of y?
False
Suppose -4*g = -4*l + g + 12, -4*l = -g - 12. Suppose -6 = l*j, -3*y - 4*j + 344 = -7*y. Let u = 2 - y. Is 13 a factor of u?
False
Let g be -741 - 0 - (-2 - (4 + -2)). Let q = -516 - g. Is q a multiple of 20?
False
Suppose -2*k + 118 + 54 = 0. Suppose 0 = 2*c + v + k, 110 = -2*c + 7*v - 2*v. Let w = c + 149. Is 13 a factor of w?
True
Is (-96 + -4)/(-10) + 3945 a multiple of 44?
False
Suppose -108*v + 480220 = -244892. Is v a multiple of 18?
True
Let z = 0 + -1. Let t be 12/(-2)*148/(-6)*z. Let q = 274 + t. Is 9 a factor of q?
True
Let g = 158 - 153. Suppose -4*m + 406 = 5*c - g*m, c + m - 80 = 0. Does 17 divide c?
False
Suppose 26*j = -19*j + 363330. Is 20 a factor of j?
False
Suppose 0 = -16*g - 27 + 43. Let t = g + 160. Does 16 divide t?
False
Suppose 50*z - 18048 = 26*z. Is 7 a factor of z?
False
Let d(z) = z**3 - z**2 - z. Let i(q) = 16*q + 5. Let s(w) = d(w) - i(w). Is s(6) a multiple of 12?
False
Let n be (-1074*(-3 + 16/6))/1. Suppose -8*j + n + 322 = 0. Is 19 a factor of j?
False
Let c(m) be the second derivative of -m**4/12 - 5*m**3 - 13*m**2 + 42*m. Let x be c(-29). Suppose -2*k - x*k = -180. Does 12 divide k?
True
Suppose -42 = 3*m - 60, 5*m + 33331 = g. Does 27 divide g?
False
Let j(t) = -2*t**2 + t + 9. Let q be j(-3). Is 21 a factor of 150 + 1 - (-4)/12*q?
True
Suppose 5*i = 5*q - 12535, 3*i + 557 = q - 1962. Is 61 a factor of q?
True
Suppose -3*b + 16317 = 2*c, -86*b + 4*c = -83*b - 16317. Is b a multiple of 30?
False
Let i(p) be the third derivative of p**6/120 + 13*p**5/60 - 5*p**4/4 - 2*p**3 - 3*p**2 - 22. Does 3 divide i(-14)?
False
Let o(f) = f**2 - 23*f - 52. Let v(d) = 5*d**2 - 92*d - 207. Let w(a) = 9*o(a) - 2*v(a). Is 6 a factor of w(-20)?
True
Suppose 5*j + 7514 = 6*h, 3*j - 1241 = -h + j. Is 13 a factor of h?
False
Suppose -3*y + 57 = g, 2*y = -2*g + 1 + 33. Is 32 a factor of (8 - 16/4)*3130/y?
False
Let j(i) = i**3 + 15*i**2 - 6*i + 62. Is j(-13) a multiple of 2?
True
Let w = -17041 - -24626. Is w a multiple of 9?
False
Suppose 434061 + 100495 = 46*v - 2*v. Does 185 divide v?
False
Suppose 22*o = 11*o + 1133. Let x = o + -59. Is 22 a factor of x?
True
Suppose 3*m = -2*s + 16, -3*m = -5*s - 5 + 3. Let x(y) = -10*y + 2. Let u be x(s). Let g = u - -51. Is 11 a factor of g?
True
Suppose -4*a + 54 = 42, 803 = y + a. Does 50 divide y?
True
Let x = 5 - 10. Let i = 6 + x. Is 12 a factor of 1*(i + (-2 - -85))?
True
Let o be -1*(0 + -4 + 57). Let n = o - -49. Is 0/(n - -2) - -3*40 a multiple of 24?
True
Suppose 12 = -3*n, -4*u = -2*n + n + 212. Let x = u - -61. Is 10 a factor of -126*((-7)/2)/x - 3?
True
Suppose 250*z = -48*z + 5082986. Is z a multiple of 37?
True
Let s(t) = 447*t - 1550. Does 10 divide s(20)?
True
Suppose 153706 + 119576 = 74*z. Does 43 divide z?
False
Let j = -562 + 586. Suppose 1489 = -j*o + 6673. Is 8 a factor of o?
True
Suppose 6*s + 11602 = -7442. Let n = s - -4490. Does 47 divide n?
True
Let y(w) = -w**3 - 10*w**2 - 18*w - 18. Suppose 2*u + 40 = 4*b, 8 = -b + 3*b. Is 18 a factor of y(u)?
True
Let c(h) = -43*h + 3. Let s be c(1). Let g be (-9)/5 - (-8)/s. Does 26 divide (-3788)/(-36) - g/(-9)?
False
Let f be ((-6)/4)/((-8)/1712). Suppose -3*z + f = y, -9*y = -5*y - z - 1336. Does 8 divide y?
False
Let m(g) = 2*g**3 - 9*g**2 + 2*g + 10. Suppose 5*x + 24 = 9*x. Let y be m(x). Suppose 2*b - y = 94. Is b a multiple of 25?
False
Suppose 5*k + 705 = 2*h, -2*h - 88 - 194 = 2*k. Is -2 + -4 - -9 - k a multiple of 16?
True
Let b(z) = 14*z**3 + z**2 + 8*z + 1. Let c be b(4). Let o be c/195 - (-2)/13. Suppose o*n - 92 - 133 = 0. Is 8 a factor of n?
False
Suppose -40527 + 1020 = -25*q + 5068. Is q a multiple of 14?
False
Suppose 17*i - 36 = 117. Does 8 divide i/(-3)*(-303)/9?
False
Let q(k) = k + 1124. Let g be q(0). Suppose d = -0*d + 5*i + 287, 0 = -4*d - 4*i + g. Is d a multiple of 7?
False
Let o(b) = b**3 + 12*b**2 + 7*b + 144. Does 4 divide o(11)?
True
Let z be -1*3*(-120)/45. Suppose -16 = -3*d + z. Suppose 173 = -d*o + 9*o. Is 18 a factor of o?
False
Let b = 19090 + -19048. Does 6 divide b?
True
Let q = 56504 + -37689. Is q a multiple of 71?
True
Let n(p) = 3*p**2 + 30*p + 74. Let k be n(-4). Suppose 3*v - 3288 = 3*j, k*j = 3*v - 6*v + 3303. Is 46 a factor of v?
False
Let w(i) be the second derivative of 9*i**4/2 + 2*i**3/3 - 17*i**2 + 6*i - 3. Is 59 a factor of w(4)?
False
Let d be (362/(-6))/((-20)/(-60)). Let r = d - -356. Is r a multiple of 35?
True
Does 14 divide 16 - (-41668)/4