?
False
Let q(x) = -3*x**2 + 16*x - 13. Let n(m) = m**2 - 5*m + 4. Let k(b) = 7*n(b) + 2*q(b). Is k(5) a multiple of 6?
True
Suppose -2*v + 85 + 55 = 0. Is v a multiple of 5?
True
Let b(l) = 2*l**2 - 3*l - 1. Let m(d) = -2*d**2 + 3*d + 1. Let q(g) = -3*b(g) - 2*m(g). Let p be q(3). Is ((-140)/p)/(2/4) a multiple of 14?
False
Suppose 4*t + 17 = l - 0*l, -4*l + 3 = -3*t. Let k = t + 5. Suppose -7*o + 2*o - 5 = k, -2*o - 23 = -q. Does 13 divide q?
False
Let a = -110 - -168. Let n = -43 + 25. Let i = a + n. Does 20 divide i?
True
Suppose 4*u + 3*k - 98 = 95, 2*u - 79 = -5*k. Suppose h + 3 - 8 = 0. Suppose z - u = -h*q, q = 2*q - 2. Does 15 divide z?
False
Let y(u) = -u**3 + 2*u - 10. Is 21 a factor of y(-5)?
True
Let n(f) be the first derivative of -f**4/4 - 4*f**3 - 7*f**2 - 3*f - 1. Suppose -11 = -0*l + l. Is 13 a factor of n(l)?
False
Let d be (2 + -2)/(-3 + 1). Suppose -5*l - 5*f + 55 = d, 2*l - f - 4 = 15. Does 2 divide (-5)/2*(-8)/l?
True
Let w(r) = -r + 5. Let k be w(5). Let l be 2 + (-8)/(-2) - 3. Does 3 divide 4 - (k + (-6)/l)?
True
Let c(l) = l**3 + 4*l**2 - 5*l + 2. Let q be c(-5). Suppose 5*h + q*k - 83 = -0*k, -4*k - 4 = 0. Is h a multiple of 6?
False
Let y(t) = t**2 + 7*t - 12. Does 47 divide y(14)?
True
Let x be (-78)/(-8) - (-2)/8. Suppose 0 = 4*i + 52 - 180. Let p = i - x. Does 11 divide p?
True
Let c(j) = -4*j - 1. Let g be c(-2). Let i be 2/(-4)*0 + 0. Suppose -g*y + 3*y + 32 = i. Is y a multiple of 8?
True
Let c(f) = f**2 + 2*f + 1. Let r be c(-1). Suppose r = 5*a + 13 + 22. Let m = a + 10. Does 3 divide m?
True
Suppose 0*m = -m + 20. Let r = m - 8. Suppose -2*a - j + 69 = 3*a, 0 = -3*j + r. Is a a multiple of 13?
True
Let k(q) = -2*q + 2. Suppose -5*u + u + 8 = 2*a, 4*a = 3*u - 6. Let b be k(u). Is 6 a factor of (-147)/(-12) + b/8?
True
Does 10 divide ((-5)/(-5))/(3/57)?
False
Let k be 12/10*30/4. Is (-6)/k*(-15)/2 even?
False
Let z = 189 - 147. Does 2 divide z?
True
Suppose -s + 0 + 3 = 0. Suppose -s = -2*j + j. Suppose -m + j*m - 36 = 0. Is 9 a factor of m?
True
Suppose -r = 2*r. Is r + 0 + (-24)/(-3) a multiple of 8?
True
Let x(o) = o**2 + 8*o - 4. Let y be x(-6). Let n = y - -35. Is n a multiple of 14?
False
Let q(l) = l - 4. Let t be q(7). Suppose -t*b = -2*b - 7. Suppose -5*d = -25, 2*i = -b*d + 4*d + 101. Is 12 a factor of i?
False
Let g(c) = -c**2 - 2*c. Let v be g(-1). Let q = v + 16. Is 4 a factor of q?
False
Let c be (-1)/(-4) - (-1)/(-4). Suppose 5*y + g - 5*g - 9 = 0, -2*g - 7 = -3*y. Suppose y*m - 36 - 44 = c. Is 8 a factor of m?
True
Suppose 0 = -2*z - 0*s + s + 187, 2*z = -3*s + 167. Is z a multiple of 11?
False
Let q(j) = 44*j**2 - 2*j - 1. Let h be (-9)/(-6)*(-2)/3. Let g be q(h). Let r = g - 1. Does 15 divide r?
False
Suppose 4*m - 3 = -23, -4*v = -3*m - 59. Let s = -5 + v. Does 3 divide s?
True
Let z(p) = -p**3 + 5*p**2 - p - 4. Let i be z(4). Let c = 151 - 103. Let t = c - i. Does 12 divide t?
False
Suppose 0*z - z - 4*q = -9, 3*z = -4*q + 51. Let c(r) = -7*r**2 + 3*r + 6. Let j be c(5). Is 12 a factor of j/z*(-3)/1?
False
Let z be (-2)/(-2)*(-12 + 1). Let f = z + 24. Is f a multiple of 13?
True
Does 22 divide 5784/132 + (-2)/(-11)?
True
Let n = -23 + 39. Let q = n - 1. Is q a multiple of 15?
True
Suppose -4*f + 15 = 7. Suppose -i = f*i - 3. Does 6 divide 8 - (-2 + 3) - i?
True
Let b(c) = -c**2 + 9*c - 3. Does 4 divide b(6)?
False
Let v(z) = z**3 - 7*z**2 - 5*z - 4. Let a = 39 - 21. Let i = a + -10. Is v(i) a multiple of 13?
False
Suppose g = 2*k - 2*g - 51, -4*k = 2*g - 78. Is k even?
False
Suppose -152 = -7*n + 359. Does 4 divide n?
False
Let a(l) = -l**3 + 3*l**2 + l - 5. Let r be a(3). Is 28 a factor of -2 + (r - -1) - -31?
True
Suppose -868 - 560 = -17*o. Is 13 a factor of o?
False
Suppose 0 = -4*g + 199 - 19. Suppose g = h - 6*h. Let b = h + 18. Does 9 divide b?
True
Let r(p) = 5*p - 5. Let w = 2 + 3. Let l be r(w). Let f = l + -9. Is f a multiple of 11?
True
Let v(r) = r**3 - 8*r**2 - 10*r + 12. Let t be v(9). Suppose 8*a = t*a + 120. Does 7 divide a?
False
Let k = -11 + 6. Let r(m) = m**2 + 2*m - m - m + 3*m. Does 5 divide r(k)?
True
Let u = 146 + 178. Is 54 a factor of u?
True
Let c(j) = -j**3 + 7*j**2 - 5*j - 4. Let b be c(6). Is ((-5)/10)/(b/(-20)) a multiple of 4?
False
Suppose -2*a = -60 - 28. Does 22 divide a?
True
Let p(b) = b**3 + 5*b**2 - 6*b - 3. Let y be p(-6). Suppose -4*u - 1 - 31 = 0. Does 26 divide -78*(u/y)/(-4)?
True
Suppose 0 = -4*a + 18 - 6. Suppose -4*s + 128 = -2*j, 90 - 7 = a*s + 5*j. Is 17 a factor of s?
False
Suppose -37 = -q + 67. Let j be q/6*6/4. Does 12 divide (j*2)/2 - -2?
False
Suppose 72 = 3*d - 0*g - 3*g, -4*d - 4*g + 96 = 0. Does 5 divide d?
False
Let j = 5 + -5. Suppose j = 3*o - 0*o - 96. Suppose -p + 0*y + o = y, 3*p + 4*y - 97 = 0. Is p a multiple of 11?
False
Let z = 95 + -17. Does 26 divide z?
True
Suppose 222 = -3*s + 609. Suppose -2*l - 3 = -s. Is l a multiple of 21?
True
Suppose o + o = 0. Let l = o - -14. Is 7 a factor of l?
True
Let h(t) = 3*t + t**2 - 2 - 2*t - t. Is h(-6) a multiple of 11?
False
Suppose 12*w + 0*w = 2844. Is 34 a factor of w?
False
Suppose -5*f = -4*o - 110, 4*f + 3*o = 2*f + 21. Suppose 0 = 3*q - 6*q + f. Is q a multiple of 3?
True
Let x(r) = -r**2 + 11*r - 6. Let k be x(6). Suppose 12 = -s + 5*s + o, -s + 5*o + k = 0. Does 4 divide s?
True
Suppose -2*w + 4*w = 56. Let g be -15*(-5)/(30/w). Suppose 35 + g = 5*m. Is m a multiple of 11?
False
Let j = 2 + 6. Is 2 a factor of j?
True
Suppose -3 - 1 = 4*s. Let f = s - -3. Is 14 a factor of (f/3)/((-2)/(-42))?
True
Suppose -5 + 0 = -n. Suppose 1 = -b + n. Does 2 divide b?
True
Let j = -3 + 13. Is 14 a factor of 6/(-15) - (-614)/j?
False
Suppose 0 = -0*b - b + 1116. Is 12 a factor of 2/3 + b/27?
False
Let p = 12 - 3. Is 11 a factor of p + 1 - (-1 - 0)?
True
Let h(q) = q**3 - q**2. Let l(t) = t + 5. Let p be l(-4). Let d be h(p). Is d + 28 + (-2)/1 a multiple of 10?
False
Let g(m) = m**2 + 11*m + 2. Let a be g(-10). Is (0 - a)/(1/2) a multiple of 8?
True
Let y = -3 + 21. Is 15 a factor of y?
False
Let b(v) = -v**3 + 7*v**2 + 8*v + 10. Let x be (-3)/(-6)*(0 - -16). Is 10 a factor of b(x)?
True
Suppose 3*u = 5*c - 627, -2*u + 4*u = c - 124. Is 21 a factor of c?
True
Let m = -7 - -13. Let a be (-19)/3 + 2/m. Is 7 a factor of 1/3 - 124/a?
True
Let r(v) = v**2 + 4*v + 1. Let q(x) = 2*x**2 + 5*x + 1. Let b(g) = 3*q(g) - 4*r(g). Let f = 16 - 13. Does 4 divide b(f)?
False
Let s be 2/(-3) + 204/9. Let h = 10 + -16. Let u = s + h. Is u a multiple of 16?
True
Suppose -54 - 158 = -2*z. Suppose -3*y + 5*h = -z, -5*y = -10*y + 4*h + 194. Does 11 divide y?
False
Suppose -4*w = -2*w. Let z be (-6 - (w - 0)) + 2. Is ((-6)/z)/(3/8) a multiple of 2?
True
Let p = -73 + 173. Is p a multiple of 25?
True
Let m be 1 + -1 - (-4 - -6). Let g be (4/(-4))/(m/(-34)). Let j = -6 - g. Is 11 a factor of j?
True
Suppose -3*m = m + 32. Let i = 17 + m. Let r = i + 18. Is r a multiple of 10?
False
Let r(c) = -83*c**3 - c**2 - c. Let t be r(-1). Suppose 0 = 3*z - 3*y + 4*y - 113, -5*y = -3*z + t. Is 9 a factor of z?
True
Let d be (46/(-3))/(3/9). Let t = 67 + d. Does 7 divide t?
True
Let l(h) = 2*h - 2. Let m be l(6). Suppose -3*w - 16 = 2*k, 0 = -5*k + 3*w + 2*w + m. Let p = 3 - k. Is 5 a factor of p?
True
Let v(f) = 2*f**2 + 4*f**3 - 5*f - 4*f**2 - 3*f**3 + 6. Does 9 divide v(4)?
True
Let d(f) = 10*f**2 + f - 1. Let l = -5 + 1. Let p be -1*(-2)/l*-2. Is d(p) a multiple of 5?
True
Let w be 1/(-1)*(-2 + -3). Let s(u) = 0 + 4*u**2 - 3 - 6*u - w*u**2. Is 2 a factor of s(-5)?
True
Suppose f - 2 = -f, 86 = 5*n - 4*f. Does 6 divide n?
True
Suppose -3*n = 4*m - 131, n + 125 = 4*n + m. Does 19 divide n?
False
Suppose 5*l - 2*l = 849. Suppose 3*d - l = -5*y + 96, -4*d - 8 = 0. Is 13 a factor of y?
False
Does 16 divide 31/(64/12 + -5)?
False
Let s(d) be the second derivative of d**4/6 - d. Let g be s(2). Let q(j) = -j**2 + 10*j - 6. Is 4 a factor of q(g)?
False
Suppose 5*i + r = -r + 168, -20 = -5*r. Is i a multiple of 8?
True
Let a(r) = -r**3 - 5*r**2 - 3*r + 3. Let i(v) = v**2 + 10*v + 11. Let d be i(-8). Is 6 a factor of a(d)?
True
Suppose 4*d - 5 = 2*d - w, 0 = 2*d - 2*w - 14. Suppose -y - 4*l + 16 = -d, -20 = 5*l. Is y a multiple of 18?
True
Suppose b = 2, -2*d + 16 = -4*b - 2. Is d a multiple of 2?
False
Let b(r) = r**3 - 11*r*