9?
True
Suppose -d - 4*n = 2*d - 41, 5*n - 18 = d. Is 55 a factor of (-14)/d + (-1)/(-1) + 111?
True
Suppose -3*u + 9 = 0, 4*a = 5*u + 5 + 4. Is 20 a factor of (60/14)/(a/84)?
True
Suppose 6*r + 6 - 66 = 0. Suppose -35 = 5*x - r. Let f = x - -15. Does 8 divide f?
False
Suppose 2*r + 166 = 1284. Suppose -2*j = 91 - r. Does 13 divide j?
True
Suppose -17*p - 945 = -20*p. Is 45 a factor of p?
True
Suppose -16*m - 2*b = -14*m - 3050, -4567 = -3*m - b. Is m a multiple of 75?
False
Suppose -41 + 66 = 5*n. Suppose 90 = 4*f + 2*u, 0*f - 4*u - 93 = -n*f. Is f a multiple of 4?
False
Let n be 8/32 - (-19)/4. Let f(a) = -a**2 - 4*a + 2. Let o be f(-4). Suppose n*k = x + x + 150, -39 = -o*k + 5*x. Is 11 a factor of k?
False
Let t be 33/(-3) + 0/1. Let a = 12 - t. Does 16 divide a?
False
Let d be ((-3)/9)/(2/(-30)). Suppose -5*x = -3*a + 25 + 21, -5*a + 130 = 5*x. Suppose -d*t + a = 7. Is t a multiple of 3?
True
Let i = 334 + -309. Is i a multiple of 5?
True
Suppose -a + 4 = 0, -8*d = -4*d - a - 1772. Does 11 divide d?
False
Suppose i + 130 = 2*c, 5*i + 106 = c + 23. Suppose -2*y + 87 = -c. Is 10 a factor of y?
False
Suppose 4*z - 4*w - 124 = 0, 2*z = -2*w + w + 68. Suppose 0 = 34*j - z*j - 16. Is 16 a factor of j?
True
Let m(s) be the first derivative of -3*s**2/2 - 9*s + 7. Let w be m(-6). Suppose 3*g + 3*z - 15 = 0, -4*z = -w*z - 10. Is g even?
False
Suppose -21100 + 4980 = -13*d. Is 20 a factor of d?
True
Let z(g) = -g**3 + 17*g**2 - 17*g + 11. Let d be z(14). Let i = d + -240. Is i a multiple of 28?
False
Let l = -55 + 112. Suppose 3*j = y + y + 20, 5*j - 40 = 5*y. Suppose -p - l = -j*p. Does 9 divide p?
False
Let g(p) = -p**3 - 6*p**2 + 15*p + 6. Let v be g(-8). Is 3 a factor of (-4)/v - (-46)/14?
True
Let v = -2814 - -3219. Is 15 a factor of v?
True
Does 9 divide (-76 - -80)*1403*(-1)/(-4)?
False
Suppose 32 = d + c, 3*d + 3*c = 5*c + 106. Is 3 a factor of d?
False
Suppose 4*h = -5*y - 3 - 12, 5*h + 23 = -2*y. Let o be 28/(-16) - y/4. Is 6 + 4/o - -1 even?
False
Let m be 3 - (2 + -5)/(-1)*1. Suppose x - 141 = -m*v + 3*v, 5*x + 3*v - 723 = 0. Does 36 divide x?
True
Let m = -128 + 138. Does 9 divide m?
False
Let c be 10/4*162/45. Let d(i) = -3*i + 34. Is 3 a factor of d(c)?
False
Let o(k) be the first derivative of k**3/3 + 7*k**2/2 + 19*k - 7. Is o(-8) a multiple of 9?
True
Let t(m) = -4*m - 2. Let j be t(-6). Suppose -j = -o + 7. Is o a multiple of 23?
False
Let b(t) = -9*t - 10. Let y be b(-2). Suppose 3*j + y = 314. Is 34 a factor of j?
True
Let s(b) = b**3 + 10*b**2 + 8*b - 5. Let t be s(-6). Suppose -l = -g + 43, 2*g - 4*l - 5 = t. Is 10 a factor of 4/((-72)/g - -2)?
False
Does 13 divide 15/(-35) + 7107/21?
True
Suppose 79*u = 86*u - 756. Is u a multiple of 108?
True
Let d be 5 - (8 - (2 + 1)). Suppose 0*y - 5*s = -y - 5, -2*y - 4*s = -4. Is 3 - (-29 - y - d) a multiple of 16?
True
Let y = 60 - 50. Let i = -37 + 16. Does 23 divide 724/y - i/35?
False
Suppose 256 = 4*q + 4*h - 356, 3*h + 741 = 5*q. Does 25 divide q?
True
Suppose -3*i = 2*w - 331, 4*i + 0*i + 471 = 3*w. Is w a multiple of 9?
False
Let g = -57 - -63. Does 3 divide (-6)/((-3)/2 - (-3)/g)?
True
Let p = -83 + 124. Let s = -11 + p. Is 6 a factor of s?
True
Let z(l) be the third derivative of l**6/120 - l**5/15 - l**4/12 - 2*l**3/3 + 4*l**2. Let q be z(4). Is 5 a factor of (-1 - 1)*78/q?
False
Let z(h) = 2*h**2 - 25*h + 95. Is z(20) a multiple of 5?
True
Let s be 3 - (-3)/(1 + -2). Let m(i) = i**3 - 2*i**2 + 2*i + 9. Let q be m(s). Let u = q + 20. Is 8 a factor of u?
False
Let b(f) = f**3 - 10*f**2 - 12*f + 3. Let u be b(11). Let d = u + 11. Is d a multiple of 2?
False
Let l(y) = -y + 12. Let d be l(5). Suppose 0 = -r + 2*n - d, -4*r - 6 = -2*n + 4. Is 8 a factor of r + 0 + 2 + 29?
False
Let t be 4/10 + 1686/(-15). Let s = -77 - t. Does 21 divide (-377)/(-5) - 14/s?
False
Suppose -9*i + 1680 = i. Does 9 divide i?
False
Suppose -3*n - 4*d - 1 = 0, -n = -5*d - 0*d - 25. Suppose 5*f + n*q = -2 + 297, -2*f + 115 = 5*q. Is 15 a factor of f?
True
Suppose -4*z + 8 = -2*t, 4*z + 3*t - 2 = 3*z. Suppose 16 = z*p - i, i - 1 = 3. Let q(c) = 3*c - 1. Is q(p) a multiple of 20?
False
Suppose -19940 + 1040 = -6*t. Is 14 a factor of t?
True
Let p(j) = -11*j - 13. Let r(h) = 1. Let b(f) = p(f) - 6*r(f). Does 13 divide b(-6)?
False
Let y = 18 + -16. Suppose y*s = -s + 12. Suppose -s*n = -n - 42. Does 7 divide n?
True
Let n = -70 - -181. Suppose -2*p + 5*v + n = -82, 3*p = 2*v + 262. Is 14 a factor of p?
True
Let m(d) = -13*d**3 - 5*d**2 + 5*d + 4. Suppose -4*p - p - 15 = 0. Is m(p) a multiple of 10?
False
Let v be -1*(0 + 8*-13). Let j be (-4)/(-14) + v/28. Suppose -j*p + 115 = -77. Does 16 divide p?
True
Suppose -5977 = -23*u + 4902. Is u a multiple of 11?
True
Let n(h) = -21*h**3 + 2*h**2 - 7*h - 4. Does 95 divide n(-3)?
False
Let a be (-30)/(-7) - 4/14. Suppose -g - a*g = -1400. Suppose -6*n + n = -g. Is n a multiple of 14?
True
Let k(v) = -v + 11. Let x be k(9). Suppose 0 = n + 3*w + 7, -3*n - w + x - 15 = 0. Does 5 divide (-2)/n + 174/12?
True
Suppose -18 = -2*f + 60. Let a = 119 - f. Is a a multiple of 10?
True
Suppose -441 = -8*p + 367. Suppose -5*z + 2*y = 147 + p, 2*z = -3*y - 84. Is 9 a factor of (27/12)/((-6)/z)?
True
Let v be (-3)/(-2)*8/6. Let i(p) = -1 - v*p**3 + 3*p**3 + 1 + p - 1 - 7*p**2. Is 2 a factor of i(7)?
True
Is 15 a factor of ((-4)/2 + 742)*1?
False
Let d(j) = -5*j - 18. Let s be d(-4). Suppose -3*x + 310 = 2*r, 5*x - s*r = -6*r + 516. Is 13 a factor of x?
True
Let s be 0 - (-3 + (3 - 2)). Suppose 0 = -5*z + s*g + 257, -4*z + 202 = -2*g + 4*g. Let u = 95 - z. Is u a multiple of 14?
False
Suppose 4 = -5*w + w. Let v be 258 + (3 + -7)/w. Does 13 divide v/5 - 14/35?
True
Let x(a) = 13*a - 6*a - 5*a + 22 - 6*a. Is 14 a factor of x(-15)?
False
Let n(m) = 5*m**2 - 7*m + 1. Let w be (-3)/(-6)*-3*-2 - -4. Is 16 a factor of n(w)?
False
Let k(v) be the third derivative of -v**6/120 + v**5/60 - v**4/8 + 4*v**2. Let i be k(-4). Suppose 2*c = -f - 2*c + 40, -4*c - i = -2*f. Does 13 divide f?
False
Suppose -2*y + 3*g + 65 = -81, -3*y = 4*g - 236. Is y a multiple of 2?
True
Suppose -478 = -13*b - 23. Is 24 a factor of b?
False
Let s = 181 - -2. Is s a multiple of 4?
False
Let u = 41 + 129. Is u a multiple of 17?
True
Let n(m) = -m**3 + 14*m**2 + 16*m - 13. Is n(13) a multiple of 28?
True
Let h be ((-12)/(-20))/(5/25). Suppose h*m - 23 = -3*b + 55, -4*b = 5*m - 106. Let f = b + -5. Is f a multiple of 19?
True
Suppose -4*j - 6*q + 805 = -7*q, -2*q = -4*j + 802. Does 6 divide j?
False
Let s be 2/(-4) + (-110)/(-20). Suppose -3*b + g = -13, s*b = -4*g - 4 + 3. Suppose -4*o + 80 = b*t, -o = -2*o + t + 20. Is o a multiple of 10?
True
Let o = -162 + 344. Is o a multiple of 26?
True
Let u(i) = -i - 2. Let r be u(-5). Does 10 divide r/(-5) + (-406)/(-10)?
True
Let b(j) = -j + 7. Let d be b(0). Suppose -x + 108 + d = 0. Is 22 a factor of x?
False
Suppose 7*t + 10 = 5*t. Let d(f) = 2*f**2 + 3. Let z be d(t). Suppose 2*c - z = 53. Is 17 a factor of c?
False
Let a(d) = -d + 6 + 0 + 2. Is 2 a factor of a(-8)?
True
Suppose -3*u = -2*u - 3*a + 5, 0 = 2*u + 5*a - 12. Let t(c) = c + 1. Let x be t(u). Suppose -x*q + 8 + 28 = 0. Is 6 a factor of q?
True
Let s(p) = -p**2 - 3*p + 10. Let j be s(-5). Suppose j*m - 3*m + 42 = 0. Does 7 divide m?
True
Suppose 2*q - 62 = -5*t - 6, -4*q = 4*t - 52. Let b(u) = -u**2 + 10*u + 6. Let x be b(t). Suppose m - 2 = -0*m, -2*h = -m - x. Is h even?
True
Let x = -11 - -6. Let m(i) be the first derivative of -i**3/3 - 3*i**2 + 7*i - 3. Does 10 divide m(x)?
False
Let d(v) = -3*v**2 - 21*v + 2. Let z = 25 + -31. Does 20 divide d(z)?
True
Suppose -4*a + 4*i = -96, 16*a + 2*i = 14*a + 64. Let f = 10 - 6. Suppose a = f*h - 68. Does 4 divide h?
True
Let z = -4040 - -6250. Is z a multiple of 15?
False
Let k = -249 + 447. Does 22 divide k?
True
Let d = -673 - -1594. Is 5 a factor of d?
False
Let q be 2/(-7) - (-192)/84. Suppose 2*s - q*j = -70, -3*s - 2*j - 110 = -6*j. Does 3 divide ((-15)/(-25))/((-2)/s)?
True
Suppose -17*t - 55 + 5478 = 0. Does 29 divide t?
True
Let h be (2*1)/((-13)/13). Is 14 a factor of (-3 - 8/h) + 37?
False
Let c(n) = n**3 - 2*n**2 - 3*n - 1. Let w be c(3). Is 7 a factor of (3*w)/(18/(-126))?
True
Suppose 2*o - 9 = -3. Suppose -6*k - o = -7*k. Is ((-4)/(-4) - -2)*k 