e u(14). Let g(w) = w**2 + 4. Is g(q) a multiple of 4?
True
Let k be 32/(-24)*(-42)/4. Suppose 2 - k = -2*b. Is b even?
True
Let r(o) = 3*o**2 + 2*o - 3. Let z(f) = 6*f + 6. Let a be z(-8). Let g be ((-2)/4)/((-7)/a). Is r(g) a multiple of 18?
True
Let n(q) = -2*q. Let m be n(-3). Suppose m*l - l = 240. Suppose -l = -o - o. Does 12 divide o?
True
Suppose -q + 2*o - 10 = -5*q, 4*q + 4*o = 20. Is 12 a factor of (-2 + -1 + q)*-9?
False
Suppose 0 = -0*d + 2*d + 6. Let s = d + 3. Suppose q = -s*q + 14. Is 11 a factor of q?
False
Is 8 a factor of (-8)/6*1341/(-12)?
False
Let y(q) = -q**3 - 6*q**2 - 6*q + 1. Suppose -a - 3*r + 6 = 0, -a - 2*r - 14 = -4*r. Let c be y(a). Suppose -13 = 3*w - c. Is w a multiple of 3?
False
Suppose 3*p - 8 + 2 = 0. Suppose 0*l - 116 = -3*i - l, -92 = -p*i + 3*l. Does 5 divide (-6)/18 - i/(-3)?
False
Suppose 2*y - 12 - 18 = 0. Is y a multiple of 9?
False
Let x(y) = 2*y**2 + 16*y + 17. Is x(-8) a multiple of 5?
False
Let a be -2 - 1 - -19 - 2. Is 7 a factor of (a/21)/(2/21)?
True
Is (-2)/7 + (-342)/(-21) a multiple of 5?
False
Let f(c) = 12*c**2 + 3*c - 2. Is f(3) a multiple of 33?
False
Let l = 0 - -2. Let q(n) = n + 11. Let k be q(-11). Suppose k*a + l*a = -3*t + 51, -2*a + 49 = t. Does 12 divide a?
True
Let f(j) = j**3 - 8*j**2 + 4. Let l be f(8). Suppose -3*h - l - 8 = 0. Is (6/(-9))/(h/306) a multiple of 20?
False
Is 76/2 - -2 - (6 + -5) a multiple of 35?
False
Suppose -x + 128 = 3*x. Is x a multiple of 9?
False
Let p(h) be the second derivative of h**4/12 - h**3/6 + 3*h. Let m be p(1). Suppose 4*i + 1 = -y + 4*y, m = -3*y - i + 11. Is 3 a factor of y?
True
Suppose 0 = 2*t + 25 + 13. Let s = t - -32. Is 4 a factor of s?
False
Suppose 3*g - 8 = v, 0 = 4*v - 18 + 2. Suppose 0 = -b - 4*o + 3 + 40, -g*b - 5*o + 128 = 0. Does 18 divide b?
False
Let u be (0/2)/(8/(-4)). Suppose -5*q - 5 = -u. Is 3/(q*(-1)/7) a multiple of 13?
False
Is 5 a factor of (6/(-4))/(2/(-32))?
False
Suppose -5*f + 88 - 8 = 0. Suppose 3 = -5*n - y, 4*y = -f + 4. Suppose n = -4*z + 38 + 2. Does 6 divide z?
False
Let r(w) = -11*w**3 + w**2. Let q be r(1). Let k be (-1806)/15 + 4/10. Does 16 divide k/(-9)*(-36)/q?
True
Let u = -50 - -257. Does 23 divide u?
True
Let p(k) = k**3 + 7*k**2 + 3*k + 3. Does 7 divide p(-6)?
True
Suppose -6*i + 7*i = 171. Does 19 divide i?
True
Suppose -2*s = -3*s. Suppose s*u + 11 = u. Does 10 divide u?
False
Suppose -9*p = -4*p + 110. Let n = p + 36. Is n a multiple of 13?
False
Let g(x) = 6*x - 1. Let k(m) = -3*m + 1. Let b(t) = 2*g(t) + 5*k(t). Is 6 a factor of b(-5)?
True
Let v = 5 + 3. Does 8 divide v?
True
Let d = 14 - -10. Suppose -p - 3*p = -d. Let f(g) = -g**3 + 6*g**2 + 2*g - 9. Is f(p) even?
False
Let p be -6*(-1 - -3 - 1). Let b(r) = r**3 + 6*r**2 - 2*r - 9. Does 2 divide b(p)?
False
Suppose 49 = -5*w - 66. Let a = 42 + w. Is a a multiple of 8?
False
Let k(w) = -w**2 + 10*w + 5. Let a be k(10). Suppose 1 = -5*j + a*b + 46, 0 = 4*j - b - 30. Is 7 a factor of j?
True
Let l(x) = x + 16. Is l(22) a multiple of 16?
False
Suppose -279 = -4*d - 39. Is 9 a factor of d?
False
Let b(w) = -w**3 - 2*w**2 + 4*w - 3. Let u be b(-4). Let z = u + -7. Is 4 a factor of z?
False
Let o = 43 - 40. Is o a multiple of 3?
True
Let h be 1/(12/(-14) - -1). Let n(s) = s**3 - 7*s**2 - 2*s + 9. Let k be n(h). Let q(d) = d**3 + 6*d**2 + 2*d - 4. Is 4 a factor of q(k)?
False
Suppose 2*g = 4*r + g - 62, 50 = 3*r + g. Is 5 a factor of r?
False
Suppose -6*c + 3*c - 5*x = 9, -c - 5*x = 13. Let u = c - -1. Suppose 54 = 6*j - u*j. Is 9 a factor of j?
True
Suppose 30*g = 28*g + 120. Is 12 a factor of g?
True
Suppose -11 = 3*w + 16. Let y be 8/12 + 42/w. Is 16 a factor of (y/8)/((-2)/128)?
True
Suppose -5*v + 1739 = -6*g + 2*g, -v - 4*g + 367 = 0. Is v a multiple of 13?
True
Let g(t) = -8*t**3 + t. Let c be g(-1). Let y = 23 - c. Is 6 a factor of y?
False
Let n be (-12)/18 - 202/(-6). Suppose -5*g = -n + 13. Suppose -38 = -g*z + 22. Is z a multiple of 4?
False
Suppose -x - 62 = -5*a - 1, -8 = 4*a. Let j = 126 + x. Is j a multiple of 11?
True
Let k(c) = c + 20 + 4 - 2*c. Is 7 a factor of k(0)?
False
Let n = 464 - 189. Does 55 divide n?
True
Suppose -2*i = 3*r - 65, -i + 6*i - 3*r - 194 = 0. Is i a multiple of 18?
False
Suppose -n + 3*v - 2*v = 1, -2*n - 7 = -3*v. Let f be ((-2)/(-1))/4*n. Suppose -4*j + 12 = -f*j. Is j even?
True
Is -75*4/4*-1 a multiple of 15?
True
Suppose -6*b - 15 = -3*b - k, 5*k - 7 = -2*b. Is 16 a factor of b/(-14) + (-250)/(-7)?
False
Let q = -133 + 273. Is 28 a factor of q?
True
Let j = 230 + -155. Does 12 divide j?
False
Let t(j) be the second derivative of 0 + 1/20*j**5 + 0*j**4 - 1/3*j**3 + 3/2*j**2 + 3*j. Is 7 a factor of t(2)?
True
Let j(z) be the third derivative of z**6/120 + z**5/10 - 7*z**4/24 + 4*z**3/3 + 3*z**2. Is j(-7) a multiple of 2?
True
Let w(y) = 7*y**3 + 9*y**2 + y - 7. Let j(f) = -13*f**3 - 18*f**2 - 3*f + 14. Let i(z) = -6*j(z) - 11*w(z). Is i(-7) a multiple of 9?
False
Suppose 3*v - 4 = 5. Let h be 6 - (v - 2 - 1). Does 9 divide (-27)/h*1*-2?
True
Let w be 66/14 + 2/7. Suppose -w*s + 90 + 40 = 0. Is s a multiple of 13?
True
Let m be 1*(53 - (4 - 5)). Suppose -4*o + 18 + m = -2*w, -5*o = -3*w - 92. Is 7 a factor of o?
False
Suppose -2*r + 0*r + 20 = 0. Is 9 a factor of r?
False
Let v(y) be the third derivative of 2*y**3/3 + y**2. Let h(l) = l - 1. Let d(a) = 4*h(a) + v(a). Is 14 a factor of d(7)?
True
Suppose 2*x - 5 = 3. Let j(m) = -m + 13. Does 2 divide j(x)?
False
Let b(u) = -u**2 + 4*u + 14. Is b(6) even?
True
Suppose -2*z + 4*m - 84 = -6*z, -2*z + 5*m + 21 = 0. Suppose -6*c = -4*c + z. Is 3/c - (-152)/6 a multiple of 15?
False
Let b(i) = -8*i + 17. Let j(a) = 12*a - 26. Let x(d) = -8*b(d) - 5*j(d). Let k be x(-7). Let y = 57 + k. Is y a multiple of 11?
False
Let p be (-8)/3*3/(-2). Let s = -8 + 2. Does 11 divide p/s - (-320)/12?
False
Let x(r) = 5*r - 8. Is 6 a factor of x(4)?
True
Let u be 2316/20 + 8/(-10). Let j = -61 + u. Is j a multiple of 10?
False
Let l = -40 + 56. Suppose 0 = -4*z + l - 0. Let r(f) = -f**2 + 9*f + 2. Is r(z) a multiple of 13?
False
Let i(n) = -n**2 + 7 - 5*n - n**3 + 5*n. Let r be i(0). Let q = 4 + r. Is q a multiple of 7?
False
Suppose -20 = 2*d - 7*d. Suppose -3*f = -2*f - u - d, 2*f + 5*u = 29. Is f even?
False
Let h(n) = n**3 - 6*n**2 - n + 2. Let o be 4 + 0*(1 - 0). Let w be h(o). Let m = -23 - w. Is 11 a factor of m?
True
Let w be (0 - 0)/(13/13). Is -1 + 13 + w/2 a multiple of 8?
False
Let s be 2/(-1 + 0) + 23. Let f = s + -10. Does 8 divide -5*(f/(-5) - 1)?
True
Suppose -d = -5*w - 9, 3*d - 10 + 3 = 5*w. Is 11 a factor of (-3)/(w/36*2)?
False
Is 14 a factor of ((-1)/(2/(-40)))/1?
False
Suppose -3*c - 2*c - 4*m = -153, -4*m + 8 = 0. Suppose -t - c = -2*l, 3*l + t = -2*t + 21. Does 7 divide l?
False
Let o = 445 + -262. Is 15 a factor of o?
False
Let q = 2 - -40. Is 7 a factor of q?
True
Suppose -5*v = 5 + 15. Does 25 divide 2795/52 - 1/v?
False
Is 54/((-6 - -4) + 4) a multiple of 5?
False
Let u(p) = 3*p**3 + 46*p**2 + 9*p - 18. Is u(-15) a multiple of 12?
True
Let f = 90 - 1. Is f a multiple of 13?
False
Suppose 0 = 6*b - 254 - 430. Is 33 a factor of b?
False
Let y = 17 - -16. Is 10 a factor of y?
False
Let f be 3/9*(5 + 4). Is 5 a factor of 2/f*1*12?
False
Suppose 0 = 3*f + 7 - 1. Let m be (-1)/f - (-14)/4. Let r = m - -3. Is 7 a factor of r?
True
Let k(i) = 11*i + 5. Does 7 divide k(4)?
True
Suppose -4*r = 6 + 6, i - 59 = -4*r. Is i a multiple of 17?
False
Suppose -20 = -2*g - 2*g. Let p(t) = 6*t - 3. Let s(d) = 9*d - 5. Let l(k) = g*s(k) - 8*p(k). Does 6 divide l(-4)?
False
Let o = 111 + -106. Is 2 a factor of o?
False
Suppose 4*t = 2*x - 114, -x + 3*t + 186 = 2*x. Suppose -53 = -4*j + x. Is 15 a factor of j?
True
Is 8 a factor of 0/(-18) - -1*31?
False
Let s(v) = 18*v + 3. Let r(u) = 55*u + 9. Let h(c) = -2*r(c) + 7*s(c). Is 17 a factor of h(3)?
True
Let f(p) = 2*p**2 - p + 2. Let h be f(1). Suppose -h*u - 100 = -553. Is u a multiple of 40?
False
Suppose -70 = -5*h - 5*j + 4*j, 3*h + j = 42. Is 17 a factor of 360/h + 8/28?
False
Let x = -7 + 3. Does 12 divide x*3*(-9)/3?
True
Let k(u) be the third derivative of u**6/120 + 3*u**5/20 + 7*u**4/24 - 5*u**3/6 - 2*u**2. Suppose -3*o - j - 26 = -5*j, j - 20 = 3*o. Is 21 a factor of k(o)?
False
Suppose 0 = o - 3*z + 9, -5*z