 6/(-30). Is 12 a factor of a/150*(-211 + -1 + 2)?
True
Let x(u) = 3*u**2 + 99*u - 557. Is x(5) even?
False
Let h(t) = -t**3 + 30*t + 231. Let z = 999 + -1010. Is 16 a factor of h(z)?
True
Let g(p) = 1189*p - 4283. Is g(15) a multiple of 4?
True
Let b(l) = 2*l**3 + 59*l**2 + 20*l + 243. Is 20 a factor of b(-24)?
False
Suppose 77 = -8*q + 5. Is 14 a factor of (-14)/63 + (-2396)/q?
True
Suppose -18 = -3*l, 2*l - 1149 - 39 = -3*o. Is o a multiple of 15?
False
Let v(l) = -228*l**2 - l + 8. Let g be v(-4). Is ((g/6)/(-6))/1 a multiple of 16?
False
Let v be (-28)/(-8) + -2 + 1/(-2). Let p be -2*(v - -1)*3/(-6). Suppose n - 188 = -3*l, -p*n = -3*l + 77 + 114. Is 14 a factor of l?
False
Let p(j) = j**3 + 27*j**2 - 56*j + 58. Let m be p(-29). Suppose m = 8*t - 29*t + 8967. Does 14 divide t?
False
Suppose 0 = 2016*m - 1975*m - 813604. Does 24 divide m?
False
Let g(d) = 586*d - 1104. Is g(5) a multiple of 11?
True
Let g = 1543 + 15679. Is g a multiple of 181?
False
Let h(g) = g**3 - 7*g**2 - g + 10. Let q be h(7). Let c be (-81)/27 + (-3)/((-6)/14). Suppose 5*x = c*z + 405, 2*x + 4*z = -q*x + 405. Is 9 a factor of x?
True
Let l be (0 + -5)*(-1672)/(-20). Let o = 623 + l. Does 18 divide o?
False
Let r(s) = -5*s**3 - 27*s**2 + 22*s + 68. Is r(-15) a multiple of 130?
False
Let o(s) = -s**3 + 42*s**2 + 32*s - 138. Is 9 a factor of o(42)?
True
Let m = 379 - 394. Let a(s) = s**2 - 10*s - 26. Does 8 divide a(m)?
False
Let o(z) = z**3 + 7*z**2 - 15*z + 28. Let u be o(-9). Let f(s) = 57*s**3 - 3*s + 2. Does 8 divide f(u)?
True
Let a = -14216 + 22760. Is 32 a factor of a?
True
Suppose 117592 = 63*r - 712222 - 1089103. Is 39 a factor of r?
True
Let p(l) be the third derivative of -l**5/60 - l**4/3 - 7*l**3/6 + 14*l**2. Let y be p(-5). Is (6/(-4) + -3)*y/(-2) a multiple of 8?
False
Let t(d) = -d - 9. Let q be t(-8). Let x be 2 + q + 96/3. Suppose 3*l + 0*y = 4*y + x, 0 = 3*y. Does 3 divide l?
False
Let p be 0/(35/7) + 4. Suppose -5*g = p*v - 1113, -15 = -8*g + 5*g. Is v a multiple of 24?
False
Suppose -2119*v + 121095 = -2077*v - 329901. Does 4 divide v?
False
Let s(w) = 5*w**2 - 14*w - 48. Is s(-15) a multiple of 33?
True
Suppose -25 = 5*w, -w + 227 = 2*q - q. Suppose 4*p = -g + q, -72*g + 75*g - 656 = -2*p. Is g a multiple of 54?
True
Let j be 416/78*(-1 + 214). Suppose 31*k = 23*k + j. Does 14 divide k?
False
Is 2 a factor of (-10 + (-1677)/(-24))*(-14 + 22)?
False
Let n(y) = 9*y - 30 + 27*y + 27*y**2 + y + 0*y + 2*y**3 - y**3. Is 16 a factor of n(-25)?
False
Let t be (-6)/12*1 + (-2)/4. Let f be 6 + -7 + -2 - 2/t. Is 12 a factor of (-24)/(-1)*(6/3 + f)?
True
Suppose 0 = -3*b + 10*v - 9*v + 102378, b + 5*v - 34142 = 0. Is 269 a factor of b?
False
Suppose 26 = 2*c - 6*j + 10*j, 0 = -2*c - 2*j + 16. Suppose -3*q - 3*p = -582, 9*q - 4*q - 994 = c*p. Does 5 divide q?
False
Let z(h) = h**3 - 6*h**2 + 9*h - 8. Let w be z(2). Is 18 a factor of (w - 0)/(3/(-166))?
False
Suppose -5*n + 2*g + 36 = 0, 2*n + 5*g - 2 = 24. Suppose -17*u + n*u + 243 = 0. Is 27 a factor of u?
True
Let y = -10836 - -15387. Is 101 a factor of y?
False
Suppose 2*x - 2*a + 8943 - 24491 = 0, -5*x + 38866 = -4*a. Does 10 divide x?
True
Suppose 1500 = 5*j - 0*j. Let c be (-22)/(-3)*j/40. Suppose -2*i + c = -i. Is i a multiple of 13?
False
Suppose 3*p = 5*w - 122, -6*p - 2*w = -8*p - 80. Does 7 divide (p/(-52))/((-2)/(-1208))?
False
Let s = 12 + -7. Suppose 0 = -s*i - 11 - 34. Is 19 a factor of 93 + i/((-36)/8)?
True
Suppose 60*w - 269928 = -29088. Is 9 a factor of w?
True
Let m be 112*(-4)/44 - (-20)/110. Does 7 divide (-4732)/m - 15/75?
False
Let p(q) = q**2 - 3*q + 6. Let a be p(-5). Let t be (19/38)/(1/38). Let h = a + t. Is 13 a factor of h?
True
Suppose 0*o + 40 = 8*o. Suppose -o*l - 3*g = -849, -g - 2*g - 159 = -l. Is 13 a factor of l?
False
Let w = -13665 + 37437. Does 21 divide w?
True
Let i = 38 + -36. Let o be -14 - 10*1/i. Let h = o + 55. Does 9 divide h?
True
Let s(n) = -n**3 - 10*n**2 - 32*n - 22. Let b be s(-11). Let i = b - 373. Is 32 a factor of i?
False
Suppose 0 = -3*v + a + 743, 3*a + 409 + 836 = 5*v. Let f = 237 + v. Does 12 divide f?
False
Suppose -14*k = -94*k + 62800. Does 3 divide k?
False
Let k be 11 - 5 - 7*-10. Suppose -5*w - 26 = 189. Let h = k + w. Is h a multiple of 7?
False
Suppose -2*w - 8*w + 7200 = 5*w. Is w a multiple of 4?
True
Is 173 a factor of (-1093400)/(-160)*4 - (-2)/(-2)?
True
Suppose 84*x - 4*x = 26*x + 276750. Is x a multiple of 14?
False
Suppose -279 - 281 = 8*d. Let q = -7 + 161. Let r = d + q. Does 21 divide r?
True
Let b(f) = f**3 + 7*f**2 - 2*f - 5. Let y(o) = o**2 - 14*o - 38. Let l be y(16). Let i be b(l). Let m = i - 38. Is m a multiple of 2?
False
Let c be ((-6)/(-4))/(2 + (-26)/16). Let z = c - 8. Let k(d) = 5*d**2 - 5*d - 20. Is k(z) a multiple of 8?
True
Suppose -2*v - 1915 + 15664 = -3*c, 34400 = 5*v - 2*c. Is v a multiple of 43?
False
Let j be (-99)/(-22) - (-2)/4. Suppose -k + 4*h = 8*h + j, -4*h - 11 = -k. Suppose 5*d + 5*n - 75 = 6*n, -4*d + 49 = -k*n. Is d a multiple of 16?
True
Let n(o) be the second derivative of o**3/3 + 125*o**2/2 - 14*o + 1. Suppose 4*i - 20 = -3*c, -c - 10 = -6*c - 2*i. Does 26 divide n(c)?
False
Suppose 420186 + 48615 = 97*y. Is y a multiple of 25?
False
Let s be 24*(10/(-6) - -3). Let l = -28 + s. Suppose -c - 3*m + 21 = 0, -5*m = -l*c + 143 - 8. Does 9 divide c?
False
Let c = 112 - 117. Let u(z) = 25*z**2 + 4*z + 46. Is 23 a factor of u(c)?
False
Suppose 20 = 4*z, -4*o - 2*z = z - 35. Suppose 121*v = 116*v - j + 4034, 5*v - o*j = 4010. Is v a multiple of 13?
True
Suppose -101*f + 34*f + 21*f + 1682772 = 0. Is f a multiple of 91?
True
Let w(y) = 25*y**3 + 5*y**2 - 4*y - 2. Suppose p = -5*d - 0*p - 280, 3*d + 168 = 5*p. Let z = d + 58. Is 10 a factor of w(z)?
True
Let q be (-4)/(-6)*-6 - -64. Suppose 2*y = -4*s + 46, 4*y + q = 5*s - 30. Is 18 a factor of 4/(-14) - (-1418)/s?
False
Let q(c) = -c**2 + c + 281. Let m be q(0). Suppose 3*i = 4*i - m. Suppose -2*g + i = 41. Is g a multiple of 30?
True
Let s(r) = -r. Let z(f) = f - 14. Let x(y) = y**3 + 9*y**2 - 9*y + 12. Let p be x(-10). Let d(b) = p*z(b) + 6*s(b). Is 4 a factor of d(-8)?
True
Let r(c) = 9*c - 131. Let j be r(15). Suppose -904 = -2*t - 5*g, 19*g + 1868 = j*t + 14*g. Is t a multiple of 77?
True
Let u = 32 + -26. Suppose 3*t - 180 = u*t. Is 866/12 - (-10)/t a multiple of 8?
True
Let w(n) = n**3 - 62*n**2 - 107*n + 1929. Does 87 divide w(65)?
False
Is 2 a factor of 22184/14 + 1335/3115?
False
Let y be 9/(189/(-14)) - (-464)/(-6). Let s = y + 112. Is s a multiple of 24?
False
Let g(a) = -2*a**2 - 39*a + 3. Suppose 5*l - 4*k + 60 = -17, -76 = 4*l + 4*k. Is g(l) a multiple of 5?
False
Let p be ((615/(-6))/5 - -4)*-4. Suppose -2*z = -a + p, 4*a - 213 = z + 51. Is a a multiple of 11?
True
Let o(s) = 36*s - 220. Let c be o(7). Let x = 200 - c. Is x a multiple of 14?
True
Is 85 a factor of 6/(-8) - (-422)/(-211)*(-200702)/16?
False
Let b be ((-1)/(6/108) - -3)*-211. Suppose 1444 = h - 5*x, -3*h = 2*x - b - 1252. Is h a multiple of 16?
False
Let q = -271 + 271. Suppose -4*d + 768 = -q*u + 5*u, 483 = 3*u - 5*d. Is u a multiple of 12?
True
Suppose 0 = a + 2*m, -a = -10*m + 6*m - 12. Suppose 0 = -a*k + 22 + 14. Suppose -k*d + 1092 = 4*d. Is d a multiple of 21?
True
Let h(r) = 11*r**2 + r + 3. Let d be 7 + -2 + (6 - 7). Let k be h(d). Let w = k + -123. Does 30 divide w?
True
Suppose 0 = -y - 3, 79*k - 75*k - 3188 = -4*y. Does 25 divide k?
True
Let z(w) = -w + 28. Let x be z(23). Suppose 0*h + 480 = 5*p + 3*h, -2*p = x*h - 211. Is 9 a factor of p?
False
Let b = 6315 + -2937. Is 11 a factor of (-8)/((-48)/b) - (-2 + 0)?
False
Let s be 2 + 5/((-15)/(-6)). Suppose 2*t + 0*t + s = 0. Is 25 a factor of 2*(-1 - 127/t)?
True
Let h(j) = -j**2 + 31*j - 37. Let r be 11*(-2 + -5)/(-7). Is h(r) a multiple of 32?
False
Suppose 1084*b - 4647 = 1081*b. Suppose -6*c = -4*m - 4*c + 3138, -5*c = -2*m + b. Is 22 a factor of m?
False
Let n = -16615 + 16685. Does 18 divide n?
False
Let b(q) = 59*q**2 + 24*q + 4. Let u be b(7). Suppose -9033 = -18*y + u. Is 21 a factor of y?
True
Suppose -10*l = -14*l - 8. Let r(f) = 124*f**3 - 2*f. Let w be r(l). Is 19 a factor of (3/(-2))/(1 + w/976)?
False
Suppose 0 = 2*z - 2*l - 12, -z + l = -l - 9. Is 11002/14 - z/(-21) a multiple of 9?
False
Let w 