8?
False
Let r(p) be the first derivative of -p**2/2 + p + 1. Let u be r(-8). Is 16 a factor of (-244)/(-2)*u/18?
False
Let g = -18 + 22. Is 30 a factor of g*114/8*2?
False
Let j be (-9)/(-6) + (-2)/(-4). Suppose j*a - 5 + 1 = 0. Suppose 18 = a*u - 2*p, -p = 2*u + 4*p - 39. Is 4 a factor of u?
True
Suppose 0 = 95*m - 102*m + 3164. Is m a multiple of 18?
False
Suppose -3*d - 349 = 134. Let w = -113 - d. Is 12 a factor of w?
True
Suppose 52 - 12 = -5*u. Let h(z) be the third derivative of -z**4/24 + z**3 - 20*z**2 + 3*z. Is h(u) a multiple of 4?
False
Let p = 7 + 3. Is 5 a factor of ((3 - -1) + -3)*p?
True
Let l be (-4)/12 + (-51)/9. Let c be (999/(-12))/(l/(-16)). Is c/(-18)*(2 - -1) a multiple of 15?
False
Let a(s) = -14*s - 6. Let j be a(-5). Suppose 0 = 3*f + 3*q - 120, 5*f + 5*q = 6*f - j. Suppose 3*d = i + 83, 0 = 2*d - 0*d + 5*i - f. Is 22 a factor of d?
False
Suppose 2*b + 25 = 7*b. Let k = b + -9. Let d = 10 + k. Does 6 divide d?
True
Let m(t) = 123*t**2 - t - 53. Is m(4) a multiple of 59?
False
Let s(m) = m**3 - 5*m**2 + 7*m - 10. Let l be s(4). Is -3 - 92/(l + -6) a multiple of 20?
True
Let d(w) = -2*w**2 - 9*w - 9. Let i be d(-6). Let v be 966/i + 4/(-18). Let z = v - -66. Does 12 divide z?
False
Let b(q) = -q**3 + 5*q**2 + 7*q - 3. Let c be b(5). Suppose -c = -5*k - 7. Suppose 0 = -0*s + 4*s + 5*m - 58, -s + k*m = -2. Is s a multiple of 10?
False
Suppose -524 = -n + 4*s, -4*s - 4 - 4 = 0. Is 70 a factor of n?
False
Suppose -5*p - 60 = -55. Does 18 divide p/(-3)*-89*-3?
False
Let c be (24/(-15))/2*-20. Let l(w) = 11 - 12*w**2 - 4*w**2 + 3 + w**3. Is 4 a factor of l(c)?
False
Suppose 0 = 4*g - 0*g - 8. Suppose 5*h = 4*c - 15, g*c - 3*h = -5*h + 12. Suppose -4*m - 3 = -c*v - 19, -3*m + 4*v = -11. Does 9 divide m?
True
Let p = 451 + -199. Is 12 a factor of p?
True
Suppose -z + r = 52 - 11, -223 = 5*z + r. Does 10 divide (10/4)/((-2)/z*1)?
False
Let j(h) = h**2 - 23*h + 70. Does 3 divide j(26)?
False
Suppose 3*f = 5*h + 5*f - 1220, 4*f = 2*h - 488. Is h a multiple of 12?
False
Let q be (-4)/(3/3 + -2). Suppose q*r - 75 = 7*r. Let c = -4 - r. Does 17 divide c?
False
Suppose 157 = 3*k + 5*p, -p + 51 = k - 0*p. Let v = -170 + 174. Suppose v*l - 15 = k. Does 16 divide l?
True
Suppose -2*t + 6*j = 2*j - 98, -2*t = 2*j - 110. Suppose 2*k - t = -27. Is 4 a factor of k?
False
Suppose -r + 37 = 4*z, 5*r = 7*z - 2*z + 235. Does 3 divide r?
True
Let z(o) = -71*o**3 - o. Let y be z(1). Let l(f) = f**3 - 7*f**2 + 4. Let b be l(4). Let d = b - y. Is 7 a factor of d?
True
Let h(j) = -7*j**2 + 2*j + 551. Is 9 a factor of h(0)?
False
Let d(z) = z**2 - 39*z - 57. Does 89 divide d(-28)?
False
Let d(q) = -17 + 5 - q**2 + 0 + 7*q. Let w be d(5). Is 29 a factor of w + 0 - 33*-1?
False
Suppose -3*c + 12*c = 1341. Is c a multiple of 43?
False
Suppose 2*z = 6*z - 8. Is 12 a factor of (-5 - -3)/(z/(-74))?
False
Suppose -4*i - k = 360, -2*k = i + 3*k + 109. Let t = 393 + i. Is t a multiple of 39?
False
Suppose -2*h - 264 = -0*l - 4*l, -5*h + 2*l - 644 = 0. Let v = 310 + h. Is 14 a factor of v?
True
Let d(r) = -4*r + 97. Does 16 divide d(-39)?
False
Let x(b) = -b**2 - 13*b + 5. Let a be x(-14). Let u = 14 + a. Let g = 3 + u. Is 8 a factor of g?
True
Let l(g) = 4*g - 8. Let c be l(3). Suppose 0 = -c*r + 647 - 15. Let h = r - 98. Is h a multiple of 12?
True
Suppose 3*p + 6 = 6*p. Suppose 3*l = -p*j + 113, -2*l + 0*l + 4*j + 86 = 0. Does 13 divide l?
True
Suppose 5*t = -2*v + 2595, 34*v = -2*t + 29*v + 1017. Is 26 a factor of t?
False
Let a(y) = -865*y + 114. Is 17 a factor of a(-1)?
False
Let w be (4/6)/((-1464)/(-738) + -2). Let f = -18 - w. Is f a multiple of 5?
False
Suppose -4*c - z + 2*z + 7 = 0, 4*z = -c + 6. Let v(l) = -4 + 9*l - 3 + 3 - l**c - 3. Is 11 a factor of v(6)?
True
Suppose -7*k + 1342 = -5*k. Is 25 a factor of k?
False
Let w = 1031 - -2114. Does 14 divide w?
False
Suppose 5*i = 9*i + 4. Is (-2373)/(-84) + ((-2)/8 - i) a multiple of 7?
False
Let a(n) be the first derivative of n**3/3 - 4*n**2 - 6*n + 5. Is a(9) even?
False
Let u(x) = x**2 + 14*x + 1. Let a be u(-14). Does 14 divide (3 - a) + (70 - 2)?
True
Let r = 178 + -31. Is r a multiple of 7?
True
Suppose -4 = 2*l + b - 83, 2*l + 2*b - 74 = 0. Suppose -l = -s + 7*s. Let w = s + 19. Is w a multiple of 12?
True
Let j(h) = 86*h - 4. Suppose 2*s + 5*n + 4 = 23, -s - 5*n + 22 = 0. Let l be j(s). Is l/(-13) + (-10)/65 a multiple of 5?
True
Let s be 0 - 4/(-4) - 19. Suppose -3*v = -5*v - 2*q + 22, 0 = -4*v - 3*q + 41. Does 19 divide ((-38)/v)/(s/72)?
True
Let z(v) = 24*v + 16. Let g = -93 + 98. Is 17 a factor of z(g)?
True
Suppose v + 2*v - 2*r = -30, 0 = 3*v + 3*r + 45. Let h be 3 - v/(-3) - -53. Suppose 0*d = d - h. Does 11 divide d?
False
Suppose -9363 = -3*p - 4*u, 3*p = -p + 3*u + 12509. Is 26 a factor of 1/(-4) + p/20?
True
Let a(r) = -r**2 + 13*r - 9. Let c be a(11). Suppose -u = 2*t + t + c, -25 = 5*t. Suppose 5*w - 69 = -4*o + 166, o = -u*w + 94. Is 13 a factor of w?
False
Let c(n) = -23*n**3 - 3*n**2 + 1. Let b be c(2). Does 13 divide (b/60)/(1/(-44))?
True
Let q(f) = -3*f**3 + 2*f - f**2 + 2 - 3*f**2 + 1. Let k = 921 + -924. Is 14 a factor of q(k)?
True
Suppose -3*p = 3*i - 15, 4*i - 5*p = -p - 20. Suppose i = -0*s + 3*s - 159. Does 25 divide s?
False
Let q = 946 - 351. Suppose v - 111 = -2*g, -2*v = -7*v - 2*g + q. Let k = -82 + v. Is k a multiple of 13?
True
Let u = 706 - 271. Is u a multiple of 29?
True
Suppose -4*a = u + a - 20, -3*u - 3*a = -12. Suppose u = 2*i + 64 - 462. Does 50 divide i?
False
Suppose 0 = -6*l + 2*l + 4*p + 340, -l + 3*p = -89. Suppose -4*d + k + 478 = l, 3*d - 292 = 5*k. Is d a multiple of 25?
False
Let a be ((-2)/1)/(2/(-5)). Suppose 5*n + 80 = -2*m, a*m + 76 = -4*n + m. Let x = 27 + n. Is 6 a factor of x?
False
Let g(f) = -77*f - 235. Is 10 a factor of g(-9)?
False
Let d(z) = -6*z - 4. Is 4 a factor of d(-13)?
False
Suppose 5*j + 41 = -249. Let f = j + 89. Is f a multiple of 14?
False
Suppose 3*s - 1100 = 34. Suppose q + s = 4*q. Is 21 a factor of q?
True
Let w = -59 - -12. Let q = w + 167. Is q a multiple of 30?
True
Let h = -22 + 24. Suppose -h*n = 17 - 41. Does 8 divide n?
False
Suppose 0 = -v - 3*u - u - 12, -4*v + 12 = u. Let h(m) = 0*m**2 + 6 + 3 + 9*m - 2*m**2 + v*m**2. Does 14 divide h(-5)?
True
Let i(h) = -3*h + 7. Let o be i(-4). Suppose -2*b - 1 + 4 = j, o = 4*j + b. Suppose -4*r = 4*p - 188, 5*r = -j*p + r + 236. Is 16 a factor of p?
True
Let i = -3587 - -6135. Is 91 a factor of i?
True
Let i(v) = v**2 + 10*v - 9. Is i(16) a multiple of 37?
True
Let x(u) = -8*u - 16. Let w(i) = 9*i + 16. Suppose 0 = -5*r + 2*a + 23, -r - r - 4*a + 14 = 0. Let v(t) = r*x(t) + 4*w(t). Does 8 divide v(-10)?
True
Let w = -6 + 3. Let q = -15 + 7. Let d = w - q. Is d a multiple of 5?
True
Let f = 52 + -12. Suppose -3*u - u = -f. Does 2 divide u?
True
Suppose 15*s - 3249 = 186. Does 5 divide s?
False
Suppose 5*y - 20 = -5. Suppose -4*q + 60 = -5*n + 13, -4*q - y*n = -23. Let i(x) = 3*x + 5. Is i(q) a multiple of 16?
False
Let h(l) = -l - 3*l - 2*l + l - 4. Let d = 25 - 28. Is h(d) a multiple of 11?
True
Is 3 a factor of (-1)/(-8) - (-74208)/256?
False
Let s(g) be the third derivative of 7/6*g**3 + 4*g**2 + 0 + 0*g - 1/8*g**4. Does 8 divide s(-6)?
False
Suppose -3*r - 5 = -2, -5*d + 9 = -4*r. Suppose 0 = 6*c - 5*c + d. Let a = 21 + c. Does 20 divide a?
True
Let h = 42 + -42. Suppose 7*g + 9 - 135 = h. Is g a multiple of 6?
True
Suppose 0 = 2*d + 3*j - 1693 + 348, -4*j - 4 = 0. Suppose -2*l + 688 = l + 2*q, -3*l + 5*q + d = 0. Does 15 divide l?
False
Is (6 - 16) + 415 + 10/(-2) a multiple of 15?
False
Let s = -47 + 51. Suppose 3*k - s*d = 158 + 195, -4*d - 123 = -k. Does 23 divide k?
True
Suppose 13 = -u - 0*u. Let s(w) = -8*w - 13. Let k be s(u). Let c = k - 43. Is 16 a factor of c?
True
Let h(k) = 586*k. Is 5 a factor of h(1)?
False
Suppose -t = -4*t - j + 58, -2*j = -3*t + 64. Let b(o) = -o**3 + 21*o**2 - 17*o + 43. Is 10 a factor of b(t)?
False
Let m(y) = -5*y**2 + 0*y**3 + 0*y**2 + y**3 - 3*y**2 + 6*y + 3. Let x be m(11). Suppose -12*h + x = -3*h. Is h a multiple of 16?
True
Suppose -8*g + 10*g + 5848 = 2*a, 2*a - 5842 = -4*g. Is a a multiple of 79?
True
Let y(c) = -c**3 + 7*c**2 - c + 8. Let x be (-2)/7 + (-96)/(-42). Suppose -x*f + 2*m + 14 = 3*m, -2*f + 4*m = -4. Is