et h = y - x. Is 21 a factor of h?
True
Let s = 33 + -32. Let v be s + 16/(-4) - -3. Suppose -3*r + 4*r - 2 = v. Is r a multiple of 2?
True
Let x(b) = -b**3 - 38*b**2 - 6*b + 93. Is 8 a factor of x(-38)?
False
Let b(d) = d**3 - 42*d**2 + 144*d - 24. Is 10 a factor of b(39)?
False
Suppose -a + 0*b = -3*b + 2, a = 2*b - 3. Let y be (27 - a)/((-1)/(-4)). Suppose -245 = -2*u - d, u - 5*d - y = -0*u. Does 26 divide u?
False
Let p(b) be the second derivative of 2*b**3/3 - 21*b**2/2 - 7*b. Is 5 a factor of p(24)?
True
Suppose 3*f = 16*f - 2782. Does 20 divide f?
False
Let u = -324 - -548. Let y = -144 + u. Is 40 a factor of y?
True
Let l be (-7 - -1)/(-3) + -2. Suppose 0 = -5*w - 204 + 229. Let h = l + w. Does 5 divide h?
True
Let m be (4/6)/((-13)/(39/2)). Is 7 a factor of (-51)/6*-2 + (m - -4)?
False
Does 55 divide 1/((-20)/(-7705)) - (-1)/(-4)?
True
Suppose 10 = 5*q - 0. Suppose q*t = -13 + 1. Is (-22)/t*(-8 - -14) a multiple of 17?
False
Suppose 4*x + z - 2*z + 90 = 0, -116 = 5*x - 3*z. Let h = 28 + x. Is 3 a factor of h?
True
Let c = -3 - 3. Let t be (c/4 + 2)*0. Let a = t - -27. Is a a multiple of 13?
False
Let v = -996 - -1252. Is 3 a factor of v?
False
Let k = -155 - -258. Let l = -61 + k. Suppose j + l = 7*j. Is 7 a factor of j?
True
Is 18 a factor of 6/(-4)*9*532/(-21)?
True
Let o be (-12761)/35 + 12/20. Does 47 divide (-18)/5*(o/8 - -3)?
False
Suppose -5*y - d + 453 = 0, 2*d - 7*d = -15. Does 18 divide y?
True
Suppose -13*s = -24*s + 1738. Is 7 a factor of s?
False
Suppose a - 3*u - 401 = 0, 1604 = 3*a + a + 4*u. Is 11 a factor of a?
False
Let m be (-178)/(-14) + (-4)/(-14). Suppose 0 = -3*h + 2 + m. Suppose i - 2*i - q + 36 = 0, -h*i - 3*q + 174 = 0. Is 13 a factor of i?
False
Let x be (-2 + 12)*2/4. Suppose 3*n = 2*n + x. Suppose 0*y + 35 = n*y. Is y even?
False
Suppose -15*h - 1258 = -17*h. Does 17 divide h?
True
Suppose -6*d = -9948 - 4122. Is d a multiple of 26?
False
Suppose 12*g + 252 = 13*g. Is 18 a factor of g?
True
Suppose 0 = -5*t - 4*u, u + 4 = -1. Let f(r) = t*r - 7 - r - 6 - r. Does 2 divide f(9)?
False
Let s(n) = n**2 + 10*n - 6. Let c be s(-11). Suppose 4*b + 95 = c*v, -3 = b + 2. Is 15 a factor of v?
True
Let z(s) = 43*s**3 - 4*s + 10. Is 36 a factor of z(2)?
False
Suppose 0 = 5*d - q - 21, 2*d = -2*d + 5*q. Suppose d*c - 110 = -0*c. Does 5 divide c?
False
Let v(m) = 3*m - 9. Let o be v(6). Let q(p) = p - 8. Let t be q(o). Suppose r - 22 = t. Does 10 divide r?
False
Let j(v) = -v**3 - v**2 - v + 8. Let x(a) = a**3 - 9*a**2 - 10*a. Let l be x(10). Let u be j(l). Let q = 13 - u. Is 2 a factor of q?
False
Let r be (-9)/((-252)/(-8)) - 103/7. Is 97*r/(-12) - 2/8 a multiple of 14?
False
Suppose 0*b + 24 = 3*b - m, 0 = -4*b + 4*m + 40. Let l(y) = y - 2. Let r be l(b). Is 25 a factor of (1 - r) + (68 - 14)?
True
Suppose 6*b + 4*k = 2*b + 1252, -k + 1573 = 5*b. Does 5 divide b?
True
Let p = -228 - -844. Is 13 a factor of p?
False
Let h = -1 - 2. Let u be -1 + (h/(-3))/1. Suppose 2*i - 85 = -i - 4*o, -4*i + 5*o + 103 = u. Is i a multiple of 27?
True
Let j be (-334)/(-6) - (-6)/(-9). Let h = -28 + 3. Let p = j + h. Is 15 a factor of p?
True
Let f(t) be the third derivative of -1/6*t**3 + 0 - 1/24*t**4 + 1/12*t**5 + 0*t + 8*t**2. Does 7 divide f(2)?
False
Let x be (1 - (-6)/(-3)) + 8. Let w(c) = -8 - 3*c - 4*c + x. Does 21 divide w(-8)?
False
Let j = 3293 - -77. Is j a multiple of 44?
False
Is 9 a factor of 27*3*(-48)/(-18)?
True
Let i(w) = -141*w - 297. Is i(-9) a multiple of 13?
False
Let q(x) = -x**3 + 4*x**2 + 3*x + 2. Let y(r) = -r**2 + 3*r + 6. Let g be y(5). Let v be ((-3)/g)/(1/4). Is q(v) a multiple of 7?
False
Let r(g) = 48*g**2 + 12*g - 6. Does 33 divide r(3)?
True
Suppose 3*f = v - 48, 3*v = 2*f + 19 + 20. Let h = f + 21. Is 8 a factor of 1*27 - h/2?
True
Let k be -5*(51/15 - 3). Let d(u) = -123*u**3 + 3*u**2 + 2*u. Let a be d(k). Is a/24 + 4/6 a multiple of 15?
False
Suppose -84 = 3*i - 7*i. Let a = i - 28. Does 11 divide 624/28 - (-2)/a?
True
Suppose 5*v + 4*m = 1966, 16*v - 760 = 14*v + 5*m. Does 13 divide v?
True
Let c = 8 + -6. Suppose -2*z - 285 = -3*d, c*z - 3 - 3 = 0. Does 10 divide d?
False
Let h(j) = -j**3 - 6*j**2 + 6*j - 1. Let n be h(-7). Let d(x) = -x + 12. Does 5 divide d(n)?
False
Let x(i) be the second derivative of -i**5/20 - 7*i**4/6 + i**3/3 - 3*i**2/2 - i. Is 26 a factor of x(-15)?
False
Suppose -c = -6*k + k + 245, -5*c - 217 = -4*k. Let q(z) = k*z**2 - 2*z**2 + 12*z - 11*z. Is 9 a factor of q(-1)?
True
Let s(d) = -56*d**3 + 2*d**2 + 8*d + 4. Is s(-2) a multiple of 29?
False
Let f be ((-7)/2)/(3/(-12)). Suppose -f*p + 15*p = 12. Is p a multiple of 12?
True
Let b = 3314 - 2521. Is 14 a factor of b?
False
Let z(p) = 5*p + 5. Let n(r) = -35*r - 35. Suppose 0 = 2*c + 8*a - 4*a + 14, -c + 3*a + 18 = 0. Let x(i) = c*n(i) + 20*z(i). Is 3 a factor of x(-2)?
False
Suppose l + 4*d = 8, -13 = -5*d + 2. Let b(x) = -x**3 + 3*x**2 + x + 1. Let h be b(3). Is 7 a factor of 132/h - (l - 0)?
False
Let j = 12 + -21. Let z = j + 11. Suppose 185 = z*p + 3*p. Does 11 divide p?
False
Suppose -5*a - 5*h + 3975 = 0, 101*a - 105*a = -4*h - 3196. Is a a multiple of 8?
False
Suppose 4*m - 5*r = 519 + 161, -4 = -r. Is m a multiple of 56?
False
Suppose 9*i - 4*i = 410. Let l = i + 9. Suppose -5*r + l + 59 = 0. Is r a multiple of 10?
True
Let o be 54 + 0/(-1) + 17/17. Let r = o - 7. Is 14 a factor of r?
False
Let j = -678 - -1013. Is 5 a factor of j?
True
Suppose -5*h + 6*h = 337. Suppose -29 = -2*d + h. Let c = d - 77. Does 29 divide c?
False
Let h(y) be the third derivative of -y**6/120 + y**5/15 + y**4/8 + y**2. Suppose -m - 15 = -3*u - u, -3*m - 9 = -3*u. Is 12 a factor of h(u)?
True
Suppose 0 = 3*z - 0*z + 2*j + 580, 5*z = 2*j - 956. Let c = -72 - z. Does 15 divide c?
True
Let c(a) be the second derivative of a**4/6 - 4*a**3/3 - 5*a**2 - 22*a. Is c(-6) a multiple of 22?
True
Suppose 10*q = 3*q - 49. Is 38 a factor of (q/14)/(1/(-356))?
False
Suppose -2*f + 122 = -3*o, f + 3*o - 11 - 32 = 0. Does 3 divide f?
False
Suppose a + 2*a = 3. Let q be (a + -5)*54/(-12). Suppose 0*j = -3*j + q. Is 3 a factor of j?
True
Suppose -4*w + 3*h - 11 = 0, -5*w - 2*h + 3*h = 0. Suppose -4*o + l = 6*l - 81, -w = o - 3*l. Does 14 divide o?
True
Is 19 a factor of 19 + -13 + -1*(-2 - 30)?
True
Suppose 6*u - 5*u = 3. Suppose 0 = 2*m + u*m - 260. Is 9 a factor of m?
False
Suppose -21*j - 5685 = -15114. Is 26 a factor of j?
False
Is 18 a factor of 315/6*(1815/21 - -1)?
True
Suppose -5*a = a + 6. Let b = -8 + 7. Does 19 divide ((b - 1) + -17)*a?
True
Suppose -5*h + 14 = -11. Let a be h + 1 + 4/(-4). Suppose 48 + 540 = a*b + j, -580 = -5*b - 5*j. Does 30 divide b?
False
Suppose -76 = v + 77. Let w = v - -275. Suppose 0 = -5*j - 3*u + 198, j + u = -2*j + w. Does 14 divide j?
True
Let h = -374 - -459. Is 3 a factor of h?
False
Let o(w) = -13*w - 1 - 6 - 13*w. Is o(-5) a multiple of 26?
False
Let b(a) = a**3 + 23*a**2 + 22*a + 3. Let k be b(-22). Let h(p) = 21*p**2 - 8*p + 3. Does 21 divide h(k)?
True
Suppose -l - 4*i - i = -22, 4*i = 16. Suppose 2*j + l*j = -40. Let h = 17 + j. Is 4 a factor of h?
False
Let p be (-18)/(-117) - (-50)/13. Suppose 2*m + 5*u - p = -0*u, 4*m - 52 = u. Does 12 divide m?
True
Suppose -4*l - 2 = f, -l + 1 - 3 = f. Let u be 96/(-40)*5/f. Let y(n) = 9*n - 5. Is 7 a factor of y(u)?
True
Let k = 14 + -11. Suppose k*f - 2*f = -93. Let y = 158 + f. Is y a multiple of 15?
False
Suppose -5928 = -4*q - 5*v, -5*q + 6064 = -v - 1346. Does 39 divide q?
True
Let m(i) be the first derivative of 3*i**4/4 - i**3 + 2*i**2 - 2*i + 76. Let z = 1 - -1. Is m(z) a multiple of 11?
False
Suppose -3*l = 5*a - 1161, 1165 = 4*a + a + 5*l. Is 4 a factor of a?
False
Let y(o) = -2*o**2 - 63*o - 87. Does 10 divide y(-28)?
False
Let u = 559 - 128. Let r = u - 209. Does 28 divide r?
False
Let l(m) = 11*m + 272. Does 5 divide l(0)?
False
Let c be (1/4)/((-3)/12). Let i be -1 + c + -9*1. Is (-24)/5*55/i a multiple of 8?
True
Suppose 0 = b + 59 + 59. Let l = 139 + b. Is l a multiple of 7?
True
Suppose 5*m - 7 = -d, 2*m = -3*d - d - 8. Suppose m*c = -2*c - h + 4, 2*c + 4*h - 16 = 0. Suppose -4*a + c + 56 = 0. Is a a multiple of 7?
True
Let s(h) = h + 3. Let y be s(-5). Let w be ((-2 - -2)/3)/y. Suppose 2*d = -w*d + 20. Does 10 divide d?
True
Let u = 121 + -45. 