 -2. Let d be g(t). Suppose 0 = -d*o + 115 - 3. Is o a multiple of 30?
False
Let y(a) = a**3 - 2*a**2 + 10. Let s = 12 + -13. Let z be (4 - 4)/((-2)/s). Does 2 divide y(z)?
True
Let l(d) = -9*d + 250. Is 5 a factor of l(0)?
True
Let n = -33 - -27. Let k(v) = v**3 + 6*v**2 + 2*v + 14. Is k(n) a multiple of 2?
True
Let t(z) = -z**3 - 8*z**2 - 13*z - 6. Let d be t(-10). Suppose 2*l + 4*l = d. Does 18 divide l?
True
Let k(w) = w**2 + 5*w + 16. Let z(d) = -7*d**2 - 2*d + 2. Let j be z(1). Is k(j) a multiple of 12?
False
Let v = 17 - 15. Suppose 3*n = -3*p + 372, 5*n + 4*p = v*p + 608. Is 30 a factor of n?
True
Suppose r + 496 = 3*z - 3*r, -2*z = -5*r - 319. Suppose 0 = -2*m + 5*p + 124, m = -2*m + 4*p + z. Is 44 a factor of m?
False
Let y(g) be the first derivative of 2*g**3/3 - 7*g**2 - 9*g + 10. Suppose 2*m - 6 - 14 = 0. Is 17 a factor of y(m)?
True
Let l(m) be the third derivative of -m**5/60 + 17*m**4/24 - m**3/6 - 10*m**2. Is 9 a factor of l(15)?
False
Let s be (7 + -5)/((-2)/289). Let f = -465 - s. Does 3 divide f/(-28) + 8/(-28)?
True
Suppose -4*b + 0*b = -12. Suppose -4*k = -6*k - b*w, -2*k - w + 8 = 0. Suppose -h = -4, 3*n - 5*n + k = -4*h. Is n a multiple of 11?
True
Let i(w) = -w. Let t(q) = q**2 - 1. Let o(z) = 4*i(z) - t(z). Let s be o(-3). Suppose s*c - 197 + 33 = -2*m, 40 = c + m. Does 10 divide c?
False
Let w(q) = -q**2 - 4*q + 1. Let z be w(9). Let f = 251 + z. Does 15 divide f?
True
Let o(t) = -t**3 + 38*t**2 - 33*t - 45. Is 10 a factor of o(37)?
False
Suppose -3*y - x + 622 = 0, -5*y - 3*x = -7*x - 1031. Let i = -117 + y. Does 19 divide i?
False
Is (1238/2)/(-6 - -7) a multiple of 30?
False
Suppose 5*d = -y - 35, 0 = -y - 0*d + 2*d - 42. Let o = 80 + y. Is o a multiple of 10?
True
Suppose -9*w - 1640 = -13*w. Is 41 a factor of w?
True
Suppose 3*s + 12 = 0, 40 = 4*l + 5*s + 484. Let j = l + 151. Is 45 a factor of j?
True
Let i be 441/(-28) + 1/(-4). Let f be i/(-14)*(-91)/(-26). Suppose -f*x + 376 = 32. Is x a multiple of 20?
False
Is 17 a factor of (1060*1)/(99/198)?
False
Let g(b) = 22*b - 13. Let x = -12 + 19. Does 24 divide g(x)?
False
Let u = 38 - 35. Suppose -4*x = -5*c - 108, -4*c - 19 = -u. Is x a multiple of 6?
False
Is 17499/76 + -6*3/(-24) a multiple of 42?
False
Let y(h) = h**3 + 10*h**2 + 8*h + 10. Let l be (3 - 25/(-5))/(-1). Is y(l) a multiple of 16?
False
Let g(d) = 1333*d**2 - 10*d + 11. Is 4 a factor of g(1)?
False
Let i be 0/((5 - 3) + 0). Suppose -2 = -h - i. Suppose -4*v - 2 = -2*b + 14, 0 = -h*b + 5*v + 16. Is 4 a factor of b?
True
Suppose -4*a + 2146 = -5042. Is a a multiple of 13?
False
Suppose -16 = 3*j - 7, -3*m = 2*j - 1932. Suppose -36 = 5*v - m. Does 22 divide v?
False
Let h = 20 - 12. Let o be (-2)/(h/(-12)) - -60. Suppose 0 = -5*i - c + 285, -i - c = -2*i + o. Does 26 divide i?
False
Let a be (50 + -3 + 2)*1. Suppose 224 = 7*s + a. Is 11 a factor of s?
False
Suppose -77*s - 9028 = -79*s. Is 122 a factor of s?
True
Suppose -7*h + 75 = -2*h. Is 5 a factor of h?
True
Suppose -105 - 279 = -o - 4*l, -5*l - 1152 = -3*o. Is o a multiple of 28?
False
Suppose -198061 + 53476 = -35*c. Is c a multiple of 19?
False
Suppose -p + 4*z = p - 92, 5*z + 235 = 5*p. Suppose -4*w + p = -l + 3*l, 2*w + 2*l - 26 = 0. Does 3 divide w?
False
Let p = 53 + -31. Suppose 2*t + p = 4*t. Is t even?
False
Suppose -138 = 22*n - 2206. Is n a multiple of 10?
False
Let f = 1 + 0. Let r be (26/(-65))/(f/(-60)). Is (-16)/r*(0 - 39) a multiple of 26?
True
Let u(k) = -3*k**3 - 10 + 5*k + 11*k**2 - 5*k**3 + 9*k**3. Is u(-6) a multiple of 25?
False
Let r(s) = 30*s**2 + 4*s + 8. Is 10 a factor of r(3)?
True
Suppose -5*n + 10 = 4*t, t - 9 - 2 = 3*n. Let b(h) = 13*h + 19. Is b(t) a multiple of 12?
True
Suppose 0 = -5*k - 6*m + 9*m + 1645, 0 = -k - 2*m + 342. Does 13 divide k?
False
Let s be (4 - 2)/(6/312). Let r = s + -79. Is 6 a factor of r?
False
Let b(d) = 11*d**2 - 9. Let p(v) = -v**2 - v - 1. Let u(m) = b(m) - 2*p(m). Is 8 a factor of u(-3)?
True
Suppose 5*n = 5*a - 35, 25 = -n - 4*n. Suppose a*q = 124 + 10. Is 5 a factor of q?
False
Suppose -4*g - 2 = 5*r, r + 0*r = -g. Does 11 divide (224/48)/(r/(-42))?
False
Suppose -167 = -3*s - 2*q, -3*q = 2*q - 20. Let y = s + 31. Let j = -42 + y. Is 18 a factor of j?
False
Let r(y) = 0*y - 3 + 7*y**2 + 6*y - 4. Is 12 a factor of r(-4)?
False
Suppose a = 5*i - 804, 5*a - 2*a + 12 = 0. Suppose -2*z + 2 = -8. Suppose z*o + 0*o = i. Does 8 divide o?
True
Let i(r) = 0 - 19 - 12 - 26 + 17*r - r**2. Does 14 divide i(9)?
False
Does 2 divide (-90)/(-8)*236/177?
False
Suppose -5*g - 5*u = -570, 3*g - 11*u - 335 = -7*u. Is 3 a factor of g?
False
Suppose -132 = -7*a + 43. Suppose a*b - 24*b - 17 = 0. Is 6 a factor of b?
False
Let t(x) = 760*x + 4. Is t(2) a multiple of 9?
False
Let l = -15 + 15. Suppose 7*k - 2*k - 40 = l. Suppose 0 = 15*q - 11*q - k. Does 2 divide q?
True
Suppose -4*m + 3*w = w + 166, -3*m - 144 = 5*w. Let l = -29 - m. Suppose -2*g - l = -38. Is 3 a factor of g?
True
Suppose 3*x = o + 2027, 2*x + x + 4*o - 2047 = 0. Is x a multiple of 21?
False
Suppose 23 + 2 = 5*t. Suppose 0 = -t*j - 7 + 167. Does 4 divide j?
True
Let f = -51 - -79. Suppose 2*p + f = 58. Is p a multiple of 5?
True
Let q(l) = l**3 - 6*l**2 - l - 14. Let g be q(8). Is 13 a factor of (-16)/(g/(-34) - -3)?
False
Let q(g) = 10*g**2 - 24*g + 62. Is q(3) a multiple of 4?
True
Let v = -13 - -15. Suppose 0 = -v*i - i + 21. Does 13 divide (i/2)/(3/24)?
False
Suppose 4*a = -2*q + q - 144, -3*a - 91 = 5*q. Is 16/(-32) - a/2 a multiple of 10?
False
Let s = 7 - -1. Is 2 + (-7)/4 + 670/s a multiple of 21?
True
Suppose -4 = -3*x + 5, -4*i + 2*x + 510 = 0. Is i a multiple of 7?
False
Let w(v) = -v**2 + 18*v - 20. Let h be w(15). Let i = h - 18. Is i even?
False
Let k be (40/12 - 3)*9. Suppose -k*w - 5643 = -1692. Is w/(-21) + 2/7 a multiple of 9?
True
Let m = 315 + 618. Does 2 divide m?
False
Suppose 36 = 8*l - 4*l. Let b = l + 159. Does 20 divide b?
False
Is 44 a factor of 4093/13 + (-50)/(-325)?
False
Let v(y) be the third derivative of y**5/60 - y**4/12 + 20*y**3/3 + 9*y**2. Let r be v(0). Is (12/5)/(16/r) a multiple of 6?
True
Let p(r) = 3*r - 5. Let m = 19 + -11. Is 13 a factor of p(m)?
False
Is 5 a factor of (792/(-6))/((-5)/25*2)?
True
Let p(u) be the first derivative of -u**2 + 4*u - 3/4*u**4 + 2 - 2/3*u**3. Is p(-2) a multiple of 24?
True
Let s be (4 - (-7 + -2))/1. Let b(l) = -l**3 - 6*l**2 - 5*l - 3. Let o be b(-5). Let w = s - o. Is 8 a factor of w?
True
Suppose 5*u - 89 = 16. Let a be (10/3)/(14/u). Suppose 82 = 4*p - a*g, -3*p + 2*g + 52 = 3*g. Does 13 divide p?
False
Is 2/(-30) + (-55263)/(-45) a multiple of 15?
False
Let c = 1426 - 130. Is 81 a factor of c?
True
Suppose 4*a - 2674 = w + 1196, 0 = -3*a + 6*w + 2892. Does 13 divide a?
False
Suppose 4*p - 4*w = 6 - 42, 2*p = 3*w - 15. Let l be ((-4)/(-8))/((-2)/p). Suppose -l*i = 2*a - 92, 2*a + i = -i + 94. Does 11 divide a?
False
Let j(l) = 2*l**3 + l. Let k be j(-2). Let p(q) = 29*q**2 + 3*q + 4. Let m be p(-1). Let v = k + m. Is v a multiple of 6?
True
Let s(h) = 6*h**2 - h - 2. Let g be s(-1). Suppose -k = 2*p - 143, 0 = -4*p - g*k - 22 + 305. Is 17 a factor of p?
False
Let t(i) be the first derivative of 12*i**2 - 68*i + 55. Is 25 a factor of t(9)?
False
Suppose 4*g = -3*n + 21 + 96, 0 = -n - 4*g + 31. Is n a multiple of 3?
False
Suppose 2*c + 2*c = 44. Suppose -5*z + 4 = -c. Suppose z*f + 8 = 47. Does 13 divide f?
True
Suppose 5*f + 1 = 5*k - 4, 3*k = f - 3. Let s be -3 - -1 - (13 - k). Let n = s - -26. Is n a multiple of 9?
True
Suppose 0*u = -r - 3*u + 11, -3*r - 3*u = -15. Suppose -2 = -r*h + 6. Suppose -h*y = 4*t + y - 160, -y = -2*t + 80. Does 20 divide t?
True
Let y be (-3)/15 - 11132/(-10). Suppose 5*i - y = -213. Suppose -3*h = 2*h - i. Is 12 a factor of h?
True
Let f = -1163 + 1475. Does 6 divide f?
True
Let i = 1778 - 1298. Is i a multiple of 48?
True
Suppose -1336 = -2*g - 2*g - 4*o, 5*g - 2*o - 1684 = 0. Suppose -g = -4*w + 280. Is w a multiple of 43?
False
Let n(p) = 4*p**2 - 21*p - 124. Does 20 divide n(-8)?
True
Suppose -7*l - 10*l = -1275. Does 2 divide l?
False
Let n = -187 - -144. Let z = 70 + n. Is z even?
False
Let t be (-12 + 13)*(-3 - -1 - 195). Let h = -128 - t. Is 9 a factor of h?
False
Let m = 7 + -9. Is 16 a factor of (m + 0)/(-2)*4*18?
Fals