o + 192. Suppose 0 = -4*q + o - 36. Is 13 a factor of q?
True
Let m(b) = 10*b + 1. Suppose 5*y + 5*r = 3*y - 14, 5*y - 19 = r. Does 26 divide m(y)?
False
Let c(b) be the first derivative of 9/2*b**2 - 7*b - 1/3*b**3 - 2. Is c(7) a multiple of 5?
False
Let f(a) = -a**2 + 19*a - 18. Let z be f(19). Let c be 241/(-9) + (-2)/9. Does 6 divide (-4)/z + (-318)/c?
True
Let p(f) = f**3 - 3*f + 3. Let j be p(2). Suppose -21 = -j*h + 4*s, 2*h + 4*s = -0*s + 14. Suppose 19 = -4*v + 2*v - h*t, v = 5*t + 28. Is 3 a factor of v?
True
Let y be 146/12 + (-8)/48. Let z(p) = -p**3 + 11*p**2 + 14*p - 2. Is z(y) a multiple of 11?
True
Let h(v) be the third derivative of -v**5/60 - 5*v**4/12 + v**3/6 - 4*v**2. Let y be h(-7). Suppose -4*j + 2*z + 10 = 0, 3*j + 5*z = 5 + y. Is 4 a factor of j?
True
Let f(p) = -p. Let w(y) = -y**3 + 4*y**2 - y + 5. Let i be w(4). Let v(x) = -6*x - 3. Let r(l) = i*v(l) - 18*f(l). Is 15 a factor of r(2)?
False
Suppose -36 = -4*i - 5*q, -3*q - q - 2 = i. Does 7 divide i?
True
Let y = 3 - -29. Suppose 2*n = 102 - y. Does 15 divide n?
False
Let j = 31 - 67. Let p = j + 72. Is 18 a factor of p?
True
Suppose -f - 4*i + 204 = 0, -i - 179 = -0*f - f. Suppose -2*w + 6*w = f. Let m = w - 22. Is m a multiple of 10?
False
Let w(n) be the second derivative of 0 - 2*n + 3*n**2 + 1/6*n**3. Is w(-3) a multiple of 3?
True
Let z(g) = g**2 + 2*g + 2. Let r(i) = 4*i**2 + 8*i + 8. Let h(c) = -2*r(c) + 9*z(c). Let x be h(-2). Suppose -x*l + 68 = 2*l. Does 8 divide l?
False
Suppose -5*v = 2 - 7, -v = -3*r + 17. Let p = 0 + r. Does 2 divide p?
True
Suppose 2*d + 9 = -5*p + d, -3*d + 7 = -2*p. Let y be (-9 - p)*(-6)/21. Is (2/y)/(2/24) a multiple of 6?
True
Let k(g) = 27*g**2 - g. Does 13 divide k(-1)?
False
Let x = -8 + 11. Let u(y) = 5*y + 5*y**2 - 2*y + 2*y**x - y**3. Is u(-4) a multiple of 4?
True
Suppose 4*v - 7 = -2*a + 25, 5*v + 5 = 5*a. Suppose 265 = a*s - s. Does 17 divide s?
False
Let d(y) = -y**2 - 4*y - 1. Let u be d(-4). Let p be (3*(u + 3))/(-2). Does 12 divide (-14)/(-21) - 97/p?
False
Suppose 0 = g - 6*g - 2*r + 13, g - 3*r + 11 = 0. Is 6 a factor of 12/(-1)*g/(-1)?
True
Let r = 5 - 5. Does 5 divide (r - (-1 - 0))*10?
True
Suppose -6*y + 337 = -41. Is y a multiple of 21?
True
Does 18 divide ((-308)/(-5) - 1) + 32/80?
False
Let y = -1 + 3. Suppose y*b = a - 89, -4*b + 8*b = -2*a + 146. Is 32 a factor of a?
False
Let x = -3 + 5. Let i = x - -2. Does 7 divide i/10 - (-66)/10?
True
Let g(f) be the second derivative of f**5/20 + f**4/6 - f**3/6 - f**2 - 4*f. Let t be g(-2). Is -1 + -1*(t - 23) a multiple of 22?
True
Let q = 38 + -10. Is 3 a factor of q?
False
Let z(b) = -16*b - 2. Let y be z(-2). Suppose -y - 20 = -g. Is 25 a factor of g?
True
Suppose w - 4*v + 84 = 0, -w - 104 + 20 = -5*v. Let d = -10 - -16. Is (d/8)/((-3)/w) a multiple of 14?
False
Let d(t) = 19*t + 8. Let m be (4/5)/(-2)*-10. Is d(m) a multiple of 21?
True
Let n = 66 - 22. Is n a multiple of 18?
False
Let g = 121 - 69. Suppose j + g = 2*j. Is j a multiple of 26?
True
Does 3 divide (-34)/(-4) - (-2)/(-4)?
False
Let a(w) = w**2 - 10*w - 9. Let k be a(11). Suppose k*f - 3*f = -13. Is f a multiple of 4?
False
Is 4/6 + 200/6 a multiple of 17?
True
Let n(d) = -3*d - 1. Let i(c) = -c + 6. Let s be i(7). Let q be n(s). Suppose 2*r - 4*r = q*y - 60, 3*y = -2*r + 93. Does 11 divide y?
True
Let c(s) = 6*s - 5*s + 5*s**2 - 2*s. Let d = -12 + 13. Is 2 a factor of c(d)?
True
Let q(k) be the first derivative of 3*k**2 + 2*k - 1. Let i = 8 + -6. Is q(i) a multiple of 7?
True
Let l(f) = 2*f**2 + 3*f - 3. Let m be l(-3). Let y(x) = -x**3 + 8*x**2 - 9*x + 3. Does 10 divide y(m)?
False
Let f(a) = -5*a**2 - 3*a + 4. Let h be f(3). Let s(l) = l**2 - l + 72. Let n be s(0). Let y = h + n. Does 11 divide y?
True
Let s = -16 - -26. Let w be (72/15)/(2/s). Suppose w = d - 0*d. Is 16 a factor of d?
False
Let p(c) = -c**3 + 4*c + 4. Let d be p(-2). Is 7 a factor of 3*9/(-3 + d)?
False
Let a(o) = 2*o**2 - 3*o + 4. Let u be (0 + 6)*(-1)/2. Is 8 a factor of a(u)?
False
Let l be 8/1 - (2 + 0). Suppose l - 42 = -2*c. Is c a multiple of 5?
False
Does 15 divide (-48)/2*(-6)/6?
False
Let m be ((-4)/6)/((-16)/(-1416)). Let d = 83 + m. Is d a multiple of 12?
True
Is 2 a factor of (8 - 0) + (-2)/1?
True
Let n(z) = -2*z**2 - z + 1. Let q be 11/3 + (-2)/3. Let d(o) = -5*o**2 - 2*o + 4. Let i(g) = q*d(g) - 8*n(g). Is 6 a factor of i(-4)?
True
Let k = 57 + -37. Is k a multiple of 14?
False
Let s(t) be the second derivative of t**4/2 + t**3/6 + t**2 - 27*t. Suppose 5*w = 2 - 12. Is s(w) a multiple of 12?
True
Suppose -3*g - 25 = -8*g, -3*g = -4*l - 23. Let v be 1/l*(1 - 5). Is 11 a factor of (2/v)/(4/44)?
True
Let m(i) = -i**3 - i**2 + 6. Is m(0) a multiple of 5?
False
Let g(a) = 3*a - 4. Suppose -4*w + 14 = -6*w. Let c be (w + 1)/((-15)/10). Is 6 a factor of g(c)?
False
Let b(w) = w**3 + 9*w**2 - 2*w + 13. Is 31 a factor of b(-8)?
True
Let o(w) = w - 11. Let j(l) = -l + 11. Let u(s) = -6*j(s) - 7*o(s). Is 2 a factor of u(8)?
False
Let b = 90 + -59. Suppose -83 + b = -2*c. Does 13 divide c?
True
Suppose -2*m - 9 = -3*m. Let y = -3 + m. Does 6 divide y?
True
Suppose -4*z - 3*m + 171 + 49 = 0, 5*z = -3*m + 272. Does 13 divide z?
True
Let x = 45 + -21. Suppose -8*f = -6*f - x. Is 11 a factor of f?
False
Is 12 a factor of (10/(-4) + 2)*-142?
False
Let m(l) = l + 1. Let b(y) = y**2 + 6*y. Let u(r) = -b(r) + 2*m(r). Let x be u(-3). Suppose 0*h = x*h - 190. Is h a multiple of 14?
False
Let o(q) = -6*q - 1 - 9*q + 2*q. Is o(-1) a multiple of 4?
True
Let q(w) = 54*w - 1. Let j(c) = 27*c - 1. Let z(t) = 5*j(t) - 3*q(t). Let s = -6 + 4. Does 18 divide z(s)?
False
Suppose -3*b + 8 = b. Suppose 0 = b*s - 24 - 18. Is 7 a factor of s?
True
Let w = 54 + -24. Is 9 a factor of w?
False
Let w = 7 - 16. Let v = -5 - w. Suppose v*x = 2*x + 52. Is 13 a factor of x?
True
Let g be ((-8)/(-6))/((-4)/(-84)). Let k be (-4)/(-10) - 2002/5. Is 11 a factor of (-2)/7 - k/g?
False
Let n = 28 + -1. Suppose -5*b + 4*f = -338, 165 = 2*b - 3*f + n. Is b a multiple of 11?
True
Is 442/6 + (-40)/(-30) a multiple of 49?
False
Suppose -6*w = -14*w + 1440. Is w a multiple of 10?
True
Let p(t) = -2*t**3 - 5*t**2 + t + 2. Let k(u) = 5*u**3 - u. Let j be k(-1). Is 19 a factor of p(j)?
False
Let g(t) = -t**3 + 5*t**2 - 4*t + 1. Let p be g(3). Suppose r = 3 + p. Is r a multiple of 5?
True
Is (-9)/3*(-48 + 6)*1 a multiple of 18?
True
Is 2 a factor of (-1)/((-76)/36 + 2)?
False
Let r be (2*-5 + -2)*-7. Is 16 a factor of r - (2 + 8/4)?
True
Let x = 9 - 83. Let f = -52 - x. Let c = f + -14. Is c a multiple of 7?
False
Let m(t) = -2*t**3 + 2*t - 4. Let l(d) = d**2 - 8*d - 3. Let k be l(8). Let v be m(k). Suppose 3*o = -2 + 11, -2*s = -4*o - v. Is 11 a factor of s?
False
Suppose 0*l - l = -3. Suppose l*o - u + 5*u - 50 = 0, 4*o + 3*u - 55 = 0. Is 10 a factor of o?
True
Suppose 3*g = 3*s + 15, 5*s + 0*s = g + 7. Is ((-184)/12)/(g/(-12)) a multiple of 11?
False
Suppose -57 = -5*g + 53. Does 19 divide g?
False
Is 1 - -22*5/((-30)/(-21)) a multiple of 12?
False
Does 10 divide 2/(-4)*(2 + -126)?
False
Let d = 17 - 15. Let v(l) = 2*l**3 - 2*l**2 + 2*l - 1. Is v(d) a multiple of 6?
False
Suppose 5*l - 2 = 3. Is (l + 11/1)*5 a multiple of 20?
True
Let u(l) = 7*l. Let a(h) = 78*h. Let p(s) = -6*a(s) + 65*u(s). Let x be (3/(-2))/((-3)/(-4)). Does 11 divide p(x)?
False
Suppose 3*u - 77 + 11 = 0. Let t = u + 11. Does 11 divide t?
True
Let w be -36 - 4/(1 - -3). Let s = -1 - w. Is s a multiple of 9?
True
Suppose -3*j = 2*w + 23, -3*j + w - 11 = -0*w. Let l = 8 - j. Does 11 divide l?
False
Suppose -3*r - 8 = -m + 5*m, -5*m - 10 = 0. Let v = 9 - r. Suppose v = -4*g + 81. Does 9 divide g?
True
Suppose -q - 27 = -65. Does 19 divide q?
True
Suppose -7*j + 3*j + 37 = 5*c, 3*j - 23 = c. Suppose -4*h + 0 = -j. Suppose 2*u + h*u = 64. Is u a multiple of 15?
False
Let t(a) = -6*a - 2. Let f(n) be the second derivative of -n**3 - n**2/2 + 2*n. Let j(r) = -5*f(r) + 4*t(r). Is j(2) a multiple of 9?
True
Let a(r) = 38*r**2 - 11*r + 10. Let d be a(7). Is 18 a factor of (-2)/(-10) - d/(-25)?
True
Let u(l) = 7*l**2 + l - 3*l + 4*l - 4 + l**3. Is 8 a factor of u(-6)?
False
Let r = -3 + 2. Let q be (r + 3/12)*4. Is 17 a factor of (-68)/q*12/8?
True
Suppose -q + y - 20 = 4*q, -5*q + 5*y = 20. Let r = q