 = 17 - 16. Is 19 a factor of (228/(-36))/(a/(-9))?
True
Suppose -731*n + 738*n = 11186. Is n a multiple of 47?
True
Suppose -2 = -3*d + 7. Suppose d*o - 18 = -3*g, 4*g - o - 14 = 3*g. Suppose m = 25 - g. Is m a multiple of 14?
False
Suppose 37*i - 8473 = 4625. Is 6 a factor of i?
True
Let a(d) = 7*d**3 + d**2 - 20*d - 24. Let k(w) = -w**3 + w**2 + w + 1. Let y(q) = -a(q) - 6*k(q). Does 19 divide y(-9)?
False
Let t(w) = w**3 + 5*w**2 + 5*w + 6. Let s be t(-4). Suppose -s*g - 4 = 2*z - 6, 4*g + 32 = 5*z. Suppose 82 = z*f - 14. Does 24 divide f?
True
Let d = -501 - -901. Does 16 divide d?
True
Suppose -178 = -3*j + 2*d, 2*j + 4*d + 108 = 4*j. Let h = 14 + -29. Let k = h + j. Is k a multiple of 11?
False
Let l be 9 - (4 - 2 - (-1 + -1)). Suppose -4*d + 126 = 3*u, -l*d + 160 = -u - 7. Is 11 a factor of d?
True
Let o(q) = -2*q**3 + 7*q - 6. Does 47 divide o(-4)?
True
Suppose 4 = -0*h - 2*h, -2*n = -4*h - 210. Let g = -63 + n. Suppose 0 = 9*m - 7*m - g. Is m a multiple of 10?
False
Suppose 2*d - s + 1 = -5, 4*s = -4*d. Let x = 7 + d. Suppose 14 = w - x*b - 2, 0 = -5*b. Is w a multiple of 7?
False
Let z(f) = 7*f**2 - 8668 + 8710 + 8*f**2 - f**3. Does 6 divide z(15)?
True
Suppose 709*s - 716*s = -8372. Is s a multiple of 13?
True
Suppose -28*s = -27*s - 4*r - 2480, -12468 = -5*s + 3*r. Is 61 a factor of s?
False
Let m(k) be the first derivative of k**3/3 - 11*k**2/2 + 6*k - 12. Does 18 divide m(12)?
True
Suppose -3*c + 6 = 2*n - 7*c, 3*c = 4*n + 8. Is ((-103)/n)/((-9)/(-90)) a multiple of 31?
False
Suppose -3*t - 4*f + 8*f = -919, -4*f = 4*t - 1244. Does 13 divide t?
False
Suppose -29*b - 236 = -5427. Is b a multiple of 8?
False
Suppose 43*p = -35*p + 170898. Is 56 a factor of p?
False
Suppose -8*s = -6*s - 252. Let u = 180 - s. Does 6 divide u?
True
Let f(u) be the first derivative of -u**4/4 + 2*u**3/3 - 3*u - 9. Does 14 divide f(-3)?
True
Let o(w) = 29*w**3 + 2*w**2 - 3*w. Is o(2) a multiple of 26?
True
Suppose 7 = 4*c - p, 3*c = -c - 5*p + 13. Let k be 12 + (-2 + c - 0). Is 9 a factor of -8*(3 + (-81)/k)?
False
Let o(r) = 10*r - 11*r**2 - 41*r + 4*r - 4 + 14*r - r**3. Let s = -14 + 4. Does 7 divide o(s)?
False
Let o = -11 + -5. Let q = o - -28. Is 3 a factor of q?
True
Let c = -98 + 278. Is 9 a factor of c?
True
Suppose 8 = -3*w - 1, 2*h + 413 = -5*w. Does 15 divide (h/(-2))/(3/12*2)?
False
Let r = -4 - -196. Is 6 a factor of r?
True
Let g(z) = -z**3 + 11*z**2 - 5*z + 5. Let n(q) = -q**2 + 9*q + 2. Let m(h) = -h**3 + 5*h**2 - h - 2. Let i be m(2). Let c be n(i). Is 19 a factor of g(c)?
False
Suppose 0*n = -j + n + 12, -26 = -2*j + n. Let a = 5 + j. Does 16 divide a?
False
Suppose 3*f = -4*h + 1671 + 3449, -5*h + 5*f + 6400 = 0. Does 10 divide h?
True
Let u = -20 - 12. Let b = -11 - u. Is b a multiple of 6?
False
Let a be (-4 - (-3 + -2)) + 2. Suppose 0 = 2*o - a*t - 211, o - 2*t = -o + 206. Is 11 a factor of o?
False
Suppose -76*o = -77*o - 15. Let u(q) = q**2 + 7*q + 6. Let w be u(-4). Let d = w - o. Does 2 divide d?
False
Let c(a) = a + 4. Let s be c(-3). Let r = 12 + s. Suppose -5*x + r + 12 = 0. Is 2 a factor of x?
False
Let d(b) = b**3 + 4*b**2 + 3*b. Let z be d(-2). Let h be 3 + (-10)/z + -4. Is 8 a factor of 30/(-7)*(h - 1)?
False
Let j = -257 - -103. Let y = -33 - j. Is 11 a factor of y?
True
Let b(x) = x**3 + 14*x**2 - 9*x - 49. Is 21 a factor of b(-10)?
True
Let s be (3 - 0)/(4/(-4 - 16)). Is (210/4)/3*(-24)/s a multiple of 14?
True
Let d be (9 - 6)/(2 + (-1 - 0)). Suppose -3*o = 2*m - 189, 5*m = -o - d*o + 245. Does 17 divide o?
False
Suppose 63 + 1071 = 27*z. Does 27 divide z?
False
Suppose -p + q + 7 + 6 = 0, 3*q = -3*p + 15. Suppose p = 4*s - 31. Is s a multiple of 6?
False
Suppose -6*o + 1246 = 322. Suppose 36*d - o = 34*d. Is d a multiple of 11?
True
Let d(b) be the second derivative of -5*b**3/6 + 21*b**2/2 + 2*b. Is d(-8) a multiple of 18?
False
Let b(q) = 2 + 21*q - 6*q - 11. Is b(4) a multiple of 8?
False
Suppose 2*f + 5 = -3*d, 0*f + 2*d = -f - 5. Let r be (-226)/(-1)*2/4. Suppose f*t + 33 = r. Does 13 divide t?
False
Let i = 56 - 1. Suppose a = -5*p + 60, 0 = 3*a + p - 125 - i. Does 12 divide a?
True
Let v(m) = -5*m**2 - 125*m + 42. Does 19 divide v(-25)?
False
Suppose 4 + 1 = j + 2*c, 5*j = 4*c - 45. Let q(y) = -14*y**2 + 2*y - 69. Let w(v) = 5*v**2 - v + 24. Let n(a) = 6*q(a) + 17*w(a). Is 11 a factor of n(j)?
True
Let j(x) = -12*x - 4. Suppose -3*q + 4*y = 5*y + 4, q - 5*y = -28. Is 6 a factor of j(q)?
False
Let s(d) = -d**2 + 11*d - 7. Let u be s(10). Let y be (24/9)/(1/u). Does 3 divide 22/y - (-6)/24?
True
Let a = 1340 - 850. Is 7 a factor of a?
True
Let l(v) = v**3 - 15*v**2 - 10*v - 5. Does 2 divide l(16)?
False
Let l(g) = -177*g**3 + 2*g**2 + 7*g + 8. Is 41 a factor of l(-2)?
False
Let n be (-2)/((-10)/4 - -2). Suppose 25*l - 31*l = -78. Suppose n*i - l = 3*i. Is 4 a factor of i?
False
Let q(p) = p**3 - 7*p**2 + 5*p + 5. Let a be q(6). Let k be 1*(-3 + -20)*a. Suppose 4*m + k = 2*b - 17, -5*b - 3*m = -165. Is 10 a factor of b?
True
Let f be ((-2)/4 + -1)*102/9. Suppose 9 = b + 1. Is 2 a factor of (-2)/3*(f + b)?
True
Let q be 2 + -2 + 3*-2. Let k(j) = -j**3 + 8*j**2 - 3*j + 4. Let a be k(8). Let h = q - a. Is 14 a factor of h?
True
Suppose -6*i + 65 = -i. Let w = 4 - 3. Let d = i + w. Does 7 divide d?
True
Let j be 8/(-10) - (-104)/5. Suppose -j = 5*w - 0*w + 5*n, 0 = -4*w - 5*n - 17. Is 13 a factor of w/(-1)*(-2 - -15)?
True
Suppose 40 = z + 36. Suppose 3*f = -z*c + 106, -f + 5*c = -55 - 12. Is f a multiple of 5?
False
Is 18 a factor of 15/(-5) - (-345 + 0)?
True
Suppose 9*c + 5*c = 8190. Does 15 divide c?
True
Is 27 a factor of 21/(-147) - (-17015)/35?
True
Let d(m) = m**2 + 7*m + 2. Let p be d(-7). Let h be p/7 - (-114)/42. Let v(l) = 2*l**2 + 3*l - 3. Does 12 divide v(h)?
True
Let h = -30 + 66. Suppose -2*y + 5*y = h. Is 3 a factor of y?
True
Let d be ((-3)/2)/(1/6). Let v(k) = 2*k - 3 - 2*k - 3*k - 8. Does 11 divide v(d)?
False
Let b(z) be the second derivative of -2*z**4/3 - z**3/2 - 5*z**2/2 + 4*z. Let t(a) be the first derivative of b(a). Is 18 a factor of t(-3)?
False
Let b = -28 + 40. Suppose 0 = 2*u - 38 + b. Is u a multiple of 6?
False
Let a = 5 - 0. Suppose 4*v = -5*o + 7, -a*v + 4*o + 30 + 30 = 0. Is (v/(-3) + 3)*18 a multiple of 4?
False
Let g(j) = -j**3 - 10*j**2 + 7*j + 6. Is g(-12) a multiple of 35?
True
Let k(a) = -2*a + 124. Is k(14) a multiple of 4?
True
Let t(l) = -l**3 - 9*l**2 + 8*l. Let i be t(-9). Let j = i + -21. Let f = j - -132. Is 13 a factor of f?
True
Suppose -4*g = -5*g - 4. Let b be (-358)/(g/(23 + -3)). Is 30 a factor of 1/3 - b/(-30)?
True
Suppose 0 = 8*j - 2631 + 743. Is 4 a factor of j?
True
Let x = -21 + 18. Let k be (-135)/x - 10/(-5). Suppose -o - 4*d + k = 0, 4*o + 3*d = -d + 152. Is o a multiple of 7?
True
Let v(i) = 20*i - 20. Let f be v(8). Suppose -17*s + 10*s = -f. Does 10 divide s?
True
Let i = -23 + 28. Suppose r - 5*r + 5*s = -60, i*r - 75 = -4*s. Is r a multiple of 5?
True
Suppose -9*r + 434 = -5*r - 2*b, -2*r = 4*b - 242. Is r a multiple of 4?
False
Suppose -2*s + 302 = -192. Does 27 divide s?
False
Suppose u - 4 = 2. Let j be (u - 6)/(0 + 1). Suppose j = d + 2 - 57. Is d a multiple of 17?
False
Let u(s) = s**3 + 13*s**2 - 25*s + 28. Does 13 divide u(-14)?
True
Let l(m) = 124*m - 103. Is 10 a factor of l(6)?
False
Let n(d) = -d**3 + 8*d**2 - d + 2. Suppose 4*g + 4*o = 133 + 619, -3*g - o + 556 = 0. Let c be g/32 - 1/(-4). Does 14 divide n(c)?
False
Suppose 6*t + 4*f - 1748 = 2*t, 0 = -3*t - f + 1321. Is t a multiple of 34?
True
Suppose -4*l + 4*h - 3*h = -622, 3*h + 774 = 5*l. Let y be 60/27 - 2 - (-80)/45. Suppose l = -0*m + y*m. Is 26 a factor of m?
True
Let v be (-70)/(-10) - (0 + 0). Suppose 6*g = v*g - 31. Let f = 44 - g. Is 8 a factor of f?
False
Let o = -22 + 93. Let f be (10/6)/((-4)/(-12)). Suppose f*j - 129 = o. Is 20 a factor of j?
True
Suppose -5*z + 5*r = 5, -3*z - 6*r = -2*r - 4. Suppose -47 = -v - f, f - 2*f - 3 = z. Does 12 divide v?
False
Suppose -3*c + 4*u + 35 = -0*u, -4*c - 3*u + 5 = 0. Suppose -c*l = -b - 290, -b - 4*b = -l + 82. Let h = 96 - l. Does 25 divide h?
False
Let k = 2347 - 997. Does 7 divide k?
False
Let m be 10/(-60) - 34/12. Let i = 19 - m. Does 11 divide i?
True
Let d(w) be the first derivative of w**6/60 - w**5/30 - w**4/12 -