
Is (3/(-6) + (-166)/4)*-1 a multiple of 6?
True
Suppose -4*o = -9*o - 2*v + 190, 3*v - 65 = -2*o. Is 3 a factor of o?
False
Let k(z) = -z**3 - 6*z**2 - 12*z + 12. Is 53 a factor of k(-7)?
False
Let a = 5 + -3. Let r(c) = 22*c**a - 1 - 6*c + 6*c. Is r(1) a multiple of 7?
True
Let s(a) = a**2 - 2*a - 3. Let t be s(3). Let l(w) = 19*w**2 + 2*w + 1. Let y be l(-1). Let d = t + y. Does 9 divide d?
True
Suppose a - 5 = u - a, -4 = -a. Suppose -60 + 9 = -u*c. Is 5 a factor of (c - (-2)/(-2)) + -2?
False
Let u(g) = g**3 - 4*g**2 - 3*g - 4. Let f be u(5). Does 7 divide (-2)/(-4) + 189/f?
False
Let v(s) = s**2 + 2*s. Let x be v(-1). Does 9 divide 6/3 - 16*x?
True
Let d be 2 + -1 + 0 + -2. Let m be d - (0/(-2) - 1). Let v = m + 16. Does 13 divide v?
False
Let g be 736/(-14) - 30/70. Does 11 divide (-8 + 7)/(1/g)?
False
Let k(b) = 6*b + 5. Let q(y) = y**3 + 7*y**2 - 3*y - 8. Let u be q(-7). Suppose 4*r - u = -2*s - s, s - 3 = -r. Is 10 a factor of k(r)?
False
Let f(y) be the second derivative of y**3/6 + 11*y**2/2 - 8*y. Let b be 2*2/2*-3. Does 4 divide f(b)?
False
Let v be 1956/20 + 1/5. Does 25 divide (v/(-6))/((-4)/12)?
False
Let d(o) = -1 - 4 - 1 + 7*o**2 + 2*o - o**3. Is 14 a factor of d(6)?
True
Let n = -140 - -308. Is n a multiple of 21?
True
Suppose q = 12 + 20. Let y be 46/10 + (-6)/(-15). Suppose y*k = q + 28. Does 6 divide k?
True
Let s = -4 + -3. Let k = 7 + s. Let p(u) = -u + 20. Is 20 a factor of p(k)?
True
Let b(y) = 2*y - 4. Let z be b(4). Suppose h + 0*h = z. Suppose -i + l = i - 44, i = h*l + 36. Does 20 divide i?
True
Let u be ((-2)/4)/(2/(-16)). Let z = u + 0. Is 3 a factor of z?
False
Let h = 6 + -11. Let s = 0 - h. Does 2 divide s?
False
Let n = 11 - 7. Suppose n + 7 = v. Is 11 a factor of v?
True
Suppose 6*s - 173 - 169 = 0. Is 19 a factor of s?
True
Let y(n) = 2*n**2 + 5*n + 1. Let g(v) = v**2 - 1. Let l(m) = g(m) - y(m). Let b be l(-3). Suppose 0 = -6*d + 3*d - 4*i + 68, b*i = 20. Is 16 a factor of d?
True
Let t(m) = 3*m**2 + 3*m - 8. Does 23 divide t(-6)?
False
Let s = -3 - -3. Suppose 4*r + s*r - f = 81, 3*f - 17 = -r. Does 7 divide r?
False
Let i = -6 + 11. Suppose -4*g = -a - 4*a + 105, -g = -i*a + 105. Does 8 divide a?
False
Suppose 2*g + 3*o - 18 = -o, -5*g = o - 18. Suppose g*b + 0*b - 9 = 0. Suppose 0 = -u + b*u - 20. Is u a multiple of 5?
True
Suppose 2*p - 9 = 5. Suppose 2 = 3*b - p. Is 10*b/6 - 0 a multiple of 3?
False
Let b(l) = -l**3 - l**2 - 2*l + 122. Let j be b(0). Let m = j + -17. Does 28 divide m?
False
Let u = -11 - -13. Suppose -5 = -u*o + 77. Is o a multiple of 15?
False
Suppose 2*t = -3 - 1. Let x(g) = -19*g**2 - g. Let w be x(t). Let s = -52 - w. Does 11 divide s?
True
Let h be -3 + 1 - (3 - 6). Let u(j) = 6*j**2 + 2*j - 1. Is 7 a factor of u(h)?
True
Let q(j) = 2*j**2 - 3. Is q(-5) a multiple of 12?
False
Suppose 3 = y, -5*y = -i - 3*y - 10. Is 5 a factor of (5 - -4)/((-3)/i)?
False
Is 3 a factor of (-2)/15 - 3/(45/(-407))?
True
Suppose 4*n - 7 = -w, -31 = -2*n + 4*w + w. Suppose -b + 2*b - n = 0. Let u = b + 0. Is u even?
False
Let z be ((-84)/5)/(2/(-10)). Let g be z/22 - 4/(-22). Suppose -12 + 35 = 2*n + 3*h, 3*n - g*h = 60. Is 16 a factor of n?
True
Suppose 0 = -4*a + 2*v + 868, -2*a - 2*v = -488 + 60. Is a a multiple of 12?
True
Let p(n) = 12*n**2 + n - 1. Does 18 divide p(-3)?
False
Suppose -137 = -7*s - 32. Is s a multiple of 10?
False
Suppose 4*f - 35 = 13. Does 6 divide f?
True
Let y = 17 - -10. Let w = 16 - 17. Is 9 a factor of 2 - (y - 2)/w?
True
Let w = -21 - -5. Let m = w + 50. Let x = m - 11. Is x a multiple of 7?
False
Does 9 divide 102 + (1 - 0)/((-10)/30)?
True
Suppose -6 = 3*l - 0. Is 2 + 0 - (l - 2) a multiple of 3?
True
Let k = 45 + -21. Let y be 1*3/9*12. Suppose y = h - k. Is 11 a factor of h?
False
Let n = 276 + -156. Is 24 a factor of n?
True
Let x be 2/(-2) + 8 + 3. Let s(b) = -x + 10 + 4*b. Does 16 divide s(8)?
True
Does 8 divide (-2 + 5)/((-18)/(-138))?
False
Let l(o) = o**3 + 6*o**2 - 8*o + 3. Let p be l(-6). Suppose 2*m = -m + p. Is 7 a factor of m?
False
Let j(x) = -x**3 + 7*x**2 - 8*x. Let b be j(6). Let k be (-4)/b*2*9. Let o(y) = y**2 - 3*y - 1. Does 5 divide o(k)?
False
Suppose 3*t - 21 = -4*m, t + 12 = 3*m + 2*t. Let w = m - -20. Is w a multiple of 15?
False
Let d = 5 - -18. Is d a multiple of 11?
False
Suppose -2*i + 0*i + 3*x = -69, -5*i + 4*x = -176. Does 25 divide i?
False
Suppose -19 = -4*z + 37. Does 5 divide z?
False
Let j(o) be the first derivative of -o**3/6 + 7*o**2/2 - 4*o - 3. Let g(s) be the first derivative of j(s). Is 3 a factor of g(0)?
False
Let f(v) be the third derivative of 19*v**4/24 - v**3/6 - 5*v**2. Is 18 a factor of f(1)?
True
Suppose 0 = -5*o - 5*d - 212 - 78, 0 = -5*o - 4*d - 293. Let z = 85 + o. Is z a multiple of 12?
True
Suppose 0 = 4*t - 3*v + 3, 0 = -t - v + 4 + 4. Suppose t = -5*y - o, 3*o + 1 = -2*y - 8. Suppose q - 1 - 2 = y. Is q a multiple of 2?
False
Does 14 divide 35*(4*(-1)/2 - -4)?
True
Suppose 13*r - 18*r = -220. Does 9 divide r?
False
Is (15/(-10))/((-3)/280) a multiple of 14?
True
Suppose 3*x - 13 - 2 = 0. Suppose -3*m = -x*y + 151, -4*m + 84 = 3*y - 8*m. Does 21 divide y?
False
Let p(q) = 25*q - 2. Let c be p(5). Suppose 5*u = c - 33. Is u a multiple of 9?
True
Suppose 0 = 3*f + 2*r, -r - 2*r - 9 = 0. Suppose d = 4*d + 2*l - 19, -5*d - 2*l = -29. Suppose 0 = d*c - 4*c - f. Does 2 divide c?
True
Suppose -3*z - 5*u = 0, 2*z + 3*u = 3 - 2. Suppose 0 = v + 5*q - 33, z*v - q - 277 = 2*q. Is v a multiple of 16?
False
Suppose 4*p - 52 = 2*f - 4*f, f - 26 = p. Let k = 179 + -125. Let c = k - f. Does 11 divide c?
False
Does 2 divide 1 - (-2 + 3 + -4)?
True
Suppose y + 6 = -2*q - 0*y, 0 = 2*q - 2*y. Does 19 divide 285/(-5)*(1 + q)?
True
Suppose 6*n = 4*y + 3*n - 128, 0 = y - 2*n - 32. Let x(j) = j**2 - 3*j + 1. Let r be x(7). Let z = y + r. Is z a multiple of 21?
False
Let i(j) = 2*j - 14. Does 20 divide i(17)?
True
Let l(k) = -k**2 - 41*k - 6. Does 31 divide l(-25)?
False
Does 6 divide (-600)/(-105) - 2/(-7)?
True
Let q be (139 - -1) + (-2)/(-2). Let r = q + -64. Is r a multiple of 22?
False
Suppose 0 = 3*w + 15. Let u be ((-20)/3)/(w/(-15)). Let t = 16 - u. Is t a multiple of 18?
True
Let c(j) = 3*j**3 - 2*j - 4. Let a be c(4). Suppose -4*f + a = -0*f. Is f a multiple of 15?
True
Let z(i) be the first derivative of i**2/2 + 7*i - 2. Is 11 a factor of z(8)?
False
Let v = 79 + -31. Suppose -i - v = -4*i. Suppose -96 + i = -5*a. Does 16 divide a?
True
Let h = 30 - -30. Is 15 a factor of h?
True
Let g be -2*(-1)/(4/14). Let t = 13 - g. Suppose -t*c + c + 85 = 0. Is c a multiple of 17?
True
Suppose -j + 1 = -5. Suppose j*r = 2*r - 56. Is 7 a factor of 4/r - (-288)/28?
False
Let q(c) be the second derivative of 2/3*c**3 - 5*c**2 + 1/20*c**5 - 2/3*c**4 + 0 + 2*c. Is q(8) a multiple of 11?
True
Suppose 0 = -2*r - r - 15. Let z be (-75)/6*6/r. Let f = z + -7. Does 8 divide f?
True
Suppose -3*z - 204 = 4*j - j, 3*z = -j - 62. Let s = j + 102. Does 6 divide s?
False
Let d(q) = -q - 5. Let k be d(-6). Let m be (-1 - 6)/(k + -2). Suppose -t + 1 + m = 0. Is t a multiple of 4?
True
Let t = 5 - -1. Suppose 0 = -z + t*z - 10. Suppose z*k + 2*k = 120. Does 15 divide k?
True
Suppose 0 = 4*a - 12. Suppose -4*m = -3*s - 202, a*s + 45 = 3*m - 108. Does 20 divide m?
False
Let z be (13*-2)/((-3)/(-12)). Let j be (z/12)/(1/(-3)). Suppose 0 = -a + j + 14. Does 15 divide a?
False
Let x(h) = 4*h**2 + 24*h + 2. Does 30 divide x(-7)?
True
Let q(y) = -2*y**3 + y**3 - 47*y - 2 + 47*y + 5*y**2. Does 7 divide q(4)?
True
Suppose 12 = t - 4*y - 26, -2*y = 4*t - 224. Is t a multiple of 15?
False
Is (-96)/(-7) + (-8)/(-28) a multiple of 2?
True
Suppose 5*y = -5, -3*s - y = 2*y - 273. Does 41 divide s?
False
Suppose 0 = -4*l + 4*k - 4, 2 - 7 = l - 2*k. Suppose -3*j + 3*w = 7*w - 71, 31 = l*j - 4*w. Is 11 a factor of j?
False
Let r be (-31)/(-11) - 2/(-11). Let h(q) = 6 - 5*q**r - 4*q**2 + 4*q**3 - 4 - 2*q. Does 9 divide h(-4)?
False
Suppose 6*m - 22 = 20. Is m a multiple of 2?
False
Is 14 a factor of 282/5 - 12/30?
True
Let w be (-56)/6*(-6 - -3). Let b = 54 + -25. Suppose -2*p + 4*h = -24, -3*p = h - b - w. Does 9 divide p?
True
Let v = -11 + 15. Is 5 a factor of (-114)/v*(-16)/24?
False
Let j = 291 - 188. Is j a multiple of 17?
False
Suppose -o = -17 - 14. Suppose 8 