ide t?
False
Suppose m - 3*m + 2 = 2*i, m + 4*i + 8 = 0. Let a(l) = -l**3 + 4*l**2 + 4*l + 5. Is a(m) a multiple of 11?
False
Suppose 2*m - 56 = 54. Does 13 divide m?
False
Let y(d) = 5*d - d - 1 + 2*d. Let x be y(5). Let j = x + -14. Is 7 a factor of j?
False
Suppose t = -2*t. Suppose 4*k + 4*r - 26 = 38, -2*k - 4*r + 24 = t. Is k a multiple of 6?
False
Suppose 0 = o + 5*u + 22, 4*o - 22 = 2*u - 0*u. Suppose 114 = -r + o*r. Let y = r - 41. Is y a multiple of 8?
True
Let x = -3 - -39. Is x a multiple of 7?
False
Let s(c) = 2*c + 4. Let w(i) = -5*i - 9. Let d(n) = -n + 13. Let f be d(6). Let l(y) = f*s(y) + 3*w(y). Is l(-4) a multiple of 5?
True
Let s be 5/5 - 16*5. Let h = s + 121. Is h a multiple of 22?
False
Suppose 85 = 5*z - 2*l, 3*z - 25 = z - l. Is 5 a factor of z?
True
Let q(d) = 15 + d - 10 + 12 + 2. Is q(8) a multiple of 10?
False
Suppose -9 - 15 = 2*d. Let w = 26 + d. Is 6 a factor of w?
False
Let c = 22 - 15. Let p(m) = -m**3 + 7*m**2 + 3*m - 3. Is 16 a factor of p(c)?
False
Suppose -45 = c - i, -5*c - 157 = -2*i + 74. Let s = c - -77. Is s a multiple of 15?
True
Let n(l) = -l - 3. Let h be n(6). Is 2 a factor of 14 - 4*h/(-12)?
False
Let r be (-2)/3 + 4/6. Let h be (-3 - -1)/((-2)/3). Let m = h + r. Does 3 divide m?
True
Let f = 51 - 91. Let s = 16 - f. Let l = s - 26. Does 14 divide l?
False
Suppose 0 = 2*p + 2*p + 8. Let x = p - 2. Let v = 11 + x. Does 3 divide v?
False
Suppose 0 = 10*m - 2*m - 960. Is m a multiple of 12?
True
Suppose -2*j = 5*p + j - 29, -5*p + 5*j = -45. Let o = -3 + p. Suppose -21 = -o*x + 39. Is x a multiple of 5?
True
Suppose -k = -3, 2*k = 3*i + 3 + 3. Let t be (-2 - (-1 + i)) + -8. Is 16 a factor of (24/t)/(1/(-12))?
True
Let j = 13 - 5. Let h = 2 + -9. Is 8 a factor of (-145)/h + j/28?
False
Suppose -5*u + 1 + 9 = 0. Suppose -4 = -4*a, -m + 42 = u*a - 23. Suppose w = 4*w - m. Is w a multiple of 7?
True
Suppose -2*z + 500 = -j, -2*z + 5*j + 1250 = 3*z. Is 25 a factor of z?
True
Let b = -4 + 5. Let o be (1 - 4/2) + b. Does 8 divide -20*(o/(-1) + -1)?
False
Let x(r) = -3*r - 7. Is x(-5) a multiple of 4?
True
Suppose 2*g = 3*g - 6. Is 6 a factor of 57/9 - 2/g?
True
Let q = -314 - -444. Is q a multiple of 10?
True
Let t(v) = -3*v**3 - 9*v**2 + 7*v + 1. Does 27 divide t(-5)?
False
Let d(j) = 38*j**2 - j. Let f be d(2). Suppose 0*k = -5*k - f. Let q = -16 - k. Is 7 a factor of q?
True
Suppose -188 = -4*x + 8. Is 14 a factor of x?
False
Let b be (3 - 3/(-9))*-3. Is 8 a factor of (-236)/(-10) - 4/b?
True
Let i be (-2)/5*10*2. Is i/(-6)*(7 + 2) a multiple of 9?
False
Let z = -3 + 9. Suppose -2*o - 2 - 2 = -4*c, -2*c - z = -3*o. Is o even?
True
Suppose p = -p - 34. Let o = p - -29. Let z = -2 + o. Is 9 a factor of z?
False
Suppose s - 5 = -2*r, 10 = s - 6*r + 3*r. Let q(y) = -y**3 + 7*y**2 + 2*y - 3. Does 4 divide q(s)?
False
Let k(m) = 21*m. Let b be (-4)/(-2) + -1 + 0. Is 21 a factor of k(b)?
True
Is 6 a factor of (0 - -5)/(1/6)?
True
Let r(g) = -2*g**3 + 6*g**2 + 1. Is 25 a factor of r(-4)?
True
Suppose 4*d - 162 = 2*d. Does 27 divide d?
True
Let c(y) = y. Is 3 a factor of c(13)?
False
Let i(f) = 2*f + 10. Let h be i(-7). Let q be h + 4 - (-4)/2. Suppose -q*x - 2*x + 56 = 0. Is x a multiple of 10?
False
Let j(w) be the second derivative of 0 - 3*w - 3*w**2 - 1/20*w**5 + 11/6*w**3 + 3/4*w**4. Is j(10) even?
True
Suppose -2*c = -4*c + 2. Let g(o) = 21*o**3 + 11*o**2 + 9*o + 2. Let n(b) = 11*b**3 + 6*b**2 + 5*b + 1. Let s(h) = 6*g(h) - 11*n(h). Is s(c) a multiple of 5?
True
Let v(a) = -a**3 - 3*a**2 - a. Let h be v(-3). Let g(f) = 2*f + 2. Does 8 divide g(h)?
True
Let v = -6 + 21. Suppose -v = -y + 3*m, 2*m - 16 = -5*y + 42. Is 12 a factor of y?
True
Let r = 18 - 7. Does 6 divide r?
False
Suppose 0*a - 40 = -5*a. Suppose 2*t - a = -0*t. Suppose t*q - 2 = -2*f + 46, 5 = q. Is f a multiple of 6?
False
Let l(r) = -29*r - 3. Let s be l(-5). Suppose -2*t - 2*z + s = t, -2*t = 4*z - 108. Is 11 a factor of t?
True
Let g be 1437/9 - 2/(-6). Suppose -2*y = -2*z - 0*y, 2*y = 5*z - 12. Suppose 9*x = z*x + g. Does 16 divide x?
True
Suppose -3*r = -r. Is (-6)/3 + r + 5 a multiple of 2?
False
Let c = 3 + -6. Let x(t) = t**3 + 4*t**2 + 3*t + 4. Does 4 divide x(c)?
True
Let m(o) be the second derivative of 19*o**5/20 - o**3/6 + o**2/2 - o. Does 8 divide m(1)?
False
Suppose -r = 4*r - 285. Does 12 divide r?
False
Let m(x) be the second derivative of -x**3/3 + 7*x**2/2 - 2*x. Does 13 divide m(-7)?
False
Does 16 divide 2406/15 - 34/85?
True
Suppose 3*h + 1 = 7. Suppose -h*g = g - 18. Is 2/g + 212/12 a multiple of 18?
True
Let r(l) = -48*l**3 - l**2 + 1. Is 6 a factor of r(-1)?
True
Let y(g) = -g**2 + 6*g - 4. Let n(q) = -q**2 + 5*q - 3. Let t(x) = 3*n(x) - 4*y(x). Let p be t(8). Is 14 a factor of (1*-17)/p - -2?
False
Let k = 4 + -1. Suppose k*h + 429 = 3*j - 0*j, -3*h - 2*j = 454. Is 12 a factor of h/(-12) - 1/3?
True
Suppose -20 = -a + 46. Is 15 a factor of a?
False
Let n = 332 + -141. Suppose 149 + n = 4*m. Suppose p + m = 3*g, 4*p + 0*p = -2*g + 52. Is g a multiple of 15?
False
Let j(i) = -11*i - 11. Is j(-7) a multiple of 33?
True
Let x(k) = k**3 - 8*k**2 - 2*k + 15. Is 16 a factor of x(9)?
False
Let u(h) = h**2 + 4*h - 1. Let a be u(-6). Let y = 8 - a. Does 17 divide 20*y/(-3) + 2?
False
Suppose 3*w + w = -40. Let k(a) = -a**3 - 9*a**2 + 7*a. Does 15 divide k(w)?
True
Let j = -8 - -10. Suppose 0*d + d = -5*h + 3, d - 10 = j*h. Is 4 a factor of d?
True
Let o(k) = -k**3 + 7*k**2 + 5*k - 2. Let a be (-2)/(-11) + 62/22. Suppose -2*v + a*r - 15 = -41, 3*r + 12 = 0. Does 14 divide o(v)?
False
Let v be 28 - 3/(-1)*-1. Suppose -2*t + q = -v, -5*t + 82 = 3*q + q. Is 6 a factor of t?
False
Let z be (-3 - (-3 + -2))*-29. Let u(g) = -87*g - 1. Let k be u(-1). Let q = k + z. Is 16 a factor of q?
False
Let j(a) = a**2 - 6*a + 5. Let z be j(5). Suppose z*i + 108 = 3*i. Is 11 a factor of (-2)/(-9) + 856/i?
False
Suppose -2*i + 93 = -x, 4*i + 4*x - 145 = i. Let f = i - 27. Suppose -2*h + f = 2*h. Does 5 divide h?
True
Let q(i) = -3*i + 8. Suppose t - 2 - 2 = 0, 5*j + 14 = t. Let p(l) = -10*l + 24. Let g(m) = j*p(m) + 7*q(m). Does 8 divide g(0)?
True
Let s be ((-8)/(-6))/((-2)/24). Suppose 2*p + 3*p = 5*m - 20, 24 = m - 5*p. Let j = m - s. Does 5 divide j?
True
Suppose n - 50 = -0*n. Suppose 4*d - n = 2*d. Does 25 divide d?
True
Let p(z) = 39*z**2. Is p(1) a multiple of 13?
True
Let j(b) = b + 16. Let t be j(-13). Suppose -3*s + 5*w + 8 = -0, t*w + 3 = 0. Let a(n) = 8*n + 1. Does 9 divide a(s)?
True
Let b be 2 + 1/1 - 1. Suppose -2*n - b*o + 85 = -7*o, 2*n - 70 = 2*o. Is n a multiple of 14?
False
Suppose 4*l + 4*v - v = 12, -5*v = -20. Suppose -64 = -l*i - 4*i. Let m = 28 - i. Does 9 divide m?
False
Let g(i) = -i - 4. Suppose 2*t = -4*n - 162, -5*n - 189 = 3*t - 5*t. Let y = n - -28. Is 4 a factor of g(y)?
False
Let w(q) be the second derivative of q**4/12 + 4*q**2 + 3*q. Does 11 divide w(5)?
True
Suppose 5 = 2*f - 1. Let s = 3 - f. Let n(g) = g**3 + g + 16. Is 7 a factor of n(s)?
False
Let o(n) = -n**3 + n**2 + 5*n + 3. Suppose 0 - 3 = 5*v - 4*x, -4*x + 5 = -3*v. Let t be -6*((-3)/6 + v). Is o(t) a multiple of 9?
False
Suppose -6 = -v - 4*h - 0*h, -2*v + h + 30 = 0. Suppose 0 = -4*b + 5*b - v. Does 7 divide b?
True
Suppose 5*b = -0*h + 2*h - 265, -b = -3*h + 40. Let w = b + 93. Is w a multiple of 7?
False
Let p(n) = 44*n - 1. Let x(a) = 2*a - 3. Let k be x(2). Is p(k) a multiple of 19?
False
Suppose 0*o = -3*o + 3. Does 24 divide (275/(-5))/(o*-1)?
False
Suppose -3*a = 4*q - 370, a + 3 = 1. Is q a multiple of 11?
False
Let b = -165 + 115. Let l(j) = 8*j**3 - 2*j**2 + 2. Let x be l(-2). Let z = b - x. Is 20 a factor of z?
True
Suppose s + 45 = 5*t - 2*s, -5*s - 19 = t. Is t a multiple of 2?
True
Suppose 2*i - 3*f - 298 = -f, -143 = -i + 4*f. Does 35 divide i?
False
Suppose 4*a + 3*p - 14 = 0, -3*p + 6 = -a + 2. Let d = 23 - a. Does 13 divide d?
False
Suppose -2*m - 2*u - 104 = 0, 5*m + 196 = u - 58. Let w = 14 - 37. Let d = w - m. Is 14 a factor of d?
True
Let b be 1*(3 + 0) + 0. Suppose -4*c + 30 = 2*f - 5*f, -2*c - b*f + 6 = 0. Is 6 a factor of c?
True
Let b(f) be the first derivative of -2*f - 1/4*f**4 - 1 - 5/2*f**2 + 2*f**3. Is 10 a factor of b(4)?
True
Let c = -5 - -7. Suppose 4*v - 172 = -4*x, 2*v = c*x + 63 + 27. Is 16 a factor of v?