) be the first derivative of -5*l**3/3 - 2*l**2 - 4*l - 10. Let a be u(-3). Let j = -23 - a. Is 7 a factor of j?
True
Suppose 4*y + 4*x - 92 = 4, 3*y - 44 = 4*x. Does 20 divide y?
True
Let d(z) be the first derivative of -z**7/840 + z**6/40 + z**5/10 + z**4/24 - 2*z**3/3 - 3. Let o(r) be the third derivative of d(r). Is 4 a factor of o(10)?
False
Suppose -4*o = -2972 - 240. Is 32 a factor of o?
False
Suppose 198 = -7*r + 30. Does 24 divide (-6*2)/(4/r)?
True
Let x be 1/((-15)/(-40))*15/4. Let l(f) = f + 6. Is 5 a factor of l(x)?
False
Suppose 0 = 19*f - 6257 + 1640. Is f a multiple of 9?
True
Let l(c) = -c**2 + 72*c - 119. Is 8 a factor of l(25)?
True
Let l = -38 - -37. Let f(w) = -28*w + 3. Is 4 a factor of f(l)?
False
Let p(t) = -t**3 - 5*t**2 + 6*t + 1. Let g be p(-6). Let j be 1*(4 + -2 - g). Suppose -3*a - j + 7 = 5*o, 22 = a - 5*o. Does 2 divide a?
False
Let u(w) = 7 - 1 - w**3 + 2*w - 15*w + 11*w**2. Let k be u(10). Let h = k - -28. Does 4 divide h?
True
Let m(s) = -3 + 80*s - 2 - 90*s - s**2. Let i be m(-9). Suppose -5*q = -2*x - 10, -5*x = 3*q - i*x - 17. Is q even?
True
Let b(j) = -14 + 2*j + 7*j - 10. Does 42 divide b(12)?
True
Let v(o) = -o**3 + 32*o**2 + 8*o - 109. Is 3 a factor of v(32)?
True
Let q = 246 - 406. Is 16 a factor of q/(-12)*12/5?
True
Let q(g) = -7 - 4*g + 0*g**3 - 8*g + 0*g - 12*g**2 - g**3. Let v be q(-11). Suppose -y = -v*o - 31, 101 = 4*y - 2*o - 37. Does 15 divide y?
False
Let t(o) = o**3 - 6*o**2 + 4*o - 3. Let r be t(4). Let c(s) = -s**3 - 6*s**2 - 5*s + 5. Let h be c(-6). Let z = r + h. Does 8 divide z?
True
Let v = -1129 + 624. Is 4 a factor of v/(-45) + 4/(-18)?
False
Suppose 15*l = -35 - 40. Let o(h) = -19*h - 43. Does 46 divide o(l)?
False
Let m = 37 - 51. Is 12 a factor of (188/(-28) - 1)*m/3?
True
Does 6 divide ((-378)/36)/((-4)/40)?
False
Let r(j) = -14*j - 6. Is 8 a factor of r(-23)?
False
Suppose u = 5*q - u - 60, 0 = -5*q + 4*u + 70. Let w be (-56 - (3 + 0))/(-1). Let z = w - q. Is 7 a factor of z?
True
Suppose 5*o = 2*q - 1426, -6*o + 2852 = 4*q - 5*o. Is q a multiple of 31?
True
Suppose 18*m = 60*m - 1260. Is 3 a factor of m?
True
Let g = 0 - -9. Does 18 divide 274/4 - g/(-6)?
False
Suppose 0 = -l + 3*h + 5, h + 38 = 5*l - h. Let z be 4/l + 27/2. Let j(r) = -r**3 + 14*r**2 + 5*r - 13. Is 19 a factor of j(z)?
True
Suppose -5*s - 5*f - 3 = 12, -3*s = -4*f + 23. Let z be (-860)/100 - 3/s. Does 4 divide z/(-2 - 6/(-4))?
True
Let a(w) = 3*w**3 + 2*w + 1. Let f be a(-1). Let r be f/12 - (-40)/12. Suppose -r = p - 2*p. Is 2 a factor of p?
False
Let q = 1220 + -53. Is 74 a factor of q?
False
Let v(q) = -6*q**2 - 29*q + 69. Let g(h) = -4*h**2 - 19*h + 46. Let d(f) = -8*g(f) + 5*v(f). Is 47 a factor of d(-14)?
False
Let s(m) = m**2 - 5*m - 34. Is s(18) a multiple of 50?
True
Let d be 366*2/(-1 + -1). Is (-9)/(-12) + d/(-24) a multiple of 8?
True
Suppose -1098*s = -1088*s - 700. Is s a multiple of 5?
True
Suppose 33*k = -39*k + 202608. Does 92 divide k?
False
Let y = 515 + -155. Is 21 a factor of y?
False
Let z = 59 + -54. Is (-34)/(z/(-10) + 0) a multiple of 5?
False
Let j = 32 - 64. Let b = -12 - j. Is 4 a factor of b?
True
Let u = 44 + -74. Let t = 34 + u. Let a(h) = 2*h**3 - 5*h**2 - h - 8. Is a(t) a multiple of 9?
True
Let j(f) be the second derivative of 17*f**4/12 + f**2 - 10*f. Is j(2) a multiple of 35?
True
Suppose 1 = -5*w - 4*x, 0 = -0*w + 4*w + 4*x + 4. Suppose -w*l - 2*u + 6 = 2*l, -5*l + 16 = -3*u. Suppose -o - l*o = -54. Is 9 a factor of o?
True
Is 577 + ((-18)/(-21))/(2/14) a multiple of 53?
True
Suppose -5*d - 2*i = 31, -19 = 5*d - 4*i + 2*i. Let y = d - -16. Suppose -f - y = -16. Is f a multiple of 4?
False
Let q(k) = k + 9. Let s be q(5). Let m be 4/s - 66/(-14). Suppose 3*o + 0*o = -m*v + 35, v = -5. Is 20 a factor of o?
True
Suppose 11*v = 8*v + 12. Suppose 2*d - 28 = 2*t + 48, 5*d - v*t - 187 = 0. Is d a multiple of 5?
True
Let f(t) = 22*t + 406. Does 16 divide f(-16)?
False
Let z = -2325 - -4066. Is 103 a factor of z?
False
Suppose -19*y + 3*y = -6976. Does 18 divide y?
False
Let y(p) = 32*p**3 - 2*p**2 + 2*p - 1. Let o(q) = -2*q - 3. Let u = 3 - 5. Let x be o(u). Is 21 a factor of y(x)?
False
Suppose -236 = 15*s - 17*s. Does 63 divide s?
False
Suppose 4*z + u - 662 - 428 = 0, -3*z = u - 817. Is 44 a factor of z?
False
Let p(q) = -q**3 - 18*q**2 + 4*q + 3. Suppose -c - 4*o - 3 = 0, -5*c - 4*o - 124 = -45. Does 28 divide p(c)?
False
Let m(p) = 3*p**2 + p + 1. Let g be m(-2). Let i(l) = 3 - l**2 - 2*l**2 + l**3 - 2*l**3 + 3*l + g*l**2. Is 19 a factor of i(8)?
False
Let f(l) = -2*l**3 + 2*l**2 + 3*l + 3. Let z = 17 - 16. Suppose 5*r = 2*a - 11, -r = z + 2. Is f(a) a multiple of 8?
False
Suppose -134 = -4*j + 302. Suppose 0 = 3*p + 6*b - b - j, 0 = -4*p - 2*b + 150. Is p a multiple of 19?
True
Let k(n) be the second derivative of 4*n**3/3 + 2*n**2 + 6*n. Is 9 a factor of k(4)?
True
Let d be 22/(-55) - 14/(-10). Let l(f) = f**3 - 11*f**2 + 9*f + 6. Let a be l(10). Is 10 a factor of -4 - a - -30*d?
True
Let n = 85 + -94. Let h = n - -144. Is 9 a factor of h?
True
Suppose -10*z + 4*z = 12. Is 250 - 3 - (z + 0 + -2) a multiple of 30?
False
Let c = -65 - -86. Suppose 0 = -c*k + 27*k - 288. Does 24 divide k?
True
Suppose -435 = 4*w - 1139. Suppose -2*v + 3*x + 156 = -0*x, -2*v - 2*x = -w. Is 14 a factor of v?
True
Let z(l) = l**2 + 8*l - 7. Let d be z(-8). Is 22 a factor of d + 9 - (-28 - 1)?
False
Let s = 37 + 14. Let v = s - 44. Is v a multiple of 3?
False
Suppose -4*u + 6 = -2*u. Let t(f) = -2*f + 3*f**2 + 251 - 246 + 3*f. Does 11 divide t(u)?
False
Suppose -3*r - 1 = 8. Is r - (-31*2 - 1) a multiple of 15?
True
Let l(v) = -80*v. Let u be l(-1). Let m = u + -62. Is 15 a factor of m?
False
Suppose 0 = 5*l - 8*l + 81. Is 2 + 373/3 + (-9)/l a multiple of 18?
True
Suppose 5*b + h = -18, 3*b - 4*b - 9 = 2*h. Let v be b/4*-4*-1. Is 13 a factor of v/15 + 393/15?
True
Suppose q + 602 = 2*q. Does 7 divide q?
True
Let t be 2/2*(-4 - -7). Suppose -3*a = w + 1, -t*a - 4*w - 3 - 1 = 0. Suppose u - 78 = 2*p, -3*u - 3*p + 6*p + 225 = a. Does 19 divide u?
False
Let r be 2/(-1)*86/(-4). Let k = r + -40. Is k a multiple of 3?
True
Let c(z) = -z**3 + 3*z**2 + 5*z + 3. Let r be c(4). Let o = 24 - r. Is 17 a factor of o?
True
Suppose -4*j + 90 = 2*c + 30, 5*c + 45 = 3*j. Suppose o - 5*y - 50 = 3*o, -o - 30 = 5*y. Is (-3 - 68/o)*j even?
True
Suppose 3*r + 2*o = 612, -r = -o - 296 + 87. Is 103 a factor of r?
True
Suppose -2*w + t + 679 = -623, -5*w + t = -3252. Does 50 divide w?
True
Is 10/(-10) - -721 - -7 a multiple of 56?
False
Suppose 4 = -r + 2. Let c be (r + 9)*8/14. Suppose -c*p + 332 = 92. Is p a multiple of 14?
False
Suppose 3*z + 70 = 5*s, 5*s - 10 = 4*z + 55. Let f be 6/3 + (-8)/(-1 - 3). Let m = s - f. Does 13 divide m?
True
Suppose 357 - 83 = 2*b. Suppose 2*f = b + 13. Is 15 a factor of f?
True
Let c be (96 - 65) + 1 + -1. Suppose 3*a = -2*l + a + 128, 3*l = 2*a + 197. Let q = l - c. Is 34 a factor of q?
True
Let s = -2397 - -5911. Does 55 divide s?
False
Let j(s) = s**3 - 4*s**2 + s - 2. Let o(z) = -z + 2. Suppose 12 = -4*n - 4*h, 2*n + 2*h - 9 = 5*n. Let v be o(n). Is 14 a factor of j(v)?
True
Let i(l) = l + 10. Let d be i(-10). Let f be (d + -1)/(6/(-198)). Let v = 56 - f. Does 9 divide v?
False
Suppose 3*q - 406 = d + 4*d, 0 = 5*q - 5*d - 690. Let f = q + -42. Is f a multiple of 29?
False
Let c = -298 + 741. Is 9 a factor of c?
False
Suppose -5*k = 4*q - 52, -4*k + 5*q - 7 = -3*k. Let n(h) = -h**2 + 15*h - 12. Is 11 a factor of n(k)?
True
Let w = -3 - -42. Let n = w - 79. Is 22 a factor of (n/15)/(4/(-66))?
True
Let u be -13 - -9 - -63*1. Let m = u - 4. Is m a multiple of 11?
True
Suppose 0 = -2*d + u + 3, 0*u + u = 3. Suppose k + d*k = 36. Is k a multiple of 4?
False
Let w = -27 - -31. Suppose v = -w*v + 95. Does 10 divide (-1 - (0 + -3)) + v?
False
Let m = -226 - -357. Suppose -5*w + m = -54. Is w a multiple of 8?
False
Let d be (-3 + 4)*1 - -1. Suppose -89 = -d*s - 2*x + 57, -2*x + 2 = 0. Is s a multiple of 9?
True
Let j = 1384 - 185. Is 109 a factor of j?
True
Suppose 2*x - 138 = -4*d, 5*d = 7*d - 4*x - 84. Does 3 divide d?
True
Let l(b) be the third derivative of 0*b + 7/24*b**4 - 3*b**2 + 0 - 1/6*b**3. Does 6 divide l(1)?
True
Suppose 0 = -4*p + 4*s + 28, 4*s + 10 = 134*p - 132*p. Is p a