 - h + 117, b + 3*h = 3*b - 89. Is 14 a factor of b?
False
Let f(d) = -3*d - 2 - d + 3*d**2 + 12*d. Let t be f(-3). Is 6 a factor of (2 + t/(-1))*31?
False
Let m(f) = 116*f**2 + f - 1. Is 45 a factor of m(-5)?
False
Suppose 0 = 4*j - 72 - 12. Let k = -19 + j. Suppose k*l = 3*l - 41. Is l a multiple of 13?
False
Let n(i) = i**2 - 13*i. Let z be n(13). Let v(k) = -k + 2. Let c be v(z). Suppose 2*w - 3*w - 9 = 4*d, c*d = -2*w + 6. Does 7 divide w?
True
Let k = 208 - -73. Let x = 6 + 192. Let v = k - x. Does 25 divide v?
False
Let x(f) = 7 - f - 5*f + 0*f - 5*f + 3*f**2. Does 11 divide x(4)?
True
Let t = -2 - 6. Does 5 divide -11*(4/6)/(t/60)?
True
Let i(v) be the third derivative of v**6/120 - v**5/10 + v**4/3 - 4*v**3/3 + 28*v**2. Does 21 divide i(6)?
False
Let y = 1 - -1. Let t(x) = -3 + 6 - 7*x**2 + 5*x + 9*x**y. Does 6 divide t(-3)?
True
Let r be ((-1)/(-1))/((-2)/18). Let b = r - -11. Suppose 5*i - 33 = b*i. Is 3 a factor of i?
False
Does 70 divide -10923*(-2)/15 + 14/(-35)?
False
Suppose -5*q + 4*j = -25, q - 19 = -j - j. Let z = -9 - -10. Does 14 divide q + 40 - (z + -3)?
False
Let j(u) = -u**3 + 11*u**2 - 3*u + 6. Suppose -170 = -2*k - 14. Suppose -5*h - 2*y + k = 30, -41 = -4*h + y. Does 19 divide j(h)?
True
Suppose -7 = 2*y + 5*f - 1, 4*f = 3*y - 14. Let z be (-1*(y + 73))/1. Let p = -39 - z. Does 13 divide p?
False
Suppose 6*j + 57 = 711. Is j a multiple of 3?
False
Suppose -4*q + 0 = -l + 2, -q + 5 = -3*l. Suppose -c + 4*b = -2*c - 17, -2*c + 5*b + 5 = 0. Is ((-13)/c + l)*105 a multiple of 21?
True
Suppose 2*t = 9 + 3. Is 14 a factor of (2112/110)/(t/20)?
False
Let u(c) = c + 7. Does 16 divide u(9)?
True
Let u = -6 + 9. Suppose 149 = u*w - 556. Suppose 4*a + 3*m - 290 = -2*m, -3*a + 5*m = -w. Is 15 a factor of a?
True
Let x = -145 + 150. Suppose 5*j = -5*p + 160, -4*j - x*p = -0*p - 128. Does 16 divide j?
True
Suppose -59119 = 5*l + 68721. Is 18 a factor of 2/13 + (l/(-26))/4?
False
Let l = 87 - 96. Let c(q) = 5*q**2 + 4*q - 4. Is 46 a factor of c(l)?
False
Suppose 980 + 314 = 2*x. Is x a multiple of 15?
False
Suppose -3*f + 5*f = -6, 4*f = 3*r - 1803. Is 8 a factor of r?
False
Let x(h) be the third derivative of h**4/6 + 11*h**3/6 + 5*h**2. Is 20 a factor of x(6)?
False
Let o = 257 - 133. Suppose -2*s = -342 + o. Is s a multiple of 21?
False
Suppose 2*l - 16 = -k, -4*l + 4*k + 0*k + 20 = 0. Let s be ((-52)/91)/((-2)/l). Suppose v + 2*v - s*u = 64, -5*v + 5*u + 100 = 0. Is 12 a factor of v?
True
Let h(s) = -s**3 - s**2 - 5*s - 3. Let p be h(-3). Let c = p + -13. Is c a multiple of 4?
False
Suppose -2*r + 6 = 2*u, -2*r + 4*u + 20 = 2*r. Suppose -5*q = 2*h - 280, h + r*h + q - 700 = 0. Is h a multiple of 34?
False
Suppose -2*a - 4*r - 19 = -1, -5*a - 4*r = 21. Let k be a*(-179 - (1 - 0)). Let z = -128 + k. Does 12 divide z?
False
Is 13554/102 + (-12)/(-102) a multiple of 11?
False
Let b(d) = -d**2 + 10*d - 3. Let j be b(7). Suppose -j + 10 = -l. Does 2 divide l?
True
Let m(v) = 14*v**2 + 25*v - 454. Is m(14) a multiple of 10?
True
Let r(f) = -16*f - 42 + 53*f + 30. Is r(3) a multiple of 11?
True
Let i(f) = 3*f**2 - 5*f + 5. Let w be i(-5). Let h = 181 - w. Suppose -3*l + h = l. Does 9 divide l?
False
Suppose 0 = 4*h - 6*h + 10. Suppose h*t + 27 + 108 = 0. Let b = t - -53. Is b a multiple of 26?
True
Let d be (1/1)/(-1)*4. Let g = 147 + -153. Is (-354)/(-18) - d/g a multiple of 7?
False
Suppose 5*c - c - 176 = 0. Let n be (4 + -3)*(5 - 1). Suppose -3*m + 78 = -r + n*r, -2*r - 4*m = -c. Is r a multiple of 10?
True
Suppose 72 = 2*q + 4*m, 0 = q - 3*m - 17 - 39. Is 5 a factor of q?
False
Let o be (-2*428/(-8))/(-1). Does 15 divide o/(-7) - 16/56?
True
Suppose 7*p - 4*p - 11 = 5*y, -4*p = y + 16. Is (4/12*p)/(2/(-62)) a multiple of 7?
False
Suppose 3*v = -2*k - 0*k + 3040, 5*k - v = 7600. Does 80 divide k?
True
Let z = 544 + -404. Is z a multiple of 7?
True
Let x(t) = -t**3 + 20*t**2 + 2*t - 33. Let a be x(20). Suppose 245 = -6*q + a*q. Does 28 divide q?
False
Let o be (-30)/(-6)*(-2 - -1 - -2). Suppose m + 460 = o*m. Is m a multiple of 23?
True
Let y(j) = 14*j**2 + 3*j - 10. Let m be y(5). Suppose -p - 95 = -5*f + m, -5*f + 450 = 5*p. Is f a multiple of 15?
True
Does 6 divide (-3)/((-4665)/666 + 7)?
True
Let s(y) = 4*y + 1. Let d be s(-1). Does 23 divide (-323 - -1)*d/6?
True
Suppose -7*v = -2*v + 4*p - 29, 5*v - 5*p - 20 = 0. Suppose v*i = -28 + 103. Does 6 divide (-124)/(-10) + (-6)/i?
True
Let j(n) = 29*n**3 - n**2 - 7*n + 9. Is 66 a factor of j(3)?
False
Suppose 3*o = -3*q + 1284, -2*o - 3*q + 6*q + 876 = 0. Is o a multiple of 48?
True
Let n = 147 - 111. Does 4 divide (-6 - -7) + n*2?
False
Suppose 0 = -2*s - 3*z - 2*z + 1519, -2*s = -2*z - 1540. Is 18 a factor of s?
False
Suppose -31 = 2*g + 55. Let h = -27 - g. Does 16 divide h?
True
Let y(b) = -8*b - 1. Let p be y(1). Let j(g) = -42*g - 6. Let c be j(1). Let o = p - c. Is 13 a factor of o?
True
Suppose 3*l - x = -3*x + 88, 5*l - 4*x = 110. Let f = 35 - 53. Let i = f + l. Is 8 a factor of i?
True
Let h(n) be the first derivative of -n**3/3 - n**2/2 - 2. Let q(r) = -r**3 + 5*r**2 - 6*r - 7. Let p(s) = -2*h(s) + q(s). Is 3 a factor of p(6)?
False
Does 8 divide 46*(0/1 + 9)?
False
Let t = -137 + 192. Suppose -w + t = 32. Is w a multiple of 5?
False
Let u be 2/(-7) - 176/(-28). Let b be (-14)/(-6) - 2/u. Is (-1 - -1) + b + 1 a multiple of 3?
True
Let v = -20 + 22. Let t = v + -4. Is 10 a factor of (14 - 3) + (-2 - t)?
False
Suppose 56 = -q + 2. Let l = 112 + q. Is 5 a factor of l?
False
Suppose -2*z - 2*r = -3001 + 311, 0 = -z + 5*r + 1321. Is 17 a factor of z?
False
Let j(l) = -l**3 + 16*l**2 + l - 17. Let g be j(16). Is 7 a factor of (-225 - -1)/4*g?
True
Let w(g) = 5*g**2 + 3*g + 6. Let i = 9 - 13. Does 10 divide w(i)?
False
Let b(a) = -4*a**3 + 8*a**2 + 13*a + 26. Is b(-5) even?
False
Let o = 1 - 4. Let m be o/(-1) + (40 - -1). Let c = m + -28. Is c a multiple of 15?
False
Suppose 0 = -2*o + 7*o - 30. Suppose -o*s + 9 = -15. Suppose -4*b - 1 + 9 = 3*q, s = -q. Does 5 divide b?
True
Let h = -9 - -8. Let r be h + 2 + (3 - 2). Let c(q) = 8*q + 2. Is 4 a factor of c(r)?
False
Suppose 0 = 4*s + p - 39, -s = -0*p - 4*p - 14. Suppose -5*a + s = -3*a. Suppose -g = l - 5*g + 2, 0 = a*g - 10. Is 6 a factor of l?
True
Let s(k) = 2*k**2 + 4 + 3*k - 54*k**3 - 104*k**3 - 8*k**3 + 2*k. Is s(-1) a multiple of 52?
False
Suppose 0 = -4*k - 0*k + 40. Suppose w = 2*w - k. Let f(p) = p**3 - 11*p**2 + 14*p - 6. Does 11 divide f(w)?
False
Let i(y) = y + 7. Let z be i(6). Suppose -7 - z = -2*a. Is 9 a factor of (-2)/5 + 94/a?
True
Let t = 137 - 54. Does 2 divide t?
False
Suppose -23*o - 34*o + 144837 = 0. Does 21 divide o?
True
Suppose 5*i + 30 = 5*x + 5, -5*i + 17 = 2*x. Suppose -710 + 98 = -x*j. Is j a multiple of 10?
False
Let l be ((-125)/(-15))/((-2)/(-42)). Suppose -8*f = -3*f - l. Is f a multiple of 5?
True
Let o(b) be the first derivative of b**5/60 + b**4/6 - b**3/3 - 2*b**2 + 3. Let z(p) be the second derivative of o(p). Is z(4) a multiple of 15?
True
Suppose -5*n + 300 = -5*k, -2*k - n + 6 = 126. Let o = 76 + k. Is o a multiple of 8?
True
Suppose -4*h = -2*h. Suppose h*n = -4*n + 4*w + 4, 3*w = 5*n - 9. Suppose -n*u = u - 108. Does 12 divide u?
False
Suppose 2*p = -3*b - 12, b - 5*p + 39 = -3*b. Is ((-16)/b)/((-24)/(-180)) a multiple of 3?
False
Suppose w - 110 = -97. Suppose -w*m = -18*m + 240. Is 12 a factor of m?
True
Let c = -120 - -123. Suppose -4*p + 819 = c*p. Is p a multiple of 26?
False
Let l = 1002 + -878. Is 58 a factor of l?
False
Let f(b) = 3*b**2 - 4*b - 102. Is f(15) a multiple of 13?
False
Suppose -3*d = k - 8, 3*k - 5*k + 7 = 3*d. Suppose 0 = d*z - 2*z - 5*g - 22, g + 10 = 3*z. Suppose 6 = -h - p + 25, -z*h + p = -53. Does 6 divide h?
True
Is 28490/11 - (-11 + 1) a multiple of 20?
True
Let y(r) be the second derivative of -37*r**3/3 - 18*r**2 + 38*r. Does 13 divide y(-4)?
True
Let m(h) = -4*h + 1. Let o(v) = v**3 + v**2 + 3. Let l be o(-2). Let i be ((l + 7)/1)/(-2). Is m(i) a multiple of 5?
False
Suppose -2*j + 3*q - 4 = 3, 4*q - 36 = -4*j. Suppose -j*k + 150 = k. Let p = k + 16. Is p a multiple of 8?
False
Let d = -29 + 21. Let w be 16/10 + d/(-20). Suppose 0 = -5*k - j - w*j + 172, -5*k - 5*j = -180. Does 11 divide k?
False
Let o(v) = 29*v**2 - 7*v - 1. Is 3 a factor of o(