c(w) = -w**3 + 11*w**2 - 10*w + 2. Is c(7) a multiple of 16?
True
Let w(c) = -3*c - 2. Let p be w(-2). Let l = -2 + p. Does 2 divide l?
True
Let i be (-1)/2*-2 - -1. Suppose -122 = -5*j - i. Is j a multiple of 24?
True
Let w(d) be the third derivative of -d**6/120 - 7*d**5/120 + d**4/12 - 3*d**2. Let x(g) be the second derivative of w(g). Is x(-5) a multiple of 13?
False
Let q be 1*-1*(-6)/(-1). Suppose 3*c - j - 178 = 0, 4*j - 248 = -2*c - 2*c. Is 8 a factor of (c/5)/(q/(-4))?
True
Suppose 2*x + 3*x = -5*u + 85, 0 = 2*u - 2*x - 22. Let n(h) = 2*h + 6. Is n(u) a multiple of 10?
False
Suppose 0 = -u + 2*u - 4*q + 10, 2*u - 5*q + 8 = 0. Let n(g) = -2*g**2 + 8*g + 4. Let b be n(u). Is (-552)/b - (-4)/10 a multiple of 14?
True
Let j(g) = g + 2. Let p be j(5). Let o be 411/p - (-12)/42. Let r = o - 37. Is 11 a factor of r?
True
Let p be 30 - 0 - (2 + -2). Let c = 52 - p. Is c a multiple of 11?
True
Let h(r) = -r**3 + 7*r**2 - 3*r. Is 10 a factor of h(5)?
False
Suppose -27 = -5*t + 3. Let q = t + -3. Suppose g - 10 = -4*s + q, -49 = -3*g - 2*s. Does 17 divide g?
True
Suppose -34 = -5*f - 4*q, -3*f = -7*q + 4*q - 15. Let h(z) be the first derivative of -z**4/4 + 7*z**3/3 - 3*z**2 + 6*z - 3. Does 6 divide h(f)?
True
Let h be -29 + 0 + 1 + 0. Let s be ((-4)/6)/((-1)/75). Let d = s + h. Does 22 divide d?
True
Suppose -186 = -2*f + 5*y, -3*f + 4*y + 184 = -f. Is f a multiple of 26?
False
Let i(o) = -o**3 + 7*o**2 - 6*o + 4. Suppose 4*b = 5*w + 35, -w - 22 = -5*b - 2*w. Is 10 a factor of i(b)?
False
Let q(h) = 10*h**2 + 2*h**3 + h**3 - 2*h**3 - 12 - 6*h + 2*h. Let v be q(-10). Suppose 7*n - 3*n = -4*l + v, 3*l - 5*n = 13. Is 6 a factor of l?
True
Suppose 10 = n - 4*h, n - 3*n + 40 = 2*h. Suppose 8 = -2*k + n. Is k a multiple of 4?
False
Suppose 0 = -4*u - 2*v + 1939 - 375, 0 = -4*u - 4*v + 1568. Is 39 a factor of u?
True
Let l = -9 - -44. Is l a multiple of 3?
False
Suppose -3*l = -l - 16. Suppose -j + 5*f - 75 = -0*f, -2*f + l = 0. Is 11 a factor of (2/(-5))/(1/j)?
True
Let h = 302 - 182. Does 51 divide h?
False
Let f be 4/1*(-3)/(-6). Suppose 24 = -f*g + 3*g. Does 11 divide g?
False
Suppose 5*y + 2*k = -37, 0 = -y - 2*k + 7*k - 29. Let o = -7 - y. Is -3 - (o - 5 - 10) a multiple of 4?
False
Suppose -5*f + 25 = 0, 0*f = 3*s + f - 11. Suppose -v - 3*d - s*d = -7, 0 = -3*v + 3*d + 3. Is ((-19)/(-4))/(v/8) a multiple of 7?
False
Suppose -3*i + 8 = -19. Let f = -22 + i. Let v = 31 + f. Is v a multiple of 18?
True
Let q(r) be the first derivative of r**4/12 - r**3/6 - r**2/2 + r - 1. Let y(j) be the first derivative of q(j). Is 11 a factor of y(4)?
True
Let t be (44 - 1)/1 - 0. Let h = t + -24. Let x = h - 4. Is 12 a factor of x?
False
Let h(s) be the first derivative of -s**3/3 + 3*s + 4. Let p be h(0). Suppose -j = a - 4*a - 29, 66 = p*j - 2*a. Is 8 a factor of j?
False
Let p(s) = s**2 - 5*s - 10. Let a be p(7). Let n(k) = 8*k - 8. Let g(t) = 9*t - 9. Let q(c) = -5*g(c) + 6*n(c). Is q(a) a multiple of 5?
False
Suppose 0 = a - 4, -20 = g - a - 3*a. Let d = -5 - g. Does 6 divide 2 + ((-4)/d - 0)?
True
Let b(j) = 2*j**2 - 2. Let c be b(2). Is 10 a factor of (31 - c)*4/10?
True
Suppose -q - 4*m - 32 = 2*q, 4*q + 22 = 5*m. Let i be 8 - (q/(-2) + -1). Suppose i*z - 17 = 18. Is 7 a factor of z?
True
Let u = 94 - 65. Does 3 divide u?
False
Suppose -2*d - 18 = -4*d. Let z = d + -5. Does 22 divide 796/18 + z/(-18)?
True
Suppose 0*m + 400 = -5*m. Let r be 831/(-15) + 4/10. Let v = r - m. Is v a multiple of 11?
False
Let a(k) = -4*k**3 - 14*k**2 - 15*k - 9. Let i(d) = 5*d**3 + 15*d**2 + 16*d + 8. Let x(f) = -6*a(f) - 5*i(f). Is 12 a factor of x(10)?
False
Let m be (0 - (-4)/2) + -2. Suppose -5*y + 210 = 5*o, m = -4*y - 4 + 24. Is o a multiple of 14?
False
Suppose -4*j = 2*u + 334, -136 + 551 = -5*j - 2*u. Let z = 117 + j. Is z a multiple of 15?
False
Suppose 3*f + 0*n = n + 7, 3*f + 3*n - 15 = 0. Does 15 divide (f + -1 - -3)*3?
True
Suppose 5*a - 3 = 17. Suppose -3*m + 0*m - a*k = 20, -m = -k + 9. Is 2 a factor of (-17)/(-3) - m/(-12)?
False
Suppose 0 = -4*z + 3*r + 4, 0*z - 2*r = -4*z + 8. Let h = 8 - z. Suppose -3 = -5*t + h*t. Is 3 a factor of t?
True
Suppose -2*f = 2*w - 16, f = -5*w - 2*f + 48. Is w a multiple of 4?
True
Let j be 5/7 - 2/(-7). Let p be j/(-3) + 555/(-9). Let f = p + 94. Does 16 divide f?
True
Let t be (-537)/(-18) + (-1)/(-6). Suppose -f + 2*d = f - t, 4*d = -12. Does 5 divide f?
False
Let c(d) = -d**3 + 6*d**2 + 8*d + 8. Let z be 40/6 - 1/(-3). Is c(z) a multiple of 15?
True
Let z = -9 + 15. Suppose -u - 10 = -z*u. Suppose 0*n = u*n - 80. Is 20 a factor of n?
True
Suppose 4*w = 5*t - 16, -3*w + 2*t = w + 4. Suppose -5 + w = -q. Suppose -25 = 5*b, -3*x - q*b + 46 = -9*b. Is 7 a factor of x?
True
Let l = -9 - -10. Suppose 0 = -3*y + l + 56. Is 19 a factor of y?
True
Suppose 0 = -2*a + 5*g - 0*g + 13, -2*g = -5*a + 22. Suppose -a*f + 3*u + 57 = 0, -2*f - 4*u + 6*u + 30 = 0. Let j = f - -13. Does 11 divide j?
False
Suppose 3*f + 13 = -4*x, 3*f + 5 = 3*x - 1. Let v be (1 + 0 + -1)/x. Suppose 3*n - m - 4*m - 20 = v, n + 3*m = 2. Is n even?
False
Let p(x) be the first derivative of -x**2/2 + x + 9. Does 5 divide p(-9)?
True
Suppose 2*b - 26 = 46. Is b a multiple of 4?
True
Let l = -159 + 289. Let f = -58 + l. Is f a multiple of 18?
True
Suppose 0 = 4*x - 0*x + 3*r - 19, 3*x + 2 = r. Suppose h + 0 = -x. Is 0 + 3 - (-28 - h) a multiple of 17?
False
Let f(w) = -2*w + 6. Let t be f(4). Is 7 a factor of (-8)/(-6)*(-39)/t?
False
Let u = -36 - -60. Does 8 divide u?
True
Let v(u) = -u**3 - 5*u**2 + 31*u + 5. Is v(-10) a multiple of 13?
True
Suppose 3*r - o - 28 = 0, -3*r - 4*o - 49 = -8*r. Is r even?
False
Let k(q) = q**2 + q - 2. Let s(j) = j + 13. Let c be s(-10). Let a be k(c). Let g = a - 6. Is 3 a factor of g?
False
Suppose -m - 3*y + 78 = 0, 49 = 2*m + y - 122. Suppose 0 = -4*s - 2*f - 103 - 13, m = -3*s + 2*f. Let l = 56 + s. Is 15 a factor of l?
False
Let g(u) = -21*u - 40. Does 20 divide g(-10)?
False
Let j(v) = v**3 - 4*v**2 + 2*v + 2. Let z(y) = -y**2 + 3*y - 3. Let q be z(2). Let n = q - -5. Is 7 a factor of j(n)?
False
Suppose -2*v + 2*s + 104 - 36 = 0, -v - 3*s + 14 = 0. Is 7 a factor of v?
False
Suppose f = -4*f - 4*r + 227, 0 = 3*f + 3*r - 138. Is 16 a factor of f?
False
Suppose 5*c + m = 11, -19 + 8 = -c + 2*m. Suppose 2*v + 1 = c. Let i = 8 + v. Is i a multiple of 9?
True
Is 14 a factor of 1376/14 - (-6)/105*-5?
True
Let c = 4 + 0. Suppose c*q - q = 18. Is q a multiple of 3?
True
Let u = 34 + -26. Is 2 a factor of u?
True
Let m = -14 + 18. Suppose 0 = f, v + m*v - 40 = 2*f. Is 3 a factor of v?
False
Suppose -90 = -6*a + a. Let b be -2 + 2 + 8*1. Let m = b + a. Is 13 a factor of m?
True
Let r be 0/(1*2) - -42. Let m be (-4)/((-3)/(-9)*-3). Suppose m + 4 = n + y, -4*n + y = -r. Is n a multiple of 5?
True
Let o = 3 - -1. Is 4 a factor of o?
True
Let k be (-10)/15*6/(-1). Let r = 4 + k. Is 8 a factor of r?
True
Let z = -2 - -1. Let k be ((-52)/12)/(1/(-12)). Is 13 a factor of (-3)/(46/k + z)?
True
Let o(q) be the first derivative of q**3/3 - 5*q**2/2 - 3*q + 2. Let j be o(6). Suppose j*n - 24 = 3. Is n a multiple of 5?
False
Suppose 2*a - 14 = 5*s, -2*a + 0 - 4 = 4*s. Let v be -2 + -2*(-1)/2. Is 16 a factor of 33 - ((4 - a) + v)?
True
Suppose i - 17 = 3*s + 1, -4*s = i + 10. Let j(q) = -q**2 + 8*q + 4. Let v be j(i). Is (0 + 2)/(2/v) a multiple of 14?
False
Let o(b) = 2*b**2 + b - 1. Let z be o(1). Does 3 divide (-24)/(-10)*5/z?
True
Suppose 60 = 9*g - 4*g. Is g a multiple of 12?
True
Suppose -4*l = 3*h + 1 - 0, 2*l + 5*h + 11 = 0. Let q be (-3)/(-2 - -8)*-6. Suppose -q*y + 19 = -l*y. Is 14 a factor of y?
False
Suppose -76 = -2*m + 48. Does 31 divide m?
True
Let l(y) = 6 - 5*y + 0*y - 4*y + 0*y. Is 15 a factor of l(-5)?
False
Suppose 4*q = 5*x - 0*x - 21, 5*q - x = -21. Let k = q - -8. Does 4 divide k?
True
Let s be 9/12*-22*-2. Suppose 0*w = w - 55. Let f = w - s. Is 13 a factor of f?
False
Suppose -390 = -2*m - 3*m. Is 13 a factor of m?
True
Suppose -2*p + 3 = -1. Let v be 2*1/(0 - p). Let h(w) = 13*w**2 - w. Is h(v) a multiple of 11?
False
Is 12 a factor of 4/18 - ((-6906)/27 - 4)?
False
Let g = -9 - -7. Does 16 divide (2/(-4))/(g/372)?
False
Suppose -3*p - 2 = m, 0*p = m - 3*p + 2. Does 18 divide 6*m/4*-6?
True
Suppose m + 2*q = 18 + 8, -