 -480*y**3 - y**2 - 5*y - 4. Suppose -3*b = -3*g + 15, 0 = 2*g - 5 - 3. Is 32 a factor of w(b)?
True
Suppose -41*i - 4*u = -40*i - 679, -u = -2. Does 7 divide i?
False
Let o = 246 + -239. Suppose o*m = 20*m - 442. Does 2 divide m?
True
Does 44 divide 3/((-54220)/(-3872) + -14)?
True
Let s(g) = 51*g**2 + g - 6. Is 20 a factor of s(9)?
False
Suppose 0 = -z - 4*u + 796, 2344 + 134 = 3*z + 2*u. Is z a multiple of 9?
False
Let z(v) = v**2 - 2*v - 93. Let q be z(0). Suppose -85 = 5*n - 65. Is (q/(-3) - n) + 2 a multiple of 5?
False
Let d = 134 + 144. Suppose 0 = -k + d + 100. Does 9 divide k?
True
Suppose -4922*q = -5047*q + 2903625. Is q a multiple of 42?
False
Suppose 0 = 4*d - 8*d - 2*n + 2910, n = -4*d + 2915. Is 42 a factor of d?
False
Let a(p) = 10*p**2 - 2*p. Let b(f) = -10*f**2 + 3*f - 2. Let q(u) = 3*a(u) + 2*b(u). Let k(o) = -o + 12. Let g be k(10). Is 6 a factor of q(g)?
True
Let j = -4737 - -7006. Is j a multiple of 145?
False
Let x = 55 + -327. Let c = x - -499. Is 3 a factor of c?
False
Let v(z) = -z**3 + 8*z**2 - 6*z + 4. Let g be v(4). Suppose 19440 = 45*w - 0*w. Suppose -g*b + 41*b = -w. Does 48 divide b?
True
Suppose 18*v - 236461 - 74579 = 0. Is 45 a factor of v?
True
Suppose h + 4*x = 3187 + 10790, 0 = 5*x - 35. Does 37 divide h?
True
Let x = 23883 - 19125. Is x a multiple of 4?
False
Suppose g + 1560 = 4*h + 13120, -5*g - 4*h + 57680 = 0. Is g a multiple of 20?
True
Suppose -13*n - 118*n = -507396 - 6886637. Does 32 divide n?
False
Let i(v) = -82*v - 100. Let z(a) = -a**3 - 6*a**2 + 27*a - 9. Let b be z(-9). Is 22 a factor of i(b)?
True
Let j be (1 + -4 + 4)/(2/(-14)). Let o be (36/6)/(j/(-2) + -2). Suppose 0 = -3*b - o*g + 22, -g - g = -2*b + 24. Is 6 a factor of b?
False
Let t = -103 + 106. Suppose 5*u = 0, -y = -2*y + t*u + 185. Let n = y - 53. Does 33 divide n?
True
Let k(z) = z**3 + 11*z**2 + 13*z - 23. Let a be k(-7). Suppose 3*w + 40 - a = 0. Is 2 a factor of w?
True
Let m(l) = 6*l**3 - l**2 - 9*l + 5. Let n be m(3). Let s = n - -253. Does 48 divide s?
True
Let i(p) = 147*p - 3406. Is i(93) a multiple of 93?
False
Suppose 25*v = -77395 + 134774 + 490996. Does 59 divide v?
False
Let k(p) = p**3 - 4*p**2 - 6*p + 9. Let m be k(4). Let f be m*((-1 - 0) + 0). Suppose -f = 3*w - 0*w, -3*w + 495 = 5*o. Is 34 a factor of o?
True
Let s be (-1582)/4 + (12 - (-81)/(-6)). Let t = -361 - s. Is t a multiple of 2?
True
Suppose -2*g + 3342 = -2*l + 408, -5*l + 25 = 0. Is 16 a factor of g?
True
Suppose 0 = -3*j + 3*i + 2196, 3*j + i - 2231 = -3*i. Does 11 divide j?
True
Let x = -130 - -138. Suppose x*k - 3*w - 28 = 4*k, 0 = 3*k - 5*w - 32. Is (-173)/((-1)/(k*(-1)/(-4))) a multiple of 12?
False
Let k be (455/(-4))/((-4)/(-16)). Let d = -443 - k. Does 5 divide d?
False
Let o = -8469 + 10941. Is 153 a factor of o?
False
Let s = -292 + 297. Suppose s*h = 1073 - 88. Is h even?
False
Suppose f = -l + 6, 4*f - 2*l - 18 = -0*l. Suppose 3*d + 3*k + 96 = 1764, -1147 = -2*d + f*k. Does 17 divide d?
True
Let a(y) = -9*y**2 - 598*y - 254. Does 11 divide a(-54)?
False
Let c(t) = -t**3 - t**2 - 2*t - 6. Let a(j) = -2*j**2 + 1. Let d(k) = -2*a(k) - c(k). Is d(-4) a multiple of 3?
True
Is (-25 - (-26 + 2)) + -579*51/(-1) a multiple of 24?
False
Suppose -3*m = 4741 + 2030. Let s = -1612 - m. Suppose s = 26*f - 23*f. Does 63 divide f?
False
Let k(f) = -f**2 + 4*f + 14. Let l = 109 - 103. Let w be k(l). Suppose b - 4*j - 43 - 45 = 0, 5*b - 476 = w*j. Does 48 divide b?
True
Suppose 5*s = -2*v + 6734, -19*s - 13490 = -4*v - 18*s. Suppose 0 = -9*w + v - 249. Is 4 a factor of w?
False
Let v(x) = -x**2 + 12*x - 12. Let o be v(7). Suppose -2*i = -8, -2*g = -3*g - 2*i + o. Let z = g - 2. Is z a multiple of 3?
False
Let f = 1310 + 2860. Is 10 a factor of f?
True
Let d = 111456 + -79237. Does 13 divide d?
False
Let o(u) = 18*u**2 + 60*u + 72. Does 20 divide o(-26)?
True
Suppose -11*a = 6547 - 156. Let n = a + 2068. Is 46 a factor of n?
False
Let a = -128 + 168. Does 13 divide -1 + (3/15 - (-8912)/a)?
False
Suppose 3*q + 2 = 2*n, 11 + 7 = -q + 5*n. Suppose 4*f + 48 = 9*c - 5*c, -c - q*f = 3. Is 7 a factor of c?
True
Suppose 4*q + 102 + 1098 = -a, -2*q - 582 = -4*a. Let d = 503 - q. Is d a multiple of 32?
False
Let p(d) = d**3 + 16*d**2 + 17*d + 20. Is 3 a factor of p(-11)?
True
Is 5 a factor of ((-12)/10)/((-54)/(-135)) + (-15363)/(-1)?
True
Let l(k) = 9*k + k - k**2 - 2*k - 4*k + 39 + 2*k**2. Is l(17) a multiple of 6?
True
Let q(w) = -w**2 + 6*w - 5. Let u be q(4). Let k be 0 - (19 - (u + -3)). Let x = 31 + k. Is x a multiple of 12?
True
Let b(d) = d**2 - 44*d + 38. Let u be b(47). Let i = 230 + u. Is 8 a factor of i?
False
Suppose -172*g - 102980 = -182*g. Does 19 divide g?
True
Suppose -30 = f + 5*g - 144, -4*f + 3*g = -571. Suppose 0 = 8*i - f - 1781. Does 24 divide i?
True
Let u(z) be the first derivative of -z**2/2 - 3*z - 40. Let f be u(-5). Suppose -206 = 4*a + 3*w - 589, f*w = a - 104. Is a a multiple of 19?
False
Let f = 7649 + 3997. Is f a multiple of 20?
False
Suppose 99*b = 108*b - 84249. Is 13 a factor of b?
False
Suppose 3*r - 8 = 2*w, 4*r = 4*w - 3*w + 9. Let p(v) = v**2 - 5*v + 2. Let l be p(r). Is 6 a factor of (24 - -3)*l/(-6)?
True
Suppose 5*r + p = -2*p + 72, 8 = -r + 5*p. Let t(y) = -r + 0 + 0*y - 5*y. Is 7 a factor of t(-4)?
False
Let y(r) be the third derivative of -8/3*r**3 + 1/60*r**5 + 0*r + 0*r**4 - 18*r**2 + 0. Is y(-10) a multiple of 28?
True
Let a be (165/(-44) - (-3 - -1))*8. Let w(h) = 81*h + 60. Let q(s) = -23*s - 17. Let g(r) = 18*q(r) + 5*w(r). Is 11 a factor of g(a)?
False
Let d = 486 + 278. Let q = d + -374. Is 8 a factor of q?
False
Suppose -20 + 6 = -2*j. Suppose 0 = 8*v + j*v - 2340. Is v a multiple of 39?
True
Suppose -76*v + 17*v + 200836 = 0. Is 46 a factor of v?
True
Let c(x) = x**3 + 105*x**2 + 342*x + 310. Is c(-97) a multiple of 24?
True
Let d(x) = 6810 - 13*x - 6823 - 9*x + 6*x. Let f(g) = -2*g - 3. Let s be f(6). Is 16 a factor of d(s)?
False
Let k(r) = 9*r**2 + 68*r - 47. Is k(-25) a multiple of 7?
True
Let x = 25443 + -24293. Does 5 divide x?
True
Let j(m) be the first derivative of 2*m**3/3 + m**2/2 - m - 9. Let r be j(-2). Suppose 4*d = -3*a + 68, -5*a - r*d + 67 = -2*a. Is 8 a factor of a?
True
Let j = 15 - -1. Let v be (-1)/(-1 + j/20). Suppose -v*p = -5*t + 200, -4*p - 21 = 3*t - 148. Is t a multiple of 23?
False
Let v = -1518 - -1526. Is 2 a factor of v?
True
Let v = 15453 + 4031. Does 11 divide v?
False
Let z(a) = 6*a**2 - 244*a + 196. Does 192 divide z(-42)?
False
Let c = 1762 + -1070. Suppose 0*r - c = -2*g + 4*r, 0 = -g + r + 349. Is g a multiple of 39?
False
Suppose -5*a + 2*p = -52, 33 = 3*a + 3*p - 6*p. Is 8 a factor of (27 - 3)*-1*a/(-15)?
True
Suppose -111*h + 110*h = 3*m - 15300, 3*m + 61275 = 4*h. Does 15 divide h?
True
Let m(r) = -2*r + 4. Let u(i) = 2*i - 6. Let a(s) = 6*m(s) + 5*u(s). Let t be a(-5). Suppose 3*g - 9 = 0, 0*w + w - t*g = 151. Does 21 divide w?
False
Let q be 4 - (3 - 3) - -1. Suppose -210 = -4*t - q*r, 2*t - 3*r = -5*r + 106. Is 17 a factor of t?
False
Let x(a) = -a**3 + 8*a**2 + 2*a - 59. Let s be x(7). Is 5 a factor of -6*(-1 - (s/(-6) + 3))?
True
Let a = -197 - -206. Suppose 11*n - a*n - 270 = 0. Is n a multiple of 22?
False
Suppose 0 = -5*q + 5*g - 265, -g = -0*q - 2*q - 109. Let p = q - -265. Does 19 divide p?
True
Let x = -170 - -620. Suppose x = 6*j - 90. Does 11 divide j?
False
Suppose -2*q + 212 = 50. Let m = q + 148. Suppose 2*n - 2*c = -37 + m, n - 3*c = 90. Is n a multiple of 9?
True
Let m be 12/(-9)*(-6 + -33). Suppose 42*g = m*g - 3500. Is g a multiple of 50?
True
Let n be 1 + (1 - -2 - -134). Suppose -855 + 277 = -4*c + 5*o, 0 = -c - 2*o + n. Does 22 divide c?
False
Is 38 a factor of -8 + (-479916)/(-126) - (-6)/(-7)?
True
Let k(d) = 74*d + 8. Let i be (-3 - -4)*-5*(-8)/10. Suppose -4*p - m + 3 = -3*p, 10 = i*p + 2*m. Is 41 a factor of k(p)?
False
Suppose 12654 = 10*c - 0*c - c. Does 19 divide c?
True
Let i(v) = -25 + 6*v**2 + 6*v**2 - 25 - 28 - 16*v. Is 18 a factor of i(-7)?
False
Suppose -5*i + 25 = 0, -6 = -d + 3*i - 13. Suppose -7*n + d*n - 32 = 2*f, -3*n + 114 = 3*f. Is 7 a factor of n?
False
Let t = 915 + -1070. Suppose 0 = 3*m - 508 - 269. Let n = m + t. Is n a multiple of 26?
True
Let s = -10480 - -17971. Is 11 a factor of s?
True
Does 282 divide (4 - -4