es 9 divide d?
False
Suppose 7*l - 1522 + 332 = 0. Is l a multiple of 6?
False
Suppose 0 = -11*g - 119 + 5278. Does 3 divide g?
False
Let r = 151 - 103. Does 12 divide 74 - (r/30 - 2/(-5))?
True
Let f(g) = 11*g**2 + 3*g + 3. Let u = -6 + 3. Does 13 divide f(u)?
False
Let z(a) = -a**3 + 18*a**2 - 13*a + 11. Is z(16) a multiple of 9?
True
Let d be 0*((-5)/2 + 3). Suppose 0 = 3*s - q - 85, d*s - 33 = -s + 5*q. Let b = -10 + s. Does 6 divide b?
True
Let l(d) be the first derivative of 2*d**2 - 20*d - 9. Let s be l(6). Suppose -5*u = s*h - 270, -h + 131 = 2*u - 4*h. Is 16 a factor of u?
False
Let x(v) = 11*v. Let k be x(5). Suppose -4*u = 16, -4*s + 45 = -u - k. Suppose 0*j - 4*j = -s. Is 2 a factor of j?
True
Suppose -t + 50 = 5*o, -3*t - t = 20. Let m = 38 + o. Is 7 a factor of m?
True
Let p = 1303 - 869. Suppose -3*k - 2*k = 2*r - p, r = 4*k - 355. Is k a multiple of 44?
True
Suppose 333 = -2*h + 5*h + 5*p, 2*h - p - 235 = 0. Does 7 divide h?
False
Let u be 4/(-56)*-4 + (-108)/(-14). Suppose -u*t + t = -882. Does 42 divide t?
True
Let j(s) = s**3 + 5*s**2 - 3*s - 4. Suppose 5*g - 5*l + 20 = 0, 5*g + 17 = -l - 9. Let b be j(g). Let h = -8 + b. Is h even?
False
Let j be 6/(2*6/(-8)). Let o be (3/j)/((-1)/216). Let y = o + -98. Does 16 divide y?
True
Suppose -3*a = -3*d - 33, -d = 5*a - 2*d - 63. Suppose -a*r = -17*r + 396. Is r a multiple of 11?
True
Let s(g) = -2*g**2 + 16*g + 3. Let o be s(12). Let a = 163 + o. Is a a multiple of 14?
True
Let t(y) = -y**3 - 12*y**2 + 6. Let m = -3 + 0. Let n be (-1)/(m/(-12))*3. Is t(n) a multiple of 3?
True
Suppose 0 = 3*s - 6*s - 42. Let p(t) = -t**2 - 19*t - 35. Does 22 divide p(s)?
False
Let k = -5 + 8. Let o = 22 + -21. Suppose k*y = b + o, -4*y = -6*b + 3*b + 2. Does 2 divide b?
True
Let q = -226 - -412. Suppose -3*j + 3*g = -q, j + 0*g + 4*g - 62 = 0. Suppose 2*i = 4*i - j. Is i a multiple of 16?
False
Suppose 3*z = -5*i + 59, -z - 2*z - 3*i = -63. Suppose 4*o - 221 = -x, -2*o - 5*x + 120 = z. Suppose o = 2*q + 5*c, -4*c + 0 - 2 = -q. Does 9 divide q?
True
Let n(l) = -l**3 - 11*l**2 - 3*l + 4. Let a be n(-10). Is 19 a factor of (a/(-8))/(45/120)?
False
Let y(g) = g**2 + 1. Suppose 2*j - 1 = 3*j - 3*f, -1 = j + 5*f. Let m(b) = -11*b**2 - 2*b - 8. Let k(i) = j*m(i) - 5*y(i). Is 8 a factor of k(-2)?
False
Suppose 0 = -4*h + 4*v, -5*h + 3*h + 3 = -v. Suppose 399 = -3*m + 8*m + h*k, 402 = 5*m + 4*k. Is m a multiple of 27?
False
Let x(c) be the first derivative of 11*c**2/2 - 46*c - 14. Does 6 divide x(12)?
False
Let y(p) = p**3 - 12*p**2 - 130*p + 11. Is y(20) a multiple of 13?
True
Let h(f) = -64*f**3 - f**2 + 8*f + 10. Is 5 a factor of h(-1)?
True
Let u = 263 - 192. Is 12 a factor of u?
False
Suppose 5*a - 4*j - 2100 = 0, 0*j + 5*j + 1260 = 3*a. Suppose -3*f - 7*f + a = 0. Is f a multiple of 7?
True
Let l(x) = -2*x + 2. Let n(f) = f**3 + 14*f**2 + f + 16. Let t be n(-14). Suppose 0 = b - 1 + t. Is l(b) a multiple of 2?
True
Is -5 + (-3)/(-6)*(172 - 0) even?
False
Suppose 31*p = 29*p + 106. Suppose -59 = -3*h - q + p, -h - 4*q = -52. Is 6 a factor of h?
True
Let b(h) = -2*h**3 + 17*h**2 - 6*h + 4. Let f be b(8). Suppose 3*a + 2*m + 2*m - 44 = 0, 2*a - 2*m = f. Is a a multiple of 2?
True
Let f(k) = 2*k**2 + 13*k - 34. Let g be f(7). Suppose -6*y = -2*y + u - g, 0 = -5*y + 4*u + 220. Does 4 divide y?
True
Let x(g) be the third derivative of 5*g**4/8 - 7*g**3/6 - 2*g**2. Let y be x(7). Suppose -4*n + 3*p = -y, -2*n + 7*n = -3*p + 136. Is 11 a factor of n?
False
Let b = 262 - 78. Is 46 a factor of b?
True
Suppose -o - 7 = -4. Let d be 30/(-20)*8/o. Suppose -4*s + 90 = 4*l - 2*l, d*s + 4*l = 96. Does 19 divide s?
False
Let y = -26 + 42. Suppose 4*v = -2*n + 5 + 63, -y = -v - n. Is v a multiple of 10?
False
Suppose 0 = 4*w + 107 - 1687. Let k = w + -233. Does 18 divide k?
True
Suppose 5*m + 4 = 2*h, 3*h = -0*h + m - 7. Is (-1)/h + (-217)/(-42)*16 a multiple of 10?
False
Let d(h) = h - 1. Let z(b) = 103*b + 4. Let m(a) = -4*d(a) + z(a). Is 13 a factor of m(1)?
False
Let w(z) = 2*z + 3. Let b be w(3). Suppose -5*y - b = 2*h - 0, 0 = -5*y + 5*h - 30. Does 16 divide 3 + y - (-31 - 1)?
True
Let l(t) be the second derivative of t**4/12 + 5*t**3/6 - 3*t**2 - 3*t. Suppose -24 + 8 = 2*w. Is 6 a factor of l(w)?
True
Let t(x) = 12*x**2 - x. Let k(b) = -b**2 - 5*b + 6. Let l be k(-6). Suppose l*w = -4*w - 4. Is 5 a factor of t(w)?
False
Let n(g) = 14*g**2 - 6. Let z be n(7). Suppose 3*a + 290 = z. Suppose a = 5*p - 0*p. Is 26 a factor of p?
True
Suppose 2*p - 22 = 3*a, -4*a - 5*p = -2*p + 18. Let r(g) = -g + 7. Is r(a) a multiple of 5?
False
Let v(d) be the second derivative of -2*d**3 - 6*d**2 + 13*d. Is 10 a factor of v(-5)?
False
Suppose -2*m + 18 + 0 = 0. Let i(h) = 9*h + 9. Does 15 divide i(m)?
True
Let p = 1663 + -1202. Is p a multiple of 63?
False
Let z = 44 + -31. Does 9 divide (-2)/z + 1761/39?
True
Suppose 330 = 8*q - 3*q. Let g = -46 + q. Suppose -g + 4 = -2*d. Is d a multiple of 8?
True
Let g = 3497 + -2001. Is g a multiple of 11?
True
Suppose 12*b - 1828 = -184. Is 2 a factor of b?
False
Suppose -42*m + 43*m + 48 = 0. Is 8 a factor of m*(-2 + 1/1)?
True
Let q(o) = -198*o + 4. Let t be (-4)/8*(-5 - -7). Does 23 divide q(t)?
False
Suppose -7 - 5 = -2*r. Let p(b) = -b**3 + 8*b**2 - 4*b - 3. Does 9 divide p(r)?
True
Let u(m) be the second derivative of 5/6*m**3 + 1/12*m**4 + 0 + 5*m**2 + 6*m. Does 7 divide u(-5)?
False
Suppose 4*z - 22 = -18. Let s(f) = 175*f**3 + 3*f**2 - 3*f + 2. Is 10 a factor of s(z)?
False
Let c(y) = -164*y - 77. Is c(-3) a multiple of 9?
False
Suppose 27 = 2*i - 5*y, 0 = -5*i + i - 2*y + 90. Let f = i - 5. Is f a multiple of 8?
True
Suppose 7*y = 1324 + 1700. Let k = y - 291. Is 29 a factor of k?
False
Let u = -26 + -10. Let a be (-1 - 0)*(0 - u). Does 15 divide ((-10)/(-4))/((-3)/a)?
True
Let y = 27 + -22. Suppose y*q = 3*f + 50 + 13, 4*q - 46 = -2*f. Let h = q - -6. Is h a multiple of 10?
False
Let a(h) = 7*h + 33. Is a(8) a multiple of 8?
False
Suppose -5*h = -1 - 4. Let z(a) = 31*a**2 + 5*a - 6. Is 5 a factor of z(h)?
True
Suppose 2*r = -2*t + 412, -t - 2*r = -4*r - 212. Is t a multiple of 34?
False
Suppose -4*h = -309 - 1091. Is 25 a factor of h?
True
Let d(u) = -223*u - 65. Does 8 divide d(-3)?
False
Let x = -17 - -22. Suppose 2*a - 5*c = 57, a + x*c = 4*a - 73. Is a a multiple of 16?
True
Let d(z) = z**3 + 8*z**2 + 7*z + 3. Let j be d(-7). Suppose -3 = j*f - 27. Does 7 divide (5 - f)*(-8 + 1)?
True
Let s(k) = 22*k + 7. Let u(i) = 87*i + 27. Let y(a) = 3*a + 8. Let h be y(-4). Let j(m) = h*u(m) + 15*s(m). Is 13 a factor of j(-2)?
False
Let f(h) = -90*h**3 - 4*h**2 - 3*h - 1. Is f(-2) a multiple of 10?
False
Suppose r = 4*j + 79, -j + 2*r = j + 38. Let m be 14/4*j/(-35). Is 9 a factor of 45 + -1*0/m?
True
Suppose -5*y + 435 = -3*p, -2*p - 5 = y - 105. Is y a multiple of 6?
True
Let t = -68 - -72. Suppose 6*r = t*r + 14. Is r a multiple of 7?
True
Let y be ((-11)/4)/(3/12). Let b = y + 15. Suppose 2*l + 0*l - 3 = 3*j, -b*l + 26 = -2*j. Does 4 divide l?
False
Let k = -630 + 1200. Is k a multiple of 20?
False
Suppose 7*l - 398 = 337. Is l a multiple of 12?
False
Let f(b) = -9*b + 19. Does 16 divide f(-25)?
False
Suppose -3*c + 1 = 4*s, -4*c - s - 5 = -5*c. Suppose 2*g + 20 = 2*z - 8, -2*z = c*g - 8. Does 10 divide z?
True
Suppose -56*t = -49*t - 1274. Is t a multiple of 21?
False
Let l = -348 - -589. Does 12 divide l?
False
Let z(v) be the first derivative of 7*v**5/30 - v**4/12 + 5*v**3/3 + 2. Let n(i) be the third derivative of z(i). Is n(2) a multiple of 27?
True
Suppose 0 - 20 = -4*p. Suppose -19 - 1 = 5*f, p*f - 216 = -2*j. Let s = j - 82. Is s a multiple of 14?
False
Is (3 + (-40)/16)*1708 a multiple of 17?
False
Let l(y) = 28*y**2 - 11*y + 5. Let p be l(4). Suppose -16*j - p = -2393. Is j a multiple of 13?
False
Suppose -4 = k, -26 = 6*c - 8*c - 3*k. Suppose -2*v + s + c = 0, -3*s = 2*v + s - 34. Is 7 a factor of v?
False
Let w = 2232 - 2069. Is 2 a factor of w?
False
Let h(q) = -2*q - 10. Let x be -9 + 1 - (-2)/2. Let f be h(x). Let r(t) = t**3 - 5*t**2 + 5*t + 2. Does 2 divide r(f)?
True
Let k = -23 + -2. Let z be (820/k)/(3/(-15)). Suppose -2*s + 4*w + 59 = w, 5*s - 2*w - z = 0. Is 6 a factor of s?
False
Let y(a) be the second derivative of -10*a**3/3 + a**2/2 + 16*a. Does 36 di