0 + 66 = 0. Let y = -31 - k. Is (-112)/(-16) - 6/y a multiple of 6?
False
Does 14 divide (2/12 - 53/(-159))*9118?
False
Let y(o) = o**2 + 4*o + 28. Let r be y(14). Let k = -148 + r. Is 33 a factor of k?
True
Let w be 1*394/4 + (-4)/8. Let n = 128 - w. Is 15 a factor of n?
True
Let k(b) = 9*b**2 - 3. Does 69 divide k(10)?
True
Let x(z) = -z**3 - 29*z**2 - 29*z + 21. Suppose 0 = -5*v + 2*m - 132, -3*v - 68 = -2*m + 8. Is x(v) a multiple of 18?
False
Suppose 0 = 9*c - 11*c + 4. Suppose 3*f - 5*v - 46 = 0, -8 = -4*f - c*v - 2*v. Is f a multiple of 5?
False
Suppose 2*n + 3*q - 1637 = 0, -n + 5*q = -748 - 64. Is 10 a factor of n?
False
Suppose -4*q + 117 = d, -5*q + 0*q + d + 144 = 0. Suppose -10*n + q = -9*n. Does 23 divide n?
False
Suppose 0 = 4*h - 99 - 21. Is 3 a factor of h?
True
Let h(m) be the first derivative of -m**3/3 + 3*m**2 + 9*m + 4. Is h(4) a multiple of 3?
False
Let t be (-4)/(-20) - 2/10. Suppose -4*s - 31 + 91 = t. Does 6 divide s?
False
Let l(d) = -5*d + 8 - 6*d + 8*d + 14*d. Is 20 a factor of l(9)?
False
Let l(r) be the second derivative of -1/2*r**3 + 2*r - 6*r**2 + 0. Is l(-7) a multiple of 9?
True
Let a(l) = -97 + 172 - 22 - 2*l. Is a(-8) a multiple of 23?
True
Suppose -4*o = -4*k + 4 - 36, -3*k = 4*o - 4. Suppose m - 4*p = p - 2, o*p + 26 = 2*m. Suppose 0 = -5*b + z + 188, -2*z - 20 = -b + m. Does 11 divide b?
False
Let o = 133 + 20. Let g = -105 + o. Is 8 a factor of g?
True
Is (144 - 0)/(62/124) a multiple of 18?
True
Suppose 5*p + 2*c - 1 = 4*c, 3*p = 3*c - 3. Suppose -3*y - 5*g = -5, 0*g = 3*y + g - p. Suppose -5*w + 4*l - l + 187 = y, 3*l = -4*w + 128. Is 6 a factor of w?
False
Does 5 divide 10 - 5 - 5 - -735?
True
Let q(r) = r**3 - 6*r**2 + 1. Let l be q(4). Let x = l + 20. Let n(g) = g**2 + 6*g - 13. Is 8 a factor of n(x)?
False
Let t be 63*3/(-9)*-2. Let i = t - 23. Let j = -4 + i. Is j a multiple of 13?
False
Let a(p) = 10*p**2 + 19*p + 97. Is 38 a factor of a(-6)?
False
Let k = 9 - 5. Suppose 146 = -2*h + 4*h. Suppose -5*l + h = k*x, 0*l - 5 = -l + 4*x. Is 5 a factor of l?
False
Suppose y + 4*k - 33 = 133, -679 = -4*y - k. Let w be (y/25)/(2/5). Suppose -39 = -4*j + w. Is j a multiple of 9?
False
Is -14 + (-1680)/(-119) + (-41204)/(-34) a multiple of 15?
False
Let b(q) = -q**3 + 10*q**2 - 6*q + 3. Suppose -35 = 4*j - 9*j. Is 18 a factor of b(j)?
True
Let s = 32 + -32. Suppose 4*x + s*g = 2*g, -5*g = 2*x. Suppose x*t - 264 = -4*t. Is 11 a factor of t?
True
Suppose -9*s + 4*s + 15 = 0. Suppose s*b - 5 - 40 = 0. Does 7 divide b?
False
Let o = -198 - -332. Suppose o*m = 135*m - 40. Is m a multiple of 8?
True
Let h = 362 - 267. Is 5 a factor of h?
True
Let j(h) = h**2 - 5*h + 2. Let k be j(5). Let r be 9 + -10 + k + 1. Suppose -2*u = -4*u - 4, -r*u - 39 = -5*l. Is l even?
False
Let z = -348 + 568. Does 20 divide z?
True
Suppose 35*a = 32*a + 492. Does 82 divide a?
True
Let x(o) = -3*o**2 - 4*o**2 - 9 + 7*o**2 + o**3 + 18*o**2 + 8*o. Let v be x(-17). Let p = -81 + v. Does 21 divide p?
True
Let h(z) = -4*z - 4*z**3 - z**2 - 1 - 10*z**3 + 3*z + 2*z**2. Is 5 a factor of h(-1)?
True
Is 5/(12/(-20) + (-8466)/(-13860)) a multiple of 7?
True
Let h = 125 - -1221. Is h a multiple of 17?
False
Let r be (-21)/7 + (9 - 1). Let u(i) = -5*i**2 - 4*i - 8. Let f(j) = 4*j**2 + 4*j + 7. Let q(g) = -6*f(g) - 5*u(g). Is q(r) even?
False
Suppose 295 = 2*k + 3*k. Suppose x - 5*h - k = 0, -5*x + 62 = 4*h - 117. Is x a multiple of 13?
True
Let o = -81 - -422. Let k = o + -136. Is k a multiple of 38?
False
Let o be -5*19/(-5)*1. Let m = o - 11. Suppose -20 = -p + g + 3*g, -3*g - m = p. Is 3 a factor of p?
False
Suppose 0 = 2*f - 0*f. Suppose 0 = -5*g - f*l - 2*l + 35, -5*g + 3*l + 35 = 0. Is (-7)/(g/(-12))*2 a multiple of 9?
False
Let i(f) = -f**3 + 45*f**2 - 37*f - 103. Does 41 divide i(44)?
True
Let g be 7/(-3) - 2/(-6). Does 10 divide 2/g*-86 + (-9)/3?
False
Suppose 3*s + 90 = 1248. Is s a multiple of 27?
False
Suppose 2*f = 7*f. Suppose 0 = -4*l - f*l + 32. Suppose -5*o + l = -7. Does 2 divide o?
False
Let t(s) = -s**2 + 5*s - 4. Let z be t(3). Let b = 46 - 44. Suppose -z*u + 128 = b*u. Is u a multiple of 16?
True
Suppose -3*r - 2*v + 73 = -346, r - 4*v = 149. Is 28 a factor of r?
False
Suppose y + 0*y - 14 = 0. Suppose 3*j + y = 2*l + j, 3*j = -2*l + 24. Suppose l*u - 14*u + 15 = 0. Is u a multiple of 3?
True
Suppose 440 = 35*j - 4390. Is 10 a factor of j?
False
Let n(z) = 15*z**2 + 14*z + 25. Is n(-4) a multiple of 8?
False
Let w be -11 + 3/3*2. Let h(g) = -26*g - 6. Let j be h(w). Suppose -j = -5*v + 2*v. Is 21 a factor of v?
False
Suppose 304 = -2*j + 2*s, 0 = 2*j + 7*s - 3*s + 328. Let f = j - -32. Let d = -84 - f. Does 8 divide d?
True
Let j(x) = 109*x**3 + 2*x**2 - 4*x + 2. Does 27 divide j(2)?
False
Let w(f) = -4*f**2 - 12*f + 2. Let q(l) = -5*l**2 - 13*l + 1. Let b(z) = -5*q(z) + 6*w(z). Is 17 a factor of b(-6)?
True
Suppose 2*a + 4*m = 130, -4*a + 68 = -3*a + m. Let h = -43 + a. Is 15 a factor of h?
False
Let k(a) = 187*a**2 + 3*a - 20. Is 22 a factor of k(3)?
True
Does 13 divide (-13 - (-104)/(-8))*87/(-2)?
True
Let n = 395 - 613. Is n/(-8)*(-3 + 42/6) a multiple of 4?
False
Suppose 16198 - 47788 = -13*b. Does 18 divide b?
True
Let a(d) = -3*d**2 + d. Let s be a(1). Let x be (10/8)/(s/(-232)). Let f = x + -87. Is f a multiple of 12?
False
Let i = 521 - -399. Does 92 divide i?
True
Suppose 0 = -z + 5 + 7. Suppose w + 2*t = -z, -4*t = 3*w - 3*t + 41. Is (-1 + -7)*w/8 a multiple of 11?
False
Let q(k) be the second derivative of k**7/2520 + 7*k**6/720 + k**5/120 + k**4/3 + 4*k. Let x(u) be the third derivative of q(u). Does 9 divide x(-8)?
True
Let d(c) = -112*c - 8. Is 8 a factor of d(-1)?
True
Let t be (-4)/(-4)*-134*-3. Let f = t + -246. Is 39 a factor of f?
True
Suppose 0 = b + 2*s + 190, -3*b - 210 = -2*b - 3*s. Let w = -57 - b. Does 29 divide w?
False
Suppose 0 = -9*q + 399 + 2571. Does 2 divide q?
True
Let x(i) be the second derivative of i**5/20 + i**4/12 - i**3/6 + 4*i. Is 9 a factor of x(3)?
False
Let y be (32/(-12) - -2) + (-50)/(-3). Let n = 67 - y. Is n a multiple of 16?
False
Let z be (-2)/((-86)/42 - -2). Let s = 4 + z. Is 39 a factor of s?
False
Let n = -17 + 22. Suppose n*l - 41 = -2*q, -q - 3*l = q - 39. Suppose -2 = -j + z, 5*j - q = 2*z + 4. Is j a multiple of 2?
True
Let q(t) = -14*t - 69. Does 6 divide q(-15)?
False
Let w(f) = f**3 - 7*f**2 + 15*f - 10. Let m be w(7). Let y = m - 55. Is 17 a factor of y?
False
Suppose -2*g = -4*m - g + 1484, -5*g - 390 = -m. Is 10 a factor of m?
True
Suppose -u - o + 95 = -188, 5*o + 825 = 3*u. Is u a multiple of 5?
True
Let o = 154 - -595. Is o a multiple of 11?
False
Suppose 10*h = 2947 - 917. Let b = 357 - h. Is 21 a factor of b?
False
Does 5 divide 36630/22 + (-10)/1?
True
Suppose -3*s - 10 = -8*s. Let x be 135/25 - s/5. Suppose -39 = -x*d + 4*d. Does 13 divide d?
True
Let u(b) = 2*b**2 - 7*b - 1. Suppose a = -3*p + 62, 2*a - 71 - 13 = -4*p. Suppose s + 3*s = p. Is 14 a factor of u(s)?
True
Let y(s) = -8*s**2 + 4*s - 6. Let t(r) = -r**2 - r + 1. Let d(v) = -3*t(v) - y(v). Let l be d(3). Let n = 144 - l. Does 12 divide n?
False
Let t(h) = 15*h**2 + 4*h + 4. Let w(x) = -x**2 - 2*x + 1. Let o be w(-3). Does 15 divide t(o)?
False
Suppose 8*z + 588 = 2380. Is 7 a factor of z?
True
Suppose 0 = -2*v - 24 + 24. Suppose -3*l + i + 457 = v, -5*i = -5*l + 331 + 434. Is 19 a factor of l?
True
Let j = 261 - 65. Does 33 divide j?
False
Suppose 17*s - 22*s = -40. Suppose -s = -j - p + 4, p = 5. Does 2 divide j?
False
Let q be (-2)/4*(-84)/((-30)/5). Is 179 + 0 + (-8 - q)*-3 a multiple of 26?
True
Let p(o) be the first derivative of -o**2/2 + 7*o + 12. Let s be p(8). Let i(q) = -20*q**3 + q**2 + 3*q + 2. Does 10 divide i(s)?
True
Let k = 148 + -63. Is 15 a factor of (k/3)/((-4)/(-12)) - 3?
False
Let b be ((-8)/10)/(4/(-10)). Suppose 3*p + b*p - 445 = 0. Let q = p - 63. Is q a multiple of 13?
True
Suppose 6*x - 192 = 2*x. Let n = x + 6. Is 27 a factor of n?
True
Suppose -5*o - 23 = 12. Let b(w) = w**2 + 7*w - 17. Let f(h) = h**2 + 8*h - 17. Let s(d) = 6*b(d) - 5*f(d). Does 5 divide s(o)?
False
Suppose -15 = -5*y, -5*f - 4*y + 33 = -4. Suppose 5*n - 15 + 5 = 0, f*n + 122 = 3*s. Is s a multiple of 11?
True
Let n(c) = c**3 + 2*c**2 - 15*c + 113. Is n(0) even?
False
Suppose 5 = 5*m - y, -2 = 