 b a multiple of 12?
False
Suppose -3*i + z + 8 = 0, -2*z - 1 = -3. Suppose -4*g = i*q - 1951 - 680, 5*g - 3288 = -4*q. Is 22 a factor of g?
True
Let t be 576/(-30) - 3/(-15). Suppose 0*z = 3*z - 222. Let v = z + t. Is v a multiple of 27?
False
Suppose 14440 = 9*s - 6281 - 17439. Is 31 a factor of s?
False
Let a = -30 + 34. Let g be -4 + (2 + 27 - a). Suppose -g = -c + 102. Does 17 divide c?
False
Let a = -1640 + 2890. Is 10 a factor of a?
True
Suppose 0 = -49*h + 58*h. Suppose 0 = -5*d + 5, -y + 2*y - 5*d - 804 = h. Is 13 a factor of y?
False
Let f(r) = 3*r**3 + 58*r**2 - 3*r - 17. Is 57 a factor of f(-19)?
False
Is 2872 - 48/20*(-5 + (-35)/(-21)) a multiple of 9?
True
Suppose -3*o = 3, -4*o - 5 = -3*g + 17. Is 15 a factor of 234 - (-6 + -6 + g)?
True
Let f be 7018/198 + 12/(-27). Is 9 a factor of (-78*(-63)/f)/(2/10)?
True
Let x(q) = -175*q**3 - 36*q**2 - 62*q + 9. Is x(-2) a multiple of 8?
False
Suppose s - f + 3 = 0, -4*s - 2 - 14 = -5*f. Let w(t) = t**2 + t + 1. Let z(o) = o**3 + 6*o**2 + 4*o + 64. Let u(b) = s*z(b) - 4*w(b). Is 20 a factor of u(0)?
True
Suppose 3*o - 312 = -3*b, 3*b - 510 = -o - 4*o. Let g(s) = s**3 + s**2 + 9. Let p be g(0). Suppose p*h - o = -2*h. Does 5 divide h?
False
Suppose 0 = -i + 924 + 35. Suppose -113 = -9*z - i. Let l = -28 - z. Does 16 divide l?
False
Let b = 8243 - -972. Does 19 divide b?
True
Let l = 50 + -61. Let d be -1 + 0 + (2 - (-6 - l)). Is 4 - -5*d/20 a multiple of 3?
True
Let l = 28356 - 12968. Is l a multiple of 22?
False
Suppose 0 = 3*r - 9, -74*r + 108380 = 5*d - 79*r. Is d a multiple of 116?
False
Is 1 + 2 + -5 - (-13610 + 13 + -9) a multiple of 129?
False
Suppose -5*z - q = -24, -5*q = 4*z - 6*q - 12. Is (-220)/(-1) - (-2 + 2 - z) a multiple of 33?
False
Let l = -153 + 157. Suppose h - 110 = -l*d, -3*h - 2*d = -0*h - 350. Is 9 a factor of h?
False
Suppose 2 = -2*s - 6. Let x be -36*54/s*(-4)/(-24). Is x - (-1 + 4)/3 a multiple of 26?
False
Let u be 3*(51/9 - 4). Suppose u*a + 13 - 23 = 0. Suppose a*f + 2*p - 40 = 4*p, 0 = -2*f + 4*p + 34. Does 11 divide f?
False
Let v(y) be the second derivative of -7*y**3/3 - y**2/2 + 1148*y. Let z be (-1 - 9)*(-2)/(-5). Does 8 divide v(z)?
False
Let y(t) = 20*t - 36. Suppose -20 = b - 6*b. Suppose 2*f - 8 = -2*m, 4*f - b*m + 9*m = 13. Is 13 a factor of y(f)?
True
Let y = -130 + 133. Suppose -3*w + 5*u = -6293, 0*u + u - 6323 = -y*w. Suppose -6*d = 7*d - w. Is 11 a factor of d?
False
Let p be 7/((-175)/(-1020))*5 + -1. Let x = p - -349. Is x a multiple of 46?
True
Let j(s) = 95*s**2 - s - 12. Let r be j(4). Is (-4)/(-14) + -3 + r/28 a multiple of 17?
True
Suppose 5*j - 4*u = 6196, -6*j + 2*j = 4*u - 4928. Let f = j - 861. Suppose -6*a - 51 = -f. Is 9 a factor of a?
True
Suppose 0 = -2*m + 8 - 4. Let i(w) = w**3 - 2*w**m + 0*w**2 - 5*w + 7 + 4 - 5. Does 28 divide i(5)?
True
Let h = -291 - -168. Let k = -81 - h. Does 16 divide k?
False
Let h = -56 + 56. Suppose h = -2*k + i + 6, 3*i - 4 = -5*k - 0. Suppose -3*l + k*p + 58 = -192, -4*l + 4*p + 340 = 0. Is 10 a factor of l?
True
Suppose 2*g - 3*w = -w + 298, 412 = 3*g + 4*w. Suppose -p + 52 = 2*j + 3*p, -5*j + g = -4*p. Does 22 divide (j*2 + -1)*(-10)/(-25)?
True
Let i(l) = 768*l + 746. Is 26 a factor of i(21)?
True
Suppose -3*s + 5*u + 162 = 0, 0*s + 5*u - 133 = -2*s. Let f = -3 + s. Let x = -27 + f. Is 2 a factor of x?
False
Let a = -3786 - -5018. Is 8 a factor of a?
True
Let l(k) = 14*k**2 - 119*k - 126. Does 10 divide l(22)?
False
Suppose 7*v - 11*v + 126360 = 5*v. Does 18 divide v?
True
Let g(y) = -y**2 - 12*y - 5. Let r be g(-12). Let l = r - -9. Suppose -3*p - 4*a + 160 = -0*p, 0 = -l*a - 20. Is p a multiple of 6?
True
Let y(o) = -5*o**2 + 6*o - 3. Let p be y(-2). Let d be (-2)/(-7) - (60/p + 0). Suppose -d*g + 4*h - 212 = -6*g, h - 5 = 0. Does 5 divide g?
False
Let z = 24 + -21. Let h be (z - (-1 + 4))/3. Suppose h*s - 101 = -5*s - k, 4*k = -2*s + 44. Does 9 divide s?
False
Suppose -4*k = -304 + 4. Let o = 301 - k. Does 27 divide o?
False
Is (-1538)/(((-3)/(-9))/(-6 - 33/(-11))) a multiple of 3?
True
Let c(s) be the second derivative of s**5/20 + s**4/4 - 5*s**3/3 - 6*s**2 + 8*s - 2. Does 12 divide c(5)?
False
Let b(f) = f**2 - 27*f + 31. Let t be b(26). Suppose t*a - 1257 - 843 = 0. Is a a multiple of 28?
True
Suppose 4*c = 5*c - 4*d - 95, 2*d - 140 = -2*c. Suppose 3*w = x - 100, -4*x + 5*x + 2*w - c = 0. Is 23 a factor of x?
False
Let f(h) = 19*h + 7 - 6*h**3 - 6*h + 12*h**3 + 24 - 4*h**3 - 19*h**2. Does 7 divide f(11)?
False
Is 137 a factor of 24821/1 - (468 - 460)?
False
Let u(y) = 150*y + 64. Is u(43) a multiple of 41?
False
Let g(p) = 60*p + 46. Let f(x) = -30*x - 22. Let a(w) = 5*f(w) + 2*g(w). Let m be a(-12). Suppose 0 = -2*y - 48 + m. Does 14 divide y?
False
Does 21 divide 12806*(-36)/72*-1*1?
False
Let n(a) = -8*a - 6. Let q be n(-1). Suppose -5*s - q*m + 286 = 0, m + 316 = 5*s + 24. Is 29 a factor of s?
True
Let u be 78/12 - (-35)/(-10). Suppose 0 = g - 4*k - 25, -u*g + 5*k + 41 = 10*k. Is g a multiple of 15?
False
Let b(j) = 3*j**2 + 41*j + 38. Let p be b(-13). Is 8/p + -2 + (-124)/(-12) a multiple of 6?
False
Suppose -6*y = -28*y + 110. Let z(n) = 13*n**2 + 5*n - 25. Does 20 divide z(y)?
False
Suppose 29*g = -9717 + 320046. Is g a multiple of 41?
True
Let q(c) = 0*c**3 - 52*c + 56*c - 2*c**3 - 22 - 12*c**2. Is 7 a factor of q(-7)?
False
Suppose -2*w + 3*h + 33618 = 0, -h = 9*w - w - 134420. Is w a multiple of 31?
False
Suppose -7*j + 6*j - 296 = -3*p, 0 = 3*p + 5*j - 320. Suppose 4*o - 20 = 0, 2*l - 3*l = -2*o + 57. Let u = p + l. Is u a multiple of 9?
False
Let n be 420/24*8*(-3)/(-14). Let i be -1 + 34/n + (-2288)/(-390). Suppose 2*q - i*q + 672 = 0. Is 16 a factor of q?
False
Let b(w) = 239*w - 18. Let t be b(-4). Let l = -658 - t. Is 19 a factor of l?
False
Suppose 2*s - 281 = -67. Let y = s - 101. Is 665/y + (-2)/(-12) + 3 a multiple of 14?
False
Let w = -44 - -69. Suppose -5 = -2*t + i, 0*t - 3*t - w = 5*i. Suppose t = 2*p - 5*p - 9, n = -4*p + 75. Does 18 divide n?
False
Suppose 250 = 5*y - 0*y. Let t = -44 + y. Does 12 divide (54 + t)*(-1 + 3)?
True
Let l(g) = g**2 - 9*g - 67. Let r be l(14). Is 22 a factor of (-1050)/(-48) - r/(-24)?
True
Let z(j) = -j**2 - 2*j - 4. Let i be z(-6). Let b(p) = -p**2 - 32*p - 57. Does 6 divide b(i)?
False
Suppose -5*i + 2 + 8 = n, -3*n = -2*i + 4. Suppose 2*a - 391 - 71 = n. Is a a multiple of 33?
True
Let y be 0*9/(-81)*(-2)/(-8). Suppose y = -3*p + m + 12, -4*m = -0*m. Is p a multiple of 4?
True
Suppose -25*w + 38*w - 16*w = -23229. Does 16 divide w?
False
Let j(d) = -16*d - 379. Let z be j(-24). Let g = -4 + 6. Suppose -v = -z*a + a - 173, 0 = g*v - a - 353. Does 53 divide v?
False
Let j(w) = 12*w - 51. Let n be j(8). Suppose 3*r = 195 + n. Is 16 a factor of r?
True
Let f = 4642 - 1672. Suppose -7*i = 15*i - f. Is 9 a factor of i?
True
Suppose 68*u - 7282 = 50*u + 20222. Does 4 divide u?
True
Let t = 898 + -334. Is t a multiple of 4?
True
Let l be (-807)/12 - 3/(-12). Let t = 13 - l. Is t a multiple of 4?
True
Let b(x) be the second derivative of 14*x + 0 - 5/6*x**3 - 1/12*x**4 - x**2. Does 2 divide b(-3)?
True
Let s be 2/21 - (-25251)/(-1197). Is 38 a factor of (-23 - s) + (-717)/(-3)?
False
Suppose 0 = 3*c + y - 16 + 176, 2*c = -5*y - 85. Is 2 a factor of 285/(-75) - 4/(-5) - c?
True
Let f(z) = 2*z**2 + 6*z + 10. Let q be f(-4). Suppose 0 = -20*o + q*o. Is 1/((1 - o)/2) - -3 even?
False
Suppose -m = 5*q + 8, m + 5 = q + 9. Suppose -3*x = -5*x - m*x. Let b(t) = t**3 - 4*t**2 + 149. Is b(x) a multiple of 6?
False
Suppose -49*v = -83*v + 367608. Is v a multiple of 2?
True
Let h(c) = 258*c**2 - 2*c + 1. Let j(l) = -l**3 + l + 1. Let s be j(-1). Let d be h(s). Let z = d - 168. Is 26 a factor of z?
False
Let f(a) = a**3 - 7*a**2 + 4*a + 16. Let y be f(6). Suppose 0 = -y*c + 62 - 34. Suppose c*q - 217 - 203 = 0. Does 15 divide q?
True
Let f = 383 + -84. Let i = -444 + f. Let j = 350 + i. Is 12 a factor of j?
False
Suppose -3696 = -37*o + 26*o. Suppose -2*f = f - 366. Let t = o - f. Is 29 a factor of t?
False
Let y be (29 + -17)/((-2)/5). Let u be (0 - 4)*-1 - (2 - y). Does 8 divide (-7404)/(-42) - (-8)/u?
True
Let k(f) = -945*f - 1442. Is 98 a factor of k(-8)?
False
Let h(r) = -5206*r + 457. Is h(-7) a multiple of 41?
False
Suppose -a = -3*j - 107, 