 = 37 + -35. Let a(h) = -3*h**w + 4 + 7*h**2 - 2 + h**3 - 13*h**2 + 8*h. Is 32 a factor of a(10)?
False
Let o = 517 + -317. Suppose -31 + o = m. Let s = m - 96. Does 15 divide s?
False
Let z = -33851 + 59434. Is 21 a factor of z?
False
Let s = 85 + -85. Suppose p + 122 - 291 = s. Suppose -5*y = p - 504. Is y a multiple of 24?
False
Let b(n) = n**3 - 23*n**2 + 38*n + 1188. Does 29 divide b(34)?
True
Suppose -29308 = -2*d + 4*n, -7*d - 3*n - 43977 = -10*d. Does 78 divide d?
True
Let f(k) be the first derivative of -11*k**2/2 + 33*k + 30. Let p be f(-5). Suppose 0*z = 2*z - p. Is 8 a factor of z?
False
Suppose 4*w - 5*p = 71, 4*p + 0*p - 30 = -3*w. Let x be 79/((-2)/w + 16/14). Suppose 8*v = x + 121. Does 7 divide v?
False
Let l be -1 + -8 - (3 - 21/3). Is (-489)/(-9)*3 - l a multiple of 56?
True
Let f = 31 + -7. Let z(o) = -o**2 + 19*o - 4. Let g be z(18). Does 16 divide f/84 + 248/g?
False
Let h = 226 + -359. Let c be (-38)/h + 254/(-7). Let k = c - -48. Is 12 a factor of k?
True
Suppose -63*k + 328541 + 99292 = 0. Is k a multiple of 42?
False
Suppose 3*v + 4*h = 20644, 5*v - v - 2*h - 27518 = 0. Is v a multiple of 40?
True
Let g = 59 + -55. Suppose -4*t + 3840 = g*t. Does 20 divide t?
True
Let l(q) = q**3 - 7*q**2 + 13*q - 11. Let t be l(5). Let i = 7 + -5. Suppose -i*k = -4*o + 454, -t*o - 5*k + k + 424 = 0. Is o a multiple of 37?
True
Is 13 a factor of (-2 - (-2)/3)/(636/(-509913))?
False
Suppose -20*f + 61253 = -73947. Does 65 divide f?
True
Is 25 a factor of 5*(11 + 2466) - 0?
False
Suppose 141266 = 34*i + 49*i. Does 46 divide i?
True
Let i(m) = 5*m**2 - 62*m - 10. Is 24 a factor of i(-6)?
False
Suppose 5*t - 4872 = -4*f, -3*f - 3*t + 927 = -2727. Does 21 divide f?
True
Let f(i) = -99*i + 2. Let l(u) = 66*u - 1. Let y(m) = 5*f(m) + 8*l(m). Let d = 1832 + -1831. Is 6 a factor of y(d)?
False
Suppose 3*z + 70 = 5*g, -4*z - 3*g = -z + 54. Does 5 divide (-2136)/z + (-8)/10?
False
Suppose -5*u + 94 = -56. Let o = u + 98. Is 16 a factor of o?
True
Is 20 a factor of (2 + -5362)/(19 - (21 - 1))?
True
Suppose -6*p + 2*p = -3*w, 0 = -3*p. Let s(i) = -4 + w*i + i**2 + 12 - 3*i. Is s(5) a multiple of 3?
True
Suppose n - 110 = -w, -4*w + 435 = 9*n - 6*n. Suppose -1 = q, 4*g = -2*q - w + 587. Let m = g + 9. Does 13 divide m?
True
Let w(s) = 23*s**2 - 164*s + 1107. Is 13 a factor of w(15)?
True
Let c(v) be the second derivative of -95*v**3/6 + 8*v**2 - 11*v. Let k be c(-4). Suppose 4*h - 3*o - k - 32 = 0, -4*h + 408 = 2*o. Does 8 divide h?
True
Let y = -81 + 79. Let f(t) = -589*t + 97. Is f(y) a multiple of 14?
False
Let x(d) = -d + 2. Suppose f + 2*f = 2*f. Suppose f = 2*y + 14. Is 2 a factor of x(y)?
False
Let t = -7037 - -8165. Does 32 divide t?
False
Suppose -131*v = -100*v - 13733. Does 56 divide v?
False
Let j be 94 - (0 - 2)*1. Let y = -27 + 82. Let l = j - y. Is l a multiple of 22?
False
Let x(o) = -12*o + 420. Suppose 4*k = 159 - 299. Does 28 divide x(k)?
True
Let y be (87/(-6))/(7*1/14). Is 7 a factor of 1 - -159 - y/29?
True
Suppose -6 - 50 = 8*o. Does 40 divide (-7)/(o/3)*94?
False
Let s be (-6)/(-18)*0/3. Suppose -22*k + 19*k - 12 = s. Is 10 a factor of (400/28)/(k/(-14))?
True
Let i(t) = t**2 - 3*t - 9. Let r be i(5). Let s be (-2)/4*(r + 9*-3). Suppose -468 = 9*o - s*o. Is 32 a factor of o?
False
Let u(k) = k - 6. Let a be u(4). Let s be (2 + 36)/(a - -1). Let d = s - -106. Is 18 a factor of d?
False
Suppose 22*o - 5345 = 771. Suppose 110 = -12*i + o. Is 3 a factor of i?
False
Let l be (7 - -188) + 3*-1. Suppose 33*m - l = 29*m. Suppose 2*o = m + 56. Is 16 a factor of o?
False
Let p be 702/(-9) + 0 + 1. Let v(q) = -5*q**2 + 11*q + 64. Let s be v(-5). Let z = p - s. Does 13 divide z?
True
Let j(v) = 10*v**2 + 11*v - 2. Let p(a) = -21*a**2 - 23*a + 5. Let q(l) = 9*j(l) + 4*p(l). Let r be q(-4). Is 6 a factor of 20/r - 164/(-14)?
True
Let z be (-6*(-5)/(-25))/(6/2260). Let m = z + 777. Is m a multiple of 5?
True
Let k(b) be the first derivative of 7*b**2 + 6*b**2 + 9 - 10*b**2 + 3*b**2 - 5*b. Is 19 a factor of k(2)?
True
Let f(i) = -24*i + 47. Suppose -12*a + 21 = -11*a. Let y be f(a). Let k = 655 + y. Is k a multiple of 9?
True
Let a = 25 - 88. Let k = a - -77. Suppose -q = -4*b - k, 0*b - b + 2 = 0. Is q a multiple of 11?
True
Suppose 4*x + 2*x - 16 - 188 = 0. Does 34 divide x?
True
Suppose -5387 = -19*a - 2081. Suppose 2*i = 2*c - a + 8, 2*c - 168 = i. Is 17 a factor of c?
True
Let k(x) = -4974*x - 136. Is 10 a factor of k(-4)?
True
Let n = -1174 - -51. Let r = -542 - n. Is r a multiple of 46?
False
Is 19 a factor of 1173 - (3 + 20 + -9)?
True
Suppose -101 + 41 = -5*f. Let w = -8 + f. Let j(y) = 12*y - 20. Is 10 a factor of j(w)?
False
Suppose -15*c + 17*c = c + 2849. Is 37 a factor of c?
True
Let k = -460 + 440. Suppose 12 + 0 = 3*y. Is 7 + k/y + 2 a multiple of 4?
True
Suppose 0 = -179*k - 1356920 - 57826 + 6664279. Is k a multiple of 299?
False
Suppose -20*m + 22*m - 4*h - 31384 = 0, 5*m = 2*h + 78476. Does 48 divide m?
True
Suppose -5*z - 42293 = -3*f, -4*f + 54593 + 1790 = z. Does 9 divide f?
False
Let x = 43 + -42. Does 8 divide 154 - x*(-9 - -3)?
True
Suppose 13*v = -8*v + 84. Suppose 0*r + 4*r + o - 191 = 0, 189 = v*r + 3*o. Is 24 a factor of r?
True
Suppose 8*p = -135 - 105. Let u = 36 + p. Suppose 5*y + 2*s = 44, -y - u = 5*s - 1. Is 5 a factor of y?
True
Suppose -36*c + 37*c = 28. Does 22 divide c/(36/(-9)) + 514?
False
Is (-7)/(-2)*(-3834)/(-189)*15 a multiple of 5?
True
Let c(a) = -466*a + 771. Does 64 divide c(-9)?
False
Let c = -7562 - -7600. Does 9 divide c?
False
Suppose 5*y + 493 = 5*i - 5307, -5814 = -5*i - 2*y. Suppose -4*r - 4*u + 926 = u, 0 = -5*r - 4*u + i. Suppose r = 9*f - 8*f. Is f a multiple of 18?
True
Let f(y) be the second derivative of 43*y**4/4 + y**3/3 - y**2/2 + 2*y + 11. Suppose -4*p + 2*p - 4*v - 2 = 0, 3*p + 4*v + 3 = 0. Does 18 divide f(p)?
True
Does 9 divide (-93486504)/(-9495) + (-4)/(-30) + 0?
True
Let b(c) = -c**2 + 23*c - 11. Let h be b(16). Suppose -3*l + 450 = 4*d, h = 3*d + 2*l - 237. Suppose -744 + d = -10*n. Is 34 a factor of n?
False
Is 62 a factor of 19363 + 12*(3 + -9)/(-72)?
False
Suppose -d + 5*d - 2*b - 14 = 0, 2*d + 2*b = 4. Suppose -46 = -d*k + 182. Is 38 a factor of k?
True
Let y(i) = 3*i**2 - 18*i - 20. Let v be y(8). Suppose -8690 = 17*q - v*q. Is q a multiple of 10?
True
Suppose -5 = -a + 3*x, 4*a - 6 = -3*x + 8*x. Is 39228/140 - a/(-10)*2 a multiple of 14?
True
Let l = -49 + 44. Does 21 divide -2 + -1 + 71 + l?
True
Suppose -5*c + 14 = -3*k + 23, -5*k - 16 = 2*c. Is (-1 - (-1 - k)) + (-12403)/(-157) even?
False
Let j(n) = 11 - 5*n + 12*n**2 - 2*n + n**3 + 6*n**2. Let c be j(-18). Let w = c + -97. Does 5 divide w?
True
Let o be 2500/(-12)*(-5 + -10). Suppose 10*s = 5*s + o. Is s a multiple of 35?
False
Suppose 0 = -3*u - 5*q + 21 + 18, 0 = -6*u + 5*q + 123. Let y(w) be the first derivative of 9*w**2/2 + 45*w + 4. Is 9 a factor of y(u)?
True
Let s(r) = -2*r**2 + 29*r + 10. Let n be s(13). Suppose -t = n - 231. Does 21 divide t?
False
Let g = -66632 - -115340. Does 36 divide g?
True
Suppose -20 = 2*n - 7*n. Let k be -48*(14/n + -4). Does 27 divide (-54)/24*(0 - k)?
True
Let t(d) = -d**3 - 35*d**2 - 125*d - 39. Let c be t(-31). Let a(o) = o**2 - 3*o - 7 + 9*o + 1. Is 7 a factor of a(c)?
False
Let y(r) = 9 - r**2 + 0 - 12 - 18*r**3 - 8*r - 3. Does 11 divide y(-3)?
True
Let n(p) = -7567*p - 18877. Does 82 divide n(-12)?
False
Let m(p) = 7*p**3 - 2*p**2 - 25*p - 263. Is m(17) a multiple of 39?
False
Does 13 divide (-27293 + -1)/(-6) - (-2 + 1)?
True
Suppose -2*j = -3*a - 351, 4*a = -j + 456 - 297. Is 2 a factor of j?
False
Suppose -105*v - 6210 = -3*k - 107*v, 0 = 2*k + v - 4141. Does 56 divide k?
True
Suppose -c - 6*c = -11*c. Suppose c = -3*l - 2*q + 27, -l + 0 = -q - 4. Does 7 divide l?
True
Let f(i) = -i**2 - 5*i + 29. Let k be f(-5). Let p = k + -28. Is p/6 - 5361/36*-2 a multiple of 67?
False
Let a be (-45)/30*(152/(-6))/2. Suppose -a = 4*b - u + 4*u, -u - 10 = 5*b. Is 11 a factor of 6/(-5)*(4 - 79) - b?
False
Let p(s) be the first derivative of s**4/4 - 2*s**3 - 3*s**2/2 - 15*s - 8. Let j be p(7). Let t(k) = -k**2 + 15*k + 10. Is t(j) a multiple of 11?
False
Let r(l) = 112*l**2 + 62*l + 130. Is r(-2) a multiple of 3?
False
Let s(b) = 16*b**3 + 5 + 2*b**2 + 3*b + 13*b - 21*b. 