 Is 21 a factor of b?
False
Suppose -3*p - 18 = -3*q, -4*q + 5*p = -23 - 2. Suppose -q*i = 8*i - 208. Does 16 divide i?
True
Let s be (0 - (-95 + 3)) + 2. Let b = s + -41. Let t = b + -37. Is t a multiple of 5?
False
Suppose 2*x - 8 = -2*d, 5*x = -0*x. Is d + -5*(-24)/20 a multiple of 3?
False
Let z(v) = 5*v. Let c be (-9)/(-6) + (-1)/2. Let g be z(c). Suppose s + 68 = g*s. Is 12 a factor of s?
False
Is 6 a factor of (8/(-9)*-3)/(4/90)?
True
Let d(s) = 25*s - 1. Let m be d(1). Does 22 divide 22/(-1 - (-27)/m)?
True
Let b be 2*(1 - -2) + -4. Suppose 7*c - b*c + s - 596 = 0, 4*s = 4*c - 496. Suppose -2*i = -c + 40. Does 5 divide i?
True
Let y(p) = -p**2 + 89*p - 454. Does 42 divide y(33)?
False
Let o(i) = -i**2 - 11*i + 3. Let c be o(-11). Let k(d) = 5*d**c + 10*d - 4*d**3 - 2*d**3 - 5*d**2 + 0*d**3 - 4. Is 28 a factor of k(-8)?
False
Let m = 193 + 71. Is 11 a factor of m?
True
Let b(l) = -l**3 - 16*l - 31. Does 114 divide b(-5)?
False
Let k be (-32)/(-6) - (-4)/6. Does 21 divide 2*(-3045)/(-54) + k/27?
False
Suppose -2*b + 62 = -8*q + 3*q, -3*b = -2*q - 71. Does 21 divide b?
True
Suppose -4*l - 6 + 18 = 0. Suppose 5*s - 226 = d, 0*s + s + l*d = 58. Is 11 a factor of s?
False
Let d = -161 + 520. Is d a multiple of 10?
False
Let l(j) = -6*j + 22. Let h(b) = -b**2 + 6*b - 11. Let f be h(6). Does 22 divide l(f)?
True
Suppose 0 = 45*n - 22305 + 2955. Is n a multiple of 10?
True
Let d(z) = -9*z**3 - 48*z**2 + 6*z - 27. Let s(n) = 5*n**3 + 24*n**2 - 3*n + 14. Let k(p) = -4*d(p) - 7*s(p). Is k(-24) a multiple of 17?
False
Let p(i) = i**3 - i**2 + i + 165. Let a be p(0). Let o = 94 - a. Let u = -51 - o. Is u a multiple of 5?
True
Let q be (-20)/(3/(-119 + 5)). Suppose 9*p - q = p. Does 6 divide p?
False
Let w be -19 + (3 - 10/2). Let r be 2/4 - 73/2. Let j = w - r. Is 5 a factor of j?
True
Is 25 a factor of 2/(((-2)/500)/(-1))?
True
Suppose -7*v - 72794 = -41*v. Is 31 a factor of v?
False
Let z = -31 + 50. Suppose -8*o - 880 = -z*o. Is o a multiple of 39?
False
Let a = -425 - -425. Let v(y) = 2 + y**3 + 0 + 6 + y**2. Is v(a) even?
True
Let t = -30 - -26. Let z(s) be the second derivative of -s**4/12 - 11*s**3/6 - 9*s**2/2 + 3*s. Does 19 divide z(t)?
True
Let y = -88 + 61. Let v(u) = 2*u - 11. Let s be v(7). Is 14 a factor of y/(-2)*(s + -1)?
False
Let s(i) = i**3 + 4*i**2 - 16*i - 30. Does 10 divide s(10)?
True
Suppose -4*w = -3*s - 241, 4*s + 3*w + 292 = w. Is 24 a factor of (-5805)/s - (-2)/(-5)?
False
Suppose 5*p + 9*n - 8*n - 480 = 0, -n + 195 = 2*p. Is p a multiple of 4?
False
Let w = 218 + -208. Is w even?
True
Let q(g) = -g**3 - 30*g**2 - 26*g + 30. Is q(-30) a multiple of 8?
False
Let k(w) = -4*w**2 + 2*w + 1. Let y = -18 + 12. Let o(a) = 4*a**2 - 2*a - 1. Let p(r) = y*k(r) - 5*o(r). Is p(4) a multiple of 11?
True
Suppose 0 = -2*r + 3 - 11. Let g be (6/r)/((-2)/(-20)). Let h = -9 - g. Is 6 a factor of h?
True
Let u = -41 + 517. Does 14 divide u?
True
Suppose -2*d + 5 + 1 = 0. Suppose -2*l = -l - d. Is l - 1*63/(-3) a multiple of 12?
True
Let z(p) = 2*p - 33. Let g be z(16). Is 19 a factor of (-193)/g + -2 + -1?
True
Let h(c) = 4*c - 1. Let m be h(1). Suppose 0 = -m*p + 158 + 220. Is 14 a factor of p?
True
Let q = 17 + -15. Suppose 4 = s + q. Is 15 a factor of -20*(4/10 - s)?
False
Let y = 175 + -291. Let i = -80 - y. Is i a multiple of 9?
True
Suppose 4 = 5*l - 26. Let t be 8/(-10)*(-45)/l. Suppose 0 = -5*k - t + 286. Does 14 divide k?
True
Suppose 3*w - 4*f = -f + 159, 2 = -2*f. Is 18 a factor of w?
False
Suppose -j - 15 = 13. Let w = -17 - j. Is 11 a factor of w?
True
Let p be -4*((-9)/(-2) - 3). Let x = p - -8. Is 11 a factor of (33/3)/(3 - x)?
True
Let q = 824 - 534. Is q a multiple of 5?
True
Suppose 4*q + 9 = 7*q. Suppose j = 2*z - 5, -q*z + 2*z + 2*j - 2 = 0. Suppose z*y - 9*y = -340. Is 34 a factor of y?
True
Suppose -24 = -6*n - 0*n. Suppose 5*c - 266 = 2*v, 2*c - 45 = -n*v + 47. Is c a multiple of 26?
True
Suppose -c = -3*m - 182, m + 186 = 3*c - 2*c. Is 3 a factor of c?
False
Let f(g) = 25*g - 70*g - 8 - 33*g. Is 29 a factor of f(-3)?
False
Suppose -2*q + 0*q - 950 = -2*b, q - 2381 = -5*b. Suppose -j - 4*w + b = j, 3*w - 237 = -j. Suppose -g - j = -5*g. Does 12 divide g?
True
Suppose 0*t + t - 3 = 0. Let f(y) = 2*y - 4. Let p be f(2). Suppose -t*h + p*h = -54. Is 16 a factor of h?
False
Let s(k) = 3*k - 12. Let v be s(5). Suppose -u - 2*a + 4 = 0, 3*u + v*a = 5*u + 6. Suppose u*p = -4*p + 252. Is p a multiple of 23?
False
Let v(b) = 2*b + 14*b**2 - 5*b - b + 5*b. Is v(-2) a multiple of 9?
True
Suppose -5*a + 4*w = -903, 3 = -3*w + 4*w. Let r = a + -123. Suppose 0 = -5*p - 5*x + 60, -p = -6*p - 3*x + r. Is 12 a factor of p?
True
Let v = -25 - -25. Suppose g - 6*g + 85 = v. Is 4 a factor of g?
False
Suppose 0 = 2*a - 19 + 13. Suppose 17 = -a*j - 4*q + 473, 0 = -2*q - 6. Does 39 divide j?
True
Suppose 18 + 16 = -n. Let d = 34 + n. Suppose d = -2*x - 0*x + 156. Does 26 divide x?
True
Let n be 48/60*(-65 - 0). Let g = 13 - n. Does 13 divide g?
True
Does 14 divide (-2)/5 - ((-13410)/25 + 4)?
True
Suppose -2*a + 2*r = -198, 3*r = -0*a + 2*a - 203. Let z = 217 - a. Does 16 divide (z/(-4))/((-3)/12)?
False
Suppose 0 = -2*z - 1223 + 1263. Is z a multiple of 2?
True
Suppose -2*u = -5*u + 15. Is 42/4*(u + 1) a multiple of 21?
True
Suppose -6*r + 2*r = -12. Suppose -r*s = -s - 4*q - 62, 2*q = -s + 27. Let d = 53 - s. Is 12 a factor of d?
True
Is -12*2*(-210)/45 a multiple of 14?
True
Does 37 divide 111/2*5720/195?
True
Let l(k) = -2 + 4*k**3 - 3*k**3 - 3*k**2 + 8. Let d be l(3). Suppose 2*f = 4*f - d. Is f a multiple of 2?
False
Let g = 31 - 36. Is (-77)/(-4) + g/20 a multiple of 3?
False
Let u(m) = -20*m + 33. Let j be u(12). Let k = -68 - j. Is k a multiple of 17?
False
Suppose -18 = g + 2*q + q, 2*g + 15 = q. Let v be (-1)/(-5) - g/(-45). Suppose 3*y + v*t - 5*t = 33, -y + 1 = -5*t. Is 16 a factor of y?
True
Suppose 24 = 4*b - b - 3*n, 2*b + 5*n + 12 = 0. Let u(w) = w**3 - 3*w**2 + 4*w - 5. Is u(b) a multiple of 9?
True
Let j(y) = 8*y**2 - 2*y - 8. Let t be j(-3). Suppose u = 18 + t. Is 23 a factor of u?
False
Let y(m) = m**2 + m - 30. Let t be y(0). Let g = 46 + t. Is 8 a factor of g?
True
Let t(g) = -31*g - 21. Let x be t(-2). Suppose x = 6*l - 43. Is 2 a factor of l?
True
Suppose 5 = -5*h, -4*h - 6667 - 553 = -4*o. Does 16 divide o?
False
Let l(z) = 6*z - 99. Is l(22) a multiple of 2?
False
Let f = 206 - 65. Let t = f - 75. Does 33 divide t?
True
Suppose 6240 = 155*r - 150*r. Does 8 divide r?
True
Let n(x) = 15*x - 16. Let b be n(3). Let q = b - -79. Does 12 divide q?
True
Let j = 21 + -36. Let i = j + 54. Let m = i + 0. Is 11 a factor of m?
False
Let a(g) = 3*g**3 - g**2 + g - 6. Let v be a(3). Suppose 9*s - v = 102. Does 19 divide s?
True
Let w = 606 - 326. Is w a multiple of 40?
True
Suppose 1013 = 3*h - 4*a - 414, 0 = 5*h - 4*a - 2381. Is h a multiple of 12?
False
Let g(y) = 2*y**2 - y + 2. Let l be g(1). Let c(q) = 11*q**2 - 9*q + 6. Does 13 divide c(l)?
True
Let l(m) = -m**2 + 12*m - 13. Let x be l(14). Let j = x - -48. Is 4 a factor of j?
False
Suppose -5*i + 17 = -i + 3*p, 4*i - 2*p = 2. Suppose i*k = 5*k - 33. Is 11 a factor of k?
True
Let b = 0 + 5. Suppose b*y + 5 = h, -5*h - 4*y - 4 = -4*h. Suppose h = -5*t + 12 + 198. Is t a multiple of 14?
True
Suppose 11 = q + 165. Is 13 a factor of 1/((-1)/q) + 1 + -3?
False
Let w be (-1)/(5/(86 + -1)). Let h = w - -27. Does 2 divide h?
True
Suppose 0 = -3*n + 7*n + 416. Let t be (12/(-24))/(2/n). Let o = t - 13. Is o a multiple of 4?
False
Suppose 4*g + t = -41, 6*t = 2*g + 3*t + 3. Let j(x) = -3*x - 14. Is 2 a factor of j(g)?
False
Let i(m) = -135*m**3 - m**2 - m - 1. Suppose 6*r + 5 + 1 = 0. Is i(r) a multiple of 33?
False
Let b(a) = 6*a + 11. Let h(r) = r + 1. Let z(p) = -b(p) + 5*h(p). Let d be z(7). Let y(w) = w**2 + 13*w + 17. Is y(d) a multiple of 11?
False
Let m(u) = -u**3 + 6*u**2 + 8*u - 6. Let y be m(7). Suppose 4*l = -2*h + 48, -h + 5*l - 100 = -6*h. Suppose x - y = h. Is x a multiple of 5?
False
Let f(s) = 4*s - 7*s + 9*s + 17 + 4*s. Is f(9) a multiple of 16?
False
Suppose -23*s - 285 = -25*s + a, 567 = 4*s - a. Does 5 divide s?
False
Let b be -3*(112/12)/7. Let w(s) = -s**3 - 2*s**2 + 3*s + 2. Does 4 divide w(b)?
False
Let t = 9 - 4. Suppose 0 = t*y + 4*a - 35, 6*y = 8*y -