
False
Let d(a) = a**3 + a**2 + a + 12. Let n be -3*(1 + 4/6). Let s = 5 + n. Does 5 divide d(s)?
False
Let u = 94 + -54. Does 4 divide u?
True
Suppose -3*t = v - 93, -5*t = -7*t. Is 15 a factor of v?
False
Suppose 330 = 4*d + 5*s, 0 = -3*d - s + 54 + 188. Is d a multiple of 17?
False
Let p(l) = l**2 - 1. Let t(o) = -3*o**2 + o + 8. Let g(z) = 2*p(z) + t(z). Let j be g(-5). Let a = -8 - j. Does 6 divide a?
False
Suppose -87 - 33 = -5*r. Let k be (114/(-8))/((-9)/r). Suppose -l = 2, 3*l = i - 3*i + k. Does 6 divide i?
False
Does 28 divide 4/(-12)*3*(-119 - 1)?
False
Is (-8)/(-6)*9/(-6)*-7 a multiple of 7?
True
Let r = 74 - 41. Does 19 divide r?
False
Let s = 7 + -1. Suppose -l + s*l - 80 = 0. Is l a multiple of 6?
False
Let y be 1 - 0/(-1 + -1). Does 13 divide 29 + -3 + (-1 - y)?
False
Let s = 142 - 80. Suppose 2*n - 18 = -k - n, -3*k - 5*n + s = 0. Is k a multiple of 8?
True
Suppose 0*z + 4 = -4*z, 0 = -h + 4*z + 6. Suppose -115 = -7*y + h*y. Is y a multiple of 12?
False
Let y = -33 - -42. Is y a multiple of 2?
False
Suppose -15*v + 390 = -10*v. Does 20 divide v?
False
Let c(q) be the second derivative of -q**5/20 + 7*q**4/12 - 5*q**3/6 - q**2 + 2*q. Let u be c(6). Does 17 divide (u/(-8))/(1/(-34))?
True
Let l(n) = -12*n**3 - n**2 + 11*n**3 + 3*n + 2 + n**2. Is l(-3) a multiple of 13?
False
Suppose 5*p - 2*h - 5 = 4*p, -10 = -p - 3*h. Suppose 0 = u + 5*g - 12, -15 = u - 5*g + g. Let k = u + p. Is 4 a factor of k?
True
Is 7 a factor of 285/10 - (-1)/(-2)?
True
Let a be (-3)/9 + (-1298)/(-6). Suppose -2*j - 2*v + 118 = 6, -2*v + a = 4*j. Does 9 divide j?
False
Let i(m) = m - 3. Is i(14) a multiple of 4?
False
Let m = 14 + -45. Let c = 23 - m. Does 27 divide c?
True
Suppose 17 = 5*j + 67. Let h = 1 - j. Is h a multiple of 11?
True
Suppose -10*v + 11*v = 4. Is 4 a factor of v?
True
Let n be 236 + (-2 + 3)/(-1). Suppose -3*h - 25 = 2*h, -5*h - 25 = 2*i. Suppose i = -5*f + 35 + n. Does 18 divide f?
True
Does 8 divide (45/30)/(2/(1 + 79))?
False
Let q = -16 - -23. Is 7 a factor of q?
True
Suppose -14 - 6 = -z. Does 10 divide z?
True
Let w(v) = 36*v - 13. Let c(x) = 9*x - 3. Let g(n) = -9*c(n) + 2*w(n). Is 8 a factor of g(-2)?
False
Let b = -75 + 131. Suppose -b - 18 = -2*m. Is m a multiple of 9?
False
Let m = -1 + 3. Let l be (m - 7)*(-2 + 1). Suppose 0 = -l*j + 3*b + 104, 5*b = 2*j + j - 56. Is 11 a factor of j?
True
Suppose -104 - 32 = -4*f. Suppose -3*v + f = -2*c, 4*c + 1 - 3 = v. Does 14 divide v?
True
Let b(o) = -2*o. Let h be b(-1). Let g = 19 - 14. Suppose 57 = 2*p - g*z, p - h*z - 33 = -z. Is p a multiple of 13?
False
Let x = 33 + 63. Suppose -b = 2*b - x. Is b a multiple of 16?
True
Suppose 0 = -0*o + 4*o - 420. Is o a multiple of 15?
True
Is 2709/51 + 6/(-51) a multiple of 6?
False
Let p(u) = -2*u - 7. Let z(t) = 7*t. Let l be z(-1). Let k be p(l). Let m(v) = -v**2 + 7*v + 2. Is 2 a factor of m(k)?
True
Let o = -283 - -592. Is 35 a factor of o?
False
Suppose -4*v = -20, -5*q + 3*v - 30 = -2*v. Let p be 552/(-3) + (q - 1). Is p/(-14) + 2/(-7) a multiple of 8?
False
Suppose -5*w - 3 = -4*d, -2*d + d + 4*w = -9. Let x(z) = 7*z**2 + 3*z + 3. Is x(d) a multiple of 15?
False
Suppose -12 = -4*x, -4*h - 506 = -0*h - 2*x. Let p = h + 89. Is 5 a factor of p/(-3) + 1 - -1?
False
Let q = 1 - -3. Let c = q + 4. Is c a multiple of 4?
True
Suppose 2*o - 5*q = -3*q + 18, -14 = -o + 2*q. Suppose -3*k - 16 = 5*b + 31, -5*b - 51 = -k. Let d = o - b. Does 13 divide d?
False
Let m = 0 + 4. Let c(h) = 11*h - 6. Is 19 a factor of c(m)?
True
Does 6 divide -30*(3 - (-36)/(-10))?
True
Let i(j) be the first derivative of 3*j**2/2 - 4*j + 4. Is 30 a factor of i(14)?
False
Let p(s) = s**2 + 3*s + 4. Let f be p(3). Let m = 54 - f. Does 16 divide m?
True
Does 8 divide ((-38)/10 - 4/20) + 39?
False
Let v = 35 - 3. Is 8 a factor of v?
True
Suppose 2*f - 6 = d, 2*d - d - 3*f + 9 = 0. Suppose -41 + d = -p. Is p a multiple of 9?
False
Let f be (6/9)/(4/18). Suppose -43 + 638 = v + d, -1791 = -f*v + 3*d. Is 9 a factor of v/28 - 4/14?
False
Let v(l) = 2*l**2 - 6*l - 2. Is v(5) even?
True
Suppose 2*c - 4 = -0. Suppose -c*x = -x - 41. Is 20 a factor of x?
False
Suppose 4*b + 3*y - 15 = 0, -2*b - 3*y + 0 + 9 = 0. Does 2 divide b?
False
Let b be (-2)/10 + 372/10. Suppose 5*a = 3*q - b, 2*a - 18 = -2*q - 4. Let u = 39 - q. Does 20 divide u?
False
Suppose 3*d - 4*o = -125, 0*d + 150 = -5*d - 5*o. Suppose 0 = w + 3 + 7. Does 2 divide 94/14 + w/d?
False
Let k be ((-8)/(-6))/((-4)/(-6)). Suppose -k*v + 56 = 2*c, 5*c - 3*v - 90 = 2*v. Is 7 a factor of c?
False
Suppose -5*i = -4*s + 577, 3*i - 235 = -3*s + 191. Is s a multiple of 28?
False
Let v(a) = a**3 - a**2 + 3*a - 1. Let w be v(3). Let o = -3 - -5. Suppose w = o*g - g. Does 11 divide g?
False
Suppose -m + 4 + 1 = 0. Suppose 2*s - m = -1. Suppose 0 = -2*c - 5*h + h + 38, -4*c = -s*h - 46. Is 13 a factor of c?
True
Let d(p) = -p**2 - 9*p + 24. Is 7 a factor of d(-10)?
True
Let o(h) = h + 1. Let u be o(1). Suppose 5*r - u*v = -7*v - 5, 0 = 5*v. Is 11 a factor of ((-3)/(-9))/(r/(-33))?
True
Is 49 a factor of (-84 + 5)*2/4*-6?
False
Let k = -9 + 20. Suppose k = d - 7. Is d a multiple of 9?
True
Does 15 divide 4/14 - (-628)/7?
True
Let y(w) = 17*w - 2. Let x be y(6). Suppose -4*s = 2*z - x, 2*s - 5*z - 14 = s. Is s a multiple of 22?
False
Suppose 15 = 4*t - t. Suppose 0 = -2*o + 2*v + 24, 32 = t*o - 3*v - 38. Suppose -5*m + 72 = o. Is 11 a factor of m?
True
Let s = 32 + -59. Let d be -3 + 3 + -2 + s. Let p = -15 - d. Is 14 a factor of p?
True
Let z(m) = m**2 - 5*m - 2. Is 12 a factor of z(-5)?
True
Suppose -l + 76 = 4*h, -2*h - 2*h = -12. Let n be 0 + -1*(-18)/(-3). Does 16 divide l/n*6/(-4)?
True
Suppose -2*l = 2*l + 4. Let a be (l/(-3))/(1/12). Suppose 0*t - a*t = -96. Is t a multiple of 12?
True
Let j be (-2)/5 - (-188)/20. Let z = -10 - j. Does 19 divide 0 - z/(0 - -1)?
True
Suppose -z + 14 = -12. Let w = 53 - z. Is 18 a factor of w?
False
Suppose 5*t = 3*k + 22, -8 + 0 = 2*t + 3*k. Suppose t*w = -w + 78. Let o = 70 - w. Does 15 divide o?
False
Let h(v) = 25*v**2 + 1. Let a(y) = y + 4. Let q be a(-3). Is 13 a factor of h(q)?
True
Let d(g) = g + 6. Let o be d(-6). Suppose o = -2*n - 8 - 26. Is 7 a factor of (1 - -1)*n/(-2)?
False
Suppose 0 = 13*b - 12*b - 30. Does 12 divide b?
False
Suppose 16 = 3*z + k, 2*k + 26 = 5*z + 3*k. Suppose 0 = i - z*v - 12 - 20, 0 = -2*i + v + 109. Is 19 a factor of i?
True
Let o = -137 + 300. Suppose -k + 57 = 3*m, -4*k - m = -k - o. Does 27 divide k?
True
Let t(r) = 2*r**3 - r**2 - 3*r. Let m(k) = k**3 - k. Let c(l) = -3*m(l) + t(l). Does 9 divide c(-3)?
True
Let f(c) = -c**3 + 5*c**2 + c - 5. Let p be f(5). Suppose p = 3*m - 6*m + 177. Is 23 a factor of m?
False
Suppose -3*m + 3*s = m - 131, -5*m + s = -172. Is m a multiple of 5?
True
Suppose -40 + 12 = 4*v. Let f(h) = -h**3 - 8*h**2 - 8*h. Is f(v) even?
False
Suppose 4 = b + b. Let m be (11/2)/(b/4). Let g = m - -2. Does 8 divide g?
False
Does 62 divide (6/(-12))/((-1)/942)?
False
Let f(s) = -s + 34. Does 21 divide f(6)?
False
Suppose -2*a - l = -1 - 7, 0 = -4*a + 3*l - 4. Suppose a*c = 6*c. Is 12 a factor of (1 - c)*64/2?
False
Suppose u + n + 5 = -4*n, 3*u + 4*n + 4 = 0. Let b(c) = -c**3 - 13*c**2 - 4*c - 4. Let z be b(-13). Suppose z = 4*x - u*x. Is x a multiple of 12?
True
Let i = 61 + -102. Suppose 74 = p + 5*y, 0 = -4*p + 5*p - 3*y - 50. Let n = i + p. Does 18 divide n?
True
Let g = -137 - -265. Does 30 divide g?
False
Suppose -x = -3*x + 276. Suppose -3*n + 2*y = n - x, 0 = 2*n + 2*y - 78. Is 12 a factor of n?
True
Let j = -5 - 1. Let p be (j/4)/((-15)/140). Does 13 divide 368/p + 4/(-14)?
True
Let v(r) = -r**2 + 5*r + 8. Let c be v(7). Is 16 a factor of 3/c - 95/(-2)?
False
Suppose -h + 4*h = 3. Suppose 20 + 10 = 2*t. Is 7 a factor of -1*(0 - (t + h))?
False
Suppose 5*n - 2*n = 72. Is n a multiple of 7?
False
Let z = -7 - -6. Is 5 a factor of (0 + 1)*9 - z?
True
Suppose 0 = 5*y - 3*y - h - 7, -5*y + 19 = -h. Let d be y/14 - 10/(-14). Does 15 divide -1*(d + 59)/(-2)?
True
Let y(x) = x**3 - 2*x. Let w be y(-2). Let b(q) = -5*q - 6. Does 5 divide b(w)?
False
Suppose -3*q = -25 - 101. Is q a multiple of 7?
True
Let y = 336 + -63. Is 21 a factor of y?
True
Let p be (-1897)/21 - 2/3. Let o = p + 64. Let s = 1 - o. Is 14 a factor of s?
True
Does 2