e -52 - 59 = -3*h. Does 6 divide h?
False
Suppose -4 = -3*y + 2. Suppose y*l + 23 = -3*f + 2*f, 4*l = -f - 25. Does 10 divide 1/(-2) - f/2?
True
Suppose -3*u + 51 = 3*a, 58 + 8 = 3*a - 2*u. Let s = a + -36. Let h = 16 - s. Does 10 divide h?
False
Let m = 25 - 14. Is m even?
False
Suppose 0 = b + 2*g + 7, 0 = -3*b + 2*g + 19. Suppose -4*y - 2*k = -6 - 2, -4*k - 4 = -2*y. Suppose -y*q + 34 = 2*v, -35 = b*v - 2*q - 101. Does 11 divide v?
False
Let g(z) = 17*z**2 + 11*z + 12. Is 20 a factor of g(-4)?
True
Let z(p) = p**3 + 5*p**2 + 6*p + 6. Let a be z(-4). Is 13 a factor of (-4)/(6 + a)*-39?
True
Let w = -60 - -124. Does 19 divide w?
False
Let i = -4 + 4. Suppose 3*d + 2*d - 270 = i. Is d a multiple of 18?
True
Suppose 0 = 2*d - 2*o - 4, 3*o + 11 + 1 = 0. Is (-1)/d*(6 + 2) a multiple of 3?
False
Suppose -5*c + 7 = -18. Suppose -x + 2*x + 3*k = -c, -12 = 4*k. Suppose x*u - 15 = t, 5*u + 2*t + 0*t - 22 = 0. Is u a multiple of 3?
False
Let n(q) = -4*q**2 - 6*q - 6. Let w be n(-4). Let i be ((-335)/25)/(1/(-5)). Let f = i + w. Does 12 divide f?
False
Let y(t) = 7*t**2 - 5*t - 9. Does 9 divide y(4)?
False
Let s(b) = -b**3 - 8*b**2 - 7*b + 1. Let m be s(-7). Suppose -11 + m = -2*n. Does 2 divide n?
False
Let z = 4 + -8. Let k be 12/2*4 + 0. Let q = z + k. Does 10 divide q?
True
Does 6 divide ((-6)/(-10))/((-5)/(-50))?
True
Suppose 48 = 5*v - 47. Let j = v - 11. Does 4 divide j?
True
Let s = 127 - 111. Is s a multiple of 4?
True
Suppose 0 = 11*q - 6*q - 100. Does 5 divide q?
True
Let r(m) = -m**3 - 6*m**2 - 8*m + 3. Let u be r(-7). Let a(l) = -l**3 + 6*l**2 - 4*l - 2. Let c be a(5). Suppose -u = -0*n - c*n. Does 18 divide n?
True
Let u = -4 + 8. Suppose 9*n = u*n + 60. Is n a multiple of 12?
True
Let d = -132 + 221. Suppose d = 3*x - 4. Is x a multiple of 14?
False
Let u = 12 + 54. Is 11 a factor of u?
True
Suppose f + 2*b - 38 = 0, 2*b + 43 = 2*f - 57. Does 23 divide f?
True
Suppose 0 = 2*f + 3*f. Let p(b) be the first derivative of b**3/3 + b**2/2 + 10*b + 11. Is p(f) a multiple of 10?
True
Suppose 0 = -0*z - 5*z - 5*s - 30, s + 10 = -3*z. Let w be (-1 - z)/(-1) + 0. Let v = w + 7. Does 4 divide v?
False
Suppose 9*l - 680 = 4*l. Does 18 divide l?
False
Let u(c) = c**3 + 18*c**2 + 10*c - 9. Is 22 a factor of u(-17)?
True
Suppose -3*w = -5*v - 7 + 5, 0 = -4*w - 3*v - 36. Let p be -9*(w/3 - -1). Suppose 3*y - 2*i - 50 = 0, 5*i = -3*y + p + 13. Is y a multiple of 7?
True
Let c = 31 - -1. Is c a multiple of 14?
False
Let u(r) be the first derivative of r**3/3 + 3*r**2 - 15*r - 7. Does 10 divide u(-11)?
True
Let v = -1 - -7. Suppose 18 + v = 4*q. Is 3 a factor of q?
True
Let f(t) = t**3 - t**2 + 48. Let k(x) = -x + 1. Let u be k(1). Does 17 divide f(u)?
False
Suppose -p - 4*f = -40, -49 = -3*p - 2*f + 21. Is 3 a factor of p?
False
Let s(c) = -c**2 + 11*c + 19. Let j be s(13). Let y = 8 - j. Is 5 a factor of y?
True
Suppose 4*r - 140 = -4*l, 4*l + 50 = 5*r - 125. Is 35 a factor of r?
True
Is 8 a factor of ((-2)/8)/((-1)/124)?
False
Let s(c) = c**3 - 2*c**2 - 6*c. Let n(r) = r**2 - r - 1. Let d(p) = n(p) - s(p). Let i be d(4). Does 20 divide i*1 + 140/4?
False
Suppose -6*x - 167 = -527. Does 12 divide x?
True
Let r = 25 - 16. Let s = -6 + r. Suppose s*d + d - 68 = 0. Is 5 a factor of d?
False
Is 2/8*(64 - -4) a multiple of 17?
True
Let n(p) = -3*p + 7. Suppose 4*s = 3*l - 28, s + s - 5*l + 28 = 0. Does 11 divide n(s)?
False
Let n(w) be the first derivative of 2*w**3/3 + 2*w**2 + 4*w - 1. Let v(h) = -4*h**2 + h - 2. Let u be v(1). Does 17 divide n(u)?
True
Suppose 15*a = 16*a - 40. Does 2 divide a?
True
Is (-12)/9*348/(-8) a multiple of 29?
True
Suppose 4*u - 21 = -2*h + h, h + 2*u = 13. Suppose h*a = 2*a + 150. Is 25 a factor of a?
True
Let m be 12/5*(-390)/4. Does 13 divide m/(-15) + (-6)/10?
False
Suppose -3*p + 33 = -2*p. Does 5 divide p?
False
Let a = 16 - 1. Suppose 4*z - 3*w = a, 2*z - 5*w - 19 = -8. Suppose -5*v = 2*y - 47, -28 = -z*v + 2*y - 3*y. Is 5 a factor of v?
False
Suppose -4*n + 30 = 6. Is 3 a factor of n?
True
Let r = -90 - -161. Is r a multiple of 16?
False
Let n(i) = -2*i - 8. Let o = -14 + 8. Let g be n(o). Suppose -4*v = g - 20. Does 3 divide v?
False
Suppose 0 = 7*f - 2*f + 40. Is f/(-6)*(-6)/(-4) a multiple of 2?
True
Is (1/(-2))/(3/(-102)) a multiple of 6?
False
Let w(d) = -d + 8. Let b be w(9). Let n = 1 - b. Does 14 divide (-1)/n + (-201)/(-6)?
False
Let c(x) = -x**3 + x**2 + 27. Let a be c(0). Suppose 2*g = 4*f - 16, 4 = -g - f - 7. Let z = g + a. Is 10 a factor of z?
False
Let s(i) = -i**2 - 7*i + 7. Let p be s(-9). Let v = 59 - 82. Let b = p - v. Is b a multiple of 9?
False
Let l = -347 + 611. Suppose -4*m + l = 56. Is m a multiple of 14?
False
Is 13 a factor of (-2)/((6/13)/(-3))?
True
Let w(d) = -d**3 - d**2 - 3*d + 44. Is w(0) a multiple of 11?
True
Let i = -260 - -399. Suppose -i = -4*b - 0*b - 5*f, 2*b = 5*f + 77. Is b a multiple of 12?
True
Suppose -88 - 8 = -4*n. Does 7 divide n?
False
Let q(b) = -b**3 - 11*b**2 - 11*b - 6. Let d be q(-10). Suppose d*o + 33 = 165. Is o a multiple of 17?
False
Suppose -7*i + 6*i = -53. Does 15 divide i?
False
Suppose -u + 40 + 27 = d, 0 = 3*u + 5*d - 209. Is 5 a factor of u?
False
Let p(c) = c**3 - 10*c**2 + 8*c + 4. Let y be p(9). Does 5 divide (-3)/y + 528/20?
False
Suppose -q - 1 + 12 = 0. Suppose 5*p - 2*p = 0. Suppose p*u = u - q. Is u a multiple of 11?
True
Let h be (-14)/(-21) - 25/(-3). Suppose -5*m + 104 = 4*u - 7*u, -m = 4*u - 7. Let r = h + m. Is 14 a factor of r?
True
Is 29 a factor of (-2 - 52/(-8))*116/3?
True
Let m(v) = -v**3 - v**2 + 6*v - 26. Does 3 divide m(-5)?
False
Let i(d) = 8*d**2 + 4*d + 5. Does 9 divide i(-1)?
True
Let y(a) = a**2 - 12*a - 5. Is 17 a factor of y(-9)?
False
Suppose -3*n = s + 210 - 532, -4*n + 2*s + 436 = 0. Is 36 a factor of n?
True
Let v(g) = g + 1. Let z be v(2). Let o(m) = 2*m**2 - m - 3. Is o(z) a multiple of 12?
True
Let j(r) = -4*r**3 - 2 + 4*r**3 + 4*r**2 + r**3 - 2*r. Let w be j(-4). Is (-3)/(9/w + -2) a multiple of 3?
True
Let y be (4/(-6))/(4/(-66)). Let h(r) = -r**2 + 3*r**2 + r - y*r. Is 14 a factor of h(7)?
True
Let t(s) = 4*s**2 + 3*s - 2. Does 10 divide t(-4)?
True
Suppose -f - 2*t + 175 = 0, -181 = f - 2*f + 4*t. Does 15 divide f?
False
Let p = -3 + 6. Is 8 a factor of -32*(-6 + p)/6?
True
Let d = 123 + -76. Let h = 68 - d. Does 11 divide h?
False
Let w be 1/((-2)/(342/(-3))). Suppose 9 = -4*o + w. Is 6 a factor of o?
True
Let g = 59 - 35. Does 12 divide g?
True
Suppose -5 = m + 2*p - 0, 5*p + 29 = 3*m. Let b(g) = -g**3 + 4*g**2 - 2*g. Let y be b(m). Suppose y*j = -2*j + 85. Does 17 divide j?
True
Let i(l) be the second derivative of 0*l**3 + 0*l**4 - 3*l + 0 + 1/2*l**2 + 1/20*l**5. Does 17 divide i(3)?
False
Is 5 a factor of -20*((-26)/10 - -2)?
False
Suppose 5*k + 3 - 13 = 0. Suppose k*g = -4 + 24. Suppose 2*n + 0 = g. Does 2 divide n?
False
Let p(z) = -4*z**2 - z. Let d be p(-1). Does 19 divide (d/6)/((-2)/76)?
True
Suppose 5*g - 80 = 15. Is g a multiple of 5?
False
Let d = 100 - 48. Does 13 divide d?
True
Is 13 a factor of (9 - 4)*1 - -271?
False
Suppose -4*d = -3*a + 58, 0 = -3*d - 3 - 0. Is a a multiple of 6?
True
Let r be (1 + -3)/(2/(-6)). Let f(i) = -i**3 + 7*i**2 - 7*i + 6. Let h be f(r). Suppose h = -p - 5*k + 8 + 5, -4*p + 37 = 5*k. Is p a multiple of 4?
True
Is 6 a factor of (-1652)/(-98) - 1/(-7)?
False
Let k(j) = 4*j**3 - j**2 - j + 1. Suppose 2*z + 0 = 5*y - 3, -3 = -3*y. Let t be k(z). Suppose 2*f = m + m + 42, t*m = -2*f + 22. Is f a multiple of 13?
False
Let b(x) = -2*x**3 + 4*x. Is b(-4) a multiple of 35?
False
Let o(p) be the third derivative of -5/12*p**4 + 0*p + 2*p**2 - 1/60*p**5 + 0 + 7/6*p**3. Is 3 a factor of o(-10)?
False
Let y be ((-6)/(-4) - 0)*-6. Is 11 a factor of (-102)/y - (-2)/(-6)?
True
Suppose -3 - 2 = -5*o + 5*x, 0 = -5*o + 3*x + 5. Let t(r) = 43*r + 1. Is t(o) a multiple of 11?
True
Suppose 5*v + t - 679 = 0, -5*v - 6*t + 2*t = -676. Is 34 a factor of v?
True
Let t be (0 - 2/6)*21. Let y = 11 + t. Is 3 a factor of y?
False
Suppose 4*l - 22 = 50. Is l a multiple of 4?
False
Let y = 19 - -6. Is y a multiple of 13?
False
Suppose 5*v - 4 = 16. Is 6 a factor of (0 + v - 2) + 11?
False
Let i be 0/4 + (-3)/(-1). Suppose 4*b - 3*b = i. Suppose -2*a - 23 = -b*g, -5*g - 5*a + 6 + 24 = 0. Is g even?
Fal