f(w) = w**2 - 11*w + 7. Let b be f(10). Let x(p) = -p**2 - 3*p + 3. Let a be x(b). Suppose 0 = -2*r + 4*y + a + 11, 2*r + 2*y = 8. Is r a multiple of 5?
True
Let s(v) = v + 3. Does 3 divide s(3)?
True
Suppose 7*g - 518 = 119. Is 13 a factor of g?
True
Let w(n) = n**3 - 13*n**2 + 12*n + 4. Let g be w(12). Let m(y) = y**3 - 6*y**2 + 6*y - 4. Let l be m(5). Let s = g + l. Is s a multiple of 3?
False
Let b be (-38)/(-8) + (-27)/36. Suppose -2*z = 2*z - 2*a - 304, b*a = -z + 76. Suppose 5*s = -z + 186. Is 22 a factor of s?
True
Let z = 11 + -6. Suppose 83 = 2*s - 5*j, j - 116 = -z*s + 51. Is s a multiple of 14?
False
Suppose c - 5*j - 9 = 1, -5*j + 20 = c. Is c a multiple of 2?
False
Let z be (-1)/3 - 2/(-6). Suppose 0 = 2*k + 4*u - 30, -k + z*k + 4*u = -9. Is k a multiple of 6?
False
Suppose 0*a - 2*a = 3*q + 226, -a + 2*q = 106. Let p = -32 - a. Is p a multiple of 25?
False
Let t be -12*2*(-8)/(-6). Is 5 a factor of -39*(t/12 + 2)?
False
Let h = 0 - -13. Is 13 a factor of h?
True
Let p be -2 - (-2)/(-2)*-4. Is p/(-2) + -1 + 86 a multiple of 21?
True
Let r be (-2)/(-10) - (-3)/(-15). Suppose r = 3*b - 15 + 3. Suppose 0 = b*i + 4, -2*d + 4*i + 16 = 2*i. Does 7 divide d?
True
Let b = -10 + 12. Let v = b - -20. Is 10 a factor of v?
False
Let p(h) = 8*h**2. Is 12 a factor of p(2)?
False
Suppose -q + 118 = q. Suppose -5*o = -394 + q. Does 12 divide o?
False
Let i(b) = -b**3 - 10*b**2 - 2*b - 1. Let f(o) = -2*o**2 + o. Let a be f(-2). Let d be i(a). Let u = d - 7. Is u a multiple of 6?
True
Let k(f) be the first derivative of 19*f**2/2 - 1. Suppose 3 = 3*u - 0. Does 12 divide k(u)?
False
Let q(l) = -l - 4. Let x be q(-4). Suppose 3*c = 5*j - x*j - 148, 5*j = -3*c + 172. Does 16 divide j?
True
Let m = 149 + -101. Is 18 a factor of m?
False
Let b = -6 + 98. Suppose 0 = -2*a - g + b, -3*g = 3*a - 4*a + 39. Is 15 a factor of a?
True
Suppose 26*s - 21*s - 1025 = 0. Is 41 a factor of s?
True
Let r(h) = h**3 + 6*h**2 + 3*h - 3. Let o be r(-4). Suppose -8 - o = -5*m. Suppose 6*u - 75 = u + 2*g, 75 = m*u + 4*g. Is 12 a factor of u?
False
Let i = 6 + -2. Suppose -j - 2*g + 7*g = -64, 5*j + i*g - 204 = 0. Is 22 a factor of j?
True
Suppose 4*g = c - 12, 0 = -2*c + g + 5 + 5. Suppose 25 = c*z - 3*z - j, -5*z - 5*j = -85. Is z a multiple of 7?
True
Suppose -2*i + 6*i = -3*w + 130, -i + 80 = 2*w. Does 12 divide w?
False
Is 7 a factor of (-2 - -3) + 6 + 0?
True
Suppose -5*k + 0*k - 1385 = 0. Let y = 182 + k. Let u = -44 - y. Is 18 a factor of u?
False
Suppose -8 = 5*m - m. Let v be -1 - 162/(6/m). Suppose -4*c + v = r, 3*r = 5*c - r - 40. Is c a multiple of 6?
True
Let y = 4 - 1. Suppose -q - v = -34, -y*v = -2*v. Does 9 divide q?
False
Does 18 divide (2 + -47)*(-52)/65?
True
Let z be 30/(-25)*20/3. Does 11 divide 44/z*6/(-3)?
True
Let m(d) = 52*d**3 + 2*d**2 - 5*d + 4. Does 14 divide m(1)?
False
Suppose 2 = -2*o, 0 = -3*m + 5*o - 16 + 123. Is 7 a factor of m?
False
Suppose 5*f = 5*g + 125, 5*g = -5*f - 0*g + 155. Is f a multiple of 7?
True
Let t(r) = 4*r**3 - r. Let u be t(1). Suppose -4*f + u*w - w = -34, -4*f + 5*w + 49 = 0. Is 8 a factor of (f/(-5))/(2/(-15))?
False
Let t(p) be the first derivative of -5*p**2 - p + 4. Let a(m) = 2*m**3 + m**2 + 2*m + 1. Let k be a(-1). Is 19 a factor of t(k)?
True
Let h = -111 + 161. Does 13 divide h?
False
Let r = 67 - 36. Is r a multiple of 8?
False
Let o(d) = -4*d**3 + 3*d**2 - 2*d + 6. Let h(a) = -a**3 - a**2 + a - 1. Let v(r) = 3*h(r) - o(r). Is v(6) a multiple of 17?
False
Let i = -1 - -4. Suppose -i*b + 10 = 2*y, 22 = b + 2*b - y. Suppose -2*j = -b*j + 108. Is 10 a factor of j?
False
Let j be -1*(-4 + 3)*1. Suppose -y = -5 - j. Is 2 a factor of y?
True
Let d = 24 - -2. Does 13 divide d?
True
Let z be -2*2/(-4)*0. Suppose z*h = -4*k - 2*h + 12, 0 = 3*k - 4*h - 31. Does 3 divide k?
False
Let l(u) = u**3 + 11*u**2 - 11*u + 6. Let p be l(-12). Let n = 35 + p. Does 10 divide n?
False
Let p(i) = 8*i**2 + 2*i - 3. Is 13 a factor of p(-3)?
False
Does 7 divide 169/4 + 9/12?
False
Suppose 0 = -2*d + 2, -12 = -w - 0*d + d. Is 2 a factor of w?
False
Suppose -4*u + 3*d + 30 = -0*u, -4*d = u + 2. Let q(i) = 2*i - 1. Let b be q(u). Suppose 2*l - 23 = b. Does 7 divide l?
False
Let x be 1*(-11 - (-1 - 1)). Is 7 a factor of x/(-6)*(-40)/(-6)?
False
Let t = -3 - 9. Does 15 divide ((-8)/t)/((-4)/(-126))?
False
Let t(y) be the third derivative of y**4/24 + y**3/3 - 2*y**2. Let z be t(3). Suppose 3*l - z*m - 86 = 0, 4*l + m - 144 = 9. Is l a multiple of 15?
False
Let i(c) = c + 5. Let a = -10 - -2. Let f be i(a). Let o(z) = -6*z - 1. Does 13 divide o(f)?
False
Let c(n) = n**3 - 6*n**2 - 5*n + 4. Let l be -2 + 10/1 - 1. Suppose 2*k + l = 3*k. Is 9 a factor of c(k)?
True
Let l(f) = -f**2 + 8*f + 2. Let z be l(8). Suppose 0*d + 58 = d + 4*t, z*d = -3*t + 111. Is d a multiple of 18?
True
Let p(y) = -y**2 + 8*y - 9. Let r be p(6). Is r/6 - 34/(-4) a multiple of 4?
False
Let u be -41*5 - 1/1. Let h = -98 - u. Is (-3)/(-15) + h/10 a multiple of 6?
False
Suppose 2*f - 300 = -2*j, -f = 2*j - 7*j + 744. Suppose -2*c + j + 13 = 0. Let s = c - 53. Is s a multiple of 14?
True
Let v = 6 + -6. Suppose 4*s - 2 = 2*s, v = -f + s + 2. Is 3 a factor of f?
True
Suppose -3*u = -101 - 58. Is u a multiple of 7?
False
Suppose 0 = -8*j - 126 + 1046. Is 23 a factor of j?
True
Suppose 10*j + 9*j - 817 = 0. Does 7 divide j?
False
Suppose 2*r - f = -2, -5*f = r - 5*r + 2. Suppose -19 + 7 = 4*v. Is 2 a factor of r/v + (-12)/(-9)?
True
Suppose 56 = -2*x + 6*x. Does 14 divide x?
True
Let u(j) = j**3 + 10*j**2 - 15. Is u(-7) a multiple of 10?
False
Suppose 2*c = 406 - 64. Suppose -x = 2*x - c. Does 19 divide x?
True
Suppose 0 = 3*l - 3*g - 0 + 3, -2*l = 4*g - 28. Let b be (l/(-3))/((-1)/(-3)). Is ((-7)/b)/(2/24) a multiple of 9?
False
Suppose m + 24 = 2*a - 3*m, -3*a + 2*m = -24. Is a even?
True
Suppose 0 = 2*a + 3*a - 10. Suppose -2*z + 118 = -a*s, 3*z + 2*s + 0*s = 202. Is z a multiple of 19?
False
Let g be ((-16)/2)/((-6)/(-69)). Let r = g + 135. Is 16 a factor of r?
False
Let o(c) = 25*c + 1. Let n = 4 + -2. Does 16 divide o(n)?
False
Suppose 5*p - a = -62, 5 = -p - a - 5. Is 6 a factor of (-6)/(-4)*(0 - p)?
True
Suppose -q = 4*q - 55. Suppose 4*v = q + 181. Does 16 divide v?
True
Suppose f + 4*f = 15. Suppose f = u - 2. Suppose u*v - 13 = 107. Is 14 a factor of v?
False
Suppose -v - 4*v = -65. Suppose 3*w + c = 28, -2*w + v + 19 = -2*c. Is 9 a factor of w?
False
Suppose -c - c - 6 = 0. Let f be c/15 + 39/(-5). Is 9 a factor of (18/f)/((-1)/4)?
True
Suppose -4*g = -c + 4, 4*g - c + 4 = 5*g. Let h = -2 - g. Is h/(-4) + (-102)/(-4) a multiple of 13?
True
Let y(c) = -2 + 4 - 11*c + 0. Does 24 divide y(-2)?
True
Does 11 divide (-163)/(-5) - (-24)/60?
True
Let u = 411 - 264. Is 21 a factor of u?
True
Let s(u) = 47*u**2 - 4*u + 7*u - 4*u. Let k be s(1). Let f = -28 + k. Does 12 divide f?
False
Let k be 8/(-5)*(-20)/8. Let g = k + -2. Is g/3 + 152/6 a multiple of 12?
False
Let h(w) = 10*w - 19*w - 2*w**3 - 15 + 10*w**2 + w**3 + 23*w. Is h(11) a multiple of 6?
True
Let t(j) = 11*j + 1. Is 14 a factor of t(5)?
True
Let a(r) = -r**2 + r - 4. Let n be (-81)/(-15) - 4/10. Let q be a(n). Is 15 a factor of (q/15)/((-1)/25)?
False
Let y(a) = 3*a**3 - a**2 - a + 1. Let q be y(1). Suppose -q*x = -6 + 16. Does 7 divide (5 - 10)*8/x?
False
Let i be (-1)/(-3) + (-86)/(-3). Suppose -5*v = -25, -r + 2*v = 4*r - 10. Suppose m = 4*b + i, 135 = r*m + 4*b - b. Does 16 divide m?
False
Suppose 0 = -m + 17 + 1. Does 9 divide m?
True
Let d be 176/(-10)*90/(-12). Suppose 0 = -x - 4*m + 44, -d = -3*x - m - 4*m. Is x a multiple of 27?
False
Let k = -594 + 1039. Does 32 divide k?
False
Suppose -4*y = -3*v + 46 + 1, 3*y = 12. Is 7 a factor of v?
True
Let n be 2 - (-3)/6*0. Suppose 3*s = -h + 38, 4*s - n*s - 21 = -5*h. Is 11 a factor of s?
False
Let x(v) = -v**3 - 7*v**2 - 2*v - 7. Let w be x(-7). Suppose 3*z + w = -t, 2*t - 4*t + z + 7 = 0. Suppose t*g + 10 = 42. Does 8 divide g?
True
Suppose 3*o = -2*o + 10. Suppose -3*l + 228 = 4*k - 0*l, o*k = 4*l + 114. Does 19 divide k?
True
Let x(d) = d**3 - 19*d**2 - 21*d + 28. Is x(20) a multiple of 5?
False
Let w(i) = i**3 - 7*i**2 + 7*i - 3. Let y be w(6). Suppose -y = -2*z + z. Suppose x - 3*h = 8, -x - h = z*h - 8. Is x a multiple of 3?
False
Let m = 19 + 13.