e 2*q = 4*w + 660, 1595 = 8*q - 3*q + w. Is 10 a factor of q?
True
Let h = 22 - -671. Does 3 divide h?
True
Let l = -1022 - -3710. Does 26 divide l?
False
Let y = 3 + 0. Suppose -5*p + 2*b + 0*b = -744, y*p + 3*b = 459. Is 30 a factor of p?
True
Suppose 2*f = -0*h - 5*h + 74, 2*f = 5*h + 34. Suppose 5*q = 92 - f. Is q a multiple of 13?
True
Let p = 35 - 52. Let r(o) = o**2 + 14*o + 19. Is 10 a factor of r(p)?
True
Let z(w) = 316*w - 1252. Is 46 a factor of z(6)?
True
Let g(v) = 2*v**2 - 35*v + 88. Does 6 divide g(23)?
False
Let n(a) = 254*a**2 - a - 1. Is 9 a factor of n(1)?
True
Let z = 141 - 75. Suppose d + z = 4*d. Is 4 a factor of d?
False
Let m(g) be the third derivative of g**5/60 - 3*g**4/8 - g**3/3 + g**2. Let v be m(9). Is 18 a factor of (2 + v/(-2))*12?
True
Suppose 3*q - 30 + 138 = 0. Let u = q + 44. Is 4 a factor of u?
True
Let q be ((-7)/3)/((-8)/264). Suppose 5*p = 4*g + 133, 4*p = -5*g + 13 + q. Is p a multiple of 4?
False
Suppose -l + 2*l + 12 = 2*s, 0 = 2*s + 2*l - 24. Let q(t) = 2 + s - t**3 - 3 + 8*t**2. Is 7 a factor of q(8)?
True
Let i = 852 + -648. Is 17 a factor of i?
True
Suppose -4*u = b - 1824, -5*u + 6*b - 2*b + 2259 = 0. Does 47 divide u?
False
Let h(x) = x**2 + 30*x - 10. Is 23 a factor of h(-33)?
False
Let j(u) = u**2 - 9*u - 1. Let o be j(9). Let p be (-5)/((5/2)/o). Suppose 60 = p*l - 24. Is 21 a factor of l?
True
Let a(k) = 7*k**3 + k**2 - 2*k. Let l be a(1). Is 7 a factor of (-3)/6*-7*l?
True
Suppose 5*o - 693 - 412 = 0. Suppose 0 = -0*l - l + o. Suppose -3*c + l - 41 = 0. Is c a multiple of 15?
True
Suppose -18873 = 204*j - 231*j. Is j a multiple of 4?
False
Let j be (-2 - -1)/(-4 - 25/(-6)). Does 10 divide 0 - -47 - -2*3/j?
False
Let v = -32 + 136. Suppose i - 5*q = 68 + v, i - q = 164. Does 27 divide i?
True
Let s(n) = n + 2. Let h be s(11). Let p(u) = -u**2 + 17*u + 8. Is p(h) a multiple of 12?
True
Suppose 1982 - 14902 = -10*t. Is 34 a factor of t?
True
Let j(o) = 5*o**2 + 28 + 3*o**3 - 30*o - 2*o**2 - 2*o**3 + 25*o**2. Is j(-29) a multiple of 24?
False
Suppose 5*l - 15 = 3*o - 55, -4*l - 56 = -4*o. Suppose 0 = o*k - 10*k - 15. Suppose -2*d + 216 = 5*m - 2*m, k*m + 4*d = 222. Is m a multiple of 11?
False
Suppose -9*u + 6 = -6*u. Suppose -u*l + 82 = y, -396 = -5*y - l - 2*l. Is 26 a factor of y?
True
Let u = 205 + 137. Suppose 2*x + 3*k - u = -77, 5*k = -3*x + 400. Is 25 a factor of x?
True
Let i(r) = -126*r + 18. Is 11 a factor of i(-4)?
False
Let l(f) be the third derivative of f**4/12 + 7*f**3/6 - 4*f**2. Let w be l(10). Suppose 0 = 3*u - 24 - w. Is u a multiple of 5?
False
Let x(j) = -2*j - 7. Let n be x(-5). Let q = 12 - 10. Suppose -44 = -n*c + q*d, -3*c - 3 = -4*d - 43. Is 10 a factor of c?
False
Suppose -15 = b + 4*b, 2*f = -2*b - 18. Let a(w) = 3*w**2 + 8*w - 10. Is a(f) a multiple of 22?
False
Let q(f) = -16*f - 72. Is q(-7) a multiple of 11?
False
Let x(l) = l**3 + 6*l**2 - l + 4. Let v(r) = -9*r + 12. Let z be v(2). Is x(z) a multiple of 5?
True
Let a = 406 - 231. Is (-8)/2 + a - -3 a multiple of 15?
False
Let n = -87 - -589. Is 16 a factor of n?
False
Let q = -167 - -229. Is q a multiple of 6?
False
Let j = 1091 + -786. Is j a multiple of 3?
False
Suppose 8*h = 10*h + 4. Let s(j) = -16*j - 9. Let a(d) = -8*d - 5. Let u(n) = -7*a(n) + 4*s(n). Does 12 divide u(h)?
False
Suppose -2*v - 3*t + 4*t - 1 = 0, -13 = v - 3*t. Is 22 a factor of (-2 - -4)*131/v?
False
Suppose -2*w - b = 2*w - 4008, 0 = 3*w + 2*b - 3006. Is 36 a factor of w?
False
Suppose 125*p - 1105 = 120*p. Is p a multiple of 5?
False
Suppose 2*t + 2*s - 214 = 0, -4*t + 2*s = 67 - 483. Does 2 divide t?
False
Suppose f + 2*h = 497, 5*f = -40*h + 37*h + 2485. Is 34 a factor of f?
False
Let y be 1/1*-2*4. Let z = y - -12. Suppose 4*o = 5*h + 46, -3*o + 4*h = -z*o + 22. Is o a multiple of 7?
True
Let d = 12 + -3. Let j = d + -6. Suppose 0*p + 21 = 2*p - j*s, 3 = -3*s. Does 9 divide p?
True
Suppose -w - w + 4*z = -18, 4*z - 3 = -5*w. Let m(s) = -s + 35. Let x be m(18). Suppose -w*t + x = -4. Is t a multiple of 2?
False
Suppose 0 = 293*s - 288*s - 1725. Does 17 divide s?
False
Let c = -14 + 16. Let l(o) = -o**3 + 3*o**2 - o - 2. Let x be l(c). Suppose 4*w + 12 = d, -d = -x*w + 3*w - 33. Is d a multiple of 6?
True
Suppose 263*l + 1232 = v + 268*l, 5*v = 3*l + 6216. Is 54 a factor of v?
True
Let z = 50 + 382. Does 29 divide z?
False
Suppose 5*p + 42 = 672. Let k = 179 - 177. Suppose -5*b + p = -k*b. Is b a multiple of 22?
False
Suppose 0 = -5*h - w + 1942, 0 = -h + 4*w + 31 + 370. Is 11 a factor of h?
False
Let b = 12 - 22. Let n(d) = d**2 + 7*d - 12. Is 9 a factor of n(b)?
True
Suppose -4*q = -564 + 40. Suppose -j = -5*w + 2*j + q, -2*w = 3*j - 65. Does 7 divide w?
True
Suppose -1 - 19 = -4*r. Suppose 3*c = 2*h - 0*h + 125, -215 = -r*c + 5*h. Does 13 divide c?
True
Suppose 71*z - 29*z - 25704 = 0. Is z a multiple of 17?
True
Let r(s) = -s**3 - 6*s**2 - 6*s - 6. Let n be r(-5). Let y(l) = -13*l + 1. Let h(b) = 40*b - 3. Let i(f) = -4*h(f) - 11*y(f). Is i(n) a multiple of 9?
True
Let u be 47*1*20/10. Let n = -25 + u. Is n a multiple of 23?
True
Let b(m) = m + 28. Let g be b(-17). Suppose 5*p = -s + 49, -5*s + 87 = 3*p - 70. Let r = s - g. Does 4 divide r?
False
Suppose s + 72 = 440. Is s a multiple of 10?
False
Let b = 4257 - 2081. Is b a multiple of 136?
True
Suppose -13*c + 14*c - 44 = 0. Suppose 0*u + c = 4*u. Is u even?
False
Let j(y) = -2*y + 3. Suppose 2*o - 4*d = 10, 2*o + 8 = 3*d - 8*d. Let f be j(o). Let v(r) = 88*r. Does 27 divide v(f)?
False
Suppose -2*y - y - 6 = 0, k - 2*y = 67. Suppose -4*b + 315 - k = 0. Does 27 divide b?
False
Let i = 8428 + -5824. Suppose 20*n + i = 27*n. Is n a multiple of 31?
True
Suppose 2*k = -3*h + 4, 4*k - 12 = -h + 6*k. Suppose 0*r - 16 = -h*r. Is 10 a factor of r/10 - 234/(-15)?
False
Let g(n) = -2*n**2 - 6*n - 9. Let j be g(-5). Let z = -9 - j. Is 4 a factor of z?
True
Let l be 10/(-3)*42/(-5). Suppose 3*c - 14 = -4*b, 2*c - l = -5*b + 7*b. Is c a multiple of 7?
False
Suppose 3*i + 4*h = 176, -3*i + 6*i + 3*h - 174 = 0. Is 4 a factor of i?
True
Suppose 2*i - 3*c = 58 + 9, 4*c = -3*i + 58. Let k be 4762/i + (-6)/39. Is k/21 + (-4)/(-14) a multiple of 3?
True
Suppose -126*w + 12825 = -117*w. Is w a multiple of 15?
True
Suppose -5*y = -5*c + 3090, 3*c - 1859 = 2*y - 4*y. Suppose -55 + c = 4*h. Is h a multiple of 9?
False
Suppose 2989 = -56*p + 14693. Does 11 divide p?
True
Suppose 7*a = 1334 + 4245. Is a a multiple of 10?
False
Let l = 4 + -6. Let j be (2/l)/(5/(-25)). Suppose 5*f - 2*t = 62, -3*t - 10 = -j*f + 48. Does 6 divide f?
False
Suppose -j + 15 = -3. Let h(r) = r**3 - 18*r**2 + r - 4. Let z be h(j). Does 24 divide 4/14 - (-1578)/z?
False
Is 15 a factor of (-626)/((-3)/((-9)/(-24)*4))?
False
Suppose -l = -6*l - 5, 4*l + 676 = 2*u. Does 56 divide u?
True
Let m(j) = j**3 + 12*j**2 + 12*j + 16. Let o be m(-11). Suppose -49 = -2*f - o*k, 68 = 3*f + 5*k - 8. Is 6 a factor of f?
False
Suppose 0 = -0*v + 3*v - 15. Suppose b + 4*q = -6 - v, 21 = 5*b + q. Let g(h) = 2*h**3 - 5*h**2 - 3*h + 5. Does 29 divide g(b)?
False
Let m(i) = 2*i**3 - 17*i**2 - 18*i + 53. Is 31 a factor of m(12)?
False
Let m = 90 + 30. Suppose 10*w + m = 15*w. Is w a multiple of 24?
True
Does 34 divide (-186)/(415/(-50) + 8)?
False
Suppose -5*s - 4*m + 8 = 0, 3*s - 3*m + 5*m - 4 = 0. Let d(g) = -g**3 - g**2 + 57. Does 9 divide d(s)?
False
Suppose 0 = 53*k - 54*k + 2530. Is k a multiple of 55?
True
Let o = -333 + 429. Let y(t) = t**2 + 4*t + 3. Let f be y(-3). Suppose -p - 2*p + o = f. Is p a multiple of 16?
True
Suppose 59 = 5*j - 16. Suppose 2*i - 5 = j. Let l = i - -25. Is 13 a factor of l?
False
Let c be 2*1*(-5 + 4). Let p(s) = 12*s**2 - 25*s - 6. Let r(f) = -4*f**2 + 9*f + 2. Let y(v) = 3*p(v) + 8*r(v). Is y(c) a multiple of 5?
True
Let g = 29 - 0. Let z = g + 238. Is z a multiple of 10?
False
Let m(p) = -9*p + 6*p + 3*p**2 + 19*p + 17. Does 15 divide m(-10)?
False
Suppose 0 = -5*z + 25 - 5. Suppose 4 = -z*n - 0, 5*c = -4*n + 6. Is c even?
True
Let l(d) be the first derivative of -d**3/3 - 4*d**2 - d + 1. Let f be l(-7). Suppose 0 = 3*v - 4*v + f. Is 4 a factor of v?
False
Let c be 1 + (-3)/(-4)*4. Suppose -c*q - 52 = -4*n + 300, 0 = -5*n - 5*q + 390. Is 20 a factor of n?
False
Suppose 8*d - 10*d + 22 = 0. Suppose -d*a = 7*a -