f w?
True
Let z(w) = w**3 + 2*w**2 + 7*w + 1. Let h be z(-3). Is 9 a factor of (h + 2)/((-1 - -1) + -1)?
True
Let s = -100 + 1192. Let k be 2/(-7) + s/49. Let l = k + -19. Is l a multiple of 2?
False
Let v be (-6)/(-33) - (-5010)/33. Suppose -d - b = -5*b - 82, -2*b - v = -2*d. Let t = -42 + d. Does 8 divide t?
True
Suppose 3*z - 3*i - 2 = 34, 0 = 5*z - 3*i - 70. Let n be 2/3 + (-8)/(-6). Let h = z - n. Does 11 divide h?
False
Suppose -125 = 9*f - 953. Is 9 a factor of f?
False
Let m = -127 - -201. Suppose 2*c + 0*j - j = m, 0 = 5*c - 2*j - 184. Does 9 divide c?
True
Suppose -2*i - 4*u + 44 = 0, 3*i + 2*u + u = 60. Is 3 a factor of i?
True
Suppose 3*j + x - 2*x = 74, 3*x = 2*j - 40. Let w = -8 + j. Is w a multiple of 18?
True
Let p(l) be the second derivative of -l**5/20 + 3*l**4/4 + 3*l**3/2 + l. Let r be p(10). Let i(o) = o**2 + 2*o + 5. Is 22 a factor of i(r)?
False
Let z = -1536 + 1986. Does 9 divide z?
True
Let u(x) be the second derivative of x**4/6 - x**3/6 - 2*x**2 - x. Let p be u(5). Suppose -2*v - 4*d = -32, d - 84 = -5*v + p. Does 7 divide v?
False
Let y(a) = 96*a**3 + 4*a**2 - 3*a - 2. Is y(2) a multiple of 9?
False
Suppose 3*k - 10 = 2*z, 2*k + 0*z = -2*z. Suppose -a + k*s = -15, -70 = 3*a - 8*a + 5*s. Does 3 divide (24/14)/(a/91)?
True
Is 15 a factor of 6 + -9 + 6 - (-1 - 61)?
False
Suppose 0 = 2*y - f + 31, -41 = 5*y + 3*f + 20. Let g be (-4)/y + (-4688)/(-56). Is 16 a factor of (0 + g + 2)/1?
False
Suppose w + 1 = 2*w. Is 28 a factor of (w*94)/(28/42)?
False
Let o(z) = -z**2 + 10*z + 27. Let y(h) = 2*h**2 - 4*h + 6. Let x be y(3). Let d be o(x). Is 17 a factor of ((-1)/d)/(2/(-204))?
True
Let n(t) = 64*t**2 - 27*t + 72. Does 63 divide n(3)?
True
Suppose -42*j + 8932 = 16*j. Does 11 divide j?
True
Suppose -x + j + 3 = 0, 5*x - 4*j - 22 = -6*j. Is x/14 - (-4860)/189 a multiple of 10?
False
Let y(j) = j**3 - 8*j**2 + 16*j - 1. Let u be y(12). Let z = -341 + u. Suppose 4*f = 10*f - z. Is 16 a factor of f?
False
Let t be (-1)/(((-330)/(-47) - 3) + -4). Let o = 123 + t. Is 21 a factor of o?
False
Suppose -a - 2*y = -12, 4*a - 10 = -y + 3. Suppose -4*p - a*f + 2 = -106, -p - 3*f = -37. Is p a multiple of 9?
False
Let b = 83 - 6. Is 20 a factor of (b - 4) + 12/3?
False
Let r be 50 + (-2 - 6/(-2)). Suppose 34 = -3*q + q - z, 3*z = 3*q + r. Let w = 29 + q. Does 11 divide w?
False
Suppose -4*z = a - 2*z + 3, 0 = -4*a + 4*z + 12. Suppose 1 + 11 = -l. Let r = a - l. Is 8 a factor of r?
False
Let w(o) = -3*o - 25. Let k be w(-7). Let v = k + 46. Does 6 divide v?
True
Suppose 0 = 3*a - 7*a - 160. Let x = a - -64. Is 9 a factor of x?
False
Suppose j + 2*d - 156 = 0, j + 8*d - 152 = 4*d. Is 20 a factor of j?
True
Let w = -407 + 271. Is 3 + -1 - (-2 + w) a multiple of 35?
True
Suppose -s = -1, -2*f + 2*s = s - 239. Is f a multiple of 3?
True
Let k(y) = -2*y**2 - 13*y - 1. Suppose a - 3 = 2*m, 3*m = -2*a + 4 + 2. Suppose a*p - 2*n = -12, -5*p - 2*n + n = 33. Is k(p) even?
False
Suppose v + 9 - 33 = 0. Suppose 17*a = 20*a - v. Is a a multiple of 8?
True
Let s = -25 - -22. Let g be s*12*2/(-3). Let v = g - 13. Is 2 a factor of v?
False
Suppose -5*h + 6 = -2*h. Suppose -4*j + h*j + 4 = 0. Let c = j + 39. Is 11 a factor of c?
False
Suppose a = -a + 4*q + 14, -5*q = 0. Let h = -3 + a. Suppose h*g = 187 + 5. Is g a multiple of 7?
False
Let x = -1261 + 1423. Is 5 a factor of x?
False
Suppose 3*w = -0*w - 117. Suppose 133 = 2*x - 9*x. Let n = x - w. Does 3 divide n?
False
Let q(f) = -14*f**2 - 6*f + 8. Let w(g) = -5*g**2 - 2*g + 3. Let r(c) = 6*q(c) - 17*w(c). Let i be r(3). Suppose i = -o + 5*o - 72. Is 8 a factor of o?
False
Let h(n) = -11*n - 13. Let q be (-104)/39 - (-8)/(-6). Let g be q/(-3) + (-84)/9. Does 23 divide h(g)?
False
Let o = -7 - -7. Suppose 0 = -4*t + 2*w + w + 12, o = -2*t - 5*w + 32. Is (7/(-4))/(t/(-24)) a multiple of 2?
False
Suppose -6*b + 10*b + h + 55 = 0, -2*h - 5 = b. Is ((-51)/(-15) - 3) + (-1914)/b a multiple of 18?
False
Suppose 8*y = -9*y + 60180. Does 10 divide y?
True
Suppose -5 = -4*m + 7. Suppose -m*i + 8*i = a - 232, -6 = 2*a. Let h = 93 + i. Is 26 a factor of h?
False
Let m(r) = -r**3 + 12*r**2 + 5*r + 6. Is 14 a factor of m(9)?
True
Let y be 26/(-3) - 1/3. Let f(l) = l**3 + 7*l**2 - 4*l + 2. Let x be f(-6). Let n = y + x. Is n a multiple of 16?
False
Suppose p + 3 - 1 = 0. Is 4 a factor of -2 + 4 - (0 + p + -18)?
False
Let b(t) = -t**3 + 5*t**2 + 8*t - 7. Let u be b(6). Suppose 5*m - 364 = -j, u*j - 308 = -4*m - 0*j. Does 24 divide m?
True
Let t(i) = i**3 - 4*i**2 - 5*i - 3. Let w be t(5). Let s = -31 - -14. Is 7 a factor of -3 - (w + 3) - s?
True
Let f(m) = -34*m - 120. Is 10 a factor of f(-5)?
True
Suppose -8*h + 1364 = -436. Suppose -q + h = 82. Does 11 divide q?
True
Let m(o) be the first derivative of 4*o**2 - 14*o + 6. Is 26 a factor of m(5)?
True
Let w(l) = l**3 - 14*l**2 - 15*l - 13. Let o be w(15). Let x = o + 69. Is 14 a factor of x?
True
Let n(x) = -40*x - 223. Is 14 a factor of n(-8)?
False
Let f(g) = 13*g + 450. Does 6 divide f(0)?
True
Suppose -4*g + 2*g + 13 = -t, 0 = -5*g + 4*t + 40. Suppose -g*v + 72 = 4*n, 2*n = -v + 2*v + 30. Does 16 divide n?
True
Let c be 3 + 4 + (-4)/1. Let q(g) = 12*g**2 - 4*g + 9. Does 35 divide q(c)?
True
Suppose -i - 3*i = -0*i. Suppose -288 = -4*o - i*o. Is o a multiple of 31?
False
Suppose -3*b = s - 1, 2*s - 3*s = 4*b - 2. Let x = s - -28. Is 6 a factor of x?
False
Does 49 divide 4/24 + 19825/30 + 5?
False
Suppose -2*v - 145 = 29. Is -4 + v/(3 - 6) a multiple of 5?
True
Suppose 5*g - 2070 = 3455. Is g a multiple of 65?
True
Suppose 0 = -6*s - 4*s + 40. Suppose -5*c = -s*g - 6, -5*c - 5*g - 2 = -17. Suppose -4*n - 4*o + 228 = 0, -c*o + 218 = 5*n - n. Is n a multiple of 13?
True
Let b = -182 + 288. Let k be 1/((-606)/(-302) + -2). Let o = k - b. Does 15 divide o?
True
Let w(y) = 75*y + 152. Is w(4) a multiple of 28?
False
Let k(g) = -195*g + 15. Does 30 divide k(-1)?
True
Let s be (4 + -13)*(1 + -2). Let j = -4 + s. Suppose 4*o - 5*g - 68 - 76 = 0, 72 = 2*o + j*g. Is o a multiple of 24?
False
Let x be -10 + 12 + (2 - 4). Is 12 a factor of (4 - (4 - x)) + 12?
True
Suppose 0*l + 36 = -4*l. Let x be -2 + -2 + (1 - l). Suppose f = x*o - 3*o + 81, -9 = 3*o. Is f a multiple of 24?
True
Let j(a) = 4 + a + a**2 - 19*a - 5 - 5. Let q be j(10). Let d = q - -196. Is 29 a factor of d?
False
Suppose 32 = -2*z - 40. Is (-8)/z + 356/18 a multiple of 13?
False
Does 89 divide (-8)/(-44) - 237902/(-154)?
False
Let o(z) = -4*z**3 + 5*z**2 + 4*z + 3. Let f(k) = 11*k**3 - 14*k**2 - 12*k - 9. Let l(a) = -3*f(a) - 8*o(a). Is 6 a factor of l(-3)?
True
Let m(u) = 9*u + 17. Let p be m(12). Suppose -3*g + 2*g - 5 = 0, -5*l - g - p = 0. Does 20 divide (-270)/l*16/3?
True
Suppose -f - 60 = 4*f. Let n = 32 + f. Suppose n + 55 = 5*s. Does 6 divide s?
False
Let q be 21/((48/44)/4). Suppose 3*c - q - 130 = 0. Does 23 divide c?
True
Suppose -8*s + 21 = -27. Is s even?
True
Suppose -14*q = -13*q - 58. Let b = q - 16. Is 6 a factor of b?
True
Let p(x) be the first derivative of 15*x**4/2 + x**2/2 + 8. Is p(1) a multiple of 13?
False
Suppose -3*a = -2*a - 6. Let t(h) = 5*h - 1. Does 9 divide t(a)?
False
Let r = -9 + 16. Let f = -6 + r. Suppose 5*l - 81 = -f. Does 16 divide l?
True
Let g(j) be the second derivative of 17*j**4/4 + j**3 - 7*j**2/2 - 7*j. Is 25 a factor of g(1)?
True
Let h(y) = -86*y + 138. Does 33 divide h(-3)?
True
Suppose -44*i = -41*i - 216. Does 20 divide 15813/i - (-3)/8?
True
Suppose -6*p + 3*p = 9, -2*j - p - 123 = 0. Let v = 64 + j. Does 2 divide v?
True
Let q = 46 + 1. Let h be (-12)/9*42/4. Let k = h + q. Is 11 a factor of k?
True
Suppose 0 = v - 4*v - 4*o + 196, 5*v - 292 = 2*o. Does 6 divide v?
True
Let w be (-4)/((-4)/((-16)/2)). Is 5/(100/w) - 94/(-10) a multiple of 3?
True
Is 17 a factor of 6/10 + 6096/40?
True
Let q(c) be the second derivative of 0 - 1/3*c**3 - 10*c - 4*c**2 + 1/6*c**4. Is q(4) a multiple of 16?
True
Let r(c) = c**2 + 26*c + 50. Does 2 divide r(-26)?
True
Let b(u) = 6*u**3 + u**2 - 2*u + 15. Let q(f) = 4*f**3 + f - 2. Let d be q(1). Is 12 a factor of b(d)?
True
Suppose x + 5*j - 8 = 0, 4*x - j + 4*j = -2. Does 3 divide (4 - 7)/(x - 18/(-10))?
True
Suppose -3*r = -5*z - 89, 86 = 2*r + 6*z - 4*z. Does 19 divide r?
True
Is 9 a factor of ((-1255)/10 + 4)/((-39)/5