 3*q. Is b(x) a multiple of 2?
True
Let z = 112 - 28. Does 12 divide z?
True
Let u(a) = 2*a**3 + 2*a**2 - 2*a + 1. Let o be u(1). Suppose 4*t = o*t + 6. Is t a multiple of 6?
True
Is 24*((-5)/(-3))/1 a multiple of 4?
True
Suppose 0 = -4*q - 8, -u + 3*q = 2*q - 1. Is (3 - 1)/(u/(-24)) a multiple of 16?
True
Let n(y) = -y**2 - 6*y - 2. Let x(i) = 2*i**2 + 5*i + 3. Let c(a) = 3*n(a) + 2*x(a). Is 4 a factor of c(10)?
True
Let n = -2 + 5. Suppose -1 = -n*s - 4. Does 12 divide (12/(-9))/(s/18)?
True
Let o(m) = -2*m - 3. Is o(-15) a multiple of 4?
False
Suppose 4*h = f - 12, 5*f + 0*h - h = 98. Suppose 2*t + o - 5*o = 22, -5*o - f = 0. Suppose -2*g - t*b + 42 = g, -4*b = -g + 14. Does 14 divide g?
True
Let s = 518 - 303. Is 23 a factor of s?
False
Let o(g) = -g**2 - 3 + 4 - 1. Let y be o(3). Let w = y + 29. Does 14 divide w?
False
Suppose -5*o = -7*x + 3*x - 11, -2*x = 8. Let q be ((-1 - o) + 0)/(-1). Suppose 0 = b + 5*l - 14 - 13, -2*b - l + 9 = q. Is b a multiple of 2?
True
Let x(d) = 2*d**3 + 2*d**2 - 10*d - 10. Is x(5) a multiple of 27?
False
Let k = 148 + -80. Is 17 a factor of k?
True
Let x = 25 - 20. Suppose -x*p + 0*p + 85 = 0. Does 6 divide p?
False
Let z(l) = -l**3 + 17*l**2 - 11*l + 16. Is 15 a factor of z(16)?
False
Does 21 divide (-2)/(-8) - (-9099)/36?
False
Let j(y) = 29*y + 2 - 2 - 3. Let f be j(-4). Let q = -81 - f. Does 19 divide q?
True
Let t(d) = -d**3 + 8*d**2 - 2*d + 4. Does 24 divide t(5)?
False
Let l(f) = -2*f - 8 + 0*f + f + 2*f. Let h be l(11). Does 4 divide 1 + (h/(-1))/(-1)?
True
Let v(h) be the third derivative of h**6/120 + 3*h**5/20 + 7*h**4/24 + 2*h**3/3 - 3*h**2. Is 12 a factor of v(-8)?
True
Let r(m) be the second derivative of -m**3/6 + 23*m**2 + m. Is r(0) a multiple of 23?
True
Suppose 0 = -3*n + 43 + 221. Is 19 a factor of n?
False
Suppose q + h = 3*h + 2, q - h - 2 = 0. Suppose -13 = -o - q. Does 3 divide o?
False
Let c(j) = -j**3 + 7*j**2 - j. Suppose 3*f - 5*b - 27 = 0, 4*f - 31 = 3*b + 2*b. Suppose -18 = -f*d - 3*t, -d + 16 = -4*t + 2. Is 15 a factor of c(d)?
True
Suppose 0*k - 100 = -5*k. Is 4 a factor of k?
True
Let h be -1 - 1*11*-4. Let p = h - 7. Suppose 0*z - 4*z + p = 0. Does 9 divide z?
True
Suppose 9 = 4*q - 5*i - 67, 2*q - 3*i - 36 = 0. Is 13 a factor of q?
False
Let p be -1 - (4 + (-396)/2). Suppose 0 = -5*v + 32 + p. Is v a multiple of 13?
False
Suppose 0 = -7*d + 9*d - 48. Is d a multiple of 12?
True
Let t(m) = 15*m**2 + 5*m - 6. Let s be t(-5). Suppose -3*y - s = 232. Is 10 a factor of y/(-20) - (-2)/5?
True
Let o = 1 - -23. Suppose a + 1 - o = 0. Is a a multiple of 11?
False
Let k = 4 - 0. Suppose f - k*h = 13, h - 3 + 5 = -f. Let o(z) = 7*z**2 + 1. Is 3 a factor of o(f)?
False
Suppose 29*c = 27*c + 150. Is c a multiple of 15?
True
Suppose -3*d + 35 = -b, -5*d + b + 10 = -45. Is 10 a factor of d?
True
Let p(c) = 5*c**2 - 8*c - 21. Does 8 divide p(-3)?
True
Let w = -12 + 99. Does 10 divide w?
False
Let v = -7 + 14. Suppose 0 = 3*k - 2*a + 8, 0 = 4*k + 4*a - v - 9. Does 16 divide -1 + 22*2 - k?
False
Suppose 5*w + 3*p = 791, 2*p + 222 = 3*w - 264. Is w a multiple of 32?
True
Let x(r) = -r**3 - 4*r**2 + 9*r + 6. Let p be 0 + 1 + 36/2. Suppose -5*d + 5*k + p = 59, 0 = -3*d - 2*k - 14. Is x(d) a multiple of 12?
True
Suppose -5*a - 38 = 12. Let x = 3 - a. Is x a multiple of 11?
False
Let r(u) = 2*u**3 - 4*u**2 + 4. Let k be r(3). Suppose -k = -2*p - h + 19, -2*p + 2*h = -38. Is p a multiple of 10?
True
Let t(a) = a + 16. Let c = -8 - -11. Let f be -9*((-9)/c)/(-3). Is 7 a factor of t(f)?
True
Suppose 48 = 4*r - 4. Let m = r + 22. Suppose 17 + m = 2*s. Does 13 divide s?
True
Suppose -2*d + 128 = -4*u, 3*u + d = 6*u + 98. Does 17 divide u/(3 + (3 - 8))?
True
Suppose 13*z - 3933 + 696 = 0. Is z a multiple of 23?
False
Let c be (26/(-4))/(2/4). Let m = -3 - c. Is 10 a factor of m?
True
Is 29 a factor of (-58)/(-4)*(2 - 3)*-14?
True
Suppose 5*s - 2*h = 3*h + 15, -1 = s - 2*h. Suppose 0 = -s*i + 9*i - 22. Is 10 a factor of i?
False
Suppose -3*p - 33 = 3*d, 24 = -5*p + 4. Is (-1888)/(-56) + (-2)/d a multiple of 8?
False
Suppose 0*k - 4*b = -k + 56, -3*b - 53 = -k. Does 11 divide k?
True
Suppose -3*f - 470 = -5*f. Suppose -3*m - 2*m = f. Let x = -21 - m. Is 13 a factor of x?
True
Let t(a) = a**3 - 5*a**2 - 3*a. Does 9 divide t(6)?
True
Let r(z) = -3*z - 1. Does 7 divide r(-5)?
True
Suppose -3*r + 6*r - 139 = -z, -3*z = -3*r - 477. Is z a multiple of 11?
True
Suppose 5 = p - 5. Suppose 5*l = -4*y + l + 56, 0 = 2*l + p. Is 8 a factor of y?
False
Let a(h) = -h**2 - 11*h + 6. Does 10 divide a(-8)?
True
Suppose -177 - 15 = -4*d. Is 17 a factor of d?
False
Let m(q) = -q. Let n = 8 - 13. Let r be m(n). Suppose 2*l + 81 = -r*f + 215, 3*f + 5*l - 69 = 0. Is f a multiple of 11?
False
Let x(s) = -2*s**3 - 4*s**2 - 2*s. Let l be x(-2). Let u be 44/12 - l/6. Does 3 divide 8/(3/(u - 0))?
False
Let v = 47 - 19. Is 7 a factor of v?
True
Is (-6)/(-39) + 1*15785/65 a multiple of 16?
False
Let v = -23 + 33. Let k = v + -7. Is ((-33)/9)/(k/(-9)) a multiple of 5?
False
Let x(l) = -41*l**3 + 2*l**2 + l. Is x(-1) a multiple of 14?
True
Let p(w) = -6*w. Is 4 a factor of p(-4)?
True
Let n(a) = -5*a - 11. Does 14 divide n(-7)?
False
Suppose -d - 2*r = -3*d - 4, 0 = d + 3*r + 2. Let u be 1 - (-22)/(d/2). Is 2/(1 + 1) - u a multiple of 17?
False
Let r = 52 - -93. Does 29 divide r?
True
Suppose 4*y - 124 = 108. Is y a multiple of 15?
False
Let c(w) = -w - 8. Suppose -4*b - 33 = 3*h - 12, 5*b - 5*h = -35. Let s be c(b). Is (35 + s)*8/6 a multiple of 22?
True
Let q(t) = 30*t**2 - 3*t + 2. Let s(y) = -y**2 + 8*y + 1. Let a be s(8). Is q(a) a multiple of 14?
False
Let d(q) = -5*q - 5. Suppose -2*g = m + 15, 2*m = -3*m - g - 39. Is 9 a factor of d(m)?
False
Let s(c) = -c**3 + 5*c**2 - c + 6. Let o be s(5). Does 10 divide (o - 7)/(4/(-24))?
False
Let a(h) = -8*h + 4*h**2 + 4*h**2 - h**2 + h**3 + 2. Let g be a(-8). Suppose 0*z - g*z = -72. Is 18 a factor of z?
True
Let a = 25 - 17. Let m be 234/a + 3/4. Suppose -6*j - 5*k + m = -j, -2*k = -j + 21. Is 11 a factor of j?
True
Let p be 18/(-4)*(-4)/3. Let a = p - 5. Is 9 a factor of 15 - (3 + -6)/a?
True
Suppose -16*p + 426 + 294 = 0. Does 5 divide p?
True
Suppose -5*q = -0*q, -2*g + 3*q = -72. Is 9 a factor of g?
True
Suppose -5*m + 195 = -0. Does 13 divide m?
True
Let o(i) be the third derivative of 3*i**5/10 + i**4/24 + i**2. Is 17 a factor of o(-1)?
True
Suppose -4*w = -2*w - 6. Suppose 3*o - 71 = -2*b + 41, b - 113 = -w*o. Is 19 a factor of o?
True
Let n = -119 + 207. Suppose -5*w - 2*x = -n, 3*w + x - 49 = -4*x. Suppose -5*l - w = -118. Does 10 divide l?
True
Let k = 172 - 126. Is k even?
True
Let y be (9 + -1)*(-2)/(-4). Suppose 31 = y*f - 13. Does 9 divide f?
False
Let k(p) = 2*p + 7. Is 16 a factor of k(5)?
False
Let n(z) = -z**3 + 5*z**2 - 2*z + 11. Let x be n(5). Let k = -41 + -17. Is 15 a factor of (x + -1)/(-1) - k?
False
Suppose -5 = -d - 1. Let m(f) = 6 + 0*f - 6*f + 2*f**2 + f. Does 18 divide m(d)?
True
Suppose 2 - 11 = 3*l. Is 9 a factor of 47/3 - 1/l?
False
Let v be 9/(3*2/28). Let g = v + 45. Is g a multiple of 29?
True
Let b(z) = -z**3 + 11*z**2 - 6*z - 12. Is 32 a factor of b(9)?
True
Is (-4152)/(-14) + (-18)/(-42) a multiple of 27?
True
Is (4/4 - 0)*-1 + 94 a multiple of 20?
False
Is 4/22 + 2760/66 a multiple of 6?
True
Suppose -s + 1 + 3 = 0. Suppose -7*u = -s*u - 60. Let d = 5 + u. Is d a multiple of 14?
False
Suppose p - 72 = -2*m, -5*p + 3*m = -2*m - 390. Is p a multiple of 19?
True
Let j be (2 + 0)/((-4)/94). Suppose -5*d - 125 = 20. Let f = d - j. Is 11 a factor of f?
False
Let y(m) = -m + 3. Is y(-7) a multiple of 6?
False
Suppose 25 = 5*u - 0*u. Suppose -x + 1 = 5*r, u*x - 4*r = r + 35. Is 5 a factor of x?
False
Suppose -4*t - c + 10 = -110, 4*t - 2*c = 120. Does 22 divide t?
False
Let d(v) = -v**3 + 9*v**2 + 4*v. Is d(9) a multiple of 18?
True
Let p be -3 + 2 + 8 + 2. Does 15 divide (100/6)/5*p?
True
Let z(h) = 9*h - 1. Let b be z(1). Let q = 2 - b. Is 12/18 - 140/q a multiple of 16?
False
Suppose 0*h = h - 4. Let q be ((-10)/(-6))/((-2)/(-156)). Suppose q - 2 = h*s. Is s a multiple of 16?
True
Let a = -17 + 30. Is 13 a factor of a?
True
Let k(i) = 3*i**2 - 1. Let u be k(-1). Let n(q) = -q - u*q + 2*q + 14. Does 9 divide n(0)?
False
Let r(c) = c**2 + 8*c + 13. L