w(d) = 2*d**2 + 1. Let f(x) = 3*x**2 - x. Let a(t) = 3*f(t) - 4*w(t). Is 5 a factor of a(6)?
False
Suppose 2*t - 2*i - 12 = -3*i, 3*i + 4 = 4*t. Is t a multiple of 2?
True
Let k(h) = 2*h**2 + 39*h + 0 - 2 - 37*h. Let r be k(-3). Let v = -7 + r. Does 3 divide v?
True
Suppose -5*h + 6 = -2*h. Let l(q) = 4*q**2 + 4*q + 4. Let o be l(-5). Suppose -h*v + o = v. Does 11 divide v?
False
Suppose 0*c = 2*c - 280. Does 17 divide c?
False
Suppose 0 = -2*f + 4*f - 10. Let a = 0 - -1. Let k = f - a. Is k a multiple of 2?
True
Suppose -3*m + 15 = 0, 2*u - 29 + 5 = -4*m. Suppose 46 = 4*o - 5*q, 20 = 4*o - 3*q - 22. Suppose o = u*v + v. Does 3 divide v?
True
Let j(x) = 6*x - 2. Suppose 4*o - 16 + 4 = 0. Let a(w) = -12*w + 5. Let z(h) = o*a(h) + 7*j(h). Is 23 a factor of z(5)?
False
Let o be (2 + (-25)/5)/(6/(-46)). Suppose -p = 1 - 6. Suppose -q = -0*r + 4*r - 22, -q + p*r = o. Does 2 divide q?
True
Let s = -53 - -116. Is s a multiple of 9?
True
Let g(r) = r**2 - 11*r + 15. Let d be g(10). Suppose 2 + 0 = -j, 5*o + d*j = 15. Suppose o*q - c - 45 = -0*c, 4*c = 0. Is q a multiple of 9?
True
Let s = -5 - -1. Let z be 3/6 - 74/s. Suppose -3*r + z = -8. Is 9 a factor of r?
True
Let a(y) = -2*y. Let n be a(-2). Let w be (n + -3)*(1 + -2). Let s = w + 10. Is 9 a factor of s?
True
Let h(w) = -130*w - 1. Let v be h(-1). Let o = v + -75. Does 20 divide o?
False
Let d = 1 + 2. Suppose 0*v - d*v + 6 = 0. Suppose -l = -2*l - 3*j + 31, -j + 37 = v*l. Does 8 divide l?
True
Let h(p) = 4*p**2 - 6*p + 27. Does 12 divide h(7)?
False
Suppose -3*o + 7*o = -24. Let s(c) = 3*c**3 - 5*c**2 + 19*c - 12. Let u(w) = 5*w**3 - 7*w**2 + 29*w - 18. Let n(g) = -8*s(g) + 5*u(g). Is n(o) a multiple of 6?
True
Let s(v) = -v**3 - 5*v**2 + 7. Let j be s(-5). Suppose j*q - 32 = 3*q. Is 2 a factor of q?
True
Let t = 10 + -4. Suppose 0 = -j + 2*a - t, 1 = -4*j - a + 22. Does 4 divide j?
True
Let h(s) = -14*s + 1. Let w be h(1). Suppose 4*o - 94 = -2*n, -115 = -6*o + 2*o + 5*n. Let g = o + w. Does 6 divide g?
True
Let w(q) = -q**3 - 5*q**2 - 7*q - 5. Let u be w(-5). Suppose 0 = 5*s - a - u, 2*s - 2*a - a = 12. Is 3 a factor of s?
True
Let k be ((-4)/3)/(4/(-9)). Suppose 4*l = -2*d + 14, 2*d + k*l = -2*d + 38. Is 11 a factor of d?
True
Let y = 10 + -6. Suppose y*a + 50 = 246. Does 22 divide a?
False
Suppose 191 = 4*d - 193. Is 24 a factor of d?
True
Let y be (-1)/(-2)*(5 + 1). Suppose y*p = -t - 74 + 238, -2*p = -2*t - 112. Is p a multiple of 33?
False
Suppose 17 = 7*y + 3. Is 45/y*(-8)/(-10) a multiple of 9?
True
Let l = -33 + 49. Is 4 a factor of l?
True
Suppose -c = 3*s - 10, -14 = -5*c - 2*s + 5*s. Suppose -c*q = -q - 168. Let x = q + -30. Is 10 a factor of x?
False
Let r(b) = -b**2 - 3. Let v be r(0). Let p(c) = 3*c**2 - c + 4. Is p(v) a multiple of 17?
True
Let p = 7 - -11. Let m = p - -20. Is m a multiple of 19?
True
Let i be (2 - 0)*(2 + -28). Let o be -30*((-18)/5)/(-3). Let g = o - i. Does 14 divide g?
False
Let s be 3 - (2 - (-1 + 0)). Suppose -2*q - 3*q + 165 = s. Is 14 a factor of q?
False
Let b = 7 + -8. Is 9 a factor of (b - 76/(-10))*5?
False
Let n be -3 - 2 - (-1 - 1). Is 13 a factor of 1/n + (-1078)/(-21)?
False
Let q = -71 + 96. Is q a multiple of 5?
True
Let j be (-2 - -3)/(1/(-83)). Let q = 11 - 67. Let i = q - j. Is i a multiple of 9?
True
Let d be (-5)/2*(-6)/5. Let p(x) = -2*x - 13. Let g be p(-9). Suppose -2*j + 86 = d*t - 0*t, -g*j + 89 = 3*t. Is 14 a factor of t?
True
Suppose 19*y - 29*y + 660 = 0. Is 20 a factor of y?
False
Let x(q) = -174*q + 2. Is x(-2) a multiple of 28?
False
Let d(a) = -a**3 - 11*a**2 - a + 14. Is 9 a factor of d(-12)?
False
Let x be (3 - -5) + -3*1. Suppose -4*o = 4*s - 172, -4*s + 85 = -x*o - 78. Does 14 divide s?
True
Let v(n) = -22*n + 20. Does 31 divide v(-5)?
False
Is 10 a factor of (-161)/(-4) + 10/(-40)?
True
Suppose 5*o - 399 + 64 = 0. Does 18 divide o?
False
Suppose 0 = 4*d - 5*k + 3, 2*k - 1 = 5. Suppose -d*r + 6 = -0*r. Suppose 4*p + m = 18 + 132, -r*m + 4 = 0. Does 20 divide p?
False
Suppose -2*n - 836 = -4*y, -202 = -y - 2*n - n. Is 46 a factor of y?
False
Is (-414)/(-5) - 4/5 a multiple of 11?
False
Suppose f - 5*f = 0. Let m be f - ((-30)/2 + 3). Is 23 a factor of (m/(-8))/((-3)/74)?
False
Suppose -6*c + 33 = -3*c. Suppose -h - 4*h = -t + c, 3*t = -4*h + 128. Is t a multiple of 18?
True
Let t(c) = c**3 + 5*c**2 + c + 2. Let a be (-4)/16 - 10/(-8). Let i be 1*-3 - (a + 0). Does 11 divide t(i)?
False
Let o(u) = -2 + 1 - 5*u - 2. Does 4 divide o(-3)?
True
Is 37 a factor of (74/(-6))/(3/(-18))?
True
Let a(m) = -m + 1. Let y(t) = -2*t**2. Let w be y(-1). Let f be -5*(-3)/6*w. Does 3 divide a(f)?
True
Is 14 a factor of 7 + -4 - (-50)/2?
True
Suppose 6*w - 854 = -20. Is 45 a factor of w?
False
Let g(n) be the first derivative of -n**3/3 - n**2/2 + 30*n - 5. Is 15 a factor of g(0)?
True
Let n = -6 - -6. Let w(v) = 5*v - 1 + v**2 - 4 + n*v - 3. Is 14 a factor of w(-9)?
True
Let i be (-4)/(-3)*9/6. Is 6 a factor of i/((-4)/12*-1)?
True
Let n(l) = -l + 0*l + 4*l**2 + 0*l**2 - 3*l**2. Suppose 2*t - 2 = 8. Is 7 a factor of n(t)?
False
Let t be (-2 + -1 + 4)*13. Let w(o) = -1 + 18*o**2 - t*o**2 + 34*o**2. Is 13 a factor of w(1)?
False
Let u be (-15)/(-4) + (-6)/8. Suppose u*g + 12 = 5*w - 4*w, g = -5*w + 92. Is w a multiple of 12?
False
Let w be -1 - -2 - (-6 + 6). Let y(d) = -1 + 1 + 52*d. Is 17 a factor of y(w)?
False
Let f(y) = 2*y**2 + 4*y + 3. Is 29 a factor of f(-5)?
False
Let s = -212 + 317. Suppose -3*k = -5*x + 105, 9*x - k = 4*x + s. Is 21 a factor of x?
True
Let m(g) = g + 11. Is 4 a factor of m(-7)?
True
Suppose 3*t = 7 - 37. Let p = 16 - t. Is 13 a factor of p?
True
Let i be 1 - 24/(-9)*3. Let w = i - -14. Is w a multiple of 12?
False
Let m(c) = -2*c**2 + 11*c**2 - 2*c + c**3 + c - 6. Let u be m(-9). Suppose 2*j + 14 = t, t - 2*j - u*j = 20. Is 10 a factor of t?
True
Let w = 90 - 20. Is 23 a factor of w?
False
Let s(z) = z**2 + 6*z - 7. Is s(5) a multiple of 8?
True
Let k = -23 - -24. Suppose 0 = -4*h + 5*p + 255, h + 3*p + k = 69. Is 13 a factor of h?
True
Let d = -38 - -71. Is 11 a factor of d?
True
Let g(p) = -p**3 + 5*p**2 + 10*p - 9. Let w = 22 + -16. Let l be g(w). Suppose m - 2*m = -l. Is m a multiple of 6?
False
Let r(w) = 2 - 3*w - 2 + w**3 + 7*w - 4*w**2. Is 16 a factor of r(4)?
True
Let t = -4 + 7. Suppose q - t = 1. Suppose 0 = -q*h + v + 4*v + 67, -34 = -2*h + 2*v. Does 9 divide h?
True
Let t = 9 + -9. Let p be -6*(3/(-6) + t). Suppose -s = -x + 29, -s + 28 = 2*x + p*s. Is 24 a factor of x?
True
Let q be (-1 + 9)*(-3)/(-6). Suppose -16 = -x - 5*m, q*m + m = x + 4. Is 3 a factor of x?
True
Suppose -5*g = -3*g - 180. Does 15 divide g?
True
Suppose -12*s + 3312 = 11*s. Is s a multiple of 9?
True
Let k = -142 + 272. Is 26 a factor of k?
True
Suppose -2*z + 1149 = 479. Does 24 divide z?
False
Suppose 5*q = 3*u + 22, 3*q - 19 = -0*u - 4*u. Suppose q*l = 80 + 160. Does 10 divide l?
False
Let s(j) be the third derivative of -j**4/12 - j**3/3 + j**2. Let r be s(-2). Suppose 0 = r*m + 2*m - 12. Is m a multiple of 3?
True
Let f = 160 - 123. Is 16 a factor of f?
False
Suppose -5*k + 4 + 6 = 0. Let a be (3 - k)*(0 - -8). Suppose -a = -2*z + 4. Does 6 divide z?
True
Let b be 1/4 + (-92)/(-16). Let z = 18 - b. Is 4 a factor of (8/z)/(2/27)?
False
Let n be (-3)/(-2 - 1) + 41. Suppose -2*c + n = -32. Is 17 a factor of c + (0/(-1))/(-3)?
False
Let z(k) = -7*k - 1. Let o(m) = -21*m - 3. Let a(l) = -2*o(l) + 7*z(l). Let q be a(-1). Let w = q - 1. Does 5 divide w?
True
Let d be 45/20 + 2/(-8). Let j(a) = -4 - a**d + 3*a**2 + 10 - 8*a. Does 12 divide j(6)?
False
Let j = 14 - 6. Let x(s) = -10*s + 5*s - 3*s**3 - 7*s**2 + 10 + 4*s**3. Is 9 a factor of x(j)?
False
Let r(o) = -o**3 - 6*o**2 + 4*o - 9. Suppose -3*c = 2*i + 8, -i - 3*c + 4 = 5. Is 12 a factor of r(i)?
True
Let d(g) = g**2 + 5*g - 7. Let l = -10 + 2. Does 7 divide d(l)?
False
Suppose z - 5*d = 69, 5*d = -2*z + d + 82. Is 46 a factor of z?
False
Suppose 0 = -2*p + 2, 2*d - 3*p - 13 = -2*d. Let u be 2/d + (-235)/10. Let q = -10 - u. Does 5 divide q?
False
Let o be (20/(-5))/(1*2). Let l be 3/(3/43) + o. Suppose 2*v + 7 = l. Is 17 a factor of v?
True
Suppose 0 = 2*j - i - 3*i - 80, 5*j + 3*i = 135. Does 12 divide j?
False
Does 42 divide ((1056/15)/(-4))/(1/(-10))?
False
Suppose 0 = -5