 k**3 + 6*k**2 + 2*k - 1. Suppose 0 = 3*r - 2*r. Let m = -4 - r. Does 11 divide d(m)?
False
Let x(s) = 0*s**2 - 3*s**3 + 3*s**3 + 47 - s**3 - s**2. Is 12 a factor of x(0)?
False
Suppose 0 = 5*j - 2*t - 310, -2*t + 0 = j - 74. Is 15 a factor of 16/24 + j/3?
False
Let x(s) = -s**2 + 16*s - 18. Suppose 0 = 4*h - 4*u - 72, -u + 11 = 2*h + 2*u. Is x(h) a multiple of 7?
True
Suppose -5*l = -58 - 7. Is 5 a factor of l?
False
Let z = 19 - 7. Suppose 5*t - z = 13. Suppose -3*y - 7 = -16, t*i - 5*y - 130 = 0. Is i a multiple of 10?
False
Suppose 0*y - y - 1 = 0. Let o(r) = 39*r**2 - r - 1. Let m be o(y). Suppose -5*n = -1 - m. Is 4 a factor of n?
True
Let l be (1 + -1)/(-6 - -4). Suppose -3*h + 6*h - 12 = l. Is h a multiple of 4?
True
Let u(l) = 5*l - 1. Let f be u(-1). Let z = -2 - f. Is z a multiple of 2?
True
Suppose -p - 4 = 5*o, p + 0*p = 5*o - 4. Is 11 a factor of 107/4 - 1/p?
False
Suppose 0*w = -y + 2*w + 8, 4 = -4*y - 4*w. Let i(a) = 2*a**2 + 21 + y*a**2 - 5*a**2 + 13. Is i(0) a multiple of 13?
False
Suppose 0 = 3*d + 2*p + 19, d + 2*p = 1 - 2. Let f(t) = t**3 + 9*t**2 - t - 1. Is 4 a factor of f(d)?
True
Suppose 4*d - 70 = 94. Is 18 a factor of d?
False
Let p = 5 - -2. Does 7 divide p?
True
Let f = 10 + -16. Let l be (-130)/(-14) + f/21. Does 10 divide 0 + -1 + l*2?
False
Suppose 2*l - 4*k + 117 = 457, -k = l - 185. Suppose -51 = -h + 4*m, -5*h + 0*m = 5*m - l. Is h a multiple of 13?
True
Let u = -120 + 3. Let l = 181 + u. Is 14 a factor of l?
False
Let o(d) = -2*d + 16. Is o(-7) a multiple of 12?
False
Let b = 191 - 71. Suppose -3*u + b = -60. Suppose t - 3*t + u = 0. Is t a multiple of 21?
False
Let a(d) = d**3 - 8*d**2 + d + 1. Let w be -1 - (-5 + 3/(-1)). Let p be a(w). Let v = -25 - p. Is v a multiple of 14?
False
Let q be -49 - -3*(-2)/(-3). Let h = q - -68. Does 7 divide h?
True
Let y = 120 - 102. Does 6 divide y?
True
Let n be ((-5)/10)/(1/18). Suppose 0 = -w + 3*q - q, -3*q - 6 = 0. Is w/6 - 168/n a multiple of 10?
False
Let m(w) = -3*w + 6. Let f be m(4). Let q = -3 - f. Is q a multiple of 3?
True
Suppose 8 = -r + 2*r. Let o be 4/16 + 30/r. Let c = o - 1. Is 2 a factor of c?
False
Let g = 34 - 16. Is g a multiple of 3?
True
Let b(n) = n**3 - 2*n - 15. Is 49 a factor of b(5)?
False
Suppose -3*s + 4 = -2*y, 0*y = 4*y + 20. Let g(j) = j**2 + 3*j + 1. Let p be g(s). Is 11 a factor of (-2 - p)/(3/(-57))?
False
Let i be (6/5)/((-4)/(-10)). Suppose -23 = -i*r + 247. Is ((-4)/(-10))/(3/r) a multiple of 12?
True
Suppose -i - 5*j + 8 + 60 = 0, 5*i - j - 288 = 0. Suppose -22 = 2*k - i. Does 18 divide k?
True
Let j = 19 + 44. Is j a multiple of 9?
True
Does 11 divide ((-45)/40*30)/(1/(-4))?
False
Let a be (-5)/(-2)*(-32)/(-20). Let m = a + 14. Is m a multiple of 18?
True
Let v = 86 - 28. Let m = 86 - v. Is 13 a factor of m?
False
Let z(k) = -3*k**3 + k**2 - 3*k - 3. Let o(j) = -j**2 + 0*j - 2*j**3 + 7*j**3 + 5*j + 4. Let g(d) = -5*o(d) - 8*z(d). Is 6 a factor of g(-3)?
False
Let m(o) = 3*o**2 - 7*o + 2. Is 9 a factor of m(4)?
False
Let w(r) = 7*r**2 - r - 4. Let o be w(4). Let h = -53 + o. Let s = 93 - h. Is s a multiple of 14?
True
Suppose 4*p = 6*p - 4. Suppose 2 = p*a - 6. Suppose 5*v + 6*o - 2*o = 59, -a*v = 4*o - 48. Is v a multiple of 6?
False
Suppose -2*q + 3*q = 64. Is q a multiple of 16?
True
Let l(k) = k + 13. Is l(-10) a multiple of 2?
False
Let q(g) = 2*g - 1. Is q(8) a multiple of 7?
False
Is (-2 + 0)*(-11)/(66/9) a multiple of 3?
True
Let u be 1 + 6*1 + 2. Let t(n) = n**2 - 6*n + 9. Let x be t(6). Let g = x + u. Does 9 divide g?
True
Suppose -2*a = -9*a + 140. Is 10 a factor of a?
True
Let i(p) = -26*p - 9. Let u be i(-9). Suppose 0 = r - u - 70. Is 6 a factor of r/25 + (-1)/(-5)?
True
Let a be 2 + -1*(2 + -2). Let u be 2*(-18)/8*a. Let g = 48 + u. Is 18 a factor of g?
False
Suppose 0 = -2*b - o - 69, -5*o + 38 = -b - 13. Suppose m - 264 = -3*m. Let w = b + m. Does 15 divide w?
True
Let a(w) = -6*w**3 - w**2 + 2*w + w + 7*w**3 - 2. Does 9 divide a(3)?
False
Let g(w) = -2*w**3 - 3*w**2 + 5*w - 1. Let t = -15 + 11. Does 17 divide g(t)?
False
Let t(s) = -2*s + s**3 + 0 - 4*s + 5 - 4*s**2. Let x be t(5). Suppose -4*a + 100 - 4 = x. Does 14 divide a?
False
Suppose 0 = 5*u - 0*u - 100. Suppose 4*t - u = 0, a = -3*a - 4*t + 228. Is 12 a factor of a?
False
Is 14 a factor of ((-182)/5)/(3*(-1)/15)?
True
Suppose -2*p + 0*p = 3*l + 2, -2*p + 6 = -l. Suppose -2*g - 2*g + 60 = -p*z, -g - z = -9. Is g a multiple of 5?
False
Suppose -3*m + 2*t = -m - 10, -5 = -m + 3*t. Suppose -21 = -4*y - m*d, 3*y + 5*d - 17 = -0*d. Does 9 divide (-3)/(3/y)*-3?
False
Let t be 5*(0/(-1) - -1). Suppose t*x - 2*x = 48. Is 71/4 - (-4)/x a multiple of 9?
True
Let j(i) = 2*i**2 - 2*i. Is 12 a factor of j(3)?
True
Suppose 2*g - 10*g + 816 = 0. Does 34 divide g?
True
Suppose -m - 3*v = 4*m + 6, -4 = 2*v. Suppose 3*b - 54 = -m. Let j = b - -12. Is 8 a factor of j?
False
Suppose 2*k + 1 = 3*v, -8 = -4*v + k + 3*k. Let s be (v/(-6))/(1/234). Suppose -3*t + s = 15. Is t a multiple of 17?
True
Does 5 divide 0 + 4 + (32/(-4))/(-8)?
True
Let r be (-16)/12*(-9)/(-6). Let g be 1/(66/(-34) - r). Suppose -6*j + 65 = 5*n - j, -j - g = -2*n. Does 10 divide n?
True
Let y(o) = -o - 1. Let u be y(-7). Let c be (9/u)/(3/4). Suppose 3*p + 99 = 3*t, -5*p - 73 + 13 = -c*t. Is t a multiple of 14?
False
Suppose 4*b = -0*b + 56. Suppose 5*f - 2*j = 25, -2*f + 5*f - j = b. Suppose f*z = -0*z + 51. Does 10 divide z?
False
Let a(c) = 7*c**2 + 6*c + 6. Let u be a(-6). Suppose -u = -3*x - 69. Is 17 a factor of x?
True
Suppose -4*p + 16 = 4*j, -4*p = j + 3 - 13. Suppose 0*x - p*x = -136. Suppose 3*v + k - x = 2*k, 12 = v - 3*k. Is v a multiple of 12?
True
Let q(x) = x - 8. Suppose -5*r + 7 = -23. Let g be q(r). Let f = 5 + g. Is 3 a factor of f?
True
Let s(t) be the second derivative of 5/2*t**2 + 2*t + 7/12*t**4 + 0 - t**3 - 1/20*t**5. Is s(6) a multiple of 4?
False
Let x = -16 - -8. Does 9 divide x*(2 - (-50)/(-8))?
False
Let h be 1*-2*5/(-2). Suppose 4*a - h*a = 0. Suppose a = s - z - 2*z - 26, 3*z = 2*s - 46. Is s a multiple of 9?
False
Suppose -44 = -w - 3*w. Let b be (1 - 1)*15/30. Suppose -n + b = -w. Is n a multiple of 11?
True
Does 23 divide (-92)/(-10)*(-10)/(-4)?
True
Suppose g - 7 = -4. Suppose -3*z - g*o = -27, 2*z + 0*z - 2*o = -2. Is 4 a factor of z?
True
Let b(c) = c**2 - 5*c - 4. Is b(-3) a multiple of 6?
False
Is 5 a factor of (0 + 5/10)*166?
False
Let z(b) = -9*b**3 - 5*b**2 + 7*b + 4. Let f(d) = 8*d**3 + 4*d**2 - 6*d - 3. Let a(u) = -6*f(u) - 5*z(u). Does 12 divide a(-2)?
True
Let h(q) = -123*q - 18. Is h(-2) a multiple of 28?
False
Let u(k) = k + 9. Let a be u(-7). Is 7 a factor of a + -3 + 10*2?
False
Suppose 13*t - 860 - 50 = 0. Does 35 divide t?
True
Let x = -105 - -168. Is 7 a factor of x?
True
Let n be (-40)/16*(-12)/10. Does 4 divide -2 + 14 + n + -3?
True
Let y = 59 + 45. Is 26 a factor of y?
True
Suppose -3*c + 13 = a, 5*a + 0*a = -2*c + 39. Is 5 a factor of a?
False
Let a = 23 - -89. Is a a multiple of 14?
True
Let v be (-8)/(-3)*(-18)/(-2). Let d = -20 - -20. Let c = d + v. Is 8 a factor of c?
True
Let j(h) = h**2 + 10*h + 9. Let l be j(-9). Let g = l - -8. Is 2 a factor of g?
True
Suppose -4*w = -4*g + 20, g - 5*g - 3*w = -6. Suppose -g*s = -s - 72. Does 12 divide s?
True
Suppose 0 = -2*j + 15 - 1. Suppose -j = 2*i - 77. Is 15 a factor of i?
False
Let x(j) = -j**2 + j + 3. Suppose -5*n - 5 = -u, 2*n - n + 5 = u. Let y be x(n). Suppose s + y*s - 128 = -5*v, 0 = -v - 5*s + 34. Does 12 divide v?
True
Let f = -152 - -63. Let t = -54 - f. Let w = 55 - t. Is 10 a factor of w?
True
Let n(f) = -4*f**3 + 13*f**2 - 9*f + 14. Let c(d) = 7*d**3 - 25*d**2 + 19*d - 27. Let a = -5 + 10. Let u(g) = a*n(g) + 3*c(g). Does 13 divide u(9)?
False
Suppose 0 = -0*t - 3*t - 42. Let w = t + -11. Let z = -18 - w. Is z a multiple of 7?
True
Is -1 - 102*1/(-2) a multiple of 3?
False
Let b be ((-9)/6)/((-6)/16). Suppose b*w = -4 - 0, -k + 2*w = -6. Is k even?
True
Let r(d) = d**3 + 6*d**2 + 4*d - 2. Let c be r(-5). Suppose c*a - 4*a = -49. Suppose -19 = -4*n + a. Is n a multiple of 9?
False
Let c(r) = 47*r. Let h be c(5). Suppose 5*n = -0*n + h. Let s = n - 0. Does 17 divide s?
False
Let f be (-10)/25 + (-62)/(-5). Suppose -f = -q - q. Does 4 divide q?
False
Suppose 2*o + 4 = 4*i, -i - 4*o 