 = -9*m - 75834. Is 32 a factor of (90/60)/(9/m)?
False
Suppose -176052 = 120*j - 1252531 - 1109441. Does 6 divide j?
True
Suppose -58*f - 432450 = -89*f. Is 19 a factor of f?
False
Let f = -1693 + 19386. Is 71 a factor of f?
False
Let o(x) = -x**2 - 28*x - 25. Let t be o(-11). Suppose -t = 12*h - 5046. Is h a multiple of 23?
False
Let b(q) = q - 17. Let k be b(24). Suppose k*u = 2975 + 287. Does 6 divide u?
False
Suppose -129800 = -14*k - 2*i, 2*i - 46361 = 20*k - 25*k. Does 73 divide k?
True
Suppose 7*r = 88 + 24. Suppose -r*l + 27*l - 1496 = 0. Let g = -63 + l. Is 9 a factor of g?
False
Let i(n) = 32*n + 4. Let r(o) = -o**3 - 17*o**2 - 18*o - 27. Let c be r(-16). Suppose -c*f + 10*f = 5. Is i(f) a multiple of 3?
True
Let v(h) = 1433*h**2 - 77*h + 228. Is v(3) a multiple of 9?
False
Let p = 440 - 420. Suppose -6*r + 6188 = p*r. Is r a multiple of 14?
True
Let u = 2723 - 986. Suppose 3*m + 41*b = 38*b + 5211, -u = -m - 4*b. Does 17 divide m?
False
Suppose -2 = 24*y - 26*y. Let x be (-1)/y + (-2 - -4 - 1). Suppose x*c = c - 187. Is 28 a factor of c?
False
Let j(f) = 866 + 3*f - 2*f - 1740 + 2*f**2 + 862. Let a = 11 - 6. Is 15 a factor of j(a)?
False
Let g = 484 - 900. Does 19 divide ((-127192)/g)/(2/8 - 0)?
False
Suppose 45*v - 116074 = -18154. Is v a multiple of 27?
False
Let k be ((-184)/6 + 6)*(-39)/2. Let w = k - 253. Is w a multiple of 38?
True
Let m = 559 - -1008. Is 10 a factor of m?
False
Suppose 0*g = 2*g + n + 152, -3*n - 222 = 3*g. Is 50 a factor of 6613/11 + g/429?
False
Let h(b) be the third derivative of 39*b**6/40 + b**4/12 + b**3/6 + 17*b**2. Let j be h(-1). Is j/(-5) + (-6)/(-15) a multiple of 8?
True
Suppose 0 = -7*h + 6 + 8. Let f(o) = -46*o**h + 15*o**2 - 25*o + 16*o**2 + 14*o**2 + 8. Is f(-20) a multiple of 27?
True
Let a(z) = -8*z + 49. Let d = 119 - 113. Let s be a(d). Is 18 a factor of s/(8/28)*38?
False
Let g(w) = 63*w**2 + 202*w + 619. Does 10 divide g(-3)?
True
Let m = -13259 - -21084. Is 15 a factor of m?
False
Let d(h) = 0 - 937*h**2 + 8 + 925*h**2 - 12*h + 3*h**3. Is 8 a factor of d(6)?
True
Let c(w) = 3*w**2 - 10 + 4*w**3 - 9*w**2 + w**2 + 12. Is c(3) a multiple of 10?
False
Suppose 0 = 28*v - 581 + 189. Suppose -9*c + v*c = 1880. Does 47 divide c?
True
Let a be (-1846)/26 + 2*1. Let h be -1*(-4 + 7 + a). Let c = h - 42. Is 11 a factor of c?
False
Let q(d) = 3*d**3 + 159*d**2 - 176*d - 35. Is 33 a factor of q(-54)?
False
Suppose 2054 = 11*j - 388. Suppose 0 = 3*t - j - 375. Does 9 divide t?
False
Let m be 1/6 - 269/(-6). Let h be (m/(-18))/((-1)/2). Suppose j = h*q + 58, -4*q - 54 = 4*j - 190. Is 4 a factor of j?
False
Let u(d) = 9091*d**2 + 3*d + 2. Does 230 divide u(-1)?
False
Suppose -4*d - 110 = h, 3*h = h + 5*d - 246. Let j = 88 + h. Is (2 - 3)/(4 + -1)*j a multiple of 5?
True
Let q = 41211 - 10034. Is 19 a factor of q?
False
Suppose 35*c = 50*c - 83*c + 76976. Does 24 divide c?
False
Let s = 657 + -1285. Let p = -433 - s. Does 15 divide p?
True
Suppose -5*v + 26*d - 24*d = -8050, 3*v - 4831 = d. Does 109 divide v?
False
Suppose -16 + 1 = -5*t - 5*j, -3*j + 13 = 5*t. Suppose 0 = 16*s + t*s - 3690. Is s a multiple of 13?
False
Let i(m) = -2*m + 25 + 8*m - 8*m + 2*m**2 + 17*m. Let d(x) = -3*x + 2. Let v be d(4). Is 25 a factor of i(v)?
True
Let d be (48/48)/((-1)/(-169)). Suppose d*l + 6084 = 181*l. Does 21 divide l?
False
Let w = -3864 + 4514. Is w a multiple of 25?
True
Let k(q) be the first derivative of 7*q**3/3 - 21*q**2/2 - 27*q + 190. Is k(-5) a multiple of 31?
False
Suppose -9*b - 10 = -4*b, -3*z + 5*b = -106. Let w = z + -27. Suppose -5*x + 31 = v, -3*x + w = 2*x. Is v a multiple of 7?
False
Let g(o) = 8*o + 237. Let z = 493 - 487. Does 7 divide g(z)?
False
Let l(h) = 12*h**2 - 36*h + 62. Is 14 a factor of l(25)?
False
Let o be ((-11079)/15 - -4) + 6/(-15). Is o*1/(-2)*(-4 - -6) a multiple of 49?
True
Suppose 0 = -p - x + 173 + 300, -3*p + 2*x = -1394. Is p a multiple of 4?
True
Let k = 5886 + -3818. Is k a multiple of 11?
True
Suppose 2*b = -4*d - 124, 3*d + 5*b + 20 = -87. Is (d + 1 + 0)*2/(-1) a multiple of 14?
True
Suppose -20 = 21*y - 25*y. Suppose -y*v = -19 + 9. Suppose 6 + 28 = v*d. Does 3 divide d?
False
Suppose -5*y = 2*x - 86749, 43357 = x - 1457*y + 1456*y. Is x a multiple of 18?
True
Suppose -16238 = 20*j + 442. Let c = -527 - j. Is 42 a factor of c?
False
Let g be (-60)/270 - (-8615)/9. Let j = g + -431. Is 68 a factor of j?
False
Let n(w) = 163*w - 8730. Is n(106) a multiple of 19?
False
Let m = -394 + 15580. Does 36 divide m?
False
Suppose -z - 45 + 49 = 0. Does 12 divide 21*(6/2 - (-3 + z))?
False
Let w = -9095 - -5948. Let z be w/(-15) + 1/5. Suppose -4*d + z = 2*n, -d - n + 73 = 19. Does 17 divide d?
True
Let u(x) = -6*x - 32. Let v be u(-6). Suppose -40 = -2*z + 3*o, -5*o = -v*z + 58 + 22. Is 8 a factor of z?
False
Suppose -2*r = 5*a - 20, -a - 5*r = -3*a - 21. Let y be -70 + 6 - (7 + 0). Is 20 a factor of (y/2*1)/(a/(-8))?
False
Let y(j) = -j**2 - 20*j + 25. Let f be y(-17). Let v = f + -9. Does 9 divide v?
False
Suppose 0 = -5*w - 4*n - 113, 19 + 50 = -3*w - 3*n. Is 31 - (w/(-126) - 2/12) a multiple of 3?
False
Suppose -3*h + 1776 = -3*p, 14*h - 12*h = -4*p + 1172. Suppose 5*z = -v + 1126, -5*z + 537 = 2*v - h. Does 25 divide z?
True
Suppose a = -s + 1793, -3*a + 5*s + 2091 = -3264. Is 40 a factor of a?
False
Let f(z) = -7*z**2 + 3. Let g be f(-3). Let c = -56 - g. Suppose 3*v - 45 = -5*r, 37 = c*r - v + 1. Is 3 a factor of r?
True
Let d = -246 + 249. Suppose 4*c - 129 = -1. Let l = d + c. Does 8 divide l?
False
Let h be (-6)/(-4) - 7/2. Let o be 2 - 168/(-2 - 2). Let n = o + h. Does 14 divide n?
True
Let m = -220 + 1133. Is m a multiple of 11?
True
Suppose 2*u + 2*u - 20 = 0, 0 = 2*v - 3*u + 7. Suppose -w + 11 = v*a - 12, 0 = 5*a - 4*w - 13. Suppose -a*d + 200 = 2*z, 4*z = -z. Is d a multiple of 4?
True
Suppose -m - 6 = x, -2*m - 1 = -3*x + 1. Let i be ((2 - 6) + 10)*(-1)/x. Does 12 divide (6 + 168/16)/(i/8)?
False
Suppose 2*t + 11 = 3*r, 0*r = 2*t - r + 9. Let x be 28/126 + (-3)/((-54)/t). Suppose -17*c + 9*c + 408 = x. Is c a multiple of 6?
False
Let n(y) = 6*y**3 - 2*y**2 - 3*y - 18. Let w(z) = -6*z**3 + z**2 + 3*z + 16. Let x(s) = 4*n(s) + 5*w(s). Is 9 a factor of x(-3)?
False
Let y = 2 + -9. Let t(i) be the third derivative of i**5/60 + 7*i**4/24 + 23*i**3/6 + 287*i**2. Is t(y) a multiple of 5?
False
Let s be (-6)/1 + (4 - 3) + -4. Is 47 a factor of 3 + (63072/(-8))/s?
False
Let m be 1448/(-6) + 31/93. Let o(c) = c**3 - 5*c**2 + 2*c + 2. Let h be o(-7). Let s = m - h. Is 17 a factor of s?
False
Let f(y) = -y**3 + 2*y**2 - 19. Let a be f(-5). Let u = a - 117. Is u a multiple of 3?
True
Let y be (0 + 2)/(36/54). Suppose y*g - 6*g + 5*p + 6678 = 0, 2*g = -4*p + 4474. Is g a multiple of 13?
False
Let b = -177 + 282. Does 4 divide (-97 - -1)*b/(-60)?
True
Let s be (-383)/(-2 - (-15)/10). Suppose -3*m + 5*o + 350 = -408, 0 = -3*m + o + s. Does 32 divide m?
True
Let i(r) = -11*r**2 + 4*r - 6. Let x(y) = 2*y**2 + 2. Let u(h) = i(h) + 6*x(h). Is 14 a factor of u(13)?
False
Suppose 9*m - 62 - 118 = 0. Suppose 5*f = -m, 4*r + 18*f = 14*f + 632. Is r a multiple of 9?
True
Let t(p) = p + 11. Let v be t(-9). Let f be (-122)/4*v/1. Let o = -6 - f. Is 23 a factor of o?
False
Let i(j) = -11*j + 2 - 4 - 5 + 8. Let w be i(-17). Suppose 12*f - 652 - w = 0. Is f a multiple of 13?
False
Suppose -2*g + 54 + 144 = 0. Suppose -5*t - 151 = 94. Let v = g + t. Does 5 divide v?
True
Suppose 0 = 6*c - 308 - 52. Suppose -c = 7*m - 1236. Does 56 divide m?
True
Suppose -3*t - 2 = -14. Suppose 3*n = n + 3*g + 6, -2 = -2*n + g. Suppose t*o + n*o - 216 = 0. Does 6 divide o?
True
Suppose -c - 3*r = 1, 0*r - 1 = c - r. Let s be 1 - -1*(2 + c). Suppose -50 = -s*b - 4*p, 0 = -3*b - 5*p + 4*p + 65. Does 3 divide b?
True
Let f = -1 + 6. Suppose -a - 742 = 4*a - v, 283 = -2*a + f*v. Let d = a + 233. Does 7 divide d?
True
Let b(p) = -p**3 + 3*p**2 + 2*p + 1. Let m be b(3). Let a(h) = 3*h**2 - 3*h - 10. Let s be a(m). Let v = s - 74. Is v a multiple of 5?
False
Suppose -4*v - 61 = 127. Let p = v - -495. Does 64 divide p?
True
Does 16 divide 5/(-10) + (-75474)/(-36)?
True
Let v(p) be the first derivative of p**3/3 - 7*p**2/2 + 3*p - 11. Let w be v(7). Suppose -w*o + 88 = r + 2*o, -r + 4*o = -115. Does 12 divide r?