t f(r) = -9*r**3 - 2*r**2 - 2*r - 2. Let j(c) = -6*f(c) + 5*g(c). Is 12 a factor of j(2)?
True
Let n be 1*(-1 + 1 + 10). Let a be (5/n)/((-2)/(-4)). Does 10 divide (49 + a)*(-4)/(-10)?
True
Let l(y) = -5*y + 3. Let o be l(-8). Let s = o - 30. Does 6 divide s?
False
Suppose 3*k + 2216 = -k. Let c be k/(-10) - 8/20. Suppose 5 = 5*v - c. Is v a multiple of 6?
True
Let l = -2 + -8. Let c be 5*(18/l - -1). Is 11 a factor of (-405)/(-12) + 3/c?
True
Suppose 4*w - 5*s = 15 - 3, -4*s = 3*w + 22. Is 0 + 2 - -8 - w a multiple of 9?
False
Suppose -2*a = 3*j + 5, -4*a + 4*j = 5*j - 5. Suppose -2*r = a*r - 48. Does 6 divide r?
True
Suppose 0 = 5*b - 6 + 1. Let m(w) = -4*w - 1 - 1 + b. Is m(-6) a multiple of 9?
False
Let z(c) = c**2 - 13*c + 18. Suppose 0 = 5*y, 0*y + 60 = 5*w + 2*y. Does 6 divide z(w)?
True
Let s(i) = i - 10. Let k be s(7). Let d = 31 - k. Suppose 0 = 4*x - 3*x + 2*v - 8, -3*x = v - d. Does 12 divide x?
True
Let r(g) = 13*g**3 + 1. Let c be r(1). Is 5 a factor of (-4)/14 + 74/c?
True
Suppose j - 3 = 4*z, -3*z + 12 = 3*j + j. Let k be 2/(-8) + 30/(-8). Is 5 a factor of 90/8 - j/k?
False
Suppose -2*o = -o - 6. Let z = o - 4. Suppose -r - m + 31 = m, 118 = 4*r + z*m. Does 25 divide r?
False
Let w = 9 + -4. Suppose -b + w*b = 48. Let i = b + 7. Is i a multiple of 6?
False
Let w = -4 + 2. Let k = 1 + w. Does 9 divide 945/36 - k/(-4)?
False
Suppose 0 = -y + 2*h - 2, 0*y = -3*y + 4*h + 2. Let m = 18 - y. Does 4 divide m?
True
Suppose -6 = f + 5*h - 60, 0 = -3*f - 2*h + 136. Does 14 divide f?
False
Let t = 5 - 2. Let w = t - -3. Suppose 0 = -5*u - 3*b + 314, 3*u + 4*b - w = 178. Is u a multiple of 24?
False
Let s(c) = -2*c - 4. Let q be s(-9). Let b = -6 + 17. Let w = b + q. Is 13 a factor of w?
False
Suppose 105 = -16*b + 2121. Does 18 divide b?
True
Let i(o) = -104*o**3 - 1. Does 12 divide i(-1)?
False
Let t(j) = j**3 + 12*j**2 + 10*j - 8. Let n be t(-11). Is (-2)/(-6) - (-35)/n a multiple of 12?
True
Let j(c) be the second derivative of -c**3/6 + 3*c. Let d be j(-7). Let p = d - -16. Does 14 divide p?
False
Suppose 0 = -3*l - 2*l. Let r(w) = -w**2 - 7*w + 4. Let n(v) = v + 1. Let o(i) = 6*n(i) + r(i). Does 5 divide o(l)?
True
Is 3 a factor of (-1)/(-2) + (-87)/(-6)?
True
Let a(j) = -j**2 - 2*j - 1. Let b be a(-2). Is 21 a factor of 15*12/9 - b?
True
Is (1 - 8*-28)*2/5 a multiple of 18?
True
Let q = 98 - 68. Is q a multiple of 5?
True
Let z be ((-124)/6)/(4/(-6)). Let g be 26/(-6)*(-4 - -1). Let u = z - g. Is 10 a factor of u?
False
Let x(p) = -p**3 + 5*p**2 + 5*p + 3. Suppose 2*m + 6 + 8 = 0. Let l(f) = f**2 + 7*f + 5. Let g be l(m). Is 13 a factor of x(g)?
False
Suppose g = 5*j + 42, 0 = 5*j + 5*g - 3*g + 36. Is 15 a factor of (-35)/3*24/j?
False
Let m(p) = -73*p**2 + p. Let x be m(-1). Let n = x + 104. Does 11 divide n?
False
Let i = 23 - 15. Suppose -2*o + i = -0*o. Is 4 a factor of o?
True
Suppose m - 2*m = -3. Suppose 0 = 4*x - m*x - 42. Is x a multiple of 16?
False
Is 16 a factor of ((-4)/(-10) - (-7)/(-5)) + 17?
True
Suppose 2*x + 4*s + s - 399 = 0, -12 = -4*s. Does 12 divide x?
True
Suppose 1 = 2*p - 7. Suppose 8*i - 3*i - 70 = 3*k, p*k + 70 = 5*i. Suppose -i - 17 = -m + d, -2*d - 98 = -3*m. Is m a multiple of 12?
True
Let q(f) = -3*f**3 - 5*f**2 + 6*f + 2. Let t(n) = 4*n**3 + 6*n**2 - 5*n - 1. Let c(w) = 3*q(w) + 2*t(w). Let o be c(-5). Let y = 26 - o. Does 9 divide y?
False
Let n = -27 - -134. Is 30 a factor of n?
False
Suppose i + 3*c - 3 = c, c = 5*i + 18. Let q be 3/(-6)*-2 + i. Let b = 4 - q. Does 6 divide b?
True
Suppose -25 = -3*g - 2*g. Let o(h) = h**2 - h - 1. Let z be o(3). Suppose 3*b = -0*j - z*j + 35, -21 = -g*b + j. Is b even?
False
Is 5 a factor of ((-10)/(-6))/((-7)/(-84))?
True
Let w = -4 + 4. Suppose -a + 41 + 7 = w. Is (-4)/6*(0 - a) a multiple of 12?
False
Let p = 3 - 0. Let j = p + 1. Let c(m) = m**2 - 2*m + 3. Does 6 divide c(j)?
False
Suppose 13*f - 342 = 1023. Does 15 divide f?
True
Let z = 55 + -36. Is z a multiple of 3?
False
Suppose -5*k = 80 - 290. Is 25 a factor of k?
False
Let r = 7 + -4. Suppose -2*c = -171 - 101. Suppose -b - r*b = -c. Is 14 a factor of b?
False
Suppose -2*z + y + 226 = 4*y, -2*z - 2*y + 228 = 0. Does 28 divide z?
False
Is (-11)/9*-3*18 a multiple of 11?
True
Let o = 5 + -3. Is 15 a factor of 2 - -26*(o - 1)?
False
Let u = 58 - 18. Is 10 a factor of u?
True
Let u = 2 - 6. Does 11 divide (u + 3 - 0) + 16?
False
Let y(h) = h**2 - 21*h - 14. Is 8 a factor of y(22)?
True
Let u(g) be the second derivative of 2*g + 2/3*g**3 + 1/2*g**4 + 0 + 3/2*g**2. Does 14 divide u(-2)?
False
Does 32 divide ((-4992)/21)/(-2) + (-2)/(-14)?
False
Let x = -1 - 40. Let a = 70 + x. Is 20 a factor of a?
False
Let n(m) = -6*m**3 + 2*m**2 - 3*m - 3. Let a be n(-2). Let z = a + -104. Let h = -22 - z. Does 9 divide h?
False
Let w(n) be the third derivative of -n**4/24 - 2*n**2. Is w(-4) a multiple of 2?
True
Let h = 45 + -23. Does 3 divide h?
False
Suppose -2*f - 3*f = 75. Let t = f - -7. Let d(a) = -4*a - 9. Is d(t) a multiple of 12?
False
Let l = -85 - -119. Suppose 4*a - l = 54. Is a a multiple of 22?
True
Suppose 6*r - r - 37 = x, 4*x + 43 = 5*r. Is 1*(r - 3) + 59 a multiple of 21?
True
Let h be (-1)/(3/60) + -1. Let d = 49 + h. Is 7 a factor of d?
True
Let r(i) = i**2 + 6*i - 1. Let g = 8 + -15. Does 4 divide r(g)?
False
Suppose -5*y + 476 = 2*y. Is y a multiple of 33?
False
Let z(i) = -i**3 + 9*i**2 - 5. Let v be z(7). Let r = 1 + -3. Is (-6)/(-12) - v/r a multiple of 13?
False
Let u(b) = -b + 3. Let f be u(4). Is 20 a factor of f + (39 - (-2 - -1))?
False
Let p(k) be the first derivative of k**3/3 - 5*k**2 + 6*k + 7. Is p(10) a multiple of 5?
False
Let u(h) = -h + 3. Let c be u(0). Suppose 31 = c*r - 5. Does 12 divide r?
True
Let p(n) be the third derivative of -n**8/20160 + 11*n**7/5040 - n**6/120 + n**5/60 - n**2. Let u(y) be the third derivative of p(y). Does 16 divide u(6)?
False
Suppose 0*l + 8 = 2*l. Let i = l + -4. Suppose -3*u + 25 + 38 = i. Does 12 divide u?
False
Let k = -3 - -4. Is 19 a factor of 56 - (2 + k + -2)?
False
Let x = -124 + 129. Does 4 divide x?
False
Let y(q) = 20*q**2 - 2*q + 1. Let k be y(1). Suppose -v + k = -20. Does 11 divide v?
False
Suppose -4*o - 3*m = -279, 3*o - 3*m = 4*o - 63. Let g = -36 + o. Is g a multiple of 13?
False
Suppose 0 = -5*q + 2*q + 111. Let b be (-2)/(-13) - q/(-13). Suppose b*a = 4*z + 10 + 12, 3*z - 16 = -a. Does 10 divide a?
True
Suppose c + 5 = -4. Let i be c/(-3) - (-1 - -10). Is 12 a factor of (-73)/i + 4/(-24)?
True
Let g(x) = -x**3 + 3*x**2 - 1. Let z(c) = -c**3 + 6*c**2. Let m be z(6). Suppose m = 3*i - 0*i - 6. Is g(i) even?
False
Let r = -57 + 36. Let c = 35 + r. Does 14 divide c?
True
Let j(b) = -9*b - 9. Is 18 a factor of j(-7)?
True
Suppose -3*c + 44 = -61. Is c a multiple of 5?
True
Let z(j) = 3*j - 20. Is z(12) a multiple of 4?
True
Let b = 594 - 272. Suppose -4*p + b = 82. Does 20 divide p?
True
Let d(s) = 17*s + 11. Does 12 divide d(5)?
True
Let x = 2 + 1. Let h(i) = i**3 - 3*i**2 + 3*i - 4. Is h(x) a multiple of 5?
True
Suppose 5*l - h - 741 = 0, l = -h + 19 + 128. Suppose 0 = 4*f - 92 - l. Is 20 a factor of f?
True
Is (2 - (-118)/(-3))/(46/(-345)) a multiple of 40?
True
Let f = 135 + -86. Let o = f + -5. Does 27 divide o?
False
Suppose 3*i - 5*x = -2*i + 15, -2*x + 2 = 2*i. Let z be -2 + 3 + 1 + 66. Suppose -i*a + 3*s + z = 7*s, 39 = a - 3*s. Is a a multiple of 18?
True
Let q = -1 + 16. Suppose 0 = 3*n - 0 - q. Is 5 a factor of n?
True
Let y(o) = -o**3 - o**2. Suppose 0 = 3*k - 5*k. Let i be y(k). Is 22 a factor of -2 + i + 3 + 43?
True
Let v = -3 + 3. Suppose -4*t - 4*z + 32 = v, t - 2*t - 4*z = 1. Let j = t - -22. Is j a multiple of 13?
False
Let c(n) = n**2 - 4*n + 1. Let r be -1 - (3 + 27/(-3)). Is 3 a factor of c(r)?
True
Let w(q) = -q**3 + q**2 - q + 3. Let n be w(0). Suppose y - n*y + 4 = 0. Does 2 divide y?
True
Suppose 2*q + 10 = -0. Let m = q - -31. Does 13 divide m?
True
Let q(w) = 6*w**2 + 10*w + 3. Is 17 a factor of q(-5)?
False
Suppose -2*c + 4*c - 435 = 5*n, 4*n = -4. Is 43 a factor of c?
True
Let d(t) = t**3 + 6*t**2 + 7*t + 6. Let j be d(-4). Let m = 56 - j. Does 23 divide m?
True
Let h be (-1 + 6)*32/10. Does 11 divide 4/h - (-182)/8?
False
Let q be (-6 + 2/1)/(-2). Let t(j) = 5*j**3 + j**2 + j - 2. Is t(q) a multiple o