 + 110 = 5*g. Does 8 divide g?
True
Suppose -10*g = -9*g + 8. Let y be (-938)/(-8) - 6/g. Suppose -3*p + 173 = -y. Does 33 divide p?
False
Let n = -1592 + 3019. Is n a multiple of 59?
False
Let w = 46 + -306. Let q be (4/10)/(4/w). Is -2 + 1 - 0 - q a multiple of 11?
False
Let h be 20/(-50) + (-76)/10. Is 24*h/(-12)*6 - -4 a multiple of 21?
False
Let f be -3 - (-3)/(6/16). Let a(o) = o**2 - 8*o + 11. Let u be a(f). Is 9 a factor of (-196)/(-11) + u/(-22)?
True
Suppose 11*u = 10*u - w + 481, 4 = 4*w. Is u a multiple of 30?
True
Suppose -17*k + 10*k = -35. Suppose 54 = -k*t + 314. Is t a multiple of 24?
False
Let m(t) = -4*t - 15. Let c be m(-12). Suppose -c*l + 35*l - 122 = 0. Is 13 a factor of l?
False
Suppose -37 = 4*d - 25. Let a be -10*(-2 - (-21)/(-2)). Is 8 a factor of 2/(a/(-45) - d)?
False
Let d(n) = -n + 7. Let q(i) = i - 8. Let c(a) = -7*d(a) - 6*q(a). Let l = -6 - -12. Is 2 a factor of c(l)?
False
Suppose -37 = 2*z - 5*s - 4, -9 = -3*s. Let h(a) = -a**3 - 10*a**2 - 9*a + 18. Is 9 a factor of h(z)?
True
Let j(g) = 2*g**2 + 10*g. Let u be j(-5). Suppose -54 = -0*i - 2*i + 4*v, 4*i - 5*v - 117 = u. Let c = -11 + i. Is 9 a factor of c?
False
Let j(d) = -d + 16. Let q be j(11). Suppose x - 41 = q*h, 4*x = 4*h + 17 + 83. Is x a multiple of 7?
True
Let o(c) = -2*c**3 - 3*c**2 + 2*c + 3. Let m(u) = u**3 + 7*u**2 + 6*u - 3. Suppose -7*n = -2*n + 30. Let i be m(n). Is 8 a factor of o(i)?
True
Does 38 divide (-18)/54 - (-2515)/3?
False
Let t(n) = n**3 - 9*n**2 + 5*n - 21. Let f be t(9). Suppose -70 = -l - f. Is 6 a factor of l?
False
Suppose 0 = f - 0*f. Let y = -38 + 43. Suppose 25 = y*o, -4*b + f*b = 3*o - 51. Is b a multiple of 9?
True
Let h = 1051 - 520. Is 6 a factor of h?
False
Suppose -44*g + 136 = -40*g. Is 17 a factor of g?
True
Let c(s) = 120*s - 450. Is c(16) a multiple of 21?
True
Let q = 152 - 102. Let m = q - 31. Does 5 divide m?
False
Suppose 2*s - m - 807 = 0, 0 = -5*s - 3*m + 3284 - 1239. Is 29 a factor of s?
True
Let x(g) = -8*g**3 + g**2 - 1. Let k be x(-1). Let n = k + -5. Suppose 0 = -b - n*b + 12. Is b a multiple of 3?
True
Is (-56 - -46)/(-1*1) even?
True
Let d(b) be the second derivative of 91*b**5/20 + b**4/6 - b**2/2 + b. Does 19 divide d(1)?
False
Suppose d + 4*g - 28 = -d, 5*g = 3*d + 13. Suppose -d = -v + 4. Is v a multiple of 8?
True
Let z be (9/(36/(-16)))/(-1). Suppose 2 + z = 2*l. Suppose -l*p = -10*p + 588. Does 14 divide p?
True
Suppose a - 29 - 926 = 3*m, -2*m = -a + 950. Does 16 divide a/18 + ((-56)/36)/7?
False
Suppose -2*m + 3*k + 193 = 0, -5*m + 83 = 3*k - 347. Is 10 a factor of m?
False
Suppose 3*r - 20 = 1. Is (-2 - -6)/(r/14) a multiple of 3?
False
Let w = 78 - 89. Let f(g) = -g**3 - 9*g**2 + 20*g - 1. Is 3 a factor of f(w)?
True
Suppose -5*o + 23 + 7 = 0. Let b be (-180)/o - (-2)/(-1). Does 4 divide b/(-6) + (-12)/(-18)?
False
Suppose 3*y + 10 - 25 = 0. Let a(c) = 15*c - 10. Is 13 a factor of a(y)?
True
Let f be (1 - -1)/(-3 + 5). Let c be (f + -2)/(5/10). Is 5 a factor of c + 5 - 12*-1?
True
Let k(l) = l**2 + 24*l + 917. Is 19 a factor of k(0)?
False
Let u(b) = -4*b + 14. Let v be u(5). Is ((-1 - 179)/2)/(v/8) a multiple of 20?
True
Let p(b) = b**3 + 3*b**2 - 20*b - 20. Let i be p(-8). Let c = i + 435. Does 15 divide c?
True
Let x = -286 - -517. Suppose 0 = -4*z - 2*h + 502, 0 = 2*z - h - 2*h - x. Is z a multiple of 26?
False
Let l(f) = -21*f - 2 - 16*f**2 + 10 - f**3 + 0. Is l(-15) a multiple of 24?
False
Let g be 3 + (-9)/3 - -10. Suppose -3*n + g = 5*t, -2*n - 9*t + 5 = -4*t. Suppose 3*q + 6 = 0, -c + n*c - 4*q - 360 = 0. Is 27 a factor of c?
False
Is 17 a factor of (4100/8)/5 + (-1)/2?
True
Suppose -3*w + 6*k + 1635 = 7*k, -3 = -k. Does 68 divide w?
True
Suppose 0 = 6*r - 2*r - 3*k - 42, -3*k + 30 = 4*r. Let g(v) = 22*v - r*v - 1 - 3 - 4. Is 22 a factor of g(4)?
True
Suppose 0*h + 2*d + 1326 = 5*h, -5*h = d - 1332. Is 9 a factor of h?
False
Suppose -5426 = -2*m + 2*l, -35*m + 37*m = 3*l + 5425. Is m a multiple of 46?
True
Suppose 3 = -5*w - 42. Does 19 divide (w/(-3))/3 + (-8 - -102)?
True
Let w be 2/(-6) - 3/(-9). Suppose w = 2*d - 103 - 19. Is d a multiple of 15?
False
Let h = -1 + 6. Suppose 0 = 2*z + 4*c + 84, -2*z + c = -h*z - 136. Let o = z - -81. Is o a multiple of 21?
False
Suppose 4*p + 72 + 46 = 2*w, 3*p = 5*w - 274. Suppose -3*u + 3 = -6, -u - w = -4*k. Is 14 a factor of k?
True
Suppose 75*q - 8140 = 40910. Is q a multiple of 34?
False
Suppose b = 6 - 1. Let g(p) = 0 - 10 + 0*p**2 - p**2 + 2*p**2 + b*p. Is 10 a factor of g(-10)?
True
Suppose -4*n - 2 = 14. Let a be (n/(-2))/(-4 + 3). Is 15 a factor of (-1 - a) + (29 - 0)?
True
Let h = 501 + -344. Is 5 a factor of h?
False
Suppose 0 = 15*w + 3*w - 2916. Does 43 divide w?
False
Let d = -27 - -126. Is 33 a factor of d?
True
Let m = 82 - 65. Suppose -m*d + 12*d = -35. Does 2 divide d?
False
Is 16 a factor of (-4)/2 - (-3619)/((-7)/(-1))?
False
Suppose 109*u + 51828 = 123*u. Does 93 divide u?
False
Let s(o) = -o**3 + 11*o**2 + 15*o - 18. Let d be s(12). Suppose 23*r = d*r + 245. Is r a multiple of 13?
False
Let o = -89 - -43. Let v = o - -70. Does 4 divide v?
True
Is 2 a factor of 12/(-36)*447/(-1)?
False
Let a = 80 + -73. Suppose -605 = -a*k + 263. Is 7 a factor of k?
False
Suppose 0 = q - 4*q + 3*i + 15, 0 = 4*i. Is 5 - q - -1*282/3 a multiple of 15?
False
Let q(r) = -2*r**3 + 24*r**2 - 11*r + 9. Does 13 divide q(10)?
True
Suppose 1120 = 2*s - 4*m, 4*s + m - 1091 = 1131. Is 4 a factor of s?
True
Let d be 2/((-10)/15) + -1*1. Is 23 a factor of (-4 - -112) + d/(-2)?
False
Let h(q) = -q - 3. Let l be h(-11). Let y be (l/6)/(4/(-12)). Does 17 divide -2 - ((-240)/y)/(-3)?
False
Let p be (-38)/(-10) - (-2)/10. Suppose 0 = 7*m - 18*m. Suppose m = -2*g + 6 + p. Does 3 divide g?
False
Let w(k) = -6*k - 1 + 7*k - 2 + 0*k. Let j be w(-9). Is (-2)/(-8) + (-633)/j a multiple of 22?
False
Suppose q + x - 527 = -q, -x + 791 = 3*q. Suppose -q = -4*j - 0*j. Is 5 a factor of j?
False
Let o(k) = -7*k - 9. Suppose 8*m = 11*m + 18. Does 11 divide o(m)?
True
Let t(c) = c**2 - 6*c - 33. Is 17 a factor of t(-9)?
True
Let t(f) = 4*f**2 - 30*f + 56. Is t(13) a multiple of 37?
False
Let q = -13 + 9. Let u be q/(-6)*(-18 + 6). Let x(v) = -4*v - 10. Does 11 divide x(u)?
True
Suppose 8 = t + k, 0*t + 5*k = 2*t - 16. Let w = 127 - t. Is w a multiple of 17?
True
Suppose -3*y = -3*x + 2*x - 222, 0 = 5*y - 2*x - 369. Let o be y/(-2)*(-68)/6. Suppose -560 = -5*d + 5*j, 4*d = -2*j + 11 + o. Does 22 divide d?
True
Let k = -724 + 1088. Is k a multiple of 10?
False
Let i(v) = -7*v - 13. Let s be i(-11). Suppose -3*u = r + 12 + 4, -s = 4*r + u. Is 13 a factor of 238/18 - r/(-72)?
True
Let q(o) = o + 1. Let l(r) = -r - 3. Let h(d) = l(d) - 4*q(d). Suppose 3*k + 8 = 2*a + 1, -k + 3*a + 7 = 0. Is 11 a factor of h(k)?
False
Let a be 6/8 - 10278/(-24). Let d = -301 + a. Is 32 a factor of d?
True
Suppose 42*j = 29*j + 1430. Is 7 a factor of j?
False
Let f(z) = -365*z - 39. Is f(-3) a multiple of 32?
True
Let x(v) = -2*v**2 + 2*v + 25. Let b = 45 + -45. Is x(b) a multiple of 4?
False
Let w be 18/(-30) - (-47)/(-5). Let n = -12 - w. Does 2 divide n/12 - 39/(-18)?
True
Let m(l) = l + 10. Let b be m(-7). Suppose -3*q + 2*h = -40, 8*h = b*h - 25. Is 4 a factor of (12/q)/(12/80)?
True
Suppose 820*v + 1098 = 822*v. Does 3 divide v?
True
Let u = -28 - -27. Let v(x) = -203*x - 3. Is 26 a factor of v(u)?
False
Let b = -29 - -33. Suppose b*c + 292 = 3*z, -2*z + 2*c + 229 - 35 = 0. Is z a multiple of 16?
True
Let g(j) = -j - 20. Let h be g(-9). Let w be h/(-2)*(13 - 1). Suppose -3*s - 5*y = -66, -2*s + 5*s = 4*y + w. Is 9 a factor of s?
False
Let t(d) = -d**3 - 2*d**2 + 3*d + 2. Let z(w) = -w**2 + w + 3. Let o be z(-2). Let v be t(o). Suppose 2*m = -v*m + 204. Is m a multiple of 17?
True
Suppose -267 - 63 = 5*f. Let c = -42 - f. Is c a multiple of 6?
True
Suppose -2*v = -f - 162 - 248, v - f = 206. Is 2 a factor of v?
True
Let t = 12 - 5. Suppose 6*o = t*o - 3. Suppose -o*c + 9 = r + r, 3*r - 46 = 2*c. Is r a multiple of 4?
True
Suppose -p - 3*q = 3, -13*q = -4*p - 17*q + 28. Is 4 a factor of p?
True
Suppose 4 = b - 5*b, -v = 4*b. Let k(a) = a**2 + 8*a + 5. Let j be k(-8). Suppose -35 = -v*z + j. Does 8 divide z?
False
Let s(g) = 14*g**2 + 18*g + 8. Is s(-4) a multiple of 7?
False
Let u(d) 