h?
True
Let g be 3 + 0 - 0 - -1. Suppose 0 = c + 5*q + 18, -5*c - 4 - 2 = g*q. Suppose f + 8 = c*f. Is 8 a factor of f?
True
Let z be -4*((-117)/6 - -3). Suppose 0 = -5*i + 8*i - z. Does 12 divide i?
False
Suppose -8*a - 48 = -4*a. Let d = 16 - 50. Let f = a - d. Does 11 divide f?
True
Let y = 3 - 3. Suppose z - 3*b + 12 = -y*z, 4*b = -4*z + 16. Suppose 3*i - 6 - 15 = z. Is i a multiple of 3?
False
Suppose 0 = -3*z + 3*u - 5*u + 18, 0 = 3*z + 3*u - 21. Suppose x + x - 6 = -3*l, 0 = z*x - 5*l - 34. Does 6 divide ((-4)/x)/((-2)/36)?
True
Let a be (-59)/6 - 1/6. Let p = a - -55. Is p a multiple of 16?
False
Suppose 2*b - 20 = -3*b. Suppose 2*r = b*f - 156, -4*f + 88 = r - 74. Suppose -4*p - f = -j, 9 = -4*p - 7. Does 12 divide j?
True
Let c(p) = -p**3 + 5*p**2 - 4. Let y be c(5). Is 15 a factor of y/6 + (-390)/(-18)?
False
Let a be 2/4*(4 - 8). Is 16 a factor of 24*(a/3 - -2)?
True
Suppose 0 = 3*b + s - 2297, 0 = -b - s + 6*s + 755. Is b/18 - (-1)/2 a multiple of 11?
False
Let g(o) be the first derivative of -o**4 + o**3/3 + o**2 + o - 2. Let w be g(-1). Suppose -55 = -w*h + 53. Is 14 a factor of h?
False
Let g(h) = -2*h**3 + h**2 + 2*h + 2. Let n be g(-4). Suppose r + 105 = 3*i, -3*r = 4*i - 5*r - n. Suppose -2*l = -5*l + i. Is 9 a factor of l?
False
Let j(a) = a**3 - 8*a**2 + 10*a + 1. Let v be j(7). Suppose -5*b - 4*i = -12, -3*b = b - 3*i - v. Let n = b + 10. Is 7 a factor of n?
True
Let n(s) = s**3 - 6*s**2 - 9*s - 2. Let f(z) = 2*z - 6. Let h be f(7). Is 17 a factor of n(h)?
False
Suppose -4*p - o = -166, -5*p - o + 218 = -5*o. Is p a multiple of 30?
False
Let j be (-1)/1*1*-5. Suppose -j*y - 3 = -28. Suppose y*z + 0*z = 25. Does 2 divide z?
False
Let b(o) = o + 3. Is 4 a factor of b(9)?
True
Suppose -2*u + u + 8 = 0. Suppose 5*k - k - u = 0. Suppose -4*y + k*v = v - 96, -3*v + 24 = y. Is y a multiple of 9?
False
Let m(d) = 32*d**3 + d**2 - 3*d - 1. Let w(i) = 32*i**3 + i**2 - 4*i - 1. Let s(u) = -4*m(u) + 3*w(u). Is s(-1) a multiple of 9?
False
Let q = 129 + -65. Does 15 divide q?
False
Let h be (-6)/4*(0 + -2). Suppose -3*f + 45 = h*l, 3*l - 65 = -0*f - 5*f. Suppose j - 8 = f. Does 9 divide j?
True
Let l = 100 + -59. Is 9 a factor of l?
False
Let c(d) = d**2 - 8*d + 6. Let x be c(9). Suppose k + x = 6*k. Suppose -k*b - 3*m + 3 = 0, -m = -2*m - 5. Is 3 a factor of b?
True
Let u(k) = -4*k**3 - 2*k**2 + 1. Let o be u(-1). Suppose -5*g = s - 36, o*g = -g + 12. Does 7 divide s?
True
Suppose 3*r - 250 = -2*c, 2*c + 3*r - 254 = -2*r. Suppose -c = -3*z + 136. Suppose 0 = -3*n + z - 23. Does 16 divide n?
False
Suppose -5*z + 12 = -18. Suppose -4*h - 8 = -4*o, o = -5*h + 8 + z. Is h a multiple of 2?
True
Suppose 10*y - 6*y = -196. Let b = -32 - y. Is b a multiple of 10?
False
Suppose 12 + 0 = 3*t. Suppose 2*z - 160 = -t*i, 3*z + 2*z + 120 = 3*i. Is 20 a factor of i?
True
Suppose -5*w = 5*y, 4 = -2*w + 2. Let n be 2*(-2 + y - -5). Suppose 0 = -t - n + 24. Is t a multiple of 16?
True
Suppose -4 = -o - 0. Suppose -4*l = -3*q - 12, q + 0 - o = 0. Is 8 a factor of (l - 5)/(1/15)?
False
Let d be 4/(-4) + (1 - -7). Suppose -5*s - 2*h = -0*h - 22, 2*s - h = d. Let m(k) = -k**3 + 6*k**2 - 5*k + 6. Is 7 a factor of m(s)?
False
Let r = 32 - 0. Is r a multiple of 16?
True
Is 10 a factor of 140 - (-5 + 7 + -2)?
True
Suppose -3*b = 2*j - 168, 0*j = -2*b + 2*j + 102. Does 21 divide b?
False
Let w = 7 + -3. Suppose -w*x = 38 - 242. Is 17 a factor of x?
True
Let k(l) = l**2 - 5*l + 4. Let t be k(5). Does 11 divide 11/(-2*t/(-8))?
True
Let h(l) = -2*l**3 + 2*l**2 + l + 1. Let x(v) = -v**3 + 4*v**2 - 4*v. Let b be x(3). Is h(b) a multiple of 14?
True
Is 10 a factor of (-95)/(-2) + (-1)/(-2)?
False
Is 1/(-7) + (-620)/(-28) a multiple of 4?
False
Suppose 10*y = -4*j + 13*y + 1382, 3*j - 1043 = -y. Does 38 divide j?
False
Suppose 0 = 5*o - o - 3*p - 543, 2*p = -4*o + 538. Does 27 divide o?
True
Suppose 181 = 23*j - 210. Is 7 a factor of j?
False
Suppose -16*l + 936 = -4*l. Does 26 divide l?
True
Suppose -4*t = 2*m - 6, 3*t + 9 - 3 = -5*m. Suppose -t*n = -8*n. Is -1 - n/(-2) - -12 a multiple of 11?
True
Let h(s) = s - 7. Suppose 2*n = 6 + 6. Let q be h(n). Let w(g) = -44*g. Does 22 divide w(q)?
True
Is 8 a factor of (1/(-2))/((44/64)/(-11))?
True
Let y(z) = 18*z - 19. Is 33 a factor of y(6)?
False
Let c be (-9)/(-15) - (-12)/5. Suppose c*a = -2*a + 105. Is a a multiple of 13?
False
Suppose 2*p + 18 = -2. Does 24 divide 8/p*(-9 + -51)?
True
Let i be 1/(0 + (-2)/(-10)). Suppose -5*l - 33 = -s - s, 0 = i*s + 2*l - 10. Is s a multiple of 4?
True
Let b(l) be the third derivative of -l**5/30 - l**4/12 - 4*l**3/3 - 3*l**2. Let a be b(-6). Let h = -45 - a. Is 18 a factor of h?
False
Let v = 35 + -17. Does 18 divide v?
True
Let f(i) be the third derivative of i**5/30 + i**4/12 + i**3/6 + 3*i**2. Let b be f(-4). Suppose -5*d = -b - 10. Is d a multiple of 5?
False
Let p = 8 - 14. Let b(l) = 11*l + 1. Let y be b(-2). Let d = p - y. Is d a multiple of 15?
True
Suppose -v = 2*v - 42. Does 9 divide v?
False
Suppose -5 = -3*w + 19. Suppose -3*y - 1 = -4. Does 2 divide (w - 2)*y/2?
False
Suppose -2*s + 12 = 2*s. Suppose -4*u - 1 = y + 5, 0 = -3*y + 5*u + 16. Is 21 a factor of (y/s)/(2/111)?
False
Let b be (-3628)/(-12) + 4/6. Is (-3)/12 + b/12 a multiple of 10?
False
Let q = -40 - -45. Does 2 divide q?
False
Let j be (-2)/((-6)/(-75)) + 1. Let t = -2 - j. Is 11 a factor of t?
True
Suppose -27*d + 312 = -25*d. Is 13 a factor of d?
True
Suppose -y - 3 - 2 = 0. Let d be 1 + y - (-1 - 0). Does 8 divide 14*(-1)/(d/3)?
False
Suppose 3*n - n = 12. Suppose 2*y - o + 18 = 3*o, 4*y + o + 9 = 0. Let b = n - y. Is b a multiple of 9?
True
Let j(r) = 3*r**2 - 3*r - 2. Is 23 a factor of j(-4)?
False
Suppose 14*v - 330 = 11*v. Is v a multiple of 22?
True
Does 5 divide (-5)/((-195)/(-40) + -5)?
True
Suppose 4*m + 1 = a - 4*a, 0 = 5*m + a + 15. Let l = 3 - m. Does 7 divide l?
True
Let s be (-2)/(-1)*2/1. Suppose s*p = 2*p + 10. Does 2 divide p?
False
Suppose -4 = p - 3*p. Suppose 0 = -3*l + 3, -4*k = 5*l - 0*l - 21. Suppose -3*n + 70 = -x, -k*n - x + 102 = p*x. Is n a multiple of 14?
False
Suppose 0*s + 3 = 2*r + s, 0 = 3*r - 3*s. Is 1/(1/(13/r)) a multiple of 10?
False
Let n = 14 - -18. Does 4 divide n?
True
Suppose 3*k + 2*f = 456, 3*k - 302 = f + 154. Is k a multiple of 38?
True
Let w(a) = -a**3 + a**2. Let n be (2/4)/(1/(-2)). Let d be w(n). Suppose 0 = -d*u - 0*u + 152. Is 22 a factor of u?
False
Suppose 0 = -2*p + 3*p - 24. Is 12 a factor of p?
True
Let x be 2 - (-2 - -1*3). Let u be ((-3)/(-6))/(x/(-184)). Is 2/6 + u/(-12) a multiple of 8?
True
Let g(k) = -k**2 - 3*k + 2. Let b be g(-3). Suppose -4*j + b*j + 64 = 0. Does 19 divide j?
False
Let p(t) = -t**2 - 2*t + 1. Let d be p(-4). Let f(u) = u**2 - 3*u - 3. Let q be f(d). Suppose -4*x + 45 = -q. Is 16 a factor of x?
False
Suppose 0 = 6*s - 244 - 116. Is 2 a factor of s?
True
Let g = 150 - 75. Suppose -5*m - g = 2*v - 265, 0 = -2*v + 5*m + 190. Does 25 divide v?
False
Let l = -11 + 36. Is 13 a factor of l?
False
Let r(l) = 2*l**2 + 13*l + 2. Is 26 a factor of r(-9)?
False
Let y be (0/3)/(-6 - -4). Let b = 7 + -12. Does 2 divide y*(-3)/6 - b?
False
Suppose 3*z - 29 = -2*j, -5*z - 15 = -5*j - 80. Does 15 divide 588/33 + 2/z?
False
Let v(p) = 9*p**2 + 1. Let o be 0 - (-3*1 + 2). Is v(o) a multiple of 4?
False
Suppose 1 = 3*y + 10. Let u = y - -7. Suppose 7*j = 3*j + u*f + 56, -3*j = f - 50. Does 8 divide j?
True
Suppose -15 = -5*i - 0*i + 4*t, 3*i + 4*t = -23. Let r(o) = -3*o**3 - o**2 - o. Let w be r(i). Suppose 0 = 3*c - w*b - 45 - 0, 3*b = 2*c - 27. Does 9 divide c?
True
Suppose -6*r = -r. Suppose 0 = -r*k + 3*k - 2*w - 142, -5*k = 3*w - 205. Is 23 a factor of k?
False
Suppose -3*b = -6*b + 30. Does 10 divide b?
True
Let v(n) = n - 10. Let o be v(10). Suppose -4*i + 40 = -o*i. Let j = 31 - i. Is j a multiple of 14?
False
Let j(q) = -2*q**3 - 3*q**2 - 4*q - 3. Suppose n + 3 - 9 = i, -3*n = i - 10. Let t be j(i). Let g = t - -1. Does 5 divide g?
True
Let v be 0 + 5 + (2 - 2). Suppose -2*s = 5*p - 12, 18 + 14 = v*p - 3*s. Suppose p*j = -a - 0*a + 86, 0 = j + 3*a - 27. Is 12 a factor of j?
False
Suppose 6*z - c = 4*z - 5, -15 = 5*z - 3*c. Suppose z*y + 14 = y. Is 5 a factor of 74/14 + y/(-49)?
True
Let v = 268 + -178. Let y = v + -34. Is 16 a fac