 Does 27 divide g(x)?
False
Let w be 35013/27 + (5 - 43/9). Let y = -298 + w. Is 17 a factor of y?
False
Let z(o) = 256*o - 6. Let i(c) = -1. Let j(r) = 2*i(r) - z(r). Is 28 a factor of j(-2)?
False
Suppose -2*t = -207 + 203. Suppose -5*y + 6*c = c + 15, -y - 3*c + 9 = 0. Does 20 divide 3 + 19 + y - t?
True
Suppose 2*r + 6 = 0, -3*r = -20*y + 25*y + 2144. Let o = 816 + y. Is 28 a factor of o?
False
Let r = -10 - 0. Let j(z) = z**2 + 13*z + 18. Let b be j(r). Let k = b - -102. Is k a multiple of 30?
True
Let l = 5555 - 4407. Is l a multiple of 14?
True
Does 35 divide 10*(-12)/(-360) + 43372/6?
False
Suppose 0 = 6*m - 9 - 21. Let r be (m/(-20))/(2/(-40)). Suppose l + 3*l - a = 188, 0 = -r*l + 2*a + 232. Does 12 divide l?
True
Suppose 0 = 44*p - 3192 - 4065 + 1713. Does 92 divide p?
False
Let z(d) = d**2 + 13*d + 32. Let n be z(-3). Suppose 25 + 27 = -4*i + 5*a, 0 = -n*i - 2*a - 44. Is (-1472)/i + (-4)/(-18) a multiple of 28?
False
Let c(v) = v**3 + 7*v**2 - v - 3. Let k be c(-7). Suppose k = 4*s, -5*s - 78 + 1513 = 5*i. Is 2/(-11) + (-13)/(i/(-180)) a multiple of 4?
True
Let j(p) = -p**2 + 6*p. Let q be j(6). Suppose -2*n + 3 = -4*z - 9, 2*n - 2*z - 22 = q. Is (-48)/(-2 + 20/n) a multiple of 21?
False
Let q(a) = -a**2 - 12*a - 15. Let r be q(-13). Let n be (-1)/3 + r/(-12) + -2. Suppose 3*i + 12 = n, 3*g = -2*i + 273 - 11. Does 30 divide g?
True
Suppose 16*p - 95 = -3*p. Suppose -228 - 252 = -p*k. Does 13 divide k?
False
Suppose -53*x - 84839 + 357899 = 7*x. Is x a multiple of 9?
False
Let w(o) = -o**3 - 14*o**2 - 15*o - 26. Let c be w(-13). Suppose -11*x + 3*x - 272 = c. Let d = -2 - x. Is d a multiple of 8?
True
Is 8 a factor of (-9 + -54353)/(-7) + 10?
True
Let x = 8682 + -5107. Does 7 divide x?
False
Suppose 0 = -2*n - 3*n - 2*d + 590, -2*n + 3*d = -217. Suppose 48 = -k + 4*r - 3*r, -k = -3*r + 44. Let m = k + n. Is m a multiple of 11?
True
Let i be -5*(-3 + 1 - (1 - 2)). Let z(d) = 2 - 16*d - i + 6*d - d. Does 21 divide z(-6)?
True
Let a(v) = -27*v + 49. Let x = 92 - 99. Let h be a(x). Let y = h - 158. Is 20 a factor of y?
True
Suppose 0 = -4*a - 2*k + 22, -2*a - 4*k = -22 + 8. Suppose 0 = a*v - w - 0*w + 715, -715 = 5*v + 2*w. Is (-4)/26 + (-6457)/v a multiple of 45?
True
Let a(j) = 6*j**2 + 13 - 7*j + 31*j**3 + 2 - 4*j**2 + 47*j**3 + 4*j**3. Does 19 divide a(2)?
True
Let g(x) = -2*x**3 - 53*x**2 + 69*x + 111. Does 57 divide g(-34)?
True
Let w(o) = -28*o**3 - o**2 + 2*o - 1. Let f be w(1). Let x be f/6 + 1*(-5)/15. Let n(l) = 4*l**2 + 10*l - 10. Does 13 divide n(x)?
False
Let h = 30865 + -15490. Is 15 a factor of h?
True
Suppose 5*x + 14*q = 21*q + 106496, 21304 = x + q. Does 12 divide x?
False
Let s = -23723 - -24757. Does 4 divide s?
False
Let k be 2/((-72)/30 - -2) + 9. Suppose -1516 = t - k*t + 4*b, -1512 = -3*t + 3*b. Is t a multiple of 50?
True
Is 18 a factor of 364079/21 + ((-70)/(-294) - 2/6)?
False
Suppose -140920 = 4362*b - 4388*b. Is b a multiple of 4?
True
Let m be 1/((60/824)/15). Suppose p = -3 + 104. Let b = m - p. Is b a multiple of 21?
True
Suppose -s + 16 - 2 = 0. Suppose -s = 5*n + 2*a, -5*n + 3*a + 18 = 47. Does 29 divide ((-5)/(-3))/(n/(-348))?
True
Let x = -8065 + 22393. Is 15 a factor of x?
False
Let x(d) = 152*d**3 + 3*d**2 - 6*d + 23. Does 44 divide x(3)?
True
Suppose -1 = -y + 2. Suppose 4*j + s - 28 = y*s, 2 = 2*j - 4*s. Let q = j + 1. Is q a multiple of 2?
True
Suppose 0 = -3*b + 6, 3*w - 707 = 2*b + 507. Is w a multiple of 14?
True
Suppose -126*l + 122*l = -32692. Is l a multiple of 98?
False
Let n be (-2)/4*(-1514)/1. Let y = 110 + -639. Let s = n + y. Is 30 a factor of s?
False
Let o = 141 - 139. Is 39 a factor of 1*-3 + (595 - (-14)/o)?
False
Let n be (-4)/(-14) - (4 - (-725)/(-35)). Suppose -4*f = -n - 3. Let m(i) = 6*i**2 - i - 25. Does 20 divide m(f)?
True
Let i(a) = -a**3 + 8*a**2 + 33*a. Let t be i(11). Let y(c) = 4*c + 309. Does 65 divide y(t)?
False
Let n be (95840/24)/((-5)/(60/(-8))). Suppose -1270 = 10*c - n. Is c a multiple of 31?
False
Suppose -b + 2*b = 39. Let y = -21 + 62. Let s = b + y. Does 23 divide s?
False
Let t(j) = -7*j**3 + 11*j**2 + 21*j + 44. Let m be t(-14). Suppose 0 = -34*o + 11*o + m. Is 15 a factor of o?
False
Suppose 0 = -6*h + h - x + 35329, 5*h - 35334 = 4*x. Is h a multiple of 41?
False
Suppose -263*w = -6652182 + 3123518 - 4167505. Is 45 a factor of w?
False
Suppose -4*x + 6*x = 8. Let q(m) = m + 49. Is 53 a factor of q(x)?
True
Let f = -99 - -99. Let w(z) = 136 - 2*z + 1 + 51. Is 47 a factor of w(f)?
True
Let o(y) = 12*y + 113. Let c be o(-9). Suppose -60 = -5*u - c*l, -2*u - 2*l = -u - 12. Is u a multiple of 2?
True
Suppose x + 3315 - 22422 = -2*u, -2*u - 5*x + 19119 = 0. Is u a multiple of 12?
True
Let z(j) = -j**2 - 5*j + 1. Let x be z(-3). Suppose -3*c = 8 + x, 5*i - 335 = c. Suppose -364 = -4*w - 2*s, i - 250 = -2*w - 2*s. Does 45 divide w?
True
Let c(i) = 9*i - 21. Let k be c(0). Is 21 a factor of 355/(-10)*7/(k/6)?
False
Let o = -198 + 235. Suppose 3420 = -u + o*u. Is u a multiple of 5?
True
Suppose 4*h + 16 = 0, -4*h + 5*h + 408 = 2*n. Let o = n + -30. Is o a multiple of 10?
False
Suppose 12 = -133*h + 137*h. Suppose -5*c + y = h*y - 80, 3*c = -5*y + 48. Let d = c + -6. Is 5 a factor of d?
True
Suppose 326*a = -1448391 + 9434087. Does 8 divide a?
True
Let h be 0 - (-5 - (-1 + 40)). Let g(d) = 0*d + 36 + 8*d - h. Does 13 divide g(10)?
False
Let v be (-2 - (-10)/6)*-45. Suppose -6*x - 5*z - v = -x, z = x - 3. Suppose -4*k - 5*q + 371 = x, 3*q = -k + 2*q + 94. Does 9 divide k?
True
Suppose 5*t + 5*m - 429 = 851, 4*t - m - 1034 = 0. Let z = -138 + t. Let d = -44 + z. Is d a multiple of 38?
True
Suppose -3*u + 4*u + 102 = 0. Let o = -99 - u. Is 3 a factor of o?
True
Suppose 2*c + 4868 = 2*j, -2*c - 451 + 10169 = 4*j. Is j a multiple of 11?
True
Let y(v) = 2*v**3 + 16*v**2 - 2*v - 13. Let s be y(-8). Suppose s*n + 10*n = 78. Suppose 0 = -n*h - 5*h + 484. Is h a multiple of 11?
True
Let n(q) = 2*q**2 - 42*q - 5. Is 13 a factor of n(-104)?
False
Is 10006 + -2 - (41 + -41)/(3 + -1) a multiple of 41?
True
Is 57 a factor of (-2488)/1866*(-1 + 27326/(-4) - 0)?
False
Let q(o) be the second derivative of 17*o**3/3 - 132*o**2 + 2*o + 77. Is q(11) a multiple of 22?
True
Suppose 4*h - 4 = 0, 5*h + 625 = -2*y - 608. Let i = y - -1033. Does 23 divide i?
True
Let l = -7430 + 26032. Does 95 divide l?
False
Let l(w) = 39*w**2 - 4*w - 2. Let z be l(-1). Let t(x) = -x**2 + 7*x + 17. Let i be t(9). Let y = i + z. Does 7 divide y?
False
Let t(d) = -d**3 + 3*d**2 - d - 1. Let s be t(1). Suppose s = 60*b - 62*b + 740. Does 74 divide b?
True
Let j(g) be the first derivative of g**3/3 - g**2 - 4*g - 1. Let t be j(4). Is (t/3)/(1/75) a multiple of 20?
True
Let q(l) = 20*l**2 - 11. Let b be q(3). Let r = b - -98. Does 47 divide r?
False
Suppose 0*y - 581 = -5*x + 3*y, -121 = -x - y. Let z(d) = -19*d - 671. Let j be z(-32). Let p = x + j. Is 11 a factor of p?
True
Is 8 a factor of 7 + (5/(-15))/(3/(-46962))?
False
Suppose 0 = 2*k - 7*u + 10*u - 18, 3*k + 5*u = 29. Suppose -5*y + 3*l = -5286, 5*y + 2*l = -k*l + 5270. Is y a multiple of 12?
True
Suppose 183*a - 84*a = 24354. Is 5 a factor of a?
False
Suppose -x = -2*x, -2*z - 3*x = -72. Let w = -40 + z. Let y = w - -34. Does 3 divide y?
True
Let b = -12644 + 15166. Does 26 divide b?
True
Suppose -2*l = 192 + 358. Let z = 3 - l. Does 12 divide z?
False
Let r = -22 + 22. Suppose 0*o - 6*o - 60 = r. Is 20 a factor of (206/4)/((-5)/o)?
False
Let y be (-18)/(-4)*(2 + (-32)/(-8)). Suppose -y*k + 1123 = -929. Is k a multiple of 7?
False
Let d(q) = 3*q + 4. Let p be d(0). Let y(v) = 4*v**3 + 4*v**2 - 2*v + 11. Let r be y(p). Suppose -r = -4*u - 95. Is u a multiple of 11?
False
Suppose 237*c + 184194 = 291*c. Is 9 a factor of c?
True
Let i = -87 + 91. Suppose 6*r - 2*r - 2*l = 280, i*r + l = 274. Is 12 a factor of r?
False
Let c(t) be the third derivative of -13*t**4/24 - 37*t**3/6 + 2*t**2 + 12*t. Is c(-5) a multiple of 6?
False
Suppose 3354*k = 3321*k + 1112364. Is 159 a factor of k?
True
Let o = 39414 + -35964. Is 3 a factor of o?
True
Let f(l) = 9*l + 7. Let d be f(5). Let m(j) = 2*j**3 - 8*j**2 + 8*j. Let i be m(4). Suppose -3*x + d + i = 0. Is 14 a factor of x?
True
Let p(w) = -9*w**2 - 57*w - 12. Let d be p(-6). Suppose d*s - 2323 = -1297. Is 51 