-45) - 5/(525/(-14))?
False
Let n = 32 + 1007. Is 8 a factor of n?
False
Let f be (-8 + 2 - -6)/(1/(-1)). Suppose f = -t + 5*r + 139, 3*t - 224 = -2*r + 125. Is 17 a factor of t?
True
Let z(a) = 4*a**3 + 4*a**2 - 4*a + 31. Let s(t) = t**3 + t**2 - t + 1. Let x(n) = -5*s(n) + z(n). Is x(0) a multiple of 13?
True
Let b(n) be the third derivative of -n**6/120 - n**5/30 + 7*n**4/24 - n**3 + 2*n**2. Let p be b(-6). Suppose z = -z + p. Does 18 divide z?
False
Let s be 2 - 12/8 - (-338)/4. Suppose k - 54 = s. Is 15 a factor of k?
False
Suppose -2*x + 3*r = 2*r + 37, -r = 2*x + 35. Let h = x + 38. Does 10 divide h?
True
Let f(t) = -15*t**2 + 19*t + 18*t**3 - t - 3*t + 6 - 17*t**3. Is 10 a factor of f(14)?
True
Suppose -3*a + 8418 = -3588. Is 69 a factor of a?
True
Suppose 4*w = 3*w + 4. Let n be -1 + (-4)/w + -1. Let i(r) = r**2 + r + 2. Does 8 divide i(n)?
True
Let n(h) be the third derivative of -h**4/8 + 4*h**3/3 - 7*h**2. Let g be n(-14). Does 14 divide 2/10 - (-1390)/g?
True
Let k(r) = -r**3 + 18*r**2 - 11*r + 12. Is 54 a factor of k(10)?
True
Suppose 3 = -o, -4*n = -5*o - 165 - 86. Does 59 divide n?
True
Is 4 a factor of -7 - (-756)/(13 - 4)?
False
Let u(o) = -7*o - 3. Let f(n) = n**2 + 11*n + 19. Let r be f(-8). Let c be u(r). Let j = c + -19. Is 12 a factor of j?
False
Suppose 5*p - 7*p - 12 = 0. Is (p - -9)*10/6 a multiple of 5?
True
Let x(a) = -a**3 + 6*a**2 + a - 1. Let t be x(6). Let m be (-48)/(-60)*t/(-1). Does 14 divide ((-38)/m)/(1/6)?
False
Does 12 divide (-2)/(-2)*(1 + -1 - -692)?
False
Let w = -236 - -421. Does 5 divide w?
True
Is (-62337)/(-165) - 1/(-5) a multiple of 54?
True
Suppose y - 2 = 2*f, 0 = 2*y - 7*y - 5*f + 10. Suppose -y*u + 90 = -22. Is 7 a factor of u?
True
Suppose 0 = -c + 3*t + 119, -12*c = -10*c + t - 217. Is c a multiple of 3?
False
Suppose -3*x = 9, -69 - 1275 = -5*j - 2*x. Is 10 a factor of j?
True
Let b(r) = -r**3 - 11*r**2 + 12*r + 22. Let m be b(-12). Let g = m - 6. Is 2 a factor of g?
True
Let l be -15 + ((-3)/(-12) - 6/(-8)). Let z(i) = -i**3 - 13*i**2 + 8*i - 3. Is 8 a factor of z(l)?
False
Let p = -8 - -11. Suppose 0 = -2*q - p*q - 25. Let y = 16 - q. Is y a multiple of 19?
False
Let z(m) = -2*m**2 + 10*m + 12. Let r be z(10). Let d = r - -19. Let t = d + 157. Does 22 divide t?
True
Let r = -374 - -526. Is 37 a factor of r?
False
Let q be (-2 - 0)*3/(-2). Suppose 2*w - 180 = -5*a + q*w, -4*a = 4*w - 144. Is 14 a factor of a?
False
Let x = 327 - 112. Is x a multiple of 43?
True
Suppose -26*i + 735 = -23*i - 5*j, 4*i - 988 = 4*j. Is i a multiple of 5?
True
Suppose 0*o + o = 0. Suppose 2*z + 2*i - 64 = -z, o = z - i - 23. Is z a multiple of 11?
True
Does 10 divide 187 + (-6 - 1) + 0?
True
Let z(k) = -3*k + 12. Let i be z(5). Is 11 a factor of (i + 7)*37/2?
False
Let m = 55 + -59. Let g(l) = -l**3 - 2*l**2 + l. Is g(m) a multiple of 3?
False
Suppose -5*m - 2*z - 794 = -7*m, -z = -4*m + 1588. Is m a multiple of 7?
False
Let v(l) = 11*l**2 - 7*l + 12. Is 12 a factor of v(3)?
False
Let n(k) = -2*k**3 + 9*k**2 + 2*k + 6. Let y be n(5). Does 3 divide 2/y*-3*9?
True
Suppose 0 = 3*o + 4*p + p - 274, 2*o + 3*p = 183. Let v = o + -51. Is 14 a factor of v?
True
Suppose 2*v - 392 = -4*s, 0*v + 3*v = 2*s - 204. Is 3 a factor of s?
True
Let o(t) = 3 - 8*t + 4*t - 9*t - 2*t**2 - 6*t. Let a be o(-9). Let y = a - 0. Is y a multiple of 6?
True
Suppose -1 = 3*x + 26. Is 7 a factor of (-57)/x - 1/(6/(-4))?
True
Is (-2 - 1)/(17/(-4845)) a multiple of 42?
False
Let y = -54 + 56. Suppose 0 = 5*s + 4*q - 360, -s - y*q + 144 = s. Is 18 a factor of s?
True
Let n(f) = -14*f**3 - 2*f**2 - f. Let h be n(-1). Let c = 15 - h. Is (-1)/(6/(-147))*c a multiple of 11?
False
Let o be (-18)/(-12)*(-44)/(-6). Suppose -5*b = -o - 4. Suppose -b*u + 0*u = -96. Is 8 a factor of u?
True
Let s(g) = -1 + 2*g + 1 - 4 - 5. Let k be s(6). Suppose k*r + 3 = 66. Does 7 divide r?
True
Suppose 2*q + 40 = 12*q. Suppose 335 - 91 = q*z. Is z a multiple of 12?
False
Let z = -288 + 168. Let w = z - -50. Let u = -17 - w. Does 13 divide u?
False
Is 13 a factor of (-8)/(-20) - 13906/(-10)?
True
Suppose p = -2*p - 225. Let n = -30 - p. Does 15 divide n?
True
Suppose 0*d - 11*d - 1507 = 0. Let t = d - -207. Does 10 divide t?
True
Suppose 0 = 2*k + 3*k. Suppose 91 = y + 2*x, y - 4*x - 91 = -k*y. Is y a multiple of 8?
False
Suppose 0 = 7*o - 3*o. Suppose 5*u + 65 = 3*p, o = 4*p + p. Let c = u - -19. Is c even?
True
Suppose 37*r - 7060 = 8110. Is 41 a factor of r?
True
Let s(g) = g**3 + 4*g**2 + g + 16. Is 72 a factor of s(8)?
True
Let k(f) = 3*f**2 + 11*f + 12. Does 6 divide k(-6)?
True
Let v(p) = 8*p**2 + 9*p + 4*p**2 - 1 - 2*p**3 + 3*p**2. Let s(n) = -n**3 + 8*n**2 + 4*n. Let h(w) = 7*s(w) - 4*v(w). Does 28 divide h(6)?
True
Let i(d) = -34*d - 9. Let y be i(5). Let u = -66 - y. Suppose 5*w = -3*q + u, 2*w + 23 = 4*q - 3*q. Is 15 a factor of q?
False
Let n(s) = -s**3 + 58*s**2 - 191*s + 112. Is 9 a factor of n(54)?
False
Suppose 5*j + 2*n = 9, -5*n = 3*j + 2*j. Suppose -j*b + 7*b = 12. Is 2 a factor of b?
False
Let l(r) = -3*r**3 + 8*r**2 - 22*r - 76. Does 56 divide l(-7)?
False
Is 1084/4 + -5 + 0/3 a multiple of 38?
True
Let h(n) = 94*n - 61. Let f be h(6). Suppose 5*d - f = -13. Does 49 divide d?
True
Let b = 259 - 424. Let o = 249 + b. Is 19 a factor of o?
False
Suppose 6 = -3*f - 6, 5*k + 4*f - 2054 = 0. Is 3 a factor of k?
True
Let z(o) = o**3 - 5*o**2 + 5*o + 3. Let m be z(5). Let k = 12 - 6. Suppose -k*p + 2*p - 13 = 5*b, -p + m = -5*b. Is 2 a factor of p?
False
Suppose -2*u + 577 = 4*x + 3*u, 399 = 3*x - 3*u. Suppose l - 6*l - 235 = -5*b, 3*b - 4*l = x. Is b a multiple of 25?
True
Suppose 4*b - 92 + 12 = 0. Suppose 5*c - d = b, -4*c + 6*d - d = -16. Suppose c*h - 213 = 4*p - 65, -3 = -p. Does 20 divide h?
True
Let i(y) = y**3 + 41*y**2 + 24*y - 89. Does 19 divide i(-40)?
True
Let r(w) = -6 + 9*w - w**2 - 5 + w. Does 13 divide r(6)?
True
Let i(d) = d**3 + 24*d**2 - 21*d - 230. Does 15 divide i(-24)?
False
Let j = -62 + 90. Suppose 8*y = 6*y + 4*g + j, -3*y + 51 = 3*g. Is y a multiple of 4?
True
Let u(d) = d**2 + 9*d + 10. Let s be u(-6). Let f(q) = q**2 + 2*q - 8. Is f(s) a multiple of 9?
False
Suppose 2*t + o = -12, 2*t = -o - 2*o - 20. Let m = 13 + t. Suppose -5*k = -k + w - 12, 3*k = -w + m. Is 3 a factor of k?
True
Suppose -2*w + 30*y - 33*y = -4698, 2*w = -5*y + 4694. Is 16 a factor of w?
True
Let c be 217 + 9/(6 - 3). Suppose -2*d - 148 = -5*d - n, 0 = -5*d + 5*n + c. Is 14 a factor of d?
False
Let w = -40 + -162. Let t be w/(-12)*-2*-3. Let m = t + -31. Does 35 divide m?
True
Let h = -11 - -12. Suppose 0 = 2*r - 3 - h. Does 11 divide (12/(-15))/(r/(-55))?
True
Let r(s) = -s**2 + 3*s + 4. Let q be r(-2). Let v be q/18 + (-255)/(-9). Let d = 50 - v. Is d a multiple of 22?
True
Suppose 17 = 5*k - 2*u, 0 = -k - k - 5*u + 1. Suppose -k*n - 429 = -6*n. Is n a multiple of 22?
False
Let i be (2/4)/(3/(-36)). Let u be (i - -4) + 2 + -1. Is 0 + 1*(u + 7) a multiple of 2?
True
Let k = 2 - -3. Suppose -k*v - 4*c + 156 = 0, 2*v - 2*c = 8 + 40. Let d = 75 - v. Does 11 divide d?
False
Let u = 985 - 975. Suppose v + s + 1 + 0 = 0, 3*s + 4 = -2*v. Let p = v + u. Is p a multiple of 3?
False
Let s = -137 - -137. Suppose 14*r - 92 - 328 = s. Is 3 a factor of r?
True
Let t(g) = 150*g - 317. Does 29 divide t(9)?
False
Suppose 8*s = -11*s + 12160. Does 40 divide s?
True
Let j(b) = 20*b + 3. Let m be j(4). Suppose m = 5*v + 3*h, -65 - 27 = -4*v + 4*h. Is v a multiple of 3?
False
Suppose -75*b = -79*b + 1576. Is 19 a factor of b?
False
Suppose 12*i = 12238 + 15362. Does 46 divide i?
True
Let o(h) = 11*h**3 - 2*h**2 - 9*h + 24. Does 17 divide o(2)?
False
Suppose 48 = 5*l + 2*b - 25, 5*b = -l + 10. Let a be l/4*(-32)/12. Is 6 a factor of 15/a + 30/4?
True
Let g(m) = 3*m**2 - 5*m - 10. Let c be g(5). Let y be 1*(-2)/(-2)*-3. Is c/6 + (-1)/y a multiple of 2?
False
Suppose -5*a = 2*f - 7121, -10*a + 14*a - 2*f = 5686. Is a a multiple of 18?
False
Let y = 340 + -130. Suppose m - 10 = 10. Suppose -2*t = -s + m + 11, -t = 5*s - y. Is s a multiple of 10?
False
Let m(w) = 24*w**2 - 15*w + 49. Is 14 a factor of m(-9)?
True
Let t(y) = y**3 - 4*y**2 + 5*y + 6. Suppose 2*r - 12 = -0*r. Does 21 divide t(r)?
False
Let f(u) = 162*u - 182. Does 92 divide f(21)?
True
Let h = -24 + 26. Suppose 