es 11 divide j?
False
Let h(w) = -4*w + 4. Let f(z) = -8*z + 7. Let n(q) = 3*f(q) - 7*h(q). Does 11 divide n(8)?
False
Let p = 105 - 56. Is 25 a factor of p?
False
Let z = -14 + 5. Does 2 divide z/(-12)*(0 + 4)?
False
Let x(r) = r**3 + 14*r**2 - 15*r - 3. Let z be x(-15). Is z + 27 - -3*1 a multiple of 8?
False
Suppose -5*l = -114 - 411. Suppose -2*d + l - 25 = 0. Does 19 divide d?
False
Suppose -m = -4*m + 18. Does 3 divide m?
True
Let k = 2 + -1. Let a(x) be the first derivative of 7*x**2/2 + x + 1. Does 3 divide a(k)?
False
Suppose -4*a - 41 = 5*j + 13, 0 = -2*a - 2. Let u = j + 21. Is u a multiple of 5?
False
Let k = 15 - 11. Suppose q + 2*x = 4*x + 30, -192 = -5*q - k*x. Does 17 divide q?
False
Let u be (0/(-1))/(0 + -2). Suppose -x - 2*x + 6 = u. Suppose 0 = -x*m - 4 + 20. Is 4 a factor of m?
True
Suppose 0 = 8*m + 223 - 863. Is m a multiple of 5?
True
Let l be (-9 + -2)*(2 - 7). Suppose 29 + l = 3*k. Is k a multiple of 16?
False
Let i(t) = t - 2. Let g be i(2). Suppose v - 26 - 46 = g. Is 18 a factor of v?
True
Suppose -4*v + 5*w = -15, w + 9 = -v - 2*w. Suppose 4*z + 4*m - 126 - 6 = v, -3*m - 93 = -3*z. Is 16 a factor of z?
True
Let p = 65 + 0. Let u be (9/6)/(6/16). Suppose -p - 19 = -u*o. Is o a multiple of 9?
False
Suppose 2*v - 3*v - 5 = -3*b, 5*b + v = -5. Let w(d) = -d**3 - 5*d**2 - 2*d - 4. Let z be w(-5). Suppose b = -n + z*n - 30. Is n a multiple of 3?
True
Suppose -m - 40 = -6*m. Let v = m - -4. Is 7 a factor of v?
False
Let m(o) = o**3 - 2*o**2 + o + 2. Let i be m(2). Suppose i*p = 6 + 6. Suppose -4*y - 8 = 0, 8*y - p*y = 3*k - 58. Is 8 a factor of k?
True
Suppose 0*l - 2 = -2*l. Let a = l - 1. Suppose -i = -3*f - a*i + 67, -3*f - 4*i = -62. Is f a multiple of 11?
True
Suppose 4*k - k = -15, -4*t + 4*k + 32 = 0. Suppose 0 = -t*j + 2*q + 51, 1 = 4*j + 2*q - 67. Is 17 a factor of j?
True
Let x = 3 - 7. Let y(l) = -l + 1. Let t be y(x). Is 5 a factor of (-4)/2*(t + -10)?
True
Let p be (-4)/(-6) + (-705)/(-9). Let a = 134 - p. Suppose 56 + a = 3*z. Does 23 divide z?
False
Is ((-55)/(-20) - 2)*(-200)/(-1) a multiple of 10?
True
Let j = -2 - 2. Let k = 11 + j. Suppose -32 = 3*v - k*v. Does 8 divide v?
True
Is 12 a factor of -7 + (-85)/(-10) - 723/(-2)?
False
Suppose 3*c - 3 - 12 = 0. Is c a multiple of 4?
False
Let u(q) = -q**3 - 7*q**2 + 2. Let h be u(-7). Suppose -4*a = 5*x - 8, a + x + 5 = -h*x. Is 3 a factor of a?
False
Let f(y) = 3*y - 5. Let s(h) = 2*h**2 - 6*h + 1. Let g be s(4). Is 22 a factor of f(g)?
True
Let q(a) = -4*a - 3. Let n = -5 + 3. Let d be q(n). Suppose 38 - d = 3*r. Is 11 a factor of r?
True
Let j = -5 + 3. Let s(r) = -8*r**2 - 1. Let i be s(-1). Is 4 a factor of (1 + j)*(i - 0)?
False
Let q(a) = -9*a + 5. Is 15 a factor of q(-4)?
False
Suppose -5*i = -2*r + 39, -3*i = 2*r - 16 + 1. Suppose 3*w - r = -3*p, -2*p + 4*w + 19 = -p. Is p a multiple of 3?
False
Suppose 0 = 2*t - 8, -3*k + 0*t = 3*t - 12. Let o be (0 - k)*(-6)/(-6). Suppose 6*a - a - 60 = o. Is a a multiple of 6?
True
Suppose 5*x + 20 = 2*f, 2*f - 2*x = -7 + 21. Suppose 17 = n - 0*n + u, -f*n = 4*u - 89. Does 5 divide n?
False
Let k = 171 + -63. Suppose 2*h - 4*f = -0*h + k, 33 = h + 5*f. Does 24 divide h?
True
Suppose 4 = -q, -3*p - p = 5*q - 68. Is p a multiple of 5?
False
Let n(b) = b**3 - 4*b**2 - b + 2. Is n(6) a multiple of 24?
False
Suppose 4*q = -5 - 19. Let m(p) = -4*p + 2*p + 0 + 4. Does 8 divide m(q)?
True
Suppose 0 = 3*y - 5 + 2. Let i be ((-16)/5)/(y/(-5)). Suppose -4*f = 4*j - 140, 2*j = 2*f - i - 50. Does 17 divide f?
True
Let m(o) = o**2 + 7*o - 2. Let s be m(-11). Suppose 0*w + w + 4*y - s = 0, 2*y = -w + 46. Is w a multiple of 10?
True
Let b(a) = 2*a**3 - a**2 + 2*a. Let v(x) = -3*x**3 + x**2 - 3*x. Let m(j) = 5*b(j) + 3*v(j). Let k be m(1). Is 13 a factor of 0 - -19 - (-2 - k)?
False
Suppose 80 + 95 = 7*b. Does 22 divide b?
False
Suppose -2*h - 9 = h. Is (3 - 6)/(h/32) a multiple of 23?
False
Let n(b) = 10*b**2 + 5*b + 12. Let q be n(6). Suppose -5*h = 122 - q. Is h a multiple of 14?
True
Let j(m) = 2*m**2 - 4*m + 4. Let l be j(4). Suppose 4*n = -0*n + l. Suppose n*a + 18 = 288. Is a a multiple of 19?
False
Suppose 3*z = 2*z - 9. Let a be (3/9)/((-1)/z). Suppose -3*v = -3*h - 39, -a*v + 3*h + 36 = -h. Is v a multiple of 9?
False
Let v(h) = h**2 + 5*h + 4. Let m be v(-4). Suppose -4*y + 7*y - 9 = m. Suppose -20 = c - y*c. Is 5 a factor of c?
True
Suppose -7*h + 2*h = 0. Let u be h/(-2)*(-2)/(-4). Let t = 28 + u. Is 14 a factor of t?
True
Suppose 0*h - 1780 = -5*h. Is (-1)/4 + h/16 a multiple of 6?
False
Let d be 3/24*4*-62. Suppose 2*u - 19 = -151. Let f = d - u. Is f a multiple of 12?
False
Suppose 5*l + 357 = 932. Is 24 a factor of l?
False
Let o(p) = -p**2 - p + 6. Let w be o(0). Let d(a) = a**3 - 4*a**2 - 7*a - 2. Does 14 divide d(w)?
True
Suppose 3*f = 4*f - 13. Suppose 2*o - f = 29. Is o a multiple of 21?
True
Suppose 158 = 4*t - 5*b, 0*t + 64 = 2*t + 5*b. Does 37 divide t?
True
Suppose 12 = 2*z - 0*z. Suppose 0 = 2*k - r - r - 12, k + r - z = 0. Is k a multiple of 6?
True
Let a = -11 - -16. Suppose -a*c = -7 + 2. Suppose -b - c = -22. Is b a multiple of 16?
False
Suppose 0 = 4*h - 7 - 25. Is 6 a factor of h?
False
Let q(s) = 4*s**2 + 6*s. Does 4 divide q(-4)?
True
Let x(v) be the third derivative of 2*v**4/3 - v**3/2 + 4*v**2. Is 15 a factor of x(2)?
False
Let b(x) = -x**3 - 7*x**2 + 2. Let c be b(-7). Suppose 0 = c*t - 63 + 27. Is 11 a factor of t?
False
Let q(r) = -r + 2. Let v be q(2). Let l(z) = z**2 - 9. Let i be l(v). Let k = 19 + i. Is 6 a factor of k?
False
Let j be 5 - (1 + 0 + 1). Is 8 a factor of 6/(-9)*j - -18?
True
Let s = -9 - -28. Does 4 divide s?
False
Suppose c + 472 = 4*f, -4*f - c = -503 + 23. Is 11 a factor of f?
False
Let o = -7 + 5. Let r be -1*(-3)/(-3)*o. Suppose 20 = 3*b + r*b. Is b a multiple of 4?
True
Suppose -2*v + 4*v = 42. Does 20 divide v?
False
Suppose 2*r + 4*u - 57 + 11 = 0, -4*u + 13 = r. Is 3 a factor of r?
True
Let d = 199 - 118. Is d a multiple of 27?
True
Suppose 2*s = 2*k + 4*s + 72, 0 = 4*s. Suppose -3*v - 1 = 2*t - 7, -4*v - 2*t = -8. Is 5/v*k/(-15) a multiple of 6?
True
Suppose 11*i = 15*i - 536. Does 25 divide i?
False
Let c be 395/45 + 4/18. Let w = c - 1. Does 4 divide w?
True
Suppose u - 4*u = 75. Let y = u - -13. Is 9 a factor of (16/y)/(4/(-54))?
True
Suppose -2 + 8 = 3*i. Let t be ((-3)/i)/((-2)/4). Suppose 5*h - 12 = t*h. Is h a multiple of 6?
True
Let p be (-1)/3 - (-452)/6. Suppose 5*t - 127 = -s, -t - s + p = 2*t. Is 11 a factor of t?
False
Suppose 4*u + 5*k = 55 - 16, u + 3*k - 15 = 0. Is u a multiple of 3?
True
Let u(i) = -i**2 - 10*i - 11. Let n be u(-8). Suppose -376 = -2*x - p + 5*p, -4*p = x - 158. Suppose 4*v - 86 = v + 4*b, -n*v + x = 2*b. Is v a multiple of 23?
False
Let q(m) = -4*m + 135. Is 9 a factor of q(0)?
True
Suppose -2*o + 65 = -7*o. Let z = o - -20. Does 7 divide z?
True
Suppose 0 = 5*m + m - 78. Is 3 a factor of m?
False
Let c(z) = 11*z**2 + z - 2. Let t be c(-2). Suppose d - 15 - t = 0. Does 11 divide d?
True
Let k(h) = -h**2 - 4*h + 4. Let y be k(-5). Let d = y + 0. Does 14 divide -1 + d + 4 + 26?
True
Suppose -7*k + 2*k = -20. Suppose -k*s + 21 - 5 = 0. Suppose 9 = 2*u - 3*x - 7, -s*u + 2*x + 48 = 0. Does 5 divide u?
False
Let s(r) = 63*r**3 + 2*r**2 - 2*r. Does 4 divide s(1)?
False
Let t be (-1)/(-4) + 22/8. Suppose -5*u + t*i = -179, 3*u + 0*i - 99 = -i. Is 16 a factor of u?
False
Let t(c) = 2*c - 8. Let d be t(8). Let k = 13 + d. Does 7 divide k?
True
Suppose 438 = 5*r + 3*g - 628, 0 = 3*g - 6. Suppose 0 = -3*k - k + r. Suppose -z = 5*i + 5, -4*z = -4*i - k - 23. Is z a multiple of 12?
False
Let b(n) = n. Let x(s) = s - 2. Let j(z) = 2*b(z) - x(z). Is 3 a factor of j(4)?
True
Suppose 0 + 2 = -g - 2*x, g - 2*x + 6 = 0. Let q be g/10 - (-21)/15. Is 11 a factor of q/2 - (-43)/2?
True
Suppose -9*q + 7*q + 214 = 0. Is 22 a factor of q?
False
Suppose -2*w + 26 = -3*u, -w = 4*u - 8*u - 3. Does 19 divide w?
True
Let d(t) = t**2 - 9*t + 8. Let v be d(6). Let b = v + 23. Is 9 a factor of b?
False
Let s = -6 + 9. Suppose -l + 2*l = -3*v - 8, s*l = v - 4. Does 9 divide (-8)/1*5/v?
False
Does 14 divide (-9 + -3)*(-10)/4?
False
Let l = 2 + -2. Does 3 divide (-8)/(-2) + l + 2?
True
Let r(z) = z**3 + 8*z**2 + 8*z + 4. Is r(-6) a multiple of 12?
False
Let f