 k = 67 + -46. Suppose -f = -0*f - k. Does 6 divide f?
False
Let h be -1 + -1 + 9 + -1. Let d = h - -9. Is 5 a factor of ((-4)/(-3))/(2/d)?
True
Let l = 26 - 15. Suppose l + 25 = 2*b. Is b a multiple of 9?
True
Is 3/(9/(-6)) - -1 - -53 a multiple of 13?
True
Let z(s) be the third derivative of s**6/120 + s**5/6 + s**4/3 - 11*s**3/6 - 2*s**2. Let w be z(-9). Let y(c) = -3*c + 2. Is 4 a factor of y(w)?
True
Let l = -6 - -9. Suppose 5*r = 3*k - 90 - 28, l*r + 202 = 5*k. Suppose 3*b = 4*s - k, -3*s + 6*b + 22 = 2*b. Does 7 divide s?
True
Let k = 12 - 20. Let s = k + 0. Let d = s + 14. Is 3 a factor of d?
True
Let d be (-1 + -1)/(8/84). Let l = d + 24. Is l even?
False
Let o be (2 - 1)*(0 - 0). Suppose 0 = -u + 2*g + 1, o = u + 2*g + 3*g - 15. Does 2 divide u?
False
Let v(m) = -m**3 + m**2 - m - 1. Let n be v(-1). Let b = n - 2. Let f(k) = k**2 + 29. Is 11 a factor of f(b)?
False
Is 24 a factor of (54/2)/1 - -3?
False
Let k = 0 - -43. Is k a multiple of 9?
False
Suppose -8*m + 456 = -3*m - 4*u, -3*m + 278 = 2*u. Is 22 a factor of m?
False
Suppose 0 = -2*h - 0*h + 6. Suppose 2*v = -h*v + 125. Is v a multiple of 10?
False
Suppose -5*p + 17 + 8 = -3*y, 5*y + 25 = 5*p. Suppose 0 = -p*d - 5*v + 2*v, -2 = -d - v. Is (d/2)/3*-34 a multiple of 9?
False
Suppose 320 = 8*s - 3*s. Suppose -c + s = 3*c. Is 10 a factor of c?
False
Let i(o) = -o**2 + 3*o. Let n be i(3). Suppose -5*g + 0*g + 55 = n. Is 11 a factor of g?
True
Let p = -4 - -4. Is 5 a factor of 3 + p + (-2 - -4)?
True
Let u(r) = 10*r**2 - 2. Is 11 a factor of u(3)?
True
Let t be (-4)/(-4)*(1 + 0). Let n = t + 2. Suppose 0 = g - 4*c - 10, -3*g + n*c - 10 = -4*g. Is 5 a factor of g?
True
Let r(w) = w - 7. Suppose 0 = -3*l - 3*t + 15, 4*l - 17 - 27 = 2*t. Let k be r(l). Is k/(-10) + (-505)/(-25) a multiple of 20?
True
Let j(z) = -z**2 - 5*z + 8. Let y be j(-6). Let p(g) = -10*g + 2. Let u be p(y). Let l = u - -30. Is l a multiple of 6?
True
Suppose 384 = -13*v + 17*v. Does 5 divide v?
False
Let y = 22 - -5. Does 7 divide y?
False
Let q(c) = -c**3 - c**2 - c - 20. Let g be q(0). Is g/150 + (-77)/(-15) a multiple of 5?
True
Let h(i) = -12*i - 9. Let z be (1 - 7)*(-6)/(-9). Is h(z) a multiple of 13?
True
Let y(a) = -4*a. Is 13 a factor of y(-13)?
True
Let k(m) = -m**3 - 12*m**2 - 10*m + 16. Let n be k(-11). Suppose n*t = 17 + 13. Is t a multiple of 3?
True
Let z = -35 + 55. Suppose z = -5*s, q + 2*s + 26 = 3. Let i = q + 37. Is i a multiple of 11?
True
Suppose 7*t - 2*t = l - 5, -4*t = -l + 3. Let y = 3 + t. Is 1/(y/12) - 2 a multiple of 5?
True
Let g(k) = -k + 1. Let a be g(-2). Suppose 2*n + 4*m = 104, -a*n + 3*m = -m - 146. Suppose -5*z + n = -5*u + 5, -4*z + 5*u = -41. Does 2 divide z?
True
Suppose 0*k + 352 = 4*k. Is k/5 - 6/(-15) a multiple of 6?
True
Suppose 3*p + 2 - 11 = 0. Suppose 2*b - p*b = -74. Does 19 divide b?
False
Suppose 2*a - 892 = -4*y, a = 2*a + 3*y - 448. Is 20 a factor of a/11 + 4/(-22)?
True
Let m = 4 - -2. Let p = -11 + m. Let c(j) = -j**3 - 5*j**2 - j + 2. Does 3 divide c(p)?
False
Let g(p) be the first derivative of 7*p**2/2 - 9*p + 4. Is g(11) a multiple of 15?
False
Let l(d) = -d**3 - 5*d**2 - 7*d - 1. Is l(-7) a multiple of 17?
False
Let g(v) = -v**3 + 20*v**2 - 13*v + 6. Is g(19) a multiple of 15?
True
Let z = 37 - 16. Is z a multiple of 3?
True
Let m be (39 + -2)*(-3 - -2). Let x be m/7 - 6/(-21). Is 14 a factor of 33 - x/(10/(-4))?
False
Suppose 4*h - 16 = 0, -14 = b + h - 3*h. Let q = 8 + b. Suppose -1 = u, -162 = -5*f - q*u - 34. Does 13 divide f?
True
Let m be 3/((36/32)/(-3)). Let o(b) = b**3 + 7*b**2 - 11*b - 8. Is o(m) a multiple of 8?
True
Suppose 198 = 2*r - 5*r. Let f = r - -110. Is f a multiple of 31?
False
Suppose 2*k + 32 = y, -4*k - 197 = -5*y - 19. Is y a multiple of 17?
False
Suppose -2*h - h - 17 = -y, -5*h + 5*y - 45 = 0. Let g be (-4)/(-1) + -3 + h. Is 21 a factor of 1 - (g + -56 + 2)?
False
Suppose -5*i + 30 = -3*i. Let z = -25 + i. Is 2 a factor of 1*-2 - (z - -3)?
False
Suppose -7 = 3*u - 43. Let c = u - 6. Is c a multiple of 3?
True
Let r be 0/((-6)/(-3) + -4). Suppose 3*p - 8*h + 3*h = 90, r = -3*p + 4*h + 90. Is 11 a factor of p?
False
Suppose 7*l - 155 = 2*l. Let t = -10 + l. Does 12 divide t?
False
Let a be (-18)/(-81) - (-2 - (-56)/9). Let m = -11 - -34. Let v = m - a. Does 10 divide v?
False
Suppose -5*k - 2*z = -123, -4*k + 121 - 21 = 2*z. Does 23 divide k?
True
Let o(k) = -k**2 - 2*k + 212. Is o(0) a multiple of 7?
False
Let i = -8 - -11. Suppose 49 = 4*g + t, 2*g - 4*t - i = -1. Does 5 divide g?
False
Let s be 0/(1 + -4 + 1). Suppose -4*x + 36 = -3*y, 2*x + s*y = 5*y + 4. Is 7 a factor of x?
False
Suppose m + 3*s + 1 = 0, -2*s + 14 = 3*m - 6*m. Let p(l) = -l**2 - 3*l. Let b be p(m). Is (-10)/b*(-6)/(-5) a multiple of 3?
True
Let l be ((0/(-2))/(-3))/2. Suppose u = -l*u. Suppose u = 5*o + 3*i - 113, o - 4*o + 5*i + 61 = 0. Does 8 divide o?
False
Suppose v = -0*v - 1, 3*v - 141 = -4*r. Is r a multiple of 17?
False
Let j be 6/(-9) + 62/(-6). Let w(n) = -n**2 - 12*n - 10. Let x be w(j). Is x/1 + (-2)/(-1) a multiple of 3?
True
Let m(d) = d**3 - 14*d**2 + 10*d - 1. Let s(b) = 4*b**3 - 57*b**2 + 39*b - 5. Let a(u) = 9*m(u) - 2*s(u). Is a(11) a multiple of 12?
True
Suppose 5*p - 3*p = -a + 119, 0 = -3*a - 15. Is p a multiple of 23?
False
Let g = 5 - 2. Let p(h) = -h**2 - 4*h - 3. Let j be p(-3). Suppose -20 = -g*l - 4*d, j = -4*l - d - 3*d + 28. Is 6 a factor of l?
False
Let w(y) = y**2 - 26*y - 50. Is 2 a factor of w(28)?
True
Let c(b) = b**2 + b + 1. Is 7 a factor of c(-5)?
True
Let f(w) be the second derivative of w**5/20 + w**4 + 2*w**3/3 + 3*w**2/2 - 7*w. Does 27 divide f(-11)?
False
Suppose -1 - 62 = -r. Is r a multiple of 15?
False
Let n(w) = 12*w - 9. Does 12 divide n(4)?
False
Suppose 2*y = -9 - 1. Let b(p) = -p**2 + p**2 + p**2 + p - 9. Does 11 divide b(y)?
True
Suppose 5*x + 7 = -3*k + 1, 4*k - 6 = -2*x. Suppose -k*f + 27 = -0*f. Is f a multiple of 3?
True
Suppose -5*a = -5*y + 40, -y + 0*y = 4*a + 12. Suppose 2*g = y*t - 110, 0*t = -2*t - 3*g + 75. Does 10 divide t?
True
Let z be (-9 - (-1 + -1))*1. Let i = 20 + 8. Let p = i + z. Is p a multiple of 7?
True
Let i = -6 + 6. Suppose o + i = 7. Does 3 divide o?
False
Let o = 289 + -169. Is o a multiple of 38?
False
Let z(a) be the first derivative of a**4/4 - 5*a**3/3 + 3*a**2/2 + 2*a + 2. Let f be z(5). Let p = 1 + f. Is p a multiple of 9?
True
Let b(g) = -g**2 - 13*g + 10. Let s(h) = h**2 + 14*h - 11. Let m(i) = 5*b(i) + 4*s(i). Let n be 1/((-51)/24 - -2). Is 7 a factor of m(n)?
True
Let x(b) = -7*b + 4. Suppose -3*q = -4*d + 8 + 9, -d + 20 = -3*q. Let h be x(q). Suppose 4*l - h - 55 = 0. Is l a multiple of 10?
False
Let f = 48 - 22. Is 13 a factor of f?
True
Let f = 25 - 13. Is f a multiple of 3?
True
Suppose n = 2*n - 82. Suppose -n = -3*g + 80. Does 20 divide g?
False
Let r = -29 + 51. Is 5 a factor of r?
False
Let v = 14 - 14. Suppose v*b + 5*b - 195 = 0. Is b a multiple of 13?
True
Suppose 0 = 2*l - 3 - 3. Let s = l - -30. Is s a multiple of 19?
False
Let z(f) = 3*f**2 - 10*f - 8. Does 46 divide z(8)?
False
Let l(x) = 2*x**2 + 13*x + 11. Is 22 a factor of l(-11)?
True
Suppose r = -0*r + 7. Suppose f - 2 = r. Is f a multiple of 5?
False
Let y(u) = -6*u**3 - 3*u**2 - 3*u. Does 7 divide y(-2)?
True
Suppose -4*b + 3*k + 245 = 0, -3*b + 5*k = 21 - 213. Suppose 5*j + 22 - b = 4*m, -4*j - 5*m = -46. Suppose j + 5 = r. Is r a multiple of 9?
False
Let f = 30 + 75. Is 35 a factor of f?
True
Let j be 10*2*(-1)/(-4). Let h be (-1)/(-2) - j/(-10). Is 5 a factor of ((-5)/1)/(h/(-2))?
True
Let a(z) = 2*z**2 + 9*z + 14. Is a(-8) a multiple of 17?
False
Suppose -2*l - 260 = 3*l. Let o(c) = -c**3 - 6*c**2 + 5*c - 3. Let m be o(-6). Let v = m - l. Is 19 a factor of v?
True
Suppose 0 = 3*c + 3 - 27. Is 3 a factor of c?
False
Let h(s) = s**3 + 2*s - 1. Let m be h(1). Suppose 4*a - 2*l - 36 = m*a, 0 = -a + 5*l + 18. Is 15 a factor of a?
False
Suppose 0 = 4*o + o - 20. Suppose -5*k - f = o*f - 205, 0 = -5*f + 20. Is 10 a factor of k?
False
Suppose 26 + 4 = 4*o - 2*x, -2*o + 3 = 3*x. Is 285/9 + (-4)/o a multiple of 8?
False
Suppose 0 = -s - 3 - 6. Does 9 divide (-2286)/(-81) - (-2)/s?
False
Suppose -3*n + 15 = 2*n. Suppose n*p - 3*h - 63 = 0, -3*h - 2*h = 4*p - 84. Does 9 divide p?
False
Let d(g) = g**3 