(-8). Let r = -16 + z. Is 7 a factor of r?
False
Let x = 12 + 9. Does 7 divide x?
True
Suppose -15 = 4*f - 7, -2*a + 18 = -2*f. Let l(s) = -3*s**2 - 20*s + 21. Let r(x) = -2*x**2 - 10*x + 11. Let k(v) = -3*l(v) + 5*r(v). Is 12 a factor of k(a)?
False
Suppose -l = -4*h + 318, 0*l - 84 = -h - 2*l. Let k = h - 48. Does 14 divide k?
False
Suppose 2*l - 360 = -a, 0*a = -5*l - 2*a + 898. Suppose 4*i = l - 22. Is 14 a factor of i?
False
Let r = -27 - -39. Does 3 divide r + 4/(-4) + 2?
False
Let p = 52 + -43. Is p even?
False
Suppose 4*j = 5*x - 289, -2*x = 6*j - 5*j - 113. Is 19 a factor of x?
True
Suppose -5*m - 82 = -3*m. Suppose 4*f = -2*z + 290, -2*z = 5*f - 2*f - 217. Let s = m + f. Is 9 a factor of s?
False
Let r = -26 + 47. Suppose 2*l - 11 = r. Is 11 a factor of l?
False
Let j(m) = m**2 + 15*m + 14. Is j(-16) a multiple of 30?
True
Let h(n) = 1 - 6 + 0 - 8*n + 3*n. Is 10 a factor of h(-5)?
True
Let g(b) = 2*b + 3*b**2 + 4*b - b**2 + 7 - 1. Does 11 divide g(-5)?
False
Let b(i) = i**2 + 5*i - 2. Suppose 4*q - 5*y + 35 = -7, 0 = 5*q - 4*y + 48. Is 11 a factor of b(q)?
True
Let t(b) be the third derivative of 13*b**4/12 - b**3/6 - 2*b**2. Let z be t(1). Suppose -3*j + 6*o + 39 = 3*o, z = 3*j + 4*o. Does 9 divide j?
False
Let k(h) = 4*h**3 - h**2 + 3*h + 3. Does 37 divide k(2)?
True
Let q(r) = r**3 - 5*r**2 + 11*r + 5. Is q(5) a multiple of 14?
False
Suppose 5*v = p + 7, 6*p - p - 3*v - 9 = 0. Suppose -p*a + 75 = 3*w, a + 5*w - 23 = 6. Is 15 a factor of a?
False
Suppose 0 = i - 2*o - 4, 0 = 4*i + o - 13 - 39. Does 10 divide (-28)/7*i/(-1)?
False
Let n = 10 + -6. Let i = 14 - n. Is 10 a factor of i?
True
Let y(x) be the second derivative of x**3/6 + 5*x**2 + 9*x. Does 2 divide y(-6)?
True
Let w = 39 - 6. Is 25 a factor of (-2)/(-3) - (-2156)/w?
False
Let g(a) = 61*a**3 - 3*a**2 + a + 1. Does 12 divide g(1)?
True
Let o(f) = 21*f**3 - f**2 + 1. Let t be o(1). Let u be 3/9*3*-15. Let c = u + t. Does 3 divide c?
True
Suppose 0 = -3*y + 22 - 4. Is y a multiple of 6?
True
Let s(i) = i**2 - 2*i - 3. Is s(4) a multiple of 4?
False
Let v = 213 - 105. Does 55 divide v?
False
Let n = 48 - 5. Does 15 divide n + 1 - (-4 + 5)?
False
Let n = -49 + 113. Suppose 3*v - n = 17. Is v a multiple of 9?
True
Suppose -4*c + 20 = c. Let p(l) = 3*l**3 - 3*l**3 - 3*l**3 + 10*l + c - 9*l**2 + 4*l**3. Does 6 divide p(8)?
False
Let b(h) = 11*h + 4. Let f(o) = 4*o + 1. Let c(s) = -2*b(s) + 7*f(s). Let d be c(1). Suppose -5*a + 265 = d*g, -g + 41 = -a + 5*a. Is g a multiple of 19?
True
Let u = -4 + 7. Let m(d) = 3*d**2 - 3*d - 3. Let k be m(u). Is -5*((-24)/k)/1 a multiple of 4?
True
Let m = 15 - 11. Let l(u) be the third derivative of u**4/8 + 2*u**3/3 - 3*u**2. Is 8 a factor of l(m)?
True
Suppose 4*f = 9*f - 290. Is f a multiple of 29?
True
Let b be -1*(0 + 1 - -4). Let z be (108/b)/(6/(-20)). Suppose 0 = 5*n - l - z, 2*l + l = -6. Is 14 a factor of n?
True
Let n = 24 - 2. Is 11 a factor of n?
True
Let c(p) = -3*p**2 - 21*p + 11. Let l(g) = -g**2 - 10*g + 6. Let o(z) = 2*c(z) - 5*l(z). Is o(6) a multiple of 2?
True
Suppose -4*g = -12, -3*p + 5*g - 3*g - 3 = 0. Let z(r) = r**2 + 2 + 7*r - 4*r - p. Is z(-5) a multiple of 5?
False
Let y(j) = 2*j**3 + j - 1. Let o(u) = -2*u**2 - 1. Let x be o(1). Let t(f) = 6*f**3 + f**2 + 2*f - 3. Let n(w) = x*t(w) + 8*y(w). Is n(-3) a multiple of 10?
False
Let u(o) = o**2 - 4*o - 7. Let c be u(6). Suppose 0 = -5*g + 5, s - c*g - 3 = -4. Suppose -3*n = s*x - 81, 4*n = 5 + 7. Does 9 divide x?
True
Suppose 0 = -z + 5*z - 12. Suppose -z*o + 6*o = 81. Is o a multiple of 19?
False
Let p = 183 + -61. Is 25 a factor of p?
False
Let m = 14 - 3. Let t = m - 8. Is 15 a factor of (6/2)/t + 14?
True
Let i be 69/15 - (-12)/(-20). Let f be i + -1 - (-2)/(-2). Suppose 13 = f*k - 3*w - 11, w - 77 = -5*k. Does 5 divide k?
True
Let c(m) = 52*m**2 - 1. Let y be c(1). Let p be (-5 + -3)*(0 - 11). Let o = p - y. Does 19 divide o?
False
Let i = 16 + 9. Is 8 a factor of i?
False
Is (72/10)/3*15 a multiple of 8?
False
Suppose 0 = 8*b - 13*b + 415. Let f = 151 - b. Does 17 divide f?
True
Let l = 14 + -14. Suppose 2*x + s - 4 = 5*s, -2*s + 6 = l. Is x even?
True
Suppose w - n = -0*n + 1, -6 = -2*n. Suppose -3*j = -w - 5. Suppose j*l = 4*l - 29. Is l a multiple of 18?
False
Let z = -65 + 149. Is z a multiple of 28?
True
Let l be ((-1 - 1) + 2)/1. Suppose 0 = -x - l*x - 5*k + 16, 0 = -4*x + 4*k + 184. Suppose -4*t - s = -56, 12 = 5*t - 3*s - x. Is 5 a factor of t?
False
Let q(r) = r**3 + 2*r**2 - 4*r. Let c be q(-3). Let m = c - 5. Is 6 a factor of (16/(-20))/(m/30)?
True
Let w(h) = h - 5. Let m be w(-12). Let c = 46 - m. Is c a multiple of 13?
False
Let n(w) = 5*w + 2. Let l(g) = 0 - 3 - 3 + 5*g + g**2. Let m be l(-7). Is 21 a factor of n(m)?
True
Suppose 5*q + 0*q = 0. Suppose 0*x - 5*u - 23 = 2*x, -2*x + 2*u + 12 = q. Let r = 5 + x. Is 3 a factor of r?
True
Let i(j) = -3*j + 7. Is i(-5) a multiple of 10?
False
Let y(j) = 2*j**3 - 3*j**2 - 2. Let r(p) = p**3 - p**2 - p - 1. Let s(a) = -3*r(a) + y(a). Is s(-3) a multiple of 19?
True
Suppose -3*u + 11 - 2 = 0. Suppose -u = t + 3*k - 13, 4*t - 4*k + 8 = 0. Suppose -h + 5*r + 36 = 0, 2*h + t = -5*r - 2. Does 4 divide h?
False
Let m(g) be the first derivative of 4*g**3/3 + 5*g**2/2 - 3*g - 7. Is m(3) a multiple of 16?
True
Suppose j - 3 = 22. Suppose 131 = 4*g - j. Is g a multiple of 10?
False
Suppose 5*q - 190 = 2*q + 4*y, 4*q + 5*y - 243 = 0. Does 16 divide q?
False
Suppose 3*n + 21 = -0*n. Let o = 13 + n. Does 3 divide o?
True
Let r(q) = 24*q**3 - 2*q**2 + 1. Does 22 divide r(1)?
False
Does 10 divide 2710/45 + 2/(-9)?
True
Suppose 0*h + 2*h - 10 = 0. Suppose 3 = -h*g + 28. Suppose -2*l = -g*u + 44, -18 = -u + l + 4*l. Is u a multiple of 8?
True
Let g = 32 + 10. Does 13 divide g?
False
Suppose -2*x - t = -0*x - 26, -65 = -5*x - 2*t. Is x a multiple of 9?
False
Let n = 1 - 0. Let o be n + (1 - -1) - 1. Is (-500)/(-18) - o/(-9) a multiple of 12?
False
Suppose -v - 1 = -3. Suppose 15 = -0*u + 2*u - 5*x, 4*u = v*x + 22. Suppose 4*k - 3*a = 50, 0*k - u*a = -k + 21. Does 5 divide k?
False
Let d(y) be the third derivative of y**8/6720 - y**7/1008 - y**5/60 + y**2. Let p(x) be the third derivative of d(x). Does 17 divide p(4)?
False
Let p(z) = 2*z**2 + z + 2. Let v(o) = -3*o + 3. Let x be v(3). Let b be p(x). Suppose 3*r - 45 = 3*t - 8*t, 4*t - b = 4*r. Is 12 a factor of t?
True
Let m be (-1 - 1)*220/(-8). Let d = m - -14. Is 23 a factor of d?
True
Let x(d) = -25*d - 39. Is 14 a factor of x(-9)?
False
Suppose 2*t = 1 + 7. Suppose 0 = -5*f + 2*h + 80 + 219, -246 = -t*f + 5*h. Does 11 divide f?
False
Let c be 0*(-2 + -1)/6. Suppose 6*x - 129 = -4*s + 3*x, c = -2*x + 6. Is 14 a factor of s?
False
Suppose -f - 3*s + 0 = 1, 0 = -5*f + 2*s - 5. Is 9 a factor of f/(-4) - (-142)/8?
True
Suppose 2*y = 2*r + 12 + 2, 0 = 2*r + 4*y - 16. Let a = -19 + 34. Let v = a + r. Does 13 divide v?
True
Suppose -2*o - 84 = -6*o. Does 9 divide o?
False
Suppose 56 + 0 = 2*o. Is o a multiple of 19?
False
Let t be (-10)/35 - (-79)/7. Let w be 12/(-18) - t/(-3). Suppose -4*b + w*b = -49. Is 18 a factor of b?
False
Let i = 2 - 4. Suppose 44 = -4*t - 5*n, -16 + 44 = -2*t - 4*n. Is (t/4)/(i/40) a multiple of 14?
False
Suppose 3*p - 7 = 5*b, 4*b - p + 11 = -4*p. Does 11 divide 1 + 1 + (15 - b)?
False
Suppose -25*w + 28*w = 54. Suppose 28 = w*k - 14*k. Is k a multiple of 2?
False
Is 3 a factor of (2 + (-14)/(-2))*1?
True
Let s(x) = 1 + 3 + 0*x**2 + x**2 + 7*x. Is 11 a factor of s(-8)?
False
Let t(q) = -7*q + 4. Let s be t(-6). Suppose 5*a = -15, 4*d = 2*d + 4*a + s. Is d a multiple of 5?
False
Suppose -4*t - 14 = -0*c - c, 14 = 3*c + 2*t. Let x be ((-10)/3)/((-2)/c). Does 11 divide (48/x)/((-6)/(-20))?
False
Let b(s) = 3*s**3 - 5*s**2 + 2*s + 3. Let d be b(3). Let a = 93 - d. Does 17 divide a?
False
Suppose -5*s = -61 - 19. Does 8 divide s?
True
Suppose -2*l - 2*l = 3*z - 16, 5*l = 5. Let u(t) = t**3 - 4*t**2 + 6*t - 1. Does 18 divide u(z)?
False
Let o(i) = -1. Let c(d) = -d - 8. Let f(z) = -c(z) + 5*o(z). Let p be f(-3). Suppose -3*m + m + 14 = p. Does 7 divide m?
True
Let u(h) be the third derivative of -h**5/60 + 5*h**4/24 + h**3/6 + 2*h**2. Let o be u(5). Let j(a) = 31*a**3 + 2*a**2 - 2*a + 1. Is j(o) a multiple of 11?
False
Suppose -1 = 3*m - 3*j + 2, -4*m