 g(-16)?
False
Suppose 2*k - 95 = 65. Does 8 divide k?
True
Suppose -4*b = 227 - 67. Let h = -22 - b. Does 8 divide 40/6*h/5?
True
Suppose 12 - 4 = 2*t, 0 = 5*i + 3*t - 82. Let b = i - 3. Does 4 divide b?
False
Let u be (3/(-3))/(1/(-1)). Let y = -2 + u. Does 7 divide 7/((-7)/(-22)) + y?
True
Suppose v + 9 = h + 2, 3*v = -5*h - 5. Let d = -3 + h. Does 5 divide d + 9 + (-4 - -6)?
True
Suppose -4*u = -853 - 435. Does 18 divide u?
False
Is 4/(-14) + 612/84 a multiple of 2?
False
Suppose 495 = 3*s + 135. Is 30 a factor of s?
True
Is 7 a factor of (((-10)/4)/(-5))/((-2)/(-292))?
False
Suppose i = -i + 4. Suppose -3*p + 10 = i*p. Suppose -2*w + w + p = 0. Is w a multiple of 2?
True
Let x(z) = z**2 - 4*z + 1. Let f(j) = -j**2 + 7. Let y be f(0). Let c be x(y). Let g = c - 5. Does 17 divide g?
True
Suppose -4*y - 4 - 12 = 0. Let k be 1/2 + (-10)/y. Suppose 3*m - 2*m = k*o - 24, -2*o - m + 16 = 0. Is 4 a factor of o?
True
Let y = 19 - -2. Suppose 121 = 5*t + y. Is 5 a factor of t?
True
Suppose 5*q - 3*q = 184. Is 21 a factor of q?
False
Let l(b) = -2*b**3 - 4*b**2 - b - 17. Does 42 divide l(-4)?
False
Suppose 0 = -2*h - 3*h - 3*n + 160, -n = 5*h - 160. Is 12 a factor of h?
False
Let t be 91/6 - (3 - 7)/(-24). Suppose i - 3*i = -3*j - 19, -3*j + 16 = 5*i. Suppose -i*r + t = -10. Is 4 a factor of r?
False
Suppose 0 = -3*m - 25 + 139. Does 38 divide m?
True
Let g = -161 - -61. Does 23 divide g/(-3)*18/12?
False
Let s = -84 + 55. Let o = 40 + s. Let y = 38 - o. Does 10 divide y?
False
Suppose 3*i - 45 - 112 = -4*z, -2*z + 89 = 5*i. Suppose z = 2*g + 2*f - 137, 0 = -2*g - f + 171. Let h = g - 42. Does 21 divide h?
True
Let v = 9 + 16. Is v a multiple of 5?
True
Let j(l) = 4*l**2 - 1. Let i be j(1). Let s(k) = 3*k**2 + 4*k - 6. Let f(v) = -2*v**2 - 5*v + 6. Let u(b) = i*s(b) + 4*f(b). Does 3 divide u(8)?
True
Suppose -5*r = 10, r = -4*o + 5*r + 512. Is o a multiple of 18?
True
Is 11 a factor of 11/(132/(-450))*-2?
False
Suppose -6*h + 21 = -3*h. Let d(o) = o**3 - 6*o**2 - o + 9. Does 14 divide d(h)?
False
Let z = 4 + -4. Let n = 23 + -14. Suppose o + z*o = n. Does 9 divide o?
True
Is ((-12)/7)/((-4)/112) a multiple of 8?
True
Suppose -5*n + 32 = -43. Is 12 a factor of 1*(n - (-6)/3)?
False
Let c = -3 + 2. Let j = 14 + c. Suppose 3*r + 2*n + 0*n - 6 = 0, -r = -3*n - j. Does 4 divide r?
True
Let q be (-177)/6 - (-1)/2. Let s = -11 - q. Is 11 a factor of s?
False
Let q(b) = 3*b**2 + 3*b - 9. Does 5 divide q(-3)?
False
Suppose -4*c + 63 = -3*c - 3*w, -5*c = w - 299. Suppose -5*a + 4*a + c = 0. Does 15 divide a?
True
Let q(t) = -t - 3. Let z be q(-8). Suppose z*v = v + 16. Suppose -a = c - 11, v*c + 38 - 12 = 3*a. Does 10 divide a?
True
Let l(f) = -f**2 - 17*f - 4. Let g be l(-11). Let d = g + 2. Is d a multiple of 11?
False
Let f(b) be the third derivative of b**5/60 - b**3 - b**2. Does 13 divide f(-6)?
False
Suppose -4*y + 4 = -4. Suppose -2*l + 91 = o, -l - y*l - 2*o + 137 = 0. Is 15 a factor of l?
True
Suppose -3*b - 2*b - 875 = 5*o, b = -2*o - 180. Is 10 a factor of b/15*(-3 + 0)?
False
Let z(y) = -y**2 - 18*y + 3. Is 24 a factor of z(-15)?
True
Let s(n) = -7*n. Let b(t) = -t**3 + 5*t**2 - 3*t. Let h be b(4). Suppose -7 = 5*o + h*j + 2, 3*j - 22 = 2*o. Does 16 divide s(o)?
False
Let s(y) = y**3 - 2*y**2 - 2*y + 2. Let k be s(2). Let l(q) = -7*q - 2. Does 12 divide l(k)?
True
Suppose -3*x + 20 = -x. Let w = x - 7. Suppose w*q + 34 = 112. Is 13 a factor of q?
True
Suppose -37 = -3*k + 35. Suppose -5*f + 1 = -k. Suppose 45 = f*h - 110. Is h a multiple of 12?
False
Let j be 0*1/(-2)*1. Suppose -3*m + 5*p + 24 = j, 0 = -5*m + 3*p + 54 + 2. Is m a multiple of 4?
False
Suppose -i = -6*i - 5*w + 30, -2*i = 3*w - 7. Is i even?
False
Is 16 a factor of (-66)/231 - -1*226/7?
True
Let i(f) = f - 1. Let k be i(4). Suppose k*m = -m + 92. Is 12 a factor of m?
False
Suppose -4*g - 16 = -100. Is g a multiple of 9?
False
Suppose 0 = -2*b - u + 3*u - 50, 0 = -2*b - 4*u - 68. Let j = b + 68. Suppose 0 = 3*p + n + n - 34, -j = -5*p + 5*n. Is p a multiple of 9?
False
Suppose -3*t - 20 - 7 = -3*d, 4*t - 3*d = -41. Let h = t + 29. Is ((-24)/h)/((-2)/40) a multiple of 16?
True
Let t be 3/1 - (4 - 5). Suppose b = -t + 6. Is (b + -8)*(-1)/2 a multiple of 2?
False
Let s(x) = x**2 - 4*x - 9. Let y(i) = i**2 + 5*i - 1. Let w be y(-4). Does 12 divide s(w)?
True
Suppose -5 = -2*d + 111. Is 14 a factor of d?
False
Let i be (-2 + -10)*3/(-2). Let v = i + -10. Let n = v - 3. Is 5 a factor of n?
True
Is 6 a factor of -2 + 2 + 2*12?
True
Let o(p) = p**2 - 7*p - 4. Is 10 a factor of o(11)?
True
Let a(h) = -h**2 - 8*h - 2. Let q be a(-7). Let g = 4 - q. Does 5 divide (-11)/g - (2 + 1)?
False
Let b(k) = k**3 + 9*k**2 - 14*k - 10. Is 2 a factor of b(-10)?
True
Suppose 0 = -3*s - 2*s + 195. Is s a multiple of 14?
False
Is (-285)/(-3) - (0/(-3))/4 a multiple of 19?
True
Suppose 0 = -3*w + 2*s - 0*s - 648, 2*w = 3*s - 427. Let v be (-2)/(-3) + w/(-6). Let k = v + -8. Is k a multiple of 15?
False
Let j = 2 - 0. Suppose 2*d + 3*u = -2*u + 33, -j*d - 4*u + 28 = 0. Suppose 2*r = 3*i + 48, -d*i + 40 + 36 = 2*r. Does 11 divide r?
False
Is 26 a factor of 1*2*39*(-2 - -3)?
True
Let s(x) = x**3 + 10*x**2 + 9*x - 13. Let b be s(-9). Let y = 11 - b. Is 12 a factor of y?
True
Suppose 0 = 6*l + 47 - 563. Does 9 divide (14 - 13)/(2/l)?
False
Let f be 10/4*(-132)/(-15). Suppose 5*l + w - 158 = 0, 4*l - f = 3*l + 3*w. Is l a multiple of 25?
False
Is 48 a factor of 3 - (-13*17 - -3) - -3?
False
Let k be 3 - (-21)/(-3 + 0). Suppose -48 = -2*q - 148. Does 6 divide (-1)/2 + q/k?
True
Let a(z) = -2*z + z - z**2 - 1 - z + z. Let s be a(3). Let v = -4 - s. Does 9 divide v?
True
Let v(q) be the third derivative of q**6/120 - q**5/12 + q**4/6 + q**3/2 + 4*q**2. Does 3 divide v(4)?
True
Let t(s) = -s**3 + 13*s**2 + 15*s + 20. Let c(u) = u**3 - 13*u**2 - 15*u - 19. Let j(y) = -6*c(y) - 5*t(y). Is 25 a factor of j(14)?
False
Let k(z) = -z**2 + z. Let v be 0/(-2 + 4) - -2. Let p be k(v). Is 7 + 0 + p/(-2) a multiple of 8?
True
Suppose 1 = -2*k - 3. Let c be (-9 + (3 - 4))/k. Suppose -u - 5*n = -0*n - 19, -c*u + 4*n = -8. Is 2 a factor of u?
True
Suppose -6 + 0 = 2*m. Let r = 7 + m. Is 2 a factor of r?
True
Let q(v) = -v**2 + 8*v - 7. Let k be q(7). Suppose k = 3*p + m - 27 - 47, 0 = -p + 4*m + 3. Is p a multiple of 14?
False
Suppose -3*g + 4 = -14. Suppose 2*f = g*f - 208. Is f a multiple of 13?
True
Suppose -a + 960 = 7*a. Does 8 divide a?
True
Let n = -9 - -18. Does 9 divide n?
True
Let l = 10 + 41. Does 12 divide l?
False
Suppose 5*z - 21 = 39. Does 6 divide z?
True
Let c(h) = h**3 - 10*h**2 - 11*h + 37. Is 27 a factor of c(12)?
False
Suppose 0 = -11*q + 8*q + 186. Is q a multiple of 22?
False
Let i(p) = 5*p**3 - 2*p**2 - 2*p + 3. Does 16 divide i(2)?
False
Let b be -1 + (2 - -3)*1. Suppose -9 = -b*v + 111. Is v a multiple of 15?
True
Is 56/3 + (-10)/15 a multiple of 9?
True
Suppose -3*t + 48 = 3*r, t + 0*t - 76 = -4*r. Let d = -7 + r. Is d a multiple of 13?
True
Let v(t) = t**2 + t - 8. Is v(6) a multiple of 17?
True
Suppose x = 4*p - 9 - 3, 0 = -5*p + 5*x + 15. Suppose -8 = -2*i + 3*i + 4*a, 2*a = 2*i - 4. Suppose p*y - 3*v - 18 = i, -y - y = -v - 13. Is 7 a factor of y?
True
Let q(p) = 3*p**2 + 3*p + 4. Is q(-3) a multiple of 17?
False
Suppose 2*c - 10 = 2*u, 0 = -3*c + 2*c - 4*u - 10. Suppose c*d + 0*d - 6 = 2*o, -16 = -5*d + 4*o. Suppose 0 = d*f - 23 - 9. Does 8 divide f?
True
Let u(f) = 7*f + 2. Does 10 divide u(4)?
True
Let b = 10 - 7. Suppose b*x + 5 = 11. Suppose 0 = x*c - 3 - 15. Is 4 a factor of c?
False
Let t be (-2)/7 - (-48)/21. Suppose -4 + 18 = v + 5*x, t*x - 12 = -2*v. Let p(j) = j**3 - 5*j**2 + 7*j - 6. Does 3 divide p(v)?
True
Is 19 a factor of (2 - 59)*16/(-24)?
True
Let z(m) = -m**3 - 8*m**2 - 8*m - 5. Let l be z(-7). Let p(k) = 1 + 2 + 11*k - 2. Does 14 divide p(l)?
False
Suppose -4*m - 4*s + 2 = -6, -3*s = 5*m - 6. Suppose -3*g + 27 + 48 = m. Is g a multiple of 12?
False
Is 13 a factor of -13*(-3)/(-12)*-20?
True
Does 23 divide 1*(6 - 1)*(6 + 1)?
False
Let p = -8 + -16. Let x(s) = s**2 - 1. Let m be x(-5). Is (2 + m/(-9))*p a multiple of 16?
True
Let y(l) = -5*l - 2. Let j be y(-3). Suppose p + 56 = 3*p. Let t = p - j. Is 14 a factor of t?
False
Let o(t) = 3*t**2 - 19*t. Does 9 divide o(8)?
False
Let