*g - 3*g + 0*g + g - 7. Let y be p(-3). Does 2 divide (-3)/1 - (3 + y)?
True
Let v(u) be the third derivative of -u**6/120 - 7*u**5/60 - u**4/12 - 4*u**3/3 - 4*u**2. Does 6 divide v(-7)?
True
Let s be -3*-1*993 - 0. Suppose -1 = l, b = 6*b + 4*l + s. Is (-4)/6 - b/15 a multiple of 16?
False
Let g(p) = 1. Let s(w) = 4*w - 2. Let x(q) = -20*g(q) + 4*s(q). Is 14 a factor of x(7)?
True
Let k(u) = u**2 + 7*u + 3. Let n be k(-7). Is 5 a factor of 0 + (-504)/(-20) - n/15?
True
Suppose 14*i - 21168 = 2170. Is i a multiple of 18?
False
Let c = 40 - -764. Does 37 divide c?
False
Let z(n) = n + 23. Let s be z(5). Let y = 59 - s. Is 12 a factor of y?
False
Suppose 0 = -u + 2*r + 1170, 4*r + 2434 = 3*u - 1086. Does 10 divide u?
True
Let c(h) = h**3 - 16*h**2 - 17*h + 4. Let t be c(17). Suppose -4*o - f = -521, -t*o + f = -0*o - 519. Does 45 divide o?
False
Suppose 0 = 4*m + 16, 0 = 2*c + 3*c + 3*m + 12. Suppose -p + 0*q - 4*q + 65 = c, -4*q = -5*p + 445. Suppose 5*n - p = 155. Is n a multiple of 15?
False
Suppose -4*l + 242 = 2*k, -10*l = -7*l + 9. Is 3 a factor of k?
False
Suppose 13846 = 10*a + 4996. Is 59 a factor of a?
True
Let a(n) be the second derivative of -n**5/20 + 13*n**4/12 - 2*n**3 + n**2 + n. Let h = 140 + -128. Is a(h) even?
True
Does 37 divide ((-74)/6)/((2 + 5)/(-147))?
True
Let r(f) = 1227*f**2 - 12*f - 11. Does 8 divide r(-1)?
False
Let z(r) = r**2 - 5*r. Is 25 a factor of z(10)?
True
Let t(x) = -5*x**2 - 3*x - 1 + 0*x - x**3 - 9*x - 2*x**2. Does 19 divide t(-6)?
False
Let b(z) = -781*z - 33. Is b(-1) a multiple of 16?
False
Suppose 4 = -5*x + 14. Suppose -x*s - 2*s + 392 = 0. Is 12 a factor of s?
False
Is 6 - (-5484 + (-5)/(8 + -13)) a multiple of 21?
False
Let u = 1511 - 1351. Does 20 divide u?
True
Suppose 0 = 3*k + 2*j - 428, 5*j - 95 + 355 = 2*k. Suppose k = z + 4*z. Suppose -b = -5*v + 77, 5*v + z = -5*b + 93. Is 6 a factor of v?
False
Suppose 2 = 2*n - 2. Is 13 a factor of (n/(-8) + -3)*-12?
True
Suppose -5*g + 63 = b, 2*b = g + 42 + 62. Is 24 a factor of b?
False
Suppose 5*m + 4*i + 150 = 2*i, m + 4*i + 30 = 0. Let r be 43/(1*-1*(-7 + 8)). Let s = m - r. Is 11 a factor of s?
False
Is -15*(-13)/((-26)/(-28)) a multiple of 42?
True
Suppose 2*s - k = 933 + 2937, 0 = s + 2*k - 1940. Does 16 divide s?
True
Suppose -3*q = -2*h + 9, 4*h + 3*q = 7*q + 20. Suppose -4*z + 2 = -h. Suppose 0 = -z*k + 22 + 24. Does 5 divide k?
False
Let t = -6 - -8. Suppose d + 4*a - 21 = 0, -2*d + a = t*a - 21. Is 2 a factor of d?
False
Suppose 10*g - 3698 = 9392. Is 8 a factor of g?
False
Let d = 54 + -51. Suppose 470 = d*q - 5*m, 5*m + 150 = -3*q + 4*q. Does 10 divide q?
True
Suppose -5*k + 8 = -2. Suppose k*m + m = 204. Does 34 divide m?
True
Let t(r) = 5*r**3 - r**2 - 4*r + 5. Let g(k) = 6*k**2 - 1. Let x be g(-1). Let p(z) = 4*z**3 - 4*z + 4. Let q(w) = x*t(w) - 6*p(w). Is 17 a factor of q(6)?
False
Does 11 divide (-436)/(855/(-117) + 7)?
False
Let q = 15 + 60. Suppose 225 = 6*i - q. Does 10 divide i?
True
Let l = 28 + 5. Let c = 118 - l. Suppose -c = -2*b - 21. Does 12 divide b?
False
Let r = 51 + -46. Suppose 4*d + 58 = 3*z - r, -4*z + d = -97. Is z a multiple of 6?
False
Let d = 871 + -381. Is d a multiple of 35?
True
Suppose -10*t = -26*t + 1056. Is t a multiple of 6?
True
Suppose -3*o - 5*d = -816 - 5591, 5*o + d = 10649. Is 16 a factor of o?
False
Suppose 27*h - 8127 = 6*h. Does 61 divide h?
False
Suppose 4*t - 9*t + 6290 = 2*c, 5*c + 25 = 0. Is 9 a factor of t?
True
Suppose 3*k - 3*r - 10 - 14 = 0, -3*r = -4*k + 34. Is 23 a factor of 276/30*(k - 0)?
True
Let r be 5 - (-65 - 4/4). Suppose 0 = 3*m - 261 - 192. Let l = m - r. Is l a multiple of 20?
True
Let l be 3*2/(-12) + (-11)/(-2). Suppose 4 = -2*v, l*s + 3*v - 117 = 182. Is 33 a factor of s?
False
Let c be 2 - (-7)/((-14)/(-100)). Suppose 4*i - 2*k + c - 552 = 0, 5*k = -3*i + 388. Is 18 a factor of i?
True
Suppose -z + 2 = 0, -6*u = -7*u + 3*z + 407. Is 13 a factor of u?
False
Suppose 3980 = 5*q - 5*d, 1588 = -0*q + 2*q - 3*d. Suppose q = 154*m - 150*m. Is 25 a factor of m?
True
Suppose -5*o + 2163 = 2*h, 3*o - o = -4*h + 862. Is o a multiple of 8?
False
Let p(m) be the first derivative of -m**5/60 + 5*m**4/24 + m**3/6 + 5*m**2/2 + 5. Let x(d) be the second derivative of p(d). Does 5 divide x(4)?
True
Suppose -109*y + 85617 = -144591. Is y a multiple of 11?
True
Is 3 a factor of (1*(-21)/6 - -3)*-682?
False
Let w(a) = -5*a + 63. Let t be w(12). Suppose 3*r + 4*o = 429 - 20, t*r = 5*o + 454. Is r a multiple of 13?
True
Does 4 divide (-43 + 67)/((16/(-76))/(-4))?
True
Suppose -5*s - p + 454 = -855, 3*s = 5*p + 763. Suppose 2*a - s = -5*f - a, -4*f = -5*a - 231. Does 21 divide f?
False
Is 27 a factor of 1970 - (1/2)/((-10)/20)?
True
Let r(g) = -50*g + 13. Suppose -o - h - 10 = o, 5*h + 8 = -4*o. Let i be r(o). Does 30 divide i/12 + 4/(-16)?
True
Let g = -10 - -3. Let p = g - -10. Does 7 divide 8/p*63/6?
True
Let r(b) = b**2 - 8*b + 1. Let j be r(9). Is 16 a factor of j*(-11)/(165/(-336))?
True
Suppose 78*k = 93*k - 41820. Is k a multiple of 40?
False
Let c = 424 + -405. Is c a multiple of 2?
False
Suppose 7*i + 2*l = 5*i + 1182, 0 = 4*i - 4*l - 2372. Is 8 a factor of i?
True
Let n(h) = 2*h**3 + h**2 - 10*h + 20. Is n(5) a multiple of 7?
True
Suppose -4*n + 23 = -133. Is 13 a factor of n?
True
Let y(r) = 2*r + 42. Does 16 divide y(11)?
True
Suppose -7 = y + 14. Does 14 divide (y/(-4))/((-60)/(-160))?
True
Let r(y) = -y**2 + y + 2. Let h be r(-3). Let q be (-448)/40 - 2/h. Does 11 divide 1/(-2)*q*4?
True
Let m(t) = t**2 + t - 1. Let b(a) = a**2 + 9*a + 6. Let h(d) = -b(d) + 6*m(d). Let k(s) = s**3 + 6*s**2 - 7*s + 5. Let w be k(-7). Does 14 divide h(w)?
True
Let f be 78/12 + 1/2. Let h = f - -18. Is -6 + 4 + 1 + h a multiple of 6?
True
Suppose 0 = -4*d + 33 + 11. Suppose -q - 2 - d = 0. Let w = q + 16. Is w even?
False
Let r be -1 - (-9 + (-9)/(-3)). Suppose l + 2*k - 10 = -k, 0 = -r*l + 5*k + 110. Is 11 a factor of (-8)/8 - (-2 - l)?
False
Let o(t) = 3*t**2 + 9*t + 14. Let h be o(-3). Suppose a = 2*s - h, s + 4*a + 26 = 3*s. Is 5 a factor of s?
True
Let s(a) = 6*a + 281. Does 7 divide s(0)?
False
Let q(a) = -a**3 + 6*a**2 - a + 8. Let j be q(6). Let s(t) = t - 1 + 8 + 6*t + 1 - t**j. Is 7 a factor of s(6)?
True
Let n(c) = -51*c + 27. Is 8 a factor of n(-4)?
False
Suppose -l - 12 = -4*b + b, -b + l = -6. Suppose -b*w + 0*w = 0. Suppose 2*c = -w*c + 22. Is 11 a factor of c?
True
Let r(m) = -m**3 - 7*m**2 - 5*m + 6. Let j be r(-6). Suppose 4*l - 27 + 7 = j. Is 6 a factor of l/((-5)/(-6)) - -2?
False
Suppose -18*w + 16*w + 90 = 0. Let i = 72 - w. Is 13 a factor of i?
False
Let x be (90/21)/((-3)/(-42)). Suppose -n + 4*n - 30 = -b, -2*b + x = 3*n. Is b a multiple of 15?
True
Suppose 3*k - 117 = -3*o, -4*o - 4*k + 152 = -2*k. Let y(w) = -w**2 - 2*w + 2. Let v be y(-5). Let r = v + o. Is r a multiple of 17?
False
Suppose -633 = 3*b + 4*w - 88, 0 = -4*b - 4*w - 720. Let k = -52 - b. Does 27 divide k?
False
Suppose -9*g + 5905 = 262. Does 25 divide g?
False
Let m = -673 - -2565. Does 11 divide m?
True
Let w = -26 + 22. Is 11 a factor of (1/3)/(0 + w/(-396))?
True
Is 16 a factor of 330/1155 + (-27632)/(-14)?
False
Let h(m) = -3*m**2 + 10*m + 3. Let q = 4 - 1. Let b(n) = 2*n**2 - 5*n - 1. Let k(w) = q*h(w) + 5*b(w). Is k(-7) a multiple of 18?
True
Suppose 2*a = 4*r - 1140, 4*a = -r - 2*r + 833. Is 17 a factor of r?
False
Does 6 divide ((-54)/105)/(18/(-84))*85?
True
Let p(f) be the third derivative of -f**4/24 + 2*f**3/3 - 6*f**2. Let b be p(-5). Suppose b = 5*j - 291. Is 18 a factor of j?
False
Let y(u) = -u**3 + 15*u**2 + 24*u + 2. Let o(q) = q**3 - 14*q**2 - 24*q - 2. Let v(l) = 4*o(l) + 3*y(l). Does 8 divide v(13)?
True
Let q be 3/9 - (-15)/9. Suppose -523 = -4*z - o, 4*o = -q*z - 0*o + 244. Does 44 divide z?
True
Let t = -394 - -670. Let v = 397 - t. Is v a multiple of 18?
False
Let f(h) = h**2 + 7*h + 8. Let m be f(-17). Suppose 19*t - 21*t + m = 0. Is 19 a factor of t?
False
Let f(q) = -10*q + 63. Is f(5) a multiple of 10?
False
Suppose -2 = -n, 2*g - 44 = 3*n + 62. Let h = g + -45. Is 11 a factor of h?
True
Let p(y) = -2*y - 36. Let g be p(-18). Suppose g = 20*s - 24*s + 112. Is s a multiple of 18?
False
Let h(v) be the second derivative of -v**3/3 + 3*v**2 - 6*v. Is 16 a factor of h(-7)?
False
S