9, -2*k + 0*k + 6 = j. Let f = 13 - k. Is f a multiple of 3?
False
Let r(n) = -n**2 + 27*n + 1. Is 7 a factor of r(12)?
False
Suppose 4*p + 35 - 15 = 0, -4*m + 4*p = -520. Does 25 divide m?
True
Let f be (-1)/4 + (-1803)/(-12). Suppose -f = 3*m - 8*m. Let x = 52 - m. Is 11 a factor of x?
True
Let j be (-2)/8 + (-4)/(-16). Let n = j + 10. Is 5 a factor of (1 - 3)*n/(-4)?
True
Let q = -77 - -192. Let o = q + -63. Is o a multiple of 13?
True
Let g(b) be the second derivative of -b**5/4 + b**4/3 - b**3/2 + b**2/2 - 2*b. Let n be g(2). Is (-3 - n)*(-1)/(-2) a multiple of 13?
True
Is 2 - -5*(13 - 4) a multiple of 10?
False
Let s(g) = -g**3 + 14*g**2 + 3*g - 15. Is 27 a factor of s(14)?
True
Suppose 0 + 3 = -s. Let a be (1 + (-14)/6)*s. Suppose a = q - 30. Is q a multiple of 17?
True
Let p(x) = 3*x - 7. Let f(s) = -3*s + 8. Let k(m) = -4*f(m) - 5*p(m). Let y be k(2). Does 12 divide 6/9 + (-34)/y?
True
Suppose s = -3*q + 14 + 30, 0 = -5*s - 3*q + 184. Is s a multiple of 7?
True
Is 18 a factor of 1/((-6)/(-2960)) - 36/(-54)?
False
Suppose -4*t - 57 = t + 4*b, 33 = -3*t - 2*b. Let w = t - -12. Is 2 a factor of w?
False
Suppose -5*p + 0*p = -30. Is p a multiple of 2?
True
Let m(p) be the third derivative of 7*p**5/30 + p**2. Suppose -1 = -3*t + 4*t. Does 7 divide m(t)?
True
Let m be (-1 - 0)/((-1)/4). Suppose -u + m = -2. Is (-2 - -5)*32/u a multiple of 6?
False
Let h(d) = -d**3 - 6*d**2 - 5*d - 7. Suppose 0 = -5*r + k - 8, 0 = r - 4*k - 0 - 6. Let u(x) = x**3 + 2*x**2 + 4*x + 2. Let i be u(r). Does 12 divide h(i)?
False
Let o(r) = r**2 + 7*r. Let v be o(-8). Let l(p) = 3*p. Does 16 divide l(v)?
False
Suppose 0 = -i + 3 - 1. Suppose 2 = -2*q, -14 = g + i*q - 45. Is 14 a factor of g?
False
Let h(f) = -f - 4. Let x(u) = -3. Let m(i) = 2*h(i) - 3*x(i). Let y be m(-2). Let p(c) = 5*c + 3. Does 21 divide p(y)?
False
Suppose 6*a - 448 = 4*a. Does 13 divide a?
False
Suppose 5*q = -4*y + 115, 2*q - 3*y = -y + 28. Does 6 divide q?
False
Suppose 4*u - 5 - 3 = 0. Suppose u*g - 144 = -g. Is 16 a factor of g?
True
Suppose -7*q + 3*q + 4*r + 12 = 0, 0 = -2*q - 4*r. Let b(g) = -g + 7*g**q - 3*g + 7 + 0 - g**3. Is 8 a factor of b(6)?
False
Let n = -6 - -8. Let i = 4 - n. Suppose -42 - 24 = -4*t + i*m, 3*m + 85 = 5*t. Is t a multiple of 7?
True
Is 6 a factor of 2 - (-4 - (162 + 0))?
True
Let h = -107 - -301. Does 5 divide h?
False
Let x be 35/15 + 1/(-3). Suppose 4*u = -3*l + 211, -x*l + u + u + 122 = 0. Is 13 a factor of l?
True
Suppose -8 = -4*s - 0*s. Suppose v + 4*g = 7, -g + 11 = s*v - 10. Is v a multiple of 6?
False
Let r(b) be the third derivative of b**8/20160 + b**7/5040 + b**6/720 + b**5/60 + 2*b**2. Let t(q) be the third derivative of r(q). Is 7 a factor of t(2)?
True
Let p(q) = 3*q**2 + 11*q + 4. Let f be p(-7). Suppose -2*t + 3*r + 27 = 6*r, 0 = -5*t - r + f. Does 7 divide t?
False
Suppose 4*y - 204 = 4*n, 3*y + 4*n = 190 - 23. Is 2 a factor of y?
False
Let i(w) = w**3 - 8*w**2 + 10*w - 7. Let p be i(7). Suppose 40 = p*c - 12*c. Is 13 a factor of c?
False
Let c(z) = 2*z - 6. Let h(n) = -2*n + 4*n - 2 - 5. Let w(a) = -3*c(a) + 4*h(a). Is 7 a factor of w(10)?
False
Suppose -2*m - 3*m = 0. Suppose m*s + s = 9. Is s a multiple of 9?
True
Suppose o - 12 = 4*o. Let r be (-9)/(-6)*o/(-6). Suppose 0 = x - r - 5. Does 3 divide x?
True
Let g(w) = w**2 - 7*w - 8. Suppose b = x + 2 + 8, 5 = b + 4*x. Is g(b) a multiple of 5?
True
Suppose -34 = b + 12. Let f = b + 76. Is f a multiple of 15?
True
Suppose -2*c = 3*c + 165. Let n = c + 69. Is n a multiple of 18?
True
Suppose 4 = -2*v, 3*p + 2*v = -2*p + 11. Let c be (-1 - -2)*(p + -10). Let i = c + 32. Does 25 divide i?
True
Let i be (-17)/(-4) - (-9)/12. Is 2 a factor of -1 + (i + 1 - 1)?
True
Let b(o) = o + 1. Let z be 3 - 2 - (-1 + -2). Does 3 divide b(z)?
False
Suppose 0 = -5*t + 4*t - k + 5, 2*k - 22 = -4*t. Does 2 divide t?
True
Let o be (14/(-8))/(1/(-12)). Let z = 44 - o. Is 20 a factor of z?
False
Suppose a - 21 = -y, 42 = 3*a + y - 23. Does 22 divide a?
True
Let b = -217 + 331. Does 27 divide b?
False
Let w be 11*(0 + 2)/2. Let q = w - -11. Does 21 divide q?
False
Let b be (-5)/(20/(-144))*1. Does 17 divide 1215/b - 2/(-8)?
True
Suppose 3*c = 5*s - 2*c + 20, c = -3*s + 4. Suppose 2*u - 156 = -4*y, 0 = -s*u + u. Does 13 divide y?
True
Let b(w) = w**3 + w. Let g be b(-1). Let v be 5/((-2*1)/g). Suppose -8 = 3*q - v*q. Is q a multiple of 3?
False
Suppose 18 = -0*j + 2*j + 3*n, -2*n - 2 = -j. Let q = 8 - j. Suppose 2*v = c + 10, q*v + 3*c - 26 = -0*v. Does 4 divide v?
False
Let b(z) = -1 - 1 - 2*z + 1. Let l = 17 + -20. Does 4 divide b(l)?
False
Let j = 106 + -18. Is j a multiple of 16?
False
Let c be (-12)/4 + (-2 - -40). Let f = -18 + c. Is 8 a factor of f?
False
Let j be 5 - (1 + -3 - -3). Suppose 9 = j*v - 3. Suppose 4*b - 28 = v*u - 119, -137 = -5*u + 3*b. Is u a multiple of 19?
False
Is (-64)/(-6) - 2/3 a multiple of 10?
True
Suppose 0 = 2*o - 3*p - 26, -p = -4*o + p + 60. Is o a multiple of 16?
True
Let q = -362 + 548. Is q a multiple of 21?
False
Is 85/15*(-9)/(-3) a multiple of 17?
True
Let z = 6 - -29. Is z a multiple of 34?
False
Suppose -8*n = -3*n. Suppose n = u + 3*u - 32. Is u a multiple of 4?
True
Let g = -1 - 7. Let b = g - -25. Does 13 divide b?
False
Let h = 13 - 7. Let x(g) = g**2 - 5*g + 6. Does 5 divide x(h)?
False
Let m(x) = -x + 11. Let r be m(5). Let h be (-52)/r + (-1)/3. Is 6 a factor of -3*3/h - -9?
False
Suppose -l + 2*l = 3. Suppose l*f - 46 = f. Is f a multiple of 6?
False
Let g(o) be the second derivative of o**5/60 + 7*o**4/24 + 2*o**3/3 + 3*o**2/2 + 3*o. Let a(i) be the first derivative of g(i). Is 6 a factor of a(-8)?
True
Let h be (-5 + 3)/(-2) - 8. Let a = h + 19. Does 6 divide a?
True
Suppose -4*f - 284 = -2*v, 3*v - 17 + 5 = 0. Let s = -34 - f. Is s a multiple of 20?
False
Suppose 5*n - 11 - 64 = 0. Is 9 a factor of n?
False
Let z(c) = -1 - 20*c + 8*c - 13*c. Is z(-1) a multiple of 20?
False
Let r = 3 + -3. Suppose 2*h - 2 = -r*h. Let q(c) = 8*c**2. Is q(h) a multiple of 5?
False
Suppose 2*i - 2*o = 128, -6*o + o = 5. Is i a multiple of 16?
False
Let g = 0 + 2. Suppose -g*c = u - 29, 4*c - 71 = -c - u. Is 7 a factor of c?
True
Let w be -5*(2 + -6 - -3). Suppose 2 - 8 = c + w*b, -6 = c - 4*b. Let t(q) = -q**2 - 6*q + 3. Does 3 divide t(c)?
True
Let c = 16 - 11. Let z(s) = 6*s + 1. Does 15 divide z(c)?
False
Suppose 0 = -0*t - 2*t + 5*v + 142, -136 = -2*t + 2*v. Is 22 a factor of t?
True
Suppose -3*o + 87 = 4*g, 0*g = o - 3*g - 29. Suppose -160 - o = -3*p. Does 21 divide p?
True
Let b be 63/(-4) - (-3)/(-12). Let i = b - -39. Is 9 a factor of i?
False
Let g(x) = x**3 + 2*x**2 + 2*x + 84. Does 6 divide g(0)?
True
Suppose -13*y + 545 = -144. Is y a multiple of 46?
False
Suppose -2*s = 5*b - 22 - 25, 4*b = 4*s - 80. Suppose 3*m + 4*x - s = 0, -x - 3*x - 35 = -5*m. Is m a multiple of 7?
True
Suppose 0 = -p - 3*s + 5 + 8, 0 = -2*p - 4*s + 28. Let n = 6 - p. Let x(f) = f**3 + 9*f**2 - 12*f + 13. Is 10 a factor of x(n)?
False
Let k(x) = -x**2 - 10*x + 3. Let s be k(-8). Suppose -2*r + 267 = 5*f - s, -5*r = 4*f - 222. Is 12 a factor of f?
False
Let d(i) = -37*i. Let b be d(-1). Let z = b + 17. Is z a multiple of 26?
False
Let p = 3 + -3. Suppose p = -3*m + 3*y - 103 + 271, -3*y = -6. Suppose -d = 2*a - m, -3*a + 4*d + 88 = 12. Is 14 a factor of a?
True
Let j be 0 + 45 - (3 + -6). Suppose j = -3*o + 6*o. Let d = -8 + o. Is d a multiple of 4?
True
Suppose -8*o = 3*i - 6*o - 194, 3*i - 5*o - 187 = 0. Let m = 136 - i. Suppose 0*z - m = -4*z. Does 11 divide z?
False
Let l be (-8)/(((-4)/(-3))/(-4)). Suppose d + 11 = l. Is 12 a factor of d?
False
Suppose 0 = 5*d - 2*r + 194, -5*r + 197 = -5*d - 4*r. Let y = d - -97. Let u = y + -27. Is 22 a factor of u?
False
Let f(i) = -i**3 - 10*i**2 + 4*i - 9. Let l be f(-11). Suppose -l = 5*g - 218. Is g a multiple of 11?
False
Let z(u) = u**2 - 10*u + 9. Let y be z(10). Let v(c) = c**2 - 7*c + 15. Is v(y) a multiple of 10?
False
Let k(b) = b**3 + 9*b**2 - 5*b + 5. Let w be k(-9). Is ((-60)/w)/((-3)/40) a multiple of 8?
True
Is 14 a factor of ((-6)/(-15))/((-3)/(-180))?
False
Suppose 3*w - 14 = -x - 0, -w + 2*x + 7 = 0. Suppose 2 = -w*m + 7. Does 11 divide (-344)/(-24) + m/(-3)?
False
Let j(o) = -2*o + 1. Let l be j(-8). Let x = l + -12. Suppose -x*m + 5