= -1815*n + 557. Does 76 divide h(-4)?
False
Suppose 3*m - 238 = -2*h, -5*h + 4*m + 595 = 3*m. Suppose 0 = 13*y - 37 - h. Is 7 a factor of y?
False
Let w = 9340 + -8725. Is 6 a factor of w?
False
Suppose 22*m + 8*m = -30. Let y(v) = -296*v**3 - 4*v**2 - 4*v + 1. Is 7 a factor of y(m)?
False
Suppose -5*n + 0*n - 290 = 0. Let z = 123 + n. Suppose 4*l - 255 = z. Does 40 divide l?
True
Does 185 divide 754/4147 - ((-69164)/22 + -1)?
True
Suppose 0 = 4*d - 12*c + 13*c - 21411, d - 5367 = -5*c. Is d a multiple of 24?
True
Suppose 2710 = -55*b + 60*b. Let z = b + -509. Does 23 divide z?
False
Let f be ((-8)/24)/(4/(-468)). Is 5 a factor of 2*(f/6 + (-12)/6)?
False
Let x(s) = s**2 + 21*s + 57. Let q be x(-18). Suppose q*i = 1603 + 329. Is 46 a factor of i?
True
Suppose 50*n + 59467 + 5233 = 0. Let k = 2389 + n. Is k a multiple of 27?
False
Suppose 245*k - 1005518 + 187162 = 1423394. Does 30 divide k?
True
Let k(h) be the first derivative of -h**4/4 + h**3 + 7*h**2 + 2*h + 15. Let w be k(7). Is (-5312)/w + (-2)/(-3) a multiple of 56?
True
Let n(w) be the first derivative of 2*w**3 - 6*w**2 + 36*w + 1. Suppose 0 = 4*d - 4*v - 32, d = 4*v - 2*v + 10. Does 12 divide n(d)?
True
Let y = 2920 + -2029. Let g = -626 + y. Is 36 a factor of g?
False
Suppose 46*z = -26*z + 46*z + 450060. Is z a multiple of 49?
False
Suppose 13 = w + 7. Let z(u) = 12*u + 12*u + u - 14 - 15 + 5. Is 7 a factor of z(w)?
True
Let b(f) = -f**3 - 2*f**2 + 5*f + 3. Let p(v) be the third derivative of -v**5/10 - v**4/4 - v**3 - 26*v**2. Let t be p(-1). Is b(t) a multiple of 27?
False
Suppose -2*o = a - 0*a - 6, 5*a = -4*o + 18. Suppose 2*b + o = -16. Is 0*4/(-8) + (0 - b) even?
False
Let k(h) = 2*h**2 - 23*h - 89. Let v = -265 - -254. Is 14 a factor of k(v)?
True
Let y(i) = 36 - 10 - 252*i - 2*i**2 + 271*i. Is y(8) a multiple of 5?
True
Let v be (1 - (3 - (-3 + 4)))*-7. Suppose 4 = -s + v. Suppose s*u - 691 = -3*t - 52, 4*t = 5*u - 1083. Is u a multiple of 39?
False
Let j(t) = t**2 + 9*t + 554. Is j(-46) a multiple of 8?
True
Let c = -446 - -758. Suppose 36 = -3*z - c. Let f = 199 + z. Is 5 a factor of f?
False
Let x(q) = q + 13. Let u be x(11). Suppose 3*r + 42 - u = 0. Let p(y) = 3*y**2 + 9*y + 1. Does 10 divide p(r)?
False
Let g be 10 + 443/(-5) - 2/5. Let b = -14 - g. Does 21 divide b?
False
Let m(r) = 45*r**2 + 10*r + 56. Is m(12) a multiple of 52?
True
Is 152 a factor of (-2 - -17) + 123903/39?
True
Suppose -31*d + 262266 - 35718 = 0. Is d a multiple of 18?
True
Suppose -5*b + 43 - 17 = j, 2*b - 4*j = 6. Suppose 2*g + b = -1. Does 5 divide 3*((-11)/g - -3)?
True
Let l = 179 + -174. Does 6 divide -4 + (l - -40) + 1?
True
Let g(t) = 3*t**2 + 14*t + 3. Let y be 6 - 1 - (-23 + 21). Does 9 divide g(y)?
False
Let p = 665 + -107. Suppose 555*a + 2082 = p*a. Does 8 divide a?
False
Let g = -8634 + 20312. Is 144 a factor of g?
False
Is -1318*18/(-12) + 3 a multiple of 5?
True
Let n(q) = -q**3 + 3*q**2 + 41*q + 8. Let d be n(-5). Suppose 625 + 203 = d*k. Is 6 a factor of k?
True
Suppose 8*j = j + 3829. Suppose -1070 = -3*n + j. Is 11 a factor of n?
True
Let a(l) = l**3 - 3*l**2. Let m be a(-5). Suppose -48 = 2*g - 0*k - 4*k, -2*g = 3*k + 13. Is 14 a factor of (-8)/28 + m/g?
True
Let i(m) = -59*m + 644. Let g be i(11). Let k(u) = -2*u**3 + 4*u - 3. Let t be k(2). Let l = g - t. Is 6 a factor of l?
True
Suppose -4*o + 40 = -5*q, 7*q - 4*q + 32 = 4*o. Suppose -4*l = -4*x - 36, l - o*x + 10 + 1 = 0. Does 8 divide (-4)/14 + 1082/l?
False
Let v(k) = -2503*k - 1754. Is v(-2) a multiple of 4?
True
Let t = -63086 + 142066. Is 359 a factor of t?
True
Suppose -17*y + 444 = -20*y. Let h = 16 - y. Does 6 divide h?
False
Suppose -3*h + 3*r = -4419, -7365 = -19*h + 14*h - 3*r. Is 58 a factor of h?
False
Let x(d) = 3*d**2 + 147*d - 3461. Is x(-90) a multiple of 4?
False
Suppose 5*m + 1926 = 91. Let c = m - -506. Does 5 divide c?
False
Is (6*210/(-40))/((-6)/256) a multiple of 28?
True
Let v = -270 + 278. Let o(q) = 18*q - 87. Does 6 divide o(v)?
False
Let i(m) = -m**2 + 5*m + 19. Let z(o) = o**2 - 6*o - 20. Let b(x) = 4*i(x) + 3*z(x). Let w be b(5). Let g(l) = 29*l**2 - l. Does 14 divide g(w)?
True
Let g(i) = i + 8*i**3 + 5*i**2 - 8*i**2 - 2 + i + 13. Let n(j) = -12*j**3 + 5*j**2 - 3*j - 16. Let w(v) = 7*g(v) + 5*n(v). Is w(-3) a multiple of 18?
True
Let d(n) = -n**3 + 8*n**2 + 4*n - 3. Let h be d(8). Let w = -29 - -45. Let o = h - w. Is 13 a factor of o?
True
Let h = -101 + 218. Suppose 0 = -4*t + h + 11. Is 5 a factor of t?
False
Let m(b) = b**2 - 6*b - 73. Let t be m(22). Suppose 224*h - 233*h + t = 0. Is 3 a factor of h?
False
Let f(b) = 10*b - 180 - 2*b**2 + 243 + 8*b**2. Is 17 a factor of f(-4)?
True
Let p = -33156 + 103693. Is p a multiple of 25?
False
Let r be (-133)/((-3)/9*3). Let s = 324 - r. Is s a multiple of 11?
False
Let g(o) = -o**3 + 8*o**2 + 9*o + 11. Let c be g(9). Let j(x) = -4*x + 46. Let f be j(c). Suppose 0 = -z + 2*h + 122, -f*h - 16 = -6*h. Is z a multiple of 44?
False
Suppose 945 - 39 = -3*b. Let o = 776 + b. Does 33 divide o?
False
Suppose -10*r = -12*r - 3*k + 1806, 5*k - 10 = 0. Is r a multiple of 24?
False
Let z(r) = -r**2 - 5*r + 3. Let j(y) = -2*y**2 - 10*y + 7. Let s(i) = 4*j(i) - 9*z(i). Suppose 2*f - 10 = 0, -h + f = -4*f + 31. Does 2 divide s(h)?
False
Suppose -2891 - 8477 = -29*m. Is 4 a factor of m?
True
Let o(b) = -230*b + 5021. Does 141 divide o(-83)?
True
Let t be 99462/110 + (-8)/(-10). Does 17 divide (-3)/(0 - 30/6)*t?
False
Let v be 12/30*5 - (0 + -26). Suppose 0 = -v*g + 45*g - 5916. Does 29 divide g?
True
Suppose 6*a - 569 = 1231. Suppose -g + 4*w - 297 = 7*w, g + a = -4*w. Let p = g - -424. Is 10 a factor of p?
False
Suppose -18*c + 38101 + 11263 = 10*c. Is c a multiple of 13?
False
Suppose -656 = -6*p + 4006. Suppose -20*t = -13*t - p. Does 11 divide t?
False
Let q(i) = 5*i + 6 + 4*i**2 + i**3 - 4*i**3 + 4*i**3 + 0*i**3. Let s be q(-2). Suppose -8 = s*o, 5*m - 2*o - 502 = -o. Is m a multiple of 25?
True
Suppose -123 = 10*u - 163. Suppose 3*h + 2*w - u*w - 288 = 0, 5*h - 4*w - 480 = 0. Is h a multiple of 24?
True
Suppose -5*f - 280 = -v, 2*v - 2*f - 536 = 2*f. Suppose -311*g + v = -306*g. Is g a multiple of 10?
False
Suppose -4*z - 33397 = -k + 31341, -4*k = 8. Is 18 a factor of (18/5)/((-39)/z)?
True
Let k = -350 - -364. Suppose 4*a - 247 = -t, k*a + 5*t = 9*a + 290. Does 3 divide a?
True
Let f(n) = -6955*n - 495. Does 17 divide f(-1)?
True
Suppose 263*s - 28 = 265*s. Does 85 divide 2264/18 + (0 - s/63)?
False
Let t be (4/(-3))/(26/(-78)). Suppose -t*g - 4*k + 425 = -35, -470 = -4*g + k. Is g a multiple of 3?
True
Let w(m) = 838*m - 1767. Is 6 a factor of w(5)?
False
Suppose 0 = -988*j + 1036*j - 411600. Is 35 a factor of j?
True
Let k be -473 + (49/(-7) - -8). Let b = 543 + k. Is b a multiple of 3?
False
Suppose o = 50 - 50. Does 2 divide 29 + -3 + 3 + o?
False
Let g(o) = -327*o - 239. Is 7 a factor of g(-5)?
False
Let y = 319 + -532. Let o = y - -377. Is o a multiple of 21?
False
Let f be ((-996)/(-6))/(6/(-120)*-5). Let b = -256 + f. Is b a multiple of 24?
True
Suppose -6*b + 52875 = 5*a, -7*b = -3*b - 20. Does 64 divide a?
False
Let x(p) = -4*p**3 - 26*p**2 + 47*p + 2. Is 47 a factor of x(-16)?
False
Suppose 40*v - 31*v - 23*v = -571452. Is v a multiple of 201?
False
Let r be (0 - -2)*(2 - (-6)/(-2)). Let z be (-1)/r - 17/2. Is 20 a factor of 40/(-1)*z/(48/15)?
True
Suppose 32 = 3*y + 4*t, 3*y + 0*y = 3*t + 39. Suppose -y*m = -526 - 518. Does 42 divide m?
False
Let c = -2845 - -8532. Is c a multiple of 14?
False
Let t(p) = 660*p**2 + 16*p - 35. Is 14 a factor of t(7)?
False
Suppose -2*f = -4*f + 236. Let g = -754 + 662. Let d = f + g. Is 26 a factor of d?
True
Suppose -3*w = -3*q - 582, -3*q = 4*w - 8*w + 773. Suppose 193*y - 352 = w*y. Is 6 a factor of y?
False
Suppose 0 = 2*z - 2*r - 586, 76*z + 1152 = 80*z + r. Is 17 a factor of z?
True
Suppose 37*z + 2*l + 34040 = 42*z, 8*z - 54500 = -4*l. Is z a multiple of 4?
False
Suppose 23688 = 2*z - 4*r, 5*z - 88566 = 5*r - 29346. Does 141 divide z?
True
Suppose 8*j - 20 + 20 = 0. Suppose 3*c - 411 = -j*c. Is 10 a factor of c?
False
Suppose 74 = 3*g - 55. Suppose -c + 40 = g. Does 25 divide ((-132)/2)/c - -3?
True
Suppose -5*v = -4*o - 220332, 4*v - 115911 = 4*o + 60361. Is v a multiple of 20?
True
Suppose 975*