actor of a(-5)?
False
Let d = 3 + -1. Is 29 a factor of d/1*87/6?
True
Let c(l) = 4*l**2 + l + 2. Does 27 divide c(4)?
False
Does 39 divide 1256/32 + (-2)/8?
True
Let w(d) = 2*d**2 - 3*d. Let o be w(2). Let a(s) = 2 - o - 3 + 4 - 2*s. Is a(-5) a multiple of 11?
True
Let u = -1 - -4. Suppose -3*d = -3*a + u, d + d - 7 = 5*a. Is 1/(-1*a/72) a multiple of 12?
True
Let a be 86 + -3 + 0 + 3. Suppose -2*r + 2*y = -0*y + a, -y - 162 = 4*r. Let v = -21 - r. Is 16 a factor of v?
False
Does 9 divide (84/(-18))/((-2)/18)?
False
Suppose 2 = -f - 1. Is f/(3 - 138/45) a multiple of 26?
False
Let p(k) = k + 14. Let l be p(-12). Let c(v) = 2*v**2 + 3*v - 2. Let i be c(-3). Suppose l*d - i*d = -30. Is 3 a factor of d?
True
Let g(m) = -3*m + 0 - m - 1. Does 10 divide g(-3)?
False
Suppose 104 = o - 0*o. Suppose 2*p = -2*p + o. Is 13 a factor of p?
True
Let i be 1*(-2 + -2) - -2. Suppose -22 + 28 = -2*r. Does 14 divide i + r*(-11 - -1)?
True
Let z be 104/18 + (-12)/(-54). Suppose 2*g + 14 = z. Is (g/(-6))/((-10)/(-465)) a multiple of 13?
False
Let m(q) = -q + 3*q**3 + 2*q**3 + 11*q**3. Is m(1) a multiple of 15?
True
Is 4 a factor of (-19)/(-1) + (3 - (-1 + 3))?
True
Suppose -3*u = 2*u - 20. Suppose -3*j - 12 = -u*j. Suppose 5*b + j = f, -2*b - 16 = -2*f - 0. Is f even?
False
Let k = 2 - -3. Suppose 3*q + 342 = k*h + q, 0 = -3*q + 12. Is h a multiple of 12?
False
Suppose 0 = -4*b + 102 - 2. Let v = b - 6. Is v a multiple of 19?
True
Suppose 13*p - 12*p = 92. Let v = -54 + p. Is v a multiple of 10?
False
Let l(t) = t**2 + 6*t + 9. Is l(-7) a multiple of 6?
False
Let m(c) = -c**2 + 23*c - 3. Is 4 a factor of m(21)?
False
Let d be 24/(-3)*9/(-4). Suppose 5*r = 2 + d. Does 11 divide (-112)/(-5) - r/10?
True
Let d be (-3)/(-6)*2 - 5. Let m be 1/d - 51/(-12). Does 7 divide 10/4*1*m?
False
Let r(z) = z**2 + 2. Suppose -2*a - h = 9, -3*a + 3*h = 13 - 4. Is 9 a factor of r(a)?
True
Suppose 2*v = 6*v, -2*v = -2*m. Suppose -3*j + 12 = 0, 63 = 5*y - 3*j - m*j. Does 10 divide y?
False
Suppose -23 = 4*l - 4*w - 3, l = -2*w + 10. Let j = l - -3. Suppose 214 = j*u + 43. Does 19 divide u?
True
Suppose -26 = -2*c + 10. Is 4 a factor of c?
False
Suppose u - 88 = -3*u. Is u a multiple of 13?
False
Let h be 1/(1/3) - -1. Suppose h*i - 216 = 48. Does 22 divide i?
True
Let v = 7 - 4. Is 6 + 2*v/(-2) a multiple of 3?
True
Let b(y) = 11*y**2 + 23*y + 21. Let h(f) = 5*f**2 + 11*f + 10. Let w(z) = 4*b(z) - 9*h(z). Is 2 a factor of w(-5)?
True
Does 8 divide (3 + -28)*6/(-15)?
False
Let j(q) = -q**2 + 3*q + 2. Let h(a) = -1. Let b(v) = -2*h(v) - j(v). Is 9 a factor of b(-3)?
True
Suppose 0 = -0*p - 3*p + 87. Let y = p + -46. Let s = -5 - y. Is 6 a factor of s?
True
Let v = 39 - 16. Is v a multiple of 16?
False
Let h = 26 - -5. Suppose h = 3*c + 2*n, c - 25 = -c + 3*n. Is 4 a factor of c?
False
Suppose 5*q = 506 - 21. Does 16 divide q?
False
Let g be 1/(-2) - 15/6. Let x be -2 + (-3)/g*80. Suppose 2*t + t = x. Is t a multiple of 13?
True
Suppose -2*r - 90 = -2*k, r - 3*r - 84 = k. Let f = r - -79. Is f a multiple of 12?
True
Let u = -6 + 8. Let f(a) = 20*a. Does 8 divide f(u)?
True
Let v be 8/(-12) - (-6)/9. Let a be (5 + -5)/(-1 - v). Suppose h + a = 26. Is h a multiple of 13?
True
Let z(t) = 6*t**2 + 3*t + 3. Let p(a) = -2*a**2. Let k be p(1). Is 10 a factor of z(k)?
False
Suppose -t = -2*i - 36, -5*t + i + 2*i = -208. Let d = t - 23. Let j = 16 + d. Is j a multiple of 13?
False
Let w be 5/10 - 14/4. Let v(y) = -13*y - 4. Does 11 divide v(w)?
False
Let z be (-4 + 0)*1*-1. Suppose 0 = -4*g + 4 + 8. Suppose 0 = -z*y + 3*o - 2*o + 67, 0 = -g*y - 3*o + 69. Does 11 divide y?
False
Suppose -3*v = -2*a - 187, 0*v - 276 = -4*v - 4*a. Is 9 a factor of v?
False
Suppose 4*s - 32 = -3*q, -2*s - 8 + 18 = 0. Let a be -2 + 9 - (2 + -1). Suppose -q*i - 28 = -a*i. Is 9 a factor of i?
False
Suppose 20 = 6*d - 5*d. Is 18 a factor of d?
False
Suppose -5*d + 0*d + 135 = 0. Does 9 divide d?
True
Let i(h) be the second derivative of h**4/12 + h**3/2 + 9*h**2/2 - 3*h. Is 16 a factor of i(-8)?
False
Let x(f) = -2*f - 11. Let p be x(-11). Suppose 4*l = 3*l + p. Is 11 a factor of l?
True
Let f(v) = -4*v**3 + 2*v**2 + 4*v + 2. Is 15 a factor of f(-3)?
False
Let f = 68 - 31. Is f a multiple of 6?
False
Suppose 0*k + 124 = 2*k. Suppose 2*o + 2*o = 3*f + k, 0 = 3*o - 3*f - 48. Is 7 a factor of o?
True
Let b = 18 - -3. Does 21 divide b?
True
Let s(f) = -3*f**2 + 13*f - 11. Let h be s(10). Let o = -104 - h. Suppose 0 = 4*u - 75 - o. Does 12 divide u?
False
Let g(p) = p**2 - p + 60. Let y be g(0). Does 20 divide (y - 0/(-3))*1?
True
Let m be ((-16)/6)/(2/(-3)). Suppose 4*p + m*l - 95 - 45 = 0, -4*p + 100 = -4*l. Does 10 divide p?
True
Suppose -4*m = -5*j - 140, 10 = -5*j - 10. Let k = m + -18. Does 6 divide k?
True
Suppose -5*s = -2*s. Suppose 2*f = -u + 16, -5*u + 2*f + 38 + 42 = s. Is u a multiple of 9?
False
Let n be 0 - 1/(-2)*-86. Let p = n + 94. Does 18 divide p?
False
Suppose -56 + 158 = g. Is 17 a factor of g?
True
Suppose -2*u - 5*t + 17 = 6, 0 = -4*u + 3*t + 61. Let d be (-7)/(2 + 14/(-6)). Suppose u = c - d. Does 17 divide c?
True
Let w = 17 - 9. Suppose 5*n = -4*f + 20, 2*f + 3*n + w - 18 = 0. Is f even?
False
Let c(w) be the second derivative of -3*w**3/2 - 2*w. Is 27 a factor of c(-3)?
True
Let y(p) = -p**3 + 9*p**2 - 6*p - 6. Let q be (-20)/(-3) - 10/15. Does 22 divide y(q)?
True
Suppose 0 = 5*i + 4*r + 16, -i - 6*r + r - 20 = 0. Suppose i = -3*s + 8*s - 95. Does 17 divide s?
False
Suppose 2*j + j - 144 = 0. Let i = -23 + j. Is i a multiple of 12?
False
Let i = 61 + -37. Is 10 a factor of -5 + i + (1 - 0)?
True
Does 30 divide 0 - (-6)/33 - 1351/(-11)?
False
Suppose 30 = a - 47. Is a a multiple of 20?
False
Suppose -5*x + 22 + 13 = 0. Is x a multiple of 7?
True
Let c = 11 + -8. Suppose -30 = -5*g - p, -c*g + 7*g = -2*p + 18. Does 4 divide g?
False
Let j(i) = -4*i**3 - 3*i**2 + 3*i + 3. Let c be j(-3). Let o = c + 10. Is o/15 - 1/(-3) a multiple of 4?
False
Let s(k) = -4*k**3 - 4*k**2 - 2 + 1 + 0 + 2*k**3 - 3*k. Does 4 divide s(-2)?
False
Let h be -40 - (-4)/(2 - -2). Let w = h - -66. Is 8 a factor of w?
False
Suppose 5*i - a = -0*a + 30, -15 = 2*i + 5*a. Suppose i*n + 50 = 3*o, 5*n + 0*o + 3*o + 20 = 0. Is 11 a factor of 2/n - 149/(-7)?
False
Suppose 4*c - n + 6 = -14, 3*c - 4*n + 28 = 0. Let u = -5 - c. Is 14 a factor of u/3 - 515/(-15)?
False
Let b = 7 + -3. Let u = 4 + b. Is 4 a factor of u?
True
Suppose -3*w = -2*w - 6. Is w a multiple of 4?
False
Let b = 30 - 4. Is 13 a factor of b?
True
Suppose 0 = 4*q - g - 9, 0*q - 9 = -2*q + 5*g. Suppose -q*u = -0*u - 22. Does 5 divide u?
False
Let w(h) = h**2 - 1. Let a be w(2). Does 12 divide 55/a + 2/3?
False
Suppose -9 = -r - 5. Is 5 a factor of r/14 - (-282)/42?
False
Let o(s) = s**2 + 0*s - 3*s + 1 + 6*s**2 + 0. Let c(r) = -r**2 - 6*r - 3. Let p be c(-5). Is o(p) a multiple of 10?
False
Suppose 2 + 10 = 4*z + 3*s, 0 = -4*s + 16. Suppose 4*r + 4*x = -x + 119, -2*r - 3*x + 57 = z. Does 18 divide r?
True
Let p be (-2)/(-7) - 80/(-14). Let z(i) = i**3 - 7*i**2 + 7*i + 4. Does 10 divide z(p)?
True
Let d = 366 - 186. Does 12 divide d?
True
Let b = 0 - 4. Let o be (1*2)/(8/44). Let d = o - b. Is 15 a factor of d?
True
Suppose 304 = 3*c - 68. Let v = -86 + c. Is v a multiple of 20?
False
Let d = -17 - -63. Is 23 a factor of d?
True
Suppose j + l = 30, 3*j + 5*l = 40 + 58. Does 26 divide j?
True
Suppose 4*q - 4 = -4*a + 20, -2*q = 4*a - 24. Is a even?
True
Suppose 3*q + 5 = -7. Let z(n) = -2*n**3 - 4*n**2 + 4*n + 2. Let b be z(q). Let u = b - 35. Is 9 a factor of u?
False
Let l(z) = -19*z - 13. Is 9 a factor of l(-4)?
True
Let j(n) = 2*n + 6. Suppose 0 = 2*l + 3*l - 35. Let w be j(l). Does 8 divide 180/25*w/6?
True
Suppose -701 = -8*j + 579. Is j a multiple of 32?
True
Suppose -z + 210 = z. Is 21 a factor of z?
True
Let f(x) = -4*x + 7. Let j be f(-9). Suppose 3*l - 5*p - 244 = -j, 0 = -3*p. Is l a multiple of 26?
False
Let l(k) = -11*k - 2. Let p be l(-2). Suppose -5*b = -p - 35. Is b a multiple of 9?
False
Suppose 4 = p - 21. Does 5 divide (-10)/p + 107/5?
False
Suppose 2*k + 75 = 7*k. Let w = 7 + 3. Let g = k - w. Is 2 a factor of g?
False
Let d(c) be the third derivative of -c**4/24 + c**3 - 2*c**2. Let m be d(6). Suppose 216 = -m*q + 4*q. Does 22 divide q?
False