e l + 235 = -4*l. Let q = l - -86. Suppose 2*g - q = -4*h - 11, 4*g + 3*h = 71. Is g a multiple of 9?
False
Suppose -180 = -2*d + d + 3*j, 0 = 3*j + 3. Is d a multiple of 16?
False
Let s(h) = 5*h - 6. Does 14 divide s(4)?
True
Let c(x) = x**3 + 8*x**2 - 2*x - 2. Does 7 divide c(-8)?
True
Is (0 + 132/(6/2))*5 a multiple of 44?
True
Let q(f) = 2 - f**2 - 2*f + 2*f - 6*f. Let z be q(-3). Suppose g + 3 = z. Does 4 divide g?
True
Suppose -2*g = -2*a + g - 4, -4*a + 20 = g. Let j(x) = -x**3 + 5*x**2 - 5*x + 6. Let p be j(a). Does 12 divide p - 0 - (-22 - -1)?
False
Suppose 0 = a - 0*a - 24. Does 18 divide a?
False
Let p = -224 - -322. Does 14 divide p?
True
Let z(v) = -v**3 - 9*v**2 - 5*v + 4. Let n be z(-8). Let x = n + 55. Is x a multiple of 14?
False
Suppose -12 = -7*y + 3*y. Let t = -2 + 0. Is 53/y - t/6 a multiple of 9?
True
Is (3 - (59 + -1))*-1 a multiple of 7?
False
Let z be (3 - 2) + 4 - -1. Let y be (-6)/(-9) - (-8)/z. Suppose y*l + 22 = 3*l. Is l a multiple of 11?
True
Suppose 72 = 4*g - g. Suppose -z - 8 = -g. Is z a multiple of 9?
False
Let y(c) = c**3 + c**2 + 1. Let u(d) = 3*d**3 + 11*d**2 - 5*d + 7. Let i(b) = u(b) - 4*y(b). Suppose 12 = 5*z - 13, 0 = -3*t - 3*z + 30. Is 19 a factor of i(t)?
False
Suppose 8*h - 4*h - 212 = 0. Let a = h + -22. Does 8 divide a?
False
Let c(q) be the third derivative of q**6/120 - 3*q**5/20 + 5*q**4/12 + 3*q**3/2 - 3*q**2. Is c(8) a multiple of 9?
False
Let r be 271/2 + (-5)/10. Suppose 3*f = -5*m - r, -7*f = -5*m - 2*f - 135. Let c = -17 - m. Is 4 a factor of c?
False
Let v(y) = -6*y**3 - 2*y**2 - 2*y - 2. Is v(-2) a multiple of 7?
True
Suppose 4*i - n = 311, -143 = 4*i - 6*i + 3*n. Is i a multiple of 19?
False
Suppose -4*h - 40 = -2*n, 0 = h + 5*n - 0*n + 10. Let b(a) = 4*a**2 - 5*a + 5. Let f be b(h). Does 10 divide f/15 + 1/(-3)?
True
Let k(a) = a + 2. Let m be k(0). Suppose m + 18 = -4*v. Does 9 divide (-9 + 2 + 2)*v?
False
Let k = 0 - -1. Is k/(2 + (-27)/15) a multiple of 5?
True
Let k(p) = p**3 - 5*p**2 + 5*p. Let q be k(4). Let b(n) = -n**2 + 7*n - 3. Does 6 divide b(q)?
False
Let s be 7/(-5) - 4/(-10). Let f = 4 - s. Suppose -2*k + 32 = i + 3*k, f*i + 2*k = 206. Does 14 divide i?
True
Let s = -19 + 55. Suppose 0*i + s = 2*i. Is 9 a factor of 1 + 1 + (i - 2)?
True
Let n = 88 + 22. Suppose -4*a - n = -9*a. Suppose 3*y = -3*m + 42, 2*m - 3 = -y + a. Is m a multiple of 7?
False
Suppose 0*l + 321 = 4*o + l, -2*l - 385 = -5*o. Suppose o = 3*v - 5. Does 14 divide v?
True
Does 4 divide (56/35)/(5/100)?
True
Suppose 5*v - 9 = 6. Is (52/((-12)/v))/(-1) a multiple of 7?
False
Let y = -61 - -184. Suppose 3*h - 4*b - y = -b, -4*h + 164 = -3*b. Let p = 67 - h. Is p a multiple of 13?
True
Suppose 0 = -v - 2*v. Let y = 0 - v. Suppose -a + 8 = -y*a. Is 4 a factor of a?
True
Suppose 7*r - 2*r - 170 = 0. Let s = 88 - r. Is 14 a factor of s?
False
Let k(l) be the third derivative of l**6/120 - l**5/15 + 5*l**4/24 - 2*l**2. Does 12 divide k(4)?
False
Let d be 15/2*(-72)/(-27). Suppose 4 = 3*g - d. Is g a multiple of 2?
True
Suppose 2*j - 5 + 1 = -k, -3*j + 6 = -2*k. Suppose -5*v + 3*r + 147 = 0, 0 = 3*r - j - 1. Is 15 a factor of v?
True
Suppose -15 = -8*f + 3*f. Suppose 0 = -f*s + 5*s - 38. Let o = 42 - s. Is o a multiple of 23?
True
Suppose 109*q - 114*q + 55 = 0. Is q a multiple of 10?
False
Let h be (5/(-4))/(4/(-16)). Suppose -5*a - 2*v - 3*v = -65, -a = -h*v - 31. Is 15 a factor of a?
False
Suppose -2*u + 0*u = 4*n - 758, -n - 4*u = -207. Does 11 divide n?
True
Let b(l) = -33*l**3 - l**2 - l - 2. Let i be b(2). Is 6/4 - i/32 even?
True
Let f be (-2)/((-2)/(-7))*-1. Is 141/5 + f/(-35) a multiple of 14?
True
Let x(j) be the third derivative of j**6/120 - j**5/60 - j**4/24 + 10*j**3 + 3*j**2. Is 30 a factor of x(0)?
True
Let c = 57 - 21. Is 6 a factor of c?
True
Let w(o) = o**2 - 6*o - 10. Let a be w(7). Is 10 a factor of a*4/(-3)*4?
False
Suppose -139 - 41 = -5*o. Suppose 2*v - 4*v = -o. Is v a multiple of 15?
False
Suppose -3*s + 41 = 2*f - 8*s, 0 = -2*f + 4*s + 38. Does 3 divide f?
False
Is 31 a factor of 314*2/4 - 2?
True
Let o = 3 + -6. Let u(w) = -7*w + 4. Let k be u(o). Suppose 2*n - k + 3 = 0. Is 11 a factor of n?
True
Does 11 divide (4/5)/(2*(-3)/(-195))?
False
Is (-26 - -26) + (320/(-2))/(-2) a multiple of 5?
True
Let f = 2 + 13. Is 5 a factor of f?
True
Is 99/6 + 9/6 a multiple of 8?
False
Suppose z - 385 = -2*z - l, 2*z - 3*l = 264. Is 19 a factor of z?
False
Suppose 0 = -0*a + 8*a - 672. Does 14 divide a?
True
Let n(l) = l + 20. Suppose 0*i - 2*i - 8 = 0, -2*q + 2*i + 8 = 0. Is 13 a factor of n(q)?
False
Let d(u) = 44*u - 23. Is d(4) a multiple of 8?
False
Let m be 6/9 + 16/(-6). Let p(l) be the first derivative of l**3 + 2*l**2 + 3*l - 2. Is 5 a factor of p(m)?
False
Let j = 93 + -17. Is j a multiple of 16?
False
Let n = 20 - 6. Does 4 divide n?
False
Let x(q) = -q**2 - 14*q + 10. Is x(-7) a multiple of 23?
False
Let u(s) = -s**3 + 9*s**2 + 4*s - 4. Suppose -3*l - 1 = -4*l. Let b be (1/l - 2) + 10. Is u(b) a multiple of 16?
True
Let n(h) = 0*h + h - 1 + 0 + 5. Let v(y) = y**3 - 4*y**2 - 5*y. Let i be v(5). Is 2 a factor of n(i)?
True
Let y(w) = -2*w + 8*w + w**2 - 1 + 3. Let q(z) = -2*z - 15. Let v be q(-4). Does 4 divide y(v)?
False
Let q(o) = 36*o**2 - 7*o - 7. Let g(c) = 54*c**2 - 11*c - 11. Suppose -4*i = 3*t + 15, -i = -t - 3*i - 5. Let l(d) = t*g(d) + 8*q(d). Does 9 divide l(-1)?
True
Suppose -6 = 2*t + 6. Does 3 divide (t - 0)*(-5)/10?
True
Let c = 21 - 9. Let t be c/(-10)*(-60)/9. Suppose -16 = -4*z + t. Is 3 a factor of z?
True
Let s(k) = k**3 + 4*k**2 + k - 2. Let j be s(-3). Let g be -1 + j + (-5 - -7). Suppose 110 = 4*q - g*x + 24, -5*x + 9 = q. Is 10 a factor of q?
False
Let r(n) = n**2 - 3*n - 2. Let m be r(-2). Let l = m - 3. Is 174/15 - 3/l a multiple of 4?
False
Let i = 13 + -8. Suppose i*q = 648 - 228. Is q a multiple of 24?
False
Let s(m) = -m**3 - 4*m**2 - m - 1. Let l be s(-4). Suppose -5*t - 204 = -l*t. Is ((-6)/9)/(4/t) a multiple of 8?
False
Let g = -22 - -22. Suppose 32*z - 35*z + 162 = g. Does 18 divide z?
True
Let c(h) = 7*h + 3. Let j(l) = -l**2 + 5*l - 3. Let i be j(3). Is 8 a factor of c(i)?
True
Suppose 193 = h - 58. Let w = h - 104. Suppose 0 = -b + p - 6*p + 48, -4*b - 5*p = -w. Is 14 a factor of b?
False
Is 14 a factor of 126 + ((-9)/5 - 2/10)?
False
Let i = 179 + 113. Is i/20 + (-10)/(-25) a multiple of 15?
True
Suppose 6 = j + v - 1, 2*j = 4*v + 2. Let y be (-57)/j + (-21)/35. Let l = y + 39. Is 9 a factor of l?
True
Let w = -69 - -188. Is 14 a factor of w?
False
Let m(s) = -5*s - 21. Is 17 a factor of m(-11)?
True
Let p = 152 - 76. Is 43 a factor of p?
False
Suppose -5*x - 2*t = -t + 443, -79 = x + 5*t. Let p = -63 - x. Is 11 a factor of p?
False
Let r(p) = -p**3 - 10*p**2 - p - 13. Let h be r(-10). Is 5 a factor of 0 - h - (1 + -3)?
True
Suppose -u - 2*u = 4*r - 124, 0 = 3*u + 5*r - 125. Is u a multiple of 24?
False
Let h be (3*-3)/(1/(-2)). Let p = h - -4. Is p a multiple of 11?
True
Suppose 832 + 158 = 9*i. Is 23 a factor of i?
False
Let m(k) = k**2 - 8*k - 10. Let u be m(9). Let p be (-40)/(-12) + u/3. Suppose -3*w + 92 = 5*v, v - 5*w = p*v - 52. Is 6 a factor of v?
False
Let g(q) = q**3 + 9*q**2 - 11*q - 4. Is g(-10) even?
True
Let q(h) = 2*h - 2. Is q(4) even?
True
Suppose 2*k - 42 = -2*c, c + 2*k - 21 = 7*k. Suppose 0 = 4*h - c - 3. Is 5 a factor of h?
False
Suppose 0*p + 4 = -h + p, 3*h + 20 = -p. Suppose -3*i + 184 + 20 = 0. Is (-2)/(h + 2)*i a multiple of 17?
True
Let h = 35 - 53. Let g be (h/(-5))/((-10)/(-50)). Suppose -4*p + b + 72 = p, 2*b = p - g. Is 11 a factor of p?
False
Suppose z - 11 = -2*u, 2*u - 3 + 9 = 0. Is z a multiple of 4?
False
Suppose -7 = l - 12. Suppose l*b - 27 = f + 83, 4*f = -b + 1. Is 17 a factor of b?
False
Let b(i) = -28*i - 1. Let j be b(-2). Suppose -4*c = -3*c - j. Is 11 a factor of c?
True
Let l be 9/6*(4 - 2). Suppose -g - 3*b - 2 = -0, -l*b = -g + 10. Is 2 a factor of g?
True
Suppose -3*g + 1 = 58. Let v = g + 31. Is 6 a factor of v?
True
Let y(f) be the first derivative of f**4/4 + 2*f**3 + f**2/2 + 5*f + 1. Let l be y(-6). Is (l - 1)/((-4)/10) a multiple of 2?
False
Let s(v) = -v**2 - 6*v + 3. Let t be s(-6). Suppose -44 = -o - t*o. Is 5 a factor of o?
False
Suppose 4*j = -5*b - 70, -2*b + 7 = -j - 4. Let c = 15 