r + 4 = 0. Does 9 divide (-51)/(-3) - w/(-2)?
True
Does 6 divide (-1120)/(-200)*(0 - (-5)/2)?
False
Let s = 32 + -10. Is 11 a factor of s?
True
Let f(s) = -s**3 - 4*s**2 - 2*s + 6. Is 3 a factor of f(-3)?
True
Let v(d) = -3*d - 1. Let j be v(1). Let m = j - -23. Does 6 divide m?
False
Suppose -5*r + 270 = -2*r. Is r a multiple of 15?
True
Suppose -5 = g + 2*c - 2, -2*g = 3*c + 4. Let t(l) be the first derivative of 5*l**4 + l**3/3 - l - 5. Is t(g) a multiple of 20?
True
Suppose -6*h = -2*h + 44. Let l = 41 + h. Let t = l - -4. Is t a multiple of 17?
True
Let w = -12 + 9. Let o(q) = -10*q + 1. Does 8 divide o(w)?
False
Let v be (1/(-2))/((-2)/36). Does 19 divide v*4 + 8/4?
True
Suppose -2*i + 4 = -4. Suppose -x + 19 = i. Is x a multiple of 4?
False
Let r(y) = -y**3 - 9*y**2 - 41. Is 13 a factor of r(-12)?
False
Suppose t + 24 = -4*h - t, -5*h + 4*t = 30. Let v be (-10)/(-14) - h/21. Suppose 0 = -2*g + 29 - v. Is 7 a factor of g?
True
Suppose -3*h + 328 = h. Is h a multiple of 21?
False
Let k = -21 - -1. Let u = k + 48. Is u a multiple of 7?
True
Is (0 - -2) + -1 + 51 a multiple of 13?
True
Let s = -49 + 156. Is 6 a factor of s?
False
Let l(a) = 2*a**2 + 3*a + 1. Let b be l(-2). Let y = b + 0. Suppose u + y*g = 39, -u - 5*g = -3*u + 56. Does 11 divide u?
True
Is 12 a factor of 96*(-4 - (-38)/8)?
True
Suppose -2*f + 166 = 46. Is 15 a factor of f?
True
Suppose -1560 = -6*r + 3*r. Is 65 a factor of r?
True
Let z(d) = 4*d - 6. Let a be z(10). Suppose 0 = -t - 0*t + a. Is t a multiple of 17?
True
Suppose 2*y = 33 + 3. Let g = 0 + 3. Let a = y + g. Is 20 a factor of a?
False
Let c(s) = -4*s - 7. Let y be c(-6). Let m = 31 - y. Is 14 a factor of m?
True
Let v be (78/9)/((-2)/(-48)). Suppose -3*q - q = -v. Does 18 divide q?
False
Suppose -3*f = -2*z - 666, 437 = -f + 3*f + z. Is f a multiple of 44?
True
Let a(x) = x**3 + 4*x**2 + 4*x + 2. Suppose -b = 3*b + 8. Let c be a(b). Suppose 31 = c*p - 1. Is p a multiple of 8?
True
Let i(j) = -22*j**2 - j + 1. Let r be i(1). Let g = 27 - r. Let n = g - 15. Does 17 divide n?
True
Suppose -b = 5*o - 285, -2*o + 5*b - 57 = -171. Is 12 a factor of o?
False
Let q = -32 + 45. Is 13 a factor of q?
True
Suppose 149 = 3*m + l, -2*m + 3*l + 70 = -22. Does 3 divide m?
False
Let o(v) = 13*v - 5. Let d be o(5). Suppose 3*l - 7*l = -d. Is 10 a factor of (-4)/(-10) + 144/l?
True
Let p(r) = -r**2 - r. Let h(z) = -z**3 - 9*z**2 + 15*z + 1. Let x(j) = h(j) + 4*p(j). Does 14 divide x(-14)?
False
Let w(i) = -i. Let p(f) = 2*f + 13. Let s(c) = p(c) + 3*w(c). Is 9 a factor of s(4)?
True
Let m(g) = -g**3 - 4*g**2 + 3*g - 8. Is 27 a factor of m(-6)?
False
Let b = 4 + -1. Is (34/10 - b)*30 a multiple of 6?
True
Suppose -7*i - 209 = -5*f - 3*i, 2*f - 94 = -i. Is f a multiple of 5?
True
Let m = -208 - -304. Does 24 divide m?
True
Suppose 0 = 2*h - 85 - 35. Is h a multiple of 15?
True
Suppose 4*n + 21 = b - 9, -8 = 2*n + 3*b. Let d = n + 7. Suppose 0 = -2*z - d*z + 54. Does 27 divide z?
True
Suppose -3*k + s + 0*s = 25, 0 = 4*k - s + 32. Let m = 17 + k. Is m a multiple of 4?
False
Suppose 20*i - 26*i = -264. Is i a multiple of 12?
False
Suppose -3*f + 2 = -7. Suppose -g - 2 = -f*g. Let r = 4 - g. Is r a multiple of 2?
False
Let p(s) = -s**2 - 10*s - 6. Is p(-4) a multiple of 5?
False
Suppose 4 = -3*y + 3*v + 13, -3*y + 12 = -4*v. Suppose y = -2*i - 11 - 15. Let g = i - -18. Is g a multiple of 4?
False
Suppose b + s + 0*s - 82 = 0, -2*b + 174 = -3*s. Is 28 a factor of b?
True
Let l = -12 + 15. Suppose 0 = -l*m + 42 + 30. Is 12 a factor of m?
True
Suppose -b - 3*z + 89 = 0, 3*b - 79 = 2*b + 2*z. Does 49 divide b?
False
Let n(t) = -2*t**3 + 8*t**2 + t. Let l(k) = -6*k**3 + 23*k**2 + 2*k - 1. Let c(m) = -4*l(m) + 11*n(m). Is c(4) a multiple of 37?
False
Is 9 a factor of 203/2 + (-7)/(-7 + 21)?
False
Let r = 2 - 0. Let z = 9 - 5. Is 8 a factor of (r/z)/(2/32)?
True
Suppose 5*s = -4*z + 2*z + 360, -288 = -4*s - 3*z. Suppose -4*v + 0*v + s = 0. Let u = v - 1. Is 17 a factor of u?
True
Suppose -2*v - m + 35 = 0, 0 = 3*v - 6*v - 2*m + 54. Suppose -5 + 1 = -2*y. Let h = v - y. Does 13 divide h?
False
Let b = -2 + 38. Does 20 divide b?
False
Let g = -1 - -2. Let f be g/(40/(-41) - -1). Suppose -z - 7 + f = 0. Does 13 divide z?
False
Let x = 187 - 85. Is x a multiple of 6?
True
Let w(o) = -o**3 + 13*o**2 + 3*o - 13. Does 13 divide w(13)?
True
Let i(l) = 51*l + 9. Is i(6) a multiple of 45?
True
Let k = 6 + 3. Suppose 0*a + k = 3*a. Does 3 divide a?
True
Let f(z) be the second derivative of z**3/2 + 5*z**2/2 + 2*z. Let m be f(-4). Let u = 32 - m. Is 17 a factor of u?
False
Let o(j) = -3*j - 4. Let s be o(-3). Let d(b) = b**2 - 3*b + 4. Is d(s) a multiple of 4?
False
Suppose -2*u - u - 66 = -3*a, 0 = 5*a + 5*u - 70. Does 12 divide a?
False
Let b = 718 + -508. Is 30 a factor of b?
True
Suppose -38*l - 24 = -41*l. Does 3 divide l?
False
Is 11 a factor of 4014/162 + (-4)/(-18)?
False
Let b = 30 - 22. Does 4 divide b?
True
Suppose -8*v + 13*v = 280. Does 7 divide v?
True
Let v(y) = 17*y**3 - 3*y - y**2 + 2*y + y**2. Is v(1) a multiple of 4?
True
Let n be ((1 - -1) + -5)*1. Is -2*(n - 40/4) a multiple of 21?
False
Suppose -5 = q - 6*q - 5*o, -2*q + 4*o + 8 = 0. Suppose 5 = -5*r + 5*p, -2 = -3*r + q*r - 2*p. Suppose -2*y + 0*y + 46 = r. Does 23 divide y?
True
Let z(f) be the third derivative of -13*f**4/24 + 2*f**3/3 - 4*f**2. Is 10 a factor of z(-2)?
True
Let l(m) be the second derivative of m**4/6 - 2*m**3/3 + 3*m**2/2 - 3*m. Is l(3) a multiple of 8?
False
Let m(f) = -f + 2. Let a be m(-4). Let u(c) = -2*c**3 + c**2 - 1. Let v be u(1). Is (a/(-9))/(v/42) a multiple of 8?
False
Suppose -12 + 2 = -2*i. Suppose -i*m = 7 - 122. Does 11 divide m?
False
Suppose -3*r + 4 = -50. Is (20/6)/(r/27) even?
False
Let k(q) = -1. Let v(t) = -t**3 - 6*t**2 + 3. Let i be 4*(-2*1)/(-2). Let d(b) = i*k(b) - v(b). Is d(-5) a multiple of 12?
False
Let l(b) = 10*b + 6. Let i be l(4). Suppose -x + 1 = 0, -3*x + i = 4*u - 25. Does 17 divide u?
True
Suppose -13*y = -6*y - 273. Is 9 a factor of y?
False
Let w(a) = a**2 + 11*a + 78. Is 26 a factor of w(-11)?
True
Suppose 30 + 94 = 3*c + m, -2*c + 3*m = -79. Does 18 divide (c + -1)/((-14)/(-21))?
False
Suppose -9*l + 387 = -0*l. Is 10 a factor of l?
False
Suppose -3*o + 2*n + 2 = o, 0 = 2*o - 3*n + 5. Does 17 divide (-17)/(o/(-8)*2)?
True
Let x(b) = -2*b - 13. Let p = 24 - 17. Let l(c) = c**2 - 8*c - 2. Let h be l(p). Is x(h) a multiple of 5?
True
Suppose -50 = -2*d - 2*u, -59 = -2*d - 4*u + 1. Suppose d - 188 = -4*z. Is 14 a factor of z?
True
Let f = 14 + -20. Let d = f + -37. Let w = -28 - d. Is 5 a factor of w?
True
Let o = 144 + -68. Is 16 a factor of o?
False
Suppose 23 = -4*l + n + 90, -5*n = l - 43. Suppose 45 = h - 3*q, -2*q - 45 = -4*h + 95. Let s = h - l. Is 9 a factor of s?
False
Let h = -10 + 6. Does 5 divide h/10 - (-72)/5?
False
Let y(c) = -c**2 + 17*c - 5. Is y(14) a multiple of 12?
False
Does 3 divide ((-1)/(6/45))/((-1)/2)?
True
Let w(h) = -3*h. Is w(-5) a multiple of 15?
True
Suppose 12*d = 18*d - 600. Is 25 a factor of d?
True
Let u(i) be the first derivative of i**3 + 3*i**2 + 8*i + 1. Is 16 a factor of u(-6)?
True
Let p = 14 + 0. Suppose k + 2*i + 2 = -0, -5*k = 4*i - p. Is (k/(-4))/((-6)/40) a multiple of 7?
False
Let j = 16 + -13. Suppose 224 = 5*m - 4*l + 86, 0 = l - j. Is 10 a factor of m?
True
Let c(y) = -6*y - 6. Suppose -2*n + 6*n = -36. Let v be c(n). Suppose -i + v + 10 = 0. Does 17 divide i?
False
Let z(v) = -26*v - 8. Is z(-3) a multiple of 9?
False
Suppose -6*i = -p - 2*i + 11, 0 = -2*p + 5*i + 13. Let o(n) = -5*n**3 - n**2 - n - 1. Let x be o(p). Does 9 divide (1*12)/(4/x)?
False
Let l(h) = h**2 + 7*h + 5. Let u be l(-11). Let r = u + -33. Does 10 divide r?
False
Suppose 3*g - 121 = -16. Is 7 a factor of g?
True
Let n be (-77)/(-4) - 1/4. Suppose -4*r - 35 = b, -4*r + 18 = -2*b + r. Let q = n - b. Is 15 a factor of q?
False
Does 30 divide ((-1 - -3) + -1 + 0)*65?
False
Let t(a) be the first derivative of a**4/4 - a**3 - 5*a**2/2 + 7*a + 4. Is t(5) a multiple of 7?
False
Suppose -36 = 2*t - 108. Does 18 divide t?
True
Let a be (0 - 5)*4/10. Suppose 4 = 4*v - 28. Does 9 divide 2 + (v - a) + 3?
False
Let y = -23 + 32. Is 9 a factor of y?
True
Suppose -g - p + 141 = g, -3*g + 3*p + 216 = 0. Is g a mult