 -5*j - 2*b + o = -34. Does 14 divide j?
True
Let r(f) be the third derivative of -f**6/120 + f**5/10 - f**4/6 + f**3/3 - f**2. Is 9 a factor of r(4)?
True
Suppose -5*q - 2*h = -h + 85, 2*q - h = -27. Let j = q - -44. Is 14 a factor of j?
True
Suppose -2*g + 62 = 2. Suppose s = 4*l + 29, -2*s + 5*l = -s - g. Is 25 a factor of s?
True
Let t be 93/(-2)*(-2)/(-3). Let s = t - -44. Is 9 a factor of s?
False
Let p = 238 - 102. Does 34 divide p?
True
Suppose 0 = -3*v - v. Suppose v = 4*y + 4*q - 12, 5*q + 0*q = -15. Does 3 divide y?
True
Let p(c) = 10*c**2 - 5*c + 2. Let z be p(-4). Let t = -117 + z. Is 17 a factor of t?
False
Let b(y) = -3*y - 1. Let c = -8 + 10. Suppose c*o + 3 = -1. Does 2 divide b(o)?
False
Suppose -2*x + 50 = -x. Suppose 8*g - 3*g = x. Is g a multiple of 5?
True
Let w = 87 - 12. Is 15 a factor of w?
True
Suppose z = 4, -8 = -b + z - 3. Is 9 a factor of b?
True
Let r(u) = -2*u**3 - 8*u**2 - 7*u. Is 8 a factor of r(-5)?
False
Let a = -3 + 1. Is 15 a factor of (a/(-3))/((-4)/(-180))?
True
Suppose 0 = -0*q + 3*q - 18. Does 2 divide q?
True
Let w be (-2 - 2/1)/(-2). Let s(h) = 4 + 3*h**2 + 2*h + h - w*h**2. Is 21 a factor of s(-8)?
False
Let z(j) = 6*j**2 + 2*j + 2. Suppose -4*u + 16 = 0, -4*f + 5*u = -0*f + 28. Does 7 divide z(f)?
False
Is -4*(96/3)/(-2) a multiple of 35?
False
Suppose 4*x + 30 = 5*f, 5*f - 17 - 18 = 5*x. Suppose 0 = -f*w + 4 + 34. Is 19 a factor of w?
True
Let m(t) = 2*t - 1. Let l be m(3). Let x be (-4 + 3)/(-1*1). Is 20 a factor of -1*l*(x + -8)?
False
Let s be 4/5*(-20)/(-8). Suppose 0 = 6*y - s*y + j - 148, -3*j = 0. Is y a multiple of 14?
False
Let n(s) be the second derivative of 0 + 3*s + 5/2*s**2 - 1/6*s**3 - 1/3*s**4 + 1/20*s**5. Does 11 divide n(5)?
False
Let i = 47 - 44. Let y be ((-6)/(-4))/((-3)/(-4)). Suppose i*v + 1 = -x + 47, 44 = x + y*v. Does 20 divide x?
True
Let x(d) = -13*d + 13. Let i be x(10). Let w = -214 - -132. Let b = w - i. Does 10 divide b?
False
Let z = 5 + -3. Suppose -r - z*m = -m + 2, 0 = 2*r - 2*m - 16. Is (-1)/r - (-10)/3 a multiple of 2?
False
Let r be 2/2 - 0 - -2. Suppose -5*y + 0 = -15. Suppose y*m = -0*k - 5*k + 9, r*m + 6 = 0. Is k a multiple of 2?
False
Suppose j + 22 = z - 2*j, 2*j = -4*z + 32. Is 4 a factor of z?
False
Let z(p) = p**2 - 8*p + 9. Let n be z(7). Suppose n*x + 0*x - 82 = 0. Is 19 a factor of x?
False
Suppose 0 = 3*l - 3 - 39. Is 7 a factor of l?
True
Does 3 divide (-9)/(0 + 3)*-3?
True
Let l(o) = -48*o. Let i be l(-1). Let k = 24 - 19. Suppose -2*m + k*v = -i, -4*v = v + 10. Is 14 a factor of m?
False
Suppose c + 3*c = 4*v - 20, 5*c - 2*v = -10. Suppose -5*q + 0*f = 5*f + 70, -5*q - 2*f - 61 = c. Let b = q - -22. Is b a multiple of 4?
False
Let n = 18 + 1. Let d = n - 1. Does 5 divide d?
False
Let q(r) = -1 + 14*r - 3*r - 2. Does 17 divide q(3)?
False
Let f = -4 + 8. Suppose f*z = 9 + 7. Does 4 divide z?
True
Is 4 a factor of ((-48)/20)/(3/(-10))?
True
Let m = 12 - 7. Suppose 0 = -2*i + 19 + m. Does 6 divide i?
True
Suppose 6*h = h - 3*s + 21, 2*h - 10 = -2*s. Suppose n = -2 - h. Let g = n + 19. Does 9 divide g?
False
Let t = 285 - 173. Does 28 divide t?
True
Suppose -4*t - 45 + 5 = 0. Let l = 8 - t. Is l a multiple of 7?
False
Suppose -5*l + l + 45 = 5*t, 0 = t + 3*l - 20. Suppose -3*p + t*w + 42 = -p, -4*p - 5*w = -84. Is p a multiple of 7?
True
Let d = -21 - -143. Is d a multiple of 23?
False
Suppose 0 = -g - g + 10. Let n = g + 12. Is 10 a factor of n?
False
Let u(m) = 3*m**2 - 6*m. Is 9 a factor of u(5)?
True
Let y(b) = -b + 11. Let i be y(8). Suppose 3*o + 8*w + 10 = i*w, 4*o = -2*w + 10. Suppose 84 = 2*d + 5*k, 3*d - o*k - 108 = -d. Is 16 a factor of d?
True
Let v = 4 - -20. Let t be v/10 - 4/10. Suppose -t*y - 6 = -3*y. Is y a multiple of 5?
False
Suppose 3*t + 5*g - 271 = 66, -2*t = 5*g - 223. Does 38 divide t?
True
Let s = 13 + -19. Let r = s + 15. Is 9 a factor of r?
True
Let c = 92 - 64. Does 7 divide c?
True
Let p(f) = 8*f - 46. Is p(16) a multiple of 22?
False
Let h(g) = -g**2 - 15*g - 8. Let k be h(-13). Suppose 0*i - i = -k. Is 9 a factor of i?
True
Let o(x) = -13*x + 1. Let f be o(-2). Suppose -5*k + 58 + f = 0. Suppose 0 = 5*q - 33 - k. Is 10 a factor of q?
True
Suppose 0 = 4*o - 6*o + 24. Is 2 a factor of o?
True
Let u be 3 - -12*1/(-1). Let v = u - -23. Is v a multiple of 5?
False
Let m be (-7)/42 - (-19)/6. Suppose -m*s + 0*t = -3*t - 27, s + 5*t = 9. Is 3 a factor of s?
True
Let y = 813 + -547. Is 19 a factor of y?
True
Let g = -36 - -66. Is g a multiple of 11?
False
Suppose 0*w - 4*w + 256 = -4*p, -3*p = 12. Does 20 divide w?
True
Let m be -25*(0 + (-4)/5). Suppose 3*u = -u, 4*y - 5*u - m = 0. Is y a multiple of 5?
True
Let y(n) = n**2 - 5*n + 5. Let d be y(5). Suppose 38 = 3*j + d*w + 11, 0 = 4*j + 4*w - 36. Is 9 a factor of j?
True
Let w = -10 - -50. Does 12 divide w?
False
Suppose -3*z - 3*j = 12, 0*j + j = -5*z - 28. Let w(v) = v**3 + 4*v**2 + 8 + 25*v + 2*v**2 - 32*v. Is 13 a factor of w(z)?
False
Suppose -m + 453 = 2*m - 2*x, 4*m - 3*x - 605 = 0. Is m a multiple of 37?
False
Suppose 4*a + 5*r = 716, a = -2*r + 274 - 98. Is a a multiple of 23?
True
Let n(b) = -b**3 + b**2 + b + 8. Let s(l) = l**2 - 4*l. Let v be s(4). Suppose v = -3*m + 5*m. Does 6 divide n(m)?
False
Let r(y) = -y**3 + 5*y**2 - 3*y - 1. Let c be r(4). Suppose d + 5 = -4*u + 16, 4*d + 32 = c*u. Suppose 4 = u*h - 16. Is 5 a factor of h?
True
Let f(o) = o + 23. Let h be (0 + -10)/(1/1). Does 4 divide f(h)?
False
Let d(z) be the third derivative of z**4/24 - 7*z**3/6 + 2*z**2. Let y be d(7). Suppose -t + r + 17 = y, 5*r + 5 + 5 = 0. Is 15 a factor of t?
True
Let i = -3 - 3. Let b(n) = -5*n - 14. Is 9 a factor of b(i)?
False
Let a(g) = g**2 + 6*g + 3. Let i be a(-5). Let t = 17 + i. Suppose 4*l - 12 = 0, k - t = -2*k + 4*l. Does 6 divide k?
False
Is 5 a factor of ((-25)/20)/(1/(-16))?
True
Suppose 2*h + h - s - 10 = 0, -2*s + 4 = 2*h. Does 3 divide h?
True
Let o be -4*(-1 + 9/6). Let x = o + 4. Suppose q = x*q - 18. Does 9 divide q?
True
Let z(o) = 4*o**2 + 8*o - 12. Does 12 divide z(-6)?
True
Suppose 84 = 2*u + u. Does 14 divide u?
True
Let p = -5 - -8. Suppose -v = -3*b - 22 - 71, -4*b = v - 100. Suppose -p*h + v = -0*h. Does 14 divide h?
False
Let v(b) = -b**2 - 2*b + 2. Let f be v(-2). Suppose f*k - 15 = 5*p, p + 19 = 5*k - 7. Suppose -2*u = k*q - 27, -u + q + 27 = -q. Is 13 a factor of u?
False
Suppose 0*g - 115 = -5*g + 5*m, -m = -3*g + 63. Suppose t = -5*j + 5 + g, 3*t + 3*j - 39 = 0. Is 9 a factor of t?
False
Let d(u) = -9*u - 3. Let l be d(5). Let t = l - -71. Is 23 a factor of t?
True
Let d = 534 - 232. Is 39 a factor of d?
False
Let n = 43 + -1. Is n a multiple of 11?
False
Let f(w) be the third derivative of 7*w**5/30 + w**4/12 - w**3/6 + w**2. Is f(1) a multiple of 15?
True
Let j = -2 - -1. Let t be 21/(-6) + j/(-2). Let c = t + 13. Is c a multiple of 4?
False
Let d(m) = -4*m**3 - 12*m**2 + 8*m + 1. Let x(z) = -z**3 - 4*z**2 + 3*z. Let y(r) = 2*d(r) - 7*x(r). Let i be y(4). Does 4 divide i*(-3 + (-7)/(-3))?
True
Let b(d) = 7*d**2 + 2*d + 1. Let a be b(-1). Let g = a - 4. Suppose 8 + 12 = g*h. Does 9 divide h?
False
Let u = 6 + 0. Let w = u + -5. Is 14 - (-3 + w + 0) a multiple of 8?
True
Let b be (8 - 2) + 1 + 1. Let a = 23 - b. Is a a multiple of 6?
False
Let d be (-21)/(-5) + (-2)/10. Suppose 5*l + b = -d*b + 50, 15 = -5*b. Does 13 divide l?
True
Let c = -89 + 133. Is 18 a factor of c?
False
Let a(k) = 6*k**2 + 2*k - 1. Let n be a(1). Let s(y) = 5*y - 7. Let m(j) = j - 1. Let u(o) = m(o) + s(o). Does 17 divide u(n)?
True
Let b be 0*(0 - 1/2). Suppose -4*i + 4*t = -44, b = -i - 2*i - t + 53. Is 6 a factor of i?
False
Is 7/((-28)/6)*-6 a multiple of 5?
False
Let q(y) = -y**2 - 4*y. Let o be q(-3). Suppose d - 16 = -4*h - 3*d, -o*d = -3*h - 12. Let u = h + 6. Does 3 divide u?
True
Let u be 6/(-1*2/(-5)). Suppose 5*h = 3*a - 0*a + 168, -161 = -5*h - 4*a. Let z = h - u. Does 9 divide z?
True
Let z be (-1 + 7)/(0 + -1). Let b = 8 - z. Is 5 a factor of b - -3 - (1 - -1)?
True
Suppose 16*v - 11*v - 205 = 0. Does 9 divide v?
False
Let p(z) = -z**3 - 5*z**2 + 8*z - 6. Let i be p(-7). Suppose 6*w = -2*u + 4*w + i, -3*u - 5*w = -60. Is 5 a factor of u?
True
Suppose 0*p - 45 = -p. Is p a multiple of 14?
False
Let o = 6 + -7. Let k be ((-3)/6)/(o/36). Let a = k 