 6 a factor of b(y)?
False
Let p(n) = n**3 - 12*n**2 + 11*n + 14. Let k be p(11). Suppose 6 = 2*l - k. Does 4 divide l?
False
Does 18 divide (3 - 1) + -1 - -53?
True
Let r(a) = 19*a. Let k(j) = -18*j. Let g(s) = -5*k(s) - 4*r(s). Suppose 0 = -2*v - 1 + 5. Is 13 a factor of g(v)?
False
Suppose 4*t = 4*p - 316, 2*p + 5*t = -0*p + 172. Does 27 divide p?
True
Is 150 + ((-9)/(-36))/(2/(-8)) a multiple of 12?
False
Let a(g) be the second derivative of g**4/4 + 2*g**3/3 - 2*g**2 - g. Does 14 divide a(-4)?
True
Let d be 3 - (150/2)/3. Let z = -12 - d. Let m(o) = -o**3 + 11*o**2 - 8*o - 8. Is 5 a factor of m(z)?
False
Suppose 2*z - 10 = z. Does 4 divide z?
False
Suppose -5*q + 10 = -3*x - 21, -30 = -4*q + 5*x. Suppose -k = -3*u + 177, -2*u - u - q*k + 195 = 0. Does 20 divide u?
True
Let g = 20 - 17. Let n(v) = 20*v + 5. Is n(g) a multiple of 13?
True
Does 11 divide (-12)/(-10)*55/2?
True
Let l = -11 - -141. Let z(s) = -s**3 + s**2 - s + 5. Let m be z(0). Suppose -5*r = t - 122, -m*r + l = -0*r + 5*t. Does 13 divide r?
False
Let r = -5 + 9. Suppose 0*i = -5*q - r*i + 64, 0 = 5*q + 2*i - 72. Is 8 a factor of q?
True
Let l(d) = 7*d**2 + 4*d. Does 32 divide l(4)?
True
Suppose -3*w + 28 + 5 = 0. Let s(i) = -i**2 + 13*i + 14. Does 12 divide s(w)?
True
Suppose k + 1 = 5*y - 3, 5*k - 9 = -4*y. Let u be 1*(y - -7)*-2. Let o = 33 + u. Is 8 a factor of o?
False
Let m = 9 + -13. Let u be (6/(-4))/(3/(-20)). Let v = m + u. Is v a multiple of 2?
True
Let z(f) be the second derivative of -f**5/10 - 5*f**4/12 + 5*f**2/2 + 4*f. Is z(-4) a multiple of 20?
False
Suppose 3*q + 2*x = 9, 2*q - 2*x = 7*q - 19. Suppose 4*a - 28 = 4*l, 5*a = l - 4*l - q. Does 2 divide a?
True
Let i = 6 - 7. Is i/(-3)*(-1 - -31) a multiple of 10?
True
Suppose 0 = -24*x + 21*x + 336. Is x a multiple of 16?
True
Let d = -40 - -24. Let b = 10 - d. Is b a multiple of 19?
False
Let z(u) = -2*u - 6. Let s be z(-5). Suppose -2*j - 33 = n + 13, s*n = 4*j - 208. Let r = 88 + n. Does 20 divide r?
False
Suppose -v = 4*v + 60. Let g = 17 + v. Is g a multiple of 4?
False
Let r = -3 - -18. Let x = 4 + -1. Let i = r - x. Does 10 divide i?
False
Suppose 78 = 3*k + 24. Is k a multiple of 9?
True
Suppose -5*p = 358 - 938. Is p a multiple of 16?
False
Let p(q) = -q**3 + 7*q**2 - 5*q - 1. Let j be p(6). Suppose -t = -j*t - 8. Is 14 a factor of (t/5)/(8/(-560))?
True
Let m(h) = -h**2 - 3*h. Let f be m(-3). Let r = -4 - -6. Is 2 a factor of 1/r*(f - -6)?
False
Suppose -2*g - 2 + 10 = 0. Suppose -7*z + 846 = -g*z. Does 17 divide (3/(-6))/((-3)/z)?
False
Suppose 5*g = g + 132. Suppose 0 = -3*x - 3*p - 112 + 19, g = -x + p. Let c = -17 - x. Is 15 a factor of c?
True
Suppose -2*v - g + 28 = -4*v, 20 = -3*v - 4*g. Is (2 + 54)*v/(-16) a multiple of 11?
False
Let c(o) = 21*o + 2. Let k be c(-4). Let z = 202 + k. Suppose 0*h = -4*h + z. Is 13 a factor of h?
False
Let y(f) be the second derivative of f**3/3 - 5*f**2/2 - 2*f. Suppose 0*w = 4*w - 20. Is y(w) a multiple of 5?
True
Suppose 0 = -3*j + 2*l + 6, 1 = 4*j - 2*l - 7. Let b(m) = m**2 + 0*m**j + 2*m + 0*m**2 + 2. Does 5 divide b(-4)?
True
Suppose 0 = u - 2*n - n - 70, 2*u + 5*n - 118 = 0. Let w(d) = 4*d**2 + 6*d - 5. Let k be w(5). Let r = k - u. Does 24 divide r?
False
Suppose -q = 2*x - 13, -x + 3*q + 17 = -0*x. Let y = x - 4. Suppose -4*s - y*r = -28, 0*s - 5*r = 3*s - 21. Does 4 divide s?
False
Is (1 - 2) + -1 - -116 a multiple of 19?
True
Let q be (-36)/(-3 - 18/(-8)). Let d = q + -3. Is d a multiple of 15?
True
Suppose -4*l + 3*u - 208 = 0, -2*u = -2*l - 7*u - 130. Let c = -31 - l. Is c a multiple of 24?
True
Let x(s) = s**2 + 5*s. Let j be x(-4). Let h(u) = -u**2 - 5*u + 1. Let r be h(j). Suppose -r*z + 41 = -4*i + 177, -4*i + 136 = 4*z. Does 17 divide i?
True
Let l be 120/28 + 2/(-7). Suppose 14 - 42 = -l*y. Is y a multiple of 7?
True
Let t be 2/4 - (-28)/8. Let v = 2 - 2. Suppose -t*l + 19 + 21 = v. Is 5 a factor of l?
True
Let t be 4/18 + (-3414)/54. Let r = t - -93. Is r a multiple of 10?
True
Suppose 4*b + 2*w = w - 4, -4*w = -4*b + 16. Suppose -4*v + 2*k + 46 = b, -5*v - 3*k = 5 - 35. Suppose -4*i - v = -45. Does 3 divide i?
True
Suppose 0 = -4*y + d + 53 - 9, 0 = 5*y + 3*d - 72. Let f(w) = -w**2 + 15*w + 2. Is 10 a factor of f(y)?
False
Let u(x) = -11*x. Let g be u(2). Does 12 divide (-1 - g)*4/6?
False
Is 7 a factor of 4 - (-3 - (4 - 4))?
True
Let i(f) be the third derivative of -f**6/120 - f**5/60 + f**4/6 - f**3/6 + 3*f**2. Is i(-3) a multiple of 2?
False
Let t(g) = 7*g**3 + 27*g**2 - 31*g + 20. Let d(h) = -3*h**3 - 13*h**2 + 15*h - 10. Let x(w) = -5*d(w) - 2*t(w). Is 14 a factor of x(-12)?
False
Suppose 3*x - 189 = -3*v, 4*x + 6*v - 261 = 11*v. Does 32 divide x?
True
Suppose 3*v = c + 3*c + 74, 0 = -3*v + c + 68. Let x = -4 + v. Does 5 divide x?
False
Let x(m) = 2*m**3 + 3*m**2 + 3*m + 5. Let c(w) = w**3 + 2*w**2 + 2*w + 3. Let j(q) = -5*c(q) + 2*x(q). Let p be (1 - -5)*(-2)/3. Is j(p) a multiple of 11?
True
Let r(y) = -y**2 + 11*y. Let a be r(11). Does 8 divide (-2 - 6)*(a + -1)?
True
Let b(g) = -g + 1. Let m be b(-3). Let r(j) = -j**3 + 6*j**2 - 3*j - 6. Is r(m) a multiple of 14?
True
Suppose -2*o - 3*k + 5*k = 16, -k - 10 = 5*o. Let y(w) = -5*w**2 - 8*w - 2. Let p(v) = 4*v**2 + 8*v + 2. Let i(n) = o*y(n) - 4*p(n). Does 7 divide i(-4)?
True
Suppose 20 = 4*d, o = 3*o + 2*d - 86. Is 22 a factor of o?
False
Let j = 1 + 4. Suppose -2*x + 57 = -j*b, 2*x - 147 = -2*x - b. Is 9 a factor of x?
True
Let c be ((-42)/12)/(2/(-68)). Suppose 0 = 5*p - 0*p - 25. Suppose 0 = 5*i - 3*x + x - c, p*i - 5*x - 110 = 0. Does 13 divide i?
False
Suppose 6 = 3*q + 3*s, 0*q + s - 6 = -2*q. Let z(a) = 3*a**2 - 6*a + 10. Is z(q) a multiple of 17?
True
Suppose -21 = l + 3*y + 21, 46 = -l - 2*y. Let c = -24 - l. Is c a multiple of 15?
True
Suppose -6 = 5*c - 3*o - 41, 2*o + 18 = 2*c. Suppose 49 = c*f - 7. Does 9 divide f?
False
Let h be (-21)/(-2)*(-48)/(-9). Let i = h - 24. Suppose 4*t + 0*t = i. Is t a multiple of 7?
False
Suppose 2*z = 3*z + 3. Let o = 4 - z. Is 3 a factor of o?
False
Suppose -4*h + 388 = 136. Suppose 0 = -5*d + 17 + h. Does 8 divide d?
True
Suppose -m + 3*z + 7 = 0, 4*m + 7 = 2*z + 45. Suppose -2*b = -3*b + m. Is 5 a factor of b?
True
Let f(v) = -v + 6. Let k be f(3). Suppose -2*x = -5*p - 33, x - 4*x = -k*p - 27. Suppose x*n - n = 69. Does 13 divide n?
False
Suppose 130 = 3*n + n + 3*t, -5*t + 92 = 3*n. Is n a multiple of 8?
False
Let j be -14*(-1 + -2)/(-6). Let i(g) = 2*g**2 + 11*g + 4. Is 14 a factor of i(j)?
False
Let n = -97 + 117. Is 4 a factor of n?
True
Suppose -4*v + 132 = -0*v. Is v a multiple of 20?
False
Let h(z) = z**2 - 5*z + 1. Suppose 0 = -m + 4 + 6. Let n be m/3*(-6)/4. Does 14 divide h(n)?
False
Let y be (-12 + -3)*2/6. Is 11 a factor of -6*(165/9)/y?
True
Suppose -4*g - f = -0*f - 396, 516 = 5*g - 4*f. Suppose -5*b = -4*k - 114, 0*b - 4*b + k + g = 0. Is b a multiple of 15?
False
Let n(r) = -r**2 - 12*r + 7. Let g be n(-12). Suppose g = 5*w - 3. Suppose -2*s - 37 = -4*c + 13, 3*s + 27 = w*c. Does 12 divide c?
True
Is (-8)/(60/(-27) + 2) a multiple of 12?
True
Let u(h) = h**2 - 6*h + 2. Let j be u(4). Let v = 47 + -61. Is 12 a factor of (j/(-7))/((-1)/v)?
True
Let q = -25 - -61. Is q a multiple of 18?
True
Let d(y) = y. Let l(o) be the third derivative of -2*o**5/15 - o**4/24 - o**3/3 + 2*o**2. Let n(v) = 2*d(v) - l(v). Does 14 divide n(-2)?
True
Let j(t) = t**2 + 3*t + 3. Let h be j(-3). Suppose -2*n = h*n + 10. Let r = n + 7. Is r a multiple of 4?
False
Let h be 2*82*(-2)/(-8). Let g = h + -10. Let s = g - 16. Is s a multiple of 11?
False
Let h be (-3)/12 + (-9)/(-4). Suppose h*k + 0*k - s = 13, 5*k = -3*s + 27. Is k a multiple of 6?
True
Suppose 2*d - 5*d + 4*b = 17, 2 = b. Is d/(-6) + 30/4 a multiple of 4?
True
Let c(f) = -f**3 + 19*f**2 + 22*f + 44. Is 12 a factor of c(20)?
True
Does 20 divide 763/7 + 2 + (-2)/(-1)?
False
Let m(v) = v**2 + 3*v - 2. Let a be m(3). Let c be 60 - (1 - 2) - 0. Suppose t = -5*b + c, -t - 3*t + a = b. Is b a multiple of 12?
True
Suppose -5*x = 2*p - 178, 0*x + 278 = 3*p + 2*x. Suppose -p = -3*a + 5*s, -2*s = 2*a - 5 - 47. Is 17 a factor of a?
False
Let k(f) = f**2 - 10*f - 7. Let r be k(11). Suppose -g = -5*a + 640, r*a - 2*g - 193 = 319. Suppose 0*q = -4*q - 5*t + a, -q + 3*t = -49. Does 14 divide q?
