?
False
Let f be (-6)/30 - (-468)/(-10). Let s = 67 + f. Suppose 34 = 4*b + 5*m - 3, 5*b - s = -m. Is 2 a factor of b?
False
Let w(y) = 2*y**3 + 22*y**2 + 24*y - 8. Let c be w(-8). Let g(t) = 4*t**2 + 8*t - 3. Let s be g(-6). Let r = c - s. Is r a multiple of 12?
False
Let p(l) = 0*l + 2*l**2 - 17 - l**3 - 2*l + 34 - 16. Is p(-4) a multiple of 7?
True
Let q(l) = l**2 + 10*l - 2. Let x be q(-10). Suppose -45*g + 46*g + 2 = 0. Is 12 a factor of -6*(x*7 + g)?
True
Let i(s) = -s**2 - 58*s + 249. Let z be i(-48). Suppose -37*m + z + 4673 = 0. Does 3 divide m?
False
Let c = 26 + -20. Suppose -6*x + 3*x + 10 = -b, 0 = x + b - c. Let m(k) = -k**2 + 14*k + 5. Is 8 a factor of m(x)?
False
Suppose 2*n = -n + n. Let g(q) = q**2 + q + 99. Let z be g(n). Suppose -18*u + 27 = -z. Is u a multiple of 3?
False
Suppose -5*h + 40 = 5*h. Let a(k) = -13*k**2 - 3*k - 16. Let i(g) = 11*g**2 + 4*g + 16. Let w(b) = h*i(b) + 3*a(b). Is w(-7) a multiple of 38?
False
Does 16 divide (-462396)/(-68) + (-13)/(-221)?
True
Let t be (-123)/15 - 9/(-45). Is t/16 - (-3 - 588/8) a multiple of 4?
True
Let m(i) = 387*i**2 + 69*i + 243. Is 141 a factor of m(-4)?
False
Is 8 a factor of -14*(-10668)/48 + (-6)/(-4)?
False
Let b(v) be the second derivative of v**5/20 - v**4/6 - v**3 + v**2/2 + 34*v. Let d be b(-4). Let r = 151 + d. Is 16 a factor of r?
True
Let v = -8910 + 15719. Is v a multiple of 28?
False
Suppose -q - 51*j = -48*j - 29590, -4*j - 59130 = -2*q. Is q a multiple of 35?
True
Suppose -4*w - 16 = -8*w. Suppose -159 = -8*f + 169. Suppose 5*p - w*u - f = 0, 2*p + u = p + 10. Is p even?
False
Suppose 95*s - 173*s = 86*s - 1092896. Is s a multiple of 34?
True
Suppose -6*b + 21 = -27. Suppose -35 = b*f + 157. Let z = f + 46. Does 4 divide z?
False
Suppose -v + 0*u + 2*u + 8 = 0, 0 = -u - 3. Suppose -3*c = -v*i - 491, i - 3*i = 2. Does 5 divide c?
False
Let b(p) = -3*p**2 + 13*p + 29383. Is 17 a factor of b(0)?
False
Is 58 a factor of (-4)/16*(44 - 23220)?
False
Suppose 7*s + 14 = 3*k + 8*s, s = 5. Does 16 divide ((-1)/(-3)*k)/((-6)/(-258))?
False
Is 30 a factor of (78/6)/13*2439?
False
Suppose 0 = x + 5*j - 28, 4*x - 1 = 7*x - 2*j. Suppose 0 = -3*r - 2*c + x*c + 140, -5*r + 245 = -4*c. Suppose 5*s - 60 - r = 0. Does 13 divide s?
False
Let o(m) = m + 13. Let s be o(3). Suppose 13*f + 17235 = s*f. Is 41 a factor of (-2)/8 - f/(-20)?
True
Let p(h) = h**3 + 20*h**2 + 21*h - 18. Let u be p(-15). Let f = u + -279. Is 19 a factor of f?
True
Suppose -y + 9 = m, -m + 14 = 5*y + 9. Suppose 3*r + 2*o - 1235 = 0, 0 = m*r - 7*r + o - 1237. Does 21 divide r?
False
Let j = 9163 - -4873. Is j a multiple of 185?
False
Let w(q) = -2*q**3 + 41*q**2 + 21*q + 2. Let t be w(21). Suppose t*j - 417 = 3*y, 2*j + 4*y = -139 + 549. Does 9 divide j?
True
Let a(c) = -c**2 - 43*c - 106. Let x be a(-38). Suppose 4*z - 1148 = x. Does 22 divide z?
True
Let g be (12/10)/(8/140). Let h be (-5)/25 + g/5. Suppose -3*i - l + 179 = 0, -h*l = -0*l + 4. Is 6 a factor of i?
True
Let b(i) = i**3 - 5*i**2 - 10*i + 5. Let y be b(5). Let l = y - -80. Let a = 103 - l. Is 17 a factor of a?
True
Suppose -22681 = -5*q - h - 2194, 0 = -5*q + 4*h + 20452. Is q a multiple of 4?
True
Let r be (-2)/(-4)*(4 - -20). Let g be 100*((-8)/56 + 47/35). Suppose g = 4*w - r. Is 6 a factor of w?
False
Suppose -4*h + 30 + 106 = 0. Suppose 31*b = h*b - 18. Suppose -b*x - 3*q + 1313 = -x, 2*x - q = 523. Is 26 a factor of x?
False
Suppose -5*g - 6*g + 8272 = 0. Let v = 1150 - g. Is 8 a factor of v?
False
Suppose -24*b - 12*b = -13*b - 33120. Does 45 divide b?
True
Suppose -55 + 67 = -y. Let h(k) = 5*k**2 - 4*k - 46. Is h(y) a multiple of 38?
True
Let j(p) = 8*p**3 - 15*p**2 + 29*p + 83. Is 18 a factor of j(10)?
False
Let p = 38 + -36. Suppose -f + b + p = -0, -9 = -2*f - 3*b. Suppose -f*h + 222 = -3*g, -4*g - 66 - 14 = -h. Is 8 a factor of h?
True
Suppose -484 = 66*t - 64*t. Let q = t + 261. Is q a multiple of 4?
False
Suppose -v + 17 = 13. Let f(q) = q**3 - 3*q**2 - q - 9. Let n be f(v). Suppose 0 = 2*s + n*s - 135. Is s a multiple of 4?
False
Let i be 4 + (3 - 3)/(1/(-1)). Suppose 0 = -2*s + 3*s - a - 5, -3*s + i*a + 20 = 0. Suppose 4*q = -20, s*v = v + 3*q - 13. Is 6 a factor of v?
False
Suppose -g = 5*g - 276. Let n = g + -48. Let t(d) = -7*d**3 - 2*d. Is 20 a factor of t(n)?
True
Let u = -59 + 64. Suppose u*d - 3919 = -994. Suppose -3*n - 2*w - 3*w = -d, 3*n = -3*w + 585. Is n a multiple of 20?
False
Suppose 16993 + 10898 = 4*v + 9*i, 5*v = 5*i + 34750. Is v a multiple of 4?
False
Let s be (-18)/4*(-40)/90. Let v(l) = -55*l - 7 - s - 4*l + 12*l. Is v(-3) a multiple of 12?
True
Suppose -2*x + f - 181 = -3*x, 2*f = 10. Suppose x = -2*n + 6*n. Suppose -n*t = -48*t + 224. Does 7 divide t?
True
Let j = -259 - 111. Let p = -286 - j. Is 5 a factor of p?
False
Suppose 4 = -7*v - 3. Is (394 - -1) + v*(13 - 8) a multiple of 13?
True
Suppose 6 - 48 = -7*m. Suppose 0 = m*f - f - 640. Let x = f - -80. Is x a multiple of 13?
True
Suppose -2*s + 2*j = -24248, -12*j + 10*j = -4*s + 48504. Is 91 a factor of s?
False
Let v be (-3)/(-12) + (-57)/(-12). Suppose -95 = -46*u - 3. Suppose -2*j - 5*r + 6*r + 68 = 0, v*j = u*r + 168. Is j a multiple of 8?
True
Let u be 0 - (-4 + -9 + -4 - 2). Let b(r) = 24 - 12*r + u*r - 13*r. Does 22 divide b(-7)?
True
Let x = -4 - -1. Let j(r) = r**3 + 4*r**2 - 3*r - 13. Let c be j(x). Suppose -447 + 72 = -c*k. Is 25 a factor of k?
True
Suppose 37*b - 15 - 133 = 0. Does 27 divide b/6*59211/86?
True
Suppose -107747 = -16*x - 1767 - 17644. Does 132 divide x?
False
Let y(q) = 170*q - 80. Suppose -345*b + 20 = -340*b. Is 50 a factor of y(b)?
True
Let m(l) = -78*l + 18. Suppose 135 - 6 = -43*c. Is 84 a factor of m(c)?
True
Let q be 1 - (3010/42)/(2/(-30)). Suppose -p = 3*o - 1449, o - q = -p + 383. Is 61 a factor of p?
True
Let h be 4/(-18)*-10 - (-18)/(-81). Suppose h*w + 2*f - 134 = 6*f, -3*w = -3*f - 207. Suppose 0 = 2*b - 2*g + 5*g - 69, 2*b + g - w = 0. Does 12 divide b?
True
Let r = 9934 + -4302. Does 88 divide r?
True
Let c = -124 - -128. Suppose 2*r - c*g = -12, 3*g - 5 = r + 5. Suppose 4*h = 8*h - 5*t - 278, -331 = -5*h - r*t. Is h a multiple of 39?
False
Suppose -55*d + 56*d = 2. Suppose 8 = 2*s - 72. Suppose b + s = d*b. Does 9 divide b?
False
Suppose 13*x = 2732 + 2806. Let q = x + -226. Does 8 divide q?
True
Let r = 161 - 158. Suppose -2*d = r*v - 6*v - 508, -d - 3*v = -236. Does 28 divide d?
False
Let y(w) = w**2 - 3*w - 8. Let x be (-11)/(-2) - (25/10 - 2). Let q be y(x). Suppose q*g + 3*g = 1110. Is 12 a factor of g?
False
Let f(u) be the third derivative of -u**6/15 + u**5/15 + u**4/12 + u**3/3 + 103*u**2 - 1. Does 7 divide f(-3)?
False
Let h(c) = 6*c**2 - 16 + 13*c**3 + 5*c - 12*c**3 + 3*c**2. Let j be h(-8). Suppose s + 245 = 3*u, -u - j*s = -3*s - 55. Is 17 a factor of u?
False
Does 30 divide ((-1)/4)/(38/(-1292152)) - (-6)/2?
False
Let v(x) = x**3 + 3*x**2 - 6*x - 5. Let r be v(-4). Suppose -u - 113 = -2*w, w + r = u + 58. Is 5 a factor of w?
False
Let g = -283 - -288. Suppose v - 6789 = -5*s - 1859, 0 = -g*s + 2*v + 4930. Is 45 a factor of s?
False
Let m(z) = 3*z**2 - 4*z - 13. Suppose -u - 4 = 3*u. Let d be 14*(-13)/(-26)*(0 + u). Is m(d) a multiple of 27?
True
Let h be (-4 - -1)*(12 - 9 - 12). Let b = h + 49. Is 19 a factor of b?
True
Let c be (-8)/28 - 96/56. Does 22 divide c/3*9/(-2) - -195?
True
Let s(j) = -4*j**2 + 3*j - 12. Let d be s(-4). Let r(z) = -20*z + 11. Let n be r(-6). Let f = n + d. Does 7 divide f?
False
Let q(z) = -18*z + 1663 - 1673 - 34*z. Is q(-1) a multiple of 21?
True
Let q(z) = 2*z + 22 + z**2 - 12*z + 4. Let l be q(5). Is -2 - l/((-3)/2)*21 a multiple of 3?
True
Let y(h) = h**2 - 6*h - 4. Let w be y(7). Suppose -630 = -5*a - 5*q, -w*a + 4*q + 151 = -227. Suppose f - 3*f + a = 0. Is f a multiple of 9?
True
Let o(h) = h**3 + 15*h**2 - 3*h + 11. Let m be o(-14). Suppose 4*t = -4*s - 281 + 53, -4*t + 3*s - m = 0. Is t/(-15) - (-36)/1 a multiple of 8?
True
Let l(g) = 96 - 197 + 2*g**2 + 99 + 2*g. Let j be l(1). Does 8 divide -4*(j + (-64)/4)?
True
Let c = -236 - -239. Suppose -6*n + n - 2*h + 2202 = 0, c*n = -4*h + 1310. Is 17 a factor of n?
True
Let x be 39/2*240/9. Suppose 7*a + x - 2935 = 0. Is 14 a factor of a?
False
Suppose 0 = 16*f - 54 - 202. Let z(x) = 2*x + 43. Is 5 a factor of z