2*h. Let p be a(-6). Let n = -11 + p. Is 3 a factor of n?
False
Let h(t) = -4*t + 11. Let v be h(9). Let y = -9 - v. Does 8 divide y?
True
Let u = -34 - -87. Suppose -23 = -2*g + u. Is g a multiple of 19?
True
Let s(w) = -13*w**3 + 2*w + 2. Is 13 a factor of s(-1)?
True
Let z be 93 - (0/1 - 2). Suppose -6*h = -h - z. Is 11 a factor of h?
False
Let j be (-6)/4*6/9. Let d(x) = 11*x**2 - 2*x - 1. Is 6 a factor of d(j)?
True
Let t be 5/20 + 25/(-4). Let x be 541/6 - (-1)/t. Suppose 0 = 7*m - 2*m - x. Does 14 divide m?
False
Suppose -3*s + 47 = -2*i - 22, -3*i + 59 = 2*s. Suppose 2*b = -s + 65. Is 5 a factor of b?
True
Let h = 18 - 14. Suppose 236 = 3*g - h*k, 0 = 2*g - 0*g - 5*k - 169. Does 19 divide g?
False
Let m(w) = w**2 - 8*w + 7. Let l be m(5). Let h(v) = v**2 + 5*v. Let q(p) = -p. Let t(i) = -h(i) + 4*q(i). Is 4 a factor of t(l)?
True
Is 26 a factor of 9/(-27) - (-394)/3?
False
Suppose -k + 6*k + 4*o = 286, -5*k + 3*o + 293 = 0. Suppose 7 = h - 4*t - 0, 4*h - k = t. Is 8 a factor of h?
False
Let g be (2/1)/((-2)/(-14)). Let q = 20 - g. Is q a multiple of 3?
True
Let t = -77 + 160. Let i = -23 + t. Is 20 a factor of i?
True
Let y(m) = -m**3 - m. Let u be y(-1). Let s = u + 17. Is 6 a factor of s?
False
Suppose 6*l = 12 + 6. Suppose 3*o = -15, -v - l*o + 67 = -2*o. Is v a multiple of 12?
True
Suppose -2*u + i = -6*u + 57, 0 = 2*u + i - 31. Is 5 a factor of u?
False
Let h(m) be the first derivative of -m**4/4 + 3*m**3 - 4*m**2 + 6*m - 1. Let n(k) = 5*k + 37. Let c be n(-6). Is h(c) a multiple of 16?
True
Suppose -36*g = -40*g + 168. Is 14 a factor of g?
True
Let t = -24 + 41. Is t a multiple of 11?
False
Let m(k) = -k**3 - 10*k**2 - 14*k - 11. Let w be m(-9). Let y = 3 + w. Suppose -y = -l - 6. Does 16 divide l?
False
Let c = 8 + 4. Suppose 5*r - r = c. Suppose -4*n + r = -3*n. Is 3 a factor of n?
True
Let s(o) be the second derivative of -o**5/60 + 3*o**4/8 - 4*o**3/3 - o**2/2 + o. Let b(t) be the first derivative of s(t). Is 5 a factor of b(6)?
True
Suppose 5*m - 103 = 77. Is 33 a factor of m?
False
Suppose -c = -4*c. Suppose 3*y - 14 = -m, c*m - 5*y = -3*m + 14. Does 4 divide m?
True
Is ((-78)/(-9))/((-3)/(-9)) a multiple of 13?
True
Is 12 a factor of 69/(-6)*6*-1?
False
Let n(g) = 3*g**3 - 3*g**2 + 2*g - 2. Let r be -2 + (-5)/((-10)/8). Suppose -3*b = -0*b + r*v - 12, -3*b + 21 = 5*v. Is n(b) a multiple of 7?
True
Let g(w) = w**3 + 15*w**2 + 11*w - 5. Does 9 divide g(-14)?
False
Suppose 0 = a + 5*r - 4, 2*a = -0*a - 3*r - 20. Does 10 divide (-4 - a/3)*30?
True
Let k = 22 + -6. Is 5 a factor of k?
False
Suppose -p - n = -24 - 16, -3*p + 138 = -3*n. Is p a multiple of 15?
False
Let q = -14 - -19. Suppose 3*j - 2*j = -q*s + 50, 3*j + 4*s = 172. Does 15 divide j?
True
Suppose 3*z + 4 = 46. Is 3 a factor of z?
False
Suppose -1 = -4*b + 3. Suppose -2*g + 8 = 2*n, -b = -n - 0*g + 2*g. Is 2 a factor of n?
False
Let s = 219 - 127. Does 23 divide s?
True
Suppose 6*v - 5*v - 16 = 0. Is 3 a factor of v?
False
Let r = 195 - 120. Is 20 a factor of r?
False
Suppose -3*m - 20 = -5*o, 0*m = -o + 2*m + 4. Suppose i = 16 - o. Does 3 divide i?
True
Suppose 5*w = -5*u + 175, 6*u + 1 = 5*u. Suppose w = -5*b + 166. Is 21 a factor of b?
False
Suppose -q + 7*q = 1212. Does 11 divide q?
False
Let q(k) = k**3 - 9*k**2 + 10*k - 7. Is q(9) a multiple of 27?
False
Let p(l) = -l**2 + 12. Let v be (1 - 1)/(4 + -3). Does 2 divide p(v)?
True
Let q(m) = -m**2 - 2*m + 1. Suppose 4*u = 2*u - 4. Let n be q(u). Is (n + -79)/(9/(-6)) a multiple of 19?
False
Suppose 5*n = 4*n - 3*t + 3, -4*n + 12 = -t. Suppose 5*l - 54 = n*l. Is 23 a factor of l?
False
Let z be (-4)/(-6) - (-70)/(-15). Let f(c) = c**2 - 4*c - 3. Let k(w) = w**2 + w. Let u(g) = f(g) - 2*k(g). Is 3 a factor of u(z)?
False
Is 13 + (-1)/(-3)*9 a multiple of 8?
True
Let x(d) = 5*d - 2*d**2 - 3*d**2 - 4 + 6*d**2. Let s be x(-6). Suppose 0 = -4*f + p + 56, -s*f + 7*f - 70 = 4*p. Is 14 a factor of f?
True
Let t(k) = 5*k + 3. Let h(p) = -4*p - 4. Let n(x) = -6*h(x) - 5*t(x). Let o be n(7). Does 9 divide (2 - (-2 + o)) + 16?
True
Suppose -2*b - 4*y + 14 = 0, -5*y + 38 = 4*b - 2*y. Suppose -s = 5 - b. Suppose -3 = -w + s. Does 4 divide w?
False
Let b = -4 + 5. Suppose 0 = -j + 23 - b. Is j a multiple of 11?
True
Let m be (-181)/(-2) + (-1)/2. Suppose m = -0*d + 3*d. Does 19 divide d?
False
Suppose 2*r + 0*r - 4*y - 4 = 0, 0 = 4*r - 5*y - 11. Suppose -r*s - 2 = -26. Is 6 a factor of s?
True
Suppose -3*k - 4*j + 526 = -9*j, 3*j - 558 = -3*k. Is 13 a factor of k?
True
Let g = 15 - -57. Is 18 a factor of g?
True
Let o = -257 + 157. Let a = -55 - o. Does 15 divide a?
True
Suppose 5*x + 5*y = -50, 0 = 4*y + y - 10. Suppose 0 = -9*b + 17*b - 184. Let n = b + x. Is 3 a factor of n?
False
Let f(u) = u + 1 - 3*u - 5*u + 4*u. Let r be f(7). Is ((-48)/10)/(6/r) a multiple of 9?
False
Does 23 divide (-2455)/(-30) + (-4)/(-24)?
False
Let x be 12*(0 - -4)/(-4). Does 26 divide (x/(-8))/((-2)/(-124))?
False
Suppose 3*g + 463 = n, 3*n - 1397 = 5*g - 20. Does 22 divide n?
False
Suppose -37 - 26 = -3*z. Let t = z + -7. Does 7 divide t?
True
Let p(v) be the first derivative of v**5/30 - v**4/12 - 2*v**3/3 + 1. Let g(m) be the third derivative of p(m). Is 4 a factor of g(2)?
False
Suppose 0 = 4*m - 3*m - 38. Does 13 divide m?
False
Let o = 11 + 7. Is o a multiple of 10?
False
Let d(j) = -j - 9. Suppose 0 = 5*l + 64 - 24. Let n be d(l). Let q(v) = -26*v**3 + v**2 + v + 1. Does 11 divide q(n)?
False
Suppose -4*h = -2*h - 8, 5*f - 4*h = 14. Suppose -z = 3*b + 2*z - 69, 2*z - f = 0. Is 10 a factor of b?
True
Suppose 9*z = 4*z + 5. Suppose -4*s - 4 = -2*a, a = -a + s + z. Suppose a = -2*q - 5*v + 65, 0*q - 4*v + 94 = 3*q. Does 10 divide q?
True
Let h(t) = -t**3 - 5*t**2 + 6*t + 8. Let q be h(-6). Let i = 13 - q. Suppose -2*l - 66 = -i*l. Is 9 a factor of l?
False
Let r be 40/3*(-24)/(-10). Let a = 64 - r. Is 16 a factor of a?
True
Let a(u) = -u**3 + 13*u**2 - 8*u + 15. Is a(12) a multiple of 13?
False
Suppose -106 = -3*s - 7. Suppose -3*f + s = -0*f. Is f a multiple of 9?
False
Suppose -3*i = -2*i - 2. Suppose -a - i*a + 78 = 0. Is a a multiple of 13?
True
Suppose -5*g = -g + 20. Let a(h) = -h**2 - 3*h + 4. Let f be a(g). Let c(m) = m**2 - m - 2. Is c(f) a multiple of 18?
False
Suppose 5*q = 2*q + 45. Let l be q/10 - 2/(-4). Does 11 divide 29 + (-2)/l + 4?
False
Suppose 143 = -2*j + j. Is (-2)/(-13) + (-4268)/j a multiple of 6?
True
Suppose 0*h = 2*h - 48. Is h a multiple of 11?
False
Let z(h) = 6*h - 6. Let m be 3 - (0 + -2) - 1. Is z(m) a multiple of 13?
False
Is 6 a factor of (12/(-9))/(2*2/(-144))?
True
Let q(w) = w**3 - 7*w**2 + 13*w + 3. Is 16 a factor of q(6)?
False
Is -30*(-6 - -9 - 33/5) a multiple of 12?
True
Let h(g) = 10*g - 14. Does 6 divide h(5)?
True
Let w be -4 + 1 - -2 - 2. Let m = w - -6. Suppose 36 = -0*b + m*b. Does 6 divide b?
True
Let a = -76 - -112. Is a a multiple of 12?
True
Let n(y) = 4*y - y - 5 + 0*y - 4*y. Does 10 divide n(-15)?
True
Let p be (-16)/(-12)*(-6)/(-4). Suppose 4*q = -20, -3*u + 4*q + 57 = -p*u. Suppose u = 5*w + 12. Is 2 a factor of w?
False
Let t = 602 + -392. Suppose -5*s + t = 50. Is 16 a factor of s?
True
Suppose 0*l = -2*l + 6. Suppose l*w + 5*j - 24 = 0, w + 4*j = -w + 14. Is 13 a factor of w?
True
Suppose 0 = -9*l - 347 + 1400. Is l a multiple of 17?
False
Let c = 11 + -5. Does 6 divide c?
True
Let g be -77*(-3 - -2) + -4. Let x = -6 + -33. Let n = g + x. Is 17 a factor of n?
True
Let r be (-6)/(-3)*(-3 - -5). Suppose 2*i = -3*a + 76, r*a - 77 = 2*i + 29. Is a a multiple of 7?
False
Let a = -110 - -166. Is 21 a factor of a?
False
Suppose 210 = 4*p + 54. Does 13 divide p?
True
Let g(c) = -c**3 + 4*c**2 + 7*c - 5. Let i be g(5). Suppose i*n = 19 + 56. Suppose -2*j = -13 - n. Does 9 divide j?
False
Suppose y + 3*y + 4*g = -208, 5*y + 2*g = -248. Let u = y - -81. Is u a multiple of 11?
True
Let s = 272 - 179. Is 13 a factor of s?
False
Suppose -m = 4*p - 33 - 14, 2*m - 2*p = 44. Is 9 a factor of m?
True
Suppose -5*d + 5*h - 35 = 0, -4*d + 2*h - 29 = -h. Let y = d + 17. Is y a multiple of 9?
True
Let l = 3 - 2. Let u be (-2)/l - (-1 - -3). Let h(j) = -7*j - 6. Does 11 divide h(u)?
True
Let z be 0/(12/(-4) + 4). Suppose z*c - 2*c = -8. Is c even?
True
Suppose 5*f - 236 = -0*f + c, -128 = -3*f + 4*c. Is 