 14 divide l(s)?
True
Suppose 39 = 3*g + 3*r, -2*g + r + r + 34 = 0. Suppose 0 = -4*k - v - 4*v + 49, -16 = -k - 2*v. Let w = g - k. Is 9 a factor of w?
True
Let h(v) = v**3 + 4*v**2 - 5*v. Let s be h(-4). Suppose 4*l = -s, -46 = -4*x + 7*x + 5*l. Let b(j) = -j**2 - 9*j - 2. Does 12 divide b(x)?
True
Is (2/4)/((-19)/(-1596)) a multiple of 8?
False
Let h(w) = -w**3 - 9*w**2 - 9*w - 4. Does 4 divide h(-8)?
True
Let m = 1 + -1. Let g(z) = z**2 + 2*z - 16. Let h be g(7). Suppose -5*f + h + 8 = m. Is f a multiple of 11?
True
Is 33 a factor of 2 - (4 + 1088/(-4))?
False
Suppose -50 = 5*j - 190. Let q = j + 8. Is 9 a factor of q?
True
Suppose -453 = -3*d + 3*l, -2*l + 306 = 2*d - 0*d. Does 32 divide d?
False
Let o be (4/(-3))/(1/(-9)). Suppose 5*m = o + 18. Is 5 a factor of m?
False
Let u(j) = -12*j + 1. Let k be u(1). Is (-2)/(-1) - (k + -17) a multiple of 10?
True
Let u be (-14)/4 + (-21)/(-14). Is u + (1 + 5 - -3) a multiple of 7?
True
Let b(u) = -5*u - 11. Does 12 divide b(-7)?
True
Let o be (-6)/9 - (-46)/6. Let n(y) = -2 - 5*y**3 + 10*y + 4*y**3 + 6*y**2 - 5. Is 8 a factor of n(o)?
False
Let k(z) = -2*z**3 - 5*z**2 - 5. Is k(-5) a multiple of 30?
True
Suppose -8*i + 291 = -125. Does 13 divide i?
True
Let b be 4 + -2 + 1/1. Let p = b - 8. Let m(a) = -a**2 - 7*a + 4. Is 7 a factor of m(p)?
True
Let w(o) = 2*o**2 - 4*o + 2. Let g be w(2). Let z(a) = -a**3 + 3*a**2 - a - 4. Let i be z(3). Is (g - (-8)/i)*14 a multiple of 6?
True
Does 7 divide 35 + 3*(-5)/15?
False
Let v = 34 - 8. Is v a multiple of 3?
False
Let q be (-3)/(-2)*(3 - 1). Suppose -2*w - 2*p = 2*w - 216, 4*w - 3*p - 236 = 0. Suppose -3*t + 4*h = -w, q*h = 3*t + 2*h - 59. Is t a multiple of 11?
False
Let c(y) = -2*y**3 + y**2 + 4*y + 3. Let t be 2*(27/(-6) - -3). Is 18 a factor of c(t)?
True
Let f = -45 - -99. Is 18 a factor of f?
True
Suppose 47 = j - 35. Is 11 a factor of j?
False
Suppose -2*i - 4*a + a + 22 = 0, -2*i - 4*a = -24. Is (-1 + i)/(7/14) a multiple of 10?
False
Let v(w) = -w**3 - 7*w**2 - 7*w - 6. Let b be v(-6). Let p be 4/2 - b/(-1). Suppose -m + p + 18 = 0. Does 10 divide m?
True
Let c be -3*(2 - (1 + 2)). Let a(j) = 3*j**3 - j**2 - 2*j - 1. Let p be a(c). Suppose 2*w = p + 1. Does 11 divide w?
True
Suppose -m + 71 = 24. Let f = m + 19. Suppose 5*n - 4 - f = 0. Does 7 divide n?
True
Let t(p) = -p**2 + p + 20. Let q be t(0). Suppose 5*j = 3*j + q. Suppose -2*g - 2*g = -3*d - 42, -j = -5*d. Is 6 a factor of g?
True
Suppose 11*u - 288 = 5*u. Is u even?
True
Suppose 168 = a + 2*a. Suppose -3*y + y = -a. Is 14 a factor of y?
True
Let k = 10 + -2. Is ((-31)/(-2))/(4/k) a multiple of 29?
False
Suppose 85 = -u + 343. Is 43 a factor of u?
True
Suppose h + 2*y - 13 - 27 = 0, 5*h - 164 = -y. Suppose 5*g = g + h. Is 4 a factor of g?
True
Suppose -6*t + t = 2*s - 901, -3*t + 547 = -2*s. Is t a multiple of 16?
False
Suppose -16 = -5*f + 3*f. Is 5 a factor of f?
False
Let o be 4/14 + (-33)/(-7). Suppose -3*k + 5*q + 55 = k, o*q = 3*k - 45. Is k a multiple of 7?
False
Let q(v) = 2*v - 3. Let l be q(3). Is 26 a factor of (l/(-1) - -2)*-26?
True
Let n(m) = m**2 - 7*m + 8. Does 13 divide n(11)?
True
Suppose 0 = -4*g - 5*n + 107, -145 = -7*g + 2*g - 4*n. Is 11 a factor of g?
True
Let d = 32 + -27. Is 3 a factor of d?
False
Suppose 0 = -10*x - 26 + 106. Does 8 divide x?
True
Let q = 204 - 119. Suppose 5*w = -0*w + q. Is 17 a factor of w?
True
Suppose 3*k + 1 = 16. Does 2 divide k?
False
Let l(u) = -u + 3. Let q be l(3). Suppose -r + q = 6. Does 9 divide 3*3/(-6)*r?
True
Let k = -38 + 134. Suppose 6 = 3*f - k. Is 14 a factor of f?
False
Let u(h) = -h**3 - 3*h**2 + 7*h + 5. Let k be u(-4). Let w(x) = x**2 + 4*x - 8. Does 13 divide w(k)?
True
Let g = 4 - 4. Suppose g = -i - 3*i + 16. Suppose -24 = i*m - 2*s - 144, -m + 5*s = -39. Does 12 divide m?
False
Suppose j - 5 = 0, 2*t + 7 = 2*j + j. Suppose t*w + 0*w = 20. Suppose -2*a = 6*o - 2*o - 28, -w*o - 5*a + 30 = 0. Is 8 a factor of o?
True
Suppose 0*j + 3*j + 87 = 3*m, -109 = -4*m - 3*j. Is m a multiple of 28?
True
Suppose -n - 248 = -3*n. Is n a multiple of 30?
False
Let j be (-644)/(-3 + -1) + -2. Suppose -4*b + 5*k = -117, -3*k - 50 = 4*b - j. Is 15 a factor of b?
False
Let k = 74 - 49. Suppose -d + k = 4*d. Is 5 a factor of d?
True
Let i = -15 - -4. Let g = i - -20. Let w = g - 6. Is w a multiple of 2?
False
Let y = -2 + 4. Let r = 2 - y. Suppose r = -5*l - 3*p + 82, l - 3*p - 16 = -l. Is l a multiple of 6?
False
Suppose -5*m - m + 54 = 0. Is 9 a factor of m?
True
Suppose 3*d - 16 = 5. Suppose 0 = -d*p + 8*p - 14. Is p a multiple of 5?
False
Let p be 1 - (-5)/(10/36). Suppose -2*v + 25 = -p. Is 11 a factor of v?
True
Suppose 14*c = 27*c - 3822. Is 56 a factor of c?
False
Let n be 326/9 - 8/36. Suppose 0 = x + x - n. Does 6 divide x?
True
Is 63 a factor of (2/10*-764)/(2/(-5))?
False
Let j be (3/2)/(3/6). Suppose j*x - 4*r = -9*r + 14, 0 = -x + 3*r + 14. Is 8 a factor of x?
True
Suppose -4*g = -2*f + 6*f + 4, 3*f + 11 = -5*g. Suppose f*m + 76 = 7*m. Is m a multiple of 19?
True
Suppose -5*j = 5*o - 15, 5*o = 4*j + 3 - 6. Suppose j*h = -5*a + 138, 16 = 3*a + 4*h - 64. Is a a multiple of 14?
True
Suppose 0 = a - 5*n + 10, -5*n + 4*n = 2*a - 2. Suppose a*b = 4*r - 3*b - 15, 2*b + 10 = 5*r. Suppose -32 = -2*u - r*u. Is 10 a factor of u?
False
Let u(t) = 0*t + t**2 - 3*t - 2 - 2*t. Let d be u(8). Suppose 2*c - 28 = -3*j, -2*c = -5*j + 30 + d. Is 4 a factor of j?
False
Let y(x) = -11*x + 11. Let g(k) = -133*k + 133. Let l(c) = 4*g(c) - 49*y(c). Does 14 divide l(5)?
True
Let q be (-3 + 3)/1 - -6. Let f be 0 + q + -4 + 1. Is (6/4)/(f/30) a multiple of 7?
False
Suppose -133 = -3*y - r, -5*y = -4*r - 282 + 66. Is 22 a factor of y?
True
Let g(m) = -m**2 - 5*m + 3. Let q be g(-6). Let l(i) = -42*i. Let t be l(q). Is (8/12)/(3/t) a multiple of 18?
False
Let i(o) be the first derivative of -2/3*o**3 - 3 + 0*o**2 - 13/4*o**4 + o. Does 5 divide i(-1)?
False
Let b = -9 + 12. Let l = 2 + 22. Suppose 0 = b*z + z - l. Is 3 a factor of z?
True
Let v(o) = o**2 - o - 2. Let p be (1 + 9)/(2 - 1). Suppose -4*s + p = -2*s. Is 18 a factor of v(s)?
True
Suppose -4*n + 2 = 10. Does 14 divide n + 2 - 28/(-2)?
True
Suppose 2 = 5*y - 3. Let f(z) = 19*z**3 - z**2 - z + 1. Is 9 a factor of f(y)?
True
Let q be (10/(-5))/(-2 - 0). Does 13 divide (-51)/(-2) - q/(-2)?
True
Let f(r) = -r**3 + 13*r**2 - 5*r - 12. Let c be f(10). Let d = c - 142. Suppose 0 = 3*h - 4*n - d - 2, -6 = 3*n. Does 15 divide h?
True
Let y(a) = 5 - 1 - 8*a + a**2 + a**2. Is 14 a factor of y(6)?
True
Let d(n) = -n**3 - 6*n**2 - 5*n - 2. Let g be d(-5). Let v = g + 5. Suppose v*y - 3*j - 92 - 13 = 0, -5*y - 3*j + 167 = 0. Is y a multiple of 17?
True
Suppose 10*y - 1437 - 1373 = 0. Is y a multiple of 14?
False
Is 6*7/28*(-262)/(-3) a multiple of 10?
False
Let q(h) = 0 + 2 + 3*h**2 - 2*h + 1. Is q(-3) a multiple of 12?
True
Suppose -4 = b, 19 = c + 5*b - 3. Is c a multiple of 14?
True
Suppose 72 = 2*q + 10. Is q a multiple of 15?
False
Is 7 a factor of (4 + -3)*(2 - -22)?
False
Let d = -6 - -5. Does 6 divide (0 - d)*-1 - -10?
False
Let s(d) be the first derivative of d**4/4 + 2*d**3 + d**2/2 + 4*d + 3. Does 16 divide s(-4)?
True
Let h = 386 - 170. Does 36 divide h?
True
Suppose -8 = 30*n - 34*n. Suppose 0*s - 47 = -n*s + z, s = -z + 19. Does 11 divide s?
True
Suppose 5*n = n + 20. Suppose y - 5*t = -n, 3*y + 2*t + 6 = 5*y. Does 3 divide y?
False
Let g(b) = b**2 - 5*b. Let a(v) = v + 1 + 0 + 0*v**2 + 3*v**2 - 12*v. Let p(y) = 4*a(y) - 10*g(y). Is p(-5) a multiple of 8?
True
Suppose 5*l + 18 = 4*q, -2*l - 5 = -3*q + 5. Let i(k) = 5*k**2 - 2*k. Is i(l) a multiple of 12?
True
Suppose -89 = -m - q, 3*q - 22 = -7. Is m a multiple of 21?
True
Let n = -19 + 13. Is (3/n)/(2/(-20)) a multiple of 5?
True
Let h = 3 - -33. Does 9 divide h?
True
Let a = 51 + -9. Does 13 divide a?
False
Suppose -40 = -k + 5*v, v + 23 = 3*k - 27. Suppose -k = 2*c - 5*c. Suppose 10*d - 70 = c*d. Is d a multiple of 5?
False
Suppose -3*p + 2*t + 0*t = -200, 12 = -3*t. Suppose -5*x = 4*u - p, -x + 2*u + 13 = 3. Does 12 divide x?
True
Suppose 5*w - w = 60. Is 5 a factor of w?
True
Let q be -3*(-2)/(-18)*3. Let s(d) = -6*d. Is s(q) even?
True
Suppose -2*g = 9*g - 1353. Does 15 divide g?
False
Let j = 265 - 181. Does 12 divide j?
True
Let i(b) =