 j(10) a multiple of 11?
True
Let f(y) = -7*y**2 + y + 1. Let t(m) = -15*m**2 + 3*m + 2. Let r = -10 + 3. Let l(g) = r*f(g) + 3*t(g). Is 8 a factor of l(-3)?
False
Let x(k) = k - 3. Let v be x(8). Suppose 2*s - 5*p = -v, -s + 2*s = 3*p - 4. Suppose -25 - 55 = -s*q. Is q a multiple of 8?
True
Suppose 3 - 11 = r + 2*f, 2*r = -f - 1. Let m be 5/r*(1 + -5). Let s = -4 - m. Is s a multiple of 6?
True
Is ((-88)/10)/(5/(-25)) + 4 a multiple of 24?
True
Suppose -15*k + 147 = -12*k. Is 11 a factor of k?
False
Suppose -y = 3*y - 12. Suppose y*s + 2 = 32. Does 5 divide s?
True
Suppose 0 = 2*b - 5*a - 180, 0*b + 2*a = -5*b + 508. Is 10 a factor of b?
True
Let n(v) = -64*v**3 - 2*v**2 - 2*v - 1. Does 11 divide n(-1)?
False
Suppose -3*n + 2*n = -14. Let u = 16 - n. Is 2 a factor of u?
True
Suppose -4*s - 12 = 3*y, 2 = y - s - 1. Suppose y = 3*i - 0*x + x - 28, x = 2*i - 27. Is 4 a factor of i?
False
Let l = 6 + -4. Suppose 9 = l*m + 3. Suppose -m*j - 2*s + 35 = -0*j, 47 = 3*j + 5*s. Is 6 a factor of j?
False
Let l = -16 + 26. Suppose -2*o - 3*o - 15 = 0. Let z = o + l. Is 7 a factor of z?
True
Suppose -x + 16 = 4. Does 4 divide x?
True
Is 1/2 - (0 + 234/(-4)) a multiple of 15?
False
Let s be 33/(-5) - (-6)/(-15). Let z(r) be the third derivative of r**6/120 + 7*r**5/60 - r**4/24 - r**3/6 - 6*r**2. Is z(s) a multiple of 6?
True
Let q be 4*(3/4)/(-1). Let i = -2 - q. Is -11*(i - (4 + -2)) a multiple of 11?
True
Let u(q) = q**3 + 8*q**2 - 9*q - 1. Let w be u(-7). Suppose -w = 4*g - 279. Does 21 divide g?
True
Is 31 a factor of (-90)/36*372/(-10)?
True
Let a = -6 + 9. Suppose a*o - 28 = 20. Does 16 divide o?
True
Let k(d) = -d**2 - d - 1. Let s be k(-1). Let g = s + 2. Suppose -6 = -2*b - 3*x + g, b + x - 4 = 0. Is 5 a factor of b?
True
Let m(k) = -k**3 + 5*k**2 + 3*k. Is m(5) a multiple of 5?
True
Let d be ((-12)/9)/((-4)/6). Suppose 3*x = -d*x + 100. Does 7 divide x/1 + (-2)/1?
False
Suppose -49 = -3*m + a, m - 10 = -5*a + 1. Does 6 divide m?
False
Let k(b) = b**2 - b + 1. Let c(p) = -2*p**2 + 1. Let t(o) = -c(o) - k(o). Is t(4) a multiple of 14?
False
Let z(a) = -a**3 - 4*a**2 + a. Let u be 5*-4 - 3/3. Let l be u/(3/1) + 2. Does 10 divide z(l)?
True
Let u(g) = 5*g - 8. Let s be u(6). Let z(n) = -3*n**3 - n**2 - n. Let h be z(-1). Suppose 0 = 2*i + j - s, 0 = h*i + j + 4*j - 33. Does 8 divide i?
False
Let c(b) = b**3 - 6*b**2 + 8*b + 6. Is c(4) even?
True
Let p(g) = -g**3 - 3*g**2 + 3*g + 4. Let m be (-2)/(-3) - (-10)/(-6). Let i = m + -4. Is p(i) a multiple of 15?
False
Let n be ((-9)/(-1))/((-3)/26). Is 18 a factor of (-626)/(-13) - (-12)/n?
False
Let v be 4/(84/39 + -2). Suppose 2*p - 30 - v = 0. Let s = 52 - p. Is s a multiple of 10?
False
Suppose -11 = -2*u - 3. Does 12 divide (-6)/(-2) + 5 + u?
True
Suppose -2*p = -3*l - 121, 131 = 2*p - 11*l + 6*l. Does 21 divide p?
False
Suppose s = -4*i + 4*s - 8, -2*i = -3*s + 4. Does 25 divide ((-220)/25)/(i/15)?
False
Suppose -2*z - 878 = -5*c, c + 66 = 4*z + 238. Is 22 a factor of c?
True
Let h be 3*-1 + 2 + 17. Let c = h - 6. Is 3 a factor of c?
False
Suppose 2*u - 12 = -4. Does 2 divide u?
True
Let f(x) be the third derivative of x**6/120 - x**4/24 + 20*x**3/3 + 5*x**2. Is f(0) a multiple of 20?
True
Let p(v) = -v**2 - 11*v - 9. Is 3 a factor of p(-6)?
True
Let f = 109 + -64. Is 5 a factor of f?
True
Suppose 5 + 1 = -3*k. Let y be (5/(-10))/(k/264). Is 8 a factor of ((-1)/(-3))/(2/y)?
False
Let g(t) be the second derivative of t**5/10 - t**4/12 - t**2 + 2*t. Is 16 a factor of g(3)?
False
Suppose 25 + 52 = 2*g + 3*r, 5*r - 79 = -2*g. Suppose 3*m - g = -1. Does 6 divide m?
True
Suppose 0 = 2*r + 7 + 1, -5*r = x + 17. Suppose 0 = 5*k - 2*k + x*t + 138, 5*t - 148 = 4*k. Let b = -4 - k. Does 19 divide b?
True
Let v = -69 + 123. Is 27 a factor of v?
True
Let c = -13 - -23. Does 5 divide c?
True
Suppose 20 = 3*h + 5. Suppose h*z - 4*k = -32, 3*z + 0*k + 3 = -3*k. Does 3 divide z/(-2*1/2)?
False
Let i = 114 - 51. Let j = i + -33. Is j a multiple of 10?
True
Suppose 4*s - 2*s - 8 = 0. Let k = s + -5. Does 10 divide -1 - -11 - (-1 - k)?
True
Let s = 626 + -422. Is s a multiple of 34?
True
Suppose -1 = -3*p + 11. Suppose -2*m + 100 = 3*w, -21 = 4*w - p*m - 181. Is 36 a factor of w?
True
Suppose f + 4*u + 12 = 31, 5*f = -u + 76. Is f even?
False
Suppose 3*r - 3 = 2*r. Suppose 0 = -3*n - h + 11, -3*n - 2*h + r = -13. Suppose p = -n*p + 4*d - 4, 5*p - 28 = -2*d. Does 3 divide p?
False
Suppose 3*n - 15 = -0. Is n a multiple of 4?
False
Suppose -2*i + 5*m = -31 - 15, 5*i - 3*m = 153. Suppose -4*l + 102 = -2*t, -20 - i = -l - 5*t. Does 13 divide l?
False
Let z(u) be the second derivative of u**4/12 - 5*u**3/6 + 13*u**2/2 + u. Let n be z(9). Is (n + 1)*12/30 a multiple of 7?
False
Let y(n) = 69*n**2 - 1. Let r = 14 + -13. Does 24 divide y(r)?
False
Suppose k + a = 26, k + 3*k - a = 114. Does 9 divide 1/((-12)/(-9))*k?
False
Suppose -2*j + j + 2 = 0. Suppose 0 = 5*i - 2*i + q - 25, 0 = -j*i - 4*q + 10. Is 3 a factor of i?
True
Let i(z) = z**2 + 6*z - 1. Let q be i(-4). Let r be (-2)/(-6) - 267/q. Suppose w - r = -4*w. Does 6 divide w?
True
Let f be (-172)/(-36) - (-2)/9. Suppose -3*m + 4 + f = 0. Does 3 divide m?
True
Suppose -2*d = 4*r - 636, 2*r - 969 = -3*d - r. Does 20 divide d/11 + 14/77?
False
Let i(g) be the second derivative of -g**3/6 - g. Let v be i(-1). Suppose s + v = 5. Is 3 a factor of s?
False
Is 20 a factor of ((-384)/(-10))/((-285)/50 - -6)?
False
Suppose 64 = 5*m - m. Does 4 divide m?
True
Suppose -4*g - 22 + 122 = 0. Suppose -79 = -2*d + b, -4*d - 5*b = g - 218. Does 19 divide d?
False
Let t = 15 + -11. Suppose -67 = -5*k - v, -t*k = k + 3*v - 61. Suppose 2*c + k = 4*c. Is c a multiple of 7?
True
Suppose -4*w + 3*w + 4 = 0. Suppose -4*l + w*v + 48 = 0, 4*l - 9 = -v + 49. Is 14 a factor of l?
True
Let w(x) = -2*x**3 - x**2 - x - 2. Let n be w(-2). Let h = 20 + n. Does 16 divide h?
True
Suppose 4 = 2*c, 98 = -5*h - 3*c - 11. Let p = -21 - h. Is p a multiple of 2?
True
Suppose 31 = 3*t - 14. Does 5 divide t?
True
Is 32 a factor of -4*2*214/(-16)?
False
Let w = 23 - 20. Let l = 20 - w. Does 4 divide l?
False
Let o(x) = -x**3 - 8*x**2 - 3*x + 9. Let a be o(-7). Let j = a - -44. Is j a multiple of 25?
True
Suppose -4*t = -3*t - 25. Suppose -10 = -2*p + 4*s, 0*p + 3*s = -5*p + t. Suppose -9 = -p*v + 2*v. Is v a multiple of 3?
True
Let n(g) = -g**3 + 11*g**2 + 12*g - 8. Let p(z) = 4*z**3 - 33*z**2 - 36*z + 23. Let l(x) = 7*n(x) + 2*p(x). Is l(-9) a multiple of 15?
False
Let l(s) = 2*s + 7. Let z be l(-3). Let u be (-1 - 3)*3/(-4). Suppose -z = n - u. Is n even?
True
Suppose t - 3*r = 30, t - 3*r - 66 = -t. Let m = -24 + t. Does 12 divide m?
True
Let v(p) = -89*p - 1. Is v(-1) a multiple of 20?
False
Suppose -36*i = -39*i + 39. Is i a multiple of 9?
False
Let r(m) be the second derivative of m**5/20 - 7*m**4/12 + 7*m**3/6 - 3*m**2/2 + 9*m. Let j(n) = n**3 + 6*n**2 - 8*n. Let f be j(-7). Is r(f) a multiple of 12?
False
Let v be (-182)/(-5) + 2/(-5). Let a = 56 + -39. Let k = v - a. Does 19 divide k?
True
Is 43 + 8/(0 + -2) a multiple of 12?
False
Let p be (0 - (-1 + -2)) + -27. Is 8 a factor of 9/p + (-195)/(-8)?
True
Let u(z) = -z**3 - 6*z**2 + 5*z - 10. Let n be u(-7). Suppose 0*d + 17 = d - w, w = n*d - 62. Is 5 a factor of d?
True
Suppose -4*b + 138 = 3*g + 7, 0 = -b - g + 33. Is 32 a factor of b?
True
Suppose 0 = 7*g - 2*g - 3*h - 172, 3*g - 108 = -3*h. Is g a multiple of 26?
False
Suppose -4*m + 0*k + 3*k = -1189, -4*k - 1188 = -4*m. Let b = -146 + m. Is ((-2)/(-4))/(4/b) a multiple of 13?
False
Let u be -1*(-8 + 2 - -2). Suppose -n = 3*d + u + 5, -2*d = 8. Suppose -i - n*i + 60 = 0. Is i a multiple of 12?
False
Suppose -2*n = -5*n. Suppose 12*a - 10*a - 24 = n. Does 12 divide a?
True
Does 5 divide (-1)/1 - -3 - -9?
False
Let r(x) = x**3 + x**2 + x + 16. Let t be r(0). Suppose -3*i - 4*b = -5*i + t, -5*i = -3*b - 61. Is 14 a factor of i?
True
Let s = 374 + -266. Is s a multiple of 9?
True
Does 2 divide 3 + (-5 + 0)*-1?
True
Suppose -8 = -2*v, -y + 5*y = -v + 24. Let p = y - -40. Does 14 divide p?
False
Suppose 0 = 3*c - 3*n - 45, 0 = 3*c - 6*c + n + 43. Is c a multiple of 7?
True
Let g(k) = -k + 3*k - k + k. Suppose 8*r = 5*r + 12. Is 8 a factor of g(r)?
True
Let l = 106 + -56. Does 36 divide l?
False
Let a be