ultiple of 8?
True
Let i(p) be the second derivative of -p**4/12 + 3*p**3/2 + 11*p**2/2 + 2*p. Is 11 a factor of i(8)?
False
Suppose -85 = -3*q + b, -3*q - 2*b + 105 = b. Let n(y) = -6*y**2 - y - 1. Let j be n(-1). Let m = q + j. Does 8 divide m?
True
Suppose 5*m + 7 - 22 = 0. Suppose m*i - 66 = 72. Does 23 divide i?
True
Suppose 48 = 11*q - 282. Does 5 divide q?
True
Let d(n) = -n**3 - 3*n**2 - n. Let o be d(-3). Suppose -5 = -l, o*l + 4 = 2*x - 3. Is x a multiple of 2?
False
Suppose 0 = 5*q + 6 - 41. Let k = 1 - q. Is (-10 - 2)*k/4 a multiple of 6?
True
Let z(r) be the third derivative of -r**4/6 + r**3/2 - 2*r**2. Is z(-3) a multiple of 15?
True
Let s(k) = 2*k**2 - 4*k - 6. Let b be s(-4). Let r = -24 + b. Is 18 a factor of r?
True
Let j be (-6)/(-12) + 126/(-4). Let t = j + 61. Does 15 divide t?
True
Suppose -3*l - l = -20, -2*u + 192 = -2*l. Is 29 a factor of u?
False
Let b(h) = h - 13. Let q be b(15). Suppose -4*u = -5*j + 250, q*j - 2*u - 100 = 3*u. Does 25 divide j?
True
Is (-4)/(-18) + ((-11300)/(-36))/5 a multiple of 20?
False
Let p = 21 - 12. Let d = -6 + p. Suppose -4*j - f = -26 - 124, d*j = -2*f + 110. Is 16 a factor of j?
False
Is 83/(0 + -2 + 3) a multiple of 4?
False
Suppose -4*d = -5*f + 32 + 15, -2*d = -5*f + 41. Is 2 a factor of f?
False
Let y(u) = 2*u**2 - 12*u + 1. Let s be y(8). Let r = s - 3. Is r a multiple of 10?
True
Let j = -87 - -169. Is 26 a factor of j?
False
Let w(u) = -6*u - 6. Let m(q) = -7*q - 7. Let t(v) = 5*m(v) - 6*w(v). Is 2 a factor of t(2)?
False
Let q = -9 + 25. Suppose 0 = 2*t - t - q. Is t a multiple of 8?
True
Suppose -2 + 10 = 4*n. Let z(p) = 2 + n + p**2 + 0*p + 5*p + 0. Does 10 divide z(-6)?
True
Let b = 4 + 0. Let v = 9 - b. Is 22/v + (-4)/10 a multiple of 4?
True
Let s(z) = 3*z**2 - 3*z. Is 15 a factor of s(3)?
False
Let f(x) = 2*x**2 + 6*x - 4. Is 5 a factor of f(-5)?
False
Let i(g) = g**2 - 14*g + 14. Is i(14) a multiple of 14?
True
Suppose 4*w - p - 6 = 5, -p - 9 = -3*w. Suppose n + 40 = 2*m, -3*n - 18 = -m - w*n. Suppose -m + 66 = 4*d. Is d a multiple of 11?
True
Let v(c) = c**3 - 3*c**2 - 4*c + 6. Let j be v(4). Suppose 0 = -k - 0*k - j. Is (-3)/k + 7/2 a multiple of 4?
True
Let q(z) be the first derivative of 2*z**3/3 + 5*z**2 + 9*z - 8. Is q(-6) a multiple of 7?
True
Let w(t) = 63*t**2 + t. Does 16 divide w(1)?
True
Let h = 4 - 10. Let k be (-2)/(2*3/h). Suppose f + 4*x - 2*x - k = 0, 2*f + x - 13 = 0. Does 5 divide f?
False
Let v(y) = 2*y**2 + 5*y - 6. Let s(n) = 2*n. Let b be s(4). Let z be (-50)/8 - (-2)/b. Is 14 a factor of v(z)?
False
Suppose 2*z + 34 = 3*z. Is 5 a factor of z?
False
Let a(v) = 7*v + 3. Let f(r) = 2*r**2 - 4*r - 1. Let h(u) = -2*u**2 + 4*u. Let g(c) = -3*f(c) - 4*h(c). Let y be g(2). Is a(y) a multiple of 10?
False
Let c be 10/3 - 8/(-12). Suppose g - 7 = -3*y, 0 = 2*g - 5*g - c*y + 21. Let v(x) = -x**2 + 8*x + 7. Is v(g) a multiple of 9?
False
Let a(n) = n**2 + 6*n - 7. Let t be a(-7). Suppose t = -0*x + 4*x. Suppose x = -5*b + b - 2*j + 108, 0 = -5*b - 2*j + 136. Does 14 divide b?
True
Let a(p) = -16*p + 3. Let x be a(-5). Let i = -3 - -3. Suppose 3*u + 12 = 0, x = 5*v + 3*u - i*u. Is v a multiple of 8?
False
Suppose 3*h - 14 = s, -2*s + h = 2*s + 12. Is (-1 - -2)*s + 14 a multiple of 12?
True
Suppose -f + 3*n = -3*f + 18, -42 = -4*f - 3*n. Is 3 a factor of f?
True
Suppose 3*v = -0*v + 6. Suppose v*y = -3*y - 20. Let j = 7 + y. Is j even?
False
Suppose -5*c = -t - 292 - 869, -5*t = 2*c - 459. Suppose -4*i - 28 = -c. Does 13 divide i?
False
Let v(n) = n. Suppose 3*f + 27 = 2*i + 2*f, 0 = -i + 5*f. Does 9 divide v(i)?
False
Suppose 0 = -3*p - 0*p + 27. Does 9 divide p?
True
Let h(z) = 2*z + 1. Let j be h(-1). Is 15 a factor of ((-30)/(-4))/(j/(-6))?
True
Suppose 0 = 3*t + 9, -4*y + 5*t + 2 = -13. Suppose -3*z + 0*q + 20 = 2*q, 5*q = 20. Suppose -z*g = -y*g - 44. Is 11 a factor of g?
True
Let f = 3 + -1. Does 11 divide 2*-11*(f - 3)?
True
Suppose -3*x + 4*p = 23 - 9, -2*p + 10 = 0. Suppose 0 = -x*a + 18 + 48. Suppose -6*u = -3*u - a. Does 8 divide u?
False
Let b be 212/7 + 8/(-28). Let r(t) = -3 - 3*t + b + 2*t. Is r(0) a multiple of 11?
False
Let h = 1 + 9. Let r = h - -1. Does 3 divide r?
False
Suppose -2*w + 41 = 2*y + 1, 4*y = -w + 14. Suppose -k + 7 = -d + w, 2*d - 40 = 4*k. Does 5 divide d?
True
Let c = 4 + -2. Let i(r) = -5*r**3 - 2. Let k(n) = -11*n**3 - 5. Let y(x) = c*k(x) - 5*i(x). Is y(2) a multiple of 8?
True
Let z(c) = -7 + 8*c - c**3 - 2*c**2 + 8*c**2 - 2 - c**2. Let h be z(6). Suppose -32 = -h*p - 5. Is p a multiple of 7?
False
Let x = -166 + 290. Is 11 a factor of x?
False
Let b = 222 - 38. Is b a multiple of 9?
False
Let i(f) = f**3 - 5*f**2 - 3*f - 8. Let o be i(6). Suppose y - o = 58. Is (2/4)/(2/y) a multiple of 6?
False
Suppose -4*p = -1 + 9, 0 = 3*v + p - 148. Is v a multiple of 16?
False
Suppose -2*d = -12 - 10. Let y(s) = s**3 - 11*s**2 + 7*s + 12. Let f be y(d). Let c = f + -53. Is 12 a factor of c?
True
Let y(c) be the second derivative of c**4/2 + c**2/2 - 2*c. Does 3 divide y(1)?
False
Let r = -7 + 11. Suppose -50 = 5*a - s - 349, -r*a = 5*s - 245. Is 9 a factor of a?
False
Let i(n) be the first derivative of -n**2 - 2 - 4*n + 2*n + 1. Does 4 divide i(-5)?
True
Let a(k) = -9*k - 5. Let z(h) be the second derivative of 5*h**3/6 + 3*h**2/2 + 2*h. Let n(c) = -4*a(c) - 7*z(c). Is 4 a factor of n(6)?
False
Let w be 1 + 39/9*3. Suppose 0 = 2*l + 2*m - w + 2, 0 = 5*l + m - 46. Is l a multiple of 5?
True
Let h(y) = y**3 - 5*y**2 - 3*y - 2. Let u be h(6). Let o = u - 6. Does 10 divide o?
True
Let a = -104 + 454. Is a a multiple of 25?
True
Let n(a) be the second derivative of 55*a**4/12 + a**3/3 - a**2/2 - 6*a. Does 28 divide n(1)?
True
Let z = -78 - -131. Is 12 a factor of z?
False
Let z(t) = 3*t**2 - 10*t - 3. Is z(4) even?
False
Let m = -5 + 0. Let i = 5 + m. Let h(y) = -y**3 + y**2 + y + 5. Does 5 divide h(i)?
True
Let q(i) = -2*i**3 - 2*i**2 - 3*i. Is 9 a factor of q(-2)?
False
Let g = -12 - -8. Let p = g - 1. Does 5 divide p/(1 - (-4)/(-2))?
True
Suppose -2*b + 5*b = 45. Suppose o = b + 16. Is o a multiple of 12?
False
Let k(h) = -2*h - 12. Let b be k(-10). Let x = 8 - b. Suppose x*w - w + 3 = 0. Is w even?
False
Let h be 2/5 + (-15)/(-25). Is 11 a factor of (h - 48)*1/(-1)?
False
Suppose 0 = -o - 3*h + 13, 0 = -5*o + h + 1 - 16. Let r = 5 + o. Suppose -r*c + 10 = -c. Is c a multiple of 2?
False
Let o(u) = -20*u + 4*u**2 + 14*u + 12*u. Let k = 0 + -4. Is 20 a factor of o(k)?
True
Let z(q) = -6*q**3 + q**2 + q + 1. Let p be z(-1). Let h(w) = -w + 10. Let m be h(7). Suppose 0 = s + 4*u - 16, -5*u + p = -m. Does 4 divide s?
True
Suppose 5*g = d - 171, -4*d = 8*g - 10*g - 612. Is d a multiple of 33?
False
Let w(r) = -r**2 + 10*r + 1. Does 8 divide w(8)?
False
Suppose 4*f = 3*f. Let c = -1 - f. Let d(a) = -16*a - 1. Is 15 a factor of d(c)?
True
Suppose q - 1 - 1 = 0. Suppose 0*j = -q*j + 12. Is ((-372)/18)/((-4)/j) a multiple of 17?
False
Let b(r) = -r**3 - r**2. Let o be b(0). Suppose 2*n - 17 - 3 = o. Suppose -3 + 22 = -p + 5*c, -2*c = -n. Is p a multiple of 6?
True
Let k = 11 + 1. Let s = -27 + k. Let i = -9 - s. Is 5 a factor of i?
False
Let w = 144 - -16. Is w a multiple of 31?
False
Let w(g) = g + 14. Let a be w(-9). Suppose 5 + 4 = 3*m - 3*y, -3*m + 9 = -a*y. Suppose 4*n - 158 = -5*j, -4*j - 4*n = -m*n - 133. Is j a multiple of 17?
True
Let y = 167 - 79. Is 8 a factor of y?
True
Let c be -1 - ((-105)/3 + -1). Let v(f) = -f - 2. Let w be v(-6). Suppose -2*i - 3*p = -0*i - c, -3*p = w*i - 61. Is 7 a factor of i?
False
Let v(g) = -g**3 - 8*g**2 - 10*g + 3. Let d be v(-7). Suppose h + 0*h = 4. Suppose 32 = 2*n + 3*l, 4*n = -h*l + d + 36. Is n a multiple of 8?
False
Let x = -131 - -184. Let g = -17 + x. Is 12 a factor of g?
True
Suppose 3*q = -15 - 120. Let w(o) = o**3 + 4*o**2 - o - 1. Let r be w(-6). Let u = q - r. Is u a multiple of 11?
True
Suppose 0 = -3*t - 27 + 6. Let m = -5 - t. Suppose -2*o + 3*o = 3*b + 16, -15 = -3*o - m*b. Is o a multiple of 3?
False
Let r(f) = 2*f + 9. Let c be r(-6). Let q = 7 + c. Does 4 divide q?
True
Suppose 2 + 14 = 4*v. Let z be (-1 - 3)*v/(-8). Suppose 0 = 4*w + z*d - 0*d - 76, 8 = 4*d. Is w a multiple of 18?
True
Suppose 0 = -3*k + 4*k - 6. Let u = k + -4. Is u even?
True
Suppose 0 = -a - 6 + 10. Suppo